[论文解读] 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$-偏置不变性原理，强化了Bourgain定理，并推动了Kahn-Kalai关于阈值位置的猜想。

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$-偏置测度下对‘全局’函数——即对小坐标集限制不敏感的函数——建立适用的超收缩不等式。
• 通过定量紧致性和在稀疏区域中的适用性，强化Bourgain的精确阈值定理。
• 建立Mossel-O'Donnell-Oleszkiewicz不变性原理的 $p$-偏置类比。
• 为解决极值组合学和阈值现象中的开放问题提供工具。

提出的方法

• 引入‘全局函数’的概念，即那些在固定少量坐标集后不发生显著变化的函数。
• 定义作用于 $\{0,1\}^n$ 上函数的 $p$-偏置噪声算子 $\mathrm{T}_\rho$，其在 $\mu_p$ 测度下定义。
• 为全局函数建立超收缩不等式：$\|\mathrm{T}_\rho f\|_r \leq \|f\|_2$，其中 $\rho$ 依赖于 $p$ 和 $r$，且当 $p$ 较小时 $\rho$ 仍远离零。
• 利用全局函数的噪声稳定性及其傅里叶结构，通过超收缩性推导出界。
• 将超收缩性结果应用于证明精确阈值定理和 $p$-偏置不变性原理。
• 利用该不等式证明：全局且近乎单调的函数在影响度受控下表现出精确阈值。

实验结果

研究问题

• RQ1 当 $p$ 较小时，能否为非局部函数在 $p$-偏置测度下建立超收缩不等式？
• RQ2 Bourgain的精确阈值定理能否被强化为具有定量紧致性且适用于稀疏区域？
• RQ3 是否存在Mossel-O'Donnell-Oleszkiewicz不变性原理在全局函数上的 $p$-偏置类比？
• RQ4 能否通过全局函数的超收缩性方法逼近Kahn-Kalai关于阈值位置的猜想？
• RQ5 能否在 $p$-偏置测度下对全局函数的小坐标集影响进行有界控制？

主要发现

• 在 $p$-偏置测度下，为全局函数证明了超收缩不等式，即使 $p$ 很小，$\rho$ 仍远离零，使得经典超收缩性失效的应用场景成为可能。
• 该超收缩性结果强化了Bourgain的精确阈值定理，实现了定量紧致性和在稀疏区域中的适用性。
• 建立了 $p$-偏置不变性原理，将经典的Mossel-O'Donnell-Oleszkiewicz结果推广至非均匀测度。
• 证明了几乎单调全局函数的精确阈值结果：若 $f$ 是 $(\delta,p,q)$-几乎单调且在 $[p,q]$ 区间内具有粗略阈值，则存在大小为 $O(1/\delta)$ 的集合 $S$，其在 $p$ 或 $q$ 下的影响至少为 $\delta$。
• 该方法通过将临界阈值与期望阈值之比控制在常数因子内，推动了Kahn-Kalai猜想的进展。
• 该框架为极值组合学开辟了新途径，包括潜在解决关于有界度图的阈值开放问题。