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:误差预算总表

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

全文完