[논문 리뷰] Gaussian Bounds for Noise Correlation of Functions

Elchanan Mossel|arXiv (Cornell University)|2007. 03. 22.

Limits and Structures in Graph Theory참고 문헌 23인용 수 9

한 줄 요약

이 논문은 푸리에 분석, 불변성 원리, 다변량 정규분포 성질을 활용하여 상관된 확률공간에서의 낮은 影響 함수에 대한 노이즈 상관관계에 대해 날카운 가우시안 경계를 수립한다. 주요 결과는 낮은 영향 함수에 대해 상관된 확률공간에서 함수의 기대곱이 渐近적으로 가우시안 극값 확률에 의해 지배됨을 보여주며, 사회선택 이론과 가산적 조합론에서 날카운 경계를 제공한다. 특히, $k$명의 후보자에 대한 콘도르세 투표 제도에서 유일한 승자가 나올 확률은 $k^{-1+o(1)}$이며, 이는 다수결 함수의 행동과 일치한다.

ABSTRACT

In this paper we derive tight bounds on the expected value of products of {\em low influence} functions defined on correlated probability spaces. The proofs are based on extending Fourier theory to an arbitrary number of correlated probability spaces, on a generalization of an invariance principle recently obtained with O'Donnell and Oleszkiewicz for multilinear polynomials with low influences and bounded degree and on properties of multi-dimensional Gaussian distributions. The results derived here have a number of applications to the theory of social choice in economics, to hardness of approximation in computer science and to additive combinatorics problems.

연구 동기 및 목표

• 상관된 확률공간에서의 낮은 영향 함수의 기대곱에 대한 날카운 경계를 유도하는 것.
• 낮은 영향과 유한 차수를 가진 다항식에 대해 푸리에 분석과 불변성 원리를 다중 상관된 확률공간으로 확장하는 것.
• 이 경계를 사회선택 이론에 적용하여, 특히 투표 결과 예측 및 콘도르세 집계 분석에 활용하는 것.
• 곱공간 $\mathbb{Z}_m^n$ 과 같은 공간에서 선형 관계를 만족하는 $k$-튜플의 점점 같은 분포 결과를 수립하는 것.
• 낮은 영향 집합에 대해, 모듈로 $m$에서 선형 관계를 만족하는 $k$-튜플의 수가 동일한 측도를 가진 무작위 집합과 점점 같아지는 조건을 밝혀내는 것.

제안 방법

• 낮은 영향 함수를 분석하기 위해 다중 상관된 확률공간으로의 푸리에 분석을 확장하는 것.
• 낮은 영향과 유한 차수를 가진 다항식에 대해 일반화된 불변성 원리를 적용하는 것.
• 다변량 정규분포의 성질을 활용하여 극값 상관관계 값을 특성화하는 것.
• 기초 확률공간의 상관관계 구조와 $\mathbb{E}[f_i]$ 를 바탕으로 $\mathbb{E}[f_1 \cdots f_k]$ 에 대한 경계를 도출하는 것.
• 유한 개의 좌표를 수정한 후, 낮은 영향 함수에서 일반 함수로 결과를 확장하기 위해 재귀적 추론을 활용하는 것.
• 불변성 원리와 가우시안 근사법을 활용하여 초그래프와 곱공간 내 산술관계에 결과를 적용하는 것.

실험 결과

연구 질문

• RQ1 상관된 확률공간에서 정의된 낮은 영향 함수의 기대곱에 대해 가능한 가장 날카운 경계는 무엇인가?
• RQ2 투표 결과의 예측 가능성은 집계 함수의 영향 구조와 어떻게 관련되는가?
• RQ3 낮은 영향 투표 체계 하에서, 콘도르세 투표 제도에서 $k$명의 후보자에 대해 유일한 승자가 나올 점점 같은 확률은 얼마인가?
• RQ4 $\mathbb{Z}_m^n$ 에서 선형 관계를 만족하는 $k$-튜플의 수가 점점 무작위 경우와 일치하는 조건은 무엇인가?
• RQ5 낮은 영향 집합의 곱공간 내 상관관계는 가우시안 측도로 근사 가능하며, 이는 산술관계에 어떤 영향을 미치는가?

주요 결과

• 콘도르세 투표 제도에서 $k$명의 후보자에 대해 유일한 승자가 나올 확률은 $k^{-1+o(1)}$이며, 이는 다수결 함수의 점점 행동과 일치한다.
• 모든 낮은 영향 집합 $A \subset \mathbb{Z}_m^n$ 에 대해, $\sum_{i=1}^k x_i \in B^n \mod m$ 을 만족하는 $k$-튜플 $(x_1,\ldots,x_k) \in A^k$ 의 수는 $(1 \pm o(1)) \mathbb{P}[A]^k (m^{k-1} |B|)^n$ 으로, 무작위 경우와 일치한다.
• 일반적인 집합 $A$ 에 대해, 크기가 $O(1)$ 인 좌표 집합 $S, T$ 가 존재하여, $A$ 를 $S$ 와 $T$ 에서 수정함으로써 $\underline{A}^S$ 와 $\overline{A}^T$ 를 얻을 수 있으며, 이들에 대해서도 동일한 점점 같은 수가 성립한다.
• 샘플링한 비율 $\rho$ 의 투표자로부터 투표 결과를 예측할 때, 낮은 영향 함수 중에서 다수결 함수가 예측 가능성의 최대화를 이룬다.
• 만약 $k \geq 3$ 이고 관계가 두 개씩 독립적이며 연결되어 있다면, 선형 관계를 만족하는 $k$-튜플의 수는 집합의 구조가 아니라 측도에 의해 결정되며, 낮은 영향 집합에 대해 성립한다.
• 다항식 관계 $PQ = 0$ 이 $\mathbb{Z}_m^n$ 에서 성립할 때, 관계를 만족하는 $A^k$ 내의 $k$-튜플의 수는 상수배의 $|R|^n$ 으로 유계이며, 여기서 $R$ 은 해집합이며, 낮은 영향 집합 $A$ 에 대해 성립한다.