[논문 리뷰] Tight Bound on the Number of Relevant Variables in a Bounded degree Boolean function.

John Chiarelli, Pooya Hatami외 1명|arXiv (Cornell University)|2018. 01. 25.

Complexity and Algorithms in Graphs참고 문헌 5인용 수 3

한 줄 요약

이 논문은 차수-$d$ 부울 함수에 포함된 관련 변수의 수에 대한 더 날카운 상계를 확립한다. 이는 어떤 $ C < 22 $ 에 대해 $ C \cdot 2^d $ 개 이하의 변수에 의존함을 증명하며, 이는 이전의 $ d \cdot 2^{d-1} $ 상계를 향상시킨다. 증명은 단항식 차수에 기반한 새로운 가중치 부여 방식을 도입하였고, 이 상계는 거의 최적에 가까우며, $ 3 \cdot 2^{d-1} - 2 $ 개의 관련 변수를 갖는 구성이 존재한다.

ABSTRACT

In this paper, we prove that a degree $d$ Boolean function depends on at most $C\cdot 2^d$ variables for some $C<22$, i.e. it is a $C\cdot 2^d$-junta. This improves the $d\cdot 2^{d-1}$ upper bound of Nisan and Szegedy [NS94]. Our proof uses a new weighting scheme where we assign weights to variables based on the highest degree monomial they appear on. We note that a bound of $C\cdot 2^d$ is essentially tight. A lower bound of $2^d-1$ can easily be achieved by a read-once decision tree of depth $d$ (see [O'Donnell 14], Exercise 3.24). We slightly improve this bound by constructing a Boolean function of degree $d$ with $3\cdot 2^{d-1}-2$ relevant variables. This construction was independently observed by Avishay Tal, but has not appeared in a publication before [Tal 17].

연구 동기 및 목표

• Nisan과 Szegedy가 확립한 $ d \cdot 2^{d-1} $ 상계를 초월하여, 차수-$d$ 부울 함수에 포함된 관련 변수 수에 대한 상계를 향상시키는 것.
• 단항식 기반 변수 가중치를 사용하여 변수의 관련성 정도를 정량화하는 새로운 분석 프레임워크를 개발하는 것.
• 차수 $ d $ 의 부울 함수가 $ 3 \cdot 2^{d-1} - 2 $ 개의 관련 변수를 갖는 구성으로 $ C \cdot 2^d $ 상계가 거의 최적임을 보여주는 것.
• 저차수 부울 함수의 점프 유사한 구조를 더 정밀하게 특성화하는 것.

제안 방법

• 변수가 포함된 최고 차수의 단항식에 기반해 변수에 가중치를 할당하는 새로운 가중치 부여 방식을 도입한다.
• 이 가중치 부여 방식을 사용해 부울 함수의 푸리에 전개에서 변수의 影響을 분석한다.
• 조합론적 및 차수 기반 추론을 적용해 총 가중치를 상한으로 제한하고, 관련 변수 수의 제한을 이끌어낸다.
• 읽기 한 번 결정 트리에 관한 기존 결과를 활용해 $ 3 \cdot 2^{d-1} - 2 $ 개의 관련 변수를 갖는 하한 예를 구성한다.
• 새로운 상한 $ C \cdot 2^d $ 와 하한을 비교하여 결과의 거의 최적성(근접 최적성)을 보여준다.
• Avishay Tal의 독립적 구성으로 하한을 강화하여, 상한이 상수 인자 범위 내에서 최적임을 확인한다.

실험 결과

연구 질문

• RQ1 차수-$d$ 부울 함수에 포함된 관련 변수 수에 대한 최선의 가능한 상한은 무엇인가?
• RQ2 Nisan과 Szegedy의 $ d \cdot 2^{d-1} $ 상한을 새로운 분석 기법을 사용해 향상시킬 수 있는가?
• RQ3 $ C \cdot 2^d $ 상한이 차수-$d$ 함수의 진정한 관련 변수 수 최대치에 얼마나 가까운가?
• RQ4 상한의 최적성 테스트를 위해 $ 2^d - 1 $ 개를 초월하는 관련 변수를 갖는 차수 $ d $ 의 부울 함수를 구성할 수 있는가?
• RQ5 모든 차수-$d$ 부울 함수가 $ C \cdot 2^d $-점프 유사 구조를 이룬다고 할 때, 최적의 상수 $ C $ 는 무엇인가?

주요 결과

• 논문은 임의의 차수-$d$ 부울 함수가 어떤 절대 상수 $ C < 22 $ 에 대해 $ C \cdot 2^d $ 개 이하의 변수에 의존함을 증명하며, 이는 이전의 $ d \cdot 2^{d-1} $ 상한을 향상시킨다.
• 새로운 상한은 거의 최적임이 입증되며, 논문은 $ 3 \cdot 2^{d-1} - 2 $ 개의 관련 변수를 갖는 차수-$d$ 부울 함수의 구성으로 이를 입증한다.
• Avishay Tal에 의해 독립적으로 관찰된 이러한 구성은 상한에 매우 가까운 하한을 제공한다.
• 단항식 차수에 기반한 새로운 가중치 부여 방식은 개선된 상한을 도출하는 데 핵심적이며, 변수 영향력의 보다 정교한 분석을 가능하게 한다.
• 결과는 저차수 부울 함수가 변수 의존성 측면에서 본질적으로 희박함을 확인하며, 관련 변수 수가 지수적으로 증가하지만 상수 요소가 크게 감소함을 보여준다.
• 향상된 상한은 차수-$d$ 부울 함수가 $ C < 22 $ 인 $ C \cdot 2^d $-점프 유사 구조임을 보여주며, 그 구조적 제약에 대한 이해를 강화한다.