On Base , Normal and Near-normal Sequences

在组合数学那宁静而抽象的世界里，研究人员经常在简单的数字列表中寻找隐藏的模式。想象一排长长的开关，每个开关都设置为“开”或“关”。如果你取两行这样的开关并进行比较，将其中一行相对于另一行进行滑动，你就可以测量它们在每一步中的匹配或冲突程度。这种测量被称为自相关。几十年来，数学家们一直痴迷于一个特定的谜题：能否找到四行这样的开关序列，分为两对不同的长度，使得当它们相互滑动并累加所有的匹配与冲突时，除了起始点之外，总体的噪声在所有位置都完美地抵消为零？这就是寻找“基序列”（base sequences）的任务。

这些序列不仅仅是数字游戏；它们是构建一种被称为哈达玛矩阵（Hadamard matrix）的特殊方阵的隐藏蓝图。这些方阵是工程学和物理学中至关重要的工具，用于创建能够在嘈杂环境中传输且不失真的信号，就像清晰的声音能穿透嘈formed 拥挤的房间一样。方阵越大，信号就越强大，但寻找构建这些方阵的正确开关排列方式，其难度会随着规模的增加呈指数级增长。多年来，数学家们一直有一个直觉，称为“猜想”，即对于每种可能的规模，都能找到这些完美的排列，但他们只能证明到一定的规模为止。

来自信息科学与技术大学（Nanjing University of Information Science and Technology）的一个研究小组现在将这一搜索的边界推向了前所未有的高度。他们开发出一种全新的、高效的方法，用以从数十亿种可能的开关组合中进行筛选。该算法并非试图一次性猜测出所有四行序列，而是先构建出能够相互匹配的成对行，然后再寻找剩余的两行以完成整套序列。通过这种方法，他们首次成功构造出了规模为 41、42 和 43 的完美序列。这一成就证实了关于这些序列在所有规模下均存在的长期猜想在规模达 43 时依然成立，从而扩展了这些数学结构的已知领域。

然而，当研究人员转向研究两种更严格的特定版本——即所谓的“近正规”（near-normal）序列时，故事发生了令人惊讶的转折。对于这类序列，人们曾有一种类似的观点，认为对于每个偶数规模，它们都是存在的。研究小组进行了详尽的计算机搜索，以检查接下来的几个偶数情况。他们发现，虽然这些序列在许多规模下确实存在，但对于 42 和 44 这两个数字，它们根本不存在。这一发现意义重大，因为它提供了第一个确凿的证据，证明关于“近正规”序列的普遍信念是错误的。在数学领域，这是一个罕见的时刻：一个长期存在的想法不仅未被证明，而且通过找到一个失效的具体案例，被明确地证明是错误的。

研究人员还调查了另一种更严格的版本，称为“正规”（normal）序列。他们从数学上证明了这些序列对于特定模式的数字是不存在的，具体而言，是那些比 8 的倍数少 2 的数字。他们的计算机搜索进一步证实，正规序列在 41 到 46 之间是不存在的。尽管他们已经成功构建了这些新规模下的通用序列，但更严格版本的存在性在更大规模下仍是一个谜。这项工作不仅仅是在向清单中添加新例子，它还在重塑可能性的版图，清晰地展示了模式在哪里失效，又在哪里延续。

这些发现的影响波及到了开头提到的哈达玛矩阵的构建。由于这些矩阵对于创建稳健的通信系统和纠错码至关重要，了解哪些规模可以构建以及哪些不能构建，具有至关重要的意义。研究人员的新算法结合了深厚的数学规则与强大的计算机搜索，提供了一条清晰的前进路径。它允许科学家们满怀信心地测试更大的规模，因为他们知道该方法可以快速过滤掉不可能的组合。虽然对于更严格类型的序列是否在每一个规模下都存在的疑问现在已知是错误的，但通用的探索仍在继续，研究人员已经为这一复杂领域的新一代发现扫清了道路。