Biangular lines with angles arccos(1/5) and arccos(3/5)

想象一下，你正站在一个巨大的、隐形的房间中心。你手里握着一根长而细的木棒，它从你的手中向墙壁延伸。现在，想象你拥有许多这样的小木棒，它们都从你的手出发，指向不同的方向。在数学世界里，这被称为“线系”（line system）。通常，数学家喜欢一切都完美对称。如果你拥有一组木棒，其中每一对之间的夹角都完全相同，这被称为“等角线”（equiangular lines），它就像一个悬挂在天花板上、完美平衡的动态平衡饰品。

但生活很少是如此完美的。有时，你会想知道如果允许存在两种不同的夹角而非仅有一种时，会发生什么。这就是“双角线”（biangular lines）的世界。这就像一场舞蹈，舞伴之间只能以两种特定的角度共舞：也许是一个宽阔、慵懒的倾斜，或者是一个尖锐、快速的转身。问题在于：“在不撞到彼此的情况下，我们能在房间里塞进多少位舞者？”房间越大（维度越高），你可能认为能塞进的舞者就越多，但几何学的规则是非常严格的。在不破坏“双角”规则的前提下，你所能填充的木棒数量是有极限的。

这篇论文是一部关于寻找特定维度下这些木棒绝对最大数量的侦探故事，研究范围从 7 维到 10 维，甚至窥探到了 15 维。作者保罗·特里科特（Paul Tricot）正在调查一种非常特殊的舞蹈：在这种舞蹈中，木棒之间的夹角被固定为两个非常精确的值，由 1/5 和 3/5 决定。他们并非在凭空猜测；他们使用了一种巧妙的技巧，将这些跳舞的木棒与“整格点阵”（integral lattices）联系起来。把格点阵想象成一个巨大的、隐形的点阵网格，就像坐标纸上的点一样，向无限延伸。作者发现，如果你把这些木棒排列得当，它们会完美地与这些网格的“根”（特殊的向量）对齐。通过利用这种联系，他们可以证明这些木棒在房间里的确切数量，并证明已知的排列方式确实是最好的。

伟大的木棒填充竞赛

这篇论文聚焦于一个特定的谜题：在一个 7 维空间中（这很难直观想象，所以请想象一个拥有 7 个不同移动方向的房间），如果你画出的每对直线之间的夹角必须是 $\arccos(1/5)$ 或 $\arccos(3/5)$，那么通过中心的最大直线数量是多少？

在这篇论文发表之前，数学家们已经知道了一些很大的数字。对于 7 到 20 维，已知最大的线组规模分别为 72、126、240 等。这些是通过一种涉及特殊网格——根格点阵（特别是 $E_6$、$E_7$ 和 $E_8$）的巧妙方法构建出来的。但没人确定这些是否真的是最大的组，或者是否有人可以通过更聪明的办法挤进更多的木棒。

特里科特的论文说：“让我们看看能否做得更好。”而对于维度 7、8 和 9，答案是坚定的：不能。

以下是论文根据房间大小得出的结果：

• 维度 7： 论文证明了最大直线数恰好为 72。如果你尝试放入 73 根，几何结构就会崩溃。获得 72 根的唯一方法是使用基于 $E_6$ 格点阵的特定排列。它是唯一的解。
• 维度 8： 极限是 126 条直线。同样，论文证明了无法容纳更多。达到这个数字的唯一方法是使用源自 $E_7$ 格点阵的排列。
• 维度 9： 极限是 240 条直线。证明显示，$E_8$ 格点阵的排列是唯一的赢家。你无法挤进第 241 条线。
• 维度 10： 论文也致力于对该维度的最大系统进行分类，遵循与低维情况相同的严谨过程。然而，提供的论文文本在完成维度 10 的最终证明之前就中断了，使得该特定极限在本文档中仍处于进行中的状态。

作者不仅是在猜测这些数字；他们结合了逻辑演绎和计算机搜索，排除了所有其他可能性。他们证明了，如果你假设存在一个更大的线组，你最终会遇到数学上的矛盾——就像试图把方榫头塞进圆孔里，但那个孔是由纯数学构成的。

“特殊三角形”的线索

他们是如何证明的呢？他们使用了一个名为“特殊三角形”的侦探工具。想象你手里有三根木棒。如果其中两根以“宽角”（$\arccos(3/5)$）倾斜，而第三根以“锐角”（$\arccos(-1/5)$，即宽角的相反角）倾斜，它们就会形成一个特殊的三角形。

论文证明，在任何大型线组（72 条或更多）中，你必然会拥有这些特殊三角形。一旦你知道它们的存在，整个数学逻辑就会变得非常僵化。作者表明，一旦拥有这些三角形，整组直线就会被迫与特定的网格（格点阵）对齐。一旦他们迫使直线与网格对齐，他们就可以使用计算机程序来检查在该网格上排列木棒的所有可能方式。计算机检查了数百万种组合，并发现，在所有情况下，你都无法获得比已知数字（72、126、240）更多的直线。

维度 15 的新发现

虽然主要任务是证明维度 7 到 9 的极限（并开始研究 10 维），但论文还有一个有趣的惊喜。在维度 15 中，作者构建了一个包含 456 条直线的新系统。这与甘金诺夫（Ganzhinov）和索洛西（Szöllősi）发现的最佳已知系统规模一致，但本文提供了一种全新的构建方式。这就像是找到了一份略微不同的食谱，却做出了完全一样的美味蛋糕。这证实了 456 是维度 15 中一个非常强力的候选最大值，尽管论文并未声称已证明它是绝对极限（在高维领域，这是一项更艰巨的任务）。

总结

这篇论文是确定性的胜利。对于维度 7、8 和 9，我们现在确切知道在角度为 $\arccos(1/5)$ 和 $\arccos(3/5)$ 的律动下，最大直线数量分别是 72、126 和 240。论文证明了我们已知的那些排列方式不仅是优秀的，而且是达到这些最大值的唯一方式。

作者将这些直线与整格点阵（隐形网格）之间的联系作为一种“超能力”。通过将“填充木棒”的问题转化为“在网格上填充点”的问题，他们能够利用计算机检查每一种可能性，并证明没有人能做得更好。这提醒我们，在广袤抽象的高维几何世界中，有时最美丽的模式也是唯一符合规则的模式。