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.
Minimal single-manifold encoding
PDF p. 6: Minimal-code bullet and Fig. 4
Definition
Use the spin- block with its orthonormal magnetic basis , . The minimal single-manifold encoding has logical codewords and . Its codespace is their complex linear span . Equivalently, its encoding is the linear map sending the standard logical basis vectors to , respectively.
Definition references
Justification
The angular-basis convention supplies the three distinct orthonormal vectors in ; the finite operator conventions give the ket notation. Thus the two displayed codewords are orthonormal, and their linear span is a two-dimensional subspace. For logical vectors and , orthonormality gives the same inner product for as for . Hence is an isometry and defines a code in the stated code-restriction convention. Angular-momentum basis and tensor labels Finite operator and ket conventions Code restriction and decoded channel types
Remarks
The article calls this the smallest encoding supported in a single manifold and uses it as its lowest- baseline for detecting a decay: in its stated model a decay is flagged because the state leaves the manifold. Its Fig. 4 depicts unit amplitudes at . These are descriptions of the article's benchmark; the definition alone does not assert a universal minimality theorem or specify a decay channel.
Depends on
Dependency tree · 2 levels
Each result is drawn at its shortest distance from this item. Arrows run from prerequisites to the items that use them; this item has a heavier outline. External source nodes link directly to the cited text. The view shows up to two dependency steps; open a prerequisite to continue.
Sources
- Monolithic Quantum Error Correction in the Presence of Distinguishability · PDF p. 6, minimal-code bullet and Fig. 4