[论文解读] 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

一句话总结

本文为长方形矩阵的子式建立了复合行列式恒等式，将经典的 Cauchy–Sylvester 行列式恒等式推广至长方形情形。核心结果通过一种新颖的从复合式到子集的映射，为经典李群特征标（包括 Schur 函数与辛 Schur 函数）提供了类 Vandermonde 行列式公式，从而导出包含二项式系数与对称函数的显式乘积公式。

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.

研究动机与目标

• 通过为子式建立复合行列式恒等式，将经典的 Cauchy–Sylvester 行列式恒等式推广至长方形矩阵。
• 利用新的复合行列式恒等式，推导出经典李群特征标（包括 Schur 函数与辛 Schur 函数）的显式行列式公式。
• 通过将 Macdonald 对称函数与 Schur 函数通过新行列式结构关联，将框架扩展至 Macdonald 对称函数。
• 提供一种统一的组合机制——通过从复合式到子集的映射——保持词典序，并实现行列式的清晰计算。

提出的方法

• 通过从复合式集合 $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]$。
• 定义由 $s$ 个 $n$ 个变量块组成的长方形矩阵的子式上的复合行列式，索引为复合式 $\mu \in Z_{s,n}$ 与分拆 $\lambda \subset ((s-1)^n)$。
• 建立行列式恒等式（定理 1.3），将子式矩阵的行列式表达为变量差的乘积，其指数为二项式系数。
• 利用复合行列式的结构，推导出 Schur 函数 $\mathbf{GL}_n(\lambda;X_I)$ 与辛 Schur 函数 $\mathbf{Sp}_{2n}(\lambda;X_I)$ 的恒等式，从而得到显式的类 Vandermonde 公式。
• 利用 Macdonald 多项式 $P_\lambda(x;q,t)$ 与 Schur 函数之间的关系，通过正交性与归一化因子，推导出 $P_\lambda(X_\mu;q,t)$ 与 $Q_\lambda(X_\mu;q,t)$ 的行列式恒等式。
• 在 $x_j^{(k)} \to +\infty$ 处应用渐近分析，验证首项行为并确认所推导行列式恒等式的正确性。

实验结果

研究问题

• RQ1 能否通过复合行列式恒等式将经典的 Cauchy–Sylvester 行列式恒等式推广至长方形矩阵？
• RQ2 以复合式与子集为索引的长方形矩阵的子式矩阵的行列式，其显式形式为何？
• RQ3 如何利用此类复合行列式恒等式推导出 Schur 函数与辛 Schur 函数等经典李群特征标的行列式公式？
• RQ4 Macdonald 多项式 $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}}$，将 Cauchy–Sylvester 恒等式推广至长方形矩阵。
• 对于 Schur 函数，行列式 $\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$ 元子集。
• 对于辛 Schur 函数，行列式 $\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}}$。
• Macdonald 多项式 $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}$ 保持词典序，确保行列式索引与分拆及复合式的正确组合序一致。