Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-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.

A nearly dependent finite basis has an ill-conditioned overlap matrix

Example

For 0<ε<1, take the two unit vectors v1=(1,0),v2=(1−ε,2ε−ε2) in R2. Their overlap (Gram) matrix is Sε=(11−ε1−ε1). With the stiffness matrix H=I, the generalized Ritz eigenvalues are 1/(2−ε) and 1/ε. The basis vectors approach one another as ε↓0, while the overlap condition number is (2−ε)/ε. Cholesky whitening changes coordinates but preserves those generalized eigenvalues exactly.

Facts & Assumptions

Given: 0<ε<1, the vectors v1,v2, the Gram matrix Sε, and H=I.

[F1]

Matrix products, conjugate transpose, identity matrices and the overlap matrix convention are as in Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes.

[F3]

Cholesky whitening preserves the eigenvalues and Rayleigh quotients of the generalized Hermitian pencil (Positive-definite overlap whitening preserves a generalized Ritz pencil).

Proof

technique · direct

Given: The two basis vectors and matrices in the example.

1.1F1givenalgebra

Both vectors have norm one and v1Tv2=1−ε, so their Gram matrix is the displayed Sε. Its eigenvectors (1,1) and (1,−1) have eigenvalues 2−ε and ε, both positive. Thus Sε is positive definite and its spectral condition number is (2−ε)/ε. Also ∥v1−v2∥2=2ε, which tends to zero.

2.1F2F3step 1.1givenalgebra∎

For H=I, diagonalizing Sε in the same two eigenvectors shows that Hc=λSεc has eigenvalues λ=(2−ε)−1 and λ=ε−1. The Cholesky factor is L=(101−ε2ε−ε2), so Sε=LL∗ and its positive diagonal makes it the factor in [F2]. By [F3], the whitened Hermitian problem has the same two eigenvalues. For example, at ε=1/N with integer N≥2, the condition number is 2N−1, which grows without bound although whitening is an exact change of coordinates.

Remarks

This calculation concerns exact arithmetic. Whitening removes the overlap matrix from the generalized pencil; it does not make the original basis well-conditioned or provide a finite-precision stability bound.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

13 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