[論文レビュー] An Algorithmic Meta Theorem for Homomorphism Indistinguishability

Tim Seppelt|arXiv (Cornell University)|Jan 1, 2024

Cryptography and Data Security被引用数 1

ひとこと要約

本稿では、任意の計数モノアディック第二階理論（CMSO2）で定義可能な有界木幅をもつグラフクラス F に対して、ホモモルフィズム同定可能性を決定するランダム化多項式時間アルゴリズムを提示する。コーデルの定理とグラフ代数における有限次元ホモモルフィズムテンソルを活用することで、このような問題が coRP に属することを確立し、孤立したケースを超えたホモモルフィズム同定可能性の一般的可解性結果を初めて得た。

ABSTRACT

Two graphs $G$ and $H$ are homomorphism indistinguishable over a family of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphism from $F$ to $H$. Many natural equivalence relations comparing graphs such as (quantum) isomorphism, cospectrality, and logical equivalences can be characterised as homomorphism indistinguishability relations over various graph classes. For a fixed graph class $\mathcal{F}$, the decision problem HomInd($\mathcal{F}$) asks to determine whether two input graphs $G$ and $H$ are homomorphism indistinguishable over $\mathcal{F}$. The problem HomInd($\mathcal{F}$) is known to be decidable only for few graph classes $\mathcal{F}$. We show that HomInd($\mathcal{F}$) admits a randomised polynomial-time algorithm for every graph class $\mathcal{F}$ of bounded treewidth which is definable in counting monadic second-order logic CMSO2. Thereby, we give the first general algorithm for deciding homomorphism indistinguishability. This result extends to a version of HomInd where the graph class $\mathcal{F}$ is specified by a CMSO2-sentence and a bound $k$ on the treewidth, which are given as input. For fixed $k$, this problem is randomised fixed-parameter tractable. If $k$ is part of the input then it is coNP- and coW[1]-hard. Addressing a problem posed by Berkholz (2012), we show coNP-hardness by establishing that deciding indistinguishability under the $k$-dimensional Weisfeiler--Leman algorithm is coNP-hard when $k$ is part of the input.

研究の動機と目的

• ホモモルフィズム同定可能性が決定可能かつ実行可能となる条件を特定する長年の未解決問題に取り組む。
• 有界木幅や Weisfeiler–Leman 同定可能性といった既知の実行可能ケースを統一的なアルゴリズム的枠組みへ一般化する。
• Berkholz (2012) が提起した問いに応えるために、k が入力に含まれる場合の Weisfeiler–Leman 同定可能性が coNP 困難であることを証明する。
• HomInd(F) の決定可能性に関する必要十分条件を、有界木幅と CMSO2 での定義可能性の観点から特定する。
• 特にマイナー閉グラフクラスにおいて、決定可能と決定不能なホモモルフィズム同定可能性関係の境界を探索する。

提案手法

• この手法は、系列的および並列的合成などのラベル付き演算を用いてグラフを表現するコーデルのグラフ代数に依存する。
• ホモモルフィズムテンソルは、代数に属するラベル付きグラフからのホモモルフィズムの数を追跡し、木幅が有界であれば有限次元表現を形成する。
• CMSO2 で定義可能なグラフクラスによる認識可能性により、代数的構造が効率的に計算・操作可能であることが保証される。
• アルゴリズムはランダム化検証を用いて、2つのグラフ G と H がすべての F ∈ F に対して同一のホモモルフィズム数をもつことを確認する。これはテンソル空間の有限次元性に依存する。
• クリーク問題への還元により、k が入力に含まれる場合の Weisfeiler–Leman 同定可能性が coNP 困難であることが示される。
• 中国剰余定理の技術を用いて、有限体上でのテンソル同値性を効率的に検証し、誤差が有界な範囲で正しさを保証する。

実験結果

リサーチクエスチョン

• RQ1 ホモモルフィズム同定可能性が決定可能かつ実行可能となる一般的アルゴリズム的条件は何か？
• RQ2 有界木幅や Weisfeiler–Leman 同値性といった特定ケースを超えて、ホモモルフィズム同定可能性の実行可能性を拡張できるか？
• RQ3 パrameter k（例：k次元 Weisfeiler–Leman）が入力に含まれる場合、ホモモルフィズム同定可能性を決定する計算量はいかほどか？
• RQ4 特にマイナー閉グラフクラスにおいて、HomInd(F) の決定可能性に有界木幅が必須条件であるか？
• RQ5 有限次元ホモモルフィズムテンソルとグラフ代数との関係を用いて、HomInd(F) の決定可能性の境界を特徴づけられるか？

主な発見

• すべての k-認識可能で木幅が k−1 以下のグラフクラス F に対して HomInd(F) は coRP に属する。これは、ホモモルフィズム同定可能性に対する最初の一般的ランダム化多項式時間アルゴリズムを提供する。
• この結果は、有界次数の木、k-外部平面グラフ、有界分岐幅グラフを含む、CMSO2 で定義可能で有界木幅をもつすべてのグラフクラスに適用可能である。
• k が入力に含まれる場合、問題は依然として coNP 困難のままである。これは k 次元 Weisfeiler–Leman 同定可能性問題に対しても同様である。
• 証明により、ラベル数（または木幅）が有界であれば、有限次元ホモモルフィズムテンソルが同定可能性を十分に捉えることが示され、先行研究の直感を形式化した。
• 入力 (G, H, ϕ, k) を持つパラメータ化された HomInd のバージョンは、k を固定した場合に固定パラメータ可 tractable であるが、k が入力に含まれる場合は coW[1]-hard になる。
• 本稿は [37] の未解決問題に肯定的に応え、有界木幅下で Lasserre ハイアラーチー関連のグラフクラスにおけるホモモルフィズム同定可能性が決定可能であることを示した。