[論文レビュー] Symmetry Classes of Alternating Sign Matrices

David P. Robbins|ArXiv.org|Aug 5, 2000

Advanced Combinatorial Mathematics参考文献 8被引用数 69

ひとこと要約

この論文は、正方形のディドラル群によって誘導される8つの対称性クラスにおける交代的符号行列（ASMs）の列挙を調査する。6つのクラスについて、生成関数に $Z_n(x,y,\mu)$、$T_n(x,\mu)$、$R_n(x,\mu)$ を含む、積公式の予想を提示し、それらが循環的対称平面分割と深い関係を持つことを明らかにする。クラス1, 2, 3, 4, 6, 7について明示的な公式が与えられ、組合せ的同型性を示唆する生成関数の恒等式が得られる。

ABSTRACT

An alternating sign matrix is a square matrix satisfying (i) all entries are equal to 1, -1 or 0; (ii) every row and column has sum 1; (iii) in every row and column the non-zero entries alternate in sign. The 8-element group of symmetries of the square acts in an obvious way on square matrices. For any subgroup of the group of symmetries of the square we may consider the subset of matrices invariant under elements of this subgroup. There are 8 conjugacy classes of these subgroups giving rise to 8 symmetry classes of matrices. R. P. Stanley suggested the study of those alternating sign matrices in each of these symmetry classes. We have found evidence suggesting that for six of the symmetry classes there exist simple product formulas for the number of alternating sign matrices in the class. Moreover the factorizations of certain of their generating functions point to rather startling connections between several of the symmetry classes and cyclically symmetric plane partitions.

研究の動機と目的

• 正方形のディドラル群によって誘導される8つの対称性クラスにおける交代的符号行列（ASMs）を体系的に研究すること。
• 特に8つのクラスのうち6つについて、各対称性クラスにおけるASMsの数の閉形式積公式を予想すること。
• 生成関数を通じて、ASMsの対称性クラスと循環的対称平面分割との間の関係を調査すること。
• 各対称性クラスにおける組合せ的データを符号化し、構造的類似性を明らかにする、$Z_n(x,y,\mu)$、$T_n(x,\mu)$、$R_n(x,\mu)$ の明示的生成関数を提供すること。

提案手法

• ディドラル群 $D_4$ の部分群による不変性によって、ASMsの対称性クラスを定義する。反射、回転、対角転置などの対称性に対応する。
• 生成関数 $Z_n(x,y,\mu)$、$T_n(x,\mu)$、$R_n(x,\mu)$ を用いて、各対称性クラスにおけるASMsの数を符号化する。ここで $\mu$ は境界条件を制御する。
• 小規模な $n$ に対する数値的証拠に基づき、特にクラス1, 2, 3, 4, 6, 7について、各クラスにおけるASMsの数を二項係数の積として表現する。
• 生成関数を既知の組合せ的対象と関連付ける：$Z_n(x,y,0)$ は $n \times n \times n$ 箱内の循環的対称平面分割を表し、$Z_n(x,y,1)$ は降下平面分割を表す。
• $Z_n(x,y,\mu)$ の係数の回文的構造を分析し、多項式恒等式を用いて、より深い代数的または表現論的関係を示唆する。
• 各対称性クラスにおける再帰的関係と、連続する項の比を提示する。例えば $A_n$、$F_n$、$H_n$、$Q_n$、$P_n$、$X_n$ のような列について。

実験結果

リサーチクエスチョン

• RQ1 正方形の8つの対称性クラスのそれぞれについて、ASMsの数に対する単純な積公式は存在するか？
• RQ2 生成関数の因数分解から示唆されるように、ASMsの対称性クラスと循環的対称平面分割との間にどのような関係があるか？
• RQ3 生成関数 $Z_n(x,y,\mu)$、$T_n(x,\mu)$、$R_n(x,\mu)$ は、各対称性クラスにおけるASMsの列挙をどのように符号化するか？
• RQ4 対称性クラスの生成関数は、平面分割やシュール関数などの既知の組合せ的対象で表現可能か？
• RQ5 列 $A_n$、$F_n$、$H_n$、$P_n$、$X_n$ の連続する項の比は、予想されたように二項係数の有理関数として得られるか？

主な発見

• 完全対称性クラス（クラス1）におけるASMsの数は、公式 $A_{n+1}/A_n = \binom{3n+1}{n}/\binom{2n}{n}$ で与えられ、既知のASM列挙公式と一致する。
• 垂直対称性クラス（クラス2）について、$F_{2n+1}/F_{2n-1} = \binom{6n-2}{2n}/(2\binom{4n-1}{2n})$ が予想される。
• 半回転対称性クラス（クラス3）について、$H_{2n+1}/H_{2n} = \binom{3n}{n}/\binom{2n}{n}$ および $H_{2n}/H_{2n-1} = 4\binom{3n}{n}/(3\binom{2n}{n})$ が提示される。
• 対角対称性クラス（クラス4）は $Q_{4n} = H_{2n} A_n^2$ を満たし、$Q_{4n+1}$ および $Q_{4n-1}$ に対しても同様の公式が成り立つ。これにより、他の対称性クラスの積と関連づけられる。
• 全対称性クラス（クラス8）について、$X_{2n+1}/X_{2n-1} = \binom{3n}{n}/\binom{2n-1}{n}$ が予想される。
• 生成関数 $Z_n(x,y,0)$ は、$n \times n \times n$ 箱内の循環的対称平面分割を符号化しており、その係数は回文的列を形成する。