[論文レビュー] 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

ひとこと要約

本稿は、一般化されたハイパートリー幅が有界なハイパーグラフ上で、同型写像の区別不能性を特徴付ける2種類の変数を持つ数え上げ論理GCkを導入する。この論理は、2つのハイパーグラフがすべての一般化されたハイパートリー幅がk以下のハイパーグラフからの同型写像の数で区別できないことと、それらが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の結果を拡張すること。
• 一般化されたハイパートリー幅が有界なハイパーグラフにおける同型写像の区別不能性の論理的特徴付けを提供すること。
• ハイパーエッジにk個の変数、頂点に無限個の変数を割り当てる新しい2種類の変数を持つ数え上げ論理GCkを定義・分析すること。
• ハイパーグラフにおいて、同型写像の区別不能性とGCkにおける素朴同値性との論理的同値性を確立すること。
• ハイパーグラフ分解の文脈において、GCkの表現力とモデル理論的性質を調査すること。

提案手法

• ハイパーエッジにk個の「青」変数、頂点に無限個の「赤」変数を割り当てる2種類の変数を持つ数え上げ論理GCkを導入する。原子論理式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 GCkと同等の表現力を有するハイパーグラフ版のk次元Weisfeiler-Lemanアルゴリズムは存在するか？
• RQ5 一般化されたハイパートリー幅を決定する、またはGHWk上での同型写像の数を計算する計算量的複雑性は何か？

主な発見

• 2つのハイパーグラフHとH′が、一般化されたハイパートリー幅がk以下のハイパーグラフのクラス上で同型写像の数で区別できないことと、それらがGCkで同じ文を満たすこととは同値である。
• GCk論理は、ハイパーエッジにk個の変数、頂点に無限個の変数を割り当てる2種類の変数を持つ数え上げ論理であり、変数のタプルに対する数え上げ記号をサポートする。
• 主な結果は、一般ハイパーグラフおよび単純ハイパーグラフの両方に対して成り立ち、GCk論理はクラスGHWk上での同型写像の数を特徴付ける。
• 証明は、ねじれハイパートリー分解（ehds）を用いた新しい構成に依存しており、同型写像の区別不能性の目的で、一般化されたハイパートリー分解と同等であることが示されている。
• GCkに対して正規形RGCkが確立され、任意のGCk文を、モデル検査および同値性の推論を容易にする同値な形に変換可能であることが保証された。
• 本稿では、IEHWk（ねじれ分解に基づくGHWkの真部分クラス）上での同型写像の区別不能性が、GHWk上でのそれと一致することを示したが、十分に大きなkに対してはIEHWkはGHWkの真部分クラスである。