Cohomology of parallelized n-manifolds carries a natural homotopy involutive n-Frobenius structure extending the rational homotopy type, via Quillen equivalence to n-Poisson cooperad comodules.
Canonical reference
Title resolution pending
Canonical reference. 79% of citing Pith papers cite this work as background.
259
Pith papers citing it
Background
79% of classified citations
citation-role summary
background 50
method 5
other 2
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
authors
co-cited works
representative citing papers
Parallel algorithm for matroid basis computation with O(n^{1/3} log^{1/3} n) round complexity, nearly matching the KUW lower bound.
A Master Theorem supplies explicit formulas for topological zeta functions of matroids and solves multiple conjectures.
A threshold κ=Θ(1/√α) (α=m/n) separates easy collision finding from OGP-based exponential lower bounds against online algorithms in single-layer binary NNs.
PAL uses the classical Preisach hysteresis operator with learned thresholds and an extrema stack to model sequences, proving O(1)-depth Turing completeness via two-stack PDA simulation and incomparability with standard transformers on rate-independent vs. random-access functions.
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.
Vitriflow is a new explicit calibration framework for melt-quench MD that produces statistically converged, screened amorphous ensembles demonstrated on a-SiO2, a-Si3N4 and a-Sm2O3.
Introduces separable and essentially separable graphs as a broad class for mixed graphical models, provides multiple characterizations of the graphs and their separation equivalence, and develops an identification algorithm for equivalence classes.
In the subcritical regime m = m_c(1-ε) with ε→0 and ε³n→∞, the largest component L1 satisfies L1 = (1+o_p(1)) * [2(α+2)/(α+1)] ε^{-2} log(ε³ n) for fixed α>0 (and analogous limits when α(n)→a).
Classifies finite-field Clifford dual-unitary gates into q-2 perfect-tensor cores and others, deriving exact masking distances d1(t)=4t and d2(t)=4t-2 for perfect-tensor circuits.
Sound and complete axiomatizations are provided for path-reachability logic with Cantor derivative in T1 topologies and metric spaces, with decidability via neighborhood semantics that yields the finite model property.
Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.
Quantum corrections suppress the symmetron fifth force by order 10% within a Compton wavelength of a thick planar source and enhance it at larger distances.
Unifilarisation of stochastic Mealy machines is an instance of coalgebraic determinisation over monads with support structure, producing causal stochastic behaviours rather than Moore-style output distributions.
Mazur and Jester manifolds have pairwise nonhomeomorphic boundaries via an octahedral hyperbolic structure, Dehn filling, and systolic geodesics, distinguishing their contractible 4-manifolds.
Seiberg-Witten instanton expansions combined with exact WKB period integrals allow analytic computation and continuation of quasinormal modes from large q to q=0.
An active learning method based on E-SINDy identifies governing ODEs and PDEs accurately with significantly fewer data samples than random sampling across tested systems.
Effective scalaron-photon coupling in f(R) gravity vanishes in the light-scalaron limit due to cancellation of anomaly-induced and diagrammatic contributions.
Provides algorithms and complexity results for the δ-Dispersion and δ-Covering problems on bounded-treewidth graphs for integer, rational, and irrational distances.
Diagonal EP under variance-profile Gaussian matrices produces Gaussian-process dynamics with profile-dependent memory instead of conventional scalar state evolution.
LSD extends speculative sampling to second-order Langevin dynamics, achieving 3-9x speedup in MD while exactly sampling from the target distribution without relative error.
Introduces Δ-VFE pivoted Cholesky, a pivot rule maximizing the one-step gain in a VFE functional for kernel matrices via closed-form decomposition and batch sampling, yielding improved GP objective values and accuracy at low ranks.
DAML is a new dynamic modal logic that derives conditional obligations in multi-agent settings by combining action models with deontic value maximization over outcomes.
Training-language dominance, not English inherent properties, determines brain-LLM alignment across English, Chinese, and French, with additional independent effects from typological distance concentrated in syntactic brain regions.
citing papers explorer
-
Homotopy Frobenius structures on the cohomology of a manifold
Cohomology of parallelized n-manifolds carries a natural homotopy involutive n-Frobenius structure extending the rational homotopy type, via Quillen equivalence to n-Poisson cooperad comodules.
-
A Near-Optimal Parallel Algorithm for Finding Matroid Bases
Parallel algorithm for matroid basis computation with O(n^{1/3} log^{1/3} n) round complexity, nearly matching the KUW lower bound.
-
A master theorem for topological zeta functions of matroids
A Master Theorem supplies explicit formulas for topological zeta functions of matroids and solves multiple conjectures.
-
Collision Resistance of Single-Layer Neural Nets
A threshold κ=Θ(1/√α) (α=m/n) separates easy collision finding from OGP-based exponential lower bounds against online algorithms in single-layer binary NNs.
-
Preisach Attention: A Hysteretic Model of Sequential Memory
PAL uses the classical Preisach hysteresis operator with learned thresholds and an extrema stack to model sequences, proving O(1)-depth Turing completeness via two-stack PDA simulation and incomparability with standard transformers on rate-independent vs. random-access functions.
-
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.
-
Vitriflow: calibrated amorphous structure ensembles from melt-quench simulation
Vitriflow is a new explicit calibration framework for melt-quench MD that produces statistically converged, screened amorphous ensembles demonstrated on a-SiO2, a-Si3N4 and a-Sm2O3.
-
Characterizing and Identifying Separable Graphical Models
Introduces separable and essentially separable graphs as a broad class for mixed graphical models, provides multiple characterizations of the graphs and their separation equivalence, and develops an identification algorithm for equivalence classes.
-
Sharp Asymptotics for the Largest Component in the Subcritical Regime of Preferential Attachment Without Vertex Growth
In the subcritical regime m = m_c(1-ε) with ε→0 and ε³n→∞, the largest component L1 satisfies L1 = (1+o_p(1)) * [2(α+2)/(α+1)] ε^{-2} log(ε³ n) for fixed α>0 (and analogous limits when α(n)→a).
-
Classification and Exact Local Masking in Finite-Field Clifford Dual-Unitary Circuits
Classifies finite-field Clifford dual-unitary gates into q-2 perfect-tensor cores and others, deriving exact masking distances d1(t)=4t and d2(t)=4t-2 for perfect-tensor circuits.
-
Topological Logics of Path-Reachability
Sound and complete axiomatizations are provided for path-reachability logic with Cantor derivative in T1 topologies and metric spaces, with decidability via neighborhood semantics that yields the finite model property.
-
Belief Contraction in Dynamic Epistemic Logic
Introduces direct belief contraction on unconstrained Kripke models in DEL, shows it satisfies some but not all contraction properties, and gives sound complete axiomatizations for the logic and its extension to private announcements.
-
Quantum corrections to symmetron fifth forces for planar sources
Quantum corrections suppress the symmetron fifth force by order 10% within a Compton wavelength of a thick planar source and enhance it at larger distances.
-
Bayesian updates from coalgebraic determinisation
Unifilarisation of stochastic Mealy machines is an instance of coalgebraic determinisation over monads with support structure, producing causal stochastic behaviours rather than Moore-style output distributions.
-
Mazur's knot and the Octahedron
Mazur and Jester manifolds have pairwise nonhomeomorphic boundaries via an octahedral hyperbolic structure, Dehn filling, and systolic geodesics, distinguishing their contractible 4-manifolds.
-
Analytic approaches to perturbations of strongly coupled Yang-Mills plasma
Seiberg-Witten instanton expansions combined with exact WKB period integrals allow analytic computation and continuation of quasinormal modes from large q to q=0.
-
How Low Can You Go? Active Learning for Sparse Model Discovery in the Ultra-Low-Data Limit
An active learning method based on E-SINDy identifies governing ODEs and PDEs accurately with significantly fewer data samples than random sampling across tested systems.
-
Effective scalaron--photon interaction in $f(R)$ gravity
Effective scalaron-photon coupling in f(R) gravity vanishes in the light-scalaron limit due to cancellation of anomaly-induced and diagrammatic contributions.
-
Independence and Domination on Bounded-Treewidth Graphs: Integer, Rational, and Irrational Distances
Provides algorithms and complexity results for the δ-Dispersion and δ-Covering problems on bounded-treewidth graphs for integer, rational, and irrational distances.
-
Gaussian-Process Dynamics of Diagonal Expectation Propagation under Variance-Profile Gaussian Measurements
Diagonal EP under variance-profile Gaussian matrices produces Gaussian-process dynamics with profile-dependent memory instead of conventional scalar state evolution.
-
Speculative Sampling For Faster Molecular Dynamics
LSD extends speculative sampling to second-order Langevin dynamics, achieving 3-9x speedup in MD while exactly sampling from the target distribution without relative error.
-
Variational Free Energy Pivot Selection for Pivoted Cholesky
Introduces Δ-VFE pivoted Cholesky, a pivot rule maximizing the one-step gain in a VFE functional for kernel matrices via closed-form decomposition and batch sampling, yielding improved GP objective values and accuracy at low ranks.
-
From Actions to Obligations: A Deontic Action Model Logic
DAML is a new dynamic modal logic that derives conditional obligations in multi-agent settings by combining action models with deontic value maximization over outcomes.
-
Brain-LLM Alignment Tracks Training Data, Not Typology
Training-language dominance, not English inherent properties, determines brain-LLM alignment across English, Chinese, and French, with additional independent effects from typological distance concentrated in syntactic brain regions.
-
Therm-FM: Foundation Model is ALL YOU NEED for 3D-ICs Thermal Simulation
Therm-FM adapts a pretrained PDE foundation model using thermal-equivalent multi-fidelity training to achieve up to 10.6x lower error in 3D-IC thermal simulation with under 20% of typical training data and strong cross-design transfer.
-
A Characterization of Level-k Realizability for Clustering Systems
A clustering system C is the hardwired clustering system of a rooted level-k network if and only if μ(B) ≤ k for every non-trivial block B in the Hasse diagram H[C].
-
Gravitational Waves from Black Hole Reheating: The Scalar-Induced Component
Accounting for the minimal mass spread of primordial black holes from gravitational collapse suppresses the Poltergeist GW background to the level of generic scalar-induced signals and reopens ultra-light PBH parameter space.
-
Scale-Calibrated Median-of-Means for Robust Distributed Principal Component Analysis
Proposes a scale-calibrated median-of-means estimator for robust aggregation of distributed PCA estimates on the product of Euclidean space and Grassmann manifold.
-
Optimal Spectral Algorithms for Correlated Two-view Models in High Dimensions
Introduces a TAP-motivated framework and constructs explicit parameter-free spectral algorithms that achieve strong detection and weak recovery thresholds in three canonical correlated two-view models with matching lower bounds.
-
Covariant extrinsic curvature expansion of the nonlocal effective action for a massless scalar field on a manifold with boundary
Derives covariant quadratic expansion in extrinsic curvature of the nonlocal effective action for a massless scalar field on manifolds with boundary, extending Monge-patch results to general surfaces.
-
Quantum Solvers for Nonlinear Matrix Equations in Quantum Chemistry
Quantum algorithm block-encodes Riccati solutions for m-particle m-hole RPA using Riesz projectors and QSVT, claiming linear system-size scaling under sparsity and polynomial cost in excitation rank m.
-
Robustly transitive behavior in symplectic dynamics
Under a domination condition, real-analytic deformations of symplectomorphism products yield large robustly transitive sets and new non-uniformly-hyperbolic examples via blender-horseshoe perturbations and control-theory ideas.
-
Synthetic Sociality: How Generative Models Privatize the Social Fabric
Generative models privatize social relations by automating social capacities into synthetic forms owned by private companies.
-
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.
-
Inverse Design of Metainterfaces for Static Friction Control: Beyond the Hertzian Limit
A differentiable contact mechanics engine embedded in a neural network and quadratic optimizer discovers axisymmetric asperity topographies that produce target nonlinear friction laws, validated against 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.
-
A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction
Affine closure of T*O_n in sl_n is isomorphic via C*-Hamiltonian reduction to the minimal nilpotent orbit closure in so_{2n+2}, and has no symplectic resolution.
-
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.
-
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.