Alphabeta Math
Pipeline-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.

✓ 3 results · all verified · 2 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 1 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Noninvertible Symmetries and Anyonic Chains: Examples and Counterexamples

1 · Prerequisites

2 · Summary

These examples compute channel projectors in the coherent Fibonacci model, count the two alternating Ising periodic-path sectors, and show why each multiplicity index contributes a distinct path state. The Ising example instantiates the complete A-homed coherent positive-FS category, with explicit inverse-pullback chirality. Its two-sector basis maps intertwine the actual wraparound projectors, translation and annular lines; the single-chain map retains its distinct translated square.

The Fibonacci calculation keeps the complex pullback-R convention and the actual positive Frobenius–Schur sign. It also separates three meanings of invertibility: the Fibonacci class is a unit in the Grothendieck ring, its simple object has no tensor inverse, and the identity map on any path Hilbert space is an invertible operator. None of these finite categorical computations asserts a physical symmetry for an unspecified Hamiltonian.

Prerequisite A page: noninvertible-symmetries-and-anyonic-chains.

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

A multiplicity-two vertex contributes two path states

Example

Assume a finite semisimple fusion category C has a representative set Irr⁡(C) containing labels x,a,y with Nxay=2. Fix representative labels and basis indices at every other vertex of a path, and suppose the remaining vertex is x,a→y. Choose a basis i1,i2 of the split space Hom⁡(y,x⊗a). The two complete path labels differ only by this vertex index.

Facts & Assumptions

Given: A fixed surrounding fusion path with one vertex whose fusion multiplicity is Nxay=2.

[F1]

Fixed-boundary anyonic fusion-path space: each vertex has its own split-space basis index μj.

[F2]

Fusion paths give a basis of the fixed-boundary path space: distinct admissible paths and distinct vertex basis-index tuples give distinct basis vectors of the fixed-boundary path space.

Verification

Given: The two-dimensional split space and the fixed labels at the other vertices.

1.1F1F2givenalgebra

The fusion rule gives Nxay=dim⁡Hom⁡(x⊗a,y)=2. Apply the n=1 case of [F2] with boundary x, site charge a, and endpoint y: it gives dim⁡Hom⁡(y,x⊗a)=Nxay=2. Therefore the chosen basis of this split space consists of exactly i1,i2.

2.1F1F2step 1.1algebra∎

Inserting i1 and i2 into the same surrounding path produces two different vertex-index tuples. By [F2] both composites are members of a path basis and are linearly independent. The local two-dimensional multiplicity contributes exactly two basis vectors; identifying the indices would lose one dimension.

Remarks

This is a conditional multiplicity-indexing calculation. It neither constructs a fusion category with this fusion rule nor uses a multiplicity-free Ising or Fibonacci specialization.

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passjudge pass (gpt-6-luna)Open item page →

Ising periodic paths split into two spin-chain sectors

Example

Use the actual coherent positive-FS Ising category constructed in All-label unitary Ising normal data and ribbon coherence at κ=1, s=eπi/8 and β=s. Its simple objects are 1,η,D, with η2=1, ηD=Dη=D and D2=1⊕η. In the inverse-pullback convention its complete data include FDDDD=2−1/2(111−1),RDD0=s−1,RDDη=is−1,RηDD=RDηD=−i,Rηη0=−1. The remaining unit entries are one. Its twist is θD=s−1, positive dimension 2 and FS sign +1. This follows from the ell-four root category by the explicit associator/braiding parity conversion, rather than a vertex gauge; the original root category has negative FS and twist s3.

For each reference charge D and length L≥1, use the same periodic carrier HL:=⨁b∈{1,η,D}HD,L;b,b as in Periodic Ising paths, two sectors, and the full line representation. Its cyclic path basis is the union of the fixed-boundary path bases, with every elementary fusion index retained. The full periodic path space is zero at odd length. At length L=2N, N≥1, it is H⊕Hˉ, each sector of dimension 2N, with no total-flux or spin-parity restriction. Encode the group labels by bits, in even positions of H and odd positions of Hˉ. Under these orthonormal basis maps, P2j−1∣H=(I+Xj)/2,P2j∣H=(I+ZjZj+1)/2, P2j−1∣Hˉ=(I+ZjZj+1)/2,P2j∣Hˉ=(I+Xj+1)/2. Indices are cyclic modulo N. Put C∣b1⋯bN⟩=∣b2⋯bNb1⟩, Q=∏jXj, and Kc,b=2−N/2(−1)∑jcj(bj−1+bj). The actual one-step shift and cyclic F-contracted line maps are T=(0CI0),Yη=diag⁡(Q,Q),YD=(0K†K0). They intertwine all displayed projectors, including wraparound; each line commutes with T and the projectors, and YD2=I+Yη. The corresponding single-chain map instead satisfies (K/2)2=(I+Q)C−1/2. At N=1 the bond projector is I and the field projector is (I+X1)/2; no three-distinct-site cyclic TL relation is asserted for length two.

Facts & Assumptions

Given: The displayed positive-FS category, its orthonormal fusion vertices, reference charge D and positive periodic length.

[F1]

All-label unitary Ising normal data and ribbon coherence constructs all-label F/R data, both pentagon and hexagon identities, the positive unitary pivot and the twists for both FS signs.

[F2]

The exact ell-four Ising gauge and parity chirality conversion supplies the full ell-four root gauge and the precise parity conversion to κ=1, β=s, including the inverse-pullback orientation.

[F3]

Periodic Ising paths, two sectors, and the full line representation supplies the complete periodic basis identifications, all projectors and cyclic line contractions, their wraparound, rank and Fourier identities for every N≥1.

[F4]

Fixed-boundary anyonic fusion-path space specifies the typed path coordinates, and Local anyonic channel projector specifies F-conjugated channel projections.

Verification

technique · instantiate the complete coherent category and the full periodic representation, keeping their chirality and both sectors explicit
1.1F1givenalgebra

Take κ=1 and β=s. Since s2=(1+i)/2, the normal-data condition β2=κ(1+i)/2 holds. Thus [F1] gives an actual coherent unitary category, not just a single sector matrix. Its full pullback R table and positive-FS Hadamard block are exactly the displayed entries, and its curl is θD=κ/β=s−1.

2.1F2step 1.1algebra

The ell-four root supplier has FS −1 and twist s3. Apply [F2]'s parity associator (−1)∣a∣∣b∣∣c∣ and odd-odd crossing factor −i, reversing the odd evaluation as specified there. This produces the category of step 1.1. It proves the exact relationship to the root construction without identifying distinct pivotal or chirality conventions.

2.2F3F4step 1.1algebra

Fusion forces alternation between D and a group label. Odd length is therefore impossible. For 2N, choose the N group labels independently in each of the two parity patterns, yielding both orthonormal bit bases and dimension 2N+1. Apply [F3] to the local projections specified by [F4]: the Hadamard vacuum conjugate is (I+X)/2, while a group-group endpoint pair has vacuum channel exactly when its bits agree, giving (I+ZZ)/2. These prove all four displayed projector formulas at every cyclic index.

3.1F3step 2.2algebra

With the displayed order H⊕Hˉ, the path shift sends H to Hˉ without changing the bits and sends Hˉ to H by C. Therefore it is the displayed block matrix and T2=diag⁡(C,C). [F3]'s complete cyclic F contraction at κ=1 gives exactly the displayed Yη,YD, not an inferred fusion-only representation. Its Fourier identities K†K=KK†=I+Q, KQ=QK=K and K†=CK=KC prove the line fusion relations, commutation with all projectors and T, and the stated distinct single-chain square. Consequently any Hamiltonian formed from these specified projectors commutes with these line maps.

4.1F3step 3.1algebra∎

For N=1, the cyclic bond is (I+Z12)/2=I, the field remains (I+X1)/2, and both two-dimensional sectors remain present. Thus the wraparound formulas include the smallest length without adding an inapplicable three-site relation or projecting away either sector.

Remarks

The earlier three-D/total-D Ising worked block is not a logical coherence supplier. The three A-homed results used here construct and compare the complete categories and evaluate the complete periodic representation. The displayed inverse-pullback phases have twist e−πi/8; reversing braiding and twist is a separate operation if the opposite physical chirality is desired.

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

Fibonacci path projectors and categorical noninvertibility

Example

Use the coherent Fibonacci category and pullback-R convention of Fibonacci fusion data and chiral convention, equipped with the canonical positive spherical pivotal structure constructed in The explicit Fibonacci model has a positive spherical pivotal structure. Write ϕ=(1+5)/2, u=ϕ−1, and v=ϕ−1/2. The simple fusion rule is τ⊗τ=1⊕τ, and its positive pivotal dimensions are d1=1, dτ=ϕ. Let w:1→τ⊗τ be the unit isometric vacuum inclusion. The normalized self-duality maps are coev⁡τ=ϕ w and ev⁡τ=ϕ w†; their zig-zags have scalar ϕu=1, so the normalized FS datum has κτ=+1. For three tensor inputs τ,τ,τ, comprising the incoming boundary b=τ and two sites (n=2), with output c=τ, the path space Hτ,2;τ,τ has ordered basis (1,τ) according to the intermediate charge. The supplied associator block is

Fττττ=(uvv−u).

On these three tensor inputs the two adjacent vacuum-channel projectors are P1=diag⁡(1,0) and P2=F−1P1F; the first pair includes the incoming boundary charge. For the literal three-site problem n=3, still with b=c=τ, the four tensor inputs give a three-dimensional space with path basis (x1,x2)=(1,τ),(τ,1),(τ,τ). The two adjacent pairs among the three sites have projectors

Q1=(u20uv000uv0v2),Q2=(0000u2uv0uvv2).

Both are rank-one orthogonal projections and Q1Q2Q1=ϕ−2Q1; hence ϕQi obey the adjacent Temperley–Lieb relation. Thus the two-site 2×2 block and the three-site 3×3 problem are both retained with their correct domains. The object τ is not tensor-invertible even though its fusion-ring class is a unit. The identity on this two-dimensional path space is an invertible operator; the local rank-one channel projection is not.

Facts & Assumptions

Given: The coherent Fibonacci category with its canonical positive spherical pivotal structure and normalized self-duality data from the Example, its displayed F block, the two-site two-dimensional path space, and the three-site three-dimensional path space.

[F1]

Fibonacci fusion data and chiral convention: the two simple objects are 1,τ, τ⊗τ=1⊕τ, and the stated F block is unitary with the supplied pullback R phases.

[F2]

Fixed-boundary anyonic fusion-path space and Fusion paths give a basis of the fixed-boundary path space: Hτ,2;τ,τ=Hom⁡(τ,(τ⊗τ)⊗τ) has a basis indexed by the two intermediate labels 1,τ.

[F3]

Local anyonic channel projector: the second adjacent channel projector is P2=F−1P1F in the fixed tree basis.

[F4]

The vacuum F-coefficient records the Frobenius–Schur sign: in the normalized gauge, F1,1=κτ/dτ and δτ=κτdτ.

[F5]

Vacuum-channel anyonic projectors satisfy Temperley–Lieb relations: with signed loop value δτ, the normalized vacuum projectors obey the Temperley–Lieb relations.

[F6]

The Fibonacci ring class is a unit but its simple object is not tensor-invertible: [τ] is a fusion-ring unit, but τ has no tensor-inverse object.

[F7]

Tensor-invertible objects, fusion-ring units, and invertible operators: operator invertibility is tested for a specified linear map on a specified vector space.

[F8]

The explicit Fibonacci model has a positive spherical pivotal structure: in this explicit Fibonacci category the chosen cups/caps give the unique pivotal structure j=id⁡, both traces are Tr⁡(f1)+ϕTr⁡(fτ), and the positive spherical dimensions are d1=1, dτ=ϕ.

Verification

1.1F1F2givenalgebra

The fusion rule gives two intermediate channels for Hτ,2;τ,τ: the first pair may fuse to 1 or τ, and each channel then fuses with the last τ to total τ. Thus the ordered basis is exactly (1,τ) by [F2].

1.2F1F3givenalgebra

The matrix F is real symmetric and satisfies u2+v2=1; its off-diagonal entries in F2 cancel because uv−vu=0, so F†F=F2=I. Multiplication gives P2=F−1(1000)F=(u2uvuvv2)=wwT for w=(u,v)T. Since wTw=1, P22=w(wTw)wT=P2; also det⁡(P2)=u2v2−(uv)2=0 and P2≠0, so its rank is one and it is not invertible.

2.1F1F4F5F8step 1.2algebra

The corner matrix product is P1P2P1=u2P1=ϕ−2P1. The finite pivotal and trace construction [F8] gives the canonical spherical dimension dτ=ϕ, and F1,1=u=1/ϕ, so [F4] gives κτ=dτF1,1=+1 and δτ=ϕ. Thus Ui=ϕPi satisfies U1U2U1=ϕ3u2P1=ϕP1=U1; this explicit block computation agrees with the general relation [F5]. The positive sign is the sign computed in this gauge.

2.2F6F7step 1.2algebra

By [F6], [τ]([τ]−[1])=[1] but no object supplies the signed inverse. The identity map IH is nevertheless invertible on H, while P2 is not by step 1.2. These are statements about distinct domains of invertibility under [F7]; no line-operator or physical Hamiltonian representation is asserted.

2.3F1F2F3step 1.1construct

For three sites, use [F2]'s basis recursion once more. From x0=τ to x3=τ, the allowed intermediate pairs are exactly (1,τ), (τ,1) and (τ,τ): the branch x1=1 forces x2=τ, whereas x1=τ allows both x2=1,τ. Thus the literal three-site space has dimension three. To group site1 with site2, reassociate the first three inputs, holding x2 fixed. The total-τ block mixes basis coordinates one and three by F, and the total-unit block fixes coordinate two. Hence its coordinate matrix is A=(u0v010v0−u). The vacuum channel in that pair-first tree is coordinate one. To group site2 with site3, reassociate ((x1⊗τ)⊗τ), holding x1 fixed. The unit x1=1 case fixes coordinate one, while x1=τ mixes coordinates two and three by F. Its matrix is B=(1000uv0v−u), and the vacuum channel there is coordinate two. Unit-gauge associators are identities by [F1].

3.1F1algebra

The pullback R phases in [F1] are complex unit scalars: ∣e−4πi/5∣=∣e3πi/5∣=1, and their complex conjugates are their inverses. They are exchange phases and do not change the real vacuum F coefficient used in step 2.1.

4.1F3F4F5step 1.2step 2.1step 2.3algebra∎

Both A and B are real orthogonal because F is. Applying [F3] gives Q1=A−1diag⁡(1,0,0)A and Q2=B−1diag⁡(0,1,0)B, exactly the matrices in the Example. They are outer products of the unit vectors r=(u,0,v)T and s=(0,u,v)T. Their overlap is rTs=v2=u, so Q1Q2Q1=u2Q1=ϕ−2Q1 and likewise with indices exchanged. The positive loop sign is the one already computed in step 2.1. This proves all stated projectors and Temperley–Lieb relations on the actual three-site space without conflating it with the two-dimensional block.

Sources