[論文レビュー] Boolean functions on high-dimensional expanders

Yotam Dikstein, Irit Dinur+2 more|arXiv (Cornell University)|Apr 22, 2018

Topological and Geometric Data Analysis参考文献 31被引用数 5

ひとこと要約

この論文は、単体複体上のランダムウォークに基づく高次元拡張性の概念を定義し、高次元拡張性を持つ関数のフーリエに類似した分解を構築することで、高次元拡張性におけるブール関数解析のフレームワークを提示する。主な貢献は、フリードギュート＝カライ＝ノアールの定理の高次元版であり、低影響を持つ関数が単一変数のブール関数に近いことを示しており、このような拡張性がブールスライスのスパarsなモデルとして機能できることを示している。

ABSTRACT

We initiate the study of Boolean function analysis on high-dimensional expanders. We give a random-walk based definition of high-dimensional expansion, which coincides with the earlier definition in terms of two-sided link expanders. Using this definition, we describe an analog of the Fourier expansion and the Fourier levels of the Boolean hypercube for simplicial complexes. Our analog is a decomposition into approximate eigenspaces of random walks associated with the simplicial complexes. Our random-walk definition and the decomposition have the additional advantage that they extend to the more general setting of posets, encompassing both high-dimensional expanders and the Grassmann poset, which appears in recent work on the unique games conjecture. We then use this decomposition to extend the Friedgut-Kalai-Naor theorem to high-dimensional expanders. Our results demonstrate that a constant-degree high-dimensional expander can sometimes serve as a sparse model for the Boolean slice or hypercube, and quite possibly additional results from Boolean function analysis can be carried over to this sparse model. Therefore, this model can be viewed as a derandomization of the Boolean slice, containing only $|X(k-1)|=O(n)$ points in contrast to $\binom{n}{k}$ points in the $(k)$-slice (which consists of all $n$-bit strings with exactly $k$ ones).

研究の動機と目的

• ハイパーキューブや群の設定に限定されてきた古典的ブール関数解析を、高次元単体複体のスパarsなモデルである高次元拡張性に拡張すること。
• 単体複体上のランダムウォークを用いて高次元拡張性の概念を定義し、スペクトルリンク拡張を一般化し、より広範な部分順序集合（poset）構造への適用を可能にすること。
• ハイパーキューブ上のフーリエレベルに類似した、ハイパーキューブ上のランダムウォークの近似固有空間への関数のフーリエに類似した分解を構築すること。
• フリードギュート＝カライ＝ノアール（FKN）定理の高次元版を証明し、高次元拡張性上での低影響ブール関数が、1次関数に近いことを示すこと。
• 定数次数の高次元拡張性が、kスライスのΩ(n^k)点からO(n)点にまで削減されるブールスライスのスパarsなモデルとして機能できることを示すこと。

提案手法

• 単体複体上のリンクのランダムウォーク作用素のスペクトルギャップを測定することで、単体複体上のランダムウォークに基づく高次元拡張性を定義する。
• 上位次元の単体上の実数値関数を、これらのランダムウォーク作用素の近似固有空間に分解する。これはハイパーキューブ上のフーリエ分解を一般化したものである。
• 一致定理を用いて、部分単体上で定義された局所的な低次元関数を統合し、重複する部分単体間で一貫性を持つグローバルな低次元関数を構成する。
• 分解を用いて低影響ブール関数を解析し、FKN定理の変種を用いて、それらが1次関数にO(ε)近傍にあることを示す。
• 複体のスペクトルギャップと拡張性の性質を活用し、局所関数の近似誤差を抑え、高い確率でグローバルな一貫性を保証する。
• ランダムウォークの定義を用いて、単体複体に限らず一般のposet、特にグラスマンposetへもフレームワークを拡張し、符号理論や一意ゲーム予想への応用可能性を高める。

実験結果

リサーチクエスチョン

• RQ1 ランダムウォークに基づく高次元拡張性の概念を定義できるか。その定義はスペクトルリンク拡張を一般化し、より広範なposet構造へ適用可能であるか。
• RQ2 ハイパーキューブ上のフーリエ展開に類似した、高次元拡張性上でのフーリエに類似した分解を定義できるか。
• RQ3 フリードギュート＝カライ＝ノアール定理を高次元拡張性に拡張でき、低影響ブール関数が1次関数に近いかどうかを示せるか。
• RQ4 定数次数の高次元拡張性が、kスライスのΘ(n^k)点からO(n)点にまで削減されるブールスライスの効果的なスパarsなモデルとして機能するか。
• RQ5 インフルエンスや一致テストなどのブール関数解析の技術が、高次元拡張性上でも適応可能か。

主な発見

• ランダムウォークに基づく高次元拡張性の定義を導入した。これは二面リンク拡張条件と一致し、一般のposetへ自然に拡張可能である。
• ハイパーキューブ上のフーリエ分解に類似した、高次元拡張性上での関数の近似固有空間への分解を構築した。これはハイパーキューブ上のフーリエ分解の高次元版である。
• フリードギュート＝カライ＝ノアール定理を高次元拡張性に拡張した。スペクトルギャップに依存する誤差を伴っても、低影響ブール関数は1次関数にO(ε)近傍にある。
• 一致定理を用いて、局所的な低次元関数を統合し、一貫性のあるグローバル関数を構成した。一貫性のある局所的近似が、高い確率でグローバルに実現可能であることを示した。
• 定数次数の高次元拡張性は、ブールスライスのスパarsなモデルとして機能でき、kスライスのΘ(n^k)点からO(n)点にまで削減可能である。これは、確率的還元化への応用可能性を示唆している。
• このフレームワークは高次元拡張性に限らず、グラスマンposetにも適用可能であり、符号理論や一意ゲーム予想への応用可能性を示唆している。