结果族 090：Triangular-lattice optimality, long-range Riesz and Coulomb energies, and spherical logarithmic energy · 学科：Convex and metric geometry · 验证状态：暂无形式化证明，请以社区核验为准
把一大把同样的小磁珠撒在无限大的桌面上，规定每单位面积正好一颗，磁珠彼此”嫌弃”：离得越近排斥越强。怎么排，全桌的总嫌弃度才最低？这篇论文证明：蜂窝式的三角排列是全能冠军——不管你换哪种温和的排斥规律，它都最省能量；而且证明靠的是一个可被机器复核的”证书”函数。
关键词卡片
@@M@@e^{-t}@@、@@M@@t^{-p}@@。看个具体例子
密度取每单位面积 1 点。三角格最近邻有 6 个，平方距离 @@M@@2/\sqrt3\approx1.155@@；第二层还是 6 个，平方距离 @@M@@2\sqrt3\approx3.46@@。取排斥律 @@M@@g(t)=1/t@@，定理断言：无论点集多杂乱——可以毫无周期、可以有点贴着点——每粒子能量都不低于三角格的格点和：
@@M@@DE\ \ge\ 6\cdot\frac{\sqrt3}{2}+6\cdot\frac{\sqrt3}{6}+6\cdot\frac{3\sqrt3}{8}+\cdots\ \approx\ 5.20+1.73+1.30+\cdots@@
为什么值得关心
它把”自然界偏爱六边形”的直觉升级成不带任何周期性、分离性假设的定理，补上平面普适最优性的最后缺口（8 维与 24 维此前已由模形式方法解决），证书还附带可复核的验证程序。
暂无形式化证明（AI 结果待核验）
衔接篇目：An atomic certificate for triangular-lattice universal optimality（结果族 090）
第一级台阶
导读里的”磁珠撒桌面”其实是在说：研究对象是平面上无限铺开的一堆点，约束只有一条——平均每单位面积恰好一颗珠子；要比较的量，是每颗珠子平均承受的排斥总量。三角格子的胜利不靠任何一条特定的排斥曲线：只要排斥”越近越凶、凶得温顺”，它就同时获胜，而且连总嫌弃度无穷大的情形也被比出了高低。
第二级台阶
用本科语言精确化：点集是平面上局部有限的集合，”每单位面积一颗”指以原点为心的圆盘点数除以圆盘面积趋于一，即中心圆盘密度为一；”温顺的排斥”指势函数是平方距离的完全单调函数——函数本身及其各阶导数正负交替且非负，e 的负幂与负指数都是例子。每粒子能量定义为：有限圆盘内所有有序点对的势求和、除以点数、再对半径取下极限。
第三级台阶
定理在这套语言里说：对任何非负完全单调势与任何中心密度一的局部有限平面点集，其每粒子能量的下极限不小于协体积一三角格上的同型格点和，比较在扩张的非负实数中进行，发散级数一并覆盖。局部有限挡住了单点附近堆积无穷点的病态；中心密度一固定比较尺度，却允许竞争者在偏离原心的盘内任意稠密、点对任意贴近；完全单调则保证势可写成高斯核的正混合，让证明只需对每个高斯核单独造出证书。
本文证明：在所有中心圆盘密度为一的平面局部有限点集中，单位密度三角格子对一切”平方距离的非负完全单调函数”型势能（含发散能量）最小化每粒子能量的下极限，从而在不设任何周期性、分离性或微扰假设的前提下，确立了三角格子在平面上的普适最优性（universal optimality）。
普适最优性问：是否存在一个点组态，对一整族排斥相互作用同时最小化能量。Cohn 与 Kumar 2007 年提出欧氏普适最优性猜想，点名三角格、@@M@@E_8@@ 与 Leech 格；后两者已由 Cohn–Kumar–Miller–Radchenko–Viazovska 在 8 维与 24 维用模形式与 Fourier 插值解决。平面的经典结果——Rankin、Cassels、Ennola、Diananda 关于 Epstein zeta 函数的工作，以及 Montgomery 的 theta 定理——只在格子之间比较。真正的困难在于：与三角格竞争的组态可以毫无周期、含任意接近的点对、局部点数极不均匀；此前平面比较结果都对竞争者加了限制（限定周期类、固定环面、或仅允许对格子的小偏差位移）。本文给出无限制的完整比较。
记 @@M@@b=\sqrt3/2@@，@@M@@A=b^{-1/2}\{m(1,0)+n(1/2,b)\}@@ 为协体积一的三角格（triangular lattice）。设局部有限集 @@M@@\mathcal C@@ 满足中心圆盘密度（centered disk density）一：@@M@@N_R/(\pi R^2)\to1@@，其中 @@M@@N_R=\#(\mathcal C\cap B_R)@@。势函数取完全单调（completely monotone）的非负光滑函数：@@M@@(-1)^j g^{(j)}(t)\ge0@@。定义每粒子能量的下极限
@@M@@DE_g(\mathcal C)=\liminf_{R\to\infty}\frac1{N_R}\sum_{\substack{x,y\in\mathcal C\cap B_R\\x\ne y}}g(|x-y|^2).@@
定理断言：在扩张的非负实数中 @@M@@E_g(\mathcal C)\ge\sum_{a\in A\setminus\{0\}}g(|a|^2)=E_g(A)@@，包括格子和发散的情形（例如 @@M@@g(t)=t^{-p}@@ 对一切 @@M@@p>0@@）；定理确定最小值，但不分类取等组态。配套的解析定理（sharp Gaussian minorants）是：对每个 @@M@@\alpha>0@@ 存在实径向 Schwartz 函数 @@M@@f_\alpha@@，满足 @@M@@f_\alpha\le k_\alpha=e^{-\pi\alpha|x|^2}@@、@@M@@\widehat f_\alpha\ge0@@，且 @@M@@f_\alpha@@ 在 @@M@@A\setminus\{0\}@@ 上与 @@M@@k_\alpha@@ 处处相等、@@M@@\widehat f_\alpha@@ 在对偶格（dual lattice）@@M@@A^*\setminus\{0\}@@ 上为零——每个高斯核各有一张达到最优的 Fourier 证书；在 @@M@@\alpha\ge1@@ 时构造由两个 @@M@@20\times20@@ 有限插值块加一个绝对可和的无穷修正组成。
能量归约只用到中心密度。对有限点集 @@M@@\mathcal C_R@@ 用 Fourier 反演得恒等式 @@M@@\sum_{x,y}f_\alpha(x-y)=\int\widehat f_\alpha(\xi)|M_R(\xi)|^2\,d\xi@@，其中 @@M@@M_R@@ 是指数和；再用圆盘的光滑截断与 Plancherel 定理证明”低频质量引理”：@@M@@\liminf_R\frac1{N_R}\int_{|\xi|\le\varepsilon}|M_R|^2\,d\xi\ge1@@。结合 @@M@@\widehat f_\alpha\ge0@@ 与连续性，去掉 @@M@@N_R@@ 个对角项后得到下界 @@M@@\widehat f_\alpha(0)-f_\alpha(0)@@；Poisson 求和（Poisson summation）与两组接触条件把这个差精确等于三角格的高斯格点和。参数 @@M@@0<\alpha<1@@ 经对偶式 @@M@@f_\alpha=k_\alpha-\alpha^{-1}\widehat f_{1/\alpha}@@ 归结到 @@M@@\alpha\ge1@@ 的构造。最后用 Bernstein–Widder 定理把 @@M@@g@@ 表示为高斯核的正 Laplace 混合（允许零点处的原子与无穷总质量），沿任意半径序列以 Fatou 引理转移，于是势在零点的奇性与无穷能量都被容纳。
证书构造在标度坐标 @@M@@s=b|x|^2@@ 中进行：插值节点取模 @@M@@36@@ 的剩余类集（覆盖格子的全部平方半径坐标），正弦平方乘积 @@M@@P(s)@@ 在每个节点有二阶零点，配上双极与单极因子即可独立规定各节点的值与导数。前十个正节点用阻尼三角列——阻尼前是三角多项式，谱测度（spectral measure）是有限个原子，”原子证书”之名由此而来；其余节点用有理单极列，其谱测度绝对连续且全变差一致有界。两侧输入函数与其 Fourier 变换组合成 Fourier 对 @@M@@(F_1,F_2)@@。有限部分每侧 20 个未知坐标，取和差分离成两个 20 阶块；再把高斯参数数据装进一个多面体，用向外交大的区间算术（interval arithmetic）与 Bernstein 系数在整个多面体上验证全部不等式，全程不用网格。无穷部分对有限列表与 @@M@@\ell^1@@ 尾空间之间的算子建立一致界，经 Schur 消元与 Neumann 级数在尾空间精确解出所有插值方程（修正量约为 @@M@@10^{-5}@@ 与 @@M@@10^{-9}@@ 量级）。最后证整体符号：节点附近先减去值与线性项再除以位移平方，有限多项式检验、修正界与高斯凸性比较控制前七个半胞（第一个右半胞另需三次 Bernstein 论证），远处由正负号固定的正弦乘积项主导全部剩余曲率，得 @@M@@J_1\le G_z@@、@@M@@J_2\ge0@@ 于整条半直线，归一化后即得 @@M@@f_\alpha@@。
本文主结果暂无形式化证明；计算部分由附录给出精确求值方案，并附整数区间算术检验器（verification/check_certificate.py），明确不使用浮点、网格与数值求积。姊妹篇《Universal optimality of the triangular lattice》以模 @@M@@12@@ 节点、每块 @@M@@168@@ 个坐标的独立插值构造证明同一能量结论：两文的辅助函数定理并不相同，而能量推论一致，互为佐证；本篇的有限系统更小。同族的平面圆堆积证书一文提供了被本文改编的高斯基数函数与 Bernstein 符号认证框架。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
对象：An atomic certificate for triangular-lattice universal optimality（结果族 090）
问 1：证明链条上最脆弱的一环在哪里？
答：能量归约部分（Fourier 反演恒等式、低频质量引理、Poisson 求和、Bernstein–Widder 表示加 Fatou 引理）是标准分析；风险集中在定理 1.2 证书的构造——整条链最终压在第 4 节”有限证书引理”那张靠区间算术验证的不等式表上，以及第 5 节无穷修正的 Schur 消元与 Neumann 级数一致界上。任何一处外包舍入方向出错或包络估计漏项，符号结论即失效。
问 2：为什么竞争者只要求中心圆盘密度为一，而不能干脆去掉密度假设？
答：密度归一化固定了比较尺度——没有它，把点集按比例拉伸即可改变能量，问题失去意义。论文的独到之处恰是只数中心圆盘：低频质量引理只用到 N_R/(πR²)→1，完全不需要对平移后的小盘做任何计数估计，这才放进了”平移盘内任意稠密、点对任意接近”的竞争者。
问 3：完全单调这个假设能放宽吗？
答：不能简单放宽。证明最后一步把势函数写成高斯核的正 Laplace 混合再逐核转移不等式，完全单调恰是 Bernstein–Widder 定理给出该表示的充要条件。对带振荡等不满足此条件的势，本文方法不适用，论文未讨论替代路径。
问 4：与 8 维、24 维的 CKMRV 工作相比，真正的新意是什么？
答：8、24 维靠模形式自动给出插值公式，平面没有对应模结构，本文改用模 36 剩余类节点上的手工插值加区间算术认证。更关键的是竞争者类：前人平面结果要么限于格子之间（Rankin–Cassels–Ennola–Diananda、Montgomery），要么限于固定环面或格子的小扰动（Leblé），本文首次允许完全非周期的任意竞争者。
问 5：这篇论文最可能以什么方式出错？
答：典型风险在数值证书：附录的精确求值配方与整数区间算术若有一处没有真正”向外”舍入，或 Bernstein 系数界只验了采样点而非整个参数多面体，全部符号不等式会静默失效。其次是节点之间的符号控制——论文自述第一个右半胞需单独的三次论证，逐段估计最怕漏掉交接区间。本文未形式化，按 OpenAI 声明应以社区核验为准。
问 6：定理为什么不断言三角格是唯一最优？
答：定理只识别最小值，明确说明不分类取等组态。取等分析需要刚性或稳定性论证，论文未展开。
问 7：谁会用到这个结果？
答：直接受益者是 Cohn–Kumar 普适最优性纲领——平面这块最后缺口补齐；姊妹篇的平面 Riesz、对数与 Coulomb 重正化能量极小性与之互为佐证。二维 jellium、Wigner 晶格等统计物理基态论证可引用它，其”构造+区间算术认证”的验证流程对同类证明也是方法学模板。
总评
这是平面普适最优性从”格子内比较”跨到无限制定理的关键一步，分量很重；最大风险是它未经形式化、核心依赖机器验证，须待社区复核方可定论。