[論文レビュー] Commutation and normal ordering for operators on symmetric functions

Emmanuel Briand, Peter R. W. McNamara+2 more|arXiv (Cornell University)|Sep 9, 2015

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

ひとこと要約

本稿は、対称関数に作用する4つの演算子族—乗法、スケーリング、クロネッカー積、および新規の$\overline{K}$演算子—の交換関係および正規順序関係を確立する。シュール生成関数および形式的冪級数技法を用いて、明示的な交換子恒等式を導出し、特定の演算子対について正規順序の一意性を証明する。これにより、スケーリングされたリトルウッド＝リチャードソン規則の新しい証明と、スケーリングされたシュール関数とのクロネッカー積に関する新しい恒等式が得られる。

ABSTRACT

We study the commutation relations and normal ordering between families of operators on symmetric functions. These operators can be naturally defined by the operations of multiplication, Kronecker product, and their adjoints. As applications we give a new proof of the skew Littlewood-Richardson rule and prove an identity about the Kronecker product with a skew Schur function.

研究の動機と目的

• 対称関数上の4つの演算子族—$U_\lambda$（乗法）、$D_\lambda$（スケーリング）、$K_\lambda$（クロネッカー積）、および$\overline{K}_\lambda$（新規のクロネッカー型演算子）—間の交換関係を導出すること。
• シュール生成関数を用いた一様な手法を開発し、演算子恒等式を体系的に分析・証明すること。
• 特定の演算子対について正規順序関係を確立し、非可換な演算子式における曖昧さを解消すること。
• 得られた結果を応用して、スケーリングされたリトルウッド＝リチャードソン規則を証明し、スケーリングされたシュール関数とのクロネッカー積に関する新しい恒等式を導出すること。

提案手法

• 4つの演算子族を定義する：$U_f$（$f$による乗法）、$D_f$（ホール内積下での$U_f$の随伴）、$K_f$（クロネッカー乗法）、および$\overline{K}_f$（ヤコビ＝トゥルディアンタントを用いて定義される一般化されたクロネッカー演算子）。
• 各演算子$P$に対して、$\sum_\lambda s_\lambda[A] P_\lambda$というシュール生成関数を導入し、対称関数基底を介して$P$の作用を符号化する。
• 形式的冪級数の操作および対称関数論における既知の恒等式を用いて、すべての演算子対間の交換関係を導出し、証明する。
• 有限の正規順序展開が、$(U,D)$、$(D,U)$、$(U,K)$、$(K,D)$、$(U,\overline{K})$、$(\overline{K},D)$の各対に対して一意であることを証明するが、$(K,U)$などの他の対では一意でないことを、$K_{p_2}U_{p_1} = 0 = K_2U_1 = K_{1,1}U_1$のような反例によって示す。
• 形式的体系を用いて、$K_\beta U_\alpha$および$U_\alpha K_\beta$のシュール関数に基づく構造を分析することで、スケーリングされたリトルウッド＝リチャードソン規則を再導出する。
• 逆jdtスライドおよび jeu de taquin の理論を用いて、スケーリングされたシュール関数とクロネッカー係数を含む重要な恒等式を証明し、$K_f(s_{\alpha/\beta})$に関する新しい恒等式を確認する。

実験結果

リサーチクエスチョン

• RQ1 対称関数環上での演算子$U_\lambda$、$D_\lambda$、$K_\lambda$、$\overline{K}_\lambda$間の交換関係は何か？
• RQ2 これらの演算子のうち、あるものたちの線形結合として他のものたちを表現できるか？また、そのような表現は一意的か？
• RQ3 シュール生成関数形式主義を用いて、すべての演算子対間の交換恒等式を導出し、統一的に扱う方法は何か？
• RQ4 新規の演算子$\overline{K}_\lambda$を用いて、スケーリングされたリトルウッド＝リチャードソン規則の新しい証明を与えることができるか？
• RQ5 クロネッカー積$K_f(s_{\alpha/\beta})$の構造は何か？また、他の対称関数で表現できるか？

主な発見

• 本稿は、4つの演算子族のすべての対に対して6つの完全な交換関係恒等式を確立し、$D_\beta U_\alpha = \sum_\lambda U_{\alpha/\lambda} D_{\beta/\lambda}$および$\overline{K}_\beta U_\alpha = \sum_{\tau,\nu} U_{(s_{\beta/\nu} * s_\tau) s_{\alpha/\tau}} \overline{K}_\nu$を含む。
• 有限の正規順序展開は、$(U,D)$、$(D,U)$、$(U,K)$、$(K,D)$、$(U,\overline{K})$、$(\overline{K},D)$の各対に対して一意であるが、$(K,U)$や$(D,K)$のような他の対では一意でない。反例として$K_{p_2}U_{p_1} = 0 = K_2U_1 = K_{1,1}U_1$が示される。
• スケーリングされたリトルウッド＝リチャードソン規則は、演算子形式主義を用いて再証明され、構造係数が$U_\alpha$と$K_\beta$の交換から自然に生じることを示した。
• 新しい恒等式が証明された：$K_f(s_{\alpha/\beta}) = \sum_{\tau,\nu} s_{(s_{\beta/\nu} * s_\tau) s_{\alpha/\tau}} \overline{K}_\nu$。これは、対称関数とスケーリングされたシュール関数のクロネッカー積を$\overline{K}$演算子で表現するものである。
• シュール生成関数の使用により、すべての恒等式を一様かつ洗練された方法で導出可能であることが示され、演算子は対称関数環内のスカラー積から回復可能である。
• 逆jdtスライドおよび jeu de taquin の理論を用いて、jdtの前像の数を含む重要な恒等式を証明し、$K_\beta U_\alpha$の展開における係数$|\alpha^+| - |\theta^{+\alpha^c}|$を確認した。