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

相对散射行列式在量子引力中的统一角色:两域框架、固定能量 BK( 统一版)、闭域 ‑斜率与黑洞极点谱学

摘要

以“相对行列式“为统一对象,我们在两类几何—物理场景中建立一套严密且可检的理论: 紧致闭域中欧化后二次变分算子族的相对 /热核行列式及其对宇宙学常数项的体积密度响应; 稳态外部几何(Schwarzschild–de Sitter/Kerr–de Sitter)上的定频散射矩阵及其相对(修正)行列式、谱移对象与准正则模(QNM)谱学。本文给出四个主定理并附完整证明:(i)在带权限制吸收原理(LAP)与双算子积分(DOI)的控制下,证明固定能量 Birman–Kreĭn 等式的 统一版:对勒贝格几乎处处频率 ,其中 为 Lifshits–Kreĭn 谱移函数, 为 Koplienko 二阶谱移的累积原函数;(ii)在闭域穆勒相对行列式框架下,证明“体积斜率定理“:(按我们在正文固定的号约定);(iii)在物理条带 上,相对散射行列式 的极点与 QNM 等价(计代数重数),且对参考 的选择独立;(iv)对实频仅能对“相位“给等式,;而对 的 Carleman 行列式有 ,一般不可主张 。据此引入“相位化行列式“ 作为频域“全域亚纯拟合“的约束对象,并给出 Fisher 信息的主角度上界。文末提供闭域 rel‑zeta、外域 meromorph‑fit、通道‑伪幺正核验三条可复现实验管线的参数与验收标准。


1 引言

闭域的相对 /热核行列式与外域的相对散射行列式共享一个本质结构——“相对相位”。闭域侧,该相位通过对数导数回收 on‑shell 作用对宇宙学常数 的体积密度响应;外域侧,它由 BK/LK(以及二阶 Koplienko 版)谱移函数控制到能量纤维化的散射矩阵之相位。本文把两域统一到一个“可检假设 定理 详细证明“的闭环:

  1. 在算子‑Lipschitz 与 DOI 技术下实现固定能量化,配带权 LAP 主导收敛;
  2. 在穆勒相对行列式下实现正则化独立与角点/边界/ghost 的逐项对消;
  3. 在解析 Fredholm 框架下把相对散射行列式的极点同一为 QNM 并证明参考独立;
  4. 在伪幺正(J‑酉)框架下分离“块级模长守恒“与“全局 Carleman 模长非恒等“,以“相位化行列式“施加实轴模长约束。

全文所有数学表达式均以 形式内联呈现,避免显示/环境切换造成的歧义。


2 设定、记号与可检假设

2.1 谱、理想与修正行列式

Hilbert 空间取可分 。自伴算子对记作 ,差 。Schatten 理想 定义标准。对 取 Fredholm 行列式 ;对 取 Carleman 行列式 。若 酉且 ,谱角 满足

2.2 谱移对象与 DOI

一阶谱移 与二阶谱移测度 分别满足 ,函数类取算子‑Lipschitz/适当 Besov 交集。累积原函数 ,归一化 。双算子积分表示 ,其中 具 Schur/Haagerup 界。

2.3 带权 LAP 与能量纤维化

存在 、能窗 与常数 ,使 成立。稳态外部区(SdS/KdS)以时间 Killing 场驻定频率 并施部分波分解得到通道矩阵

2.4 闭域相对 -行列式与体积斜率

欧化后二次变分算子族 与参考 主符号一致,边界条件与 Faddeev–Popov ghost 配对一致,零模/阈值共振经去投影移除。差热核 具短时展开,定义 。度规号符与行动约定固定为

2.5 外域参考与伪幺正

在条带 选参考散射矩阵 ,要求同片解析且无零/极点。每个通道以 Jost–Wronskian 归一构造能流二次型 使

2.6 可检假设(Assumption Box)

:波算子存在且完备,AC 部分可按能量纤维化; :带权 LAP(参数 、常数 ); :Poisson 平滑 ,DOI 核具统一 Schur/Haagerup 界; :对 a.e. ,有 (典型 ); :主符号一致,边界/ghost 匹配,无零模或已去共振,差热核具短时展开; :参考 条带内解析且无零/极点; :通道能流规范固定,块级伪幺正成立。


3 主定理与结论

定理 3.1(固定能量 BK: 统一版) 在 下,对勒贝格几乎处处 有:当 ;当 。因此

定理 3.2(闭域“体积斜率“) 在 与去共振投影下,有 (按本文号约定)。

定理 3.3( 的极点=QNM,参考独立) 令 。在 下,条带 内, 的极点集合与 的极点(QNM)一致且计代数重数。若更换参考 仍满足 ,则 为条带内无零/极点的解析外函数,不改变极点集。

定理 3.4(实频相位与模长;相位化行列式) 块级:若 ,则 。整体:一般仅有 。当 酉且 时,。定义 作为实轴“模长等于 1“的约束对象。


4 定理 3.1 的证明(DOI–LAP 主导收敛至固定能量)

证明思路总览:以 Poisson 平滑 逼近阶跃函数,应用 DOI 表达与带权 LAP 建立统一的 主导不等式,随后在谱移对象的勒贝格点处令 完成极限交换,最后经 AC 纤维化识别散射相位并升指数得到行列式等式。 的差异由一阶/二阶迹公式承担。

步骤 1(Poisson 平滑与 DOI 核界) 取 。则 。DOI 表达 ,其中

步骤 2(带权 LAP 与 Schatten 主导) 用 Stone 公式写出带权投影的边界值解算子形式,并应用 。由 Birman–Solomyak 型估计得 ,其中 有界。

步骤 3(:谱移与 BK) 一阶迹公式给 。令 并用主导收敛,得 的勒贝格点成立。AC 纤维化与驻定散射表明

步骤 4(:Koplienko 相位) 二阶迹公式给 。对右端两次分部并令 。固定能量化同上,于是 。证毕。


5 定理 3.2 的证明(相对热核逐项对消、Tauberian 交换与号约定)

步骤 1(对数导数的热核表示) 有 ,其中

步骤 2(短时展开与逐项对消) 在主符号一致、边界/ghost 配对一致、multiplicative anomaly 消失的条件下,),除体积项 外的局域系数(含 GHY、角点与 ghost 配对)逐项对消,即

步骤 3(Tauberian 交换与体积斜率) 引入小质量 以控制大 部分,把 。前段由 主导,后段在去共振投影下有统一界。交换 与体积密度化极限后,得到 。按本文约定 ,对齐得到 。证毕。


6 定理 3.3 的证明(解析 Fredholm 与参考独立)

步骤 1(解析 Fredholm) 在条带 ,写 ,其中 -值梅罗莫尔族。行列式 梅罗莫尔,其零点阶等于 的核维数(代数重数)。

步骤 2(相对化与极点计数) 定义 。若 在条带内解析非零, 共享极点与阶,极点即 QNM。

步骤 3(参考独立) 若另取 亦满足条件,则 为解析无零/极点的外函数,不改变极点集。证毕。


7 定理 3.4 的证明(块级伪幺正与整体 Carleman 模长)

块级 由

整体相位 由定理 3.1 得

整体模长( 若 酉且 ,谱角 给出 。在一般 J‑酉情形,模长不恒定,故相位化 为实轴模长约束的自然对象。证毕。


8 全域亚纯拟合与 Fisher 投影几何(用于数据侧落地)

在条带 上参数化 ,其中 为下半平面极点, 为在实轴取纯虚值的低阶整函数。强制共轭配对与“相位化模长等于 1“,并以条带交叉验证抑制假极点。

命题 8.1(Fisher 主角度上界) 对白化观测 ,雅可比 与约束子流形切空间投影 给出受限 Fisher 。若 的最大主角度,则方差缩减因子 。证明见附录 F。


9 可复现实验协议(P1–P3)

P1|rel‑zeta(闭域):网格步长 (三档)、热核窗 )、外推阶 、小质量 (三至五个对数点)。目标量为 。验收:斜率误差 ;换角点剖分/规范后漂移

P2|meromorph‑fit(外域):拟合 并恢复 。先验:成对对称、条带解析、实轴模长约束(施于 )、以及 (若用 )。验收:CRLB 相较逐模态提升 倍;虚警率 ;跨条带一致。

P3|bh‑channels(伪幺正与 BK 相位):Jost–Wronskian 归一构造 ,计算 的相位闭合。验收:伪幺正残差 ,相位闭合 弧度;随 收敛。


10 讨论与展望

本文在明确可检的分析假设下,完成了固定能量 BK 的 统一版、闭域体积斜率、相对散射行列式极点=QNM 的参考独立性、以及实频相位—模长分解四项主结论,并提供可复现实验管线。局限在于:强 trapping 或极端自旋时 LAP 常数可能恶化;非局部边界与奇异几何需单独核查 multiplicative anomaly;统计侧需应对模型偏差的鲁棒正则化。未来工作包括:在 Krein 空间下推广 的模长—相位公式;把微分形式/电磁场的 BK 版本无缝接入;利用多测站条带数据检验“参考独立“极点的稳定性。


附录(详细证明与技术细节)

附录 A DOI–LAP 主导收敛的完整推导

A.1 核界与权重移入

。DOI 表达给 ,其中 满足

插入

A.2 Schatten 主导不等式

由 Haagerup/Schur 界与 Hölder 不等式(在 上)得

用 Stone 公式

在散射设置中更宜用差解算子形式 控制 ,于是得到统一主导

A.3 勒贝格点与极限交换

为谱移对象的勒贝格点。由上式得一族 -一致可积的主导函数 。于是 下 DOI‑迹之极限与 的局部积分可换,得到一阶/二阶迹公式的固定能量化,从而完成定理 3.1 的证明。


附录 B 相对热核逐项对消与 ‑斜率的细化

B.1 短时展开与局域系数

对 Laplace‑型算子 (含规范‑ghost 配对)有 。在主符号一致与边界/ghost 匹配下,相对差 ;角点与边界项的系数在“相对差“中亦对消(Wodzicki 残数为零保证 multiplicative anomaly 不出现)。

B.2 对数导数与体积项

相对 写为 。对 求导,仅 贡献,得到 。 体积密度化与 交换后,按本文约定 ,从而得定理 3.2。

B.3 Tauberian 交换的误差估计

), 由谱间隙与去共振投影控制为 ,而 段误差由高阶系数对消后为 的系数零化项,综合可取 使总体误差


附录 C 相对散射行列式的参考独立性与极点计数

C.1 解析 Fredholm 工具

-值梅罗莫尔族。则 梅罗莫尔且其零点阶等于

C.2 相对化与极点传递

条带内解析无零/极点,定义 =。后因子解析非零,故 的极点与 同步,其阶即 QNM 的代数重数。

C.3 参考独立的外函数因子

若更换参考 ,则 为解析且无零/极点(外函数),不改变极点集合与其重数。


附录 D 伪幺正:通道构造与整体 Carleman 模长

D.1 能流二次型与 J‑酉

径向方程两端取 Jost 解 并以 Wronskian 归一,使能流 在两端一致。据此定义通道二次型 使

D.2 块级行列式单位模与整体相位

有限维块直接给 。整体直和在 设置下仅相位等式可保留;若整体酉且 ,由谱角展开得


附录 E Koplienko 相位的固定能量构造(

E.1 二阶迹公式与 DOI

。右端两次分部得

E.2 主导收敛与勒贝格点

由附录 A 的 主导与 得可积主导, 收敛到 (弱意义)并在勒贝格点处恢复

E.3 散射相位与行列式

固定能量化与 AC 纤维化把 识别为散射相位的二阶谱移原函数,升指数得到


附录 F Fisher 投影几何上界的证明

F.1 模型与投影

白化观测 ,硬约束 的可微子流形 之切空间投影 满足

F.2 主角度与谱界

的最大主角度,有 对所有 。于是 ,从而 。取最大特征值得 ,即方差缩减因子 。证毕。


附录 G 可复现实验的参数与误差预算(简表)

G.1 P1(闭域) 取满足半经典窗;。外推采用双线性(对 )与 Richardson(对 ‑窗)混合。容差:斜率 ;不同角点剖分/规范下漂移

G.2 P2(外域):条带 均匀采样;极点数 以 AIC/BIC 与条带交叉验证联合确定;惩罚项约束 的次数与实轴纯虚条件;先验 仅用作软正则化。容差:CRLB 提升 、虚警

G.3 P3(通道):外推半径、匹配半径与积分步长经网格搜索定标;Wronskian 归一差 ;相位闭合 弧度;随 收敛。


正文与附录完