[論文レビュー] Plane partitions II: 5 1/2 symmetry classes

Mihai Ciucu, Christian Krattenthaler|arXiv (Cornell University)|Aug 4, 1998

Advanced Combinatorial Mathematics参考文献 15被引用数 24

ひとこと要約

本稿では、行列式の評価とタイリングの双対写像を用いて、ボックス内の平面分割の10種類の対称性クラスのうち5つについて、単純で組み合わせ的な証明を提示する。周期的対称、転置補完、自己補完の平面分割に対しては初等的な導出がなされ、2つの難解な行列式の新しい評価が得られ、2つのボックス次元が等しい場合の自己補完ケースについても簡略化された証明が提示される。

ABSTRACT

We present new, simple proofs for the enumeration of five of the ten symmetry classes of plane partitions contained in a given box. Four of them are derived from a simple determinant evaluation, using combinatorial arguments. The previous proofs of these four cases were quite complicated. For one more symmetry class we give an elementary proof in the case when two of the sides of the box are equal. Our results include simple evaluations of the determinants $\det(δ_{ij}+{x+i+j\choose i})_{0\leq i,j\leq n-1}$ and $\det({x+i+j\choose 2j-i})_{0\leq i,j\leq n-1}$, notorious in plane partition enumeration, whose previous evaluations were quite intricate.

研究の動機と目的

• 5つの平面分割の対称性クラスについて、従来複雑であった数え上げ結果を簡略化する初等的で組み合わせ的な証明を提供すること。
• 平面分割の数え上げに中心的な役割を果たす2つの困難な行列式、$\det\left(\delta_{ij}+{x+i+j\choose i}\right)$ および $\det\left({x+i+j\choose 2j-i}\right)$ の簡単な評価を導出すること。
• 2つのボックス次元が等しい場合の自己補完対称性クラスに、タイリングの生成関数と領域の因数分解を用いてこれらの証明を拡張すること。
• タイリングの対称性と行列式の恒等式を用いて、周期的対称、自己補完、転置補完の平面分割の既存の証明を統一的かつ簡略化すること。
• ミルズ、ロビンズ、ラムジーが提起した長年の未解決問題である (1.1) に現れる行列式の簡単な評価を、組み合わせ的議論により達成すること。

提案手法

• 平面分割の対称性がヘキサゴンのレンガタイル配置の対称性に対応することに着目したクーパーの観察を活用する。
• 完全マッチングの因数分解定理を適用し、タイル配置の数を部分領域と重みの積に分解する。
• クラットンターラーの結果（アンドリュース＝バーグを一般化）を、4つの対称性クラスの基盤として用いる。
• 強制されたレンガタイルを除いた残りの部分を、先行研究における家族 $R_{{\mathbb{l}},{\mathbb{q}}}(x)$ や $\bar{R}_{{\mathbb{l}},{\mathbb{q}}}(x)$ のメンバーと識別し、タイリング数をマッチング数に還元する。
• 先行研究 \\cite{8} のタイリング生成関数の結果を応用し、閉形式の積公式を導出する。
• 再帰的行列式恒等式と行列式の恒等式 (2.3) を用いて、行列式評価の簡略化と検証を行う。

実験結果

リサーチクエスチョン

• RQ1 周期的対称平面分割の数え上げは、単純な行列式評価と組み合わせ的双対写像によって導けるか？
• RQ2 行列式 $\det\left(\delta_{ij}+{x+i+j\choose i}\right)_{0\leq i,j\leq n-1}$ は、長年の未解決問題を解消する単純な評価が可能か？
• RQ3 2つのボックス次元が等しい場合の自己補完平面分割の数え上げは、簡略化可能か？
• RQ4 転置補完と周期的対称自己補完ケースは、同一の組み合わせ的枠組みで統一可能か？
• RQ5 特定の部分領域（例：$\bar{R}_{{\mathbb{l}},{\mathbb{q}}}(x)$）のタイリング生成関数は、既知の平面分割の数え上げと一致する積公式をもたらすか？

主な発見

• 本稿は、ミルズ、ロビンズ、ラムジーが提起した (1.1) の行列式に関する問題を解決し、周期的対称平面分割の数え上げについて単純な証明を提供する。
• 行列式 $\det\left(\delta_{ij}+{x+i+j\choose i}\right)_{0\leq i,j\leq n-1}$ について、既知の結果と一致するがはるかに単純な導出による新しい初等的評価が得られる。
• 同じ枠組みを用いて、行列式 $\det\left({x+i+j\choose 2j-i}\right)_{0\leq i,j\leq n-1}$ も閉形式で評価され、平面分割の数え上げにおける長年の課題が解決される。
• 2つのボックス次元が等しい自己補完ケースでは、$SC(2x,2x,2y) = PP(x,x,y)^2$、$SC(2x,2x,2y+1) = PP(x,x,y)PP(x,x,y+1)$、$SC(2x+1,2x+1,2y) = PP(x,x+1,y)^2$ が示され、ここで $PP(a,b,c)$ は標準的な積公式である。
• 転置補完ケース $TC(a,a,2b)$ は、領域 $\bar{R}_{[a-1],\emptyset}(b)$ のタイリング生成関数から導出され、プロクターの以前の結果と整合する積公式が得られる。
• 自己補完ケースが、明示的な2の累乗重みを伴う部分領域 $\bar{R}_{{\mathbb{l}},{\mathbb{q}}}(x)$ のタイリング数の積に等価であることが証明され、対称ケースにおける既知の公式が確認される。