[論文レビュー] Higher order spt functions for overpartitions, overpartitions with smallest part even, and partitions without repeated odd parts

Chris Jennings-Shaffer|arXiv (Cornell University)|Feb 20, 2014

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

ひとこと要約

本稿では、対称化されたクランクおよびランクモーメントを用いて、過分拆（overpartitions）および最小部が偶数である過分拆、最小部が偶数で奇数部が繰り返されない分拆の高次spt関数を導入する。バーレイペアと初等的な再配置を用いることで、これらのモーメントの表現が得られ、過分拆クランクモーメントがランクモーメントを厳密に上回ること、すなわち $¯{M}_{2k}(n) > ¯{N}_{2k}(n)$ が証明される。さらに、$5n+1$ および $5n+3$ における $¯{\text{spt}}_2(n)$ の新たな合同関係が検証された。本研究はアンドリュースのspt関数を新たな分拆クラスへと拡張し、ランクおよびクランク統計のより深い構造的洞察を提供する。

ABSTRACT

We consider the symmetrized moments of three ranks and cranks, similar to the work of Garvan for the rank and crank of a partition. By using Bailey pairs and elementary rearrangements, we are able to find useful expressions for these moments. We then deduce inequalities between the corresponding ordinary moments. In particular we prove that the crank moment for overpartitions is always larger than the rank moment for overpartitions; with recent asymptotics this was known to hold for sufficiently large values of n for each fixed k. Lastly we provide higher order spt functions for overpartitions, overpartitions with smallest part even, and partitions with smallest part even and no repeated odds.

研究の動機と目的

• アンドリュースのspt関数を、最小部に特定の制約を課した過分拆および関連する分拆クラスへと拡張すること。
• クランクおよびランク統計の対称化モーメントの差として高次spt関数を定義すること。
• 過分拆におけるクランクモーメントとランクモーメントの間の不等式を確立し、すべての $n$ および固定された $k$ に対して $\u00af{M}_{2k}(n) > \u00af{N}_{2k}(n)$ を証明すること。
• 5を法とする $¯{\text{spt}}_2(n)$ の新たな合同関係を導出し、証明すること。特に $n \equiv 1,3 \pmod{5}$ の場合を対象とする。

提案手法

• 過分拆クランクおよびランク分布の対称化モーメント $\mu_{2k}(n)$ および $\eta_{2k}(n)$ を用い、高次spt関数を $\u00af{\text{spt}}_k(n) = \mu_{2k}(n) - \eta_{2k}(n)$ として定義する。
• バーレイペアと初等的な代数的再配置を用いて、高次モーメントを生成関数および組合せ的恒等式の形で表現する。
• 過分拆ランクおよびクランクの生成関数、特に $\u00af{R}(z,q)$ および $\u00af{C}(z,q)$ を用いてモーメント関係を導出する。
• 既知の $g_k(m)$ およびスターリング型数 $S^*(k,j)$ を含む恒等式を用いて、複雑なモーメント式を簡略化し、対称化モーメントの公式を簡素化する。
• モジュラー算術と先行研究（例：[10]）における既知の合同関係を用いて、$¯{\text{spt}}_2(n)$ の5を法とする新たな合同関係を証明する。
• 集合 $\u00af{\text{S}}$ 内の分拆ペアにおける重み関数 $\omega_2(\vec{\pi})$ を検証し、組合せ的数え上げにより $\u00af{\text{spt}}_2(4) = 16$ を直接計算する。

実験結果

リサーチクエスチョン

• RQ1 すべての $n$ および固定された $k$ に対して、過分拆クランクモーメント $\u00af{M}_{2k}(n)$ はランクモーメント $\u00af{N}_{2k}(n)$ を厳密に上回るか？
• RQ2 最小部が偶数である過分拆および最小部が偶数で奇数部が繰り返されない分拆に対して、高次spt関数を定義できるか？
• RQ3 これらの新しいspt関数は、5を法とする新たな算術的性質（例えば合同関係）を満たすか？
• RQ4 対称化モーメントアプローチを用いて、$¯{\text{spt}}_2(n)$ の合同関係を導出し、証明できるか？
• RQ5 これらの新しいspt関数の生成関数と既知の分拆生成関数との間に構造的関係があるか？

主な発見

• すべての $n$ および固定された $k$ に対して、過分拆クランクモーメント $\u00af{M}_{2k}(n)$ はランクモーメント $\u00af{N}_{2k}(n)$ を厳密に上回り、これは以前は漸近的にのみ知られていた厳密な不等式を確認するものである。
• 高次spt関数 $¯{\text{spt}}_2(n)$ は合同関係 $\u00af{\text{spt}}_2(5n+1) \equiv 0 \pmod{5}$ および $\u00af{\text{spt}}_2(5n+3) \equiv 0 \pmod{5}$ を満たす。これらはモーメント恒等式のモジュラー還元を用いて証明された。
• 重み関数 $\omega_2(\vec{\pi})$ を用いた組合せ的数え上げにより、$\u00af{\text{spt}}_2(4) = 16$ が明示的に計算され、新しいspt定義の整合性が確認された。
• $¯{\text{spt}}_2(n)$ の生成関数は、4次および2次モーメントの有理結合として表される：$\u00af{\text{spt}}_2(n) = \frac{1}{24}(\u00af{M}_4(n) - \u00af{M}_2(n) - \u00af{N}_4(n) + \u00af{N}_2(n))$。
• 合同関係の証明は、[10] に掲載された既知のモーメント恒等式のモジュラー還元に依拠しており、$\u00af{M2}_2(5n+1) \equiv 0 \pmod{5}$ および $n \equiv 3 \pmod{5}$ の場合にモーメントの線形結合が5を法として消えることが示された。
• 本研究は、spt関数を新たな分拆クラスへと一般化するための枠組みを確立し、関連研究における $j$-ランクおよび $j$-クランク統計を用いたさらなる拡張の可能性を示唆している。