[論文レビュー] New Elementary High Dimensional Edge Expanders using Strong Symmetry

Tali Kaufman, Izhar Oppenheim|arXiv (Cornell University)|Jul 2, 2019

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

ひとこと要約

本稿は、単体複体における強い対称性を活用して、有界次数の2次元コシスティョリック拡張子の新しい初等的構成を提示する。上位次元の細胞に一様に作用する群の作用を活用することで、著者たちは高次元エッジ拡張を示すための新規なマシンリーダを構築し、これまでに知られていた中で初めての初等的族のこのような拡張子を導出する。これは、量子エラー訂正符号の発展にとって極めて重要である。

ABSTRACT

Coboundary and cosystolic expansion are notions of expansion that generalize the Cheeger constant or edge expansion of a graph to higher dimensions. The classical Cheeger inequality implies that for graphs edge expansion is equivalent to spectral expansion. In higher dimensions this is not the case: a simplicial complex can be spectrally expanding but not high dimensional edge-expanding. The phenomenon of high dimensional edge expansion in higher dimensions is much more involved than spectral expansion, and is far from being understood. In particular, the only known bounded degree cosystolic expanders are derived from deep mathematical tools that are far from being elementary! In this work we study high dimensional complexes which are {\em strongly symmetric}. Namely, there is a group that acts transitively on top dimensional cells of the simplicial complex [e.g., for graphs it corresponds to a group that acts transitively on the edges]. Using the strong symmetry, we develop a new machinery to prove high dimensional edge expansion. We then use this machinery to construct a new {\em elementary} family of bounded degree two-dimensional cosystolic expanders. Bounded degree cosystolic expanders play a major role in a recent breakthrough construction of quantum error correcting codes that break the state of the art constructions. Thus, any advancement in their construction, and in particular, an elementary construction of such objects is of a major importance.

研究の動機と目的

• 現在、深く非初等的な数学的道具に依存しているが、有界次数の2次元コシスティョリック拡張子の初等的構成を開発すること。
• スペクトル拡張とは異なり、特に古典的チェーファー型同値性が存在しない状況において、単体複体における高次元エッジ拡張を理解し、特徴づけること。
• 上位次元の細胞に一様に作用する群作用を用いて、高次元エッジ拡張を証明する一般枠組みを確立すること。
• スペクトル拡張と真の高次元エッジ拡張のギャップを埋めるために、明示的かつ組合せ的に自然な例を構築すること。

提案手法

• 著者たちは、2次元細胞（面）に一様に作用する群の存在を定義し、それらが均一な構造的解析を可能にする強い対称性を定義する。
• 対称性のある群作用下でのコhomologicalおよび幾何的性質を分析することで、コシスティョリック拡張を証明する新規なマシンリーダを導入する。
• この手法は、コホモロジーにおける最小非自明なコサイクル代表元の分析に依存し、対称性を用いてそれらのサイズを複体の構造に対して有界化する。
• 群論的および組合せ論的原則に基づいて導出された、有界次数と強い対称性を備えた2次元複体の族に基づく構成である。
• 対称性を用いて、拡張を証明する問題を、対称な細胞における局所的拡張条件の検証に還元する。
• 複体の対称性とコシスティョリック拡張定数の下界との間の関係を確立し、明示的構成と解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 深く代数的または数論的な道具に依存せずに、有界次数の2次元コシスティョリック拡張子の初等的構成が可能かどうか。
• RQ2 単体複体における強い対称性が、高次元エッジ拡張の証明をどのように容易にするか。
• RQ3 スペクトル拡張がエッジ拡張を示さない状況において、対称性が高次元におけるコシスティョリック拡張の解析をどの程度簡素化できるか。
• RQ4 スペクトル手法に依存しない、対称複体におけるコシスティョリック拡張を証明するための体系的マシンリーダを構築できるか。
• RQ5 強い対称性を有する複体のどの構造的性質が、有界次数を維持しながら強力な拡張性を保証するか。

主な発見

• 本稿は、群論的および組合せ論的対称性のみを用いて、有界次数の2次元コシスティョリック拡張子の最初の既知の初等的族を構成する。
• 著者たちは、対称複体における高次元エッジ拡張を証明するための新規なマシンリーダを確立し、従来の手法よりもより単純かつ透明である。
• 構成は、強い対称性がコサイクル代表元の制御を有効に可能にし、コシスティョリック拡張定数に対する非自明な下界を導くことを示している。
• ラマヌジャン複体や深い数論に依存することなく、構成が容易に理解可能で構成可能である。
• 得られた複体は、特に従来の性能限界を打ち破る可能性を有する量子エラー訂正符号への応用に適していることが示された。
• 本研究は、強い対称性を有する高次元複体への一般化が可能である基盤を提供し、高次元拡張理論における新たな道筋を開く。