结果族 263：The ionization and generalized ionization conjectures · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
中性原子的电子云像一杯啤酒：泡沫总浮在最上层。定义”外半径 R_m”为外部恰好只剩 m 个电子的最小球半径——相当于问：要从杯口往下量多深，才只裹住 m 滴泡沫？定理给出精确答案：先让核电荷 Z 趋于无穷、再让 m 趋于无穷，这个半径渐近于一个常数乘 m 的负三分之一次方——尾部越薄，需要的半径越大，且比例系数与 Z 完全无关。
关键词卡片
@@M@@R_m@@（outer radius）：外部电子质量恰为 m 的半径，衡量电子云尾巴拖多长。@@M@@Z\to\infty@@ 再 @@M@@m\to\infty@@ 的取极限顺序。看个具体例子
数字版：@@M@@b_{\rm TF}=(81\pi^2/2)^{1/3}\approx 7.37@@，故 @@M@@R_m\approx 7.37\,m^{-1/3}@@——m=8 时约 3.7，m=64 时约 1.8；尾部外部质量满足 @@M@@\int_{|x|>r}\rho\approx b_{\rm TF}^3\,r^{-3}@@。
为什么值得关心
广义电离猜想的半径部分在完整薛定谔模型（任意关联基态）中获证；常数与 Solovej 的 Hartree–Fock 定理完全一致，构成交叉验证。
暂无形式化证明（AI 结果待核验）
结果族 263：Generalized outer-electron radii of neutral Coulomb atoms
第一级台阶
导读里”啤酒泡沫”的比喻，翻译过来是：对象是中性原子的电子云——核固定、电子总数等于核电荷 @@M@@Z@@；度量的刻度叫外半径 @@M@@R_m@@：从杯口往下量多深，才能把电子云裹到只剩 @@M@@m@@ 个电子留在外面。定理的账单是：尾部越薄（@@M@@m@@ 越大），所需的半径按 @@M@@m@@ 的负三分之一次方增长，比例系数是一个与 @@M@@Z@@ 无关的普适常数。
第二级台阶
用精确语言说，中性库仑哈密顿量 @@M@@H_Z@@ 作用在反对称双自旋的 @@M@@Z@@ 电子波函数上；任取归一化基态 @@M@@\Psi_Z@@，其自旋求和密度 @@M@@\rho_{\Psi_Z}@@ 总质量为 @@M@@Z@@。期望外部质量半径定义为 @@M@@R_m(\Psi_Z)=\inf\{r:\int_{|x|>r}\rho_{\Psi_Z}\le m\}@@——注意 @@M@@m@@ 是期望意义上的外部电子数，态本身仍有 @@M@@Z@@ 个电子。托马斯–费米极限模型由 @@M@@\varrho=k(F_+)^{3/2}@@、@@M@@\Delta F=4\pi\varrho@@ 刻画，其正齐次解 @@M@@F_*(x)=A_*|x|^{-4}@@ 的外部质量为 @@M@@4A_*r^{-3}@@，令其等于 @@M@@m@@ 即得半径定律。
第三级台阶
定理陈述：记 @@M@@b_{\rm TF}=(81\pi^2/2)^{1/3}@@，对基态的任意选择，@@M@@\lim_{m\to\infty}m^{1/3}\limsup_{Z\to\infty}R_m(\Psi_Z)=b_{\rm TF}@@，@@M@@\liminf@@ 版本同样成立——这正是 Solovej 广义电离猜想的半径部分。假设的分工：精确中性使屏蔽场的球面平均非负，是把只有上界控制的带号场救回紧性的关键；对整个基态本征空间一致、不假设球对称，则断言的普适所在；内层极限固定 @@M@@m@@ 取 @@M@@Z\to\infty@@、不断言固定 @@M@@m@@ 的收敛。证明路线是：加噪观测条件化得到条件密度与屏蔽场，在中间尺度重标度后取紧性极限，用伸缩刚性把极限场识别为 Sommerfeld 齐次轮廓，再把条件轮廓换算回期望外部质量。
本文证明广义电离猜想的半径部分：中性库仑原子任意基态选择下，期望外部电子质量为 @@M@@m@@ 的半径先对 @@M@@Z@@ 取上、下极限再让 @@M@@m\to\infty@@，均渐近于 @@M@@(81\pi^2/2)^{1/3}m^{-1/3}@@，与 Solovej 在 Hartree–Fock 理论中所得常数一致。
电离问题问：核电荷增大时原子外层电子如何分布？中性原子的体密度在长度 @@M@@Z^{-1/3}@@ 上收敛到托马斯–费米（Thomas–Fermi）极限（Lieb–Simon），但固定外部质量 @@M@@m@@ 的半径只涉及占比 @@M@@m/Z@@ 的质量，体收敛对它无能为力。对完整模型，Seco–Sigal–Solovej 只得到随 @@M@@Z@@ 衰减的半径下界。Solovej 2003 年在无限制 Hartree–Fock 中证得同一常数的普适外半径律，并于 2016 年把完整薛定谔模型版写成广义电离猜想（generalized ionization conjecture，保留上、下两个大 @@M@@Z@@ 极限）。此外，TF–Dirac–von Weizsäcker 与幂密度矩阵泛函等近似模型的尖锐半径估计亦已有结果，但都不针对任意关联的薛定谔基态。本文在含任意关联态的完整模型中证明其半径部分：地基篇姊妹文已证”留下半个期望电子”的半径有普适双侧界，本文则在该外部质量趋于无穷时识别出精确系数。
对中性原子哈密顿量 @@M@@H_Z=\sum_{i\le Z}(-\frac12\Delta_i-\frac{Z}{|x_i|})+\sum_{i<j}|x_i-x_j|^{-1}@@，任取归一化基态 @@M@@\Psi_Z@@，其自旋求和密度 @@M@@\rho_{\Psi_Z}@@ 总质量为 @@M@@Z@@。对 @@M@@1\le m<Z@@ 定义 @@M@@R_m(\Psi_Z)=\inf\{r:\int_{|x|>r}\rho_{\Psi_Z}\le m\}@@。定理：记 @@M@@b_{\rm TF}=(81\pi^2/2)^{1/3}@@，对基态的任意选择，@@M@@\lim_{m\to\infty}m^{1/3}\limsup_{Z\to\infty}R_m(\Psi_Z)=b_{\rm TF}@@，@@M@@\liminf@@ 版本同样成立。陈述对整个基态本征空间一致，不假设球对称，固定 @@M@@m@@ 时对 @@M@@Z@@ 的收敛也不需要。系数的来历：极限 TF 模型 @@M@@\varrho=k(F_+)^{3/2}@@、@@M@@\Delta F=4\pi\varrho@@ 的正齐次解为 @@M@@F_*(x)=A_*|x|^{-4}@@（@@M@@A_*=(12/4\pi k)^2=81\pi^2/8@@），其外部质量 @@M@@\int_{|x|>r}\rho_*=4A_*r^{-3}=b_{\rm TF}^3r^{-3}@@，令其等于 @@M@@m@@ 便得半径 @@M@@b_{\rm TF}m^{-1/3}@@。
从量子态到极限场分四步。先条件化：给电子位置加独立小误差并条件化，光滑单位质量包的条件平均给出条件密度 @@M@@\sigma@@，核位势减其库仑势得屏蔽场（screened field）；在中间半径 @@M@@s@@ 处按 @@M@@s^4@@（场）、@@M@@s^6@@（密度）重标度，比较估计在越来越大的环带上给出逐点 TF 关系。难点有二：场只有上界控制、重标度电子总质量可能发散；妙处是精确中性——牛顿球面平均恒等式使 @@M@@\overline F(d)=\int_{|z|>d}(\frac1d-\frac1{|z|})\sigma\ge0@@，与上界合成场的局部 @@M@@L^1@@ 控制，调和内部估计对这种带号场也给出紧性。再传递正障碍（barrier）：在固定球上比较地基篇的中间次解（subsolution）与屏蔽场，减去一个逐点趋零的库仑修正位势，以 @@M@@(W)_+@@ 为试验函数得 @@M@@U\le F+L+c_S@@，令球半径 @@M@@S\to\infty@@ 得双侧界 @@M@@B|x|^{-4}\le F\le C|x|^{-4}@@。然后证刚性（rigidity）：设 @@M@@b,h@@ 为 @@M@@|x|^4F@@ 的上、下确界，在趋近上确界的点列上伸缩取极限，极限场在单位球面某点接触 @@M@@b|x|^{-4}@@，由 @@M@@\Delta|x|^{-4}=12|x|^{-6}@@ 得 @@M@@4\pi kb^{3/2}\le12b@@；下确界一侧反向，两式夹出 @@M@@F\equiv A_*|x|^{-4}@@——全程不需径向假设。最后回到期望外部质量：包支撑的夹逼不等式（收缩、放大环带上的电子计数夹住包质量）消去光滑化，一致可积性排除例外观测，二进壳层求和给出尾部紧性，合起来得 @@M@@s^3\int_{|y|>as}\rho_{\Psi}\to b_{\rm TF}^3/a^3@@。取 @@M@@a_-<b_{\rm TF}<a_+@@：当 @@M@@m@@ 充分大时，对一切 @@M@@Z\ge Z_{\min}(m)@@ 与一切基态，半径被夹在 @@M@@a_-m^{-1/3}@@ 与 @@M@@a_+m^{-1/3}@@ 之间；去掉 @@M@@Z@@ 的有限前缀不影响内层上、下极限，挤压即得两个迭代极限。
本文是族 263 的”半径篇”：条件密度比较与正的中间次解直接取自地基篇（均匀超额电荷与外半径），中间尺度紧性与伸缩刚性论证则与能量篇共享方法，三篇互为支撑。常数 @@M@@(81\pi^2/2)^{1/3}@@ 与 Solovej 的 Hartree–Fock 定理及 TF 理论完全一致，构成交叉验证。按任务标注本文暂无形式化证明；依 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
结果族 263：Generalized outer-electron radii of neutral Coulomb atoms
问 1：为什么必须保留上、下两个大 @@M@@Z@@ 极限？固定 @@M@@m@@ 直接取极限不行吗？
答：不行，定理明说固定 @@M@@m@@ 时对 @@M@@Z@@ 的收敛既不假设也不断言。Solovej 猜想的表述就刻意保留 @@M@@\limsup@@ 与 @@M@@\liminf@@ 两个内层极限——固定外部质量下，不同 @@M@@Z@@ 的基态选择可能使半径振荡，能普适断言的只有上下极限的共同渐近。证明靠有限阈值论证：@@M@@m@@ 充分大时一切 @@M@@Z\ge Z_{\min}(m)@@ 与一切基态都被夹在 @@M@@a_\pm m^{-1/3}@@ 之间。
问 2：证明中最脆弱的一环是什么？
答：带号场的紧性：重标度后的屏蔽场只有上界控制、重标度电子总质量还可能发散。救场的是精确中性——牛顿球面平均恒等式使场的球面平均非负，与上界合成局部 @@M@@L^1@@ 控制，调和内部估计才对带号场给出紧性。若中性换成净电荷非零，这条通道立即关闭，极限场提取就失败。
问 3：刚性论证为什么敢不假设径向对称？
答：走的是伸缩接触路线：设 @@M@@b,h@@ 为 @@M@@|x|^4F@@ 的上、下确界，在趋近上确界的点列上伸缩取极限，极限场在单位球面某点接触 @@M@@b|x|^{-4}@@，代入 @@M@@\Delta|x|^{-4}=12|x|^{-6}@@ 得 @@M@@4\pi kb^{3/2}\le12b@@；下确界一侧反向，两式夹出 @@M@@F\equiv A_*|x|^{-4}@@。这继承 Solovej 非径向比较估计的思想，论文给出自己的短伸缩证明，是全文最漂亮也最该细查的一步。
问 4：体密度的 TF 收敛早就有了，为什么帮不上忙？
答：体密度收敛发生在长度 @@M@@Z^{-1/3}@@ 上，涉及全部 @@M@@Z@@ 个电子；而 @@M@@R_m@@ 关心占比 @@M@@m/Z\to0@@ 的尾部质量——渐近消逝的份额，体收敛对它完全失明（引言明确指出）。Seco–Sigal–Solovej 对完整模型只得随 @@M@@Z@@ 衰减的半径下界，定不了普适外半径律。
问 5：与已有工作相比真正的新意是什么？
答：同一常数的普适外半径律此前只在无限制 Hartree–Fock（Solovej 2003，Slater 决定子）与 TFDvW、幂密度矩阵泛函等近似模型中已知。本文首次对含任意关联的薛定谔基态证出该律，且常数 @@M@@(81\pi^2/2)^{1/3}@@ 与 HF 定理严格一致——两个独立方法同一常数，构成强交叉验证。
问 6：AI 生成证明最可能在哪里出错？
答：最可疑的是概率换算链：条件化观测给出的是条件密度与条件场，而半径定义用原始期望外部质量；中间要过三道关——局部 @@M@@L^2@@ 计数估计排除例外观测、收缩包支撑消去光滑化、二进估计控制远尾。AI 典型失误是在”条件期望与原始期望互换”处丢掉一致性或可积性；常数逐行可换的惯例也是审计高危区。
问 7：谁会用到它？
答：与能量篇合成 Solovej 广义电离猜想的完整解答（能量 + 半径），是族 263 的收官；大电荷渐近、TF 极限理论及关心”原子尾巴有多长”的物理化学问题（弱束缚阴离子尺度）从此有严格锚点。
总评
这是广义电离猜想半径部分在完整关联模型上的首次证明，常数与 Solovej 的 HF 先例吻合、方法与族内两篇互锁，可信度结构良好；最大风险在概率换算与带号场紧性这些未形式化的精细步骤，且地基输入本身亦无形式化。