Substitution and quotient of the isotropy group action
本文介绍了一种修复布伦特方程（Brent equations）部分解的方法，该方法能够避免由同构群作用产生的冗余，从而生成非平凡的参数化解集，进而产生无穷多个具有 48 次乘法的非等价有理系数算法。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一下，你正在试图解决一个巨大的、相互交织的拼图，其中的碎片是数字，目标是尽可能快地将巨大的数字网格（矩阵）相乘。几十年来，数学家们一直在寻找最高效的方法，寻找那些比标准方法使用更少乘法步骤的“捷径”。这些捷径不仅仅是为了节省时间；它们是视频游戏图形到人工智能等一切事物背后的秘密引擎。这个拼图的规则是用一种被称为“布伦特方程”（Brent equations）的复杂方程语言编写的。你可以把这些方程看作是一张通往超快速算法宝岛的地图。然而，有一个陷阱：这张地图被一层对称性的迷雾所覆盖。如果你发现了一个宝藏，迷雾会隐藏另外数千个看起来不同、但实际上只是同一个宝藏经过旋转、翻转或拉伸后的版本。这些“虚假”的差异是由数学家们所说的“各向同性群作用”（isotropy group action）引起的——这是一种高级的说法，意思是指拼图碎片可以以特定的方式进行重新排列，而不会改变基本的解。
核心问题在于：如何找到真正新的宝藏，而不是仅仅再次找到一个换了装束的旧宝藏？通常，当数学家试图通过缩放来观察地图的特定部分以寻找更多解时，他们会陷入困境。他们要么发现一个单一的、孤立的点（死胡同），要么发现一条解的路径，而这些路径都只是原始解的“旋转”版本。这就像试图通过在森林里走路来探索，结果却是在原地打转；你可能走了很长一段路，但从未离开过同一个林间空地。这篇由李欣（Xin Li）、王宇（Yu Wang）和胡胜龙（Shenglong Hu）撰写的论文，引入了一个聪明的全新指南针来打破这种循环。他们开发了一种方法，通过以恰到好处的方式“固定”拼图的某些部分，确保当你在寻找新解时，能够踏出迷雾，找到通往真正不同且独特的算法路径。
作者们的主要发现是一种充当对称性“过滤器”的数学技术。他们意识到，这种“对称性迷雾”具有特定的形状和方向，可以通过所谓的“切空间基矩阵”（tangent basis matrix，可以将其想象为指向对称方向的指南针指针）来计算。通过将这个指南针与“零空间”（nullspace，即允许拼图移动的方向）进行比较，他们找到了一条选择锁定哪些拼图碎片的规则。如果锁定了正确的碎片，剩余的自由碎片就不会仅仅沿着旧有的对称路径摇摆，而是会分支到全新的领域。
利用这种方法，团队在科学界已知的一些最著名且最难的矩阵乘法拼图上测试了他们的理论。他们从一个已知的 4x4 矩阵乘法 48 步解开始，该解由 Dumas、Pernet 和 Sedoglavic 发现。通过应用他们的“对称性破缺”过滤器，他们不仅找到了一个新答案，还解锁了一个无限的解族。他们证明了在这个新族群中，存在着无穷多个在数学上是截然不同的算法，且这些算法无法通过简单的旋转或洗牌相互转化。他们还将此应用于 3x3 矩阵（使用 23 步）和 4x4 矩阵（使用 49 步）的解，发现通过这些案例，他们可以生成参数化解集——本质上是无限的、全新的、独特的算法列表——而在这些案例中，研究人员此前可能只能发现孤立的点或重复的循环。
本文并不声称已经解决了关于所有规模矩阵乘法的终极奥秘，也不说所有的解现在都已被找到。相反，它提供了一个强大的工具：一种确保你在寻找新解时，不只是在原地打转的方法。它将搜索过程从一场“寻找相同事物”的游戏，转变为一场真正的数学景观探索，揭示了对于某些问题，存在着无穷多种高效进行矩阵乘法且各不相同的方式，正等待着人们在看透对称性之后去发现。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。