[論文レビュー] Counting of paths and the multiplicity of determinantal rings

Hsin-Ju Wang|ArXiv.org|Oct 24, 2002

Advanced Combinatorial Mathematics参考文献 6被引用数 3

ひとこと要約

この論文は、2方向ラダー型領域内の交差しない格子路の数を数える組合せ論的公式を導出し、Lindström–Gessel–Viennotの補題を用いてラダーマトリックスに関連する行列式環の多重度を計算する。主な貢献は、パス数え上げと符号反転置換を用いて、古典的な行列式イデアルに関する結果を拡張した、ラダーディスクリミナント環の多重度を表す新しい行列式公式である。

ABSTRACT

In this paper, we derive several formulas of counting families of non-intersecting paths for two-sided ladder-shaped regions. As an application, we give a new proof to a combinatorial interpretation of Fibonacci numbers obtained by G. Andrews in 1974.

研究の動機と目的

• 2方向ラダー型領域内の部分行列の小行列式から生じるラダーディスクリミナント環の多重度を計算すること。
• 長方形でないラダー型行列に対する古典的な多重度公式を一般化すること。
• 非交差格子パスの族による多重度の組合せ的解釈を提供すること。
• 非交差パスの数え上げ技法を用いて、歪対称行列に関連するパフィアン環の多重度に対する新しい公式を確立すること。

提案手法

• Lindström–Gessel–Viennotの補題を用いて、2方向ラダー型領域内の非交差格子パスの族を数える。
• 格子点に部分順序を定義し、制約付きグリッド上のソースからシンクへのパスをモデル化する。
• 符号反転置換を適用して、符号が交互に並ぶ格子パスの和を簡略化する。
• パスの数の行列の行列式を用いて、非交差パス系の数を計算する。
• グレブナー基底理論を用いて元の環を単項式イデアルに変換し、多重度を単体的複体の面の数に関連付ける。
• 幾何的変換により不要なパス成分を除去することで、問題を部分領域内の非交差パスの数え上げに還元する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的パス数え上げを用いて、ラダーディスクリミナント環の多重度をどのように計算できるか。
• RQ2 整数格子上の2方向ラダー型領域における非交差格子パスの構造はどのようなものか。
• RQ3 歪対称行列に関連するパフィアン環の多重度は、パスの数の行列式で表現できるか。
• RQ4 符号反転置換は、符号が交互に並ぶ格子パスの和をどのように簡略化するか。
• RQ5 非長方形なサポートを持つラダーディスクリミナント環の多重度公式の正確な形は何か。

主な発見

• ラダーマトリックスの $(r+1)$-小行列式によって定義されるラダーディスクリミナント環の多重度は、格子パス上の符号付き二項係数の和を成分とする行列の行列式で与えられる。
• ラダー $Y$ が $\{x_{ij} \mid 1 \leq i \leq m, \max\{1,l-i+2\} \leq j \leq \min\{n,n+m-k-i\}\}$ で定義されるとき、その多重度は $\det\left[\sum_{(a,b)\in T}(-1)^{a+b}\binom{m+n-i-j}{m-1+(a-b-1)(i-1)+a(k-m)+b(l-n)}\right]_{i,j=1}^r$ である。ここで $T = \{(a,b) \mid a-b=0 \text{ または } 1\}$ である。
• 歪対称行列における対角ラダーに対して、パフィアン環 $K[Y]/Q_r$ の多重度は $\det\left[\sum_{(a,b)\in T}(-1)^{a+b}\binom{2n-2r-i-j}{n-r-i+a(-r+i-1)+b(r-l-i)}\right]_{i,j=1}^{r-1}$ である。
• 特別な場合 $l = n-1$ において、パフィアン多重度は $\det\left[\binom{2n-2r-i-j}{n-r-i} - \binom{2n-2r-i-j}{n-2r-1}\right]_{i,j=1}^{r-1}$ に簡略化される。
• パスの冗長なセグメントを除去した後、$P_i = (i,r+1)$ から $Q_i' = (n-r,n-i+1)$ への非交差パス系の数は、パフィアン環の多重度に等しい。
• この手法により、関連する単体的複体の面と非交差パス系との間の全単写像が確立され、パス数え上げから得られる行列式公式の利用が可能になる。