Theorems
A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.
- The torus heat kernel at time s is the continuous periodic density of the heat semigroup started at the Dirac mass at the origin.
Existence and Uniqueness of a Continuous Periodic Density for the Torus Heat Semigroup Started at the Origin
lemmalem:torus-heat-kernel-unique-2026aAnalysisProbabilityThe heat semigroup on the torus, applied to the Dirac mass at the origin, has exactly one continuous periodic density on the unit cell.Nearly Optimal Composite Displacements on the Torus Converge to the Optimal Displacement
lemmalem:torus-composite-displacement-2026aAnalysisProbabilityIf random points with laws mu and nu are joined by displacements that are lifts of the torus displacement and whose mean squares approach the squared torus Wasserstein distance, then, when mu is absolutely continuous, these displacements converge in mean square to the optimal dis…McCann's Tangent Inequality on the Torus, and Monotonicity of the Score Along Optimal Maps
theoremthm:torus-entropy-tangent-inequality-2026aAnalysisProbabilityOn the torus the entropy lies above its tangent along optimal maps: the entropy of the target is at least that of the source plus the pairing of the source score with the optimal displacement; adding the inequalities in both directions shows the score is monotone along optimal ma…The Entropy of Measures on the Torus: Nonnegativity, Absolute Continuity and Closed Sublevel Sets
lemmalem:torus-entropy-basic-2026aAnalysisProbabilityA probability measure on the torus with finite entropy is absolutely continuous and has nonnegative entropy, and the sets of measures on the torus with entropy at most a given constant are closed for the torus Wasserstein distance.Heat Smoothing on the Torus: Distance to the Identity, Contraction, a Smooth Positive Periodic Density, Finite Entropy, and Finite Fisher Information
lemmalem:torus-heat-semigroup-2026aAnalysisProbabilityHeat smoothing on the torus moves a measure by at most the square root of d times s, contracts the torus Wasserstein distance, and produces a positive periodic density of class C2, finite entropy not exceeding that of the original, and finite torus Fisher information with score t…The Heat Semigroup on the Probability Measures on the Torus
definitiondef:torus-heat-semigroup-2026aAnalysisProbabilityThe heat semigroup at time s sends a probability measure on the torus to the wrap of its Gaussian smoothing at scale s.Half the Squared Torus Wasserstein Distance to a Fixed Measure is an Intrinsic Test Function on the Absolutely Continuous Measures
lemmalem:torus-squared-distance-test-function-2026aAnalysisProbabilityThe optimal displacement fields towards a fixed target vary continuously along couplings of vanishing torus cost between absolutely continuous sources, so half the squared torus Wasserstein distance to a fixed measure is an intrinsic test function on the absolutely continuous mea…Half the Squared Torus Wasserstein Distance to a Fixed Measure: the One-Sided Bound Along Couplings, Differentiability at an Absolutely Continuous Source, and the Tangent Gradient
lemmalem:torus-squared-distance-2026aAnalysisProbabilityHalf the squared torus Wasserstein distance to a fixed measure lies below its first-order expansion plus half the cost along every coupling out of a mapped source; at an absolutely continuous source it is differentiable along couplings with gradient minus the optimal displacement…Intrinsic Test Functions on the Torus Wasserstein Space
definitiondef:torus-intrinsic-test-function-2026aAnalysisProbabilityAn intrinsic test function on a set of probability measures on the torus is a continuous function that is differentiable along couplings at every measure of the set with gradient in the tangent space, the gradients varying continuously along couplings of vanishing torus cost.Differentiability Along Couplings of a Function on the Torus Wasserstein Space, and Its Gradient
definitiondef:torus-differentiable-along-couplings-2026aAnalysisProbabilityA function on the probability measures on the torus is differentiable along couplings at a measure with a given gradient field when its increment along every coupling of small torus cost equals the displacement pairing of that field up to an error small relative to the square roo…The Torus Displacement Pairing: Linearity, the Cost Bound, and Vanishing of a Field with First-Order Small Pairings
lemmalem:torus-displacement-pairing-2026aAnalysisProbabilityThe torus displacement pairing is linear in the field and bounded by the norm of the field times the square root of the torus cost; a field whose pairings along all couplings of small cost are small relative to the square root of the cost is zero.The Torus Displacement Pairing of a Vector Field Along a Coupling
definitiondef:torus-displacement-pairing-2026aAnalysisProbabilityThe torus displacement pairing of a square-integrable vector field along a coupling integrates the dot product of the field at the first point with the wrapped displacement from the first point to the second.Finite Torus Fisher Information, the Torus Score and the Torus Fisher Information of a Probability Measure on the Torus
definitiondef:torus-score-fisher-2026aAnalysisProbabilityA probability measure on the torus has finite torus Fisher information when integrals of Laplacians of smooth periodic functions are bounded by the norm of their gradients; its score is the tangent vector representing minus that integral, and its Fisher information is the squared…The Torus Tangent Space: Linearity of the Periodic Calculus, Closed Subspace, and Representation of Bounded Functionals on Gradients
lemmalem:torus-tangent-space-basic-2026aAnalysisProbabilitySmooth periodic functions form a vector space on which gradient and Laplacian are linear; their gradients form a subspace whose closure, the torus tangent space, is a closed subspace; and a linear functional on smooth periodic functions bounded by the norm of the gradient is repr…The Tangent Space of the Torus Wasserstein Space at a Probability Measure
definitiondef:torus-tangent-space-2026aAnalysisProbabilityThe tangent space at a probability measure on the torus is the closure, in the square-integrable vector fields against that measure, of the gradients of smooth periodic functions.Optimal Transport on the Flat Torus: Standing Notation
settingset:torus-wasserstein-2026aAnalysisProbabilityFixes the notation for optimal transport on the flat torus: the wrapped displacement and torus distance, probability measures on the torus with the torus cost, Wasserstein distance and optimal couplings, and optimal maps with their displacement fields, and puts the basic results…Stability of the Optimal Map and of the Displacement on the Torus Along Couplings of Nearly Optimal Cost
theoremthm:torus-optimal-map-stability-2026aAnalysisProbabilityAlong any sequence of couplings of a uniquely mapped pair on the torus whose torus costs converge to the optimal cost, the second point converges in mean square to the image of the first under the optimal map; if the source is absolutely continuous, the wrapped displacement of th…McCann's Theorem on the Flat Torus: Optimal Couplings out of an Absolutely Continuous Measure are Induced by a Unique Map with a Periodic Potential
theoremthm:torus-optimal-map-2026aAnalysisProbabilityIf the source measure on the flat torus is absolutely continuous, the pair is uniquely mapped on the torus; almost every displacement of an optimal map is the unique shortest one and is given by the subgradient of a convex function whose difference from half the squared norm is p…Optimal Maps on the Torus, Uniquely Mapped Pairs and the Displacement Field of a Map
definitiondef:torus-optimal-map-2026aAnalysisProbabilityA Borel map is an optimal map on the torus from one measure to another when it pushes the first onto the second and the coupling it induces is optimal for the torus cost; a pair is uniquely mapped when some optimal map induces every optimal coupling; the displacement field of a m…