The emptiness formation probability, and representations for nonlocal correlation functions, of the 20-vertex model

We study the emptiness formation probability, along with various representations for nonlocal correlation functions, of the 20-vertex model. In doing so, we leverage previous arguments for representations of nonlocal correlation functions for the 6-vertex model, under domain-wall boundary conditions, due to Colomo, Di Giulio, and Pronko, in addition to the inhomogeneous, and homogeneous, determinantal representations for the 20-vertex partition function due to Di Francesco, also under domain-wall boundary conditions. By taking a product of row configuration probabilities, we obtain a desired contour integral representation for nonlocal correlations from a determinantal representation. Finally, a counterpart of the emptiness formation probability is introduced for the 20-vertex model.