结果族 260：Spacetime Penrose inequalities: enclosing area, charge, rotation, and anti-de Sitter extensions · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
一个不等式成不成立，可能取决于你把哪个量称作”角动量”。这篇论文像法庭上的反方证人，构造出光滑漂亮的反例：只要把电磁修正漏掉、把电磁场的衰减条件放弱，上一条的 Kerr–Newman 不等式就真的会翻车——从而把它的正确表述逼了出来。
关键词卡片
看个具体例子
构造的诀窍：让电磁场从半径 @@M@@L@@ 之外才”登场”，黑洞近旁干干净净、远处拖着尾巴。妙在两笔账正好对消——裸引力通量 @@M@@-\frac{4s^2c(r)^2}{15}@@ 与电磁修正 @@M@@+\frac{4s^2c(r)^2}{15}@@ 大小相等、符号相反，守恒总角动量恒为零：
这些反例总电荷为零、两个电磁场均非零；取 @@M@@s=1@@、@@M@@L\to\infty@@ 时亏损趋于 @@M@@-1/225@@，由连续性还能得到恰好取等、却不来自 Kerr–Newman 时空的样本。
为什么值得关心
与姊妹篇一反一正合拢成完整答案：守恒总角动量加库仑渐近的表述成立，裸通量加弱衰减的表述必假；反例全是显式公式，可逐项检验。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把这篇论文比作法庭上的反方证人：不证明不等式，而是亲手造出满足全部前提却破坏结论的实例。翻译成半数学语言：对象是一份被显式公式完整写出的初始数据——空间形状、弯曲速率、电场、磁场每一样都有闭式表达；操作是逐项算出质量、面积、角动量三本账，直接检验”质量的平方是否真的不低于面积与角动量的组合”。诀窍正如导读所示：黑洞近旁干干净净，电磁”尾巴”从很远的半径才开始出现，恰好让两笔角动量账互相抵消。
第二级台阶
用本科术语精确化：数据须满足轴对称电真空约束——哈密顿约束（标量曲率与场的能量互相锁定）、动量约束（场与场的叉积由弯曲速率的散度承载）以及两条麦克斯韦无散条件。构造采用共形 ansatz：取度规为共形因子乘平坦度规、弯曲速率取混合径向–方位张量，共形权的选择把全部约束折叠成关于共形因子的一单个半线性椭圆方程，配罗宾边界条件后单位球面自动成为边际陷捕边界。角动量有两个定义：裸引力通量（只含弯曲速率）与加上电磁面积分项的守恒总角动量，二者之差恰由角向变化的电磁尾巴提供。
第三级台阶
定理在衰减条件仅要求电磁场以距离平方分之一衰减的类中陈述：弱衰减假设正是留着口子让尾巴进来，轴对称与无散条件保证一切约束仍然成立。结论分两条：其一，存在总电荷为零、严格处于物理面积分支的数据，使质量的平方严格小于面积与裸角动量组合的下界；其二，存在恰好取等的数据，却无论如何选时间图都无法嵌入同参数的 Kerr–Newman 黑洞时空。这划出了不等式的成立边界：换用守恒总角动量或更强库仑渐近的表述不受影响——那条路由姊妹篇正面证明。
构造了光滑轴对称电真空反例：当角动量 @@M@@J@@ 取裸引力 ADM 通量、电磁场只衰减 @@M@@O(r^{-2})@@ 时，Kerr–Newman Penrose 不等式被严格违反，且存在取等但不来自 Kerr–Newman 时空的数据——从而证明该不等式必须用含电磁修正的守恒角动量表述。
Kerr–Newman Penrose 不等式 @@M@@m^2\ge \frac{A}{16\pi}+\frac{Q^2}{2}+\frac{\pi(Q^4+4J^2)}{A}@@ 预期对一般坍缩初始数据成立，但电真空中角动量如何定义是个敏感点：引力角动量通量本身不守恒，须补一个电磁边界项才守恒。Khuri–Weinstein 曾指出该电磁项的消失依赖适当的渐近条件；Dain–Khuri–Weinstein–Yamada 的证明则用到电场、磁场的库仑展开。一个悬而未决的问题是：若电磁场只满足 @@M@@O(r^{-2})@@ 衰减、允许随角变化的领头”尾巴”，并把 @@M@@J@@ 定义为无穷远的裸引力 ADM 通量（不带电磁面积分），不等式是否仍成立？本文给出否定回答，并顺带推翻相应的取等刚性论断，从而精确划定了该不等式成立表述的边界。
定理考虑满足轴对称、无源电真空约束、衰减条件 @@M@@g-\delta=O_4(r^{-1})@@、@@M@@K=O_3(r^{-3})@@、@@M@@\mathcal E,\mathcal B=O_3(r^{-2})@@、连通最外层外面积最小未来 MOTS 边界的光滑外部数据，@@M@@J@@ 取裸引力 ADM 角动量。在此类中：(1) 存在总电荷 @@M@@Q_e=Q_b=0@@、严格物理分支 @@M@@A>8\pi|J|@@ 的数据使 @@M@@m^2<\frac{A}{16\pi}+\frac{4\pi J^2}{A}@@ 严格成立；(2) 存在取等的数据 @@M@@m^2=\frac{A}{16\pi}+\frac{4\pi J^2}{A}@@，但它不能由参数为 @@M@@(m,J,Q_e,Q_b)@@ 的 Kerr–Newman 时空的任何类空切片（含非常数时间图、含延拓到未来视界截面或分叉球的情形）实现。所有反例都是最大的（@@M@@\tr_gK=0@@），定义在 @@M@@\Omega=\{r\ge1\}@@ 上，两个电磁场均非零。反例是显式双参数族：幅度 @@M@@s\in[0,1]@@ 与过渡半径 @@M@@L@@，满足 @@M@@J=-\frac{4s^2}{15}@@、@@M@@m=2+O(s^2/L)@@、@@M@@A=64\pi+O(s^2/L^2)@@；@@M@@s=1@@、@@M@@L\to\infty@@ 时不等式亏损趋于 @@M@@-1/225@@，固定大 @@M@@L@@ 时小幅度亏损为正，由连续性得取等样本。
构造的诀窍是让电磁场从大半径 @@M@@r\ge L@@ 处才开始出现。先用两个标量势 @@M@@f=sc(r)\sin^2\theta@@、@@M@@h=sc(r)\sin^2\theta\cos\theta@@ 经闭形式 @@M@@\iota_{\widetilde E}\dd V_\delta=\dd(f\dd\phi)@@、@@M@@\iota_{\widetilde B}\dd V_\delta=\dd(h\dd\phi)@@ 定义无散电磁场（自动满足麦克斯韦散度约束），再用径向–方位混合张量 @@M@@\sigma=-\frac{s^2c(r)^2\sin^4\theta}{r^2}(\dd r\otimes\dd\phi+\dd\phi\otimes\dd r)@@ 显式解出动量约束 @@M@@\operatorname{div}\sigma=2\dd V(\widetilde E,\widetilde B,\cdot)@@——完全绕开向量椭圆方程。然后取共形数据 @@M@@g=u^4\delta@@、@@M@@K=u^{-2}\sigma@@、@@M@@\mathcal E=u^{-6}\widetilde E@@、@@M@@\mathcal B=u^{-6}\widetilde B@@，共形权恰把哈密顿约束化为单个标量方程 @@M@@-\Delta_\delta u=pu^{-7}+\ell u^{-3}@@；罗宾边界条件 @@M@@\partial_ru+u/2=0@@ 使单位球成为未来 MOTS。凯尔文反射（Kelvin reflection）把求解化为带正源的牛顿位势算子，逐点估计给出解的存在性与质量公式 @@M@@m=2+2N(0)+\frac1{2\pi}\int H@@；一个由径向投影得到的闭形式证明单位球在所有包围割痕中面积最小。最后计算通量：引力角动量通量在 @@M@@r\ge2L@@ 恒为 @@M@@-\frac{4s^2c(r)^2}{15}@@，而电磁修正项 @@M@@J_{\rm EM}=\frac1{4\pi}\int h\,\iota_{\mathcal E}\dd V_g=\frac{4s^2c(r)^2}{15}@@，二者之和（守恒总角动量）恒为零——裸 ADM 通量与守恒通量之差正来自随角变化的径向电磁尾巴（其散度为零，不违反任何约束）。取等刚性障碍则很直接：零电荷的 Kerr–Newman 成员就是麦克斯韦场 @@M@@F=0@@ 的 Kerr 时空，其任何类空切片的诱导电磁场必为零，与反例中非零的场矛盾。
本文主结果暂无形式化证明，请以社区核验为准。它与同族姊妹篇《The Kerr–Newman Penrose Inequality for Axisymmetric Electrovacuum Exteriors》互为表里：本文证明”裸 ADM 角动量 + 弱衰减”的表述必假，姊妹篇则证明”守恒总角动量 + 库仑渐近”的表述为真，两者合起来把该不等式的正确表述完全确定下来。反例构造是显式的：种子场有直角坐标闭式，各约束恒等式都经直接计算验证，不依赖任何抽象存在性论证。按 OpenAI 官方声明，未经形式化的结果可能存在问题，引用前请以同行评审与社区核验为准。
问 1：构造中最关键、最脆的一步是什么？
（答：两步最关键：用混合径向–方位张量 σ 显式解出动量约束，完全绕开向量椭圆方程；再用凯尔文反射把共形因子的半线性方程化为带正源的牛顿位势算子，罗宾边界条件使单位球成为未来 MOTS。最脆处在椭圆解的存在性估计——源与球面的距离收缩估计还须容纳非紧的 r⁻⁴ 能量尾巴——以及”单位球在所有包围割痕中面积最小”的闭形式论证，任何系数或常数出错整个反例即失效。）
问 2：这些反例为什么不冲击姊妹篇的正面定理？
（答：反例中守恒总角动量恒为零（引力通量 −4s²c(r)²/15 与电磁修正 +4s²c(r)²/15 相消），亏损 −1/225 只在 J 取裸引力 ADM 通量时出现；且尾巴衰减仅 O(r⁻²)、随角变化，在库仑渐近下被直接禁止。引言明言：对使用守恒角动量或更强渐近的表述，这些例子不导出任何结论。）
问 3：与已有工作相比真正的新意是什么？
（答：Khuri–Weinstein 2016 只”指出”电磁项的消失需要适当渐近条件，Dain–Khuri–Weinstein–Yamada 的正面证明预设库仑展开；本文第一次把”裸通量 + 弱衰减”表述的失效做成显式光滑反例，并且连非退化取等刚性论断也一并推翻——连非常数时间图、含延拓到未来视界截面或分叉球的实现都被排除。）
问 4：取等反例为什么不可能来自 Kerr–Newman 时空？
（答：论证很直接：零电荷的 Kerr–Newman 成员就是麦克斯韦场为零的 Kerr 时空，其任何类空切片诱导的电磁场必然为零；而反例中电场与磁场都非零，矛盾。故取等样本没有 KN 实现，刚性论断在该类中失效。）
问 5：AI 生成证明在这类反例工作上最可能出什么错？
（答：反例路线整体风险低于存在性证明——种子场有直角坐标闭式、约束恒等式可逐项验证——但通量常数（±4s²/15）、共形权（u⁻⁶ 等）、亏损极限 −1/225 这类算术细节一旦算错，反例会静默失效为”平凡不违反”。论文未经形式化验证，这些数值应由社区独立复算。）
问 6：尾巴的能量为什么不破坏可积性与质量公式？
（答：尾巴能量带非紧的 r⁻⁴ 衰减，恰好可积；椭圆部分用凯尔文反射与源–球面距离的收缩估计吸收它，质量公式化为 m=2+O(s²/L)、面积 64π+O(s²/L²)，都是显式控制。）
问 7：谁会用到它？
（答：任何使用”面积–角动量不等式”或考虑角动量定义的人——反例精确划出公式的适用边界；与姊妹篇一反一正合拢，把 Kerr–Newman Penrose 不等式的正确表述完全确定下来。）
总评
用显式可检验的双参数反例族一举推翻两个过强表述（数值不等式与取等刚性），是罕见的”负结果比正结果更有信息量”的工作；最大风险只在诸常数的算术正确性——好在一切皆闭式，社区可逐行复核。