[論文レビュー] 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)$ を通じて新たな方程式的特徴付けを提供した。これは、Dell ら（2018）が提起した未解決問題を解決するものである。

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 リラクゼーションや分数的同型といった既知の代数的階層との関係を確立すること。

提案手法

• 著者らは、ラベル付きグラフからのホモモーフィズムカウントを、表現論的文脈における線形代数的対象として扱う、テンソルに基づく枠組みを導入した。
• パス幅が高々 $k$ のグラフにおけるホモモーフィズムの区別不能性を特徴付ける新しい線形方程式系 $\mathsf{PW}^{k+1}(G,H)$ を定義した。
• この方法は、ホモモーフィズムテンソルの部分空間を分析し、特定のグラフクラスにおける区別不能性に対応する線形変換を同定することに依拠している。
• この枠組みは、グラフ同型の整数線形計画法の線形リラクゼーションの可解性とホモモーフィズムの区別不能性を結びつける。
• 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)$ の可解性と同値である。
• パス幅-$k$ グラフにおけるホモモーフィズムの区別不能性を特徴付ける、より自然な新しいシステム $\mathsf{PW}^{k+1}(G,H)$ が導入され、ホモモーフィズムカウントへの直接的なリンクを提供した。
• 本稿は、有界パス幅におけるホモモーフィズムの区別不能性が、有界木幅と同様に代数的特徴付けを有することを確認することで、Dell ら（2018）の未解決問題を解決した。
• 木深さが高々 $k$ のグラフにおけるホモモーフィズムの区別不能性に対しても、システム $\mathsf{TD}^{k}(G,H)$ を用いて代数的特徴付けを確立した。
• Prouhet–Thue–Morse 数列とニュートンの恒等式を用いて、非同型だがパス幅-$k$ グラフにおいてホモモーフィズムの区別不能性を示すグラフの存在を示した。
• 本フレームワークは、ホモモーフィズムカウントと線形方程式の可解性から、グラフ類似度測度を導出する一般化されたメカニズムを提供し、既知のグラフカーネルや擬距離に関する結果を拡張した。