[论文解读] Relative symmetric polynomials and money change problem

M. Shahryari|arXiv (Cornell University)|Dec 14, 2010

Algebraic Geometry and Number Theory参考文献 3被引用 5

一句话总结

本文建立了一个新颖的联系，将硬币兑换问题——即求解非负整数解 $ a_1t_1 + \cdots + a_nt_n = d $ 的个数——与对称群 $ S_m $ 的表示理论联系起来，其中 $ m = \sum a_i $。通过相对对称多项式与特征标理论，推导出 $ Q_d(a_1,\dots,a_n) $ 的显式公式，该公式表示为 $ S_m $ 的不可约特征标的和；并给出了相对对称多项式空间非零的充要条件：$ H_d(S_m, \chi^\pi) \neq 0 $ 当且仅当存在一个复合型 $ \alpha \in \Gamma^{+}_{m,d} $，使得其重数分拆 $ M(\alpha) $ 强大于 $ \pi $。该研究将整数分拆计数与对称群表示理论联系起来。

ABSTRACT

This article is devoted to the number of non-negative solutions of the linear Diophantine equation $$ a_1t_1+a_2t_2+... a_nt_n=d, $$ where $a_1, ..., a_n$, and $d$ are positive integers. We obtain a relation between the number of solutions of this equation and characters of the symmetric group, using {\em relative symmetric polynomials}. As an application, we give a necessary and sufficient condition for the space of the relative symmetric polynomials to be non-zero.

研究动机与目标

• 建立一个基于对称群特征标的表示理论框架，以解决经典的硬币兑换问题。
• 将线性丢番图方程的非负整数解个数与相对对称多项式的结构联系起来。
• 推导出关于 $ S_m $ 的特征标 $ \chi^\pi $ 的相对对称多项式空间非零的充要条件。
• 将解数 $ Q_d(a_1,\dots,a_n) $ 表示为 $ S_m $ 的不可约表示特征标的和。

提出的方法

• 将 $ Q_d(a_1,\dots,a_n) $ 定义为方程 $ \sum a_i t_i = d $ 的非负整数解的个数，其生成函数为 $ \prod_{i=1}^n \frac{1}{1 - t^{a_i}} $。
• 将解空间建模为对称群 $ S_m $（其中 $ m = \sum a_i $）在次数为 $ d $ 的单项式上的置换特征标 $ Q_d $。
• 使用群代数投影算子 $ T(S_m, \chi^\pi) = \frac{\chi^\pi(1)}{m!} \sum_{\sigma \in S_m} \chi^\pi(\sigma) \sigma $，定义相对对称多项式空间 $ H_d(S_m, \chi^\pi) $。
• 应用特征标内积理论，将 $ H_d(S_m, \chi^\pi) $ 的维数表示为 $ \chi^\pi(1) \cdot [\chi^\pi, Q_d]_{S_m} $。
• 利用诱导特征标分解 $ (1_{S_{M(\alpha)}})^{S_m} = \sum_{M(\alpha) \unlhd \pi} K_{\pi, M(\alpha)} \chi^\pi $，其中 $ K_{\pi, \mu} $ 为科斯塔卡数。
• 推导出主公式：$ Q_d = \frac{1}{m!} \sum_{\alpha \in \Gamma^{+}_{m,d}} \sum_{M(\alpha) \unlhd \pi} M(\alpha)! \, K_{\pi, M(\alpha)} \, \chi^\pi $。

实验结果

研究问题

• RQ1 如何用对称群表示理论表达方程 $ \sum a_i t_i = d $ 的非负整数解个数？
• RQ2 解数 $ Q_d $ 与对称群 $ S_m $（其中 $ m = \sum a_i $）的不可约特征标之间有何关系？
• RQ3 在何种条件下，相对对称多项式空间 $ H_d(S_m, \chi^\pi) $ 非零？
• RQ4 生成函数 $ Q_d $ 是否可解释为 $ S_m $ 的一个特征标？若是，其不可约分解形式如何？

主要发现

• 解数 $ Q_d(a_1,\dots,a_n) $ 等于对称群 $ S_m $ 在次数为 $ d $ 的单项式上作用的置换表示的特征标，因此它本身是一个置换特征标。
• 相对对称多项式空间 $ H_d(S_m, \chi^\pi) $ 的维数为 $ \chi^\pi(1) \cdot [\chi^\pi, Q_d]_{S_m} $，其值等于 $ \frac{\chi^\pi(1)}{m!} \sum_{\alpha \in \Gamma^{+}_{m,d}, M(\alpha) \unlhd \pi} M(\alpha)! \, K_{\pi, M(\alpha)} $。
• 函数 $ Q_d $ 可分解为 $ Q_d = \frac{1}{m!} \sum_{\alpha \in \Gamma^{+}_{m,d}} \sum_{M(\alpha) \unlhd \pi} M(\alpha)! \, K_{\pi, M(\alpha)} \, \chi^\pi $，即解数表示为 $ S_m $ 的不可约特征标的和。
• 空间 $ H_d(S_m, \chi^\pi) $ 非零当且仅当存在一个复合型 $ \alpha \in \Gamma^{+}_{m,d} $，使得其重数分拆 $ M(\alpha) $ 强大于 $ \pi $。
• 科斯塔卡数 $ K_{\pi, M(\alpha)} $ 非零当且仅当 $ M(\alpha) \unlhd \pi $，这是不可约特征标 $ \chi^\pi $ 出现在 $ Q_d $ 分解中的关键条件。