Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

全非线性引力方程的局域量子充分条件:小菱形广义熵极值、相对熵片叶无关与 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:误差预算总表

  • 体项,常数
  • 两帽核,常数
  • 曲率—半径交叉,常数
  • 高导数外挠率,常数
  • 数值离散:网格 、步长 斜率。

全文完