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

A triple braid acts identically on fusion spectators

Statement

Let n≥1, c∈{1,τ}, and consider the fixed fusion space V(τ3n→c) with its grouped tree of n consecutive triples and outer triple-charge tree. Its orthogonal decomposition is indexed by local triple outputs ai∈{1,τ} and has factors (⨂i=1nV(τ3→ai))⊗V(a1⊗⋯⊗an→c), with zero-dimensional summands omitted. A braid word supported on the internal three strands of the ith triple acts on this summand as ρai(b) on V(τ3→ai) and the identity on every other local triple factor and on the outer spectator factor. Reassociating to the fixed left-associated 3n-leaf tree conjugates this operator by a unitary; its operator norm and the stated local-factor action are preserved.

Facts & Assumptions

Given: The multiplicity-aware fusion-tree basis, the fixed grouped tree, and a braid word acting only on the strands internal to one triple.

[F1]

A fusion-tree basis composes orthonormal local vertex morphisms and is complete; its basis labels include every internal charge and multiplicity index. Multiplicity-aware fusion-tree basis

[F2]

A fixed-charge braid acts by precomposition with the inverse object braid on the corresponding fusion morphism, and defines a unitary representation. Braid action on a fixed-charge fusion space Unitary Artin braid representation on fixed-charge fusion spaces

[F3]

Rebracketing and its F-matrix are unitary. F-symbol unitarity

Proof

1.1F1givenalgebra

In the grouped tree, choose an admissible local fusion-tree basis vector fi∈V(τ3→ai) for each triple and a basis vector g∈V(a1⊗⋯⊗an→c) for the outer fusion. The composites obtained by inserting f1,…,fn into g are exactly the grouped fusion-tree vectors. By completeness and orthonormality [F1], their orthogonal direct sum over (a1,…,an) is the full grouped fusion space, which gives the displayed tensor/direct-sum decomposition.

2.1F1F2F3step 1.1algebra∎

A braid word supported inside triple i changes only the local morphism fi, by fi↦fi∘b−1 under [F2]; every fj with j≠i and the outer morphism g are unchanged. Thus on the grouped basis its matrix is ρai(b) tensored with identities. Rebracketing to the fixed tree conjugates this matrix by the unitary in [F3], proving the same operator statement in that convention. Tensoring an operator A with an identity does not increase its norm: expand a vector in an orthonormal basis of the spectator factor and sum ∥Aξj∥2≤∥A∥2∑∥ξj∥2. The norm of a finite orthogonal direct sum is at most the maximum of its block norms by the same squared-norm decomposition. These finite identities justify uniform spectator bounds.

Depends on

Used by

Dependency tree · two levels

19 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