[論文レビュー] Enumeration of Symmetry Classes of Alternating Sign Matrices and Characters of Classical Groups

Soichi Okada|ArXiv.org|Aug 18, 2004

Algebraic structures and combinatorial models参考文献 10被引用数 13

ひとこと要約

この論文は、Kuperbergの行列式およびパフィアン式を、高度な行列式およびパフィアン恒等式を用いて評価することにより、縦横対称交代符号行列（VHSASMs）の長年の予想を解決した。さまざまな対称性クラスのASMsの分配関数を、一般線型群（GL）、シミプレクティック群（Sp）、直交群（O）の非可約表現の特徴として表現し、閉形式の積表示を導出し、ASMsの数え上げとリー群の表現理論との深い関係を確立した。

ABSTRACT

An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round partition functions in terms of irreducible characters of classical groups. In particular, we settle a conjecture on the number of vertically and horizontally symmetric alternating sign matrices (VHSASMs).

研究の動機と目的

• 奇数次元の縦横対称交代符号行列（VHSASMs）の数に関する未解決の予想を解明すること。
• ASMsの対称性クラスの分配関数を、古典的群（GL、Sp、O）の非可約特徴関数の形で表現すること。
• Kuperbergの対称ASMs用の行列式およびパフィアン式を、閉形式の積表示にまで拡張すること。
• ASMsの数え上げに古典的群の特徴関数が現れる背後にある構造的および表現論的根拠を明確にすること。

提案手法

• ヴァンデルモンド型行列式を含む行列式およびパフィアン恒等式を用い、Kuperbergの分配関数を評価する。
• 古典的群の長方形表現に関する先行研究の恒等式を応用し、複雑な行列式およびパフィアンを簡略化する。
• 根の単位根（例：ζ₈、ζ₁₂）を用いて分配関数の変数を特殊化し、2-および3-数え上げを抽出する。
• 補題3.8を用いて多変数行列式を単一変数の特徴関数表現に還元する。
• ワイエルの次元公式を用いて特徴関数表現を閉形式の積表示に変換する。
• コーシーの行列式恒等式および特殊化された代入（例：xᵢ → xᵢ²、xᵢ → xᵢ² + xᵢ⁻²）を用いて対称的分配関数を評価する。

実験結果

リサーチクエスチョン

• RQ1 奇数次元の縦横対称交代符号行列（VHSASMs）の正確な数は何か？
• RQ2 なぜ古典的群（GL、Sp、O）の非可約特徴関数がASMsの対称性クラスの数え上げに現れるのか？
• RQ3 Kuperbergの対称ASMs用の行列式およびパフィアン式は、閉形式の積表示に評価可能か？
• RQ4 ASMsの数え上げに群の特徴関数が現れる背後には、表現論的説明があるか？
• RQ5 対称ASMsの2-および3-数え上げの分配関数の構造は何か？

主な発見

• $4n+1 \times 4n+1$ のVHSASMsの数は、$3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1)) \cdot 2^{-2n}3^{-n^{2}}\dim\widetilde{\mathbf{O}}_{4n}(\delta(n+1/2,n-1/2))$ で与えられ、ミルズ予想が解決された。
• $4n \times 4n$ のQTSASMsの数は、$\left(3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n-1,n-1))\right)^3 \cdot 3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n,n-1))$ であり、閉形式の積表示である。
• $2n \times 2n$ のHTSASMsの数は、$3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n-1,n-1)) \cdot 3^{-n(n-1)/2}\dim\mathbf{GL}_{2n}(\delta(n,n-1))$ であり、精緻化された積表示が確認された。
• $(2n+1) \times (2n+1)$ のVSASMsの数は、$3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1))$ であり、VSASMsがシミプレクティック群の表現に関連していることを示した。
• $2n \times 2n$ のOSASMsの数は、$3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1))$ であり、直接的なシミプレクティック特徴関数への接続を示した。
• $(8n+1) \times (8n+1)$ のVOSASMsの数は、$\left(3^{-n(n-1)}\dim\mathbf{Sp}_{4n}(\delta(n-1,n-1))\right)^2$ であり、特徴関数に基づく数え上げを新たな対称性クラスに拡張した。