[論文レビュー] Pebble Games and Linear Equations

Martin Grohe, Martin Otto|arXiv (Cornell University)|Apr 9, 2012

Graph Labeling and Dimension Problems参考文献 15被引用数 9

ひとこと要約

本稿は、Sherali–Adams線形計画法階層のレベルと、数え上げを含むkピースゲームの間の正確で簡略化された対応関係を確立し、Sherali–Adamsのk番目の段階が正確にkピース数え上げゲーム同等性に対応することを示している。修正されたピースゲームを導入し、二つの階層の入れ違いが厳密であることを証明した。また、ブール算術と単純なkピース同等性（数え上げなし）に対しても類似の結果を得た。

ABSTRACT

We give a new, simplified and detailed account of the correspondence between levels of the Sherali-Adams relaxation of graph isomorphism and levels of pebble-game equivalence with counting (higher-dimensional Weisfeiler-Lehman colour refinement). The correspondence between basic colour refinement and fractional isomorphism, due to Tinhofer (1986, 1991) and Ramana, Scheinerman and Ullman (1994), is re-interpreted as the base level of Sherali-Adams and generalised to higher levels in this sense by Atserias and Maneva (2012) and Malkin (2014), who prove that the two resulting hierarchies interleave. In carrying this analysis further, we here give (a) a precise characterisation of the level-k Sherali-Adams relaxation in terms of a modified counting pebble game; (b) a variant of the Sherali-Adams levels that precisely match the k-pebble counting game; (c) a proof that the interleaving between these two hierarchies is strict. We also investigate the variation based on boolean arithmetic instead of real/rational arithmetic and obtain analogous correspondences and separations for plain k-pebble equivalence (without counting). Our results are driven by considerably simplified accounts of the underlying combinatorics and linear algebra.

研究の動機と目的

• Sherali–Adams緩和と数え上げを含む有限変数論理の間の対応関係を明確化し、簡略化すること。
• Sherali–AdamsとCk同等性階層の間の入れ違いが厳密であるか、ある段階で崩壊するかという未解決の問題を解消すること。
• 線形計画法緩和と組合せ的ピースゲームの関係を、より高い段階およびブール算術へと拡張すること。
• 修正された数え上げピースゲームを用いて、Sherali–Adams階層のk番目の段階の新しい、洗練された特徴付けを提供すること。
• kピース数え上げゲーム階層とSherali–Adams階層の間の入れ違いが、k=2を除くすべての段階で厳密であることを証明すること。

提案手法

• Sherali–Adams緩和のk番目の段階を正確に特徴付ける修正された数え上げピースゲームを導入した。
• 線形方程式系の解とピースゲームにおける局所同型および安定分割を関連付けるためのリフト構成を用いた。
• 既約ブロックへの分解と固有値解析を適用して、基礎となる線形代数を簡略化した。
• ブール算術版のSherali–Adamsシステムを用いて、数え上げなしの単純なkピース同等性をモデル化した。
• ブール系B-ISO(k−1)の解と弱いkピースゲームにおける勝利戦略との間の同等性を確立した。
• 良い解によって誘導される安定的でブール同等な分割が、辺関係およびピース移動に関して不変であることを、安定性とブール同等性を用いて証明した。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、修正された数え上げピースゲームを用いて、Sherali–Adams階層のk番目の段階を正確に特徴付けられるか。
• RQ2 Sherali–Adams階層とCk同等性階層の間の入れ違いは厳密か、それともある段階で崩壊するか。
• RQ3 実数／有理数算術の代わりにブール算術を用いた場合、類似の対応関係と分離が成立するか。
• RQ4 局所同型と安定分割は、線形方程式系の解とピースゲーム戦略を結ぶ上で果たす役割は何か。
• RQ5 Sherali–Adamsフレームワーク内の適合方程式は、k変数論理におけるグラフの論理的区別不能性とどのように関係するか。

主な発見

• Sherali–Adams緩和のk番目の段階は、正確にkピース数え上げゲーム同等性に対応し、新しい簡略化されたピースゲーム定式化が得られた。
• Sherali–Adams階層とCk同等性階層の間の入れ違いは厳密である：k ≥ 3のとき、ISO(k)およびISO(k−1)はCk同等性を完全に捉えていない。
• ブール算術版のSherali–AdamsシステムB-ISO(k−1)は、単純なkピースゲーム同等性（数え上げなし）を正確に一致させ、局所同型によって支えられる解を持つ。
• Sherali–Adams方程式系の良い解は、ブール同等で安定した分割を誘導し、辺関係およびリフト操作に関して不変である。
• 良い解をタプルレベルにリフトすると、エッジおよび非エッジ関係が両方保持され、ピースゲームにおける勝利戦略を解から再構築できる。
• 結果は、特に既約ブロックへの分解と固有値の考察を通じて、簡略化された線形代数と組合せ論の分析によって駆動されている。