[论文解读] Homomorphism Tensors and Linear Equations

Martin Grohe, Gaurav Rattan+1 more|University of Twente Research Information|Nov 22, 2021

Tensor decomposition and applications被引用 6

一句话总结

该论文提出了一套统一的代数框架，利用同态张量和表示理论，对有界树宽、路径宽和树深图类中的同态不可区分性进行表征。通过证明路径宽至多为 $k$ 的图上同态不可区分性等价于图同构整数线性规划的第 $(k+1)$ 层线性松弛的可行性，该研究解决了长期悬而未决的问题，提出了一个通过自然系统 $\mathsf{PW}^{k+1}(G,H)$ 实现的新方程表征。

ABSTRACT

Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Recently, homomorphism indistinguishability over restricted classes of graphs such as bounded treewidth, bounded treedepth and planar graphs, has emerged as a surprisingly powerful framework for capturing diverse equivalence relations on graphs arising from logical equivalence and algebraic equation systems. In this paper, we provide a unified algebraic framework for such results by examining the linear-algebraic and representation-theoretic structure of tensors counting homomorphisms from labelled graphs. The existence of certain linear transformations between such homomorphism tensor subspaces can be interpreted both as homomorphism indistinguishability over a graph class and as feasibility of an equational system. Following this framework, we obtain characterisations of homomorphism indistinguishability over several natural graph classes, namely trees of bounded degree and graphs of bounded pathwidth, answering a question of Dell et al. (2018), and graphs of bounded treedepth.

研究动机与目标

• 使用代数与表示理论方法，统一并推广现有对受限图类中同态不可区分性的表征。
• 解决Dell等人（2018）提出的一个开放问题：有界路径宽上同态不可区分性是否具有类似于有界树宽的方程表征。
• 建立一个系统性框架，连接同态计数、线性方程组与图等价关系。
• 将方程表征从树和有界树宽扩展至路径宽与树深。
• 建立同态不可区分性与已知代数层级（如Sherali–Adams松弛与分数同构）之间的联系。

提出的方法

• 作者引入一种基于张量的同态计数框架，将标记图的同态计数视为表示理论设定下的线性代数对象。
• 他们定义了一个新的线性方程组 $\mathsf{PW}^{k+1}(G,H)$，用于表征路径宽至多为 $k$ 的图类上的同态不可区分性。
• 该方法依赖于对同态张量子空间的分析，并识别出与图类上不可区分性相对应的线性变换。
• 该框架将同态不可区分性与图同构整数线性规划的线性松弛可行性联系起来。
• 利用Specht–Wiegmann定理与牛顿恒等式构造反例并证明非平凡的等价结果。
• 该方法将已知结果（如树的分数同构与有界树宽的Sherali–Adams）推广至路径宽与树深。

实验结果

研究问题

• RQ1 能否像有界树宽的情形一样，通过一组线性方程来表征有界路径宽图上的同态不可区分性？
• RQ2 有界度图上的同态不可区分性是否足以表征图同构？
• RQ3 同态张量的代数结构如何与Sherali–Adams和分数同构等已知层级相关联？
• RQ4 是否存在一个统一的表示理论框架，能够解释不同图类上同态不可区分性与线性方程组可行性的等价性？
• RQ5 Prouhet–Tarry–Escott问题在构造在特定图类上同态不可区分但非同构的图中起到什么作用？

主要发现

• 路径宽至多为 $k$ 的图上，同态不可区分性等价于图同构标准整数线性规划的第 $(k+1)$ 层松弛 $\mathsf{L}^{k+1}_{\textnormal{iso}}(G,H)$ 的可行性。
• 提出了一套新的、更自然的系统 $\mathsf{PW}^{k+1}(G,H)$，用于表征路径宽为 $k$ 的图上的同态不可区分性，直接关联到同态计数。
• 该论文通过证实有界路径宽上的同态不可区分性具有类似于有界树宽的方程表征，解决了长期悬而未决的问题。
• 还通过系统 $\mathsf{TD}^{k}(G,H)$ 建立了对有界树深图上同态不可区分性的方程表征。
• 通过Prouhet–Thue–Morse序列与牛顿恒等式，证明了存在非同构但路径宽为 $k$ 的图上同态不可区分的图对。
• 该框架提供了一种通用机制，可从同态计数与线性方程可行性推导图相似性度量，扩展了关于图核与伪度量的已知结果。