The arctic circle boundary and the Airy process

We prove that the, appropriately rescaled, boundary of the north polar region in the Aztec diamond converges to the Airy process. The proof uses certain determinantal point processes given by the extended Krawtchouk kernel. We also prove a version of Propp's conjecture concerning the structure of the tiling at the center of the Aztec diamond.