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. 80% of citing Pith papers cite this work as background.
62
Pith papers citing it
Background
80% of classified citations
hub tools
citation-role summary
background 4
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
-
Univalence without function extensionality
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.
-
Categorical (Co)Limits of Quantum Graphs
Quantum graphs are redefined as left ideals in the extended Haagerup tensor product, enabling representation-independent morphisms and categorical (co)limits.
-
Shock-Centered Low-Rank Structure and Neural-Operator Representation of Rarefied Micro-Nozzle Flows
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.
-
The polytope of all matroids in ranks 2 and 3
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.
-
Field Theory of Data: Anomaly Detection via the Functional Renormalization Group. The 2D Ising Model as a Benchmark
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.
-
Inverse Design of Metainterfaces for Static Friction Control: Beyond the Hertzian Limit
A differentiable physics engine inside a neural network discovers non-Hertzian asperity shapes that produce programmable nonlinear friction-area relations, validated by BEM simulations.
-
Dual Fear Mechanisms Shaping Stochastic Population Dynamics under the Allee Effect
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.
-
Families of regular spacetimes and energy conditions
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 and the Soft-to-Hard Limit in Mixture-of-Experts
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.
-
Profile Likelihood Inference for Anisotropic Hyperbolic Wrapped Normal Models on Hyperbolic 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 of Simplicial Lagrange Finite Elements
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: A smoothed particle radiation hydrodynamics code for modeling high intensity laser-plasma interactions
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.
-
Demonstrating a Future for MLIR-native DSL Compilers on a NumPy-like Example
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.
-
Kardashev's Conundrum: Statistical Falsification of the Standard Kardashev Model and the Kardashev--Sagan--Nakamoto Resolution
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.
-
Privacy, Prediction, and Allocation
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.
-
Presenting Neural Networks via Coherent Functors
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.
-
Hamiltonian Monodromy in a Tavis-Cummings System with an $A_2$ Singularity
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.
-
Velocity Formulations for Hyper-Rayleigh Scattering Optical Activity Spectroscopy: Addressing the Origin-dependence Problem
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 three-dimensional morphoelastic model for self-oscillations in polyelectrolyte hydrogel filaments
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.
-
Self-similar solutions to the time-fractional Porous-Medium Equation
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 nonlocal nonlinear conservation laws via fixed-point methods
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.
-
Weighted averages of arithmetic functions and applications to equidistribution
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.
-
Single-Photon Sensitive Optoelectronic Fibres for Distributed Nuclear Radiation Detection in Textile Fabrics
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%.
-
A universal property for groupoid C*-algebras. II. Fell bundles
Fell bundles over groupoids have a universal property for their full section C*-algebras implying functoriality, exactness, and generalized Renault theorems.
-
Unweighted ranking for value-based decision making with uncertainty
FUW-VBDM reframes value-based decision making as unweighted optimization over a fuzzy score domain, solved via the Rankzzy method whose consistency is proven for any admissible stakeholder configuration, with lower computational cost than weighted baselines.
-
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.
-
Bulk-Edge Correspondence via Higher Gauge Theory
Bulk-edge correspondence for fractional quantum Hall systems is realized as relative higher gauge theory from the complex Hopf fibration, geometrically engineered via M2/M5-branes and TED Cohomotopy flux quantization.
-
Scale selection for geometric medians on product manifolds
Joint location-scale minimization for geometric medians on product manifolds degenerates to marginal medians, and three new scale-selection methods restore identifiability with asymptotic guarantees.
-
Topological Zeta Functions of Matroids: Operations and Computations
Topological zeta functions of matroids obey recurrence relations under truncation and extension, with Taylor coefficients given by the girth invariant.
-
Emergence of Tsallis Statistics from a Self-Referential Nonlinear Operator: A Variational Framework
Tsallis q-exponential distributions arise by minimizing a free energy built from a self-consistency entropy defined via a nonlinear operator Omega, with q = alpha + beta obtained directly from the operator's fixed-point 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.
-
Talking to a Know-It-All GPT or a Second-Guesser Claude? How Repair reveals unreliable Multi-Turn Behavior in LLMs
Each tested LLM shows its own characteristic unreliability when engaging in repair during extended math-question dialogues.
-
From Vulnerable Data Subjects to Vulnerabilizing Data Practices: Navigating the Protection Paradox in AI-Based Analyses of Platformized Lives
The authors propose a reflexive ethics protocol for AI analyses of platform data that maps how technical choices at four pipeline stages can enact new vulnerabilities, illustrated by quantifying child presence in monetized family vlogs.
-
When do trajectories matter? Identifiability analysis for stochastic transport phenomena
Trajectory data resolves structural non-identifiability in parameter estimation for stochastic diffusion models that arises with count data alone.
-
Invertibility and parity in symmetric monoidal categories
A parity concept for invertible morphisms yields a coherence theorem in symmetric monoidal categories, with the free permutative category on an invertible generator equivalent to the super integers via ±1.
-
Constraints on Vector-Like Top Dipole Interactions from Top-Associated Photon Measurements at the LHC
LHC ttγ and ttγγ data constrain electromagnetic and chromomagnetic dipole couplings of vector-like top quarks down to ~0.005 TeV^{-1} at 500 GeV mass, with weaker sensitivity at higher masses up to 2 TeV.
-
Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
A reduced front-seed coherence package (WL, WR) plus one pentagon contraction recovers associator, pentagon, and bridge theorems, while explicit coordinatewise reify/reflect formulas are given for K-infinity, all Lean-4 formalized without axioms.
-
Knowledge on a Budget
The paper develops semiring-annotated topological spaces (seats) extending epistemic logic to model resource costs for observing evidence, with sound and strongly complete axiomatizations for resource-indexed modalities.
-
Cut Finite Element Methods for Convection-Diffusion in Mixed-Dimensional Domains
A CutFEM is developed and analyzed for convection-diffusion on hierarchical mixed-dimensional manifolds, with a priori error estimates in energy and L2 norms that hold for reduced regularity solutions.
-
The $\bar{\nu}$-Invariant of $G_2$-Structures on Aloff-Wallach Spaces
The bar-nu invariant equals minus or plus 41 for the two homogeneous nearly-parallel G2-structures on every Aloff-Wallach space.
-
Effects of Thermal Boundary Conditions on Natural Convection and Entropy Generation in Non-Newtonian Power-Law Fluids
Simulations demonstrate that sinusoidal thermal boundary conditions reduce entropy generation in power-law fluid natural convection relative to uniform heating, with shear-thinning fluids producing stronger buoyancy-driven flow and higher Nusselt numbers.
-
A note on methods for computing the critical curve of Kerr-like black holes
Bardeen's definition of black hole critical curves deviates from de Vries and Grenzebach definitions in homogeneous plasma by contracting with increasing density, contrary to prior expectations.
-
Complex scaling approach to quasinormal modes of Schwarzschild and Reissner--Nordstr\"om black holes
Complex scaling converts outgoing boundary conditions into eigenvalue problems to compute quasinormal frequencies for Schwarzschild and Reissner-Nordström black holes, including the extremal limit.
-
Singularities in phase separation models: a spectral element approach for the nonlocal Cahn-Hilliard equation
A pseudospectral multishape method is developed to accurately approximate singular convolution operators in the nonlocal Cahn-Hilliard equation, enabling efficient high-resolution phase separation simulations.
-
Energy conditions in static, spherically symmetric spacetimes and effective geometries
A logarithmic correction to Schwarzschild in static spherical symmetry obeys all classical energy conditions and serves as an effective exterior for horizon-bearing and horizonless compact objects.
-
Nonlinear dynamics of information overload: Impact on source localization in complex networks
Simulations show information overload decreases source localization effectiveness in networks, with Erdős-Rényi graphs more resilient than Barabási-Albert ones and a reversal where less dense networks perform better under strong overload.
-
Fast and principled equation discovery from chaos to climate
Bayesian-ARGOS is a hybrid frequentist-Bayesian method that discovers equations from limited noisy observations more efficiently than SINDy or bootstrap-ARGOS while adding uncertainty quantification.
-
Theoretical and Observational Bounds on Dynamical Chern-Simons Gravity as an Effective Field Theory
Dynamical Chern-Simons gravity is bounded by causality and perturbativity to produce only tiny corrections on macroscopic gravitational systems.
-
Making Room for AI: Multi-GPU Molecular Dynamics with Deep Potentials in GROMACS
GROMACS now runs multi-GPU DeePMD inference for molecular dynamics, reaching 40-66% strong scaling efficiency up to 32 devices on a 15k-atom protein system with over 90% time in inference.
-
Transient Non-Use: How People in Migration Experience Digital Disconnection
Migrants experience transient ICT non-use as both protective strategy and response to systemic exclusion during migration transitions, suggesting design principles that anticipate non-use as intentional and unintentional.