[論文レビュー] Enumeration of tilings of diamonds and hexagons with defects

H. A. Helfgott, Ira M. Gessel|ArXiv.org|Oct 23, 1998

Advanced Combinatorial Mathematics参考文献 20被引用数 25

ひとこと要約

本稿では、ヘンケル行列式と連分数を用いて閉形式解を評価することで、欠損を含む六角形およびアズテック・ダイアモンドにおけるラテン型およびドミノタイリングの数え上げを、行列式に基づく手法で提示する。この手法により、ジェームズ・プロップのリストに掲げられた3つの未解決問題が解決され、特に(2n−1,2n,2n−1)六角形における中央の垂直ラテン型が、すべてのタイリングのちょうど1/3でカバーされることを証明する。

ABSTRACT

We show how to count tilings of Aztec diamonds and hexagons with defects using determinants. In several cases these determinants can be evaluated in closed form. In particular, we obtain solutions to problems 1, 2, and 10 in James Propp's list of problems on enumeration of matchings.

研究の動機と目的

• カステレインの行列式法を補完する、欠損を含む六角形およびアズテック・ダイアモンドのタイリング数え上げのための新しい手法を開発すること。
• マッチングの数え上げに関する未解決問題を解決すること、特にジェームズ・プロップのリストの問題1、2、および10を対象とすること。
• タイリング数を半タイリング数の平方和として表現し、それらをヘンケル行列式として評価すること。
• 連分数および超幾何恒等式を用いて、得られた行列式を閉形式で評価すること。
• 三角形または正方形が除去された対称的領域におけるタイリング数の正確な公式を提供すること。

提案手法

• 手法は、所定の位置に欠損を有する半領域（半六角形またはへこみ付きアズテック長方形）のタイリング数を数えることに始める。
• 全タイリング数は、欠損配置でインデックス付けられたこれらの半タイリング数の平方和として表現される。
• この和は、組合せ的恒等式を用いてヘンケル行列式に再定式化される。
• 生成関数に関する再帰に基づいて導出された連分数展開を用いて、ヘンケル行列式が評価される。
• 再帰は超幾何関数および微分的恒等式を用いて解かれ、閉形式が得られる。
• 特に、多項式の累乗和および生成関数に関する既知の恒等式を活用し、単項式を指数的生成関数に写像する作用素Eを用いる。

実験結果

リサーチクエスチョン

• RQ1 (2n−1,2n,2n−1) 六角形におけるラテン型タイリングのうち、中央の垂直ラテン型がカバーされる割合は何か？
• RQ2 中央の三角形が除去された (n,n+1,n,n+1,n,n+1) 六角形におけるラテン型タイリングの数は何か？
• RQ3 中央の正方形およびその隣接する正方形が除去された (2k−1)×2k のへこみなしアズテック長方形におけるドミノタイリングの数は何か？
• RQ4 対称的欠損領域のタイリング数え上げを、閉形式で評価可能な行列式に還元できるか？
• RQ5 タイリング数の構造を、ヘンケル行列式および連分数を用いてどのように表現できるか？

主な発見

• (2n−1,2n,2n−1) 六角形における中央の垂直ラテン型は、すべてのタイリングのちょうど1/3でカバーされ、プロップの問題1が確認された。
• 中央の三角形が除去された (n,n+1,n,n+1,n,n+1) 六角形におけるラテン型タイリングの数は、閉形式の行列式表現として与えられ、その値が積の公式に一致する。
• 中央の正方形およびその隣接する正方形が除去された (2k−1)×2k のへこみなしアズテック長方形におけるドミノタイリングの数は、ヘンケル行列式として表現可能であり、二項係数の有理関数に簡略化される。
• 生成関数に関する再帰に基づく連分数アプローチを用いて、タイリング問題から生じるヘンケル行列式を効果的に評価できた。
• タイリング数え上げの既知の生成関数と一致する連分数恒等式が導出され、超幾何関数に関する微分的関係を用いた自己完結的証明が得られた。
• プロップの問題10の解は、既知の超幾何恒等式の構造と一致する行列式評価により得られ、タイリング数の閉形式表現が得られた。