[論文レビュー] Twin-width IV: low complexity matrices.

Édouard Bonnet, Ugo Giocanti+2 more|arXiv (Cornell University)|Feb 5, 2021

Advanced Graph Theory Research参考文献 17被引用数 14

ひとこと要約

この論文は、遺伝的かつ全順序付き二進構造における有界 twin-width の特徴付けを確立し、以下のような二分岐結果を導く：有限のアルファベット上の行列のクラスにおいて、サイズ $n \times n$ の行列が少なくとも $n!$ 個含まれるか、またはある定数 $c$ に対して高々 $c^n$ 個含まれるかのいずれかである。これは、長年の懸案事項であった遺伝的行列および順序付きグラフクラスの成長率に関する予想を解決し、twin-width の固定パラメータ近似を可能にするとともに、固定パラメータ tractable な一階論理モデルチェックの分類を実現する。

ABSTRACT

We establish a list of characterizations of bounded twin-width for hereditary, totally ordered binary structures. This has several consequences. First, it allows us to show that a (hereditary) class of matrices on a finite alphabet either contains at least $n!$ matrices of size $n imes n$, or at most $c^n$ for some constant $c$. This generalizes the celebrated Stanley-Wilf conjecture/Marcus-Tardos theorem from permutation classes to any matrix class on a finite alphabet, answers our small conjecture [SODA '21] in the case of ordered graphs, and with more work, settles a question first asked by Balogh, Bollobas, and Morris [Eur. J. Comb. '06] on the growth of hereditary classes of ordered graphs. Second, it gives a fixed-parameter approximation algorithm for twin-width on ordered graphs. Third, it yields a full classification of fixed-parameter tractable first-order model checking on hereditary classes of ordered binary structures. Fourth, it provides an alternative proof to a model-theoretic characterization of classes with bounded twin-width announced by Simon and Torunczyk.

研究の動機と目的

• 遺伝的かつ全順序付き二進構造における有界 twin-width の特徴付けを行う。
• 有限のアルファベット上での遺伝的行列クラスの成長率に関する二分岐を解明する。
• 順序付きグラフにおける twin-width の固定パラメータ近似アルゴリズムを提供する。
• 遺伝的順序付き二進構造クラスにおける固定パラメータ tractable な一階論理モデルチェックの分類を提供する。
• 有界 twin-width を持つクラスのモデル理論的特徴付けを、twin-width 技法を用いて再構成し、Simon と Torunczyk のアナウンスに対する代替的証明を提供する。

提案手法

• 遺伝的かつ全順序付き二進構造における有界 twin-width の同値特徴付けのリストを開発する。
• これらの特徴付けを応用し、有限のアルファベット上での行列クラスの成長率における二分岐を導出する。
• twin-width の構造的性質を用いて、順序付きグラフにおける twin-width の固定パラメータ近似アルゴリズムを設計する。
• twin-width の特徴付けを活用し、遺伝的順序付き二進構造クラスにおける一階論理モデルチェックの tractability を分類する。
• twin-width 技法を用いてモデル理論的結果を再構成し、Simon と Torunczyk のアナウンスに対する代替的証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 遺伝的かつ全順序付き二進構造における有界 twin-width はどのように特徴づけられるか？
• RQ2 有限のアルファベット上での遺伝的行列クラスは、成長率において常に二分岐するか——すなわち、$n!$ 個以上、またはある定数 $c$ に対して高々 $c^n$ 個の行列を含むかのいずれかか？
• RQ3 順序付きグラフにおいて、twin-width は固定パラメータ時間で近似可能か？
• RQ4 どの遺伝的順序付き二進構造クラスが、固定パラメータ tractable な一階論理モデルチェックを満たすか？
• RQ5 有界 twin-width を持つクラスのモデル理論的特徴付けを、twin-width 技法を用いて再証明可能か？

主な発見

• 有限のアルファベット上での遺伝的行列クラスは、サイズ $n \times n$ の行列を少なくとも $n!$ 個含むか、またはある定数 $c$ に対して高々 $c^n$ 個含むかのいずれかであり、成長率の二分岐が確立される。
• Marcus-Tardos の定理と Stanley-Wilf 予想が、置換クラスから任意の有限アルファベット上での行列クラスへ一般化される。
• 構造的特徴付けに基づき、順序付きグラフにおける twin-width の固定パラメータ近似アルゴリズムが達成される。
• 一階論理モデルチェックが、遺伝的順序付き二進構造クラスにおいて固定パラメータ tractable であることは、twin-width が有界であることにちょうど同値である。
• 有界 twin-width を持つクラスのモデル理論的特徴付けに対して、代替的証明が提供され、twin-width 理論を用いてその結果が裏付けられる。