Alexander polynomials of ribbon knots and virtual knots

Sheng Bai

arxiv: 2103.07128 · v3 · pith:R3LFTNKLnew · submitted 2021-03-12 · 🧮 math.GT · math.GN

Alexander polynomials of ribbon knots and virtual knots

Sheng Bai This is my paper

Pith reviewed 2026-05-24 13:05 UTC · model grok-4.3

classification 🧮 math.GT math.GN

keywords Alexander polynomialribbon knotsvirtual knotsGauss diagramshalf Alexander polynomialknot invariantssingularity data

0 comments

The pith

The Alexander polynomial of a ribbon knot factors as the product of a half Alexander polynomial and its reciprocal, both fixed by the ribbon's singularities.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the Alexander polynomial of any ribbon knot in the 3-sphere is fixed once the intrinsic singularities of its ribbon are known. It introduces the half Alexander polynomial as an invariant attached to an oriented ribbon that records exactly this singularity data. The full Alexander polynomial is recovered by multiplying the half polynomial by the same polynomial evaluated at the reciprocal variable. Two simplified formulas are supplied for the half polynomial, and the paper gives a complete characterization of which Laurent polynomials can arise in this way. The same approach produces explicit new formulas for the Alexander polynomials of arbitrary knots and virtual knots expressed directly from their Gauss diagrams.

Core claim

The Alexander polynomial of a ribbon knot is A_R(t) A_R(t^{-1}), where A_R(t) is the half Alexander polynomial, an invariant of the oriented ribbon that depends solely on its intrinsic singularity information. Two simplified formulas compute this half polynomial, and the polynomials that arise this way are fully characterized. The study produces new Gauss-diagram formulas for the Alexander polynomials of general knots and virtual knots.

What carries the argument

The half Alexander polynomial A_R(t) of an oriented ribbon, which encodes its intrinsic singularity data into the resulting knot invariant.

If this is right

The Alexander polynomial of every ribbon knot factors symmetrically through data coming from its ribbon singularities.
The set of all possible half Alexander polynomials is completely characterized by explicit algebraic conditions.
Alexander polynomials of general knots admit new explicit expressions written in terms of their Gauss diagrams.
Virtual knots likewise receive new Gauss-diagram formulas for their Alexander polynomials.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The factorization supplies a practical test for whether a given knot can be presented as a ribbon with prescribed singularities.
The Gauss-diagram formulas may be checked directly against tabulated virtual knots to confirm agreement with classical definitions.
Analogous half-invariants could be sought for other knot polynomials such as the Jones or HOMFLY polynomials.

Load-bearing premise

The half Alexander polynomial is well-defined as an invariant of oriented ribbons whose value depends only on intrinsic singularity data.

What would settle it

A specific ribbon knot whose Alexander polynomial cannot be written as A_R(t) A_R(t^{-1}) for any half Alexander polynomial A_R computed from the singularities of that ribbon.

read the original abstract

We find that Alexander polynomial of a ribbon knot in $ \mathbb{Z}HS^3 $ is determined by the intrinsic singularity information of its ribbon, and give a formula to calculate Alexander polynomial of a ribbon knot by that. We define half Alexander polynomial $ A_R (t) $, an invariant of oriented ribbons, and in fact the Alexander polynomial of the ribbon knot is $ A_R (t) A_R (t^{-1}) $. We give two useful simplified formulas for half Alexander polynomial. We characterize completely the polynomials arising as half Alexander polynomials of ribbons. The above study unexpectedly leads us to discover new formulas for Alexander polynomial of general knots and virtual knots in terms of Gauss diagrams.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper defines a half Alexander polynomial for oriented ribbons that factors the usual Alexander polynomial of the ribbon knot, gives a complete characterization of realizable polynomials, and derives new Gauss-diagram formulas for general knots and virtual knots.

read the letter

The main contribution is the half Alexander polynomial A_R(t), defined as an invariant of oriented ribbons from their singularity data. The paper shows that the Alexander polynomial of the ribbon knot in ZHS^3 is exactly A_R(t) A_R(t^{-1}), supplies two simplified formulas for A_R(t), characterizes all polynomials that arise this way, and extracts new Gauss-diagram expressions for the Alexander polynomial of ordinary knots and virtual knots. These formulas are presented as direct consequences of the ribbon construction and Gauss-diagram calculus. The work is a standard derivation in geometric topology: the half polynomial is built explicitly so that invariance under the relevant moves follows from the definitions, and the factorization comes from the usual relation between the Seifert matrix and the two halves of the ribbon. No circularity or extra parameters appear. The extension to virtual knots is a natural byproduct rather than an add-on. The characterization is useful because it pins down exactly which polynomials can occur, which helps with classification questions. A minor limitation is that the abstract gives no sample computations or explicit checks against known knots, so the practical speed or simplicity of the new formulas relative to existing methods is not yet visible. The full proofs will need to confirm that the Gauss-diagram expressions are independent of diagram choice in the virtual case, but the setup described does not suggest gaps. This is aimed at knot theorists who use diagram-based invariants or work with virtual knots. Readers who already compute Alexander polynomials via Seifert matrices or Gauss diagrams will find the new expressions and the characterization directly applicable. The paper shows clear engagement with the literature on ribbon knots and virtual invariants, with no internal contradictions. It deserves a serious referee because the results are concrete, checkable, and extend existing tools without relying on unproven assumptions.

Referee Report

0 major / 3 minor

Summary. The manuscript claims that the Alexander polynomial of a ribbon knot in an integral homology 3-sphere is completely determined by the intrinsic singularity data of an oriented ribbon spanning it. It defines a half-Alexander polynomial A_R(t) as an invariant of oriented ribbons, proves the factorization Delta_K(t) = A_R(t) A_R(t^{-1}), supplies two simplified formulas for A_R, completely characterizes the polynomials that arise as half-Alexander polynomials, and derives new Gauss-diagram expressions for the Alexander polynomials of arbitrary knots and virtual knots.

Significance. If the derivations are correct, the work supplies a geometrically natural factorization of the Alexander polynomial for ribbon knots together with explicit, presentation-independent formulas that extend to virtual knots. The characterization of realizable half-Alexander polynomials and the Gauss-diagram formulae constitute concrete, computable advances that could be used for both theoretical classification and practical calculation.

minor comments (3)

[Abstract] The abstract states that A_R is 'an invariant of oriented ribbons' but does not indicate in which section the independence under ribbon moves or changes of diagram is proved; a short forward reference would help the reader.
[Introduction] The two 'simplified formulas' for A_R are announced but their precise statements (e.g., which variables or diagram features they involve) are not previewed; adding one displayed equation in the introduction would improve readability.
[Definition of half Alexander polynomial] Notation for the half-Alexander polynomial is introduced as A_R(t); it would be useful to state explicitly whether the variable t is the same as the standard Alexander variable or a formal substitution.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines the half Alexander polynomial A_R(t) explicitly as an invariant of oriented ribbons using intrinsic singularity data and Gauss diagrams, proves its independence from presentation choices, and derives the factorization Delta_K(t) = A_R(t) A_R(t^{-1}) from the standard relation between the Seifert matrix of the ribbon knot and its two halves. The characterizations and Gauss-diagram formulas for general/virtual knots follow directly as consequences. No step reduces by construction to a fitted parameter, self-definition, or self-citation chain; all load-bearing steps rest on geometric definitions and standard algebraic topology relations external to the paper's fitted values.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the new definition of the half Alexander polynomial as an invariant extracted from ribbon singularities and on the standard background theory of Alexander polynomials and Gauss diagrams; no free parameters or invented physical entities are introduced.

axioms (2)

standard math Alexander polynomial is a well-defined knot invariant satisfying the usual skein relations and normalization
The factorization and Gauss-diagram formulas presuppose the classical properties of the Alexander polynomial.
domain assumption Ribbon knots in ZHS^3 are defined via immersed disks with ribbon singularities whose intrinsic data determine the invariant
The main formula is stated specifically for ribbon knots in ZHS^3.

invented entities (1)

half Alexander polynomial A_R(t) no independent evidence
purpose: Invariant of oriented ribbons that factors the Alexander polynomial of the boundary knot and encodes singularity information
Newly introduced in the paper; no independent evidence outside the definitions is supplied in the abstract.

pith-pipeline@v0.9.0 · 5628 in / 1528 out tokens · 37322 ms · 2026-05-24T13:05:15.941445+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Then Δ(t)=R(t)R(t^{-1}). ... R(t)=|(t-1)R-½(t+1)I|
IndisputableMonolith/Foundation/BranchSelection.lean RCLCombiner_isCoupling_iff echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

P=R-½I; Q=R^T+½I

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A Fast, Strong, Topologically Meaningful and Fun Knot Invariant
math.GT 2025-09 unverdicted novelty 4.0

A fast polynomial-time knot invariant pair (Δ, θ) with superior distinguishing power on small knots, a genus bound, and simpler formulas for a previously studied quantity.