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.
Frobenius–Schur sign in a normalized anyonic vacuum channel
Definition
Let be a unitary spherical fusion category over , with pivotal structure and spherical dimension as in Pivotal structure, Spherical structure, and The dimension of an object relative to a pivotal structure. Let be a self-dual simple object with . Choose a unit vector spanning the one-dimensional vacuum split space and let be its positive spherical dimension.
A normalized vacuum-channel self-duality datum is a supplied pair of maps and of the form
where and the two duality zig-zag identities hold after the self-duality identification, using the left-dual convention of Left dual and right dual object. We call the Frobenius–Schur sign in this normalized cup/cap convention. It is not a braiding or -symbol phase.
This item records supplied normalized duality data; it does not assert that every self-dual simple object admits the displayed gauge or prove a trace, ribbon, or category-equivalence theorem. An example must supply the datum or compute the sign from coherent normalized F-data; fusion rules alone do not specify it.
Depends on
Used by
Dependency tree · two levels
14 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)
- Andrei Bernevig and Titus Neupert, Topological Superconductors and Category Theory (standard reference, not scraped)