Fluctuations of the arctic curve in the tilings of the Aztec diamond on restricted domains

Abstract

We consider uniform random domino tilings of the restricted Aztec diamond which is obtained by cutting off an upper triangular part of the Aztec diamond by a horizontal line. The restriction line asymptotically touches the arctic circle that is the limit shape of the north polar region in the unrestricted model. We prove that the rescaled boundary of the north polar region in the restricted domain converges to the Airy${}_2$ process conditioned to stay below a parabola with explicit continuous statistics and the finite dimensional distribution kernels. The limit is the hard-edge tacnode process which was first discovered in the framework of nonintersecting Brownian bridges. The proof relies on a random walk representation of the correlation kernel of the nonintersecting line ensemble which corresponds to a random tiling.