[論文レビュー] Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

Tim Seppelt|arXiv (Cornell University)|Jan 1, 2023

Cholinesterase and Neurodegenerative Diseases被引用数 1

ひとこと要約

本稿は、有限モデル理論における論理的同値性と、マイナー閉グラフクラス上のホモモルフィズムの区別不能性の間の深い関係を確立する。任意の自己補完論理で、ホモモルフィズムの区別不能性によって特徴づけられるものについて、それがあるマイナー閉クラス上でホモモルフィズムの区別不能性と同値であることを証明し、グラフマイナー理論に根ざした共通の構造的枠組みの中で、多様なグラフ同値関係を統一する。

ABSTRACT

Two graphs $G$ and $H$ are homomorphism indistinguishable over a class of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphisms from $F$ to $H$. Many natural equivalence relations comparing graphs such as (quantum) isomorphism, spectral, and logical equivalences can be characterised as homomorphism indistinguishability relations over certain graph classes. Abstracting from the wealth of such instances, we show in this paper that equivalences w.r.t. any self-complementarity logic admitting a characterisation as homomorphism indistinguishability relation can be characterised by homomorphism indistinguishability over a minor-closed graph class. Self-complementarity is a mild property satisfied by most well-studied logics. This result follows from a correspondence between closure properties of a graph class and preservation properties of its homomorphism indistinguishability relation. Furthermore, we classify all graph classes which are in a sense finite (essentially profinite) and satisfy the maximality condition of being homomorphism distinguishing closed, i.e. adding any graph to the class strictly refines its homomorphism indistinguishability relation. Thereby, we answer various questions raised by Roberson (2022) on general properties of the homomorphism distinguishing closure.

研究の動機と目的

• ホモモルフィズムの区別不能性の枠組みの中で、量子同型、スペクトル的同値、論理的同値といった多様なグラフ同値関係を統一すること。
• ホモモルフィズムの区別不能性がグラフクラス F において論理の同値性を特徴づけるための構造的条件を調査すること。
• 特にマイナーと素性の直和に関するローベルソンの予想を含む、グラフクラスのホモモルフィズム区別不能性閉包に関する未解決問題を解明すること。
• すべての本質的にプロフィニットなグラフクラスのうち、同値関係を厳密に refining する追加のグラフを追加できない最大のホモモルフィズム区別不能性閉包であるものの分類をすること。

提案手法

• 論理を、文と同型不変な満たし関係のペア (L, |=) として形式化し、論理式の補完によって自己補完性を定義する。
• ホモモルフィズム区別不能性閉包の概念を導入：クラス F が閉じているとは、F に属さない任意のグラフを追加すると、ホモモルフィズム区別不能性関係が厳密に refining されることを意味する。
• F の閉包性質（例：マイナー閉）と ≡F の保存性（例：補完に関する閉包）との間の対応関係を確立する。
• グラフマイナー理論と多様体的技術を用いて、ホモモルフィズム区別不能性関係が、直和、部分グラフ、辞書的積などの操作に関して保存される条件を特徴づける。
• 非双分グラフ K に対して、F が分割に閉じているとき、F 上でのホモモルフィズム区別不能性は K-キャンセレーションを満たすことを証明する。
• グラフ構造理論の深い結果を応用し、F がマイナー閉であることは、≡F が補完をとる操作に関して保存されることと同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ホモモルフィズム区別不能性によって特徴づけられるすべての自己補完論理 L は、あるマイナー閉クラス上で同値に特徴づけられるか？
• RQ2 グラフクラス F のどの閉包性質が、そのホモモルフィズム区別不能性関係 ≡F の保存性に対応するか？
• RQ3 ローベルソン（2022）の予想、すなわちマイナーと素性の直和に関して閉じたすべてのグラフクラスはホモモルフィズム区別不能性閉包である、という予想は、すべての本質的にプロフィニットクラスに対して正しいか？
• RQ4 どの本質的にプロフィニットなグラフクラスが、最大のホモモルフィズム区別不能性閉包であるか、すなわち同値関係を refining する追加のグラフを追加できないか？

主な発見

• ホモモルフィズム区別不能性によって特徴づけられる任意の自己補完論理 L は、あるマイナー閉クラス F′ においてもホモモルフィズム区別不能性によって特徴づけられることを示し、論理とマイナー閉クラスとの間に根本的な関係を確立する。
• グラフクラス F がマイナー閉であることは、そのホモモルフィズム区別不能性関係 ≡F がグラフ補完に関して保存されることと同値である。これはマイナー閉の構造的特徴づけを論理的保存性によって与える。
• ローベルソン（2022）の予想、すなわちマイナーと素性の直和に関して閉じたグラフクラスはホモモルフィズム区別不能性閉包である、という予想は、すべての本質的にプロフィニットクラスに対して確認された。
• 非双分グラフ K に対して、F が分割に閉じているとき、F 上でのホモモルフィズム区別不能性は K-キャンセレーションを満たす。これはロヴァーズの元の結果を一般化する。
• すべてのグラフが K-彩色可能であるかどうかが、≡F が K-キャンセレーションを満たすかどうかを決定する：≡F が K-キャンセレーションを満たすことは、F に属するすべてのグラフが K-彩色可能であることと同値である。
• 本質的にプロフィニットなグラフクラスのうち、最大のホモモルフィズム区別不能性閉包であるものの完全な分類が与えられ、[38] における主要な未解決問題に答えを提示する。