[論文レビュー] Global hypercontractivity and its applications

Peter Keevash, Noam Lifshitz+2 more|arXiv (Cornell University)|Mar 8, 2021

Limits and Structures in Graph Theory参考文献 73被引用数 20

ひとこと要約

本稿は、離散立方体上の $p$-バイアス測度に対して、グローバルなハイパーコントラクト性不等式を確立し、鋭いスイッチング点の結果や、古典的解析におけるブール関数の定理の $p$-バイアス版を可能にする。主な貢献は、KKL定理の定量的・スパース・レジーム版と、$p$-バイアス版の不変性原理であり、これらは拡張された超グラフの漸近的鋭いタウラン数を導き、極値組合せ論における予想を解消する。

ABSTRACT

The hypercontractive inequality on the discrete cube plays a crucial role in many fundamental results in the Analysis of Boolean functions, such as the KKL theorem, Friedgut's junta theorem and the invariance principle. In these results the cube is equipped with the uniform 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 = o(1)$, there is no hypercontractive inequality that is strong enough. In this paper, we establish an effective hypercontractive 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 and by establishing a $p$-biased analog of the invariance principle. Our results have significant applications in Extremal Combinatorics. Here we obtain new results on the Turán number of any bounded degree uniform hypergraph obtained as the expansion of a hypergraph of bounded uniformity. These are asymptotically sharp over an essentially optimal regime for both the uniformity and the number of edges and solve a number of open problems in the area. In particular, we give general conditions under which the crosscut parameter asymptotically determines the Turán number, answering a question of Mubayi and Verstraëte. We also apply the Junta Method to refine our asymptotic results and obtain several exact results, including proofs of the Huang--Loh--Sudakov conjecture on cross matchings and the Füredi--Jiang--Seiver conjecture on path expansions.

研究の動機と目的

• 小さな $p$ のスパース・レジームにおいて、古典的なハイパーコントラクト性が失敗することを克服する。特に、$p \to 0$ のスパース・レジームにおいて有効である。
• 小さな座標制限に対してほとんど影響を受けない関数（グローバル関数）に適用可能なハイパーコントラクト性不等式を構築し、強い構造的結果を得ること。
• KKL定理と不変性原理を、定量的なタイトな境界を伴って $p$-バイアス設定に拡張すること。
• 新しい道具を用いて、低一様性超グラフから拡張された有界次数の一様超グラフの漸近的鋭いタウラン数を導出すること。
• 極値組合せ論における未解決問題を解消すること、特に Huang–Loh–Sudakov 予想と Füredi–Jiang–Seiver 予想を含む。

提案手法

• 小さな座標集合の固定に対してほとんど影響を受けない関数に特化した、新しいグローバルなハイパーコントラクト性不等式を導入する。
• 新しいハイパーコントラクト性不等式とジャンタ法を併用して、スパース関数を解析し、鋭いスイッチング点の挙動を導出する。
• $p$-バイアス測度下での低次多項式に対する Mossel–O’Donnell–Oleszkiewicz の不変性原理の $p$-バイアス版を確立する。
• 超グラフのタウラン問題に理論を応用する際、クロスカットパラメータと拡張された超グラフの一般化された臨界性を分析する。
• クロスフリー族とマッチング構造を用いた背理法により、測度の差を抑え、極値的結果を導出する。
• 拡張された超グラフの構造を活用し、タウラン数の推定を、基本的な超グラフとその拡張パラメータの解析に還元する。

実験結果

リサーチクエスチョン

• RQ1 スパース・レジーム（$p \to 0$）において有効な、$p$-バイアス測度に対するハイパーコントラクト性不等式を構築できるか？
• RQ2 KKL定理を、$\mu_p(f) = o(1)$ の場合に適用可能であり、定量的にタイトな形に強化できるか？
• RQ3 Mossel, O’Donnell, および Oleszkiewicz の不変性原理の $p$-バイアス版が存在するか？
• RQ4 拡張された超グラフのタウラン数は、そのクロスカットパラメータによって漸近的に決定できるか？
• RQ5 一般化された臨界性パラメータが、拡張された超グラフのタウラン数を決定するための条件は何か？

主な発見

• 本稿は、グローバル関数に対してスパース $p$-バイアス・レジームで有効なグローバルなハイパーコントラクト性不等式を確立した。
• 単調なグローバル関数に対して鋭いスイッチング点の結果を証明し、臨界確率と非無視的測度を有する閾値との比を定数因子の範囲で評価した。
• $p$-バイアス版の不変性原理を獲得し、Mossel, O’Donnell, および Oleszkiewicz の画期的な結果を一般 $p$ に拡張した。
• 有界次数の一様超グラフで、低一様性超グラフから拡張された任意の超グラフのタウラン数は、基本的に最適なレジームにおいてそのクロスカットパラメータによって漸近的に決定される。
• Huang–Loh–Sudakov 予想（クロスマッチングに関する）と Füredi–Jiang–Seiver 予想（パス拡張に関する）は、ジャンタ法と洗練された漸近的解析により正確に証明された。
• 極値組合せ論における長年の未解決問題が解決され、広範な条件下で拡張された超グラフのタウラン数が決定された。