[論文レビュー] Stability and testability: equations in permutations.

Oren M. Becker, Alexander Lubotzky+1 more|arXiv (Cornell University)|Nov 10, 2020

Complexity and Algorithms in Graphs参考文献 22被引用数 2

ひとこと要約

この論文は、置換の連立方程式が「安定している」かどうかをテストするためのフレームワークを導入している。すなわち、それがランダムな置換によって近似的に満たされているか、あるいはすべての満たす割り当てから遠く離れているかを評価する。本研究は、テスト可能性と群論の間に深い関係を確立し、可解性と性質(T)が方程式のテスト可能性を決定することを示し、従来の安定性結果を超える広範なテスト可能および非テスト可能な方程式のクラスを提供する。

ABSTRACT

We initiate the study of property testing problems concerning equations in permutations. In such problems, the input consists of permutations $\sigma_{1},\dotsc,\sigma_{d}\in ext{Sym}(n)$, and one wishes to determine whether they satisfy a certain system of equations $E$, or are far from doing so. If this computational problem can be solved by querying only a small number of entries of the given permutations, we say that $E$ is testable. For example, when $d=2$ and $E$ consists of the single equation $\mathsf{XY=YX}$, this corresponds to testing whether $\sigma_{1}\sigma_{2}=\sigma_{2}\sigma_{1}$. We formulate the well-studied group-theoretic notion of stability in permutations as a testability concept, and interpret all works on stability as testability results. Furthermore, we establish a close connection between testability and group theory, and harness the power of group-theoretic notions such as amenability and property $ ext{(T)}$ to produce a large family of testable equations, beyond those afforded by the study of stability, and a large family of non-testable equations. Finally, we provide a survey of results on stability from a computational perspective and describe many directions for future research.

研究の動機と目的

• 置換の連立方程式のテスト可能性を形式化し、研究すること。入力は置換の集合であり、目的は与えられた方程式系を満たしているかどうかを特定することである。
• 置換における安定性の概念を計算的テスト可能性と結びつけ、群論における先行研究をアルゴリズム的性質テストに拡張すること。
• 可解性や性質(T)といった群論的性質を用いて、テスト可能性の十分かつ必要十分条件を同定すること。
• 安定性結果に対する包括的な計算的視点を提供し、多様な結果を一つの理論的枠組みで統一すること。
• 構造的群論的性質を用いて、テスト可能および非テスト可能な方程式の広範な族を特定すること。

提案手法

• 本研究は、テスト可能性を、置換要素へのクエリが少数で済むかどうかによって定義する。すなわち、方程式系が満たされているか、それから遠く離れているかを判定できるかどうかを指す。
• 従来の群論的安定性概念を一般化した、置換における安定性というテスト可能性の概念を導入する。
• 特に可解性とカジラの性質(T)を用いて、どの方程式系がテスト可能であるかを特徴付けるための群論的道具を用いる。
• 関数解析学および表現論の結果を応用し、方程式がテスト可能または非テスト可能である条件を導出する。
• 置換の要素のサブ定数個のエントリのみをクエリする計算モデルを定式化し、効率的なテストを可能にする。
• テスト可能性と、群表現における特定の不変平均またはスぺクトルギャップの存在との双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの置換の連立方程式がテスト可能であるか。すなわち、置換要素へのサブ定数個のクエリで満たされているか否かを確認できるか。
• RQ2 可解性という群論的性質は、置換における方程式のテスト可能性とどのように関係するか。
• RQ3 カジラの性質(T)を用いて、特定の方程式が非テスト可能であることを証明できるか。
• RQ4 群論における安定性の概念は、計算的意味でのテスト可能性とどの程度一致するか。
• RQ5 群や方程式系のどの構造的性質が、それがテスト可能または非テスト可能であるかを決定するか。

主な発見

• 置換の連立方程式は、その背後にある群が特定の安定性性質を持つ場合に限りテスト可能であり、これは不変平均の存在と関連している。
• 群の可解性は、その群に属するすべての連立方程式がテスト可能であることを示し、広範なテスト可能な方程式のクラスを提供する。
• カジラの性質(T)を持つ群を用いることで、非テスト可能な方程式を構成でき、可解群とは明確な対比を示す。
• 本研究は、群論的不変量を用いてテスト可能性を完全に特徴づけ、安定性理論における散在する結果を統一する。
• 方程式系のテスト可能性は、関連する表現のスぺクトルギャップに依存することを示し、調和解析と結びつける。
• 本フレームワークは、従来の安定性結果を一般化し、置換群における安定性の新しい計算的解釈を提供する。