[论文解读] Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation

Benjamin Scheidt, Nicole Schweikardt|arXiv (Cornell University)|Jan 1, 2023

Advanced Graph Theory Research参考文献 19被引用 2

一句话总结

本文引入了一种用于超图的双排序计数逻辑 GCk，该逻辑刻画了广义超树宽有界的超图上的同态不可区分性。证明了当且仅当两个超图在 GCk 中满足相同的句子时，它们才对所有此类超图的同态计数不可区分，从而将 Dvoürák 在图上的结果推广到了超图。

ABSTRACT

We introduce the 2-sorted counting logic $GC^k$ that expresses properties of hypergraphs. This logic has available k variables to address hyperedges, an unbounded number of variables to address vertices, and atomic formulas E(e,v) to express that a vertex v is contained in a hyperedge e. We show that two hypergraphs H, H' satisfy the same sentences of the logic $GC^k$ if, and only if, they are homomorphism indistinguishable over the class of hypergraphs of generalised hypertree width at most k. Here, H, H' are called homomorphism indistinguishable over a class C if for every hypergraph G in C the number of homomorphisms from G to H equals the number of homomorphisms from G to H'. This result can be viewed as a generalisation (from graphs to hypergraphs) of a result by Dvorak (2010) stating that any two (undirected, simple, finite) graphs H, H' are indistinguishable by the (k+1)-variable counting logic $C^{k+1}$ if, and only if, they are homomorphism indistinguishable on the class of graphs of tree width at most k.

研究动机与目标

• 将 Dvoürák 关于树宽与计数逻辑的结果从图推广到超图。
• 为广义超树宽有界的超图上的同态不可区分性提供逻辑刻画。
• 定义并分析一种新的双排序计数逻辑 GCk，其包含 k 个用于超边的变量和无限多个用于顶点的变量。
• 建立超图上同态不可区分性与 GCk 中的一阶等价性之间的逻辑等价性。
• 探讨 GCk 在超图分解背景下的表达能力与模型论性质。

提出的方法

• 引入 GCk，一种双排序计数逻辑，包含 k 个用于超边的“蓝色”变量和无限多个用于顶点的“红色”变量，包括表示关联关系的原子公式 E(e,v) 和对变量元组的计数量词 ∃⩾n z。
• 为超图 H 定义关联图 I(H)，并将其用作 GCk 句子的模型。
• 引入 k-标记的关联图和类 GLIk，以表示广义超树宽有界的结构。
• 为 GCk 句子建立一种正规形式 RGCk，以简化逻辑分析与等价性检查。
• 使用纠缠超树分解（ehds）作为关键技术工具，将逻辑不可区分性与结构性质联系起来。
• 通过一系列逻辑与结构引理，证明 GCk 可定义的性质与在类 GHWk 上的同态计数之间的等价性，其中包括通过部分函数与保护机制构造见证超图的创新方法。

实验结果

研究问题

• RQ1 Dvoürák 关于树宽与 Ck+1 逻辑的结果能否从图推广到超图？
• RQ2 何种逻辑系统刻画了广义超树宽有界的超图上的同态不可区分性？
• RQ3 在超图性质的背景下，GCk 的表达能力如何与其他逻辑片段比较？
• RQ4 是否存在一种超图版本的 k 维 Weisfeiler-Leman 算法，其表达能力与 GCk 相当？
• RQ5 确定广义超树宽或在 GHWk 上计算同态计数的计算复杂度是多少？

主要发现

• 当且仅当两个超图 H 和 H′ 在逻辑 GCk 中满足相同的句子时，它们在广义超树宽至多为 k 的超图类上是同态不可区分的。
• 逻辑 GCk 是一种双排序计数逻辑，包含 k 个用于超边的变量和无限多个用于顶点的变量，支持对变量元组的计数量词。
• 该主要结果对一般超图与简单超图均成立，且逻辑 GCk 刻画了在类 GHWk 上的同态计数。
• 证明依赖于一种新颖的构造方法，即使用纠缠超树分解（ehds），并证明其在同态不可区分性目的下与广义超树分解等价。
• 为 GCk 建立了正规形式 RGCk，使得任何 GCk 句子均可转换为一种等价形式，从而促进模型检测与等价性推理。
• 本文证明了在 IEHWk（基于纠缠分解的 GHWk 的子类）上的同态不可区分性与在 GHWk 上的同态不可区分性一致，尽管对于足够大的 k，IEHWk 是 GHWk 的真子类。