Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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-1 block V1=C3 with its orthonormal magnetic basis ∣1,m⟩, m=−1,0,1. The minimal single-manifold encoding has logical codewords ∣0ˉ⟩=∣1,−1⟩ and ∣1ˉ⟩=∣1,1⟩. Its codespace is their complex linear span C⊂V1. Equivalently, its encoding is the linear map V:C2→V1 sending the standard logical basis vectors ∣0⟩,∣1⟩ to ∣0ˉ⟩,∣1ˉ⟩, respectively.

Justification

The angular-basis convention supplies the three distinct orthonormal vectors in V1; 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 x=x0∣0⟩+x1∣1⟩ and y=y0∣0⟩+y1∣1⟩, orthonormality gives the same inner product for Vx,Vy as for x,y. Hence V 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 J manifold and uses it as its lowest-J baseline for detecting a decay: in its stated model a decay is flagged because the state leaves the J=1 manifold. Its Fig. 4 depicts unit amplitudes at m=−1,+1. 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

Used by · 4

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