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

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.