[논문 리뷰] On the Gaussian measure of the intersection of symmetric, convex sets

Gideon Schechtman, Schlumprecht, Thomas외 1명|arXiv (Cornell University)|1996. 07. 18.

Point processes and geometric inequalities참고 문헌 13인용 수 18

한 줄 요약

이 논문은 유클리드 구의 반지름이 $c\sqrt{n}$인 대칭이고 볼록인 집합에 대해 가우시안 상관 추측에 중요한 진전을 이룬다. 더 나아가, 임의의 중심이 있는 타원체에 대해 이 추측을 증명함으로써 더 강력한 결과를 도출한다. 기하학적, 확률론적, 함수해석적 기법—회전 불변성, 로그-볼록성, Prekopa-Leindler 부등식—을 사용하여, 두 개의 대칭 볼록 집합의 교차에 대한 가우시안 측도는 각각의 개별 측도의 곱보다 크거나 같다는 것을 입증한다.

ABSTRACT

The Gaussian Correlation Conjecture states that for any two symmetric, convex sets in n-dimensional space and for any centered, Gaussian measure on that space, the measure of the intersection is greater than or equal to the product of the measures. In this paper we obtain several results which substantiate this conjecture. For example, in the standard Gaussian case, we show there is a positive constant, c, such that the conjecture is true if the two sets are in the Euclidean ball of radius $c\sqrt{n}$. Further we show that if for every n the conjecture is true when the sets are in the Euclidean ball of radius $\sqrt{n}$, then it is true in general. Our most concrete result is that the conjecture is true if the two sets are (arbitrary) centered ellipsoids.

연구 동기 및 목표

• 특정 기하학적 제약 조건 하에서 대칭 볼록 집합에 대해 가우시안 상관 추측을 확립하는 것.
• 함수해석적 부등식을 통해 일반 볼록 집합에 대해 추측이 성립하는지 조사하는 것—특히 로그-볼록 함수를 포함한 함수 불등식으로 환원한다.
• 확률론적 및 측도론적 방법을 사용하여 고차원 공간에서 추측의 타당성을 탐색하는 것.
• 추측의 기능적 형태를 제시하고, 관련 함수들에 대한 추가적인 정규성 조건 하에서 이를 증명하는 것.

제안 방법

• 추측의 기능적 형태를 사용: 음이 아닌, 대칭적, 준볼록 함수 $f$와 $g$에 대해 $\mathbb{E}_\mu(fg) \geq \mathbb{E}_\mu(f)\mathbb{E}_\mu(g)$, 여기서 $\mu$는 표준 가우시안 측도이다.
• Prekopa-Leindler 부등식을 적용하여, 스케일링 행렬이 대각행렬일 때, 스케일된 가우시안 측도 하에서 로그-볼록 함수의 기댓값이 최소가 됨을 보인다.
• 가우시안 측도의 회전 불변성을 활용하여 문제를 대각행렬로 환원함으로써 기댓값 분석을 단순화한다.
• 적분 표현과 Fubini 정리를 사용하여 함수 곱의 기댓값을 수준집합에 대한 적분으로 표현한다.
• 대칭적이고 볼록인 함수의 수준집합의 구조를 분석하고, 대칭성과 볼록성을 활용하여 부등식을 유도한다.
• 만약 추측이 반지름이 $\sqrt{n}$인 유클리드 구 안에 있는 집합에 대해 모든 $n$에 대해 성립한다면, 일반적으로도 성립함을 증명함으로써 문제를 유계 기하 영역으로 환원한다.

실험 결과

연구 질문

• RQ1 반지름이 $c\sqrt{n}$인 유클리드 구 안에 포함된 대칭 볼록 집합에 대해 가우시안 상관 추측이 성립하는가?
• RQ2 기능적 부등식을 사용하여 임의의 중심이 있는 타원체에 대해 추측을 증명할 수 있는가?
• RQ3 함수 $f$가 가우시안 밀도이고 $g$가 음이 아닌 대칭 로그-볼록 함수일 때, 기능적 형태의 추측이 유효한가?
• RQ4 회전 불변성과 대각화가 기댓값 비교를 단순화하는 데 어떤 역할을 하는가?
• RQ5 적분 변환을 사용하여 대칭 볼록 함수의 수준집합 문제로 추측을 환원할 수 있는가?

주요 결과

• 반지름이 $c\sqrt{n}$인 유클리드 구 안에 포함된 임의의 두 대칭 볼록 집합에 대해 추측이 성립한다. 여기서 $c > 0$은 절대 상수이다.
• 임의의 중심이 있는 타원체에 대해 추측은 $\mathbb{R}^n$에서 참이며, 이는 논문에서 도출한 가장 강력한 구체적 결과이다.
• 함수 $f$가 가우시안 밀도이고 $g$가 음이 아닌 대칭 로그-볼록 함수일 때, 추측의 기능적 형태가 성립한다.
• 만약 모든 $n$에 대해 반지름이 $\sqrt{n}$인 유클리드 구 안에 있는 집합에 대해 추측이 성립한다면, 일반적으로도 성립한다.
• 추측은 가우시안 랜덤 변수의 최댓값을 포함하는 확률적 부등식과 동치이다: $P(\max_{i\leq n}|X_i|\leq 1) \geq P(\max_{i\leq k}|X_i|\leq 1)P(\max_{k<i\leq n}|X_i|\leq 1)$.
• 논문은 관련 부등식에서 $2^{n/2}$를 $2^{o(n)}$으로 대체할 경우 전체 추측을 함의할 수 있음을 보이며, 일반 증명으로 향하는 잠재적 길을 제시한다.