[論文レビュー] 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 $ の非負整数解の個数を数えるという金銭交換問題と、$ m = \sum a_i $ における対称群 $ S_m $ の表現理論の間で、新しい関係を確立する。相対的対称多項式と特徴指標理論を用いて、$ Q_d(a_1,\dots,a_n) $ の明示的公式を $ S_m $ の既約指標の和として導出し、相対的対称多項式空間が非ゼロであるための必要十分条件を提示する：$ H_d(S_m, \chi^\pi) \neq 0 $ であるのは、$ \pi $ を大きくする multiplicity 分解 $ M(\alpha) $ を持つ合成 $ \alpha \in \Gamma^{+}_{m,d} $ が存在するときである。この結果により、整数分割の数え上げと対称群の表現理論が結びつけられる。

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 $ に関する相対的対称多項式空間 $ H_d(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}} $ を用いる。
• 解空間を、$ m = \sum a_i $ における対称群 $ S_m $ の作用によって、$ 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, \mu} \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 $ m = \sum a_i $ における $ Q_d $ と $ S_m $ の既約指標との関係は何か？
• 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) $ が非ゼロであるのは、$ M(\alpha) $ が $ \pi $ を大きくする合成 $ \alpha \in \Gamma^{+}_{m,d} $ が存在するときである。
• $ K_{\pi, M(\alpha)} $ が非ゼロであるのは $ M(\alpha) \unlhd \pi $ のときであり、これは既約指標 $ \chi^\pi $ が $ Q_d $ の分解に現れるための鍵となる条件である。