We consider the four-vertex model with a special choice of fixed boundary conditions giving rise to limit shape phenomena. More generally, the considered boundary conditions relate vertex models to scalar products of off-shell Bethe states, boxed plane partitions, and fishnet diagrams in quantum field theory. In the scaling limit, the model exhibits the emergence of an arctic curve separating a central disordered region from six frozen `corners' of ferroelectric or anti-ferroelectric type. We determine the analytic expression of the interface by means of the Tangent Method. We supplement this heuristic method with an alternative, rigorous derivation of the arctic curve. This is based on the exact evaluation of suitable correlation functions, devised to detect spatial transition from order to disorder, in terms of the partition function of some discrete log-gas associated to the orthogonalizing measure of the Hahn polynomials. As a by-product, we also deduce that the arctic curve's fluctuations are governed by the Tracy-Widom distribution.
We apply the Tangent Method of Colomo and Sportiello to predict the arctic curves of the Six Vertex model with reflecting (U-turn) boundary and of the related Twenty Vertex model with suitable domain wall boundary conditions on a quadrangle, both in their Disordered phase.
We revisit the problem of determining the Arctic curve in the six-vertex model with domain wall boundary conditions. We describe an alternative method, by which we recover the previously conjectured analytic expression in the square domain. We adapt the method to work for a large class of domains, and for other models exhibiting limit shape phenomena. We study in detail some examples, and derive, in particular, the Arctic curve of the six-vertex model in a triangoloid domain at the ice-point.
We consider the six-vertex model in an L-shaped domain of the square lattice, with domain wall boundary conditions, in the case of free-fermion vertex weights. We describe how the recently developed `Tangent method' can be used to determine the form of the arctic curve. The obtained result is in agreement with numerics.
We consider the six-vertex model with reflecting end boundary condition. We study the asymptotic behavior of the boundary correlations. This asymptotic behavior is used as an input into the Tangent Method in order to derive analytically the arctic curve at the free fermion point. The obtained curve is a semicircle, which is in agreement with previous Monte Carlo simulations.
We use the tangent method to compute the arctic curve of the Twenty-Vertex (20V) model with particular domain wall boundary conditions for a wide set of integrable weights. To this end, we extend to the finite geometry of domain wall boundary conditions the standard connection between the bulk 20V and 6V models via the Kagome lattice ice model. This allows to express refined partition functions of the 20V model in terms of their 6V counterparts, leading to explicit parametric expressions for the various portions of its arctic curve. The latter displays a large variety of shapes depending on th…
In the paper arXiv:1803.11463, the authors study the arctic curve arising in random tilings of some planar domains with an arbitrary distribution of defects on one edge. Using the tangent method they derive a parametric equation for portions of arctic curve in terms of an arbitrary piecewise differentiable function that describes the defect distribution. When this distribution presents "freezing" intervals, other portions of arctic curve appear and typically have a cusp. These freezing boundaries can be of two types, respectively with maximal or minimal density of defects. Our purpose here is …
We use the tangent method to investigate the arctic curve in a model of non-intersecting lattice paths with arbitrary fixed starting points aligned along some boundary and whose distribution is characterized by some arbitrary piecewise differentiable function. We find that the arctic curve has a simple explicit parametric representation depending of this function, providing us with a simple transform that maps the arbitrary boundary condition to the arctic curve location. We discuss generic starting point distributions as well as particular freezing ones which create additional frozen domains …
Recently, Colomo and Sportiello introduced a powerful method, known as the \emph{Tangent Method}, for computing the arctic curve in statistical models which have a (non- or weakly-) intersecting lattice path formulation. We apply the Tangent Method to compute arctic curves in various models: the domino tiling of the Aztec diamond for which we recover the celebrated arctic circle; a model of Dyck paths equivalent to the rhombus tiling of a half-hexagon for which we find an arctic half-ellipse; another rhombus tiling model with an arctic parabola; the vertically symmetric alternating sign matric…
We use a tangent method approach to obtain the arctic curve in a model of non-intersecting lattice paths within the first quadrant, including a q-dependent weight associated with the area delimited by the paths. Our model is characterized by an arbitrary sequence of starting points along the positive horizontal axis, whose distribution involves an arbitrary piecewise differentiable function. We give an explicit expression for the arctic curve in terms of this arbitrary function and of the parameter q. A particular emphasis is put on the deformation of the arctic curve upon varying q, and on it…
Previous numerical studies have shown that in the disordered and anti-ferroelectric phases the six-vertex ($6$V) model with partial domain wall boundary conditions (DWBC) exhibits an arctic curve whose exact shape is unknown. The model is defined on a $s\times n$ square lattice ($s\leq n$). In this paper, we derive the analytic expression of the arctic curve, for $a=b=1$ and $c=\sqrt{2}$ ($Δ=0$), while keeping the ratio $s/n \,\in [0,1]$ as a free parameter. The computation relies on the tangent method. We also consider domino tilings of double Aztec rectangles and show via the tangent method …
The Tangent Method of Colomo and Sportiello is applied to the study of the asymptotics of domino tilings of large Aztec rectangles, with some fixed distribution of defects along a boundary. The associated Non-Intersecting Lattice Path configurations are made of Schröder paths whose weights involve two parameters $γ$ and $q$ keeping track respectively of one particular type of step and of the area below the paths. We derive the arctic curve for an arbitrary distribution of defects, and illustrate our result with a number of examples involving different classes of boundary defects.
Recently the first author and Jang Soo Kim introduced lecture hall tableaux in their study of multivariate little q-Jacobi polynomials. They then enumerated bounded lecture hall tableaux and showed that their enumeration is closely related to standard and semistandard Young tableaux. In this paper we study the asymptotic behavior of these bounded tableaux thanks to two other combinatorial models: non intersecting paths on a graph whose faces are squares and pentagons and dimer models on a lattice whose faces are hexagons and octogons. We use the tangent method to investigate the arctic curve i…
The six-vertex model with domain-wall boundary conditions is one representative of a class of two-dimensional lattice statistical mechanics models that exhibit a phase separation known as the arctic curve phenomenon. In the thermodynamic limit, the degrees of freedom are completely frozen in a region near the boundary, while they are critically fluctuating in a central region. The arctic curve is the phase boundary that separates those two regions. Critical fluctuations inside the arctic curve have been studied extensively, both in physics and in mathematics, in free models (i.e., models that …
In this paper we consider the six-vertex model at ice point on an arbitrary three-bundle domain, which is a generalization of the domain-wall ice model on the square (or, equivalently, of a uniformly random alternating sign matrix). We show that this model exhibits the arctic boundary phenomenon, whose boundary is given by a union of explicit algebraic curves. This was originally predicted by Colomo-Sportiello in 2016 as one of the initial applications of a general heuristic that they introduced for locating arctic boundaries, called the (geometric) tangent method. Our proof uses a probabilist…
We use the octahedron recurrence, which generalizes the quadratic recurrence found by Kuo for standard Aztec diamonds, in order to compute boundary one-refined and two-refined partition functions for two-periodic Aztec diamonds. In a first approach, the geometric tangent method allows to derive the parametric form of the arctic curve, separating the solid and liquid phases. This is done by using the recently reformulation of the tangent method and the one-refined partition functions without extension of the domain. In a second part, we use the two-refined tangent method to rederive the arctic …
We study numerically the density profile in the six-vertex model with domain wall boundary conditions. Using a Monte Carlo algorithm originally proposed by Allison and Reshetikhin we numerically evaluate the inhomogeneous density profiles in the disordered and antiferromagnetic regimes where frozen corners appear. At the free fermion point we present an exact finite-size formula for the density on the horizontal edges that relies on the imaginary time transfer matrix approach. In all cases where exact analytic forms for the density and the arctic curves are known the numerical method shows per…
We derive the transfer matrix eigenvalues of a three-state vertex model whose weights are based on a $\mathrm{R}$-matrix not of difference form with spectral parameters lying on a genus five curve. We have shown that the basic building blocks for both the transfer matrix eigenvalues and Bethe equations can be expressed in terms of meromorphic functions on an elliptic curve. We discuss the properties of an underlying spin one chain originated from a particular choice of the $\mathrm{R}$-matrix second spectral parameter. We present numerical and analytical evidences that the respective low-energ…
In this Thesis, we study the behavior of spectral curves of quantum graphs under certain families of vertex conditions, called the $δ_s$ family, which we define in this work. We focus on studying two main quantities related to the spectral curves, known as the Robin-Neumann gap and the spectral flow. We show that these quantities hold information about the the spectral curves, the behavior of the corresponding eigenfunctions, and the geometry of the graph itself. For a specific subset of the $δ_s$ family which is known as the $δ$ family, we study the Robin-Neumann gap, which measures the total…
We study a translational invariant free fermions model in imaginary time, with nearest neighbor and next-nearest neighbor hopping terms, for a class of inhomogeneous boundary conditions. This model is known to give rise to limit shapes and arctic curves, in the absence of the next-nearest neighbor perturbation. The perturbation considered turns out to not be always positive, that is, the corresponding statistical mechanical model does not always have positive Boltzmann weights. We investigate how the density profile is affected by this nonpositive perturbation. We find that in some regions, th…
In this note we prove an integral formula for the bare one-leg PT vertex with descendents. The formula follows from the PT version of Ellingsrud-Göttsche-Lehn formula that is explained here. We apply the integral formula to obtain an elementary proof of rationality of one-leg capped PT vertex with descendents. We also obtain an integral formula for degree zero DT invariants with descendents. Finally we propose an explicit non-equivariant DT/PT correspondence as well as one descendent insertion fully-equivariant DT/PT formula.
We investigate the spectrum of Schrödinger operators on finite regular metric trees through a relation to orthogonal polynomials that provides a graphical perspective. As the Robin vertex parameter tends to $-\infty$, a narrow cluster of finitely many eigenvalues tends to $-\infty$, while the eigenvalues above the cluster remain bounded from below. Certain "rogue" eigenvalues break away from this cluster and tend even faster toward $-\infty$. The spectrum can be visualized as the intersection points of two objects in the plane--a spiral curve depending on the Schrödinger potential, and a set o…
K-theoretic Donaldson-Thomas counts of curves in toric and many related threefolds can be computed in terms of a certain canonical 3-valent tensor, the K-theoretic equivariant vertex. In this paper we derive a formula for the vertex in the case when two out of three entries are nontrivial. We also discuss some applications of this result.
We develop an efficient method to compute the torus partition function of the six-vertex model exactly for finite lattice size. The method is based on the algebro-geometric approach to the resolution of Bethe ansatz equations initiated in a previous work, and on further ingredients introduced in the present paper. The latter include rational $Q$-system, primary decomposition, algebraic extension and Galois theory. Using this approach, we probe new structures in the solution space of the Bethe ansatz equations which enable us to boost the efficiency of the computation. As an application, we stu…
We present recent developments of irregular conformal conformal states. Irregular vertex operators and their adjoint in a new formalism are used to define the irregular conformal states and their inner product instead of using the colliding limit procedure. Free field formalism can be augmented by screening operators which provide more degrees of freedom. The inner product is conveniently given as the partition function of an irregular matrix model. (Deformed) spectral curve is the loop equation of the matrix model at Nekrasov-Shatashivili limit. We present the details of analytic structure of…
