Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)verified 2026-10-22 (gpt-6.1-sol)
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.

Kauffman bracket curl and writhe correction

Statement

Let A be an indeterminate and let D be a nonempty regular oriented link diagram in an oriented 3-sphere. Fix a unit viewing normal n and orient its projection plane P so (u,v) is positive exactly when (n,u,v) is positive in the ambient 3-space. At each crossing define sgn⁡(c)=sgn⁡det⁡P(vover,vunder) from the oriented projected tangents, and set wr⁡(D)=∑csgn⁡(c). With δ=−A2−A−2, adding a positive type-I kink multiplies the raw bracket by −A3 and increases writhe by 1; adding a negative type-I kink multiplies it by −A−3 and decreases writhe by 1. Deleting either kink multiplies by the reciprocal factor. Consequently fD(A):=(−A3)−wr⁡(D)⟨D⟩ is unchanged by every oriented type-I, type-II, and type-III Reidemeister move and by planar isotopy.

Facts & Assumptions

Given: A nonempty regular oriented link diagram D and a type-I, type-II, or type-III move applied to it.

[F1]

In the positively oriented chart with over-strand southwest–northeast, the A-smoothing pairs left endpoints and right endpoints, while the B-smoothing pairs top endpoints and bottom endpoints. A crossing contributes A for its A-smoothing and A−1 for its B-smoothing; a state with k circles contributes the factor δk−1, and δ=−A2−A−2 (Kauffman bracket smoothing and loop value).

[F2]

The total writhe is the sum of the signs sgn⁡(c)=sgn⁡det⁡P(vover,vunder); the positive Artin half twist has sign +1 (Oriented crossing signs, diagram writhe, and blackboard framing).

[F3]

A type-I kink creates or deletes one crossing of either sign; type II creates or deletes two crossings of opposite signs; type III preserves the signs of its three crossings (Oriented Reidemeister moves).

[F4]

The raw bracket is unchanged under every R2 and R3 local replacement (Kauffman bracket R2 and R3 identities).

Proof

1.1F1F2F3algebra

Label the crossing ports northwest 1, northeast 2, southeast 3, and southwest 4, in the chart of [F1]. The over-strand joins 4 to 2 and the under-strand joins 1 to 3. For the left exterior cap (1,4) the remaining ports are 2,3. Orient its through strand from 2 to 3: it traverses the over-strand northeast to southwest, then the cap, then the under-strand northwest to southeast. The tangent vectors may be taken as (−1,−1) and (1,−1), whose determinant is 2>0. This is a positive kink. The A-pairing (1,4)(2,3) closes one additional circle against the cap; the B-pairing (1,2)(3,4) gives just the through arc. Hence its bracket factor is Aδ+A−1=−A3. Reversing the component negates both tangent vectors and preserves the determinant.

2.1F1F2F3step 1.1algebra

For the top exterior cap (1,2) the remaining ports are 4,3. Orient its through strand from 4 to 3: it traverses the over-strand southwest to northeast, then the cap, then the under-strand northwest to southeast. The tangent vectors (1,1) and (1,−1) have determinant −2<0, so this is a negative kink. Here the A-pairing gives only the through arc, while the B-pairing closes one additional circle. Its factor is A+A−1δ=−A−3. The right and bottom cap cases are the respective 180-degree rotations; orientation-preserving chart changes and reversal of the component preserve the calculation. These are all oriented type-I variants. The calculation is inside the move disk and permits every exterior connectivity and any additional components. Deletion uses the reciprocal Laurent-unit factor.

3.1F1F2F3step 1.1step 2.1algebra

The positive kink changes writhe from w to w+1, and the negative kink changes it to w−1. Their respective normalized values are (−A3)−(w+1)(−A3)⟨D⟩=(−A3)−w⟨D⟩, and (−A3)−(w−1)(−A−3)⟨D⟩=(−A3)−w⟨D⟩. Thus both type-I additions and their inverse deletions preserve fD.

4.1F1F2F3F4step 3.1algebra∎

A type-II move creates or deletes two opposite signs, and a type-III move preserves all three signs, so writhe is unchanged. Their raw bracket is unchanged by [F4]. Planar isotopy transports the determinant crossing signs, smoothing states and state-circle counts bijectively. Therefore it preserves both factors of fD, and the normalized value is invariant under every listed move.

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