[논문 리뷰] Bounded Independence Fools Degree-2 Threshold Functions

Ilias Diakonikolas, Daniel M. Kane외 1명|arXiv (Cornell University)|2009. 11. 17.

Computational Geometry and Mesh Generation참고 문헌 23인용 수 4

한 줄 요약

이 논문은 $k = \mathrm{poly}(1/\varepsilon)$-wise 독립 분포가 $\{-1,1\}^n$ 위의 모든 2차 다항식 임계함수(PTF)를 $\varepsilon$-fool함을 보여주며, 이는 열린 문제를 해결한다. 핵심 기법인 다변량 FT-부드러움화는 단변량 부드러움화를 일반화하여 이차형식을 다루며, 유한 독립성이 상수 개의 2차 PTF의 교차를 꾸며내는 데 가능하게 하고, Goemans-Williamson 초평면 라운딩 기법을 $\widetilde{O}(\varepsilon^{-9})$-wise 독립성으로 비확률화할 수 있게 한다.

ABSTRACT

Let x be a random vector coming from any k-wise independent distribution over {-1,1}^n. For an n-variate degree-2 polynomial p, we prove that E[sgn(p(x))] is determined up to an additive epsilon for k = poly(1/epsilon). This answers an open question of Diakonikolas et al. (FOCS 2009). Using standard constructions of k-wise independent distributions, we obtain a broad class of explicit generators that epsilon-fool the class of degree-2 threshold functions with seed length log(n)*poly(1/epsilon). Our approach is quite robust: it easily extends to yield that the intersection of any constant number of degree-2 threshold functions is epsilon-fooled by poly(1/epsilon)-wise independence. Our results also hold if the entries of x are k-wise independent standard normals, implying for example that bounded independence derandomizes the Goemans-Williamson hyperplane rounding scheme. To achieve our results, we introduce a technique we dub multivariate FT-mollification, a generalization of the univariate form introduced by Kane et al. (SODA 2010) in the context of streaming algorithms. Along the way we prove a generalized hypercontractive inequality for quadratic forms which takes the operator norm of the associated matrix into account. These techniques may be of independent interest.

연구 동기 및 목표

• 모든 $\{-1,1\}^n$ 위의 2차 다항식 임계함수(PTF)를 $\varepsilon$-fool하는 데 필요한 최소 $k$를 결정하는 열린 문제를 해결하기 위해.
• 균일 분포를 초월하여 PTF 및 불변성 원리의 맥락에서 유한 독립성을 다룰 수 있는 강력한 분석 프레임워크를 개발하기 위해.
• Goemans-Williamson 초평면 라운딩 기법이 MaxCut에 대해 비확률화될 수 있도록 유한 독립성이 충분한지 확인하기 위해.
• 임의의 상수 개의 2차 PTF의 교차가 초입방체와 가우시안 공간 양쪽에서 $\mathrm{poly}(1/\varepsilon)$-wise 독립성에 의해 $\varepsilon$-fool됨을 보여주기 위해.

제안 방법

• 유한 독립성 하에서 이차형식의 지표 함수를 부드럽게 하는 데 사용되는 다변량 FT-부드러움화를 도입하며, 이는 단변량 부드러움화의 일반화이다.
• 이차형식의 행렬의 연산자 노름을 고려하는 일반화된 초수렴 부등식을 증명하여, 제한된 독립성 하에서도 농도 경계를 확보한다.
• 나무 기반의 구조적 분해를 사용하여 제한된 하위함수를 $\tau$-정규 PTF 또는 $\tau$-근처 상수 함수로 분류한다.
• $\mathbb{R}^2$에서 두 반공간의 교차 지표 함수에 부드러움화 기법을 적용하여, $O(1/\varepsilon^2)$-wise 독립성이 가우시안 측도를 $\varepsilon$ 이내로 근사하는 데 충분함을 보였다.
• 기존의 $k$-wise 독립 분포 구성법을 활용하여, 2차 PTF에 대해 시드 길이 $\log n \cdot \widetilde{O}(\varepsilon^{-9})$인 명시적 의사난수 생성기를 구축한다.
• 분석을 확장하여, 임의의 상수 $m$에 대해 $m$개의 반공간 또는 2차 PTF의 교차가 $O(1/\varepsilon^2)$-wise 독립성으로 $\varepsilon$-fool됨을 보였다.

실험 결과

연구 질문

• RQ1 모든 $\{-1,1\}^n$ 위의 2차 PTF를 $\varepsilon$-fool하는 데 필요한 최소 $k$는 무엇인가?
• RQ2 기본 분포가 완전히 독립적이지 않더라도, 이차형식의 부호 함수에 대해 유한 독립성이 분포적 성질을 유지하는 데 충분한가?
• RQ3 2차 다항식에 대해 낮은 영향력을 가진 경우, Mossell, O'Donnell, Oleszkiewicz의 불변성 원리가 완전한 독립성 대신 유한 독립성 하에서도 성립하는가?
• RQ4 Goemans-Williamson 초평면 라운딩 기법이 $k = \mathrm{poly}(1/\varepsilon)$-wise 독립 난수 벡터를 사용하여 비확률화될 수 있는가?
• RQ5 임의의 상수 개의 2차 PTF의 교차가 초입방체와 가우시안 공간 양쪽에서 $\mathrm{poly}(1/\varepsilon)$-wise 독립성에 의해 $\varepsilon$-fool되는가?

주요 결과

• 모든 $\widetilde{\Omega}(\varepsilon^{-9})$-wise 독립 분포가 $\{-1,1\}^n$ 위의 모든 2차 PTF를 $\varepsilon$-fool함을 보여주며, 이는 Diakonikolas 등(FOCS 2009)에서 제기한 열린 문제를 해결한다.
• 임의의 상수 개의 2차 PTF의 교차는 초입방체와 표준 가우시안 측도 양쪽에서 $\mathrm{poly}(1/\varepsilon)$-wise 독립성에 의해 $\varepsilon$-fool됨을 보였다.
• Goemans-Williamson 초평면 라운딩 기법은 $O(1/\varepsilon^2)$-wise 독립 난수 벡터를 사용하여 최적 값에서 $\varepsilon$ 이내의 기대 컷을 달성함으로써 비확률화될 수 있다.
• 유한 독립성이 2차 다항식에 대해 낮은 영향력을 가진 경우, Mossell, O'Donnell, Oleszkiewicz의 불변성 원리에 충분하다.
• 다변량 FT-부드러움화 기법을 통해 이차형식의 행렬의 연산자 노름을 포함하는 일반화된 초수렴 부등식을 도출하였으며, 더 강력한 농도 경계를 제공한다.
• 기존의 표준 $k$-wise 독립 분포 구성법을 활용하여, 2차 PTF에 대해 시드 길이 $\log n \cdot \widetilde{O}(\varepsilon^{-9})$인 명시적 의사난수 생성기가 존재한다.