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 and Dubrovnik writhe-component conversion

Statement

For each nonempty oriented regular link diagram K, let w(K) be its determinant writhe and c(K) its number of components, and define D,L,F by the conventions stated for this page. Then DK(a,z)=−i−w(K)(−1)c(K)LK(ia,−iz),i2=−1. The value assigned to L is independent of reversing the orientation of any whole component. The Dubrovnik value has the stated difference-skein, curl and circle rules; the Kauffman value has the sum-skein, curl and circle rules; and FK(A,Z)=A−w(K)LK(A,Z) is unchanged by planar isotopy and every oriented Reidemeister move of types I, II, and III. The claim concerns these finite diagram moves and uses the universal coefficient relations without dividing by a skein variable.

Facts & Assumptions

Given: A nonempty regular oriented link diagram, its determinant crossing signs, and the Dubrovnik scalar evaluation.

[F1]

The Dubrovnik scalar P is regular-isotopy invariant, has P(∅)=1, positive/negative curl factors a,a−1, loop factor d, and skein P+−P−=z(P0−P∞) over z(d−1)=a−a−1 (Scalar evaluation of framed Kauffman link diagrams).

[F2]

The determinant writhe is the signed sum of crossing signs; reversing one strand negates that crossing sign, while reversing both strands preserves it (Oriented crossing signs, diagram writhe, and blackboard framing).

[F3]

A regular oriented diagram is a finite generic planar projection with only transverse double crossings and no triple points; distinct component shadows therefore have finitely many transverse intersections (Regular oriented link diagrams).

[F4]

A type-I move changes one self-crossing, type II adds or removes two opposite-sign crossings, and type III preserves its three crossing signs (Oriented Reidemeister moves).

[F5]

In the stated polynomial convention, D=P/d on nonempty diagrams, LK(A,Z)=−iw(K)(−1)c(K)DK(−iA,iZ), and F=A−wL (Kauffman regular-isotopy and Dubrovnik conventions).

Proof

1.1F2F3F5constructalgebra

Fix distinct components Kr,Ks and let their projected shadows be γr,γs. Smooth each of the finitely many self-crossings of γr inside a small disk disjoint from γs; the disk exists because there are no triple points, and the smoothing leaves every mixed intersection with γs unchanged. After finitely many such smoothings, γr is a finite disjoint union of embedded circles. As γs traverses any embedded circle, every transverse intersection changes whether it is inside or outside that circle, and the closed traversal returns to its initial region. Hence the original number of mixed intersections of Kr,Ks is even. Each determinant crossing sign is +1 or −1, both congruent to 1 modulo 2, so the signed mixed-crossing sum Srs is even. Summing over s≠r shows that the total mixed-crossing sum Sr involving Kr is even. Reversing Kr leaves its self-crossing signs fixed by [F2] and negates its mixed crossing signs, so w changes by −2Sr∈4Z. Thus iw is unchanged; c and the unoriented value D are unchanged as well. Therefore the formula defining L is independent of reversing Kr, and repeating for every component proves orientation independence.

1.2F1F4F5algebra

For a positive curl, D gains a factor a and w increases by 1; substituting aD=−iA and zD=iZ in [F5] shows that L gains the factor iaD=A. For a negative curl, D gains a−1 and w decreases by 1, so L gains i−1aD−1=A−1. Adding a disjoint trivial circle increases c by 1 and multiplies D by d, so the factor (−1)c makes L acquire the factor −d. Set δL=−d. Under aD=−iA and zD=iZ, the coefficient relation zD(d−1)=aD−aD−1 becomes Z(1−d)=A+A−1, hence Z(δL+1)=A+A−1. This gives the Kauffman circle rule using the universal relation without inverting Z.

2.1F1F5step 1.1algebra

Consider a positive crossing and write w=w(K+) and c=c(K+). Switching it gives w(K−)=w−2 and leaves c fixed. Each smoothing deletes that crossing, so before any orientation adjustment its writhe is w−1. The orientation-preserving smoothing K0 has c+1 components at a self-crossing and c−1 at a mixed crossing. The other smoothing K∞ has c components at a self-crossing and c−1 at a mixed crossing. To orient K∞ at a self-crossing, first use the orientation-preserving smoothing to split the original component into two closed components, then join their arcs by the other smoothing and reverse one of the two orientations. This changes signs at exactly the crossings between that component and the other split component or any remaining component; the pairwise sums are even by step 1.1, so w(K∞)≡w−1(mod4). At a mixed crossing, reverse one whole incident component in the original diagram. Its writhe changes by minus twice a mixed-crossing sum, which is divisible by 4 by step 1.1; this reversal changes the displayed crossing from positive to negative and makes K∞ the orientation-preserving smoothing. Removing that negative crossing raises writhe by 1, so w(K∞)≡w+1(mod4). By [F5], the phase −iw(−1)c multiplying the Dubrovnik value changes by the factor i on K0 and by −i on K∞. It also changes sign when the crossing is switched, since w(K−)=w−2. Therefore the Dubrovnik difference skein in [F1] becomes the Kauffman sum skein L++L−=Z(L0+L∞) after substituting a=−iA and z=iZ, equivalently A=ia and Z=−iz. The calculation uses the positive member K+ of the crossing pair; since the resulting sum-skein is symmetric in K+ and K−, it applies whether the input diagram displays the positive or negative member.

2.2F1F2F4F5step 1.2

By [F1], D is unchanged under planar isotopy and Reidemeister II and III. The determinant writhe is unchanged under II and III by [F2, F4], so the formula in [F5] gives the corresponding regular-isotopy rules for L. The positive and negative curl factors are those computed in step 1.2.

3.1F2F4F5step 1.2step 2.1algebra∎

For a positive type-I move, A−(w+1)AL=A−wL; for a negative type-I move, A−(w−1)A−1L=A−wL. Moves II and III leave w unchanged, hence also preserve F. Therefore F is unchanged by every listed move, while the conversion identity is the defining relation in [F5].

Depends on

Used by

Cited to discharge well-definedness by Kauffman regular-isotopy and Dubrovnik conventions.

Dependency tree · two levels

17 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