Abstract:The original motivation for this paper goes back to the mid-1990's, when James Propp was interested in natural situations when the number of domino tilings of a region increases if some of its unit squares are deleted. Guided in part by the intuition one gets from earlier work on parallels between the number of tilings of a region with holes and the 2D Coulomb energy of the corresponding system of electric charges, we consider Aztec diamond regions with unit square defects along two adjacent sides. We show that for large regions, if these defects are at fixed distances from a corner, the ratio between the number of domino tilings of the Aztec diamond with defects and the number of tilings of the entire Aztec diamond approaches a Delannoy number.
When the locations of the defects are not fixed but instead approach given points on the boundary of the scaling limit $S$ (a square) of the Aztec diamonds, we prove that, provided the line segment connecting these points is outside the circle inscribed in $S$, this ratio has the same asymptotics as the Delannoy number corresponding to the locations of the defects; if the segment crosses the circle, the asymptotics is radically different. We use this to deduce (under the assumption that an arctic curve exists) that the arctic curve for domino tilings of Aztec diamonds is the circle inscribed in $S$. We also discuss counterparts of this phenomenon for lozenge tilings of hexagons.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the domino tiling problem in the Aztec diamond area, especially when there are defects on the boundaries of these areas (that is, some unit squares are missing), the variation law of the number of domino tilings. Specifically, the paper explores the following points:
1. **Increase in the number of domino tilings**: The original motivation of the paper can be traced back to the mid - 1990s. At that time, James Propp was interested in whether the number of domino tilings in an area would increase when some unit squares were deleted from the area under certain natural circumstances. The paper explores this problem by studying the situation when there are unit - square defects on the boundaries of the Aztec diamond area.
2. **Relationship with Delannoy numbers**: For larger Aztec diamond areas, if these defects are at a fixed distance near the corners, the paper proves that the ratio of the number of domino tilings of the Aztec diamond with defects to the number of domino tilings of the entire Aztec diamond is close to a Delannoy number. Delannoy numbers are a type of combinatorial number, representing the number of paths from the point \((0,0)\) to the point \((k, l)\), with allowed step lengths of \((1,0)\), \((0,1)\) and \((1,1)\).
3. **Influence of defect positions**: When the positions of the defects are not fixed but gradually approach a given point on the boundary of the Aztec diamond in the scaling limit \(S\) (a square), the paper proves that if the line segment connecting these points is outside the inscribed circle, the asymptotic behavior of this ratio is the same as the corresponding Delannoy number; if the line segment passes through the inscribed circle, the asymptotic behavior is completely different.
4. **Arctic circle phenomenon**: Based on the above results, the paper deduces that (assuming the existence of an arctic curve) the arctic curve of the domino tiling of the Aztec diamond is the inscribed circle. The arctic circle phenomenon refers to the fact that in some random tiling models, the tiling pattern shows an ordered structure in the central area and a disordered structure in the edge area, forming a distinct dividing line.
5. **Similar phenomena in hexagons**: The paper also discusses similar phenomena in the hexagonal area, where the inscribed ellipse plays the role of the inscribed circle.
### Formula summary
- **Formula for the number of domino tilings**:
\[
M(AD_n)=2^{n(n + 1)/2}
\]
- **Ratio of the number of domino tilings of the Aztec diamond with defects**:
\[
\frac{M(AD_{i,j}^n)}{M(AD_n)}=\sum_{k = 0}^{n-1}\frac{\binom{k}{i - 1}\binom{k}{j - 1}}{2^{k+1}}
\]
- **Asymptotic behavior**:
\[
\lim_{n\rightarrow\infty}\frac{M(AD_{i,j}^n)}{M(AD_n)}=D(i - 1,j - 1)
\]
- **Two cases of asymptotic behavior**:
- If the line segment \([(a,0),(0,b)]\) is outside the inscribed circle:
\[
\lim_{n\rightarrow\infty}\frac{M(AD_{i,j}^n)}{M(AD_n)D(i - 1,j - 1)}=1
\]
- If the line segment \([(a,0),(0,b)]\) passes through the inscribed circle:
\[
\lim_{n\rightarrow\infty}\frac{M(AD_{i,j}^n)}{M(AD_n)D(i - 1,j - 1)}=0
\]
These results not only deepen the understanding of domino tilings, but also provide a new perspective on the arctic circle phenomenon.