[논문 리뷰] On The Communication Complexity of High-Dimensional Permutations

Nati Linial, Pitassi, and Toniann외 1명|arXiv (Cornell University)|2017. 06. 07.

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

한 줄 요약

이 논문은 숫자가 앞에 쓰인 모델(Number-on-Forehead, NOF)에서 고차원 순열의 통신 복잡도와 덧셈 조합론 및 라모지 이론의 핵심 문제들 사이의 깊은 연결 고리를 규명한다. 저자들은 덧셈 조합론과 초그래프 정규성의 새로운 기법을 도입하여, 특히 3명의 플레이어에 대한 경우에 대해 NOF 통신 복잡도의 새로운 상계와 하계를 도출하며, 고차원 순열의 복잡도가 조밀한 Ruzsa-Szemerédi 그래프의 구조와 3항 등차수열을 갖지 않는 큰 집합의 존재성과 밀접하게 연결되어 있음을 드러낸다.

ABSTRACT

We study the multiparty communication complexity of high dimensional permutations, in the Number On the Forehead (NOF) model. This model is due to Chandra, Furst and Lipton (CFL) who also gave a nontrivial protocol for the Exactly-n problem where three players receive integer inputs and need to decide if their inputs sum to a given integer $n$. There is a considerable body of literature dealing with the same problem, where $(\mathbb{N},+)$ is replaced by some other abelian group. Our work can be viewed as a far-reaching extension of this line of work. We show that the known lower bounds for that group-theoretic problem apply to all high dimensional permutations. We introduce new proof techniques that appeal to recent advances in Additive Combinatorics and Ramsey theory. We reveal new and unexpected connections between the NOF communication complexity of high dimensional permutations and a variety of well known and thoroughly studied problems in combinatorics. Previous protocols for Exactly-n all rely on the construction of large sets of integers without a 3-term arithmetic progression. No direct algorithmic protocol was previously known for the problem, and we provide the first such algorithm. This suggests new ways to significantly improve the CFL protocol. Many new open questions are presented throughout.

연구 동기 및 목표

• 고차원 순열의 NOF 통신 복잡도와 덧셈 조합론 및 라모지 이론의 핵심 문제들 사이의 깊은 연결 고리를 밝혀내고 체계화하는 것.
• 특히 Exactly-n 문제와 관련된 함수에 대해 3명의 플레이어 NOF 모델의 통신 복잡도에 대한 새로운 하계와 상계를 설정하는 것.
• 오랜 기간 동안 지속된 NOF 복잡도 분석의 한계를 극복하기 위해 초그래프 정규성과 덧셈 조합론에 기반한 새로운 증명 기법을 개발하는 것.
• 고차원 순열의 복잡도가 3항 등차수열을 갖지 않는 큰 집합과 같은 알려진 조합론 문제와 동치이거나 거의 동치임을 드러내는 것.
• 통신 복잡도, 초그래프 제거, 등차수열과 관련된 핵심 열린 문제들을 제시하여 새로운 연구 방향을 열어내는 것.

제안 방법

• k-분할 (k−1)-일반 초그래프에서 서로소 클리크의 최대 개수를 제한하기 위해 초그래프 제거 보조정리를 활용하여, αk(n, N)에 대한 상계를 도출한다.
• 삼각형 제거 보조정리와 그 일반화를 적용하여 NOF 모델에서 단색 실린더 교차의 분석을 수행한다.
• 모든 직선과 최대 한 번만 만날 수 있는 집합 S ⊆[n]^k의 폐쇄 개념을 도입하고, φk(m)을 정의하여, 즉 S의 크기가 m일 때 폐쇄의 최소 크기를 구함으로써 통신 복잡도를 제한한다.
• 반복 색칠과 직사각형 기반 재귀를 사용하여, 단색 A-스타 구성 방지를 위한 최소 색의 수 χ3(n, N)에 대한 하계를 유도한다.
• 고차원 순열의 NOF 복잡도를, 예를 들어 등차수열을 갖지 않는 집합의 크기와 조밀한 Ruzsa-Szemerédi 그래프와 같은 극단적 조합론 문제로 환원한다.
• 덧셈 조합론에서의 다항식 방법과 불일치 기반 추론을 활용하여 실린더 교차에서 1-입력의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 고차원 순열의 NOF 모델에서의 통신 복잡도는 무엇이며, 이는 덧셈 조합론과 어떻게 관련되어 있는가?
• RQ2 χ3(n, n)에 대한 하계를 Ω(log log n)을 초월하여 향상시킬 수 있는가? 이러한 향상은 조합론 문제에 어떤 영향을 미칠 것인가?
• RQ3 k-분할 (k−1)-일반 초그래프에서 서로소 클리크의 최대 개수 αk(n, N)에 대한 날카운 상계는 무엇이며, 초그래프 제거 보조정리와 어떻게 관련되어 있는가?
• RQ4 k > 2에 대해, 모든 직선이 최대 한 점만 포함하는 집합 S ⊆[n]^k에 대해 φk(m)의 비트리비어 하계는 존재하는가?
• RQ5 k > 3에 대해 χk(n, n)과 αk(n, n)의 상계는 기존 결과와 어떻게 비교되며, 이는 삼각형 제거 보조정리의 한계를 어떻게 드러내는가?

주요 결과

• 저자들은 초그래프 제거 보조정리와 클리크의 조밀도에 대한 한계를 활용하여, 모든 k ≥ 3에 대해 αk(n, N) ≤ O(k n^{k-2} N / log*(n))임을 증명한다.
• 3명의 플레이어 경우에 대해, χ3(n, n) ≥ log log n − O(log log log n)이라는 하계를 확립하여, 단색 A-스타를 피하기 위한 색의 수가 최소한 로그 수준 이상이어야 함을 보여준다.
• χ3(n, n) ≥ Ω(log log n)이라는 상한은, n×n 격자에서 단색 정삼각형을 피하기 위해 필요한 색의 수가 어떤 상수보다도 더 빠르게 증가함을 의미한다.
• χ3(n, n) ≥ ω(log log n)이라는 하계는, 3명의 플레이어 NOF 모델에서 랜덤화와 결정론적 통신 복잡도 사이의 최선의 알려진 격차를 향상시킬 것이다.
• 논문은 χ3(n, n) ≤ 2^{O(√log n)}이라는 상계를 향상시킬 경우, 현재 알려진 것보다 더 조밀한 Ruzsa-Szemerédi 그래프를 얻을 수 있으며, 이는 성질 테스팅과 추출기 분야에 중요한 영향을 미칠 것임을 보여준다.
• 저자들은 [n]^3 내에서 |S| ≥ n²/(log log n)^{c1} 이고, 모든 직선과 최대 한 번만 만날 수 있는 집합 S에 대해, |S̄| ≥ n³/(log log n)^{c2}임을 추측한다. 이는 χ3(n, n)에 대한 하계를 크게 강화할 것이다.