结果族 092：The optimal order of convex-body covering density · 学科：Convex and metric geometry · 验证状态：主结果已 Lean 形式化
用同一块形状任意的”饼干模具”反复平移，要把高维无限房间铺满不留死角，平均每个点会被盖上多少层？这篇论文证明：只要把模具中心排成一个统一的格，平均层数不超过 @@M@@C\,n\log n@@——与已知的下界正好相配，把最坏覆盖密度的阶钉死为 @@M@@\Theta(n\log n)@@。
关键词卡片
@@M@@n@@ 维空间里 @@M@@n@@ 个独立方向组成的整齐点阵。看个具体例子
二维直觉见下图：圆盘按格摆放铺满平面，重叠处颜色更深，密度就是盘面积除以格胞面积。高维数字版：@@M@@n=100@@ 时上界 @@M@@\le C\cdot 100\ln 100\approx 460C@@；此前最好的结果总要背着一个 @@M@@(\log\log n)^c@@ 的尾巴，本文把它彻底甩掉。而且凸体不需要对称、不需要边界光滑，任何怪形状都适用。难点在于：若允许中心随便放，Rogers 早在 1957 年就达到 @@M@@n\log n@@ 阶，但那是把好几个格的成果拼起来用的；”只用一个格”要求把所有修正装进同一个线性结构，这步卡了六十多年。
为什么值得关心
覆盖问题是 Rogers 1959 年以来离散几何的悬案；”单格”约束要求把所有修正装进一个线性结构，难度陡增，而答案已获机器检验。
已 Lean 形式化
衔接篇目：A single-lattice covering bound of order n log n（结果族 092）
第一级台阶
导读里”饼干模具铺房间”的比喻收紧为：模具是任意形状的凸块，摆放规则限定为最整齐的一种——所有模具中心钉在同一张无限延展的网格上；要估的量是平均每个点被压住多少层。断言是：即便形状再刁钻、维数再高，总有一张网格让平均层数不超过维数乘其对数的常数倍，此前的结果总要多拖一条迭代对数的小尾巴。
第二级台阶
术语化：凸体是有内点的紧凸集；满秩格是 n 个独立方向生成的离散点阵；格点覆盖密度定义为体积除以格的协体积，它恰等于一个基本胞内平均每点的覆盖重数。要证：存在绝对常数 C，使每个 n 维凸体都有满秩格实现覆盖且该比值不超过 Cn·log n；对凸体不设中心对称或边界正则。
第三级台阶
定理即上述断言，且对所有维数不小于二成立。凸性支撑截面体积的高斯型估计，是水平方向选格的依据；”单个格”要求垂直方向只用一次线性剪切把各高度的贡献分发到位，这是六十余年的卡点所在。与 Li–Liu 的下界——充分高维中存在对称凸体迫使任何格覆盖密度至少 c·n·log n——相配，最坏情形格点覆盖密度的阶被钉死为 Θ(n log n)。注意结论是关于凸体族上确界的阶，不保证每个具体凸体都这么差。
证明了每个 @@M@@n@@ 维凸体都容许密度至多 @@M@@Cn\log n@@ 的单格覆盖，消除了此前最好结果残留的迭代对数因子；与已有下界相配，最坏格点覆盖密度的阶被确定为 @@M@@\Theta(n\log n)@@。
覆盖理论问：用凸体 (convex body) @@M@@K@@ 的平移副本铺满 @@M@@\mathbb{R}^n@@，平均重叠至少需要多少？格点覆盖密度 (lattice covering density) @@M@@\theta_L(K)@@ 进一步限定覆盖中心必须构成单个满秩格 (full-rank lattice) @@M@@\Lambda@@，此时密度 @@M@@\vol_n(K)/\det\Lambda@@ 恰是平均覆盖重数。Rogers 1957 年证明若允许任意平移中心，密度 @@M@@n\log n+n\log\log n+5n@@ 足够，但中心可以取多个格的陪集之并；1959 年他对单格只得到 @@M@@n^{\log_2\log n+O(1)}@@。此后 Ordentlich–Regev–Weiss 改进为 @@M@@O(n^2)@@，Li–Liu 得到 @@M@@Cn\log n(\log\log n)^{10/3+o(1)}@@，其后续工作又把迭代对数的指数降到 @@M@@\frac23\log_2(2\pi e)+o(1)@@。卡点在于：平移覆盖可以拼接多个格的成果，而单格要求把所有修正装进一个线性结构。
主定理：存在绝对常数 @@M@@C>0@@，使得对每个整数 @@M@@n\ge2@@ 与每个凸体 @@M@@K\subset\mathbb{R}^n@@，都存在满秩格 @@M@@\Lambda@@ 满足 @@M@@K+\Lambda=\mathbb{R}^n@@ 且
@@M@@D\frac{\vol_n(K)}{\det\Lambda}\le Cn\log n.@@
不假设中心对称性 (central symmetry) 或边界正则性。结合 Li–Liu 的下界——每个充分大的维度中存在中心对称凸体使 @@M@@\theta_L\ge cn\log n@@——凸体族上确界意义下的格点覆盖密度恰为 @@M@@\Theta(n\log n)@@ 阶。
整体采用”水平–垂直”分解：把点写成 @@M@@(x,y)@@，水平坐标 @@M@@x@@ 的维数为 @@M@@m=n-D@@，垂直坐标 @@M@@y@@ 的维数 @@M@@D=O((\log\log n)^2)@@ 很小，垂直平移可让同一凸体的多个水平截面共同覆盖一个高度。先做仿射规范化，用 Eldan–Klartag 的逐点高斯边缘定理：凸体上均匀分布的某个 @@M@@D@@ 维边缘逐点接近标准高斯，由此导出一份有限列表的水平截面体 @@M@@J_a@@，使每个高度 @@M@@\|y\|\le R@@ 处的截面 @@M@@K_y@@ 都包含某个体积 @@M@@\approx\vol_n(K)\gamma_D(y)@@ 的 @@M@@J_a@@。再用 Rogers–Schmidt 平均孔洞估计配合 Markov 不等式取联合界，得到一个公共水平格 @@M@@\Lambda_h@@，使所有 @@M@@J_a@@ 的未覆盖比例同时指数小。
真正的新机制在垂直方向：要用一个格的一次线性剪切 (shear) 把水平贡献分发到各高度。单位立方体的每个坐标有 0 与 1 两个相邻整数修正；Li–Liu 的两阶段构造只能为整个加权布尔立方体选定一个辅助修正，本文则让修正本身构成层级，块大小依次约为 @@M@@b,b^{0.9},b^{0.9^2},\ldots@@，直至绝对常数截停。先证一致布尔采样引理：在有限交换群上用随机子集和，把”绝大多数基点处的平均”升级为”每个基点处的均匀下界”，代价仅依赖 @@M@@\log|H|@@——前一半移位用二阶矩控制坏基点比例，后一半引入指数势，利用平方递归 @@M@@\E\Phi_{j+1}=\Phi_j^2@@ 把剩余坏集指数压缩。再把高斯”折叠”到有限域网格 @@M@@\F_{p_b}^b@@ 上：比特向量携带高斯权重，保留合格锚点，并用随机线子群保证每个陪集至多留一个可用锚点，其原像恰是格 @@M@@L_i=\mathbb{Z}^{b_i}+C_i/p_i@@。第 @@M@@i@@ 块的有偏比特均匀采样第 @@M@@i-1@@ 块的平均，递归组装后得到：对每个目标 @@M@@y@@，垂直格中的模式总高斯质量不低于绝对常数，而单个原子不超过 @@M@@e^{-cb_1^{0.70}}@@——总质量供给水平负载之和，原子上界保证每个截面体积都落在孔洞估计的适用范围内。每块仅损失 @@M@@O(b^{-1/100})@@ 质量，几何递减的块大小使损失可和、与块数无关。
收官靠”按后缀二叉”结构：固定任何坐标后缀后，下一坐标至多两个取值且相差恰为 1。据此用 Fubini 加 Markov 归纳选出单个剪切，同时控制所有有限模式族的交集测度，得到一致的孔洞比例 @@M@@\le n^{-2n}@@；再用 Rogers 的膨胀补全引理得 @@M@@(1+1/n)K+\Gamma=\mathbb{R}^n@@，缩放后即得密度 @@M@@\le eC_*n\log n@@ 的单一覆盖格。剩余有限多个小维数用最大体积单纯形的粗糙论证并入同一常数。
本文主结果已有 Lean 形式化证明（结果族文档标注）。姊妹篇《Translative covering densities of order @@M@@n\log n@@》从下界侧证明：充分大维度中存在中心对称凸体，即使允许任意局部有限平移覆盖，密度仍超过 @@M@@cn\log n@@；两文相配，把最坏覆盖密度的阶钉死在 @@M@@\Theta(n\log n)@@。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文上界已形式化，下界姊妹篇暂无形式化证明，请以社区核验为准。
对象：A single-lattice covering bound of order n log n（结果族 092）
问 1：证明中最关键、最脆弱的一步是什么？
答：最关键的是垂直方向的一次线性剪切选择：引理（shear lemma）要把 Li–Liu 的同时布尔移位论证推广到任意有限多个”后缀二叉模式”族，且只许用一个剪切——这是保住”单格”结构的咽喉。最脆弱处则是对保留修正族的双侧控制：总高斯质量须有绝对常数下界（供得上水平负载），同时每个原子须指数小（落在孔洞估计适用范围内）；论文自警”对单条成功分支的估计替代不了对总权重的估计”，任何一侧失衡即告失败。
问 2：Rogers 1957 年就有 n log n 阶平移覆盖，为何”一个格”卡了六十多年？
答：平移覆盖允许中心取多个格陪集的并，相当于把几套较粗的成果叠着用；单格要求把所有修正装进一个线性结构，任何阶段引入额外自由度都会破坏格性。Rogers 自己 1959 年单格只得 n^{log₂log n+O(1)}，Ordentlich–Regev–Weiss 到 O(n²)，Li–Liu 到 Cn log n·(loglog n)^{10/3+o(1)}，本文才斩掉迭代对数尾巴。
问 3：相对 Li–Liu，真正的新机制是什么？
| 答：两点。其一，修正的层级化：Li–Liu 的两阶段构造只能为整个加权布尔立方体选定一个辅助修正，本文让修正本身构成块大小依次 b、b^0.9、b^0.9²… 的层级，每块仅损失 O(b^{-1/100}) 质量、几何递减可和；其二，有限群采样引理把”几乎处处平均”升级为”每点一致下界”，代价只依赖 log | H | 而非 | H | 。 |
问 4：凸性假设能去掉吗？
答：论文未讨论非凸推广。截面体积的逐点高斯边缘控制（Eldan–Klartag）与 Rogers–Schmidt 平均孔洞估计都以凸体为前提，去掉凸性后截面族无界、水平格选取机制即失效，目前没有替代路线。
问 5：定理说的是每个凸体都需要 n log n 层吗？
答：不是。上界对每个凸体成立，但 Θ(n log n) 是关于凸体族上确界的阶：Li–Liu 证明充分高维中存在对称凸体使任何格覆盖密度至少 c·n log n。个别形状（如球）的最优格覆盖密度可以小得多；论文明确区分了”对每个体的上界”与”最坏体的阶”。
问 6：这篇证明最可能以什么方式出错？
答：主结果已 Lean 形式化，核心概率与几何论证的风险已大幅压低。剩余风险有二：形式化覆盖范围与组合外围（如与 Li–Liu 下界合并成 Θ 陈述）之间的缝隙——后者依赖未经形式化的外部结果；以及常数 C 的有效值若被后续核验放大，”常数倍”的表述虽仍成立但实用意义缩水。
问 7：谁会用到它？
答：离散几何的覆盖-打包纲领拿到收官级结论；格覆盖密度直接进入量化、格码与整点逼近等格算法问题的误差分析；有限群采样引理与层级化布尔修正作为独立工具，可望进入加法组合与概率论的工具箱。
总评
这是把 Rogers 遗留六十余年的单格覆盖问题做到与下界匹配阶的收官之作，且核心已形式化，可信度高；最大不确定性不在本文而在与之配套的下界姊妹篇尚未形式化。