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.
Trefoil and figure-eight Jones spans
Example
Assume full AC. The positive trefoil is represented by the closure of the three-crossing two-strand braid ; its library Jones polynomial is , of span , and the corresponding connected reduced alternating diagram has crossing number . The figure-eight knot is represented by the closure of the four-crossing three-strand braid whose levels from bottom to top are ; its library Jones polynomial is , of span , and the corresponding connected reduced alternating diagram has crossing number . The convention is .
These are black Tait graphs; the white graphs are their plane duals. Each graph edge represents one crossing of the corresponding projected diagram.
Example references
Facts & Assumptions
Given: Full AC, the two braid closures specified in the example, and the source-chart bracket convention.
A positive braid crossing expands as and a negative one as , where is through and is cup-cap (Bracket smoothings of positive and negative braid crossings).
For each state , the bracket contribution is , with (Kauffman bracket smoothing and loop value).
The positive Artin generator has writhe sign , and the negative generator has sign (Oriented crossing signs, diagram writhe, and blackboard framing, The elementary geometric half twist, its support disc, and its opposite).
Components of a geometric braid closure correspond to cycles of its endpoint permutation (The closure of a geometric braid).
A connected reduced alternating knot diagram with crossings has Jones span and realizes crossing number (Jones span detects crossing number for reduced alternating knots).
A diagram is reduced when no region repeats a crossing on its boundary; connected alternating diagrams admit checkerboard colorings and have connected Tait graphs (Reduced alternating link diagram, Checkerboard coloring and Tait graphs, The Tait graphs of a connected projection are connected).
Under full AC, with and (The bracket state sum matches the library Jones specialization).
Full AC is the choice-function principle for arbitrary families of nonempty sets (The Axiom of Choice).
Proof
For the closure of , the endpoint permutation is the transposition of the two strands, hence one cycle by [F4]. The three positive crossings form a connected projection. Starting on the left bottom strand, the successive crossing visits are under, over, under; after closure the right bottom strand visits over, under, over. Thus the diagram is alternating. Its black Tait graph has two vertices and three parallel edges, while the white dual graph is a triangle. Both graphs have no loops, so no crossing repeats a region on its boundary; the diagram is reduced by [F6].
For the four-level braid with levels , the successive endpoint orders are , , , and . The resulting endpoint permutation is the cycle , so the closure is one knot component by [F4]. Traversing it from the first bottom strand gives crossing visits under, over; from the third bottom strand gives under, over, under; and from the second gives over, under, over. The full cyclic sequence alternates. The black Tait graph is the theta graph with two parallel edges between and a two-edge path ; it has no loops or bridges. Its dual has no loops because the primal has no bridges. Thus both color pairs at every crossing are distinct and the diagram is reduced by [F6].
If exactly of the three positive crossings use the -smoothing, the states and circle counts are: : state with circles; : states with circle; : states with circles; : state with circles. Stacking through pairings and cup-cap pairings and closing the two top endpoints to the corresponding bottom endpoints gives these counts. By [F1]–[F2], the grouped contributions are . The writhe is by [F3], so [F7] gives . Its span is , and [F5] gives crossing number .
Encode a state by four bits from bottom to top, with meaning through pairing and meaning cup-cap pairing. Let be the number of cup-cap choices at positive crossings and the number at negative crossings; [F1] gives weight exponent . Closing the pairings gives the exhaustive state data . Thus the five one-circle states contribute , the eight two-circle states contribute , and the three three-circle states contribute . Expanding gives . There are two positive and two negative crossings, so writhe is by [F3]. By [F7], , whose span is . Applying [F5] gives crossing number .
Depends on
- Crossing number of a link
- Reduced alternating link diagram
- Bracket smoothings of positive and negative braid crossings
- Oriented crossing signs, diagram writhe, and blackboard framing
- The elementary geometric half twist, its support disc, and its opposite
- The closure of a geometric braid
- Kauffman bracket smoothing and loop value
- Checkerboard coloring and Tait graphs
- The Tait graphs of a connected projection are connected
- The bracket state sum matches the library Jones specialization
- Jones span detects crossing number for reduced alternating knots
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
41 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
- Danny Calegari, Introduction to Knot Theory, §5.2, printed pp. 44–45 (standard reference, not scraped)
- Louis H. Kauffman, New Invariants in the Theory of Knots, Astérisque 163–164 (1988), §III, pp. 160–168 (standard reference, not scraped)
- Louis H. Kauffman, Combinatorial Knot Theory and the Jones Polynomial, arXiv:2204.12104v2, §2 (standard reference, not scraped)