Non-intersecting paths and Hahn orthogonal polynomial ensemble

Understand

We compute the bulk limit of the correlation functions for the uniform measure on lozenge tilings of a hexagon.

• The limiting determinantal process is a translation invariant extension of the discrete sine process, which also describes the ergodic Gibbs measure of an appropriate slope.