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 33796 papers
-
Relative braid group symmetries on quantum supersymmetric pairs of type sAIII
math.QA · 2026-05-03 · 3 theorem links
Introduces the relative Coxeter groupoid and constructs explicit relative braid group symmetries for quantum supersymmetric pairs of type sAIII that satisfy the braid relations via quasi K-matrix intertwining.
-
Physics-Informed Neural Learning for State Reconstruction and Parameter Identification in Coupled Greenhouse Climate Dynamics
cs.LG · 2026-05-04 · 3 theorem links
A coupled PINN framework reconstructs greenhouse temperature and humidity dynamics and identifies physical parameters from limited observations, outperforming data-driven baselines on synthetic diurnal benchmarks.
-
Comparative Study of $f(T)$ Gravity Models with Observational Constraints from \textit{OHD} and \textit{Pantheon+ datasets}
gr-qc · 2026-05-05 · 3 theorem links
Three f(T) models are constrained with OHD and Pantheon+ data, all approaching LambdaCDM at late times while sharing SEC violation but differing in stability.
-
Exact Higher-Order Derivatives for SE(3) via Analytical/AD Methods
cs.RO · 2026-05-04 · 3 theorem links
Hybrid analytical/AD method for SE(3) NLLs delivers exact Hessians 5x faster than finite-differencing while matching nested AD to machine precision, plus a fix for origin NaNs in the scalar basis.
-
Forecasting-Driven Stable Successor Matching for UAV-Assisted Continuous Edge Services
cs.NI · 2026-05-04 · 3 theorem links
Fresco uses LSTM-based risk forecasting to proactively select and prepare successor UAVs, cutting service interruptions in UAV edge networks versus reactive baselines.
-
Enhancing supercurrent-based inertial sensing via interactions in atomtronic angular accelerometers
cond-mat.quant-gas · 2026-05-03 · 3 theorem links
Weak interactions in ac-shaken ring lattices allow supercurrent-based atomtronic angular accelerometers to surpass the Fourier-limited sensitivity scaling of non-interacting atoms by over two orders of magnitude.
-
FluxFlow: Conservative Flow-Matching for Astronomical Image Super-Resolution
cs.CV · 2026-05-05 · 3 theorem links
FluxFlow uses conservative pixel-space flow-matching with uncertainty weights and Wiener test-time correction to outperform baselines on photometric and scientific accuracy for ground-to-space super-resolution, validated on a new real 19,500-pair DESI-HST dataset.
-
Beyond Data-Physics Consistency: A Cross-Correlated Physics-Informed Neural Network for Robust Inverse Scattering
eess.SP · 2026-05-03 · 3 theorem links
CC-PINN introduces a cross-correlated residual and Fourier-feature MLP to achieve more robust high-contrast reconstructions and faster convergence than standard PINNs in inverse scattering.
-
Gaps in Multiplicative Sidon Sets
math.NT · 2026-05-03 · 3 theorem links
g(n) ≪_ε n^{ρ+ε} with ρ = (13 - √69)/10 < 0.47 for multiplicative Sidon sets that intersect every interval of length L up to n.
-
Variational Matrix-Learning Fourier Networks for Parametric Multiphysics Surrogates
cs.LG · 2026-05-04 · 3 theorem links
VMLFN converts physics-informed neural network training into a linear matrix solve using variational weak forms for efficient parametric multiphysics surrogates.
-
From Diaz's Enriques Product to an $n$-Fold Cup-Product Bockstein Family of Integral Hodge Counterexamples
math.AG · 2026-05-04 · 3 theorem links
An n-fold cup-product Bockstein on products of Enriques surfaces produces non-algebraic 2-torsion integral Hodge classes in dimension 2n under the Brauer-separation hypothesis.
-
Self-consistent radiative backaction in dispersion interactions: a minimal mQED model
quant-ph · 2026-05-04 · 3 theorem links
Self-consistent radiative backaction in a minimal mQED three-level model produces substantial long-ranged modifications to effective van der Waals interactions.
-
Composition-Weighted Symbolic Regression for General-Purpose Property Prediction
cond-mat.mtrl-sci · 2026-05-04 · 3 theorem links
A composition-weighted symbolic regression framework learns analytical expressions and elemental weightings from composition to predict materials properties with accuracy competitive to black-box models while producing explicit, constraint-enforcing formulas.
-
Frequency locking in lasing ZnO nanowire pairs
physics.optics · 2026-05-04 · 3 theorem links
Frequency locking is observed in ZnO nanowire laser pairs with sub-10 nm gaps through spatially controlled optical excitation, enabling full, partial, or single-mode operation.
-
A Parameter-Free First-Order Algorithm for Non-Convex Optimization with $\tilde{\mkern1mu O}(\epsilon^{-5/3})$ Global Rate
math.OC · 2026-05-04 · 3 theorem links
PF-AGD is the first parameter-free deterministic accelerated first-order method with Õ(ε^{-5/3} log(1/ε)) complexity for smooth non-convex optimization.
-
SkillCom: Decomposing LLM-based Semantic Communication into Task and Channel Aware Skills
eess.SY · 2026-05-04 · 3 theorem links
SkillCom decomposes LLM semantic communication into four skills connected by structured semantic-unit interfaces and outperforms monolithic LLM baselines in robustness on multi-hop QA and dialogue state tracking tasks.
-
Robust chemotaxis beyond sensing limits: signal, noise, and strategy
q-bio.CB · 2026-05-05 · 3 theorem links
Bacterial chemotaxis remains robust to sensing noise through movement symmetry and temporal averaging, framing low information efficiency as an evolved balance rather than a flaw.
-
Measuring AI Reasoning: A Guide for Researchers
cs.AI · 2026-05-04 · 3 theorem links
Reasoning in language models should be measured by the faithfulness and validity of their multi-step search processes and intermediate traces, not final-answer accuracy.
-
Tomogram-based quantifiers of nonclassicality dynamics in Kerr and cubic media
quant-ph · 2026-05-04 · 3 theorem links
Tomogram-based homodyne nonclassical area and sum tomographic entropy provide experimentally accessible quantifiers that track the onset, fractional revivals, and decay of nonclassicality in damped nonlinear optical media.
-
2D Waveguide-Fed Metasurfaces: Physically Consistent Modeling, Validation, and Optimization
eess.SP · 2026-05-04 · 3 theorem links
A physically consistent coupled-dipole framework for waveguide-fed metasurfaces that adds radiation-reaction corrections and supports differentiable beamforming optimization validated against full-wave simulations.
-
Exchange-Only Silicon Based Spin Qubits: Charge Noise, PINN Optimised Pulse Sequences,and Gate-Level Fidelity
quant-ph · 2026-05-04 · 3 theorem links
A two-stage PINN optimizes pulse sequences for silicon exchange-only spin qubits to achieve over 99% noise-averaged fidelity while shortening pulse durations by 20-40%.
-
Prior elicitation for Bayesian estimation of single-subject connectivity networks
stat.ME · 2026-05-04 · 3 theorem links
New expert-informed Bayesian priors and elicitation procedure for inferring single-subject functional connectivity graphs from resting-state fMRI, yielding posterior distributions over edge weights.
-
Investigating cosmic distance duality and dark energy evolution through intermediate and high-z probes
astro-ph.CO · 2026-05-04 · 3 theorem links
No significant violation of the cosmic distance duality relation is detected across multiple parameterizations, with flat cosmologies preferred by model selection.
-
On higher order regionally proximal relations and topological characteristic factors for group actions
math.DS · 2026-05-04 · 3 theorem links
Algebraic characterization of RP^[d] via new topology and proof that order d-1 maximal factors are topological characteristic factors for higher-order configurations in group actions.
-
Optimal error bounds on the exponential wave integrator for nonlinear Schr\"odinger equations with highly singular potential
math.NA · 2026-05-05 · 3 theorem links
Optimal first-order L2 convergence is proven for the exponential wave integrator on NLSE with L^p_loc potentials down to the well-posedness threshold, with reduced orders for more singular cases.
-
Optimally Covering Large Triangles with Homothetic Unit Triangles
cs.CG · 2026-05-05 · 3 theorem links
The authors prove tight upper bounds for covering a triangle of side n+d with n²+k homothetic unit triangles when 4 ≤ k ≤ 2n and give optimal odd-k and even-k constructions plus a consolidated method that meets the bounds.
-
Testing General Relativity Through Gravitational Wave Classification: A Convolutional Neural Network Framework
gr-qc · 2026-05-04 · 3 theorem links
A CNN framework using response functions from gravitational wave mismatches classifies signals as GR or beyond-GR with 33 times better sensitivity than raw waveforms and detects massive gravity deviations at graviton masses around 10^{-23} eV/c².
-
Recurrent Deep Reinforcement Learning for Chemotherapy Control under Partial Observability
cs.LG · 2026-05-04 · 3 theorem links
Recurrent TD3 with separate LSTM actor-critic networks delivers substantially stronger and more stable chemotherapy control than feed-forward baselines under partial observability on the AhnChemoEnv benchmark.
-
A Master Equation for Screening in Luminal Horndeski Gravity
gr-qc · 2026-05-05 · 3 theorem links
A master screening equation is derived for luminal Horndeski gravity that recovers Vainshtein and Chameleon mechanisms and introduces Phaedrus screening with screening radius scaling linearly with source mass.
-
Black-box optimization of noisy functions with unknown smoothness
stat.ML · 2026-05-04 · 3 theorem links
POO is an adaptive algorithm that optimizes noisy black-box functions with unknown local smoothness and matches the performance of known-smoothness methods up to a sqrt(ln n) factor after n evaluations.
-
iWorld-Bench: A Benchmark for Interactive World Models with a Unified Action Generation Framework
cs.CV · 2026-05-05 · 3 theorem links
iWorld-Bench supplies a large video dataset and six standardized tasks with 4.9k test samples to evaluate interactive abilities of world models via a new action generation framework.
-
Coherent Hierarchical Multi-Label Learning to Defer for Medical Imaging
cs.AI · 2026-05-04 · 3 theorem links
The work defines a Selective-Exclusion handoff contract for hierarchical L2D, proves nodewise Bayes rules can be incoherent, and supplies exact dynamic-programming projection and TBP+RPO that drive incoherence to near zero on medical benchmarks.
-
On the Ultraviolet Problem for the Ground State Energy of the Translation-Invariant Pauli--Fierz Model at Zero Total Momentum
math-ph · 2026-05-04 · 3 theorem links
A modified quasifree variational energy for the zero-momentum Pauli-Fierz model has a unique minimizer whose value grows asymptotically as Lambda to the 3/2.
-
Hyp2Former: Hierarchy-Aware Hyperbolic Embeddings for Open-Set Panoptic Segmentation
cs.CV · 2026-05-04 · 3 theorem links
Hyp2Former learns hierarchical semantic similarities in hyperbolic space among known categories so that unknown objects remain close to higher-level concepts and can be detected reliably.
-
Higher Commutativity in Finite Groups: Exact Asymptotics and Finite Spectrum
math.GR · 2026-05-03 · 3 theorem links
The number of homomorphisms from the free abelian group of rank r into a finite group G grows asymptotically as k * m^r, where m is the order of the largest abelian subgroup and k is the number of such subgroups.
-
Realizing Saddle-Node Bifurcations from Finite Data
math.DS · 2026-05-03 · 3 theorem links
In phase spaces of dimension at least 6, finite data permitting an isolating block with Conley index of a saddle-node bifurcation can be realized by deforming the unknown vector field into a canonical model with one structurally stable saddle-node, without altering dynamics outside the block.
-
Graph Federated Unlearning for Privacy Preservation
cs.LG · 2026-05-04 · 3 theorem links
Orthogonal unlearning updates plus server-side virtual clients enable effective user data removal in graph federated learning without major performance loss.
-
SAGA: A Robust Self-Attention and Goal-Aware Anchor-based Planner for Safe UAV Autonomous Navigation
cs.RO · 2026-05-04 · 3 theorem links
SAGA formulates UAV local planning as joint regression and ranking over motion anchors with self-attention and polar positional encoding, achieving 100% success rate at high speeds where baselines fail.
-
Field configurations for field-free RF trap networks
quant-ph · 2026-05-04 · 3 theorem links
A framework maps any analytic function P(x,y) to a harmonic potential whose radio-frequency null lines exactly follow P=0, enabling cusp, contact, and lattice trap networks.
-
Sharp regularity for a class of degenerate/singular fully nonlinear elliptic equations with Hamiltonian terms
math.AP · 2026-05-04 · 3 theorem links
Viscosity solutions to degenerate/singular fully nonlinear elliptic equations with Hamiltonian terms achieve sharp interior C^{1,α} regularity via a geometric tangential method.
-
Toward Structural Multimodal Representations: Specialization, Selection, and Sparsification via Mixture-of-Experts
cs.LG · 2026-05-05 · 3 theorem links
S3 decomposes multimodal data into selectable semantic experts, routes them adaptively, and sparsifies to achieve higher accuracy on MultiBench benchmarks with peak performance at intermediate sparsity levels.
-
Pair creation via Amplitude-Modulated Periodic and Quasiperiodic Pulse Sequences
hep-ph · 2026-05-04 · 3 theorem links
Periodic pulse trains create interference fringes in pair-production spectra while Fibonacci quasiperiodic trains produce fragmented spectra and momentum-space localization, with total particle yield controlled by effective field strength rather than ordering.
-
Rumor Propagation and Supervision during Confrontation: An Importance-Driven SIRQS Network Model
physics.soc-ph · 2026-05-05 · 3 theorem links
An extended SIRQS network model with importance-driven supervision and confrontation mechanisms demonstrates that targeted monitoring and individual vigilance significantly influence rumor propagation control.
-
Quantum Limits of Electronic Transport in Nanostructured Macroscopic Conductors
cond-mat.mtrl-sci · 2026-05-04 · 3 theorem links
Junction-level quantum interference governs magnetotransport in disordered low-dimensional networks, with positive MR tied to overlap length and negative MR to lattice-mismatched heterojunctions.
-
Direct Time-Domain Observation of l-Doubling via Centrifugal-Distortion Pre-compensation
quant-ph · 2026-05-04 · 3 theorem links
Tailored cubic spectral phase on femtosecond pulses compresses rotational revivals to enable direct time-domain observation of l-doubling contributions previously obscured by centrifugal distortion.
-
Trees and Graphs with Non Log-concave Dominating Set Sequence via AI Tools
math.CO · 2026-05-04 · 3 theorem links
New counterexamples to log-concavity of dominating-set sequences in trees and graphs are found via AI search, with a construction giving arbitrarily many violations and positive log-concavity results for caterpillar graphs and a continuous analogue.
-
Reflecthernet: Exfiltrating 100BASE-TX Ethernet Traffic Using a Retroreflector Hardware Trojan
cs.CR · 2026-05-04 · 3 theorem links
A retroreflector hardware Trojan recovers MLT-3 encoded signals from 100BASE-TX Ethernet traffic via RF modulation and a custom demodulation pipeline.
-
Data-Driven Optimal Distributed Controller Synthesis via Spatial Regret
eess.SY · 2026-05-04 · 3 theorem links
A tractable iterative algorithm synthesizes stable distributed controllers minimizing spatial regret from frequency data and outperforms classical H2/Hinf designs in numerical examples.
-
Phase-space measurements and decoherence for angular momentum systems
quant-ph · 2026-05-04 · 3 theorem links
Two decoherence models for angular momentum systems yield commutative super-operators with unequal eigenvalues and inequivalent characterizations of classicality via density-matrix decay versus quasiprobability positivity.
-
Constructing Inverse Potentials from Scattering Phase Shifts using Physics-Informed Neural Networks: Application to Neutron-Alpha Scattering
nucl-th · 2026-05-04 · 3 theorem links
A PINN with a hard Gaussian envelope reconstructs a smooth attractive potential for neutron-alpha P-wave scattering that yields resonance parameters matching expected values.
-
InfoLaw: Information Scaling Laws for Large Language Models with Quality-Weighted Mixture Data and Repetition
cs.CL · 2026-05-04 · 3 theorem links
InfoLaw models pretraining as information accumulation where quality sets information density and repetition causes scale-dependent diminishing returns, predicting loss with low error on unseen mixtures and larger scales up to 7B models and 425B tokens.
-
Over-the-Air Computation via Segmented Waveguide-Enabled Pinching-Antenna Systems
eess.SP · 2026-05-04 · 3 theorem links
SWAN-assisted AirComp with segment selection and aggregation achieves lower mean-squared error than conventional pinching-antenna systems via optimized placement and phase control.
-
Learning to Segment using Summary Statistics and Weak Supervision
cs.CV · 2026-05-04 · 3 theorem links
A novel loss function enables effective segmentation training from summary statistics combined with minimal weak pixel supervision, outperforming statistics alone on medical imaging tasks.
-
Two-scale Neural Networks for Singularly Perturbed Dynamical Systems with Multiple Parameters
math.NA · 2026-05-04 · 3 theorem links
A neural network augmented with the geometric mean of multiple small parameters approximates solutions to singularly perturbed dynamical systems with satisfactory accuracy on tested coupled cases.
-
Perfect state transfer in Grover walks on dihedral Cayley graphs
math.CO · 2026-05-04 · 3 theorem links
The authors give necessary and sufficient conditions for perfect state transfer to occur in Grover walks on all Cayley graphs of dihedral groups, proving it never happens for normal graphs with odd n.
-
Global and Local Topology-Aware Attention with Persistent Homology and Euler Biases for Time-Series Forecasting
cs.LG · 2026-05-04 · 3 theorem links
A new attention mechanism adds persistent homology and Euler-based topological structure to time-series models via validation-gated residuals, yielding RMSE reductions of 12.5-47.8% in paired tests on synthetic and real datasets when geometry is predictive.
-
The Ancestor Hawkes Process with an Application to Group Chat Data
stat.ME · 2026-05-04 · 3 theorem links
The Ancestor Hawkes process modifies standard Hawkes models so event impacts vary by origin within clusters, applied to group chat data to reveal personalized response preferences from timing and sender information alone.
-
Reinforcement Learning for LLM-based Multi-Agent Systems through Orchestration Traces
cs.CL · 2026-05-04 · 3 theorem links
This survey organizes RL for LLM multi-agent systems into reward families, credit units, and five orchestration sub-decisions, notes the absence of explicit stopping-decision training in its paper pool, and releases a tagged corpus.
-
Ergotropy Protection via Cavity Detuning in Collective Open Quantum Batteries
quant-ph · 2026-05-05 · 3 theorem links
Optimal passive detuning of an intermediate cavity protects ergotropy in open collective quantum batteries by suppressing environmental memory effects, yielding up to 1088% improvement for single qubits and superextensive collective gains for N greater than or equal to 3.
-
Sharp regret-Hellinger bounds for Gaussian empirical Bayes via polynomial approximation
math.ST · 2026-05-03 · 3 theorem links
The paper proves sharp O(ε² log(1/ε)/log log(1/ε)) regret bounds for unregularized Bayes rules with compactly supported priors via polynomial approximation, improving on prior regularized results with extra log factors.