AI中文摘要
2022-2026年间小规模矩阵乘法领域的活跃研究(AlphaTensor 2022, AlphaEvolve 2025, Schwartz–Zwecher 2025)产生了引人注目的个体结果,但这些结果分散在不同领域、归属约定和序列化格式中。另一条互补的工作线——Perminov的开源翻转图框架~\cite{perminov2026fast,perminov2025fast}——则在大规模格式空间上大规模驱动现有构造方法,特别是翻转图和元翻转图搜索,发现了许多新的低秩方案(包括三元整数方案),进一步丰富了本目录必须统一整合的景观。我们提出了一个统一的、机器可检查的目录,涵盖有理数、整数、实数、复数和二元域上形状至\nmpshape{32}{32}{32}的算法,并单独设置交换算法轴(Waksman 1970, Makarov 1986, Rosowski 2019)。该目录的推导通过前沿闭包搜索执行,该搜索通过轴翻转、Kronecker积、轴拼接、偶然乘积、带分配的重组(可选输出剥离和配对融合)以及向下投影来重组目录条目。一个核心方法论要点是非重叠属性:我们的重组不会且无法重新发现手工构造(Strassen, Laderman, Smirnov, AlphaTensor)所围绕的共享双线性乘积。这清晰划分了“寻找更巧妙的双线性核心”与“组合已知核心”两条进展轴线,并解决了文献中的若干归属难题。我们更新了DIS09比较表,按领域拆分并添加交换列,并提供工具以在目录演进时自动重新生成这些表。
英文摘要
The 2022--2026 burst of activity in small-format matrix multiplication (AlphaTensor 2022, AlphaEvolve 2025, Schwartz--Zwecher 2025) has produced striking individual results but scattered them across different fields, attribution conventions, and serialisation formats. A complementary line of work -- Perminov's open-source flip-graph framework~\cite{perminov2026fast,perminov2025fast} -- instead drives existing construction methods, notably flip-graph and \emph{meta-flip-graph} search, at scale across large format spaces, discovering many new low-rank schemes (including ternary-integer ones) that further enrich the landscape this catalog must unify. We present a unified, machine-checkable catalog covering shapes up to \nmpshape{32}{32}{32} over \Rationals, \Integers, \Reals, \Complex, and \Ftwo, with a separate axis for commutative algorithms (Waksman 1970, Makarov 1986, Rosowski 2019).
Derivation over this catalog is performed by a \emph{frontier-closure search} that recombines catalog entries by axis-flip, Kronecker, axis concatenation, serendipitous products, recombination-with-allocation (with optional output peeling and pair fusion), and downward projection. A central methodological point is the \emph{non-overlap property}: our recombination does not, and cannot, rediscover the shared bilinear products that hand-crafted constructions (Strassen, Laderman, Smirnov, AlphaTensor) are built around. This draws a clean line between the ``find a cleverer bilinear core'' and ``compose known cores'' axes of progress, and resolves several attribution puzzles in the literature. We refresh the DIS09 comparison tables, split per field and with a commutative column, and provide the tooling to regenerate them automatically as the catalog evolves.