[論文レビュー] Automatic enumeration of regular objects

Marni Mishna|ArXiv.org|Jul 12, 2005

Advanced Combinatorial Mathematics参考文献 26被引用数 7

ひとこと要約

本稿では、k-正則グラフやハイパーグラフなどの正則構造をもつ組合せ的対象の自動列挙を、対称関数のスカラー積を用いて、その母関数に対するD-有限微分方程式を導出することによって、体系的でアルゴリズム的な枠組みを提示する。主な貢献は、対称関数の演算を効果的に計算することで、正確な数え上げと漸近的解析を可能にする手法の開発である。

ABSTRACT

We describe a framework for systematic enumeration of families combinatorial structures which possess a certain regularity. More precisely, we describe how to obtain the differential equations satisfied by their generating series. These differential equations are then used to determine the initial counting sequence and for asymptotic analysis. The key tool is the scalar product for symmetric functions and that this operation preserves D-finiteness.

研究の動機と目的

• k-正則グラフやハイパーグラフなどの正則構造をもつ組合せ的族を体系的かつアルゴリズム的に列挙するためのアプローチを開発すること。
• 漸近的列挙のために、対称関数とD-有限母関数との間の関係を確立すること。
• 対称関数のスカラー積がD-有限性を保つことの証明を行い、母関数の効率的計算を可能にすること。
• 数え上げ列の微分方程式と漸近的展開を導出するための半自動化手法を提供すること。
• D-有限性の組合せ的体系における限界を探索し、D-有限な列を生じる構造的条件を同定すること。

提案手法

• 母関数の係数抽出と母関数の導出のための主要な計算ツールとして、対称関数のスカラー積を用いる。
• スカラー積を用いて、例えばk-正則グラフの生成関数のような対称系列を、一変数母関数に変換する。
• θ(p₁) = t および n > 1 のとき θ(pₙ) = 0 を満たすホモモーティズム θ を用いて、母関数内の単項式の係数を抽出する。
• 既知の対称関数のアルゴリズム（[7] より）を活用し、スカラー積を効率的に計算することで、D-有限微分方程式を導出する。
• 得られた系列のD-有限性を活用し、WimpとZeilberger [30] に示された基準を用いて漸近的展開を導出する。
• 合成組合せ的構成（例えば、有向グラフにおけるサイクルやリストの構成）をモデル化するために、プレシズム操作を用いる。

実験結果

リサーチクエスチョン

• RQ1 対称関数のスカラー積を、正則な組合せ的対象の母関数に対するD-有限微分方程式を体系的に導出するのに効果的に用いることができるか？
• RQ2 組合せ的族のどのような構造的性質が、その母関数がD-有限であることを保証するか？
• RQ3 対称関数技法を用いて、D-有限列の漸近的展開をどの程度自動的に予測または計算できるか？
• RQ4 k-正則グラフのような正則構造のD-有限性の背後には、特異的構成を超えたより深い組合せ的根拠があるのか？
• RQ5 合成、積、微分などの組合せ的演算に関して、閉じているD-有限体系の理論を形式化できるか？

主な発見

• 対称関数のスカラー積はD-有限性を保つため、正則な組合せ的対象の母関数に対する微分方程式を導出可能である。
• 本手法により、k-正則グラフやハイパーグラフの数え上げ列の初期項が、対称関数のアルゴリズム的取り扱いによって効率的に計算可能である。
• 数え上げ列の漸近的展開が、WimpとZeilbergerが特徴づけたD-有限系列の一般形に従うことが示された：λ(n!)^{r/s}exp(Q(n^{1/m}))ωⁿn^α(log n)^k の形の項。
• すべてのkに対する正則グラフのクラスはD-有限ではないが、各固定kのクラスはD-有限である。これはD-有限性の適用範囲における微妙な境界を示している。
• k-一様ハイパーグラフやk-正則グラフの例において、半自動的漸近的解析が可能であることが示され、小さなkについての漸近的形の予想が検証された。
• 本稿は、D-有限母関数が正則な組合せ的族においてまれではないことを示唆し、大多数の組合せ的列が非ホロノミックであるという考えを覆している。