[論文レビュー] Enumeration of Cylindric Plane Partitions - Part II

Robin Langer|arXiv (Cornell University)|Sep 9, 2012

Random Matrices and Applications参考文献 7被引用数 7

ひとこと要約

この論文は、Fominの一般化されたRSK対応の成長図枠組みを用いて、バロディンの円柱平面分割の母関数恒等式に対する新しい双対的証明を提示する。円柱平面分割と整数分割およびラベル付き円柱図形の組の間の重みを保つ双対写像を確立し、局所規則と成長図を用いて、フック長の公式の組合せ的解釈を円柱設定に拡張する。

ABSTRACT

Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. As in the reverse plane partition case, the right hand side of this identity admits a simple factorization form in terms of the "hook lengths" of the individual boxes in the underlying shape. The main result of this paper is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences.

研究の動機と目的

• 円柱平面分割のバロディンの母関数恒等式に対する双対的証明を提供すること。
• Fominの成長図枠組みを円柱設定に拡張すること。
• 円柱平面分割とペア (γ, A) の間の重みを保つ対応を確立すること。ここで γ は整数分割であり、A はラベル付き円柱図形である。
• 局所規則に基づく組合せ的枠組みを構築することで、ヒルマン＝グラスルのアルゴリズムを円柱ケースに一般化すること。
• 双対写像の表現論的および代数的意義を、アフィンリー代数とクリスタル基底の文脈で探求すること。

提案手法

• Fominの一般化されたRSK対応の成長図枠組みを用いて、円柱平面分割とラベル付き円柱図形の間の双対写像をモデル化する。
• 反転を含むプロファイルに作用する局所規則 (Li) を有する円柱成長図を定義し、非重複する位置に適用する際に可換性を保証する。
• 局所規則 Mi を適用して、成長図内のパス間の双対写像を上昇させ、異なる円柱平面分割に対応させる。
• 「円柱反転座標」(i, j, k) を用いて「円柱フック長」j−i+kT を定義し、これがバロディンの母関数に現れる。
• ラベルの和とフック長の積が、円柱平面分割の総重み |c| に一致するように、重みを保つ双対写像を構築する。
• 円柱シフト作用素を用いてプロファイルを回転させ、異なるパス構成にわたる局所規則の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Fominの成長図と局所規則を用いて、円柱平面分割のバロディンの母関数恒等式を双対的に証明できるか？
• RQ2 ヒルマン＝グラスルのアルゴリズムはどのように円柱ケースに一般化できるか？
• RQ3 双対写像に用いられる局所規則の表現論的意味は何か？
• RQ4 周期的境界条件を伴う円柱設定において、成長図枠組みは自然に拡張可能か？
• RQ5 大きな円柱平面分割の極限において、サイクルシービング現象やアーティックサークルの挙動が観察されるか？

主な発見

• プロファイル π を持つ円柱平面分割と、整数分割 γ およびプロファイル π を持つ任意のラベル付き円柱図形 A のペア (γ, A) の間には、自然で重みを保つ双対写像が存在する。
• 双対写像は、非重複する反転に適用される際に可換性を保つFominの成長図枠組みと局所規則を用いて構築される。
• 証明により、円柱平面分割の母関数がバロディンの積公式と一致することが示され、円柱フック長 j−i+kT が重みとして現れる。
• ペア (γ, A) の重みは T|γ| + |A| であり、ここで |A| は各ボックスの円柱フック長に重み付けされたラベルの和である。
• 成長図と局所規則の適用を用いて、逆平面分割の双対写像（ヒルマン＝グラスル経由）を円柱ケースに拡張する枠組みが構築される。
• 対角和とフック長寄与の明示的計算により、構成が強く重みを保つことが検証されている。