[論文レビュー] A bijective proof of Amdeberhan's conjecture on the number of $(s, s+2)$-core partitions with distinct parts

Jineon Baek, Hayan Nam+1 more|arXiv (Cornell University)|May 7, 2017

Advanced Mathematical Identities参考文献 4被引用数 5

ひとこと要約

本稿では、奇数 $s$ に対して、$(s,s+2)$-core 分割のうち部品がすべて相異なるものの個数がちょうど $2^{s-1}$ であるという最初の双対的証明を提示する。著者らは、コア分割の $\beta$-セットから導かれるposet上の新規な順序理想双対写像を用いて、これらの分割と長さ $s$ の格子路との直接的対応を確立し、長年にわたり未解決であった予想を構成的で組合せ論的な証明によって解決した。

ABSTRACT

Amdeberhan conjectured that the number of $(s,s+2)$-core partitions with distinct parts for an odd integer $s$ is $2^{s-1}$. This conjecture was first proved by Yan, Qin, Jin and Zhou, then subsequently by Zaleski and Zeilberger. Since the formula for the number of such core partitions is so simple one can hope for a bijective proof. We give the first direct bijective proof of this fact by establishing a bijection between the set of $(s, s+2)$-core partitions with distinct parts and a set of lattice paths.

研究の動機と目的

• 奇数 $s$ に対して、$(s,s+2)$-core 分割のうち部品がすべて相異なるものの個数が $2^{s-1}$ であるというアンドベルハンの予想を、直接的な双対的証明で与えること。この予想は、これまで代数的または計算的手法によってのみ証明されてきた。
• $(s,s+2)$-core 分割で部品が相異なるものと長さ $s$ の格子路との間の構成的で組合せ論的な対応を確立すること。
• コア分割の $\beta$-セットと poset $P_{s,s+2}$ における順序理想を用いて問題を再定式化し、格子路とのきれいな双対写像を可能にする。
• 単純な式 $2^{s-1}$ の背後にある双対的解釈を求めるという未解決の問題を解決すること。この式は洗練されているが、長年にわたり直接的な組合せ論的解釈が得られていなかった。

提案手法

• 著者らはコア分割の $\beta$-セット表現を用いて、問題を $P_{s,s+2}$ における順序理想の数え上げに翻訳する。ただし、連続する整数を含まないものに制限する。
• 対称的な構造を持つ poset $Q$ を定義し、$P_{s,s+2}$ と $Q$ の部分poset間の明示的な順序反転写像 $f_R$ と順序保存写像 $f_L$ を構成する。
• 主な構成は、$P_{s,s+2}$ における順序理想 $I$ を、$J = f_L(I \cap L) \cup (Q^{-} \setminus f_R(I \cap R))$ として新しい順序理想 $J$ に写像するもので、これは $Q$ におけるバランスの取れた順序理想であることが示される。
• この写像が、部品が相異なる $(s,s+2)$-core 分割の集合と、$Q$ におけるバランスの取れた順序理想の集合との間で双対的であることを証明する。これらバランスの取れた順序理想は、格子路と双対的である。
• 格子路との対応は、高さ関数 $h_J(p)$ を用いて確立される。ここで、$0 \leq p \leq 2k+1$ に対して、パスは $(p, h_J(p) - h_J(0))$ の列として定義され、$s = 2k+1$ であり、パスは正の奇数の高さで終了する。
• 証明は、構成された写像がwell-definedであり、順序を保ち、かつ逆写像が存在することを、順序理想の性質と poset $Q$ の構造を用いて確認することに依拠している。

実験結果

リサーチクエスチョン

• RQ1 アンドベルハンが予想したように、奇数 $s$ に対して、$(s,s+2)$-core 分割で部品が相異なるものの個数が $2^{s-1}$ であるという直接的な双対的証明は存在するか？
• RQ2 $(s,s+2)$-core 分割で部品が相異なるものの集合は、自然に格子路といった組合せ論的対象と同一視できるか？
• RQ3 $\beta$-セットと関連する poset $P_{s,s+2}$ が、このような双対写像の存在を可能にする構造的性質は何か？
• RQ4 部品が相異なる（連続するフック長さがない）という条件は、poset および格子路の枠組み内でどのように符号化され、保存されるのか？

主な発見

• 任意の奇数の正の整数 $s$ に対して、$(s,s+2)$-core 分割で部品が相異なるものの個数は正確に $2^{s-1}$ である。これは、アンドベルハンの予想を双対的メソッドによって確認した。
• $(s,s+2)$-core 分割で部品が相異なるものの集合と、$(0,0)$ から出発し、$(s,y)$ で終了する（$y$ は正の整数）長さ $s$ の格子路の集合との間で双対写像が構成された。格子路のステップは $U=(1,1)$ と $D=(1,-1)$ である。
• この双対写像は二段階の写像で構成される：まず、分割の $\beta$-セットから poset $P_{s,s+2}$ における順序理想へ、次に変換された poset $Q$ におけるバランスの取れた順序理想へ。このバランスの取れた順序理想は格子路に対応する。
• 構成により、$\beta$-セットに連続する整数が存在しないこと（部品が相異なることに対応）が、パスの構造に保存され、反映される。
• 証明により、このような格子路の個数が $2^{s-1}$ であることが示され、これは有効なコア分割の個数と一致する。これにより、式が組合せ論的に証明された。
• 著者らは、この結果に対して、これまでの代数的または記号計算技術に依存していた証明とは異なり、最初の直接的で構成的な双対写像を提供した。