谱三点关联函数如何解释全息复杂度的饱和？

生成函数取代复杂度算符

论文并没有一开始就定义复杂度算符，而是先研究复杂度的生成函数，也就是在热场双态中对指数 e^{-αC} 求平均，再取 α→0 的极限得到复杂度的期望值。这样做之所以重要，是因为生成函数可以在能量本征基中展开，展开后的每一项都分解为两部分：态密度的谱关联函数，以及复杂度算符在两个能量本征态之间的矩阵元。

对于余维一复杂度，这个谱因子是态密度的两点关联。论文的核心结构性主张是：一旦转向余维零区域，情况就变了，生成函数改由态密度的三点关联函数支配。用引力的语言说，这些关联被解释为非微扰的欧几里得时空虫洞，因此谱展开把一个体几何可观测量与虫洞贡献联系了起来。

余维零复杂度化为两个边界项

余维零可观测量依附于一块体时空区域，这块区域由未来超曲面 Σ+ 和过去超曲面 Σ− 围成，两者都锚定在同一个边界时间片上。论文利用斯托克斯定理，把这类可观测量写成 C_Any = C+ + C−，即与这两个边界对应的两个余维一贡献之和。在经典层面，这两项产生的线性增长与普通余维一复杂度属于同一类型，其增长率 M+ 和 M− 对普通 AdS 黑洞而言正比于 ADM 质量。

正是这一分解使三点结构无法回避。单个余维一量只涉及一对能量标号；余维零量涉及两个这样的量，而两个固定复杂度态之间的重叠又引入第三个能量变量。论文表明，由此得到的概率分布是 Kirkwood–Dirac 准概率分布，而不是平方重叠，因为它含有两个固定复杂度态之间的重叠。在半经典极限下，这个重叠坍缩到对角线上，但虫洞修正使它变得非平凡。

线性增长源于普适的极点结构

论文把早期的线性增长追溯到复杂度算符在能量基中矩阵元的一个具体特征。对固定复杂度态而言，波函数是振荡的，它在邻近能量之间的重叠会产生一对位于 E_ij = ±iα̃ 的单极点。把这个极点结构对时间演化相位做傅里叶变换，就得到线性增长，其增长率由控制该可观测量半经典增长的参数 M 决定。

论文把这当作一种普遍机制，而不是某个模型的特有现象。文中指出，这一构造适用于具有该极点结构的一大类全息可观测量，包括 JT 引力中的测地线长度和双标度 SYK 模型中的弦数算符，后者还实现了 Krylov 扩展复杂度算符。附录中显式计算了 JT 引力中的测地线长度，并表明其矩阵元在复能量平面上具有无穷多个单极点。

谱能级排斥抵消近对角增长

在有限维量子系统中，线性增长不可能永远持续。论文把海森堡时间 T_H = 2πℏ 除以平均能级间距，确定为谱的离散性开始变得重要的尺度。三点谱关联函数的非连通部分主导半经典线性增长，连通部分则编码产生晚期平台的非微扰修正。

抵消机制是能级排斥。当两个能量彼此靠近时，两点和三点关联函数都趋于零，即 R2(Ei,Ej)→0 和 R3(Ei,Ej,Ek)→0。这恰好压制了导致线性增长的近对角贡献，于是增长率渐近消失，平台形成。论文强调，能级排斥是量子混沌系统的普遍特征，因此它把饱和呈现为一种普遍机制，而非某个模型特有的巧合。附录把这一检验推广到三个 Dyson 类，在这些类中同样的短距离压制依然成立，尽管具体的时间依赖不必与 GUE 多项式一致。

虫洞使固定复杂度基过完备

论文还给出通往同一结论的第二条路径，即算符层面的路径。在半经典层面，固定复杂度态构成一个连续标号的族，其振荡波函数重现了所需的极点结构。一旦纳入非微扰的欧几里得虫洞修正，不同的固定复杂度态之间就出现非平凡重叠，于是这个连续族变得过完备，概率分布也不再可归一化。

解决办法是用 Gram–Schmidt 过程从该族中提取一组完备正交基。相对于这组基，可以为余维一情形构造良定义的复杂度算符；对余维零情形，则把两个各自正交化的算符相加。由此得到的期望值重现了同样的定性时间演化：当时间远短于 T_H 时，以 M+ + M− 的速率线性增长；当时间远长于 T_H 时，进入平台。论文指出，这个平台正是有限维的表述：有限数目的黑洞微观态无法支撑无限增长。

一阶矩隐藏了三点信息

有一个结果值得单独说明，因为它容易被误读。尽管余维零生成函数由三点谱关联支配，余维零复杂度算符的期望值却只依赖两点关联。论文解释了原因：该算符是 C_Any,O = C+,O + C−,O 之和，因此它的一阶矩就是两个单独一阶矩之和，线性性消去了混合项。

不过三点信息并没有丢失。更高阶矩含有两个算符的混合乘积，而混合二阶矩涉及两组正交基之间的重叠，这一重叠把两者耦合起来，从而带回三点关联。同样的信息也通过有序混合贡献，在生成函数的二次阶重新出现。因此，比较不同谱表述的读者应当把一阶矩与更高阶矩区分开，而不是把三点结构当成由余维零构造得到的每个可观测量都具备的性质。

普适性覆盖增长到平台的转变

论文的普适性主张是具体的。被主张为普适的，是定性的时间演化，即指数级长的线性阶段随后在海森堡时间处饱和，以及产生这一演化的机制。论文并未主张具体的时间依赖在不同 Dyson 类之间完全相同；附录指出，显式的傅里叶变换和平台系数依赖于对称性类，而支撑抵消的短距离压制在三个类中都是共同的。

论文也标出了其构造的边界。除附录讨论的少数低维例子外，显式的微观波函数描述在完整引力中通常是不可得的。作为全息复杂度另一项预期诊断的往返效应（switchback effect）并未在此计算；论文勾勒出单个扰动将由四点函数支配，且交叉振幅呈现类似的极点结构，详细推导留待另作。平台的定义也是不存在持续的线性增长、增长率渐近为零，因此诸如对数项这样的次领头时间依赖贡献仍可能存在。

谱图像才是论文的真正贡献

阅读这篇论文最有用的方式，是把它看作围绕谱统计对全息复杂度的一次重新组织。线性增长被追溯到复杂度矩阵元中的极点结构；饱和被追溯到态密度中的能级排斥；两者之间的桥梁是三点谱关联函数，并被解释为欧几里得时空虫洞。这条链条，而非任何单个公式，才是论文的独特主张。

对于要决定带走什么的读者，优先要把握的是生成函数与其一阶矩之间的区别。三点关联和虫洞修正进入的是生成函数，余维零构造在结构上区别于余维一情形的地方也在生成函数。一阶矩则约化为两个余维一部分，并隐藏了这些信息。因此，论文在黑洞内部、混沌谱统计与欧几里得虫洞之间建立的统一联系，最清楚地体现在生成函数和更高阶矩中，而不是单独体现在复杂度的期望值里。

本文引用的文献