# Integral formulas and antisymmetrization relations for the six-vertex model

## TL;DR

This paper explores integral formulas for the six-vertex model with domain wall boundary conditions, revealing how different correlation functions relate through antisymmetrization and generalizing known relations from exclusion processes.

## Contribution

It introduces a new antisymmetrization relation connecting correlation functions of the six-vertex model, extending Tracy and Widom's work to this context.

## Key findings

- Derived the emptiness formation probability from row configuration probability.
- Established a relation expressing antisymmetrization in terms of the Izergin-Korepin partition function.
- Generalized Tracy and Widom's antisymmetrization relation to the six-vertex model.

## 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 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.