Six-vertex model with rare corners and random restricted permutations
Abstract.
We study limit shapes in two equivalent models: the six-vertex model in the limit and the random Mallows permutation with restricted permutation matrix. We give the Euler-Lagrange equation for the limit shape and show how to solve it for a class of rectilinear polygonal domains. Its solutions are given by piecewise-algebraic functions with lines of discontinuities.
Contents
1. Introduction
The six-vertex model (see Figures 1, 2) is one of the most fundamental and well-studied models of statistical mechanics, with deep connections to combinatorics, probability, and quantum algebra, we refer to [LW72, Bax07, Res10, BL14, GN23] for extensive reviews. Despite spectacular progress on exact solutions by Lieb [Lie67], Sutherland-Yang-Yang [SYY67], Nolden [Nol92], Noh-Kim [NK96], and others, in the most general setting it remains unsolved: even closed expressions for the partition function on the torus or free energy as a function of the slope are not known.
In the combinatorics community, a six-vertex model setting of particular interest is given by “domain wall boundary conditions” (DWBC), as in Figure 2. This setup has a number of connections with algebraic and integrable combinatorics: special cases enumerate Alternating Sign Matrices, domino tilings of the Aztec Diamond, classes of symmetric polynomials, and so on, see e.g. [EKLP92, BP99, Gie09, ZJ09, DF18, ZJ24] and references therein.
In this paper we study the limit of the six-vertex model. For DWBC this is a point where the model is isomorphic to a random Mallows permutation, that is a permutation weighted by , where is the number of inversions (and is a positive parameter). The Mallows measure has been intensively studied since its introduction in [Mal57]; we refer to [HMV22, AK24] for two recent papers and many references to previous work. The closest to our text are papers [Sta09, SW18] which study the macroscopic limit shapes for random Mallows permutations.
In the present work we go beyond DWBC for the six-vertex model and obtain explicit limit shapes for a variety of natural domains, including polygonal subdomains for the domain-wall boundary conditions. In the random Mallows permutations language, we deal with permutations with restricted positions, as in [DGH01]. Our limit shapes satisfy a variational principle whose associated PDE is the hyperbolic Liouville equation
for a function , where is a constant governing the speed of convergence of to as the domain grows, see Proposition 3.11 and Remark 4.2. Surprisingly, our solutions are usually only piecewise analytic and in fact discontinuous, see Figures 5,6,7,8,9. We are in a remarkable situation where we can find explicit equations for nonanalytic limit shapes.
In the case we prove that the variational problem has a unique maximizer, that is, limit shape, for any rectilinear domain, and give a robust procedure for computing it, based on the Sinkhorn-Knopp algorithm. For general (equivalently, ) we do not know whether the Euler-Lagrange equations associated to the variational problem have a unique solution. However, for a wide class of cases with close to , we are able to prove the uniqueness and further express the limit shape in terms of solutions to certain algebraic equations, see Theorems 3.15 and 4.9. As an outcome, in this situation the function encoding the limit shape is a piecewise-rational function of , , see Corollary 4.11 for the exact statement. We supplement our general theorems with explicit computations for a number of examples in Sections 4 and 5.
We treat our results as an important contribution to the long-standing open problem of finding the limit shapes for the six-vertex model, discussed, e.g., in [ZJ02, PR10, Res10]. There are only three previous special cases, where a full description of the set of limit shapes has been obtained. For the free-fermion subvariety in the space of the parameters, the model is equivalent to random domino tilings (cf. [FS06]) and in this language the model was analyzed in [CKP01, KO07, BK16, KP24], see also [Gor21]. In [dGKW21] and [KP22] limit shapes for the case (the so-called five vertex model) were worked out. For stochastic weights and free boundary conditions, the model is equivalent to an interacting particle system, and this fact was used to compute limit shapes in [GS92, BCG16, BG19, Agg20b]. From this perspective, our key discovery is that there exists a fourth case, where the six-vertex model is equivalent to another system (random permutations) and its limit shapes can be found.
An interesting accompanying question, which we do not address in this work, is how to design efficient perfect samplers for configurations of the six-vertex model with close to or for random Mallows restricted permutations. In the six-vertex literature a standard approach is to run a local Glauber dynamics until it mixes, as in [KS18, FR19, BR22, LKV23, PS23]; in the random permutations literature, sampling restricted permutations by multiplying with random transpositions was discussed in [DGH01, Bor11]. However, for general and the domains we consider here the existing algorithms can be prohibitively slow.
Acknowledgments. We thank István Prause for helpful comments. Part of this research was performed while the authors were visiting the Institute for Pure and Applied Mathematics (IPAM), which is supported by the National Science Foundation (Grant No. DMS-1925919). V.G. was partially supported by NSF grant DMS - 2246449. R.K. was supported by NSF DMS-1940932 and the Simons Foundation grant 327929.
2. Problem setup
We present here two different points of view on the problem we study: limit shapes for the height function in an instance of the six-vertex model, permuton-type limits of restricted random permutations.
2.1. Six-vertex model with rare corners
A configuration in the six-vertex model in a finite domain is an assignment to the vertices of this domain of one of the six types of Figure 1 in a consistent way, i.e. so that the outcome is a collection of paths which are allowed to touch each other, but not to cross, and connecting points on the boundary of . Let be the collection of all edges of the grid, connecting to its complement . By boundary condition, we mean a choice of -sequence of length , where each indicates that the corresponding edge of is occupied by a path and indicates that the edge is not occupied. A configuration is consistent with boundary conditions, if the paths leave/enter domain through the edges of labeled with s and only through them.
![Refer to caption](x1.png)
As a simple example, take to be the square, with and the boundary condition such that all the edges along the left and top boundaries are occupied and all the edges along the bottom and right boundaries are not occupied, see Figure 2. This situation is usually called “Domain Wall Boundary Conditions”.
![Refer to caption](x2.png)
![Refer to caption](x3.png)
![Refer to caption](x4.png)
For a more general class of domains, we need an auxiliary definition.
Definition 2.1.
A array with entries is called convex, if it is horizontally and vertically convex, that is, if for each horizontal111We use the Cartesian coordinate system for enumerating elements of the array , rather than the usual matrix notation, so the origin of the array is in the lower left corner. coordinate , the set is a non-empty connected segment of integers, and for each vertical coordinate , the set is a non-empty connected segment of integers.
Remark 2.2.
Any convex array can be constructed by starting from array of all s, choosing four Young diagrams adjacent to the four corners, and converting the numbers inside those Young diagrams into s.
Example 2.3.
The array is convex, but is not.
We deal with domains parameterized by the following data:
-
•
Positive integers , , and ;
-
•
Integers and ;
-
•
A convex array .
Definition 2.4.
We define to be a subset of given by
The boundary conditions are: horizontal paths enter into the left-most vertices in each of the rows; vertical paths leave the upper-most vertices in each of the columns.
We refer to Figure 3 for an example of , and remark that for , this is exactly the square with Domain Wall Boundary Conditions, as in Figure 2.
![Refer to caption](x5.png)
![Refer to caption](x6.png)
Next, we introduce a weight for each vertex type and define the probability of a configuration of the six-vertex model in domain as
(1) |
where is the number of vertices of Type in the configuration . The normalization in (1) is chosen so that the sum over all in is . One can show that for these deterministically fixed boundary conditions, the probability measure (1) depends on two parameters, rather than six (there are four conservation laws, see e.g. [GN23, Lemma 2.1]). Hence, there is no loss of generality to consider six symmetric weights , as in Figure 1.
We study random configurations of the six-vertex model in via their height functions.
Definition 2.5.
The height function is defined for situated inside the domain as the total number of paths one crosses to get from to the bottom-right corner of the domain.
We note that along the boundary of , the values of do not depend on the choice of the configuration and can be seen as an alternative encoding of the boundary conditions, cf. Figure 3.
Question 2.6.
What is the asymptotic behavior of for large ?
One hopes to have a deterministic limit , and we refer to it as the limit shape. For generic values of the limit shape is unknown even for the square of Figure 2. The notable exception is on the so-called free fermionic subvariety: this means a choice of satisfying . In this situation a bijection of the model with random domino tilings (see e.g., [FS06] and references therein) brings in various tools that can be used to find the limit shape , e.g. [CKP01], [BK16], [KP24].
We do not have anything new to say at generic , but we study here the case . In the limit , the only surviving configurations of the model have the minimal possible number of vertices of Types and . The specific form of and its boundary conditions guarantee that the minimum is achieved on the configurations which have Type vertices (one per row, one per column) and zero Type vertices. Hence, we can equivalently use the degenerate weights of Figure 1. In particular, the right configurations of Figures 2 and 3 have positive probabilities in this limit, while the middle configuration of Figure 2 has vanishing probability and disappears.
Remark 2.7.
In our degeneration only five vertices remain. However, these are not the same five vertices as in [dGKW21], and our model and limit shapes are very different from those.
Our task is to describe the limit shape for with degenerate weights.
2.2. Restricted random permutations
We restart and give a different definition of our objects of interest. We deal with random permutations of letters. There are many ways to introduce a probability distribution on permutations. We fix real and focus on the celebrated Mallows measure:
(2) |
Such a measure was originally introduced in [Mal57] and since that time it has been intensively studied in probability, statistics, and theoretical physics. For instance, [HMV22] contains one recent result and many references to previous work. Note that when this is the uniform measure on permutations.
In (2) a further choice can be made: either can be any of the permutations, or there can be additional restrictions on . The restrictions we deal with are parameterized by the following data abbreviated :
-
•
Positive integers , , and ;
-
•
Integers and ;
-
•
A array .
Definition 2.8.
We say that a permutation is restricted by , if for each , we have , where
-
•
is the index , such that ; and
-
•
is the index , such that .
Remark 2.9.
If one identifies with a collection of points , then the condition says that all these points must be in of Definition 2.4.
In particular, if is a matrix of all ones, then there are no restrictions and all permutations are possible; other choices of introduce various constraints, see Figure 4 for an example. We fix and analyze random permutations restricted by and sampled according to (2). Such restricted random permutations play an important role in developing various statistical tests; we refer to [DGH01] for a review.
Remark 2.10.
If is an array of all ones, i.e., there are no restrictions, then in (2) is explicit: . For generic we do not expect any explicit formula for .
![Refer to caption](x7.png)
![Refer to caption](x8.png)
We recall that a permuton is a probability measure on with uniform marginals, i.e. such that and for all . Each permutation can be encoded by a permuton of density
(3) |
In words, each point gives rise to a square of density for .
A random permutation restricted by and sampled according to (2) gives rise to a random permuton . Our goal is to understand the limits of these permutons as . Due to [Sta09], the answer is known for unrestricted permutations (i.e. when is the array filled with s), and we would like to understand how it changes when we introduce restrictions.
2.3. Between the six-vertex and permutation points of view
Theorem 2.11.
Take the data of Definitions 2.4, 2.8 with convex array and assume that there exists at least one permutation restricted by . Consider the correspondence between configurations of the six-vertex model in domain with degenerate weights of Figure 1 (i.e. without Type vertices) and permutations restricted by , identifying the Type vertices in with points . This correspondence is a weight-preserving bijection between probability measures (1) and (2) with .
Remark 2.12.
For non-convex , the restricted permutations make perfect sense, but the corresponding object on the six-vertex side is less natural. We would need to keep track of the six-vertex configurations inside the holes in (cf. the left panel in Figure 4) and restrict to have no -type vertices there.
Proof of Theorem 2.11.
Consider a configuration of the six-vertex model in domain . Let us trace a row of the domain from left to right. Note that on the left border there is an incoming horizontal path, while on the right border there is none. Hence, there should be at least one vertex of Type in this row. By the same argument there should be at least one vertex of Type in each of columns. Therefore, the minimum number of vertices of Types and is and it is achieved by having exactly one Type vertex in each row and column (and no vertices of Type ). Hence, we arrive at the model with degenerate weights of Figure 1 and with configuration of the Type vertices forming a permutation matrix. It is straightforward to check that these Type vertices uniquely determine the types of all other vertices and that every permutation restricted by can be obtained in this way. This is our bijection between degenerate six-vertex configurations and permutations; it remains to check the correspondence between the weights (1) and (2).
For that we extend a configuration of the six-vertex model in domain to the configuration in square with Domain Wall Boundary conditions. We note that is a disjoint union of four connected domains adjacent to the four corners on the square (in Figure 3, the top–left and bottom-right domains are empty, while the top-right and bottom–left domains are squares), add Type vertices in all positions of the bottom–right domain, add Type vertices in the top–left domain, add Type vertices in the bottom–left domain, and Type vertices in the top–right domain. Since the additional vertices are exactly the same for each configuration in , this extension does not change the probability measure (1).222This step would not have worked the same way for non-convex .
In order to compute the weight of the configuration in the full square, we repeat the argument of [GL23, Proposition 7.2]: In row of the configuration corresponding to the permutation there is exactly one Type vertex and:
-
•
vertices of Type ,
-
•
vertices of Type ,
-
•
vertices of Type ,
-
•
vertices of Type .
Note that . Hence, the product of the weights (we use the degenerate weights of Figure 1) of the vertices in row is
Multiplying over all , and omitting a prefactor which does not depend on , we conclude that the probability of a configuration corresponding to is proportional to
Proposition 2.13.
Remark 2.14.
The identity (4) is valid for , but also can be taken as a definition of (piecewise-linear) extension of to real arguments.
Proof of Proposition 2.13.
is the total number of paths one crosses to get from to the bottom-right corner of the domain, which is equal to the total number of –type vertices situated in the down-right direction from . The latter number is the same as . ∎
3. Asymptotic theorems
3.1. Asymptotic regime
We fix , , and matrix . In addition, we fix rational parameters and let be the common denominator of all these parameters. We define and through
(5) |
will be a large parameter of the form , . This guarantees that all the numbers in (5) are integers. When we write , what we mean is and . For the parameter we further assume
(6) |
3.2. Variational principle
The large limits for configurations in the interpretations of either Sections 2.1 or 2.2, can be described via a variational principle which we now present. Taking into account the correspondence of Proposition 2.13, we encode the configurations by the normalized height function:
(7) |
The function belongs to the following class of functions:
Definition 3.1.
is the class of all real functions , , which are –Lipshitz in both and variables, satisfy for all , , the inequality
and satisfy the boundary conditions:
Remark 3.2.
Taking , we conclude that each is weakly decreasing in . Taking , we conclude that each is weakly increasing in .
We equip with the uniform topology, i.e. the topology generated by the metric . It is straightforward to check that the correspondence is a bijection between functions in and permutons. Under this bijection, the uniform topology on becomes the weak topology on permutons treated as probability measures on .
When the configurations are restricted by , the normalized height functions belong to a closed (and thus compact) subset of .
Definition 3.3.
Given integers , , a array filled with s and , and real parameters and , we define to be a closed subset of consisting of all functions , such that whenever ,
(8) |
Remark 3.4.
In terms of the corresponding permuton, (8) says that the mass of the square is zero.
Definition 3.5.
We say that the data , , and array of size is non-degenerate if there exists a non-negative real array , such that if and only if and , for all , and for all .
Note that being non-degenerate implies that the set is non-empty. In addition, this condition rules out the cases when the choice of and implies vanishing of the permuton on some rectangles; in this situation we can always change some elements of to zeros and achieve a non-degenerate situation.333For instance, take , and . This is a degenerate situation, because uniform marginals conditions implies that the permuton vanishes in the bottom-left square. Hence, we should replace with to get a non-degenerate triplet corresponding to exactly the same set . From now on we tacitly assume that is non-degenerate.
We use the permuton energy of the height functions to compute limit shapes:
Definition 3.6.
Given a function we define its permuton energy to be
(9) |
(where is from (6)) if the integral exists and otherwise. The product is understood as when .
Using the correspondence, , the first term in (9) is the entropy of the measure . A proper way to think about this term is that it is given by the double Lebesgue integral , whenever has a density with respect to the Lebesgue measure on ; the latter integral is either finite or . If is not absolutely continuous, then we set the integral to be by definition. As for the second term in (9), since and by Lipshitz condition, the integral of this term always exists and is upper bounded by in magnitude.
Theorem 3.7.
In the asymptotic regime of Section 3.1, for any closed non-empty we have
(10) |
and for any non-empty open444We mean here open as a subset of , rather than open as a subset of . , we have
(11) |
Remark 3.8.
We omit the proof for Theorem 3.7 and only mention that the first term in (9) is the entropy appearing from counting the permutations, while the second term is the logarithm of the weight reexpressed in terms of the height function . Statements very similar to Theorem 3.7 can be found in [Sta09, Tra08, Muk16, KKRW20, SW18, BDMW24]. Note that in contrast to the variational principle for domino tilings of [CKP01] (domino tilings are equivalent to configurations of the six-vertex model with weights satisfying , see [FS06]), the prefactor in front of in (10),(11) is rather than .
Corollary 3.9 (Variational principle).
Proof.
We apply Theorem 3.7 to the –neighborhood of and its complement. ∎
Remark 3.10.
In the rest of the paper we concentrate on identifying the maximizers of .
3.3. Maximizers via Euler-Lagrange equations
We start the analysis of the variational problem , . We don’t assume that is convex unless explicitly stated.
We say that a point , , is strictly inside the (rescaled) domain , if and for some such that . Note that we prohibit the end-points , , etc.
Proposition 3.11 (Four-point relation).
Let be a maximizer of and set to be the density of the corresponding permuton. Take , , such that the four points , , , are strictly inside and is continuous and positive at these points. Then
(12) |
Proof.
We choose two small constants and , consider four squares of side-length centered at , , , , add to the values of in the first and third one and subtract from the values in the second and fourth ones. Note that the boundary conditions on are unchanged under this transformation and let us compute the change in the double integral expression (9) for the energy .
Differentiating the first term in the double integral in , we conclude that it changes by
(13) |
as . For the second term, we notice that
Hence, the integrand in the second term changes only in –neighborhood of the rectangle. Inside the corner four squares of side-length , and change by . Therefore, the total change in the part of the double integral where we integrated over these squares is . This term will be negligible eventually. More important is the change of and in the –neighborhood of the sides. This change is:
which simplifies to
(14) |
The total change is the sum of (13) and (14). Since can be of both signs, the sum should be zero in the leading order, as otherwise is not a maximizer. This gives the equation
Proposition 3.11 applies only at the points where is positive. Yet, in all the examples we checked, is actually positive everywhere inside the domain. We state this as a conjecture.
Conjecture 3.12.
Suppose that the data is non-degenerate in the sense of Definition 12. Let be a maximizer of and set to be the density of the corresponding permuton. Then there exist constants (which depend on all the data) such that for almost all points .
Remark 3.13.
The four-point relation (12) is the Euler-Lagrange equation for the variational problem , . In general, this variational problem is not convex, so additional care is required to identify the solutions of the Euler-Lagrange equation with the maximizers. However, for small we can still use convexity ideas. For that we define the concept of a smooth solution.
Definition 3.14.
We call a function a smooth solution to the EL-equations of class , if there exists another (measurable) function , such that:
-
(1)
-
(2)
For each , , the restriction of on the open rectangle has a continuous extension to the closed rectangle .
-
(3)
If , then .
If , then for all , . -
(4)
For each , , we have
(15) where the signs are the left and right limits, e.g. .
Note that we include the cases of degenerate rectangles and/or in (15) above.
Theorem 3.15.
Fix two real constants , array , and real parameters and . There exists a real constant (depending on all the data from the previous sentence), such that for all satisfying , if is a smooth solution to the EL equations of class , then is the unique solution of the variational problem , .
Our computed examples of Sections 4 and 5 are all smooth, and hence unique solutions for small by this result.
Remark 3.16.
Proof of Theorem 3.15.
We fix and a parameter . We consider the function given by
Our task is to show that whenever is not identical zero, we have
(16) |
We assume without loss of generality that (the density of the permuton corresponding to ) is well-defined as a density of an absolutely continuous probability measure; otherwise and (16) is clear.
We expand in the integrand in the permuton energy (9):
(17) |
Note that the integral of the term vanishes, because is a solution to the Euler–Lagrange equations: we provide more detail in Lemma 3.18 below. Hence, we are interested in term and we would like to show that its integral is always negative. The particular value of is not important (it can be absorbed into the definition of ) and we will set from now on. Integrating by parts in the term and noticing that boundary terms vanish because and satisfy the same boundary conditions, we want to prove that
(18) |
Let us denote
(19) |
so that
(20) |
and
We will use the following statement whose proof we postpone:
Lemma 3.17.
We have
Simultaneously, we use of the following elementary bound, valid for all (and in which we have not tried to make the constants optimal):
Therefore, noting that is negative and , we get
(21) |
Given the values of and , we can choose , so that the last expression is negative whenever and is different from identical zero. ∎
Proof of Lemma 3.17.
Using (20), we have
(22) |
We split the integral into three parts and then sum the estimates:
- •
- •
-
•
If and , then we upper bound by the part of the integral where only (dropping the second condition). Using exactly the same argument is in the previous case, we again get a bound . ∎
Lemma 3.18.
Suppose that is a difference of two functions from , such that mixed partials of each of them are (minus) densities of absolutely continuous measures on . Also suppose that is a smooth solution to EL equations of class . Then
(23) |
Proof.
In terms of , the left-hand side of (23) is rewritten as
(24) |
The integral of the second line vanishes, because has zero boundary conditions along all sides of . For the first line, we integrate by parts in for the second term and in for the third term, transforming (24) into
The first line of the last expression is zero because of (15), and the second one vanishes because of the zero boundary conditions for . ∎
4. Smooth solutions to Euler-Lagrange equations
In this section we discuss how to solve the Euler-Lagrange equations for the maximizers of the permuton energy .
4.1. Consequences of Definition 3.14
Proposition 4.1.
Take and let and be as in Definition 3.14. For each , , there exist continuous functions and , taking the value at most once each, and such that
(25) |
Remark 4.2.
Remark 4.3.
The choice of and in (25) is not unique: the Moebius transformations
(27) |
keep the expression in the right-hand side of (25) unchanged. In particular, these transformations with real can be used to move around the points (if any) where or . One can also get rid of the infinities completely by using a Moebius transform mapping the real line to the unit circle in . Then we can rewrite the representation (25) in terms of two angles on the circle as:
(28) | ||||
Proof of Proposition 4.1.
Our argument is somewhat similar to [Sta09, Section 5]. We fix and and omit them from the notations throughout the proof. We assume throughout the proof: the case can be obtained by applying involution. Using (15) inside the rectangle and extending it to the boundaries by continuity, we conclude that for all ,
(29) |
We treat (29) as a functional equation on the unknown function , supplied with boundary conditions , , and , . We further argue in two steps. In Step 1, we show that there exists a solution to (29) of the form (25). In Step 2 we show that (29) uniquely determines .
Step 1. Note that the right-hand side of (25) can be rewritten as
Plugging into (29), we need to check
which is trivially true for any choice of functions such that for all relevant and . We also need to match the functions to the boundary conditions and . For instance, we can choose
(30) | ||||
(31) |
leading through (25) to
(32) |
which clearly satisfies the desired boundary conditions and . Note that since , (32) is well-defined and uniformly bounded for all , . Further, for and for , hence stays bounded away from zero, as desired. Also note that might have a pole, but it cancels when plugging into (25). Clearly, (30), (31) imply that and can not have more than one pole, as claimed in the statement.
Step 2. Suppose that and are two positive continuous functions on , which both satisfy (29) and , . We claim that then and coincide. Indeed, define
Subtracting (29) for and and noting that is the same for both, we deduce existence of a constant , such that
(33) |
Plugging (33) into itself times, and after that bounding , we deduce
Since is arbitrary, has to be . ∎
The next step is to explain how functions are related to each other.
Proposition 4.4.
Let and be as in Definition 3.14. If and are such that , but , then there exists a constant , such that
(34) |
Similarly, if and are such that , but , then there exists a constant , such that
(35) |
In words, Proposition 4.4 says that makes a multiplicative jump by a constant when moving to an adjacent rectangle or over a hole in the domain.
Proof of Proposition 4.4.
Proposition 4.5.
Let and be as in Definition 3.14. If and are such that , but for all , then
(36) |
Proof.
We apply (15) for , , , . ∎
Proposition 4.6.
The functions in Proposition 4.1 are Moebius transforms of each other and the functions are also Moebius transforms of each other. In other words there exist functions and , such that for each , we have
Proof.
Note that for different values of the functions have different domains of definitions (which might only overlap by a point), hence, the statement of being a Moebius transform of each other is trivially true. Hence, we only fix and study what happens as we vary . Note that only those where matter, and take two adjacent such s, i.e. suppose are as in Proposition 4.4. Using (34) and substituting (25) for , , we get:
(37) |
Hence, for a constants , , , , and , not depending on , we have
Therefore, and are Moebius transforms of each other. The argument for is the same. ∎
For a general matrix , all the functions and need to be related to each other using Propositions 4.4, 4.5, and 4.6. An example will be given in Section 5.2. For convex there is a simplification.
Proposition 4.7.
Suppose that is convex. Then all functions and in Proposition 4.1 can be chosen to not depend on or . The resulting and can be chosen to be continuous functions from to the extended real line with finitely many values.
Proof.
For each , we let denote the maximal segment of indices such that . Consider the rectangle . Repeating the argument of Proposition 4.1, we can choose continuous functions and , such that
(38) |
Indeed, the argument of Proposition 4.1 did not use the continuity of , and it works equally well for piecewise continuous .
Combining Propositions 4.4 and 4.5, we conclude that as we cross the horizontal line , the function is being multiplied by a single constant . Hence, for each we have a version of (37), which now reads:
(39) |
(40) |
(41) |
We now use (41) to sequentially redefine the functions and for . Functions and are unchanged. We replace with defined by:
As we noticed in Remark 4.3, the simultaneous Moebius transformations of and do not change . Hence, the redefined still satisfy (38). On the other hand, comparing with (41), we see that for all for which both functions are simultaneously defined. Repeating this procedure for all larger , we achieve that all functions are the same. All functions have different domains of definitions, hence, they can also be thought as being independent of .
We also need to check the continuity. Note that were continuous (taking values in extended real line by construction, because (30) is a continuous function of ; the continuity is preserved under Moebius transformations, hence, this the final is continuous in .
For the function we need a separate argument, as it might have been discontinuous at for some . In order to see that this does not happen, we go back to (40). Taking into account that after redefining , it no longer depends on , we have
(42) |
Treating everything except as constants, (42) is an identity of two functions of . Clearly, this identity can be true only if , which proves the desired continuity. ∎
Remark 4.8.
In several examples we checked with non-convex , it was impossible to find a solution of the EL-equations of the form (25) with and not depending on or .
4.2. Algebraic equations for convex
Summarizing the developments of the previous section, in order to solve the EL-equations for the permuton energy with convex we need to find two continuous functions
such that the function
is non-negative whenever with and satisfies the permuton conditions (equivalent to the boundry conditions on ):
(43) |
(44) |
The algorithm for finding functions and is given in the following theorem.
Theorem 4.9.
The numbers , , , , are found by solving a system of polynomial equations:
(45) | ||||
(46) |
The values at other points are found from polynomial equations in variables and :
(47) | ||||
Remark 4.10.
Recall from Remark 4.3 that functions and are defined up to –dimensional group of Moebius transformations. Hence, we can fix three out of variables , in arbitrary ways, and find the remaining variables from (45),(46). One equation is abundant: the product of all equations (45) is the same as the produc of all equations (46). Therefore, eventually the number of variables matches the number of equations.
Proof of Theorem 4.9.
Theorem 4.9 has the following corollary.
Corollary 4.11.
For convex, the functions and are Moebius transformations of and , respectively, on each rectangle. Consequently has the form
(49) |
on each rectangle, where the constants depend on .
Proof.
Theorem 4.9 indicates that finding the limit shapes for restricted random permutations for convex crucially depends on being able to solve the system of equations (45), (46). In Sections 4.3, 4.4, 4.5 we explain various approaches for finding the solutions of (45), (46), and then show additional examples in Section 5.
When is non-convex, the algorithm is more complicated. According to Proposition 4.6, the functions and now depend on and through Moebius transforms and all these transforms should be identified by using the relationships of Proposition 4.4 and 4.5; in principle this can be done (one can check that the number of degrees of freedom matches the number of constraints), yet computationally it is quite hard. After this is done, one can again use formula (45), (46), (47), but with and replaced with and , respectively, in the factor raised to the power. Through this approach, we managed to compute the simplest non-convex example in Section 5.2. It would be interesting to find further simplifications, which would allow the investigation of other non-convex situations.
4.3. The case
Theorem 4.12.
For , the maximizer in the variational problem , , has the following form in terms of density :
-
•
On each rectangle , the density is constant:
(50) -
•
There exist two sequences of positive reals and , such that . These sequences are found from the conditions:
(51) (52)
Proof.
We explain why two sequences and satisfying (51),(52) exist immediately after the proof. Taking this as granted, note that, given (50), the conditions (51),(52) are equivalent to the boundary conditions on or (43), (44). Simultaneously, the condition (15) with holds, because factors as a function of times a function of . Therefore, of (50) satisfies the Euler-Lagrange equations and, hence, by Theorem 3.15 it is a maximizer. ∎
In matrix notation, (51),(52), ask to multiply on the right and left by two diagonal matrices, so that its row and column sums become equal to the prescribed constants (e.g. if these constants were all , then we would have been aiming for a bistochastic matrix). This problem is well-studied in the statistics, computer science, economics, and optimal transport literature; the algorithm for solving it was rediscovered many times: some of the names are iterative proportional fitting and Sinkhorn–Knopp algorithm, see [Ide16] for the detailed historic overview and many references.
This is an iterative algorithm, which starts by setting and then sequentially updating , , by the following two rules:
Assume that and , are non-degenerate, as in Definition 3.5. Then , of the above iterative algorithm converge as towards and solving (51), (52), see [Ide16, Theorem 4.1] and references therein. In practice, the convergence is extremely fast, as many authors show.
4.4. Numeric algorithms for small
We next explore how to leverage the existence of the iterative proportional fitting algorithm at , in order to obtain numeric solutions to the polynomial equations (45), (46) for small .
Lemma 4.13.
Proof.
Once we make the change of variables, we have as
Combining the algorithm of the previous section with Lemma 4.13 we arrive at the following numerical method for solving (45), (46).
-
•
Encode the –dependent solution through
-
•
At , find , , and , , through the iterative proportional fitting algorithm of the previous section.
- •
One delicate point is that, as we mentioned in Remark 4.3, for each , there is a –dimensional group of symmetries of the solutions, and we need to choose one solution, by manually imposing three conditions (e.g. choosing the values of three variables). Similarly, at , the –dimensional group is generated by shifting by a constant, shifting by a constant, and simultaneous multiplication of by a constant together with division of by the same constant. It is unclear which choice of the three conditions is the best from the numerics perspective. We experimented with some choices and implemented several versions of the above algorithm — this is how our Figure 5 is produced. In all our experiments, the algorithms work well for small and start exploding at some point as grows (by growing to or hitting one of the zeros of denominators in the equations (45), (46)).
![Refer to caption](extracted/5814686/Trigonometric_k4_r3.jpg)
![Refer to caption](extracted/5814686/Trigonometric_k4_r3_2.jpg)
![Refer to caption](extracted/5814686/Trigonometric_k4_r-3.jpg)
![Refer to caption](extracted/5814686/Trigonometric_k4_r-3_2.jpg)
It would be interesting to implement a similar numeric algorithm for the case of a general, not necessarily convex matrix . For the case, Theorem 4.12 did not require convexity of ; hence, it can still serve as a starting point.
Remark 4.14.
Continuing Remark 4.3, one can transform the functions and into the unit circle and reparameterize them by angles and . Equations (45), (46) then turn into an alternative trigonometric form:
(54) | ||||
(55) |
where we rescaled the variables, so that the limit (after taking logarithms) becomes transparent using , .
4.5. Domains with unique solution to algebraic equations
In general, (45),(46) can be polynomial equations of a high degree and might have many solutions. One can hope that in many situations imposing the positivity conditions following from leads to a unique choice for the solution, but we do not have precise theorems in this direction, see Section 5 for some examples. Instead, in this section we describe a class of arrays , for which (45), (46) have a unique solution modulo Moebius transformations, and this solution can be found by a straightforward exact algorithm.
The idea is to reduce arrays to smaller arrays, until we reach array , for which solving (45), (46) is immediate. The reductions are based on two operations, which take a convex array and output a convex array of smaller size:
-
(1)
If has a unique in the first row or the last row, then remove this row and output the remaining array. If has a unique in the first column or the last column, then remove this column and output the remaining array.
-
(2)
If two rows of , and are completely filled with s: for all , then remove the row and output the remaining array. If two columns of , and are completely filled with s: for all , then remove the column and output the remaining array.
Definition 4.15.
A convex (in the sense of Definition 2.1) array is called simple, if it can be reduced by a sequence of the above operations to the array .
For case, all possible arrays (with at least one in each row and column) are both convex and simple. For case, there are several non-convex arrays, but all convex arrays are simple. For case some convex arrays are simple and some are not. For example, and are simple, while is not.
Theorem 4.16.
Fix , a simple convex array , and any sequences of numbers , , such that , and the data is non-degenerate in the sense of Definition 3.5. Then the solution , , , , to equations (45), (46) is unique up to Moebius transformations555I.e. any two solutions can be obtained from each other by , . and can be obtained by the recursive algorithm in the following proof.
Proof.
The argument is by induction in . For the base , both equations (45), (46) are the same and read
(56) |
Note that the four variables involved, , , , , should be all distinct in order for (56) to hold. We can apply a Moebius transformation to map three of them to any three numbers in ; since the cross ratio is invariant under Moebius transformations, (56) is not going to change. Say, let us map . Then the equation turns into
which clearly has a unique solution .
For the induction step, we explore the two operations in the definition of the simple array. For the first operation, assume without loss of generality that has a unique non-zero element in the last column, at position and is obtained from by removing that column.
The last, , equation (45) reads
(57) |
We see that once , , are determined, there is a unique satisfying (57). On the other hand, the variables , , , , satisfy a system of equations:
where we used (57) to get the last equation. The last system of equations is again of the form (45),(46) for the array , and for the difference replaced with . (Notice that , because of the non-degeneracy of the data, as in Definition 3.5.) Hence, by the induction assumption, this system has a unique (up to Moebius transformations) solution, and then supplementing with (57) so does the original system (45), (46).
For the second operation, assume without loss of generality that the columns and of are completely filled with 1s and let be obtained from by removing the column . The equations (45) for and read after cancellations:
Let us replace the last two equations by the first one and their product, i.e. by
(58) | ||||
(59) |
Once , , are determined, the equation (58) uniquely determines . On the other hand, variables ; satisfy a system of equations, given by (59) and
(60) | ||||
(61) |
Note that there is no in the last equation, as it cancels between and factors. We conclude that the system (59),(60),(61) is exactly of the same form as (45), (46) for matrix . Hence, the induction hypothesis applies and this system has a unique solution up to Moebius transformations. ∎
Let us demonstrate how the algorithm works for the case , , , . The inductive reductions are . On the first step we remove the last column of and record the equation for determining :
(62) |
On the second step, we remove the top row of array — we can use either of the two operations for that, say, we use the first one again. We get an equation for determining :
(63) |
The final equation for the matrix is
(64) |
Note that it is necessary to have for the data to be non-degenerate in the sense of Definition 3.5. Due to Moebius invariance, we can fix three parameters in an arbitrary way and we choose , , . Then (64) turns into
(65) |
Through (62), (63) we compute:
(66) |
Further, we reconstruct and in all other points through equations (47):
It remains to plug the last formulas into for . Figure 6 plots the result.
![Refer to caption](extracted/5814686/Trigonometric_22_r2.jpg)
![Refer to caption](extracted/5814686/Exact_22_r2.jpg)
5. Further examples
5.1. Convex example
Listing all possible cases, one checks that for , , , , , , and arrays, being convex implies being simple. Hence, we can always use the algorithm of Section 4.5 to solve the equations (45), (46). For case, there are two non-simple convex arrays:
In the analysis of (45),(46) these two arrays differ by a symmetry accompanied by change. Hence, it would be sufficient to only study the first one, which we do in this section.
Let us denote and . We need to determine the values of variables , , solving equations (45),(46). The equations involve products of different cross ratios, corresponding to pairs with . Let and denote the two missing cross ratios, corresponding to :
(67) |
Noting telescoping cancellations in (45), (46), we can rewrite them as six equations, and further fix , , by using Moebius invariance, to get
Assuming and to be known, the system of equations is readily solved in terms of them, resulting in:
(68) |
(69) |
In order to find and , we plug the values of and back into (67) and get two equations:
(70) |
Simplifying using , , we get
which is equivalent to a linear relation and a quadratic equation:
(71) |
(72) |
The two solutions of the last quadratic equation lead through (71) and then (68), (69) to two solutions of the system (45), (46), which then lead to the formula for via (47). In order to pick the correct solution we need to additionally impose the positivity condition:
(73) |
which is a corollary of positivity of the density and (48).
The formula (72) is quite complicated in the general case and it is intructive to specialize to an equally-spaced grid , . The quadratic equation after dividing by becomes
(74) |
and . One directly checks that, when writing two solutions of (74) in terms of , the correct sign giving (73) is “” for and “” for .
As , one should rescale , with (74) turning asymptotically into
(75) |
This time, chosing the correct solution is simple: Theorem 4.12 and Lemma 4.13 imply that we need the positive one.
See two plots of the density for different values of in Figure 7.
![Refer to caption](extracted/5814686/Trigonometric_33_r1.jpg)
![Refer to caption](extracted/5814686/Trigonometric_33_r-5.jpg)
5.2. Non-convex example
For our next example, we consider a non-convex . We take , , and , . The formulas of Theorem 4.9 do not apply in this setting, and we need to follow a more complicated path, as outlined at the end of Section 4.2. By (a small generalization of) Corollary 4.11, we have that and are Moebius transforms of and , and
(76) |
Each pair has variables ( up to scale), for a total of constants to determine. They are found from equations given by Proposition 4.4, Proposition 4.5, and versions of (45), (46) expressing the uniform marginals for . After putting all those conditions into mathematical software, we found a unique solution:
(77) |
A plot for two different values of is in Figure 8.
![Refer to caption](extracted/5814686/Exact_32_r-1.jpg)
![Refer to caption](extracted/5814686/Exact_32_r7.jpg)
5.3. Non-rectangular example
Our setting, explained in Section 3.1, admits a natural generalization to a larger class of domains than just rectilinear polygonal domains. We can deal with domains , whose complexity grows with by allowing and to grow, and in the limit can approximate essentially arbitrary subsets of . Theorems 3.7 and 3.15 extend to such setting with no changes. Theorem 4.9 is no longer available, because the number and complexity of equations (45), (46), (47) grows with and . However, in some situations at least in the case we can still find an explicit formula for the maximizer of the permuton energy. Let us provide an example.
Consider the domain obtained from by removing the region below the line for , see Figure 9. Set and assume that approximates as . Then a generalization of Corollary 3.9, yields that the permuton corresponding to the limit shape should be a maximizer of
(78) |
subject to the conditions
-
•
for ,
-
•
, , and , .
In the case the Euler-Lagrange equations (12) mean a factorization
Let us find and for which has uniform marginals. We can assume that the function has some constant value for , and the function has some constant value for . This assumption is based on the fact that the distribution of the random restricted permutations of interest is invariant under left and right multiplications with permutations of and , respectively. Hence, the limit shape should also have this invariance. The uniform marginals conditions become:
(79) | |||||
(80) | |||||
(81) | |||||
(82) |
We can solve this system as follows. Divide (79) by and differentiate to get
(83) |
Likewise from (80) we get
(84) |
Differentiating (83) and plugging into (84) yields a differential equation for :
Under the substitution this becomes
giving
for some constants . A similar expression can be obtained for with reversed. Plugging back into (81) and (82) to compute the constants yields the final answer:
Figure 9 gives an example. The reader might enjoy taking the limit of the expression for .
![Refer to caption](extracted/5814686/Exact_triangle_r0.jpg)
References
- [Agg20a] Amol Aggarwal. Arctic boundaries of the ice model on three-bundle domains. Inventiones mathematicae, 220(2):611–671, 2020.
- [Agg20b] Amol Aggarwal. Limit shapes and local statistics for the stochastic six-vertex model. Communications in Mathematical Physics, 376:681–746, 2020.
- [AK24] Radosław Adamczak and Michał Kotowski. The global and local limit of the continuous-time mallows process. arXiv preprint arXiv:2404.08554, 2024.
- [Bax07] R. Baxter. Exactly solved models in statistical mechanics. Courier Dover Publications, 2007.
- [BCG16] Alexei Borodin, Ivan Corwin, and Vadim Gorin. Stochastic six-vertex model. Duke Math. J., 165(3):563–624, 2016.
- [BDMW24] Jacopo Borga, Sayan Das, Sumit Mukherjee, and Peter Winkler. Large deviation principle for random permutations. International Mathematics Research Notices, 2024(3):2138–2191, 2024.
- [BG19] Alexei Borodin and Vadim Gorin. A stochastic telegraph equation from the six-vertex model. The Annals of Probability, 47(6):4137–4194, 2019.
- [BK16] Alexey Bufetov and Alisa Knizel. Asymptotics of random domino tilings of rectangular Aztec diamonds. Annales de l’institut Henri Poincare (B) Probability and Statistics, 54, 04 2016.
- [BL14] Pavel Bleher and Karl Liechty. Random matrices and the six-vertex model, volume 32 of CRM Monograph Series. American Mathematical Society, Providence, RI, 2014.
- [Bor11] Olena Bormashenko. Permutations with Interval Restrictions. Thesis at Stanford University, 2011.
- [BP99] David Bressoud and James Propp. How the alternating sign matrix conjecture was solved. Notices of the AMS, 46(6):637–646, 1999.
- [BR22] Pavel Belov and Nicolai Reshetikhin. The two-point correlation function in the six-vertex model. Journal of Physics A: Mathematical and Theoretical, 55(15):155001, 2022.
- [CKP01] H. Cohn, R. Kenyon, and J. Propp. A variational principle for domino tilings. Journal of American Mathematical Society, 14(2):297–346, 2001. arXiv:math/0008220.
- [CP10] Filippo Colomo and Andrei G Pronko. The arctic curve of the domain-wall six-vertex model. Journal of Statistical Physics, 138:662–700, 2010.
- [DF18] Philippe Di Francesco. Integrable combinatorics. In Proceedings of the International Congress of Mathematicians (ICM 2018) (In 4 Volumes) Proceedings of the International Congress of Mathematicians 2018, pages 2581–2596. World Scientific, 2018.
- [DGH01] Persi Diaconis, Ronald Graham, and Susan P Holmes. Statistical problems involving permutations with restricted positions. Lecture Notes-Monograph Series, pages 195–222, 2001.
- [dGKW21] J. de Gier, R. Kenyon, and S. Watson. Limit shapes for the asymmetric five vertex model. Commun. Math. Phys., pages 1–44, 2021. arXiv:1812.11934 [math.PR].
- [EKLP92] Noam Elkies, Greg Kuperberg, Michael Larsen, and James Propp. Alternating-sign matrices and domino tilings (part i). Journal of Algebraic Combinatorics, 1:111–132, 1992.
- [FR19] Matthew Fahrbach and Dana Randall. Slow mixing of Glauber dynamics for the six-vertex model in the ordered phases. In Proceedings of the 23rd International Conference on Randomization and Computation, volume 37, pages 1–37, 2019.
- [FS06] Patrik L Ferrari and Herbert Spohn. Domino tilings and the six-vertex model at its free-fermion point. Journal of Physics A: Mathematical and General, 39(33):10297, 2006.
- [Gie09] Jan de Gier. Fully packed loop models on finite geometries. In Polygons, Polyominoes and Polycubes, pages 317–346. Springer, 2009.
- [GL23] V. Gorin and K. Liechty. Boundary statistics for the six-vertex model with DWBC. arXiv preprint arXiv:2310.12735, 2023.
- [GN23] Vadim Gorin and Matthew Nicoletti. Six-vertex model and random matrix distributions. 2023. arXiv:2309.12495, to appear in Bulletin of the American Mathematical Society.
- [Gor21] Vadim Gorin. Lectures on random lozenge tilings. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2021.
- [GS92] Leh-Hun Gwa and Herbert Spohn. Six-vertex model, roughened surfaces, and an asymmetric spin Hamiltonian. Physical review letters, 68(6):725, 1992.
- [HMV22] Jimmy He, Tobias Müller, and Teun Verstraaten. Cycles in Mallows random permutations. Random Structures and Algorithms, 2022. arXiv:2201.11610.
- [Ide16] Martin Idel. A review of matrix scaling and Sinkhorn’s normal form for matrices and positive maps. arXiv preprint arXiv:1609.06349, 2016.
- [JPS98] William Jockusch, James Propp, and Peter Shor. Random domino tilings and the arctic circle theorem. arXiv preprint math/9801068, 1998.
- [KKRW20] Richard Kenyon, Daniel Král’, Charles Radin, and Peter Winkler. Permutations with fixed pattern densities. Random Structures & Algorithms, 56(1):220–250, 2020.
- [KO07] Richard Kenyon and Andrei Okounkov. Limit shapes and the complex Burgers equation. Acta Math, 199:263–302, 2007.
- [KP22] Richard Kenyon and István Prause. The genus-zero five-vertex model. Probability and Mathematical Physics, 3:707–729, 12 2022.
- [KP24] Richard Kenyon and István Prause. Limit shapes from harmonicity: dominos and the five vertex model. Journal of Physics A: Mathematical and Theoretical, 57(3):035001, 2024.
- [KS18] David Keating and Ananth Sridhar. Random tilings with the GPU. Journal of Mathematical Physics, 59(9), 2018.
- [Lie67] Elliott H. Lieb. Exact solution of the problem of the entropy of two-dimensional ice. Physical Review Letters, 18(17):692, 1967.
- [LKV23] Ivar Lyberg, Vladimir Korepin, and Jacopo Viti. Fluctuation of the phase boundary in the six-vertex model with domain wall boundary conditions: a Monte Carlo study. Journal of Physics A: Mathematical and Theoretical, 56(49):495002, 2023.
- [LW72] E. H. Lieb and F. Y. Wu. Two dimensional ferroelectric models. In C. Domb and M. Green, editors, Phase Transitions and Critical Phenomena, volume 1, pages 331–490. Academic Press, 1972.
- [Mal57] Colin L. Mallows. Non-null ranking models. i. Biometrika, 44(1/2):114–130, 1957.
- [Muk16] Sumit Mukherjee. Estimation in exponential families on permutations. The Annals of Statistics, 44(2):853, 2016.
- [NK96] Jae Dong Noh and Doochul Kim. Finite-size scaling and the toroidal partition function of the critical asymmetric six-vertex model. Phys. Rev. E, 53:3225–3239, Apr 1996.
- [Nol92] I. M. Nolden. The asymmetric six-vertex model. Journal of Statistical Physics, 67(1):155–201, 1992.
- [PR10] Konstantin Palamarchuk and Nicolai Reshetikhin. The 6-vertex model with fixed boundary conditions. arXiv preprint arXiv:1010.5011, 2010.
- [PS23] Michael Prähofer and Herbert Spohn. Domain wall fluctuations of the six-vertex model at the ice point. Journal of Physics A: Mathematical and Theoretical, 57(2):025001, 2023.
- [Res10] Nicolai Reshetikhin. Lectures on the integrability of the 6-vertex model. In Exact Methods in Low-dimensional Statistical Physics and Quantum Computing, pages 197–266. Oxford Univ. Press, 2010. arXiv:1010.5031.
- [Sta09] Shannon Starr. Thermodynamic limit for the Mallows model on . Journal of mathematical physics, 50(9), 2009.
- [SW18] Shannon Starr and Meg Walters. Phase uniqueness for the mallows measure on permutations. Journal of Mathematical Physics, 59(6), 2018.
- [SYY67] B Sutherland, CN Yang, and CP Yang. Exact solution of a model of two-dimensional ferroelectrics in an arbitrary external electric field. Physical Review Letters, 19(10):588, 1967.
- [Tra08] José Trashorras. Large deviations for symmetrised empirical measures. Journal of Theoretical Probability, 21:397–412, 2008.
- [ZJ02] P Zinn-Justin. The influence of boundary conditions in the six-vertex model. arXiv preprint cond-mat/0205192, 2002.
- [ZJ09] Paul Zinn-Justin. Six-vertex, loop and tiling models: integrability and combinatorics. arXiv preprint arXiv:0901.0665, 2009.
- [ZJ24] Paul Zinn-Justin. Integrability and combinatorics. arXiv preprint arXiv:2404.13221, 2024.