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

Skeleton and projected least-squares CUR cores

Definition

Let A∈Fm×n over F∈{R,C} with m,n≥1, and let I=(i1,…,ik) and J=(j1,…,jk) be ordered lists of distinct row and column indices. For k=0, both lists and all selected matrices have zero size, with ordinary empty-matrix multiplication. Define C=A(:,J)∈Fm×k, R=A(I,:)∈Fk×n, and the cross matrix W=A(I,J)∈Fk×k, using the same orders in I,J,W.

The skeleton CUR core is Uskel=W† and its reconstruction is A^skel=CW†R. The projected least-squares CUR core is Uproj=C†AR† and its reconstruction is A^proj=C(C†AR†)R=(CC†)A(R†R).

For k=0, both reconstructions are the zero m×n matrix.

The Moore-Penrose theorem in the dependencies guarantees that these formulas are single-valued for singular as well as nonsingular C,R,W. The two core constructions may yield the same matrix: for A=[1] and I=J=(1), both cores equal [1]. The projection residual bound on the A page applies only to A^proj; it is not asserted for the skeleton core W†.

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