[論文レビュー] Identity between Restricted Cauchy Sums for the $q$-Whittaker and Skew Schur Polynomials

Takashi Imamura, Matteo Mucciconi+1 more|arXiv (Cornell University)|Jun 22, 2021

Advanced Combinatorial Mathematics参考文献 50被引用数 4

ひとこと要約

本稿は、分割の最初の行の長さに関する制約の下で、$q$-Whittaker多項式とスケw Schur多項式の制限付きCauchy和の間の新しい恒等式を確立する。統合確率論の技術を用いて、$q$-Whittaker測度と周期的Schur測度のFredholm行列式の公式を比較することで、最初の行の長さが有界な分割の和が等しいことを証明し、これら2つのクラスの対称関数の間の深い接続を明らかにする。

ABSTRACT

The Cauchy identities play an important role in the theory of symmetric functions. It is known that Cauchy sums for the $q$-Whittaker and the skew Schur polynomials produce the same factorized expressions modulo a $q$-Pochhammer symbol. We consider the sums with restrictions on the length of the first rows for labels of both polynomials and prove an identity which relates them. The proof is based on techniques from integrable probability: we rewrite the identity in terms of two probability measures: the $q$-Whittaker measure and the periodic Schur measure. The relation follows by comparing their Fredholm determinant formulas.

研究の動機と目的

• 最初の行の長さに関する制約の下で、$q$-Whittaker多項式とスケw Schur多項式の制限付きCauchy和を関連付ける新しい恒等式を確立すること。
• 標準的なCauchy恒等式を超えて、$q$-Whittaker関数とスケw Schur関数の間のより深い構造的関係を明らかにすること。
• $q$-Whittaker測度と周期的Schur測度に関連するFredholm行列式の公式を用いた、恒等式の確率論的証明を提供すること。
• 今後の組合せ的・双対的証明の基盤を築くこと、これは続報で提示された計画に従う。

提案手法

• 著者らは、恒等式を2つの確率測度、すなわち$q$-Whittaker測度とシフト混合周期的Schur測度の観点から再定式化する。
• 両辺の恒等式を、$q$-Whittaker多項式およびSchur多項式から導かれる積分核を含むFredholm行列式の公式として表現する。
• 証明は、2つの測度のFredholm行列式を等しくするための経路変形技術に依存する。
• 適切な積分経路のシフトの後、$q$-Whittaker測度と周期的Schur測度のFredholm行列式が等しいことを示すことで、等価性を確立する。
• 収束を保証するため、$q$-Pochhammer記号の減衰推定と、核関数$A(m;r)$および$B(r;m)$の境界を用いる。
• この議論は、複素変数$a_i, b_j$が連続区間にある場合に有効であり、対称関数の一般の特殊化へと拡張可能である。

実験結果

リサーチクエスチョン

• RQ1 $q$-Whittaker多項式とスケw Schur多項式の間には、分割の最初の行の長さに関する制約を満たす refined 恒等式が存在するか？
• RQ2 $q$-Whittaker多項式とスケw Schur多項式の制限付きCauchy和の等価性は、確率論的および統合系の技術を用いて証明可能か？
• RQ3 経路変形の下で、$q$-Whittaker測度と周期的Schur測度のFredholm行列式の公式はどのように関係するか？
• RQ4 $q$-Pochhammer記号は、Fredholm行列式フレームワークにおける核関数の減衰と収束に果たす役割は何か？
• RQ5 著者らの続報で示唆されたように、この恒等式は組合せ的設定で一般化または双対化可能か？

主な発見

• 本稿は、任意の$n \in \mathbb{Z}_{\geq 0}$に対して、$\mu_1 + \nu_1 \leq n$および$\lambda_1 \leq n$を満たす分割の和が等しいことを証明している：$\sum_{\mu_1 + \nu_1 \leq n} q^{|\nu|} P_\mu(\mathbf{a}) Q_\mu(\mathbf{b}) = \sum_{\lambda_1 \leq n, \rho \subset \lambda} q^{|\rho|} s_{\lambda/\rho}(\mathbf{a}) s_{\lambda/\rho}(\mathbf{b})$。
• この等式は、複素変数$a_i, b_j$が連続区間にある場合に成り立ち、対称関数の任意の特殊化へと拡張可能である。
• 証明は、積分経路をシフトした後、$q$-Whittaker測度と周期的Schur測度のFredholm行列式の等価性に基づいている。
• $q$-Pochhammer記号の減衰推定は厳密に確立されており、Fredholm行列式の収束を保証する。
• 核関数$A(m;r)$および$B(r;m)$に対して境界が提供されており、$m$および$r$に関して指数的減衰を示しており、これはFredholm行列式の収束に不可欠である。
• この恒等式は、最初の行の制約の下で、$q$-Whittaker関数とスケw Schur関数の非自明な接続を明らかにし、より深い代数的および確率的構造を示唆している。