[論文レビュー] Lozenge tilings of doubly-intruded hexagons

Mihai Ciucu, Tri Lai|arXiv (Cornell University)|Dec 21, 2017

Advanced Combinatorial Mathematics参考文献 19被引用数 3

ひとこと要約

本稿では、2つの対称的に配置されたフERN型の欠損部（連続する三角形の穴の除去）を有する六角形領域におけるラテンタイリング数の明示的積公式を提示する。マクマヘンの古典的公式を一般化したもので、クォ・コンデンセーションと$q$-数え上げ技術を用いて、パラメータの一次因数を含む閉形式の式を得た。これは、欠損付きアズテック・ダイヤモンドにおいて見られる複雑な素因数分解とは対照的である。さらに、このような領域におけるタイリングの極限および相転移に関する統計力学的問いを提起する。

ABSTRACT

Motivated in part by Propp's intruded Aztec diamond regions, we consider hexagonal regions out of which two horizontal chains of triangular holes (called ferns) are removed, so that the chains are at the same height, and are attached to the boundary. By contrast with the intruded Aztec diamonds (whose number of domino tilings contain some large prime factors in their factorization), the number of lozenge tilings of our doubly-intruded hexagons turns out to be given by simple product formulas in which all factors are linear in the parameters. We present in fact $q$-versions of these formulas, which enumerate the corresponding plane-partitions-like structures by their volume. We also pose some natural statistical mechanics questions suggested by our set-up, which should be possible to tackle using our formulas.

研究の動機と目的

• 正則な六角形におけるマクマヘンのラテンタイリング公式を、2つの対称的に配置されたフERN型の欠損部を有する領域へ一般化すること。
• このような二重に欠損のある六角形領域におけるラテンタイリング数の単純で閉形式の積公式を導出すること。
• タイリングの体積による数え上げを可能とする$q$-数え上げへの拡張を行い、生成関数の枠組みを提供すること。
• 特に、欠損部の影響が極限形状および相転移に与える影響を含め、大規模極限におけるタイリング行動に関する統計力学的問いを検討すること。

提案手法

• フエン型の穴を有する六角形領域におけるタイリング数の再帰的関係を導出するためのクォ・コンデンセーションの応用。
• 部分的なローブサイズの和の積の交 alternating 表現として、タイリング数をハイパーファクタリアル関数$\operatorname{H}(n)$を用いて表現すること。
• 体積別にタイリングを数える$q$-アナローグを構築し、シュール関数と対称関数の恒等式を用いて、$q$に関する有理生成関数を得ること。
• 特に重みなしの場合に、強制的なラテンタイリングの議論と格子路の解釈を用いてタイリング配置を同定すること。
• ゲルファンド＝ツェリン行列式のコーン＝ラーセン＝プロップ解釈を用いて、タイリング数とシュール関数を関連付けること。
• タイリング数え上げと対称関数論を結びつける重要なシュール関数の恒等式（式9.5）を導出すること。

実験結果

リサーチクエスチョン

• RQ1 水平方向に共通の直線に沿って配置された2つの対称的フERNを有する六角形領域におけるラテンタイリングの正確な数は何か？
• RQ2 マクマヘンの元の公式と同様に、パラメータの一次因数を含む単純な積公式としてタイリング数を表現できるか？
• RQ3 $q$-数え上げのタイリングはどのように振る舞い、シュール関数および対称関数の恒等式とどのような関係があるか？
• RQ4 領域のサイズが大きくなる極限におけるタイリング数の漸近的挙動は何か。特に、極限形状および相転移との関係はどうか？
• RQ5 大規模極限において、タイリング数が最大値をとる高さとスリット長の比は何か？

主な発見

• ローブサイズが$a_1, \dots, a_m$および$b_1, \dots, b_n$である二重に欠損のある六角形領域におけるラテンタイリング数は、ローブサイズの部分和のハイパーファクタリアル関数を含む積公式で与えられる。
• $q$-数え上げは、ハイパーファクタリアル関数の積とシュール関数の積の比として表現され、$q$に関する有理生成関数をもたらす。
• タイリング数は、欠損付きアズテック・ダイヤモンドとは異なり、パラメータの一次因数の積の形を保ち続ける。
• タイリング数え上げと対称関数論を結びつけるシュール関数の恒等式（式9.5）が導出され、ハイパーファクタリアル関数を用いて明示的に評価可能である。
• 漸近的極限において、最大のタイリング数は2つのフERNの長さが等しい（$r_p = 1$）場合に達する。これは、対称性がタイリングエントロピーを最大化することを示唆している。
• 固定された$p = M/(M/2 + N$に対して、最大のタイリング数は2つの欠損部が対称である、すなわち$r_p = 1$のときであると著者らは予想し、最適な高さ$h_p$を特定するという未解決問題を提起している。