[論文レビュー] Hypercontractivity and its applications

Punyashloka Biswal|arXiv (Cornell University)|Jan 14, 2011

Complexity and Algorithms in Graphs参考文献 8被引用数 3

ひとこと要約

本稿は、高次元空間における超合同性の包括的サーベイを提示し、フーリエ解析的不等式の分析および理論的コンピュータ科学への応用におけるその役割を確立する。ボナミ＝グロス＝ベッカーのノイズ作用素と超合同的ノルム不等式を活用することで、ノイズ作用素 $ T_\rho $ が $ \ell_1 $ から $ \ell_{1+\rho} $ へ写像することを証明し、一意ラベルカバーSDPの整数性ギャップに対するタイトな境界を可能にした。これは、どのラベリングも高々 $ 1/2^{\eta k} $ の辺を満たす場合でも、SDPの値が $ \geq 1 - \eta $ に達することを示しており、超合同性が強力な近似不能性結果を証明する上で果たす力を示している。

ABSTRACT

Hypercontractive inequalities are a useful tool in dealing with extremal questions in the geometry of high-dimensional discrete and continuous spaces. In this survey we trace a few connections between different manifestations of hypercontractivity, and also present some relatively recent applications of these techniques in computer science.

研究の動機と目的

• 離散的および連続的設定の両方における超合同不等式理論を統合的・サーベイ的に行う。
• 超合同性、ポアンカレおよび対数的ソボレフ不等式、離散的キューブのスペクトル的性質との関係を確立する。
• 組合せ最適化問題に対する強力な近似不能性結果を証明するうえで、超合同性の有用性を示す。
• 超合同的ノルム推定を用いて、コット＝ビシュノイの「一意ラベルカバー」整数性ギャップインスタンスの健全性を分析する。

提案手法

• ハイパーキューブ $ \{-1,1\}^n $ 上のフーリエ基底 $ \chi_S(x) = \prod_{i \in S} x_i $ を用いて関数を表現し、フーリエ係数を計算する。
• ノイズ作用素 $ T_\rho f = \operatorname{BG}_\rho * f $ を定義し、ここで $ \widehat{\operatorname{BG}}_\rho(S) = \rho^{|S|} $ であり、確率 $ 1 - \rho $ でランダムなビット反転をモデル化する。
• ボナミ＝グロス＝ベッカーの不等式を適用し、指示関数 $ \phi $ に対して $ \ell_2 $ ノルム $ \|T_{\sqrt{\rho}} \phi\|_2 $ を超合同性 $ \|T_{\sqrt{\rho}} \phi\|_2 \leq \|\phi\|_{1+\rho} $ を用いて評価する。
• ノイズ作用素の挙動を分析するため、フーリエドメインで $ \frac{d}{d\rho} \operatorname{BG}_\rho = \frac{1}{\rho} \operatorname{BG}_\rho * \sum_i h_i $ の導関数恒等式を導出する。
• ハイパーキューブ群のフーリエ基底による剰余類を用いた一意ラベルカバーインスタンスを構築し、関数の $ \rho $-相関対によって辺を定義する。
• ラベリングの一致確率を内積 $ \langle h, T_\rho h \rangle $ に還元し、超合同性を用いて $ \|h\|_{1+\rho}^2 = 1/2^{2k/(1+\rho)} \leq 1/2^{\eta k} $ と評価する。

実験結果

リサーチクエスチョン

• RQ1 超合同不等式は、離散的キューブにおけるスペクトル拡張およびポアンカレ／対数ソボレフ定数とどのように関係しているか？
• RQ2 ノイズ作用素 $ T_\rho $ は $ \ell_p $ ノルムをどのように変換するか？そして超合同性はこの変換をどのように制約するか？
• RQ3 超合同性を用いて、一意ラベルカバーSDPの整数性ギャップに対するタイトな境界を確立できるか？
• RQ4 コット＝ビシュノイの構成は、超合同性をどのように活用してSDPの最適値と真の最適ラベリングの間の大きなギャップを達成しているか？

主な発見

• 離散的キューブ $ \{-1,1\}^n $ のポアンカレ定数は $ \lambda = 2/n $、対数ソボレフ定数は $ \alpha = 1/n $ であり、ディリクレ形式と分散から導出される。
• ノイズ作用素 $ T_\rho $ は $ q = 1 + \rho(p-1) $ に対して $ \|T_\rho f\|_q \leq \|f\|_p $ を満たし、特に $ \ell_1 \to \ell_{1+\rho} $ の場合に等号が成立する。これは超合同性を証明する。
• ハイパーキューブ上に定義された任意の指示関数 $ \phi $ に対して $ \mathbb{E}[\phi] = 1/2^k $ ならば、$ \rho = 1 - 2\eta $ のとき、$ \Pr_{h,h'}[\phi(h)\phi(h')] \leq 1/2^{\eta k} $ が超合同性により成立する。
• コット＝ビシュノイの一意ラベルカバーインスタンスでは、最適ラベリングが高々 $ 1/2^{\eta k} $ の辺を満たすが、SDPの緩和は値 $ \geq 1 - \eta $ を達成する。これは、非定数の整数性ギャップを示している。
• 健全性解析は超合同的評価 $ \|T_{\sqrt{\rho}} \phi\|_2 \leq \|\phi\|_{1+\rho} $ に依存し、これにより $ \|\phi\|_{1+\rho}^2 = 1/2^{2k/(1+\rho)} \leq 1/2^{\eta k} $ が得られ、ギャップの証明が可能になる。