{"id":"864703b5-aa42-4afa-839e-3953ee08db2a","arxiv_id":"2412.13561","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A family of gl_{M+1} partition functions with additional boundary sites is exactly represented by new extended weight functions in rational, trigonometric, and elliptic cases.","lead":"This paper defines a broad class of higher-rank lattice partition functions and proves they equal explicit multisymmetric functions in the rational, trigonometric, and elliptic settings. It extends the Foda-Manabe construction to include extra boundary sites at every level, unifying all three cases under one method.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.4 is not actually proved: the explicit elliptic weight function is never shown to satisfy the elliptic quasi-periodicity (30)-(31) required by Proposition 3.1, so the uniqueness step in the elliptic Izergin-Korepin analysis is unsupported.","rationale":"The reader’s weakest assumption identifies the elliptic quasi-periodicity of the candidate weight function as the load-bearing step, and I agree: Theorem 3.4 is the central claim of the paper, and its proof does not verify the hypothesis of Proposition 3.1 for W. The concern is not that the identity is false—the rational case is worked out in detail, and a direct symbolic check of (37) suggests the elliptic quasi-periods do match—but that the manuscript does not supply the required computation. The trigonometric and elliptic cases are largely asserted by analogy, and the elliptic case in particular contains nontrivial dynamical shifts and C^{(p)} factors that are easy to get wrong by an off-by-one γ shift. This makes a conditional verdict appropriate. I also note a minor notational issue: Definition 3.3 names the weight function ψ on the right-hand side, while Theorem 3.4 writes ψ = W without redefining W; this is presumably a typo but should be fixed. No circular reasoning, fitted parameters, or independent evidence contradicting the claim were found.","tokens_in":30291,"tokens_out":15051,"duration_ms":144497,"concrete_test":"Recompute the quasi-period of the right-hand side of (37) in w^{(M)}_{L_M} symbolically: substitute w → w+1 and w → w+τ into every factor containing w^{(M)}_{L_M} (the products over i and the single special theta ratio), use the quasi-periodicity (22), and verify that the resulting multiplier is exactly (30)-(31). If the γ-coefficient differs by any nonzero multiple of γ, Theorem 3.4 fails. As a complementary check, contract the elliptic R-matrix (23) directly for the minimal non-trivial case M=2, k_2=2, L_2=2, k_1=1, L^I_1=L^{II}_1=0, with the top-right color not M+1, at generic numerical parameters, and compare with (37).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The elliptic argument rests on Proposition 3.1, which requires both the partition function and the candidate explicit function to lie in the same space Θ_{k_M}(χ), with the exact quasi-periods (30)-(31) as functions of w^{(M)}_{L_M}. Proposition 3.2 derives those quasi-periods for the partition function ψ from the rightmost column structure, culminating in equations (35)-(36). However, the proof of Theorem 3.4 is only the sentence “The proof is the same as the rational/trigonometric case,” and it never verifies that the multisymmetric function (37), which it calls W, has the same quasi-periods. This is not a cosmetic gap: the interpolation step uses exactly k_M point evaluations, and if W had a slightly different character—for instance a γ-shift of the form γ(L_M - C^{(M)}(L_I,i)) ± cγ for nonzero c—then Proposition 3.1 could not be applied, and the identity ψ = W would not follow. A direct inspection of (37) suggests the check can be carried out: the special theta ratio and the relation C^{(M)}(L_I,M+1)=L_M-k_M appear to make the γ-coefficient come out as γ(L_M-C^{(M)}(L_I,i)). But this verification is absent from the manuscript, and the same is true for the verification that W satisfies the recursive property (32). Thus the central claim is conditional on a computation the paper does not supply.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a family of gl_{M+1} lattice partition functions that extend the Foda-Manabe construction by adding left and right boundary quantum spaces at every level. For the rational, trigonometric, and elliptic R-matrices, the authors state a nested Korepin lemma and use it to characterize the partition function, then propose explicit extended multisymmetric weight functions W and claim ψ = W (Theorems 2.3, 2.9, and 3.4). The rational case is supported by detailed computations in Propositions 2.4–2.6; the trigonometric case is stated to follow by the same strategy; the elliptic case is summarized with a brief proof sketch. Section 4 specializes the elliptic formulas and compares them with elliptic weight functions of Konno and Rimányi–Tarasov–Varchenko.","tokens_in":30602,"tokens_out":12322,"duration_ms":107783,"significance":"If the main identities hold, the paper gives explicit multisymmetric formulas for a substantially enlarged class of gl_{M+1} partition functions and unifies the rational, trigonometric, and elliptic weight-function families. The rational proof is concrete and the special-case comparison in Section 4 is a useful contribution. The elliptic claim is, however, not currently established: the essential quasi-periodicity check for the candidate function W is missing, and the manuscript also contains a discrepancy in the displayed elliptic recursion. These are localized and fixable issues, but they are load-bearing for the central theorem, so I cannot recommend acceptance in the present form.","major_comments":[{"comment":"The elliptic uniqueness argument is incomplete. Proposition 3.1 can be applied only if both the partition function and the explicit candidate function W lie in Θ_{k_M}(χ) with the same quasi-periods. Proposition 3.2 establishes the quasi-periods (30)–(31) for ψ, but the proof of Theorem 3.4 says only that the proof is 'the same as the rational/trigonometric case' and then lists relations among the C^{(p)} symbols for Properties 3–5. No verification is given that the function defined by (37), as a function of w^{(M)}_{L_M}, satisfies (30)–(31). This is not a cosmetic omission: the interpolation step uses exactly k_M point evaluations, and a different γ-shift in the character would make Proposition 3.1 inapplicable. Please add the explicit computation of W(w^{(M)}_{L_M}+1) and W(w^{(M)}_{L_M}+τ) from (37), or give a self-contained induction proving the quasi-periodicity.","section":"§3, Theorem 3.4"},{"comment":"The displayed recursion coefficient in (32) does not match the derivation in the proof. The proof ends with the factor -[Λ_{M+1}-Λ_i+γ][γ] / [Λ_{M+1}-Λ_i-(k_M-L_M)γ], which is equal to [γ][λ_{M+1}-λ_i+γ(k_M-L_M+C^{(M)}(L_I,i))] / [λ_i-λ_{M+1}+γ(1-C^{(M)}(L_I,i))]. Equation (32) instead writes [γ] divided by the product of these two theta brackets. As written, the printed recursion differs from the derived one by a factor of [λ_{M+1}-λ_i+γ(k_M-L_M+C^{(M)}(L_I,i))]^2. Since this recursion is part of the data used in the uniqueness argument, the formula must be corrected or an explanation must be given for the missing cancellation.","section":"§3, Proposition 3.2, Eq. (32)"},{"comment":"The notation in the elliptic case is inconsistent. Definition 3.3 presents formula (37) with the symbol ψ on the left-hand side and calls it the extended elliptic weight function, while Theorem 3.4 states ψ = W. As printed, W is never defined for the elliptic case, so the theorem is ill-posed or tautological. Presumably (37) is intended to define W; please fix the notation consistently throughout Section 3 and in the statement of Theorem 3.4.","section":"§3, Definition 3.3 and Theorem 3.4"},{"comment":"The trigonometric theorem is not actually proved in the text. The statement that the strategy is identical to the rational case is not a proof, because the q-dependent R-matrix (14) changes the weights and the specialization point v^{(M)}_{L_M}=q^{-1}u^{(M)}_{k_M} in Property 3 of Proposition 2.7. The analogues of Propositions 2.4–2.6 for the function (19) are not stated. I recommend either providing the trigonometric recursion proofs or giving a precise reduction showing that the rational computations apply verbatim to (14)–(19).","section":"§2.5, Theorem 2.9"}],"minor_comments":[{"comment":"The interpolation condition after the points y_j is misprinted: 'P k y_k − α' should presumably be '∑_k y_k − α ∉ Γ'.","section":"§3, Proposition 3.1"},{"comment":"In the proof of Property 4 or 5 there is a typo 'L_I^{M1}' in the sentence about I^{(M)}_{k_M}; it should be 'L_I^{M-1}' or similar.","section":"§3, proof of Proposition 3.2"},{"comment":"The displayed equations in Step 1 contain strikethrough/cancelled factors; the camera-ready version should remove these editorial marks.","section":"§2, proof of Proposition 2.4"},{"comment":"The equivalence of (40) with the Konno and Rimányi–Tarasov–Varchenko formulas is shown by a dictionary between symbols and a statement that the expressions are equivalent; please add at least a short explanation of why the unordered multisets of summands and the theta arguments coincide after the stated relabellings.","section":"§4"}],"recommendation":"major_revision","confidential_remarks":"The core strategy is standard and the rational case is convincing; the elliptic gap in Theorem 3.4 and the inconsistency in Eq. (32) are the main obstacles. Both appear fixable, but they are central to the paper's headline claim, so I would not accept the current version. I saw no evidence of circularity or data fitting; the comparison with known elliptic weight functions in Section 4 is a genuine check."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The rational case is the real contribution; the elliptic theorem is not yet proven. Gerrard, Motegi, and Sakai extend Foda-Manabe's partition functions by adding left and right quantum sites at every level, and give explicit multisymmetric formulas for all three versions. The rational case is proved properly: Propositions 2.4-2.6 check the Korepin properties in detail, and the nested Izergin-Korepin framework is sound. The unified treatment is a solid technical advance, and Section 4's comparison with Konno and Rimanyi-Tarasov-Varchenko is useful.\n\nThe soft spot is exactly where the stress-test note lands. Theorem 3.4 is the elliptic analogue, but its proof is one sentence: 'The proof is the same as the rational/trigonometric case.' That is not enough. Proposition 3.1 (Felder-Schorr) requires the candidate W, as a function of w^{(M)}_{L_M}, to lie in Theta_{k_M}(chi) with the exact quasi-periods (30)-(31). The paper proves those quasi-periods for the partition function psi (Proposition 3.2) but never establishes them for the explicit multisymmetric function (37). Without that check, the interpolation step has no basis, and psi = W does not follow. A direct look at (37) suggests the gamma-coefficient likely matches, so the gap is probably fillable, but the verification is absent. The trigonometric case is also waved through with 'the strategy is identical'; it is lower risk, but it is still a sketch rather than a proof.\n\nSo: the rational result stands, the elliptic result is conditional, and the paper needs a revision that supplies the missing quasi-periodicity and recursion checks for W. No circularity or fitted parameters; the citation pattern is honest.\n\nThis is a paper for specialists in integrable lattice models and multisymmetric special functions. They should referee it, but the referee should insist on the missing elliptic computation before accepting the central claim. Give it a serious referee, expect major revision.","headline":"A genuine rational-case result, but the elliptic theorem is not yet proved: the quasi-periodicity of the explicit W is never checked.","tokens_in":31111,"tokens_out":2870,"would_cite":true,"duration_ms":26314,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B23","17B37","05E05","81R12"],"pacs":[],"model":"deepseek-v4-flash","headline":"Exact closed forms for higher-rank elliptic partition functions","keywords":["higher-rank partition functions","multisymmetric functions","elliptic weight functions","Izergin-Korepin analysis","nested Bethe ansatz","dynamical R-matrix","theta functions","integrable lattice models"],"falsifier":"Evaluate both sides of (38) for the smallest case with left and right boundary sites, say $M=2$, $L^I_1 = L^{II}_1 = 1$, $k_2=1$, at a generic point not among the interpolation values; any mismatch in the values, or any failure of the weight function $W$ to satisfy the quasi-periodicity (31) under $w^{(M)}_{L_M} \\to w^{(M)}_{L_M} + \\tau$, would disprove the elliptic theorem.","tokens_in":30113,"feed_emoji":"🧮","tokens_out":9487,"duration_ms":81569,"temperature":0.7,"pith_summary":"This paper establishes that a broad class of $\\mathfrak{gl}_{M+1}$ lattice partition functions—built from $M$ layers of R-matrix vertices with extra left and right boundary quantum spaces on every level—can be written down exactly as multisymmetric functions. The authors prove the equality $\\psi = W$ for the rational, trigonometric, and elliptic dynamical R-matrices (Theorems 2.3, 2.9, and 3.4). The proof uses a nested version of Izergin–Korepin analysis: a Korepin-like lemma characterizing $\\psi$ by degree bounds, symmetry, recursion relations and an initial condition, followed by verification that the explicit $W$ satisfies those same properties. A sympathetic reader would care because these are exact, parameter-dependent formulas for objects that are usually only characterized implicitly, and because the elliptic formulas extend previously known weight functions used as off-shell Bethe wavefunctions.","feed_headline":"Exact closed forms for higher-rank elliptic partition functions","feed_subtitle":"A nested Izergin-Korepin argument yields closed multisymmetric forms for all three R-matrix types.","key_machinery":"The load-bearing object is the nested Izergin–Korepin analysis—a recursion scheme that determines a partition function from structural properties—together with the extended weight functions $W$. The partition function $\\psi$ is shown to satisfy a Korepin lemma: a top-layer degree bound (or, in the elliptic case, elliptic-polynomial quasi-periods), symmetry in the auxiliary variables, two recursion relations depending on whether the top right boundary colour is $M+1$, and an initial condition that reduces the top layer to a known $\\mathfrak{gl}_M$ partition function. The extended weight functions $W$—nested multisymmetric sums over permutations $\\sigma_1,\\ldots,\\sigma_M$ with rational, trigonometric, or $\\theta$-function factors—are then checked against exactly these same properties, so uniqueness of the characterization yields $\\psi = W$. In the elliptic case the uniqueness step rests on an elliptic interpolation theorem (Proposition 3.1), which identifies an elliptic polynomial of degree $k_M$ from its values at $k_M$ points.","core_discovery":"On the paper's own terms, the central discovery is that the partition function $\\psi$ defined graphically from the R-matrix is not merely characterized recursively but is identically equal to the extended weight function $W$: $\\psi = W$ for every configuration allowed by the labelling of the paper, including configurations with nonempty left and right boundary sites $y^{(j)}_I, y^{(j)}_{II}$ at each intermediate level. Here $W$ is an explicit multisymmetric function given as a nested sum over permutations of the auxiliary spectral variables, with factors built from the rational, trigonometric, or elliptic R-matrix weights. In the elliptic case the identity is proved with the help of an elliptic Lagrange interpolation uniqueness statement, and in the boundary-free special case the elliptic $W$ reduces to the previously known elliptic weight functions. The paper thus presents a unified treatment of all three R-matrix types.","pith_inferences":["One testable consequence left implicit: because $W$ is explicitly multisymmetric, one could attempt to derive determinant or contour-integral representations for these partition functions, in analogy with scalar-product formulas; the paper does not carry that out.","The elliptic quasi-periods (30)–(31) are proved for $\\psi$ but not independently checked for $W$; a symbolic verification of those exact quasi-periods for $W$ would close the last gap in the elliptic uniqueness argument.","The conclusion's suggestion of supersymmetric analogues gives a direct route: re-running the nested Korepin lemma with supersymmetric R-matrices should produce $\\mathfrak{gl}_{M+1|N}$ weight functions, though that is not done here.","The possible link to stable bases and quiver varieties, mentioned as future work, would let these partition functions serve as explicit formulas for stable-envelope classes beyond the boundary-free cases."],"forward_implications":["With $\\psi = W$ established, every partition function in this family has a closed multisymmetric expression, so off-shell nested Bethe wavefunctions can be studied by manipulating $W$ directly.","Setting all left and right boundary sets empty recovers the original partition functions of the prior work as a special case, so the new formulas strictly generalize that construction.","For the elliptic case with no intermediate boundary sites, $W$ reduces to the previously known elliptic weight functions, giving a lattice-model derivation of those special functions.","The same nested Korepin-lemma scheme works uniformly for the rational, trigonometric and elliptic R-matrices, so one proof template covers all three regimes."],"supporting_citations":[{"why":"Introduced the original class of partition functions and the labelling of configurations that this paper extends with left and right boundary sites.","marker":"[17]"},{"why":"Korepin's original lemma is the prototype for the characterization used here.","marker":"[4]"},{"why":"The Izergin method is the technical template for the nested Izergin–Korepin analysis.","marker":"[5]"},{"why":"Gives the prior nested recursive characterization that the paper's nested Korepin lemma resembles.","marker":"[51]"},{"why":"Supplies the elliptic interpolation uniqueness theorem (Proposition 3.1) used in the elliptic case.","marker":"[59]"},{"why":"Supplies the elliptic weight functions whose boundary-free special cases are matched in Section 4.","marker":"[43]"},{"why":"Provides the companion elliptic weight-function construction also compared in Section 4.","marker":"[44]"},{"why":"Gives the Rimányi–Tarasov–Varchenko presentation of elliptic weight functions used for the correspondence.","marker":"[46]"},{"why":"Gives the elliptic $\\mathfrak{gl}_3$ multisymmetric functions that the present elliptic functions extend.","marker":"[33]"}],"fun_headline_variants":["Higher-rank partition functions equal multisymmetric weight functions","Nested Izergin-Korepin yields exact multisymmetric closed forms","Unified closed forms for rational, trigonometric, and elliptic partitions","Elliptic partition functions solved: exact multisymmetric expressions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof's load-bearing premise is uniqueness: the stated degree bound (or elliptic quasi-periods), symmetry, recursion relations and initial condition must single out exactly one function, and in the elliptic case the quasi-periods (30)–(31) must be exactly right for the interpolation theorem to apply.","fun_headline_variants_meta":{"raw":{"variants":["Higher-rank partition functions equal multisymmetric weight functions","Nested Izergin-Korepin yields exact multisymmetric closed forms","Unified closed forms for rational, trigonometric, and elliptic partitions","Elliptic partition functions solved: exact multisymmetric expressions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000748,"raw_usage":{"total_tokens":3247,"prompt_tokens":777,"completion_tokens":2470,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":393,"completion_tokens_details":{"reasoning_tokens":2402}},"tokens_in":393,"tokens_out":2470,"duration_ms":18634,"temperature":1.0,"reasoning_tokens":2402,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T12:59:30.320431+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate both sides of (38) for the smallest case with left and right boundary sites, say $M=2$, $L^I_1 = L^{II}_1 = 1$, $k_2=1$, at a generic point not among the interpolation values; any mismatch in the values, or any failure of the weight function $W$ to satisfy the quasi-periodicity (31) under $w^{(M)}_{L_M} \\to w^{(M)}_{L_M} + \\tau$, would disprove the elliptic theorem.","supporting_citations":[{"cited_title":"Foda and M","cited_arxiv_id":null,"evidence_quote":"Introduced the original class of partition functions and the labelling of configurations that this paper extends with left and right boundary sites."},{"cited_title":"Korepin, Commun","cited_arxiv_id":null,"evidence_quote":"Korepin's original lemma is the prototype for the characterization used here."},{"cited_title":"Izergin Sov","cited_arxiv_id":null,"evidence_quote":"The Izergin method is the technical template for the nested Izergin–Korepin analysis."},{"cited_title":"Wheeler, Nucl","cited_arxiv_id":null,"evidence_quote":"Gives the prior nested recursive characterization that the paper's nested Korepin lemma resembles."},{"cited_title":"Felder and A","cited_arxiv_id":null,"evidence_quote":"Supplies the elliptic interpolation uniqueness theorem (Proposition 3.1) used in the elliptic case."},{"cited_title":"Konno, J","cited_arxiv_id":null,"evidence_quote":"Supplies the elliptic weight functions whose boundary-free special cases are matched in Section 4."},{"cited_title":"Konno, J","cited_arxiv_id":null,"evidence_quote":"Provides the companion elliptic weight-function construction also compared in Section 4."},{"cited_title":"Rim´ anyi, V","cited_arxiv_id":null,"evidence_quote":"Gives the Rimányi–Tarasov–Varchenko presentation of elliptic weight functions used for the correspondence."},{"cited_title":"Motegi, J","cited_arxiv_id":null,"evidence_quote":"Gives the elliptic $\\mathfrak{gl}_3$ multisymmetric functions that the present elliptic functions extend."}],"review_version":1}