[논문 리뷰] Recent advances on the log-rank conjecture in communication complexity

Shachar Lovett|arXiv (Cornell University)|2014. 03. 31.

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

한 줄 요약

이 종합 논문은 통신 복잡도 이론에서 최근의 로그-랭크 추측에 대한 진전을 검토하며, 부울 함수의 결정론적 통신 복잡도에 대한 향상된 상계에 초점을 맞춘다. 주요 결과로는 결정론적 통신 복잡도가 $ O(\sqrt{\mathrm{rank}(f)} \cdot \log \mathrm{rank}(f)) $ 이내임을 보여주며, 이는 이전의 상계를 크게 향상시키고, 이로 인해 불일치, 랜덤화 프로토콜, 행렬 강성과의 새로운 연결 고리를 시사한다.

ABSTRACT

The log-rank conjecture is one of the fundamental open problems in communication complexity. It speculates that the deterministic communication complexity of any two-party function is equal to the log of the rank of its associated matrix, up to polynomial factors. Despite much research, we still know very little about this conjecture. Recently, there has been renewed interest in this conjecture and its relations to other fundamental problems in complexity theory. This survey describes some of the recent progress, and hints at potential directions for future research.

연구 동기 및 목표

• 통신 복잡도 이론에서 핵심적인 열린 문제인 로그-랭크 추측에 대한 최근 진전을 요약하는 것.
• 로그-랭크 추측과 랜덤화 및 양자 프로토콜을 포함한 다른 복잡도론적 문제들 사이의 연결 고리를 탐색하는 것.
• 낮은 랭크 행렬의 구조적 성질, 특히 희소 행렬과 그들의 행렬 강성에 대한 함의를 조사하는 것.
• 불일치, 정보 비용, 제로-통신 프로토콜을 바탕으로 한 새로운 연구 방향을 제안하는 것.

제안 방법

• 통신 행렬의 랭크를 통해 부울 함수의 결정론적 통신 복잡도를 분석하는 것.
• 불일치 이론을 적용하여 통신 복잡도에 대한 향상된 상계를 도출하는 것.
• 랜덤화 프로토콜과 결정론적 프로토콜 간의 관계를 이용하여 복잡도를 다항로그적 요소로 감소시키는 것.
• 희소 낮은 랭크 행렬에 큰 0-직사각형이 존재한다는 Conjecture 6.3을 도입하고 분석하는 것.
• Conjecture 6.3에서 유도된 행렬 강성의 하한을 도출하여 기존의 구성보다 로그적 요소로 향상된 결과를 얻는 것.
• 로그-랭크 추측이 양자 프로토콜과 정보 비용에 미치는 함의를 확립하는 것.

실험 결과

연구 질문

• RQ1 모든 부울 함수 $ f $에 대해 결정론적 통신 복잡도가 $ O(\sqrt{\mathrm{rank}(f)} \cdot \log \mathrm{rank}(f)) $ 이내로 유 bounds 될 수 있는가?
• RQ2 낮은 랭크를 가진 행렬이 적은 수의 비영원소를 가진다면, 큰 0-직사각형을 포함하는가?
• RQ3 효율적인 랜덤화 또는 제로-통신 프로토콜이 낮은 랭크 함수에 대해 효율적인 결정론적 프로토콜을 암시할 수 있는가?
• RQ4 랜덤화 프로토콜에 대한 로그-랭크 추측도 참이 되는가? 즉, 근사 랭크 $ r $에 대해 복잡도가 $ \sqrt{r} \cdot \mathrm{poly}\log r $ 이내인가?
• RQ5 낮은 랭크 함수에 대한 양자 프로토콜은 결정론적 프로토콜로 다항로그적 요소의 오버헤드만으로 시뮬레이션될 수 있는가?

주요 결과

• 모든 부울 함수 $ f $에 대해 결정론적 통신 복잡도는 $ O(\sqrt{\mathrm{rank}(f)} \cdot \log \mathrm{rank}(f)) $ 이내이며, 이는 이전의 $ O(\mathrm{rank}(f)/\log \mathrm{rank}(f)) $ 상한보다 향상된 결과이다.
• 다항식 프리마이언-루즈카 추측이 $ \mathbb{F}_2^n $에서 참이라면, $ \mathrm{CC}^{\mathrm{det}}(f) \leq O(\mathrm{rank}(f)/\log \mathrm{rank}(f)) $ 임을 유도할 수 있다.
• 복잡도 $ c $인 랜덤화 프로토콜은 복잡도 $ O(c \cdot \log^2(\mathrm{rank}(f))) $인 결정론적 프로토콜을 암시하며, 이는 랜덤화 모델과 결정론적 모델 간의 연결 고리를 제공한다.
• Conjecture 6.3에 따르면, $ \varepsilon n^2 $개 이하의 비영원소를 가진 $ n \times n $ 행렬은 양쪽 차원에서 크기가 $ \Omega(n \cdot \exp(-O(\sqrt{\varepsilon r}))) $인 0-직사각형을 포함한다.
• Conjecture 6.3를 가정할 경우, $ s = \Omega(n^2 / (r \log^2(n/r))) $인 $ n \times n $ 행렬이 존재하며, 이는 이전의 상한보다 로그적 요소로 향상된 결과이다.
• 랜덤화 프로토콜에 대한 로그-랭크 추측는 근사 랭크 $ r $을 가진 함수가 $ \sqrt{r} \cdot \mathrm{poly}\log r $-복잡도를 가진 랜덤화 프로토콜을 갖는다는 것을 보여주면 접근 가능할 수 있다.