REVIEW 3 major objections 4 minor 13 references
Rational symmetric functions from the Izergin-Korepin 19-vertex model
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper proves rational symmetric functions $F_S$ and $G_S$ arise from the Izergin–Korepin 19-vertex model, with an explicit symmetrization formula for $F_S$ as a sum over 2-permutations with rational scattering factors.
desk verdict First Borodin-style symmetric functions from a non-U_q(A^(1)_n) vertex model, with real new structure but a load-bearing exchange relation whose proof currently leans on an undocumented computer check for N ≤ 4. 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 load-bearing object is the family of twisted column operators $\Gamma_0(z),\Gamma_1(z),\Gamma_2(z)$ acting on the $N$-fold tensor product of the three-dimensional local space of the model. These operators are built from explicit diagonal matrices $d_i^u(z)$ and elementary matrices $e_i^u(z)$, $e_{ij}^{uv}(z)$ that multiply to reproduce the vertex weights of the Izergin–Korepin model. The paper proves that they satisfy the Yang–Baxter exchange relations (3.8.15) and are invariant under simultaneous permutation of tensor factors and spectral parameters $x_i$. That invariance yields the representation $F_S=\langle 2^N|\prod_i\Gamma_{S_i}(z_i)|0^N\rangle$, and expanding the product gives the 2-permutation sum through a bijection between 2-permutation matrices and surviving operator products. The exchange relation proof reduces verification to tensor products with at most four factors, stated to be checkable by computer.
What would settle it
Compute both sides of the symmetrization formula (3.8.36) symbolically for $N=5$ at generic parameters, comparing $F_S$ from its partition-function definition with the 2-permutation sum; any mismatch would falsify the formula. Equivalently, evaluate the matrix element $\langle 2^5|\Gamma_{S_1}(z_1)\cdots|0^5\rangle$ from the explicit $\Gamma$ definitions and compare, which would also disprove the exchange relation (3.8.15) for arbitrary $N$.
Extended reading notes
Core claim
On its own terms, the paper establishes that the Izergin–Korepin nineteen-vertex model, in a sum-to-unity gauge, produces rational symmetric functions that mirror the six-vertex story. Theorem 3.8.9 asserts that for any 2-string $S$ of weight $2N$, $$F_S(x_1,\ldots,x_N;z)=\sum_{\$\sigma$\in M_2(N,S)}\prod_{1\le i<j\le N}\Delta_{\$\sigma$(i),\$\sigma$(j)}(x_i,x_j;z)\prod_{i=1}^N F_{\$\sigma$(i)}(x_i;z),$$ where $M_2(N,S)$ is the set of $N\times\infty$ 0-1-2 matrices with row sums 2 and column sums $S_i$, $\sigma(i)$ is the $i$-th row, $F_{\sigma(i)}(x_i;z)$ is an explicit one-row partition function, and $\Delta_{U,V}(x,y;z)$ is an explicit rational scattering factor satisfying $\Delta_{U,V}(x,y;z)=\Delta_{V,U}(y,x;z)$. Because of that symmetry, the formula visibly exhibits the symmetry of $F_S$ in $(x_1,\ldots,x_N)$. The paper further proves the Cauchy identity for $F_S,G_S$, the stable limit $H_S$, the factorized Cauchy identity for $H_S$, and the twisted-column representation $F_S=\langle 2^N|\prod_i\Gamma_{S_i}(z_i)|0^N\rangle$.
Load-bearing premise
The decisive assumption is that the exchange relation (3.8.15) for the twisted column operators holds for every number of rows $N$, while the verification supplied in the paper covers only $1\le N\le 4$ by computer check.
Editorial extensions
If this is right
- The partition functions $F_S$ and $G_S$ are symmetric functions in their primary alphabets for every 2-string $S$ of weight $2N$; this follows from the Yang–Baxter equation alone.
- The Cauchy identity (3.4.3) holds: the weighted sum over all 2-strings of $F_S(x;z)G_S(y;q^{-3}z^{-1})$ equals the IK domain-wall partition function $F_{(2^N)}(x;z)$ times an explicit rational kernel.
- The stable functions $H_S$ satisfy a Cauchy identity with fully factorized kernel, recovering $F_S$ when the string has maximal weight and simplifying under $x_N\to\infty$.
- The symmetrization formula (3.8.36) gives a closed-form expansion of $F_S$ into one-row partition functions dressed by pairwise rational factors $\Delta_{U,V}$, making the symmetry in $(x_1,\ldots,x_N)$ manifest.
- The monodromy matrix elements of the 19-vertex model admit explicit totally spatially symmetric formulas via the products of twisted column operators.
Reading between the lines
- Our inference: setting $S=(2^N)$ in the symmetrization formula writes the Izergin–Korepin domain-wall partition function as a finite sum over 2-permutation matrices, opening a combinatorial route to its evaluation beyond the known root-of-unity cases; the paper does not pursue this evaluation.
- Our inference: if the twisted column operators are genuine Drinfeld twists, as the paper suggests, the exchange relation would follow from general twist theory and the computer check would be replaced by a structural proof valid for all $N$.
- Our inference: the factorized Cauchy identity for $H_S$ suggests an orthogonality theory and an integral transform analogous to the six-vertex case; the paper lists orthogonality as a future direction and proves no such result.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces two families of rational multivariate functions, F_S and G_S, associated with the Izergin–Korepin 19-vertex model in the quadrant, in analogy with Borodin's functions for the stochastic six-vertex model. The authors prove symmetry of F_S and G_S in their primary alphabets and establish a Cauchy-type summation identity; they then pass to a stable family H_S with a fully factorized Cauchy kernel. The main novel result is a symmetrization formula for F_S: it is expressed as a sum over certain objects called 2-permutations, with summands given by products of one-row partition functions and explicit bivariate scattering factors. The proof of this formula is based on a family of twisted column operators Gamma_k(z), a uniqueness theorem for F_S obtained from exchange relations and polynomial interpolation, and an operator identity (3.8.18) that identifies F_S with a matrix element of a product of Gamma operators. Appendices illustrate the formula for N=2.
Significance. If fully established, the paper would introduce a genuinely new family of rational symmetric functions from a vertex model outside the U_q(A_1^(1)) series, with symmetry, Cauchy identities, stability, and an explicit symmetrization formula. The construction of totally spatially symmetric monodromy elements via Drinfeld-type twists in the Izergin–Korepin model would also be a notable technical contribution. The paper is careful and systematic: the symmetry and Cauchy results follow from standard Yang–Baxter arguments with explicit convergence conditions, the stable limit H_S is well motivated, and the conjectured symmetrization formula is tested in several nontrivial N=2 examples. However, the central symmetrization theorem is not yet fully proved: its proof rests on an exchange relation for twisted columns that is verified only by an undocumented computer check for N ≤ 4, and on a bijection argument in Section 3.8.4 that is presented as a sketch. The significance is therefore conditional on closing those gaps.
major comments (3)
- [§3.8.3, Theorem 3.8.4 and Propositions 3.8.5–3.8.7] The exchange relation (3.8.15) for the twisted column operators Gamma_k(z) is load-bearing: it is used directly in Propositions 3.8.5 and 3.8.6 to verify that the matrix elements g_S satisfy the exchange relations and recursions that characterize F_S, and therefore to derive both the twisted-column representation (3.8.18) and the symmetrization formula (3.8.36). The proof of Theorem 3.8.3 reduces the problem to the recursive decomposition (3.8.17), asserts that this decomposition is 'not difficult to verify', and then states that the remaining cases 1 ≤ N ≤ 4 may be checked 'by computer'. No derivation of (3.8.17) and no code, log, or reproducible computation are supplied. Because (3.8.17) is exactly the step that eliminates the dependence on N, the finite check N ≤ 4 does not, by itself, establish the relation for arbitrary N. The authors should either provide a complete proof of (3.8.17) and of the N ≤ 4 verification, or supply machine-checkable code together with a clear description of the verification.
- [§3.8.4] The proof of the operator identity (3.8.41) contains the step that converts the twisted-column representation into the explicit sum over 2-permutations. This step is described informally: the authors state that it 'is not difficult to check' that the proposed rule defines a bijection between M_2(N,S) and the surviving operator products, and that it 'is easily verified' that multiplying out the operators produces the product of one-row functions and the scattering factors. Since this matching argument is the core of the derivation of (3.8.36), it should be written out in detail, or at least formulated as a precise inductive statement with all cases of the local operators P_{σ(i,j)} and η_{σ(j)} treated explicitly. As written, the proof is too sketchy to be checked by a reader without extensive recomputation.
- [§3.8.3, Proposition 3.8.7] The uniqueness theorem that underpins the whole approach is valid only if all the properties used in the induction are verified for the proposed solution g_S. The verification of property (5), the residue recursion (3.8.25), depends on the additional identity (3.8.34), whose proof is summarized in one paragraph. The computation of the residues of Γ_0(z)|0^N> and Γ_1(z)|0^N> at z = q^{-3}x_N is asserted but not shown in detail. Since this is a necessary part of the induction in Theorem 3.7.7, the authors should provide the missing computations so that a reader can verify the residue recursion without reconstructing the local operator algebra from scratch.
minor comments (4)
- [§3.7.2] In equation (3.7.5), the residue is taken with respect to z_1 at z_1 = q^{-3}x_N; this should be stated explicitly in the text, since the notation Res alone is slightly ambiguous in a multivariate rational function.
- [Appendix A] The examples in Appendix A are helpful, but the one-row partition functions in (A.1.3), (A.2.3), and (A.3.3) are only presented pictorially. It would be more useful to write them explicitly using the formula for F_U(x;z) given in Theorem 3.8.9, so the reader can compare the expansion with the claimed scattering factors.
- [§3.8.3] The remark that the operators Γ_k(z) were 'found by computer experimentation' is useful context, but the manuscript should distinguish clearly between experimental discovery and proof; as written, this sentence could be read as indicating that the subsequent verification is also computational rather than analytical.
- [§1.8] In the statement of Theorem 1.8.4, the two different displayed formulas for Δ_{U,V}(x,y;z) use the same shorthand 'U|1 1|/V|1 1|' with different relative-position diagrams. The reader would benefit from a small table that names each diagram and lists the corresponding formula, especially since the typeset diagrams are visually similar.
Circularity Check
No meaningful circularity: the rational functions are defined directly as partition functions and the key properties are derived from the Yang–Baxter equation, explicit exchange relations, and a uniqueness characterization; the minor self-citations are analogical and not load-bearing.
full rationale
The paper defines F_S and G_S directly as Izergin–Korepin partition functions, and it proves their symmetry, Cauchy identities, stability properties, and the symmetrization formula from the Yang–Baxter equation, explicit exchange relations, and a uniqueness characterization (Theorem 3.7.7). The twisted-column operators in Section 3.8 are given explicitly, and Theorem 3.8.3 asserts that they obey the same exchange relations as the model's monodromy operators; the proof reduces the verification to the cases 1 ≤ N ≤ 4, stated to be checkable by computer. This is a verifiability gap—no code or log is supplied—but it is not a circular reduction: the claimed identity is not the input of the verification. The use of the authors' own earlier works is minimal and non-load-bearing: [BW21] is invoked for analogy in the six-vertex warm-up chapter, and [Gar16] is cited only for a root-of-unity domain-wall evaluation mentioned in a remark. No fitted parameter is renamed as a prediction, and no definition is made in terms of the target result. The central derivation chain is self-contained up to the supplied Yang–Baxter computations and the stated finite-size check.
Assumptions & free parameters
assumptions (3)
- domain assumption The nineteen vertex weights in Figure 1 of Chapter 3 satisfy unitarity and the Yang-Baxter equation (3.1.5)-(3.1.6).
- domain assumption The infinite-volume limits defining A(x), C(x), D_•(x) and the commutation relation (3.2.12) are valid under the convergence conditions (3.2.10)-(3.2.11).
- ad hoc to paper The twisted column operators Gamma_k(z) satisfy the exchange relation (3.8.15) for all N.
Cite this review
Pith. "Pith review of Rational symmetric functions from the Izergin-Korepin 19-vertex model." pith.science (2026). https://pith.science/paper/DGYHMCYQ
@misc{pith2026241218085,
author = {Pith},
title = {Pith review of: Rational symmetric functions from the Izergin-Korepin 19-vertex model},
year = {2026},
howpublished = {\url{https://pith.science/paper/DGYHMCYQ}},
note = {Machine review of arXiv:2412.18085}
}
abstract
Starting from the Izergin-Korepin 19-vertex model in the quadrant, we introduce two families of rational multivariate functions $F_S$ and $G_S$; these are in direct analogy with functions introduced by Borodin in the context of the higher-spin 6-vertex model in the quadrant. We prove that $F_S(x_1,\dots,x_N;z)$ and $G_S(y_1,\dots,y_M;z)$ are symmetric functions in their alphabets $(x_1,\dots,x_N)$ and $(y_1,\dots,y_M)$, and pair together to yield a Cauchy identity. Both properties are consequences of the Yang-Baxter equation of the model. We show that, in an appropriate limit of the spectral parameters $z$, $F_S$ tends to a stable symmetric function denoted $H_S$. This leads to a simplified version of the Cauchy identity with a fully factorized kernel, and suggests self-duality of the functions $H_S$. We obtain a symmetrization formula for the function $F_S(x_1,\dots,x_N;z)$, which exhibits its symmetry in $(x_1,\dots,x_N)$. In contrast to the 6-vertex model, where $F^{6{\rm V}}_S(x_1,\dots,x_N;z)$ is cast as a sum over the symmetric group $\mathfrak{S}_N$, the symmetrization formula in the 19-vertex model is over a larger set of objects that we define; we call these objects 2-permutations. As a byproduct of the proof of our symmetrization formula, we obtain explicit formulas for the monodromy matrix elements of the 19-vertex model in a basis that renders them totally spatially symmetric.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
- [1]
-
[2]
[BP16] A. Borodin and L. Petrov. Higher spin six vertex model and symmetric rational functions. Selecta Math. New Ser., doi:10.1007/s00029-016-0301-7,
-
[4]
[dGLR13] J. de Gier, A. Lee, and J. Rasmussen. Discrete holom orphicity and integrability in loop models with open bound- aries. Journal of Statistical Mechanics: Theory and Experiment , 2013(02):P02029,
work page 2013
-
[6]
[FV17] C. Finn and M. Vanicat. Matrix product construction f or Koornwinder polynomials and fluctuations of the current in the open ASEP. Journal of Statistical Mechanics: Theory and Experiment , 2017(2):023102,
work page 2017
-
[8]
[GdGW17] A. Garbali, J. de Gier, and M. Wheeler. A new general isation of Macdonald polynomials. Communications in Mathematical Physics , doi:10.1007/s00220-016-2818-1,
-
[9]
Journal of Statistical Mechanics: Theory and Experiment , 2017(4):043108,
loop model on a semi infinite strip: the ground state. Journal of Statistical Mechanics: Theory and Experiment , 2017(4):043108,
work page 2017
-
[10]
Journal of Statistical Mechanics: Theory and Experiment , 2017(5):053102,
loop model on a semi infinite strip: the sum rule. Journal of Statistical Mechanics: Theory and Experiment , 2017(5):053102,
work page 2017
-
[1981]
[LCY`24] P. Lu, J. Cao, W.-L. Yang, I. Marquette, and Y.-Z. Zhang. E xact surface energies and boundary excitations of the Izergin–Korepin model with generic boundary fields. arXiv preprint arXiv:2407.21258 ,
Show all 13 references
-
[1990]
[PLS14] R. A. Pimenta and A. Lima-Santos. Algebraic Bethe an satz for 19-vertex models with upper triangular K-matrices . Journal of Statistical Mechanics: Theory and Experiment , 2014(11):P11007,
2014
-
[2014]
Morin-Duchesne, A
[MDKP23] A. Morin-Duchesne, A. Kl¨ umper, and P. A. Pearce. C ritical site percolation on the triangular lattice: from in tegra- bility to conformal partition functions. Journal of Statistical Mechanics: Theory and Experiment , 2023(4):043103,
2023
-
[2015]
Bosnjak and V
[BM16] G. Bosnjak and V. Mangazeev. Construction of R-matrices for symmetric tensor representations related to Uqpy slnq. arXiv:1607.07968,
-
[2016]
Corteel, A
[CGKM22] S. Corteel, A. Gitlin, D. Keating, and J. Meza. A ver tex model for LLT polynomials. International Mathematics Research Notices, 2022(20):15869–15931,
2022
-
[2017]
[Gar16] A. Garbali. The domain wall partition function for t he Izergin–Korepin nineteen-vertex model at a root of unity . Journal of Statistical Mechanics: Theory and Experiment , 2016(3):033112,
2016
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.