A new simple proof of the Aztec diamond theorem

Manuel Fendler, Daniel Grieser

The Aztec diamond of order $n$ is the union of lattice squares in the plane intersecting the square $|x|+|y|<n$. The Aztec diamond theorem states that the number of domino tilings…