{"id":"978adf3f-6855-4ad4-9c23-46452c37a2d2","arxiv_id":"2505.05668","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"A survey of the known knot-quiver correspondence, including quiver equivalences, diagonalization, and an extension to knot complements.","lead":"This preprint is a review of the knot-quiver correspondence, which equates the generating series of colored HOMFLY-PT knot invariants with partition functions of symmetric quivers. A generalist might read it to see how knot theory, quiver representations, and topological string theory have been connected over the last decade.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 5.2's complement quiver for 4_1 rests on low-order coefficient matching and unproved Conjecture 5.1.1; verdict UNCHANGED.","rationale":"Agreement with the reader is partial. The reader identified Conjecture 5.1.1 as the weakest assumption, and that is genuinely unproved and underlies the FK-series framework used in Section 5. However, the more immediate concern in the same section is that the figure-eight complement quiver is justified only by matching finitely many coefficients in x. Even if Conjecture 5.1.1 is true, the quiver equality (55) is not established unless the matching extends to all orders or is backed by a general construction. The review is nevertheless transparent about the conjectural status of FK and about complement quivers being poorly understood, so this is a limitation of the research area rather than a misrepresentation by the authors. The main Section 2.1 correspondence is presented with a worked derivation and appropriate references, and no fatal internal inconsistency was found. I therefore recommend keeping the reader's UNVERDICTED verdict and, at most, requesting a corrected exponent in equation (14).","tokens_in":14884,"tokens_out":17102,"duration_ms":183445,"concrete_test":"Evaluate both sides of equation (55) for the figure-eight knot to O(x^6): compute the LHS from the quantum A-polynomial (44) by solving (42) order by order, and compute the RHS using quiver (56) with the explicit q-Pochhammer expansion. If any coefficient through x^6 disagrees, the low-order matching in Section 5.2 is insufficient and the displayed complement quiver is not exact. In parallel, re-derive the exponent in (14); the corrected 4 d2 d3 term should reproduce the trefoil quiver (15).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central Section 2.1 correspondence is expository and internally consistent: equation (9) is well-defined (nodes correspond to monomials of the uncolored HOMFLY-PT polynomial, with C_ii shifting the q exponent), and the trefoil example is a genuine derivation. The load-bearing soft spot is the complement extension in Section 5.2. Equation (47) is called a 'working definition', and the figure-eight quiver (56) is obtained by comparing the first displayed terms of (52) with the general quiver expansion (53). Matching coefficients only through O(x^3) does not establish that the quiver reproduces the full series FK; it is a finite fit, and without a general construction or an all-orders proof the displayed equality (55) is underdetermined. This is compounded by Conjecture 5.1.1, which the review does flag as conjectural, but the truncation issue is not flagged. A separate typo exists in the trefoil derivation: the exponent in (14) should read 4 d2 d3, not 2 d2 d3, to match d^T C d for the matrix in (15); this is minor and does not affect the final quiver.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":15142,"tokens_out":19220,"duration_ms":190287,"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":[{"comment":"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.","section":"§5.2, Eq. (55)"},{"comment":"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.","section":"§1.2; Eqs. (24), (56)"},{"comment":"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).","section":"§5.2, Eqs. (43), (46), (50)"}],"minor_comments":[{"comment":"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).","section":"§2.1, Eq. (14)"},{"comment":"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'.","section":"§1.1, Ref. [4]"},{"comment":"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.","section":"§3.3, Eqs. (26) and (29)"},{"comment":"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.","section":"§5.2, Eqs. (47) and (53)"}],"recommendation":"major_revision","confidential_remarks":"For the editor: this is a review paper, so the main concerns are not about novelty. The issues are the overstatement of the status of the complement-quiver correspondence in Section 5.2, the inconsistency between the definition of a quiver and the signed matrices used in examples, and the sign/normalization problems in the unknot example. These are fixable, but the current version needs revision before it can be relied upon as a review."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is an explicitly labeled review, so the right question is not 'is it new' but 'is it accurate and useful.' On both counts my answer is mostly yes. The paper gives a clean walkthrough of the main equality between HOMFLY-PT generating series and symmetric quiver partition functions, works out the trefoil example in enough detail to be checkable, and summarizes the recent material on permutohedra and quiver diagonalization. The writing is plain and well organized, and it correctly labels Conjecture 5.1.1 (the quantum A-polynomial recurrence for the FK series) as conjectural rather than proven.\n\nThe weak spot is Section 5.2, the extension to knot complements. Equation (47) is explicitly a working definition, and the figure-eight quiver in (56) is obtained by matching the first few terms of the FK expansion against the general quiver expansion. Comparing coefficients up to O(x^3) does not establish that the quiver reproduces the full series; it is a finite fit. The paper does not flag this truncation, and the only real justification offered is that the result is consistent with the structure expected from [35]. For a reader who is not already inside this program, this section will feel under-motivated. The stress-test note also caught a minor typo in equation (14): the exponent should be 4 d2 d3, not 2 d2 d3, to match d^T C d for the matrix in (15). This doesn't change the final quiver, but it should be fixed.\n\nThe citation pattern is heavy on the authors' own prior work, but that is appropriate for a review written by people who built much of the correspondence. I don't see any circular reasoning — they are presenting established results, not deriving new ones from their own citations.\n\nVerdict: this is a solid expository note for someone entering the area. It won't change the landscape, but it does what a review should do: it lays out the machinery, shows a real derivation, and points to the literature. I'd want a referee to look at Section 5.2 and ask for a clarifying sentence that the quiver is matched only to finite order, plus the typo fix. With those small changes it's publishable as a review. I'd bring it to reading group only if someone is specifically working on knots or quivers, otherwise it's a pass.","headline":"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.","tokens_in":15573,"tokens_out":3164,"would_cite":false,"duration_ms":30492,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16G20","57K14","14N35"],"pacs":[],"model":"deepseek-v4-flash","headline":"A review equating knot HOMFLY-PT series to quiver partition functions, and extending the correspondence to knot complements.","keywords":["knot-quiver correspondence","HOMFLY-PT polynomials","quiver representations","Donaldson-Thomas invariants","LMOV invariants","quantum A-polynomial","knot complements","quiver diagonalization"],"falsifier":"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})$.","tokens_in":2194,"feed_emoji":"🪢","tokens_out":4241,"duration_ms":124594,"temperature":0.7,"pith_summary":"This paper claims that, for the knots it treats, the generating series of coloured HOMFLY-PT polynomials is exactly the partition function of a symmetric quiver, once the quiver variables are specialized to monomials in $x$, $a$, and $q$. The equality turns knot invariants into motivic Donaldson-Thomas invariants of quiver representations, so LMOV invariants can be read off as quiver DT invariants. It also reviews the unlinking and diagonalization operations, which preserve the quiver partition function and make DT invariants computable order by order in terms of $m$-loop quivers. The final part extends the correspondence to knot complements, where the Borel-resummed series $F_K(x,q)$ is matched to quiver partition functions, with the unknot and the figure-eight knot as worked examples. The correspondence matters because it converts knot-theoretic data into finite combinatorial quiver data and points to a shared structure behind knot invariants and quiver representation theory.","feed_headline":"Symmetric quivers reproduce knot HOMFLY-PT series","feed_subtitle":"Exact substitution turns colored HOMFLY-PT polynomials into quiver series, and extends to knot complements.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Establishes the original equality between coloured HOMFLY-PT generating series and symmetric quiver partition functions, the central identity of the review.","marker":"[14, 15]"},{"why":"Introduces the unlinking operation and proves it preserves the quiver partition function, underpinning all equivalence and diagonalization arguments.","marker":"[21]"},{"why":"Shows that equivalent quivers for a knot form permutohedra graphs, giving structural evidence for the quiver description.","marker":"[22]"},{"why":"Explains that permutohedron graphs arise from applying unlinkings in different orders, connecting the permutation structure to the quiver operations.","marker":"[23]"},{"why":"Develops quiver diagonalization, the method that expresses DT invariants through $m$-loop quivers and powers the computations in Section 4.","marker":"[26]"},{"why":"States the unproved conjecture that $F_K$ series satisfy a quantum A-polynomial difference equation, the load-bearing assumption for knot-complement quivers.","marker":"[29, 30]"},{"why":"Extends the correspondence to knot complements, matching the positive part of $F_K$ with quiver partition functions and predicting the $|Q_K|+1$ node count.","marker":"[33, 35]"},{"why":"Supplies the physical and geometric interpretation of quiver nodes as BPS ground states and arrows as bound-state or linking data.","marker":"[19]"}],"fun_headline_variants":["Exact map: quiver series to knot HOMFLY-PT","Quiver DT invariants reproduce knot HOMFLY-PT","Knot invariants from quiver partition functions","HOMFLY-PT via symmetric quiver partition functions","Correspondence: knots and quivers share series"],"cache_read_input_tokens":17792,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Exact map: quiver series to knot HOMFLY-PT","Quiver DT invariants reproduce knot HOMFLY-PT","Knot invariants from quiver partition functions","HOMFLY-PT via symmetric quiver partition functions","Correspondence: knots and quivers share series"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001122,"raw_usage":{"total_tokens":4611,"prompt_tokens":832,"completion_tokens":3779,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":448,"completion_tokens_details":{"reasoning_tokens":3704}},"tokens_in":448,"tokens_out":3779,"duration_ms":28568,"temperature":1.0,"reasoning_tokens":3704,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:58:53.380547+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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})$.","supporting_citations":[],"review_version":1}