[論文レビュー] Overview of some general results in combinatorial enumeration

Martin Klazar|ArXiv.org|Mar 29, 2008

Advanced Combinatorial Mathematics参考文献 90被引用数 19

ひとこと要約

この論文は、置換、グラフ、関係系などの組合せ構造における遺伝的性質の成長率に焦点を当て、組合せ的数え上げにおける一般的結果について包括的なサーベイを提供する。主な結果として、分割順序集合における下集合の数え上げ関数の多項式・指数関数的形、多くの数え上げ問題における漸近的 $ cn^{-3/2}r^n $ の振る舞い、およびMSOLで定義可能な構造の最終的モジュラー周期性——特に、任意の整数を法とするとき、そのような数列が周期的であることを証明する——が確立されている。

ABSTRACT

This survey article is devoted to general results in combinatorial enumeration. The first part surveys results on growth of hereditary properties of combinatorial structures. These include permutations, ordered and unordered graphs and hypergraphs, relational structures, and others. The second part advertises five topics in general enumeration: 1. counting lattice points in lattice polytopes, 2. growth of context-free languages, 3. holonomicity (i.e., P-recursiveness) of numbers of labeled regular graphs, 4. frequent occurrence of the asymptotics cn^{-3/2}r^n and 5. ultimate modular periodicity of numbers of MSOL-definable structures.

研究の動機と目的

• 組合せ的数え上げにおける数え上げ関数の成長を規定する一般的原則を体系化し要約すること。
• さまざまな組合せ的クラスにおける遺伝的性質の数え上げ関数の構造と漸近的挙動を調査すること。
• 特定の漸近的形 $ cn^{-3/2}r^n $ の頻発性と、定義可能な組合せ的族における最終的モジュラー周期性の現象を探索すること。
• MSOLで定義可能な構造の数え上げ関数が任意の整数を法として最終的に周期的となる条件を確立すること。
• 特に三進関係と文脈自由言語の成長に関して、一般的数え上げにおける未解決問題と研究方向を特定すること。

提案手法

• 包含関係または部分構造関係を部分順序として用いる、組合せ的構造の部分順序集合における下集合を分析する。
• 禁止部分構造の反鎖 $ F $ を用いて $ P = \mathrm{Av}(F) $ と表される遺伝的性質の枠組みを適用する。
• 生成関数と指数関数の線形結合を用いて、分割順序集合におけるサイズが有界な下集合の数え上げ関数を記述する。
• 単調第二階論理（MSOL）を用いて関係的構造を定義し、それらの数え上げ列が任意の整数を法として周期的であることを証明する。
• 再帰関係と生成関数技法を用いて、多面体の格子点数と文脈自由言語の成長を分析する。
• Specker-Blatter定理を活用し、一進および二進関係のみを用いるMSOLで定義可能な構造に対して、最終的モジュラー周期性を確立する。

実験結果

リサーチクエスチョン

• RQ1 禁止部分構造のサイズが有界である場合、組合せ的構造における遺伝的性質の数え上げ関数は、一般的にどのような形をとるか？
• RQ2 なぜ組合せ的数え上げにおいて、漸近的形 $ cn^{-3/2}r^n $ が頻繁に観察されるのか？
• RQ3 MSOLで定義可能な構造に対して、列 $ f_P(n) \mod m $ が最終的に周期的となる条件は何か？
• RQ4 一進および二進関係に限らない関係系に対して、モジュラー周期性に関するSpecker-Blatter定理を三進関係を含む関係系に拡張できるか？
• RQ5 ホロノミー性（P-再帰性）とラベル付き正則グラフの数え上げとの関係は何か？

主な発見

• 任意の最大ブロックサイズが $ k $ である分割順序集合における下集合 $ P $ に対して、数え上げ関数 $ f_P(n) $ は、$ p_i(n) $ が有理数係数多項式である線形結合 $ \sum_{i=1}^k p_i(n) i^n $ として表される。
• 区間 $ [n] $ の非交差分割の個数はカタラン数 $ C_n = \frac{1}{n+1}\binom{2n}{n} $ で与えられ、$ C_n \mod 2 = 1 $ となるのは $ n = 2^m - 1 $ のときに限る。この数列は2を法として最終的に周期的ではない。
• Specker-Blatter定理は、一進および二進関係のみを用いるMSOLで定義可能な関係系に対して、任意の $ m \in \mathbb{N} $ に対して列 $ f_P(n) \mod m $ が最終的に周期的であることを確立する。
• ラベル付き正則グラフの数え上げ関数はホロノミー的（P-再帰的）であり、その数え上げに深い構造的正則性が存在することを示している。
• 漸近的形 $ cn^{-3/2}r^n $ は、組合せ的数え上げにおいて頻繁に現れ、特に格子路の数え上げや平面的構造の分野で顕著である。
• MSOLで定義可能な構造のスペクトル（$ f_P(n) > 0 $ となるサイズの集合）は最終的に周期的である。この結果はCMSOLおよび有界次数の構造へと拡張されている。