Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

W2 convergence implies weak convergence of homogeneous projections

Statement

Assume AC. Let d≥2 and μn,μ∈P2(Rd), with W2(μn,μ)→0. Then h2(μn) converges weakly as finite measures on Sd−1 to h2(μ). More generally, if Θ⊆Rq is closed and μn,μ∈P2(R×Θ) converge in W2, with first coordinate w∈R, then h1(μn) converges weakly as finite signed measures against every bounded continuous test on Θ to h1(μ).

Facts & Assumptions

Given: The quadratic transportation convergence and the projection definitions in the Statement.

[A1]

AC supplies the couplings with cost tending to the W2 infimum used in the truncation proof. The Axiom of Choice

[F1]

W2(μn,μ)2 is the infimum of ∫∣x−y∣2dπ over couplings; AC permits a coupling with cost at most W22+1/(n+1)2 for every n≥0. The Euclidean quadratic Wasserstein space The Axiom of Choice

[F2]

For continuous f on the sphere, ∫f dh2(α)=∫u≠0∣u∣2f(u/∣u∣)dα(u). For bounded continuous ψ on Θ, ∫ψ dh1(α)=∫wψ(θ)dα. Two-homogeneous measure projection Partially one-homogeneous signed measure projection

[F3]

The family μn has uniformly bounded second moments, and the chosen couplings πn have quadratic displacement tending to zero, by the W2 convergence and coupling-cost choice in [F1].

Proof

Given: AC, the measures, and [F1]–[F3].

1.1A1F1F2F3givenalgebra

Let (Xn,Yn) have joint law πn and write Dn=Xn−Yn. AC supplies the sequence of couplings in [A1]. Then E∣Dn∣2→0, and sup⁡nE∣Xn∣2<∞ by ∣Xn∣2≤2∣Yn∣2+2∣Dn∣2. For bounded continuous ψ, the function H(w,θ)=wψ(θ) is continuous on the closed Euclidean subspace R×Θ and has at most linear growth. Multiplying H by a continuous radial cutoff of compact support in that closed subspace gives a uniformly continuous function, so convergence in probability of Dn gives convergence of its expectations. The truncation error is uniformly small because E[∣Xn∣1∣Xn∣>R]≤R−1E∣Xn∣2 and the same bound holds for Yn. Hence EH(Xn)−EH(Yn)→0. By [F2], this is weak convergence of h1(μn) against every such ψ.

2.1A1F1F2F3step 1.1algebra∎

Fix continuous f on Sd−1 and set Ψf(0)=0, Ψf(u)=∣u∣2f(u/∣u∣) for u≠0. This function is continuous and ∣Ψf(u)∣≤∥f∥∞∣u∣2. The quadratic moments are asymptotically uniformly integrable: if ∣Xn∣>R, then either ∣Yn∣>R/2 or ∣Dn∣>R/2. Using [A1], ∣Xn∣2≤2∣Yn∣2+2∣Dn∣2, and splitting the term ∣Yn∣21∣Dn∣>R/2 at ∣Yn∣=R/2 gives E[∣Xn∣21∣Xn∣>R]≤4E∣Dn∣2+4E[∣Yn∣21∣Yn∣>R/2]. The right side tends uniformly to zero in the limit n→∞ followed by R→∞; the same estimate applies to Yn=Y. A compactly supported continuous truncation of Ψf has convergent integrals because it is uniformly continuous and Dn→0 in probability. The asymptotic tail bound makes the truncation error tend to zero. Hence ∫Ψfdμn→∫Ψfdμ, which is weak convergence of h2(μn) by [F2].

Depends on

Used by

Dependency tree · two levels

33 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources