[论文解读] The mystery of plethysm coefficients

Laura Colmenarejo, Rosa Orellana+3 more|arXiv (Cornell University)|Aug 15, 2022

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文引入了's-perp技巧'——一种新颖的组合表示理论技术——以高效计算对称函数的Schur和单项式展开，特别是plethysm系数 $ s_{\lambda}[s_{\mu}] $。它为 $ a_{\lambda,\mu}^{\nu} $ 提供了新的组合公式，即plethysm的Schur展开中的系数，并表明该方法在关键情况下优于现有的SageMath实现，尤其是在钩形和行形分拆的情况下。

ABSTRACT

Composing two representations of the general linear groups gives rise to Littlewood's (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof technique of combinatorial representation theory, which we call the "$s$-perp trick", and point out several examples in the literature where this idea is used. We use the $s$-perp trick to give algorithms for computing monomial and Schur expansions of symmetric functions. In several special cases, these algorithms are more efficient than those currently implemented in {\sc SageMath}.

研究动机与目标

• 开发一种系统化的方法，用于计算对称函数的Schur和单项式展开，特别是plethysm $ s_{\lambda}[s_{\mu}] $，这在表示理论中仍然是一个长期悬而未决的问题。
• 识别并形式化's-perp技巧'作为组合表示理论中的统一技术，应用于对称函数恒等式和plethysm计算。
• 为plethysm系数 $ a_{\lambda,\mu}^{\nu} $ 推导出新的组合公式，特别是当 $ \lambda $ 为钩形或行形且 $ \mu $ 为行或列时。
• 提高plethysm系数计算的计算效率，表明s-perp技巧在特定情况下优于当前的SageMath实现。

提出的方法

• 通过利用 $ s_r^\perp f $ 的Schur展开，应用s-perp技巧递归地通过内plethysm分解，来计算对称函数 $ f $ 的Schur展开。
• 该方法依赖于内plethysm与外plethysm之间的对偶性，其中 $ s_r^\perp f $ 被用于通过递归应用 $ s_r^\perp $ 算子来重构 $ f $。
• 作者使用Littlewood–Richardson法则和半标准杨表的性质，计算 $ s_{\lambda}[s_{\mu}] $ 的Schur展开中的系数，特别是当 $ \mu = s_{1^2} $ 和 $ \mu = s_2 $ 时。
• 对于钩形 $ \lambda = (h-k,1^k) $，该方法推导出对 $ c^{\mu}_{\nu\rho} $ 的带符号和，其中 $ \nu $ 为偶分拆且 $ \rho $ 为临界形状。
• 通过归纳法和对奇数列数及角单元数的案例分析，验证了该方法，特别是在 $ s_{(h-2,1,1)}[s_{1^2}] $ 和 $ s_{(h-k,1^k)}[s_{1^2}] $ 的背景下。
• 本文表明，s-perp技巧通过将问题简化为已知的 $ s_r^\perp f $ 展开，避免了暴力分解，从而实现了plethysm系数的高效计算。

实验结果

研究问题

• RQ1 s-perp技巧能否用于推导 $ s_{\lambda}[s_{\mu}] = \sum_{\nu} a_{\lambda,\mu}^{\nu} s_{\nu} $ 中plethysm系数 $ a_{\lambda,\mu}^{\nu} $ 的新组合公式？
• RQ2 与SageMath中用于计算plethysm展开的现有算法相比，s-perp技巧在效率上如何？
• RQ3 当 $ \lambda $ 为钩形或行形且 $ \mu $ 为列或行时，plethysm系数的结构特性是什么？
• RQ4 s-perp技巧能否推广以推导 $ s_{(h-k,1^k)}[s_{1^2}] $ 的闭式表达式，以及Littlewood–Richardson系数在此过程中起什么作用？
• RQ5 为何 $ s_{(h-k,1^k)}[s_{1^2}] $ 中偶分拆的系数依赖于 $ b_{\mu} $（角单元数），这又如何影响重数？

主要发现

• s-perp技巧使得能够为 $ s_{(h-2,1,1)}[s_{1^2}] $ 推导出新的组合公式，其中 $ s_{\mu} $ 的系数为 $ \binom{b_{\mu}-1}{2} $（当 $ \mu $ 为偶分拆时），而 $ \mu \in \mathcal{P}_{2h} $ 时为 $ \sum_{\nu} c^{\mu}_{\nu(2,1,1)} - 1 $。
• 对于 $ s_{(h-k,1^k)}[s_{1^2}] $，$ s_{\mu} $ 的系数由对 $ c^{\mu}_{\nu\rho} $ 的带符号和给出，其中 $ \nu $ 为偶分拆且 $ \rho $ 为临界形状，通过归纳法证明了通用公式。
• $ s_{(h-3,1,1,1)}[s_{1^2}] $ 中 $ \mu $ 为偶分拆时 $ s_{\mu} $ 的系数为 $ (b_{\mu}-1)(b_{\mu}-2)(2b_{\mu}-3)/6 $，表明其对角单元数呈三次依赖。
• $ s_{(3,1,1,1,1)}[s_{1^2}] $ 中 $ s_{(3^2 2^2 1^4)} $ 的系数为1，而 $ s_{(4^2 2^2 1^2)} $ 的系数为2，表明当 $ h-4 $ 时，系数不仅依赖于 $ b_{\mu} $。
• s-perp技巧在特殊情况下提供了比SageMath更高效的算法，特别是在 $ \lambda $ 为钩形或行形且 $ \mu $ 为列或行时计算 $ s_{\lambda}[s_{\mu}] $ 的plethysm系数。
• 该方法成功以统一且简化的方式证明了已知结果（如 $ s_2[s_n] $、$ s_3[s_n] $），展示了其通用性和强大性。