Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Sub-Gaussian variables and vectors, and sub-exponential variables

Definition

Use the real random variable convention of Random elements and real random variables and the expectation convention of Expectation of a nonnegative or integrable random variable. A real random variable X is centered when it is integrable and EX=0. A vector random element Z=(Z1,…,Zd) in Rd, for an integer d≥1, is centered when each coordinate is integrable and EZj=0. For u,z∈Rd, write ⟨u,z⟩=∑j=1dujzj and ∥u∥2=(∑j=1duj2)1/2, using the Euclidean convention in Euclidean spheres and closed balls as subspaces of Rn.

For σ2≥0, a centered real random variable X is sub-Gaussian with proxy σ2 if EeλX≤eλ2σ2/2for every λ∈R. A centered vector random element Z∈Rd is sub-Gaussian with proxy σ2 if Eeλ⟨u,Z⟩≤eσ2λ2∥u∥22/2for every u∈Rd and λ∈R.

For ν2≥0 and b>0, a centered real random variable X is sub-exponential with parameters (ν2,b) if EeλX≤eλ2ν2/2whenever ∣λ∣≤1/b.

The parameters σ2 and ν2 are moment-generating-function upper-bound proxies; they are not asserted to equal the variance. The vector condition controls every one-dimensional projection and does not assert independence of coordinates.

Depends on

Used by

Dependency tree · two levels

28 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