[論文レビュー] A Compound Determinant Identity for Rectangular Matrices

Masao Ishikawa, Masahiko Ito+1 more|arXiv (Cornell University)|Jun 15, 2011

Matrix Theory and Algorithms参考文献 6被引用数 3

ひとこと要約

本稿では、長方形行列の小行列式に関する複合行列式恒等式を確立し、古典的なコーシー＝シルベスター行列式恒等式を長方形設定に拡張する。主な結果として、組み合わせ的写像を用いた新規な合成から部分集合への埋め込みにより、二項係数および対称関数を含む明示的な積公式を与えるバーデルモンデ型行列式公式を、古典的群の特徴関数（シュール関数およびシミプレクティック・シュール関数を含む）に対して得る。

ABSTRACT

A compound determinant identity for minors of rectangular matrices is established. As an application, we derive Vandermonde type determinant formulae for classical group characters.

研究の動機と目的

• 長方形行列へのコーシー＝シルベスター行列式恒等式の一般化を、小行列式に関する複合行列式恒等式の確立によって達成する。
• 新規な複合行列式恒等式を用いて、シュール関数およびシミプレクティック・シュール関数を含む古典的群の特徴関数の明示的行列式公式を導出する。
• マクドナルド対称関数の枠組みを、シュール関数との関係を通じて新規な行列式構造に拡張する。
• 合成から部分集合への写像を介した一様な組合せ的メカニズムを提供する——この写像は辞書式順序を保ち、行列式の評価を可能にする。

提案手法

• 合成 $Z_{s,n}$ から $[sn]$ の $n$ 成分部分集合への写像 $\iota_{s,n}$ を用いて、$[sn]$ の $n$ 成分部分集合に辞書式順序を導入する。$\mu = (\mu_1,\dots,\mu_s)$ に対して、$\bigcup_{i=1}^s[(i-1)n+1, (i-1)n + \mu_i]$ を定義する。
• 各ブロックに $n$ 個の変数を含む $s$ 個のブロックからなる長方形行列の小行列式に基づく複合行列式を定義する。インデックスは合成 $\mu \in Z_{s,n}$ および $((s-1)^n)$ に含まれる分割 $\lambda$ で与える。
• 定理 1.3 として、小行列式からなる行列の行列式が、変数の差の積を二項係数のべきに上げた形で表されることを確立する行列式恒等式を構築する。
• 複合行列式の構造を用いて、シュール関数 $\mathbf{GL}_n(\lambda;X_I)$ およびシミプレクティック・シュール関数 $\mathbf{Sp}_{2n}(\lambda;X_I)$ の恒等式を導出し、明示的なバーデルモンデ型公式を得る。
• マクドナルド多項式 $P_\lambda(x;q,t)$ とシュール関数との関係を活用し、正規化因子と直交性を用いて $P_\lambda(X_\mu;q,t)$ および $Q_\lambda(X_\mu;q,t)$ の行列式恒等式を導出する。
• 変数 $x_j^{(k)} \to +\infty$ における漸近的解析を適用し、主要項の挙動を確認することで、導出された行列式恒等式の正しさを検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的なコーシー＝シルベスター行列式恒等式は、複合行列式恒等式を用いて長方形行列へ拡張可能か？
• RQ2 合成および部分集合でインデックス付けされた、長方形行列の小行列式を成分とする行列の行列式の明示的形は何か？
• RQ3 このような複合行列式恒等式を用いて、シュール関数やシミプレクティック・シュール関数といった古典的群の特徴関数の行列式公式をどのように導出できるか？
• RQ4 マクドナルド多項式 $P_\lambda(X_\mu;q,t)$ の行列式と変数の差の積との関係は何か？また、正規化は結果にどのように影響するか？
• RQ5 $\iota_{s,n}$ による合成から部分集合への写像は、辞書式順序を保ち、滑らかな行列式評価を可能にするか？

主な発見

• 複合行列式恒等式（定理 1.3）は、$[sn]$ の $n$ 成分部分集合 $I,J$ でインデックス付けされた小行列式からなる行列の行列式が、$\left(\det A\right)^{\binom{sn-1}{n-1}}$ に等しいと述べる。これは、長方形行列へのコーシー＝シルベスター恒等式の一般化である。
• シュール関数に対しては、行列式 $\det\left(\mathbf{GL}_n(\lambda;X_I)\right)_{\lambda,I}$ が $\left(\prod_{1\leq i<j\leq s}(x_i - x_j)\right)^{\binom{s-2}{n-1}}$ に等しくなる。ここで $\lambda$ は $((s-n)^n)$ に含まれる分割、$I$ は $[s]$ の $n$ 成分部分集合を走る。
• シミプレクティック・シュール関数に対しては、行列式 $\det\left(\mathbf{Sp}_{2n}(\lambda;X_I)\right)_{\lambda,I}$ が $\left(\prod_{1\leq j<k\leq s}\frac{(x_k - x_j)(1 - x_j x_k)}{x_j x_k}\right)^{\binom{s-2}{n-1}}$ に等しい。
• マクドナルド多項式 $P_\lambda(X_\mu;q,t)$ の行列式（$\lambda \subset ((s-1)^n)$ および $\mu \in Z_{s,n}$）は、$\prod_{1\leq k<l\leq s}\prod_{i,j=1}^n\left(x^{(k)}_i - x^{(l)}_j\right)^{\binom{s+n-i-j-1}{s-2}}$ に等しい。
• $Q_\lambda(X_\mu;q,t)$ の行列式は、$P_\lambda$ の行列式と、正規化因子 $\frac{(t^n;q)_{s-1}(t;t)_{n-1}}{(q;q)_{s-1}(tq^{s-1};t)_{n-1}}$ の積に等しい。
• $Z_{s,n}$ から $\binom{[sn]}{n}$ への写像 $\iota_{s,n}$ は辞書式順序を保ち、分割および合成の正しい組合せ的順序に対応する行列式のインデックス付けを保証する。