[論文レビュー] On first-order transductions of classes of graphs

Samuel Braunfeld, Jaroslav Nešetřil+2 more|arXiv (Cornell University)|Aug 30, 2022

semigroups and automata theory被引用数 4

ひとこと要約

本稿は、グラフの遺伝的クラスにおける1階（FO）転送準順序について調査し、それが高次元の複雑さ—特にラティスでも分配的ラティスでもない—を示す一方で、有界分配的結合半ラティスを形成することを確立している。パス、3正則グラフ、木の転送を帯域幅、木幅、次数といった構造的パラメータを用いて特徴づけ、パス幅クラスが1階転送の下で厳密な階層を形成することを証明するとともに、星型フォレストが有界次数の転送で得られない最小のクラスであることを特定し、転送双対性を明らかにした。

ABSTRACT

We study various aspects of the first-order transduction quasi-order on graph classes, which provides a way of measuring the relative complexity of graph classes based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very complex, and many standard properties from structural graph theory and model theory naturally appear in it. We prove a local normal form for transductions among other general results and constructions, which we illustrate via several examples and via the characterizations of the transductions of some simple classes. We then turn to various aspects of the quasi-order, including the (non-)existence of minimum and maximum classes for certain properties, the strictness of the pathwidth hierarchy, the fact that the quasi-order is not a lattice, and the role of weakly sparse classes in the quasi-order.

研究の動機と目的

• 1階転送準順序の構造を、定義可能な符号化による論理的複雑さの測定として分析すること。
• 帯域幅、木幅、次数といった構造的グラフパラメータを用いて、パス、3正則グラフ、木といった基本的グラフクラスの転送を特徴づけること。
• 有界パス幅や有界木幅といった性質が1階転送の下で厳密な階層を形成するかどうかを調査すること。
• 転送準順序における最大または最小クラスの存在を調査し、特に有界次数グラフクラスから転送できない最小クラスを特定すること。
• 密なクラスのスパース版に関する予想を提示・検討すること、特に単調安定性とスパーシフィケーションの関係を含む。

提案手法

• 1階論理に内在する局所性を捉えるためのFO-転送の正規形を導入し、構造的分析を可能にする。
• 転送包含と接着技術を用いて、単純な構成要素から複雑な転送を構築する。
• 単調依存性や安定性といったモデル理論的概念を用いて、転送閉じたクラスを特徴づける。
• 木幅、パス幅、退化度といった構造的グラフ理論の道具を用いて、転送関係を分類する。
• スパースクラスの「密な類似」の概念を発展させ、単調クラスを超えたスパarsity理論を拡張する。
• 構造的スパーシティ（例：有界拡張性、どこにも密ではない性質）および転送双対性の結果を活用して、帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 遺伝的グラフクラスにおける1階転送準順序はラティスを形成するか、それ以上に複雑な構造を持つのか？
• RQ2 すべての k ≥ 1 に対して、パス幅が k 以下のグラフクラスは1階転送の下で厳密な階層を形成するか？
• RQ3 任意の有界次数グラフクラスから転送できない最小クラスは存在するか？ その構造的特徴は何か？
• RQ4 単調安定クラスはスパーシフィケーション可能か、すなわち弱くスパースなクラスと転送同値か？
• RQ5 転送準順序における有界拡張クラスの密な類似と単調安定性の関係は何か？

主な発見

• 遺伝的グラフクラスにおける1階転送準順序はラティスではなく、その商部分順序に対しても同様であるため、極めて高い複雑さを示している。
• すべての k ≥ 1 に対して、パス幅が k 以下のグラフクラスは1階転送の下で厳密な階層を形成する。
• 星型フォレストは、任意の有界次数グラフクラスの転送で得られない最小クラスであり、転送双対性の一種を示している。
• パス、3正則グラフ、3正則木の転送は、それぞれ帯域幅、次数、木幅が有界であることで特徴づけられる。
• 転送準順序は有界分配的結合半ラティスを形成し、加法的クラスの部分順序集合に対しても同様である。
• 予想によれば、単調安定クラスは、その密な類似が有界拡張クラスの転送下界集合によって完全に記述可能である場合に限り、スパーシフィケーション可能である。