[论文解读] The first term of plethysms

Kazuto Iijima|arXiv (Cornell University)|Aug 24, 2011

Advanced Combinatorial Mathematics参考文献 8被引用 4

一句话总结

本文为在单个对称函数展开中，plethysm $ s_\lambda[s_\mu] $ 的系数 $ Y_{\lambda[\mu]}^{\nu} $ 提供了一个组合公式，并利用它确定了在反字典序下的第一个项。关键结果是，第一个项对应于最大权值表盘配置，其系数为 1，为对称函数理论中一个长期存在的开放问题提供了新的组合方法。

ABSTRACT

Plethysm of two Schur functions can be expressed as a linear combination of Schur functions, and monomial symmetric functions. In this paper, we express the coefficients combinatorially in the case of monomial symmetric functions. And by using it, we determine the first term of the plethysm with respect to Schur functions under the reverse lexicographic order.

研究动机与目标

• 提供 $ s_\lambda[s_\mu] $ 在单个对称函数展开中系数 $ Y_{\lambda[\mu]}^{\nu} $ 的组合描述。
• 确定 $ s_\lambda[s_\mu] $ 在分拆的反字典序下的第一个项。
• 为理解plethysm系数提供一种新的组合框架，这些系数在闭式下仍大多未知。
• 为可能的符号相反对合证明（类似于Littlewood-Richardson法则）奠定基础。
• 解决一个基本的开放问题：以类似于Kostka和Littlewood-Richardson系数的方式，组合地表达plethysm系数。

提出的方法

• 通过其读取字的字典序，定义半标准表盘上的全序。
• 从 $ \mathrm{SSTab}(\mu) $ 构造一个表盘序列 $ T_1, T_2, \dots, T_l $，其在单项式的字典序下权重递减。
• 将最大权配置 $ \nu_0 $ 识别为 $ \mathrm{wt}(T_1), \dots, \mathrm{wt}(T_l) $ 的 $ \lambda_i $ 份拷贝之和，从而得到plethysm的第一个项。
• 利用Jacobi-Trudi恒等式和内积性质，将 $ a_{\lambda[\mu]}^{\nu} $ 表示为置换和表盘上的带符号和。
• 通过Kostka系数建立 $ Y_{\lambda[\mu]}^{\nu} $ 与 $ a_{\lambda[\mu]}^{\nu} $ 之间的关系，证明 $ Y_{\lambda[\mu]}^{\nu} \geq a_{\lambda[\mu]}^{\nu} $。
• 提出一个关于表盘和置换集合上的符号相反对合的猜想，以得到正确的plethysm系数。

实验结果

研究问题

• RQ1 在单个对称函数展开中，$ Y_{\lambda[\mu]}^{\nu} $ 的组合结构是什么？
• RQ2 在反字典序下，$ s_\lambda[s_\mu] $ 的第一个项是哪个分拆 $ \nu $ ？
• RQ3 第一个项能否通过 $ \mathrm{SSTab}(\lambda[\mu]; \nu) $ 中唯一的最大权表盘配置来表征？
• RQ4 是否存在一个类似于Littlewood-Richardson法则的plethysm系数的组合框架？
• RQ5 能否在表盘和置换的集合上构造一个符号相反对合，以得到 $ a_{\lambda[\mu]}^{\nu} $ ？

主要发现

• 在反字典序下，$ s_\lambda[s_\mu] $ 的第一个项 $ \nu_0 $ 由权配置 $ \nu_0 = (m\mu_1, m\mu_2, \dots, m(\mu_{l'}-1) + \lambda_1, \lambda_2, \dots, \lambda_l) $ 给出，其中 $ m = \ell(\lambda) $，$ l' = \ell(\mu) $，且 $ \mu_{l'} $ 是 $ \mu $ 的最后一个非零部分。
• 系数 $ Y_{\lambda[\mu]}^{\nu_0} = 1 $，表明单个对称函数 $ m_{\nu_0} $ 在展开中以重数 1 出现。
• 最大权配置来自将 $ \lambda_1 $ 份 $ T_1 $、$ \lambda_2 $ 份 $ T_2 $ 等分配给表盘，其中 $ T_i $ 是 $ \mathrm{SSTab}(\mu) $ 中字典序最大的表盘，且权重递减。
• 系数 $ a_{\lambda[\mu]}^{\nu} $ 满足 $ Y_{\lambda[\mu]}^{\nu} \geq a_{\lambda[\mu]}^{\nu} $，当且仅当对所有满足 $ a_{\lambda[\mu]}^{\kappa} > 0 $ 的 $ \kappa > \nu $，Kostka系数 $ K_{\kappa,\nu} $ 为零时取等。
• 公式 $ a_{\lambda[\mu]}^{\nu} = \sum_{\pi \in S_l} \mathrm{sgn}(\pi) Y_{\lambda[\mu]}^{\pi*\nu} $ 由Jacobi-Trudi恒等式和内积对偶性推导得出。
• 一个示例计算表明 $ a_{(2)[(2)]}^{(2,2)} = 1 $，与使用 $ Y_{(2)[(2)]}^{(2,2)} = 2 $、$ Y_{(2)[(2)]}^{(3,1)} = 1 $ 和逆Kostka系数的公式一致。