Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-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.

Fibonacci fusion measurement branches and zero outcomes

Example

In the two-dimensional Fibonacci fusion space for three τ anyons of total charge τ, use the basis ∣1⟩,∣τ⟩ labelled by the charge after fusing the first two anyons. This is the fixed convention of Fibonacci fusion data and chiral convention. For ∣ψ⟩=3/5 ∣1⟩+2/5 ∣τ⟩, measurement of that pair's total charge yields probabilities 3/5 and 2/5 and conditional states ∣1⟩ and ∣τ⟩. If either coefficient is zero, its outcome has probability zero and there is no normalized conditional state for that outcome.

The circuit below is schematic: the pair enters the declared fusion-channel projective measurement, the classical outcome is the charge label, and the post-measurement quantum branch is Pa∣ψ⟩. It records no physical measurement hardware or any unproved braid diagram rule.

¿¿fP1;P¿gclassicalaPajÃi

Facts & Assumptions

Given: The two orthogonal Fibonacci channel basis vectors and the finite projective measurement of their pair charge.

[F1]

The two basis states are the total-charge channels of the first pair in the stated Fibonacci convention. Fibonacci fusion data and chiral convention

[F2]

Channel outcome probability and conditional state are given by the fusion-branch theorem. Fusion measurement branches are normalized exactly when nonzero

Verification

1.1F1F2givenalgebra

The coefficients have squared moduli 3/5 and 2/5, whose sum is one. The channel projectors are P1=∣1⟩⟨1∣ and Pτ=∣τ⟩⟨τ∣, so they send ∣ψ⟩ to the corresponding coefficient times its basis vector. Thus the probabilities are 3/5 and 2/5, and after division by the coefficient magnitudes the conditional states are ∣1⟩ and ∣τ⟩ by [F1]–[F2].

2.1F2step 1.1algebra∎

If the coefficient of one channel is zero, its projected vector is zero and the corresponding probability is zero. The branch-validity theorem says that this case has no normalized conditional state. If the surviving channel is a with coefficient α, normalization gives ∣α∣=1, so its conditional vector is α∣a⟩, representing the same pure state as ∣a⟩. This checks both zero-coefficient boundary cases without fixing a global phase.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

23 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