Lemmas

Lemma 5 (Existence of C_{n,r}(P;S))
Lemma 6
Lemma 7
Lemma 8
Lemma 9
Lemma 10 (Closed graph property of \pi_S(K))
Lemma 11 (Meaurable selector)
Lemma 12 (Nowhere density of \pi_S(K))
Lemma 13 (Stability)
Lemma 14
Lemma 15 (Lower Ahlfors regularity of the measure T_*P)
Lemma 16 (Nonemptiness of C_{n,r}(P;S))
Lemma 17
Lemma 18 (Monotonicity and limit for e_{n,r}(P;S))
Lemma 19 (Characterization of e_{\infty,r}(P;S) by the projection map)
Lemma 20 (Monotonicity and limit for \tilde{e}_{n,r}(P;S) and \hat{e}_{n,r}(P;S))
Lemma 21
Lemma 22
Lemma 25 (Lower dimensions when quantizers lie out of \pi_S(K))
Lemma 33 (Some properties on \dim_H)
Lemma 34
Lemma 35
Lemma 36
Lemma 37

Lemma 3.2 (Asymptotic Variance Comparison between \hat\beta_{0,t}^{\text{WCLS}} and \hat\beta_{0,t}^{\text{U}})
Lemma 3.3
Lemma 3.6
Lemma 3.7
Lemma 4.5

Lemma 1.1
Lemma 2.2
Lemma 3.1
Lemma 3.2
Lemma 3.3 (Euler characteristics of fibers)
Lemma 3.4 (Euler characteristics of strata)
Lemma 4.2

Lemma 4 (Kahane’s convexity inequality)
Lemma 5
Lemma 7 (Decorrelating bulk/boundary quotients: an upper bound)
Lemma 8 (Comparison of joint moments of bulk/boundary quotient for general covariance kernels)
Lemma 9 (Finiteness of quotients with positive distance)
Lemma 10 (Exact scaling relation for the bulk measure)
Lemma 11 (Exact scaling relation for bulk/boundary quotients)
Lemma 13 (Exact scaling relation for localized bulk/boundary quotients)
Lemma 18 (Finiteness of the localized joint moment from the unlocalized joint moment)

Lemma 2.1 (Characterization of Hölder continuity by diminish of oscillation)
Lemma 2.2
Lemma 2.3
Lemma 2.5 (Mean value property)
Lemma 2.6 (Weak Harnack inequality - Laplacian)
Lemma 2.7 (Diminish of oscillation - Laplacian)
Lemma 2.8 (Hölder modulus of continuity - Laplacian)
Lemma 3.5 (Hölder modulus of continuity - uniformly elliptic)
Lemma 3.6 (Diminish of oscillation - uniformly elliptic)
Lemma 3.7
Lemma 3.8 (Measure estimate)
Lemma 3.9 (Localization)
Lemma 3.11 (Diminish of distribution)
Lemma 3.12 (Weak Harnack inequality - uniformly elliptic)
Lemma 3.13 (Growing ink-spots)
Lemma 4.2
Lemma 4.3
Lemma 4.4

Lemma 1 (Generic online-to-nonconvex conversion)
Lemma 2
Lemma 7
Lemma 8
Lemma 9
Lemma 10 (Variance decomposition lemma)
Lemma 11

Lemma 1
Lemma 2
Lemma 3
Lemma 4 (Subdifferential orthogonal to level set)
Lemma 5
Lemma 6 (range condition for general regularization)
Lemma 7
Lemma 8 (uniqueness implies piecewise linear)

Lemma 1 (Riesz representation; Lemma S3.1)
Lemma 2 (Main lemma)
Lemma 3 (Towards a loss for KRRR)
Lemma 4 (First order condition)
Lemma 5 (Standalone closed form exists; c.f. Lemma 2)
Lemma 6 (Lower bound; Theorem 2)
Lemma 7 (Inference; Corollary 1)
Lemma 8 (generalization error to H norm; c.f. Lemma 12)
Lemma 9 (New learning theory bound)
Lemma 10 (Characterization of key quantities; Theorem 2)
Lemma 11 (Standard learning theory bounds; Proposition 3)
Lemma 12 (Residual expansion)
Lemma 13 (Residuals; Proposition S9)
Lemma 14 (Oracle concentration)
Lemma 15 (Concentration; Proposition 2)

Lemma 2.3 (MP vs. DP)
Lemma 3.2 (Sparsity)
Lemma 4.1 (Private measure yields private synthetic data)
Lemma 5.3 (Quantization is a contraction in TV metric)
Lemma 6.1
Lemma 6.2
Lemma 8.3 (A lower bound on the Wasserstein distance)
Lemma 8.4 (Many different measures)

Lemma 1 (S-Lemma)

Lemma 4.1
Lemma 4.2
Lemma 4.3 (Peierls bound)
Lemma 4.4 (Entropy bound, [,Lemma 6])
Lemma 4.5 (Excess Energy Lemma [, Lemma 2])
Lemma 4.6 (Key Lemma)
Lemma 4.7
Lemma 4.8
Lemma 4.9

Lemma 3.1 (Variations of constants formula)

Lemma 5.1 (Initial properties)
Lemma 5.6 (Connected tilings of intervals)

Lemma 3.1 (continuity with respect to neural network parameters)
Lemma 3.2 (approximation properties of \calA_m)
Lemma 3.3 (almost sure convergence of regularized discrete loss functions)

Lemma 2.8 (Lemma 3.6 in)
Lemma 2.9
Lemma 2.10 (Lemma 3.8 in)
Lemma 3.1
Lemma 3.3
Lemma 4.4
Lemma 5.1
Lemma 5.3 (A priori estimates)
Lemma 5.4
Lemma 5.5
Lemma 6.3 (Uniqueness of the form of the limit)

Lemma 3 (Change of variable)
Lemma 9
Lemma 10

Lemma 2.10 (minimization of the quadratic part)
Lemma 3.3 (compatible boundary conditions)
Lemma 4.3 (an algebraic lemma)
Lemma 4.4 (interpolation between locking states)
Lemma 5.2 (projection of the quadratic part of the energies)
Lemma 5.9
Lemma A.1
Lemma A.2

Lemma 1
Lemma 2
Lemma 3
Lemma 4
Lemma 5
Lemma 6
Lemma 7
Lemma 8 (\cW_\alpha-Initialization)
Lemma 9 (\cW_\beta-Initialization)
Lemma 10 (\cZ_\gamma-Initialization)
Lemma 11 (\cW_j-Extension)
Lemma 12 (\cZ_j-Extension)

Lemma 1 (Friedman)
Lemma 2
Lemma 3 (Friedman)
Lemma 4
Lemma 5
Lemma 6 (Friedman)
Lemma 7 (Friedman)
Lemma 8 (Friedman)
Lemma 9 (Friedman)
Lemma 10 (Friedman)
Lemma 11 (Friedman)
Lemma 12 (Friedman)
Lemma 13

Lemma 2.1 (Action of sphere twists on homotopy groups)
Lemma 2.4 (Pants relation)
Lemma 3.3
Lemma 3.4
Lemma 5.2
Lemma 6.1

Lemma 1 (Connecting the stability of Systems (?) and (?))
Lemma 2 (Necessary condition for robustness improvement)
Lemma 3 (Lower triangular transition matrix)
Lemma 4 (Existence of vibrational control)
Lemma 5
Lemma 6 (Growth bound of perturbations)

Lemma 2.1
Lemma 2.2 (Fractional Product Rule)
Lemma 2.4 (Fractional Chain Rule)
Lemma 2.5
Lemma 2.6
Lemma 2.7 (Convexity Hölder inequality)
Lemma 2.9 (Strichartz estimates)
Lemma 3.1
Lemma 3.5
Lemma 3.6

Lemma 2.1 (Estimates of the kernel K_{g})
Lemma 2.2
Lemma 2.3
Lemma 2.4
Lemma 2.5
Lemma 2.6 (Interpolation lemma)
Lemma 4.1
Lemma 4.2 (Weighted Young’s inequality)
Lemma 4.3
Lemma 5.1

Lemma 3.9
Lemma 3.10
Lemma 5.1 (The infinite independence lemma)
Lemma 5.2 (The determinism lemma)
Lemma 5.5

Lemma 5.1 (Bounds on \Xi^{\ssc[0]} and \Psi^{\ssc[0],\kappa})
Lemma 5.2 (Bounds on \Xi^{\ssc[0],\iota} and \Pi^{\ssc[0],\iota,\kappa})
Lemma 5.3 (Bounds on the coefficients for N=1)
Lemma 5.5 (Bounds on differences)
Lemma 6.1 (Pointwise bounds)
Lemma 6.2 (Pointwise bounds)
Lemma A.1 (Lower bound on z_I)
Lemma A.2 (Upper bound on the number of n-bond LAs)
Lemma B.2 (Monotonicity of SRW Green’s function in d)
Lemma B.3 (Monotonicity of SRW Green’s function in x)
Lemma B.4 (Monotonicity of small-step paths)

Lemma 4.2 (Homogeneous sets are dense)
Lemma 5.2 (Functional Sárközy)
Lemma 6.2 (Density transfer)
Lemma 6.3 (Fourier decay)
Lemma 6.4 (Restriction estimate)
Lemma 7.1 (Density increment lemma)
Lemma 7.2 (Homogeneous counting lemma)
Lemma 7.3 (Generalised von Neumann theorem)
Lemma 7.4 (Fragmentation into level sets)
Lemma 11.3 (Functional Roth–Sárközy)
Lemma 12.2
Lemma 12.3 (Density transfer)
Lemma 12.4 (Fourier decay)
Lemma 12.5 (Restriction estimate)
Lemma 15.2 (Functional FGR)
Lemma 16.1 (Fourier decay)
Lemma 16.2 (Restriction estimate)
Lemma 17.1
Lemma 17.2
Lemma A.2
Lemma A.3
Lemma A.4
Lemma A.5
Lemma B.3
Lemma B.4
Lemma C.1
Lemma C.2
Lemma C.3 (Generalised von Neumann)
Lemma D.1 (First level)
Lemma D.2
Lemma D.3
Lemma D.4 (Minor arcs)
Lemma D.6 (First pruning step)
Lemma D.7 (Second pruning step)
Lemma D.8
Lemma D.9 (Major arc asymptotic)
Lemma D.10
Lemma E.1
Lemma E.3
Lemma E.4
Lemma F.1 (Lefmann)
Lemma F.2
Lemma F.3

Lemma 4.3 (isaprop_rel_universe_structure)
Lemma 4.9 (is_universe_transfer)
Lemma 4.10 (isweq_is_universe_transfer)
Lemma 5.2 (isweq_from_cwf_to_rep)

Lemma A1 (Characterization of channel equivalence )

Lemma 2.1
Lemma 2.2 (see e.g. Theorem 2.1 of)

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

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

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

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

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

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

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

Wedderburn decomposition of Twisted skew abelian group algebra 2609.07644

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

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

Compactness phenomena in HOD and the Optimality of Magidor’s Covering theorem 2608.24190

The Stable Adams Conjecture 2608.23797

Exact Methods for Solving k-Delete Recoverable Robust 0-1 Problems Under Budgeted Uncertainty 2609.29478

Levelable graphs 2504.02065

Global Well-Posedness near Rayleigh-Jeans Equilibria for the Cubic NLS Wave Kinetic Equation 2608.19483

Intersecting families and nonvanishing multivariate polynomials over finite fields 2608.17785