[論文レビュー] Proper partitions of a polygon and k-Catalan numbers

Bruce E. Sagan|ArXiv.org|Jul 15, 2004

Advanced Combinatorial Mathematics参考文献 13被引用数 8

ひとこと要約

この論文は、c色の多角形をk角形に適切に分割する問題を考察することで、Catalan数をk-Catalan数に一般化する。各k角形の頂点にすべてのc色が含まれる。生成関数とLagrange逆公式を用いて、そのような分割の数の閉形式を証明し、c=2 かつ k=3 のときのみ、すべての適切なk分割がフラップ操作のみで接続可能であることを示した。

ABSTRACT

Let P be a polygon whose vertices have been colored (labeled) cyclically with the numbers 1,2,...,c. Motivated by conjectures of Propp, we are led to consider partitions of P into k-gons which are proper in the sense that each k-gon contains all c colors on its vertices. Counting the number of proper partitions involves a generalization of the k-Catalan numbers. We also show that in certain cases, any proper partition can be obtained from another by a sequence of moves called flips.

研究の動機と目的

• 多角形の頂点にすべてのc色が含まれるk角形への適切な分割を考察することで、k-Catalan数を一般化すること。
• James Proppによる適切な2色三角形分割に関する予想1.1を解決すること。
• 三角形分割にとどまらず、k ≥ 4 におけるk角形への適切な分割の数え上げを拡張すること。
• フラップ操作の下での適切なk分割の接続性を調査し、任意の2つの適切な分割の間に適切なフラップ列が存在する条件を特定すること。
• 「適切」という定義の代替案を検討し、c > 2 や k > 3 の場合に閉形式の数え上げが容易になる条件を同定すること。

提案手法

• 偶数個と奇数個の頂点数に対応する生成関数 A₀(x) と A₁(x) を用いて、適切な三角形分割の数をモデル化する。
• 関数方程式系 A₀ = 2x(1 + A₀)³ と A₁ = (1 + A₀)² を解くためにLagrange逆公式を適用する。
• 頂点の上側の辺を含む三角形を分析することで再帰的構造を確立し、その三角形が多角形を2つの部分多角形に分割し、それぞれが再び適切に三角形分割されなければならないことを示す。
• 2つの隣接するk角形が形成する(2k−2)角形において、2本の対角線を入れ替える「フラップ」と呼ばれる局所的操作を導入する。
• 任意の2つのk分割はフラップの列によって接続可能であるが、c=2 かつ k=3 のときのみ、適切性を保つフラップ列（適切なフラップ列）が保証される。
• c < k の場合を分析し、特にc=3, k=4 の場合に生成関数が扱いにくく、閉形式が得られないと判明した。

実験結果

リサーチクエスチョン

• RQ1 頂点が1,2,…,c=2 と巡回的にラベル付けされた(N+2)角形の適切な三角形分割の数は何か？ これは一般化されたk-Catalan数とどのように関係するか？
• RQ2 k=3 にとどまらず、k ≥ 4 におけるk角形への適切なk分割の数え上げを拡張できるか？
• RQ3 すべての適切なk分割が、分割の適切性を保つフラップ操作の列によって接続可能となる条件は何か？
• RQ4 c > 2 や k > 3 の場合に、扱いやすい閉形式の数え上げをもたらす「適切」の代替定義は存在するか？
• RQ5 a₂ₙ = 2ⁿCₙ,₃ に対して非帰納的でグローバルな組合せ的証明があるのと同様に、b₃ₙ = Cₙ,₄ に対しても非帰納的でグローバルな組合せ的構成が見いだせるか？

主な発見

• 頂点が巡回的に1,2,…,c=2 にラベル付けされた(N+2)角形の適切な三角形分割の数は、二項係数を用いた閉形式で与えられる：N=2n のとき a_N = 2ⁿ/(2n+1) * C(3n,n)，N=2n+1 のとき a_N = 2ⁿ⁺¹/(2n+2) * C(3n+1,n)。
• Lagrange逆公式による生成関数のアプローチにより、a₂ₙ = 2ⁿCₙ,₃ および a₂ₙ₊₁ = 2ⁿ⁺¹Cₙ,₃ が得られ、3-Catalan数と明確な関係が示された。
• k ≥ 4 の場合、c色を用いた多角形の適切なk分割の数は一般化されたk-Catalan数の公式で与えられ、c=3, k=4 のとき b₃ₙ = Cₙ,₄ が成り立つ。
• 任意の2つのk分割はフラップ操作の列によって接続可能であるが、適切なフラップ列（適切性を保つフラップ列）が保証されるのは、c=2 かつ k=3 のときのみである。
• c ≥ 3 または k > 3 の場合、適切なフラップ列が常に存在するとは限らず、c=3, k=4 のような反例により、すべての適切な分割を接続する適切なフラップ列が存在しないことが示された。
• c < k の場合（例：c=3, k=4）は生成関数が扱いにくく、OEISに登録された系列とも一致せず、この場合に簡単な閉形式は存在しないと示唆された。