{"id":"9fafd4c5-562d-4712-8dec-c0b8b60b998c","arxiv_id":"2505.02059","paper_version":2,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":0.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"This is a review of knot polynomials, triply-graded knot homologies, and the knots-quivers correspondence, with no new results.","lead":"This preprint is a survey of knot invariants, their categorifications, and the correspondence between knots and quivers. It is a useful synthesis for readers entering the topic, but it contains no new mathematical results.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The LMOV integrality 'proof' in §4.2 is conditional on the unproven knot-quiver correspondence; the survey does not flag this, so the central claim overstates current knowledge.","rationale":"The paper is an explicitly labeled survey, so the appropriate baseline is faithfulness to the literature rather than novelty. The most load-bearing point for the central claim is not the technical validity of quiver DT integrality—that part is a known theorem for symmetric quivers—but the status of Eq. (36) and its geometric counterpart Eq. (52). The survey itself labels Eq. (36) the 'main conjecture,' which is exactly right, but then immediately uses it as the premise of a proof without flagging the conditional. This matters because a reader consulting the survey to learn the state of the art could come away believing the LMOV conjecture is proven for all symmetric representations of all knots, when in reality the proof is conditional on the still-open knot-quiver correspondence. The same issue affects Section 5: the geometric 'derivations' are not independent checks, since Eq. (52) is the dual formulation of the same conjecture. This is not a criticism of the survey's reliance on [11]—surveys should import results—but the import should be marked as conjectural where the sources mark it as conjectural. The reader's weakest assumption identifies the same region of the argument, though it focuses on the geometric brane/large-N side; the concern here is broader: the entire 'proof of LMOV integrality' is conditional. Hence partial agreement. The verdict remains UNVERDICTED; a revision adding the word 'conditional' and a caveat would remove the overstatement. No new derivation or code is offered, so there is no computational check to run; the proposed test is a literature-status check.","tokens_in":19971,"tokens_out":8160,"duration_ms":88834,"concrete_test":"Check the primary sources for the status of the correspondence. In [4] (Kucharski–Reineke–Stošić–Sułkowski) and [33] (Ekholm–Kucharski–Longhi, arXiv:1811.03110), locate the statements of the main conjecture and of the integrality conclusion. If these papers explicitly call the knots-quiver correspondence a conjecture and present LMOV integrality as a consequence conditional on it, then the survey must insert 'conditional on the KQ correspondence' before 'This proves ...' in §4.2 and before Eq. (75). A second, textual check: in the submitted survey, verify whether any sentence between Eq. (36) and Eq. (38) qualifies Eq. (36) as an assumption; if not, the overstatement is confirmed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core derivation of the survey's central claim is in §4.2. Equation (36) is introduced as 'The main conjecture of the knot-quiver correspondence states that the generating function ... can be written as ...' and the next sentence says 'This proves the integrality of BPS states N_{S_r,i,j}, which is the statement of the LMOV conjecture.' The logical form is: if a knot admits a symmetric quiver representation of the form (36), then LMOV integrality for symmetric representations follows from integrality of motivic DT invariants. But the antecedent is exactly the knot-quiver correspondence, which remains a conjecture for general knots. The same conditional structure appears in §5: Eq. (52) and (68) identify the open Gromov-Witten partition function with the quiver series, and this identification is not established inside the survey but is the geometric form of the correspondence. Consequently Eqs. (74) and (75), the quiver A-polynomial and the disk-potential relation, do not provide independent confirmation; they inherit the conjecture. A survey may present such a conditional route, but as written the sentence 'This proves the integrality ... statement of the LMOV conjecture' does not say 'conditional on the knot-quiver correspondence' and can be read as claiming a proof of LMOV that the field does not currently have.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is a survey of knot polynomials and their connection to quivers. It reviews classical polynomial invariants, categorification, the triply-graded superpolynomial and colored differentials of Dunfield-Gukov-Rasmussen, and then focuses on the knots-quivers (KQ) correspondence developed by Kucharski-Reineke-Stosic-Sulkowski and Ekholm-Kucharski-Longhi. The main objects are the conjectural identity (36) between the generating function of colored HOMFLY-PT polynomials and a quiver generating series, the identification of LMOV invariants with motivic Donaldson-Thomas invariants, the geometric dual description via open Gromov-Witten theory and Lagrangian conormals, and the 3d N=2 quiver theory T[Q_K]. The paper contains worked examples (trefoil, T(3,4), unknot) and a discussion of framing, unreduced quivers, quiver A-polynomials, and the relation between quiver disk potentials and Gromov-Witten disk potentials. No original research results are claimed; the survey is expository and draws heavily on [4,5,11].","tokens_in":20176,"tokens_out":8640,"duration_ms":80405,"significance":"If the presentation were fully accurate, this survey would be a useful entry point to an active and technical literature at the interface of knot theory, topological strings, and quiver representation theory. Its strengths are the explicit examples, the compilation of the relevant dictionary between knot invariants and quiver data, and the honest labeling of the central identity (36) as a conjecture. The paper also helpfully collects the relevant literature. However, the survey's reliability is currently compromised by several load-bearing imprecisions: an overstatement about proving the LMOV conjecture, an inconsistent formulation of the quiver variable change, and concrete errors in the worked examples and in the unknot quiver superpotential. These issues affect the paper's central expository claims and must be corrected before the survey can be used reliably by non-experts.","major_comments":[{"comment":"The sentence 'This proves the integrality of BPS states N_{S_r,i,j}, which is the statement of the LMOV conjecture' overstates the logical status of the argument, because the antecedent is precisely the knot-quivers correspondence, which the same paragraph labels 'the main conjecture'. As written, the sentence can be read as claiming an unconditional proof of LMOV integrality, which the field does not currently have. The passage should be reworded to read, for example, 'Conditional on the knot-quivers correspondence, this proves...', and it should explicitly state that the correspondence is conjectural for general knots.","section":"Section 4.2, after Eq. (36)"},{"comment":"The variable change defining the quiver variables is garbled and inconsistent between the two equations. Eq. (37) appears to read x_i = x a^{a_i} q^{l_i-1} (-1)^{t_i}, while Eq. (52) gives x_i = x^{n_i} a^{a_i} q^{l_i} (-t)^{C_ii}; the definitions of l_i, q_i, and t_i also conflict with their later use, such as 'l_i = q_i - C_ii' in Section 5.2 versus 'l_i = q_i - t_i' in Section 4.2. Since this dictionary is the core of the correspondence and is used in the trefoil and unknot examples, the notation must be unified and defined unambiguously.","section":"Section 4.2, Eq. (37) and Section 5.2, Eq. (52)"},{"comment":"The displayed superpolynomials for the trefoil and T(3,4) contain typos that matter for the pedagogical exposition: Eq. (10) contains the term 'a^4 a^0 t^3', which is dimensionally inconsistent with the neighboring terms, and Eq. (11) contains a repeated 't^5' and missing q-powers. Because these examples are used to illustrate the action of the colored differentials, the formulas should be checked against the cited source [3] and corrected.","section":"Section 3.1, Eq. (10) and Section 3.2, Eq. (11)"},{"comment":"The derivation of the quiver A-polynomial (74) and the disk-potential relation (75) relies on the geometric identification (52) between the open Gromov-Witten partition function and the quiver generating series. This identification is imported from [11] and is itself a form of the KQ correspondence, but the survey presents it as an established fact without flagging its conjectural status. The text should explicitly state that Eqs. (68)-(75) are conditional on the geometric correspondence and on the validity of the large-N transition and brane construction.","section":"Section 5.4, Eqs. (68)-(75)"},{"comment":"The quiver superpotential for the unknot is written with a CS-coupling term '(1/2) log y_1 log y_1', but for the unreduced unknot quiver the single loop is on node 2 (the quiver matrix is diag(0,1)), so the term should be '(1/2) log y_2 log y_2'. This is a concrete sign error in the central worked example and contradicts the preceding quiver data, in particular Eq. (79).","section":"Section 5.6, Eq. (96)"}],"minor_comments":[{"comment":"Several typos should be fixed: 'refereed' should be 'referred' in the discussion of Gopakumar-Vafa invariants, and 'sympletic' should be 'symplectic' in the introduction to Section 5.","section":"Section 1"},{"comment":"The exponent n in the exponential growth property is never defined; it should be the color r, since the relation compares the r-colored polynomial with the r-th power of the uncolored polynomial.","section":"Section 4.1, Eq. (22)"},{"comment":"The statement that HOMFLY-PT polynomials 'cannot distinguish between mutants' is too strong; HOMFLY-PT distinguishes some pairs of mutants, though not all. The sentence should be made more precise, for example by saying that these invariants do not distinguish certain mutants, or by citing the precise result of [12].","section":"Section 2"},{"comment":"The notation for motivic Donaldson-Thomas invariants is inconsistent: Eq. (33) defines a generating function Ω_{d,s}^{Q_K} with a spin index s, but the following sentence refers to Ω_{d_1,...,d_m} as the numerical DT invariants without further comment. The relationship between Ω_{d,s} and the numerical invariants should be clarified.","section":"Section 4.2, Eq. (33)"},{"comment":"The splitting identity (47) is applied to the unknot generating function, but the resulting quiver of twice the size is only partially described; the text says 'a detailed analysis has been given in [5]', which is acceptable for a survey, but the two-node case displayed in Eq. (50) could be spelled out more fully for readability.","section":"Section 4.3, Eq. (50)"}],"recommendation":"major_revision","confidential_remarks":"This is a survey with no new results, so its value rests entirely on the accuracy and clarity of its exposition. The issues listed in the major comments are fixable, but they concern the central dictionary and the status of the main conjecture, so they should be addressed before the paper can be relied upon as a reference. The author may also consider adding a short 'status of the correspondence' table listing which knots are known to satisfy (36) and which are conjectural. The manuscript is otherwise in scope for the journal, though it is closer to a review article than a research paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on Sachdeva's survey. It is exactly what it says: a review, not a research paper. No new theorems, data, or code. That is not a flaw if you want an orientation to the knots-quivers correspondence. I think the survey is useful and mostly faithful. The worked examples (trefoil, T(3,4), unknot) are a real asset; reproducing the quiver matrices and the unknot DT invariants is exactly the kind of concreteness that makes a survey worth having. The debts to [3], [4,5], [11], etc. are clearly acknowledged, and the conjectural status of the main correspondence is stated at several points.\n\nThe soft spots are mostly small. There is a typo in Eq. (10) — the 'a4 a0 t3' term should presumably be a4 t3. A cross-reference to Eq. (79) looks like it means Eq. (50). And [11] and [33] are the same paper. These are minor and easily fixed.\n\nThere is one substantive problem. In §4.2, the text says that writing the HOMFLY-PT generating function as a quiver series proves the integrality of the LMOV invariants, 'which is the statement of the LMOV conjecture.' That is only true conditional on the knot-quiver correspondence itself, which remains a conjecture for general knots. The sentence can be read as claiming a proof the field does not have. The fix is easy: say 'assuming the correspondence, LMOV integrality follows from integrality of motivic DT invariants.' Same issue appears in §5: the identifications (52) and (68) between the open Gromov-Witten partition function and the quiver series are imported from [11] and inherit its conjectural status. The survey mostly signals this, but the wording in §4.2 is too strong.\n\nOn balance the central argument holds up as a survey: the equations I checked match the cited literature, and the framework is presented accurately once you add the missing conditionals. It advances no new technique, but it does a genuine service as a map. I would send it to a referee: a good referee can catch the LMOV overstatement and the typos in one pass. I would not desk reject. The intended reader is a graduate student or a researcher entering knots-quivers from either side; for that reader the concreteness of the examples is the main value. I would cite it as a survey when orienting to the area.","headline":"A faithful, useful survey of knots-quivers that overstates one key claim: LMOV integrality is presented as proven when it is conditional on the still-conjectural knot-quiver correspondence.","tokens_in":20726,"tokens_out":1960,"would_cite":true,"duration_ms":20418,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K14","57K18","16G20","14N35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The knot-quiver correspondence claims that every knot's colored HOMFLY-PT generating function is secretly the motivic generating series of a symmetric quiver, and that this rewriting proves the integrality of LMOV BPS invariants.","keywords":["knot-quiver correspondence","HOMFLY-PT polynomial","LMOV invariants","motivic Donaldson-Thomas invariants","superpolynomial","triply-graded homology","quiver A-polynomial","topological strings"],"falsifier":"Compute the colored HOMFLY-PT superpolynomials of a knot beyond the trefoil and unknot, such as the figure-eight knot $4_1$ or the knot $9_{42}$, extract the putative quiver matrix $C_{ij}$ and parameters $l_i,a_i,t_i$ from the uncolored data, and read off the motivic DT invariants from the product formula. The correspondence predicts a finite symmetric matrix and non-negative integer motivic DT invariants at every dimension vector; a knot whose extraction forces negative DT invariants, an asymmetric or infinite matrix, or a mismatch between the quiver $A$-polynomial and the known knot $A$-polynomial would refute the claim.","tokens_in":19720,"feed_emoji":"🔗","tokens_out":10616,"duration_ms":100965,"temperature":0.7,"pith_summary":"This survey argues that knot polynomials and their homological refinements share a common skeleton with the representation theory of quivers. Its organizing claim is the knot-quiver correspondence: the generating function of a knot's colored HOMFLY-PT polynomials can be rewritten as the motivic generating series of a symmetric quiver, with a finite integer matrix $C_{ij}$ and integer parameters $l_i,a_i,t_i$ read off from the uncolored superpolynomial. Through a fixed change of variables, this rewriting identifies LMOV invariants with motivic Donaldson-Thomas invariants, whose known non-negative integrality for symmetric quivers yields the LMOV integrality statement. The survey also assembles the physical and geometric side, where quiver nodes are holomorphic disks ending on the knot conormal and the quiver superpotential is dual to the open Gromov-Witten disk potential. A reader should come away seeing the knot-quiver correspondence as the link that turns BPS-state counting into quiver moduli problems and back.","feed_headline":"Quivers prove knot BPS counts are integers","feed_subtitle":"A survey rewrites colored HOMFLY-PT polynomials as quiver Donaldson-Thomas series, proving LMOV integrality.","key_machinery":"The central object is the symmetric quiver $Q_K$, a directed graph with equal numbers of arrows in both directions between any two nodes, encoded by a symmetric integer adjacency matrix $C_{ij}$. The argument is carried by matching two generating series: the colored HOMFLY-PT series of the knot and the motivic quiver series $P_{Q_K}(x,q) = \\sum_{d_1,\\dots,d_m \\ge 0} (-q)^{\\sum_{i,j} C_{ij} d_i d_j} \\prod_i x_i^{d_i}/(q^2;q^2)_{d_i}$, with the explicit variable change $x_i = x a^{a_i} q^{l_i-1}(-1)^{t_i}$. The same quiver reappears geometrically as the intersection pattern of $m$ basic holomorphic disks ending on the Lagrangian conormal $L_K$, giving a dictionary: nodes are disks, arrows are linking numbers, $t_i$ counts loops, $l_i$ counts intersections with a 4-chain, and $a_i$ counts winding around the $\\mathbb{CP}^1$. The physical engine is the three-dimensional $\\mathcal{N}=2$ theory $T[Q_K]$, whose twisted superpotential $W_{T[Q_K]} = \\sum_i \\operatorname{Li}_2(y_i) + \\sum_i \\log((-1)^{C_{ii}} x_i)\\log y_i + \\tfrac12 \\sum_{i,j} C_{ij} \\log y_i \\log y_j$ produces, by saddle point, the quiver $A$-polynomial and, by Legendre transform, the Gromov-Witten disk potential.","core_discovery":"The central discovery, presented as the main conjecture of the knot-quiver correspondence, is an explicit identity between knot and quiver generating functions: the colored HOMFLY-PT generating series equals a sum over dimension vectors of a symmetric quiver, with Boltzmann weight $q^{\\sum_{i,j} C_{ij} d_i d_j} \\prod_i x_i^{d_i} q^{l_i d_i} a^{a_i d_i} (-1)^{t_i d_i}/(q^2;q^2)_{d_i}$. The diagonal entries satisfy $t_i = C_{ii}$, and the variables $x_i$ are tied to the single knot variable $x$ by $x_i = x a^{a_i} q^{l_i-1}(-1)^{t_i}$. After this substitution, the LMOV invariants in the Ooguri-Vafa expansion are precisely the motivic Donaldson-Thomas invariants of the quiver; because those invariants are non-negative integers for symmetric quivers, the LMOV conjecture for symmetric representations follows. Geometrically, the same quiver describes holomorphic disks with boundary on the knot conormal: $C_{ij}$ counts self-linking of disk boundaries, $a_i$ counts wrapping around the $\\mathbb{CP}^1$ class, and $t_i$ records winding around the two-cycle joining the conormal to itself. The survey works out the trefoil and unknot in detail, including quiver matrices, motivic DT invariants, the quiver $A$-polynomial, and the matching of disk potentials via Legendre transform.","pith_inferences":["If the knot-quiver correspondence is an equivalence of generating functions rather than a bijection of objects, then quiver operations such as unlinking and involution predict families of distinct knots sharing identical quiver invariants; quiver refinements, not knot refinements, would be the constrained direction.","Because the quiver $A$-polynomial is computed from the finite data of the uncolored superpolynomial, the correspondence offers a practical route to $A$-polynomials of arbitrary knots; checking it against known $A$-polynomials for knots such as $4_1$ would be a cheap test.","The equality of vortex partition functions with quiver generating series suggests that wall-crossing, a standard tool in quiver Donaldson-Thomas theory, could be imported to the LMOV side, with stability changes on the quiver corresponding to framing or normalization changes of the knot invariant.","If the geometric reading is correct, disk-counting invariants from knot contact homology should be expressible as Donaldson-Thomas invariants of symmetric quivers, linking two computational worlds that are currently developed separately."],"forward_implications":["For every knot for which the quiver rewriting exists, the colored HOMFLY-PT LMOV invariants are non-negative integers, since they are motivic Donaldson-Thomas invariants of a symmetric quiver; this is the LMOV conjecture for symmetric representations.","The knot's $A$-polynomial is recovered from a product of quiver $A$-polynomials $y^* = \\prod_i y_i^*$, so the quiver data determine the classical algebraic curve encoding the asymptotics of the colored invariants.","Framing acts uniformly on the quiver: it shifts every entry of $C_{ij}$ by $f$, equivalently adding $f$ loops at each node and $f$ pairs of oppositely oriented arrows between every pair of nodes.","Choosing the unreduced normalization doubles the quiver: the splitting identity turns each node into a pair and produces a larger symmetric quiver whose motivic DT invariants match the unreduced LMOV data, as shown for the unknot.","Knots that fail the exponential growth property, such as $9_{42}$, are still covered once the variable change is modified to $x_i \\sim x^{n_i}$, accounting for multiply wrapped basic disks."],"supporting_citations":[{"why":"Defines the triply-graded superpolynomial whose generators supply the quiver parameters $a_i$, $l_i$, and $t_i$.","marker":"[3]"},{"why":"Establishes the knots-quivers correspondence: the identity between the colored HOMFLY-PT generating series and the symmetric quiver motivic series.","marker":"[4, 5]"},{"why":"Provides the brane realization of knots via the conormal and introduces the LMOV invariants in open topological string theory.","marker":"[8]"},{"why":"Formulates the LMOV conjecture and the Ooguri-Vafa expansion into BPS invariants that the quiver rewriting is meant to prove.","marker":"[9, 10]"},{"why":"Supplies the large-$N$ transition, the holomorphic-disk interpretation, the 3d $\\mathcal{N}=2$ theory $T[Q_K]$, and the quiver $A$-polynomial and disk-potential relations.","marker":"[11]"},{"why":"Proves the integrality and non-negativity of motivic Donaldson-Thomas invariants for symmetric quivers, the fact that carries the LMOV integrality proof.","marker":"[29, 30]"},{"why":"Shows that the algebraic curve built from classical LMOV invariants satisfies the knot $A$-polynomial, linking quiver data to the classical curve.","marker":"[24]"},{"why":"Gives the super-$A$-polynomial and the large-color semi-classical limit connecting colored HOMFLY-PT homologies to algebraic curves.","marker":"[28]"}],"fun_headline_variants":["Knot-quiver dictionary proves LMOV integrality","Quiver DT series prove knot BPS integrality","HOMFLY-PT as quiver series proves LMOV conjecture","Quiver identity proves knot BPS numbers are integers"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the string-theory description of a knot—wrapping branes on the knot conormal and passing through the geometric transition to a resolved Calabi-Yau—is exact: the open Gromov-Witten partition function of the conormal really equals the quiver generating series after the variable change, and the three-dimensional theory $T[Q_K]$ really is dual to the topological string on that geometry. If that equality fails for some family of knots, the geometric and physical derivations in the survey do not go through, even though the algebraic quiver rewriting could still hold knot by knot.","fun_headline_variants_meta":{"raw":{"variants":["Knot-quiver dictionary proves LMOV integrality","Quiver DT series prove knot BPS integrality","HOMFLY-PT as quiver series proves LMOV conjecture","Quiver identity proves knot BPS numbers are integers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000819,"raw_usage":{"total_tokens":3618,"prompt_tokens":1011,"completion_tokens":2607,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":627,"completion_tokens_details":{"reasoning_tokens":2540}},"tokens_in":627,"tokens_out":2607,"duration_ms":20694,"temperature":1.0,"reasoning_tokens":2540,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:02:34.093593+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the colored HOMFLY-PT superpolynomials of a knot beyond the trefoil and unknot, such as the figure-eight knot $4_1$ or the knot $9_{42}$, extract the putative quiver matrix $C_{ij}$ and parameters $l_i,a_i,t_i$ from the uncolored data, and read off the motivic DT invariants from the product formula. The correspondence predicts a finite symmetric matrix and non-negative integer motivic DT invariants at every dimension vector; a knot whose extraction forces negative DT invariants, an asymmetric or infinite matrix, or a mismatch between the quiver $A$-polynomial and the known knot $A$-polynomial would refute the claim.","supporting_citations":[{"cited_title":"Knots, bps states, and algebraic curves,","cited_arxiv_id":null,"evidence_quote":"Shows that the algebraic curve built from classical LMOV invariants satisfies the knot $A$-polynomial, linking quiver data to the classical curve."},{"cited_title":"3d analogs of argyres-douglas theories and knot homologies,","cited_arxiv_id":null,"evidence_quote":"Gives the super-$A$-polynomial and the large-color semi-classical limit connecting colored HOMFLY-PT homologies to algebraic curves."}],"review_version":1}