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 , , and . The simple fusion rule is , and its positive pivotal dimensions are , . Let be the unit isometric vacuum inclusion. The normalized self-duality maps are and ; their zig-zags have scalar , so the normalized FS datum has . For three tensor inputs , comprising the incoming boundary and two sites (), with output , the path space has ordered basis according to the intermediate charge. The supplied associator block is
On these three tensor inputs the two adjacent vacuum-channel projectors are and ; the first pair includes the incoming boundary charge. For the literal three-site problem , still with , the four tensor inputs give a three-dimensional space with path basis . The two adjacent pairs among the three sites have projectors
Both are rank-one orthogonal projections and ; hence obey the adjacent Temperley–Lieb relation. Thus the two-site block and the three-site 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.
Fibonacci fusion data and chiral convention: the two simple objects are , , and the stated F block is unitary with the supplied pullback R phases.
Fixed-boundary anyonic fusion-path space and Fusion paths give a basis of the fixed-boundary path space: has a basis indexed by the two intermediate labels .
Local anyonic channel projector: the second adjacent channel projector is in the fixed tree basis.
The vacuum F-coefficient records the Frobenius–Schur sign: in the normalized gauge, and .
Vacuum-channel anyonic projectors satisfy Temperley–Lieb relations: with signed loop value , the normalized vacuum projectors obey the Temperley–Lieb relations.
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.
Tensor-invertible objects, fusion-ring units, and invertible operators: operator invertibility is tested for a specified linear map on a specified vector space.
The explicit Fibonacci model has a positive spherical pivotal structure: in this explicit Fibonacci category the chosen cups/caps give the unique pivotal structure , both traces are , and the positive spherical dimensions are , .
Verification
The fusion rule gives two intermediate channels for : the first pair may fuse to or , and each channel then fuses with the last to total . Thus the ordered basis is exactly by [F2].
The matrix is real symmetric and satisfies ; its off-diagonal entries in cancel because , so . Multiplication gives for . Since , ; also and , so its rank is one and it is not invertible.
The corner matrix product is . The finite pivotal and trace construction [F8] gives the canonical spherical dimension , and , so [F4] gives and . Thus satisfies ; this explicit block computation agrees with the general relation [F5]. The positive sign is the sign computed in this gauge.
By [F6], but no object supplies the signed inverse. The identity map is nevertheless invertible on , while 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.
For three sites, use [F2]'s basis recursion once more. From to , the allowed intermediate pairs are exactly , and : the branch forces , whereas allows both . Thus the literal three-site space has dimension three. To group site1 with site2, reassociate the first three inputs, holding fixed. The total- block mixes basis coordinates one and three by , and the total-unit block fixes coordinate two. Hence its coordinate matrix is . The vacuum channel in that pair-first tree is coordinate one. To group site2 with site3, reassociate , holding fixed. The unit case fixes coordinate one, while mixes coordinates two and three by . Its matrix is , and the vacuum channel there is coordinate two. Unit-gauge associators are identities by [F1].
The pullback R phases in [F1] are complex unit scalars: , 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.
Both and are real orthogonal because is. Applying [F3] gives and , exactly the matrices in the Example. They are outer products of the unit vectors and . Their overlap is , so 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
- Fixed-boundary anyonic fusion-path space
- Fusion paths give a basis of the fixed-boundary path space
- Unitary fusion paths form an orthonormal Hilbert basis
- Local anyonic channel projector
- Local channel projections are orthogonal idempotents
- Frobenius–Schur sign in a normalized anyonic vacuum channel
- The vacuum F-coefficient records the Frobenius–Schur sign
- Vacuum-channel anyonic projectors satisfy Temperley–Lieb relations
- The Fibonacci ring class is a unit but its simple object is not tensor-invertible
- Tensor-invertible objects, fusion-ring units, and invertible operators
- Fibonacci fusion data and chiral convention
- The explicit Fibonacci model has a positive spherical pivotal structure
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
- David Penneys, Unitary Fusion Categories, Math 8800 lecture notes (standard reference, not scraped)
- Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma, Non-Abelian Anyons and Topological Quantum Computation (standard reference, not scraped)
- P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor Categories (standard reference, not scraped)