papers checked against Recognition
Pith ran a Recognition coverage check on each paper here and surfaced at least one Lean theorem in the public Recognition library that looks relevant to the paper's claims. The link is Pith's machine assessment, not a citation by the paper. Click into the paper for the full Pith review and the suggested theorem matches.
60 of 33957 papers
-
A Discrete Informational Framework for Classical Gravity: Ledger Foundations and Galaxy Rotation Curve Constraints
astro-ph.GA · 2026-04-20 · 9 theorem links
A discrete-information framework derives a power-law infrared modification of Poisson with α=(1-φ⁻¹)/2 and tests it on SPARC, achieving a fit between global-only NFW and MOND.
-
A Complete Derivation of the Fermion Spectrum from the Recognition Composition Law
physics.gen-ph · 2025-06-15 · 9 theorem links
A scheme that pins all fermion masses and α⁻¹ to integer combinations of 3-cube geometry and powers of φ, calibrated by the electron mass alone, with Lean 4 certificates for the internal algebra.
-
Recognition Geometry
math.GM · 2026-01-26 · 8 theorem links
Recognition Geometry repackages standard quotient-by-fiber and neighborhood-topology constructions under a measurement-first vocabulary, with a partial Lean 4 formalization.
-
A Noble-Gas-Centered Coordinate for Within-Period Atomic Property Trends
physics.chem-ph · 2026-04-22 · 8 theorem links
Within-period trends of IE₁, EA, χ_M, and η can be parameterized by a single cosh(ρ ln φ)−1 landscape with one fitted scale per period, after excluding period 1, period 7, halogens, and anomaly atoms.
-
Probability Geometry and Kolmogorov Expectations via Coordinate Charts
math.PR · 2026-05-04 · 5 theorem links
Expectation arises as linear averaging in probability coordinates defined by the CDF, pulled back to value space, coinciding with Kolmogorov means and extending to heavy-tailed cases via boundary concentration.
-
Emergence of conformal properties in Finite Grand Unified Theories via reduction of couplings
hep-ph · 2026-05-06 · 5 theorem links
Finite SUSY GUTs with reduction of couplings exhibit conformal behavior and AMSB-like soft terms without tachyons when connected to a Weyl-invariant supergravity with no-scale Kähler potential.
-
Hamiltonian Analysis of Pre-geometric Gravity
gr-qc · 2025-05-02 · 5 theorem links
Pith review generated a malformed one-line summary.
-
Pre-geometric Einstein-Cartan Field Equations and Emergent Cosmology
gr-qc · 2025-05-05 · 5 theorem links
Pith review generated a malformed one-line summary.
-
Observational Insights on DBI K-essence Models Using Machine Learning and Bayesian Analysis
astro-ph.CO · 2025-06-06 · 5 theorem links
Pith review generated a malformed one-line summary.
-
Inflation in the Scale Symmetric Standard Model and Weyl geometry
hep-ph · 2025-06-17 · 5 theorem links
Pith review generated a malformed one-line summary.
-
Thermodynamics of analogue black holes in a non-Hermitian tight-binding model
cond-mat.mes-hall · 2025-07-04 · 5 theorem links
A PT-symmetric tight-binding chain with non-reciprocal NNN hopping is shown to mimic a Schwarzschild horizon, with an emission frequency ω = 8|γ|/3 set by the gain/loss parameter.
-
On the Spatiotemporal Dynamics of Generalization in Neural Networks
cs.LG · 2026-02-02 · 4 theorem links
Deriving a neural cellular automaton from locality, symmetry, and stability postulates produces 100% accurate addition generalization from 16-digit to 1-million-digit inputs.
-
DanceGRPO: Unleashing GRPO on Visual Generation
cs.CV · 2025-05-12 · 4 theorem links
DanceGRPO applies GRPO to visual generation tasks to achieve stable policy optimization across diffusion models, rectified flows, multiple tasks, and diverse reward models, outperforming prior RL methods.
-
Learning Transferable Visual Models From Natural Language Supervision
cs.CV · 2021-02-26 · 4 theorem links
Contrastive image-text pre-training on 400M web pairs yields a vision model whose zero-shot transfer is competitive with supervised baselines across 30+ datasets and notably more robust to natural distribution shift.
-
Adam: A Method for Stochastic Optimization
cs.LG · 2014-12-22 · 4 theorem links
A first-order stochastic optimizer that maintains bias-corrected exponential moving averages of the gradient and its square, dividing the former by the square root of the latter to set per-parameter step sizes.
-
A Quantum Approximate Optimization Algorithm
quant-ph · 2014-11-14 · 4 theorem links
A p-layer alternating-operator ansatz on n qubits yields approximation ratios that increase with p, achieving ≥0.6924 for MaxCut on 3-regular graphs at p=1 and approaching 1 in the p→∞ adiabatic limit.
-
GWTC-4.0: Population Properties of Merging Compact Binaries
astro-ph.HE · 2025-08-25 · 4 theorem links
Pith review generated a malformed one-line summary.
-
LoRA: Low-Rank Adaptation of Large Language Models
cs.CL · 2021-06-17 · 4 theorem links
Adapting large language models by training only a low-rank decomposition BA added to frozen weight matrices matches full fine-tuning while cutting trainable parameters by orders of magnitude and adding no inference latency.
-
Multilingual Knowledge Graph Completion with Self-Supervised Adaptive Graph Alignment
cs.AI · 2022-03-28 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Attention Is All You Need
cs.CL · 2017-06-12 · 4 theorem links
Pith review generated a malformed one-line summary.
-
Quality-Aware Exploration Budget Allocation for Cooperative Multi-Agent Reinforcement Learning
cs.MA · 2026-05-03 · 4 theorem links
A quality-aware exploration method using return-conditioned sigmoid scheduling and per-agent RSQ metrics achieves top-tier returns on seven cooperative MARL benchmarks.
-
Floating-Point Networks with Automatic Differentiation Can Represent Almost All Floating-Point Functions and Their Gradients
cs.LG · 2026-05-03 · 4 theorem links
Floating-point neural networks with automatic differentiation can represent arbitrary floating-point functions and their gradients under mild conditions.
-
The atomic nucleus as a bound system of $3A$ quarks
nucl-th · 2026-05-02 · 4 theorem links
Nuclei are 3A-quark systems where Fermi gas explains equal u/d quarks in light nuclei, a modified bag model fits heavier ones, and AdS5 duality predicts the lightest glueball's decay and sets the maximum stable nuclear charge at Z=82 for lead.
-
Estimation of BLP models with high-dimensional controls
econ.EM · 2026-05-02 · 4 theorem links
A Neyman-orthogonal estimator paired with Lasso nuisance estimation achieves root-T asymptotic normality for BLP demand parameters under high-dimensional controls and approximate sparsity.
-
Gravitational baryogenesis in scalar-nonmetricity $f(Q,\phi)$ gravity
gr-qc · 2026-05-03 · 4 theorem links
Two scalar-nonmetricity gravity models reproduce the observed baryon asymmetry for gamma values of 0.2-0.3 and reasonable alpha, beta parameters.
-
Two distinct superconducting regimes in Ti4Co2O under pressures
cond-mat.supr-con · 2026-05-03 · 4 theorem links
Ti4Co2O displays two distinct superconducting regimes under pressure: a low-pressure phase with enhanced upper critical field and Fermi-liquid transport, and a high-pressure phase with rising Tc and stronger phonon scattering, linked to density-of-states changes.
-
Exponential speedups in fault-tolerant processing of quantum experiments
quant-ph · 2026-05-03 · 4 theorem links
Embedding experimental quantum states into high-distance codes enables exponential speedups in fault-tolerant shadow tomography and cubic observable estimation over unencoded adaptive strategies.
-
Weyl Cosserat Elasticity and Gravitational Memory: An Effective Microstructured Model of Spacetime
gr-qc · 2026-05-03 · 4 theorem links
A mathematically controlled correspondence is constructed between Weyl tensor components in vacuum GR and Cosserat elastic kinematics, with gravitational memory reinterpreted as edge and screw dislocation topological charges in an effective microstructured spacetime.
-
Denoising data using convex relaxations
stat.ME · 2026-05-04 · 4 theorem links
A convex-relaxation denoiser projects PCA-reduced noisy manifold data onto the convex hull using a Gaussian-tail oracle, with finite-sample error bounds under a lower-mass condition on the latent distribution.
-
Emergent Quantum Dynamics as a Bayesian Inference Problem: A Critical Analysis
quant-ph · 2026-05-05 · 4 theorem links
The paper derives necessary and sufficient conditions for emergent quantum dynamics as a Bayesian inference problem, validates them via semidefinite programming in paradigmatic cases, and defines a new robustness measure against noise.
-
Many Hamiltonians Are Sparsifiable
quant-ph · 2026-05-04 · 4 theorem links
Many r-local Hamiltonians, including Pauli strings, random high-rank operators, and high-rank operators, admit sparsifications with o(n^r) terms that (1±ε)-approximate the original Hamiltonian on all states.
-
Modeling and Mitigation of 7.125-7.40 GHz Terrestrial Network RFI on the Passive Earth Exploration Satellite Service in 6.725-7.125 GHz Band
eess.SP · 2026-05-03 · 4 theorem links
Simulations show that TN deployments in 7.125-7.4 GHz cause RFI 4 dB above EESS thresholds by 2040 with 25 MHz guard bands unless rates are limited to 300 Mbps or guard bands widened to 35 MHz.
-
Liouvillian and Analytic Integrability of a Generalized Gause System
math.DS · 2026-05-05 · 4 theorem links
A generalized Gause predator-prey system fails to be Liouvillian integrable in certain parameter regions, implying nonintegrability of an associated second-kind Abel equation with polynomial coefficients, while local analytic first integrals exist near equilibria.
-
Cusp forms and parabolic cohomology classes for symmetric spaces of rank one
math.NT · 2026-05-04 · 4 theorem links
Explicit isomorphisms via integral transforms connect cusp forms of spectral parameter ν to parabolic cohomology subspaces for groups on rank-one symmetric spaces, uniformly without classification.
-
Exchange-frustrated quadrupoles on the honeycomb lattice: Flavor-wave spectra, classical degeneracies and parton constructions
cond-mat.str-el · 2026-05-04 · 4 theorem links
The quadrupolar Kitaev model on the honeycomb lattice shows an extensively degenerate classical manifold and supports gapped or gapless quantum-disordered states via Majorana parton constructions distinguished by symmetry implementations.
-
Spinning charged test particle dynamics around a Schwarzschild black hole embedded in a homogeneous magnetic field
gr-qc · 2026-05-03 · 4 theorem links
Spinning charged test particles around a Schwarzschild black hole in a uniform magnetic field have integrable equatorial motion with explicit frequencies but exhibit chaotic non-integrable dynamics off the equatorial plane.
-
Unifying the Regge-Wheeler-Zerilli and Bardeen-Press-Teukolsky formalisms on spherical backgrounds
gr-qc · 2026-05-05 · 4 theorem links
A self-dual curvature formulation unifies the Regge-Wheeler-Zerilli and Bardeen-Press-Teukolsky equations on spherical backgrounds as components of one tensorial curvature equation.
-
Toward the Internet of Space Things: Performance Analysis of LEO Satellite Relay Networks using mmWave and sub-THz links
cs.NI · 2026-05-03 · 4 theorem links
LEO relay networks with mmWave and sub-THz inter-satellite links can achieve 24/7 connectivity for space users with only ten satellites and vastly higher throughput than existing ground relays.
-
Coopetition-Gym v1: A Formally Grounded Platform for Mixed-Motive Multi-Agent Reinforcement Learning under Strategic Coopetition
cs.MA · 2026-05-03 · 4 theorem links
Coopetition-Gym v1 provides twenty calibrated environments for mixed-motive MARL with parameterized private/integrated/cooperative rewards, game-theoretic oracles, and validation against four historical coopetitive cases at 81-98% accuracy.
-
MEMSAD: Gradient-Coupled Anomaly Detection for Memory Poisoning in Retrieval-Augmented Agents
cs.CR · 2026-05-05 · 4 theorem links
MEMSAD links anomaly detection gradients to retrieval objectives under encoder regularity to certify detection of continuous memory poisons, achieving perfect TPR/FPR in experiments while exposing a synonym-invariance gap.
-
A Theory of Composition and Duality of Extremal Optimal Fixed-Point Algorithms
math.OC · 2026-05-04 · 4 theorem links
Optimal (N-1)-step fixed-point algorithms correspond exactly to (N-1)! arc diagrams that support composition, decomposition, and H-duality while producing new quasi-anytime optimal methods.
-
Towards a Risk-Cost Model for Financial Adaptive Authentication
cs.CR · 2026-05-04 · 4 theorem links
A formal Risk-Cost Model is introduced for financial adaptive authentication that integrates CVaR-based cost-sensitive risks, adaptive sequential decisions, and regulatory constraints into one optimization framework.
-
Entanglement signature of fully and partially dimerized phases in frustrated spin chains
cond-mat.str-el · 2026-05-04 · 4 theorem links
Entanglement entropy saturates to finite constants set by virtual bond structure in fully and partially dimerized phases of frustrated spin chains, showing multiple values and multi-band features in the partially dimerized case.
-
Shadow-Loom: Causal Reasoning over Graphical World Models of Narratives
cs.AI · 2026-05-04 · 4 theorem links
Shadow-Loom builds graphical world models from stories to enable code-based causal reasoning and structural scoring of narrative effects such as mystery, irony, suspense, and surprise.
-
Scaling Limits of Bivariate Nearly-Unstable Hawkes Processes and Applications to Rough Volatility
math.PR · 2026-05-05 · 4 theorem links
Bivariate nearly-unstable Hawkes processes with distinct roughness exponents converge weakly to a coupled stochastic Volterra equation driven by two Brownian motions, with an explicit cross-kernel.
-
Using Ly$\alpha$ Transmitted Spectrum to Probe IGM Transmission and Identify Ionized Structures in Cosmic Reionization
astro-ph.GA · 2026-05-04 · 4 theorem links
JWST spectra of galaxies reveal a ~110 cMpc ionized bubble at z~6 with IGM transmission 0.17, an order of magnitude above average, linked to a galaxy overdensity.
-
Testing an anisotropic spinor field--based Modified Chaplygin Gas model in Kantowski--Sachs spacetime with observational constraints
gr-qc · 2026-05-05 · 4 theorem links
A spinor-field Modified Chaplygin Gas model in Kantowski-Sachs spacetime yields H0 of 67-68 km/s/Mpc, late-time isotropy, q0 of -0.49, and a better AIC fit than LambdaCDM.
-
Aging Record Statistics in Saturating Self-Interacting Random Walks
cond-mat.stat-mech · 2026-05-04 · 4 theorem links
Exact asymptotics for record ages tau_k in saturating self-interacting random walks show geometry-dominated short times and subdominant memory with prefactor corrections at long times.
-
Modeling sequential cognitive states via population level cortical dynamics
math.DS · 2026-05-04 · 4 theorem links
A neural-network approximation of heteroclinic dynamics, interpretable as an Amari-type neural-field system, reproduces sequential transitions among cognitive states.
-
Unifying Dynamical Systems and Graph Theory to Mechanistically Understand Computation in Neural Networks
cs.NE · 2026-05-05 · 4 theorem links
RNN computation is recovered from multi-hop graph pathways, and constraining these pathways via resolvent regularization yields improved temporal sparsity and task performance over standard L1.
-
Bound States and Resonance Analysis of One-Dimensional Relativistic Parity-Symmetric Two Point Interactions
quant-ph · 2026-05-04 · 4 theorem links
Analysis of bound states, critical states, confinement, and scattering resonances for even and odd parity-symmetric two-point contact interactions in the 1D Dirac equation.
-
Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
cs.RO · 2026-05-04 · 4 theorem links
A predicate-erosion framework using contraction-based probabilistic reachable tubes turns chance-constrained STL planning for stochastic nonlinear systems into deterministic trajectory optimization that achieves high-probability specification satisfaction.
-
Non-K\"ahler Special Lagrangian submanifolds and SYZ mirror symmetry
math.DG · 2026-05-04 · 4 theorem links
Algebraic conditions identify special Lagrangian distributions in non-Kähler Calabi-Yau manifolds; explicit examples on Iwasawa and Nakamura manifolds yield non-diffeomorphic semi-flat SYZ mirror pairs.
-
Exact solutions for slowly rotating wormholes in the presence of an anisotropic fluid
gr-qc · 2026-05-04 · 4 theorem links
Analytic slow-rotation solutions for traversable wormholes with anisotropic fluid yield explicit frame-dragging and backreaction corrections plus NEC redistribution for Schwarzschild and Morris-Thorne throats.
-
The Bayesian Reflex: Online Learning as the Autonomic Nervous System of Modern and Future AI
stat.ME · 2026-05-04 · 4 theorem links
The Bayesian reflex unifies online Bayesian learning through belief maintenance, Bayes' theorem updates, and exploration-exploitation balancing, with extensions to climate modeling, time series, prime number discovery, and deep architectures.
-
Fundamental Limitations of Post-Quantum Cryptographic Architectures
quant-ph · 2026-05-06 · 4 theorem links
Noise in lattice-based cryptography fails to erase information permanently, so quantum error correction and learning can extract secrets, making unconditional post-quantum security claims premature.
-
Axial tidal Love numbers of black holes in matter environments
gr-qc · 2026-05-04 · 4 theorem links
Axial tidal Love numbers for black holes in anisotropic fluid environments are derived analytically and numerically, with non-compact support density profiles producing logarithmic terms that obstruct standard tidal matching due to the lack of a strictly vacuum exterior.
-
Spindle solutions with hyperscalars in $D=4$ gauged supergravity
hep-th · 2026-05-05 · 4 theorem links
New classes of supersymmetric AdS₂×Σ spindle solutions with hyperscalars are constructed in D=4 STU gauged supergravity and uplifted to smooth AdS₂×Y₉ solutions in D=11 supergravity.
-
On the onset of correlations in Wave Turbulence close to singularities
math.AP · 2026-05-04 · 4 theorem links
Near the blow-up time of the wave turbulence kinetic equation for the Schrödinger equation, the cumulants hierarchy cannot be approximated by the kinetic equation and must instead be replaced by a random field satisfying a nonlinear non-autonomous Schrödinger equation for all real times.
-
Online Generalised Predictive Coding
stat.ML · 2026-05-04 · 4 theorem links
Online generalised predictive coding (ODEM) tracks latent states in nonlinear and chaotic generative models by separating temporal scales for fast Bayesian belief updating and slow parameter learning.