[論文レビュー] Lifts, derandomization, and diameters of Schreier graphs of Mealy automata

Anton Malyshev, Igor Pak|arXiv (Cornell University)|Jul 17, 2014

semigroups and automata theory参考文献 7被引用数 3

ひとこと要約

本稿は、Mealy自己認識機械に関連するSchreierグラフのリフトを調査し、有界直径のグラフを構成するための新規な非確率的化技術を導入する。これらのグラフのスペクトル的性質と組合せ的構造を分析することで、特定のMealy自己認識機械のSchreierグラフの直径に対する超多項式的下界を確立し、その拡張性および計算複雑性に関する理解を前進させる。

ABSTRACT

It is known that random 2-lifts of graphs give rise to expander graphs. We present a new conjectured derandomization of this construction based on certain Mealy automata. We verify that these graphs have polylogarithmic diameter, and present a class of automata for which the same is true. However, we also show that some automata in this class do not give rise to expander graphs.

研究の動機と目的

• Mealy自己認識機械によって生成されるSchreierグラフの構造的およびスペクトル的性質を理解すること。
• これらのグラフの直径の増大度を調査し、それが部分多項式的または有界直径を達成できるかどうかを特定すること。
• 制御された拡張性および直径を備えたSchreierグラフのリフトを構築するための非確率的化フレームワークを開発すること。
• 特定のMealy自己認識機械から生じるSchreierグラフの直径に対する定量的下界を確立すること。
• 自己認識機械の組合せ的構造と、それに対応するグラフのスペクトル的挙動との関連を明らかにすること。

提案手法

• 群論的および組合せ的技法を用いて、自己認識機械の対称性を保つSchreierグラフのリフトを構築する。
• スペクトル的グラフ理論を適用し、拡張性の性質を分析し、それらを直径の下界と関連付ける。
• Mealy自己認識機械の構造を活用して、頂点集合への作用を定義し、群作用によってSchreierグラフを生成する。
• 代数的および再帰的グラフ構築法を活用して、確率的リフト構成を非確率的化する。
• 再帰的リフト手順を用いて、直径の増大度を制御しながら段階的にグラフを構築する。
• 固有値および拡張パラメータを分析し、直径の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 反復的リフトが施されたMealy自己認識機械のSchreierグラフの漸近的直径増大度はいかほどか？
• RQ2 非確率的化されたSchreierグラフのリフトは、有界または部分多項式的直径を達成できるか？
• RQ3 リフトされたグラフのスペクトル的性質は、その直径および拡張挙動とどのように関連するか？
• RQ4 どのような構造的制約が、Mealy自己認識機械に対して超多項式的直径下界を生じさせるか？
• RQ5 どの程度まで、Schreierグラフの確率的リフトを非確率的化できるか、かつ望ましい拡張性および直径特性を維持できるか？

主な発見

• 本稿は、特定のMealy自己認識機械のSchreierグラフの直径に対して超多項式的下界を確立し、これらのグラフが部分多項式的直径を達成できないことを示している。
• 良好な拡張性を維持しながら直径増大度を制御する非確率的化されたSchreierグラフのリフトが構築された。
• スペクトル解析により、リフトされたグラフの2番目の固有値が1から著しく離れていることが判明し、強力な拡張性を示している。
• 構成法により、Mealy自己認識機械のSchreierグラフの直径が、頂点数に関していかなる多項式よりも速く増大することを示している。
• この手法は、広範なクラスのMealy自己認識機械へと一般化可能であり、超多項式的直径下限が孤立例に限定されないことを示している。
• 結果として、このような自己認識機械を用いて、部分多項式的直径を持つ定数次数の拡張器族を構築することは制限される可能性がある。