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 33886 papers
-
A bounded globally univalent quasiconformal harmonic map whose analytic part is unbounded
math.CV · 2026-05-03 · 3 theorem links
For every k in (0,1), there exists a bounded globally univalent harmonic map f = h + conjugate(g) from the unit disk to C satisfying |g'| ≤ k|h'| with h unbounded, built from a logarithmic spiral on a strip plus perturbation.
-
Complex Diffusion Maps with $\omega$-Parameterized Kernels Revealing Inherent Harmonic Representations
cs.LG · 2026-05-03 · 3 theorem links
Complex Diffusion Maps with ω-parameterized complex kernels reveal inherent harmonic representations and improve discrimination over real-valued diffusion methods on synthetic data, fMRI, and EEG.
-
ANO: A Principled Approach to Robust Policy Optimization
cs.AI · 2026-05-04 · 3 theorem links
ANO derives a robust policy optimizer from geometric principles that replaces clipping with a smooth redescending gradient, showing better performance and stability than PPO, SPO, and GRPO in MuJoCo, Atari, and RLHF experiments.
-
Stability of Control Lyapunov Function Guided Reinforcement Learning
eess.SY · 2026-05-03 · 3 theorem links
CLF-guided RL yields exponentially stable optimal controllers, with proofs in continuous and discrete time, numerical checks on double integrator and cart-pole, and implementation on a walking humanoid.
-
Act2See: Emergent Active Visual Perception for Video Reasoning
cs.CV · 2026-05-03 · 3 theorem links
Act2See trains VLMs via supervised fine-tuning on verified reasoning traces to interleave active frame calls within text CoTs, yielding SOTA results on video reasoning benchmarks.
-
Sub-Cubic Quantum Gate Synthesis via Stochastic Commutator Decomposition
quant-ph · 2026-05-03 · 3 theorem links
Stochastic Commutator Synthesis integrates sub-cubic Solovay-Kitaev with Gibbs-sampled commutator selection and randomized compilation to cut T-counts by 10-25% and raise fidelity by up to 35% on Forrelation circuits.
-
Combinatorial Analysis of Dyadic and Quasi-Dyadic Codes
cs.IT · 2026-05-03 · 3 theorem links
Dyadic matrices enable algebraic construction of QLDPC codes with enumerated short cycles and absorbing sets, yielding decoding gains in simulations even without higher girth.
-
Exact Quantum Many-Body Scars by a generalized Matrix-Product Ansatz
quant-ph · 2026-05-04 · 3 theorem links
Exact eigenstates of non-frustration-free quantum many-body systems are constructed via a local error cancellation matrix-product ansatz.
-
Personalized Federated Learning for Gradient Alignment
cs.LG · 2026-05-04 · 3 theorem links
pFLAlign uses two gradient alignment mechanisms derived from PAC-Bayesian analysis to reduce variance in local training and distortion in aggregation, yielding state-of-the-art personalization in federated learning.
-
The Causal Description Gap: Information-Theoretic Separations Across Pearl's Hierarchy
stat.ML · 2026-05-04 · 3 theorem links
Binary acyclic SCMs can have observational distributions with constant description length while single-variable interventional oracles require Θ(n²) bits, with a further Θ(n) gap to counterfactuals.
-
Fast Semiparametric Density Regression with Weight-localized Predictive Recursion
stat.ME · 2026-05-04 · 3 theorem links
PRx combines kernel weight localization with predictive recursion for fast semiparametric density regression, yielding consistent estimators for unmixed parameters and competitive performance at low computational cost.
-
Persistent Homology of Time Series through Complex Networks
math.AT · 2026-05-02 · 3 theorem links
A standardized pipeline converts time series to graphs, computes persistence diagrams, and extracts features that classify UCR benchmarks, with diffusion distance outperforming shortest-path metrics and performance varying by graph type.
-
Efficient Multi-Market Scheduling of Virtual Power Plants via Spectral Representation of Uncertainty
eess.SY · 2026-05-04 · 3 theorem links
Intrusive PCE reformulates stochastic multi-market VPP scheduling into a tractable deterministic spectral problem, matching scenario-based quality with up to 137x speedup on a Swiss grid case.
-
A revision of Litvak's conjecture on Gaussian minima and a volumetric zone conjecture
math.PR · 2026-05-03 · 3 theorem links
Litvak's conjecture on minimizing moments of Gaussian minima is disproved by a cosine-based correlation matrix for small n and p, with a new conjecture proposed that this matrix is the general minimizer, supported conditionally via a volumetric extension of Fejes Tóth's zone conjecture.
-
Long-range correlation and the spin conductivity in the XXZ chain from ballistic macroscopic fluctuation theory
cond-mat.stat-mech · 2026-05-02 · 3 theorem links
Spin conductivity in the XXZ chain is proportional to 1/T at high T, diverging when one-quasiparticle magnetization is infinite due to 1/N-scaled long-range correlations.
-
PointCSP: Cross-Sample Semantic Propagation and Stability Preservation in Self-Supervised Point Cloud Learning
cs.CV · 2026-05-03 · 3 theorem links
PointCSP achieves better semantic consistency and performance in point cloud self-supervised learning by propagating semantics across batch samples via state-space models and stabilizing transfer with asymmetric distillation.
-
Cast3: Translating numerical weather prediction principles into data-driven forecasting
physics.ao-ph · 2026-05-02 · 3 theorem links
Cast3 translates NWP principles into a data-driven model using cubed-sphere grids, super-ensembles, and generative nudging to achieve state-of-the-art ensemble predictions that outperform baselines.
-
Reliability-Oriented Multilingual Orthopedic Diagnosis: A Domain-Adaptive Modeling and a Conceptual Validation Framework
cs.CL · 2026-05-04 · 3 theorem links
Domain-adaptive models like IndicBERT-HPA deliver more reliable multilingual orthopedic diagnosis than zero-shot LLMs across six categories, with a proposed conceptual validation framework.
-
Constraints on Halo Gas Profiles from Joint kSZ and Galaxy Clustering Analysis of ACT DR6 and CMASS
astro-ph.CO · 2026-05-03 · 3 theorem links
Joint kSZ-clustering analysis of ACT DR6 and CMASS yields a halo optical depth profile more extended than Websky simulations, suggesting stronger baryonic feedback.
-
A position dependent mass Hamiltonian and abstract ladder operators
math-ph · 2026-05-02 · 3 theorem links
Abstract ladder operators applied to a factorizable position-dependent mass Hamiltonian reveal the relevance of pseudo-bosonic operators and enable construction of bi-coherent states.
-
Real-Time Text Transmission via LLM-Based Entropy Coding over Fixed-Rate Channels
cs.IT · 2026-05-03 · 3 theorem links
LLM-based entropy coding over fixed-rate channels improves real-time text transmission by reducing bits per character with scale, shifting optimal coders from complex to simpler ones like Huffman when channels are over-provisioned.
-
Shifted asymmetric Laplace mixtures of experts
stat.ME · 2026-05-03 · 3 theorem links
A new mixture of experts model using shifted asymmetric Laplace distributions for robust regression and clustering of asymmetric heavy-tailed data, fitted via a hybrid EM-MM algorithm.
-
TRIMMER: A New Paradigm for Video Summarization through Self-Supervised Reinforcement Learning
cs.CV · 2026-05-03 · 3 theorem links
TRIMMER proposes a self-supervised RL method for video summarization that uses entropy-based rewards to capture temporal dynamics and semantic diversity, claiming SOTA results among unsupervised approaches.
-
Deciphering Shortcut Learning from an Evolutionary Game Theory Perspective
cs.AI · 2026-05-04 · 3 theorem links
Evolutionary game theory shows gradient descent and stochastic gradient descent drive neural networks to distinct stable states favoring shortcut or core subnetworks, with data and optimization noise shaping shortcut bias formation.
-
Constraints on Ultralight Scalar and Dark Photon Dark Matter from PPTA-DR3 and EPTA-DR2
astro-ph.CO · 2026-05-04 · 3 theorem links
Bayesian analysis of PPTA-DR3 and EPTA-DR2 finds no statistically significant ULDM signals and sets 95% CL upper limits on scalar and dark photon dark matter, improving prior bounds in most mass ranges.
-
Benchmarking quantum trial wavefunctions for phaseless auxiliary-field quantum Monte Carlo
quant-ph · 2026-05-03 · 3 theorem links
Adaptive quantum ansatze outperform fixed UCCSD in ph-AFQMC projected energies for stretched H chains while using more compact circuits.
-
Projection-Free Transformers via Gaussian Kernel Attention
cs.LG · 2026-05-04 · 3 theorem links
Gaussian Kernel Attention replaces learned QKV projections with a Gaussian RBF kernel on per-head token features, using 0.42x parameters and 0.49x FLOPs while showing competitive language modeling performance at depth 20.
-
How Label Imbalance Shapes Geometry: A General Spectral Analysis of Multi-Label Neural Collapse
cs.LG · 2026-05-03 · 3 theorem links
In multi-label neural collapse, terminal geometry is controlled by the centered label covariance spectrum κ_m derived from label distribution moments, with higher-multiplicity prototypes following class-frequency-weighted synthesis instead of uniform averaging.
-
Is Complexity the Problem? Testing Random Choice with Heterogeneity
econ.TH · 2026-05-03 · 3 theorem links
Heterogeneity in preferences explains observed failures of stochastic transitivity in aggregate choice data from two experiments, showing comparison difficulty can be empirically confused with heterogeneity.
-
3D Quantum Hall Effect with Two Distinct Plateaus
cond-mat.mes-hall · 2026-05-04 · 3 theorem links
The second plateau at about 3/5 the first in 3D QHE arises from spin-density-wave order induced by nesting between spin-up and spin-down Landau bands after a Lifshitz transition.
-
Inexpressibility in Exp-Minus-Log
math.LO · 2026-05-02 · 3 theorem links
In the Exp-Minus-Log system every expressible number is computable and Chaitin's Ω_U is inexpressible.
-
Ergodic and Discrete Time Crystal Phases in Periodically Kicked Many-Body Quantum Systems: An Analytical Study
cond-mat.stat-mech · 2026-05-03 · 3 theorem links
Analytical study derives conditions for ergodic infinite-temperature relaxation or robust discrete time crystal subharmonic oscillations in periodically kicked spin chains, depending on kicking protocol and initial state.
-
Probing the kinematics of FU Orionis objects through high-resolution near-infrared spectroscopy
astro-ph.SR · 2026-05-03 · 3 theorem links
High-resolution NIR spectra of 15 FUors reveal double-peaked Keplerian profiles in five K-band targets that fit disk models, J-K band correlations without clear wavelength linewidth trends, and M-band CO lines of distinct origin likely due to blending or winds.
-
Analytic Bridge Diffusions for Controlled Path Generation
cs.LG · 2026-05-03 · 3 theorem links
LQ-GM-PID recasts LQG control as a path-integral diffusion problem with Gaussian-mixture terminals to deliver closed-form bridge diffusion quantities for controlled path generation.
-
TrajShield: Trajectory-Level Safety Mediation for Defending Text-to-Video Models Against Jailbreak Attacks
cs.CV · 2026-05-03 · 3 theorem links
TrajShield is a training-free defense that reduces jailbreak success rates by 52.44% on average in text-to-video models by localizing and neutralizing risks through trajectory simulation and causal intervention.
-
Existence and multiplicity of solutions for a critical Grushin problem with a singular nonlinearity
math.AP · 2026-05-03 · 3 theorem links
Existence and multiplicity of positive solutions are established for the Grushin problem with singular nonlinearity, with the number of solutions depending on whether the power p is subcritical, critical, or supercritical relative to the homogeneous dimension.
-
Graph-Augmented Topological Internalization with Dual-Stream Classifiers for Medical Report Generation
cs.CV · 2026-05-04 · 3 theorem links
GDMRG integrates a Topological Knowledge Internalization module using GCN on disease co-occurrence priors with dual-stream classifiers and diagnosis-guided spatial attention to produce more accurate and fluent medical reports from chest X-rays, with competitive results on MIMIC-CXR and zero-shot on
-
Practical Boundary Degeneracy and Reverse-Martingale Limits in Sequential Binary Models
stat.ME · 2026-05-04 · 3 theorem links
Finite sequential binary data support practical boundary probabilities via reverse-martingale limits rather than exact degeneracy, with a three-condition stopping rule that separates transient from genuine cases.
-
General method for obtaining the energy minimum of spin Hamiltonians for separable states
quant-ph · 2026-05-04 · 3 theorem links
A method is given to compute the minimum energy of certain spin Hamiltonians over separable states, expressed via quantum Fisher information for Ising models and fidelity for Heisenberg chains.
-
Structure-preserving LDG methods for linear and nonlinear transport equations with gradient noise
math.NA · 2026-05-04 · 3 theorem links
Structure-preserving LDG schemes for linear and nonlinear stochastic transport equations that maintain discrete energy conservation or dissipation pathwise or in expectation.
-
Methods, Data, and Conceptual Change: Reflections from Two Quantitative Diachronic Case Studies
cs.CL · 2026-05-03 · 3 theorem links
Dataset structure and method choices limit what kinds of semantic change quantitative diachronic linguistics can reliably detect, as illustrated by reflections on two historical corpora.
-
Gated Subspace Inference for Transformer Acceleration
cs.LG · 2026-05-04 · 3 theorem links
Gated Subspace Inference accelerates transformer linear layers 3-10x via low-rank cached subspace computation and per-token gating to skip residuals while preserving output distribution to high accuracy.
-
Cosmology since the first Astro/Cosmo Moriond meeting// The emergence of the Big Bang 2.0
astro-ph.CO · 2026-05-03 · 3 theorem links
Cosmology evolved from the classical Big Bang based on expansion, nucleosynthesis, and CMB to a 'Big Bang 2.0' paradigm requiring new physics for dark matter and dark energy amid current parameter tensions.
-
DR-SNE: Density-Regularized Stochastic Neighbor Embedding
cs.LG · 2026-05-03 · 3 theorem links
DR-SNE augments the SNE objective with a density regularization term from normalized log-density estimates to preserve relative densities while retaining neighborhood structure.
-
Baryons in the Darkest Sites of the Universe
astro-ph.CO · 2026-05-03 · 3 theorem links
Stacking 3455 CHIME/FRB sightlines on 1288 SDSS voids shows a 3.2 sigma DM deficit toward centers, implying 60 percent baryon underdensity consistent with galaxy underdensity and hydrodynamical simulations.
-
Measuring Differences between Conditional Distributions using Kernel Embeddings
stat.ML · 2026-05-04 · 3 theorem links
Establishes CMMD as a family of kernel-based metrics for differences between conditional distributions, with levels 0-2 and general s, plus a doubly robust estimator consistent if at least one model is correct.
-
Greed for the Spheres: A Signed Distance Interpolation Method
cs.GR · 2026-05-03 · 3 theorem links
A greedy algorithm interpolates consistent signed distance functions from discrete samples by treating SDF geometric properties as hard constraints.
-
Benchmarking Wireless Representations: High-Dimensional vs. Compressed Embeddings for Efficiency and Robustness
eess.SP · 2026-05-03 · 3 theorem links
High-dimensional embeddings excel in few-shot regimes for some wireless tasks but carry high latency and parameter costs, whereas compressed autoencoder representations provide better noise robustness, stability, and efficiency.
-
Probe-Geometry Alignment: Erasing the Cross-Sequence Memorization Signature Below Chance
cs.LG · 2026-05-03 · 3 theorem links
Probe-geometry alignment erases cross-sequence memorization signatures in LLMs below chance using per-depth rank-one activation interventions with negligible impact on zero-shot capabilities.
-
GETA-3DGS: Automatic Joint Structured Pruning and Quantization for 3D Gaussian Splatting
cs.LG · 2026-05-03 · 3 theorem links
GETA-3DGS is the first automatic joint structured pruning and quantization framework for 3D Gaussian Splatting, achieving roughly 5x storage reduction on standard datasets without per-scene thresholds.
-
Submodular Benchmark Selection
cs.AI · 2026-05-04 · 3 theorem links
Submodular maximization under a Gaussian model selects small benchmark subsets that outperform random selection for imputing leaderboard scores, with mutual information better than entropy at small sizes.
-
All DDF/lightcone two-particle decay widths up to level $8$ in open bosonic string in critical dimension
hep-th · 2026-05-03 · 3 theorem links
Exhaustive lightcone computation shows open bosonic string states up to level 8 have decay widths within O(1) of each other, with all decays ultimately producing photons at the string scale.
-
Beyond collective fluctuations: probing micro-image swarms in lensed quasars with intensity interferometry
astro-ph.CO · 2026-05-04 · 3 theorem links
Intensity interferometry offers a way to measure micro-image swarm sizes in lensed quasars, revealing stellar and compact dark matter mass functions beyond collective intensity fluctuations.
-
Arts & crafts: Strong random unitaries and geometric locality
quant-ph · 2026-05-04 · 3 theorem links
Two constructions yield strong unitary k-designs and pseudorandom unitaries on D-dimensional grids with provably optimal depth.
-
Mapping Discourse Reframing: A Multi-Layer Network Approach to Italian HPV Vaccine Discourse on X (2010-2024)
cs.CL · 2026-05-04 · 3 theorem links
A core-coverage projection on hashtag networks improves recovery of long-tail problematic content in Italian HPV vaccine discourse while maintaining stable coalition structures.
-
Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
cs.AI · 2026-05-03 · 3 theorem links
Tenability defines when an argument can be maintained in debate against any conflict-free opponent attack using monotone commitment games, with three variants that differ from prior weak semantics on benchmarks like self-defeating attacks and floating assignments.
-
Stable GFlowNets with Probabilistic Guarantees
cs.LG · 2026-05-03 · 3 theorem links
Derives loss-to-TV bounds providing probabilistic guarantees for GFlowNets and introduces Stable GFlowNets algorithm for improved training stability and distributional fidelity.
-
From 'Here' to 'There': Exploring Proximity Semantics in Multimodal Data Exploration
cs.HC · 2026-05-04 · 3 theorem links
A user study with 20 participants shows that closeness between sketches, annotations, and language in a shared space helps disambiguate multimodal queries, leading to the concept of proximity semantics for data exploration systems.
-
Learning Discriminative Signed Distance Functions from Multi-scale Level-of-detail Features for 3D Anomaly Detection
cs.CV · 2026-05-05 · 3 theorem links
A new method combines noisy point generation, multi-scale feature extraction, and implicit surface discrimination to learn signed distance functions that detect anomalies in 3D point clouds, reporting AUROC gains of 2.1% and 3.6% on two benchmarks.
-
Free-standing circular Bragg gratings enabling efficient GaAs quantum dot entangled photon pair sources
physics.optics · 2026-05-04 · 3 theorem links
A single-step top-down fabrication creates free-standing CBGs with GaAs QDs, delivering up to 700x photoluminescence enhancement, 68% extraction efficiency, 45 MHz count rates, and reduced fine-structure splitting to 1.3 μeV.