[논문 리뷰] Hypercontractivity for global functions and sharp thresholds

Peter Keevash, Noam Lifshitz외 2명|arXiv (Cornell University)|2019. 06. 13.

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$-편향 측도 하에서 적용 가능한 초수렴 부등식을 개발하기 위해.
• 희박한 영역에서 적용 가능하고 정량적으로 날카로운 강도를 갖는 부르건의 날카운 임계점 정리를 강화하기 위해.
• 모스엘-오'Dอน넬-올레시에비츠의 불변성 원리에 대한 $p$-편향 버전을 수립하기 위해.
• 극한 조합론과 임계 현상 분야의 열린 문제를 해결하기 위한 도구를 제공하기 위해.

제안 방법

• 작은 수의 좌표를 고정하는 것에 크게 영향을 받지 않는 함수를 '전역 함수'로 정의한다.
• $\mu_p$ 측도 하에서 $\{0,1\}^n$ 위의 함수에 작용하는 $p$-편향 노이즈 연산자 $\mathrm{T}_\rho$ 를 정의한다.
• 전역 함수에 대한 초수렴 부등식을 수립한다: $\rho$ 는 $p$ 와 $r$ 에 따라 결정되며, $p$ 가 작을 때도 $\rho$ 가 0에서 멀리 떨어져 있도록 한다. 이때 $\|\mathrm{T}_\rho f\|_r \leq \|f\|_2$ 가 성립한다.
• 전역 함수의 노이즈 안정성과 그 푸리에 구조를 이용해 초수렴성을 통해 경계를 유도한다.
• 초수렴성 결과를 적용하여 날카운 임계점 정리와 $p$-편향 불변성 원리를 증명한다.
• 이 부등식을 활용해 전역이면서 거의 단조인 함수가 제어된 影향을 갖는 날카운 임계점을 보일 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 작은 $p$ 에서 $p$-편향 측도 하에서 국소적이지 않은 함수에 대해 초수렴 부등식을 수립할 수 있는가?
• RQ2 부르건의 날카운 임계점 정리는 정량적으로 날카로운 강도와 희박한 영역에서의 적용 가능성을 갖도록 강화될 수 있는가?
• RQ3 모스엘-오'Dอน넬-올레시에비츠의 불변성 원리에 대한 $p$-편향 버전이 전역 함수에 대해 존재하는가?
• RQ4 전역 함수에 대한 초수렴성을 활용해 칸-칼라이의 임계점 위치에 대한 추측에 접근할 수 있는가?
• RQ5 $p$-편향 측도 하에서 전역 함수에 대해 작은 좌표 집합의 영향을 유계로 제한할 수 있는가?

주요 결과

• 작은 $p$ 에서도 $\rho$ 가 0에서 멀리 떨어져 있음에도 불구하고, $p$-편향 측도 하에서 전역 함수에 대해 초수렴 부등식이 증명되었으며, 이는 고전적 초수렴성이 실패하는 응용 분야에서 유용하다.
• 초수렴성 결과는 부르건의 날카운 임계점 정리를 강화하여 정량적 날카로움과 희박한 영역에서의 적용 가능성을 동시에 확보한다.
• $p$-편향 불변성 원리가 수립되었으며, 비균일 측도로의 초기 모스엘-오'Dอน넬-올레시에비츠 결과의 일반화이다.
• 거의 단조인 전역 함수에 대해 날카운 임계점 결과가 증명되었다: $f$ 가 $(\delta,p,q)$-거의 단조이고 $[p,q]$ 에서 거칠게 임계점을 갖는다면, 크기가 $O(1/\delta)$ 인 어떤 집합 $S$ 가 존재하여, $p$ 또는 $q$ 에서의 영향력이 최소 $\delta$ 이상이다.
• 이 방법은 칸-칼라이의 추측을 해결하기 위한 진전을 이끌어내며, 임계 임계점과 기대값 임계점의 비율을 상수 요인 내로 유계로 제한한다.
• 이 프레임워크는 극한 조합론 분야에 새로운 길을 열었으며, 차수 제한 그래프의 임계점에 대한 열린 문제 해결 가능성을 포함한다.