A noncommutative Cartier formula for E1-ring spectra is proven and applied to show that p-curvature of the quantum connection computes quantum Steenrod operations for Calabi-Yau symplectic manifolds.
Canonical reference
Title resolution pending
Canonical reference. 80% of citing Pith papers cite this work as background.
1135
Pith papers citing it
1
external citations · Crossref
Background
80% of classified citations
citation-role summary
background 254
method 24
baseline 6
dataset 5
extension 2
citation-polarity summary
authors
co-cited works
representative citing papers
Expander SAEs apply left-d-regular expander masks to TopK SAEs, learning only dn decoder parameters instead of mn and tracing a storage-fidelity frontier that reaches 293x compression with 84% retained performance on Qwen2.5-3B.
The normalized orbit of a bounded normal operator can be a frame, providing a counterexample to Conjecture 3.
Machine learning methods discover a new noncrossing-partition statistic interpreting q,t-Narayana polynomials and yield a combinatorial proof of their symmetry.
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
Sharp Bianchi–Egnell stability for the affine fractional L2-Sobolev inequality, with local spectral gap 2s/(n/2+s+1) and a strictly smaller optimal global constant.
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
A survey of 172 open educational datasets from 204 papers across LAK, EDM, and AIED conferences reveals trends, 143 previously uncatalogued datasets, field gaps, and an 8-item PRACTICE checklist for better data publication.
A microlocal lift of Navier-Stokes dynamics on manifolds yields an if-and-only-if geometric criterion for solution blow-up in terms of deformation integrability, directional entropy, and lifted energy.
The Contiguous Art Gallery problem is solved in Θ(n log n) time in the real RAM model, improving the prior O(k n^5 log n) upper bound and proving an Ω(n log n) lower bound.
Introduces a method to design structure-specific relational inductive biases for a base transformer architecture, enabling end-to-end transcription of documents with intrinsic structures, demonstrated on sheet music, shape drawings, and mechanical engineering drawings.
First irreducible rank-2 dHYM connections are constructed on the full flag manifold F₂, and rank-1 solutions outside the supercritical regime disprove conjectured stability conditions.
One-bit broadcast-counting in anonymous 1-interval-connected networks still supports general multiset computation in O(n³ log² n) rounds, nearly matching congested O(n³) algorithms and an Ω(n³) lower bound.
First event-by-event Cherenkov separation from sub-MeV electrons in liquid argon enables a proof-of-principle ALP search excluding new parameter space despite no observed excess.
Rank-2 Kleinian groups with three parabolics are maximal cusps when the domain of discontinuity is nonempty, but new finite-covolume lattice examples exist that do not arise from tunnel-number-1 links.
The lattice of z-ideals of every commutative semiring is unconditionally a coherent frame, and under explicit finite-type hypotheses the g-closed ideals form a coherent frame homeomorphic to a prime congruence spectrum.
Every graph contains k vertex-disjoint cycles of distinct lengths or has a set of O(k^6 polylog(k)) vertices whose removal leaves at most k-1 cycle lengths.
By folding normalization into a KL-based objective over un-normalized potentials, neural likelihood approximation becomes a strictly convex problem with provable consistency.
The paper introduces a probabilistic sign rule for quotients of positive series and integral transforms that reduces monotonicity, log-supermodularity, and log-convexity to kernel sign criteria via moment identities, and applies it to derive new inequalities for hypergeometric, Stieltjes, and Prabha
SPoILeR uses multimodal pre-training to enable accurate novel view synthesis of infrared, polarimetric, and multispectral data from RGB-supervised fine-tuning on new scenes.
NEvo performs evolutionary search guided by a dynamic voxel-level encoding model to synthesize videos that maximize predicted activity in target brain ROIs, recovering known selectivities and revealing temporal dynamics differences.
citing papers explorer
-
Noncommutative Cartier Formulae
A noncommutative Cartier formula for E1-ring spectra is proven and applied to show that p-curvature of the quantum connection computes quantum Steenrod operations for Calabi-Yau symplectic manifolds.
-
Expander Sparse Autoencoders: Parameter-Efficient Dictionaries for Mechanistic Interpretability
Expander SAEs apply left-d-regular expander masks to TopK SAEs, learning only dn decoder parameters instead of mn and tracing a storage-fidelity frontier that reaches 293x compression with 84% retained performance on Qwen2.5-3B.
-
The normalized orbit of a bounded normal operator can be a frame
The normalized orbit of a bounded normal operator can be a frame, providing a counterexample to Conjecture 3.
-
Mapping Uncharted Symmetries: Machine Discovery in Combinatorics
Machine learning methods discover a new noncrossing-partition statistic interpreting q,t-Narayana polynomials and yield a combinatorial proof of their symmetry.
-
SLayerGen: a Crystal Generative Model for all Space and Layer Groups
SLayerGen generates crystals invariant to any space or layer group via autoregressive lattice and Wyckoff sampling plus equivariant diffusion, achieving gains over bulk models on diperiodic materials after correcting a prior loss inconsistency for hexagonal groups.
-
Adjacency labelling for proper minor-closed graph classes
Every proper minor-closed graph class admits an optimal (1+o(1)) log n bit adjacency labeling scheme.
-
Sharp Stability for the Affine Fractional Sobolev Inequality
Sharp Bianchi–Egnell stability for the affine fractional L2-Sobolev inequality, with local spectral gap 2s/(n/2+s+1) and a strictly smaller optimal global constant.
-
Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery
A directed weighted two-graph model separates feasibility from movement in solution discovery and yields a detailed complexity classification for path and shortest-path discovery.
-
Parameterization-driven arbitrary Lagrangian-Eulerian method for large-deformation isogeometric fluid-structure interaction
The method reformulates ALE mesh motion as independent multi-patch spline parameterizations per time step, using barrier functions, tangential-slip reparameterization, and constant-preserving quasi-interpolation to enable large-rotation FSI simulations.
-
Superconductivity induced by altermagnetic spin fluctuations in high-pressure MnB$_4$
Superconductivity in high-pressure MnB4 is induced by altermagnetic spin fluctuations, yielding extended-s pairing symmetry.
-
Open Datasets in Learning Analytics: Trends, Challenges, and Best PRACTICE
A survey of 172 open educational datasets from 204 papers across LAK, EDM, and AIED conferences reveals trends, 143 previously uncatalogued datasets, field gaps, and an 8-item PRACTICE checklist for better data publication.
-
On Geometric Evolution and Microlocal Regularity of the Navier-Stokes Equations
A microlocal lift of Navier-Stokes dynamics on manifolds yields an if-and-only-if geometric criterion for solution blow-up in terms of deformation integrability, directional entropy, and lifted energy.
-
The Contiguous Art Gallery Problem is in {\Theta}(n log n)
The Contiguous Art Gallery problem is solved in Θ(n log n) time in the real RAM model, improving the prior O(k n^5 log n) upper bound and proving an Ω(n log n) lower bound.
-
A document is worth a structured record: Principled inductive bias design for document recognition
Introduces a method to design structure-specific relational inductive biases for a base transformer architecture, enabling end-to-end transcription of documents with intrinsic structures, demonstrated on sheet music, shape drawings, and mechanical engineering drawings.
-
Deformed Hermitian-Yang-Mills equation on the manifold of full flags
First irreducible rank-2 dHYM connections are constructed on the full flag manifold F₂, and rank-1 solutions outside the supercritical regime disprove conjectured stability conditions.
-
Computing in Anonymous Dynamic Networks with One-Bit Communications
One-bit broadcast-counting in anonymous 1-interval-connected networks still supports general multiset computation in O(n³ log² n) rounds, nearly matching congested O(n³) algorithms and an Ω(n³) lower bound.
-
First Demonstration of a Hybrid Cherenkov and Scintillation Detector in a Proof-of-Principle Axion Search at a Beam Dump
First event-by-event Cherenkov separation from sub-MeV electrons in liquid argon enables a proof-of-principle ALP search excluding new parameter space despite no observed excess.
-
On rank two Kleinian groups with three parabolics
Rank-2 Kleinian groups with three parabolics are maximal cusps when the domain of discontinuity is nonempty, but new finite-covolume lattice examples exist that do not arise from tunnel-number-1 links.
-
Maximal-Hull $z$-Ideals, Congruence Closures, and Coherent Frames of Commutative Semirings
The lattice of z-ideals of every commutative semiring is unconditionally a coherent frame, and under explicit finite-type hypotheses the g-closed ideals form a coherent frame homeomorphic to a prime congruence spectrum.
-
An Erd\H{o}s-P\'osa theorem for cycles and faces of distinct lengths
Every graph contains k vertex-disjoint cycles of distinct lengths or has a set of O(k^6 polylog(k)) vertices whose removal leaves at most k-1 cycle lengths.
-
A Convex Approximation Framework for Neural Likelihood-Based Bayesian Inverse Problems
By folding normalization into a KL-based objective over un-normalized potentials, neural likelihood approximation becomes a strictly convex problem with provable consistency.
-
A Probabilistic Sign Rule for Quotients of Positive Series and Integral Transforms
The paper introduces a probabilistic sign rule for quotients of positive series and integral transforms that reduces monotonicity, log-supermodularity, and log-convexity to kernel sign criteria via moment identities, and applies it to derive new inequalities for hypergeometric, Stieltjes, and Prabha
-
Learning Spectral and Polarimetric Clues for One-to-Multimodal Novel View Synthesis
SPoILeR uses multimodal pre-training to enable accurate novel view synthesis of infrared, polarimetric, and multispectral data from RGB-supervised fine-tuning on new scenes.
-
NEvo: Neural-Guided Evolutionary Video Synthesis for Dynamic Visual Selectivity
NEvo performs evolutionary search guided by a dynamic voxel-level encoding model to synthesize videos that maximize predicted activity in target brain ROIs, recovering known selectivities and revealing temporal dynamics differences.
-
3-Colouring Graphs Excluding a Fixed Minor
Every n-vertex H-minor-free graph admits a 3-coloring with monochromatic components of size O_H(n^{4/9}).
-
On the Symplectic Propagation of the Spin-MInt Algorithm for Non-Adiabatic Quantum Dynamics
The Spin-MInt algorithm is proven symplectic for general K electronic states via explicit verification of the condition MJM^T = J on the coadjoint orbit of the su(K) Lie-Poisson algebra.
-
Open Source Is Not One Thing: A Typology of Open-Source Software Sub-Genres
The authors synthesize a typology of fourteen OSS sub-genres from a review of 3,925 papers and present a research agenda on cross-sub-genre generalization.
-
Identifiability Limits of Physics-Informed Inference for Spatial Stochastic Dynamics from Static Snapshots
Structural identifiability analysis shows point sources restore identifiability for inferring spatial stochastic dynamics parameters from static snapshots, unlike distributed sources, with limits depending on modeling choices.
-
An Information-Theoretic Principle for Optimal Quantum Encoding: Tight Frames and Equiangular Ensembles
Maximal quantum leakage upper-bounds quantum inference accuracy; optimal encodings are pure states, with tight frames and equiangular tight frames optimal when system dimension is small.
-
Approximating Peak Prevalence in Multistage SIR Epidemics
In multistage SI(k)R models, the relationship between prevalence peak and weighted stage functional maxima varies with scaling of progression rates, converging under Erlang scaling to a delay model that justifies the factor-two approximation with error bounds and corrections.
-
Improved Approximation Algorithms for Parallel Task Scheduling and Multiple Cluster Scheduling
Claims an O(n log n) (4/3)OPT + p_max algorithm for PTS that resolves a prior open question, plus faster and more general approximations for MCS.
-
PRISM-VO: Scale-Aware Visual Odometry Using Photometric Plenoptic Bundle Adjustment
PRISM-VO introduces photometric plenoptic bundle adjustment for drift-resilient, metric-scale visual odometry from a single focused plenoptic camera.
-
Interface-Aware Neural Newton Preconditioning for Robust Cohesive Zone Model Simulations
A learned interface-aware neural Newton preconditioner improves convergence on difficult CZM increments while preserving the original discrete solution set and force-displacement response.
-
ReactionAtlas: Ab origine exploration of chemical reaction networks with machine learning
ReactionAtlas is an iterative ML framework that proposes candidate reactions from seed molecules, filters them with an ML force field for valid transition states, and grows a network of ~47,000 reactions among ~12,000 compounds up to C4 in pre-biotic chemistry.
-
Phonon-driven Floquet-Bloch states probed by quantum beat spectroscopy
Coherent 5.4-meV phonons create Floquet sidebands on image-potential states of graphene/Ir(111), appearing as phase-locked picosecond quantum beats in time-resolved photoemission.
-
Non-colliding space-time inhomogeneous Markov chains
Derives leading asymptotics for collision-time tails of integrable inhomogeneous Markov chains via steepest-descent analysis and Karlin-McGregor expansion, confirming a prediction for push-block particle systems.
-
Canopies: A Generalization of Vines and Vineyards for Parameterized Persistence
Canopies generalize vines and vineyards by tracking simplex pairs in filtered chain complexes instead of persistence diagram points, with proofs of homeomorphism and applications to multiplicity and monodromy.
-
Projection-Based Reconstruction for Achieving High-Order Accuracy from Low-Order DGSEM Simulations
A cP_n P_m scheme for DGSEM-LGL achieves m+1 convergence order via projected high-order components and a compact reconstruction operator that corrects the highest Legendre mode.
-
Hierarchical Granular Metamaterials
Hierarchical granular metamaterials achieve simultaneous increases in impact energy absorption per unit mass and reductions in transmitted peak force at low densities through three-level design combining granular dissipation with architected structures.
-
RoverDevKit: An open, physics-grounded tradespace toolkit for conceptual design of lunar micro-rovers
RoverDevKit is an open physics-based evaluator for lunar micro-rover conceptual design that runs in 30 ms and uses NSGA-II to identify mission-dependent optimal wheel configurations and binding trades.
-
Correct and Complete Symbolic Execution for Free
Symbolic SOS rules generate symbolic semantics that are proven correct and complete with respect to concrete semantics using only the language's algebraic signature.
-
NeoLoc-68: End-to-end 68-point neonatal facial landmark localisation in neonatal clinical environments
A YOLO keypoint model trained on 37k+ public images plus 1k neonatal frames achieves SOTA NME and low failure rates for 68-point neonatal landmark detection in clinical conditions.
-
Computing Twin-Width via Treedepth and Vertex Integrity
Approximating twin-width is FPT parameterized by treedepth via oriented twin-width, and exact twin-width computation is FPT parameterized by vertex integrity.
-
A hybrid sharp-diffuse interface approach to accurately model melt pool dynamics with rapid evaporation in laser-based processing of metals
Hybrid sharp-diffuse interface finite element method for accurate thermo-hydrodynamic modeling of melt pools with rapid evaporation.
-
Tractable Gap-Constraint Languages for Complex Event Recognition
Subsequence matching with gap-constraints is solvable in O(|D|(|u| + |C|)) time under left-convexity of the languages, optimal under SETH.
-
Contextualizing Biological Language Models across Modalities via Logit-Space Contrastive Alignment
LOGICA adds context to pretrained biological LMs via logit-space contrastive alignment with gated adapters, improving AUC on held-out drug-resistance mutation ranking from ~0.55 to ~0.65 while preserving token likelihoods.
-
FllumaOne: A Code-Native Multimodal CAD Dataset with Executable Programs and Kernel-Validated Feature Histories
FllumaOne releases 100,000 kernel-validated CAD models as executable Python programs with aligned multimodal data including feature histories and geometry exports.
-
A Hybrid GNN-FEM Framework for Phase-Field Fracture Simulation. Physics-Preserving Hybridization for Generalizable Surrogate Modeling
Hybrid GNN-FEM surrogate replaces only the phase-field update step in a staggered incremental scheme for phase-field fracture, using dimensionless mesh features and physics-informed loss to generalize across geometries, loads, materials, and discretizations.
-
Physics-Informed Discovery of Yield Functions in Plasticity via Convex Neural Representations
A convex neural network is trained inside an elastoplastic stress integration loop using force equilibrium losses to identify yield functions from full-field displacement data.
-
Low-variance estimators overcome the phase-gradient bottleneck in complex-valued neural quantum states
Direct differentiation of the local energy at fixed samples yields an unbiased low-variance estimator for the variational Monte Carlo phase force in complex neural quantum states, with an adaptive mixture extending it to coupled networks and improving results on flux ladders, chiral chains, and frac