结果族 263：The ionization and generalized ionization conjectures · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
分子像一家餐厅：核电荷 Z 是 Z 个正式座位。电子顾客再多，也顶多再塞有限几张”站票”——每家分店 C 张，C 是对一切分子通用的常数；超员的电子根本待不住，会自动散伙。更妙的是：中性原子不管核电荷多大，”最外围还剩半个电子”的半径和首次电离能都被普适常数上下夹住——大原子不会随 Z 无限发福。
关键词卡片
@@M@@E_n\lt E_{n-1}@@）。看个具体例子
数字外壳：@@M@@E_n\lt E_{n-1}\Rightarrow n\le Z+CM@@；原子侧 @@M@@c\le R(\Psi_Z)\le C@@、@@M@@c\le I_1(Z)\le C@@——常数不分贫富、对一切分子与原子一律适用。
为什么值得关心
Simon 2000 年问题集中”最大束缚电子数与 Z 之差是否有界”及分子版电离猜想的首次完整解答，也是同族另两篇的证明地基。
暂无形式化证明（AI 结果待核验）
结果族 263：Uniform excess charge for Coulomb molecules and the outer radius of neutral atoms
第一级台阶
导读里”餐厅座位与站票”的比喻，翻译过来是：对象是一个分子——@@M@@M@@ 个位置固定的原子核提供 @@M@@Z@@ 个”座位”，电子是服从不相容原理的顾客；要判断的事情是，比座位多出来的电子最多还能留住几个，且这个”站票数”是否有一家分店一份、与门店规模无关的上限。附带的问题：中性原子最外围那半个电子藏在离核多远，以及赶走第一个电子要花多少能量。
第二级台阶
用精确语言说，非相对论库仑哈密顿量 @@M@@H_n@@ 作用在反对称的 @@M@@n@@ 电子波函数上（两个自旋态），含核吸引与电子间排斥；@@M@@E_n=\inf\sigma(H_n)@@ 是各电子数区间的基态能量。称体系严格束缚 @@M@@n@@ 个电子，若 @@M@@E_n<E_{n-1}@@——再加一个电子能量真的下降。首电离能 @@M@@I_1(Z)=E_Z(Z-1)-E_Z(Z)@@ 是拿走一个电子的代价；半电子外半径 @@M@@R(\Psi_Z)@@ 是使外部电子质量不超过 @@M@@1/2@@ 的最小半径。
第三级台阶
定理在这样的语境下陈述：存在普适常数 @@M@@C@@，对任意 @@M@@M@@ 个位置互异、电荷 @@M@@z_j\ge1@@ 的核（@@M@@Z=\sum z_j@@）与任意 @@M@@n@@，@@M@@E_n<E_{n-1}@@ 蕴含 @@M@@n\le Z+CM@@，且 @@M@@n>Z+CM@@ 时必有 @@M@@E_n=E_{n-1}@@。假设的分工：自旋二态与反对称给出门槛最少的费米统计（Lieb–Thirring 动能下界可用）；核位置任意接近或远离则断言的普适性所在。第二个定理与推论说：中性原子的每个基态都满足 @@M@@c\le R(\Psi_Z)\le C@@、@@M@@c\le I_1(Z)\le C@@——不要求基态唯一或球对称，大原子不随 @@M@@Z@@ 发福。证明的公共地基是相对全体区间下确界 @@M@@E=\inf_nE_n@@ 工作的局域化—屏蔽—条件观测机制。
本文证明：@@M@@M@@ 个固定原子核、总核电荷 @@M@@Z@@ 的分子最多严格束缚 @@M@@Z+CM@@ 个电子（@@M@@C@@ 为普适常数），且中性原子的首电离能与”半电子外半径”都被正常数上下夹住。这是完整库仑模型下电离猜想的首次完整解答，也是本族另两篇的证明地基。
一个分子到底能”抓住”多少电子？这是库仑体系基态理论的基本问题。对非相对论库仑哈密顿量（Coulomb Hamiltonian）@@M@@H_n@@，若第 @@M@@n@@ 个电子数区间的基态能量满足 @@M@@E_n<E_{n-1}@@，就称体系”严格束缚”（binds strictly）@@M@@n@@ 个电子。Simon 在 2000 年的公开问题集中问：单原子的最大严格束缚电子数与核电荷之差是否有界？分子版猜想 @@M@@N_c\le Z+CM@@ 收录于 Lewin 2025 年的综述。此前 Lieb（1984，无需费米统计）给出线性界，Lieb–Sigal–Simon–Thirring 证明渐近中性 @@M@@N_c(Z)/Z\to1@@，Nam 与 Hundertmark–Pattakos–Schulz 又相继给出 @@M@@N_c<1.22Z+3Z^{1/3}@@、@@M@@1.1185Z+4Z^{1/3}@@ 的定量估计，但都无法给出均匀的超出界。近似模型中的相应定理已由 Benguria–Lieb（TFvW 理论）与 Solovej（Hartree–Fock 理论）建立；完整模型的真正障碍在于基态可以带有任意多体关联。
定理一（均匀超出电荷，uniform excess charge）：存在普适常数 @@M@@C@@，对任意 @@M@@M\ge1@@ 个位置互异、电荷 @@M@@z_j\ge1@@ 的原子核（@@M@@Z=\sum z_j@@）与任意 @@M@@n\ge1@@，@@M@@E_n<E_{n-1}@@ 蕴含 @@M@@n\le Z+CM@@；且当 @@M@@n>Z+CM@@ 时必有 @@M@@E_n=E_{n-1}@@。单核情形给出 @@M@@n\le Z+C@@，对一切实数 @@M@@Z\ge1@@ 成立。定理二（外半径）：对整数电荷 @@M@@Z\ge1@@ 的中性原子与任意基态 @@M@@\Psi_Z@@，定义 @@M@@R(\Psi_Z)=\inf\{r:\int_{|x|>r}\rho_{\Psi_Z}\,dx\le\frac12\}@@，则 @@M@@c\le R(\Psi_Z)\le C@@。推论：首电离能（first ionization energy）@@M@@I_1(Z)=E_Z(Z-1)-E_Z(Z)@@ 满足 @@M@@c\le I_1(Z)\le C@@。所有常数与核数、核电荷、核位置无关，也不要求基态唯一或球对称。
核心困难是固定电子数阻碍局部比较：一个小球中的电子可多可少，挖空后的”条件核”不极小化任何固定粒子数的问题。作者改为相对全体区间的下确界 @@M@@E=\inf_n E_n@@ 工作，全程让能量偏移 @@M@@\delta@@ 可见，使局部估计在施加观测、删除粒子、更换概率律之后仍然可用。
分子部分分三步。先做空间切割：记录每个被移走的电子（含位置与自旋），剩余条件核保持反对称；用相干态（coherent states）上比较与诺伊曼（Neumann）特征值下比较——两者动能系数一致——造出局部托马斯–费米（Thomas–Fermi）极小化子 @@M@@\rho=k(W_+)^{3/2}@@ 及其屏蔽场（screened field）。再引入含噪观测：给电子位置加独立误差并遗忘标签，概率为 @@M@@p@@ 的观测事件只耗费 @@M@@C\ell^{-2}\log^5(e/p)@@ 的能量、不含粒子数因子；用两种后验分布的条件期望恒等式比较各自的场。最后在倍增尺度 @@M@@r_j=2^jr_0@@ 上逐层向外传播一个满足非线性次解不等式的正场：每步取错开常数平移的旧场与观测场的局部最大值，使逆比较恰在取到最大值的分支补出源项，再条件平均遗忘一层数据，反应项的凸性保证不等式存活；误差不要求”空间处处良好”的事件，只累计期望积分，总量 @@M@@o(M)@@。终局用球面平均把正场转化为 @@M@@0<Z-N+\text{外部质量}+\text{误差}@@，而外部电子数 @@M@@\le CMr_*^{-3}@@，取 @@M@@r_*=(B_0M/K_{\rm exc})^{1/3}@@、@@M@@B_0@@ 充分大，便与”超额 @@M@@K_{\rm exc}/M\to\infty@@“矛盾。
原子部分改用”到核距离”作几何尺度，传播产生内部电子亏量：先用它证 @@M@@E_{Z-1}\le E+C@@（删去外部电子）；再在半径 @@M@@S@@ 的环上对插入中心取平均，向单电离态插入一个包宽 @@M@@b=S^{3/5}@@ 的远置轨道包，平均插入场至少 @@M@@1/(2S)@@ 而代价 @@M@@o(S^{-1})@@，得正能隙 @@M@@E_{Z-1}-E_Z\ge1/(4S)@@；最后用壳层加权换测度（权重在已揭示数据中可测，换律不破坏条件场）得尾部估计 @@M@@\int_{|x|>R}\rho\le C/R@@。亏量给半径下界、尾部给上界，有限个小 @@M@@Z@@ 用紧性单独处理，即完成夹逼。
本文是结果族 263 的”地基篇”：它发展的局域化、屏蔽与条件态估计，正是姊妹篇（广义电离能与广义外半径）显式引用的输入，族内三篇互相咬合。半径与电离能的普适双侧界与 Solovej 在 Hartree–Fock 理论中的先例结构一致，是交叉印证。按任务标注本文暂无形式化证明；依 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
结果族 263：Uniform excess charge for Coulomb molecules and the outer radius of neutral atoms
问 1：证明为什么必须放弃固定粒子数框架？最脆弱的机制是什么？
答：固定电子数阻碍局部比较：小球中电子可多可少，挖空后的”条件核”不极小化任何固定粒子数问题。论文改为相对全体区间下确界 @@M@@E=\inf_nE_n@@ 工作，让偏移 @@M@@\delta@@ 全程可见。最脆弱的是含噪观测机制：概率 @@M@@p@@ 的观测事件只耗费 @@M@@C\ell^{-2}\log^5(e/p)@@ 且不含粒子数因子——这个无 @@M@@n@@ 因子的能量代价是承重梁，其似然乘子若在任何一处引入粒子数依赖，误差累积就失控。
问 2：@@M@@E_n=E_{n-1}@@ 就意味着第 @@M@@n@@ 个电子一定跑掉吗？
答：不一定，论文自己承认：相邻能量相等本身不能排除阈值处有基态，只是此类态用不到。严格束缚表述数的是”再加电子能量严格下降”的区间数；Simon 问题 9 的 @@M@@N_0(Z)@@ 正是最大严格束缚区间。
问 3：已有的定量电荷界为什么不够？新意在哪？
答：Nam 的 @@M@@1.22Z+3Z^{1/3}@@、Hundertmark–Pattakos–Schulz 的 @@M@@1.1185Z+4Z^{1/3}@@ 都是随 @@M@@Z@@ 增长的超出量；LSST 只给渐近中性 @@M@@N_c/Z\to1@@。均匀界 @@M@@n\le Z+CM@@ 是质的跨越。近似理论早有先例（Benguria–Lieb 的 TFvW、Solovej 的 HF），但完整模型的态可带任意多体关联——把 Solovej 式跨尺度屏蔽比较搬到真哈密顿量上，是本文独有的一步。
问 4：核电荷为什么要限制 @@M@@z_j\ge1@@？分子几何完全任意安全吗？
答：@@M@@z_j\ge1@@ 排除”玩具核”退化（电荷趋零时 TF 标度失效），位置互异避免奇性叠加。分子部分靠嵌套核代表元分解数空核环尺度，总代价正比于 @@M@@M@@。Ivrii 的电荷界需各核电荷与电子数可比等假设，本文无此要求，是普适性的实质提升。
问 5：中性原子侧为什么体密度收敛帮不上忙？
答：引言专门解释：体密度极限生活在 @@M@@Z^{-1/3}@@ 尺度，而半径定义的外部规格化质量是 @@M@@1/(2Z)@@——随 @@M@@Z@@ 消失的份额，体收敛对它无能为力。固定外部质量的观点（外留半个电子而非固定比例）也是 Solovej 广义电离猜想的中心，故定理二必须把屏蔽场直接传播到内部尺度。
问 6：AI 生成证明最可能在哪里出错？
答：最可疑的是概率与场论的交织处：原始观测后验与新鲜碎片后验是不同测度，需两条条件期望恒等式分别比较各自的场；壳层加权换测度要求权重在已揭示数据中可测，否则存活的条件场被破坏。AI 典型失误是混用两个后验、或换律时丢可测性条件。误差只累计期望积分与常数逐行可换的惯例也是审计高危区。
问 7：谁会用到它？
答：直接下游是族 263 两篇姊妹篇：广义电离能与广义外半径都显式引用本文第 15 节收集的接口输入；化学物理中”分子最多带多少额外电荷”（阴离子稳定性）从此有了不依赖对称性的普适答案。
总评
这是完整库仑模型电离猜想的首次完整解答，条件化—屏蔽机制是整套结果族的地基，与 Solovej 的 HF 先例结构互印；最大风险在概率观测论证的测度论细节层级极深且无形式化，姊妹篇的正确性也押在这块地基上。