A Note on Alexander Polynomials of 2-Bridge Links

Jim Hoste

arxiv: 1907.03812 · v1 · pith:GZCBRIOPnew · submitted 2019-07-08 · 🧮 math.GT

A Note on Alexander Polynomials of 2-Bridge Links

Jim Hoste This is my paper

Pith reviewed 2026-05-25 00:39 UTC · model grok-4.3

classification 🧮 math.GT

keywords Alexander polynomial2-bridge linksknot theorylattice walkscombinatorial interpretation

0 comments

The pith

The two-variable Alexander polynomial of a 2-bridge link counts walks on the 2-dimensional integer lattice.

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

A known formula interprets the one-variable Alexander polynomial of 2-bridge knots and links as the number of walks on the integers. The paper extends the same style of formula to the two-variable Alexander polynomial, showing that it equals the number of walks on the 2D integer lattice. A sympathetic reader would care because the extension supplies an explicit combinatorial expression for the invariant that applies uniformly to all 2-bridge links.

Core claim

A formula for the Alexander polynomial of a 2-bridge knot or link given by Hartley and also by Minkus has a beautiful interpretation as a walk on the integers. We extend this to the 2-variable Alexander polynomial of a 2-bridge link, obtaining a formula that corresponds to a walk on the 2-dimensional integer lattice.

What carries the argument

The direct correspondence between the 2-variable Alexander polynomial and the count of walks on the 2-dimensional integer lattice.

If this is right

The two-variable polynomial for any 2-bridge link can be read off directly from a count of lattice paths with no further algebraic computation.
The Hartley-Minkus formula is recovered as the specialization that sets the two variables equal.
The same walk model supplies the Alexander polynomial for every 2-bridge link without case-by-case adjustments.

Where Pith is reading between the lines

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

The lattice-walk model might extend to other multivariable invariants such as the Jones polynomial when specialized to 2-bridge links.
One could ask whether the same counting rule produces the Alexander polynomial after a change of variables that corresponds to different choices of longitude and meridian.
Explicit walk formulas could be written down for the infinite family of 2-bridge links and checked against known tables of polynomials.

Load-bearing premise

The combinatorial walk interpretation carries over from the one-variable case to the two-variable case without requiring additional link-specific adjustments or new normalization choices.

What would settle it

Pick any 2-bridge link, compute its two-variable Alexander polynomial by the standard Seifert-matrix or skein definition, then count the lattice walks given by the extended formula and check whether the two expressions are identical.

read the original abstract

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

This short note extends the Hartley-Minkus integer-walk formula for the one-variable Alexander polynomial of 2-bridge links to a walk on Z^2 for the two-variable case.

read the letter

The paper's contribution is a direct combinatorial lift: it takes the known walk interpretation for the single-variable Alexander polynomial and produces an analogous formula using steps on the two-dimensional lattice for the two-variable version on 2-bridge links. The abstract states the result cleanly as an extension of the cited Hartley and Minkus work, and the claim appears to rest on constructing the walk without adding extra parameters or normalizations beyond what the one-variable case already uses. That keeps the argument self-contained and reproducible in principle from the prior formulas. The work is short and focused, which suits a note format. The main limitation is that the provided abstract gives no explicit examples or step-by-step derivation, so the precise mapping of lattice directions to the two variables and the handling of link components would need verification against standard tables for 2-bridge links like the trefoil or Hopf link. No circularity or invented entities show up in the statement. Readers already working with combinatorial models of Alexander polynomials for low-bridge knots will find the extension useful for computation or pattern spotting. It is not reshaping the broader field but fills a small, well-defined gap. The paper deserves a serious referee because the central construction is explicit enough to check and the extension is new on its own terms.

Referee Report

0 major / 3 minor

Summary. The paper extends the Hartley-Minkus combinatorial formula for the one-variable Alexander polynomial of 2-bridge knots and links (interpreted as a walk on the integers) to a formula for the two-variable Alexander polynomial of 2-bridge links, interpreted as a walk on the 2-dimensional integer lattice.

Significance. If the construction is correct, the result supplies a direct combinatorial model for the multivariable Alexander polynomial on this family of links. This is a concise, natural extension of independently established one-variable formulas and may aid explicit computations or further combinatorial study in knot theory.

minor comments (3)

The manuscript should include at least one explicit example (e.g., the figure-eight knot or a specific 2-bridge link) that computes both the known one-variable polynomial and the new two-variable formula side-by-side to verify the lattice-walk correspondence.
Clarify the precise normalization convention used for the two-variable Alexander polynomial (e.g., which variable corresponds to which component and the overall sign/multiplicative factor) so that the walk formula can be compared directly with standard definitions.
Add a short statement confirming that the extension requires no additional link-specific adjustments beyond the direct carry-over of the walk construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No specific major comments were listed in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper extends the independently cited Hartley-Minkus walk formula for the one-variable Alexander polynomial of 2-bridge knots/links to a two-variable version via a walk on the Z^2 lattice. The abstract presents this as a direct combinatorial construction without any self-referential definitions, fitted parameters renamed as predictions, or load-bearing self-citations. No equations reduce the claimed result to its inputs by construction, and the work is self-contained as an extension of external prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The note relies on the standard definition and basic properties of the Alexander polynomial as developed in prior literature; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

domain assumption Standard definition and invariance properties of the Alexander polynomial for knots and links
The extension presupposes the usual algebraic construction of the Alexander polynomial from the fundamental group or Seifert matrix.

pith-pipeline@v0.9.0 · 5561 in / 1185 out tokens · 24567 ms · 2026-05-25T00:39:31.558732+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/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We extend this to the 2-variable Alexander polynomial of a 2-bridge link, obtaining a formula that corresponds to a walk on the 2-dimensional integer lattice.

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.