Perfect $2$-codes over arbitrary alphabets

想象一下，你正在向一个嘈杂、混乱的星系发送一条秘密信息。每当你传输一个字母时，都可能有一个淘气的太空小妖精把你的字母换成另一个，或者直接把它丢掉。为了在这样的混乱中生存，你不仅仅是发送一次信息，而是将“备用零件”直接内置到代码中。这就是**纠错码（error-correcting codes）**的世界——它是保护你的文本信息、太空探测器和流媒体视频不变成乱码的隐形护盾。

在这个宇宙中，“完美码（perfect code）”是圣杯。它就像一个打包拼图：你有一个巨大的盒子（所有可能的各种信息），并试图在其中放入尽可能多的“安全区”（你实际的消息）。每个安全区都有一个保护半径。如果一条消息被小妖精袭击并发生了轻微变化，它仍然会落在其中一个安全区内，接收者就能准确知道原本发送的是哪条消息。如果这些安全区像拼图一样严丝合缝地组合在一起，没有任何间隙也没有任何重叠，那么这个代码就是“完美”的。如果拼图有间隙，你可能会丢失消息；如果重叠，你可能会对发送了哪条消息产生混淆。

几十年来，数学家们一直试图解决这个拼图的终极版本：寻找能够同时修复两个错误的完美代码（即“完美 2-码”），且使用任何大小的字母表。虽然他们已经找到了修复三个或更多错误以及修复一个错误的完美解决方案，但对于修复恰好两个错误的、使用“奇怪”字母表大小（即不是简单的质数幂，如 10 或 15）的情况，却始终是一个难以攻克的谜团。这就像你知道如何完美地打包装有 2、4 或 8 件物品的行李箱，却完全不知道是否能完美地打包 6 或 10 件物品。

这篇由迈克尔·贝内特特（Michael Bennett）撰写的论文，深入探讨了这个特定的谜团。作者旨在证明，对于一类非常庞大且特定的“奇怪”字母表大小，完美 2-码根本不存在。这篇论文不仅仅是在猜测；它使用了高级数学的重型火炮——具体来说，是利用测量数字在不接触的情况下能有多接近的工具——来证明，如果这样的代码确实存在，它将变得如此巨大且怪异，以至于会破坏算术定律。

主要发现是一个强大的“禁区”。贝内特证明，如果你尝试使用由 2 的幂乘以一个单一质数的幂（例如 $2^\alpha \times p^\beta$）构成的字母表大小来构建完美 2-码，你注定会失败。具体而言，他证明了对于这些代码要达到理论上的可能性，所涉及的质数必须大于 $10^{10}$（一百亿），且 2 的幂次必须大于 20。此外，如果这样的代码存在，该质数除以 8 的余数必须为 3。

论文甚至更进一步。它排除了对于任何最大质因数为 13 或更小的字母表大小，这类完美 2-码都不存在的可能性。事实上，作者证实了一个长期存在的猜想，即对于许多特定的数字，完美 2-码并不存在，包括当字母表大小为 $2^\alpha \times p^\beta$ 且 $\alpha$ 为较小值（最高达 20）的情况。作者不仅是说“这不太可能”；他使用严密的数学证明来展示，这些完美 2-码存在的条件会导致数学上的矛盾。虽然这篇论文并未排除宇宙中所有可能的字母表大小，但它有效地关闭了那些最常见且最有趣的“奇怪”尺寸的大门，只留下了一个极其受限的、需要庞大到近乎无法想象的数字才能实现的微小可能性。

不可能拼图的故事

为了理解迈克尔·贝内特所做的工作，让我们来看看他试图解决的这个拼图。想象你有一个由特定字母表组成的各种可能单词构成的巨大网格。你想在网格上放置“信标”（你的码字）。在每个信标周围，你画一个圆，覆盖所有“足够接近”的单词（距离在 2 个错误以内）。对于一个完美的代码，这些圆必须覆盖整个网格且互不重叠。

数学家们早就知道，如果你的字母表大小是“质数幂”（如 2, 3, 4, 8, 9, 16），那么只有少数特殊的案例可以完美实现。但如果你的字母表大小是像 10, 12 或 20 这样的数字呢？这些是并非质数幂的“合数”。对于修复一个错误，我们知道存在一些解。对于修复三个或更多错误，我们知道一个解也没有。但对于修复两个错误？这正是悬而未决的问题。

贝内特的论文专注于一种特定类型的合数：那些看起来像 $2^\alpha \times p^\beta$ 的数字。可以把这理解为：字母表的大小是由一堆 2 乘以一堆单一质数 $p$（如 5, 7, 11 等）的乘积构成的。问题在于：你能为这些尺寸构建一个完美 2-码吗？

数学侦探工作

贝内特并不只是通过尝试构建代码并失败来证明，他是通过观察一个特殊多项式方程的“根”来证明它们不存在的。把这个方程想象成一张地图，它告诉我们如果完美代码存在，信标必须位于何处。如果一个完美代码存在，这张地图必须有两个非常接近彼此的特定整数点（根）。

作者的突破在于意识到，这两个点（我们称之为 $r_1$ 和 $r_2$）必须是“S-单位（S-units）”。用通俗的话说，这意味着它们的质因数只能来自于一个非常小的、特定的数字列表（即除字母表大小和 2 以外的质数）。

这里是巧妙之处：贝内特展示了，对于一个完美代码而言，这两个数字 $r_1$ 和 $r_2$ 必须靠得非常近——近到它们的差值相对于它们自身的大小来说微乎其微。然而，一个被称为丢番图逼近（Diophantine approximation）（研究如何用分数来逼近数字）的著名数学分支告诉我们，具有受限质因数的数字通常无法靠得这么近，除非它们本身非常小。

贝内特将此与源自该几何问题的特定方程结合起来：
$$q(r_2 - r_1)^2 = 2(r_1 + r_2) + q - 6$$
这个方程就是“冒烟的枪（证据）”。它将字母表大小 $q$ 直接与两个根之间的距离联系了起来。

大揭秘

利用这个方程和数论中的强大工具，贝内特证明了一系列“不可能”的结果：

1. “小质数”禁令： 如果你字母表大小的最大质因数是 13 或更小，那么完美 2-码是不可能的。他通过列出所有可能作为根的数字对，并证明其中没有任何一个符合该方程来实现这一点。
2. “巨型数字”障碍： 对于一般的 $2^\alpha \times p^\beta$ 情况，他证明了如果代码确实存在，那么质数 $p$ 必须大于 $10^{10}$（一百亿）。更具限制性的是，2 的幂次 ($\alpha$) 必须大于 20。
3. “模 8”规则： 如果这样的代码存在，质数 $p$ 必须是一个除以 8 余 3 的数字（如 3, 11, 19 等）。

论文基本上是在说：“我们检查了较小的数字，它们行不通。对于较大的数字，数学告诉我们，它们必须如此巨大且遵循如此严格的规则，以至于它们在实际意义上几乎不存在。”

施罗德-希帕库斯惊喜

这篇论文最令人愉悦的部分之一，是它如何使用来自经典组合数学的序列——施罗德-希帕库斯数（Schröder-Hipparchus numbers）（也称为超卡塔兰数/super-Catalan numbers）。这些数字通常出现在关于排列括号或网格路径计数的问题中，却突然出现在纠错码证明的中段。

贝内特利用这些数字将一个复杂方程展开成一系列项。这就像是在混沌的噪声中发现隐藏的模式。通过使用这些数字展开方程，他可以表明，除非涉及的数字大得离谱，否则各项的增长速度过快，无法满足完美代码所需的“近距离接触”。

最终判决

那么，底线是什么？这篇论文证实了一个数学界长期以来的怀疑：在任意字母表上，完美 2-码很可能并不存在。

虽然论文并未声称找到了那个可能隐藏在宇宙中的“唯一完美码”（因为它证明了如果存在，它必须大于 $10^{10}$ 且遵循不可能的约束），但它有效地排除了绝大多数情况。它关闭了像 10, 15, 21 等字母表大小的大门，并将解决的可能性推向了如此巨大的数字领域，以至于这种可能性在实践中被视为不存在。

作者的工作是“否定性证明”的一次胜利。他并没有去寻找宝藏，而是证明了宝藏箱是空的，或者至少，开启它的钥匙需要一把尚未发明的锁。对于任何试图为这些特定字母表大小构建纠错码的人来说，信息很明确：别再寻找完美 2-码了；那里没有。