[论文解读] Difference operators for partitions and some applications

Guo-Niu Han, Huan Xiong|arXiv (Cornell University)|Aug 4, 2015

Advanced Combinatorial Mathematics参考文献 17被引用 6

一句话总结

本文提出了一种新颖的差分算子框架，用于推广整数分拆中的经典钩长和内容恒等式。通过将差分算子 $ D $ 应用于分拆函数，作者证明了某些对称函数——如钩长和内容的幂和——会被 $ D $ 的某次幂所消去，从而导出新的多项式恒等式及显式公式，包括直接从单个分拆计算中出现的奥卡达常数 $ K_r $，而非从大小为 $ n $ 的所有分拆的求和中得出。

ABSTRACT

Motivated by the Nekrasov-Okounkov formula on hook lengths, the first author conjectured that the Plancherel average of the $2k$-th power sum of hook lengths of partitions with size $n$ is always a polynomial of $n$ for any $k\in \mathbb{N}$. This conjecture was generalized and proved by Stanley (Ramanujan J., 23(1--3): 91--105, 2010). In this paper, inspired by the work of Stanley and Olshanski on the differential poset of Young lattice, we study the properties of two kinds of difference operators $D$ and $D^-$ defined on functions of partitions. Even though the calculations for higher orders of $D$ are extremely complex, we prove that several well-known families of functions of partitions are annihilated by a power of the difference operator $D$. As an application, our results lead to several generalizations of classic results on partitions, including the marked hook formula, Stanley Theorem, Okada-Panova hook length formula, and Fujii-Kanno-Moriyama-Okada content formula. We insist that the Okada constants $K_r$ arise directly from the computation for a single partition $λ$, without the summation ranging over all partitions of size~$n$.

研究动机与目标

• 开发一种基于差分算子的正式方法，以发现并推广分拆理论中的钩长恒等式。
• 将斯坦利关于钩长对称函数普兰切尔平均的多项式定理进行扩展。
• 证明奥卡达常数 $ K_r $ 可通过差分算子 $ D $ 从单个分拆计算中自然出现，而非从大小为 $ n $ 的所有分拆的求和中得出。
• 使用相同的算子框架推广藤井-神野-森山-奥卡达的内容公式。
• 通过在杨氏格上使用算子理论方法，统一并扩展组合数学、表示理论和数学物理中的经典结果。

提出的方法

• 在整数分拆函数上定义两个差分算子 $ D $ 和 $ D^{-} $，其灵感来自斯坦利和奥尔尚斯基关于杨氏格微分格的工作。
• 使用算子 $ D $ 分析函数 $ rac{S( heta,r)}{H_ heta} $ 和 $ rac{C( heta,r)}{H_ heta} $ 的作用，其中 $ S( heta,r) $ 是 $ ext{prod}(h_ heta^2 - j^2) $ 的和，$ C( heta,r) $ 是 $ ext{prod}(c_ heta^2 - i^2) $ 的和。
• 将算子 $ D^k $ 应用于空分拆 $ heta = abla $ 处的函数，利用恒等式 $ D^k(g)( abla) = rac{1}{k!} rac{d^k}{dt^k} \big|_{t=0} ext{Tr}(g(t)) $，其中 $ ext{Tr}(g(t)) $ 是一个生成函数迹。
• 利用事实：当 $ g $ 支持在大小为 $ r+1 $ 的分拆上时，有 $ D^k(g)( abla) = 0 $ 对于 $ k \neq r+1 $，从而实现系数的精确计算。
• 利用线性性以及涉及标准杨氏表计数 $ f_ heta $、钩长 $ h_ heta $ 和内容 $ c_ heta $ 的组合恒等式，推导出闭合形式。
• 证明 $ D^r\bigl( \frac{S(\theta,r)}{H_\theta} \bigr)\big|_{\theta=\nabla} = K_r $，其中 $ K_r = \frac{(2r)!(2r+1)!}{r!(r+1)!^2} $，直接由单个分拆贡献得出。

实验结果

研究问题

• RQ1 能否通过差分算子框架将斯坦利关于钩长对称函数普兰切尔平均的多项式结果进一步推广？
• RQ2 奥卡达常数 $ K_r $ 是否从单个分拆的贡献中出现，而非从大小为 $ n $ 的所有分拆的全局求和中出现？
• RQ3 差分算子 $ D $ 能否用于推导分拆内容对称函数的新恒等式？
• RQ4 是否存在一种统一的算子理论机制，能够统一标记钩长公式、斯坦利定理和奥卡达-帕诺瓦公式？
• RQ5 算子 $ D $ 作用于函数 $ \frac{S(\theta,r)}{H_\theta} $ 和 $ \frac{C(\theta,r)}{H_\theta} $ 的精确代数结构是什么？

主要发现

• 差分算子 $ D^r\bigl( \frac{S(\theta,r)}{H_\theta} \bigr)\big|_{\theta=\nabla} = K_r $，其中 $ K_r = \frac{(2r)!(2r+1)!}{r!(r+1)!^2} $，证明了奥卡达常数源于单个分拆的计算。
• 普兰切尔平均 $ \frac{1}{n!} \bigl( \frac{1}{n!} \bigr) \bigl( \frac{1}{n!} \bigr) $ 是 $ n $ 的多项式，通过差分算子框架推广了斯坦利的结果。
• 恒等式 $ \frac{1}{n!} \bigl( \frac{1}{n!} \bigr) \bigl( \frac{1}{n!} \bigr) $ 对所有 $ n $ 成立，且 $ \frac{1}{n!} \bigl( \frac{1}{n!} \bigr) \bigl( \frac{1}{n!} \bigr) = K_r \binom{n}{r+1} $，由 $ D $ 作用于 $ S(\theta,r)/H_\theta $ 导出。
• 对于内容函数 $ C(\theta,r) $，算子 $ D^r\bigl( \frac{C(\theta,r)}{H_\theta} \bigr)\big|_{\theta=\nabla} = \frac{(2r)!}{(r+1)!} $，导出一个新的基于内容的恒等式。
• 广义的藤井-神野-森山-奥卡达公式已得证明：$ \frac{1{,}\!}{}{n!} \bigl( \frac{1}{n!} \bigr) \bigl( \frac{1}{n!} \bigr) = \frac{(2r)!}{(r+1)!} \binom{n}{r+1} $，对所有 $ n $ 成立。
• 算子 $ D $ 作用于 $ \frac{S(\theta,r)}{H_\theta} $ 和 $ \frac{C(\theta,r)}{H_\theta} $ 的结果是谢尔函数 $ q_\nu(\theta) $ 的有理系数线性组合 $ b_\nu $，证明了结构的有限性。