[논문 리뷰] Low degree almost Boolean functions are sparse juntas

Irit Dinur, Yuval Filmus외 1명|arXiv (Cornell University)|2017. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 16인용 수 4

한 줄 요약

이 논문은 $p$-biased 초입방에서 저차수의 거의 부울 함수를 기술하기 위해 기존의 점프스를 일반화하는 새로운 함수 클래스인 희소 점프스(sparse juntas)를 도입한다. 국소-전역 일致 정리(local-to-global agreement theorem)를 활용하여, 이러한 함수들이 희소 점프스에 가까움을 보이며, 이는 이전 결과를 확장하고 편향 및 큰 편차 한계를 도출한다.

ABSTRACT

Nisan and Szegedy showed that low degree Boolean functions are juntas. Kindler and Safra showed that low degree functions which are almost Boolean are close to juntas. Their result holds with respect to $\mu_p$ for every constant $p$. When $p$ is allowed to be very small, new phenomena emerge. For example, the function $y_1 + \cdots + y_{\epsilon/p}$ (where $y_i \in \{0,1\}$) is close to Boolean but not close to a junta. We show that low degree functions which are almost Boolean are close to a new class of functions which we call *sparse juntas*. Roughly speaking, these are functions which on a random input look like juntas, in the sense that only a finite number of their monomials are non-zero. This extends a result of the second author for the degree 1 case. As applications of our result, we show that low degree almost Boolean functions must be very biased, and satisfy a large deviation bound. An interesting aspect of our proof is that it relies on a local-to-global agreement theorem. We cover the $p$-biased hypercube by many smaller dimensional copies of the uniform hypercube, and approximate our function locally via the Kindler--Safra theorem for constant $p$. We then stitch the local approximations together into one global function that is a sparse junta.

연구 동기 및 목표

• $p$가 작을 때 기존 점프스가 저차수의 거의 부울 함수를 포괄하지 못하는 데서 비롯되는 실패를 해결하기 위해.
• $\mu_p$ 하에서 작을 $p$에 대해 이러한 함수를 더 잘 기술하는 새로운 함수 클래스인 희소 점프스를 규명하기 위해.
• 표준 점프스 근사가 실패하는 작은 $p$에서, 기존의 Kindler–Safra 정리를 $p$-biased 설정으로 확장하기 위해.
• 저차수의 거의 부울 함수에 대한 편향과 큰 편차의 정량적 한계를 설정하기 위해.

제안 방법

• $p$-biased 초입방을 더 낮은 차원의 균일 초입방으로 덮어 국소 분석을 가능하게 한다.
• 각 작은 초입방에서 상수 $p$ 설정 하에서 Kindler–Safra 정리를 국소적으로 적용하여 함수를 점프스로 근사한다.
• 국소-전역 일치 정리를 활용해 국소 근사값들을 하나의 전역적 희소 점프스로 조합한다.
• 임의의 입력에서 유한한 수의 비영원 단항식만을 가지는 함수로 희소 점프스를 정의하여, 작은 $p$ 하에서의 본질적 구조를 포착한다.
• 단항식의 구조와 그 희소성의 특성을 활용하여 원래 함수와 희소 점프스 사이의 거리를 제한한다.

실험 결과

연구 질문

• RQ1 $p$가 작을 때 $p$-biased 초입방에서 저차수의 거의 부울 함수를 점프스로 근사할 수 있는가?
• RQ2 표준 점프스가 실패하는 작은 $p$ 설정에서 점프스를 일반화하는 구조적 함수 클래스는 무엇인가?
• RQ3 국소-전역 일치 원리가 희소 설정에서 전역 근사를 어떻게 가능하게 하는가?
• RQ4 작은 $p$ 하에서 저차수의 거의 부울 함수는 어떤 정량적 편향과 큰 편차 성질을 보이는가?

주요 결과

• $p$-biased 초입방에서 저차수의 거의 부울 함수는 표준 점프스를 일반화하는 새로운 클래스인 희소 점프스에 가까운 것으로 밝혀졌다.
• 희소 점프스 근사가 $p$가 매우 작을 때조차 성립하며, 이는 기존 점프스가 이러한 함수를 근사하지 못하는 상황에서 특히 중요하다.
• 함수 $y_1 + \cdots + y_{\epsilon/p}$가 부울에 가까운 반면 어떤 점프스에도 가까운 바, 이는 희소 점프스의 필요성을 보여준다.
• 이 논문은 이러한 함수들이 반드시 매우 편향되어야 하며, 이 편향은 차수와 $p$에 따라 정량화됨을 증명한다.
• 희소 점프스의 구조에서 유도된 바, 저차수의 거의 부울 함수에 대해 큰 편차 한계가 확립되었다.