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.
Noninvertible Symmetries and Anyonic Chains: Examples and Counterexamples
1 · Prerequisites
- Abelian Categories
- Algebraic Closure, Embeddings, and Separability
- Binary Operations, Monoids, Groups and Subgroups
- Braided and Symmetric Monoidal Categories
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Chains, Antichains, Sperner and Dilworth
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Connectedness
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Darboux, L'Hôpital, and Taylor's Theorem
- Determinants of Matrices over a Commutative Ring
- Divided Powers, Integral Forms, and Quantum Highest Weights
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Duality and Rigidity in Monoidal Categories
- Exactness and the Member Calculus
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Formal Power Series
- Foundations of the Real Numbers for Analysis
- Free Groups and Presentations
- Free Modules, Exact Sequences, Projective and Injective Modules
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Harish Chandra Isomorphism Casimir and Central Characters
- Hereditary and Productive Behaviour of the Separation Axioms
- Hilbert Space Geometry and Riesz Representation
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Kac Moody Algebras from Generalized Cartan Matrices
- Lattice Paths and Catalan Numbers
- Lie Algebra Representations, Enveloping Algebras, and PBW
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Recurrences and Rational Generating Functions
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules over a Principal Ideal Domain and the Canonical Forms
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monoidal Categories and Monoidal Functors
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Noninvertible Symmetries and Anyonic Chains
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Oriented Links, Braid Closures, and Markov Equivalence
- Permutation Statistics, Inversions and Eulerian Numbers
- Polynomial Rings, the Division Algorithm and Roots
- Preadditive and Additive Categories and Biproducts
- Properties of the Integral and the Working FTC
- Quantized Enveloping Algebras and Quantum Serre Relations
- Rank Theorems and Embedded Submanifolds
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Sard Theorem and Transversality
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Simple Field Extensions and the Construction of the Complex Numbers
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Strictification and Mac Lanes Coherence Theorem
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Temperley–Lieb Diagram Algebra and Catalan Basis
- Temperley–Lieb Root-of-Unity and Modular Representation Theory
- Temperley–Lieb Semisimplicity and Generic Structure
- Tensor and Fusion Categories
- Tensor Coherence and Algebraic Descent
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- The Burau Representations
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Field of Fractions and Localisation
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Unitary Fusion Spaces, F/R Symbols, and Anyon Models
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Yang–Baxter Operators and Quantum Braid Representations
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
A multiplicity-two vertex contributes two path states
Example
Assume a finite semisimple fusion category has a representative set containing labels with . Fix representative labels and basis indices at every other vertex of a path, and suppose the remaining vertex is . Choose a basis of the split space . 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 .
Fixed-boundary anyonic fusion-path space: each vertex has its own split-space basis index .
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.
The fusion rule gives . Apply the case of [F2] with boundary , site charge , and endpoint : it gives . Therefore the chosen basis of this split space consists of exactly .
Inserting and 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.
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 , and . Its simple objects are , with , and . In the inverse-pullback convention its complete data include The remaining unit entries are one. Its twist is , positive dimension and FS sign . 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 .
For each reference charge and length , use the same periodic carrier 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 , , it is , each sector of dimension , with no total-flux or spin-parity restriction. Encode the group labels by bits, in even positions of and odd positions of . Under these orthonormal basis maps, Indices are cyclic modulo . Put , , and . The actual one-step shift and cyclic F-contracted line maps are They intertwine all displayed projectors, including wraparound; each line commutes with and the projectors, and . The corresponding single-chain map instead satisfies . At the bond projector is and the field projector is ; 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 and positive periodic length.
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.
The exact ell-four Ising gauge and parity chirality conversion supplies the full ell-four root gauge and the precise parity conversion to , , including the inverse-pullback orientation.
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 .
Fixed-boundary anyonic fusion-path space specifies the typed path coordinates, and Local anyonic channel projector specifies F-conjugated channel projections.
Verification
Take and . Since , the normal-data condition 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 .
The ell-four root supplier has FS and twist . Apply [F2]'s parity associator and odd-odd crossing factor , 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.
Fusion forces alternation between and a group label. Odd length is therefore impossible. For , choose the group labels independently in each of the two parity patterns, yielding both orthonormal bit bases and dimension . Apply [F3] to the local projections specified by [F4]: the Hadamard vacuum conjugate is , while a group-group endpoint pair has vacuum channel exactly when its bits agree, giving . These prove all four displayed projector formulas at every cyclic index.
With the displayed order , the path shift sends to without changing the bits and sends to by . Therefore it is the displayed block matrix and . [F3]'s complete cyclic F contraction at gives exactly the displayed , not an inferred fusion-only representation. Its Fourier identities , and prove the line fusion relations, commutation with all projectors and , and the stated distinct single-chain square. Consequently any Hamiltonian formed from these specified projectors commutes with these line maps.
For , the cyclic bond is , the field remains , 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-/total- 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 ; reversing braiding and twist is a separate operation if the opposite physical chirality is desired.
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.
Sources
- David Penneys, Unitary Fusion Categories, Math 8800 lecture notes
- Shu-Heng Shao, What’s Done Cannot Be Undone: TASI Lectures on Non-Invertible Symmetries
- Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma, Non-Abelian Anyons and Topological Quantum Computation
- P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik, Tensor Categories