[論文レビュー] Twin-width and permutations

Édouard Bonnet, Jaroslav Nešetřil+3 more|arXiv (Cornell University)|Feb 13, 2021

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

本稿では、ある種の二進関係的構造のクラスが有界なツイン幅をもつことと、それが適切な順列クラスの第一階論理的トランスダクションであることの必要十分条件を確立している。主な貢献は、ツイン幅と順列クラスとの間のモデル理論的特徴付けを、トランスダクションを通じて結びつけるものであり、すべてのこのようなクラスが高々 $2^{O(n)}$ 個の同型でない $n$ 頂点グラフを含むことを示している。

ABSTRACT

Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially directed graphs) has bounded twin-width if and only if it is a first-order transduction of a~proper permutation class. As a by-product, we show that every class with bounded twin-width contains at most $2^{O(n)}$ pairwise non-isomorphic $n$-vertex graphs.

研究の動機と目的

• モデル理論的道具を用いて、有界ツイン幅をもつ二進関係的構造のクラスを特徴付けること。
• 第一階論理的トランスダクションを通じて、ツイン幅と順列クラスとの明確な論理的関係を確立すること。
• 有界ツイン幅をもつ任意のクラスが高々 $2^{O(n)}$ 個の同型でない $n$ 頂点グラフを含むことを示すこと。
• ツイン幅の分析のための構造的道具としてのランク付きツインモデルの導入および形式化すること。
• トランスダクションによる同値性を通じて、構造的グラフ理論と順列パターン理論を統合すること。

提案手法

• 赤い辺が誤りを追跡する収縮列を用いて、二進関係的構造（辺が色分けされた部分的に有向グラフ）のツイン幅を定義する。
• 最小性と整合性を満たす横断辺をもつ根付き木であるランク付きツインモデルを導入し、その最適幅がツイン幅に一致することを示す。
• 論理的解釈を活用して、第一階論理的トランスダクションを用いて二進構造を順列クラス内に符号化する。
• すべての有界ツイン幅のクラスが、適切な順列クラスの第一階論理的トランスダクションとして得られることを証明する。
• 既知の結果を活用する：適切な順列クラスは有界ツイン幅をもち、トランスダクションは有界ツイン幅を保存する。
• モデル理論的道具（例：単調依存、トランスダクション同値）を用いて構造的および論理的性質を分析する。

Figure 3. From a graph $G$ to a permutation $\sigma$ , and back.

実験結果

リサーチクエスチョン

• RQ1 有界ツイン幅をもつ二進関係的構造のクラスを特徴付ける論理的および構造的条件は何か？
• RQ2 すべての有界ツイン幅のクラスを順列クラスの第一階論理的トランスダクションとして表現できるか？
• RQ3 有界ツイン幅のクラスに含まれる $n$ 頂点グラフの同型でないものの最大数は何か？
• RQ4 ツインモデルおよびそのランク付けは、構造のツイン幅とどのように関係するか？
• RQ5 構造的グラフ理論において、ツイン幅と順列パターン回避の関係は何か？

主な発見

• 二進関係的構造のクラスが有界ツイン幅をもつことと、それが適切な順列クラスの第一階論理的トランスダクションであることの必要十分条件である。
• 有界ツイン幅をもつすべてのクラスは、高々 $2^{O(n)}$ 個の同型でない $n$ 頂点グラフを含む。
• 構造のツイン幅は、その構造のランク付きツインモデルの最適幅に一致する。
• 少なくとも一つの順列を回避するものとして定義される適切な順列クラスは、有界ツイン幅をもつ。
• トランスダクションは有界ツイン幅を保存するため、適切な順列クラスの第一階論理的トランスダクションはすべて有界ツイン幅をもつ。
• ツイン幅と順列クラスの間の関係は、構造的グラフ理論と順列パターン理論の間に深い結びつきがあることを示している。

Figure 4. A contraction sequence, a so-called block representation of the contractions, and a twin-model.