[논문 리뷰] An additive combinatorics approach to the log-rank conjecture in communication complexity

Eli Ben‐Sasson, Shachar Lovett외 1명|arXiv (Cornell University)|2011. 11. 25.

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

한 줄 요약

이 논문은 가환합성 이론에서 다항식 프라이먼-르자(Polynomial Freiman-Ruzsa, PFR) 추측을 가정할 경우, 임의의 {0,1}-행렬 M의 결정론적 통신 복잡도가 O(rank(M)/log rank(M))로 유계임을 증명한다. 증명은 PFR 하에서 개선된 근사 쌍대성에 관한 결과를 활용하며, 니산-위그너슨(Nisan-Wigderson) 프로토콜 프레임워크를 재귀적으로 적용하여 저이倾斜도(submatrices)를 이용해 행렬을 분해함으로써, 이전에 알려진 O(rank(M))의 랭크 기반 상한보다 거의 선형 수준의 향상을 이룬다.

ABSTRACT

For a $\{0,1\}$-valued matrix $M$ let $ m{CC}(M)$ denote the deterministic communication complexity of the boolean function associated with $M$. The log-rank conjecture of Lovász and Saks [FOCS 1988] states that $ m{CC}(M) \leq \log^c( m{rank}(M))$ for some absolute constant $c$ where $ m{rank}(M)$ denotes the rank of $M$ over the field of real numbers. We show that $ m{CC}(M)\leq c \cdot m{rank}(M)/\log m{rank}(M)$ for some absolute constant $c$, assuming a well-known conjecture from additive combinatorics known as the Polynomial Freiman-Ruzsa (PFR) conjecture. Our proof is based on the study of the "approximate duality conjecture" which was recently suggested by Ben-Sasson and Zewi [STOC 2011] and studied there in connection to the PFR conjecture. First we improve the bounds on approximate duality assuming the PFR conjecture. Then we use the approximate duality conjecture (with improved bounds) to get the aforementioned upper bound on the communication complexity of low-rank martices, where this part uses the methodology suggested by Nisan and Wigderson [Combinatorica 1995].

연구 동기 및 목표

• 행렬 랭크에 따른 알려진 상한과 다항식 상한 사이의 격차를 좁히기 위해 통신 복잡도의 하한과 상한 간의 격차를 메우는 것.
• 가환합성 이론에서의 다항식 프라이먼-르자(PFR) 추측이 더 강력한 통신 복잡도 상한을 유도하는지 조사하기 위해.
• PFR 추측과 깊이 연관된 근사 쌍대성 개념에 대한 상한을 향상시키기 위해.
• 이러한 향상된 상한을 적용하여 낮은 랭크의 {0,1}-행렬에 대해 결정론적 통신 복잡도의 새로운 더 탴드 상한을 유도하기 위해.
• 가환합성 이론의 구조적 결과가 통신 프로토콜에서 알고리즘적 향상으로 이어지는 방식을 보여줌으로써, 가환합성 이론과 통신 복잡도를 연결하기 위해.

제안 방법

• 다항식 프라이먼-르자(PFR) 추측을 가정하여 F_2^n 내의 집합에 대한 근사 쌍대성에 대한 개선된 상한을 도출한다.
• 개선된 근사 쌍대성 상한을 활용하여 낮은 랭크의 {0,1}-행렬의 구조를 분석하고, 높은 이倾斜도를 가진 부분행렬을 식별한다.
• 니산과 위그너슨(Nisan and Wigderson)이 알려준 결과에 따라, 이倾斜도가 적어도 r^(-3/2) 이상이고 크기가 적어도 r^(-3/2) * |M| 이상인 부분행렬 M'이 존재함을 보장한다.
• PFR 가정 하에 보조정리 3.2를 적용하여, 크기가 적어도 2^(-O(r/log r)) * |M| 이상인 단색 부분행렬 M''를 추출한다. 여기서 r = rank(M)이다.
• 단색 부분행렬을 기반으로 하여, 하위행렬의 랭크가 낮은 플레이어(행 또는 열)를 선택하여 행렬을 분할하는 재귀적 프로토콜을 설계한다. 이는 통신량을 최소화하기 위함이다.
• 프로토콜의 리프 수에 대한 재귀 관계식을 수립한다: L(m,r) ≤ L(m,r/2) + L(m(1−δ),r), 여기서 δ ≥ 2^(-cr/log r)이며, 이를 해결하여 L(m,r) = 2^O(r/log r)임을 증명함으로써 통신 복잡도가 O(r/log r)임을 유도한다.

실험 결과

연구 질문

• RQ1 다항식 프라이먼-르자(PFR) 추측이 현재 알려진 O(rank(M))보다 더 나은 통신 복잡도 상한을 유도하는가?
• RQ2 PFR 하에서 개선된 근사 쌍대성 상한을 활용하여 낮은 랭크 행렬에 대해 더 효율적인 통신 프로토콜을 구성할 수 있는가?
• RQ3 어느 정도까지 이倾斜도 기반의 행렬 분해가 결정론적 모델에서 통신 복잡도를 감소시키는 데 활용될 수 있는가?
• RQ4 PFR 추측 하에 {0,1}-행렬 M의 통신 복잡도가 O(rank(M)/log rank(M))로 유계인가?
• RQ5 단색 부분행렬과 랭크 감소에 기반한 재귀적 프로토콜 구조는 기존의 통신 복잡도 접근 방식과 비교하여 어떻게 다른가?

주요 결과

• 다항식 프라이먼-르자(PFR) 추측을 가정할 경우, 임의의 {0,1}-행렬 M의 통신 복잡도는 O(rank(M)/log rank(M))로 유계이다.
• 증명은 PFR 추측 하에서 근사 쌍대성에 대한 개선된 상한을 확립하며, 이는 큰 단색 부분행렬을 식별하는 데 필수적이다.
• 모든 랭크 r인 행렬 M에 대해, 이倾斜도가 적어도 r^(-3/2) 이상이고 크기가 적어도 r^(-3/2) * |M| 이상인 부분행렬 M'이 존재한다. 이는 알려진 결과이다.
• PFR 추측 하에, 크기가 적어도 2^(-O(r/log r)) * |M| 이상인 단색 부분행렬 M''가 보장된다. 이는 재귀적 프로토콜 설계를 가능하게 한다.
• 재귀적 프로토콜 구조는 L(m,r) ≤ L(m,r/2) + L(m(1−δ),r)의 재귀 관계식을 유도하며, 여기서 δ ≥ 2^(-cr/log r)이며, 이에 따라 L(m,r) = 2^O(r/log r)의 리프 수를 얻는다.
• 이는 M의 결정론적 통신 복잡도가 O(rank(M)/log rank(M))임을 의미하며, 이는 이전까지의 최선의 상한인 O(rank(M))보다 향상된 것이다.