[论文解读] Alternating sign matrices and domino tilings

Noam D. Elkies, Greg Kuperberg+2 more|ArXiv.org|Jun 1, 1991

Advanced Combinatorial Mathematics参考文献 18被引用 278

一句话总结

本文为阿扎特钻石的多米诺骨牌密铺构造了一个生成函数，揭示了密铺计数、交替符号矩阵与正方形冰模型之间的深刻联系。研究证明，阶数为 $n$ 的阿扎特钻石的密铺数量为 $2^{n(n+1)/2}$，并提出了一个精化生成函数 $\mathrm{AD}(n;x,q) = \prod_{k=0}^{n-1}(1 + x q^{2k+1})^{n-k}$，该函数通过局部移动编码了垂直多米诺骨牌的数量与密铺的秩。

ABSTRACT

We introduce a family of planar regions, called Aztec diamonds, and study the ways in which these regions can be tiled by dominoes. Our main result is a generating function that not only gives the number of domino tilings of the Aztec diamond of order $n$ but also provides information about the orientation of the dominoes (vertical versus horizontal) and the accessibility of one tiling from another by means of local modifications. Several proofs of the formula are given. The problem turns out to have connections with the alternating sign matrices of Mills, Robbins, and Rumsey, as well as the square ice model studied by Lieb.

研究动机与目标

• 对阶数为 $n$ 的阿扎特钻石的多米诺骨牌密铺进行计数，并利用两个统计量进行细化：垂直多米诺骨牌的数量与密铺的秩。
• 建立密铺与长度为 $n(n+1)/2$ 的位串之间的双射，将组合密铺结构与二进制序列联系起来。
• 证明密铺的秩——即通过局部90°旋转（基本移动）将全水平密铺变换为给定密铺所需的最小移动次数——与基于高度函数的不变量一致。
• 通过共享的生成函数与序理想，统一组合对象，包括交替符号矩阵、单调三角形与正方形冰构型。
• 探索密铺计数与统计力学之间的联系，特别是六顶点（正方形冰）模型在阿扎特边界条件下的自由费米子情形。

提出的方法

• 将阿扎特钻石定义为区域 $\{(x,y) : |x| + |y| \leq n+1\}$，并定义多米诺骨牌密铺为使用 $1\times2$ 或 $2\times1$ 瓷砖的覆盖。
• 通过基本移动定义密铺的秩：将一个由两块多米诺骨牌组成的 $2\times2$ 块旋转90°，并证明任意密铺均可通过此类移动从全水平密铺达到。
• 利用棋盘着色与标准方向，在密铺的对偶图上构造一个高度函数，根据边界条件与边的方向分配数值。
• 利用高度函数在偏序集中定义一个序理想，再通过堆叠立方体将其双射映射到密铺，从而实现计数。
• 建立生成函数 $\mathrm{AD}(n;x,q) = \prod_{k=0}^{n-1}(1 + x q^{2k+1})^{n-k}$，其中 $x$ 用于追踪垂直多米诺骨牌，$q$ 用于追踪秩。
• 将密铺模型与具有阿扎特边界条件的六顶点（正方形冰）模型联系起来，证明当满足 $a^2 + b^2 = c^2$ 时，其配分函数等于 $c^{n^2}$，对应自由费米子情形。

实验结果

研究问题

• RQ1 阶数为 $n$ 的阿扎特钻石的多米诺骨牌密铺的确切数量是多少？如何通过垂直多米诺骨牌数量与密铺秩等统计量进行细化？
• RQ2 通过基本移动定义的密铺秩，与密铺对偶图上的高度函数构造之间有何关系？
• RQ3 阿扎特钻石的多米诺骨牌密铺与交替符号矩阵之间存在何种精确联系？这一联系如何延伸至单调三角形与六顶点模型？
• RQ4 密铺的生成函数能否被解释为更大元的多变量生成函数的特例？这对组合对称性意味着什么？
• RQ5 在正方形冰模型中，阿扎特边界条件如何影响配分函数与熵，相较于周期性边界条件？

主要发现

• 阶数为 $n$ 的阿扎特钻石的多米诺骨牌密铺数量恰好为 $2^{n(n+1)/2}$，该结果通过四种不同的证明方法得到确认。
• 精化生成函数 $\mathrm{AD}(n;x,q) = \prod_{k=0}^{n-1}(1 + x q^{2k+1})^{n-k}$ 同时编码了垂直多米诺骨牌的数量（$x$）与密铺的秩（$q$）。
• 阶数为 $n$ 的全垂直密铺的秩为 $n(n+1)(2n+1)/6$，是所有密铺中可能的最大值。
• 存在一个从阶数为 $n$ 的阿扎特钻石的多米诺骨牌密铺到长度为 $n(n+1)/2$ 的位串之间的双射，从而解释了总数 $2^{n(n+1)/2}$ 的来源。
• 在阿扎特边界条件下，具有满足 $a^2 + b^2 = c^2$ 的玻尔兹曼权重的正方形冰模型，其配分函数等于 $c^{n^2}$，对应自由费米子情形。
• 生成函数 $\mathrm{AD}(n;x,q)$ 是一个更大的 $2n$-变量生成函数的特例，该结论通过筛法（shuffling method）得到证明，并在后续工作中进一步确认。