Theorems

Theorem 1.1 (Sharp exponential-sum bounds)

Theorem 1 (Output entropy from second moments)
Theorem 2 (Moment-resolved Gaussian optimality)
Theorem 6 (Exact nonzero-error classical capacity)

Theorem 1 (Normal basis theorem)
Theorem 2 (Completely normal basis theorem)
Theorem 3 (Infinite normal basis theorem)
Theorem 4 (Infinite completely normal basis theorem)
Theorem 9
Theorem 15
Theorem 19
Theorem 22
Theorem 25

Theorem (Main results)
Theorem
Theorem
Theorem
Theorem
Theorem (Mixed preparations and the tree property of the second kind)
Theorem (The first check to fire)
Theorem (Compatibility of affine conditions)
Theorem (Compatibility of quantifier-free conditions)

Theorem 3.1 (Local existence and uniqueness of generalised solutions)
Theorem 3.2 (Global existence and uniqueness of generalised solutions)
Theorem 3.3 (Global boundedness and input-to-state stability (ISS) of the PDE variables)

Theorem 1.1 (Quadratic ancestor inequality)
Theorem 1.2
Theorem 1.3
Theorem 2.1 (Complete log-concavity of matroid polynomials)
Theorem 5.1

Theorem 1.1
Theorem 1.2
Theorem 1.3 (Ward identity)
Theorem 7.2 (Boundary semigroup theory)

Theorem 1.1 (Unimodular zeros)

Theorem 3.1
Theorem 4.2 (Embedding into free group factors)
Theorem 4.10 (Solidity)
Theorem 4.13 (Ozawa)
Theorem 5.6 (Improved log-Lichnerowicz inequality, Klartag)
Theorem 5.7 (Free version of Klartag’s log-Lichnerowicz inequality)
Theorem 5.8 (Rigidity for Klartag’s log-Lichnerowicz inequality, Courtade-Fathi)
Theorem 5.10 (Rigidity of the free improved Lichnerowicz inequality)
Theorem 5.11 (Bizeul–Klartag–Lehec , Song–Zhang)
Theorem 5.12 (Free KLS bound)
Theorem 5.15 (E. Milman’s spectral comparison)

Theorem 1.1 (Unconditional Euler-product approximation)
Theorem 1.2 (Quadratic improvement)
Theorem 1.3 (Conditional Euler-product approximation)
Theorem 1.5 (Discrete universality along Gram powers)

Theorem 1.2 (Quantitative distance estimate)
Theorem 1.3 (Global strong solution)
Theorem 1.4 (Partial parabolic smoothing)

Theorem 1.1
Theorem 1.2
Theorem 1.3
Theorem 2.2 (Uniform exponent of the saturation quotient)
Theorem 3.2 (Fixed-point calculation of norm gluing)
Theorem 3.4
Theorem 6.2 (Local block criterion)
Theorem 7.1 (Rational critical-face series)
Theorem 8.2 (Complete cyclic fixed-space profile)
Theorem 8.3 (No uniform equivariant suspension period)
Theorem 9.1 (Three fixed chorded cycles)
Theorem 10.3 (Cyclic character of the family)
Theorem 10.4 (Cyclic actions for the benchmark graphs)
Theorem 15.1
Theorem A.1

Theorem
Theorem (Sebastiani-Thom Isomorphism)

Theorem 1
Theorem 4 (Sharp Lorentz indices on a noncritical face)

Theorem 3.3 (Exact CRT formula)
Theorem 4.5 (Affine periodicity)
Theorem 4.7 (Exact formula on the ray n=tP)
Theorem 5.3 (Finite-density decomposition)
Theorem 5.6 (Parameter-density positivity criterion)
Theorem 5.11 (Largest-prime uniform positivity threshold)

Theorem 2.1 (Fourier slice theorem )
Theorem 2.2
Theorem 2.3
Theorem 2.5 (Filtered torus backprojection)

Theorem 5.1 (Envelop theorem: exact design gradient from the inner dual)

Theorem 1 (Exact finite-observation boundaries)
Theorem 3 (Strict finite-observation representation gap)
Theorem 4 (Exact binary representation gap)
Theorem 5 (Explicit protocol under a uniform finite rate cap)
Theorem 8 (Strict physical gap with noisy observations and finite rates)

Theorem 1.1
Theorem 6.1 (rational-parameter theorem)

Theorem 1.1 (The rough anti-peeling)
Theorem 1.3 (Absence of light segments)
Theorem 1.4 (Light segments shine at the weak-endpoint)
Theorem 1.5 (No light segments for the Dirichlet problem)
Theorem 1.7 (Boost function regularity)
Theorem 1.8 (Capacitary bounds for the degeneracy sets)
Theorem 1.11 (Boost integrability and light segments)
Theorem 1.12 (Borderline boost function regularity I)
Theorem 1.15 (Borderline boost function regularity II)
Theorem 1.16 (Borderline boost regularity for Dirichlet problems)
Theorem 1.18 (Intrinsic potential estimate)
Theorem 7.2 (Sobolev exclusion of light segments - higher dimensions)
Theorem 7.3 (Sobolev exclusion of light segments - lower dimensions)
Theorem 7.4

Theorem 1.1
Theorem 1.2 (Limiting covariance)
Theorem 1.3 (Quantitative Central Limit Theorem)
Theorem 1.4 (Functional Central Limit Theorem)
Theorem 3.1
Theorem 3.3

Theorem 3.2 (Invariant seam reduction)
Theorem 4.2 (Reciprocity of the seam theta state)
Theorem 4.3 (Completed zeta from the invariant seam)
Theorem 6.1 (Conservative sheet operator)
Theorem 6.4 (Harmonic extension with seam matching)
Theorem 8.1 (Fourier–Bessel cusp modes)
Theorem 9.1 (Hyperbolic Poisson transform)
Theorem 10.2 (Full-level Maass functional equation)
Theorem 11.4 (Mellin reflection for a reciprocal pair)
Theorem 12.3 (Split rank-two Mellin compatibility)
Theorem 13.5 (Geometric duality of the doubled base)
Theorem 14.2 (Duality and assembly)
Theorem 16.2 (The 3+4 incidence correspondence)

Theorem 1.1
Theorem 1.2
Theorem 1.3 (Upper semicontinuity of algebraic dimension)
Theorem 1.5 (Uncountably many Moishezon fibers)
Theorem 2.1 (Compactness of divisor components)
Theorem 2.2 (Barlet classification and fundamental cycles)
Theorem 2.5 (Proper mapping theorem)
Theorem 2.7 (Local algebraic-dimension theorem)
Theorem 2.13 (Coherence, semicontinuity, and base change)
Theorem 2.15 (Cartan’s theorem B)

Theorem 21
Theorem 23 (Consistency of the QML breakpoint estimator)

Theorem 2.4 (Number operator distribution)
Theorem 2.5
Theorem 2.6 (Law of small numbers in the sparse regime)
Theorem 2.7 (LDP at logarithmic speed)
Theorem 2.8
Theorem 3.3
Theorem 3.4 (Law of small numbers for quantum depletion)
Theorem 3.6 (LDP at logarithmic speed for quantum depletion)
Theorem 3.7 (Large scattering limit, \fk{a}\to +\infty)
Theorem 3.9
Theorem 5.8
Theorem C.1 (Lindeberg CLT)
Theorem C.4 (Generalized Lindeberg CLT)

Theorem 1 (Distributive Normal Forms in FOL)
Theorem 2 (Semantic Rate–Distortion Theorem)
Theorem 3 (Goal-Oriented Semantic Communication Principle)

Theorem 1 (Maximal fluctuation estimate on regular sets)
Theorem 2

Theorem 6.2 (Corrected Theorem 10)

Theorem 1
Theorem 2
Theorem 3 (Local Well-Posedness in the RJ perturbative regime)
Theorem 4 (Poincaré Inequality/Spectral Gap Inequality)
Theorem 5

Theorem 1.1 (explicit four-shift dependence)

Theorem 5.1 (Ergodicity of the projected Markov chain)
Theorem 5.4 (Positive lower bound on the stationary variance)
Theorem 5.6 (Escape from oversmoothing under contractive noisy recurrent dynamics)

Theorem 3 (Finite-dimensional characterization)
Theorem 11 (Main theorem)
Theorem 16
Theorem 58 (Mañé’s infinitesimal criterion)

Theorem 1.2 (Pseudo-rotation \Rightarrow uniruledness)
Theorem 1.3 (Hamiltonian torsion \Rightarrow uniruledness)
Theorem 1.5 (Contractibility of fixed points of finite-order Hamiltonian diffeomorphisms)
Theorem 1.6
Theorem 1.11 (Kunneth for \qst_p)
Theorem 1.13 (“Reversed" Hofer–Zehnder conjecture)
Theorem 1.16 (Non-torsion orbit in H_1 \Rightarrow Conley conjecture)
Theorem 1.17 (SDM \Rightarrow Conley conjecture)
Theorem 2.1
Theorem 2.10
Theorem 2.12
Theorem 2.13
Theorem 2.17
Theorem 2.18
Theorem 2.19
Theorem 2.20
Theorem 2.22
Theorem 4.9
Theorem 4.10
Theorem 5.5
Theorem A.3

Theorem 2.1 (Theorem 7.1)
Theorem 4.1 (Uniform concentration of empirical rooted signatures)

Theorem 2.6 (Injectivity criterion)
Theorem (Carathéodory)
Theorem (Minkowski)
Theorem Theorem (Necessary condition)
Theorem Theorem (Sufficient condition)
Theorem 4.19 (Weizsäcker-Winkler)
Theorem 4.21

Theorem 2.3 (Pocklington–Lehmer certificate)
Theorem 3.1 (mod 6)
Theorem 3.2 ((-3)-sieve; quadratic reciprocity)
Theorem 3.4 (Forbidden classes mod 7)
Theorem 4.1 (w_2=5; rigorous)
Theorem 4.5 (w_3=7; rigorous)

Theorem 1
Theorem 2
Theorem 3 (Local smoothness of the MLS approximation)

Theorem 1.1
Theorem 1.2
Theorem Theorem (Prékopa–Leindler inequality, equality by Dubuc)

Theorem 1
Theorem 2 (Non-asymptotic tail bound)
Theorem 3 (Sharp moment upper bound)
Theorem 4 (Matching lower bound)
Theorem 5 (Exact-order characterization)

Theorem 2 (Modularity has OGP)
Theorem 3 (Informal)
Theorem 4
Theorem 5 (Partitions with near-optimal modularity are close to the planted)
Theorem 6 (Maximal modularity at distance at most 1/k)
Theorem 7 (Maximal modularity)
Theorem 14

Theorem 3.3
Theorem 3.4 (Corollary 2.3 in [Henke-et-al:2024])
Theorem 3.8

Theorem 2.11 (Asymptotic scattering relation)
Theorem 8.1
Theorem 8.5

Theorem 1.1
Theorem 1.2
Theorem 2.4
Theorem 2.5 (Weighted energy boundedness and integrated energy decay; Theorem 3.1)
Theorem 4.1 (Late-time pointwise asymptotics)
Theorem 4.2 (Late time energy decay asymptotics)
Theorem 4.3 (Instabilities and energy concentration)

Theorem (Informal Statement of Theorem 1)
Theorem 1 (Rademacher Based Upper-bound for (d+1)-Navier-Stokes)

Theorem 1.1 (Inertial limit of finite-energy weak solutions)

Theorem 1 (Convergence of bandlimited EPDiff equation)
Theorem 2 (Sobolev regularity preservation along geodesics)
Theorem 15 (Preservation of higher Sobolev regularity)
Theorem 27 (Convergence of geodesic approximation)

Theorem 3.1 (3op EFT over addition in Dekker’s system)
Theorem 3.2 (6op EFT over addition in Dekker’s system)

Theorem 3.1 (reliability)
Theorem 3.5 (efficiency)
Theorem 4.1
Theorem 4.4
Theorem 4.6 (H^1 error estimate for nodal interpolant)
Theorem 4.7 (reliability)
Theorem 4.8 (efficiency)

Theorem 3.3
Theorem 7.1 (Stability of the periodic orbit 132312)
Theorem 7.3 (Unstability of the periodic orbit 13223122)

Theorem 2
Theorem 3 (Birkhoff ergodic Theorem)
Theorem 17
Theorem 19 (Fluctuations of W_1^{\omega}|_{\Sigma_L})
Theorem 20
Theorem 23 (L^p-regularity of u_{f,\bsg})
Theorem 24 (Stochastic moments of \nabla W_1)

Theorem 1
Theorem 2 (Separable Cyclic Procrustes)

Theorem 1.1
Theorem 1.2
Theorem 2.3 (Uniform variational principle)

Theorem A (Corollary 3.11)
Theorem B (Corollary 4.3)
Theorem C (Remark 4.7 and Proposition 4.8)
Theorem D (Proposition 5.1 and Corollary 5.2)
Theorem E (Corollary 5.4)

Theorem 4.1 (Universal Cycles for Odd n)

Theorem 22 (Choi–Effros/Kirchberg)
Theorem 24
Theorem 27
Theorem 33 (Jellett, Davies–Vincent–Smith, Lazar–Lindenstrauss)
Theorem 34 (Jellett, Davies–Vincent–Smith, Lazar–Lindenstrauss, Namioka–Phelps)

Theorem 1 (Main Theorem)

Theorem 1.1
Theorem 1.2
Theorem 1.3
Theorem 1.4
Theorem 2.1 (Babenko )
Theorem 2.2 (Kozma and Oravecz )
Theorem 2.3 (Steinerberger )
Theorem 2.4 (Dold )
Theorem 2.5 (Volovikov )
Theorem 2.6 (Carathéodory )
Theorem 2.7 (Steinitz )
Theorem 2.8 (Carathéodory )
Theorem 2.10 (Richter–Tchakaloff)
Theorem 2.11 (Gauß–Legendre)
Theorem 2.13 (Adams, Frick, and Virk )
Theorem 2.14 (Adamaszek and Adams )
Theorem 4.2 (Babenko)
Theorem 5.2

Theorem 3.3 (Efficient decoding of double-circulant codes based on Sidon sets)
Theorem 3.4 (Explicit Sidon Set)
Theorem 4.1 (Efficient decoding of double-circulant codes based on cyclic codes)

Theorem 1.1 (Cheeger-Gromoll splitting for low regularity Riemannian metrics)
Theorem 1.2 (Flatness criterion for low regularity semi-Riemannian metrics)
Theorem 3.2 (Generalized Bochner-Weitzenböck identity)
Theorem 3.5 (Cheeger-Gromoll splitting theorem for C^1-metrics)
Theorem 3.10 (C^1-Hopf-Rinow)
Theorem 3.16
Theorem 3.21 (Flatness for C^1-metrics)
Theorem 4.8
Theorem 4.11
Theorem 4.12
Theorem 4.13
Theorem 4.14
Theorem 4.16

Theorem 1.1 (Pathwise Uniqueness of (?))
Theorem 3.8 (Pathwise Uniqueness in the Young regime)
Theorem 4.10 (Pathwise Uniqueness in the Rough Regime)

Theorem 3.1
Theorem 3.2 (Stone-Weierstrass )
Theorem 3.3 (Stone-Weierstrass for Differentially-Defined Functions)
Theorem 4.6 (Computable \eps-enclosures)
Theorem 4.7 (\eps-enclosures are provable)
Theorem 4.14 (Provable \delta-Perturbations)
Theorem 4.18
Theorem 4.19 (\delta-Completeness)
Theorem 4.20 (Proof-producing \delta-decidability)
Theorem 5.5 (Characterization of robustness)
Theorem 5.9 (Pure formulas are robust)
Theorem 5.14
Theorem A.1

Theorem 3.1 (Global Regularity via Self-Similarity)
Theorem A.1
Theorem B.1

Theorem 1 (Upper Asymptotics)
Theorem 2 (Lower Asymptotics)

Theorem A (Corrected Gram’s law equivalent to RH)
Theorem B (First-order approximation of \Delta_n(\overline{a}))
Theorem C (Second-order Hessian of \Delta_n(r))
Theorem D
Theorem 2.1
Theorem 2.2 (Edwards’ Speculation for High-Order Sections)
Theorem 3.1 (Corrected Gram’s law equivalent to RH)
Theorem 4.1 (First order approximation is Gram’s law)
Theorem 5.1 (Second-order approximation)
Theorem 6.1

Theorem 2 (Universal Approximation)

Theorem 1 (Finiteness of moments for bulk/boundary quotients, case q=1)
Theorem 2 (Finiteness of joint moments for bulk/boundary quotients)
Theorem 6 (Non-convex Kahane’s inequality for normalized exponentials of Gaussian fields)

Theorem 2.4 (Interior Hölder estimate - Laplacian)
Theorem 3.4 (Interior Hölder estimate - uniformly elliptic)
Theorem 4.1

Theorem 1.2 (QC uniformization)
Theorem 1.3 (David uniformization)
Theorem 1.5 (Local QC equivalence)
Theorem 2.5 (*Theorem 3.1)
Theorem 2.7
Theorem 3.7 (*Theorem 4.1)
Theorem 4.6
Theorem 5.2 (Realization and uniqueness; *Theorems A, E)
Theorem 5.7 (Exponential contraction; *Theorem C)
Theorem 5.8 (Asymptotic conformality; *Theorem D)
Theorem 5.10 (Periodic circle packing; *Theorem D)
Theorem 5.13 (*Theorem 5.15)
Theorem 6.1
Theorem 7.1
Theorem 9.1
Theorem 10.1

Theorem 1.1 (First model system)
Theorem 1.2 (Second model system)
Theorem 1.3

Theorem 1.1 (Dvořák, Ossona de Mendez, Wu )
Theorem 1.3
Theorem 1.5

Theorem 3.2
Theorem 4.2 (Propagation of Chaos)
Theorem 5.1 (Stability with respect to initial condition)
Theorem 5.2 (Stability with respect to coefficients)
Theorem 5.3 (Stability with respect to driving processes)
Theorem 5.6 (Large deviation principle)
Theorem 6.2 (Existence of invariant probability measure)
Theorem 6.3 (Log-Harnack inequality)
Theorem 6.4 (Shift Harnack inequality)
Theorem 6.6

Theorem 1
Theorem 2 (Generic nonconvex guarantees)

Theorem 1.1 (Necessary and sufficient conditions for well-posedness)
Theorem 3.1
Theorem 3.2 (sufficient condition for uniqueness)
Theorem 3.3 (uniqueness implies continuity)
Theorem 4.1
Theorem 4.2

Theorem 1.1
Theorem 1.3
Theorem 1.5
Theorem A.1 (S. Fournais, M. and T. Hoffmann-Ostenhof, T.Ø. Sø rensen)

Theorem 1.1
Theorem 1.2
Theorem 2.4 (Theorem 8.3.C of Gromov , Theorem 60 of Mineyev)
Theorem 2.6
Theorem 4.2
Theorem 4.3 (Hirsch-Kostant-Sullivan)
Theorem 5.1
Theorem 6.1
Theorem 6.9 (Horospherical geodesic rough density)
Theorem 7.1

Theorem 1 (Main theoretical result)
Theorem 2 (Upper bound for KRRR)

Theorem 3.1 (A superregular random walk)
Theorem 5.4 (Private measure on the interval)
Theorem 6.3 (TSP via covering numbers)
Theorem 7.2 (Private measure on a metric space)
Theorem 8.5 (Private measure: a lower bound)
Theorem 8.6 (Synthetic data: a lower bound)
Theorem 9.6 (Private measure, asymptotically)
Theorem 9.7

Theorem 1 (Remembering a field in discrete time)
Theorem 2 (Remembering a field in continuous time)
Theorem 3 (Remembering a long string)
Theorem 4 (Reliable computation in dim 1)
Theorem 5 (Intrinsically universal cellular automata)
Theorem 6 (Reliable computation in finite or infinite space)
Theorem 7
Theorem 8
Theorem 9 (Simulation by \( )
Theorem 10
Theorem 11
Theorem 12
Theorem 13 (Commutative Simulation)
Theorem 14
Theorem 15 (Rule Language)
Theorem 16 (Basic Block Simulation)

Theorem 4.1 (Supermartingale decomposition)
Theorem 5.1 (Supermartingale convergence)
Theorem 6.1
Theorem 6.4
Theorem 7.1 (Sufficient conditions for (L)-a.e.)
Theorem C.2

Theorem 1.4 (main result)
Theorem 2.2 (Nazarov–Sklyanin )
Theorem 4.1 (Lapointe–Vinet )
Theorem A.5 (spectral theorem for cyclic spaces of self-adjoint operators)

Theorem 1.1 (See Theorem 6.18)
Theorem 1.2
Theorem 2.4
Theorem 3.3
Theorem 4.6 (Laplacian comparison for the squared distance)
Theorem 5.2
Theorem 5.9 (A variational principle on \RCD(K,\infty) spaces)
Theorem 6.5
Theorem 6.7
Theorem 6.18 (Zhang-Zhong-Zhu inequality and Lipschitz continuity of harmonic maps)

Theorem 2 (Regret Bound and Constraint Violation)
Theorem 8
Theorem 10
Theorem 16 (Regret Bound and Constraint Violation)
Theorem 20
Theorem 21

Theorem 2.1 (Convergence of the regularized gradients)
Theorem 2.2
Theorem 3.1 (Widening Valley)
Theorem 2.1
Theorem 3.1

Theorem 3.1 (Predictive Posterior and Evidence)
Theorem 3.2 (Asymptotic Expansions of Meijer-G)
Theorem 3.3 (Universal Maximal Evidence Posterior)
Theorem 3.4 (Posterior and Evidence at Finite L)
Theorem 3.6 (Posterior and Evidence at Fixed \lpre)
Theorem 3.8 (Posterior and Evidence at Fixed \lpost)
Theorem 3.10 (Variance-Limited Scaling Law)
Theorem 3.11 (Double Descent in \alpha_0)

Theorem 1.1 (Structure of tilings of \Z^d)
Theorem 1.2 (Structure of abelian measurable tilings)
Theorem 1.5 (Tiles admitting a factor of iid tiling)
Theorem 1.7 (Measurable tilings of a torus)

Theorem 0.4
Theorem 0.5
Theorem 0.9 (Kegel-Wielandt conjecture)
Theorem 0.26 (Theorem 2 in)
Theorem 0.29 (Theorem 1 in)

Theorem 3.1 (fundamental theorem of \Gamma-convergence)
Theorem 3.2 (almost sure \Gamma-convergence)
Theorem 3.3 (convergence)
Theorem 4.1 (almost sure \Gamma-convergence, general case)
Theorem 4.2 (convergence, general case)

Theorem A (see ?(i)
Theorem B (see ?(ii)

Theorem 1.1 ( (Adámek )
Theorem 3.8 ((Initial algebras via inflationary iteration))
Theorem 4.4 ((Sized endofunctors have initial algebras))
Theorem 4.10 ((Colimits of sized functors))
Theorem 4.13 ((Products of set-valued sized functors are sized))

Theorem 3.2 (optimization over the phase fraction)
Theorem 4.1 (shape of \widehat Q_{\bf m}f and of the phase function \theta)
Theorem 5.1 (higher-dimensional equivalent formulation)
Theorem 5.6 (asymptotic equivalence)
Theorem 5.23 (locking states of Q_\sigma f)
Theorem 6.5 (equivalence with the Novak-Truskinovsky model)

Theorem 1 (homomorphic sensing of a single subspace)
Theorem 2 (homomorphic sensing of a subspace arrangement)
Theorem 3 (noisy homomorphic sensing)
Theorem 4 (unlabeled sensing and real phase retrieval)
Theorem 5 (sparse unlabeled sensing and sparse real phase retrieval)

Theorem 4.4
Theorem 5.10 (FFT for \Uq(\mathfrak{q}_n))

Theorem 1 (Sufficient condition for vibrational stabilization)

Theorem 1 (Extended Bihari inequality )
Theorem 2 (General FRS inner approximation with changed dynamics)

Theorem 1.2 (A_6^{(1)}-type)
Theorem 1.3 (A_5^{(1)}-type)
Theorem 1.4 (A_4^{(1)}-type)
Theorem 1.5 (A_3^{(1)}-type)

Theorem 1.1 (Strong cohomological rigidity for Bott manifolds)
Theorem 2.5 (for k=n-1 and for k=n-2)
Theorem 4.2
Theorem 4.3 (Strong cohomological rigidity for Bott manifolds)

Theorem 2.1 (Lippmann-Schwinger Integral Representation Formula)
Theorem 3.3

Theorem 5.1 (Main result for )
Theorem 5.2 (Main result for Confident MC-Politex)

Theorem 1.1 (Local recovery of one parameter)
Theorem 1.2 (Global recovery of one parameter)
Theorem 4.7
Theorem 6.1

Theorem 1.1
Theorem 3.2 (Bolognesi–Vistoli , Theorem 4.4)

Theorem 4.7 (Existence of the very weak solution, case V\geq 0)
Theorem 4.8 (Existence of the very weak solution, case V \in \mathbb{R})
Theorem 4.16 (Uniqueness of the very weak solution, case I: V \geq 0)
Theorem 4.17
Theorem 4.18
Theorem 5.3 (Consistency with the classical solution, case V \geq 0)
Theorem 5.4

Theorem 1.1 (Mean and Variance for the log-partition function)
Theorem 1.2 (Central Limit Theorem for the log-partition function)
Theorem 1.3 (Law of Large Numbers for Unpaired Vertices)
Theorem 1.4 (Quenched CLT for U)
Theorem 1.5 (Quenched Joint CLT)
Theorem 1.6 (Annealed CLT for \la U\ra_n)
Theorem 1.7 (Brownian Motion Limit)
Theorem 1.8
Theorem 2.1 (Hammersley )

Theorem 1.1 (Gromov–Lawson , Stolz )
Theorem 1.4 (Botvinnik )
Theorem 1.5 (Botvinnik–Rosenberg )
Theorem 1.6 (Botvinnik–Piazza–Rosenberg )
Theorem 1.7 (Botvinnik–Piazza–Rosenberg )
Theorem 1.8
Theorem 2.2
Theorem 2.11
Theorem 2.17
Theorem 5.1 (Botvinnik–Ebert–Randal-Williams , and Perlmutter )
Theorem 5.4 (see )

Theorem 4.8 (May’s Convergence Theorem)
Theorem 5.1 (cf.)
Theorem 5.2 (cf.)
Theorem 6.2 (cf.)

Theorem ?
Theorem 5.1 (Pasting Lemma for \star-relative trisections)
Theorem 7.1
Theorem 7.2
Theorem A.1 (Adaptation from Main Theorem of)
Theorem A.4 (Adaptation from of Theorem 5 of)

Theorem 5.3 (Abstract Kolmogorov zero–one law)
Theorem 5.4 (Abstract Hewitt–Savage zero–one law)

Theorem A (Density of Random Periodic Points)
Theorem B (Entropy and Random Horseshoe)
Theorem C (Density of Random Periodic Invariant Measures)
Theorem D (Random Livšic Theorem)
Theorem 2.1 (Density of Random Periodic Points)
Theorem 2.2 (Entropy and Random Horseshoe)
Theorem 2.3 (Density of Random Periodic Invariant Measures)
Theorem 2.4 (Random Livšic Theorem)
Theorem 8.1
Theorem 8.2
Theorem 8.3
Theorem 8.4
Theorem A.1
Theorem B.1

Theorem 1 (Bennequin , Orevkov and Shevchishin , Wrinkle)
Theorem 2
Theorem 7
Theorem 18 (Theorem 1.1)

Theorem 1.1 (Infrared bound)
Theorem 1.2 (Bounds on the critical value and amplitude)
Theorem 1.4 (Two-point function k-space asymptotics)
Theorem 1.5 (Two-point function x-space asymptotics)

Theorem 1.1 (Schur-type theorem in the squares)
Theorem 1.3 (Rado over kth powers)
Theorem 1.4 (Supersaturation(The term ‘supersaturation’, from extremal combinatorics, describes when we wish to “determine the minimum number of copies of a particular substructure in a combinatorial object of prescribed size” . For us, the substructure is defined by a Diophantine equation.) in squares minus one)
Theorem 1.7 (Supersaturation in the smooths)
Theorem 1.8 (Lefmann + Hardy–Littlewood circle method)
Theorem 1.9 (Lefmann)
Theorem 2.1 (Finitary Schur-type theorem in the squares)
Theorem 2.3 (Non-linear homogeneous Sárközy)
Theorem 2.4 (Supersaturated homogeneous Sárközy)
Theorem 2.5 (Multidimensional homogeneous Sárközy)
Theorem 3.2
Theorem 5.5 (Pseudorandom Sárközy)
Theorem 9.2 (Varnavides averaging)
Theorem 10.1 (Supersaturated smooth homogeneous Roth–Sárközy)
Theorem 11.4 (Pseudorandom Roth–Sárközy)
Theorem 12.1 (Non-linear Roth–Sárközy)
Theorem 13.1 (Smooth finitary colouring result)
Theorem B.1

Theorem 2.2 (Riemann–Roch theorem for orbifold curves)
Theorem 3.1 (Chevalley–Weil formula)
Theorem 4.1 (Chevalley–Weil formula for \Gamma\triangleleft \mathrm{PSL}_2(\mathbb{Z}))
Theorem 5.2
Theorem 5.3
Theorem 6.2
Theorem 6.4

Theorem A1 (von Neumann’s minimax theorem)
Theorem A2 (Convexity/linearity of posterior vulnerability w.r.t. choices)
Theorem A3 (Pure-strategy Nash equilibrium in Game II - strategies of type \distr(\calda))
Theorem A4 (Pure-strategy Nash equilibrium in Game II - strategies of type \cald \rightarrow \distr(\cala))
Theorem A5 (Pure-strategy Nash equilibria in Game III and equivalence of \distr(\calad) and (\cala\rightarrow \distr(\cald)))
Theorem A6 (Attacker’s pure-strategy Nash equilibrium in Game VI)
Theorem A7
Theorem A7

Theorem 1.2 (the fundamental theorem for curves in H_1)
Theorem 1.4
Theorem 1.6
Theorem 1.8
Theorem 1.9
Theorem 1.10 (the fundamental theorem for surfaces in H_1)
Theorem 1.11 (Crofton formula in H_1)
Theorem 2.1
Theorem 2.2
Theorem 3.1

Theorem 1.1
Theorem 1.2
Theorem 1.3 (Schur-Horn’s theorem)
Theorem 1.4 (Schur-type Theorems)
Theorem 1.5
Theorem 2.1
Theorem 3.1 (Distribution of the Eigenvalues of Toeplitz Quantization)
Theorem 3.2 (Szegö-type Theorem, p: 248)
Theorem 3.3 (Skorokhod)
Theorem 3.4

Theorem 1.1 (Homotopy invariants)
Theorem 1.2 (Stability)
Theorem 1.3 (Poincaré duality)
Theorem 1.4 (Monodromy theorem)
Theorem 1.5 (CEH stability)
Theorem 1.6 (Poincaré duality)
Theorem 1.7
Theorem 2.1 (Krull–Remak–Schmidt)
Theorem
Theorem 8.14
Theorem C.1
Theorem C.2

Theorem 1
Theorem 2 (Relation between modified extension of the classical beta function and the classical beta function)
Theorem 3 (Integral representations of the modified extension of the classical beta function)
Theorem 4 (Functional Relation)
Theorem 5 (Symmetry)
Theorem 6 (First Summation Relation)
Theorem 7 (Second Summation Relation)
Theorem 8 (Separation)

Theorem A (Ruelle-Perron-Fröbenius, RPF)
Theorem 1
Theorem 2

Theorem 2.1
Theorem 2.2
Theorem 2.3 (Small characteristic)
Theorem 2.4 (Small characteristic)
Theorem 2.5 (Known characteristic)
Theorem 3.1 (Small characteristic)
Theorem 3.2 (Known characteristic)
Theorem 3.3 (Known characteristic)
Theorem 4.1 (Small characteristic)
Theorem 4.2 (Small characteristic)
Theorem 5.2

Theorem 2 (Theorem 1.3 in)
Theorem 3 (Welch bound )
Theorem 5 (Gershgorin circle theorem )
Theorem 7
Theorem 8
Theorem 9
Theorem 11
Theorem 13
Theorem 14
Theorem 15 (Chebotarëv, see )
Theorem 16 (cf. )
Theorem 18
Theorem 19
Theorem 24
Theorem 30
Theorem 31
Theorem 32
Theorem 33
Theorem 34
Theorem 36 (Corollary 5.6 in)
Theorem 37
Theorem 40
Theorem 41 (Theorem 3.2 in)
Theorem 45
Theorem 46 (Reconstruction of sparse signals)
Theorem 49 (Geometry of normalized Gaussian frames)
Theorem 51 (Geometry of random harmonic frames)
Theorem 53 (Geometry of Gabor frames)
Theorem 54 (Geometry of chirp frames)
Theorem 56 (Geometry of spherical 2-designs)
Theorem 58 (Geometry of Steiner equiangular tight frames)
Theorem 60 (Geometry of code-based frames)
Theorem 62
Theorem 63
Theorem 64
Theorem 66
Theorem 69 (Constructing frames with low average coherence)
Theorem 70

Theorem 1 (Asimow and Roth)
Theorem 3 (Connelly , Gortler-Healy-Thurston)
Theorem 4 (Hendrickson)
Theorem 5 (Connelly)
Theorem 6 (Connelly and Whiteley)
Theorem 8
Theorem 11 (Bolker and Roth)
Theorem 20
Theorem 22 (Connelly)

Theorem 1.1 (Boughattas)
Theorem 1.2 (Boughattas , Theorem 2)
Theorem 1.3 (Boughattas , Lemma 5)
Theorem 2.1 (Shepherdson)
Theorem 2.2 (Boughattas)
Theorem 2.4 (Boughattas)
Theorem 3.4
Theorem 3.5 (Smith , Theorems 6.8. and 6.10.)
Theorem 3.6
Theorem 3.7 (Smith , Theorem 1.5.)
Theorem 3.8
Theorem 3.9
Theorem 3.10
Theorem 3.15 (Boughattas)

Theorem 0 (Donoho and Elad , Gribonval and Nielsen)
Theorem 0
Theorem 0
Theorem 0
Theorem 0

Theorem 1.7 (Reimann and Slaman)
Theorem 1.9 (Nies , strengthening Chaitin)
Theorem 1.10
Theorem 2.1

On exponential sums with multiplicative coefficients 2610.22345

Stratification of opers with apparent singularities and isomonodromic bubbling 2610.22326

Differential equations as difference-differential equations 2610.22317

Classical Capacity of Single-Mode Bosonic Gaussian Channels 2610.22308

Automorphic Dirac Operators and an Analogue of the Quantum Harmonic Oscillator on \Gamma \backslash \mathfrak{H} 2610.22291

Extending Donaldson’s HyperKähler Structure via Minimal Surfaces into \mathrm{PSL}(2,\mathbb{C}) 2610.22288

Counterexamples to the ordinary Fried conjecture near hyperbolic metrics 2610.22281

The Information Bottleneck is NP-hard 2610.22272

Uniform Intersection Numbers and Subgroup-Based Generating Graphs of Groups 2610.22268

An infinite completely normal basis theorem 2610.22247

Transference theory for the trilinear restriction estimate and an application to the quadratic NLS in 3D 2610.22237

Classification of bipartite observables III: simplicity, mixtures and quantum error correction 2610.22205

Connectivity Bounds for GHZ Graphs 2610.22190

The role of friction on heave-induced motion of offshore drilling systems: modelling, analysis, and numerical experiments 2610.22189

A quadratic ancestor inequality for spanning trees 2610.22180

Segal’s semigroup, Virasoro structure, and Ward identities in Compactified Imaginary Liouville Theory 2610.22170

Gluing weak approximability along recollements 2610.22161

Event-Triggered Funnel Control for Output Reference Tracking of Unknown Nonlinear Systems 2610.22153

Unimodular Zeros of Selmer’s Harmonic Trinomials 2610.22132

Convexity, the spectrum of free Laplacians and geometric consequences: a free KLS bound 2610.22109

The discrete second moment of the Riemann zeta-function along powers of Gram points 2610.22107

Global strong solutions without contact for a viscous fluid interacting with a purely elastic beam 2610.22090

Integral homology lattices of matching and circulant complexes 2610.22082

Logarithmic exponential sums with multiplicative coefficients 2610.22081

Direct products of Gorenstein flat modules over coherent rings 2610.22078

On the structure of polynomial multicorrelation sequences arising from nilpotent actions 2610.22076

Entropic Inequalities and Limit Theorems in Boolean Probability 2610.20178

Beth companions of finitary essentially algebraic theories 2609.03601

Companion matrices, permutations and lattice ideals 2511.06555

Order convergence in ordered vector spaces: compactness, atoms, pervasiveness, and ice cream spaces 2610.16554

Notes on Perverse Sheaves and Vanishing Cycles math/9908107

Parameter-Free Adaptive Extragradient Methods for Generalized-Smooth Variational Inequalities 2610.14839

Diagonalization of skew-Hermitian dual quaternion matrices and \phi-Hermitian dual quaternion matrices 2610.14692

Strong-type endpoint obstructions for bilinear spherical maximal operators 2610.14201

Finite Chains of Two-Complexes and Acyclic Covers 2610.10074

Entropy and the growth rate of universal covering trees 2410.10337

On the class number of real multiquadratic fields 2610.07180

Centralizers of elements in the orthogonal, symplectic and unitary groups 2610.05471

Restricted Coprime Representations Modulo 6P: Exact CRT Formulas and Positivity Thresholds 2609.22305

Free Circle Actions and Positive Ricci Curvature on Manifolds with the Cohomology Ring of S^2\times S^5 2603.29838

Grid Theory and Polynomiality in Dynamic Lot-Sizing 2610.03559

Torus computed tomography for experimental data 2608.16453

A New Upper Bound for the Turán Density of the Tetrahedron 2609.27495

Extreme values of Dirichlet L-functions on the critical line with a growing prime modulus 2610.02709

On ultraproduct approximations and property (T) factors 2605.16669

A bilinear approach to the finite field restriction problem, II 2606.22882

Additive Quasi-isometry via rooted graph partitions and layering partition 2609.36186

Control and Estimation Co-Design via Envelope-Theorem Gradients 2609.36090

Uniqueness of four-body convex central configurations for all masses 2609.35632

Algebraic Dimension and Reduction of LVMB manifolds 2609.35605

Sums of von Mangoldt convolutions via trace-sum averages over U(N) 2609.33953

Staircase diagrams, pattern avoidance, and smooth permutations 2609.33015

When Information Is Not Enough: Accuracy-Constrained Thermodynamic Costs of Binary Classification 2610.00291

Long-term behaviour of refracted Lévy processes in a half-line 2609.29326

Update to: Spectral sets: Numerical range and beyond 2609.22460

The Primitive Generalized Fermat Equation x^3+y^5=z^7: A computer-assisted proof 2609.26996

Light rays of Lorentzian graphs and the Born-Infeld model 2609.25449

Gaussian fluctuations for the stochastic wave equation with drift 2609.21258

On Multiple Eisenstein Series in Positive Characteristic: Direct Sum Result 2609.18777

Foundations of Zeta Space: Geometry, Spectral States, and Fourier Mellin Duality 2501.09848

Set-theoretic absoluteness for analysts and separable -algebras without Choice 2602.15812

Two short proofs of incompatibility for correlation matrices 2609.14610

Upper semicontinuity of algebraic dimension 2407.02022

Independence polynomials and the weak Lefschetz property for tadpole graphs 2609.13888

Polynomial growth of Bohnenblust–Hille constants on the Hamming cube 2609.12427

A Sharp Signal-to-Noise Threshold for Quasi-Maximum Likelihood Breakpoint Estimation 2609.12271

A threshold for full packing dimension of Hölder images of sets and measures 2609.11301

Probabilistic representation and limit theorems for particle numbers of quasi-free states 2609.10840

A 2/3 Bound for Vizing’s Conjecture 2607.01109

Mass Bounds for Confined Area-Minimizing Minimal Surfaces 2609.01324

Additive diameters of group representations 2504.07573

Keller sequences of exact \infty-categories 2609.01473

On the equivariant KU_G-local sphere for finite abelian groups 2605.30285

A family of second order, linear, unconditionally stable methods for the Cahn-Hilliard-Navier-Stokes equations 2608.26046

Goal-Oriented Semantic Communication for Logical Decision Making 2604.19614

A maximal estimate for the non-linear Fourier transform 2608.24606

Shock formation for 3D steady supersonic flows with general short pulse data 2608.24599

Unobstructedness of affine Gorenstein terminal toric fourfolds 2608.24424

Erratum to "Higher order scrambled digital nets achieve the optimal rate of the root mean square error for smooth integrands" 1007.0842