Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: 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.

Weak-lq covariance class with directional sub-Gaussian tails

Definition

Let p≥2 be an integer, 0≤q<1, cn,p≥0, and τ>0. For a symmetric covariance matrix Σ=(σij)1≤i,j≤p, write ∣σ−j,j∣(1)≥⋯≥∣σ−j,j∣(p−1) for the magnitudes of the off-diagonal entries in column j, arranged in nonincreasing order. Define Gq(cn,p)={Σ:max⁡1≤j≤pmax⁡1≤k≤p−1k∣σ−j,j∣(k)q≤cn,p}(0<q<1). For q=0, define G0(cn,p) to be the symmetric covariance matrices with at most cn,p nonzero off-diagonal entries in each column. The corresponding law class Pq(τ,cn,p) consists of iid laws of X∈Rp whose covariance lies in Gq(cn,p) and which satisfy

for every unit vector v and every t>0. This is a clean sub-Gaussian model; it assumes neither coordinate independence nor robustness to contamination.

Depends on

Used by

Dependency tree · two levels

5 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