[論文レビュー] Theorems, Problems and Conjectures

Tewodros Amdeberhan|arXiv (Cornell University)|Jul 17, 2012

Advanced Combinatorial Mathematics参考文献 10被引用数 33

ひとこと要約

この論文は、オイラー多項式、フック長、ヤング図の内容、色付き過剰分割に関する、ネクラーソフ＝オクウンコフおよびスターリング型の公式にインspiredされた組合せ的恒等式と母関数に焦点を当てた、予想、定理、未解決問題の集積を提示する。主な貢献として、ジョージ・アンドリュースと共に、色付き過剰分割に関する予想された合同式の証明がなされ、$¯{p}_c(2^c n + 2^{c-1}) \equiv 0 \mod c^2$ がすべての $n \geq 0$ に対して成り立つ定理として確立された。また、彩色多項式係数の無限対数凹性に関する新しい予想も提示されている。

ABSTRACT

These notes are designed to offer some (perhaps new) codicils to related work, a list of problems and conjectures seeking (preferably) combinatorial proofs. The main items are Eulerian polynomials and hook/contents of Young diagram, mostly on the latter. We also have items on Frobenius theorem and multi-core partitions; most recently, some problems on (what we call) colored over-partitions. Formulas analogues to or in the spirit of works by Han, Nekrasov-Okounkov and Stanley are distributed throughout. Concluding remarks are provided at the end in hopes of directing the interested researcher, properly. The newly added problem is on chromatic polynomials

研究の動機と目的

• 生成関数と組合せ的構造を用いて、既知のフック長および内容に基づく恒等式を統一・拡張すること。
• オイラー多項式、マルチコア分割、色付き過剰分割を含む新しい予想を提示し、組合せ的証明を試みること。
• 彩色多項式係数の対数凹性および無限対数凹性を調査すること。
• 分割論および対称関数恒等式分野における未解決問題と最新の進展を動的に更新するリポジトリを提供すること。

提案手法

• 特に指数型および $q$-生成関数を用い、置換の統計量と分割恒等式を関連付ける。
• $q$-指数関数およびガウスの二項係数を用い、オイラー多項式およびベル多項式を一般化する。
• ヤング図の双対性および対称性の性質を用い、分割恒等式におけるフック長、アーム、レッグを関連付ける。
• ハーン、ネクラーソフ＝オクウンコフ、スターリングの既知の結果を応用し、新しい恒等式および予想を導出する。
• 組合せ的解釈と生成関数の操作を用い、色付き過剰分割および彩色多項式に関する予想を探索する。
• アンドレ＝ベラン、レーヴェン、ヤン、チョウ、シオンゴ、ナースの最近の進展を統合し、以前の予想を更新および解決する。

実験結果

リサーチクエスチョン

• RQ1 予想 2.2(a) で示されたように、多項式 $P_n(t) = \sum_{\lambda \vdash n} \prod_{u \in \lambda} \frac{h_u^2 + t}{h_u^2}$ は、単一の負の実数根しか持たないか？
• RQ2 予想 13.1 で提起されたように、任意の彩色多項式の係数列は無限に対数凹的か？
• RQ3 予想 12.2 で示されたように、色付き過剰分割の生成関数は、すべての $n \geq 0$ に対して $\overline{p}_c(2^c n + 2^{c-1}) \equiv 0 \mod c^2$ を満たすか？
• RQ4 $α = a+b+1$ のとき、対称恒等式 $\binom{\alpha}{a}_q + \sum_k \binom{\alpha}{k}_q 2^{\alpha-k} B_{k,b}(q) = \binom{\alpha}{b}_q + \sum_k \binom{\alpha}{k}_q 2^{\alpha-k} B_{k,a}(q)$ を組合せ的に証明できるか？
• RQ5 予想 2.1 で提起された恒等式 $\sum_{\lambda \vdash n} \prod_{u \in \lambda} \frac{h_u + t}{h_u} = \sum_{\lambda \vdash n} \prod_{j \geq 1} \binom{k_j + t}{k_j}$ の組合せ的解釈は何か？

主な発見

• 予想 $\overline{p}_c(2^c n + 2^{c-1}) \equiv 0 \mod c^2$ がジョージ・アンドリュースと共同で定理として証明された。
• 色付き過剰分割の数の生成関数は、$\sum_{n \geq 0} \overline{p}_c(n) q^n = \frac{((1-c)q; q)_\infty}{(q; q)_\infty}$ で与えられ、有限長方形の極限ケースから導出された。
• サイクル、木、完全グラフ、符号付きブックグラフを含むすべてのテストされたグラフの彩色多項式係数は、無限に対数凹的であることが確認され、予想 13.1 を支持する。
• 恒等式 $\sum_{\lambda \vdash n} \prod_{u \in \lambda} \frac{h_u^2 + t}{h_u^2} = \sum_{\lambda \vdash n} \prod_{j \geq 1} \binom{k_j + t}{k_j}$ は双対性および既知の結果によって支持されているが、完全な組合せ的証明は未解決のままである。
• 問題 2.2 は、$n$ の分割におけるフック長 1 のセルの最大数に関するものであり、$k$-フックの場合に [4] で一般化され解決された。
• $q$-オイラー多項式型 B は、生成関数の代入により $B_{n,k}(q) = B_{n,n-k}(q)$ の対称性を満たすことが証明された。