[논문 리뷰] Fourier sparsity, spectral norm, and the Log-rank conjecture

Hing Yin Tsang, Chung Hoi Wong외 2명|arXiv (Cornell University)|2013. 04. 04.

Complexity and Algorithms in Graphs참고 문헌 42인용 수 6

한 줄 요약

이 논문은 부울 함수의 푸리에 희소성과 스펙트럼 노름을 활용하여 XOR 함수 $f(x \oplus y)$의 결정론적 통신 복잡도에 대한 새로운 상계를 확립한다. 상수인 $\mathbb{F}_2$-차수를 가진 함수의 경우, 통신 복잡도는 $O(2^{d^2/2} \log^{d-2} \|\hat{f}\|_1)$로 유계이며, 일반적인 함수의 경우 $O(d \|\hat{f}\|_1)$로 유계이다. 이는 기존의 선형 상계보다 거의 제곱근 정도로 향상된 결과이다. 핵심 기여는 다항식 랭크의 변종을 기반으로 한 차수 감소 프로토콜로, 이는 통신 비용이 랭크에 대해 다항로그 형태임을 지지하는 추측을 뒷받침한다.

ABSTRACT

We study Boolean functions with sparse Fourier coefficients or small spectral norm, and show their applications to the Log-rank Conjecture for XOR functions f(x\oplus y) --- a fairly large class of functions including well studied ones such as Equality and Hamming Distance. The rank of the communication matrix M_f for such functions is exactly the Fourier sparsity of f. Let d be the F2-degree of f and D^CC(f) stand for the deterministic communication complexity for f(x\oplus y). We show that 1. D^CC(f) = O(2^{d^2/2} log^{d-2} ||\hat f||_1). In particular, the Log-rank conjecture holds for XOR functions with constant F2-degree. 2. D^CC(f) = O(d ||\hat f||_1) = O(\sqrt{rank(M_f)}\logrank(M_f)). We obtain our results through a degree-reduction protocol based on a variant of polynomial rank, and actually conjecture that its communication cost is already \log^{O(1)}rank(M_f). The above bounds also hold for the parity decision tree complexity of f, a measure that is no less than the communication complexity (up to a factor of 2). Along the way we also show several structural results about Boolean functions with small F2-degree or small spectral norm, which could be of independent interest. For functions f with constant F2-degree: 1) f can be written as the summation of quasi-polynomially many indicator functions of subspaces with \pm-signs, improving the previous doubly exponential upper bound by Green and Sanders; 2) being sparse in Fourier domain is polynomially equivalent to having a small parity decision tree complexity; 3) f depends only on polylog||\hat f||_1 linear functions of input variables. For functions f with small spectral norm: 1) there is an affine subspace with co-dimension O(||\hat f||_1) on which f is a constant; 2) there is a parity decision tree with depth O(||\hat f||_1 log ||\hat f||_0).

연구 동기 및 목표

• XOR 함수 $f(x \oplus y)$의 통신 복잡도를 연구하며, 특히 로그-랭크 추측과의 관계를 탐구한다.
• 푸리에 스펙트럼이 희소하거나 스펙트럼 노름이 작은 부울 함수의 구조적 성질을 이해한다.
• 푸리에 분석 도구를 활용하여 결정론적 통신 복잡도 $\sf{D^{CC}}(f \circ \oplus)$에 대한 더 날카운 상계를 수립한다.
• 랭크에 대한 기존의 선형 상계를 거의 제곱근 정도로 향상시키는 데 목적이 있다.

제안 방법

• 다항식 랭크의 변종을 기반으로 한 차수 감소 프로토콜을 도입하여, $f$의 $\mathbb{F}_2$-차수를 낮추기 위해 필요한 파리티 질의 수를 분석한다.
• 통신 복잡도를 유계하기 위해 스펙트럼 노름 $\|\hat{f}\|_1$과 푸리에 희소성 $\|\hat{f}\|_0$을 핵심 매개변수로 사용한다.
• Gopalan 등이 제시한 보조정리 34를 적용하여, $\ell_2$-노름에서 희소 함수에 가까운 함수는 푸리에 희소성이 낮은 부울 함수에도 가까운 것을 보인다.
• 보조정리 33을 활용하여, 푸리에 희소성이 작은 함수는 $\log^{O(1)}\|\hat{f}\|_0$개의 파리티 질의로 계산될 수 있음을 보여준다.
• XOR 함수의 경우, 통신 행렬 $M_f$의 랭크는 $f$의 푸리에 희소성과 동일하다는 사실을 활용한다.
• 프로토콜의 통신 비용이 $\log^{O(1)}\mathrm{rank}(M_f)$임을 추측하며, 이는 로그-랭크 추측을 지지한다.

실험 결과

연구 질문

• RQ1 XOR 함수의 통신 복잡도는 푸리에 희소성과 스펙트럼 노름에 따라 유계질 수 있는가?
• RQ2 다항식 랭크에 기반한 차수 감소 프로토콜은 거의 최적의 통신 비용을 제공하는가?
• RQ3 상수인 $\mathbb{F}_2$-차수를 가진 XOR 함수의 통신 복잡도는 $O(2^{d^2/2} \log^{d-2} \|\hat{f}\|_1)$로 유계되는가?
• RQ4 스펙트럼 노름을 활용하여 랭크에 대한 기존의 선형 상계를 거의 제곱근 정도로 향상시킬 수 있는가?
• RQ5 제안된 프로토콜의 통신 비용은 통신 행렬의 랭크에 대해 다항로그 형태인가?

주요 결과

• 상수인 $\mathbb{F}_2$-차수 $d$를 가진 XOR 함수에 대해 $\sf{D^{CC}}(f \circ \oplus) = O(2^{d^2/2} \log^{d-2} \|\hat{f}\|_1)$이며, 이는 이 클래스에 대해 로그-랭크 추측을 확인한다.
• 일반적인 함수에 대해 $\sf{D^{CC}}(f \circ \oplus) = O(d \|\hat{f}\|_1) = O(\sqrt{\mathrm{rank}(M_f)} \log \mathrm{rank}(M_f))$이며, 이는 기존의 선형 상계를 거의 제곱근 정도로 향상시킨다.
• 상수인 $\mathbb{F}_2$-차수를 가진 함수는 준다항식 수의 서브스페이스에 대한 부호가 붙은 지시함수의 합으로 표현될 수 있으며, 이는 Green과 Sanders의 이중지수적 상한을 개선한다.
• 상수인 $\mathbb{F}_2$-차수를 가진 함수에 대해 푸리에 희소성과 파리티 决定트리 복잡도는 다항식적으로 동치이다.
• 스펙트럼 노름이 작은 함수에 대해, $f$가 상수인 코-차원 $O(\|\hat{f}\|_1)$인 애파인 부분공간이 존재한다.
• 스펙트럼 노름이 작은 함수에 대해 깊이 $O(\|\hat{f}\|_1 \log \|\hat{f}\|_0)$인 파리티 결정트리가 존재한다.