[論文レビュー] Matrix Multiplication and Number On the Forehead Communication

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

Tensor decomposition and applications被引用数 1

ひとこと要約

この論文は、三人称のNumber On the Forehead (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通信下界を証明するのに有効である可能性を検討すること。

提案手法

• 3次テンソルを用いて、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 の証明への道筋が示唆される。