{"id":"09ab5655-a1f6-4004-aa5d-f2265a00fb5b","arxiv_id":"1909.02305","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A state sum model is given for U_q(gl_{N|M}) quantum link invariants, and a renormalized invariant in the non-semisimple case is shown to agree with normalized colored Jones polynomials at roots of unity.","lead":"The paper builds a counting formula, a state sum, for link invariants that come from a super version of the quantum group U_q(gl_{N|M}). It then shows that a renormalized version of these invariants matches the normalized colored Jones polynomial at roots of unity, connecting to Kashaev invariants and the volume conjecture.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproved relation (16) in Prop. A.9 leaves Theorem 2.11 incomplete; the reader's Prop. 4.7 counterexample is not valid.","rationale":"The paper's main theorem depends on a finite list of local relations. Most of these are checked in Section 2, but relation (16) is not. This is a concrete, locatable gap in the proof of Theorem 2.11 and hence in the link-invariant theorems that rely on it. It does not by itself make the result false, and the underlying state sum may well satisfy (16), but the verification must be supplied before the central claim is fully proven. The reader's named weakest assumption, however, is not a real failure: the equality of quantum binomial products in Proposition 4.7 is true. I verified the algebraic reduction: after cancelling [i+j choose i] and using [-1 choose k] = (-1)^k, the two sides differ by a telescoping ratio of q-binomials that equals 1. Thus the specific example N=6, i=4, j=3 does not disprove it. A secondary issue is that Lemma 4.11 is stated without the hypothesis 0 ≤ b ≤ N; as written it can fail outside that range (e.g., N=1, a=0, b=2), although the intended application may only need b ≤ N. This should be corrected but is less central than the missing relation (16). Overall, the appropriate verdict remains conditional: the main construction is plausible and likely correct, but the proof needs a complete verification of all relations in Proposition A.9, especially (16), and a corrected statement of Lemma 4.11.","tokens_in":27157,"tokens_out":26777,"duration_ms":251942,"concrete_test":"Directly verify relation (16) for the state-sum evaluation: specialize to N=3, M=1, m=2, n=1, l=1, draw the two graphs explicitly, and expand both sides using Definition 2.10; the two Laurent polynomials in q must agree. In parallel, ask the authors to supply a derivation of (16) from the identities already in Section 2, or to state which existing lemma is intended to prove it. A CAS check of the Proposition 4.7 binomial equality for N=6, i=4, j=3 should confirm that it holds, so the reader's proposed counterexample should not be relied upon.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Theorem 2.11 is proved by checking that the combinatorial evaluation satisfies the local relations of Proposition A.9 and then invoking Proposition A.10. Relations (11)-(14) are proven (Lemmas 2.14, 2.15, Corollaries 2.17, 2.19), and relation (17) is proven by Corollary 2.21. However, the two-term relation (16) of Proposition A.9 is never explicitly proven in Section 2. Lemma 2.20 and Lemma 2.22 prove different identities, and Corollary 2.21's sum does not reduce to the two-term form of (16) in an obvious way. Since Proposition A.10 asserts that this full list of relations is sufficient to compute every MOY graph, skipping one relation leaves the central equality ⟪Γ⟫_{N|M} = ⟨Γ⟩_{N|M} unestablished as written. The reader's weakest assumption is not correct: the product equality in Proposition 4.7 is a valid q-binomial identity. For N=6, i=4, j=3, after canceling the common factor, the claimed equality reduces to [6 choose 3][3] = [6 choose 2][4], which holds as an identity of quantum binomials. Thus the well-definedness of Q_{N|1} is not damaged on that ground. The unresolved issue is the missing verification of relation (16).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper defines a combinatorial state sum ⟨Γ⟩_{N|M} for oriented planar trivalent MOY graphs, where a coloring consists of N cyclic sub-MOY graphs and M arbitrary sub-MOY graphs, and claims in Theorem 2.11 that it agrees with the Reshetikhin–Turaev invariant ⟪Γ⟫_{N|M} attached to exterior powers of the standard representation of U_q(gl_{N|M}). The proof strategy is to verify the local relations of Proposition A.9 and invoke Wu's completeness theorem (Proposition A.10). Section 3 converts the graph evaluations into an oriented link invariant P_{N|M}, and Section 4 specializes to M=1 and uniform label N, where the relevant quantum dimension vanishes, defines a renormalized invariant Q_{N|1} for marked braids, and proves that at q=e^{iπ/(N+1)} it agrees with the normalized colored Jones polynomial J'_N of the mirror link, connecting the construction to Kashaev invariants.","tokens_in":27422,"tokens_out":15574,"duration_ms":155859,"significance":"If the central equality is established, the paper gives a genuinely parameter-free, explicit state-sum realization of super quantum link invariants that depends only on N-M, and it does so uniformly for semisimple and non-semisimple specializations. The gl_{1|1} case recovers the Alexander polynomial, the renormalized family Q_{N|1} is a natural generalization, and the explicit algebraic morphisms in Appendix A make the comparison with the representation theory checkable. The claimed independence of N-M is a strong structural statement with a concrete proof strategy, and the final root-of-unity comparison with Kashaev invariants is a falsifiable and interesting result. The manuscript is carefully organized, and the combinatorial calculus is sufficiently explicit that the missing checks can be supplied in a revision.","major_comments":[{"comment":"The verification of the hypotheses of Proposition A.10 is incomplete. Lemmas 2.14, 2.15, Corollary 2.17, Corollary 2.19, and Corollary 2.21 establish relations (11), (12), (13), (14), and (17) of Proposition A.9 respectively, but no argument in Section 2 establishes relation (16). Lemma 2.20 and Lemma 2.22 prove different two-term identities, and Corollary 2.21 is the sum relation (17); I do not see a specialization that yields the two-term form of (16). Since Proposition A.10 asserts that exactly this list of relations is sufficient to compute every MOY graph, the equality ⟪Γ⟫_{N|M} = ⟨Γ⟩_{N|M} is not established as written. Please add a direct verification of (16) for the combinatorial evaluation or an explicit derivation of (16) from the relations that are proved.","section":"Section 2, Theorem 2.11 and Proposition A.9"},{"comment":"The proof of invariance under conjugation by σ1 asserts without derivation that the two products of quantum binomials are equal. This equality is load-bearing for the well-definedness of Q_{N|1} and hence for Theorem 4.10. The identity is in fact true; for instance, the suspected counterexample with N=6, i=4, j=3 reduces to a valid q-binomial identity after the common factor is removed. Nevertheless, the manuscript should supply a proof, for example by applying [r choose s] = (-1)^s [s-r-1 choose s] and then the standard identity [N choose j][j choose N-i] = [N choose i][i choose N-j].","section":"Section 4, Proposition 4.7"},{"comment":"The reduction step 'One can actually suppose (see [SW17, Section 2.3.1]) that Γ is equal to a linear combination ...' is invoked very tersely. The displayed double sums for ⟨β1⟩ and ⟨β2⟩ require that the same coefficients λij appear for both closures, and the admissible ranges of i and j need to be stated precisely. Please expand this reduction so that the σ1-conjugation invariance is fully checkable.","section":"Section 4, proof of Proposition 4.7"}],"minor_comments":[{"comment":"In the proof of Lemma 2.18, the sentence 'A coloring c = (ΓS,ΓS) of Γ' should read 'A coloring c = (ΓE,ΓS) of Γ'; as written the notation is inconsistent.","section":"Lemma 2.18"},{"comment":"In the computation of the circle evaluation, the degrees in the displayed sum appear to be interchanged: one should sum q^{deg_N(X)} over subsets X of /llbracketN/rrbracket and q^{deg_M(Y)} over multi-subsets Y of /llbracketM/rrbracket, matching Proposition 1.14. Please correct the notation.","section":"Lemma 2.14"},{"comment":"The proof begins 'either the two rungs receive the different colors or the receive different colors'; the intended dichotomy is 'the same color or different colors'.","section":"Lemma 2.22"},{"comment":"The proof of invariance under Reidemeister moves is delegated to [MOY98] in a single sentence. A short indication of how the identities of Section 2 imply the three Reidemeister moves would make the paper more self-contained.","section":"Theorem 3.4"},{"comment":"The summation index n in the displayed expansions of ⟨β1⟩ and ⟨β2⟩ is not defined at that point; it should presumably be N, consistent with the labels N+i and N−j elsewhere in the proof.","section":"Section 4, Proposition 4.7"},{"comment":"The phrase 'and explicit the relation with Kashaev invariants' should be rephrased, for example 'and make explicit the relation with Kashaev invariants'.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The main gap is localized: the missing verification of relation (16) in Proposition A.9 blocks Theorem 2.11, and the proof of Proposition 4.7 needs a written derivation of its binomial identity and a fuller reduction argument. I do not see evidence of a false central claim; the suspected counterexample to the Proposition 4.7 identity is not valid. A revision that supplies the missing relation check and the short algebraic derivations would be suitable for further consideration."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read on Robert–Wagner (1909.02305). The genuinely new thing is a MOY-style state sum for U_q(gl_{N|M}) invariants attached to exterior powers of the standard representation, plus a marked version for the N-th exterior power in gl_{N|1} that specializes directly to Kashaev invariants at roots of unity. If the main theorem holds, this is a useful combinatorial tool and a plausible stepping stone toward categorification of these non-semisimple invariants. The Appendix's algebraic setup is careful, and the local computations that are included line up with the representation theory.\n\nThe soft spot is real and locatable. The proof of Theorem 2.11 depends on verifying every local relation in Proposition A.9. The paper checks (11)–(15), (17), and a closely related variant, but the two-term relation (16) is never explicitly proven in Section 2. The claim that the local relations are checked is therefore not true as written, and because Proposition A.10 only gives completeness for the full list, the central equality ⟪Γ⟫ = ⟨Γ⟩ is not established. This is fixable—likely a direct computation parallel to the others—but it is load-bearing.\n\nOn Proposition 4.7: the reader's concern about a counterexample does not survive inspection. The specific case reduces to a standard q-binomial identity; the asserted equality is true. Still, the proof simply states the equality with no derivation, which is terse. A referee should ask for a line.\n\nThere are also small typos (for instance, Lemma 2.18 writes (ΓS,ΓS) where (ΓE,ΓS) is meant). The Kashaev relation is a new proof of a known fact, and the authors say so. Citation patterns are fine; self-citations are context, not load-bearing.\n\nBottom line: plausible and likely correct, but incomplete as written. The missing verification of relation (16) must be supplied. A serious referee should engage; with a modest revision this would be a solid paper.","headline":"The state sum is real and worth having, but the proof of Theorem 2.11 is missing one local relation—fixable, but currently incomplete.","tokens_in":27993,"tokens_out":6900,"would_cite":false,"duration_ms":58700,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B37","57M27"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that a MOY-type state sum over $(N|M)$-colorings computes the $U_q(\\mathfrak{gl}_{N|M})$ exterior-power link invariants, and that the renormalized $N|1$ invariant agrees with Kashaev invariants at $q=e^{i\\pi/(N+1)}$.","keywords":["state sums","super quantum groups","quantum link invariants","MOY graphs","exterior powers","Kashaev invariants","non-semisimple invariants","q-binomial identities"],"falsifier":"Take the q-binomial identity used in Proposition 4.7, $\\genfrac{[}{]}{0pt}{}{i+j}{i}\\genfrac{[}{]}{0pt}{}{N-1-(i+j)}{N-i}\\genfrac{[}{]}{0pt}{}{-1}{i}\\genfrac{[}{]}{0pt}{}{N}{j} = \\genfrac{[}{]}{0pt}{}{i+j}{i}\\genfrac{[}{]}{0pt}{}{N-1-(i+j)}{N-j}\\genfrac{[}{]}{0pt}{}{-1}{j}\\genfrac{[}{]}{0pt}{}{N}{i}$, and compute the difference of the two sides as a Laurent polynomial in $q$ for $(N,i,j)=(6,4,3)$; the identity is true exactly if that difference is the zero polynomial.","tokens_in":26930,"feed_emoji":"🪢","tokens_out":21542,"duration_ms":199823,"temperature":0.7,"pith_summary":"The paper sets out to turn the algebraic Reshetikhin–Turaev invariants attached to exterior powers of the standard representation of the super quantum group $U_q(\\mathfrak{gl}_{N|M})$ into explicit combinatorial state sums. Its main theorem states that for any MOY graph — an oriented planar trivalent graph with edge labels — the algebraic evaluation equals a sum over colorings of the graph by $N$ cyclic subgraphs and $M$ subgraphs, weighted by powers of $q$ and quantum binomials. Two corollaries follow: the invariant depends only on $N-M$, and it is symmetric under $q\\leftrightarrow q^{-1}$. In the non-semisimple case $M=1$ with all strands labeled $N$, the quantum dimension vanishes, so the paper renormalizes the state sum to define $Q_{N|1}$ and proves that at $q=e^{i\\pi/(N+1)}$ it matches the normalized colored Jones invariant of the mirror link, hence the Kashaev invariants. The authors state this combinatorial presentation as the natural input for future categorifications and computations.","feed_headline":"Super-quantum link invariants get explicit state sums","feed_subtitle":"A weighted sum over graph colorings matches Reshetikhin–Turaev evaluations and lands on Kashaev invariants.","key_machinery":"The workhorse is the $(N|M)$-coloring state sum. A coloring splits each edge label of a MOY graph into contributions from $N$ cyclic sub-MOY graphs and $M$ sub-MOY graphs; the weight of a coloring $c$ is $(-1)^{s(c)} q^{w_s(c)+w_{\\rho}(c)} m(c)$, where $m(c)$ is a product of quantum binomials, $w_s(c)$ records signed intersections of the two parts at split vertices, $w_{\\rho}(c)$ records rotations of cabled circles, and $s(c)$ is a parity. The proof that this state sum reproduces the algebraic invariant proceeds by checking the local MOY relations — the circle evaluation $\\binom{N-M}{k}$, the merge/$\\theta$ relations, and the ladder identities — using q-binomial addition formulas such as Proposition 1.8.","core_discovery":"On its own terms, the central discovery is Theorem 2.11: for every MOY graph $\\Gamma$, the algebraic Reshetikhin–Turaev evaluation equals the combinatorial evaluation $\\langle \\Gamma \\rangle_{N|M}$, defined as a sum over $(N|M)$-colorings $c=(\\Gamma^E,\\Gamma^S)$ of weight $(-1)^{s(c)} q^{w_s(c)+w_{\\rho}(c)} m(c)$. The proof verifies that this sum obeys the same multiplicativity property and the same local MOY relations as the algebraic invariant; the q-binomial identities of Section 1 supply the circle, merge, and ladder evaluations. From Theorem 2.11 the authors conclude that both evaluations depend only on $N-M$ and are symmetric in $q$ and $q^{-1}$. In the non-semisimple case $M=1$, label $N$, they define a renormalized invariant $Q_{N|1}$ using a marked point on a strand and prove (Theorem 4.10) that at $q=e^{i\\pi/(N+1)}$ it coincides with the normalized colored Jones invariant $J'_N$ of the mirror link, a root-of-unity quantum-binomial identity being the last step.","pith_inferences":["One consequence the paper leaves implicit is algorithmic: the color-sum formula is a finite sum over subsets and multisubsets, so $P_{N|M}$ and $Q_{N|1}$ can be evaluated by direct enumeration on a braid diagram.","Because the same polynomial arises from many pairs $(N,M)$ with fixed difference, the state-sum presentations are not unique; if categorified separately, they could produce distinct homological refinements of the same invariant, a possibility the paper cites as an open conjecture.","The root-of-unity specialization suggests a testable ladder: the same marked state sum could be evaluated at other roots of unity to produce Alexander-like invariants beyond the Kashaev case, though the paper does not pursue this."],"forward_implications":["For every labeled link $L$, the link invariant $P_{N|M}(L)$ defined from the state sum depends only on $N-M$, so invariants from different super ranks with the same difference coincide; this also identifies exterior-power invariants of $\\mathfrak{gl}_{N|M}$ with symmetric-power invariants of $\\mathfrak{gl}_{M|N}$ up to mirroring.","The $N|1$ renormalized invariant $Q_{N|1}$ is a nontrivial renormalization of a vanishing-quantum-dimension invariant, and at $q=e^{i\\pi/(N+1)}$ it equals $J'_N(\\overline{L})$, placing it in the Kashaev family that appears in the volume conjecture.","The invariants are now defined by explicit finite sums over subsets and multisubsets, so they can be evaluated combinatorially without building intertwiners.","The state sum factors into a positive multiplicity and a signed power of $q$, and the authors propose this presentation as a starting point for categorifying the Alexander/Kashaev family."],"supporting_citations":[{"why":"Introduces the MOY graph state sum and local relations that this paper extends to the gl_{N|M} super setting.","marker":"[MOY98]"},{"why":"Supplies the q-integer and q-binomial identities used to verify the circle and vertex evaluations.","marker":"[KC02]"},{"why":"Cited for the fact that multiplicativity plus the local MOY relations determine the value of any MOY graph.","marker":"[Wu14]"},{"why":"Provides the renormalization framework for non-semisimple super invariants that underlies Q_{N|1}.","marker":"[GPM10]"},{"why":"Gives the algebraic gl(m|n) invariants, the N-M dependence, and the vanishing of high-label invariants motivating Section 4.","marker":"[QS15]"},{"why":"Defines the Kashaev invariants that Theorem 4.10 matches at q=e^{i\\pi/(N+1)}.","marker":"[Kas95]"},{"why":"Earlier indirect proof that renormalized super invariants specialize to Kashaev invariants, which the present state sum proves directly.","marker":"[GPM08]"},{"why":"Records the normalized colored Jones values at roots of unity whose role in the volume conjecture motivates the comparison.","marker":"[MM01]"}],"fun_headline_variants":["Explicit state sums for super-quantum link invariants","Super-quantum invariants: state sums meet Kashaev","State sums match Reshetikhin–Turaev for super links","Kashaev invariants from super-group state sums"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a certain product of quantum analogues of binomial coefficients, displayed in the proof of Proposition 4.7, equals a symmetrically written second product for all $0\\le i,j\\le N$; the equality is asserted without derivation, and if it is false the proof that $Q_{N|1}$ is a link invariant collapses.","fun_headline_variants_meta":{"raw":{"variants":["Explicit state sums for super-quantum link invariants","Super-quantum invariants: state sums meet Kashaev","State sums match Reshetikhin–Turaev for super links","Kashaev invariants from super-group state sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000908,"raw_usage":{"total_tokens":3851,"prompt_tokens":843,"completion_tokens":3008,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":459,"completion_tokens_details":{"reasoning_tokens":2937}},"tokens_in":459,"tokens_out":3008,"duration_ms":23580,"temperature":1.0,"reasoning_tokens":2937,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:55:47.138394+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the q-binomial identity used in Proposition 4.7, $\\genfrac{[}{]}{0pt}{}{i+j}{i}\\genfrac{[}{]}{0pt}{}{N-1-(i+j)}{N-i}\\genfrac{[}{]}{0pt}{}{-1}{i}\\genfrac{[}{]}{0pt}{}{N}{j} = \\genfrac{[}{]}{0pt}{}{i+j}{i}\\genfrac{[}{]}{0pt}{}{N-1-(i+j)}{N-j}\\genfrac{[}{]}{0pt}{}{-1}{j}\\genfrac{[}{]}{0pt}{}{N}{i}$, and compute the difference of the two sides as a Laurent polynomial in $q$ for $(N,i,j)=(6,4,3)$; the identity is true exactly if that difference is the zero polynomial.","supporting_citations":[],"review_version":1}