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 34102 papers
-
Learning Neural Sequence-to-Sequence Models from Weak Feedback with Bipolar Ramp Loss
cs.CL · 2019-07-06 · 3 theorem links
Bipolar ramp loss objectives, including a novel token-level variant, outperform non-bipolar ramp losses and minimum risk training on weakly supervised machine translation and semantic parsing.
-
Metric Cartesian mechanics of nonlocal energies with tensor internal tensions modifies Navier-Stokes dynamics
physics.gen-ph · 2019-07-08 · 3 theorem links
A gauge-invariant vector dynamics for continuous inertial densities is introduced via metric formalism, relating Ricci scalar density to mass densities and yielding a modified Navier-Stokes equation with internal tensor tensions.
-
Deep network as memory space: complexity, generalization, disentangled representation and interpretability
cs.LG · 2019-07-12 · 3 theorem links
Deep networks are framed as memory spaces whose complexity is defined by a Fisher metric, with the least action principle linking this complexity to generalization and disentanglement for better interpretability.
-
From Observability to Significance in Distributed Information Systems
cs.MA · 2019-07-12 · 3 theorem links
A promise theory framework is presented to model three views of distributed systems that track information transmission and loss through distinguishable observations and classical causality.
-
The Futility of Bias-Free Learning and Search
cs.LG · 2019-07-13 · 3 theorem links
Any learning algorithm must carry bias toward particular targets, with bias acting as a conserved quantity that creates strict trade-offs across tasks.
-
Design and characteristic study of electron blocking layer free AlInN nanowire deep ultraviolet light-emitting diodes
physics.app-ph · 2019-07-15 · 3 theorem links
Simulation study of EBL-free AlInN nanowire DUV LEDs reports higher IQE without droop up to 1500 A/cm2 and strong TM polarization versus AlGaN devices.
-
Exact sequence between real and complex bivariant K theories and application to the Z2 pairing
math-ph · 2019-07-16 · 3 theorem links
Establishes exact sequence between real and complex bivariant K-theories and applies it to obtain formulas for the Z2 pairing in KO-theory.
-
Stability selection enables robust learning of partial differential equations from limited noisy data
math.NA · 2019-07-17 · 3 theorem links
PDE-STRIDE applies stability-based model selection to sparse regression for robust, parameter-free recovery of PDEs from noisy data.
-
Symmetry of constrained minimizers of the Cahn-Hilliard energy on the torus
math.AP · 2019-07-18 · 3 theorem links
Proves symmetry results for Cahn-Hilliard minimizers on the torus using Steiner symmetrization and two-point rearrangements, with quantitative sphericity estimates in 2D.
-
Multiscale modelling of microscale heterogeneous systems: analysis supports systematic and efficient macroscale modelling and simulation
math.DS · 2019-07-19 · 3 theorem links
Lecture notes outline multiscale modelling techniques and equation-free computational tools for heterogeneous media, with analysis claimed to support systematic and efficient macroscale simulation.
-
Multiway k-Cut in Static and Dynamic Graphs: A Maximum Entropy Principle Approach
math.OC · 2019-07-19 · 3 theorem links
Maximum-entropy relaxation yields an iterative local-minimization algorithm for static multiway k-cuts and a control-Lyapunov design that keeps the cut value small under edge-weight dynamics.
-
Queens in exile: non-attacking queens on infinite chess boards
math.CO · 2019-07-22 · 3 theorem links
Non-attacking queens on a spiral-numbered infinite ZxZ chessboard have positions described by the Tribonacci word.
-
Model subspaces techniques to study Fourier expansions in L^2 spaces associated to singular measures
math.CA · 2019-07-20 · 3 theorem links
Identifies Parseval frames from monomials in L2(T,μ) for singular μ with frames from model subspaces H(φ) and characterizes measures reproducing kernels contained in such subspaces.
-
A note on Levi-Civita functional equation
math.CA · 2019-07-22 · 3 theorem links
The paper characterizes solutions to a generalized Levi-Civita functional equation on monoids with n≥2 additional product terms whose coefficient functions are linear combinations of at least two distinct nonzero multiplicative functions.
-
Sequencing Partial Steiner Triple Systems
math.CO · 2019-07-24 · 3 theorem links
Partial Steiner triple systems with at most three point-disjoint blocks are sequenceable.
-
Controlled Analytic Properties and the Quantitative Baum-Connes Conjecture
math.GR · 2019-08-06 · 3 theorem links
The classical Baum-Connes assembly map is quantitatively an isomorphism for lacunary hyperbolic groups containing large-girth graph sequences in their Cayley graphs.
-
Synaptic Time-Dependent Plasticity Leads to Efficient Coding of Predictions
q-bio.NC · 2019-07-25 · 3 theorem links
STDP reduces and concentrates postsynaptic spikes for fixed inputs, raising SNR, cutting metabolic costs for frequent stimuli, and allowing predictions to emerge.
-
Achievable Rate Region for Iterative Multi-User Detection via Low-cost Gaussian Approximation
cs.IT · 2019-07-25 · 3 theorem links
For IDMA with low-cost Gaussian-approximation detection, the K-user MSE tuple forms a conservative field whose potential equals the achievable rate, so sum-rate capacity is reached independently of integration path.
-
Universal Entanglement and an Information-Complete Quantum Theory
physics.gen-ph · 2019-07-28 · 3 theorem links
Proposes the information-complete quantum theory (ICQT) as a framework for quantum gravity where universal spacetime-matter entanglement serves as the sole information carrier without classical systems.
-
Regularity of the SLE$_4$ uniformizing map and the SLE$_8$ trace
math.PR · 2021-07-07 · 3 theorem links
Modulus of continuity for SLE4 uniformizing map is (log δ^{-1})^{-1/3+o(1)}; for SLE8 trace it is (log δ^{-1})^{-1/4+o(1)} as δ→0.
-
Classification of nondegenerate $G$-categories (with an appendix written jointly with Germ\'an Stefanich)
math.RT · 2022-06-22 · 3 theorem links
Nondegenerate G-categories are classified entirely in terms of the root datum of the reductive group G.
-
A dichotomy theory for the height functions of the BKT transition
math.PR · 2022-11-25 · 3 theorem links
The paper establishes a dichotomy for height functions at the BKT transition: localization yields exponential covariance decay while delocalization forces at least logarithmic variance growth with a universal positive gap in effective temperature, and the delocalized regime is closed including the B
-
Hierarchically Modular Dynamical Neural Network Relaxing in a Warped Space: Basic Model and its Characteristics
q-bio.NC · 2022-11-21 · 3 theorem links
A hierarchically modular dynamical neural network model is introduced that relaxes state variables in a warped space via dynamic-static neuron cooperation, supports frequency-based 2D mapping learning, and produces curved trajectories in association mode.
-
Holomorphic anomaly equations for $\mathbb{C}^5/\mathbb{Z}_5$
math.AG · 2022-11-29 · 3 theorem links
Proves holomorphic anomaly equations for C^5/Z_5.
-
Algebraic cycles on Gushel-Mukai varieties
math.AG · 2022-07-03 · 3 theorem links
Proves generalized Hodge, Mumford-Tate and Tate conjectures for GM varieties, computes most Chow groups, and establishes motive isomorphisms for partners and duals.
-
Spectrum of equivariant cohomology as a fixed point scheme
math.AG · 2022-12-22 · 3 theorem links
For regular G-actions on smooth projective X, the G-equivariant cohomology ring of X is isomorphic to the coordinate ring of a regular fixed point scheme.
-
A Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics
quant-ph · 2022-12-25 · 3 theorem links
A unifying formalism for quantum dynamics subsumes hidden-subgroup algorithms and draws structural parallels between Shor's algorithm and proton behavior in water wire systems.
-
Robust Speech Recognition via Large-Scale Weak Supervision
eess.AS · 2022-12-06 · 3 theorem links
Scaling weak supervision to 680k hours of multilingual audio produces zero-shot speech recognition models competitive with fully supervised systems.
-
The Concept of Dark Energy is not Based on the Principles of Physics: Cosmological Data Can be clearly Explained Without this Concept
physics.gen-ph · 2023-02-17 · 3 theorem links
The author states that cosmological data can be explained without dark energy by an approach detailed in the author's prior publications.
-
Distributed UAV Formation Control Robust to Relative Pose Measurement Noise
cs.RO · 2023-04-06 · 3 theorem links
A noise-robust variant of formation-enforcing control for UAVs is created by decomposing gradient-descent commands and modifying them using noise distribution estimates to reduce overshoot probability, with real-flight tests showing reduced oscillations versus the baseline.
-
Bicriteria Multidimensional Mechanism Design with Side Information
cs.GT · 2023-02-28 · 3 theorem links
Introduces mechanisms using weakest types and side information for bicriteria welfare-revenue guarantees that compete with total social surplus when side information is accurate.
-
M$^{2}$SNet: Multi-scale in Multi-scale Subtraction Network for Medical Image Segmentation
cs.CV · 2023-03-20 · 3 theorem links
M²SNet uses intra- and inter-layer multi-scale subtraction units plus a training-free LossNet to generate difference features that reduce redundancy in decoder fusion for medical segmentation.
-
Grid-SD2E: A General Grid-Feedback in a System for Cognitive Learning
cs.AI · 2023-04-04 · 3 theorem links
Proposes Grid-SD2E, a theoretical grid-feedback cognitive learning system combining grid-cell inspiration with Bayesian reasoning for self-reinforcing interaction.
-
Annealed quantitative estimates for the quadratic 2D-discrete random matching problem
math.PR · 2023-03-01 · 3 theorem links
Proves quantitative approximation of optimal transport plans for asymptotically equivalent numbers of correlated random points on 2D manifolds by the push-forward of the exponential of the gradient of a solution to a regularized linearization of the Monge-Ampère equation.
-
Non-Invertible Duality Defects in 3+1 Dimensions
hep-th · 2021-11-01 · 3 theorem links
Constructs non-invertible duality defects for one-form symmetries in 3+1D by partial gauging, derives fusion rules, proves incompatibility with trivial gapped phases, and realizes explicitly in Maxwell theory and lattice models.
-
Positive del Pezzo Geometry
math.CO · 2023-06-23 · 3 theorem links
Develops positive geometry for del Pezzo surfaces and moduli spaces as very affine varieties, including canonical forms, scattering amplitudes, and likelihood equations.
-
Optimal Control of Multiclass Fluid Queueing Networks: A Machine Learning Approach
cs.LG · 2023-07-23 · 3 theorem links
Proves piecewise constant optimal policies exist for MFQNETs separated by origin-passing hyperplanes and learns explicit policies via OCT-H from numerical solutions, achieving 100% test accuracy on instances with up to 33 servers and 99 classes.
-
A Survey of Densest Subgraph Discovery on Large Graphs
cs.SI · 2023-06-02 · 3 theorem links
A survey that classifies existing densest subgraph discovery solutions into groups, reviews around 50 papers, compares models, and identifies future research directions.
-
Topological symmetry in quantum field theory
hep-th · 2022-09-15 · 3 theorem links
Authors introduce a TFT-based framework for finite topological symmetries in QFT, including gauging, condensation defects, and duality defects, with an appendix on finite homotopy theories.
-
On robustness of Spectral R\'{e}nyi divergence
math.ST · 2023-10-10 · 3 theorem links
Spectral α-Rényi divergences connect to γ-divergence and produce minimum-divergence estimators with stable optimization paths under frequency outliers, unlike Itakura-Saito.
-
Sputtered NbN Films for Ultrahigh Performance Superconducting Nanowire Single-Photon Detectors
cond-mat.supr-con · 2023-11-28 · 3 theorem links
Ultrathin NbN films with critical temperature near 9 K and sheet resistance of 400 Ω/sq enable ultrahigh performance superconducting nanowire single-photon detectors.
-
Occupied Processes: Going with the Flow
math.PR · 2023-11-14 · 3 theorem links
Occupied processes augment Markov processes with occupation flows to enable Markovian lifts and an Ito calculus for path-dependent PDEs where occupation acts as time.
-
Information-theoretic derivation of energy, speed bounds, and quantum theory
quant-ph · 2024-03-20 · 3 theorem links
Quantum theory, energy-dynamics correspondence, and Mandelstam-Tamm bound are derived from collision-model principle plus four information-theoretic axioms.
-
Deformations of Prismatic Higher $(G,\mu)$-Displays over Quasi-Syntomic Rings
math.NT · 2024-02-20 · 3 theorem links
Proves a deformation theorem for prismatic higher (G,μ)-displays over quasi-syntomic rings, extends p-divisible group classification, and relates the display stack to integral local Shimura varieties.
-
Conditional Independence of 1D Gibbs States with Applications to Efficient Learning
quant-ph · 2024-02-28 · 3 theorem links
1D translation-invariant Gibbs states at positive temperature exhibit superexponential decay of Belavkin-Staszewski conditional mutual information, enabling efficient learning from local measurements and tensor network approximations.
-
Asymptotic Expansions of the Limit Laws of Gaussian and Laguerre (Wishart) Ensembles at the Soft Edge
math.PR · 2024-03-12 · 3 theorem links
Explicit asymptotic expansions in powers of h ~ n^{-2/3} are derived for the Tracy-Widom distributions F_beta describing the rescaled largest eigenvalues of Gaussian and Laguerre ensembles, with polynomial coefficients in derivatives of F_beta.
-
Cauchy convergence in V-normed categories
math.CT · 2024-04-13 · 3 theorem links
Defines Cauchy convergence and cocompleteness in V-normed categories via enrichment over normed sets and proves existence of Cauchy cocompletions plus a Banach fixed point theorem under light extra properties on V.
-
A robust and composable device-independent protocol for oblivious transfer using (fully) untrusted quantum devices in the bounded storage model
quant-ph · 2024-04-17 · 3 theorem links
A robust, sequentially composable device-independent OT protocol using Magic Square devices in the bounded-storage model that tolerates small device deviations and joint quantum attacks with negligible error.
-
Training-Free Multi-User Generative Semantic Communications via Null-Space Diffusion Sampling
eess.SP · 2024-05-16 · 3 theorem links
Introduces a null-space diffusion sampling method for training-free multi-user generative semantic communications in OFDMA systems.
-
The Smith Fiber Sequence and Invertible Field Theories
math.AT · 2024-05-06 · 3 theorem links
Smith homomorphisms are defined equivalently via Thom spectrum maps, yielding a fiber sequence whose Anderson dual produces long exact sequences of invertible field theories.
-
New large value estimates for Dirichlet polynomials
math.NT · 2024-05-31 · 3 theorem links
New large-value estimates for Dirichlet polynomials yield the zero-density bound N(σ,T) ≤ T^{30(1-σ)/13 + o(1)} and prime-number asymptotics in intervals of length x^{17/30 + o(1)}.
-
On the sequential convergence of Lloyd's algorithms
math.OC · 2024-05-31 · 3 theorem links
Proves sequential convergence of Lloyd's algorithms for optimal and uniform quantization under analytic density assumptions via gradient methods and subanalytic integral properties.
-
Multiple SLEs for $\kappa\in (0,8)$: Coulomb gas integrals and pure partition functions
math-ph · 2024-06-10 · 3 theorem links
Constructs SLE(κ) partition functions as Coulomb gas integrals for κ∈(0,8), proves positivity and series properties, builds real-analytic pure partition functions, and relates both via meander matrix to define global non-simple multiple chordal SLE measures.
-
Anomalous radiation reaction in a circularly polarized field
quant-ph · 2024-08-14 · 3 theorem links
Quantum Floquet theory predicts an anomalous radiation reaction force perpendicular to electron velocity in circularly polarized fields due to one-loop QED photon emission corrections with no classical analog.
-
Dual Role of Squeezed-Reservoir in Quantum Phase Synchronization: Boosting and Blockade
quant-ph · 2024-08-19 · 3 theorem links
Squeezed reservoir induces limit cycle for boosted synchronization and enables blockade via coherence quenching in driven TLS.
-
Safe Bayesian Optimization for Complex Control Systems via Additive Gaussian Processes
cs.RO · 2024-08-29 · 3 theorem links
SafeCtrlBO combines additive GP kernels with boundary-based safe-set expansion to achieve efficient safe optimization of multi-loop controllers on benchmarks and a PMSM hardware platform.
-
Comments on Celestial CFT and $AdS_{3}$ String Theory
hep-th · 2024-10-03 · 3 theorem links
Extends H3+-WZNW celestial CFT to holographically generate MHV amplitudes in Klein space, deriving dictionary, stress tensor, correlators, OPE and PDEs from KZ equations.
-
Observable CMB B-modes from Cosmological Phase Transitions
astro-ph.CO · 2024-10-30 · 3 theorem links
Phase transitions in dark sectors can generate CMB B-modes with amplitudes competitive with inflation but peaking at smaller angular scales.
-
On the Convergence and Straightness of Rectified Flow
cs.LG · 2024-10-19 · 3 theorem links
Introduces piecewise straightness parameter γ_{2,T} and derives the first Wasserstein convergence bound for general flow models linking discretization error to this measure, plus sufficient conditions for rectified flows to achieve perfect straightness.
-
Disentanglement as Identifiable Pushforward Factorisation
cs.LG · 2024-10-29 · 3 theorem links
Disentanglement equals two conditions on the generator under which the pushforward density factorizes according to the Jacobian SVD, yielding identifiable seam factors up to permutation and sign.