Alphabeta Math
AlgorithmAlgorithm: 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.

Finite locally linear embedding with minimum-norm weights and a simple constant kernel

Definition

Input: a data matrix X∈Rn×p with n≥2, a neighbor count 1≤k<n, and an output dimension 1≤q<n, using ∥v∥2=(∑a=1pva2)1/2. For every row point xi, select the first k other sample indices ordered by (∥xi−xj∥2,j) and use the minimum-Euclidean-norm affine least-squares weights on that neighborhood, with weights summing to 1. Form W∈Rn×n by placing those weights in the selected columns of row i and zeros elsewhere; every row of W then sums to 1. If ker⁡(In−W)≠span⁡{1n}, return the status “constant kernel not isolated” and do not specify an embedding. Otherwise put M=(In−W)T(In−W) and return any Y∈Rn×q minimizing

tr⁡(YTMY)subject toYT1n=0,YTY=Iq,

where tr⁡ is the sum of diagonal entries. Equivalently, take orthonormal eigenvectors for the q smallest positive eigenvalues of M. Ties allow multiple outputs. This finite-matrix procedure makes no guarantee of manifold recovery or consistency.

Depends on

Used by

Dependency tree · two levels

15 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