Positivity and log concavity of the Links--Gould polynomial of knots

Josephine Yu; Shana Yunsheng Li; Stavros Garoufalidis

arxiv: 2605.30754 · v1 · pith:J5DEZ736new · submitted 2026-05-29 · 🧮 math.GT

Positivity and log concavity of the Links--Gould polynomial of knots

Stavros Garoufalidis , Shana Yunsheng Li , Josephine Yu This is my paper

Pith reviewed 2026-06-28 20:30 UTC · model grok-4.3

classification 🧮 math.GT

keywords Links-Gould polynomialalternating knotspositivitylog-concavityknot invariantsalternating linkstype-B log-concavity

0 comments

The pith

The Links-Gould polynomial of alternating links is positive, hole-free, and log-concave.

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

The paper puts forward a conjecture that the Links-Gould polynomial of any alternating link has only positive coefficients, no missing terms in its support, and satisfies log-concavity. This is checked by computing the polynomial for every one of the 51.3 million alternating knots that have 19 or fewer crossings. The check succeeds in every case, and all but 544 knots also meet a stricter version of log-concavity defined by the slopes of edges in a subdivision of the support. If the conjecture is true in general, the Links-Gould polynomial would exhibit regular combinatorial behavior on the large class of alternating links.

Core claim

The paper formulates a conjecture asserting positivity, hole-freeness, and log-concavity for the Links-Gould polynomial of alternating links. It verifies the conjecture holds for all 51.3 million alternating knots with at most 19 crossings, with 544 of them failing a stronger type-B log-concavity condition that is characterized by the slopes of edges in the subdivision of the monomial support induced by the log coefficients.

What carries the argument

The Links-Gould polynomial, a two-variable polynomial invariant of links, carrying the properties of positivity, hole-free support, and log-concavity under the stated conjecture.

If this is right

The conjecture applies to all alternating links, not just those with few crossings.
The stronger type-B log-concavity holds for the vast majority of the checked knots.
The verification provides substantial computational evidence for the conjecture.
The property is expected to extend beyond the enumerated knots if the pattern continues.

Where Pith is reading between the lines

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

If the conjecture is correct, the Links-Gould polynomial may share structural features with other knot polynomials that exhibit positivity and concavity.
The distinction between ordinary and type-B log-concavity could point to different combinatorial interpretations of the coefficient array.
Verification at higher crossing numbers would be a natural next test of the conjecture.

Load-bearing premise

The complete and error-free enumeration of all alternating knots with at most 19 crossings together with accurate computation of their Links-Gould polynomials for every such knot.

What would settle it

Computation of the Links-Gould polynomial for an alternating knot with 20 crossings that shows either a negative coefficient, a hole in the support, or a violation of log-concavity.

Figures

Figures reproduced from arXiv: 2605.30754 by Josephine Yu, Shana Yunsheng Li, Stavros Garoufalidis.

**Figure 1.** Figure 1: Projection of the concave hulls for the knots 11a100 and 11a165. The figure on the right shows a subdivision which is not a triangulation, as it contains a non-simplicial tile on the lower left. 3 3 39 39 29 29 4 4 [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗

**Figure 2.** Figure 2: Projection of the concave hull for the knot 15a57208. The subdivision contains edges with slopes −2 and − 1 2 . Labels show some coefficients of LG(−t1, −t2). However, a small number of non-type-B knots exist, whose LG-coefficients are logconcave, but not type-B log-concave. A sample non-type-B subdivision is shown in [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗

**Figure 3.** Figure 3: Projection of the concave hull for the type-B knot 11a364. Labels show the coefficients of LG(−t1, −t2). Moreover, from the limited data we observe that if a two dimensional face has a point in its interior, then it also has a point in the relative interior of one of its edge. For example, the following configurations cannot be faces in the subdivision although they have the expected slopes. (7) [PITH_FUL… view at source ↗

read the original abstract

Motivated by the recent work of Harper--Kohli--Song--Tahar, we formulate a positivity, hole-free, and log-concavity conjecture for the Links--Gould polynomial of alternating links and verify it for all 51.3 million alternating knots with at most 19 crossings. All but 544 of those knots satisfy a stronger type-B log-concavity condition characterized by the slopes of edges in the subdivision of the monomial support induced by the log coefficients.

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 states a new positivity/log-concavity conjecture for the Links-Gould polynomial on alternating links and supports it with an exhaustive check on 51 million knots up to 19 crossings.

read the letter

The main takeaway is a cleanly stated conjecture that the Links-Gould polynomial of alternating links has positive coefficients, no holes in its support, and satisfies log-concavity, plus a stronger type-B version that holds for all but 544 of the knots they checked.

They extend the Harper-Kohli-Song-Tahar positivity ideas to this two-variable invariant and run a complete enumeration over the full set of alternating knots through 19 crossings. That scale of verification is the concrete contribution; it turns an abstract guess into something with a large body of supporting data.

The computation is both the strength and the soft spot. Knot tables up to 19 crossings are standard, so the enumeration side is not the issue. The Links-Gould evaluations at this volume depend on an implementation whose correctness is not cross-checked in the abstract against smaller known cases or other invariants. If that code has a systematic error, the reported verification does not hold. The paper does not appear to supply machine-checked proofs or open data that would let a reader rerun the check independently.

No circularity or fitted parameters; the claim is a direct finite check. The central argument therefore stands or falls on the reliability of the polynomial routine.

This is for knot theorists who track positivity phenomena in polynomial invariants. A reader already working on similar conjectures or computational knot tables would get the most from the precise statement and the count of exceptions.

I would send it to peer review. The conjecture is well-motivated, the verification is large enough to matter, and referees can evaluate the implementation details that are not visible from the abstract alone.

Referee Report

2 major / 1 minor

Summary. The manuscript formulates conjectures asserting positivity, absence of holes in the support, and log-concavity of the Links-Gould polynomial for alternating links. It reports an exhaustive computational verification of these properties (including a stronger type-B log-concavity condition for all but 544 cases) across all 51.3 million alternating knots with at most 19 crossings.

Significance. If the reported verification is reliable, the work supplies extensive empirical support for new conjectures on the Links-Gould invariant, potentially guiding future theoretical study of its positivity and concavity properties on alternating links. The scale of the enumeration and the distinction drawn between ordinary and type-B log-concavity constitute a concrete computational contribution that strengthens the case for the conjectures.

major comments (2)

[Computational verification section] Computational verification section: the central claim rests on correct evaluation of the Links-Gould polynomial for every alternating knot up to 19 crossings, yet the manuscript supplies no description of the evaluation algorithm, data structures, cross-validation against known values for knots with fewer crossings, or error-detection methods. Without these, the reported verification cannot be independently assessed and remains the load-bearing element of the paper.
[Introduction] Introduction and conjecture statement: the paper asserts that the verification covers 'all 51.3 million alternating knots,' but provides no explicit reference to the source of the knot enumeration (e.g., a standard table or generation method) or confirmation that the Links-Gould computation was performed consistently with the two-variable definition used in the literature.

minor comments (1)

[Abstract] The abstract uses an em-dash in 'Links--Gould'; consistent hyphenation or spelling should be adopted throughout the text and references.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying areas where additional details would strengthen the manuscript. We address each major comment below and commit to revisions that directly respond to the concerns raised.

read point-by-point responses

Referee: [Computational verification section] Computational verification section: the central claim rests on correct evaluation of the Links-Gould polynomial for every alternating knot up to 19 crossings, yet the manuscript supplies no description of the evaluation algorithm, data structures, cross-validation against known values for knots with fewer crossings, or error-detection methods. Without these, the reported verification cannot be independently assessed and remains the load-bearing element of the paper.

Authors: We agree that the current manuscript lacks the necessary methodological details. In the revised version we will expand the computational verification section with a description of the evaluation algorithm, the data structures employed for the bivariate polynomials, cross-validation procedures against known values for knots with fewer crossings, and the error-detection methods used. This addition will make the verification independently assessable. revision: yes
Referee: [Introduction] Introduction and conjecture statement: the paper asserts that the verification covers 'all 51.3 million alternating knots,' but provides no explicit reference to the source of the knot enumeration (e.g., a standard table or generation method) or confirmation that the Links-Gould computation was performed consistently with the two-variable definition used in the literature.

Authors: We accept this observation. The revised introduction will include an explicit reference to the source of the alternating knot enumeration together with a statement confirming that the Links-Gould computations follow the standard two-variable definition appearing in the literature. revision: yes

Circularity Check

0 steps flagged

No circularity; conjecture and verification rest on independent computation

full rationale

The paper formulates a new positivity/hole-free/log-concavity conjecture for the Links-Gould polynomial of alternating links, motivated by external prior work (Harper-Kohli-Song-Tahar), and verifies it by exhaustive enumeration and evaluation on the complete set of 51.3 million alternating knots ≤19 crossings. No equations, fitted parameters, self-citations, or ansatzes are presented that reduce the conjecture or its verification to a tautology or input-by-construction. The central claim is a statement about an external invariant whose values are computed independently of the conjecture itself.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, the paper introduces no new free parameters, axioms, or invented entities; it relies on the pre-existing definition of the Links-Gould polynomial and the standard notion of alternating links.

pith-pipeline@v0.9.1-grok · 5607 in / 1194 out tokens · 34737 ms · 2026-06-28T20:30:31.098643+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 3 canonical work pages · 1 internal anchor

[1]

[BRS+25] Grigoriy Blekherman, Felipe Rinc´ on, Rainer Sinn, Cynthia Vinzant, and Josephine Yu,Moments, sums of squares, and tropicalization, J. Lond. Math. Soc. (2)112(2025), no. 4, Paper No. e70311,

2025
[2]

[Cro59] Richard Crowell,Genus of alternating link types, Ann. of Math. (2)69(1959), 258–275. [DLRS10] Jes´ us A. De Loera, J¨ org Rambau, and Francisco Santos,Triangulations, Algorithms and Com- putation in Mathematics, vol. 25, Springer-Verlag, Berlin, 2010, Structures for algorithms and applications. [DWIL05] David De Wit, Atsushi Ishii, and Jon Links,I...

work page internal anchor Pith review arXiv 1959
[3]

[GLY26] Stavros Garoufalidis, Shana Li, and Josephine Yu,Code and data for Positivity and Log Concavity of the Links–Gould Polynomial of Knots,https://doi.org/10.7910/DVN/DKJ84O,

work page doi:10.7910/dvn/dkj84o
[4]

[Hog74] S.G Hoggar,Chromatic polynomials and logarithmic concavity, Journal of Combinatorial Theory, Series B16(1974), no

[HKST] Matthew Harper, Ben-Michael Kohli, Jiebo Song, and Guillaume Tahar,On some log- concavity properties of the Alexander-Conway and Links-Gould invariants, Preprint 2025, arXiv:2509.16868. [Hog74] S.G Hoggar,Chromatic polynomials and logarithmic concavity, Journal of Combinatorial Theory, Series B16(1974), no. 3, 248–254. [Koh16] Ben-Michael Kohli,On ...

work page arXiv 2025
[5]

[KPM17] Ben-Michael Kohli and Bertrand Patureau-Mirand,Other quantum relatives of the Alexander polynomial through the Links-Gould invariants, Proc. Amer. Math. Soc.145(2017), no. 12, 5419–5433. [Lev65] Jerome Levine,A characterization of knot polynomials, Topology4(1965), 135–141. [LG92] Jon Links and Mark Gould,Two variable link polynomials from quantum...

2017
[6]

Korean Math

[Sto14] Alexander Stoimenow,Log-concavity and zeros of the Alexander polynomial, Bull. Korean Math. Soc.51(2014), no. 2, 539–545. [Zie95] G¨ unter M. Ziegler,Lectures on polytopes, Graduate Texts in Mathematics, vol. 152, Springer- Verlag, New York,

2014

[1] [1]

[BRS+25] Grigoriy Blekherman, Felipe Rinc´ on, Rainer Sinn, Cynthia Vinzant, and Josephine Yu,Moments, sums of squares, and tropicalization, J. Lond. Math. Soc. (2)112(2025), no. 4, Paper No. e70311,

2025

[2] [2]

[Cro59] Richard Crowell,Genus of alternating link types, Ann. of Math. (2)69(1959), 258–275. [DLRS10] Jes´ us A. De Loera, J¨ org Rambau, and Francisco Santos,Triangulations, Algorithms and Com- putation in Mathematics, vol. 25, Springer-Verlag, Berlin, 2010, Structures for algorithms and applications. [DWIL05] David De Wit, Atsushi Ishii, and Jon Links,I...

work page internal anchor Pith review arXiv 1959

[3] [3]

[GLY26] Stavros Garoufalidis, Shana Li, and Josephine Yu,Code and data for Positivity and Log Concavity of the Links–Gould Polynomial of Knots,https://doi.org/10.7910/DVN/DKJ84O,

work page doi:10.7910/dvn/dkj84o

[4] [4]

[Hog74] S.G Hoggar,Chromatic polynomials and logarithmic concavity, Journal of Combinatorial Theory, Series B16(1974), no

[HKST] Matthew Harper, Ben-Michael Kohli, Jiebo Song, and Guillaume Tahar,On some log- concavity properties of the Alexander-Conway and Links-Gould invariants, Preprint 2025, arXiv:2509.16868. [Hog74] S.G Hoggar,Chromatic polynomials and logarithmic concavity, Journal of Combinatorial Theory, Series B16(1974), no. 3, 248–254. [Koh16] Ben-Michael Kohli,On ...

work page arXiv 2025

[5] [5]

[KPM17] Ben-Michael Kohli and Bertrand Patureau-Mirand,Other quantum relatives of the Alexander polynomial through the Links-Gould invariants, Proc. Amer. Math. Soc.145(2017), no. 12, 5419–5433. [Lev65] Jerome Levine,A characterization of knot polynomials, Topology4(1965), 135–141. [LG92] Jon Links and Mark Gould,Two variable link polynomials from quantum...

2017

[6] [6]

Korean Math

[Sto14] Alexander Stoimenow,Log-concavity and zeros of the Alexander polynomial, Bull. Korean Math. Soc.51(2014), no. 2, 539–545. [Zie95] G¨ unter M. Ziegler,Lectures on polytopes, Graduate Texts in Mathematics, vol. 152, Springer- Verlag, New York,

2014