A generalization of Aztec diamond theorem. I (Q405149)

Summary: We consider a new family of 4-vertex regions with zigzag boundary on the square lattice with diagonals drawn in. By proving that the number of tilings of the new regions is given by a power 2, we generalize both Aztec diamond theorem and Douglas' theorem. The proof extends an idea of \textit{S.-P. Eu} and \textit{T.-S. Fu} [ibid. 12, No. 1, Research paper R18, 8 p. (2005; Zbl 1060.05006)] for Aztec diamonds, by using a bijection between domino tilings and non-intersecting Schröder paths, then applying Lindström-Gessel-Viennot methodology.