Abstract
The trigonometric six-vertex model with domain wall boundary conditions and one partially reflecting end on a lattice of size \(2n\times m\), \(m\le n\), is considered. The partition function is computed using the Izergin–Korepin method, generalizing the result of Foda and Zarembo from the rational to the trigonometric case. Thereafter, we specify the parameters in Kuperberg’s way to get a formula for the number of states as a determinant of Wilson polynomials. We relate this to a new type of alternating sign matrices, similar to how the six-vertex model with domain wall boundary conditions is related to normal alternating sign matrices. In an appendix, we compute the partition function again, showing that it is also possible to find it with the method of Foda and Wheeler.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The first example of a six-vertex (6V) model was the ice-model, where all states have the same weight. This and some other special cases of the 6V model with periodic boundary conditions were solved in 1967 by Lieb [1]. The same year, Sutherland [2] solved the general case.
One of the first nontrivial examples of fixed boundaries were the domain wall boundary conditions (DWBC) [3]. In 1996, Zeilberger [4] proved the alternating sign matrix conjecture of Mills, Robbins and Rumsey [5], which gives a formula for the number of alternating sign matrices (ASMs). There is a bijection between the ASMs and the states of the 6V model with DWBC. Izergin [6, 7] showed that the partition function of the 6V model with DWBC can be expressed as a determinant, which Kuperberg [8] used to give another proof of the alternating sign matrix conjecture.
Tsuchiya [9] used the Izergin–Korepin method to obtain a determinant formula for the partition function of the 6V model with one diagonal reflecting end and DWBC on the three other sides on a lattice of size \(2n\times n\). Kuperberg [10] used this to give a formula for the number of the corresponding UASMs. The UASMs are alternating sign matrices with U-turns on one side and generalize the vertically symmetric alternating sign matrices (VSASMs).
Foda and Wheeler [11] found a determinant formula for the partition function of the 6V model with partial DWBC on a lattice of size \(m\times n\), which generalizes the determinant formula of Korepin and Izergin. Foda and Zarembo [12] found the corresponding generalization of Tsuchiya’s determinant formula in the rational case. They obtained a determinant formula for the rational 6V model on a lattice with \(2n\times m\) sites, \(m\le n\), with DWBC and where the reflecting end has a triangular K-matrix. These boundary conditions are called DWBC with a partially reflecting end. Pozsgay [13] used the homogeneous limit of Tsuchiya’s \(2n\times n\) determinant to compute overlaps (i.e. inner products) between (off-shell) Bethe states and certain simple product states, such as the Néel states. In a similar way, Foda and Zarembo used their rational \(2n\times m\) determinant formula to compute overlaps between Bethe states and more general objects which they call partial Néel states.
Foda and Wheeler commented that in the case of partial DWBC on a lattice of size \(n\times m\), it is not obvious if and how one could count ASM-like objects with Kuperberg’s specialization, due to phases that vary between different states, coming from the trigonometric weights. However, in the present paper, we find that in the case of DWBC and partial reflection, it is possible to count the states, since similar phases do not appear in this case. The reason for this is the alternating orientations of the lines.
Counting ASMs can be generalized to x-enumerations. In an x-enumeration of ASMs, each state is counted with a weight \(x^k\), where k is the number of \(-1\)’s in the ASM. A formula in the general case is not known, but in some special cases, \(x=1, 2\) and 3, there are closed expressions [4, 5, 8]. Colomo and Pronko [14] obtained a simplified treatment of x-enumerations by rewriting the Hankel determinant representation of the partition function of the 6V model with DWBC in terms of orthogonal polynomials. The method can be used to find a formula for the x-enumerations for those x where the underlying orthogonal polynomials belong to the Askey scheme of hypergeometric orthogonal polynomials. This works for the 1-, 2- and 3-enumerations. In the original case of 1-enumerations, the orthogonal polynomials are continuous Hahn polynomials.
In this paper, we study the trigonometric 6V model with DWBC on three sides and one partially reflecting end, on a lattice with \(2n\times m\) sites, \(m\le n\). We first find a determinant formula for the partition function. Then we specialize the parameters in Kuperberg’s manner to finally find a formula that counts the number of states of the model.
At first, in Sect. 2, we introduce the model. In Sect. 3 we follow the Izergin–Korepin method to obtain a determinant formula for the partition function in Theorem 3.5, i.e. the trigonometric generalization of what Foda and Zarembo did in the rational case. The alternative method of Foda and Wheeler to find the determinant formula is presented in “Appendix A”.
In Sect. 4, we find a formula for the number of states in terms of the partition function. We connect this to the enumeration of a type of generalized UASMs. The objective of Sect. 5 is to specialize the parameters in the determinant formula in Kuperberg’s way. We rewrite the partition function following the ideas of Colomo and Pronko [14]. The determinant can be represented by a matrix consisting of a Hankel matrix part and a Vandermonde matrix part, and the underlying orthogonal polynomials are Wilson polynomials. Then in Theorem 5.1, we finally write down a determinant formula counting the number of states of the 6V model with DWBC and one partially reflecting end.
2 Preliminaries
Consider a square lattice with \(2n\times m\) lines, where the horizontal lines are connected pairwise at the left side, as in Fig. 1. Each such pair of horizontal lines can be thought of as one single line turning at a wall on the left side. We assign a spin \(\pm 1\) to each edge. A lattice with a spin assigned to each edge is called a state.
In order to assign weights to the states, we give each line an orientation. We choose a positive direction, which goes upwards for the vertical lines, to the left for the lower part of the horizontal double line, and to the right for the upper part. The positive direction is indicated by an arrow at the end of a line. Graphically, spin \(+1\) corresponds to an arrow pointing in the positive direction of the line, and spin \(-1\) corresponds to an arrow pointing in the opposite direction. At each vertex, the so-called ice rule must hold, which demands that two arrows must be pointing inwards to the vertex and two arrows must be pointing outwards. Because of the ice rule, there are only six types of possible vertices, see Fig. 2.
To each vertical line, we assign a spectral parameter \(\mu _j\), and to each horizontal double line, we assign a spectral parameter which is \(-\lambda _i\) on the lower part of the double line and shifts to \(\lambda _i\) on the upper part. In Fig. 1, we write these parameters at the lines. Also define a fixed boundary parameter \(\zeta \in \mathbb {C}\), associated with the reflecting wall at the turns.
Define \(f(x)=2\sinh (x)\) and let \(\gamma \notin 2\pi i\mathbb {Z}\) be a fixed parameter. Then define local weights
to each vertex and each turn as in Figs. 2 and 3. Here \(\varphi \) is a fixed number. We call the turns \(k_\pm \) a ‘positive’ and ‘negative’ turn, respectively, and \(k_c\) can be seen as a turn with creation of arrows. These choices of weights satisfy the Yang–Baxter equation and the reflection equation with a triangular K-matrix where \(k_c(\lambda , \zeta )\) is an off-diagonal element (see Sect. 2.1). Observe that \(k_c\) does not depend on \(\zeta \), and for \(\varphi =0\), we have diagonal reflection. Sometimes, we will refer to a ‘w vertex’, where w is one of \(a_\pm , b_\pm \) or \(c_\pm \), meaning a vertex with spin configurations corresponding to weight \(w(\lambda )\), for some \(\lambda \). Similarly, a ‘\(k_\pm \) turn’ or ‘\(k_c\) turn’ will refer to a turn with weight \(k_\pm (\lambda , \zeta )\) or \(k_c(\lambda , \zeta )\), respectively. The terms ‘positive’ or ‘negative turn’ will sometimes also be used to refer to a \(k_\pm \) turn, respectively.
The local weight at a vertex with the positive directions up and to the right depends on the spins of the surrounding edges, as well as on the difference between the spectral parameters on the incoming lines from the left and the bottom. Because of the reflecting ends, we need to differentiate between the vertices on the left-oriented and the right-oriented horizontal lines. The vertices in the right-oriented rows are depicted in Fig. 2, and the vertices in the left-oriented rows are the same, tilted 90 degrees counterclockwise, as in Fig. 4b. The (local) weight of the vertex in Fig. 4a is \(w(\lambda _i-\mu _j)\), and for the vertex in Fig. 4b, the weight is \(w(\mu _j-(-\lambda _i))=w(\lambda _i+\mu _j)\), where w is one of \(a_\pm , b_\pm \) or \(c_\pm \). The (local) boundary weight at each turn depends on the spin on the turning edge, but also on the spectral parameter \(\lambda _i\) of the line going through the turn, and on the fixed boundary parameter \(\zeta \), as in Fig. 3. The weight of a state is the product of all local weights of the vertices and the turns.
On the three sides without reflecting end, we impose the domain wall boundary conditions, with outgoing spin arrows to the right and ingoing arrows on the upper and lower boundaries. The ice rule implies that \(n\ge m\) and that there are \(n-m\) turns of type \(k_c\).
The model described above is the six-vertex (6V) model of size \(2n\times m\) with DWBC and one partially reflecting end. We want to find a determinant formula for the partition function
of this model, generalizing Tsuchiya’s [9] partition function for \(m=n\). This also generalizes the results of Foda and Zarembo [12] from the rational to the trigonometric case.
2.1 The Yang–Baxter equation and the reflection equation
Define V as a two-dimensional complex vector space. To each line of the lattice, we associate a copy of V. Given a parameter \(\lambda \in \mathbb {C}\), define operators \(R(\lambda )\in \text {End}(V\otimes V)\) by
with the weights parametrized as in (1). The operator is called the R-matrix and satisfies the Yang–Baxter equation (YBE) on \(V_1\otimes V_2\otimes V_3\) (where \(V_i\) are copies of V), i.e.
where the indices indicate on which spaces the R-matrix acts, e.g.
and similarly for \(R_{23}\) and \(R_{13}\). The YBE is depicted in Fig. 5.
To describe the reflecting boundary, define a triangular operator \(K(\lambda , \zeta )\in \text {End}(V)\), by
with entries parametrized as in (2). The operator is called the K-matrix and satisfies the reflection equation for the above R-matrix on \(V_0\otimes V_{0'}\) [15], i.e.
where \(K_0(\lambda , \zeta )=K(\lambda , \zeta )\otimes Id \) and \(K_{0'}(\lambda , \zeta )=Id \otimes K(\lambda , \zeta )\), see Fig. 6.
3 Izergin–Korepin method
Foda and Zarembo [12] used the Izergin–Korepin method [3, 6] to find the partition function (3) in the rational case, i.e. where \(f(x)=x\), which in turn means that all weights are rational. We follow the Izergin–Korepin procedure to find the determinant formula for the partition function in the trigonometric case.
Lemma 3.1
\(Z_{n,m}(\varvec{\lambda }, \varvec{\mu })\) is symmetric in \(\lambda _i\) and \(\mu _j\) separately.
To prove this, we will use the so-called train argument.
Proof
Consider two adjacent vertical lines with spectral parameters \(\mu \) and \(\mu '\). Insert an extra vertex below the lattice, as in Fig. 7. Since we have DWBC, this will be a vertex with weight \(a_+(\mu -\mu ')\). By the YBE, the extra vertex can be moved through the whole lattice to end up on the top, where it can be removed. On the top, the extra vertex has the weight \(a_-(\mu -\mu ')\). Since \(a_+(\mu )=a_-(\mu )\ne 0\) for all \(\mu \), these factors cancel. Hence, this procedure switches \(\mu \) and \(\mu '\).
To prove the symmetry in the \(\lambda _i\)’s, we add two extra vertices on the right, as in Fig. 8. The vertices can then be pulled through each other in a similar way as before, using the YBE and the reflection equation. Because of the boundary conditions and the ice rule, the extra vertices give rise to two extra factors on each side of the equation, see Fig. 8. Again since \(a_+(\lambda )=a_-(\lambda )\ne 0\), the extra factors cancel. In this manner, we can pairwise switch spectral parameters on adjacent lines, which proves the lemma. \(\square \)
Lemma 3.2
For any \(1\le j\le m\), the function
is a polynomial of degree \(2n-1\) in \(e^{2\mu _j}\).
Proof
Multiply each vertex weight (1) by \(f(\lambda +\gamma )\). This is the same as to multiply the partition function by
Then, the new weights are
For a given j, all vertices involving \(\mu _j\) lie along the same vertical line. Along a vertical line, the spin must be changed at least once from up spin on the bottom of the lattice to down spin on the top. Each vertical line thus contains at least one \(\hat{c}_+(\lambda +\mu )\) or one \(\hat{c}_-(\lambda -\mu )\) vertex, since these are the only combinations changing the spin in this way, see Fig. 2. These weights each contain a factor \(e^{\mu _j}\). Each additional \(\hat{c}_\pm \) vertex yields a factor \(e^{\pm \mu _j}\). Each \(\hat{a}_\pm \) and \(\hat{b}_\pm \) vertex gives rise to a factor \(e^{\mu _j+x}-e^{-\mu _j-x}\), where x possibly contains \(\lambda _i\) and \(\gamma \). There can be a maximum of \(2n-1\) vertices of type \(\hat{a}_\pm \) and \(\hat{b}_\pm \) involving \(\mu _j\). We multiply \(\prod _{i=1}^n\prod _{j=1}^m \left[ f(\lambda _i+\mu _j+\gamma )f(\lambda _i-\mu _j+\gamma )\right] Z_{n,m}(\varvec{\lambda }, \varvec{\mu })\) by \(e^{(2n-2)\mu _j}\) to get a polynomial of degree \(2n-1\) in \(e^{2\mu _j}\). \(\square \)
Lemma 3.3
\(Z_{n,m}(\varvec{\lambda }, \varvec{\mu })\) satisfies recurrence relations when setting \(\mu _k=\pm \lambda _l\), namely,
where
and \(\hat{\lambda }_l\) indicates that the variable \(\lambda _l\) is omitted, and similarly \(\hat{\mu }_k\) indicates that the variable \(\mu _k\) is omitted.
Proof
The vertices marked with a dot in Fig. 9 can only be \(b_+\) or \(c_\pm \) vertices, because of the ice rule and the DWBC. Specialize \(\mu _1=-\lambda _1\) as in the left lattice. Now if the vertex at the bottom right is of type \(b_+\), it has zero weight and does not contribute to the partition function. Hence, the vertex must be a \(c_+\) vertex. Then, the ice rule determines the spins on the two horizontal bottom lines and the rightmost vertical line, i.e. the vertices within the frozen region (the area marked with a dotted line) are determined uniquely. The part of the lattice outside the frozen region is then a lattice of size \(2(n-1)\times (m-1)\) with DWBC. This yields a recursion relation for the partition function. Likewise, specializing \(\mu _1=\lambda _n\), as in the right lattice, forces the vertex marked with a dot to be a \(c_-\) vertex, and the ice rule determines the rest of the vertex weights within the frozen region. Lemma 3.1 yields that the recursion relations hold for \(\mu _k=\pm \lambda _l\) for any \(1\le l\le n\), \(1\le k\le m\). \(\square \)
Lemma 3.4
For \(m=0\), the partition function is
Proof
For \(m=0\), there are no vertical lines. In this case, the partition function is just a product of n turns of type \(k_c\). \(\square \)
Because of the ice rule, \(n\ge m\), so \(n=0\) is only possible if the system has no lines at all. It makes little sense to think of a system with no lines, but for the sake of the following induction argument, we define \(Z_{0,0}=1\) as the empty product, which is in line with the above lemma.
Lemmas 3.2, 3.3 and 3.4 together determine \(Z_{n,m}(\varvec{\lambda }, \varvec{\mu })\). A polynomial of degree \(2n-1\) is uniquely determined by its values in 2n distinct points. Starting from the case \(m=0\), we can hence establish \(Z_{n,m}(\varvec{\lambda }, \varvec{\mu })\) as a function of \(\mu _j\) by induction, using Lemma 3.3.
Theorem 3.5
For the 6V model with DWBC and a partially reflecting end on a lattice of size \(2n\times m\), \(m\le n\), the partition function is
where M is an \(n\times n\) matrix with
where
\(f(x)=2\sinh (x)\) and \(h(x)=2\cosh (x)\).
To prove this, it is enough to check that the right-hand side of (4) satisfies the properties stated in Lemmas 3.1 through 3.4.
Proof
Let \(\tilde{Z}_{n,m}(\varvec{\lambda }, \varvec{\mu })\) be the right-hand side of (4). The symmetry in the \(\lambda _i\)’s and \(\mu _j\)’s is obvious, so the condition in Lemma 3.1 holds for (4). Proving that the statements in Lemmas 3.3 and 3.4 hold for (4) is straightforward: put \(\lambda _l=\mu _k\) into (4). Then all terms with \(f(\mu _k-\lambda _l)=0\) vanish. The only terms left are the terms coming from the part of the determinant containing \(f(\mu _k-\lambda _l)\), since the corresponding factor from the numerator cancels. The terms left are
Simplifying this, we can conclude that the recurrence relation in Lemma 3.3 holds. The proof is similar for \(\tilde{Z}_{n,m}(\varvec{\lambda }, \varvec{\mu })\vert _{\mu _k=-\lambda _l}\).
For \(m=0\), the right-hand side of (4) is
where M is an \(n\times n\) matrix with
Now let
and put \(y_i=h(2\lambda _i+\gamma )\). Then, we can write \(D=\prod _{1\le i< j\le n} (y_i-y_j)\). By row operations, we can rewrite \(\det M\) as a determinant of a Vandermonde matrix \(\tilde{M}_{ij}=y_j^{n-i}.\) The determinant of a Vandermonde matrix is exactly D. Hence, the condition in Lemma 3.4 holds.
The only thing left is to prove the condition of Lemma 3.2. Observe that both the determinant and the denominator of (4) are 0 when \(\mu _i=\pm \mu _j\). It is easy to see that \(e^{2(m-1)\mu _i}\) times the denominator is a polynomial of order \(2(m-1)\) in \(e^{2\mu _i}\) and is hence determined by its value in \(2(m-1)\) points (except for a constant factor). Since the determinant and the denominator share zeroes, the denominator is a factor in the determinant. This proves that \(\tilde{Z}_{n,m}(\varvec{\lambda }, \varvec{\mu })\) is a Laurent polynomial in \(e^{\mu _i}\). To determine the order, we check what happens with the determinant when \(\mu _i\rightarrow \infty \). For this part of the proof, let \(x_i=e^{-2\mu _i}\) and \(y_j=h(2\lambda _j+\gamma )\). Let
Then, each entry of the determinant involving \(\mu _i\) is
We can see that \(y_j\) always stands together with \(x_i\), so in the Taylor series expansion, the power of \(x_i\) is always bigger than the power of \(y_j\). The Taylor series expansion around \(x_i=0\) is
for some constants \(A_{k,l}\). The sum on the left can be written in terms of the last \(n-m\) rows of the matrix. Hence in the determinant, the left sum can be removed by row operations, and we can change the entries \(\hat{F}(x_i, y_j)\) in the determinant to
Letting \(x_i\rightarrow 0\) (i.e. letting \(\mu _i\rightarrow \infty \)), \(A_{n-m,n-m} x_i^{n-m+2} y_j^{n-m}\) is the leading term of the determinant, so the degree of the determinant in the variable \(e^{2\mu _i}\) is \(m-n-2\). The degree of \(e^{(2n-2)\mu _i}\prod _{i=1}^n\prod _{j=1}^m \left[ f(\lambda _i+\mu _j+\gamma )f(\lambda _i-\mu _j+\gamma )\right] \tilde{Z}_{n,m}(\varvec{\lambda }, \varvec{\mu })\) in \(e^{2\mu _i}\) is
which proves the condition in Lemma 3.2. \(\square \)
For \(m=n\), the determinant formula in Theorem 3.5 coincides with Tsuchiya’s determinant formula.
In [12], another way to find the partition function is suggested, by starting from Tsuchiya’s determinant for \(2n\times n\) lattices and step by step removing the extra vertical lines by letting the corresponding variables \(\mu _j\rightarrow \infty \), following Foda and Wheeler [11]. We prove Theorem 3.5 with this method in “Appendix A”.
4 Kuperberg’s specialization of the parameters
In this section, we specialize the parameters in the definition of the partition function (3). By doing this, we find a way to count the total number of states of the model in terms of the partition function.
First, we will state and prove the \(2n\times m\) generalization of Lemma 3.1 in [16]. For any given state, let \(\nu (w)\) denote the number of vertices of type w.
Lemma 4.1
For any given state of the 6V model with DWBC and one partially reflecting end on a \(2n\times m\) lattice, we have
Proof
We follow the same reasoning as in [16]. For the first result, we count the number of different spin arrows. To be able to keep track of the arrow flow through the system, in particular where the arrows go up and down, we think of a \(k_+\) turn as one left, one up and one right arrow, and likewise we think of a \(k_-\) turn as one right, one down and one left arrow. To get the number of up arrows, we count the number of the different vertices and turns with up arrows, and similarly for the down arrows. To not count the edges twice, we count the vertices on every second row and add the edges from the boundaries. Hence, we get two different equations, depending on which rows we choose to count. Denote by \(w^N\) a vertex of type w on the upper part of a double line and similarly \(w^S\) for a vertex of type w on the lower part (N for north, S for south). We get the equations
and
To get the number of left arrows, we count the number of the different vertices with left arrows, plus the number of all \(k_+\) and \(k_-\) turns, then divide everything by two. The number of left arrows is
Similary, the number of right arrows is
Adding Eqs. (5), (8) and two times (10), and subtracting (7), (6) and two times (9) yields
With the given boundary conditions, we have \(\nu (k_c)=n-m\), and furthermore, we must have \(\nu (\rightarrow )=2n(m+1)-\frac{m(m+1)}{2}\) and \(\nu (\leftarrow )=\frac{m(m+1)}{2}\) to satisfy the ice rule. Insert this into (11). The first part of the lemma follows.
For the second part of the lemma, we observe that at a \(k_+\) double row, the upper part of the double line starts and ends with a right arrow, and the lower part of the line starts with a left arrow and ends with a right arrow. The only vertex types that can change the arrows are the \(c_\pm \) vertices. Hence at each \(k_+\) double row,
and similarly at each \(k_-\) double row,
At a \(k_c\) double row, each row starts and ends with right arrows, so
Since \(\nu (c_+)=\nu (c_-)\) on the \(k_c\) rows, we only need to consider the \(k_+\) and \(k_-\) rows. There are m rows of this type. Hence, we get the sum \(\nu (c_+)=\nu (c_-)+m-2\nu (k_-)\), which is the second result of the lemma. \(\square \)
Furthermore, we can count the number of \(a_\pm \) vertices.
Corollary 4.2
For any given state of the 6V model with DWBC and one partially reflecting end on a \(2n\times m\) lattice, the number of vertices of type a (i.e. \(a_+\) and \(a_-\) together) is
Proof
We have that \(\nu (a)=2mn-\nu (b)-\nu (c)\). Use Lemma 4.1 to compute \(\nu (b)\) in terms of \(\nu (b_-)\), and \(\nu (c)\) in terms of \(\nu (c_-)\). \(\square \)
Now let \(\gamma =4\pi \mathrm {i}/3\) so that \(e^\gamma \) becomes a third root of 1. Then, let \(\lambda _i\rightarrow \gamma \) and \(\mu _j\rightarrow 0\) in the partition function \(Z_{n,m}(\varvec{\lambda }, \varvec{\mu })\). In this limit, the weights (1) and (2) are
and the partition function becomes
Here we have used that for \(\gamma =4\pi \mathrm {i}/3\), it holds that \(f(2\gamma )=-f(\gamma )\). Inserting the expressions for the weights and using Lemma 4.1 and Corollary 4.2, the partition function can be computed to be:
where \(N_k\) is the number of states with \(\nu (k_+)=k\), i.e. where k is the number of \(k_+\) turns. Let \(Z_{n,m, k}(\varvec{\lambda }, \varvec{\mu })\) be the partition function for the same model where the number of \(k_+\) turns is fixed to \(\nu (k_+)=k\). Then,
Finally,
counts the total number of states of the model.
4.1 Connection to alternating sign matrices
By specializing the parameters in the partition function for the 6V model with DWBC (without reflecting end), Kuperberg [8] was able to count the number of alternating sign matrices (ASMs). ASMs are matrices where the entries consist of 1, \(-1\) and 0, such that the nonzero elements in each row and each column alternate in sign and such that the sum of the elements of any row or any column is 1. Hence, the first and last nonzero element of each row and each column is always 1.
In the case of DWBC and partially reflecting end, we also get a bijection to a type of ASM-like objects. Consider matrices of size \(2n\times m\), \(m\le n\), consisting of elements 0, \(-1\) and 1. Vertically and horizontally the nonzero elements alternate in sign. The sum of the elements of each column is 1, as for ASMs. Horizontally connect the rows pairwise on the left edge to form a double row as in Fig. 10. A double row may consist of only zeroes. If a row has any nonzero elements, the rightmost of these must be 1. Furthermore, the sum of the entries in a double row must be 0 or 1. Equivalently, a double row can not consist of two rows both having 1 as their leftmost nonzero element.
Proposition 4.3
The expression A(m, n) yields the number of matrices of size \(2n\times m\), \(m\le n\), described above.
Proof
There is a bijection between the states of the 6V model and matrices consisting of 0, 1 and \(-1\) [8] (see Fig. 11), where \(a_\pm \) and \(b_\pm \) correspond to 0 in the matrix, and in the case of reflecting end, a \(c_-\) vertex in the upper part of a double row corresponds to 1, and \(c_+\) corresponds to \(-1\). On the lower part of a double row, \(c_+\) corresponds to 1, and \(c_-\) corresponds to \(-1\). Due to the ice rule and the boundary conditions, the rest of the vertices are determined uniquely.
The fact that there are more rows than columns allows for rows without \(c_\pm \) vertices, corresponding to rows with only zeroes in the matrix. If there are any \(c_\pm \) vertices on the lower part of a double row, \(k_-\) and \(k_c\) turns on that double row force the leftmost \(c_\pm \) vertex to be \(c_-\), corresponding to \(-1\) in the matrix, whereas a \(k_+\) turn forces it to be \(c_+\), corresponding to 1 in the matrix. Similarly, if there are any \(c_\pm \) vertices on the upper part of the double row, \(k_+\) and \(k_c\) force the leftmost nonzero element in the matrix to be \(-1\), and \(k_-\) yields that the leftmost nonzero matrix element is 1. In this way, we can see that both rows cannot have 1 as their leftmost nonzero element. In a similar way, the DWBC impose that if a row has any nonzero element, then the rightmost of them must be 1.
\(\square \)
From the discussion above, it follows that \(N_k\) (12) counts the number of matrices equivalent to states of the 6V model with exactly k positive turns. In the case \(m=n\), the sum of the elements in each double row must be 1, and A(m, n) counts the number of UASMs [10]. The case where \(m=n\) and \(k=0\) corresponds to VSASMs.
5 Specialization in the determinant
In this section, we specialize the parameters in the determinant formula in the same way as in the previous section. We show that with this specialization of the variables, the partition function can be written as a determinant of Wilson polynomials, and finally we use this together with the results from the previous section to give a formula for the number of states of the model.
5.1 Moments and orthogonal polynomials
We start by rewriting the determinant formula of the partition function (4). Let \(x_i=\lambda _i-\gamma \) and \(y_j=\mu _j\). In the previous section, we let \(\lambda _i\rightarrow \gamma \) and \(\mu _i\rightarrow 0\), which corresponds to letting \(x_i\rightarrow 0\) and \(y_i\rightarrow 0\). For \(1\le i \le n\), multiply column i of the determinant by \(f(2x_i)\) and for \(1\le j\le m\), multiply row j of the determinant by \(f(2y_j)\). Then specify \(\gamma =4\pi \mathrm {i}/3\). By row operations on the lower part of the determinant, we can then rewrite the partition function as
where
with
It is apparent that \(f(x)=\sinh x\) and g(x, y) are odd functions. Furthermore, \(x=0\) is a zero of f(x), and \(x=0\) and \(y=0\) are zeroes of g(x, y). Hence, we can write the functions as \(f(x)=x \hat{f}(x^2)\) and \(g(x,y)=xy \hat{g}(x^2,y^2)\), where \(\hat{f}\) and \(\hat{g}\) are analytic at \(x=y=0\). The partition function (14) can thus be written:
where
Now regard \(x_i^2\) and \(y_j^2\) as our variables. Then in the limit where all \(x_i,y_j \rightarrow 0\), the determinant can be written in terms of partial derivatives. Subtract the first column from the second and divide by \(x^2_2-x^2_1\); then in the limit \(x_i\rightarrow 0\), this equals the first partial derivative. Similarly for the kth column, subtract the \((k-1)\)th-order Taylor series expansion of each entry around \(x_k^2=0\), which in the limit is a sum of the first \(k-1\) columns. Then divide by \(\prod _{i=1}^{k-1} (x_k^2-x_i^2)/k!\). By l’Hôpital’s rule, this limit equals the \((k-1)\)th partial derivative. A similar argument for the first m rows lets us write the entries as partial derivatives in \(y_i^2\) as well. The method is described in detail in [7]. Hence in the limit, the partition function equals
To cancel the zeroes in the denominators, the prefactors can be simplified by
Moreover,
so
and
For \(\gamma =4\pi \mathrm {i}/3\),
Following [14], we use Fourier transforms to see that
From this, it follows that
By Taylor expansion and Lebesgue’s dominated convergence theorem, we get
for \(\vert x\vert ,\vert y\vert <\pi /3\), so
Hence,
Let \(c_k\) denote the moment
where
The corresponding inner product is
for polynomials p and q.
In the limit \(x_i, y_j\rightarrow 0\), the partition function thus equals
We can write the entries \(c_k\) in terms of inner products. Since
for all n, the partition function above becomes
Similar determinants show up, for example, in [14]. By row and column operations, the determinant can be rewritten, and the partition function is
where \(p_k(t)\) and \(q_k(t)\) are arbitrary monic polynomials of degree k. We can choose \(\{p_i=q_i\}_{i=1}^n\) orthogonal, i.e.
for some \(h_k\). Then, most entries in the upper part of the matrix become 0, and we can simplify the expression further. We also rearrange the rows. Then, the partition function is
5.2 Wilson polynomials
Colomo and Pronko [14] found a way to write the determinant formula of the partition function of the 6V model with DWBC in terms of orthogonal polynomials. In this section, we show that we can rewrite the determinant formula (4) in terms of orthogonal polynomials as well.
We can rewrite the weight \(\mu (t)\) in terms of the gamma function, defined as the analytic continuation of the integral
which is defined only for \(Re (z)>0\). It can be shown that the gamma function satisfies the following identities:
and
Hence, we have
This is the orthogonality weight for a known family of polynomials, namely the Wilson polynomials. These are defined in terms of generalized hypergeometric series as (see, e.g. [17])
where the orthogonality condition reads
and where \((a)_k=a(a+1)\cdots (a+k-1)\), for \(k\ge 1\), and \((a)_0=1\) is the rising factorial. Comparing this to (15) and (18), we choose the parameters \(a=1/3\), \(b=1/2\), \(c=2/3\), \(d=1\) and \(x=t/6\). Then, the Wilson polynomials are:
These are polynomials in \(t^2\) of degree k, with leading coefficient
The polynomials can hence be written
where \(p_k(t)\) is a monic polynomial of degree k in t. The right-hand side of (19) with the above choices of parameters is
where we have used (17) and the fact that \(\Gamma (j+1)=j!\) if j is a nonnegative integer.
We insert (19)–(22) into (15) and get
Hence,
where we used that
Insert \(p_k(t^2)=W_k\left( \left( \frac{t}{6}\right) ^2; \frac{1}{3}, \frac{1}{2}, \frac{2}{3}, 1\right) /\kappa _k\) into the partition function (16), which then reads
We factor out \(\kappa _{m+j-1}\) from each column of the determinant and use (23) and get
5.3 A formula for the number of states
Next, we rewrite the partition function as a sum over the number of positive turns, k, to be able to identify the terms with the terms in the formulas from Sect. 4. We write
and by using the binomial theorem we get
For \(\gamma =4\pi \mathrm {i}/3\), we have \(f(2\gamma )=-f(\gamma )\) and \(f(\gamma )^2=-3\). The partition function (24) thus becomes
The terms \((e^{2\zeta }-e^{-2\gamma })^k\left( \frac{e^{2\zeta }-e^{2\gamma }}{e^{2\gamma }}\right) ^{m-k}\) are linearly independent for different k’s as functions of \(\zeta \), since the kth term has a zero of degree \(m-k\) in \(\zeta =\gamma \). Therefore, we can fix a k as in the previous section, and we get
Now we can go back to \(N_k\) (12), the number of states where k is the number of \(k_+\) turns. We insert (25) and get the following theorem.
Theorem 5.1
For the 6V model with DWBC and a partially reflecting end, the number of states with exactly k turns of type \(k_+\) is
As a corollary, we get that the total number of states (13) of the model is
From Proposition 4.3, it thus follows that the number of matrices described in Sect. 4.1 is also given by this expression.
5.4 An alternative expression for the number of states
In this section, we derive another way to present the expression (26). We can insert the formula (20) for \(W_{m+j-1}\left( -\frac{k^2}{9}; \frac{1}{3}, \frac{1}{2}, \frac{2}{3}, 1\right) \) into the determinant
Factor out \((5/6)_{m+j-1} (4/3)_{m+j-1} (m+j-1)!\) from each column j. We can rewrite the sum in each determinant entry
of row k and column j to go from 0 to \(n-1\), since the terms disappear when \(l> m+j-1\). We then get
We use linearity of the rows and write the determinant as a sum of determinants. The above becomes
Since \((x)_j/(x)_i=(x+i)_{j-i}\), for \(j\ge i\), we can write
and we can factor out all factors that depend either only on row k or only on column j. The determinant D now becomes
Each element of the alternant matrix
is a polynomial in \(l_k\) of degree \(n-m-1\). This is a special case of a bigger family of determinants, see further [18, Lemma 3]. The determinant is
for some C not depending on the \(l_k\)’s. To find C, we put \(l_k=-k-m-1/2\) which makes the matrix triangular. Then,
so
Hence, the determinant D becomes
Series of similar type appear, for example, in [19, 20].
Inserting the above into (26) of the last section, we get an expression for the number of states with exactly k turns of type \(k_+\) as an \((n-m)\)-fold hypergeometric sum,
Data availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the study.
References
Lieb, E.H.: Residual entropy of square ice. Phys. Rev. 162(1), 162–172 (1967). https://doi.org/10.1103/physrev.162.162
Sutherland, B.: Exact solution of a two-dimensional model for hydrogen-bonded crystals. Phys. Rev. Lett. 19(3), 103–104 (1967). https://doi.org/10.1103/physrevlett.19.103
Korepin, V.E.: Calculation of norms of Bethe wave functions. Commun. Math. Phys. 86(3), 391–418 (1982). https://doi.org/10.1007/bf01212176
Zeilberger, D.: Proof of the alternating sign matrix conjecture. Electron. J. Combin. 3, R13 (1996). https://doi.org/10.37236/1271. arXiv:math/9407211
Mills, W.H., Robbins, D.P., Rumsey, H.: Alternating sign matrices and descending plane partitions. J. Combin. Theory Ser. A 34, 340–359 (1983). https://doi.org/10.1016/0097-3165(83)90068-7
Izergin, A.G.: Partition function of the six-vertex model in a finite volume. Soviet Phys. Dokl. 32, 878–879 (1987)
Izergin, A.G., Coker, D.A., Korepin, V.E.: Determinant formula for the six-vertex model. J. Phys. A 25, 4315–4334 (1992). https://doi.org/10.1088/0305-4470/25/16/010
Kuperberg, G.: Another proof of the alternating sign matrix conjecture. Int. Math. Res. Not. 1996(3), 139–150 (1996). arXiv:math/9712207
Tsuchiya, O.: Determinant formula for the six-vertex model with reflecting end. J. Math. Phys. 39, 5946–5951 (1998). https://doi.org/10.1063/1.532606. arXiv:solv-int/9804010
Kuperberg, G.: Symmetry classes of alternating sign matrices under one roof. Ann. Math. (2) 156(3), 835–866 (2002). https://doi.org/10.2307/3597283. arXiv:math/0008184
Foda, O., Wheeler, M.: Partial domain wall partition functions. J. High Energy Phys. 1207(7), 186 (2012). https://doi.org/10.1007/jhep07(2012)186. arXiv:1205.4400v2
Foda, O., Zarembo, K.: Overlaps of partial Néel states and Bethe states. J. Stat. Mech. Theory Exp. 2016(2), 023107 (2016). https://doi.org/10.1088/1742-5468/2016/02/023107. arXiv:1512.02533
Pozsgay, B.: Overlaps between eigenstates of the XXZ spin-1/2 chain and a class of simple product states. J. Stat. Mech. Theory Exp. 2014(6), P06011 (2014). https://doi.org/10.1088/1742-5468/2014/06/P06011. arXiv:1309.4593
Colomo, F., Pronko, A.G.: The role of orthogonal polynomials in the six-vertex model and its combinatorial applications. J. Phys. A 39(28), 9015–9033 (2006). https://doi.org/10.1088/0305-4470/39/28/S15. arXiv:math-ph/0602033
Sklyanin, E.K.: Boundary conditions for integrable quantumsystems. J. Phys. A 21(10), 2375–2389 (1988). https://doi.org/10.1088/0305-4470/21/10/015
Hietala, L.: A combinatorial description of certain polynomials related to the XYZ spin chain. SIGMA 16, 101 (2020). https://doi.org/10.3842/SIGMA.2020.101. arXiv:2004.09924v2
Koekoek, R., Swarttouw, R.F.: The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue. Report 98–17, Delft University of Technology, Faculty of Technical Mathematics and Informatics (1998)
Krattenthaler, C.: Advanced determinant calculus. In: Foata, D., Han, G.N. (eds.) The Andrews Festschrift, pp. 349–426. Springer, Berlin (2001). https://doi.org/10.1007/978-3-642-56513-7_17
Gustafson, R., Krattenthaler, C.: Determinant evaluations and U(n) extensions of Heine’s \({}_2{\phi }_1\)-transformations. In: Ismail, M.E.H., Masson, D.R., Rahman, M. (eds.) Special Functions, q-Series and Related Topics, Fields Institute Communications, vol. 14, pp. 83–90. American Mathematical Society, Providence (1997)
Schlosser, M.: Summation theorems for multidimensional basic hypergeometric series by determinant evaluations. Discrete Math. 210(1–3), 151–169 (2000). https://doi.org/10.1016/S0012-365X(99)00125-9
Acknowledgements
I would like to thank my supervisor Hjalmar Rosengren for his support and encouragement throughout the whole research process. I am also very thankful for support from and discussions with my cosupervisor Jules Lamers. Thanks also to the anonymous reviewers.
Funding
Open access funding provided by Uppsala University. This paper was written during my time as a Ph.D. student at University of Gothenburg and Chalmers University of Technology.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
There is no conflict of interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Affiliation 1: I no longer work at this department.
Appendix A: Foda–Wheeler method
Appendix A: Foda–Wheeler method
Another way to find the partition function is suggested in [12], by starting from Tsuchiya’s determinant for the partition function on a \(2n\times n\) lattice and step by step removing the extra vertical lines by letting the corresponding variables \(\mu _j\rightarrow \infty \), following Foda and Wheeler [11].
To do this, we need to choose weights that behave well in the limit. The weights that we have chosen in Sect. 2 will do the job. In the lattice, the local weights are either \(w(\lambda -\mu )\) for vertices on the upper part of a double line, or \(w(\mu +\lambda )\) for vertices on the lower part, where w is one of \(a_\pm \), \(b_\pm \) and \(c_\pm \). When letting \(\mu _i\rightarrow \infty \), the local weights become
We start from Tsuchiya’s determinant for \(2n\times n\) lattices,
where M is an \(n\times n\) matrix with
Tsuchiya considered a diagonal K-matrix, but we have a triangular K-matrix. This does not affect the determinant formula in the \(2n\times n\) case, since the ice rule implies that there cannot be any \(k_c\) turns, coming from the off-diagonal entry in the K-matrix.
We first consider the \(2\times 1\) lattice with reflecting end, since the observations that can be made for this case are important in the general case. This partition function consists of two terms (see Fig. 12),
which in the limit is \(\frac{e^\gamma -e^{-\gamma }}{e^\gamma }(k_+(\lambda )-k_-(\lambda ))\). It is easy to check that \(k_+(\lambda )-k_-(\lambda )=\frac{k_c(\lambda )}{\varphi }\). Hence, letting \(\mu \rightarrow \infty \) yields that the partition function becomes \(\frac{e^\gamma -e^{-\gamma }}{\varphi e^\gamma } k_c(\lambda )\). This makes sense in the picture as well, where removing the vertical line means that both the \(k_+\) and the \(k_-\) turn in the \(2\times 1\) lattice become a \(k_c\) turn in the \(2\times 0\) lattice. Conversely, the \(k_c\) turn in the smaller lattice can come from removing the vertical line from a state with a \(k_+\) turn, as well as from a state with a \(k_-\) turn.
Lemma A.1
Taking the limits \(\mu _j\rightarrow \infty \), for \(m+1\le j\le n\), in Tsuchiya’s determinant formula \(Z_n(\varvec{\lambda }, \varvec{\mu })\), one after each other, starting with \(\mu _n\rightarrow \infty \), we obtain
Proof
Consider a lattice of general size. In each state, the leftmost vertical line has an odd number of \(c_\pm \) vertices, because of the DWBC and the ice rule. The \(c_\pm \) vertices appear as products \(c_+(\lambda _i+\mu _m)c_+(\lambda _j-\mu _m)\) or \(c_-(\lambda _i+\mu _m)c_-(\lambda _j-\mu _m)\), where both \(i=j\) or \(i\ne j\) are possible, except for one single \(c_+(\lambda _k+\mu _m)\) or \(c_-(\lambda _k-\mu _m)\) vertex which is not paired up. In the limit \(\mu _m\rightarrow \infty \), the nonzero contribution to \(Z_{n,m}(\varvec{\lambda }, \mu _1, \dots , \mu _m)\) comes from the states with exactly one \(c_\pm \) vertex in the mth column, so we only need to consider these states. In this case, each state contains exactly one of the configurations in Fig. 13a or 13b.
Each state has \(n-m\) turns of type \(k_c\). For \(m<n\), each state of size \(2n \times m\) comes from letting \(\mu _{m+1}\rightarrow \infty \) in states of size \(2n\times (m+1)\). In the smaller lattice, all turns are the same as in the bigger lattice, except for at one double row k, where the \(k_c\) turn corresponds to either a \(k_+\) turn or a \(k_-\) turn in a bigger lattice configuration, just as in the case \(n=1\). Each \(k_+\) or \(k_-\) turn in the smaller lattice comes from one of the configurations in Fig. 14 in the bigger lattice. In the limit, each state in Fig. 14, although consisting of two vertices and one turn, also has total weights \(k_+(\lambda _i)\) or \(k_-(\lambda _i)\), respectively. We are interested in how the partition function for the smaller lattice differs from the bigger lattice, and therefore, we only need to consider the \(k_c\) turns in the \(2n\times m\) lattice, see Fig. 15. All turns of type \(k_c\) below row k come from turns of the type in Fig. 13c. All turns of type \(k_c\) above row k come from turns of the type in Fig. 13d. Each turn of type Fig. 13c has weight \(e^{-2\gamma }k_c(\lambda _i)\), and each turn of type Fig. 13d has weight \(k_c(\lambda _i)\) in the limit.
The row k can be chosen in \(n-m\) different ways, so we need to sum over all these possibilities. Putting all of the above together, we conclude that
as \(\mu _{m+1}\rightarrow \infty \). By iteration, the lemma follows. \(\square \)
We now prove the determinant formula by induction.
Proposition A.2
For the 6V model with DWBC and a partially reflecting end on a lattice of size \(2n\times m\), \(m\le n\), the partition function is
where
and
for \(v_i=2\lambda _i+\gamma \).
Proof
We start from Tsuchiya’s determinant formula (A1). Let \(P_{n-m}\) be the claim that (A4) holds. We know that \(P_0\) is true, since this is Tsuchiya’s determinant. Assume \(P_{n-m}\). We will prove that \(P_{n-m+1}\) also holds. From (A3), we have
Insert (A4). Absorb factors that have to do with \(\mu _m\) into the mth row of the matrix,
where
Write \(v_i=2\lambda _i+\gamma \). Then
By Taylor expansion,
with \(C_k(\lambda _i)\) as defined in (A5).
Consider
By row reduction in the determinant, all terms with \(C_l(\lambda _j)\), for \(0\le l \le n-m-1\), can be removed from the sum. The elements of row m become
Now we take the limit,
so \(P_{n-m+1}\) is true. \(\square \)
The last thing left to do is to simplify the last \(n-m\) rows of the determinant.
Theorem A.3
(Theorem 3.5) For the 6V model with DWBC and a partially reflecting end on a lattice of size \(2n\times m\), \(m\le n\), the partition function is
where
and where \(f(x)=2\sinh x\) and \(h(x)=2\cosh x\).
Remark A.1
In Theorem 3.5, the determinant is expressed in a more compact form.
Proof
We start from the determinant (A4) from the last proposition. Focus on the entries of the lower part of the determinant, defined in (A5) as
These are clearly Laurent polynomials of degree k in \(e^{v_j}\), and they are even in \(v_j\). We have already seen that \(C_0(\lambda _j)=1\). For \(k>0\), the leading coefficient is
Thus by row reduction in the determinant, we can replace \(C_k(\lambda _j)\) by
for \(k>0\). Switching back to the variables \(\lambda _j\) and factoring out \(\frac{f((k+1)\gamma )}{f(\gamma )}\) from each row of the lower part of the determinant yields the desired result. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hietala, L. Exact results for the six-vertex model with domain wall boundary conditions and a partially reflecting end. Lett Math Phys 112, 41 (2022). https://doi.org/10.1007/s11005-022-01530-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-022-01530-5