通信复杂性中对数秩猜想的可加组合学方法
An additive combinatorics approach to the log-rank conjecture in communication complexity
摘要:
对于$\{0,1\}$值矩阵$M$,令$\rm{CC}(M)$表示与$M$相关联的布尔函数的确定性通信复杂性. Lovász和Saks [FOCS 1988]的对数秩猜想指出,对于某个绝对常数$c$,$\rm{CC}(M) \leq \log^c(\rm{rank}(M))$,其中$\rm{rank}(M)$表示$M$在实数域上的秩。我们表明,$\rm{CC}(M)\leq c \cdot \rm{rank}(M)/\log \rm{rank}(M)$的一些绝对常数$c$,假设一个著名的猜想添加剂组合被称为多项式Freiman-Ruzsa(PFR)猜想。我们的证明是基于对“近似对偶猜想”的研究,该猜想最近由Ben-Sasson和Zewi [STOC 2011]提出,并与PFR猜想相关。首先,我们改进了近似对偶的界假设PFR猜想。然后,我们使用近似对偶猜想(具有改进的边界)来获得低秩矩阵的通信复杂性的上界,其中这一部分使用Nisan和Wigderson [Combinatorica 1995]提出的方法。
英文摘要:
For a $\{0,1\}$-valued matrix $M$ let $\rm{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 $\rm{CC}(M) \leq \log^c(\rm{rank}(M))$ for some absolute constant $c$ where $\rm{rank}(M)$ denotes the rank of $M$ over the field of real numbers. We show that $\rm{CC}(M)\leq c \cdot \rm{rank}(M)/\log \rm{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].
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。