[論文レビュー] Hypercontractivity for global functions and sharp thresholds

Peter Keevash, Noam Lifshitz+2 more|arXiv (Cornell University)|Jun 13, 2019

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

この論文は、スパースな設定における古典的ハイパコントラクト性の限界を克服するために、一般の $p$-バイアス測度の下でグローバルなブール関数に対するハイパコントラクト性不等式を確立する。これにより鋭い閾値結果と $p$-バイアス不変性原理が得られ、バーグァインの定理を強化し、閾値位置に関するカーン＝カライ予想を前進させる。

ABSTRACT

The classical hypercontractive inequality for the noise operator on the discrete cube plays a crucial role in many of the fundamental results in the Analysis of Boolean functions, such as the KKL (Kahn-Kalai-Linial) theorem, Friedgut's junta theorem and the invariance principle of Mossel, O'Donnell and Oleszkiewicz. In these results the cube is equipped with the uniform ($1/2$-biased) measure, but it is desirable, particularly for applications to the theory of sharp thresholds, to also obtain such results for general $p$-biased measures. However, simple examples show that when $p$ is small there is no hypercontractive inequality that is strong enough for such applications. In this paper, we establish an effective hypercontractivity inequality for general $p$ that applies to `global functions', i.e. functions that are not significantly affected by a restriction of a small set of coordinates. This class of functions appears naturally, e.g. in Bourgain's sharp threshold theorem, which states that such functions exhibit a sharp threshold. We demonstrate the power of our tool by strengthening Bourgain's theorem, thereby making progress on a conjecture of Kahn and Kalai. An additional application of our hypercontractivity theorem, is a $p$-biased analog of the seminal invariance principle of Mossel, O'Donnell, and Oleszkiewicz. In a companion paper, we give applications to the solution of two open problems in Extremal Combinatorics.

研究の動機と目的

• ブール関数の解析において、小規模な $p$ における古典的ハイパコントラクト性の失敗を克服すること。
• 「グローバル」関数（小さな座標制限に対して感受性が低い関数）に対して、$p$-バイアス測度の下で適用可能なハイパコントラクト性不等式を構築すること。
• スパースな設定においても定量的にタイトで適用可能な形で、バーグァインの鋭い閾値定理を強化すること。
• モセル＝オドネル＝オレシュキエヴィチの不変性原理の $p$-バイアス版を確立すること。
• 極値組合せ論および閾値現象における未解決問題の解決に役立つツールを提供すること。

提案手法

• 小さな座標集合の固定によって著しく影響を受けない関数として「グローバル関数」の概念を導入する。
• $\mu_p$ 測度の下で $\{0,1\}^n$ 上の関数に作用する $p$-バイアスノイズ作用素 $\mathrm{T}_\rho$ を定義する。
• グローバル関数に対するハイパコントラクト性不等式を確立する：$\rho$ が $p$ と $r$ に依存し、$p$ が小さい場合でも $\rho$ がゼロから離れている限り、$\|\mathrm{T}_\rho f\|_r \leq \|f\|_2$ が成り立つ。
• グローバル関数のノイズ安定性とそのフーリエ構造を用いて、ハイパコントラクト性による境界を導出する。
• ハイパコントラクト性の結果を用いて鋭い閾値定理と $p$-バイアス不変性原理を証明する。
• 不等式を活用して、グローバルでほぼ単調な関数が制御された影響を示す鋭い閾値を示す。

実験結果

リサーチクエスチョン

• RQ1 $p$ が小さい場合に、局所的でない関数に対して $p$-バイアス測度の下でハイパコントラクト性不等式を確立できるか？
• RQ2 バーグァインの鋭い閾値定理は、定量的にタイトでスパースな設定に適用可能になるように強化できるか？
• RQ3 グローバル関数に対して、モセル＝オドネル＝オレシュキエヴィチの不変性原理の $p$-バイアス版が存在するか？
• RQ4 ハイパコントラクト性を用いて、グローバル関数の観点からカーン＝カライ予想における閾値位置の問題に近づけるか？
• RQ5 $p$-バイアス測度の下で、小さな座標集合の影響がグローバル関数に対して境界づけられるか？

主な発見

• $p$-バイアス測度の下でグローバル関数に対するハイパコントラクト性不等式が証明された。$p$ が小さい場合でも $\rho$ がゼロから離れているため、古典的ハイパコントラクト性が失敗する応用分野にも適用可能である。
• ハイパコントラクト性の結果により、バーグァインの鋭い閾値定理が強化され、定量的なタイトさとスパースな設定への適用可能性の両方を達成した。
• $p$-バイアス不変性原理が確立され、画期的なモセル＝オドネル＝オレシュキエヴィチの結果が非一様測度へ一般化された。
• ほぼ単調なグローバル関数に対して鋭い閾値結果が証明された：$f$ が $(\delta,p,q)$-ほぼ単調で、$[p,q]$ で粗い閾値を持つならば、サイズ $O(1/\delta)$ のある集合 $S$ が、$p$ または $q$ において少なくとも $\delta$ の影響を持つ。
• この手法により、カーン＝カライ予想に対する進展が可能となり、臨界閾値と期待閾値の比が定数倍の範囲内に抑えられることを示した。
• この枠組みは極値組合せ論における新たな道を開き、有界次数のグラフにおける閾値に関する未解決問題の解決の可能性を秘めている。