[论文解读] On a Theorem of Lovász that $\hom(\cdot, H)$ Determines the Isomorphism Type of $H$

Jin‐Yi Cai, Artem Govorov|arXiv (Cornell University)|Sep 9, 2019

Limits and Structures in Graph Theory参考文献 23被引用 2

一句话总结

本文建立了加权图的一般同构定理，证明即使在特征为0的域上，H的顶点和边权重任意时，图同态函数 hom(·, H) 也能唯一确定H的同构类型。作者提出了一种新颖且基础的“Vandermonde论证”方法，统一并推广了所有先前结果，绕过了早期代数方法中的技术障碍，从而实现了计数图同态的有效复杂性二分定理。

ABSTRACT

Graph homomorphism has been an important research topic since its introduction [László Lovász, 1967]. Stated in the language of binary relational structures in that paper [László Lovász, 1967], Lovász proved a fundamental theorem that the graph homomorphism function G ↦ hom(G, H) for 0-1 valued H (as the adjacency matrix of a graph) determines the isomorphism type of H. In the past 50 years various extensions have been proved by Lovász and others [László Lovász, 2006; Michael Freedman et al., 2007; Christian Borgs et al., 2008; Alexander Schrijver, 2009; László Lovász and Balázs Szegedy, 2009]. These extend the basic 0-1 case to admit vertex and edge weights; but always with some restrictions such as all vertex weights must be positive. In this paper we prove a general form of this theorem where H can have arbitrary vertex and edge weights. An innovative aspect is that we prove this by a surprisingly simple and unified argument. This bypasses various technical obstacles and unifies and extends all previous known versions of this theorem on graphs. The constructive proof of our theorem can be used to make various complexity dichotomy theorems for graph homomorphism effective, i.e., it provides an algorithm that for any H either outputs a P-time algorithm solving hom(⋅, H) or a P-time reduction from a canonical #P-hard problem to hom(⋅, H).

研究动机与目标

• 将Lovász关于图同态的基本同构定理推广至特征为0的域上具有任意顶点和边权重的图。
• 克服先前工作中长期存在的技术障碍，特别是对顶点权重为正或顶点权重和非零的限制。
• 提供一种构造性、基础性的证明，统一并推广所有先前关于图同态同构定理的版本。
• 通过给出一种算法，要么在多项式时间内计算hom(·, H)，要么将其归约到一个标准的#P-难问题，从而实现hom(·, H)的有效复杂性二分定理。

提出的方法

• 引入“Vandermonde论证”——一种基于线性代数和张量秩分析的简单、基础的技术，用于证明同构定理。
• 使用双生简化（twin reduction）消除具有相同邻接结构的同构顶点，将问题约化为无双生图。
• 定义并分析与H相关的连接张量的秩与对称秩，将其与图代数的维数联系起来。
• 证明H的连接张量的张量秩等于其对称秩，且该秩决定了同构类型。
• 在无限维向量空间中应用对偶性与线性无关性论证，为线性无关向量构造对偶泛函。
• 使用归纳法与张量分解技术，证明当n ≥ 3时，任意对称张量∑i aixi⊗n的秩为r，且其任意分解必为原始分解的置换。

实验结果

研究问题

• RQ1 图同态的同构定理能否推广至具有任意顶点和边权重的图，且不施加顶点权重和的限制？
• RQ2 是否存在一种统一的、基础性的证明，能够涵盖基于量子图、图代数和Reynolds算子的所有先前代数方法？
• RQ3 与加权图H相关的图代数的精确维数是多少？它与连接张量的秩有何关系？
• RQ4 该证明的构造性特征能否被利用，以使hom(·, H)的复杂性二分定理变得有效，即具有算法性？
• RQ5 该定理在有限特征域中的局限性是什么？能否构造出反例？

主要发现

• 该同构定理对特征为0的域上所有具有任意顶点和边权重的有向与无向加权图均成立。
• 即使顶点权重之和为零或为复数，图同态函数hom(G, H)也能唯一确定H的同构类型。
• 该证明使用了一种新颖且基础的“Vandermonde论证”，避免了使用诸如幂等元或量子图等复杂代数工具。
• 与H相关的图代数的维数等于其连接张量的对称秩，后者也等于张量秩。
• 对于任意n ≥ 3及一组非零标量a1,…,ar的线性无关向量x1,…,xr，对称张量∑i aixi⊗n的秩为r，且其任意分解必为原始分解的置换。
• 在有限特征域中，该定理不成立，如第8节中提供的显式反例所示。