[論文レビュー] 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 の体上の任意の頂点および辺の重みをもつ重み付きグラフに対して、一般化された同型定理を確立し、グラフ準同型関数 hom(·, H) が H の同型型を一意に決定することを証明する。著者らは、既存の結果を統一・拡張する、画期的で素朴な「バテルマン・アーギュメント」を導入し、従来の代数的アプローチにおける技術的障壁を回避し、重み付きグラフの同型準同型の数え上げの複雑さの二分法定理を有効化する。

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).

研究の動機と目的

• 特徴値 0 の体上の任意の頂点および辺の重みをもつグラフへ、ラヴェシュの基本的同型定理をグラフ準同型に関して拡張すること。
• 従来の研究における長年の技術的障壁、特に正の頂点重みまたは頂点重みの非ゼロ和に制限を設けることのない、克服すること。
• 量子グラフ、グラフ代数、リーマン作用素に基づく既存のすべての代数的アプローチを統合・一般化する、構成的で素朴な証明を提供すること。
• hom(·, H) の複雑さの二分法定理を有効化するために、多項式時間で hom(·, H) を計算するか、標準的な #P-困難問題への還元を可能にするアルゴリズムを提供すること。

提案手法

• 線形代数とテンソルのランク解析に基づく、単純で素朴な技術「バテルマン・アーギュメント」を導入し、同型定理を証明する。
• 同一型の頂点が同じ近傍構造を持つ場合にそのような頂点を削除する「ツイン削減」を用い、同型型のないグラフに問題を還元する。
• H に関連する接続テンソルのランクおよび対称ランクを定義・分析し、それらをグラフ代数の次元と関連付ける。
• H の接続テンソルのテンソルランクが対称ランクに等しく、かつこのランクが同型型を決定することを証明する。
• 無限次元ベクトル空間における双対性および線形独立性の議論を用いて、線形独立なベクトルに対する双対汎関数を構成する。
• 帰納法およびテンソル分解技術を用い、n ≥ 3 のとき、任意のランク r の対称テンソルの分解は、元の分解の置換に他ならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 頂点重みの和に制限がない、任意の頂点および辺の重みをもつグラフに対して、グラフ準同型の同型定理を拡張できるか？
• RQ2 量子グラフ、グラフ代数、リーマン作用素に基づく既存のすべての代数的アプローチを統合する、統一的で素朴な証明が存在するか？
• RQ3 重み付きグラフ H に関連するグラフ代数の正確な次元は何か？ そして、その接続テンソルのランクとどのように関係するか？
• RQ4 証明の構成的性質を活用して、hom(·, H) の複雑さの二分法定理を有効化（すなわち、アルゴリズム的に行えるようにする）ことは可能か？
• RQ5 有限体の特徴値において、この定理の限界は何か？ また、反例を構成できるか？

主な発見

• 同型定理は、特徴値 0 の体上の任意の有向および無向重み付きグラフに対して成り立つ。
• 頂点重みの和がゼロであるか、複素数であっても、グラフ準同型関数 hom(G, H) は H の同型型を一意に決定する。
• 証明は、イデムポテンや量子グラフといった複雑な代数的道具を避ける、画期的で素朴な「バテルマン・アーギュメント」を用いる。
• H に関連するグラフ代数の次元は、その接続テンソルの対称ランクに等しく、これはテンソルランクとも等しい。
• 任意の n ≥ 3 および非ゼロスカラーをもつ線形独立なベクトル x1,…,xr に対して、対称テンソル ∑i aixi⊗n のランクは r であり、任意の分解は元の分解の置換に他ならない。
• 第 8 章で提示された明示的な反例により、この定理は有限体の特徴値において成立しないことが示された。