REVIEW 2 major objections 3 minor
Round Aztec windows, a dual of the Aztec diamond theorem and a curious symmetry of the correlation of diagonal slits
T0 review · 2 major / 3 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read This paper proves product formulas for domino tilings of Aztec rectangles with odd Aztec-rectangle holes and a dual of the Aztec diamond theorem for toroidal versions.
desk verdict New product formulas for odd-rectangle-hole regions, but the original Aztec-window problem remains open; the title overpromises. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the odd Aztec rectangle—an Aztec rectangle with odd dimensions—used as the shape of the hole. It supplies the admissible window whose boundary makes the tiling counts factor. The dual-of-the-Aztec-diamond evolution formula is the identity that carries the toroidal part of the argument: it expresses the change in the perfect matching count of a toroidal Aztec diamond under hole evolution in simple multiplicative terms. Correlation of the holes, measured for diagonal slits on the square grid, is the quantitative object exhibiting the paper's symmetry.
What would settle it
Directly enumerate domino tilings of an Aztec rectangle with an odd Aztec-rectangular hole (for example, a small parameter choice within the stated family) and divide by the paper's product formula: any ratio different from 1 refutes the central claim. For the toroidal dual, compute perfect matchings before and after one hole-evolution step and compare the ratio with the formula.
Extended reading notes
Core claim
The central claim is that 'round' Aztec windows belong to a family with product-formula tiling counts. Concretely, the paper establishes that regions obtained from Aztec rectangles by removing holes shaped like odd Aztec rectangles have domino-tiling numbers equal to simple product formulas, and that symmetric cruciform regions share this property. On graphs obtained from a toroidal Aztec diamond by making the same kind of holes, the paper proves a formula describing how the number of perfect matchings changes under a natural evolution of the holes; specializing this gives a dual of the Aztec diamond theorem. The paper further derives consequences for correlations of holes, including an unex
Load-bearing premise
The load-bearing premise is that the well-behaved holes are odd Aztec rectangles; if the hole is instead an Aztec diamond, the paper does not claim the same product formulas, and the resolution of the historical 'Aztec window' problem depends on accepting this replacement of the hole shape.
Editorial extensions
If this is right
- Domino tilings of Aztec rectangles with odd Aztec-rectangular holes are counted by explicit product formulas, not just recurrences or determinants.
- Symmetric cruciform regions formed from Aztec rectangles share the same product-formula behavior.
- For toroidal Aztec diamonds, hole evolution changes perfect matching counts by a simple multiplicative rule, yielding a dual of the Aztec diamond theorem.
- The correlation of diagonal slits on the square grid satisfies a symmetry that is not forced by obvious grid symmetries.
- Together these give a broader family of 'round' window problems all solvable by closed forms, even though the original Aztec-diamond-window counts were not round.
Reading between the lines
- If the odd-rectangle window family is the right setting, the original Aztec-diamond-window counts may be recoverable as finite sums of these product formulas by inclusion-exclusion over rectangles; a direct test would be to write such a decomposition.
- The toroidal evolution formula may extend beyond Aztec diamonds to other toroidal boards whose perfect matchings are already product-counted, providing a general 'dual' operation for adding holes.
- The diagonal-slit correlation symmetry suggests a determinant or Pfaffian expression symmetric under exchanging slit endpoints; one testable extension is to checkerboard or weighted edge versions of the square grid.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript (arXiv:2508.06451) studies domino tilings of Aztec-rectangle-like regions with holes of a shape the abstract calls 'odd Aztec rectangles'. It announces product formulas for the number of domino tilings of such regions and of certain symmetric cruciform regions; a formula for the number of perfect matchings of toroidal Aztec diamonds with such holes under a 'natural evolution' of the holes, leading to a claimed dual of the Aztec diamond theorem; and a symmetry in the correlation of diagonal slits on the square grid. The abstract explicitly notes that the original Aztec-window problem—a smaller Aztec-diamond-shaped hole—produced non-round counts, and states that the paper instead considers a 'very closely related' family of holes.
Significance. If the proofs are correct, the results would be a meaningful addition to enumerative combinatorics, extending the product-form family beyond the classical Aztec diamond theorem and connecting to correlation functions of slits. The purported dual Aztec diamond theorem and the unexpected slit-correlation symmetry are potentially significant. That said, this review is based on the abstract only; no derivations, theorem statements, or proof sketches are available for verification. The claims are plausible but unverified at this stage.
major comments (2)
- [Abstract] The abstract states that the original Aztec-window problem (a smaller Aztec diamond as a hole) gave non-round counts, and then pivots to 'a very closely related shape of holes (namely, odd Aztec rectangles).' The title 'Round Aztec windows' and the opening frame the paper as resolving the motivating question, but the announced product formulas are for a different family. The abstract gives no bridge — neither a limiting argument, an inclusion, nor a separate theorem — from odd Aztec rectangles to Aztec diamonds or vice versa. If the proofs do not also cover the original Aztec-diamond-hole regions, the paper leaves the motivating problem unresolved and the advertised relevance is only indirect. This is load-bearing for the central claim, because the novelty depends on whether the 'related' family is the correct generalization and whether the original non-roundness is explained or bypassed
- [Abstract] The claimed 'dual of the Aztec diamond theorem' is not stated in any checkable form. The abstract says only that a 'simple formula governs the way the number of their perfect matchings changes under a natural evolution of the holes' and that this 'yields in particular a natural dual.' Without the precise statement (e.g., the exact evolution rule, the class of toroidal regions, and the formula) it is impossible to assess whether this is a genuine dual or a related identity. The same applies to the 'correlation of diagonal slits' symmetry: the object and the symmetry are not defined in the available text. A theorem statement or precise definitions are necessary for verification.
minor comments (3)
- [Title/Abstract] 'Round Aztec windows' is not defined in the abstract. The relationship between the odd-Aztec-rectangle holes and the original 'Aztec window' (Aztec-diamond hole) should be clarified early, since the phrase appears to be the authors' term for the new family.
- [Abstract] The phrase 'a large variety of regions' is vague; a few examples or a precise class description would help the reader understand the scope.
- [Abstract] Terms such as 'symmetric cruciform regions,' 'correlation of diagonal slits,' and 'natural evolution of the holes' are used without definitions or references. Adding definitions or pointers to the full text would improve accessibility.
Circularity Check
No circularity detectable from the abstract; the claimed results are new theorems without fitted inputs or self-citation dependence.
full rationale
This review is abstract-only, so no derivation chain, equations, or proof steps are available to audit. The abstract presents product formulas for domino tilings of Aztec rectangles with odd-rectangle holes, a dual of the Aztec diamond theorem for toroidal Aztec diamonds, and a symmetry for correlations of diagonal slits. Nothing in the abstract indicates that any of these results is defined in terms of the conclusion, that a parameter is fitted and then renamed a prediction, or that a load-bearing premise depends on a self-citation. The skeptical note about the paper proving formulas for odd Aztec rectangles rather than the historically motivating Aztec-diamond-shaped windows is a potential scope or relevance concern, not a circularity concern: proving a theorem for a related family does not make the theorem circular. Without access to the full text, no specific reduction can be quoted or exhibited, and the hard rules forbid speculative circularity claims. The honest finding is no significant circularity, score 0.
Assumptions & free parameters
assumptions (2)
- standard math Aztec diamond theorem: the number of domino tilings of an Aztec diamond of order n is 2^{n(n+1)/2}.
- standard math Domino tilings of a planar region correspond to perfect matchings of its dual graph.
Cite this review
Pith. "Pith review of Round Aztec windows, a dual of the Aztec diamond theorem and a curious symmetry of the correlation of diagonal slits." pith.science (2026). https://pith.science/paper/GZPOWFRB
@misc{pith2026250806451,
author = {Pith},
title = {Pith review of: Round Aztec windows, a dual of the Aztec diamond theorem and a curious symmetry of the correlation of diagonal slits},
year = {2026},
howpublished = {\url{https://pith.science/paper/GZPOWFRB}},
note = {Machine review of arXiv:2508.06451}
}
read the original abstract
Fairly shortly after the publication of the Aztec diamond theorem of Elkies, Kuperberg, Larsen and Propp in 1992, interest arose in finding the number of domino tilings of an Aztec diamond with an ``Aztec window,'' i.e.\ a hole in the shape of a smaller Aztec diamond at its center. Several intriguing patterns were discovered for the number of tilings of such regions, but the numbers themselves were not ``round'' -- they didn't seem to be given by a simple product formula. In this paper we consider a very closely related shape of holes (namely, odd Aztec rectangles), and prove that a large variety of regions obtained from Aztec rectangles by making such holes in them possess the sought-after property that the number of their domino tilings is given by a simple product formula. We find the same to be true for certain symmetric cruciform regions. We also consider graphs obtained from a toroidal Aztec diamond by making such holes in them, and prove a simple formula that governs the way the number of their perfect matchings changes under a natural evolution of the holes. This yields in particular a natural dual of the Aztec diamond theorem. Some implications for the correlation of such holes are also presented, including an unexpected symmetry for the correlation of diagonal slits on the square grid.
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.