Alphabeta Math
ExampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedprecheck pass
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.

Zero leverage rows and a maximally coherent one-dimensional design

Example

Take Q=e1=(1,0,0)T∈R3×1. Compute its leverage scores and compare one exact leverage-proportional sample with one uniform row sample. Define the coherence here by μ(U)=(n/d)max⁡iℓi(U).

Facts & Assumptions

Given: The one-column orthonormal matrix Q=e1, the sampling procedure, and one sample with replacement.

[F1]

Leverage scores are row squared norms of an orthonormal basis and sum to the subspace dimension (Row leverage scores of a finite-dimensional subspace, Leverage scores are basis-independent and sum to the dimension).

[F2]

Sampling probability πi is allowed when πi≥βℓi/d; a selected row is rescaled by 1/mπi, with replacement (With-replacement leverage-score row sampling and rescaling).

[F3]

Embedding on a subspace means squared norms lie in [1−ε,1+ε] times their original values (Oblivious squared-norm subspace embeddings).

Verification

1.1F1algebra

The row norms of Q give (ℓ0,ℓ1,ℓ2)=(1,0,0), agreeing with the sum d=1 in [F1]. Thus the last two rows have zero leverage and μ(U)=(3/1)⋅1=3, the largest possible value since each leverage score is at most one.

2.1F2step 1.1algebra

With exact probabilities π=(1,0,0) and one sample, [F2] selects row zero with probability one and returns S=e1T. Then SQ=1, so the only unit vectors in Ran⁡(Q) retain squared norm exactly one. The zero-leverage rows are never sampled.

3.1F2F3step 2.1algebra∎

Uniform probabilities π=(1/3,1/3,1/3) satisfy the lower bound in [F2] with β=1/3. With one sample, SQ=3 if row zero is drawn, and SQ=0 if row one or two is drawn. For ε=1/2, [F3] requires squared norm in [1/2,3/2], which contains neither outcome; hence this one-row uniform sample fails with probability one, while the exact leverage sample in step 2.1 succeeds with probability one.

Depends on

Used by

Nothing in the library uses this result yet.

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