[论文解读] A direct proof for Lovett's bound on the communication complexity of low rank matrices.

Thomas Rothvoß|arXiv (Cornell University)|Sep 22, 2014

Complexity and Algorithms in Graphs参考文献 10被引用 6

一句话总结

本文通过超平面舍入法，给出了洛瓦特定理关于低秩矩阵通信复杂度的直接几何证明，表明该复杂度为 O(r^{1/2} log r)。该方法更清晰地揭示了平方根因子出现的原因，并明确了超越该界限所需满足的结构条件。

ABSTRACT

The log-rank conjecture in communication complexity suggests that the deterministic communication complexity of any Boolean rank-r function is bounded by polylog(r). Recently, major progress was made by Lovett who proved that the communication complexity is bounded by O(r^1/2 * log r). Lovett's proof is based on known estimates on the discrepancy of low-rank matrices. We give a simple, direct proof based on a hyperplane rounding argument that in our opinion sheds more light on the reason why a root factor suffices and what is necessary to improve on this factor.

研究动机与目标

• 为低秩矩阵通信复杂度的洛瓦特定理提供一种更简单、更直观的证明。
• 通过几何推理阐明为何该界限中会出现 r^{1/2} 因子。
• 识别出可实现优于 r^{1/2} 依赖关系的低秩矩阵所需具备的结构性质。

提出的方法

• 采用超平面舍入法，直接将矩阵的秩与通信复杂度关联，避免依赖分歧估计。
• 该方法将低秩矩阵映射为 R^r 中低维几何配置的向量。
• 在超平面上应用随机舍入过程，以构造通信成本有界的通信协议。
• 通过利用矩阵几何导出的集中不等式，对协议中的错误概率进行上界估计。
• 该方法凸显了秩在决定通信成本中的核心作用，强调了底层向量空间的维度性。
• 与洛瓦特基于分歧的证明相比，本方法聚焦于直接的几何与概率推理。

实验结果

研究问题

• RQ1 为何洛瓦特定理中低秩矩阵通信复杂度的界限会出现 r^{1/2} 因子？
• RQ2 能否用直接的几何论证替代基于分歧的分析来证明通信复杂度界限？
• RQ3 低秩矩阵需要具备何种结构性质，才能实现通信复杂度中优于 r^{1/2} 的依赖关系？
• RQ4 超平面舍入法如何揭示当前界限的局限性？
• RQ5 几何方法为改进对数秩猜想提供了哪些新见解？

主要发现

• 本文通过超平面舍入法，建立了洛瓦特定理 O(r^{1/2} log r) 边界的一个直接证明，提供了更清晰的几何直觉。
• 超平面舍入法为当前界限中必须包含平方根因子提供了透明的解释。
• 分析表明，r^{1/2} 因子源于低秩矩阵的内在几何特性，以及在舍入高维投影时的权衡。
• 该方法指出，若要超越 r^{1/2}，则需对矩阵施加强于秩本身的结构性假设。
• 该方法表明，核心难点在于控制低秩投影中的测度集中性，而超平面方法使这一点变得明确。