Toroidal Aztec Diamond: Graphs & Dimer Models

• Toroidal Aztec diamond is a framework combining finite bipartite torus graphs and periodic dimer models to study perfect matchings and combinatorial evolution.
• It employs techniques like magnetic Kasteleyn matrices, spectral curves, and exact density recursions to derive explicit matching counts and arctic curves.
• Integrable approaches and geometric invariants, such as flip symmetry and cusp analysis, reveal deep connections between discrete combinatorics and algebraic geometry.

Searching arXiv for the specified papers on toroidal Aztec diamonds, periodic Aztec diamonds, and related dimer models. The toroidal Aztec diamond has two closely related meanings in recent arXiv literature. In one, it is a finite bipartite toroidal graph obtained from an Aztec rectangle graph by identifying corresponding vertices on opposite boundaries, with the toroidal Aztec diamond as the special case $T_{n,n}$ (Ciucu, 8 Aug 2025). In the other, it denotes the Aztec diamond dimer model with doubly periodic edge weights, analyzed through a toroidal fundamental domain, a magnetically altered Kasteleyn matrix $K_{G_1}(z,w)$, and the associated characteristic polynomial $P(z,w)=\det K_{G_1}(z,w)$ (Berggren et al., 6 Aug 2025). These viewpoints are complementary: one emphasizes exact finite counting of perfect matchings under the insertion and evolution of holes, while the other emphasizes spectral, conformal, and geometric structure of periodic dimer models. A further integrable perspective treats doubly periodic Aztec-diamond weights through the octahedron equation and exact density recursions, yielding explicit arctic curves for toroidal weight patterns (Francesco et al., 2014).

1. Graph-theoretic definition and basic combinatorial objects

In the finite toroidal graph framework, the starting point is the Aztec rectangle graph $AR_{m,n}$, defined from a $(2m+1)\times(2n+1)$ chessboard with black corners by taking vertices at white squares and edges between vertices whose squares share a corner (Ciucu, 8 Aug 2025). The toroidal Aztec rectangle $T_{m,n}$ is obtained from $AR_{m,n}$ by identifying corresponding vertices along top with bottom and left with right boundary; this yields a bipartite toroidal graph. The toroidal Aztec diamond is the special case $T_{n,n}$ (Ciucu, 8 Aug 2025).

The same paper introduces holes in $T_{m,n}$ as removed vertex sets inducing subgraphs isomorphic to odd Aztec rectangles $O_{k,\ell}$. A hole is white-placed if its majority vertices are white, and black-placed otherwise. The associated charge is defined as the number of white vertices minus black vertices in the hole. For $K_{G_1}(z,w)$0, the difference is $K_{G_1}(z,w)$1, so

$K_{G_1}(z,w)$2

if white-placed, and

$K_{G_1}(z,w)$3

if black-placed (Ciucu, 8 Aug 2025). Since $K_{G_1}(z,w)$4 is balanced, removal of holes preserves the possibility of perfect matchings only when the total hole charge is zero.

The periodic weighted-dimer formulation instead begins with the tilted square lattice and imposes doubly periodic edge weights with vertical period $K_{G_1}(z,w)$5 and horizontal period $K_{G_1}(z,w)$6. One fixes a smallest non-repeating fundamental domain, passes to a torus, and introduces complex phases $K_{G_1}(z,w)$7 along the two torus cycles in the magnetically altered Kasteleyn matrix $K_{G_1}(z,w)$8. The resulting characteristic polynomial

$K_{G_1}(z,w)$9

defines the spectral curve

$P(z,w)=\det K_{G_1}(z,w)$0

whose closure is a compact Riemann surface (Berggren et al., 6 Aug 2025). In that setting, the toroidal Aztec diamond is the periodic Aztec dimer model viewed through this toroidal spectral data.

These two definitions are not interchangeable, but they concern the same broader object class: Aztec-diamond dimers under toroidal identification or toroidal periodicity. This suggests that “toroidal Aztec diamond” is best understood as a family of toroidal dimer systems rather than a single canonical graph.

2. Holes, charge balance, and the natural evolution mechanism

A central feature of the finite toroidal theory is the insertion of odd Aztec-rectangle holes and their natural evolution (Ciucu, 8 Aug 2025). For a white-placed hole $P(z,w)=\det K_{G_1}(z,w)$1 with $P(z,w)=\det K_{G_1}(z,w)$2, the evolved form is $P(z,w)=\det K_{G_1}(z,w)$3, centered at the same place. For a black-placed hole $P(z,w)=\det K_{G_1}(z,w)$4 with $P(z,w)=\det K_{G_1}(z,w)$5, the evolved form is $P(z,w)=\det K_{G_1}(z,w)$6, also with the same center. Base cases produce separation defects: if $P(z,w)=\det K_{G_1}(z,w)$7 is white-placed with shape $P(z,w)=\det K_{G_1}(z,w)$8, then $P(z,w)=\det K_{G_1}(z,w)$9 is a vertical defect of $AR_{m,n}$0 contiguous separations; if $AR_{m,n}$1 is black-placed with shape $AR_{m,n}$2, then $AR_{m,n}$3 is a horizontal defect of $AR_{m,n}$4 contiguous separations (Ciucu, 8 Aug 2025).

The counting factor attached to this evolution is expressed through the flank charge. Using the width-based definition,

$AR_{m,n}$5

for a white-placed $AR_{m,n}$6, and

$AR_{m,n}$7

for a black-placed $AR_{m,n}$8 (Ciucu, 8 Aug 2025). An equivalent height-based formulation is also given, and the two agree when the total hole charge is zero.

This leads to the main evolution identity. If $AR_{m,n}$9 are disjoint odd Aztec rectangle windows in $(2m+1)\times(2n+1)$0 of total charge zero, and $(2m+1)\times(2n+1)$1 has at least one perfect matching, then

$(2m+1)\times(2n+1)$2

This theorem is the paper’s “simple formula” governing evolution on the torus (Ciucu, 8 Aug 2025).

The proof uses the complementation theorem for perfect matchings of cellular graphs. On the torus, shaded cells are partitioned into vertical paths, some of which are rings. Rings contribute $(2m+1)\times(2n+1)$3; the remaining paths contribute a type equal to the number of extremal vertices in the subgraph minus $(2m+1)\times(2n+1)$4. Only vertical paths crossing holes contribute nontrivially. For white-placed $(2m+1)\times(2n+1)$5, exactly $(2m+1)\times(2n+1)$6 vertical paths contribute $(2m+1)\times(2n+1)$7; for black-placed $(2m+1)\times(2n+1)$8, exactly $(2m+1)\times(2n+1)$9 contribute $T_{m,n}$0. This produces the exponent $T_{m,n}$1, while the complementation operation itself geometrically transforms the holes into their evolved forms (Ciucu, 8 Aug 2025).

A further lemma states that if the original holes are disjoint and the punctured toroidal graph admits a perfect matching, then their evolved forms remain disjoint (Ciucu, 8 Aug 2025). This ensures that the evolution process can be iterated.

3. Reduction to diagonal multiplets and flip symmetry

The evolution formalism yields several structured consequences. For congruent windows, if there are $T_{m,n}$2 white-placed windows of shape $T_{m,n}$3 and $T_{m,n}$4 black-placed windows of shape $T_{m,n}$5, then

$T_{m,n}$6

with the evolved shapes defined in the paper (Ciucu, 8 Aug 2025).

A more striking consequence is the reduction to diagonal multiplets. A horizontal $T_{m,n}$7-multiplet is a hole of shape $T_{m,n}$8, and a vertical $T_{m,n}$9-multiplet is a hole of shape $AR_{m,n}$0. For a general $AR_{m,n}$1, the paper defines $AR_{m,n}$2 as the horizontal diagonal multiplet of length $AR_{m,n}$3, and $AR_{m,n}$4 as the vertical diagonal multiplet of the same length (Ciucu, 8 Aug 2025). Then, for $AR_{m,n}$5 white-placed $AR_{m,n}$6 holes and $AR_{m,n}$7 black-placed $AR_{m,n}$8 holes,

$AR_{m,n}$9

Thus systems of congruent odd Aztec-rectangle windows can be “straightened” into diagonal slits of equal length, at the cost of an explicit power of $T_{n,n}$0 (Ciucu, 8 Aug 2025).

Corollary 4.4 of the same paper establishes a nontrivial flip symmetry. Let $T_{n,n}$1 be diagonal multiplets of length $T_{n,n}$2, with $T_{n,n}$3 horizontal white-placed and $T_{n,n}$4 vertical black-placed, and suppose at least one perfect matching exists. If $T_{n,n}$5 denotes the $T_{n,n}$6-rotated multiplet at the same center, then

$T_{n,n}$7

In the language of finite-size correlation, flipping every diagonal slit by $T_{n,n}$8 leaves the correlation invariant (Ciucu, 8 Aug 2025).

The paper emphasizes that this symmetry is non-obvious and calls for a direct proof not based on complementation. This identifies an explicit combinatorial invariant of toroidal slit configurations and clarifies that geometrically distinct defect systems may have identical matching enumerations.

4. Correlation functions and the dual Aztec diamond theorem

The finite toroidal setting also supports correlation functions for holes. For holes $T_{n,n}$9 of total charge zero placed on $T_{m,n}$0, the finite size correlation is defined by

$T_{m,n}$1

and the infinite correlation is

$T_{m,n}$2

(Ciucu, 8 Aug 2025).

Assuming the electrostatic conjecture for square-grid dimers, the paper derives a relation between single-cluster correlations of odd Aztec rectangles and diagonal multiplets: $T_{m,n}$3 In particular, for the odd Aztec diamond $T_{m,n}$4,

$T_{m,n}$5

The paper describes this as a natural dual of the classical Aztec diamond theorem (Ciucu, 8 Aug 2025). The classical theorem counts interior tilings of the ordinary Aztec diamond $T_{m,n}$6 by

$T_{m,n}$7

whereas the toroidal hole-correlation statement gives a power-of-two law for an exterior accommodation problem.

This duality should be interpreted carefully. It is not an equality between matching numbers of ordinary Aztec diamonds and toroidal hole systems. Rather, it is a correspondence in structural form: both statements produce clean powers of $T_{m,n}$8, but in different enumerative regimes.

The same paper recalls explicit values for $T_{m,n}$9 from prior exact results on diagonal monomer runs, allowing closed forms for $O_{k,\ell}$0 to be obtained by substitution (Ciucu, 8 Aug 2025). A plausible implication is that odd Aztec rectangles occupy a distinguished place among toroidal defects because their correlations reduce to previously tractable diagonal objects.

5. Doubly periodic weighted models, spectral curves, and conformal structure

A different, more analytic theory studies the toroidal Aztec diamond through periodic edge weights and spectral geometry. In this setting, one fixes a smallest non-repeating fundamental domain of the tilted square lattice, imposes periodicity with periods $O_{k,\ell}$1 and $O_{k,\ell}$2, and considers the magnetically altered Kasteleyn matrix $O_{k,\ell}$3 on the torus (Berggren et al., 6 Aug 2025). Its determinant

$O_{k,\ell}$4

defines the spectral curve, whose amoeba and Ronkin function encode the phase diagram and the limiting height slopes.

The Ronkin function is

$O_{k,\ell}$5

and its gradient $O_{k,\ell}$6 gives slopes of the limiting height function (Berggren et al., 6 Aug 2025). The liquid region is controlled by the Kenyon–Okounkov conformal structure, realized through a critical point map $O_{k,\ell}$7 that sends liquid points to points of the spectral curve where the action function is stationary (Berggren et al., 6 Aug 2025).

For $O_{k,\ell}$8 periodic weights, the paper gives a scalar-symbol factorization

$O_{k,\ell}$9

so the spectral curve has genus $K_{G_1}(z,w)$00 (Berggren et al., 6 Aug 2025). For $K_{G_1}(z,w)$01 periodic weights, the symbol becomes $K_{G_1}(z,w)$02, the spectral curve is generically of genus $K_{G_1}(z,w)$03, and compact real ovals correspond to gas components (Berggren et al., 6 Aug 2025).

This framework makes precise that toroidal periodicity is not merely a boundary identification; it is a spectral construction. The torus supports Fourier variables $K_{G_1}(z,w)$04, and these variables control both macroscopic phases and conformal data. In this sense, the toroidal Aztec diamond is a model in which discrete dimer combinatorics and complex-algebraic geometry are tightly coupled.

6. Perfect $K_{G_1}(z,w)$05-embeddings, maximal surfaces, and phase geometry

The same periodic-weight paper develops perfect $K_{G_1}(z,w)$06-embeddings and origami maps for Aztec diamonds with periodic edge weights (Berggren et al., 6 Aug 2025). Given Coulomb gauge functions $K_{G_1}(z,w)$07 on black vertices and $K_{G_1}(z,w)$08 on white vertices satisfying Kasteleyn-harmonic equations, one defines closed edge-forms on the augmented dual graph: $K_{G_1}(z,w)$09 These integrate to an embedding $K_{G_1}(z,w)$10 and an origami map $K_{G_1}(z,w)$11, forming a $K_{G_1}(z,w)$12-surface (Berggren et al., 6 Aug 2025).

Viewing

$K_{G_1}(z,w)$13

the paper equips $K_{G_1}(z,w)$14 with the Minkowski metric of signature $K_{G_1}(z,w)$15,

$K_{G_1}(z,w)$16

The induced quadratic form is $K_{G_1}(z,w)$17. Space-like means this is positive; light-like means it is zero (Berggren et al., 6 Aug 2025).

The main convergence theorem states that for Aztec diamonds of size $K_{G_1}(z,w)$18 with $K_{G_1}(z,w)$19 periodic weights, the perfect $K_{G_1}(z,w)$20-embedding and origami map converge uniformly on compact subsets of the liquid region to a limiting surface $K_{G_1}(z,w)$21. For $K_{G_1}(z,w)$22, the limiting surface lies entirely in $K_{G_1}(z,w)$23. For $K_{G_1}(z,w)$24, gas is allowed, and the limiting surface is space-like and maximal in $K_{G_1}(z,w)$25 (Berggren et al., 6 Aug 2025).

The phase geometry has a particularly rigid form. All frozen regions collapse to four boundary points, regardless of the number of frozen regions, while each gas region collapses to a distinct light-like cusp in the interior (Berggren et al., 6 Aug 2025). The four boundary vertices are determined by a single parameter $K_{G_1}(z,w)$26, extracted from inverse Kasteleyn data; in periodic Aztec settings this is $K_{G_1}(z,w)$27 for $K_{G_1}(z,w)$28 and $K_{G_1}(z,w)$29 for $K_{G_1}(z,w)$30 (Berggren et al., 6 Aug 2025).

The paper further states that cusp locations depend on the spectral divisor parameter $K_{G_1}(z,w)$31, whereas the conformal structure $K_{G_1}(z,w)$32 does not. This separation between conformal structure and cusp position leads to the conjecture that cusp locations encode the discrete Gaussian shift appearing in global fluctuations of toroidal dimers (Berggren et al., 6 Aug 2025). This suggests that the toroidal Aztec diamond carries geometric information beyond the standard limit shape.

7. Integrable toroidal weights, density recursions, and arctic curves

A third perspective comes from the octahedron equation. For Aztec-diamond dimer coverings with doubly periodic face weights, the partition function satisfies the $K_{G_1}(z,w)$33 $K_{G_1}(z,w)$34-system

$K_{G_1}(z,w)$35

with flat stepped-surface initial data $K_{G_1}(z,w)$36 (Francesco et al., 2014). The solution $K_{G_1}(z,w)$37 equals the dimer partition function $K_{G_1}(z,w)$38, so periodic initial data define toroidal dimer weights on Aztec graphs (Francesco et al., 2014).

Differentiating the $K_{G_1}(z,w)$39-system yields a density recursion with periodic coefficients: $K_{G_1}(z,w)$40 where

$K_{G_1}(z,w)$41

(Francesco et al., 2014). For toroidal initial data, $K_{G_1}(z,w)$42 and $K_{G_1}(z,w)$43 are periodic, so the infinite recursion reduces to a finite linear system for generating functions.

In the uniform case $K_{G_1}(z,w)$44, one recovers

$K_{G_1}(z,w)$45

with $K_{G_1}(z,w)$46, and singularity analysis of the corresponding generating function yields the arctic circle (Francesco et al., 2014). For the period-$K_{G_1}(z,w)$47 case, the paper gives an exact factorized solution, a $K_{G_1}(z,w)$48 linear system for density generating functions, and a denominator $K_{G_1}(z,w)$49 whose blow-up at $K_{G_1}(z,w)$50 produces the fortress arctic curve $K_{G_1}(z,w)$51 (Francesco et al., 2014). The parameter

$K_{G_1}(z,w)$52

controls the deformation: $K_{G_1}(z,w)$53 reproduces the arctic circle, whereas $K_{G_1}(z,w)$54 yields the inscribed square (Francesco et al., 2014).

For general $K_{G_1}(z,w)$55-toroidal initial data, the paper derives an exact factorized solution in terms of periodic sequences $K_{G_1}(z,w)$56, explicit cross-ratios $K_{G_1}(z,w)$57, and a $K_{G_1}(z,w)$58 linear system whose determinant governs the arctic curve (Francesco et al., 2014). Generically, the curves exhibit multiple inner facet regions, with the number and arrangement depending on the toroidal periodicity and parameters. This provides an integrable derivation of multi-facet limit shapes for toroidal Aztec-diamond dimers.

This approach differs from the Kasteleyn–spectral-curve framework of periodic toroidal dimers, but the paper explicitly notes that $K_{G_1}(z,w)$59 plays the role of a characteristic polynomial or spectral curve in the density analysis (Francesco et al., 2014). A plausible implication is that the toroidal Aztec diamond admits several mathematically equivalent “spectral” encodings, depending on whether one studies matchings, densities, or large-scale geometry.

8. Examples, scope, and open directions

Several explicit examples illustrate the theory. In the toroidal hole framework, for $K_{G_1}(z,w)$60 with four length-$K_{G_1}(z,w)$61 diagonal slits—two horizontal white-placed and two vertical black-placed—flipping all slits preserves the count; direct evaluation yields

$K_{G_1}(z,w)$62

and the flipped configuration has the same value (Ciucu, 8 Aug 2025). In the planar context surrounding the toroidal theory, the same paper contrasts a non-round Aztec window count with “round” product forms for odd windows, such as an $K_{G_1}(z,w)$63 region with an $K_{G_1}(z,w)$64 window (Ciucu, 8 Aug 2025).

In the periodic-geometry framework, the two-periodic $K_{G_1}(z,w)$65 model provides a concrete genus-$K_{G_1}(z,w)$66 example. Four weight assignments are listed, with corresponding values of the parameter $K_{G_1}(z,w)$67 and divisor parameter $K_{G_1}(z,w)$68. The liquid region has one gas hole, hence one cusp apex. The paper states that weights 1 and 2 produce surfaces in $K_{G_1}(z,w)$69, while weights 3 and 4 produce surfaces not embeddable in $K_{G_1}(z,w)$70, even locally near the cusp (Berggren et al., 6 Aug 2025).

Across these works, several open problems and interpretive themes recur. One is the electrostatic conjecture, which is assumed in the derivation of the dual Aztec diamond relation for single-cluster correlations (Ciucu, 8 Aug 2025). Another is the call for a direct proof of the flip symmetry of diagonal slits (Ciucu, 8 Aug 2025). In the geometric direction, the conjecture that cusp locations encode the discrete Gaussian shift parameter $K_{G_1}(z,w)$71 remains an explicit research question (Berggren et al., 6 Aug 2025).

Taken together, these results place the toroidal Aztec diamond at the intersection of exact enumeration, periodic dimer spectral theory, integrable recurrences, and Lorentzian surface geometry. In finite toroidal graphs, its structure is governed by charge balance and complementation-driven hole evolution. In doubly periodic weighted models, it is organized by Kasteleyn spectral curves, Ronkin functions, and perfect $K_{G_1}(z,w)$72-embeddings. In integrable formulations, it yields exact density systems and algebraic arctic curves. The common theme is that toroidal periodicity does not merely modify boundary conditions; it introduces new invariants—charge, spectral divisor, cusp data, and periodic cross-ratios—that fundamentally alter both combinatorics and asymptotic geometry (Ciucu, 8 Aug 2025, Berggren et al., 6 Aug 2025, Francesco et al., 2014).