Boundary-condition dependence of the ice-point six-vertex entropy: classification of boundary conditions, merged-boundary entropies, and the Néel partition function

The per-site entropy of the six-vertex (ice-type) model at the ice point — all six vertex weights equal, zero field — depends on the boundary conditions even in the thermodynamic limit: ferroelectric boundaries give $S_{FE}=0$, domain-wall boundaries give $S_{DWBC}=\frac{1}{2}\ln\frac{27}{16}\approx 0.262$, and periodic boundaries give Lieb's square-ice value $S_{PBC}=\frac{3}{2}\ln\frac{4}{3}\approx 0.432$. Tavares, Ribeiro and Korepin (J. Stat. Mech. 2015 P06016) systematized this boundary dependence and left a precise cluster of problems open: (i) the complete classification of fixed boundary conditions into equivalence classes with equal bulk entropy; (ii) the exact computation of the partition function and entropy for the proposed merges of the domain-wall boundary with free or Néel boundaries along $n$ central edges, conjectured to realize every entropy in $(S_{DWBC},S_{PBC})$; and (iii) an exact evaluation of the Néel-boundary partition function $Z_N^{NE}$ — equivalently the enumeration $1,2,7,64,1322,64914,\ldots$ of generalized alternating sign matrices — including a rigorous derivation of the numerically observed asymptotics $S_{NE}(N)=S_{PBC}(1-\gamma/N)$ with $\gamma\approx 2$. No resolution is known in the literature: later work is numerical or confined to adjacent boundary families (partial domain wall, reflecting end, free-fermion L-shaped domains), so the open core survives intact.

Background

The six-vertex or ice-type model places arrows on the edges of a square lattice subject to the ice rule — exactly two arrows point into and two out of every vertex — leaving six allowed local vertex types. At the ice point all six Boltzmann weights are equal (zero field, anisotropy $\Delta=\frac{1}{2}$, 'infinite temperature'), so the partition function $Z_N$ on an $N\times N$ square simply counts allowed arrow configurations, and the entropy per site is $S=\lim_{N\to\infty}N^{-2}\ln Z_N$. For models with ordinary finite-range interactions, boundary conditions change the free energy only through surface terms of order $1/N$. The ice rule behaves differently: boundary arrows constrain the bulk coherently. With periodic (toroidal) boundary conditions the exact residual entropy of square ice is $S_{PBC}=\frac{3}{2}\ln\frac{4}{3}$ (Lieb, 1967). With domain-wall boundary conditions (DWBC: all horizontal boundary arrows fixed pointing into the square on the left and right sides and all vertical boundary arrows pointing out on the top and bottom — the boundary condition under which $Z_N$ equals the number of alternating sign matrices, the square matrices with entries $0,\pm1$ whose nonzero entries alternate in sign along every row and column and sum to one), the determinant representation of the partition function found by Korepin, Izergin and coworkers yields $S_{DWBC}=\frac{1}{2}\ln\frac{27}{16}$, established rigorously in the thermodynamic limit by Korepin and Zinn-Justin. Ferroelectric boundaries (all boundary arrows aligned) admit exactly one configuration, $S_{FE}=0$. Boundary conditions therefore label genuinely different bulk thermodynamics — a striking instance of bulk sensitivity to boundaries, tied to the frozen 'arctic' regions that DWBC force into the lattice.

Tavares, Ribeiro and Korepin (2015) turned this phenomenon into a systematic question: what is the map from a boundary condition $b$ to its bulk entropy $S_b$? Here a fixed boundary condition prescribes the direction of every one of the $4N$ boundary arrows, in contrast to periodic toroidal identifications, and the question ranges over all fixed boundaries together with the toroidal and merged constructions built from them. They argued that periodic, anti-periodic and mixed periodic/anti-periodic toroidal boundaries all share the value $S_{PBC}$; they identified 'descendents' of DWBC — most notably the reflecting-end boundary (domain-wall arrows imposed on three sides with a mirror-reflecting fourth side), whose partition function has Tsuchiya's determinant formula and whose ice-point entropy equals $S_{DWBC}$; and they proved that merging the domain-wall boundary with a ferroelectric boundary along $n$ central edges gives entropy $(n/N)^2S_{DWBC}$, so that merges continuously interpolate $[0,S_{DWBC}]$. They introduced the Néel (antiferroelectric) boundary, on which the boundary arrows alternate; it is the fixed boundary condition with the largest number of configurations (checked for $N\le6$), with counts $\Omega_{NE}(N)=1,2,7,64,1322,64914,7474305,2033739170,\ldots$ for $N=1,\ldots,8$, computed up to $N=20$. The first three values coincide with the alternating-sign-matrix counts, after which the sequences part; the full sequence enumerates generalized alternating sign matrices — matrices with entries $0,\pm1$ whose nonzero entries alternate in sign along every row and column, but where the signs of the first and last nonzero entries of each row and column are prescribed by the alternating boundary pattern instead of always being $+1$ — for which Brualdi and Kim (2014) proved only necessary and sufficient existence conditions, no enumeration formula. An elementary counting bound $\Omega_{NE}\le\Omega_{PP}\le 2^{2N}\Omega_{NE}$ (with $\Omega_{PP}$ the periodic-boundary count) forces $S_{NE}=S_{PBC}$ in the thermodynamic limit, and the finite-size numerics fit $S_{NE}(N)=S_{PBC}(1-\gamma/N)$ with $\gamma\approx2$; but no exact treatment of $Z_N^{NE}$ exists. Written as a matrix element of the monodromy-matrix entries — the $2\times2$ product of row-to-row $L$-operators whose entries $A(\lambda)$, $B(\lambda)$, $C(\lambda)$, $D(\lambda)$ generate the transfer matrix in the algebraic Bethe ansatz, with spectral parameters $\lambda_i$ labeling the rows — $Z_N^{NE}(\{\lambda\},\{\mu\})=\langle\uparrow\downarrow\cdots|D(\lambda_N)A(\lambda_{N-1})\cdots D(\lambda_2)A(\lambda_1)|\uparrow\downarrow\cdots\rangle$, it involves the non-commuting operators $A(\lambda)$ and $D(\lambda)$ and is not symmetric in the spectral parameters $\lambda_i$ — precisely the two properties on which Izergin-type determinant constructions rest. Finally, merging the domain-wall boundary with free or Néel boundaries along $n$ central edges is proposed as the mechanism producing entropies in the interval $(S_{DWBC},S_{PBC})$, but, in the authors' words, 'the precise computation of the entropy for these examples has eluded us so far.' The same paper derives the equal-entropy status of the mixed toroidal sectors from an unproven assumption on transfer-matrix eigenvector overlaps (their condition (60)), and poses — without starting — the question of whether other vertex models show analogous boundary dependence; these two directions are separate objectives and are excluded from this task.

Problem Statement

The common objective is the map $b\mapsto S_b$ assigning to each boundary condition $b$ of the ice-point six-vertex model on the $N\times N$ square its bulk entropy per site $S_b=\lim_{N\to\infty}N^{-2}\ln Z_N^{(b)}$. Its currently open parts, as posed by Tavares, Ribeiro and Korepin (2015), are:

(1) Classification. Determine the equivalence classes of fixed boundary conditions — including merged and mixed boundary constructions — that produce the same bulk entropy (equivalently, the same free energy per site) in the thermodynamic limit. The presently known or conjectured classes are: ferroelectric type, $S=0$; DWBC type, comprising DWBC and its descendents such as the reflecting-end boundary, $S=\frac{1}{2}\ln\frac{27}{16}$; periodic type, comprising free, periodic, anti-periodic and mixed toroidal boundaries, together with the Néel boundary, whose leading-order equality $S_{NE}=S_{PBC}$ is forced by the counting bound $\Omega_{NE}\le\Omega_{PP}\le 2^{2N}\Omega_{NE}$, $S=\frac{3}{2}\ln\frac{4}{3}$; and the interpolating merge families. Is this list of classes complete, and into which class does every fixed boundary condition fall?

(2) Merged-boundary entropies. Compute exactly the partition function and the resulting entropy density for the merges of the domain-wall boundary with free or Néel boundary conditions along $n$ central edges (and analogously the Néel-ferroelectric merge): in particular, prove or disprove that these merges realize every entropy value in $(S_{DWBC},S_{PBC})$, and determine $S$ as a function of the merge ratio $n/N$.

(3) Néel partition function. Find an exact representation — determinant, product, Bethe-ansatz, or equivalent — of the Néel-boundary partition function $Z_N^{NE}$, equivalently a formula for the generalized alternating-sign-matrix counts $1,2,7,64,1322,64914,\ldots$; or, independently of a closed form, prove rigorously the thermodynamic behavior $S_{NE}=S_{PBC}$ together with the finite-size asymptotics $S_{NE}(N)=S_{PBC}(1-\gamma/N)$ and the value of $\gamma$ (numerically $\gamma\approx2$; the leading-order equality already follows from the elementary bound $\Omega_{NE}\le\Omega_{PP}\le 2^{2N}\Omega_{NE}$, so the genuinely open content is the $1-\gamma/N$ refinement and the value of $\gamma$).

A complete resolution of the overarching objective consists of the classification in (1) together with exact or rigorous evaluation of the entropies of the boundary families it comprises, of which (2) and (3) are the missing cases. The source's two further open questions — rigorous eigenvector-overlap estimates underlying the mixed periodic/anti-periodic equivalence, and boundary-dependence of bulk quantities in vertex models beyond the six-vertex model — are separate objectives and are excluded from this task.

References

1. T. S. Tavares, G. A. P. Ribeiro, V. E. Korepin, 'The entropy of the six-vertex model with a variety of different boundary conditions', Journal of Statistical Mechanics (2015) P06016, DOI 10.1088/1742-5468/2015/06/P06016, https://arxiv.org/abs/1501.02818
2. T. S. Tavares, G. A. P. Ribeiro, V. E. Korepin, 'Influence of boundary conditions on bulk properties of six-vertex model', Journal of Physics A 48 (2015) 454004, DOI 10.1088/1751-8113/48/45/454004, https://arxiv.org/abs/1509.06324
3. E. H. Lieb, 'Residual Entropy of Square Ice', Physical Review 162 (1967) 162-172, DOI 10.1103/PhysRev.162.162, https://doi.org/10.1103/PhysRev.162.162
4. V. E. Korepin, 'Calculation of norms of Bethe wave functions', Communications in Mathematical Physics 86 (1982) 391-418, DOI 10.1007/BF01212176, https://doi.org/10.1007/BF01212176
5. A. G. Izergin, D. A. Coker, V. E. Korepin, 'Determinant formula for the six-vertex model', Journal of Physics A 25 (1992) 4315-4334, DOI 10.1088/0305-4470/25/16/010, https://doi.org/10.1088/0305-4470/25/16/010
6. V. E. Korepin, P. Zinn-Justin, 'Thermodynamic limit of the six-vertex model with domain wall boundary conditions', Journal of Physics A 33 (2000) 7053-7066, DOI 10.1088/0305-4470/33/40/304, https://doi.org/10.1088/0305-4470/33/40/304
7. O. Tsuchiya, 'Determinant formula for the six-vertex model with reflecting end', Journal of Mathematical Physics 39 (1998) 5946-5951, DOI 10.1063/1.532606, https://doi.org/10.1063/1.532606
8. P. Zinn-Justin, 'The Influence of Boundary Conditions in the Six-Vertex Model', arXiv:cond-mat/0205192 (2002), https://arxiv.org/abs/cond-mat/0205192
9. K. Minami, 'The free energies of six-vertex models and the n-equivalence relation', Journal of Mathematical Physics 49 (2008) 033514, DOI 10.1063/1.2890671, https://doi.org/10.1063/1.2890671
10. R. A. Brualdi, Hwa K. Kim, 'A Generalization of Alternating Sign Matrices', Journal of Combinatorial Designs 23 (2014) 204-215, DOI 10.1002/jcd.21397, https://arxiv.org/abs/1309.1040
11. O. Foda, M. Wheeler, 'Partial domain wall partition functions', Journal of High Energy Physics (2012) 186, DOI 10.1007/jhep07(2012)186, https://doi.org/10.1007/jhep07(2012)186
12. P. Bleher, K. Liechty, 'Six-vertex model with partial domain wall boundary conditions: Ferroelectric phase', Journal of Mathematical Physics 56 (2015) 023302, DOI 10.1063/1.4908227, https://doi.org/10.1063/1.4908227
13. G. A. P. Ribeiro, V. E. Korepin, 'Thermodynamic limit of the six-vertex model with reflecting end', Journal of Physics A 48 (2015) 045205, DOI 10.1088/1751-8113/48/4/045205, https://doi.org/10.1088/1751-8113/48/4/045205
14. I. Lyberg, V. E. Korepin, G. A. P. Ribeiro, J. Viti, 'Phase separation in the six-vertex model with a variety of boundary conditions', Journal of Mathematical Physics 59 (2018) 053301, DOI 10.1063/1.5018324, https://arxiv.org/abs/1711.07905
15. I. R. Passos, G. A. P. Ribeiro, 'Boundary correlations for the six-vertex model with reflecting end boundary condition', Journal of Statistical Mechanics (2019) 083101, DOI 10.1088/1742-5468/ab3113, https://doi.org/10.1088/1742-5468/ab3113
16. Linnea Hietala, 'Exact results for the six-vertex model with domain wall boundary conditions and a partially reflecting end', Letters in Mathematical Physics 112 (2022) 41, DOI 10.1007/s11005-022-01530-5, https://doi.org/10.1007/s11005-022-01530-5
17. F. Colomo, A. G. Pronko, A. Sportiello, 'Arctic Curve of the Free-Fermion Six-Vertex Model in an L-Shaped Domain', Journal of Statistical Physics 174 (2019) 1-27, DOI 10.1007/s10955-018-2170-2, https://doi.org/10.1007/s10955-018-2170-2
18. Jean-François de Kemmeter, Bryan Debin, Philippe Ruelle, 'Arctic curves of the 6V model with partial DWBC and double Aztec rectangles', Journal of Physics A 55 (2022) 305004, DOI 10.1088/1751-8121/ac7c48, https://doi.org/10.1088/1751-8121/ac7c48
19. Mikhail D. Minin, Andrei G. Pronko, Vitaly O. Tarasov, 'Construction of determinants for the six-vertex model with domain wall boundary conditions', Journal of Physics A 56 (2023) 295204, DOI 10.1088/1751-8121/acdd37, https://arxiv.org/abs/2304.01824
20. M. V. Ferreyra, S. A. Grigera, 'Boundary conditions and the residual entropy of ice systems', Physical Review E 98 (2018) 042146, DOI 10.1103/PhysRevE.98.042146, https://doi.org/10.1103/PhysRevE.98.042146
21. P. A. Belov, A. I. Enin, A. A. Nazarov, 'Finite size scaling in the dimer and six-vertex model', Journal of Physics: Conference Series 1135 (2018) 012024, DOI 10.1088/1742-6596/1135/1/012024, https://doi.org/10.1088/1742-6596/1135/1/012024
22. Jeet Shah, Laura Shou, Jeremy Shuler, Victor Galitski, 'Breakdown of the Thermodynamic Limit in Quantum Spin and Dimer Models', Physical Review X 16 (2026) 021020, DOI 10.1103/ckrx-wbct, https://arxiv.org/abs/2506.15769
23. Hugo Duminil-Copin, K. K. Kozlowski, Dmitry Krachun, Ioan Manolescu, Tatiana Tikhonovskaia, 'On the Six-Vertex Model's Free Energy', Communications in Mathematical Physics 395 (2022) 1383-1430, DOI 10.1007/s00220-022-04459-x, https://doi.org/10.1007/s00220-022-04459-x
24. Jin-Yi Cai, Zhiguo Fu, Mingji Xia, 'Complexity Classification of the Six-Vertex Model', arXiv:1702.02863 (2017), https://arxiv.org/abs/1702.02863