Arctic Circle Theorem

Random domino tilings of an Aztec diamond — the arctic circle emerges

An order-12 Aztec diamond has 0 dominoes. The arctic circle theorem (Jockusch-Propp-Shor 1998) guarantees that outside radius r=n/√2, tiles align in "frozen" regions with probability → 1 as n→∞. Inside: temperate chaos.