[論文レビュー] Simultaneous cores with restrictions and a question of Zaleski and Zeilberger

Paul D. Johnson|arXiv (Cornell University)|Feb 26, 2018

Advanced Combinatorial Mathematics参考文献 5被引用数 5

ひとこと要約

本稿は、制限された部分差をもつ$(n,n+1)$-コア分割の一般化再帰を導入し、異なる部分と$d$で割り切れる部分に関する先行結果を統一する。アバクス図と母関数を用いて、サイズ、長さ、最大部分といった豊富な統計を導出し、ZaleskiとZeilbergerが提起した問題を解決する。すなわち、すべての部分が奇数である$(n,n+1)$-コア分割の個数が$n$番目のフィボナッチ数に等しいことを証明する。

ABSTRACT

IMPORTANT NOTE: This paper is much rougher than I'd usually submit, and not entirely complete, though the main theorems and proofs should not be hard to follow. Given the ongoing strike at UK Universities it may be some time before I get to complete it to my satisfaction, and in the meantime people I've shared the preliminary draft with would like to be able to reference it. Hence I'm uploading it in its current form, and will update it later. The main new result of this paper is to count the number of (n,n+1)-core partitions with odd parts, answering a question of Zaleski and Zeilberger with bounty a charitable contribution to the OEIS. Along the way, we prove a general theorem giving a recurrence for (n,n+1)-core parts whose smallest part and consecutive part differences are restricted to lie in an arbitrary set M. This theorem unifies many known results about (n,n+1)-core partitions with restrictions. We end with discussions of extensions of the general theorem that keep track of the largest part, number of parts, and size of the partition, and about a few cases where the same methods work on more general simultaneous cores.

研究の動機と目的

• 部分差に制限を設けた$(n,n+1)$-コア分割に関する既知の結果を統一・一般化すること。
• ZaleskiとZeilbergerが提起した、すべての部分が奇数である$(n,n+1)$-コア分割の個数に関する特定の問題を解明すること。
• アバクス構成を用いて、さまざまな制限付きクラスの$(n,n+1)$-コア分割に適用可能な再帰枠組みを構築すること。
• サイズ、部分数、最大部分といった追加統計を再帰に統合すること。
• 一部のケースにおいて、$(n,n+1)$-コアを超えた同時コアへのこの手法の適用可能性を検討すること。

提案手法

• 整数分割のアバクスモデルを用いて一般再帰を導出し、部分差の制約を集合$M \subset \mathbb{N}$によって符号化する。
• 特に白い玉の連続と黒い玉の境界に注目して、アバクス上の玉の配置を分析することで再帰を構築する。
• 許容される部分差を追跡する特性関数$\chi_M(q)$に基づいて、母関数$F_M(q)$を定義する。
• サイズ、長さ、最大部分のための豊富な母関数は、$\chi_M(q)$の微分および有理関数を用いて導出される。
• 再帰を$M = \mathbb{N}_+$（異なる部分）および$M = 2\mathbb{N}$（奇数部分）に適用し、フィボナッチ数およびFuss-Catalan型の個数が得られる。
• 微分作用素を$F_M(q)$に適用することで、総サイズや総部分数といった統計を追跡する方法を拡張する。

実験結果

リサーチクエスチョン

• RQ1 すべての部分が奇数である$(n,n+1)$-コア分割の個数は何か？ そして、これは既知の組合せ的数列に従うか？
• RQ2 連続する部分差に任意の制限を設けた場合に、$(n,n+1)$-コア分割に対して統一された再帰を構築できるか？
• RQ3 再帰を、サイズ、部分数、最大部分といった追加統計を追跡できるようにどのように豊かめることができるか？
• RQ4 再帰法は、$(n,n+1)$-コアの範囲を超えて、他の同時コアのケースにも拡張可能か？
• RQ5 奇数部分と偶数部分を持つ$(n,n+1)$-コア分割の個数の間にはどのような関係があるか？

主な発見

• すべての部分が奇数である$(n,n+1)$-コア分割の個数は、$n$番目のフィボナッチ数$F_n$に等しく、ZaleskiとZeilbergerが提起した問題を解決する。
• 連続する部分差が固定された集合$M \subset \mathbb{N}$に属する$(n,n+1)$-コア分割に対して、一般再帰が確立され、先行研究の結果が統一される。
• 再帰は$M = \mathbb{N}_+$（異なる部分）および$M = 2\mathbb{N}$（奇数部分）に対しても成り立ち、前者ではフィボナッチ数が得られ、後者では同じフィボナッチ数列が得られる。
• 母関数$F_M(q)$は、$\chi_M(q)$を含む関数方程式を満たし、微分を用いて豊富な統計を導出可能である。
• すべてのこのような分割の総サイズ、部分数、最大部分は、$F_M(q)$およびその導関数から得られる有理母関数で記述される。
• この手法は$M = k\mathbb{N}_+$に拡張可能であり、$k$で割り切れる異なる部分を持つ分割が得られ、これらのケースではFuss-Catalan数と関連する。