全非线性引力方程的局域量子充分条件:小菱形广义熵极值、相对熵片叶无关与 QNEC 逐点饱和
Auric
摘要
本文在点态小因果菱形的极限提出三条完全局域且充分的量子—几何判据,并在半经典—全息窗口中严格推出含宇宙学常数的全非线性引力方程。三条判据为:(A)在固定“有效体积/共形 Killing 能“约束下的小菱形广义熵极值;(B)边界相对熵对 Cauchy 片的片叶无关当且仅当体内 Iyer–Wald 正则能守恒(由此给出量子 Bianchi 恒等式及其源项形式);(C)穿过一点的全部局域割面与全部零方向的 QNEC 逐点饱和。我们证明:在 Hadamard 态、无引力反常且正则能非负的耦合窗口内,上述任一判据(辅以本文列明之配套技术假设)均充分推出
从而将 并入宇宙学常数 。核心技术包括:(i)体积—哈密顿量 等价定理(命题 K.1),即“固定 固定 “在 Einstein–Hilbert 与 原型中普适成立;(ii)两帽边界核的 分布抵消定理(定理 J.1);(iii)量子静止代表面之存在—唯一—正则性与面积二阶式的 约束;(iv)对 JKM 位移与角点改正的上同调不变性;(v)De Donder 规范下的收缩映射可积性引理与“近饱和 近方程“的稳定性不等式。并给出 FRW 与 AdS/CFT 实例及“相对熵通量计 / QNEC 饱和相图“的可执行规范。
1 引言
纠缠第一定律与球区族方法已在线性/二阶层面奠定“由信息到几何“的基础。要在点态与全非线性层级闭合,需要兼顾三类约束:平衡(熵极值)、守恒(正则能守恒)与刚性(QNEC 饱和)。本文在点态小因果菱形 的极限中,将上述三类约束定理化,并给出完整的证明与误差控制,统一导出含 的非线性场方程。
2 场景、记号与假设
2.1 小因果菱形与近似共形 Killing 场
令 为 的光滑时空,。记 为尺度 的小因果菱形,边界由两片 零叶 组成,交于两个角点。设小参数 。取近似共形 Killing 场 ,满足
并以“菱形温度“归一 。
2.2 态、重整化与总应力
取 Hadamard 态与因果处方。定义
并要求
允许的局域对置项只重定义 (附录 D)。
2.3 QES 与量子静止代表面
假设存在唯一且稳定的量子极值面 ,。在等价类内构造量子静止代表面 ,使
其存在—唯一—正则性见附录 H。
2.4 协变相空间与正则能
令 光滑局域,。由微分同胚不变性有 。Iyer–Wald 结构给出辛势 、辛流 、Noether 电荷 与角点项 。定义
JKM 位移 、 与角点改正形成等价类(附录 F)。
2.5 QNEC 与二阶形变
对任一零向 与局域割面族,QNEC 读作
在代表面上,Raychaudhuri 给出
3 主结论(陈述)
定理 A(广义熵极值 非线性张量方程)
在第 2 节假设下,若 为 的 QES,且在“固定 “(或等价“固定 ”)约束下 极值,则对穿过 的全部零向 有
进而存在分布 使
定理 B(片叶无关 正则能守恒;量子 Bianchi)
若边界相对熵 对 Cauchy 片 无关,则
含外通量或角点注入时存在源
且 对 JKM 位移与角点改正不变。
定理 C(QNEC 全方向逐点饱和 非线性闭合;近饱和稳定性)
若在 的邻域对全部局域割面与零向 有
并且正则能非负、De Donder 规范与 (、)下可积性引理成立,则
若仅有 ,则存在常数 与范数 使
4 预备:小区域几何、有效体积与核展开
4.1 Gray–Vanhecke 展开
RNC 给出
定义
4.2 模哈密顿量局域核与两帽边界核
小区域模哈密顿量写作
,镜像 下 。定理 J.1 证明边界项在分布意义 抵消。
4.3 协变相空间恒等式与角点
对任意变分 与向量场 有
角点势 重排角点全微分(附录 F)。
5 命题 K.1:固定 固定 (至 )
命题(K.1,精确版) 若 或 ,取第 2 节之近似 CKV 。则存在常数 与 使对所有解空间切向量 成立
证明(要点与常数控制):
(i)体—边—角分解。 由协变相空间与 Stokes,
写 ,利用 与角点改正,
余项 由定理 J.1 与附录 F 归并,。
(ii)EH 主阶。 代表面上 、 压低二阶几何项;体项尺度 与 相乘给 。
(iii) 修正。 Wald 熵 ,RNC 与附录 B 给
外挠率混项由代表面估计降到 。合并得命题成立。证毕。
6 定理 J.1:两帽边界核在分布意义的 抵消
定理(J.1) 设 为镜像零帽, 满足 、。Hadamard 态使 可沿零面限制。则对所有 有常数 使
证明:附录 E 中以波前集与镜像映射 的 偏离 为核心,给出
乘以 与测度尺度 得 界。角点配合 为全微分不提升阶次。证毕。
7 定理 A 的证明
二阶平衡式与零向等式。 代表面 上固定 (或 )约束下
命题 K.1 将约束贡献重写为 。Raychaudhuri 在 上给
而 QNEC 与定理 J.1 控制 。综合得
从而
张量化与常数并入。 由附录 A 分布级张量化引理,存在 使
再用 与 得 ,并入 。证毕。
8 定理 B 的证明
无源版。 协变相空间恒等式给
若片叶无关且无通量,右端为零,得 。局域化并用 推出
含源版与不变性。 存在通flux/角点注入时定义
即得带源量子 Bianchi。附录 F 以上同调证明 对 JKM 位移与角点改正不变。证毕。
9 定理 C 的证明
(1)从全方向 QNEC 饱和到线性核。 对全部局域割面与零向 ,QNEC 等式与第一定律给出 。正则能非负推出核即全部物理扰动,遂全部零向线性约束为等式。
(2)非线性闭合。 在 De Donder 规范与 中,将非线性方程写成
附录 L 给出收缩映射与唯一不动点,从而
(3)近饱和稳定性。 若 ,则
由强制性与 L.1 的 Lipschitz 连续性,得
证毕。
10 二维改写与反常
在 中,Einstein 张量退化。采用改进应力
Weyl 反常仅入迹。分布级张量化引理改写为:若 且 ,则 、。于是二维版本 A′/B′/C′ 给出
无源时 常数并入 。Bañados/BTZ 的对称割面可实现饱和;Vaidya 场景出现近饱和并满足稳定性不等式(附录 I)。
11 实例
11.1 FRW
取过 的径向零向 ,定理 A 给 。与量子 Bianchi 的时间—空间分解组合得
误差由 控制(附录 J)。
11.2 AdS/CFT
Bañados/BTZ 背景上,对称割面族实现 QNEC 饱和,C′ 直接闭合。AdS–Vaidya 下,E2 显示 的片叶漂移与 闭合;E3 的饱和相图表明 零集与 零集的 Hausdorff 距离随 呈 收敛(附录 I、K)。
12 误差预算与适用窗口
- 理论误差:体项 ;两帽边界核与曲率—半径交叉 ;高导数外挠率修正不提升主阶。非 CFT 需 。
- 数值误差:网格尺度、二阶差分步长、角点离散与去噪,双对数斜率校验 。
- 适用窗口:Hadamard 态、无引力反常;Weyl 反常仅入迹(二维改写);正则能非负的耦合域;可积性小参数 充分小。
附录
附录 A:分布层级张量化引理(完整证明)
引理 A.1 对称。若对任意零向 与 有 ,则存在 使 。若 ,则 。
证明 取局域正交标架 。任意零向 、。配对式
视为关于 的二次型对所有单位向量为零。球谐分解得线性项 ,二次项 ,零阶 。故 。散度条件给 。证毕。
附录 B: 与小区域展开的阶计控制
RNC 中 。 的 Wald 熵
。积分估计
代表面上的外挠率混项由 与 压低,不改变 主阶。证毕。
附录 C:小区域模哈密顿量核与形状变分
近似 CKV 给形状变分核 ,并满足镜像奇对称 。Hadamard 条件确保 良定,定理 J.1 给出 界。证毕。
附录 D:方案独立性与总应力守恒
允许的局域对置项只重定义 与有限高导数耦合,不改变 。非局域有效作用的变分定义 ,其散度与体源抵消。故本文主方程在等价类下不变。证毕。
附录 E:两帽抵消的微局域分析(完整)
Hadamard 两点函数 的波前集 控制 沿零面的分布限制。镜像映射 的 偏离为 ,故
再乘以 与测度 ,配合测试函数范数 ,即得 界。角点的分布质量经 重排为全微分,不提升阶次。证毕。
附录 F:JKM 位移与角点改正的上同调不变性
改变量为精确形式 。两帽并角点构成的相对同调类上,。角点势 的变化由边界全微分补偿,保持 与 不变。证毕。
附录 G:量子 Bianchi 源 的坐标自由表达与示例
写
为辛势的双指标拉回。AdS–Vaidya 小菱形的离散实现显示 于 内闭合。证毕。
附录 H:量子静止代表面——存在、唯一与构造算法
在 的形变空间上,以“量子扩张“为非线性算子 。背景 QES 满足 ,其 Fréchet 导数自伴正定。隐函数定理给出唯一解族使 。能量估计
构造采用梯度流/牛顿迭代,Lipschitz 常数 ,收敛于 。证毕。
附录 I:二维改写、改进应力与相图
在 采用改进应力 ,Weyl 反常入迹。二维张量化引理与量子 Bianchi 改写见正文 §10。Bañados/BTZ 与 Vaidya 的数值相图展示 与 零集之重合度随 呈 收敛。证毕。
附录 J:FRW 的零向投影与 Friedman 组合
记 、、。零向投影
配合量子 Bianchi 的时间—空间分解,得正文 §11.1 的两条标量式。误差项 ( 依赖 、)。证毕。
附录 K:E2/E3 的最小实现与误差斜率
相对熵通量计(E2) 输入: 的网格;输出: 与 。步骤:生成零叶剖分;离散 ;片叶差值;报告 – 斜率(目标 )。
饱和相图(E3) 输入:割面族与二阶差分步长;输出: 与零集重合度(Hausdorff/Jaccard)。稳定性:改变步长与滤波强度,识别平台区,估计常数 。证毕。
附录 L:可积性引理 L.1 的能量估计与收缩映射
De Donder 规范与 、、。线性化算子 满足
非线性满足 Moser 型估计
当 、 时, 为收缩,存在唯一不动点。强制性常数由正则能非负性给出,导出“近饱和 近方程“的 Lipschitz 界。证毕。
附录 M:误差预算总表
- 体项:,常数 。
- 两帽核:,常数 。
- 曲率—半径交叉:,常数 。
- 高导数外挠率:,常数 。
- 数值离散:网格 、步长 的 斜率。
全文完