结果族 090：Triangular-lattice optimality, long-range Riesz and Coulomb energies, and spherical logarithmic energy · 学科：Convex and metric geometry · 验证状态：暂无形式化证明，请以社区核验为准
往一望无际的湖面撒小磁荷，密度固定为每单位面积一枚，它们互相排斥，最后会冻成什么阵形？这篇论文证明：三角形格子，而且”通吃”——对所有越远越弱的排斥规律同时最优；就算相互作用太强、总能量是无穷大（先做”重整化”再比较），冠军也仍是它。
关键词卡片
@@M@@(-1)^k g^{(k)}\ge 0@@，即”越远越弱、减弱渐缓”的排斥规律。@@M@@|x|^{-s}@@ 的长程排斥；@@M@@s@@ 较大时总能量发散。看个具体例子
公式卡（数字版定理）：取高斯排斥 @@M@@g(t)=e^{-\pi t}@@。密度为 1 的三角格 @@M@@A@@ 上，每粒子能量就是格点和
@@M@@DE(A)=6e^{-\pi\cdot 2/\sqrt3}+6e^{-\pi\cdot 2\sqrt3}+\cdots\approx 0.1594+0.0001\approx 0.1595,@@
定理说：任何密度 1 的平面点集——哪怕完全随机、哪怕有点贴在一起——这项值都不低于它。换成会发散的 Riesz 势 @@M@@|x|^{-s}@@（@@M@@0<s<2@@ 均可，@@M@@s=0@@ 是对数势），原始和根本加不动，但扣除背景做重整化后再比，三角格照样最小，这正是二维”电子凝胶”（jellium）里电子晶体的能量；连”无穷大对无穷大”的比较也被照顾到了。
为什么值得关心
它补上 Cohn–Kumar 普适最优性猜想的平面缺口，并沿 Petrache–Serfaty 的蕴含式兑现”普适最优性 ⇒ 结晶化”，从数学上解释了二维粒子系统为何自发排成三角阵。
暂无形式化证明（AI 结果待核验）
衔接篇目：Universal optimality of the triangular lattice（结果族 090）
第一级台阶
导读里”磁荷撒湖面冻成阵”的图景可以再拧紧一圈：我们要排序的对象不是有限粒子的构形，而是无限延展的点集配上一个均匀的中和背景；要比的不只是”总排斥”，还包括排斥太强、总账发散时逐项扣除无穷部分后的”净值”。三角阵的冠军地位在这两套账本下都不动摇，且对整族”越远越弱、减弱渐缓”的规律同时成立。
第二级台阶
精确化：组态是局部有限集，密度条件为中心圆盘点数除以面积趋于一；相互作用取平方距离的完全单调函数，能量按有限圆盘配对求和、除以点数、对半径取下极限定义。对发散的长程势，改用重整化能量：扣除均匀背景后剩下的场能泛函，以及 jellium（点、背景、背景自能三项合成）的大体积热力学极限，二者在 0 到 2 之间的 Riesz 指数与对数情形都有定义。
第三级台阶
主定理说：任何中心密度一的组态，其能量下极限不小于协体积一三角格的格点和，比较在扩张非负实数中进行。推论把它沿热核比较送达长程世界：在每个三角环面上三角格陪集最小化周期能量，在无穷系统中最小化场能，并给出 jellium 热力学最小值的确切数值。完全单调保证势能写成高斯核的有限质量正混合，逐个高斯作战即够；只要求中心密度，才容得下非周期、点对贴近、局部疏密悬殊的竞争者；指数止于 2，恰是重整化框架对短时间发散的可承受边界。
本文证明三角格子在中心密度为一的一切平面局部有限组态中，对全部非负完全单调势（含发散能量）普适最小化能量下极限，并进一步推出：对 @@M@@0\le s<2@@ 的对数与 Riesz 势，三角格最小化重整化能量与 jellium 热力学能量，兑现了 Petrache–Serfaty”普适最优性蕴含结晶化”的路线图。
Cohn–Kumar 2007 年的欧氏普适最优性（universal optimality）猜想在 8 维、24 维已被模形式方法解决，平面情形悬置：竞争组态可以非周期、含任意接近的点对、局部点数极不均匀，经典格子结果（Rankin–Cassels 的 Epstein zeta 极小化、Montgomery 的 theta 定理）无法触及。另一层困难是长程势：当 @@M@@0<s<2@@，原始 Riesz 能量即使在三角格子上也发散，逐点求和没有区分力，必须引入中性化均匀背景的 jellium（凝胶）模型与重整化能量（renormalized energy）。Petrache–Serfaty 2020 证明了”普适最优性 @@M@@\Rightarrow@@ Coulomb/Riesz 结晶化”的一般蕴含，但其前提——平面普适最优性本身——恰是缺口。本文同时补上这两级台阶。
主定理：对每个光滑非负完全单调（completely monotone）的 @@M@@g@@（即 @@M@@(-1)^r g^{(r)}\ge0@@）与每个中心圆盘密度一（@@M@@N_R/(\pi R^2)\to1@@）的局部有限 @@M@@\mathcal C\subset\mathbb R^2@@，
@@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)\ \ge\ \sum_{a\in A\setminus\{0\}}g(|a|^2)=E_g(A),@@
在扩张非负实数中成立：允许 @@M@@g@@ 在零点奇异（如 @@M@@t^{-p}@@，一切 @@M@@p>0@@）、允许无穷能量，且对 @@M@@\mathcal C@@ 不设分离性或局部占据数界。中间结果是归一化高斯 Fourier 对定理：对每个 @@M@@k\ge2.36@@ 存在整函数 @@M@@H_1,H_2@@，使 @@M@@f=e^{-\pi hb|x|^2}H_1(b|x|^2)@@ 与其同形式的 Fourier 变换构成径向 Schwartz 对，满足 @@M@@H_1\le T_k=k^{-1}e^{-k(s-1)}@@、@@M@@H_2\ge0@@，并在每个正节点 @@M@@n\in\mathcal N@@ 处同时规定值与一阶导数；@@M@@\mathcal N@@ 是由剩余类 @@M@@\{0,1,3,4,7,9\}@@ 生成的模 @@M@@12@@ 周期集，严格包含全部三角壳（例如 @@M@@24\in\mathcal N@@ 却不是格子壳值）。推论（重整化与 jellium）：对 @@M@@0\le s<2@@（@@M@@s=0@@ 为 @@M@@-\log|x|@@，@@M@@0<s<2@@ 为 @@M@@|x|^{-s}@@），三角格 @@M@@A@@ 的 @@M@@n^2@@ 个陪集在环面 @@M@@\mathbb R^2/(nA)@@ 上最小化周期能量；@@M@@A@@ 最小化无穷系统场能量 @@M@@W_s@@；有序对 jellium 热力学最小值 @@M@@e_{\mathrm{Jel}}^{(s)}=\kappa_s^{-1}W_s(A)@@，其中 @@M@@\kappa_0=2\pi@@、@@M@@\kappa_s=4\pi@@。
构造分三阶段。第一阶段做插值机制：在壳坐标 @@M@@s=b|x|^2@@（@@M@@b=\sqrt3/2@@）下，正弦平方乘积 @@M@@P(s)@@（系数显式给出）在节点集 @@M@@\mathcal N@@ 上有二阶零点；基数函数 @@M@@p_a(s)=P(s)\bigl(C+\sum_n(c_n/(s-n)^2+d_n/(s-n))\bigr)@@ 可写成紧支谱测度（spectral measure）的 Fourier 型积分，折叠测度的全变差被系数的 @@M@@\ell^1@@ 范数线性控制，故任意可和列表都给出整函数。乘以高斯阻尼 @@M@@e^{-\pi hs}@@（@@M@@h=2/5@@）得径向 Schwartz 函数，其 Fourier 变换可在测度内逐项变换，得到带更强高斯衰减的第二核；尾部估计表明远处节点的输出射流（jet）按 @@M@@e^{-0.7n}@@、@@M@@e^{-0.187n}@@ 一致衰减。两个基数函数与其变换耦合为 @@M@@H_1=p_1+K_{p_2}@@、@@M@@H_2=p_2+K_{p_1}@@，插值问题化为两个可和列表的线性方程组。第二阶段用正求积构造有限参考列表并认证矩阵与多项式不等式；因全耦合算子的界过大、直接小扰动不可行，改为求逆有限块、Schur 消元后在尾空间用 Neumann 级数，精确解出全部方程并给出对参考列表的误差界。第三阶段证符号：在节点处减去值与线性项再除以位移平方，避免小误差被消失的平方放大；Bernstein 基系数在完整半胞区间上界定多项式，参数数据用矩形界覆盖整个参数区间；无界尾部上正弦乘积的二次下界对抗其余项的小二阶导数。
能量转移沿用密度版线性规划（linear programming，Cohn–de Courcy–Ireland）：把点测度与稍大圆盘的面积测度放进正半定双线性型，用 Cauchy–Schwarz，交叉项误差对点的聚集一致；Poisson 求和使下界恰为格子高斯和。混合一步不用无移位表示（奇势可能没有有限表示测度），而是对移位 @@M@@g(\varepsilon+t)@@ 建立 Hausdorff–Bernstein–Widder 有限矩表示（差分非负性、Bernstein 基与测度紧性），核 @@M@@v^t@@ 恰是高斯；经 Fatou 与 Tonelli 定理沿任意序列转移，再用单调收敛去掉移位。重整化推论走 Petrache–Serfaty 的场论路线：跨周期格的热核（heat kernel）比较引理把两个周期组态的能量差写成 @@M@@\int_0^\infty(H_{\mathcal C}-H_{\mathcal D})t^{-s/2}\,dt@@，而 @@M@@H_{\mathcal C}(t)@@ 正是高斯能量乘 @@M@@(4\pi t)^{-1}@@，于是主定理的高斯不等式逐点给出 @@M@@H_{\mathcal C}\ge H_A@@，积分即得三角最小性；无穷系统下确界由方周期逼近封闭，jellium 数值由 Lewin–Lieb–Seiringer 与 Lauritsen 的热力学恒等式以及加权强极值原理（把粒子限制回背景方格）确定。
本文主结果暂无形式化证明。姊妹篇《An atomic certificate for triangular-lattice universal optimality》用模 @@M@@36@@ 节点的原子插值独立证明同一主定理（两文互不引用对方为前提）；同族还有平面圆堆积证书一文提供方法框架、以及 @@M@@s=0@@ 的独立直接对数结果，多线互证。计算部分由附录的区间验证器支撑，其中一份有理数验证程序的结论以检验通过为条件。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
对象：Universal optimality of the triangular lattice（结果族 090）
问 1：证明中最脆弱的一环在哪里？
答：能量转移（密度版线性规划、移位混合表示、Fatou/Tonelli）是标准分析，风险集中在三段构造的中后段：全耦合算子的界太大、直接小扰动不可行，第 4 节靠 Schur 消元加 Neumann 级数精确解出无穷插值方程；第 5 节的符号认证要在整个参数区间、所有节点之间成立，依赖 Bernstein 基系数与区间算术。附录还明说其中一份有理数验证程序的结论”以检验通过为条件”，这是全链条上最扎眼的软点。
问 2：为什么 Riesz 指数止步于 s<2，s=2 会怎样？
答：论文明确声明在 s=2 不做任何主张。通道是 Petrache–Serfaty 的热核表示：能量差写成 ∫(H_C−H_D)t^{-s/2}dt，而热核在短时间按 (4πt)^{-1} 发散，s=2 正落在被积行为可积与否的边界上；s≥2 的情形论文未展开。
问 3：为什么混合表示要对移位 g(ε+t) 做，而不是直接用 Laplace 表示？
答：因为势可能在零点奇异（如 t^{-p}），无移位的表示测度可以有无穷总质量甚至根本没有有限表示。移位后总质量恰为有限的 g(ε)，核 v^t（v∈[0,1]）仍是高斯，端点 v=1 给常数相互作用；先用 Fatou 转移再令移位趋于零，奇势与无穷能量都被容纳。
问 4：Sardari 证明三角壳上的值与导数不能唯一确定径向 Schwartz 函数，你的插值为什么没有这个问题？
答：论文直面这一点：它在包含全部三角壳的模 12 周期超集上规定值与一阶导数，且只在指定的可和系数系统内证明唯一性——即唯一性是关于该系数列表的线性方程组解，而非整个 Schwartz 类。无穷多”隐形”函数仍在，但它们不进入该系数系统。
问 5：与 8/24 维 CKMRV 及原子姊妹篇相比，真正的新意是什么？
答：一是竞争者类彻底放开：非周期、任意接近点对、局部点数不均匀都允许，只要求中心密度；二是首次拿下 0≤s<2 的对数与 Riesz 重整化能量及 jellium 热力学数值，兑现 Petrache–Serfaty”普适最优蕴含结晶化”的平面版。论文也诚实划界：Cohn–Kumar 猜想要求的”每个势各配一个sharp辅助函数”并未证明，只证了能量比较。
问 6：这篇论文最可能以什么方式出错？
答：AI 生成证明的典型风险在此具象为：区间验证器外包舍入不严格、正求积数组的误差界漏项、符号论证在某个参数区间端点失效；尤其是那份”条件通过”的有理数验证程序若实际未跑通，相关下界就是悬空的。论文未形式化，结论须以社区复核为准。
问 7：谁会用到它？
答：二维 jellium 与 Wigner 结晶化的基态论证直接获得数学支柱；Petrache–Serfaty 的蕴含式从猜想前提变成已证前提；周期 Riesz 能量与 next-generation 抽样/数值格点理论可引用其精确格点值；姊妹篇的独立构造与之互为核验。
总评
这是把平面普适最优性与长程结晶化一次打通的工作，分量足配顶刊；最大风险在于证明主体是未经形式化的机器辅助构造，且含一份条件性验证附录，独立复算是定论的前提。