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 $c\to 0$ 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.

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 $c\to 0$ 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 $\sigma$ weighted by $q^{\mathrm{inv}(\sigma)}$, where $\mathrm{inv}(\sigma)$ is the number of inversions (and $q=b^{2}/a^{2}$ 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

$$(\log g)_{xy}=2rg,$$

for a function $g=g(x,y)$, where $r$ is a constant governing the speed of convergence of $q$ to $1$ 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 $q=1$ 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 $q\neq 1$ (equivalently, $r\neq 0$) 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 $q$ close to $1$, 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 $g(x,y)$ encoding the limit shape is a piecewise-rational function of $e^{rx}$, $e^{ry}$, 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 $\Delta\to\infty$ (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 $c$ close to $0$ 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 $q$ 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 $\Omega\subset\mathbb{Z}^{2}$ 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 $\Omega$. Let $\partial\Omega$ be the collection of all edges of the grid, connecting $\Omega$ to its complement $\mathbb{Z}^{2}\setminus\Omega$. By boundary condition, we mean a choice of $\{0,1\}$-sequence of length $|\partial\Omega|$, where each $1$ indicates that the corresponding edge of $\Omega$ is occupied by a path and $0$ indicates that the edge is not occupied. A configuration is consistent with boundary conditions, if the paths leave/enter domain $\Omega$ through the edges of $\partial\Omega$ labeled with $1$s and only through them.

Figure 1. The six types of vertices and their weights.

As a simple example, take $\Omega$ to be the $N\times N$ square, $\Omega=\{1,\dots,N\}\times\{1,\dots,N\}$ with $|\partial\Omega|=4N$ 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”.

Figure 2. $N\times N$ square with Domain Wall Boundary Conditions for $N=5$ and two possible configurations of paths with $c$–type vertices emphasized.

For a more general class of domains, we need an auxiliary definition.

Definition 2.1.

A $k\times\ell$ array $\bigl{[}I_{uv}\bigr{]}_{1\leq u\leq k,\,1\leq v\leq\ell}$ with $0/1$ entries is called convex, if it is horizontally and vertically convex, that is, if for each horizontal coordinate $u$, the set $\{v\mid I_{uv}=1\}$ is a non-empty connected segment of integers, and for each vertical coordinate $v$, the set $\{u\mid I_{uv}=1\}$ is a non-empty connected segment of integers.

Remark 2.2.

Any convex array can be constructed by starting from $k\times\ell$ array of all $1$s, choosing four Young diagrams adjacent to the four corners, and converting the numbers inside those Young diagrams into $0$s.

Example 2.3.

The array $\begin{pmatrix}1&1&0\\ 1&1&1\\ 0&1&0\end{pmatrix}$ is convex, but $\begin{pmatrix}1&1&1\\ 1&1&0\\ 0&1&1\end{pmatrix}$ is not.

We deal with domains parameterized by the following data:

• Positive integers $k$, $\ell$, and $N$;

• Integers $0=X_{0}<X_{1}<\dots<X_{k}=N$ and $0=Y_{0}<Y_{1}<\dots<Y_{\ell}=N$;

• A convex array $\bigl{[}I_{uv}\bigr{]}_{1\leq u\leq k,\,1\leq v\leq\ell}$.

Definition 2.4.

We define $\Omega^{X,Y,I}$ to be a subset of $\{1,\dots,N\}^{2}$ given by

$$\Omega^{X,Y,I}=\{(x,y)\in\mathbb{Z}^{2}\mid X_{u-1}<x\leq X_{u},\,Y_{v-1}<y\leq Y_{v}\text{ for some }(u,v)\text{ such that }I_{uv}=1\}.$$

The boundary conditions are: horizontal paths enter into the left-most vertices in each of the $N$ rows; vertical paths leave the upper-most vertices in each of the $N$ columns.

We refer to Figure 3 for an example of $\Omega^{X,Y,I}$, and remark that for $k=\ell=1$, this is exactly the $N\times N$ square with Domain Wall Boundary Conditions, as in Figure 2.

Figure 3. Domain $\Omega^{X,Y,I}$ with $N=6$, $k=\ell=3$, $X=(0,2,4,6)$, $Y=(0,2,4,6)$, $I=\begin{pmatrix}1&1&0\\ 1&1&1\\ 0&1&1\end{pmatrix}$, and one possible configuration of paths with $c$–type vertices emphasized and the values of the height function in light gray.

Next, we introduce a weight $w_{i}>0$ for each vertex type $i=1,2,\dots,6$ and define the probability of a configuration $\sigma$ of the six-vertex model in domain $\Omega^{X,Y,I}$ as

(1) $$\mathrm{Prob}(\sigma)=\frac{1}{Z}\prod_{i=1}^{6}w_{i}^{N_{i}(\sigma)},$$

where $N_{i}(\sigma)$ is the number of vertices of Type $i$ in the configuration $\sigma$. The normalization $Z$ in (1) is chosen so that the sum over all $\sigma$ in $\Omega^{X,Y,I}$ is $1$. 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 $(a,a,b,b,c,c)$, as in Figure 1.

We study random configurations of the six-vertex model in$\Omega^{X,Y,I}$ via their height functions.

Definition 2.5.

The height function $H(x,y)$ is defined for $x,y\in\mathbb{Z}+\frac{1}{2}$ situated inside the domain as the total number of paths one crosses to get from $(x,y)$ to the bottom-right corner of the domain.

We note that along the boundary of $\Omega$, the values of $H(x,y)$ 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 $\frac{1}{N}H(Nx,Ny)$ for large $N$?

One hopes to have a deterministic limit $\mathfrak{h}(x,y)=\lim_{N\to\infty}\frac{1}{N}H(Nx,Ny)$, and we refer to it as the limit shape. For generic values of $(a,b,c)$ the limit shape is unknown even for the $N\times N$ square of Figure 2. The notable exception is on the so-called free fermionic subvariety: this means a choice of $(a,b,c)$ satisfying $a^{2}+b^{2}-c^{2}=0$. 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 $\mathfrak{h}(x,y)$, e.g. [CKP01], [BK16], [KP24].

We do not have anything new to say at generic $(a,b,c)$, but we study here the case $c=0$. In the limit $c\to 0$, the only surviving configurations of the model have the minimal possible number of vertices of Types $5$ and $6$. The specific form of $\Omega^{X,Y,I}$ and its boundary conditions guarantee that the minimum is achieved on the configurations which have $N$ Type $5$ vertices (one per row, one per column) and zero Type $6$ 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 $\mathfrak{h}(x,y)$ for $\Omega^{X,Y,I}$ 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 $\sigma\in\mathfrak{S}_{N}$ of $N$ letters. There are many ways to introduce a probability distribution on permutations. We fix real $q>0$ and focus on the celebrated Mallows measure:

(2) $$\mathrm{Prob}(\sigma)=\frac{1}{Z}q^{\mathrm{inv}(\sigma)},\qquad\mathrm{inv}(\sigma)=\#\bigl{\{}i<j\mid\sigma(i)>\sigma(j)\bigr{\}}.$$

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 $q=1$ this is the uniform measure on permutations.

In (2) a further choice can be made: either $\sigma$ can be any of the $N!$ permutations, or there can be additional restrictions on $\sigma$. The restrictions we deal with are parameterized by the following data abbreviated $\Omega^{X,Y,I}$:

• Positive integers $k$, $\ell$, and $N$;

• Integers $0=X_{0}<X_{1}<\dots<X_{k}=N$ and $0=Y_{0}<Y_{1}<\dots<Y_{\ell}=N$;

• A $0/1$ array $\bigl{[}I_{uv}\bigr{]}_{1\leq u\leq k,\,1\leq v\leq\ell}$.

Definition 2.8.

We say that a permutation $\sigma\in S_{N}$ is restricted by $\Omega^{X,Y,I}$, if for each $m=1,\dots,N$, we have $I_{u(m),v(m)}=1$, where

• $u(m)$ is the index $1\leq u\leq k$, such that $X_{u-1}<\sigma(m)\leq X_{u}$; and

• $v(m)$ is the index $1\leq v\leq k$, such that $Y_{v-1}<m\leq Y_{v}$.

Remark 2.9.

If one identifies $\sigma$ with a collection of points $\{(\sigma(m),m)\}_{m=1}^{N}$, then the condition says that all these points must be in $\Omega^{X,Y,I}$ of Definition 2.4.

In particular, if $I$ is a matrix of all ones, then there are no restrictions and all $N!$ permutations are possible; other choices of $I$ introduce various constraints, see Figure 4 for an example. We fix $(X,Y,I)$ and analyze random permutations restricted by $\Omega^{X,Y,I}$ 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 $I$ is an array of all ones, i.e., there are no restrictions, then $Z$ in (2) is explicit: $Z=(1+q)(1+q+q^{2})\cdots(1+q+\dots q^{N-1})$. For generic $(X,Y,I)$ we do not expect any explicit formula for $Z$.

Figure 4. Possible permutations for two choices of $\Omega^{X,Y,I}$ with $N=6$, $k=\ell=3$, $X=(0,2,4,6)$, $Y=(0,2,4,6)$. Points $(\sigma(m),m)$ are prohibited in red shaded regions. $I=\begin{pmatrix}1&1&1\\ 1&0&1\\ 1&1&1\end{pmatrix}$ on the left and $I=\begin{pmatrix}1&1&0\\ 1&1&1\\ 0&1&1\end{pmatrix}$ on the right with $\sigma=(152653)$ and $\sigma=(546132)$, respectively.

We recall that a permuton is a probability measure $\mu$ on $[0,1]^{2}$ with uniform marginals, i.e. such that $\mu([0,1]\times[0,y])=y$ and $\mu([0,x]\times[0,1])=x$ for all $0\leq x,y\leq 1$. Each permutation $\sigma\in\mathfrak{S}_{N}$ can be encoded by a permuton $\mu_{\sigma}$ of density

(3) $$\mu_{\sigma}(x,y)=N\sum_{m=1}^{N}\mathbf{1}_{\sigma(m)-1<x\leq\sigma(m)}\mathbf{1}_{m-1<y\leq m}.$$

In words, each point $(\sigma(m),m)$ gives rise to a $\tfrac{1}{N}\times\tfrac{1}{N}$ square of density $N$ for $\mu_{\sigma}$.

A random permutation $\sigma$ restricted by $\Omega^{X,Y,I}$ and sampled according to (2) gives rise to a random permuton $\mu_{\sigma}$. Our goal is to understand the limits of these permutons as $N\to\infty$. Due to [Sta09], the answer is known for unrestricted permutations (i.e. when $I$ is the array filled with $1$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

Let us explain how the settings of Sections 2.1 and 2.2 are interconnected.

Theorem 2.11.

Take the $(X,Y,I)$ data of Definitions 2.4, 2.8 with convex array $I$ and assume that there exists at least one permutation restricted by $\Omega^{X,Y,I}$. Consider the correspondence between configurations $\sigma^{6v}$ of the six-vertex model in domain $\Omega^{X,Y,I}$ with degenerate weights of Figure 1 (i.e. without Type $6$ vertices) and permutations $\sigma^{\text{perm}}$ restricted by $\Omega^{X,Y,I}$, identifying the Type $5$ vertices in $\sigma^{6v}$ with points $\{(\sigma^{\text{perm}}(m),m)\}_{m=1}^{N}$. This correspondence is a weight-preserving bijection between probability measures (1) and (2) with $q=\frac{b^{2}}{a^{2}}$.

Remark 2.12.

For non-convex $I$, 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 $\Omega$ (cf. the left panel in Figure 4) and restrict to have no $c$-type vertices there.

Proof of Theorem 2.11.

Consider a configuration of the six-vertex model in domain $\Omega^{X,Y,I}$. 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 $5$ in this row. By the same argument there should be at least one vertex of Type $5$ in each of $N$ columns. Therefore, the minimum number of vertices of Types $5$ and $6$ is $N$ and it is achieved by having exactly one Type $5$ vertex in each row and column (and no vertices of Type $6$). Hence, we arrive at the model with degenerate weights of Figure 1 and with configuration of the Type $5$ vertices forming a permutation matrix. It is straightforward to check that these $N$ Type $5$ vertices uniquely determine the types of all other vertices and that every permutation restricted by $\Omega^{X,Y,I}$ 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 $\Omega^{X,Y,I}$ to the configuration in $N\times N$ square with Domain Wall Boundary conditions. We note that $\{1,\dots,N\}^{2}\setminus\Omega^{X,Y,I}$ 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 $2\times 2$ squares), add Type $1$ vertices in all positions of the bottom–right domain, add Type $2$ vertices in the top–left domain, add Type $3$ vertices in the bottom–left domain, and Type $4$ vertices in the top–right domain. Since the additional vertices are exactly the same for each configuration in $\Omega^{X,Y,I}$, this extension does not change the probability measure (1).

In order to compute the weight of the configuration in the full $N\times N$ square, we repeat the argument of [GL23, Proposition 7.2]: In row $k$ of the configuration corresponding to the permutation $\sigma$ there is exactly one Type $5$ vertex and:

• $N-\sigma(k)-\#\{i<k:\sigma(i)>\sigma(k)\}$ vertices of Type $1$,

• $\#\{i<k:\sigma(i)<\sigma(k)\}$ vertices of Type $2$,

• $\sigma(k)-1-\#\{i<k:\sigma(i)<\sigma(k)\}$ vertices of Type $3$,

• $\#\{i<k:\sigma(i)>\sigma(k)\}$ vertices of Type $4$.

Note that $\#\{i<k:\sigma(i)<\sigma(k)\}=k-1-\#\{i<k:\sigma(i)>\sigma(k)\}$. Hence, the product of the weights (we use the degenerate weights of Figure 1) of the vertices in row $k$ is

$$a^{N+k-1-\sigma(k)-2\cdot\#\{i<k:\,\sigma(i)>\sigma(k)\}}\,b^{\sigma(k)-k+2\cdot\#\{i<k:\,\sigma(i)>\sigma(k)\}}.$$

Multiplying over all $k=1,\dots,N$, and omitting a prefactor which does not depend on $\sigma$, we conclude that the probability of a configuration corresponding to $\sigma$ is proportional to

$$\left(\frac{b^{2}}{a^{2}}\right)^{\#\{1\leq i<k\leq N:\,\sigma(i)>\sigma(k)\}}=\left(\frac{b^{2}}{a^{2}}\right)^{\mathrm{inv}(\sigma)}.\qed$$

Proposition 2.13.

Under the correspondence of Theorem 2.11, the height function of Definition 2.5 is related to the permuton of (3) by:

(4) $$\frac{1}{N}H(Nx+\frac{1}{2},Ny+\frac{1}{2})=\int_{0}^{y}\int_{x}^{1}\mu_{\sigma}(s,t)\,ds\,dt.$$

Remark 2.14.

The identity (4) is valid for $x,y\in\left\{\tfrac{0}{N},\tfrac{1}{N},\dots,\tfrac{N}{N}\right\}$, but also can be taken as a definition of (piecewise-linear) extension of $H$ to real arguments.

Proof of Proposition 2.13.

$H(Nx+\frac{1}{2},Ny+\frac{1}{2})$ is the total number of paths one crosses to get from $\left(Nx+\frac{1}{2},Ny+\frac{1}{2}\right)$ to the bottom-right corner of the domain, which is equal to the total number of $c$–type vertices situated in the down-right direction from $\left(Nx+\frac{1}{2},Ny+\frac{1}{2}\right)$. The latter number is the same as $N\int_{0}^{y}\int_{x}^{1}\mu_{\sigma}(s,t)\,ds\,dt$. ∎

3. Asymptotic theorems

3.1. Asymptotic regime

We fix $k$, $\ell$, and matrix $I$. In addition, we fix rational parameters $0=\mathrm{x}_{0}<\mathrm{x}_{1}<\dots<\mathrm{x}_{k-1}<\mathrm{x}_{k}=1$ and $0=\mathrm{y}_{0}<\mathrm{y}_{1}<\dots<\mathrm{y}_{\ell-1}<\mathrm{y}_{\ell}=1$ let $M$ be the common denominator of all these parameters. We define $0=X_{0}<X_{1}<\dots<X_{k}=N$ and $0=Y_{0}<Y_{1}<\dots<Y_{\ell}=N$ through

(5) $$X_{u}=N\mathrm{x}_{u}\quad 0\leq u\leq k,\qquad Y_{v}=N\mathrm{y}_{v},\quad 0\leq v\leq\ell.$$

$N$ will be a large parameter of the form $N=Mn$, $n=1,2,3,\dots$. This guarantees that all the numbers in (5) are integers. When we write $N\to\infty$, what we mean is $N=Mn$ and $n\to\infty$. For the parameter $q=\frac{b^{2}}{a^{2}}$ we further assume

(6) $$q=\exp\left(-\frac{r}{N}\right),\qquad r\in\mathbb{R}.$$

3.2. Variational principle

The large $N$ 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) $$h_{\sigma}(x,y)=\int_{0}^{y}\int_{x}^{1}\mu_{\sigma}(s,t)\mathrm{d}s\mathrm{d}t,\qquad 0\leq x,y\leq 1.$$

The function $h_{\sigma}(x,y)$ belongs to the following class of functions:

Definition 3.1.

$\mathfrak{F}$ is the class of all real functions $h(x,y)$, $0\leq x,y,\leq 1$, which are $1$–Lipshitz in both $x$ and $y$ variables, satisfy for all $0\leq x_{1}<x_{2}\leq 1$, $0\leq y_{1}<y_{2}\leq 1$, the inequality

$$h(x_{1},y_{1})+h(x_{2},y_{2})-h(x_{1},y_{2})-h(x_{2},y_{1})\leq 0,$$

and satisfy the boundary conditions:

$$h(x,0)=0,\qquad h(x,1)=1-x,\qquad h(0,y)=y,\qquad h(1,y)=0.$$

Remark 3.2.

Taking $y_{1}=0$, we conclude that each $h\in\mathfrak{F}$ is weakly decreasing in $x$. Taking $x_{2}=1$, we conclude that each $h\in\mathfrak{F}$ is weakly increasing in $y$.

We equip $\mathfrak{F}$ with the uniform topology, i.e. the topology generated by the metric $d(f,g)=\sup_{0\leq x,y\leq 1}|f(x,y)-g(x,y)|$. It is straightforward to check that the correspondence $h(x,y)\leftrightarrow\mu([x,1]\times[0,y])$ is a bijection between functions in $\mathfrak{F}$ and permutons. Under this bijection, the uniform topology on $\mathfrak{F}$ becomes the weak topology on permutons treated as probability measures on $[0,1]^{2}$.

When the configurations are restricted by $\Omega^{X,Y,I}$, the normalized height functions belong to a closed (and thus compact) subset of $\mathfrak{F}$.

Definition 3.3.

Given integers $k$, $\ell$, a $k\times\ell$ array $I$ filled with $0$s and $1s$, and real parameters $0=\mathrm{x}_{0}<\mathrm{x}_{1}<\dots<\mathrm{x}_{k-1}<\mathrm{x}_{k}=1$ and $0=\mathrm{y}_{0}<\mathrm{y}_{1}<\dots<\mathrm{y}_{\ell-1}<\mathrm{y}_{\ell}=1$, we define $\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ to be a closed subset of $\mathfrak{F}$ consisting of all functions $h\in\mathfrak{F}$, such that whenever $I_{uv}=0$,

(8) $$h(\mathrm{x}_{u},\mathrm{y}_{v})+h(\mathrm{x}_{u-1},\mathrm{y}_{v-1})-h(\mathrm{x}_{u},\mathrm{y}_{v-1})-h(\mathrm{x}_{u-1},\mathrm{y}_{v})=0.$$

Remark 3.4.

In terms of the corresponding permuton, (8) says that the mass of the square $[\mathrm{x}_{u-1},\mathrm{x}_{u}]\times[\mathrm{y}_{v-1},\mathrm{y}_{v}]$ is zero.

Definition 3.5.

We say that the data $\mathrm{x}_{0}<\mathrm{x}_{1}<\dots<\mathrm{x}_{k}$, $\mathrm{y}_{0}<\mathrm{y}_{1}<\dots<\mathrm{y}_{\ell}$, and $0/1$ array $I=[I_{uv}]$ of size $k\times\ell$ is non-degenerate if there exists a non-negative real array $[B_{uv}]$, such that $B_{uv}>0$ if and only if $I_{uv}=1$ and $\sum_{v=1}^{\ell}B_{uv}=\mathrm{x}_{u}-\mathrm{x}_{u-1}$, for all $1\leq u\leq k$, and $\sum_{u=1}^{k}B_{uv}=\mathrm{y}_{v}-\mathrm{y}_{v-1}$ for all $1\leq v\leq\ell$.

Note that $(\mathrm{x},\mathrm{y},I)$ being non-degenerate implies that the set $\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ is non-empty. In addition, this condition rules out the cases when the choice of $\mathrm{x}$ and $\mathrm{y}$ implies vanishing of the permuton on some rectangles; in this situation we can always change some elements of $I$ to zeros and achieve a non-degenerate situation. From now on we tacitly assume that $(\mathrm{x},\mathrm{y},I)$ is non-degenerate.

We use the permuton energy of the height functions to compute limit shapes:

Definition 3.6.

Given a function $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ we define its permuton energy to be

(9) $$\mathfrak{E}(h)=\int_{0}^{1}\int_{0}^{1}\bigl{[}h_{xy}\ln(-h_{xy})-rh_{x}h_{y}\bigr{]}\,\mathrm{d}x\,\mathrm{d}y,$$

(where $r$ is from (6)) if the integral exists and $\mathfrak{E}(h)=-\infty$ otherwise. The product $h_{xy}\ln(-h_{xy})$ is understood as $0$ when $h_{xy}=0$.

Using the correspondence, $h(x,y)\leftrightarrow\mu([x,1]\times[0,y])$, the first term in (9) is the entropy of the measure $\mu$. A proper way to think about this term is that it is given by the double Lebesgue integral $-\int_{0}^{1}\int_{0}^{1}\mu(x,y)\ln(\mu(x,y))\,\mathrm{d}x\,\mathrm{d}y$, whenever $\mu$ has a density $\mu(x,y)$ with respect to the Lebesgue measure on $[0,1]^{2}$; the latter integral is either finite or $-\infty$. If $\mu$ is not absolutely continuous, then we set the integral to be $-\infty$ by definition. As for the second term in (9), since $-1\leq h_{x}\leq 0$ and $0\leq h_{y}\leq 1$ by Lipshitz condition, the integral of this term always exists and is upper bounded by $|r|$ in magnitude.

Theorem 3.7.

In the asymptotic regime of Section 3.1, for any closed non-empty $A\subset\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ we have

(10) $$\limsup_{N\to\infty}\frac{1}{N}\ln\left(\frac{1}{N!}\sum_{\sigma\in\mathfrak{S}_{N}:\leavevmode\nobreak\ h_{\sigma}\in A}q^{\mathrm{inv}(\sigma)}\right)\leq\sup_{h\in A}\mathfrak{E}(h)$$

and for any non-empty open $A\subset\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$, we have

(11) $$\liminf_{N\to\infty}\frac{1}{N}\ln\left(\frac{1}{N!}\sum_{\sigma\in\mathfrak{S}_{N}:\leavevmode\nobreak\ h_{\sigma}\in A}\right)\geq\sup_{h\in A}\mathfrak{E}(h).$$

Remark 3.8.

Since $A\subset\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$, the condition $h_{\sigma}\in A$ guarantees that $\sigma$ is restricted by $\Omega^{X,Y,I}$. Hence, (10), (11) count asymptotic asymptotics for the probability measures (1) with degenerate weights or (2).

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 $q^{\mathrm{inv}(\sigma)}$ reexpressed in terms of the height function $h_{\sigma}$. 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 $a^{2}+b^{2}=c^{2}$, see [FS06]), the prefactor in front of $\ln$ in (10),(11) is $\tfrac{1}{N}$ rather than $\tfrac{1}{N^{2}}$.

Corollary 3.9 (Variational principle).

In the asymptotic regime of Section 3.1, suppose that the permuton energy $\mathfrak{E}(h)$, $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$, has a unique maximizer denoted $\mathfrak{h}$. Then, with $\sigma$ distributed according to (1) with degenerate weights or (2), for each $\varepsilon>0$ we have

$$\lim_{N\to\infty}\mathrm{Prob}\left(\sup_{0\leq x,y\leq 1}|h_{\sigma}(x,y)-\mathfrak{h}(x,y)|<\varepsilon\right)=1.$$

Proof.

We apply Theorem 3.7 to the $\varepsilon$–neighborhood of $\mathfrak{h}$ and its complement. ∎

Remark 3.10.

If we use the interpretation of Section 2.2 in terms of random permutations, then the convexity of $I$ is not used in Corollary 3.9.

In the rest of the paper we concentrate on identifying the maximizers of $\mathfrak{E}(h)$.

3.3. Maximizers via Euler-Lagrange equations

We start the analysis of the variational problem $\mathfrak{E}(h)\to\max$, $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$. We don’t assume that $I$ is convex unless explicitly stated.

We say that a point $(x,y)$, $0<x,y<1$, is strictly inside the (rescaled) domain $\Omega^{\mathrm{x},\mathrm{y},I}$, if $\mathrm{x}_{u-1}<x<\mathrm{x}_{u},$ and $\mathrm{y}_{v-1}<y<\mathrm{y}_{v}$ for some $(u,v)$ such that $I_{uv}=1$. Note that we prohibit the end-points $x=x_{u}$, $y=y_{v}$, etc.

Proposition 3.11 (Four-point relation).

Let $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ be a maximizer of $\mathfrak{E}$ and set $g=-h_{xy}$ to be the density of the corresponding permuton. Take $0<x_{1}<x_{2}<1$, $0<y_{1}<y_{2}<1$, such that the four points $(x_{1},y_{1})$, $(x_{1},y_{2})$, $(x_{2},y_{2})$, $(x_{2},y_{1})$ are strictly inside $\Omega^{\mathrm{x},\mathrm{y},I}$ and $g(x,y)$ is continuous and positive at these points. Then

(12) $$\ln\left(\frac{g(x_{1},y_{1})g(x_{2},y_{2})}{g(x_{1},y_{2})g(x_{2},y_{1})}\right)-2r\int_{y_{1}}^{y_{2}}\int_{x_{1}}^{x_{2}}g(x,y)\,\mathrm{d}x\,\mathrm{d}y=0.$$

Proof.

We choose two small constants $\varepsilon\in\mathbb{R}$ and $\delta>0$, consider four squares of side-length $2\delta$ centered at $(x_{1},y_{1})$, $(x_{1},y_{2})$, $(x_{2},y_{2})$, $(x_{2},y_{1})$, add $\varepsilon$ to the values of $g$ in the first and third one and subtract $\varepsilon$ from the values in the second and fourth ones. Note that the boundary conditions on $h$ are unchanged under this transformation and let us compute the change in the double integral expression (9) for the energy $\mathfrak{E}(h)$.

Differentiating the first term in the double integral in $g=-h_{xy}$, we conclude that it changes by

(13) $$-4\delta^{2}\varepsilon\bigl{[}\ln g(x_{1},y_{1})+\ln g(x_{2},y_{2})-\ln g(x_{1},y_{2})-\ln g(x_{2},y_{1})+o(1)\bigr{]},$$

as $\varepsilon,\delta\to 0$. For the second term, we notice that

$$h_{x}=-\int_{0}^{y}g(x,t)\,\mathrm{d}t,\qquad h_{y}=\int_{x}^{1}g(s,y)\,\mathrm{d}s.$$

Hence, the integrand in the second term changes only in $\delta$–neighborhood of the $(x_{1},y_{1})-(x_{1},y_{2})-(x_{2},y_{2})-(x_{2},y_{1})$ rectangle. Inside the corner four squares of side-length $2\delta$, $h_{x}$ and $h_{y}$ change by $O(\varepsilon\delta)$. Therefore, the total change in the part of the double integral where we integrated over these squares is $O(\varepsilon\delta^{3})$. This term will be negligible eventually. More important is the change of $h_{x}$ and $h_{y}$ in the $\delta$–neighborhood of the sides. This change is:

$$2\delta\int_{x_{1}}^{x_{2}}(2r\varepsilon\delta h_{x}(x,y_{1})-2r\varepsilon\delta h_{x}(x,y_{2}))\,\mathrm{d}x\\ +2\delta\int_{y_{1}}^{y_{2}}(2r\varepsilon\delta h_{y}(x_{1},y)-2r\varepsilon\delta h_{y}(x_{2},y))\,\mathrm{d}y+o(\varepsilon\delta^{2}),$$

which simplifies to

(14) $$4r\delta^{2}\varepsilon\left(\int_{x_{1}}^{x_{2}}\int_{y_{1}}^{y_{2}}g(x,y)\,\mathrm{d}y\,\mathrm{d}x+\int_{y_{1}}^{y_{2}}\int_{x_{1}}^{x_{2}}g(x,y)\,\mathrm{d}x\,\mathrm{d}y+o(1)\right)\\ =8r\delta^{2}\varepsilon\left(\int_{x_{1}}^{x_{2}}\int_{y_{1}}^{y_{2}}g(x,y)\,\mathrm{d}y\,\mathrm{d}x+o(1)\right).$$

The total change is the sum of (13) and (14). Since $\varepsilon$ can be of both signs, the sum should be zero in the leading order, as otherwise $h$ is not a maximizer. This gives the equation

$$-4\delta^{2}\varepsilon\bigl{[}\ln g(x_{1},y_{1})+\ln g(x_{2},y_{2})-\ln g(x_{1},y_{2})-\ln g(x_{2},y_{1})\bigr{]}\\ +8r\delta^{2}\varepsilon\left(\int_{x_{1}}^{x_{2}}\int_{y_{1}}^{y_{2}}g(x,y)\,\mathrm{d}y\,\mathrm{d}x\right)=0.\qed$$

Proposition 3.11 applies only at the points where $g$ is positive. Yet, in all the examples we checked, $g$ 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 $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ be a maximizer of $\mathfrak{E}$ and set $g=-h_{xy}$ to be the density of the corresponding permuton. Then there exist constants $0<c<C$ (which depend on all the data) such that $c<g(x,y)<C$ for almost all points $(x,y)\in\Omega^{\mathrm{x},\mathrm{y},I}$.

Remark 3.13.

In contrast to our $c\to 0$ situation, for the six-vertex model with generic parameters $a,b,c$ positivity of the density of the $c$–type vertices does not hold everywhere. Instead, there are interesting arctic curves bounding the regions with no $c$–type vertices, see e.g. [JPS98, CP10, Agg20a].

The four-point relation (12) is the Euler-Lagrange equation for the variational problem $\mathfrak{E}(h)\to\max$, $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$. 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 $r$ we can still use convexity ideas. For that we define the concept of a smooth solution.

Definition 3.14.

We call a function $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ a smooth solution to the EL-equations of class $[c,C]$, if there exists another (measurable) function $g:[0,1]^{2}\to\mathbb{R}_{\geq 0}$, such that:

1. $\displaystyle h(x,y)=\int_{0}^{y}\int_{x}^{1}g(s,t)\,ds\,dt,\qquad 0\leq x,y\leq 1.$

2. For each $1\leq u\leq k$, $1\leq v\leq l$, the restriction of $g$ on the open rectangle $(\mathrm{x}_{u-1},\mathrm{x}_{u})\times(\mathrm{y}_{v-1},\mathrm{y}_{v})$ has a continuous extension $g^{uv}$ to the closed rectangle $[\mathrm{x}_{u-1},\mathrm{x}_{u}]\times[\mathrm{y}_{v-1},\mathrm{y}_{v}]$.

3. If $I_{u,v}=0$, then $g^{uv}(x,y)=0$.
   If $I_{u,v}=1$, then $c\leq g^{uv}(x,y)\leq C$ for all $\mathrm{x}_{u-1}\leq x\leq\mathrm{x}_{u}$, $\mathrm{y}_{v-1}\leq y\leq\mathrm{y}_{v}$.

4. For each $0<x_{1}\leq x_{2}<1$, $0<y_{1}\leq y_{2}<1$, we have

   (15) $$\ln\left(\frac{g(x_{1}-,y_{1}-)g(x_{2}+,y_{2}+)}{g(x_{1}-,y_{2}+)g(x_{2}+,y_{1}-)}\right)-2r\int_{y_{1}}^{y_{2}}\int_{x_{1}}^{x_{2}}g(x,y)\,dx\,dy=0,$$

   where the $\pm$ signs are the left and right limits, e.g. $g(x_{1}-,y_{1}-)=\lim\limits_{\varepsilon\to 0+}g(x_{1}-\varepsilon,y_{1}-\varepsilon)$.

Note that we include the cases of degenerate rectangles $x_{1}=x_{2}$ and/or $y_{1}=y_{2}$ in (15) above.

Theorem 3.15.

Fix two real constants $0<c<C$, array $I$, and real parameters $0=\mathrm{x}_{0}<\mathrm{x}_{1}<\dots<\mathrm{x}_{k-1}<\mathrm{x}_{k}=1$ and $0=\mathrm{y}_{0}<\mathrm{y}_{1}<\dots<\mathrm{y}_{\ell-1}<\mathrm{y}_{\ell}=1$. There exists a real constant $r_{0}>0$ (depending on all the data from the previous sentence), such that for all $r$ satisfying $|r|<r_{0}$, if $\hat{h}\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ is a smooth solution to the EL equations of class $[c,C]$, then $\hat{h}$ is the unique solution of the variational problem $\mathfrak{E}(h)\to\max$, $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$.

Our computed examples of Sections 4 and 5 are all smooth, and hence unique solutions for small $|r|$ by this result.

Remark 3.16.

It is plausible that $r_{0}=+\infty$ in many situations. For instance, for the unrestricted Mallows measure (corresponding to $k=\ell=1$, $I=(1)$ case) this is known to be true, see [Sta09, SW18].

Proof of Theorem 3.15.

We fix $r$ and a parameter $\varepsilon>0$. We consider the function $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ given by

$$h(x,y)=\hat{h}(x,y)+\varepsilon f(x,y).$$

Our task is to show that whenever $f$ is not identical zero, we have

(16) $$\mathfrak{E}(h)<\mathfrak{E}(\hat{h}).$$

We assume without loss of generality that $-h_{xy}$ (the density of the permuton corresponding to $h$) is well-defined as a density of an absolutely continuous probability measure; otherwise $\mathfrak{E}(h)=-\infty$ and (16) is clear.

We expand in $\varepsilon$ the integrand in the permuton energy (9):

(17) $$\bigl{(}\hat{h}_{xy}+\varepsilon f_{xy}\bigr{)}\ln\bigl{(}-\hat{h}_{xy}-\varepsilon f_{xy}\bigr{)}-r\bigl{(}\hat{h}_{x}+\varepsilon f_{x}\bigr{)}\bigl{(}\hat{h}_{y}+\varepsilon f_{y}\bigr{)}\\ =\hat{h}_{xy}\ln\bigl{(}-\hat{h}_{xy}\bigr{)}-r\hat{h}_{x}\hat{h}_{y}+\varepsilon\left[f_{xy}\ln\bigl{(}-\hat{h}_{xy}\bigr{)}+\hat{h}_{xy}\cdot\frac{f_{xy}}{\hat{h}_{xy}}-r\hat{h}_{x}f_{y}-rf_{x}\hat{h}_{y}\right]\\ +\varepsilon^{2}\left[\hat{h}_{xy}\frac{\ln\left(1+\varepsilon\frac{f_{xy}}{\hat{h}_{xy}}\right)-\varepsilon\frac{f_{xy}}{\hat{h}_{xy}}}{\varepsilon^{2}}+f_{xy}\frac{\ln\left(1+\varepsilon\frac{f_{xy}}{\hat{h}_{xy}}\right)}{\varepsilon}-rf_{x}f_{y}\right].$$

Note that the $\int_{0}^{1}\int_{0}^{1}$ integral of the term $\varepsilon\bigl{[}\cdot\bigr{]}$ vanishes, because $\hat{h}$ is a solution to the Euler–Lagrange equations: we provide more detail in Lemma 3.18 below. Hence, we are interested in $\varepsilon^{2}\bigl{[}\cdot\bigr{]}$ term and we would like to show that its $\int_{0}^{1}\int_{0}^{1}$ integral is always negative. The particular value of $\varepsilon$ is not important (it can be absorbed into the definition of $f$) and we will set $\varepsilon=1$ from now on. Integrating by parts in the $-rf_{x}f_{y}$ term and noticing that boundary terms vanish because $h$ and $\hat{h}$ satisfy the same boundary conditions, we want to prove that

(18) $$\int_{0}^{1}\int_{0}^{1}{\mathcal{S}}^{[2]}\mathrm{d}x\mathrm{d}y\stackrel{{\scriptstyle?}}{{<}}0,\qquad{\mathcal{S}}^{[2]}:=\hat{h}_{xy}\left(1+\frac{f_{xy}}{\hat{h}_{xy}}\right)\ln\left(1+\frac{f_{xy}}{\hat{h}_{xy}}\right)-f_{xy}+rff_{xy}.$$

Let us denote

(19) $$\nu=\frac{f_{xy}}{\hat{h}_{xy}},$$

so that

(20) $$f(x,y)=-\int_{0}^{y}\int_{x}^{1}\nu(s,t)\hat{h}_{xy}(s,t)\,ds\,dt,\qquad 0\leq x,y\leq 1.$$

and

$${\mathcal{S}}^{[2]}=\hat{h}_{xy}\bigl{[}\left(1+\nu\right)\ln\left(1+\nu\right)-\nu+rf\nu\bigr{]}.$$

We will use the following statement whose proof we postpone:

Lemma 3.17.

We have

$$\left|\int_{0}^{1}\int_{0}^{1}f(x,y)\nu(x,y)\,\mathrm{d}x\,\mathrm{d}y\right|\leq C\iint\nu^{2}\mathbf{1}_{|\nu|\leq 1/2}\,dx\,dy+\frac{4C}{c}\iint|\nu|\mathbf{1}_{|\nu|>1/2}\,dx\,dy.$$

Simultaneously, we use of the following elementary bound, valid for all $z>-1$ (and in which we have not tried to make the constants optimal):

$$(1+z)\ln(1+z)-z\geq\frac{z^{2}}{4}\mathbf{1}_{|z|\leq 1/2}+\frac{|z|}{10}\mathbf{1}_{|z|>1/2}.$$

Therefore, noting that $\hat{h}_{xy}$ is negative and $\leq-c$, we get

(21) $$\int_{0}^{1}\int_{0}^{1}S^{[2]}\,dx\,dy\leq-c\int_{0}^{1}\int_{0}^{1}\left[\frac{\nu(x,y)^{2}}{4}\mathbf{1}_{|\nu|\leq 1/2}+\frac{|\nu(x,y)|}{10}\mathbf{1}_{|\nu|>1/2}\right]\,dx\,dy\\ +|r|C\iint\nu(x,y)^{2}\mathbf{1}_{|\nu|\leq 1/2}\,dx\,dy+|r|\frac{4C}{c}\iint|\nu(x,y)|\mathbf{1}_{|\nu|>1/2}\,dx\,dy.$$

Given the values of $C$ and $c$, we can choose $r_{1}=r_{1}(C,c)$, so that the last expression is negative whenever $|r|<r_{1}$ and $\nu$ is different from identical zero. ∎

Proof of Lemma 3.17.

Using (20), we have

(22) $$\left|\int_{0}^{1}\int_{0}^{1}f(x,y)\nu(x,y)\,dx\,dy\right|\leq C\int_{0}^{1}\int_{0}^{1}\int_{0}^{y}\int_{x}^{1}|\nu(s,t)||\nu(x,y)|\,ds\,dt\,dx\,dy$$

We split the integral into three parts and then sum the estimates:

• If both $|\nu(s,t)|\leq 1/2$ and $|\nu(x,y)|\leq 1/2$, then we write

  $$|\nu(s,t)||\nu(x,y)|\leq\frac{1}{2}\left(\nu^{2}(s,t)+\nu^{2}(x,y)\right),$$

  plug into (22) and integrate over $s,t,x,y$ to get an upper bound

  $$C\int_{0}^{1}\int_{0}^{1}\int_{0}^{y}\int_{x}^{1}\mathbf{1}_{|\nu(s,t)|\leq 1/2}\mathbf{1}_{|\nu(x,y)|\leq 1/2}\frac{1}{2}\left(\nu^{2}(s,t)+\nu^{2}(x,y)\right)\,ds\,dt\,dx\,dy\\ \leq C\int_{0}^{1}\int_{0}^{1}\nu^{2}(x,y)\mathbf{1}_{|\nu(x,y)|\leq 1/2}\,dx\,dy.$$

• If $|\nu(x,y)|>1/2$, then we recall that $g=-h_{xy}$ is a non-negative function with total integral $1$ (by Definition 3.3 for the set $\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$), so is $-\hat{h}_{xy}$, and we further have $f_{xy}=h_{xy}-\hat{h}_{xy}$. Therefore, using (19),

  $$\int_{0}^{1}\int_{0}^{1}|\nu(s,t)|\,dudv\leq\frac{1}{c}\int_{0}^{1}\int_{0}^{1}|f_{xy}(s,t)|\,ds\,dt\leq\frac{2}{c}.$$

  Hence, the part of the integral (22) with $|\nu(x,y)|>1/2$ is upper-bounded by

  $$\frac{2C}{c}\iint|\nu|\mathbf{1}_{|\nu|>1/2}\,dx\,dy.$$

• If $|\nu(s,t)|>1/2$ and $|\nu(x,y)|\leq 1/2$, then we upper bound by the part of the integral where only $|\nu(s,t)|>1/2$ (dropping the second condition). Using exactly the same argument is in the previous case, we again get a bound $\frac{2C}{c}\iint|\nu|\mathbf{1}_{|\nu|>1/2}\,dx\,dy$. ∎

Lemma 3.18.

Suppose that $f(x,y)$ is a difference of two functions from $\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$, such that mixed partials of each of them are (minus) densities of absolutely continuous measures on $[0,1]^{2}$. Also suppose that $\hat{h}\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$ is a smooth solution to EL equations of class $[c,C]$. Then

(23) $$\int_{0}^{1}\int_{0}^{1}\left[f_{xy}\ln\bigl{(}-\hat{h}_{xy}\bigr{)}+f_{xy}-r\hat{h}_{x}f_{y}-rf_{x}\hat{h}_{y}\right]\,dx\,dy=0.$$

Proof.

In terms of $\hat{g}=-\hat{h}_{xy}$, the left-hand side of (23) is rewritten as

(24) $$\int_{0}^{1}\int_{0}^{1}\Biggl{[}f_{xy}\ln\frac{\hat{g}(x,y)\hat{g}(0,0)}{\hat{g}(x,0)\hat{g}(0,y)}+rf_{y}\int_{0}^{y}\hat{g}(x,v)\,dv+rf_{x}\int_{0}^{x}\hat{g}(u,y)\,du\\ -rf_{x}\int_{0}^{1}\hat{g}(u,y)\,du+f_{xy}\left[\ln\hat{g}(x,0)+\ln\hat{g}(0,y)-\ln\hat{g}(0,0)+1\right]\Biggr{]}\,dx\,dy$$

The integral of the second line vanishes, because $f$ has zero boundary conditions along all sides of $[0,1]^{2}$. For the first line, we integrate by parts in $x$ for the second term and in $y$ for the third term, transforming (24) into

$$\int_{0}^{1}\int_{0}^{1}\Biggl{[}f_{xy}\ln\frac{\hat{g}(x,y)\hat{g}(0,0)}{\hat{g}(x,0)\hat{g}(0,y)}-rf_{xy}\int_{0}^{x}\int_{0}^{y}\hat{g}(s,t)\,dt\,ds-rf_{xy}\int_{0}^{y}\int_{0}^{x}\hat{g}(s,t)\,ds\,dt\Biggr{]}\,dx\,dy\\ +\int_{0}^{1}\Biggl{[}rf_{y}\int_{0}^{x}\int_{0}^{y}\hat{g}(s,t)\,dt\,ds\Biggr{]}^{x=1}_{x=0}dy+\int_{0}^{1}\Biggl{[}rf_{x}\int_{0}^{y}\int_{0}^{x}\hat{g}(s,t)\,ds\,dt\Biggr{]}^{y=1}_{y=0}\,dx.$$

The first line of the last expression is zero because of (15), and the second one vanishes because of the zero boundary conditions for $f$. ∎

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 $\mathfrak{E}(h)$.

4.1. Consequences of Definition 3.14

Proposition 4.1.

Take $r\neq 0$ and let $h$ and $g$ be as in Definition 3.14. For each $1\leq u\leq k$, $1\leq v\leq\ell$, there exist continuous functions $\phi^{uv}(x):[\mathrm{x}_{u-1},\mathrm{x}_{u}]\to\mathbb{R}\cup\{\infty\}$ and $\psi^{uv}(y):[\mathrm{y}_{v-1},\mathrm{y}_{v}]\to\mathbb{R}\cup\{\infty\}$, taking the value $\infty$ at most once each, and such that

(25) $$g^{uv}(x,y)=-\frac{1}{r}\cdot\frac{\frac{\partial}{\partial x}\phi^{uv}(x)\frac{\partial}{\partial y}\psi^{uv}(y)}{[\phi^{uv}(x)-\psi^{uv}(y)]^{2}}.$$

Remark 4.2.

A way to arrive at (25) is by sending $(x_{2}-x_{1})\to 0$, $(y_{2}-y_{1})\to 0$ in (15), leading to the (hyperbolic) Liouville PDE:

(26) $$(\ln g)_{xy}=2rg,$$

because (25) is one possible form of a general solution to this PDE.

Remark 4.3.

The choice of $\phi$ and $\psi$ in (25) is not unique: the Moebius transformations

(27) $$\phi^{uv}(x)\mapsto\frac{\alpha\phi^{uv}(x)+\beta}{\gamma\phi^{uv}(x)+\delta},\qquad\psi^{uv}(y)\mapsto\frac{\alpha\psi^{uv}(y)+\beta}{\gamma\psi^{uv}(y)+\delta}$$

keep the expression in the right-hand side of (25) unchanged. In particular, these transformations with real $\alpha,\beta,\gamma,\delta$ can be used to move around the points (if any) where $\phi^{uv}(x)=\infty$ or $\psi^{uv}(y)=\infty$. One can also get rid of the infinities completely by using a Moebius transform mapping the real line to the unit circle in $\mathbb{C}$. Then we can rewrite the representation (25) in terms of two angles on the circle as:

(28) $$g^{uv}(x,y) =\frac{\frac{\partial}{\partial x}\theta_{1}^{uv}(x)\frac{\partial}{\partial y}\theta_{2}^{uv}(y)}{r}\cdot\frac{[-\sin\theta_{1}^{uv}(x)+\mathbf{i}\cos\theta_{1}^{uv}(x)][-\sin\theta_{2}^{uv}(y)+\mathbf{i}\cos\theta_{2}^{uv}(y)]}{[\cos\theta_{1}^{uv}(x)+\mathbf{i}\sin\theta_{1}^{uv}(x)-\cos\theta_{2}^{uv}(y)-\mathbf{i}\sin\theta_{2}^{uv}(y)]^{2}}$$

$$=\frac{1}{r}\cdot\frac{\frac{\partial}{\partial x}\theta_{1}^{uv}(x)\frac{\partial}{\partial y}\theta_{2}^{uv}(y)}{[\sin\theta_{1}^{uv}(x)-\sin\theta_{2}^{uv}(y)]^{2}+[\cos\theta_{1}^{uv}(x)-\cos\theta_{2}^{uv}(y)]^{2}}.$$

Proof of Proposition 4.1.

Our argument is somewhat similar to [Sta09, Section 5]. We fix $1\leq u\leq k$ and $1\leq v\leq\ell$ and omit them from the notations throughout the proof. We assume $r<0$ throughout the proof: the case $r>0$ can be obtained by applying $g(x,y)\leftrightarrow g(1-x,y)$ involution. Using (15) inside the rectangle $(\mathrm{x}_{u-1},\mathrm{x}_{u})\times(\mathrm{y}_{v-1},\mathrm{y}_{v})$ and extending it to the boundaries by continuity, we conclude that for all $\mathrm{x}_{u-1}\leq x\leq\mathrm{x}_{u}$, $\mathrm{y}_{v-1}\leq y\leq\mathrm{y}_{v}$

(29) $$g(x,y)\frac{g(\mathrm{x}_{u-1},\mathrm{y}_{v-1})}{g(\mathrm{x}_{u-1},y)g(x,\mathrm{y}_{v-1})}=\exp\left(2r\int_{\mathrm{y}_{v-1}}^{y}\int_{\mathrm{x}_{u-1}}^{x}g(s,t)\,\mathrm{d}s\,\mathrm{d}t\right).$$

We treat (29) as a functional equation on the unknown function $g$, supplied with boundary conditions $g(x,\mathrm{y}_{v-1})$, $\mathrm{x}_{u-1}\leq x\leq\mathrm{x}_{u}$, and $g(\mathrm{x}_{u-1},y)$, $\mathrm{y}_{v-1}\leq y\leq\mathrm{y}_{v}$. 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 $g$.

Step 1. Note that the right-hand side of (25) can be rewritten as

$$-\frac{1}{r}\frac{\partial^{2}}{\partial x\partial y}\ln\bigl{|}\phi(x)-\psi(y)\bigr{|}.$$

Plugging into (29), we need to check

$$\frac{[\phi(x)-\psi(\mathrm{y}_{v-1})]^{2}[\phi(\mathrm{x}_{u-1})-\psi(y)]^{2}}{[\phi(\mathrm{x}_{u-1})-\psi(\mathrm{y}_{v-1})]^{2}[\phi(x)-\psi(y)]^{2}}\stackrel{{\scriptstyle?}}{{=}}\exp\left(-2\ln\left|\frac{\bigl{(}\phi(x)-\psi(y)\bigr{)}\bigl{(}\phi(x)-\psi(y_{v-1})\bigr{)}}{\bigl{(}\phi(x)-\psi(y_{v-1})\bigr{)}\bigl{(}\phi(\mathrm{x}_{u-1})-\psi(y)\bigr{)}}\right|\right),$$

which is trivially true for any choice of functions such that $|\phi(x)-\psi(y)|\neq 0$ for all relevant $x$ and $y$. We also need to match the functions to the boundary conditions $g(x,\mathrm{y}_{v-1})$ and $g(\mathrm{x}_{u-1},y)$. For instance, we can choose

(30) $$\phi(x) =-\frac{1}{2}+\left[1-\sqrt{|r|}\int_{\mathrm{x}_{u-1}}^{x}\frac{g(s,\mathrm{y}_{v-1})}{\sqrt{g(\mathrm{x}_{u-1},\mathrm{y}_{v-1})}}\mathrm{d}s\right]^{-1},$$

(31) $$\psi(y) =\frac{1}{2}-\left[1-\mathrm{sgn}(r)\sqrt{|r|}\int_{\mathrm{y}_{v-1}}^{y}\frac{g(\mathrm{x}_{u-1},t)}{\sqrt{g(\mathrm{x}_{u-1},\mathrm{y}_{v-1})}}\mathrm{d}t\right]^{-1},$$

leading through (25) to

(32) $$g(x,y)=\frac{g(x,\mathrm{y}_{v-1})g(\mathrm{x}_{u-1},y)}{g(\mathrm{x}_{u-1},\mathrm{y}_{v-1})}\left[1-\frac{r}{g(\mathrm{x}_{u-1},\mathrm{y}_{v-1})}\int_{\mathrm{x}_{u-1}}^{x}g(s,\mathrm{y}_{v-1})\mathrm{d}s\int_{\mathrm{y}_{v-1}}^{y}g(\mathrm{x}_{u-1},t)\mathrm{d}t\right]^{-2},$$

which clearly satisfies the desired boundary conditions $g(x,\mathrm{y}_{v-1})$ and $g(\mathrm{x}_{u-1},y)$. Note that since $r<0$, (32) is well-defined and uniformly bounded for all $\mathrm{x}_{u-1}\leq x\leq\mathrm{x}_{u}$, $\mathrm{y}_{v-1}\leq y\leq\mathrm{y}_{v}$. Further, $|\phi(x)|>1/2$ for $\mathrm{x}_{u-1}<x\leq\mathrm{x}_{u}$ and $|\psi(y)|<1/2$ for $\mathrm{y}_{v-1}<y\leq\mathrm{y}_{v}$, hence $\phi(x)-\psi(y)$ stays bounded away from zero, as desired. Also note that $\phi(x)$ might have a pole, but it cancels when plugging into (25). Clearly, (30), (31) imply that $\phi$ and $\psi$ can not have more than one pole, as claimed in the statement.

Step 2. Suppose that $g^{[1]}$ and $g^{[2]}$ are two positive continuous functions on $[\mathrm{x}_{u-1},\mathrm{x}_{u}]\times[\mathrm{y}_{v-1},\mathrm{y}_{v}]$, which both satisfy (29) and $g^{[1]}(x,\mathrm{y}_{v-1})=g^{[2]}(x,\mathrm{y}_{v-1})$, $g^{[1]}(\mathrm{x}_{u-1},y)=g^{[2]}(\mathrm{x}_{u-1},y)$. We claim that then $g^{[1]}$ and $g^{[2]}$ coincide. Indeed, define

$$\Delta g(x,y)=\max_{\begin{smallmatrix}s\in[\mathrm{x}_{u-1},x]\\ t\in[\mathrm{y}_{v-1},y]\end{smallmatrix}}|g^{[1]}(s,t)-g^{[2]}(s,t)|.$$

Subtracting (29) for $g^{[1]}$ and $g^{[2]}$ and noting that $\frac{g(\mathrm{x}_{u-1},\mathrm{y}_{v-1})}{g(\mathrm{x}_{u-1},y)g(x,\mathrm{y}_{v-1})}$ is the same for both, we deduce existence of a constant $C_{1}>0$, such that

(33) $$\Delta g(x,y)\leq C_{1}\int_{\mathrm{x}_{u-1}}^{x}\int_{\mathrm{y}_{v-1}}^{y}\Delta g(s,t)\,\mathrm{d}t\mathrm{d}s.$$

Plugging (33) into itself $(n-1)$ times, and after that bounding $|\Delta g(s,t)|<C_{2}$, we deduce

$$\Delta g(x,y)\leq C_{2}\frac{\bigl{[}C_{1}(x-\mathrm{x}_{u-1})(y-\mathrm{y}_{v-1})\bigr{]}^{n}}{n!}.$$

Since $n=1,2,\dots$ is arbitrary, $\Delta g(x,y)$ has to be $0$. ∎

The next step is to explain how functions $g^{uv}(x,y)$ are related to each other.

Proposition 4.4.

Let $h$ and $g$ be as in Definition 3.14. If $1\leq u\leq k$ and $1\leq v_{1}<v_{2}\leq\ell$ are such that $I_{u,v_{1}+1}=I_{u,v_{1}+2}=\dots=I_{u,v_{2}-1}=0$, but $I_{u,v_{1}}=I_{u,v_{2}}=1$, then there exists a constant $C_{u,v_{1}\to v_{2}}>0$, such that

(34) $$g^{uv_{2}}(x,\mathrm{y}_{v_{2}-1})=C_{u,v_{1}\to v_{2}}\cdot g^{uv_{1}}(x,\mathrm{y}_{v_{1}}),\qquad\text{for all }x\in[\mathrm{x}_{u-1},\mathrm{x}_{u}].$$

Similarly, if $1\leq u_{1}<u_{2}\leq k$ and $1\leq v\leq\ell$ are such that $I_{u_{1}+1,v}=I_{u_{1}+2,v}=\dots=I_{u_{2}-1,v}=0$, but $I_{u_{1},v}=I_{u_{2},v}=1$, then there exists a constant $C_{u_{1}\to u_{1},v}$, such that

(35) $$g^{u_{2}v}(\mathrm{x}_{u_{2}-1},y)=C_{u_{1}\to u_{2},v}\cdot g^{u_{1}v}(\mathrm{x}_{u_{1}},y)\qquad\text{for all }y\in[\mathrm{y}_{v-1},\mathrm{y}_{v}].$$

In words, Proposition 4.4 says that $g(x,y)$ 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.

For (34), we choose any $x_{1}<x_{2}\in[\mathrm{x}_{u-1},\mathrm{x}_{u}]$ and note that (15) for $y_{1}=y_{v_{1}}$, $y_{2}=y_{v_{2}-1}$ has the right-hand side $1$ and can be rewritten as

$$\frac{g^{uv_{1}}(x_{1},\mathrm{y}_{v_{1}})}{g^{uv_{2}}(x_{1},\mathrm{y}_{v_{2}-1})}=\frac{g^{uv_{1}}(x_{2},\mathrm{y}_{v_{1}})}{g^{uv_{2}}(x_{2},\mathrm{y}_{v_{2}-1})}.$$

Hence, the ratio $\frac{g^{uv_{1}}(x,\mathrm{y}_{v_{1}})}{g^{uv_{2}}(x,\mathrm{y}_{v_{2}-1})}$ does not depend on $x$. For (35) the argument is similar. ∎

Proposition 4.5.

Let $h$ and $g$ be as in Definition 3.14. If $1\leq u_{1}<u_{1}\leq k$ and $1\leq v_{1}<v_{2}\leq\ell$ are such that $I_{u_{1}v_{1}}=I_{u_{1}v_{2}}=I_{u_{2}v_{1}}=I_{u_{2}v_{2}}=1$, but $I_{uv}=0$ for all $u_{1}<u<u_{2}$ $v_{1}<v<v_{2}$, then

(36) $$\frac{g^{u_{1}v_{1}}(\mathrm{x}_{u_{1}},\mathrm{y}_{v_{1}})g^{u_{2}v_{2}}(\mathrm{x}_{u_{2}-1},\mathrm{y}_{v_{2}-1})}{g^{u_{1}v_{2}}(\mathrm{x}_{u_{1}},\mathrm{y}_{v_{2}-1})g^{u_{2}v_{1}}(\mathrm{x}_{u_{2}-1},\mathrm{y}_{v_{1}})}=1.$$

Proof.

We apply (15) for $x_{1}=\mathrm{x}_{u_{1}}$, $x_{2}=\mathrm{x}_{u_{2}-1}$, $y_{1}=\mathrm{y}_{v_{1}}$, $y_{2}=\mathrm{y}_{v_{2}-1}$. ∎

Proposition 4.6.

The functions $\phi^{uv}$ in Proposition 4.1 are Moebius transforms of each other and the functions $\psi^{uv}$ are also Moebius transforms of each other. In other words there exist functions $\phi:[0,1]\to\mathbb{R}$ and $\psi:[0,1]\to\mathbb{R}$, such that for each $u,v$, we have

$$\phi^{uv}(x)=\frac{\alpha_{1}^{uv}\phi(x)+\beta_{1}^{uv}}{\gamma_{1}^{uv}\phi(x)+\delta_{1}^{uv}},\quad x\in[\mathrm{x}_{u-1},\mathrm{x}_{u}];\qquad\psi^{uv}(y)=\frac{\alpha_{2}^{uv}\psi(y)+\beta_{2}^{uv}}{\gamma_{2}^{uv}\psi(y)+\delta_{2}^{uv}},\quad y\in[\mathrm{y}_{v-1},\mathrm{y}_{v}].$$

Proof.

Note that for different values of $u$ the functions $\phi^{uv}$ 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 $u$ and study what happens as we vary $v$. Note that only those $v$ where $I_{uv}=1$ matter, and take two adjacent such $v$s, i.e. suppose $v_{1}<v_{2}$ are as in Proposition 4.4. Using (34) and substituting (25) for $g^{uv_{1}}$, $g^{uv_{2}}$, we get:

(37) $$\frac{\partial}{\partial x}\left[\frac{\frac{\partial}{\partial y}\psi^{uv_{2}}(\mathrm{y}_{v_{2}-1})}{\phi^{uv_{2}}(x)-\psi^{uv_{2}}(\mathrm{y}_{v_{2}-1})}\right]=\frac{\partial}{\partial x}\left[\frac{C_{u,v_{1}\to v_{2}}\frac{\partial}{\partial y}\psi^{uv_{1}}(\mathrm{y}_{v_{1}})}{\phi^{uv_{1}}(x)-\psi^{uv_{1}}(\mathrm{y}_{v_{1}})}\right]$$

Hence, for a constants $C_{1}$, $C_{2}$, $C_{3}$, $C_{4}$, and $C_{5}$, not depending on $x$, we have

$$\frac{C_{1}}{\phi^{uv_{2}}(x)-C_{2}}=\frac{C_{3}}{\phi^{uv_{1}}(x)-C_{4}}+C_{5}.$$

Therefore, $\phi^{uv_{2}}(x)$ and $\phi^{uv_{1}}(x)$ are Moebius transforms of each other. The argument for $\psi$ is the same. ∎

For a general matrix $I$, all the functions $\phi^{uv}$ and $\psi^{uv}$ 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 $I$ there is a simplification.

Proposition 4.7.

Suppose that $I$ is convex. Then all functions $\phi^{uv}$ and $\psi^{uv}$ in Proposition 4.1 can be chosen to not depend on $u$ or $v$. The resulting $\phi$ and $\psi$ can be chosen to be continuous functions from $[0,1]$ to the extended real line $\mathbb{R}\cup\{\infty\}$ with finitely many $\infty$ values.

Proof.

For each $v=1,2,\dots,\ell$, we let $\{u_{-}(v),u_{-}(v)+1,\dots,u_{+}(v)\}$ denote the maximal segment of indices such that $I_{uv}=1$. Consider the rectangle $[\mathrm{x}_{u_{-}(v)-1},\mathrm{x}_{u_{+}(v)}]\times[\mathrm{y}_{v-1},\mathrm{y}_{v}]$. Repeating the argument of Proposition 4.1, we can choose continuous functions $\phi^{v}$ and $\psi^{v}$, such that

(38) $$g^{uv}(x,y)=-\frac{1}{r}\cdot\frac{\frac{\partial}{\partial x}\phi^{v}(x)\frac{\partial}{\partial y}\psi^{v}(y)}{[\phi^{v}(x)-\psi^{v}(y)]^{2}},\qquad u\in\{u_{-}(v),u_{-}(v)+1,\dots,u_{+}(v)\}.$$

Indeed, the argument of Proposition 4.1 did not use the continuity of $g$, and it works equally well for piecewise continuous $g$.

Combining Propositions 4.4 and 4.5, we conclude that as we cross the horizontal line $y=\mathrm{y}_{v}$, the function $g(x,y)$ is being multiplied by a single constant $C_{v\to v+1}$. Hence, for each $v=1,2,\dots,\ell-1$ we have a version of (37), which now reads:

(39) $$\frac{\partial}{\partial x}\left[\frac{\frac{\partial}{\partial y}\psi^{v+1}(\mathrm{y}_{v})}{\phi^{v+1}(x)-\psi^{v+1}(\mathrm{y}_{v})}\right]=\frac{\partial}{\partial x}\left[\frac{C_{v\to v+1}\frac{\partial}{\partial y}\psi^{v}(\mathrm{y}_{v})}{\phi^{v}(x)-\psi^{v}(\mathrm{y}_{v})}\right],\qquad\text{ or }$$

(40) $$\frac{\frac{\partial}{\partial y}\psi^{v+1}(\mathrm{y}_{v})}{\phi^{v+1}(x)-\psi^{v+1}(\mathrm{y}_{v})}+\tilde{C}_{v\to v+1}=\frac{C_{v\to v+1}\frac{\partial}{\partial y}\psi^{v}(\mathrm{y}_{v})}{\phi^{v}(x)-\psi^{v}(\mathrm{y}_{v})},\qquad\text{ or }$$

(41) $$C_{v\to v+1}\frac{\partial}{\partial y}\psi^{v}(\mathrm{y}_{v})\left[\frac{\frac{\partial}{\partial y}\psi^{v+1}(\mathrm{y}_{v})}{\phi^{v+1}(x)-\psi^{v+1}(\mathrm{y}_{v})}+\tilde{C}_{v\to v+1}\right]^{-1}+\psi^{v}(\mathrm{y}_{v})=\phi^{v}(x).$$

We now use (41) to sequentially redefine the functions $\phi^{v}$ and $\psi^{v}$ for $v=2,3,\dots,\ell$. Functions $\phi^{1}$ and $\psi^{1}$ are unchanged. We replace $(\phi^{2},\psi^{2})$ with $(\tilde{\phi}^{2},\tilde{\psi}^{2})$ defined by:

$$\tilde{\phi}^{2}(x) :=C_{1\to 2}\frac{\partial}{\partial y}\psi^{1}(\mathrm{y}_{1})\left[\frac{\frac{\partial}{\partial y}\psi^{2}(\mathrm{y}_{1})}{\phi^{2}(x)-\psi^{2}(\mathrm{y}_{1})}+\tilde{C}_{1\to 2}\right]^{-1}+\psi^{1}(\mathrm{y}_{1}),$$

$$\tilde{\psi}^{2}(y) :=C_{1\to 2}\frac{\partial}{\partial y}\psi^{1}(\mathrm{y}_{1})\left[\frac{\frac{\partial}{\partial y}\psi^{2}(\mathrm{y}_{1})}{\psi^{2}(y)-\psi^{2}(\mathrm{y}_{1})}+\tilde{C}_{1\to 2}\right]^{-1}+\psi^{1}(\mathrm{y}_{1}).$$

As we noticed in Remark 4.3, the simultaneous Moebius transformations of $\phi$ and $\psi$ do not change $g$. Hence, the redefined $(\phi^{2},\psi^{2})$ still satisfy (38). On the other hand, comparing with (41), we see that $\tilde{\phi}^{2}(x)=\phi^{1}(x)$ for all $x$ for which both functions are simultaneously defined. Repeating this procedure for all larger $v=3,4,\dots,\ell$, we achieve that all $\phi$ functions are the same. All $\psi$ functions have different domains of definitions, hence, they can also be thought as being independent of $v$.

We also need to check the continuity. Note that $\phi^{v}$ were continuous (taking values in extended real line $\mathbb{R}\cup\{\infty\}$ by construction, because (30) is a continuous function of $x$; the continuity is preserved under Moebius transformations, hence, this the final $\phi(x)$ is continuous in $x$.

For the $\psi$ function we need a separate argument, as it might have been discontinuous at $y=\mathrm{y}_{v}$ for some $v$. In order to see that this does not happen, we go back to (40). Taking into account that after redefining $\phi$, it no longer depends on $v$, we have

(42) $$\frac{\frac{\partial}{\partial y}\psi^{v+1}(\mathrm{y}_{v})}{\phi(x)-\psi^{v+1}(\mathrm{y}_{v})}+\tilde{C}_{v\to v+1}=\frac{C_{v\to v+1}\frac{\partial}{\partial y}\psi^{v}(\mathrm{y}_{v})}{\phi(x)-\psi^{v}(\mathrm{y}_{v})}.$$

Treating everything except $\phi(x)$ as constants, (42) is an identity of two functions of $x$. Clearly, this identity can be true only if $\psi^{v+1}(\mathrm{y}_{v})=\psi^{v}(\mathrm{y}_{v})$, which proves the desired continuity. ∎

Remark 4.8.

In several examples we checked with non-convex $I$, it was impossible to find a solution of the EL-equations of the form (25) with $\phi^{uv}$ and $\psi^{uv}$ not depending on $u$ or $v$.

4.2. Algebraic equations for convex $I$

Summarizing the developments of the previous section, in order to solve the EL-equations for the permuton energy with convex $I$ we need to find two continuous functions

$$\phi:[0,1]\mapsto\mathbb{R}\cup\{\infty\},\qquad\psi:[0,1]\mapsto\mathbb{R}\cup\{\infty\},$$

such that the function

$$g(x,y)=-\frac{1}{r}\cdot\frac{\frac{\partial}{\partial x}\phi(x)\frac{\partial}{\partial y}\psi(y)}{[\phi(x)-\psi(y)]^{2}}$$

is non-negative whenever $(x,y)\in(\mathrm{x}_{u-1},\mathrm{x}_{u})\times(\mathrm{y}_{v-1},\mathrm{y}_{v})$ with $I_{uv}=1$ and satisfies the permuton conditions (equivalent to the boundry conditions on $h$):

(43) $$\sum_{v=1}^{\ell}I_{uv}\int_{\mathrm{y}_{v-1}}^{\mathrm{y}_{v}}g(x,y)\mathrm{d}y=1,\qquad x\in(\mathrm{x}_{u-1},\mathrm{x}_{u}),\quad 1\leq u\leq k,$$

(44) $$\sum_{u=1}^{k}I_{uv}\int_{\mathrm{x}_{u-1}}^{\mathrm{x}_{u}}g(x,y)\mathrm{d}x=1,\qquad y\in(\mathrm{y}_{v-1},\mathrm{y}_{v}),\quad 1\leq v\leq\ell.$$

The algorithm for finding functions $\phi$ and $\psi$ is given in the following theorem.

Theorem 4.9.

The $k+\ell+2$ numbers $\phi(\mathrm{x}_{u})$, $0\leq u\leq k$, $\psi(\mathrm{y}_{v})$, $0\leq v\leq\ell$, are found by solving a system of $k+\ell$ polynomial equations:

(45) $$e^{r(\mathrm{x}_{u}-\mathrm{x}_{u-1})} =\prod_{v=1}^{\ell}\left[\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u})}\right]^{I_{uv}},\quad 1\leq u\leq k,$$

(46) $$e^{r(\mathrm{y}_{v}-\mathrm{y}_{v-1})} =\prod_{u=1}^{k}\left[\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u})}\right]^{I_{uv}},\quad 1\leq v\leq\ell.$$

The values at other points are found from polynomial equations in variables $\phi(x)$ and $\psi(x)$:

(47) $$e^{r(x-\mathrm{x}_{u-1})} =\prod_{v=1}^{\ell}\left[\frac{\psi(\mathrm{y}_{v-1})-\phi(x)}{\psi(\mathrm{y}_{v})-\phi(x)}\cdot\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\right]^{I_{uv}},\qquad x\in[\mathrm{x}_{u-1},\mathrm{x}_{u}],\quad 1\leq u\leq k,$$

$$e^{r(y-\mathrm{y}_{v-1})} =\prod_{u=1}^{k}\left[\frac{\psi(y)-\phi(\mathrm{x}_{u-1})}{\psi(y)-\phi(\mathrm{x}_{u})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\right]^{I_{uv}},\qquad y\in[\mathrm{y}_{v-1},\mathrm{y}_{v}],\quad 1\leq v\leq\ell.$$

Remark 4.10.

Recall from Remark 4.3 that functions $\phi$ and $\psi$ are defined up to $3$–dimensional group of Moebius transformations. Hence, we can fix three out of $k+\ell+2$ variables $\phi(\mathrm{x}_{u})$, $\psi(\mathrm{y}_{v})$ in arbitrary ways, and find the remaining $k+\ell-1$ variables from (45),(46). One equation is abundant: the product of all $k$ equations (45) is the same as the produc of all $\ell$ equations (46). Therefore, eventually the number of variables matches the number of equations.

Proof of Theorem 4.9.

We rewrite $g(x,y)=-\frac{1}{r}\frac{\partial^{2}}{\partial x\partial y}\ln\bigl{(}\phi(x)-\psi(y)\bigr{)}$ and compute

(48) $$\int_{\mathrm{y}_{v-1}}^{\mathrm{y}_{v}}\int_{\mathrm{x}_{u-1}}^{\mathrm{x}_{u}}g(x,y)\,\mathrm{d}x\mathrm{d}y=-\frac{1}{r}\ln\left[\frac{(\phi(\mathrm{x}_{u})-\psi(\mathrm{y}_{v}))(\phi(\mathrm{x}_{u-1})-\psi(\mathrm{y}_{v-1}))}{(\phi(\mathrm{x}_{u-1})-\psi(\mathrm{y}_{v}))(\phi(\mathrm{x}_{u})-\psi(\mathrm{y}_{v-1}))}\right].$$

Hence, integrating (43) from $\mathrm{x}_{u-1}$ to $\mathrm{x}_{u}$, we get

$$r(\mathrm{x}_{u}-\mathrm{x}_{u-1})=-\sum_{v=1}^{\ell}I_{uv}\ln\left[\frac{(\phi(\mathrm{x}_{u})-\psi(\mathrm{y}_{v}))(\phi(\mathrm{x}_{u-1})-\psi(\mathrm{y}_{v-1}))}{(\phi(\mathrm{x}_{u-1})-\psi(\mathrm{y}_{v}))(\phi(\mathrm{x}_{u})-\psi(\mathrm{y}_{v-1}))}\right].$$

Exponentiating, we get (45). Similarly, integrating (44) from $\mathrm{y}_{v-1}$ to $\mathrm{y}_{v}$ and exponentiating, we get (46).

By the same trick, the first equation of (47) is obtained by integrating (43) from $\mathrm{x}_{u-1}$ and then exponentiating. The second equation is obtained by integrating (44) from $\mathrm{y}_{v-1}$ to $y$ and then exponentiating. ∎

Theorem 4.9 has the following corollary.

Corollary 4.11.

For $I$ convex, the functions $\phi(x)$ and $\psi(y)$ are Moebius transformations of $e^{rx}$ and $e^{ry}$, respectively, on each rectangle. Consequently $g(x,y)$ has the form

(49) $$g^{uv}(x,y)=-\frac{(ad-bc)re^{r(x+y)}}{(a+be^{ry}+ce^{rx}+de^{r(x+y)})^{2}}$$

on each rectangle, where the constants $a,b,c,d$ depend on $u,v$.

Proof.

Because $I$ is convex, the equations (47) telescope, leading to, for each $u$,

$$e^{r(x-x_{u-1})}=C_{u}\frac{A_{u}-\phi(x)}{B_{u}-\phi(x)}$$

for some constants $A_{u},B_{u},C_{u}$, and similarly for $\psi(y)$ for each $v$. This implies the first statement. Now applying (25) yields the general form (49) of $g$. ∎

Theorem 4.9 indicates that finding the limit shapes for restricted random permutations for convex $I$ 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 $I$ is non-convex, the algorithm is more complicated. According to Proposition 4.6, the functions $\phi^{uv}$ and $\psi^{uv}$ now depend on $u$ and $v$ 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 $\phi$ and $\psi$ replaced with $\phi^{uv}$ and $\psi^{uv}$, respectively, in the factor raised to the $I_{uv}$ 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 $r=0$

In the case $r=0$ the equations (45), (46), and (47) are dramatically simplified.

Theorem 4.12.

For $r=0$, the maximizer in the variational problem $\mathfrak{E}(h)\to\max$, $h\in\mathfrak{F}^{\mathrm{x},\mathrm{y},I}$, has the following form in terms of density $g=-h_{xy}$:

• On each rectangle $(\mathrm{x}_{u-1},\mathrm{x}_{u})\times(\mathrm{y}_{v-1},\mathrm{y}_{v})$, the density $g(x,y)$ is constant:

  (50) $$g(x,y)=\frac{g^{uv}}{(\mathrm{x}_{u}-\mathrm{x}_{u-1})(\mathrm{y}_{v}-\mathrm{y}_{v-1})},\qquad x\in(\mathrm{x}_{u-1},\mathrm{x}_{u}),\quad y\in(\mathrm{y}_{v-1},\mathrm{y}_{v}).$$

• There exist two sequences of positive reals $\lambda_{1},\lambda_{2},\dots,\lambda_{k}$ and $\mu_{1},\mu_{2},\dots,\mu_{\ell}$, such that $g^{uv}=I_{uv}\lambda_{u}\mu_{v}$. These sequences are found from the $k+\ell$ conditions:

  (51) $$\mathrm{x}_{u}-\mathrm{x}_{u-1} =\sum_{v=1}^{\ell}I_{uv}\lambda_{u}\mu_{v},\qquad u=1,2,\dots,k,$$

  (52) $$\mathrm{y}_{v}-\mathrm{y}_{v-1} =\sum_{u=1}^{k}I_{uv}\lambda_{u}\mu_{v},\qquad v=1,2,\dots,\ell.$$

Proof.

We explain why two sequences $\lambda$ and $\mu$ 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 $h$ or (43), (44). Simultaneously, the condition (15) with $r=0$ holds, because $g(x,y)$ factors as a function of $x$ times a function of $y$. Therefore, $g(x,y)$ 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 $I_{uv}$ 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 $1$, 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 $\mu^{[0]}=(1,\dots,1)$ and then sequentially updating $\lambda^{[n]}$, $\mu^{[n]}$, $n=1,2,3,\dots$ by the following two rules:

1. Using $\mu^{[n-1]}$, we define $\lambda^{[n]}$ so that (51) holds, i.e.:

   $$\lambda^{[n]}_{u}=\frac{\mathrm{x}_{u}-\mathrm{x}_{u-1}}{\sum_{v=1}^{\ell}I_{uv}\mu^{[n-1]}_{v}},\qquad 1\leq u\leq k.$$

2. Using $\lambda^{[n]}$, we define $\mu^{[n]}$ so that (52) holds, i.e.:

   $$\mu^{[n]}_{v}=\frac{\mathrm{y}_{v}-\mathrm{y}_{v-1}}{\sum_{u=1}^{k}I_{uv}\lambda^{[n]}_{u}},\qquad 1\leq v\leq\ell.$$

Assume that $I$ and $\{\mathrm{x}_{u}\}_{u=1}^{k}$, $\{\mathrm{y}_{v}\}_{v=1}^{\ell}$ are non-degenerate, as in Definition 3.5. Then $\lambda^{[n]}$, $\mu^{[n]}$ of the above iterative algorithm converge as $n\to\infty$ towards $\lambda$ and $\mu$ 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 $r$

We next explore how to leverage the existence of the iterative proportional fitting algorithm at $r=0$, in order to obtain numeric solutions to the polynomial equations (45), (46) for small $r$.

We first connect two sets of equations: (45), (46) and (51), (52).

Lemma 4.13.

Make a change of variables $\phi(\mathrm{x}_{u})=\frac{1}{r\chi(\mathrm{x}_{u})}$, take the logarithm of (45), (46), and divide by $r$. Sending $r\to 0$, one arrives at the equations (51), (52) under identification

(53) $$\chi(\mathrm{x}_{u})-\chi(\mathrm{x}_{u-1})=\lambda_{u},\quad 1\leq u\leq k,\qquad\psi(\mathrm{y}_{v})-\psi(\mathrm{y}_{v-1})=\mu_{v},\quad 1\leq v\leq\ell.$$

Proof.

Once we make the change of variables, we have as $r\to 0$

$$\ln\left[\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u})}\right]=\ln\left[\frac{1-r\chi(\mathrm{x}_{u-1})\psi(\mathrm{y}_{v})}{1-r\chi(\mathrm{x}_{u-1})\psi(\mathrm{y}_{v-1})}\cdot\frac{1-r\chi(\mathrm{x}_{u})\psi(\mathrm{y}_{v-1})}{1-r\chi(\mathrm{x}_{u})\psi(\mathrm{y}_{v})}\right]\\ =r\left[(\chi(\mathrm{x}_{u})-\chi(\mathrm{x}_{u-1}))(\psi(\mathrm{y}_{v})-\psi(\mathrm{y}_{v-1}))\right]+o(r).\qed$$

Combining the $r=0$ algorithm of the previous section with Lemma 4.13 we arrive at the following numerical method for solving (45), (46).

• Encode the $r$–dependent solution through

  $$\phi(\mathrm{x}_{u})=\frac{1}{r\chi^{r}(\mathrm{x}_{u})},\quad\psi(\mathrm{y}_{v})=\psi^{r}(\mathrm{y}_{v}).$$

• At $r=0$, find $\chi^{0}(\mathrm{x}_{u})$, $0\leq u\leq k$, and $\psi^{0}(\mathrm{y}_{v})$, $0\leq v\leq\ell$, through the iterative proportional fitting algorithm of the previous section.

• Make steps $r\to r+\Delta r$ with very small $\Delta r$, by writing

  $$\chi^{r+\Delta r}(\mathrm{x}_{u})=\chi^{r}(\mathrm{x}_{u})+\Delta\chi^{r}(\mathrm{x}_{u}),\qquad\psi^{r+\Delta r}(\mathrm{y}_{v})=\psi^{r}(\mathrm{y}_{v})+\Delta\psi^{r}(\mathrm{y}_{v}),$$

  assuming that the increments are small, linearizing the equations (45), (46) in terms of the increments, and solving the resulting system of linear equations.

One delicate point is that, as we mentioned in Remark 4.3, for each $r$, there is a $3$–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 $r=0$, the $3$–dimensional group is generated by shifting $\chi^{0}$ by a constant, shifting $\psi^{0}$ by a constant, and simultaneous multiplication of $\chi^{0}$ by a constant together with division of $\chi^{0}$ 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 $r$ and start exploding at some point as $r$ grows (by growing to $\infty$ or hitting one of the zeros of denominators in the equations (45), (46)).

Figure 5. Numeric solution of the EL equations for $k=4$, $(\mathrm{x}_{u})=(\mathrm{y}_{v})=(0,\tfrac{1}{5},\tfrac{3}{5},\tfrac{4}{5},1)$, $I=\begin{pmatrix}1&1&0&0\\ 1&1&1&0\\ 1&1&1&1\\ 0&1&1&1\end{pmatrix}$, $r=3$ in the top panel and $r=-3$ in the bottom panel. Pictures obtained by refining to $100\times 100$ grid, and solving trigonometric equations (54), (55) by increasing $r$ by small steps from $r=0$.

It would be interesting to implement a similar numeric algorithm for the case of a general, not necessarily convex matrix $I$. For the $r=0$ case, Theorem 4.12 did not require convexity of $I$; hence, it can still serve as a starting point.

Remark 4.14.

Continuing Remark 4.3, one can transform the functions $\phi$ and $\psi$ into the unit circle and reparameterize them by angles $\theta$ and $\rho$. Equations (45), (46) then turn into an alternative trigonometric form:

(54) $$e^{r(\mathrm{x}_{u}-\mathrm{x}_{u-1})} =\prod_{v=1}^{\ell}\left[\frac{\cos\bigl{(}\sqrt{r}(\theta_{v}+\rho_{u-1})\bigr{)}\cos\bigl{(}\sqrt{r}(\theta_{v-1}+\rho_{u})\bigr{)}}{\cos\bigl{(}\sqrt{r}(\theta_{v}+\rho_{u})\bigr{)}\cos\bigl{(}\sqrt{r}(\theta_{v-1}+\rho_{u-1})\bigr{)}}\right]^{I_{uv}},\quad 1\leq u\leq k,$$

(55) $$e^{r(\mathrm{y}_{v}-\mathrm{y}_{v-1})} =\prod_{u=1}^{k}\left[\frac{\cos\bigl{(}\sqrt{r}(\theta_{v}+\rho_{u-1})\bigr{)}\cos\bigl{(}\sqrt{r}(\theta_{v-1}+\rho_{u})\bigr{)}}{\cos\bigl{(}\sqrt{r}(\theta_{v}+\rho_{u})\bigr{)}\cos\bigl{(}\sqrt{r}(\theta_{v-1}+\rho_{u-1})\bigr{)}}\right]^{I_{uv}},\quad 1\leq v\leq\ell.$$

where we rescaled the variables, so that the $r\to 0$ limit (after taking logarithms) becomes transparent using $\cos(x)=1-\frac{x^{2}}{2}+o(x^{3})$, $x\to 0$.

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 $g(x,y)\geq 0$ 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 $I$, 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 $I_{uv}$ to smaller arrays, until we reach $1\times 1$ array $I_{11}$, for which solving (45), (46) is immediate. The reductions are based on two operations, which take a convex $k\times\ell$ array $I$ and output a convex array $\tilde{I}$ of smaller size:

1. If $I$ has a unique $1$ in the first row or the last row, then remove this row and output the remaining $k\times(\ell-1)$ array. If $I$ has a unique $1$ in the first column or the last column, then remove this column and output the remaining $(k-1)\times\ell$ array.

2. If two rows of $I$, $v$ and $v+1$ are completely filled with $1$s: $I_{uv}=I_{u,v+1}=1$ for all $1\leq u\leq k$, then remove the row $v$ and output the remaining $k\times(\ell-1)$ array. If two columns of $I$, $u$ and $u+1$ are completely filled with $1$s: $I_{uv}=I_{u+1,v}=1$ for all $1\leq v\leq\ell$, then remove the column $u+1$ and output the remaining $(k-1)\times\ell$ array.

Definition 4.15.

A convex (in the sense of Definition 2.1) $k\times\ell$ array $I$ is called simple, if it can be reduced by a sequence of the above operations to the $1\times 1$ array $I_{11}=1$.

For $2\times 2$ case, all possible arrays (with at least one $1$ in each row and column) are both convex and simple. For $2\times 3$ case, there are several non-convex arrays, but all convex arrays are simple. For $3\times 3$ case some convex arrays are simple and some are not. For example, $\begin{pmatrix}0&0&1\\ 1&1&1\\ 1&1&0\end{pmatrix}$ and $\begin{pmatrix}1&1&1\\ 1&1&1\\ 1&1&0\end{pmatrix}$ are simple, while $\begin{pmatrix}0&1&1\\ 1&1&1\\ 1&1&0\end{pmatrix}$ is not.

Theorem 4.16.

Fix $r\neq 0$, a simple convex $k\times\ell$ array $I$, and any sequences of numbers $\mathrm{x}_{0}<\mathrm{x}_{1}<\dots<\mathrm{x}_{k}$, $\mathrm{y}_{0}<\mathrm{y}_{1}<\dots<\mathrm{y}_{\ell}$, such that $\mathrm{x}_{k}-\mathrm{x}_{0}=\mathrm{y}_{\ell}-\mathrm{y}_{0}$, and the data is non-degenerate in the sense of Definition 3.5. Then the solution $\mathrm{\phi}(\mathrm{x}_{u})$, $0\leq u\leq k$, $\mathrm{\psi}(\mathrm{y}_{v}))$, $0\leq v\leq\ell$, to equations (45), (46) is unique up to Moebius transformations and can be obtained by the recursive algorithm in the following proof.

Proof.

The argument is by induction in $k+\ell$. For the base $k=\ell=1$, both equations (45), (46) are the same and read

(56) $$e^{r(\mathrm{x}_{1}-\mathrm{x}_{0})}=\frac{\psi(\mathrm{y}_{1})-\phi(\mathrm{x}_{0})}{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{0})}\cdot\frac{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{1})}{\psi(\mathrm{y}_{1})-\phi(\mathrm{x}_{1})}.$$

Note that the four variables involved, $\phi(\mathrm{x}_{0})$, $\phi(\mathrm{x}_{1})$, $\psi(\mathrm{y}_{0})$, $\psi(\mathrm{y}_{1})$, 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 $\mathbb{R}\cup\{\infty\}$; since the cross ratio is invariant under Moebius transformations, (56) is not going to change. Say, let us map $(\phi(\mathrm{x}_{0}),\psi(\mathrm{y}_{0}),\psi(\mathrm{y}_{1}))\mapsto(0,\infty,1)$. Then the equation turns into

$$e^{r(\mathrm{x}_{1}-\mathrm{x}_{0})}=\frac{1}{1-\phi(\mathrm{x}_{1})},$$

which clearly has a unique solution $\phi(\mathrm{x}_{1})\in\mathbb{R}$.

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 $I$ has a unique non-zero element in the last column, at position $I_{k\hat{v}}=1$ and $\tilde{I}$ is obtained from $I$ by removing that column.

The last, $u=k$, equation (45) reads

(57) $$e^{r(\mathrm{x}_{k}-\mathrm{x}_{k-1})}=\frac{\psi(\mathrm{y}_{\hat{u}})-\phi(\mathrm{x}_{k-1})}{\psi(\mathrm{y}_{\hat{u}-1})-\phi(\mathrm{x}_{k-1})}\cdot\frac{\psi(\mathrm{y}_{\hat{u}-1})-\phi(\mathrm{x}_{k})}{\psi(\mathrm{y}_{\hat{u}})-\phi(\mathrm{x}_{k})}.$$

We see that once $\phi(\mathrm{x}_{k-1})$, $\psi(\mathrm{y}_{\hat{u}})$, $\psi(\mathrm{y}_{\hat{u}-1})$ are determined, there is a unique $\phi(\mathrm{x}_{k})$ satisfying (57). On the other hand, the $k+\ell+1$ variables $\mathrm{\phi}(\mathrm{x}_{u})$, $0\leq u\leq k-1$, $\mathrm{\psi}(\mathrm{y}_{v}))$, $0\leq v\leq\ell$, satisfy a system of $k+\ell-1$ equations:

$$e^{r(\mathrm{x}_{u}-\mathrm{x}_{u-1})} =\prod_{v=1}^{\ell}\left[\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u})}\right]^{I_{uv}},\quad 1\leq u\leq k-1,$$

$$e^{r(\mathrm{y}_{v}-\mathrm{y}_{v-1})} =\prod_{u=1}^{k-1}\left[\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u})}\right]^{I_{uv}},\quad 1\leq v\leq\ell,\quad v\neq\hat{v},$$

$$e^{r(\mathrm{y}_{\hat{v}}-\mathrm{y}_{\hat{v}-1})}e^{-r(\mathrm{x}_{k}-\mathrm{x}_{k-1})} =\prod_{u=1}^{k-1}\left[\frac{\psi(\mathrm{y}_{\hat{v}})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{\hat{v}-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{\hat{v}-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{\hat{v}})-\phi(\mathrm{x}_{u})}\right]^{I_{u\hat{v}}},$$

where we used (57) to get the last equation. The last system of equations is again of the form (45),(46) for the $(k-1)\times\ell$ array $\tilde{I}$, and for the difference $y_{\hat{v}}-\mathrm{y}_{\hat{v}-1}$ replaced with $(y_{\hat{v}}-\mathrm{y}_{\hat{v}-1})-(\mathrm{x}_{k}-\mathrm{x}_{k-1})$. (Notice that $(y_{\hat{v}}-\mathrm{y}_{\hat{v}-1})-(\mathrm{x}_{k}-\mathrm{x}_{k-1})>0$, 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 $\hat{u}$ and $\hat{u}+1$ of $I$ are completely filled with 1s and let $\tilde{I}$ be obtained from $I$ by removing the column $\hat{u}+1$. The equations (45) for $u=\hat{u}$ and $u=\hat{u}+1$ read after cancellations:

$$e^{r(\mathrm{x}_{\hat{u}}-\mathrm{x}_{\hat{u}-1})} =\frac{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}-1})}{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}-1})}\cdot\frac{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}})}{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}})},$$

$$e^{r(\mathrm{x}_{\hat{u}+1}-\mathrm{x}_{\hat{u}})} =\frac{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}})}{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}})}\cdot\frac{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}+1})}{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}+1})}.$$

Let us replace the last two equations by the first one and their product, i.e. by

(58) $$e^{r(\mathrm{x}_{\hat{u}}-\mathrm{x}_{\hat{u}-1})} =\frac{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}-1})}{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}-1})}\cdot\frac{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}})}{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}})},$$

(59) $$e^{r(\mathrm{x}_{\hat{u}+1}-\mathrm{x}_{\hat{u}-1})} =\frac{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}-1})}{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}-1})}\cdot\frac{\psi(\mathrm{y}_{0})-\phi(\mathrm{x}_{\hat{u}+1})}{\psi(\mathrm{y}_{\ell})-\phi(\mathrm{x}_{\hat{u}+1})}.$$

Once $\phi(\mathrm{x}_{\hat{u}-1})$, $\psi(\mathrm{y}_{0})$, $\psi(\mathrm{y}_{\ell})$ are determined, the equation (58) uniquely determines $\phi(\mathrm{x}_{\hat{u}})$. On the other hand, $k+\ell+1$ variables $\phi(\mathrm{x}_{0}),\dots,\phi(\mathrm{x}_{\hat{u}-1}),\phi(\mathrm{x}_{\hat{u}+1}),\dots,\phi(\mathrm{x}_{k})$; $\psi(\mathrm{y}_{0}),\dots,\psi(\mathrm{y}_{\ell})$ satisfy a system of $k+\ell-1$ equations, given by (59) and

(60) $$e^{r(\mathrm{x}_{u}-\mathrm{x}_{u-1})} =\prod_{v=1}^{\ell}\left[\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u})}\right]^{I_{uv}},\quad 1\leq u\leq\hat{u}-1\text{ or }\hat{u}+2\leq u\leq k,$$

(61) $$e^{r(\mathrm{y}_{v}-\mathrm{y}_{v-1})} =\prod_{u=1}^{k}\left[\frac{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u-1})}{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u-1})}\cdot\frac{\psi(\mathrm{y}_{v-1})-\phi(\mathrm{x}_{u})}{\psi(\mathrm{y}_{v})-\phi(\mathrm{x}_{u})}\right]^{I_{uv}},\quad 1\leq v\leq\ell.$$

Note that there is no $\phi(\mathrm{x}_{\hat{u}})$ in the last equation, as it cancels between $u=\hat{u}$ and $u=\hat{u}+1$ factors. We conclude that the system (59),(60),(61) is exactly of the same form as (45), (46) for $(k-1)\times\ell$ matrix $\tilde{I}$. 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 $k=\ell=2$, $\mathrm{x}=(0,a,1)$, $\mathrm{y}=(0,b,1)$, $I=\begin{pmatrix}1&0\\ 1&1\end{pmatrix}$. The inductive reductions are $I\to\begin{pmatrix}1\\ 1\end{pmatrix}\to\begin{pmatrix}1\end{pmatrix}$. On the first step we remove the last column of $I$ and record the equation for determining $\phi(1)$:

(62) $$e^{r(1-a)}=\frac{\psi(b)-\phi(a)}{\psi(0)-\phi(a)}\cdot\frac{\psi(0)-\phi(1)}{\psi(b)-\phi(1)}.$$

On the second step, we remove the top row of $\begin{pmatrix}1\\ 1\end{pmatrix}$ array — we can use either of the two operations for that, say, we use the first one again. We get an equation for determining $\psi(1)$:

(63) $$e^{r(1-b)}=\frac{\psi(1)-\phi(0)}{\psi(b)-\phi(0)}\cdot\frac{\psi(b)-\phi(a)}{\psi(1)-\phi(a)}.$$

The final equation for the $1\times 1$ matrix $I$ is

(64) $$e^{r(a+b-1)}=\frac{\psi(b)-\phi(0)}{\psi(0)-\phi(0)}\cdot\frac{\psi(0)-\phi(a)}{\psi(b)-\phi(a)}.$$

Note that it is necessary to have $a+b>1$ 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 $\phi(0)=0$, $\psi(0)=\infty$, $\psi(b)=1$. Then (64) turns into

(65) $$e^{r(a+b-1)}=\frac{1}{1-\phi(a)}\quad\Longleftrightarrow\quad\phi(a)=1-e^{-r(a+b-1)}.$$

Through (62), (63) we compute:

(66) $$\phi(1)=1-e^{-rb},\qquad\psi(1)=\frac{1-e^{-r(a+b-1)}}{1-e^{-ra}}.$$

Further, we reconstruct $\phi(x)$ and $\psi(y)$ in all other points through equations (47):

$$e^{rx}=\frac{\frac{1-e^{-r(a+b-1)}}{1-e^{-ra}}}{\frac{1-e^{-r(a+b-1)}}{1-e^{-ra}}-\phi(x)}\quad \Longleftrightarrow\quad\phi(x)=\frac{1-e^{-r(a+b-1)}}{1-e^{-ra}}(1-e^{-rx}),\qquad x\in[0,a],$$

$$e^{r(x-a)}=\frac{e^{-r(a+b-1)}}{1-\phi(x)}\quad \Longleftrightarrow\quad\phi(x)=1-e^{-r(x+b-1)},\qquad x\in[a,1],$$

$$e^{ry}=\frac{\psi(y)}{\psi(y)-1+e^{-rb}}\quad \Longleftrightarrow\quad\psi(y)=\frac{1-e^{-rb}}{1-e^{-ry}},\qquad y\in[0,b],$$

$$e^{r(y-b)}=\frac{\psi(y)e^{-r(a+b-1)}}{\psi(y)-1+e^{-r(a+b-1)}}\quad \Longleftrightarrow\quad\psi(y)=\frac{1-e^{-r(a+b-1)}}{1-e^{-r(a+y-1)}},\qquad y\in[b,1].$$

It remains to plug the last formulas into $g(x,y)=-\frac{1}{r}\cdot\frac{\frac{\partial}{\partial x}\phi(x)\frac{\partial}{\partial y}\psi(y)}{[\phi(x)-\psi(y)]^{2}}$ for $(x,y)\in(0,a)\times(0,b)\cup(a,1)\times(0,b)\cup(0,a)\times(b,1)$. Figure 6 plots the result.

Figure 6. Solution of EL equations for $I=\begin{pmatrix}1&0\\ 1&1\end{pmatrix}$, $\mathrm{x}=(0,\tfrac{1}{2},1)$, $\mathrm{y}=(0,\tfrac{3}{4},1)$. Left panel: numeric solution via $100\times 100$ grid refinement. Right panel: exact formulas.

5. Further examples

5.1. Convex $3\times 3$ example

Listing all possible cases, one checks that for $2\times 1$, $1\times 2$, $3\times 1$, $2\times 2$, $1\times 3$, $3\times 2$, and $2\times 3$ arrays, $I$ being convex implies being simple. Hence, we can always use the algorithm of Section 4.5 to solve the equations (45), (46). For $3\times 3$ case, there are two non-simple convex arrays:

$$\begin{pmatrix}0&1&1\\ 1&1&1\\ 1&1&0\end{pmatrix}\text{ and }\begin{pmatrix}1&1&0\\ 1&1&1\\ 0&1&1\end{pmatrix}.$$

In the analysis of (45),(46) these two arrays differ by a symmetry accompanied by $r\to-r$ change. Hence, it would be sufficient to only study the first one, which we do in this section.

Let us denote $\mathrm{x}=(0<a_{1}<a_{2}<1)$ and $\mathrm{y}=(0<b_{1}<b_{2}<1)$. We need to determine the values of $8$ variables $\phi(0),\phi(a_{1}),\phi(a_{2}),\phi(1)$, $\psi(0),\psi(b_{1}),\psi(b_{2}),\psi(1)$, solving $6$ equations (45),(46). The equations involve products of $7$ different cross ratios, corresponding to $7$ pairs $(u,v)$ with $I_{uv}=1$. Let $X$ and $Y$ denote  the two missing cross ratios, corresponding to $I_{uv}=0$:

(67) $$X=\frac{\psi(1)-\phi(0)}{\psi(b_{2})-\phi(0)}\cdot\frac{\psi(b_{2})-\phi(a_{1})}{\psi(1)-\phi(a_{1})},\qquad Y=\frac{\psi(b_{1})-\phi(a_{2})}{\psi(0)-\phi(a_{2})}\cdot\frac{\psi(0)-\phi(1)}{\psi(b_{1})-\phi(1)}.$$

Noting telescoping cancellations in (45), (46), we can rewrite them as six equations, and further fix $\phi(0)=0$, $\phi(1)=1$, $\psi(0)=\infty$ by using Moebius invariance, to get

$$\begin{cases}e^{ra_{1}}\cdot X&=\frac{\psi(1)-\phi(0)}{\psi(0)-\phi(0)}\cdot\frac{\psi(0)-\phi(a_{1})}{\psi(1)-\phi(a_{1})},\\ e^{r(a_{2}-a_{1})}&=\frac{\psi(1)-\phi(a_{1})}{\psi(0)-\phi(a_{1})}\cdot\frac{\psi(0)-\phi(a_{2})}{\psi(1)-\phi(a_{2})},\\ e^{r(1-a_{2})}\cdot Y&=\frac{\psi(1)-\phi(a_{2})}{\psi(0)-\phi(a_{2})}\cdot\frac{\psi(0)-\phi(1)}{\psi(1)-\phi(1)},\\ e^{rb_{1}}\cdot Y&=\frac{\psi(b_{1})-\phi(0)}{\psi(0)-\phi(0)}\cdot\frac{\psi(0)-\phi(1)}{\psi(b_{1})-\phi(1)},\\ e^{r(b_{2}-b_{1})}&=\frac{\psi(b_{2})-\phi(0)}{\psi(b_{1})-\phi(0)}\cdot\frac{\psi(b_{1})-\phi(1)}{\psi(b_{2})-\phi(1)},\\ e^{r(1-b_{2})}\cdot X&=\frac{\psi(1)-\phi(0)}{\psi(b_{2})-\phi(0)}\cdot\frac{\psi(b_{2})-\phi(1)}{\psi(1)-\phi(1)}.\end{cases}\Longleftrightarrow\begin{cases}e^{ra_{1}}\cdot X&=\frac{\psi(1)}{\psi(1)-\phi(a_{1})},\\ e^{r(a_{2}-a_{1})}&=\frac{\psi(1)-\phi(a_{1})}{\psi(1)-\phi(a_{2})},\\ e^{r(1-a_{2})}\cdot Y&=\frac{\psi(1)-\phi(a_{2})}{\psi(1)-1},\\ e^{rb_{1}}\cdot Y&=\frac{\psi(b_{1})}{\psi(b_{1})-1},\\ e^{r(b_{2}-b_{1})}&=\frac{\psi(b_{2})}{\psi(b_{1})}\cdot\frac{\psi(b_{1})-1}{\psi(b_{2})-1},\\ e^{r(1-b_{2})}\cdot X&=\frac{\psi(1)}{\psi(b_{2})}\cdot\frac{\psi(b_{2})-1}{\psi(1)-1}.\end{cases}$$

Assuming $X$ and $Y$ to be known, the system of equations is readily solved in terms of them, resulting in:

(68) $$\psi(b_{1})=\frac{1}{1-e^{-rb_{1}}/Y},\quad\psi(b_{2})=\frac{1}{1-e^{-rb_{2}}/Y},\quad\psi(1)=\frac{1}{1-e^{-r}/(XY)},$$

(69) $$\phi(a_{1})=\frac{1-e^{-ra_{1}}/X}{1-e^{-r}/(XY)},\quad\phi(a_{2})=\frac{1-e^{-ra_{2}}/X}{1-e^{-r}/(XY)}.$$

In order to find $X$ and $Y$, we plug the values of $\psi$ and $\phi$ back into (67) and get two equations:

(70) $$X=\frac{1-\frac{(1-e^{-rb_{2}}/Y)(1-e^{-ra_{1}}/X)}{1-e^{-r}/(XY)}}{e^{-ra_{1}}/X},\qquad Y=\frac{1-\frac{(1-e^{-ra_{2}}/X)(1-e^{-rb_{1}}/Y)}{1-e^{-r}/(XY)}}{e^{-rb_{1}}/Y}.$$

Simplifying using $X\neq 0$, $Y\neq 0$, we get

$$e^{-r}-XY=e^{-r(1-a_{1})}+e^{-rb_{2}}-Xe^{-r(b_{2}-a_{1})}-Y,\qquad e^{-r}-XY=e^{-r(1-b_{1})}+e^{-ra_{2}}-X-Ye^{-r(a_{2}-b_{1})},$$

which is equivalent to a linear relation and a quadratic equation:

(71) $$Y=\frac{e^{-r(1-a_{1})}+e^{-rb_{2}}-e^{-r(1-b_{1})}-e^{-ra_{2}}+X(1-e^{-r(b_{2}-a_{1})})}{1-e^{-r(a_{2}-b_{1})}},$$

(72) $$X^{2}(1-e^{-r(b_{2}-a_{1})})+X(e^{-r(1-a_{1})}+e^{-rb_{2}}+e^{-r(a_{2}-a_{1}+b_{2}-b_{1})}-e^{-r(1-b_{1})}-e^{-ra_{2}}-1)\\ +e^{-r(1-b_{1})}+e^{-ra_{2}}+e^{-r(1+a_{2}-b_{1})}-e^{-r(1-a_{1}+a_{2}-b_{1})}-e^{-r(b_{2}+a_{2}-b_{1})}-e^{-r}=0.$$

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 $g(x,y)$ via (47). In order to pick the correct solution we need to additionally impose the positivity condition:

(73) $$-\frac{1}{r}\ln\left[\frac{(\phi(\mathrm{x}_{u})-\psi(\mathrm{y}_{v}))(\phi(\mathrm{x}_{u-1})-\psi(\mathrm{y}_{v-1}))}{(\phi(\mathrm{x}_{u-1})-\psi(\mathrm{y}_{v}))(\phi(\mathrm{x}_{u})-\psi(\mathrm{y}_{v-1}))}\right]>0,\qquad\text{whenever }I_{uv}=1.$$

which is a corollary of positivity of the density $g(x,y)$ and (48).

The formula (72) is quite complicated in the general case and it is intructive to specialize to an equally-spaced grid $a_{1}=b_{1}=\tfrac{1}{3}$, $a_{2}=b_{2}=\tfrac{2}{3}$. The quadratic equation after dividing by $(1-e^{-r/3})$ becomes

(74) $$X^{2}-X(1+e^{-r/3})+2e^{-2r/3}-e^{-r}=0,$$

and $Y=X$. One directly checks that, when writing two solutions of (74) in terms of $\pm\sqrt{\mathrm{Discriminant}}$, the correct sign giving (73) is “$+$” for $r>0$ and “$-$” for $r<0$.

As $r\to 0$, one should rescale $X=1+rX_{[0]}$, with (74) turning asymptotically into

(75) $$X_{[0]}^{2}+\frac{1}{3}X_{[0]}-\frac{1}{9}=0.$$

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 $r$ in Figure 7.

Figure 7. Solution of EL equations for $I=\begin{pmatrix}0&1&1\\ 1&1&1\\ 1&1&0\end{pmatrix}$, $\mathrm{x}=\mathrm{y}=(0,\tfrac{1}{3},\tfrac{2}{3},1)$. Left panel: $r=1$. Right panel: $r=-5$

5.2. Non-convex $3\times 2$ example

For our next example, we consider a non-convex $I$. We take $k=3$, $\ell=2$, $I=\begin{pmatrix}1&0&1\\ 1&1&1\end{pmatrix}$ and $\mathrm{x}=(0,\tfrac{1}{3},\tfrac{2}{3},1)$, $\mathrm{y}=(0,\tfrac{2}{3},1)$. 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 $\phi^{uv}$ and $\psi^{uv}$ are Moebius transforms of $e^{rx}$ and $e^{ry}$, and

(76) $$g^{uv}(x,y)=-\frac{(a_{uv}d_{uv}-b_{uv}c_{uv})re^{rx+ry}}{(a_{uv}+b_{uv}e^{ry}+c_{uv}e^{rx}+d_{uv}e^{rx+ry})^{2}}.$$

Each pair $uv$ has $3$ variables ($a,b,c,d$ up to scale), for a total of $15$ 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 $g(x,y)$. After putting all those conditions into mathematical software, we found a unique solution:

(77) $$g(x,y)=\begin{cases}\frac{re^{r(x+y)}\bigl{(}1+e^{-\frac{r}{2}}\bigr{)}\bigl{(}1-e^{-\frac{2r}{3}}\bigr{)}}{\left(1-e^{ry}-e^{rx}+\bigl{[}-e^{-\frac{r}{2}}+e^{-\frac{2r}{3}}+e^{-\frac{7r}{6}}\bigr{]}e^{r(x+y)}\right)^{2}},&0<x<\frac{1}{3}\text{ and }0<y<\frac{2}{3},\\ \frac{re^{r(x+y)}\bigl{(}1-e^{-\frac{r}{3}}\bigr{)}\bigl{(}e^{-\frac{r}{6}}+e^{-\frac{2r}{3}}\bigr{)}}{\left(1+\bigl{[}-e^{-\frac{r}{6}}+e^{-\frac{r}{2}}-e^{-\frac{2r}{3}}\bigr{]}e^{ry}-e^{rx}+e^{-r}e^{r(x+y)}\right)^{2}},&0<x<\frac{1}{3}\text{ and }\frac{2}{3}<y<1,\\ \frac{re^{r(x+y)}\bigl{(}1-e^{-\frac{r}{6}}+e^{-\frac{r}{3}}\bigr{)}\bigl{(}1-e^{-\frac{2r}{3}}\bigr{)}}{\left(1-e^{ry}+\bigl{[}e^{-\frac{r}{6}}-1-e^{-\frac{r}{3}}\bigr{]}e^{rx}+\bigl{[}e^{-\frac{2r}{3}}-e^{-\frac{5r}{6}}+e^{-r}\bigr{]}e^{r(x+y)}\right)^{2}},&\frac{1}{3}<x<\frac{2}{3}\text{ and }0<y<\frac{2}{3},\\ 0,&\frac{1}{3}<x<\frac{2}{3}\text{ and }\frac{2}{3}<y<1,\\ \frac{re^{r(x+y)}\bigl{(}1-e^{-\frac{2r}{3}}\bigr{)}\bigl{(}e^{-\frac{r}{6}}+e^{-\frac{2r}{3}}\bigr{)}}{\left(e^{-\frac{r}{6}}-e^{-\frac{r}{6}}e^{ry}+\bigl{[}-e^{-\frac{r}{2}}+e^{-\frac{2r}{3}}-1\bigr{]}e^{rx}+e^{-\frac{7r}{6}}e^{r(x+y)}\right)^{2}},&\frac{2}{3}<x<1\text{ and }0<y<\frac{2}{3},\\ \frac{re^{r(x+y)}e^{-\frac{4r}{3}}\bigl{(}1-e^{-\frac{r}{3}}\bigr{)}\bigl{(}1+e^{-\frac{r}{2}}\bigr{)}}{\left(\bigl{[}1-e^{-\frac{r}{6}}+e^{-\frac{r}{2}}\bigr{]}-e^{-\frac{2r}{3}}e^{ry}-e^{-\frac{2r}{3}}e^{rx}+e^{-\frac{5r}{3}}e^{r(x+y)}\right)^{2}},&\frac{2}{3}<x<1\text{ and }\frac{2}{3}<y<1.\end{cases}$$

A plot for two different values of $r$ is in Figure 8.

Figure 8. Solution of EL equations for $I=\begin{pmatrix}1&0&1\\ 1&1&1\end{pmatrix}$, $\mathrm{x}=(0,\tfrac{1}{3},\tfrac{2}{3},1)$, $\mathrm{y}=(0,\tfrac{2}{3},1)$ via (77). Left panel: $r=-1$. Right panel: $r=7$.

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 $\Omega$, whose complexity grows with $N$ by allowing $k$ and $\ell$ to grow, and in the limit $\Omega^{X,Y,I}$ can approximate essentially arbitrary subsets of $[0,1]^{2}$. 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 $k$ and $\ell$. However, in some situations at least in the $r=0$ case we can still find an explicit formula for the maximizer of the permuton energy. Let us provide an example.

Consider the domain $U$ obtained from $[0,1]^{2}$ by removing the region below the line $ax+by=1$ for $a,b>1$, see Figure 9. Set $r=0$ and assume that $\Omega^{X,Y,I}$ approximates $U$ as $N\to\infty$. Then a generalization of Corollary 3.9, yields that the permuton $g(x,y)$ corresponding to the limit shape should be a maximizer of

(78) $$-\int_{0}^{1}\int_{0}^{1}g(x,y)\ln g(x,y)\,\mathrm{d}x\,\mathrm{d}y,$$

subject to the conditions

• $g(x,y)=0$ for $ax+by<1$,

• $\int_{0}^{1}g(x,y)\mathrm{d}x=1$, $0\leq y\leq 1$, and $\int_{0}^{1}g(x,y)\mathrm{d}y=1$, $0\leq x\leq 1$.

In the $r=0$ case the Euler-Lagrange equations (12) mean a factorization

$$g(x,y)=\lambda(x)\mu(y)\mathbf{1}_{ax+by\geq 1}.$$

Let us find $\lambda$ and $\mu$ for which $g$ has uniform marginals. We can assume that the function $\lambda(x)$ has some constant value $c_{1}$ for $x>1/a$, and the function $\mu(y)$ has some constant value $c_{2}$ for $y>1/b$. 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 $\{N/a,\dots,N\}$ and $\{N/b,\dots,N\}$, respectively. Hence, the limit shape should also have this invariance. The uniform marginals conditions become:

(79) $$\lambda(x)c_{2}\,\left(1-\frac{1}{b}\right)+\lambda(x)\int_{(1-ax)/b}^{1/b}\mu(y)\,dy =1, \text{for $0<x<\frac{1}{a}$},$$

(80) $$\mu(y)c_{1}\,\left(1-\frac{1}{a}\right)+\mu(y)\int_{(1-by)/a}^{1/a}\lambda(x)\,dx =1, \text{for $0<y<\frac{1}{b}$},$$

(81) $$c_{1}\int_{0}^{1/b}\mu(y)\,dy+c_{1}c_{2}\,\left(1-\frac{1}{b}\right) =1, \text{for $\frac{1}{a}<x<1$},$$

(82) $$c_{2}\int_{0}^{1/a}\lambda(x)\,dx+c_{1}c_{2}\,\left(1-\frac{1}{a}\right) =1, \text{for $\frac{1}{b}<y<1$}.$$

We can solve this system as follows. Divide (79) by $\lambda(x)$ and differentiate to get

(83) $$\frac{\lambda^{\prime}(x)}{\lambda(x)^{2}}=-\frac{a}{b}\,\mu\left(\frac{1-ax}{b}\right).$$

Likewise from (80) we get

(84) $$\frac{\mu^{\prime}(y)}{\mu(y)^{2}}=-\frac{b}{a}\,\lambda\left(\frac{1-by}{a}\right).$$

Differentiating (83) and plugging into (84) yields a differential equation for $\lambda$:

$$\left(\frac{\lambda^{\prime}(x)}{\lambda(x)^{2}}\right)^{\prime}=-\frac{b}{a}\,\frac{\lambda^{\prime}(x)^{2}}{\lambda(x)^{3}}.$$

Under the substitution $\lambda(x)=e^{F(x)}$ this becomes

$$F^{\prime\prime}(x)=\left(1-\frac{b}{a}\right)F^{\prime}(x)^{2},$$

giving

$$F(x)=c_{4}-\frac{a}{a-b}\log((a-b)x+c_{3})$$

for some constants $c_{3},c_{4}$. A similar expression can be obtained for $\mu(y)$ with $a,b$ reversed. Plugging back into (81) and (82) to compute the constants yields the final answer:

$$g(x,y)=\begin{cases}b(b-1)^{\frac{b}{a-b}}((a-b)x+b-1)^{\frac{a}{b-a}},&x<\frac{1}{a}\text{ and }y>\frac{1}{b},\\ a(a-1)^{\frac{a}{b-a}}((b-a)y+a-1)^{\frac{b}{a-b}},&x>\frac{1}{a}\text{ and }y<\frac{1}{b},\\ b^{\frac{a}{a-b}}a^{\frac{b}{b-a}}((a-b)x+b-1)^{\frac{a}{b-a}}((b-a)y+a-1)^{\frac{b}{a-b}},&ax+by>1\text{ and }x<\frac{1}{a}\text{ and }y<\frac{1}{b},\\ (\frac{b}{b-1})^{\frac{b}{b-a}}(\frac{a}{a-1})^{\frac{a}{a-b}},&x>\frac{1}{a}\text{ and }y>\frac{1}{b},\\ 0,&ax+by<1.\end{cases}$$

Figure 9 gives an example. The reader might enjoy taking the limit $b\to a$ of the expression for $g(x,y)$.

Figure 9. Maximizing permuton $g(x,y)$ for $r=0$ and the region $\frac{3}{2}x+2y>1.$