结果族 343：Symplectic ball packing in higher dimensions · 学科：Differential geometry · 验证状态：暂无形式化证明，请以社区核验为准
往箱子里塞球，直觉上只看总体积；但辛几何的”魔箱”多一条怪规矩——任何两球大小之和不得超过箱子大小，哪怕体积富余也白搭。这篇论文证明：从实六维开始，规矩就只有”体积”和”两球”这两条，再无隐藏关卡；实四维则远比这复杂，存在一整族更细的填充障碍。
关键词卡片
看个具体例子
主定理代入实六维（n = 3）、箱子容量 R = 1：两个容量 0.49 的球满足体积条件 @@M@@0.49^3+0.49^3\approx 0.24<1@@ 与两球条件 @@M@@0.49+0.49=0.98<1@@，必能辛嵌入；换成两个 0.51 的球，体积更小（@@M@@\approx 0.27<1@@），但 @@M@@0.51+0.51=1.02>1@@，必塞不进。两个条件缺一不可：体积是常识，两球条件则是辛世界独有的刚性。
为什么值得关心
正面解决 Siegel–Yao 猜想 A：高维辛球填充的判定从此化为两条初等不等式，与四维的复杂迷宫形成鲜明对照；论文三种情形共用同一套”比较—填充”机制，几何模型取自射影空间中曲线的退化。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”魔箱塞球”可以半数学地重述：对象是标准辛球——一种自带守恒面积尺的球，大小用容量记录；操作是”辛嵌入”式的装箱：塞入方式必须保住面积尺结构，不折叠、不撕开。普通箱子只看总体积，魔箱另有一条怪规矩：任何两球容量之和不得超过箱子容量。导读的例子已经显示两条规矩各自卡住不同的塞法。
第二级台阶
用辛几何术语精确化：标准辛 2n 维球 B^{2n}(R) 配备标准辛形式 ω₀ = Σ dxᵢ ∧ dyᵢ，容量定义为 π 乘以欧氏半径的平方；辛嵌入是保持辛形式的微分同胚 onto 像；装箱问题是把 k 个两两不交的闭源球嵌入更大开球的内部，每个嵌入定义在闭球的某个开邻域上。
第三级台阶
主定理陈述：对一切 n ≥ 3、k ≥ 1 与正容量 R, R₁, …, R_k，这种装箱可行当且仅当 Σ Rᵢⁿ < Rⁿ 且每对 i ≠ j 满足 Rᵢ + Rⱼ < R。第一条是体积障碍——所有球体积之和小于箱体积；第二条是 Gromov 1985 年伪全纯曲线探针给出的两球障碍。”闭源、开目标”的约定解释了严格不等号。必要性相对直接，论文的全部工作在充分性：从 n = 3 起这两条初等不等式就是全部隐藏关卡，从而正面解决 Siegel–Yao 猜想 A；实四维远比此复杂，是另一片迷宫。
论文证明：实维数至少 6 时，容量为 @@M@@R_1,\ldots,R_k@@ 的有限个闭辛球可两两不交地辛嵌入容量 @@M@@R@@ 的开球，当且仅当 @@M@@\sum_i R_i^n<R^n@@ 且 @@M@@R_i+R_j<R@@。这正面解决了 Siegel–Yao 猜想 A：高维辛球填充的刚性恰由体积与 Gromov 两球障碍完全刻画。
辛球填充（symplectic ball packing）问：标准辛球到底能”塞”进多大的球？Gromov 在 1985 年用伪全纯曲线（pseudoholomorphic curve）方法证明了两球障碍：容量 @@M@@R_1,R_2@@ 的两个球嵌入容量 @@M@@R@@ 的球，必须 @@M@@R_1+R_2\le R@@——这是体积完全看不到的辛刚性（symplectic rigidity）。实四维情形后来被发现还存在大量更细的填充障碍，判定问题至今复杂。2025 年 Siegel 与 Yao 提出猜想 A，断言在 @@M@@2n\ge6@@ 的高维，体积条件加上两球条件就是全部障碍。此前 Biran、Buse–Hind、Buse–Hind–Opshtein 等人的填充稳定性（packing stability）定理只覆盖等球或容量一致很小的情形，任意容量、任意有限个球的完整判据一直缺位。
主定理：对一切整数 @@M@@n\ge3@@、@@M@@k\ge1@@ 及正实容量 @@M@@R,R_1,\ldots,R_k@@，存在辛嵌入 @@M@@\bigsqcup_{i=1}^k B^{2n}(R_i)\hookrightarrow\operatorname{Int}B^{2n}(R)@@，当且仅当 @@M@@\sum_{i=1}^k R_i^n<R^n@@ 且对每对 @@M@@i\ne j@@ 有 @@M@@R_i+R_j<R@@。容量（capacity）定义为 @@M@@\pi@@ 乘以欧氏半径的平方，嵌入定义在闭源球的开邻域上——”闭源、开目标”的约定解释了严格不等号。第一个不等式是体积障碍，第二个是 Gromov 两球障碍；必要性平凡，论文的全部工作在充分性。
先把目标归一化为容量 1；由两球条件至多一个球容量 @@M@@\ge1/2@@，于是分三种情形。全部容量 @@M@@<1/2@@ 时，在 @@M@@\mathbb{P}^n@@ 中取 @@M@@n-1@@ 个二次超曲面的完全交（complete intersection）曲线 @@M@@C@@，其亏格（genus）@@M@@g(C)=1+(n-3)2^{n-2}\ge1@@；沿 @@M@@C@@ 做到法锥的退化（deformation to the normal cone），得到以 @@M@@C@@ 为底、以向下多面体（downward polytope）@@M@@\Delta@@ 约束的环面域为纤维的模型，其极限面积廓为 @@M@@H_0(p)=2^{n-1}(1-2\sum p_j)@@。大球且 @@M@@n\ge4@@ 时，先在爆破（blowup）@@M@@\Bl_o\mathbb{P}^n@@ 上以类 @@M@@H-aE@@ 预留中心球，把其余的球装进外层球壳，几何模型由”先取超平面、再取其中完全交曲线”的两级法锥构造给出。六维（@@M@@n=3@@）最精巧：此时平面二次曲线亏格为零，提供不了填充引理所需的环柄，作者改用过两个标记点的平面三次曲线（亏格 1），通过三次曲线族的退化算得极限底面积 @@M@@H_0(p)=9(b-p_1-p_2)-2(s-p_1-p_2)_+@@，其中 @@M@@s=1-a@@、@@M@@b=(2-a)/3@@，两个标记点各贡献一个被扣除的对数质量，再配合严格保持矩 @@M@@p_1@@ 的辛平行迁移与一次较低水平的 Kähler 切割（symplectic cut）实现该模型。
三种情形此后共用同一机制。令 @@M@@P(p)=H_0(p)-\sum_i(r_i-\sum_jp_j)_+@@，体积条件恰好化为 @@M@@P@@ 有正的平均值。哈密顿比较引理利用凸函数的坐标向递增重排（increasing rearrangement）保持积分的性质，使 @@M@@F\mapsto R(\lambda F-P)@@ 成为压缩映射，其不动点给出一致间隙；嵌套平面圆盘的哈密顿映射再以小于该间隙的误差实现重排，最终得到环面函数 @@M@@K@@ 与哈密顿微分同胚 @@M@@q@@，使 @@M@@(K-P)\circ q<K@@。曲面填充引理随即在底曲面的环柄上取两个横截环圈与一个具非零周期的闭一形式，把上述严格不等式转化为互不相交的”层”，每层恰容纳一个球；相对 Moser 论证把填充拉回原模型并保持边界条件。最后经法锥迁移命题，把紧填充送回 @@M@@\mathbb{P}^n\setminus H_\infty@@——它辛同胚于容量 1 的开球。
本文暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。本结果族（343）目前仅此一篇手稿，暂无姊妹篇直接互证；论文内部由比较引理、曲面填充引理与几何迁移命题层层衔接，三种情形共用同一套”比较—填充”机制，结构自洽。证明大量使用标准工具（Bertini 定理、Koszul 分解、Moser 方法、辛切割、相对 Serre 消没），均附证明或明确文献出处，便于专家逐层核查。
问 1：为什么从 n = 3（实六维）起步？六维是不是全文最险处？
答：六维（sixdim 一节）确实最精巧：n ≥ 4 的大球情形可用爆破 Pⁿ 中类 H − aE 预留中心球、其余球装外层球壳；小容量情形用 Pⁿ 中 n−1 个二次超曲面的完全交曲线（亏格 g = 1 + (n−3)2^{n−2} ≥ 1）做法锥退化。但 n = 3 时平面二次曲线亏格为零，提供不了填充所需的环柄，作者被迫改用带两个标记点的平面三次曲线，退化出极限底面积 H₀(p) = 9(b−p₁−p₂) − 2(s−p₁−p₂)₊（s = 1−a、b = (2−a)/3），标记点各扣一份对数质量，再配保持矩 p₁ 的辛平行迁移与一次 Kähler 切割——常数最多、最容易算错的一节。
问 2：三种情形如何归成一条流水线？要害引理是什么？
答：共用”比较—填充”机制：令 P(p) = H₀(p) − Σᵢ(rᵢ − Σⱼpⱼ)₊，体积条件恰化为 P 有正平均值；哈密顿比较引理用凸函数的递增重排保积分性质，使 F ↦ R(λF − P) 成为压缩映射，不动点给出一致间隙；嵌套平面圆盘的哈密顿映射再以小于间隙的误差实现重排，得 (K − P)∘q < K。比较引理是心脏——间隙一旦不是一致的，后续层叠填充全部落空。
问 3：底曲面上的”层”是怎么把不等式变成球的？
答：曲面填充引理在底曲线的环柄上取两个横截环圈与一个具非零周期的闭一形式，把严格不等式转成互不相交的层，每层恰容纳一个球；相对 Moser 论证把填充拉回原模型并保持边界条件；最后法锥迁移命题把紧填充送回 Pⁿ \ H_∞——它辛同胚于容量 1 的开球。
问 4：与已有填充结果相比，真正的新意是什么？
答：Biran、Buse–Hind、Buse–Hind–Opshtein 的填充稳定性只覆盖等球或容量一致很小的情形；Gromov 只给两球必要条件；四维存在一整族更细障碍。本文给出任意容量、任意有限个球、一切 n ≥ 3 的完整充要判据，正面解决 Siegel–Yao 2025 猜想 A。
问 5：两条必要条件里，两球条件为什么去不掉？
答：它源于 Gromov 伪全纯曲线的探针论证：两个容量 R₁、R₂ 的球塞入容量 R 的球必须 R₁ + R₂ ≤ R，是体积完全看不见的辛刚性。导读的数值例子（两个 0.51 球体积够小但塞不进）就是它的化身；定理说明高维再无第三条此类隐藏规矩。
问 6：这种”代数几何退化 + 分析压缩”的 AI 证明最可能错在哪？
答：典型风险在法锥退化的极限面积廓计算（各情形 H₀ 的公式、亏格与标记点的记账）与比较引理中压缩映射的定量界——常数差一个因子，”一致间隙”就悄悄消失。缓解因素是论文自述对 Bertini、Koszul 分解、Moser、辛切割、相对 Serre 消没等标准工具均附证明或明确出处；但本族无姊妹篇互证、亦无形式化证明，sixdim 一节应作为首要核验对象。
问 7：谁会用到它？
答：辛嵌入与容量社区获得高维装箱的完整判定表；辛拓扑中”填充稳定性”类定理从此可对任意容量引用；退化几何（完全交曲线、法锥、爆破）与辛几何的接口方法对更一般的嵌入问题（如椭球装箱）也有方法论价值。
总评
它把高维辛球装箱彻底初等化成两条不等式，是 Siegel–Yao 猜想的干净收官；最大风险集中在六维三次曲线模型的常数记账与比较引理的间隙一致性，宜优先精算核验。