Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedprecheck pass
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 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.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

35 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