[논문 리뷰] The Entropy Influence Conjecture Revisited

Bireswar Das, Manjish Pal외 1명|arXiv (Cornell University)|2011. 10. 19.

Limits and Structures in Graph Theory참고 문헌 5인용 수 6

한 줄 요약

이 논문은 $C = 2+\delta$ ($\delta>0$)일 때, 임의의 부울 함수가 $\{-1,1\}^n$에서 푸리에 엔트로피-영향(FeI) 추측을 높은 확률로 만족함을 증명한다. 기본적인 확률적 방법과 체비셰프 부등식을 사용하여, 이는 이중 지수 크기의 가족으로서의 대부분의 부울 함수들이 추측을 만족함을 보이며, 이는 FEI 추측이 성립하는 첫 번째 비구성적 가족으로서의 의미를 지닌다.

ABSTRACT

In this paper, we prove that most of the boolean functions, $f : \{-1,1\}^n ightarrow \{-1,1\}$ satisfy the Fourier Entropy Influence (FEI) Conjecture due to Friedgut and Kalai (Proc. AMS'96). The conjecture says that the Entropy of a boolean function is at most a constant times the Influence of the function. The conjecture has been proven for families of functions of smaller sizes. O'donnell, Wright and Zhou (ICALP'11) verified the conjecture for the family of symmetric functions, whose size is $2^{n+1}$. They are in fact able to prove the conjecture for the family of $d$-part symmetric functions for constant $d$, the size of whose is $2^{O(n^d)}$. Also it is known that the conjecture is true for a large fraction of polynomial sized DNFs (COLT'10). Using elementary methods we prove that a random function with high probability satisfies the conjecture with the constant as $(2 + δ)$, for any constant $δ> 0$.

연구 동기 및 목표

• 큰 비구성적 부울 함수 가족이 푸리에 엔트로피-영향(FEI) 추측을 만족함을 보이는 것.
• 기존의 지수 크기의 가족을 넘어서 FEI 추측이 성립하는 함수의 클래스를 확장하는 것.
• 기본적인 확률적 기법을 사용하여, 상수 $C=2+\delta$, $\delta>0$일 때 랜덤 부울 함수가 높은 확률로 FEI 추측을 만족함을 보이는 것.
• 구성적이지 않지만 중요한 결과로서, 크기가 $2^{2^n}$($작은 오차 항을 포함한) 가족이 FEI 추측을 만족함을 규명하는 것.

제안 방법

• 랜덤 부울 함수를 $\{-1,1\}^n$의 각 입력에 대해 독립적이고 균일하게 $\pm1$을 할당하는 것으로 모델링한다.
• 이러한 랜덤 함수의 엔트로피와 영향을 위한 랜덤 변수 $H_r$과 $I_r$을 정의한다.
• 푸리에 계수의 기대값과 파르세발 항등식을 사용하여 평균 영향 $\mathbf{E}[I_r] = n/2$를 계산한다.
• 푸리에 계수의 이阶 모멘트를 분석하여 영향의 분산 $\mathbf{Var}[I_r] = n / 2^{n+1}$을 계산한다.
• 체비셰프 부등식을 적용하여 $I_r$이 평균에서 벗어나지 않을 확률을 근사함으로써, $I_r$이 $n/2$ 근처에 집중되어 있음을 보장한다.
• 엔트로피의 경계 $H_r \leq n$과 유니언 바운드를 사용하여 $n$이 증가함에 따라 $\Pr[H_r > (2+\delta)I_r] \to 0$임을 보이며, 이는 $C=2+\delta$일 때 FEI 추측이 높은 확률로 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 부울 함수가 상수 $C=2+\delta$ ($\delta>0$)일 때 FEI 추측을 만족하는가?
• RQ2 FEI 추측을 만족하는 비구성적, 이중 지수 크기의 부울 함수 가족을 도출할 수 있는가?
• RQ3 랜덤 부울 함수의 영향과 엔트로피의 임계 행동은 FEI 추측과 어떻게 관련되는가?
• RQ4 명시적인 구조 없이도 기본적인 확률적 기법을 사용하여 큰 함수 집합에 대해 FEI 추측을 증명할 수 있는가?

주요 결과

• 실패 확률이 $4(1+2/\delta)^2 / (2^{n+1}n)$로 유계이므로, 임의의 부울 함수가 $C=2+\delta$일 때 FEI 추측을 높은 확률로 만족한다.
• FEI 추측을 만족하는 함수의 가족 크기는 $\left[1 - 4(1+2/\delta)^2 / (2^{n+1}n)\right] \cdot 2^{2^n}$ 이상이며, 이는 $n$에 대해 이중 지수 크기이다.
• 랜덤 부울 함수의 평균 영향는 $n/2$이며, 분산은 $n / 2^{n+1}$이므로 평균 주위에 집중되어 있음을 보여준다.
• 모든 부울 함수의 엔트로피는 최대 $n$이므로, FEI 부등식의 실패 확률을 유계로 제한하는 데 사용된다.
• 증명은 기본적인 푸리에 분석과 체비셰프 부등식에만 의존하므로 접근하기 쉽고 자가 포함적이다.
• 이 결과는 FEI 추측이 알려진 바 있는 첫 번째 비구성적, 이중 지수 크기의 가족을 제공하며, 추측의 적용 범위를 크게 확장한다.