[논문 리뷰] Larger Corner-Free Sets from Better NOF Exactly-$N$ Protocols

Nati Linial, Adi Shraibman|arXiv (Cornell University)|2021. 01. 31.

Complexity and Algorithms in Graphs참고 문헌 17인용 수 9

한 줄 요약

이 논문은 3명의 플레이어가 참여하는 Number On the Forehead (NOF) 정확-$N$ 문제에 대해 향상된 통신 프로토콜을 사용하여 $[N] \times [N]$ 내에서 역삼각형 없는 부분집합의 새로운 구성법을 제시한다. 복잡도 $2\sqrt{2\lambda \log N} + o(\sqrt{\log N})$를 갖는 더 효율적인 프로토콜을 설계함으로써, 저자들은 이전의 Behrend 유형 구성법에서 유도된 바와 비교해 밀도 $2^{-2.4022\dots\sqrt{\log N} + o(\sqrt{\log N})}$를 갖는 역삼각형 없는 집합을 얻었다.

ABSTRACT

A subset of the integer planar grid $[N] imes [N]$ is called corner-free if it contains no triple of the form $(x,y), (x+δ,y), (x,y+δ)$. It is known that such a set has a vanishingly small density, but how large this density can be remains unknown. The best previous construction was based on Behrend's large subset of $[N]$ with no $3$-term arithmetic progression. Here we provide the first substantial improvement to this lower bound in decades. Our approach to the problem is based on the theory of communication complexity. In the $3$-players exactly-$N$ problem the players need to decide whether $x+y+z=N$ for inputs $x,y,z$ and fixed $N$. This is the first problem considered in the multiplayer Number On the Forehead (NOF) model. Despite the basic nature of this problem, no progress has been made on it throughout the years. Only recently have explicit protocols been found for the first time, yet no improvement in complexity has been achieved to date. The present paper offers the first improved protocol for the exactly-$N$ problem. This is also the first significant example where algorithmic ideas in communication complexity bear fruit in additive combinatorics.

연구 동기 및 목표

• 3-term 삼각수열이 없는 부분집합에 의존하지 않고 $[N] \times [N]$ 내에서 더 큰 역삼각형 없는 부분집합을 구성하기 위해.
• 통신복잡도 이론의 기초 문제인 3명 플레이어 NOF 정확-$N$ 문제의 통신 복잡도를 향상시키기 위해.
• 특히 역삼각형 없는 집합의 맥락에서 통신복잡도와 애드티브 커비네이터스틱스 간의 새로운 연결 고리를 수립하기 위해.
• 이전 방법보다 개선된 渐近 밀도를 갖는 명시적 역삼각형 없는 집합의 구성법을 제공하기 위해.

제안 방법

• x + y = z를 확인하기 위해 q-진수 자릿수 표현과 이차형식 검증을 사용하는 정확-$N$ 문제를 위한 3명 플레이어 NOF 프로토콜을 설계하기 위해.
• 1라운드 통신 단계와 이후의 $\ell^2$-노름 등등의 검증 단계를 포함하는 하이브리드 프로토콜을 사용하기 위해.
• 조건부 엔트로피 $H(C|y)$를 근사하기 위해 엔트로피 분석을 적용하여, $\lambda = \log e / 2 \approx 0.721$를 포함하는 최적의 프로토콜 복잡도를 도출하기 위해.
• 프로토콜 복잡도를 최소화하기 위해 $d$와 $q$의 파라미터를 최적화하여, $d = \sqrt{\frac{2}{\lambda}\log 2N}$ 및 $q = 2^{\sqrt{\frac{\lambda}{2}\log 2N}}$를 얻기 위해.
• 입력 이동에 대한 집합 커버를 사용하여 부분 프로토콜(입력의 $\Omega(1)$ 비율에서 작동)을 전체 프로토콜로 확장하여 추가로 $O(\log \log N)$ 비트만 추가하기 위해.
• 확률적 방법과 분수 집합 커버를 적용하여, 소수의 이동된 프로토콜 인스턴스를 통해 모든 입력 쌍을 커버할 수 있도록 보장하기 위해.

실험 결과

연구 질문

• RQ1 3-term 삼각수열이 없는 큰 부분집합에 의존하지 않고 $[N] \times [N]$ 내에서 역삼각형 없는 집합을 구성할 수 있는가?
• RQ2 3명 플레이어 NOF 정확-$N$ 문제의 최소 통신 복잡도는 얼마이며, $O(\sqrt{\log N})$를 초월해 향상시킬 수 있는가?
• RQ3 통신복잡도 기법을 어떻게 systematic하게 애드티브 커비네이터스틱스의 새로운 경계 유도에 적용할 수 있는가?
• RQ4 정확-$N$ 문제에 대해 $o(\sqrt{\log N})$ 복잡도를 갖는 프로토콜이 존재하는가? 만약 그렇다면, 이는 역삼각형 없는 집합의 밀도에 어떤 영향을 미칠 것인가?

주요 결과

• 논문은 $[N] \times [N]$ 내에서 크기가 $N^2 / 2^{2\sqrt{\log e}\sqrt{\log N} + o(\sqrt{\log N})}$인 명시적 역삼각형 없는 부분집합을 구성하였으며, 이는 이전의 최선의 경계인 $2^{-2.828\dots\sqrt{\log N}}$를 향상시킨 것이다.
• 향상된 역삼각형 없는 집합의 밀도는 $2^{-2.4022\dots\sqrt{\log N} + o(\sqrt{\log N})}$이며, 이는 Behrend 유형 구성법에 비해 상당한 정량적 향상이다.
• 정확-$N$ 문제를 위한 새로운 NOF 프로토콜은 통신 복잡도 $2\sqrt{2\lambda\log N} + o(\sqrt{\log N})$를 달성하였으며, 여기서 $\lambda = \log e / 2 \approx 0.721$이며, 이는 모델의 제약 조건 하에서 점점 최적화된 것이다.
• 프로토콜은 두 단계 접근 방식을 통해 구성되었는데, 첫째로 $P_z$가 $x+y$에서 유도된 벡터를 공개하고, 둘째로 픲레이어들이 $\ell^2$-노름 등등의 일치 검증을 통해 일관성을 확인한다.
• 저자들은 입력의 일정 비율에서 작동하는 프로토콜이 입력 이동에 대한 집합 커버를 사용하여 전체 입력으로 확장될 수 있으며, 이 경우 추가로 $O(\log \log N)$ 비트만 추가된다는 것을 보였다.
• 이 연구는 통신복잡도와 애드티브 커비네이터스틱스 사이에 새로운 직접적인 연결 고리를 수립하였으며, 통신이론적 기법이 극한 조합론 분야에서 새로운 통찰을 제공할 수 있음을 시사한다.