Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedaudited 2026-09-14
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.

Square-integrable martingale-difference array and variance clock

Definition

Assume AC on a fixed probability space (Ω,F,P). A rowwise square-integrable martingale-difference array consists of families (Fn,k)n≥1,k≥0 and (Zn,k)n,k≥1 such that for each n the Fn,k form an increasing filtration of sub-σ-algebras of F, Zn,k∈L2 is Fn,k-measurable, and E[Zn,k∣Fn,k−1]=0a.s. Define Mn,m=∑k=1mZn,k,vn,k=E[Zn,k2∣Fn,k−1],Γn,m=∑k=1mvn,k. Each vn,k is nonnegative, integrable, and Fn,k−1-measurable; hence Γn,m is an increasing predictable variance clock, while Mn,m is a rowwise L2 martingale. A finite triangular row is included by putting Zn,k=0 and holding the filtration fixed after its last column. This preserves both limiting sums. AC is used only through conditional-moment existence and countable representative selection.

Depends on

Used by

Dependency tree · two levels

10 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