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

• Published in: Nuclear Physics B
• Main Authors: F. Colomo, A.G. Pronko
• Format: Article in Journal/Newspaper
• Language: English
• Published: Elsevier 2024
• Subjects: Nuclear and particle physics. Atomic energy. Radioactivity; QC770-798; Arctic; Ice Point
• Online Access: https://doi.org/10.1016/j.nuclphysb.2024.116565; https://doaj.org/article/9cd23550123646a089a594c44836f5ef

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.