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.
270
Pith papers citing it
34
external citations · external index
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.
A common generalization of the multiple exchange property: for any X⊆A\B and Y⊆B\A there are U⊇X, V⊇Y with |U|=|V|≤r(X+Y) and both A−U+V and B+U−V are bases.
A greedy algorithm optimally solves closest-ranking under flag matroid prefix constraints (via Bruhat order), and matroid-constrained rank aggregation is NP-hard for any fixed number of voters ≥ 2.
Twisted copresheaves on double categories are equivalent to cloven loosely discrete opfibrations via an elements construction, with a collage comparison to double barrels.
The f_0-divergence defined via Jordan decomposition integrals coincides with Araki's relative entropy on arbitrary von Neumann algebras, extending Frenkel's finite-dimensional formula.
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 preferential attachment process without vertex growth, the largest component equals (1+o_p(1))·2(α+2)/(α+1)·ε^{-2} log(ε^3 n).
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.
Scalar-channel quasinormal modes of the planar AdS5 black brane are captured across all wave numbers by exact WKB quantisation, transseries resummation, and Seiberg–Witten analytic continuation, with resummed large-q predictions matching independent numerics to ten to thirty decimal places.
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.
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.
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.
-
Generalizing the Multiple Exchange Property for Matroid Bases
A common generalization of the multiple exchange property: for any X⊆A\B and Y⊆B\A there are U⊇X, V⊇Y with |U|=|V|≤r(X+Y) and both A−U+V and B+U−V are bases.
-
Ranking and Rank Aggregation with Matroid Prefix Constraints
A greedy algorithm optimally solves closest-ranking under flag matroid prefix constraints (via Bruhat order), and matroid-constrained rank aggregation is NP-hard for any fixed number of voters ≥ 2.
-
Twisted double functors and loosely discrete opfibrations
Twisted copresheaves on double categories are equivalent to cloven loosely discrete opfibrations via an elements construction, with a collage comparison to double barrels.
-
Integral representations of $f$-divergences for general von Neumann algebras
The f_0-divergence defined via Jordan decomposition integrals coincides with Araki's relative entropy on arbitrary von Neumann algebras, extending Frenkel's finite-dimensional formula.
-
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 preferential attachment process without vertex growth, the largest component equals (1+o_p(1))·2(α+2)/(α+1)·ε^{-2} log(ε^3 n).
-
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.
-
Analytic approaches to perturbations of strongly coupled Yang-Mills plasma
Scalar-channel quasinormal modes of the planar AdS5 black brane are captured across all wave numbers by exact WKB quantisation, transseries resummation, and Seiberg–Witten analytic continuation, with resummed large-q predictions matching independent numerics to ten to thirty decimal places.
-
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.
-
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.
-
Minimum Network Level Forced by Hardwired Cluster Data
The minimum level of a rooted network with hardwired clusters exactly C equals the maximum, over Hasse blocks B, of the size of a minimum generating set for overlap-intersections in B.
-
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.
-
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.