[论文解读] Logical Equivalences, Homomorphism Indistinguishability, and Forbidden Minors

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

Cholinesterase and Neurodegenerative Diseases被引用 1

一句话总结

本文建立了有限模型论中逻辑等价性与在 minor-闭图类上的同态不可区分性之间的深层联系。证明了任何承认同态不可区分性刻画的自对偶逻辑，必然等价于某个 minor-闭类上的同态不可区分性，从而将多种图等价关系统一于基于图 minor 理论的共同结构框架之下。

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 上的同态不可区分性可刻画某一逻辑的等价性。
• 解决关于图类同态区分闭包的开放问题，特别是关于 minor 和不相交并的 Roberson 猜想。
• 对所有本质上拟紧致的图类进行分类，这些图类是最大同态区分闭包的，即无法在不细化等价关系的前提下进一步扩展。

提出的方法

• 将逻辑形式化为句子与同构不变满足关系的配对 (L, |=)，并通过公式的补运算定义自对偶性。
• 引入同态区分闭包的概念：若向类 F 中添加任意不在 F 中的图会严格细化同态不可区分性关系，则称 F 是闭的。
• 建立 F 的闭包性质（如 minor-闭）与 ≡F 的保持性质（如对补运算的封闭性）之间的对应关系。
• 利用图 minor 理论与多态性技术，刻画同态不可区分性关系在不相交并、子图和字典积等操作下的保持条件。
• 证明：当 K 非二分图时，若 F 对细分封闭，则在 F 上的同态不可区分性关系允许 K-消去。
• 应用图结构理论的深刻结果，证明 F 的 minor-闭性等价于 ≡F 在取补运算下保持不变。

实验结果

研究问题

• RQ1 所有在某个图类上由同态不可区分性刻画的自对偶逻辑，是否都能等价地在某个 minor-闭类上刻画？
• RQ2 图类 F 的哪些闭包性质对应于其同态不可区分性关系 ≡F 的保持性质？
• RQ3 如 Roberson（2022）所猜想，所有对 minor 和不相交并封闭的图类是否都是同态区分闭包的？
• RQ4 哪些本质上拟紧致的图类是最大同态区分闭包的，即无法在不细化等价关系的前提下扩展？

主要发现

• 任何在图类 F 上由同态不可区分性刻画的自对偶逻辑 L，也必然在某个 minor-闭类 F′ 上由同态不可区分性刻画，从而在逻辑与 minor-闭类之间建立了根本性联系。
• 图类 F 是 minor-闭的，当且仅当其同态不可区分性关系 ≡F 在取图补运算下保持不变，从而通过逻辑保持性质提供了 minor-闭性的结构刻画。
• Roberson（2022）的猜想——即对 minor 和不相交并封闭的图类是同态区分闭包的——在所有本质上拟紧致类中得到证实。
• 对于非二分图 K，若 F 对细分封闭，则在 F 上的同态不可区分性关系允许 K-消去，从而推广了 Lovász 的原始结果。
• 所有 K-可着色图的类决定了 ≡F 是否允许 K-消去：≡F 允许 K-消去当且仅当 F 中的所有图都是 K-可着色的。
• 对所有本质上拟紧致的图类中最大同态区分闭包的类提供了完整分类，回答了文献 [38] 中的关键开放问题。