Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: 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.

Arbitrary-n triple-anyon fixed-charge code

Definition

Let n≥1 and c∈{1,τ} with V(τn→c)≠0, using the left-associated tree for both fixed-charge spaces. In the ordered list of 3n Fibonacci τ charges, group consecutive leaves into n triples; within each triple fuse its first two charges and then its third, and fuse the n triple outputs by the left-associated n-leaf tree to total c. Restrict each triple output to τ; its two local paths are indexed by the charge x∈{1,τ} after the first two leaves. Fix a rebracketing sequence of associators from this grouped tree to the fixed left-associated 3n-leaf tree, and let Rn,c be the induced composite unitary. For each tensor basis vector ex1⊗⋯⊗exn⊗vλ, where e1,eτ are the local triple paths and vλ is a basis vector of V(τn→c), map it to its grouped fusion-tree basis vector, then apply Rn,c. Extend linearly and call the resulting map Jn,c. Its image is the code Cn,c and it is an isometry; set Pn,c=Jn,cJn,c∗ for the code projector. The factor V(τn→c) retains all spectator fusion paths and is not a physical preparation at zero cost.

Facts & Assumptions

Given: The Fibonacci fusion rule τ⊗τ=1⊕τ with multiplicity one, the orthonormal fusion-tree basis and dimension recurrence, and unitary associator moves.

[F1]

The Fibonacci rule has the only nontrivial fusion channels τ⊗τ=1⊕τ, each of multiplicity one. Fibonacci fusion data and chiral convention

[F2]

Fusion-tree vectors form an orthonormal basis, with dimension computed by the finite multiplicity recurrence. Fusion-tree basis and dimension recursion

[F3]

The fixed-charge code projector associated with an isometry is JJ∗. Fixed-charge encoding and code projector

[F4]

The associator and its induced F-matrices are unitary, so rebracketing preserves the fusion-space inner product. F-symbol unitarity

Proof

1.1F1F2givenalgebra

Write mk(a)=dim⁡V(τk→a). The Fibonacci rule [F1] and the fusion-tree recurrence [F2] give m2(1)=m2(τ)=1 from the two channels of τ⊗τ. Applying the same recurrence once more gives m3(1)=m2(τ)=1 and m3(τ)=m2(1)+m2(τ)=2. Thus the local total-τ triple has exactly the two orthogonal paths labelled x=1,τ used as one logical basis.

2.1F2F3F4step 1.1algebra∎

Choose the fusion-tree basis of the finite spectator space V(τn→c). Tensoring its basis with the n local two-path bases from step 1.1 gives an orthonormal basis of the domain. By [F2], its grouped-tree images are precisely an orthonormal family in V(τ3n→c). The specified associator rebracketing is unitary by [F4], so their images in the fixed tree remain orthonormal; the linear map Jn,c sending the tensor basis to these vectors is therefore an isometry. Applying [F3] gives the orthogonal projector Pn,c=Jn,cJn,c∗. All choices are from fixed finite bases, and no choice axiom is used.

Depends on

Used by

Dependency tree · two levels

18 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