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

研究动机与目标

• 定义并研究一类新的对称函数，称为双重对称函数，其来源于在变量分割下施尔函数与钩形施尔函数取值的重合。
• 刻画该类函数在对称函数环中所形成的子代数的代数结构。
• 确定给定次数的双重对称函数空间的基与维数。
• 建立双重对称函数与奇数部分或互异部分分拆之间的联系。
• 证明一个施尔函数为双重对称当且仅当其指标分拆为阶梯形。

提出的方法

• 通过在任意将变量分为两组的分割下，施尔函数与钩形施尔函数取值相等来定义双重对称函数。
• 引入双重施尔函数 $ DS_{\rho} = D(S_{\rho}) $，其中 $ D $ 是从对称函数环到双重对称函数子代数 $ \nolinebreak\bigskip\\mathcal{D} $ 的满同态。
• 证明 $ D $ 在幂和对称函数上作用为特征向量映射：若 $ \rho $ 含有偶数部分，则 $ D(p_{\rho}) = 0 $；若 $ \rho $ 的所有部分均为奇数，则 $ 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 $ 分解为奇数部分的分拆数，等价于将 $ n $ 分解为互异部分的分拆数。

实验结果

研究问题

• RQ1 在何种条件下，对称函数为双重对称，即在任意变量分割下其取值等于其钩形施尔函数的取值？
• RQ2 双重对称函数子代数 $ \mathcal{D} $ 在对称函数环中的代数结构为何？
• RQ3 哪些施尔函数是双重对称的？其指标分拆的组合特征是什么？
• RQ4 次数为 $ n $ 的双重对称函数空间的维数与奇数部分或互异部分分拆函数之间有何关系？
• RQ5 将施尔函数映射到双重施尔函数的同态 $ D $ 的像与核分别是什么？

主要发现

• 双重对称函数子代数 $ \mathcal{D} $ 由奇次幂和对称函数 $ p_n $（$ 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) $ 对某个 $ m $。
• 双重施尔函数 $ \{ DS_{\lambda} \} $ 张成 $ \mathcal{D} $，尽管它们线性相关；$ D $ 是满射，其核为 $ \mathcal{I} $。
• 映射 $ D $ 将 $ p_{\lambda} $ 映为 0（若 $ \lambda $ 含有任一偶数部分），或映为 $ 2^{\text{ht}(\lambda)} p_{\lambda} $（若 $ \lambda $ 的所有部分均为奇数）。