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 over with , and let and be ordered lists of distinct row and column indices. For , both lists and all selected matrices have zero size, with ordinary empty-matrix multiplication. Define , , and the cross matrix , using the same orders in .
The skeleton CUR core is and its reconstruction is . The projected least-squares CUR core is and its reconstruction is .
For , both reconstructions are the zero matrix.
The Moore-Penrose theorem in the dependencies guarantees that these formulas are single-valued for singular as well as nonsingular . The two core constructions may yield the same matrix: for and , both cores equal . The projection residual bound on the A page applies only to ; it is not asserted for the skeleton core .
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
- Per-Gunnar Martinsson and Joel A. Tropp, Randomized Numerical Linear Algebra: Foundations & Algorithms, §§13.1–13.2 (standard reference, not scraped)
- Nathan Halko, Per-Gunnar Martinsson, and Joel A. Tropp, Finding Structure with Randomness, §3.2.3 (standard reference, not scraped)