[論文レビュー] Another dual of MacMahon's theorem on plane partitions

Mihai Ciucu|arXiv (Cornell University)|Sep 21, 2015

Advanced Combinatorial Mathematics参考文献 10被引用数 7

ひとこと要約

本稿では、『フェarn』—格子線上に沿って交互に向きが入れ替わる正三角形が並んだ構造—を、MacMahonの平面分割定理の双対的対応物として導入する。フェアンを三角格子上の六角形領域の中心に埋め込むことで、外部領域のレンガタイルの正規化された個数についての積公式を導出し、MacMahonの古典的結果を一般化するとともに、フェアンとシャムロック構造の間のより深い双対性を明らかにする。

ABSTRACT

In this paper we introduce a counterpart structure to the shamrocks studied in the paper "A dual of Macmahon's theorem on plane partitions" by M. Ciucu and C. Krattenthaler (Proc. Natl. Acad. Sci. USA, vol. 110 (2013), 4518-4523), which, just like the latter, can be included at the center of a lattice hexagon on the triangular lattice so that the region obtained from the hexagon by removing it has its number of lozenge tilings given by a simple product formula. The new structure, called a fern, consists of an arbitrary number of equilateral triangles of alternating orientations lined up along a lattice line. The shamrock and the fern seem to be the only structures with this property. It would be interesting to understand why these are the only two such structures.

研究の動機と目的

• 平面分割に関するマクマホンの定理を拡張し、単純なタイリング積公式を持つ新しい種類の格子構造を導入すること。
• 新たに定義された『フェアン』構造と、以前に研究済みの『シャムロック』構造との間のタイリング数え上げにおける双対性を確立すること。
• フェアンが六角形領域に埋め込まれた場合、その正規化されたタイリング数が積公式で与えられることを示すこと。
• なぜフェアンとシャムロック構造の両方のみがこのタイリング性質を示すのかを調査し、組合せ論的本質的独自性を示唆すること。

提案手法

• 格子線上に交互な向きの正三角形が並ぶ構造 $ F(a_1, \dotsc, a_k) $ を定義する。ここで、辺の長さは $ a_1, \dotsc, a_k $ である。
• フェアンを除いた六角形領域 $ F^*(a_1, \dotsc, a_k) $ を定義し、そのレンガタイリング数 $ \operatorname{M}(F^*(a_1, \dotsc, a_k)) $ を研究する。
• 極限 $ N \to \infty $ を用いた、$ H_N(a_1, \dotsc, a_k) $ 内のタイリング数の列の極限を用いて、$ F^*(a_1, \dotsc, a_k) $ と $ F^*(o,e) $ 間の正規化されたタイリング数比を定義する。ここで $ o = a_1 + a_3 + \cdots $、$ e = a_2 + a_4 + \cdots $ である。
• Gelfand-Tsetlinの結果の Cohn-Larsen-Propp 解釈を用いて、半六角領域 $ S(b_1, \dotsc, b_l) $ のタイリング数をハイパーファクターリアルおよび $ b_i $ の交互和を用いて表現する。
• 六角形領域の再帰的分解を用いてタイリング関数の再帰関係を導出し、代数的恒等式による整合性を検証する。
• フェアンを含む最小のバランスの取れた六角形 $ \operatorname{M}(H_F) $ のタイリング数に等しい、正規化されたタイリング比の幾何的解釈を確立する。

実験結果

リサーチクエスチョン

• RQ1 シャムロック以外に、六角形領域に埋め込まれた場合に外部領域のレンガタイリング数について単純な積公式が成り立つような構造は他にどのようなものがあるか？
• RQ2 フェアン構造はマクマホンの古典的平面分割公式をどのように一般化するか？
• RQ3 なぜフェアンとシャムロック構造の両方のみが、外部タイリング数について単純な積公式を満たすのか？
• RQ4 フェアンの正規化されたタイリング比は、半六角領域に関する既知のタイリング公式で表現できるか？
• RQ5 フェアンの外部タイリング数の積公式を説明する幾何的解釈は存在するか？

主な発見

• フェアンの外部領域の正規化されたタイリング比は、$ \frac{\operatorname{M}(F^*(a_1,\dotsc,a_k))}{\operatorname{M}(F^*(o,e))} = s(a_1,\dotsc,a_{k-1}) \cdot s(a_2,\dotsc,a_k) $ で与えられ、ここで $ s $ は交互に除去された部分と保持された部分を持つ半六角領域のタイリング数を表す。
• $ k = 3 $ の場合、この公式はマクマホンの元々の平面分割公式に還元され、フェアンが古典的結果を一般化していることが示される。
• 正規化されたタイリング比は、フェアンを含む最小のバランスの取れた六角形のタイリング数 $ \operatorname{M}(H_F) $ に等しく、幾何的解釈が得られる。
• パラメータの特定のシフトに対して、タイリング比は不変であり、正規化比の定義における極限は、$ N \to \infty $ の極限に限らず、有限の $ N $ に対しても安定する。
• タイリング関数の再帰関係は代数的に検証され、導出された積公式と整合することが確認された。
• フェアンとシャムロックは、このタイリング双対性を持つ唯一の構造であると予想され、組合せ論的本質的独自性を示唆している。