A 2-distance set with 277 points in the Euclidean space of dimension 23

本文构造了一个由 277 个点组成的 23 维欧几里得空间中的 2-距离集，其点间距离为 2 和 $\sqrt{6}$。

要点

这篇论文讲述了一个关于**“在极高维空间中摆放点”的数学故事。为了让你轻松理解，我们可以把这篇论文想象成一场“宇宙点阵搭建大赛”**。

1. 比赛规则：什么是"2-距离集”？

想象你有一片巨大的空地（这就是数学里的“欧几里得空间”），你要在上面插很多根旗杆（这就是“点”）。

• 规则：任意两根旗杆之间的距离，只能有两种特定的长度。比如，要么是2米，要么是$\sqrt{6}$米（约 2.45 米）。
• 目标：在规定的“空地大小”（维度）下，尽可能多地插旗杆。

这篇论文的核心成就就是：在23 维的“空地”里，他们成功插了277 根旗杆，而且完美遵守了上述规则。

2. 过去的困境：为什么这很难？

在数学界，大家早就知道一个“理论上限”。

• 就像盖房子，如果地基是 $d$ 维的，理论上能放下的旗杆数量有一个公式限制：$\frac{(d+2)(d+1)}{2}$。
• 对于 23 维的空间，这个公式算出来的数字是 276。
• 过去的认知：在 23 维空间里，大家认为最多只能放下 276 根旗杆。就像大家觉得“这个停车场最多停 276 辆车，再多就塞不下了”。
• 之前的记录：在 8 维以下，有人发现过能打破这个限制的“特例”，但在 8 维以上，几十年来没人能打破这个 276 的魔咒。

3. 本文的突破：如何塞进第 277 根？

作者（Ge, Koolen, Munemasa）就像一群天才的建筑师，他们发现了一个巧妙的“魔法角落”，成功塞进了第 277 根旗杆。

他们的搭建过程（简化版）：

1. 寻找“种子” (276 个点)：
   他们先利用一种叫做“正则两图”（Regular Two-Graph）的数学结构（这就像是一个极其复杂的、对称的社交网络图），在 24 维的空间里先摆好了 276 个点。这 276 个点已经非常完美，它们之间的距离只有两种。

2. 发现“开关” (Switching Root)：
   他们发现这 276 个点虽然都在 24 维空间里，但它们其实都躺在一个特殊的“平面”上（就像一张纸悬浮在房间里）。这个平面其实就是我们熟悉的 23 维空间。

3. 添加“第 277 个点”：
   这是最精彩的一步。他们通过计算，找到了一个特殊的“魔法点”（论文里叫 $u$）。

   • 这个点离那 276 个点里的某些点距离是 2。
   • 离另外一些点距离是 $\sqrt{6}$。
   • 它完美地融入了这个群体，没有破坏任何规则。

结果：他们成功构造了一个拥有 277 个点的集合，打破了 276 的旧纪录。

4. 为什么这个成果很重要？

• 打破魔咒：这是几十年来，第一次在 8 维以上的空间里，构造出比理论公式 $\frac{(d+1)(d+2)}{2}$ 多 1 个点的 2-距离集。这就像是在大家都以为“停车场只能停 276 辆车”时，他们硬是挤进去了一辆，而且还没把车撞坏。
• 不可扩展性（Maximality）：
  作者还证明了，这 277 个点已经是**“满员”**状态了。
  • 如果你想在23 维空间里再塞进第 278 个点，是不可能的。
  • 虽然如果你把空间扩大到24 维，还能再塞进一个点（变成 278 个），但在 23 维这个特定的“房间”里，277 就是极限。
  • 这就像是一个完美的拼图，多一块就拼不上了。

5. 他们是怎么做到的？（一点技术细节的比喻）

• 三进制密码：他们利用了一种叫“三元 Golay 码”的数学工具（可以想象成一种极其精密的 3 进制密码本），来生成那 276 个基础点。
• 图论魔法：他们把这些点看作图的顶点，点与点之间的连接关系（距离）对应图的边。通过研究这个图的特殊性质（谱图理论），他们找到了那个能打破平衡的“第 277 个点”。
• 计算机验证：最后，他们写了一段代码（附录里的 Magma 代码），让超级计算机帮忙验证了所有的距离计算，确保没有算错。

总结

这篇论文就像是在数学的“高维宇宙”里发现了一个新的奇迹。

• 以前：大家以为 23 维空间里最多只能有 276 个满足特定距离规则的点。
• 现在：作者证明了可以有 277 个。
• 意义：这不仅是一个数字的增加，它揭示了高维空间中几何结构的深层奥秘，告诉我们那些看似死板的数学公式，在特定的构造下，其实还有意想不到的“弹性”。

这就好比在大家都以为“地球是平的”时候，有人不仅证明了它是圆的，还发现了一个以前没人注意到的、能多装一个人的“隐藏角落”。

技术摘要

以下是关于论文《A 2-distance set with 277 points in the Euclidean space of dimension 23》（23 维欧几里得空间中包含 277 个点的 2-距离集）的详细技术总结：

1. 研究背景与问题 (Problem)

• 定义：$s$-距离集是指欧几里得空间 $\mathbb{R}^d$ 中的一个点集，其中任意两点之间的距离仅取 $s$ 个不同的值。
• 核心问题：在 $d$ 维空间中，2-距离集的最大点数是多少？
  • 已知上界：Blokhuis 证明了 $d$ 维空间中 2-距离集的大小上限为 $\binom{d+2}{2}$。
  • 已知下界：正 $d$-单形（regular $d$-simplex）的边中点集构成一个大小为 $\binom{d+1}{2}$ 的 2-距离集。
  • 研究缺口：是否存在大小超过 $\binom{d+1}{2}$ 的 2-距离集？对于 $d \le 8$，Lisoněk 已经确定了最大尺寸。但对于 $d > 8$，此前没有已知的构造能超过 $\binom{d+1}{2}$。
• 具体目标：在 $d=23$ 维空间中，构造一个大小为 $277$ 的 2-距离集。
  • 理论下界：$\binom{23+1}{2} = \binom{24}{2} = 276$。
  • 已知限制：Glazyrin 和 Yu 证明，如果 2-距离集位于单位球面 $S^{22} \subset \mathbb{R}^{23}$ 上，其最大大小为 276。因此，要构造 277 个点的集，必须打破球面限制或利用非球面结构。

2. 方法论 (Methodology)

作者通过结合代数图论、编码理论和**格理论（Lattice Theory）**来构造该点集。

A. 基础图结构构建

1. 顶点集定义：
   • 利用三元 Golay 码 $C$ 及其对偶码 $Y = C^\perp$。$Y$ 包含 243 个向量。
   • 定义集合 $X = \{(a, i) \mid a \in \mathbb{F}_3, 1 \le i \le 11\}$，包含 $3 \times 11 = 33$ 个点。
   • 总顶点集为 $X \cup Y$，共 276 个点。
2. 图 $\Gamma$ 的构造：
   • 这是一个在 276 个顶点上的图，属于唯一的正则双图（regular two-graph）的切换类。
   • 边连接规则：
     • $X$ 内部：构成完全多部图（11 个部分，每部分 3 个点）。
     • $X$ 与 $Y$ 之间：$(a, i) \in X$ 与 $y \in Y$ 相连，当且仅当 $y$ 的第 $i$ 个分量 $y_i \neq a$。
     • $Y$ 内部：$y, y' \in Y$ 相连，当且仅当 $y - y'$ 的汉明重量为 6。
3. 谱分析：
   • 计算 Seidel 矩阵 $S = J - I - 2A(\Gamma)$ 的特征值谱为 $\{[55]^{23}, [-5]^{253}\}$。
   • 由此推导出邻接矩阵 $A(\Gamma)$ 的谱，并证明 $A(\Gamma) + 3I$ 是半正定的，且秩为 24。

B. 向量嵌入与降维

1. 嵌入 $\mathbb{R}^{24}$：
   • 由于 $A(\Gamma) + 3I$ 半正定且秩为 24，存在一组向量 $V = \{v_u \mid u \in X \cup Y\} \subset \mathbb{R}^{24}$，使得内积 $\langle v_u, v_v \rangle$ 对应矩阵元素。
   • 此时，$V$ 构成 $\mathbb{R}^{24}$ 中的 276 点 2-距离集，距离平方为 $\{4, 6\}$。
2. 寻找切换根（Switching Root）：
   • 引用 Cao 等人的结果，存在向量 $r \in \mathbb{R}^{24}$ 使得 $\langle r, r \rangle = 2$ 且对所有 $v \in V$，$\langle r, v \rangle = 1$。
   • 该向量 $r$ 定义了仿射超平面 $H = \{v \in \mathbb{R}^{24} \mid \langle v, r \rangle = 1\} \cong \mathbb{R}^{23}$。
   • 集合 $V$ 实际上位于这个 23 维仿射超平面内。

C. 构造第 277 个点

1. 定义新点 $u$：
   • 选取 $X$ 中任意一个部分（3 个点）$\{x_1, x_2, x_3\}$。
   • 定义 $u = x_1 + x_2 + x_3 - r$。
   • 利用引理证明 $u$ 的构造与具体选择哪个部分无关。
2. 验证距离：
   • 计算 $u$ 与 $V$ 中点的内积，证明 $u$ 与 $V$ 中所有点的距离平方仍属于 $\{4, 6\}$。
   • 从而得到集合 $Z = \{u\} \cup X \cup Y$，大小为 277。

D. 极大性证明 (Maximality)

• 利用格理论（Lattice Theory）和 Magma 软件进行计算验证。
• 证明在 $\mathbb{R}^{23}$ 的该仿射超平面中，无法向 $Z$ 添加任何新点而保持 2-距离性质。
• 证明在 $\mathbb{R}^{24}$ 中，唯一能扩展 $Z$ 的点是 $\frac{1+\sqrt{3}}{2}r$，但这会将点集移出 $\mathbb{R}^{23}$ 的仿射超平面。

3. 关键贡献与结果 (Key Contributions & Results)

1. 首次突破 $d>8$ 的界限：
   • 构造了 $\mathbb{R}^{23}$ 中大小为 277 的 2-距离集。
   • 这比正单形边中点集的大小 $\binom{24}{2} = 276$ 多 1 个点。这是 $d > 8$ 时首次发现超过 $\binom{d+1}{2}$ 的 2-距离集。
2. 具体参数：
   • 空间维度：23。
   • 点数：277。
   • 距离集合：$\{2, \sqrt{6}\}$（即距离平方为 $\{4, 6\}$）。
3. 极大性（Maximality）：
   • 证明了该 277 点的集合在 $\mathbb{R}^{23}$ 中是极大的（无法再扩展）。
   • 这排除了将其扩展为更大集合（如 $\binom{26}{2}=325$ 个点）的可能性，除非改变空间维度。
4. 与 Lisoněk 例子的类比：
   • Lisoněk 曾在 $\mathbb{R}^7$ 中构造了大小为 29 ($\binom{8}{2}+1$) 的 2-距离集。
   • 本文的结果被视为 Lisoněk 例子在 $\mathbb{R}^{23}$ 中的高维类比。

4. 意义 (Significance)

• 理论突破：解决了关于 2-距离集最大尺寸的一个长期未决问题，证明了在 $d=23$ 时，最大尺寸至少为 277，打破了 $\binom{d+1}{2}$ 的直觉界限。
• 结构联系：揭示了正则双图（Regular Two-Graph）、Golay 码（Golay Code）与欧几里得空间点集构造之间的深刻联系。
• 计算验证：展示了现代计算机代数系统（如 Magma）在组合数学和格理论证明中的关键作用，特别是在处理大规模格向量搜索（验证极大性）时。
• 未来方向：
  • 该 277 点的集合在 $\mathbb{R}^{23}$ 中是否唯一（在同构和缩放意义下）？
  • 是否存在 $\mathbb{R}^{24}$ 中大小为 325 ($\binom{26}{2}$) 的 2-距离集？这是一个开放问题。

5. 总结

这篇论文通过巧妙的代数构造，利用 Golay 码和正则双图的性质，成功在 23 维空间中构建了一个包含 277 个点的 2-距离集。这一结果不仅刷新了该维度下 2-距离集大小的记录，还证明了该集合在 23 维空间中的极大性，为高维几何和组合设计领域提供了重要的新范例。