[论文解读] Larger Corner-Free Sets from Better NOF Exactly-$N$ Protocols

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

Complexity and Algorithms in Graphs参考文献 17被引用 9

一句话总结

本文提出了一种利用改进的三玩家数在额头上（NOF）精确-$N$问题通信协议，构造 $[N] \times [N]$ 中无角子集的新方法。通过设计复杂度为 $2\sqrt{2\lambda \log N} + o(\sqrt{\log N})$ 的更高效协议，其中 $\lambda = \log e / 2$，作者实现了密度为 $2^{-2.4022\dots\sqrt{\log N} + o(\sqrt{\log N})}$ 的无角子集，优于基于 Behrend 型构造的先前最优界限。

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.

研究动机与目标

• 在 $[N] \times [N]$ 中构造更大的无角子集，且不依赖于无三元等差数列的子集构造。
• 改进三玩家 NOF 精确-$N$ 问题的通信复杂度，这是通信复杂度领域的一个基础问题。
• 在无角子集的背景下，建立通信复杂度与加法组合数学之间的新联系。
• 提供一种显式构造，其无角子集的渐近密度优于以往方法。

提出的方法

• 使用 $q$ 进制数位表示和二次型检验，设计一个用于精确-$N$ 问题的三玩家 NOF 协议，以验证 $x + y = z$。
• 采用混合协议，结合一轮通信阶段与基于 $\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 能否在不依赖 $[N]$ 中无三元等差数列的大子集的前提下，构造 $[N] \times [N]$ 中的无角子集？
• RQ2 三玩家 NOF 精确-$N$ 问题的最小通信复杂度是多少？能否将其改进至 $O(\sqrt{\log N})$ 以下？
• RQ3 通信复杂度技术能否系统地应用于加法组合数学，以导出新界限？
• RQ4 是否存在复杂度为 $o(\sqrt{\log N})$ 的精确-$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 型构造有显著的定量提升。
• 新设计的 NOF 协议在精确-$N$ 问题上实现了通信复杂度 $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)$ 通信量，即可扩展至所有输入。
• 该工作建立了通信复杂度与加法组合数学之间新的直接联系，表明通信理论方法可为极值组合数学提供新洞见。