[论文解读] Matrix Multiplication and Number On the Forehead Communication

Pratt, Kevin|arXiv (Cornell University)|Jan 1, 2023

Tensor decomposition and applications被引用 1

一句话总结

本文建立了三玩家‘额头上的数字’（NOF）通信复杂度与矩阵乘法张量之间的深层联系，表明NOF承诺模型自然地捕捉了矩阵乘法张量。通过利用快速矩阵乘法中的技术——尤其是激光法——以及已知的通信复杂度下界，作者推导出新的协议与界限，其中关键结果为：若能改进NOF到群张量的通信复杂度上界，则意味着在ω = 2方面取得进展。

ABSTRACT

Suppose that S ⊆ [n]² contains no three points of the form (x,y), (x,y+δ), (x+δ,y'), where δ ≠ 0. How big can S be? Trivially, n ≤ |S| ≤ n². Slight improvements on these bounds are obtained from Shkredov’s upper bound for the corners problem [Shkredov, 2006], which shows that |S| ≤ O(n²/(log log n)^c) for some small c > 0, and a construction due to Petrov [Fedor Petrov, 2023], which shows that |S| ≥ Ω(n log n/√{log log n}). Could it be that for all ε > 0, |S| ≤ O(n^{1+ε})? We show that if so, this would rule out obtaining ω = 2 using a large family of abelian groups in the group-theoretic framework of [Cohn and Umans, 2003; Cohn et al., 2005] (which is known to capture the best bounds on ω to date), for which no barriers are currently known. Furthermore, an upper bound of O(n^{4/3 - ε}) for any fixed ε > 0 would rule out a conjectured approach to obtain ω = 2 of [Cohn et al., 2005]. Along the way, we encounter several problems that have much stronger constraints and that would already have these implications.

研究动机与目标

• 建立NOF通信复杂度与矩阵乘法张量之间的正式联系。
• 利用矩阵乘法中的已知结果（如激光法）设计NOF问题的新通信协议。
• 应用通信复杂度下界以约束矩阵乘法张量的性质，如其子秩。
• 推广切片秩方法，并将其与矩阵乘法指数ω直接关联。
• 探索群论方法在证明线性NOF通信复杂度下界方面的潜力。

提出的方法

• 将NOF通信建模为使用三阶张量的承诺式人数在手问题。
• 识别出矩阵乘法张量为NOF承诺模型中的核心对象。
• 将矩阵乘法中的激光法应用于构造高效的通信协议。
• 利用嵌套承诺问题（T1 ⊂ T2 ⊂ T3）中通信复杂度的三角不等式，将NOF复杂度与群张量通信联系起来。
• 通过秩与子秩论证，将NOF承诺张量的通信复杂度与矩阵乘法指数ω绑定。
• 分析NOF张量相对于(Z/nZ)²群张量的通信复杂度，得出下界为(ω − 2) log n，上界为log n。

实验结果

研究问题

• RQ1 能否将快速矩阵乘法中的技术（如激光法）用于设计高效的NOF通信协议？
• RQ2 已知的NOF通信复杂度下界如何约束矩阵乘法张量的性质（如其子秩）？
• RQ3 NOF承诺张量相对于(Z/nZ)²群张量的精确通信复杂度是多少？其与ω的关系如何？
• RQ4 群论方法能否用于证明线性确定性NOF通信复杂度下界？
• RQ5 广义切片秩方法在NOF通信背景下与矩阵乘法指数ω有何关联？

主要发现

• 矩阵乘法张量与NOF承诺模型同构，建立了两者之间的根本等价性。
• 激光法可被调整以设计NOF问题的通信协议，为高效协议开辟了新路径。
• 通过秩与子秩论证，建立了NOF到群张量通信复杂度的下界为(ω − 2) log n。
• 通过直接协议实现了相同通信复杂度的上界log n，若ω = 2则该上界为紧致。
• 若能将上界改进至log n以下，则意味着ω < 3 − δ，将NOF通信复杂度的进展与矩阵乘法指数联系起来。
• 任何相对于群张量具有Ω(log n)通信复杂度的问题都将导致线性NOF下界，提示可通过通信复杂度证明ω = 2。