REVIEW 3 major objections 4 minor 37 references
Knot-quiver correspondence: a brief review
T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read A review equating knot HOMFLY-PT series to quiver partition functions, and extending the correspondence to knot complements.
desk verdict A faithful, clearly written review of the knot-quiver correspondence; no new results, and the complement-quiver section rests on finite coefficient matching that should be flagged. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the symmetric quiver partition function, a generating function over dimension vectors $d$ with weights $(-q)^{d\cdot C\cdot d} x^d/(q^2;q^2)_d$. The key operation is unlinking, which removes one pair of arrows between nodes $i,j$ and adds a new node with a loop and generating parameter $q^{-1}x_i x_j$ while preserving the partition function. Repeated unlinking leads to quiver diagonalization, expressing DT invariants through $m$-loop quivers, whose invariants are known explicitly for small $m$. For knot complements, the additional mechanism is the quantum A-polynomial, a $q$-difference operator $\hat A(\hat x,\hat y)$ conjectured to annihilate the Borel-resummed series $f_K(x,q)=F_K(x,q)(x^{1/2}-x^{-1/2})^{-1}$; solving that recursion produces the series that is then matched to a quiver partition function.
What would settle it
Take a knot beyond the worked examples, say a higher double twist knot, compute $F_K(x,q)$ to high order from its coloured Jones recursion, and check whether any quantum A-polynomial with polynomial coefficients annihilates it; if no such operator exists, Conjecture 5.1.1 and the general knot-complement quiver matching collapse. A smaller-scale check is to extend the six-node figure-eight complement quiver to higher order in $x$ and verify that its partition function still equals $x^{-1}F_{4_1}^+(x,q)/(x^{1/2}-x^{-1/2})$.
Extended reading notes
Core claim
The central statement is the identity $P_K(x,a,q)=P_Q(x,q)\big|_{x_i=x a^{a_i} q^{q_i-C_{ii}}}$, where $P_K$ is the generating series of coloured HOMFLY-PT polynomials and $P_Q$ is the quiver partition function of a symmetric quiver with adjacency matrix $C$, loop counts $C_{ii}$, and exponents $a_i,q_i$ read off from the uncoloured HOMFLY-PT polynomial. The same generating series then admits a quantum dilogarithm product decomposition whose exponents are the LMOV invariants, identified with quiver DT invariants. The paper further claims that the quiver descriptions are not unique: the unlinking operation replaces a pair of arrows between two nodes by a new node with a loop and preserves the partition function, so equivalent quivers for the same knot form permutohedra graphs, and repeated unlinking diagonalizes any quiver into $m$-loop quivers. For knot complements, the normalized positive half $x^{-\Delta}F_K^+(x,q)/(x^{1/2}-x^{-1/2})$ is matched to a quiver partition function, giving, for example, a six-node quiver for the figure-eight complement built from the unknot's two-node quiver.
Load-bearing premise
The extension to knot complements rests on the unproved conjecture that, for every knot in $S^3$, the Borel-resummed series $f_K(x,q)=F_K(x,q)(x^{1/2}-x^{-1/2})^{-1}$ satisfies a quantum A-polynomial difference equation $\hat A(\hat x,\hat y)f_K=0$; if some knot fails to admit such an operator, the quiver description of knot complements does not generalize as stated.
Editorial extensions
If this is right
- For every knot that admits a quiver, the LMOV invariants are the DT invariants of the corresponding quiver and therefore are integers with the expected sign pattern.
- Because unlinking preserves the partition function, any quiver for a knot can be diagonalized into $m$-loop quivers, and the first $n$ unlinking steps give all DT invariants up to $O(x^{n+1})$; the review presents this as the most efficient known way to compute them.
- Equivalent quivers for the same knot are organized into permutohedra graphs, so apparently different HOMFLY-PT expansions are recognized as the same quiver partition function in different coordinates.
- For knot complements, the normalized positive part of $F_K(x,q)$ can be identified with a quiver partition function; the figure-eight complement is captured by a six-node quiver, and the paper reports the structural prediction that complement quivers have one more node than the corresponding HOMFLY-PT quivers.
Reading between the lines
- If the correspondence holds as stated, quiver diagonalization turns LMOV invariant computation into a finite combinatorial game: once an initial quiver is known, any prescribed order in $x$ is reached by finitely many unlinkings. A natural next test is to derive quivers for all double twist knots from the known colored Jones recursions and compare the resulting DT invariants with direct series exp
- The complement-side statement suggests a stronger role for the quantum A-polynomial: the knot quiver may determine the operator $\hat A$, rather than merely being matched after $\hat A$ is known. This is not proven in the review, but it is a direct consequence of the conjecture if every $F_K$ series has a unique minimal quiver.
- One could probe the limit of the correspondence by looking for a knot whose HOMFLY-PT generating series cannot be reproduced by any symmetric quiver matrix with integer entries; if such a knot exists, the equality would describe a special class of knots rather than a universal bridge.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This manuscript is a short review of the knot-quiver correspondence. It recalls the HOMFLY-PT generating series and symmetric quiver partition functions, states the correspondence as the equality (9), and works through the trefoil example in detail. It then reviews the unlinking operation, permutohedra graphs, quiver diagonalization, m-loop quivers, and DT-invariant computations, and closes with an extension to knot complements via the Borel-resummed series F_K, proposing quiver descriptions for the unknot and the figure-eight complement. The paper is expository and draws heavily on the authors' prior work.
Significance. As a review, the paper is potentially useful: the trefoil derivation in Section 2.1 is a genuine worked example, the compilation of m-loop DT invariants and the permutohedra graphs provide a compact entry point into the literature, and the explicit formulas make the review self-contained in several places. The main value is pedagogical. However, the extension to knot complements in Section 5.2 is not established by the arguments given: the figure-eight quiver is obtained by matching only to O(x^3), the underlying recursion is explicitly conjectural, and the definitions of the quiver objects used there are inconsistent with those in Section 1.2. These issues need to be fixed or clearly flagged before the paper can serve as a reliable review.
major comments (3)
- [§5.2, Eq. (55)] The displayed equality (55) is presented as the quiver form for the figure-eight knot complement, but the preceding text obtains it by matching the series (52) with the general quiver expansion (53) only through O(x^3). Coefficient matching at finitely many orders does not uniquely determine the quiver, and no all-orders construction or proof is supplied. Since (47) is explicitly called a working definition, the review should state that (55) is a conjectural identification supported to third order, or provide a construction (for example from the quantum A-polynomial) that fixes all higher coefficients. This is load-bearing because the entire extension of the correspondence to knot complements in this section rests on this identification.
- [§1.2; Eqs. (24), (56)] The paper defines a quiver as a directed graph, so C_{ij} should be a nonnegative integer representing the number of arrows, yet the examples in (24) and (56) contain negative entries (e.g., C_{12}=-1 in (24) and C_{23}=-1 in (56)). The text should explicitly state that the correspondence uses signed symmetric matrices, and should address the domain of the partition function (6) and the product decomposition (7) for negative entries, in particular the ring in which the formal series is defined. Without this clarification, the quivers used in the central examples of Sections 3.2 and 5.2 fall outside the definition given in Section 1.2.
- [§5.2, Eqs. (43), (46), (50)] The unknot normalization is inconsistent. From (43), F_+^\circ = x^{1/2}; combining this with (46) and F_-^\circ = -F_+^\circ(x^{-1}) gives F_\circ = (x^{1/2}-x^{-1/2})/2, not x^{1/2}-x^{-1/2}. Moreover, the right-hand side of (50) evaluates to x^{-1} x^{1/2}/(x^{1/2}-x^{-1/2}) = -1/(1-x), whereas the left-hand side equals +1/(1-x). The sign and the factor 1/2 should be reconciled; as written, the unknot example does not verify the working definition (47).
minor comments (4)
- [§2.1, Eq. (14)] The exponent of (-q) in Eq. (14) should contain 4 d2 d3 rather than 2 d2 d3; with the displayed 2 d2 d3 the exponent does not equal d^T C d for the matrix in (15).
- [§1.1, Ref. [4]] The citation to Witten's 'Elliptic genera and quantum field theory' is incorrect for the claim about Chern-Simons theory and the Jones polynomial; the appropriate reference is Witten's 'Quantum field theory and the Jones polynomial'.
- [§3.3, Eqs. (26) and (29)] The vectors in (26) and (29) mix commas and semicolons, and the relation between the displayed variables after unlinking is not transparent; please use uniform notation and verify the entries.
- [§5.2, Eqs. (47) and (53)] The symbol P_Q is used both with the (q^2;q^2)_d convention of (6) and with the (q;q)_d convention of (53) and (55); please define the latter convention explicitly, for example as P_Q(x;q^{1/2}), so that the reader can distinguish the two.
Circularity Check
No circularity found: the trefoil quiver is derived from an exact colored-HOMFLY formula, and the knot-complement quiver construction is explicitly labeled a working definition rather than a disguised prediction.
full rationale
The paper's central correspondence (9) is stated as a conjectural equality, and the trefoil example is a genuine algebraic derivation: it starts from the exact colored HOMFLY-PT formula (10), applies the q-binomial identity (11), and rewrites the generating function into the quiver form (14), so the quiver data (15) is obtained by computation, not by fitting a target. The unlinking and diagonalization results are cited to the authors' previous papers as established facts, but they are stated as checkable identities (e.g., (23)) and are not needed to define the input quantities; their role is expository. The potentially vulnerable part is Section 5.2, where the figure-eight complement quiver is obtained by matching the first few terms of F+_41 against the general quiver expansion. However, the paper is explicit about this method: it calls (47) a 'working definition' and says one uses 'a direct approach – matching quiver adjacency matrix and the change of variables against order by order expansion in x.' Thus the low-order matching is not hidden as a derivation; the unproved all-orders equality (55) is an extrapolation and a correctness risk, not a circular reduction. Likewise, Conjecture 5.1.1 is explicitly labeled a conjecture and attributed to external and self references; the paper does not present it as a proven theorem or use it to define the quantities it then claims to predict. No step in the review makes the derived object equivalent to its input by construction, so no circularity is identified.
Assumptions & free parameters
free parameters (2)
- Normalisation exponent Delta in (47) =
chosen so lowest x-degree is 1
- Figure-eight complement quiver entries (C44,C55,C66) and variables (x4,x5,x6) =
1 and q^{1/2}x
assumptions (4)
- standard math HOMFLY-PT polynomials are defined by the skein relation (1) plus the unknot condition.
- domain assumption The quiver partition function (6) admits the product decomposition (7) into quantum dilogarithms with integer DT invariants.
- domain assumption The unlinking operation preserves the quiver partition function (23).
- domain assumption For any knot K, the series FK satisfies the quantum A-polynomial equation (42).
Cite this review
Pith. "Pith review of Knot-quiver correspondence: a brief review." pith.science (2026). https://pith.science/paper/D623TX5C
@misc{pith2026250505668,
author = {Pith},
title = {Pith review of: Knot-quiver correspondence: a brief review},
year = {2026},
howpublished = {\url{https://pith.science/paper/D623TX5C}},
note = {Machine review of arXiv:2505.05668}
}
abstract
This note is an overview of the knot-quiver correspondence, which relates symmetric quivers and their partition functions, a.k.a. motivic Donaldson-Thomas generating series, to quantum invariants of knots and links in $S^3$.
Figures
Figures from the paper (2 more)
Reference graph
Works this paper leans on
- [35]
- [1]
- [2]
-
[3]
J. Przytycki and P. Traczyk, Invariants of links of Conway type , Kobe J. Math. 4 (1987) 115–139
work page 1987
-
[4]
Witten, Elliptic genera and quantum field theory , Commun
E. Witten, Elliptic genera and quantum field theory , Commun. Math. Phys. 109 (1987) 525. 16
work page 1987
-
[5]
R. Gopakumar and C. Vafa, On the gauge theory / geometry correspondence , Adv. Theor. Math. Phys. 3 (1999) 1415–1443, [ hep-th/9811131]
arXiv 1999
-
[6]
H. Ooguri and C. Vafa, Knot invariants and topological strings , Nucl.Phys. B577 (2000) 419–438, [hep-th/9912123]
arXiv 2000
-
[7]
Mari˜ no,Chern-Simons theory and topological strings , Rev.Mod.Phys
M. Mari˜ no,Chern-Simons theory and topological strings , Rev.Mod.Phys. 77 (2005) 675–720. arXiv:hep-th/0406005
arXiv 2005
Show all 37 references
-
[8]
Gukov and I
S. Gukov and I. Saberi, Lectures on knot homology and quantum curves , . arXiv:1211.6075
-
[9]
Kontsevich and Y
M. Kontsevich and Y. Soibelman, Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants , Commun.Num.Theor.Phys. 5 (2011) 231–352, [ arXiv:1006.2706]
2011 arXiv
-
[10]
A. I. Efimov, Cohomological Hall algebra of a symmetric quiver , Compos. Math. 148 (2012), no. 4 1133–1146, [ arXiv:1103.2736]
2012 arXiv
-
[11]
Geiss, Introduction to moduli spaces associated to quivers (with an appendix by Lieven Le Bruyn and Markus Reineke) , Contemp
C. Geiss, Introduction to moduli spaces associated to quivers (with an appendix by Lieven Le Bruyn and Markus Reineke) , Contemp. Math. 406 (2006) 31
2006
-
[12]
Reineke, Cohomology of quiver moduli, functional equations, and integrality of Donaldson-Thomas type invariants , Compos
M. Reineke, Cohomology of quiver moduli, functional equations, and integrality of Donaldson-Thomas type invariants , Compos. Math. 147 (2011), no. 5 943–964. arXiv:0903.0261
2011 arXiv
-
[13]
Reineke, Degenerate cohomological hall algebra and quantized donaldson-thomas invariants for m-loop quivers , Doc
M. Reineke, Degenerate cohomological hall algebra and quantized donaldson-thomas invariants for m-loop quivers , Doc. Math. 17 (2012) 1. arXiv:1102.3978
2012 arXiv
-
[14]
Kucharski, M
P. Kucharski, M. Reineke, M. Stosic, and P. Sulkowski, BPS states, knots and quivers , Phys. Rev. D96 (2017), no. 12 121902, [ arXiv:1707.02991]
2017 arXiv
-
[15]
Kucharski, M
P. Kucharski, M. Reineke, M. Stosic, and P. Sulkowski, Knots-quivers correspondence, Adv. Theor. Math. Phys. 23 (2019), no. 7 1849–1902, [ arXiv:1707.04017]
2019 arXiv
-
[16]
J. M. F. Labastida and M. Marino, Polynomial invariants for torus knots and topological strings, Comm. Math. Phys. 217 (2001), no. 2 423–449, [ hep-th/0004196]
2001 arXiv
-
[17]
J. M. F. Labastida and M. Marino, A new point of view in the theory of knot and link invariants, J. Knot Theory Ramifications 11 (2002), no. 2 173–197. arXiv:math/0104180
2002 arXiv
-
[18]
J. M. F. Labastida, M. Marino, and C. Vafa, Knots, links and branes at large N, JHEP 11 (2000) 007, [ hep-th/0010102]
2000 arXiv
-
[19]
Ekholm, P
T. Ekholm, P. Kucharski, and P. Longhi, Physics and geometry of knots-quivers correspondence, Commun. Math. Phys. 379 (2020), no. 2 361–415, [ arXiv:1811.03110]
2020 arXiv
- [20]
-
[21]
Ekholm, P
T. Ekholm, P. Kucharski, and P. Longhi, Multi-cover skeins, quivers, and 3d N = 2 dualities, JHEP 02 (2020) 018, [ arXiv:1910.06193]
2020 arXiv
-
[22]
Jankowski, P
J. Jankowski, P. Kucharski, H. Larraguivel, D. Noshchenko, and P. Sulkowski, Permutohedra for knots and quivers , Phys. Rev. D 104 (2021) 086017, [arXiv:2105.11806]. 17
2021 arXiv
-
[23]
Kucharski, H
P. Kucharski, H. Larraguıvel, D. Noshchenko, and P. Su lkowski, Unlinking symmetric quivers, arXiv:2312.14905
-
[24]
Kucharski and P
P. Kucharski and P. Sulkowski, BPS counting for knots and combinatorics on words , JHEP 11 (2016) 120, [ arXiv:1608.06600]
2016 arXiv
-
[25]
Dotsenko, E
V. Dotsenko, E. Feigin, and M. Reineke, Koszul algebras and Donaldson–Thomas invariants, Lett. Math. Phys. 112 (2022) 106, [ arXiv:2111.07588]
2022 arXiv
-
[26]
Jankowski, P
J. Jankowski, P. Kucharski, H. Larragu´ ıvel, D. Noshchenko, and P. Su lkowski,Quiver Diagonalization and Open BPS States , Commun. Math. Phys. 402 (2023), no. 2 1551–1584, [arXiv:2212.04379]
2023 arXiv
-
[27]
Rozansky, Higher order terms in the melvin-morton expansion of the colored jones polynomial, Communications in mathematical physics 183 (1997) 291–306
L. Rozansky, Higher order terms in the melvin-morton expansion of the colored jones polynomial, Communications in mathematical physics 183 (1997) 291–306
1997
-
[28]
D. M. Jackson and I. Moffatt, An introduction to quantum and Vassiliev knot invariants . Springer, 2019
2019
-
[29]
Gukov and C
S. Gukov and C. Manolescu, A two-variable series for knot complements , arXiv:1904.06057
1904 arXiv
-
[30]
Ekholm, P
T. Ekholm, P. Kucharski, and P. Longhi, Knot homologies and generalized quiver partition functions, Lett. Math. Phys. 113 (2023), no. 6 117, [ arXiv:2108.12645]
2023 arXiv
-
[31]
Gukov and P
S. Gukov and P. Sulkowski, A-polynomial, B-model, and Quantization , JHEP 1202 (2012) 070, [arXiv:1108.0002]. arXiv:1108.0002
2012 arXiv
-
[32]
Ekholm, A
T. Ekholm, A. Gruen, S. Gukov, P. Kucharski, S. Park, and P. Sulkowski, bZ at Large N: From Curve Counts to Quantum Modularity , Commun. Math. Phys. 396 (2022), no. 1 143–186, [arXiv:2005.13349]
2022 arXiv
-
[33]
Kucharski, Quivers for 3-manifolds: the correspondence, BPS states, and 3d N = 2 theories, JHEP 09 (2020) 075, [ arXiv:2005.13394]
P. Kucharski, Quivers for 3-manifolds: the correspondence, BPS states, and 3d N = 2 theories, JHEP 09 (2020) 075, [ arXiv:2005.13394]
2020 arXiv
-
[34]
Park, Large color R-matrix for knot complements and strange identities , arXiv:2004.02087
S. Park, Large color R-matrix for knot complements and strange identities , arXiv:2004.02087
2004 arXiv
-
[36]
Lovejoy and R
J. Lovejoy and R. Osburn, The colored jones polynomial and kontsevich–zagier series for double twist knots , Journal of Knot Theory and Its Ramifications 30 (2021), no. 05 2150031
2021
-
[37]
Park, Inverted state sums, inverted habiro series, and indefinite theta functions , arXiv preprint arXiv:2106.03942 (2021)
S. Park, Inverted state sums, inverted habiro series, and indefinite theta functions , arXiv preprint arXiv:2106.03942 (2021). 18
2021 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.