[論文レビュー] A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus

Martin Grohe, Sandra Kiefer|arXiv (Cornell University)|Jan 1, 2019

Advanced Graph Theory Research参考文献 35被引用数 1

ひとこと要約

本稿では、オイラー特性が有界な曲面に埋め込めるグラフのワイスフェーラー＝レーマン（WL）次元に対して線形な上界を確立する。超臨界ブリッジの構造とその接続パターンを精緻な同型写像拡張論法を用いて分析することで、オイラー特性 $g$ のグラフのWL次元は最大 $4g + 3$ であり、特に可定向曲面では最大 $2g + 3$ であることが示された。

ABSTRACT

The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first-order logic with counting quantifiers. It is known that the WL dimension is upper-bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017). In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus $g$ is at most $4g+3$. For the WL dimension of graphs embeddable in an orientable surface of Euler genus $g$, our approach yields an upper bound of $2g+3$.

研究の動機と目的

• 有界なオイラー特性を持つグラフのワイスフェーラー＝レーマン（WL）次元に対するタイトな上界を特定すること。
• 平面グラフ（WL次元 ≤ 3）に関する先行結果を、任意の曲面に埋め込めるグラフへと拡張すること。
• 固定されたマイナーを除外するグラフに対する一般的で大きな上界を、トポロジカル構造を活用することで改善すること。
• 表面に埋め込まれたグラフにおける超臨界ブリッジの同型写像拡張技術を精緻化すること。
• 可定向曲面と非可定向曲面の間でWL次元の上界に差が生じるかどうかを明確にすること。

提案手法

• オイラー特性 $g$ の曲面に埋め込まれたグラフにおける超臨界ブリッジの構造を分析すること。
• ブリッジの種別とその接続パターンを分類することで、同型写像に依存しないカラーリングを定義すること。
• コア部分グラフ間の部分同型写像を、ブリッジの接続を体系的に処理することで完全な同型写像へと拡張すること。
• 臨界ブリッジとその双対の間の全単射を用いて、同型写像下でも構造的不変量を保つこと。
• 特に可定向曲面の場合は、オイラー特性を 2 減らすことで境界を精緻化するという帰納法を適用すること。
• 可定向曲面は偶数のオイラー特性を持つことを利用し、$4g+3$ から $2g+3$ への境界の改善を図ること。

実験結果

リサーチクエスチョン

• RQ1 オイラー特性 $g$ の曲面に埋め込まれるグラフの最大ワイスフェーラー＝レーマン次元は何か？
• RQ2 一般の曲面と比較して、可定向曲面に埋め込まれるグラフではWL次元の上界を改善できるか？
• RQ3 超臨界ブリッジの構造的複雑さはWL次元にどのように影響するか？
• RQ4 オイラー特性のようなトポロジカル不変量を用いて、WL次元をどの程度まで束縛できるか？
• RQ5 上界 $4g+3$ はタイトなものか、あるいは精緻な構造的解析によりさらに小さくできるか？

主な発見

• 任意のオイラー特性 $g$ のグラフのワイスフェーラー＝レーマン次元は、最大 $4g + 3$ である。
• 可定向曲面に埋め込まれるグラフのオイラー特性 $g$ に対して、WL次元は最大 $2g + 3$ である。
• 可定向曲面の境界は、帰納的にオイラー特性を 2 減らし、同型写像拡張プロセスを精緻化することで達成される。
• 証明は、ブリッジの種別と接続パターンを分析することで、コア部分グラフからの同型写像を完全なグラフへ体系的に拡張することに依存する。
• この結果は、固定されたマイナーを除外するグラフに対する一般的で非常に大きな上界を改善したものであり、その点で有意義である。
• 著者らは、上界が $3g + 3$ あるいは $2g + 3$ にさらに小さくできるかもしれないと予想しており、新たな技術によりさらなる精緻化の余地があると考えている。