[論文レビュー] 3-enumerated alternating sign matrices

Yu. G. Stroganov|ArXiv.org|Apr 1, 2003

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

ひとこと要約

本稿では、n×nの交代符号行列（ASMs）の最初の行の'1'が列rにあるものの3-重みA(n,r;3)をカウントする生成関数$ G_n(t) = \sum_{r=1}^n A(n,r;3) t^{r-1} $の明示的公式を導出する。ドメインウォール境界とスペクトルパラメータを伴う六頂点模型を用いて、偶数次ASMsに対して2階の漸化式（定理1）を確立し、奇数次と偶数次生成関数の間の関数的関係（定理2）を導出する。この結果は、Kuperbergの3-重みの結果を特別な場合として再現する。

ABSTRACT

Let $A(n,r;3)$ be the total weight of the alternating sign matrices of order $n$ whose sole `1' of the first row is at the $r^{th}$ column and the weight of an individual matrix is $3^k$ if it has $k$ entries equal to -1. Define the sequence of the generating functions $G_n(t)=\sum_{r=1}^n A(n,r;3)t^{r-1}$. Results of two different kind are obtained. On the one hand I made the explicit expression for the even subsequence $G_{2ν}(t)$ in terms of two linear homogeneous second order recurrence in $ν$ (Theorem 1). On the other hand I brought to light the nice connection between the neighbouring functions $G_{2ν+1}(t)$ and $G_{2ν}(t)$ (Theorem 2). The 3-enumeration $A(n;3) \equiv G_n(1)$ which was found by Kuperberg is reproduced as well.

研究の動機と目的

• 3-重み付きASMsの生成関数$ G_n(t) $を、最初の行の'1'の列位置でパラメータ化した明示的表現を導出すること。
• 偶数次ASMsの正規化された生成関数$ \tilde{G}_{2\nu+2}(t) $に対する2階の漸化式を確立すること。
• 奇数次と偶数次生成関数の間の関数的関係$ \tilde{G}_{2\nu+1}(t) $と$ \tilde{G}_{2\nu}(t) $を解明すること。
• 導出された構造の整合性を確認するため、Kuperbergの3-重みの公式$ A(n;3) = G_n(1) $を再現すること。

提案手法

• 非一様六頂点模型にドメインウォール境界条件と特定のスペクトルパラメータ（$ x_1 = u $、$ x_i = \pi/2 $（$ i \geq 2 $）、$ y_i = 0 $）を適用する。
• 3-重みはボルツマン重み$ a(u) = 2\sin(u + \pi/3) $、$ b(u) = 2\sin(u - \pi/3) $、$ c(u) = \sqrt{3} $に対応し、三角関数的分配関数$ Z(u) $を生成する。
• 関数$ f(u) = Z(u) \sin^n u \cos^{n-1} u $は、恒等式$ f(u) + f(u + 2\pi/3) + f(u + 4\pi/3) = 0 $を満たし、これにより$ Z(u) $の形が制約される。
• 偶数$ n = 2\nu+2 $の場合、変数係数をもつ2階線形漸化式を満たす2つの多項式列$ g^{(j)}_\nu(t) $を用いて解が表現される。
• 奇数$ n = 2\nu+1 $の場合、対称性と関数的制約から$ \tilde{G}_{2\nu+1}(t) = \tilde{G}_{2\nu}(t) \cdot \frac{2(1+2t)(2+t)}{9(t+1)} $が導かれる。
• 正規化と特別な点$ u = \pi/3 $、$ u = \pi/2 $における評価により、$ A(n;3) $の閉形式が得られ、既知の結果と一致する。

実験結果

リサーチクエスチョン

• RQ1 3-重み付きASMsの生成関数$ G_n(t) $の明示的構造は、最初の行の'1'の列位置でどのようにパラメータ化されるか？
• RQ2 3-重み付き条件下で、偶数次と奇数次ASMsの生成関数はどのように関係しているか？
• RQ3 六頂点模型の分配関数の関数的方程式から、3-重みの公式$ A(n;3) $を一貫して導出できるか？
• RQ4 偶数次生成関数$ G_{2\nu+2}(t) $の背後にある多項式を支配する漸化式は何か？
• RQ5 スペクトルパラメータ$ u $の特別な値が、既知の$ A(n;3) $の列挙公式とどのように関連するか？

主な発見

• 偶数次ASMsの正規化された生成関数は、$ \tilde{G}_{2\nu+2}(t) = \frac{(2\nu+1)!}{(3\nu+2)!} \cdot \frac{(3\nu+2)g^{(1)}_\nu(t) - (3\nu+1)g^{(2)}_\nu(t)}{t+1} $で与えられ、$ g^{(j)}_\nu(t) $は2階の漸化式を満たす。
• 多項式$ g^{(j)}_\nu(t) $は漸化式：$ 3(1-t^2)^2 g^{(j)}_{\nu+1} - (2\nu+1)(1+4t+t^2)[3(1+t+t^2)^2 - (1+4t+t^2)^2] g^{(j)}_\nu - (9\nu^2 - j^2)t^2(1+2t)^2(2+t)^2 g^{(j)}_{\nu-1} = 0 $で定義され、明示的な初期条件を持つ。
• 奇数$ n = 2\nu+1 $の場合、生成関数は$ \tilde{G}_{2\nu+1}(t) = \tilde{G}_{2\nu}(t) \cdot \frac{2(1+2t)(2+t)}{9(t+1)} $を満たし、奇数系と偶数系の間の直接的な接続を確立する。
• $ u = \pi/2 $で評価すると、$ A(2\nu+2;3) = \left(\frac{16}{3}\right)^\nu \frac{4c_\nu (3\nu+2)!}{\sqrt{3} \, \nu! \, (2\nu+1)!} $が得られ、Kuperbergの公式と一致する。
• $ u = \pi/3 $で正規化すると、$ A(2\nu+1;3) = \left(\frac{4}{3}\right)^{2\nu+1} \frac{c_\nu \sqrt{3} (2\nu+1)!}{(\nu!)^2} $が得られ、漸化式構造と整合的である。
• 三角関数的多項式恒等式と関数的方程式を用いた全解の構成により、既知の列挙結果と整合する生成関数枠組みの整合性が確認された。