Pith.

Geometric Topology · arXiv:2611.09063 v1 · submitted 6 Nov 2026 · 9 references

Cable Knot Counterexamples to the All-Knot Volume Conjecture

Haibin Hang

The paper says

“Let E be the figure-eight knot and let V be the hyperbolic volume of its exterior.”

more of the abstract

We study the reduced colored Jones polynomial at q = e2πi/N for the (p,w)-cable of the connected sum of d ≥ 2 copies of E, where w ≥ 2 and p,w are coprime. The normalized logarithmic growth rate converges to the JSJ volume dV along colors coprime to 2w, and its upper limit along colors sharing a divisor with w is at most V. Thus the (1,2)-cable of E#E violates the full-sequence volume limit for knots. The (1,3)-cable of the same companion shows that convergence can fail even along all odd colors. The separation comes from the multiples of N in the exact cabling sum and a uniform first-derivative estimate for the other companion colors.

from the abstract

Pith says

Machine review · deepseek-v4-flash · 9 Nov 2026 · what was read was not recorded · not checked by a person

It can be wrong. Challenge this review or reply to it.

Solid counterexample to the all-knot volume conjecture; the central argument is clear and the trace estimate in Lemma 3 is the only part that needs a closer look. This line is wrong

3 major objections · 5 minor

How often objections from reviews like this one are right: not yet measured

Are you an author? What you can do.

Not checked: figures, code, what the 9 references say.

The paper says, at Lemma 3 (derivative bound)

The review did not quote this passage.

Pith says: Objection 1 of 3 · major

The bound |DJ_m(E;ζ_N)| ≤ C_B N^5 T_N is essential for estimating the error term H_N in (8)/(9). The derivation in §2 is a sketch: it uses Temperley–Lieb trace arguments and product estimates but does not give a complete proof. The existence of a uniform constant C_B for all m ≤ BN with N ∤ m is not rigorously established; the argument mentions cancellations at zeros but does not control the growth of the sums of derivatives over depth ℓ.

more of objection 1

Without a more detailed proof (or a clear reference to a known bound), the main estimate (9) is not fully justified. This is a load-bearing part of the paper.

The paper says, at §2, equations (5)–(6) and surrounding text

The review did not quote this passage.

Pith says: Objection 2 of 3 · major

The derivation of the derivative bound for the product terms involves O estimates that are not clearly tracked. For instance, the bound |∏(x_r - x_s)| ≤ T_N/4 in (5) and the subsequent claim that removing a factor costs at most N^2/16 are not proven.

more of objection 2

The transition from product bounds to derivative bounds (O_B(N^4 T_N) and O_B(N^3 T_N)) appears to rely on implicit combinatorial constants that depend on B but are not explicitly constructed. A rigorous estimate should account for the summation over ℓ and the various cases (ℓ < r, r ≤ ℓ < N-r, etc.) with explicit constants or a clean inductive argument.

The paper says, at §3, after equation (9)

The review did not quote this passage.

Pith says: Objection 3 of 3 · major

The exponent in the bound for H_N is given as O_{p,w,d}(N^{2d+3} T_N). However, from the text: the contributions from derivative falling on the companion polynomial are ~ O(N * N^{2(d-1)} * N^5 T_N) = O(N^{2d+4} T_N). Dividing by |D[N](ζ_N)| ~ N^2 yields O(N^{2d+2} T_N). There is a discrepancy of one power of N. Please check the arithmetic and reconcile the exponent.

5 minor objections

The paper says, at Abstract

Pith says: minor objection 1 of 5

The phrase 'violates the full-sequence volume limit for knots' is ambiguous; it would be clearer to say 'violates the conjecture that the full-sequence limit exists and equals the JSJ volume'.

The paper says, at §2, after equation (3)

Pith says: minor objection 2 of 5

The line 'The sine products satisfy S_j S_{N-1-j} = N' should be justified or referenced, as it is not obvious from the definitions. Also, S_0 = 1 and S_{N-1} = N by the standard product identity, but the relation for arbitrary j needs a brief explanation.

show 3 more

The paper says, at §2, end of Lemma 3 proof

Pith says: minor objection 3 of 5

The statement 'The derivative vanishes for ℓ≥r in this case' (when r=N/2) is correct but the reasoning could be expanded: the factor (x_r - x_s) vanishes and its derivative also vanishes because ζ_N^{N/2} = -1 is a double root of the brace polynomial? Clarify.

The paper says, at §3, just below equation (7)

Pith says: minor objection 4 of 5

The notation [n_k] for negative colors is introduced but not explicitly used later. It may be helpful to state that [n_k](ζ_N) = -[|n_k|](ζ_N) etc. to avoid confusion.

The paper says, at Acknowledgment

Pith says: minor objection 5 of 5

The acknowledgment of 'OpenAI Codex' may need to be checked against the journal's policy on AI assistance disclosure.

What would settle it

Compute J_N(L;ζ_N) numerically for a small N in each residue class, e.g., for C_{1,2}(E#E) with N=5 (odd) and N=6 (even), and compare R_N(L) = (2π/N) log|J_N|. If for N=5 the value is close to 2V and for N=6 it is at most V, the central claim is supported; if the values are comparable, the derivative bound or the dominance argument is incorrect.

from Pith's summary of the paper

How the review went

3 readings by deepseek-v4-flash · 9 Nov 2026

  1. Reader holds up confidence moderate
  2. Editor wrote the verdict above 10 s · 7,426 tokens read, 1,062 written
  3. Referee major revision: 3 major objections, 5 minor 31 s · 7,020 tokens read, 2,631 written

Not run on this paper: the skeptic, the simulated authors' defence.

Pith did not check this review's objections against the paper.

The review in full

The review in brief, machine-written

Haibin Hang has a nice result. The construction is straightforward once you see it: take a connected sum of figure-eight knots (d≥2), cable it with winding number w≥2, and use the arithmetic of the Morton formula to separate the growth rate along different color subsequences. The JSJ volume is dV, but along colors sharing a factor with w the normalized invariant stays below V, so the limit cannot exist. The concrete examples in Corollary 2 (C1,2(E#E) and C1,3(E#E)) are crisp and the failure is strict.

The paper is well-organized. The main theorem is stated precisely, and the derivation follows from three ingredients: (i) the Habiro–Lê formula for the figure-eight invariants, (ii) the Morton cabling formula, and (iii) a lemma bounding |Jm(E;ζN)| and |D Jm(E;ζN)| for m not a multiple of N. The first two are standard; the third is the technical core.

Where is the soft spot? Lemma 3. The value bound is fine (short, clean). The derivative bound is sketched via a Temperley–Lieb trace argument, and the algebra is not written out in full. I believe the constant CB exists, but the derivation jumps from matrix element estimates to a sum of O(N4 TN) and O(N3 TN) terms without checking cancellations in the product–derivative interplay. A referee will want a more explicit computation, especially for the range r ≤ ℓ < N−r where the zero factor is differentiated. The argument is plausible and matches known results, but it is not yet a finished proof.

That said, the rest of the paper is rigorous. The counting of multiples of N in the cabling sum and the comparison of the main term to HN are clear and quantitative. The exponential decay of the error term relies on d≥2, which is the essential novelty.

Who is this for? Knot theorists and anyone interested in the volume conjecture. The paper is a genuine step: it shows that the full-sequence limit fails for satellites, not just for links. It does not disprove the conjecture for hyperbolic knots, but it sharpens the boundaries.

Bottom line: the result is correct in spirit and likely correct in detail. The trace argument needs expansion, but that is fixable. This paper deserves peer review at a good topology journal.

The referee's report

If correct, the results provide the first counterexamples to the full-sequence all-knot volume conjecture for knots (as opposed to links). The examples are explicit and the argument is self-contained modulo known results. The paper sharpens the understanding of how subsequence limits can differ from the JSJ volume, which is of interest to quantum topology and the volume conjecture program.

Pith's reading of the paper (a machine's summary, not the authors')

This paper constructs counterexamples to the all-knot volume conjecture, which asserts that the normalized logarithmic growth rate of the colored Jones polynomial at root-of-unity converges to the JSJ volume of the knot exterior for every knot. By studying the (p,w)-cable of a connected sum of two or more figure-eight knots, the author proves that along some arithmetic progressions of colors the limit equals twice the JSJ volume, while along others it stays bounded by the volume of a single figure-eight exterior. This separation implies that the full integer sequence does not converge, violating the conjecture. The result relies on an exact cabling sum, a uniform first-derivative estimate for the figure-eight invariants, and the exponential decay of error terms when the number of summands is at least two.

What carries the argument. The central objects are: (1) the reduced colored Jones polynomial J_N(K;q) evaluated at q = $e^{{2π i/N}}$; (2) the Habiro-Lê formula for the figure-eight knot E, which gives J_m(E;q) as a sum of products of brace factors; (3) the Morton–van der Veen cabling formula for the (p,w)-cable of a connected sum, expressing J_N(L;q) as a sum weighted by quantum dimensions. The load-bearing pieces are Lemma 3, which provides the value bound |J_m(E;ζ_N)| ≤ $N^{2}$ and the derivative bound |DJ_m(E;ζ_N)| ≤ C_B $N^{5}$ T_N for m not divisible by N, and the observation that when d ≥ 2 the error term H_N is exponentially smaller than the dominant term T_N^d after division by [N].

Core claim. The central discovery is that for the cable knot L = C_{1,2}(E#E) (where E is the figure-eight knot), the limit of R_N(L) along odd N is 2V, while its upper limit along even N is at most V, so the full-sequence limit fails. For L = C_{1,3}(E#E), the limit along N ≡ 1 mod 6 is 2V and the upper limit along N ≡ 3 mod 6 is at most V, so even the limit over all odd colors fails. More generally, for any d ≥ 2 and w ≥ 2, the limit along colors coprime to 2w equals the JSJ volume dV, while the upper limit along colors sharing a divisor with w is at most V. The JSJ volume of the cable is still attained as the upper limit over all N, but the lower limit is strictly smaller due to the sub-sequence gaps.

The premise it rests on. The uniform derivative bound |DJ_m(E;ζ_N)| ≤ C_B $N^{5}$ T_N for m not a multiple of N (Lemma 3) relies on a Temperley-Libe trace argument that is only sketched; the existence of a constant C_B independent of N and valid for all m ≤ BN may depend on cancellations that are not fully verified for the worst-case braid word.

If the paper is right (Pith's inferences, not the authors')

The all-knot volume conjecture is disproved for infinite families of cable knots built from composite figure-eight companions.

For any cable of E#d with d ≥ 2, the full-color limit fails to be a single number; the limit exists only along certain arithmetic subsequences.

The JSJ volume of the cable knot is still recovered as the limit superior over all colors, but the limit inferior is strictly smaller, showing that the conjecture cannot be salvaged by replacing limit with limit superior.

The arithmetic selection of colors (coprime to 2w vs having common divisor with w) is necessary and determined by the winding number w and the parity of the cable parameters.

Similar arithmetic splitting likely occurs for cables of other hyperbolic knots with simple colored Jones asymptotics, provided the companion has a known derivative bound analogous to Lemma 3.

The failure of convergence along all odd colors for w=3 suggests that more refined subsequence dependence may appear for other winding numbers, possibly related to the structure of the cabling sum's arithmetic lattice.

If the derivative bound in Lemma 3 could be strengthened (e.g., to polynomial rather than quasi-exponential in N), the argument might extend to d=1, giving counterexamples from a single figure-eight companion—but the current reliance on d≥2 is essential for the exponential error decay.

Check this review

Pith stored no record of this review's passes and took no fingerprint of it. Reviews made by code from 13 Nov 2026 on carry both.

How often reviews like this one are right

Reviews like this one: written by deepseek-v4-flash, where what was read was not recorded.

How often objections from reviews like this one are right: not yet measured

Every value above, in the review's public record (JSON)

Reviews by people

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes.

Request a human review

How Pith checks papers · The full audit of this paper

The paper

Abstract

Let E be the figure-eight knot and let V be the hyperbolic volume of its exterior. We study the reduced colored Jones polynomial at q = e2πi/N for the (p,w)-cable of the connected sum of d ≥ 2 copies of E, where w ≥ 2 and p,w are coprime. The normalized logarithmic growth rate converges to the JSJ volume dV along colors coprime to 2w, and its upper limit along colors sharing a divisor with w is at most V. Thus the (1,2)-cable of E#E violates the full-sequence volume limit for knots. The (1,3)-cable of the same companion shows that convergence can fail even along all odd colors. The separation comes from the multiples of N in the exact cabling sum and a uniform first-derivative estimate for the other companion colors.

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. No sentence in this record was written by a model.

abstract compiled · 2026-11-09

The authors' main claim, as the classifier picked it out 1.00

“Thus the $(1,2)$-cable of $E\#E$ violates the full-sequence volume limit for knots.”

How the main claim is stated: asserted 1.00

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.30 · human participants 0.01 · controlled comparison 0.10 · randomized assignment 0.01 · states quantitative result 0.90 · compares with prior results 0.34 · mentions code or data availability 0.02

The abstract, sentence by sentence

This table labels the abstract only (arXiv listing abstract v1). The number is the probability the classifier gave the label.

SentenceRoleThe authors' own workStates the main conclusionStrength
Let $E$ be the figure-eight knot and let $V$ be the hyperbolic volume of its exterior. background 1.00 0.12 0.02 asserted 0.50
We study the reduced colored Jones polynomial at $q=e^{2\pi i/N}$ for the $(p,w)$-cable of the connected sum of $d\ge 2$ copies of $E$, where $w\ge 2$ and $p,w$ are coprime. contribution 0.99 0.84 0.04 asserted 0.74
The normalized logarithmic growth rate converges to the JSJ volume $dV$ along colors coprime to $2w$, and its upper limit along colors sharing a divisor with $w$ is at most $V$. result 1.00 0.87 0.33 asserted 1.00
Thus the $(1,2)$-cable of $E\#E$ violates the full-sequence volume limit for knots. interpretation 0.51 0.89 0.75 asserted 1.00
The $(1,3)$-cable of the same companion shows that convergence can fail even along all odd colors. result 0.98 0.89 0.13 asserted 0.99
The separation comes from the multiples of $N$ in the exact cabling sum and a uniform first-derivative estimate for the other companion colors. method 0.85 0.81 0.04 asserted 0.99

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00

What was examined, and what was not

Sources read

  • arXiv listing abstract v1

Not examined

  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers

Levels run

  • P abstract

Not run

  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

How the labels were made

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-11-09: 1 request, 5,033 input tokens.

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. This record as JSON

References (9)
  1. [1] D. Aharonov, V. Jones, and Z. Landau,A polynomial quantum algorithm for approximating the Jones polynomial, Algorithmica55(2009), 395–421. arXiv:quant-ph/0511096 on PithPith's reviewarXiv
  2. [2] J. E. Andersen and S. K. Hansen,Asymptotics of the quantum invariants for surgeries on the figure 8 knot, J. Knot Theory Ramifications15(2006), 479–548. arXiv:math/0506456 on PithPith's reviewarXiv
  3. [3] R. Budney,JSJ-decompositions of knot and link complements in the 3-sphere, Enseign. Math. (2)52(2006), 319–359. arXiv:math/0506523 on PithPith's reviewarXiv
  4. [4] E. Kalfagianni and A. T. Tran,Knot cabling and the degree of the colored Jones polynomial, New York J. Math.21(2015), 905–941. arXiv:1501.01574 on PithPith's reviewarXiv
  5. [5] R. M. Kashaev,The hyperbolic volume of knots from the quantum dilogarithm, Lett. Math. Phys.39(1997), 269–275. arXiv:q-alg/9601025 on PithPith's reviewarXiv
  6. [6] T. T. Q. Lê and A. T. Tran,On the volume conjecture for cables of knots, J. Knot Theory Ramifications19(2010), 1673–1691. arXiv:0907.0172 on PithPith's reviewarXiv
  7. [7] H. R. Morton,The coloured Jones function and Alexander polynomial for torus knots, Math. Proc. Cambridge Philos. Soc.117(1995), 129–135. doi:10.1017/S0305004100072959 on Pithdoi:10.1017/s0305004100072959
  8. [8] H. Murakami and J. Murakami,The colored Jones polynomials and the simplicial volume of a knot, Acta Math.186(2001), 85–104. arXiv:math/9905075 on PithPith's reviewarXiv
  9. [9] R. van der Veen,A cabling formula for the colored Jones polynomial, 2008. arXiv:0807.2679. 5 on PithPith's reviewarXiv

Challenges and discussion

Disagree with the review, or know something it missed? Leave a comment, or challenge this review formally: a challenge becomes a permanent entry in this paper's record, and its decision is published here.

No comments yet.

Sign in to comment