[論文レビュー] Homomorphism-Distinguishing Closedness for Graphs of Bounded Tree-Width

Daniel Neuen|arXiv (Cornell University)|Apr 14, 2023

Graph Labeling and Dimension Problems被引用数 3

ひとこと要約

この論文は、既知のホモモーフィズム同定不能性の特徴づけと非同型グラフの構成を用いて、任意の k ≥ 1 に対して、木幅が k 以下のグラフのクラスがホモモーフィズム同定不能閉じているというローバーソンの予想を確認している。主な応用として、k次元ワイスフェーラー＝レーマン（k-WL）アルゴリズムが検出するサブグラフカウントを完全に特徴づけている：サブグラフカウントが k-WL 不変であるための必要十分条件は、そのサブグラフの有界木幅が k 以下であることである。

ABSTRACT

Two graphs are homomorphism indistinguishable over a graph class $\mathcal{F}$, denoted by $G \equiv_{\mathcal{F}} H$, if $\operatorname{hom}(F,G) = \operatorname{hom}(F,H)$ for all $F \in \mathcal{F}$ where $\operatorname{hom}(F,G)$ denotes the number of homomorphisms from $F$ to $G$. A classical result of Lovász shows that isomorphism between graphs is equivalent to homomorphism indistinguishability over the class of all graphs. More recently, there has been a series of works giving natural algebraic and/or logical characterizations for homomorphism indistinguishability over certain restricted graph classes. A class of graphs $\mathcal{F}$ is homomorphism-distinguishing closed if, for every $F otin \mathcal{F}$, there are graphs $G$ and $H$ such that $G \equiv_{\mathcal{F}} H$ and $\operatorname{hom}(F,G) eq \operatorname{hom}(F,H)$. Roberson conjectured that every class closed under taking minors and disjoint unions is homomorphism-distinguishing closed which implies that every such class defines a distinct equivalence relation between graphs. In this note, we confirm this conjecture for the classes $\mathcal{T}_k$, $k \geq 1$, containing all graphs of tree-width at most $k$. As an application of this result, we also characterize which subgraph counts are detected by the $k$-dimensional Weisfeiler-Leman algorithm. This answers an open question from [Arvind et al., J. Comput. Syst. Sci., 2020].

研究の動機と目的

• 木幅が k 以下のグラフのクラス Tk に対して、すべての k ≥ 1 に対してローバーソンの予想が成り立つことを確認する。すなわち、マイナーおよび非交差和に関して閉じたグラフクラスは、ホモモーフィズム同定不能閉じている。
• k次元ワイスフェーラー＝レーマン（k-WL）アルゴリズムがどのサブグラフカウントを検出できるかという未解決の問題を解消する。
• 有界木幅の概念を用いて、サブグラフカウントの k-WL 不変性を完全に特徴づける。
• Tk 上でのホモモーフィズム同定不能性と k-WL アルゴリズムの表現力の間の橋渡しをし、論理的および代数的特徴づけを提供する。

提案手法

• 既知の Tk 上でのホモモーフィズム同定不能性の特徴づけを活用し、[5, 6, 9] の結果に依拠して、k-WL の同定不能性と、木幅 ≤ k のグラフ上でのホモモーフィズム同定不能性を結びつける。
• 主結果の証明の鍵となる構造的仮定として、定理 1.2（Tk のホモモーフィズム同定不能閉じている性質）を適用する。
• 文献 [3] の線形代数的枠組みを用いて、与えられたグラフのホモモーフィックな像上のホモモーフィズムカウントの線形結合としてサブグラフカウントを表現する。
• 文献 [15] の補題 5.5 を適用し、ホモモーフィズムカウントの線形結合が ≡Tk に関して不変であれば、すべての成分グラフが Tk に属することを示す。
• Tk のホモモーフィズム同定不能閉じている性質とサブグラフカウントの分解を組み合わせ、k-WL 不変性の必要十分条件を導出する。
• 中心的不変量として、有界木幅（hdtw(F)）を定義する。これは、F のすべてのホモモーフィックな像における最大の木幅として定義される。

実験結果

リサーチクエスチョン

• RQ1 すべての k ≥ 1 に対して、木幅が k 以下のグラフのクラス Tk はホモモーフィズム同定不能閉じているか？
• RQ2 どのサブグラフカウントが k 次元ワイスフェーラー＝レーマン（k-WL）アルゴリズムに関して不変か？
• RQ3 有界木幅 hdtw(F) ≤ k が、サブグラフカウントが k-WL 不変であるために必要かつ十分であるか？
• RQ4 k-WL の表現力は、有界木幅グラフ上のホモモーフィズムカウントの観点から完全に特徴づけられるか？

主な発見

• すべての k ≥ 1 に対して、木幅が k 以下のグラフのクラス Tk はホモモーフィズム同定不能閉じている。これはローバーソンの予想がこのクラスに対して正当であることを確認する。
• サブグラフカウント sub(F, ·) が k-WL 不変であるための必要十分条件は、F の有界木幅が k 以下であることである。これにより完全な分類が得られた。
• 有界木幅 hdtw(F) ≤ k ならば k-WL 不変であるという逆方向の包含関係は、以前に知られていた。本研究では、hdtw(F) > k を満たす任意の F に対して反例を構成することで、順方向の包含関係を確立した。
• サブグラフカウントを F のホモモーフィックな像上のホモモーフィズムカウントの線形結合として表現し、Tk のホモモーフィズム同定不能閉じている性質を適用することで、証明に依拠している。
• 本研究は、Arvind ら（2020）が提起した未解決問題を解決した。すなわち、k-WL 不変サブグラフカウントの完全な特徴づけを達成した。
• 本フレームワークにより、k-WL の表現力が、木幅が k 以下のグラフ上でのホモモーフィズム同定不能性によって完全に捉えられることを示した。