[論文レビュー] Doubly Symmetric Functions

Allan Berele, Bridget Eileen Tenner|ArXiv.org|Mar 30, 2009

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

ひとこと要約

本稿では、変数の任意の分割に対してシュール関数とフック・シュール関数の評価が一致する対称関数、すなわち二重対称関数を導入する。主な結果として、この対称関数の部分代数は、奇数の累乗和対称関数によって生成され、シュール関数が二重対称であるための必要十分条件は、そのインデックスとなる分割が段差型であることに他ならない。

ABSTRACT

In this paper we introduce doubly symmetric functions, arising from the equivalence of particular linear combinations of Schur functions and hook Schur functions. We study algebraic and combinatorial aspects of doubly symmetric functions, in particular as they form a subalgebra of the algebra of symmetric functions. This subalgebra is generated by the odd power sum symmetric functions. One consequence is that a Schur function itself is doubly symmetric if and only if it is the Schur function of a staircase shape.

研究の動機と目的

• 変数の分割におけるシュール関数とフック・シュール関数の一致から生じる、新たな対称関数のクラス「二重対称関数」の定義と研究。
• この関数が形成する部分代数の代数的構造を、対称関数環内での性質として特定すること。
• 与えられた次数における二重対称関数の空間の基底と次元を同定すること。
• 二重対称関数と奇数部分または相異なる部分への分割との関係を確立すること。
• シュール関数が二重対称であるための必要十分条件が、そのインデックスとなる分割が段差型であることであることを証明すること。

提案手法

• 変数を任意の2セットに分割したときのシュール関数とフック・シュール関数の評価が等しいことにより、二重対称関数を定義する。
• シュール関数から二重シュール関数 $ DS_{\rho} = D(S_{\rho}) $ を導入する。ここで $ D $ は、対称関数環から二重対称関数の部分代数 $ \nolinebreak\bigskip\\mathcal{D} $ への全射準同型写像である。
• $ D $ が累乗和対称関数上で固有ベクトル写像として作用することを示す：$ \rho $ に偶数の部が含まれる場合 $ D(p_{\rho}) = 0 $、すべての部が奇数の場合 $ D(p_{\rho}) = 2^{\text{ht}(\rho)}p_{\rho} $。
• $ D $ の核が $ S_{\lambda} - S_{\lambda'} $ によって生成されるイデアル $ \mathcal{I} $ であることを証明し、$ \mathcal{D} \simeq \mathcal{S}/\mathcal{I} $ を得る。
• 標準内積のもとで $ \mathcal{D} $ が $ \mathcal{I} $ の直交補空間であることを示し、$ \mathcal{S} = \mathcal{D} \oplus \mathcal{I} $ を得る。
• 母関数を用いて、次数 $ n $ における二重対称関数の空間の次元が、$ n $ の奇数への分割の数に等しく、すなわち $ \prod_{k \geq 0} (1 - x^{2k+1})^{-1} $ の $ x^n $ の係数に等しいことを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で対称関数が二重対称となるか、すなわち任意の変数分割においてフック・シュール関数の評価と一致するか。
• RQ2 対称関数環内における二重対称関数の部分代数 $ \mathcal{D} $ の代数的構造は何か。
• RQ3 どのシュール関数が二重対称であり、そのインデックスとなる分割の組合せ的特徴は何か。
• RQ4 次数 $ n $ における二重対称関数の空間の次元は、奇数への分割関数または相異なる部分への分割関数とどのように関係しているか。
• RQ5 シュール関数から二重シュール関数への準同型写像 $ D $ の像と核は何か。

主な発見

• 二重対称関数の部分代数 $ \mathcal{D} $ は、$ n $ が奇数である累乗和対称関数 $ p_n $ によって生成される。
• 次数 $ n $ における二重対称関数の空間の次元は、$ n $ を奇数の和に分割する方法の数に等しく、$ \prod_{k \geq 0} (1 - x^{2k+1})^{-1} $ の $ x^n $ の係数として与えられる。
• 同値に、この次元は $ n $ を相異なる部分の和に分割する方法の数に等しく、$ \prod_{k \geq 1} (1 + x^k) $ の $ x^n $ の係数に一致する。
• シュール関数 $ S_{\lambda} $ が二重対称であるための必要十分条件は、$ \lambda $ が段差型であること、すなわち $ \lambda = (m, m-1, \dots, 1) $ の形をしていることである。
• 二重シュール関数 $ \{ DS_{\lambda} \} $ は $ \mathcal{D} $ を張るが、線形独立ではない。$ D $ は全射であり、核は $ \mathcal{I} $ である。
• 写像 $ D $ は、$ \lambda $ に偶数の部が含まれる場合 $ p_{\lambda} $ を 0 に写し、すべての部が奇数の場合 $ 2^{\text{ht}(\lambda)} p_{\lambda} $ に写す。