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.
The link-state form is identically zero only at zero loop value with no defects
Statement
Let be a nonzero commutative ring with unit, , , and with even. For the link-state form of The link-state Gram form is symmetric and invariant, the form is identically zero if and only if , , and . At the form is the unit form on the empty link state.
This statement concerns an identically zero form, not nondegeneracy or the radical at other parameter values.
Facts & Assumptions
Given: A nonzero commutative ring with unit, , , and an allowed defect number .
The link-state basis consists of partial noncrossing matchings with defects and arcs (Temperley–Lieb link-state standard modules by defect number).
For basis link states, is to the number of loops when all strands propagate, and is zero when fewer than strands propagate (The link-state Gram form is symmetric and invariant).
Proof
Suppose and put . If , take to be the all-defect state; gluing gives through paths and no loops, so . If , let have adjacent arcs and defects at . Let have arcs , defects at and . Both are link states. Their glued graph has one path alternating across sites and straight paths at the shared defects; it has no closed component. Hence .
Suppose and , so with . Every pair of link states glues to a finite graph in which every boundary site has degree two; each connected component is a cycle, and at least one cycle occurs. Thus every form value is divisible by , so the form is identically zero when . Conversely, let have adjacent arcs , and let have the outer arc together with the adjacent interior arcs . Their overlay is one cycle, so . If , this value is nonzero and the form is not identically zero.
If , there is one empty link state. Its reflection glues to the empty diagram with no loops, so . Together with the cases already treated, this exhausts all allowed and proves the equivalence.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
6 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 Ridout and Yvan Saint-Aubin, Standard Modules, Induction and the Structure of the Temperley-Lieb Algebra (standard reference, not scraped)
- John Enyang and Frederick M. Goodman, Cellular bases for algebras with a Jones basic construction (standard reference, not scraped)