Showing 1–29 of 29 results for author: Pronko, A G

Periodic Motzkin chain: Ground states and symmetries

Authors: Andrei G. Pronko

Abstract: Motzkin chain is a model of nearest-neighbor interacting quantum $s=1$ spins with open boundary conditions. It is known that it has a unique ground state which can be viewed as a sum of Motzkin paths. We consider the case of periodic boundary conditions and provide several conjectures about structure of the ground state space and symmetries of the Hamiltonian. We conjecture that the ground state i… ▽ More Motzkin chain is a model of nearest-neighbor interacting quantum $s=1$ spins with open boundary conditions. It is known that it has a unique ground state which can be viewed as a sum of Motzkin paths. We consider the case of periodic boundary conditions and provide several conjectures about structure of the ground state space and symmetries of the Hamiltonian. We conjecture that the ground state is degenerate and independent states distinguished by eigenvalues of the third component of total spin operator. Each of these states can be described as a sum of paths, similar to the Motzkin paths. Moreover, there exist two operators commuting with the Hamiltonian, which play the roles of lowering and raising operators when acting at these states. We conjecture also that these operators generate the Lie algebra of $C$-type of the rank equal to the number of sites. The symmetry algebra of the Hamiltonian is actually wider, and extended, besides the cyclic shift operator, by a central element contained in the third component of total spin operator. △ Less

Submitted 9 April, 2025; v1 submitted 1 April, 2025; originally announced April 2025.

Comments: 16 pages, 4 figures; v2: misprints corrected, references added

Scaling limit of domino tilings on a pentagonal domain

Authors: Filippo Colomo, Andrei G. Pronko

Abstract: We consider the six-vertex model at its free-fermion point with domain wall boundary conditions, which is equivalent to random domino tilings of the Aztec diamond. We compute the scaling limit of a particular non-local correlation function, essentially equivalent to the partition function for the domino tilings of a pentagon-shaped domain, obtained by cutting away a triangular region from a corner… ▽ More We consider the six-vertex model at its free-fermion point with domain wall boundary conditions, which is equivalent to random domino tilings of the Aztec diamond. We compute the scaling limit of a particular non-local correlation function, essentially equivalent to the partition function for the domino tilings of a pentagon-shaped domain, obtained by cutting away a triangular region from a corner of the initial Aztec diamond. We observe a third-order phase transition when the geometric parameters of the obtained pentagonal domain are tuned to have the fifth side exactly tangent to the arctic ellipse of the corresponding initial model. △ Less

Submitted 2 December, 2024; v1 submitted 10 July, 2024; originally announced July 2024.

Comments: 16 pages, 6 figures; v3: fig. 6 added

Journal ref: Phys. Rev. E 110 (2024), 054140 (9 pp.)

Evaluation of integrals for the emptiness formation probability in the square-ice model

Authors: Filippo Colomo, Andrei G. Pronko

Abstract: We study the emptiness formation probability (EFP) in the six-vertex model with domain wall boundary conditions. We present a conjecture according to which at the ice point, i.e., when all the Boltzmann weights are equal, the known multiple integral representation (MIR) for the EFP can be given as a finite-size matrix determinant of Fredholm type. Our conjecture is based on the explicit evaluation… ▽ More We study the emptiness formation probability (EFP) in the six-vertex model with domain wall boundary conditions. We present a conjecture according to which at the ice point, i.e., when all the Boltzmann weights are equal, the known multiple integral representation (MIR) for the EFP can be given as a finite-size matrix determinant of Fredholm type. Our conjecture is based on the explicit evaluation of the MIR for particular values of geometric parameters and on two kinds of identities for the boundary correlation function. The obtained representation can be further written as the Fredholm determinant of some linear integral operator. We show that as the geometric parameters of the EFP are tuned to the vicinity of the arctic curve arising in the scaling limit, the conjectured determinant turns into the GUE Tracy--Widom distribution. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Comments: 27 pages, 5 figures

Journal ref: Nucl. Phys. B 1004 (2024), 116565 (21 pp)

Thermodynamics of the five-vertex model with scalar-product boundary conditions

Authors: Ivan N. Burenev, Andrei G. Pronko

Abstract: We consider the homogeneous five-vertex model on a rectangle domain of the square lattice with so-called scalar-product boundary conditions. Peculiarity of these boundary conditions is that the configurations of the model are in an one-to-one correspondence with the 3D Young diagrams limited by a box of a given size. We address the thermodynamics of the model using a connection of the partition fu… ▽ More We consider the homogeneous five-vertex model on a rectangle domain of the square lattice with so-called scalar-product boundary conditions. Peculiarity of these boundary conditions is that the configurations of the model are in an one-to-one correspondence with the 3D Young diagrams limited by a box of a given size. We address the thermodynamics of the model using a connection of the partition function with the $τ$-function of the sixth Painlevé equation. We compute an expansion of the logarithm of the partition function to the order of a constant in the size of the system. We find that the geometry of the domain is crucial for phase transition phenomena. Two cases need to be considered separately: one is where the region has an asymptotically square shape and the second one is where it is of an arbitrary rectangle, but not square, shape. In the first case there are three regimes, which can be attributed to dominance in the configurations of a ferroelectric order, disorder, and anti-ferroelectric order. In the second case the third regime is absent. △ Less

Submitted 8 May, 2024; v1 submitted 29 December, 2023; originally announced December 2023.

Comments: 52 pages, 7 figures; v2: Sections 1, 4, and 5 extended, references added

Journal ref: Commun. Math. Phys. 405 (2024), 148 (56 pp)

Arctic curves of the four-vertex model

Authors: I. N. Burenev, F. Colomo, A. Maroncelli, A. G. Pronko

Abstract: 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 ce… ▽ More 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. △ Less

Submitted 14 October, 2023; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: 36 pages, 21 figures; v2: minor changes in the abstract and Sect. 2, one reference added, misprints corrected

Journal ref: J. Phys. A: Math. Theor. 56 (2023), 465202

Construction of determinants for the six-vertex model with domain wall boundary conditions

Authors: Mikhail D. Minin, Andrei G. Pronko, Vitaly O. Tarasov

Abstract: We consider the problem of construction of determinant formulas for the partition function of the six-vertex model with domain wall boundary conditions. In pioneering works of Korepin and Izergin a determinant formula was proposed and proved using a recursion relation. In later works, another determinant formulas were given by Kostov for the rational case and by Foda and Wheeler for the trigonomet… ▽ More We consider the problem of construction of determinant formulas for the partition function of the six-vertex model with domain wall boundary conditions. In pioneering works of Korepin and Izergin a determinant formula was proposed and proved using a recursion relation. In later works, another determinant formulas were given by Kostov for the rational case and by Foda and Wheeler for the trigonometric case. Here, we develop an approach in which the recursion relation is replaced by a system of algebraic equations with respect to one set of spectral parameters. We prove that this system has a unique solution. The result can be easily given as a determinant parametrized by an arbitrary basis of polynomials. In particular, the choice of the basis of Lagrange polynomials with respect to the second set of spectral parameters leads to the Izergin-Korepin representation, and the choice of the monomial basis leads to the Kostov and Foda-Wheeler representations. △ Less

Submitted 14 April, 2023; v1 submitted 4 April, 2023; originally announced April 2023.

Comments: 18 pages, 2 figures; v2: minor corrections

Journal ref: J. Phys. A: Math. Theor. 56 (2023), 295204 (18pp)

Boundary one-point function of the rational six-vertex model with partial domain wall boundary conditions: explicit formulas and scaling properties

Authors: Mikhail D. Minin, Andrei G. Pronko

Abstract: We consider the six-vertex model with the rational weights on an $s\times N$ square lattice, $s\leq N$, with partial domain wall boundary conditions. We study the one-point function at the boundary where the free boundary conditions are imposed. For a finite lattice, it can be computed by the quantum inverse scattering method in terms of determinants. In the large $N$ limit, the result boils down… ▽ More We consider the six-vertex model with the rational weights on an $s\times N$ square lattice, $s\leq N$, with partial domain wall boundary conditions. We study the one-point function at the boundary where the free boundary conditions are imposed. For a finite lattice, it can be computed by the quantum inverse scattering method in terms of determinants. In the large $N$ limit, the result boils down to an explicit terminating series in the parameter of the weights. Using the saddle-point method for an equivalent integral representation, we show that as $s$ next tends to infinity, the one-point function demonstrates a step-wise behavior; at the vicinity of the step it scales as the error function. We also show that the asymptotic expansion of the one-point function can be computed from a second-order ordinary differential equation. △ Less

Submitted 12 January, 2022; v1 submitted 13 August, 2021; originally announced August 2021.

Comments: 29 pages, 5 figures

Journal ref: SIGMA 17 (2021), 111 (29 pp.)

Six-vertex model on a finite lattice: integral representations for nonlocal correlation functions

Authors: Filippo Colomo, Giuseppe Di Giulio, Andrei G. Pronko

Abstract: We consider the problem of calculation of correlation functions in the six-vertex model with domain wall boundary conditions. To this aim, we formulate the model as a scalar product of off-shell Bethe states, and, by applying the quantum inverse scattering method, we derive three different integral representations for these states. By suitably combining such representations, and using certain anti… ▽ More We consider the problem of calculation of correlation functions in the six-vertex model with domain wall boundary conditions. To this aim, we formulate the model as a scalar product of off-shell Bethe states, and, by applying the quantum inverse scattering method, we derive three different integral representations for these states. By suitably combining such representations, and using certain antisymmetrization relation in two sets of variables, it is possible to derive integral representations for various correlation functions. In particular, focusing on the emptiness formation probability, besides reproducing the known result, obtained by other means elsewhere, we provide a new one. By construction, the two representations differ in the number of integrations and their equivalence is related to a hierarchy of highly nontrivial identities. △ Less

Submitted 28 July, 2021; originally announced July 2021.

Comments: 42 pages, 4 figures

Journal ref: Nucl. Phys. B 972 (2021), 115535 (42 pp)

Determinant formulas for the five-vertex model

Authors: Ivan N. Burenev, Andrei G. Pronko

Abstract: We consider the five-vertex model on a finite square lattice with fixed boundary conditions such that the configurations of the model are in a one-to-one correspondence with the boxed plane partitions (3D Young diagrams which fit into a box of given size). The partition function of an inhomogeneous model is given in terms of a determinant. For the homogeneous model, it can be given in terms of a H… ▽ More We consider the five-vertex model on a finite square lattice with fixed boundary conditions such that the configurations of the model are in a one-to-one correspondence with the boxed plane partitions (3D Young diagrams which fit into a box of given size). The partition function of an inhomogeneous model is given in terms of a determinant. For the homogeneous model, it can be given in terms of a Hankel determinant. We also show that in the homogeneous case the partition function is a $τ$-function of the sixth Painlevé equation with respect to the rapidity variable of the weights. △ Less

Submitted 24 December, 2020; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: 32 pages, 5 figures; v2: misprints corrected

Journal ref: J. Phys. A: Math. Theor. 54 (2021), 055008

Integral formulas and antisymmetrization relations for the six-vertex model

Authors: Luigi Cantini, Filippo Colomo, Andrei G. Pronko

Abstract: We study the relationship between various integral formulas for nonlocal correlation functions of the six-vertex model with domain wall boundary conditions. Specifically, we show how the known representation for the emptiness formation probability can be derived from that for the so-called row configuration probability. A crucial ingredient in the proof is a relation expressing the result of antis… ▽ More We study the relationship between various integral formulas for nonlocal correlation functions of the six-vertex model with domain wall boundary conditions. Specifically, we show how the known representation for the emptiness formation probability can be derived from that for the so-called row configuration probability. A crucial ingredient in the proof is a relation expressing the result of antisymmetrization of some given function with respect to permutations in two sets of its variables in terms of the Izergin-Korepin partition function. This relation generalizes another one obtained by Tracy and Widom in the context of the asymmetric simple exclusion process. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 17 pages, no figures

Journal ref: Ann. Henry Poincare 21 (2020), 865-884

Arctic curve of the free-fermion six-vertex model in an L-shaped domain

Authors: Filippo Colomo, Andrei G. Pronko, Andrea Sportiello

Abstract: 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 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. △ Less

Submitted 26 September, 2018; v1 submitted 19 July, 2018; originally announced July 2018.

Comments: 28 pages, 10 figures; v3: minor corrections, Ref. [12] added

Journal ref: J. Stat. Phys. 174 (2019), 1-27

Generalized emptiness formation probability in the six-vertex model

Authors: Filippo Colomo, Andrei G. Pronko, Andrea Sportiello

Abstract: In the six-vertex model with domain wall boundary conditions, the emptiness formation probability is the probability that a rectangular region in the top left corner of the lattice is frozen. We generalize this notion to the case where the frozen region has the shape of a generic Young diagram. We derive here a multiple integral representation for this correlation function. In the six-vertex model with domain wall boundary conditions, the emptiness formation probability is the probability that a rectangular region in the top left corner of the lattice is frozen. We generalize this notion to the case where the frozen region has the shape of a generic Young diagram. We derive here a multiple integral representation for this correlation function. △ Less

Submitted 7 October, 2016; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 11 pages, 2 figures, v2: a few comments and two references added

Journal ref: J. Phys. A: Math. Theor. 49 (2016), 415203

Emptiness formation probability of the six-vertex model and the sixth Painlevé equation

Authors: A. V. Kitaev, A. G. Pronko

Abstract: We show that the emptiness formation probability of the six-vertex model with domain wall boundary conditions at its free-fermion point is a $τ$-function of the sixth Painlevé equation. Using this fact we derive asymptotics of the emptiness formation probability in the thermodynamic limit. We show that the emptiness formation probability of the six-vertex model with domain wall boundary conditions at its free-fermion point is a $τ$-function of the sixth Painlevé equation. Using this fact we derive asymptotics of the emptiness formation probability in the thermodynamic limit. △ Less

Submitted 21 March, 2016; v1 submitted 30 April, 2015; originally announced May 2015.

Comments: 48 pages, 3 figures; v2: appendix A and comments at the end of Sect. 4.2 added

Journal ref: Comm. Math. Phys. 345 (2016), 305-354

Thermodynamics of the six-vertex model in an L-shaped domain

Authors: Filippo Colomo, Andrei G. Pronko

Abstract: We consider the six-vertex model in an L-shaped domain of the square lattice, with domain wall boundary conditions. For free-fermion vertex weights the partition function can be expressed in terms of some Hankel determinant, or equivalently as a Coulomb gas with discrete measure and a non-polynomial potential with two hard walls. We use Coulomb gas methods to study the partition function in the th… ▽ More We consider the six-vertex model in an L-shaped domain of the square lattice, with domain wall boundary conditions. For free-fermion vertex weights the partition function can be expressed in terms of some Hankel determinant, or equivalently as a Coulomb gas with discrete measure and a non-polynomial potential with two hard walls. We use Coulomb gas methods to study the partition function in the thermodynamic limit. We obtain the free energy of the six-vertex model as a function of the parameters describing the geometry of the scaled L-shaped domain. Under variations of these parameters the system undergoes a third-order phase transition. The result can also be considered in the context of dimer models, for the perfect matchings of the Aztec diamond graph with a cut-off corner. △ Less

Submitted 13 January, 2015; originally announced January 2015.

Comments: 28 pages, 5 figures

Journal ref: Comm. Math. Phys. 339 (2015), 699-728

Impurity Green's function of a one-dimensional Fermi-gas

Authors: O. Gamayun, A. G. Pronko, M. B. Zvonarev

Abstract: We consider a one-dimensional gas of spin-1/2 fermions interacting through $δ$-function repulsive potential of an arbitrary strength. For the case of all fermions but one having spin up, we calculate time-dependent two-point correlation function of the spin-down fermion. This impurity Green's function is represented in the thermodynamic limit as an integral of Fredholm determinants of integrable l… ▽ More We consider a one-dimensional gas of spin-1/2 fermions interacting through $δ$-function repulsive potential of an arbitrary strength. For the case of all fermions but one having spin up, we calculate time-dependent two-point correlation function of the spin-down fermion. This impurity Green's function is represented in the thermodynamic limit as an integral of Fredholm determinants of integrable linear integral operators. △ Less

Submitted 7 January, 2015; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: 21 pages, no figures; v2: references and comments added

Journal ref: Nucl. Phys. B 892 (2015), 83-104

Third-order phase transition in random tilings

Authors: F. Colomo, A. G. Pronko

Abstract: We consider the domino tilings of an Aztec diamond with a cut-off corner of macroscopic square shape and given size, and address the bulk properties of tilings as the size is varied. We observe that the free energy exhibits a third-order phase transition when the cut-off square, increasing in size, reaches the arctic ellipse---the phase separation curve of the original (unmodified) Aztec diamond.… ▽ More We consider the domino tilings of an Aztec diamond with a cut-off corner of macroscopic square shape and given size, and address the bulk properties of tilings as the size is varied. We observe that the free energy exhibits a third-order phase transition when the cut-off square, increasing in size, reaches the arctic ellipse---the phase separation curve of the original (unmodified) Aztec diamond. We obtain this result by studying the thermodynamic limit of certain nonlocal correlation function of the underlying six-vertex model with domain wall boundary conditions, the so-called emptiness formation probability (EFP). We consider EFP in two different representations: as a tau-function for Toda chains and as a random matrix model integral. The latter has a discrete measure and a linear potential with hard walls; the observed phase transition shares properties with both Gross-Witten-Wadia and Douglas-Kazakov phase transitions. △ Less

Submitted 30 May, 2014; v1 submitted 26 June, 2013; originally announced June 2013.

Comments: 21 pages, 6 figures; v3: journal version with misprints in text and Fig. 3 corrected; footnote added at page 3

Journal ref: Phys. Rev. E 88 (2013), 042125 (11 pp.)

On the problem of calculation of correlation functions in the six-vertex model with domain wall boundary conditions

Authors: F. Colomo, A. G. Pronko

Abstract: The problem of calculation of correlation functions in the six-vertex model with domain wall boundary conditions is addressed by considering a particular nonlocal correlation function, called row configuration probability. This correlation function can be used as building block for computing various (both local and nonlocal) correlation functions in the model. The row configuration probability is… ▽ More The problem of calculation of correlation functions in the six-vertex model with domain wall boundary conditions is addressed by considering a particular nonlocal correlation function, called row configuration probability. This correlation function can be used as building block for computing various (both local and nonlocal) correlation functions in the model. The row configuration probability is calculated using the quantum inverse scattering method; the final result is given in terms of a multiple integral. The connection with the emptiness formation probability, another nonlocal correlation function which was computed elsewhere using similar methods, is also discussed. △ Less

Submitted 18 November, 2011; originally announced November 2011.

Comments: 15 pages, 2 figures

Journal ref: Theor. Math. Phys. 171 (2012), 641-654

Algebraic arctic curves in the domain-wall six-vertex model

Authors: F. Colomo, V. Noferini, A. G. Pronko

Abstract: The arctic curve, i.e. the spatial curve separating ordered (or `frozen') and disordered (or `temperate) regions, of the six-vertex model with domain wall boundary conditions is discussed for the root-of-unity vertex weights. In these cases the curve is described by algebraic equations which can be worked out explicitly from the parametric solution for this curve. Some interesting examples are dis… ▽ More The arctic curve, i.e. the spatial curve separating ordered (or `frozen') and disordered (or `temperate) regions, of the six-vertex model with domain wall boundary conditions is discussed for the root-of-unity vertex weights. In these cases the curve is described by algebraic equations which can be worked out explicitly from the parametric solution for this curve. Some interesting examples are discussed in detail. The upper bound on the maximal degree of the equation in a generic root-of-unity case is obtained. △ Less

Submitted 14 December, 2010; v1 submitted 12 December, 2010; originally announced December 2010.

Comments: 15 pages, no figures; v2: metadata corrected

Report number: DFF 452/02/2010

Journal ref: J. Phys. A: Math. Theor. 44 (2011) 195201

The arctic curve of the domain-wall six-vertex model in its anti-ferroelectric regime

Authors: F. Colomo, A. G. Pronko, P. Zinn-Justin

Abstract: An explicit expression for the spatial curve separating the region of ferroelectric order (`frozen' zone) from the disordered one (`temperate' zone) in the six-vertex model with domain wall boundary conditions in its anti-ferroelectric regime is obtained. An explicit expression for the spatial curve separating the region of ferroelectric order (`frozen' zone) from the disordered one (`temperate' zone) in the six-vertex model with domain wall boundary conditions in its anti-ferroelectric regime is obtained. △ Less

Submitted 13 January, 2010; originally announced January 2010.

Comments: 12 pages, 1 figure

Journal ref: J. Stat. Mech.: Theor. Exp. (2010) L03002

The arctic curve of the domain-wall six-vertex model

Authors: F. Colomo, A. G. Pronko

Abstract: The problem of the form of the `arctic' curve of the six-vertex model with domain wall boundary conditions in its disordered regime is addressed. It is well-known that in the scaling limit the model exhibits phase-separation, with regions of order and disorder sharply separated by a smooth curve, called the arctic curve. To find this curve, we study a multiple integral representation for the emp… ▽ More The problem of the form of the `arctic' curve of the six-vertex model with domain wall boundary conditions in its disordered regime is addressed. It is well-known that in the scaling limit the model exhibits phase-separation, with regions of order and disorder sharply separated by a smooth curve, called the arctic curve. To find this curve, we study a multiple integral representation for the emptiness formation probability, a correlation function devised to detect spatial transition from order to disorder. We conjecture that the arctic curve, for arbitrary choice of the vertex weights, can be characterized by the condition of condensation of almost all roots of the corresponding saddle-point equations at the same, known, value. In explicit calculations we restrict to the disordered regime for which we have been able to compute the scaling limit of certain generating function entering the saddle-point equations. The arctic curve is obtained in parametric form and appears to be a non-algebraic curve in general; it turns into an algebraic one in the so-called root-of-unity cases. The arctic curve is also discussed in application to the limit shape of $q$-enumerated (with $0<q\leq 4$) large alternating sign matrices. In particular, as $q\to 0$ the limit shape tends to a nontrivial limiting curve, given by a relatively simple equation. △ Less

Submitted 2 September, 2009; v1 submitted 7 July, 2009; originally announced July 2009.

Comments: 39 pages, 2 figures; minor corrections

Journal ref: J. Stat. Phys. 138 (2010), 662-700

The limit shape of large alternating sign matrices

Authors: F. Colomo, A. G. Pronko

Abstract: The problem of the limit shape of large alternating sign matrices (ASMs) is addressed by studying the emptiness formation probability (EFP) in the domain-wall six-vertex model. Assuming that the limit shape arises in correspondence to the `condensation' of almost all solutions of the saddle-point equations for certain multiple integral representation for EFP, a conjectural expression for the limit… ▽ More The problem of the limit shape of large alternating sign matrices (ASMs) is addressed by studying the emptiness formation probability (EFP) in the domain-wall six-vertex model. Assuming that the limit shape arises in correspondence to the `condensation' of almost all solutions of the saddle-point equations for certain multiple integral representation for EFP, a conjectural expression for the limit shape of large ASMs is derived. The case of 3-enumerated ASMs is also considered. △ Less

Submitted 10 March, 2012; v1 submitted 18 March, 2008; originally announced March 2008.

Comments: 14 pages, 4 figures; v2: presentation expanded, one figure (Fig. 4) added, a variant of the accepted version of the paper, specially made for arXiv

Journal ref: SIAM J. Discrete Math. 24 (2010), 1558-1571

Emptiness formation probability in the domain-wall six-vertex model

Authors: F. Colomo, A. G. Pronko

Abstract: The emptiness formation probability in the six-vertex model with domain wall boundary conditions is considered. This correlation function allows one to address the problem of limit shapes in the model. We apply the quantum inverse scattering method to calculate the emptiness formation probability for the inhomogeneous model. For the homogeneous model, the result is given both in terms of certain… ▽ More The emptiness formation probability in the six-vertex model with domain wall boundary conditions is considered. This correlation function allows one to address the problem of limit shapes in the model. We apply the quantum inverse scattering method to calculate the emptiness formation probability for the inhomogeneous model. For the homogeneous model, the result is given both in terms of certain determinant and as a multiple integral representation. △ Less

Submitted 10 December, 2007; originally announced December 2007.

Comments: 22 pages, no figures

Report number: DDF 441/12/07

Journal ref: Nucl. Phys. B 798 (2008) 340-362

The Arctic Circle Revisited

Authors: F. Colomo, A. G. Pronko

Abstract: The problem of limit shapes in the six-vertex model with domain wall boundary conditions is addressed by considering a specially tailored bulk correlation function, the emptiness formation probability. A closed expression of this correlation function is given, both in terms of certain determinant and multiple integral, which allows for a systematic treatment of the limit shapes of the model for… ▽ More The problem of limit shapes in the six-vertex model with domain wall boundary conditions is addressed by considering a specially tailored bulk correlation function, the emptiness formation probability. A closed expression of this correlation function is given, both in terms of certain determinant and multiple integral, which allows for a systematic treatment of the limit shapes of the model for full range of values of vertex weights. Specifically, we show that for vertex weights corresponding to the free-fermion line on the phase diagram, the emptiness formation probability is related to a one-matrix model with a triple logarithmic singularity, or Triple Penner model. The saddle-point analysis of this model leads to the Arctic Circle Theorem, and its generalization to the Arctic Ellipses, known previously from domino tilings. △ Less

Submitted 3 April, 2007; originally announced April 2007.

Comments: 16 pages, 3 figures

MSC Class: 15A52; 82B05; 82B20; 82B23

Journal ref: Contemp. Math. 458 (2008) 361-376

The role of orthogonal polynomials in the six-vertex model and its combinatorial applications

Authors: F. Colomo, A. G. Pronko

Abstract: The Hankel determinant representations for the partition function and boundary correlation functions of the six-vertex model with domain wall boundary conditions are investigated by the methods of orthogonal polynomial theory. For specific values of the parameters of the model, corresponding to 1-, 2- and 3-enumerations of Alternating Sign Matrices (ASMs), these polynomials specialize to classic… ▽ More The Hankel determinant representations for the partition function and boundary correlation functions of the six-vertex model with domain wall boundary conditions are investigated by the methods of orthogonal polynomial theory. For specific values of the parameters of the model, corresponding to 1-, 2- and 3-enumerations of Alternating Sign Matrices (ASMs), these polynomials specialize to classical ones (Continuous Hahn, Meixner-Pollaczek, and Continuous Dual Hahn, respectively). As a consequence, a unified and simplified treatment of ASMs enumerations turns out to be possible, leading also to some new results such as the refined 3-enumerations of ASMs. Furthermore, the use of orthogonal polynomials allows us to express, for generic values of the parameters of the model, the partition function of the (partially) inhomogeneous model in terms of the one-point boundary correlation functions of the homogeneous one. △ Less

Submitted 13 February, 2006; originally announced February 2006.

Comments: Talk presented by F.C. at the Short Program of the Centre de Recherches Mathematiques: Random Matrices, Random Processes and Integrable Systems, Montreal, June 20 - July 8, 2005

Report number: DFF 429/11/05

Journal ref: J. Phys. A: Math. Gen. 39 (2006) 9015-9033

On two-point boundary correlations in the six-vertex model with DWBC

Authors: F. Colomo, A. G. Pronko

Abstract: The six-vertex model with domain wall boundary conditions (DWBC) on an N x N square lattice is considered. The two-point correlation function describing the probability of having two vertices in a given state at opposite (top and bottom) boundaries of the lattice is calculated. It is shown that this two-point boundary correlator is expressible in a very simple way in terms of the one-point bound… ▽ More The six-vertex model with domain wall boundary conditions (DWBC) on an N x N square lattice is considered. The two-point correlation function describing the probability of having two vertices in a given state at opposite (top and bottom) boundaries of the lattice is calculated. It is shown that this two-point boundary correlator is expressible in a very simple way in terms of the one-point boundary correlators of the model on N x N and (N-1) x (N-1) lattices. In alternating sign matrix (ASM) language this result implies that the doubly refined x-enumerations of ASMs are just appropriate combinations of the singly refined ones. △ Less

Submitted 30 March, 2005; v1 submitted 21 March, 2005; originally announced March 2005.

Comments: v2: a reference added, typos corrected

Report number: DFF-422/01/05

Journal ref: J.Stat.Mech. 0505 (2005) P05010

Square ice, alternating sign matrices and classical orthogonal polynomials

Authors: F. Colomo, A. G. Pronko

Abstract: The six-vertex model with Domain Wall Boundary Conditions, or square ice, is considered for particular values of its parameters, corresponding to 1-, 2-, and 3-enumerations of Alternating Sign Matrices (ASMs). Using Hankel determinant representations for the partition function and the boundary correlator of homogeneous square ice, it is shown how the ordinary and refined enumerations can be deri… ▽ More The six-vertex model with Domain Wall Boundary Conditions, or square ice, is considered for particular values of its parameters, corresponding to 1-, 2-, and 3-enumerations of Alternating Sign Matrices (ASMs). Using Hankel determinant representations for the partition function and the boundary correlator of homogeneous square ice, it is shown how the ordinary and refined enumerations can be derived in a very simple and straightforward way. The derivation is based on the standard relationship between Hankel determinants and orthogonal polynomials. For the particular sets of parameters corresponding to 1-, 2-, and 3-enumerations of ASMs, the Hankel determinant can be naturally related to Continuous Hahn, Meixner-Pollaczek, and Continuous Dual Hahn polynomials, respectively. This observation allows for a unified and simplified treatment of ASMs enumerations. In particular, along the lines of the proposed approach, we provide a complete solution to the long standing problem of the refined 3-enumeration of AMSs. △ Less

Submitted 22 December, 2004; v1 submitted 25 November, 2004; originally announced November 2004.

Comments: v2: typos and some formulae in Sects. 5.1 and 5.2 corrected; referencing improved

Journal ref: J.Stat.Mech.0501:P01005,2005

On the refined 3-enumeration of alternating sign matrices

Authors: F. Colomo, A. G. Pronko

Abstract: An explicit expression for the numbers $A(n,r;3)$ describing the refined 3-enumeration of alternating sign matrices is given. The derivation is based on the recent results of Stroganov for the corresponding generating function. As a result, $A(n,r;3)$'s are represented as 1-fold sums which can also be written in terms of terminating ${}_4F_3$ series of argument 1/4. An explicit expression for the numbers $A(n,r;3)$ describing the refined 3-enumeration of alternating sign matrices is given. The derivation is based on the recent results of Stroganov for the corresponding generating function. As a result, $A(n,r;3)$'s are represented as 1-fold sums which can also be written in terms of terminating ${}_4F_3$ series of argument 1/4. △ Less

Submitted 25 November, 2004; v1 submitted 19 April, 2004; originally announced April 2004.

Comments: Some comments and references added. To appear in the David Robbins memorial issue of Advances in Applied Mathematics

Journal ref: Adv.Appl.Math. 34 (2005) 798-811

Boundary correlation functions of the six-vertex model

Authors: N. M. Bogoliubov, A. G. Pronko, M. B. Zvonarev

Abstract: We consider the six-vertex model on an $N \times N$ square lattice with the domain wall boundary conditions. Boundary one-point correlation functions of the model are expressed as determinants of $N\times N$ matrices, generalizing the known result for the partition function. In the free fermion case the explicit answers are obtained. The introduced correlation functions are closely related to th… ▽ More We consider the six-vertex model on an $N \times N$ square lattice with the domain wall boundary conditions. Boundary one-point correlation functions of the model are expressed as determinants of $N\times N$ matrices, generalizing the known result for the partition function. In the free fermion case the explicit answers are obtained. The introduced correlation functions are closely related to the problem of enumeration of alternating sign matrices and domino tilings. △ Less

Submitted 27 March, 2002; v1 submitted 15 March, 2002; originally announced March 2002.

Comments: 20 pages, 2 figures, typos corrected

Journal ref: J. Phys. A: Math. Gen. 35, 5525-5541 (2002)

Time and temperature dependent correlation functions of the 1D impenetrable electron gas

Authors: F. Göhmann, A. G. Izergin, V. E. Korepin, A. G. Pronko

Abstract: We consider the one-dimensional delta-interacting electron gas in the case of infinite repulsion. We use determinant representations to study the long time, large distance asymptotics of correlation functions of local fields in the gas phase. We derive differential equations which drive the correlation functions. Using a related Riemann-Hilbert problem we obtain formulae for the asymptotics of t… ▽ More We consider the one-dimensional delta-interacting electron gas in the case of infinite repulsion. We use determinant representations to study the long time, large distance asymptotics of correlation functions of local fields in the gas phase. We derive differential equations which drive the correlation functions. Using a related Riemann-Hilbert problem we obtain formulae for the asymptotics of the correlation functions, which are valid at all finite temperatures. At low temperatures these formulae lead to explicit asymptotic expressions for the correlation functions, which describe power law behavior and exponential decay as functions of temperature, magnetic field and chemical potential. △ Less

Submitted 11 September, 1998; v1 submitted 15 May, 1998; originally announced May 1998.

Comments: minor changes, to appear in Int. J. Mod. Phys. B

Report number: ITP-SB-98-34

Journal ref: Int. J. Mod. Phys. B, 12 (1998) 2409