[論文レビュー] Generalized Sylvester Formulas and skew Giambelli Identities

Soichi Okada|arXiv (Cornell University)|Apr 9, 2017

Advanced Mathematical Theories and Applications参考文献 5被引用数 3

ひとこと要約

本稿では、Sylvesterの行列式公式とそのPfaffian類似形の統一的一般化を導入し、新規の行列構成を用いて、化合物行列式および歪対称行列へと拡張する。主な貢献は、古典的恒等式を回復し、対称関数における新しい歪Giambelliおよび歪Schur恒等式を導く共通の枠組みを提供することであり、特に歪Q関数のPfaffian表現と、歪Schur関数の一般化Giambelli公式を含む。

ABSTRACT

We obtain a common generalization of two types of Sylvester formulas for compound determinants and its Pfaffian analogue. As applications, we give generalizations of the Giambelli identity to skew Schur functions and the Schur identity to Schur's skew $Q$-functions.

研究の動機と目的

• 化合物行列式およびそのPfaffian類似形の2つの古典的Sylvester型公式を、一つの枠組みに統合すること。
• 一般化された行列式公式を用いて、Giambelli恒等式を歪Schur関数へ拡張すること。
• 一般化されたPfaffian公式を用いて、Q関数のSchur恒等式を歪Q関数へ一般化すること。
• Pfaffiansおよび行列式を通じて、一般化された行列恒等式と対称関数論との間の関係を確立すること。
• 行列理論的道具を用いて、対称関数論における新しい恒等式を体系的に導出する方法を提供すること。

提案手法

• 行列Xの部分行列の化合物行列式を成分とする(p+q)×(p+q)行列eXを定義し、行には添え字列I, J, K、列にはI′, J′, K′を用いる。
• det(eX)が、I⊔K, I′⊔K′, J⊔K, J′⊔K′を含む行列式の積に等しく、符号因子(−1)^qを伴うことを示すことにより、一般化されたSylvester行列式恒等式（定理1.2）を証明する。
• 歪対称行列Yの部分行列のPfaffianを用いて、添え字列I, J, Kを用いて、歪対称行列eYを構成する。
• Desnanot–Jacobi恒等式のPfaffian類似形を適用することにより、一般化されたPfaffian恒等式（定理1.4）を確立する。
• 一般化された行列式およびPfaffian恒等式を用いて、成分を歪Schur関数および歪Q関数として解釈することで、新しい対称関数恒等式を導出する。
• 恒等式を歪Schur関数sλ/µおよび歪Q関数Qλ/µに適用し、それらをより単純な歪関数の行列式およびPfaffianとして表現する。

実験結果

リサーチクエスチョン

• RQ1 古典的Sylvester行列式公式とそのPfaffian類似形は、一つの一般化の下で統合可能か？
• RQ2 部分行列の化合物行列式およびPfaffianを組み合わせることで、対称関数論における新しい恒等式が得られるか？
• RQ3 一般化された行列恒等式を用いて、Giambelli恒等式を歪Schur関数へ拡張可能か？
• RQ4 Q関数のSchur恒等式は、Pfaffian構造を用いて歪Q関数へ一般化可能か？
• RQ5 添え字列およびそれらの集合差分による除去が、一般化された恒等式の構成において果たす役割は何か？

主な発見

• 一般化されたSylvester行列式公式（定理1.2）は、行列eXの成分が部分行列の化合物行列式であることを導入することにより、古典的Sylvesterおよび双対Sylvester恒等式を統合する。
• q=0およびp=0のとき、それぞれ(1.1)および(1.2)が特殊ケースとして回復され、符号因子(−1)^qを含む。
• 一般化されたPfaffian恒等式（定理1.4）は、KnuthのPfaffian類似形を拡張し、偶数長の2つの列IおよびJを共通の核Kで結合する。
• 歪Schur関数の歪Giambelli恒等式が確立された：sλ/µは、形式±sν/µの歪Schur関数の行列式として表現される。
• 一般化されたSchur恒等式が歪Q関数について導出された：Qλ/µは、形式±Qν/µの歪Q関数のPfaffianとして表現され、明示的な行列構造を有する。
• Pfaffian恒等式の証明は、Desnanot–Jacobi恒等式のPfaffian類似形に依拠しており、行列式恒等式は行列式–Pfaffian対応を介してPfaffian版から導出される。