[论文解读] Schur partition theorems via perfect crystal

Shunsuke Tsuchioka, Masaki Watanabe|arXiv (Cornell University)|Sep 7, 2016

Algebraic structures and combinatorial models参考文献 30被引用 3

一句话总结

本文引入了两类新的整数分拆——$ S_p $ 和 $ \mathsf{Schur}_p $，推广了 Schur 于 1926 年对奇数 $ p \geq 3 $ 的分拆定理。利用仿射李代数的表示理论和 $ A^{(2)}_{p-1} $-晶格结构，本文证明了 $ S_p $ 在分拆理论意义上等价于奇数和严格 $ p $-类正则分拆的集合，为 Andrews 对 Rogers–Ramanujan 恒等式的三参数推广在 $ p=5 $ 时提供了无需计算机的证明，并在 $ p=3 $ 时重新证明了 Schur 的原始定理。

ABSTRACT

Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.

研究动机与目标

• 使用晶格结构推广 Schur 于 1926 年对奇数 $ p \geq 3 $ 的分拆定理。
• 定义两类新的分拆集合：$ S_p $（在 $ p $-严格分拆中）和 $ \mathsf{Schur}_p $（在严格分拆中），二者均满足 $ p $-Schur 不等式并避免禁止的子模式。
• 建立 $ S_p $ 与奇数和严格 $ p $-类正则分拆集合在分拆理论意义上的等价性。
• 通过此晶格理论框架，为 Andrews 对 Rogers–Ramanujan 恒等式的三参数推广在 $ p=5 $ 时提供一种新的、无需计算机的证明，该结果此前由 Andrews–Bessenrodt–Olsson 证明。
• 通过仿射李代数晶格，将分拆理论结果与对称群的自旋模表示及量子群理论联系起来。

提出的方法

• 定义 $ p $-Schur 不等式：$ \lambda_i - \lambda_{i+h} \geq p $，若 $ \lambda_i \in p\mathbb{Z} $ 则为严格不等式，其中 $ p = 2h+1 $。
• 引入禁止子模式的集合 $ \mathsf{Forb}_p $（含通配符 $ \ast $），以定义 $ S_p $ 为避免这些模式的 $ p $-严格分拆。
• 利用 $ A^{(2)}_{p-1} $-晶格框架在 $ S_p $ 上构造晶格结构，证明其构成一个水平为 1 的完美晶。
• 定义双射 $ \Psi^{\mathsf{str}}_1 $ 和 $ \Psi^{\mathsf{str}}_2 $，通过基于剩余类的运算，将分拆分解为 $ \mathsf{Str}^{[p+1,p+h]} $、$ \mathsf{Str}^{[p-h,p-1]} $ 等分量。
• 使用晶格算子 $ \tilde{f}_i $ 定义提升算子，通过添加剩余类为 $ i \mod p $ 的方块，确保与 $ p $-Schur 不等式兼容。
• 证明映射 $ \beta_p $（将分量映射至 $ S_p $）是一个良晶同态，保持晶结构并支持递归构造。

实验结果

研究问题

• RQ1 能否使用表示论工具将 Schur 于 1926 年的分拆定理推广至奇数 $ p \geq 3 $？
• RQ2 如何利用 $ A^{(2)}_{p-1} $-晶格结构定义并表征满足广义 $ p $-Schur 不等式的分拆新族？
• RQ3 满足 $ p $-Schur 不等式并避免 $ \mathsf{Forb}_p $ 子模式的 $ p $-严格分拆集合 $ S_p $，其基数是否与奇数或严格 $ p $-类正则分拆集合相同？
• RQ4 能否通过此晶格理论框架，无需计算机辅助，证明 Andrews 对 Rogers–Ramanujan 恒等式的三参数推广？
• RQ5 是否存在一种统一的晶理论机制，通过 $ A^{(2)}_{p-1} $-晶格将 Schur 的原始定理与 Andrews 的三参数推广统一起来？

主要发现

• 当 $ p=3 $ 时，集合 $ S_3 $ 在分拆理论意义上等价于奇数和严格 3-类正则分拆的集合，因此重新证明了 Schur 于 1926 年的分拆定理。
• 当 $ p=5 $ 时，该构造为 Andrews 对 Rogers–Ramanujan 恒等式的三参数推广提供了无需计算机的证明，确认了此前由 Andrews–Bessenrodt–Olsson 证明的猜想。
• 集合 $ S_p $ 构成一个水平为 1 的完美 $ A^{(2)}_{p-1} $-晶，其定义良好的晶算子 $ \tilde{f}_i $ 通过添加剩余类为 $ i \mod p $ 的方块作用，当定义时成立。
• 每个 $ \mathsf{Schur}_p $ 中的分拆均满足 $ p $-Schur 不等式，且集合 $ \mathsf{Schur}_p $ 在晶算子 $ \tilde{f}_i $ 下封闭，确保其晶结构的一致性。
• 映射 $ \beta_p $ 是一个良晶同态，即其保持晶结构，并允许将 $ S_p $ 分解为自身为 $ A^{(2)}_{p-1} $-晶的分量。
• 双射 $ \Psi^{\mathsf{str}}_1 $ 和 $ \Psi^{\mathsf{str}}_2 $ 提供了 $ S_p $ 中分拆的递归分解，使得可通过分量分析与模式避免策略证明等价性。