Categorical univalence of a universe does not entail function extensionality, as shown by polynomial models of type theory that refute the latter while satisfying the former.
hub Canonical reference
A representation the- orem for locally compact quantum groups
Canonical reference. 88% of citing Pith papers cite this work as background.
62
Pith papers citing it
Background
88% of classified citations
hub tools
citation-role summary
background 7
method 1
citation-polarity summary
claims ledger
- background for gravitating objects. For comprehensive reviews of effective field theory in a variety of physical contexts relevant to the current problem, see the recent textbook by Burgess [110], as well as the review articles by Pich [111], Donoghue [112, 113], Kaplan [114], Rothstein [115-117], Burgess [118], Goldberger [119-121], Porto [122], Manohar [123], Levi [124], and Penco [125]. A note on language: The EFT approach was pioneered in particle physics. In particle physics the expansion parameter is
- background r= 3r s/2−ϵwithϵgoing quickly to zero with increasingℓ, as we see from only the first two modes. 3.2. Kerr 3.2.1. Geometry Black holes in the real world rotate, which is not accounted for in the spherically-symmetric Schwarzschild solution (3.1). Schwarzschild had derived his metric within months of the publication of Einstein's field equations, while it took nearly a half century for Kerr to find its spinning generalization [235]. Here we will summarize salient features of the Kerr solution; se
- background Importantly, the sum of all angular momenta,ℓ1 +ℓ2 +ℓ3 +···, must be even. Starting fromO(E4), however, for a fixed set of angular momenta(ℓ1ℓ2···ℓn+1), multiple independent coefficients may arise. The precise counting of inequivalent contractions and independent Wilson coefficients follows from standard group-theoretic arguments, see e.g., Refs. [183, 189, 190]. 2.3. Examples of EFT calculations and matching The effective field theory(2.9) is completely general and, as long as one is concerned
- method and all upper bounds at the 95 % CL. The e ffectiveχ2 value of model n is given relative to model n− 1. Parameters Prior type Prior range N Discrete uniform [0 , 8] ln V∗ Uniform [ −25,−15] d ln V∗/dφ Log-uniform [10 −3, 10−0.3] d2ln V1/dφ2,..., d2ln VN/dφ2 Uniform [ −0.5, 0.5] φ1,...,φ N Sorted uniform [ ˜φmin, ˜φmax ] ln 1010PR(k) Indirect constraint [2 , 4] Table 9. Parameters of the free-form potential reconstruction analysis and details of the priors. There is a further prior con- straint in
co-cited works
representative citing papers
Quantum graphs are redefined as left ideals in the extended Haagerup tensor product, enabling representation-independent morphisms and categorical (co)limits.
Shock-centered scaling of DSMC fields in micro-nozzles reveals low-rank density structure, enabling DeepONet surrogates with mean errors reduced to 4.51% on hardest test cases.
Recursive constructions are supplied for the matroid polytopes Ω_{r,n} in ranks 2 and 3 for every n, with software that computes them up to n=33 (rank 2) and n=10 (rank 3) and Schubert expansions for all isomorphism classes up to moderate n.
Anomaly detection is mapped to the RG flow of a non-equilibrium field theory, with the 2D Ising model benchmark showing critical threshold identification error below 4% by treating noise-to-signal as effective temperature.
A differentiable physics engine inside a neural network discovers non-Hertzian asperity shapes that produce programmable nonlinear friction-area relations, validated by BEM simulations.
A cubic stochastic population model with dual fear effects under the Allee effect produces an analytical steady-state probability distribution that exhibits noise-induced transitions and non-monotonic fear-controlled changes between low- and high-density regimes.
A classification of admissible energy density profiles with bounded Kretschmann scalar yields a unified framework for regular static spherically symmetric spacetimes satisfying the weak energy condition, recovering known models and producing new families with hypergeometric and other closed forms.
Boundary mass in MoE is linear in slab width under smoothness and transversality, so the zero-temperature limit is governed by a thin geometric layer around routing interfaces rather than the full input space.
The profile maximum likelihood estimator for the location in anisotropic hyperbolic wrapped normal models is strongly consistent, asymptotically normal, and attains the Hájek-Le Cam minimax lower bound under squared geodesic loss.
A Rocq formalization defines simplicial Lagrange finite elements as records with geometric data, polynomial approximations, and unisolvence proofs for any dimension and polynomial degree.
SPRAY is the first SPH-based radiation hydrodynamics code for high-intensity laser-plasma interactions, featuring a mesh-free WKB laser energy coupling module and flux-limited diffusion for radiation transport.
An MLIR-native NumPy-like DSL with a new dialect-agnostic type checker and parallel-first lowering to a dataflow dialect, shown on weather modeling and CFD workloads in Fortran.
Statistical analysis of energy data falsifies the 1% exponential growth in the Kardashev model, shows linear extrapolation yields a 1.6E15-year Type II timescale, and introduces the KSN renormalization B(t) = P(t)/H(t) spanning 14 orders of magnitude.
Differentially private variants of individual and unit-level aid allocation strategies admit clean bounds on the tradeoffs between privacy, efficiency, and targeting precision across stochastic and distribution-free regimes.
Dense feed-forward neural networks over floats can be presented as coherent categories G whose Set-models are the networks, with inference as precomposition along a coherent functor from a span category.
A Tavis-Cummings-derived 3DOF Hamiltonian system exhibits a singular fiber homeomorphic to S²×S¹ with A₂ singularity, together with its bifurcation diagram and Hamiltonian monodromy.
A velocity formulation of pure and mixed first hyperpolarizabilities for HRS-OA is derived using velocity operators in quadratic response functions, yielding origin-independent results with one-to-one correspondence to gauge-origin shifts in the length formulation.
A 3D morphoelastic rod model with local Stokes hydrodynamics predicts flutter instability and self-sustained 2D or 3D oscillations in clamped elliptic hydrogel filaments under constant axial electric field, with a secondary bifurcation to large-amplitude motions.
Existence of self-similar finite-mass solutions is proved for the time-fractional porous-medium equation in the optimal range m > (d-2)_+/d for all d ≥ 1, with compact support for m > 1 and heavy tails for m_c < m < 1.
Existence and uniqueness of weak entropy solutions for nonlocal nonlinear scalar conservation laws is proven on short time horizons via fixed-point methods, extending to any finite horizon under additional assumptions.
For h from a Hardy field with polynomial growth, h(Ω(n)), h(ω(n)), and h(Ω(q_n)) are uniformly distributed mod 1 precisely when h deviates from rational polynomials according to one of two explicit growth conditions.
Flexible scintillator fibers with embedded SiPMs enable distributed real-time gamma radiation detection and can be woven into textiles with a tungsten braid boosting efficiency by ~20%.
Fell bundles over groupoids have a universal property for their full section C*-algebras implying functoriality, exactness, and generalized Renault theorems.
citing papers explorer
-
Multiple Softening Q-vectors Driving a Cascade of CDW Phases in $\mathrm{1T-VSe}_{2}$
Phonon instabilities in 1T-VSe2 drive multiple CDW intermediates that converge via iterative relaxations to the same stable 2√3×4 ground-state structure.
-
Extending Hamiltonian-Adaptive Resolution Simulation to Interfaces: An Updated LAMMPS Implementation and Application to Porous Solids
An updated LAMMPS version of H-AdResS enables dual-resolution simulations of interfaces in porous solids, keeping atomistic accuracy while raising efficiency.