泛函重整化群作为Ricci流：信息度量动力学的?-熵视角

《Physical Review D》：Functional renormalization group as a Ricci flow: An ? -entropy perspective on information metric dynamics

　　我们建立了泛函重整化群与由势驱动微分同胚修正的里奇流之间的几何对应关系。通过将波林斯基精确重整化群(RG)方程改写为场分布泛函的无穷维福克-普朗克方程，我们展示了由“热力学”自由能泛函驱动的概率流如何诱导耦合常数流形上费雪信息度量的演化。利用该自由能泛函的连续尺度耗散率，我们构造了一个RG流熵泛函，它为佩雷尔曼的?-熵提供了无穷维对应物。该RG流熵的参数化海森矩阵进而编码了费雪信息度量的尺度形变，从而将场构型空间中的约当-金德勒勒-奥托(JKO)-瓦瑟斯坦流与耦合常数流形的几何联系起来。一个涌现的标量信息势Φ编码了势驱动微分同胚分量，在耦合坐标的重参数化下恢复了流的张量形式。在这种表示中，高能自由度的逐次积分有效地平滑了信息流形的曲率，使得RG不动点实现为稳态里奇孤子平衡。这些结果将量子场论、最优输运和佩雷尔曼的几何演化理论联系起来，为表征量子场论的稳定性、普适性和拓扑结构提供了几何框架。

一、引言

重整化群(RG)由威尔逊和韦格纳引入[1,2]，为描述有效量子理论在粗粒化下如何变化以及宏观现象如何从微观自由度中涌现提供了系统框架。在这个宽泛的框架内，泛函重整化群(FRG)提供了非微扰精确流方程，其中最著名的是有效平均作用量ΓΛ的韦特里希方程[3]。然而，将精确RG轨迹与耦合常数流形的度量和曲率动力学联系起来的通用信息几何原理尚未完全建立。

这种原理的自然语言是信息几何，它通过费雪信息度量赋予参数化概率分布族黎曼结构，从而量化邻近有效理论的统计可区分性[4–8]。相关的信息几何和热力学方法已被用于将理论空间中的RG轨迹解释为测地运动、熵产生流或与单调泛函相关的梯度流[9–17]。粗粒化也被解释为信息损失和统计推断，RG变换被表述为量子信道，其可区分性的收缩诱导了信息几何结构[18–20]。最近，已为散度泛函导出了精确FRG演化方程，同时在泛函层面上以度量、联络和协变导数发展了欧几里得量子场的信息几何[21,22]。

在几何分析方面，哈密尔顿的里奇流和佩雷尔曼的??-熵提供了曲率演化的熵梯度表述，其中??-泛函沿修正里奇流动力学是单调的[23–28]。将RG流与曲率演化联系起来的著名物理先例出现在非线性sigma模型中，其中靶空间度量的一圈β函数正比于靶空间里奇张量[29–35]。然而，这种靶空间关系本身并不为耦合常数流形上的费雪信息度量提供曲率流表述。最近的最优输运方法表明，波林斯基精确RG方程可以重新表述为场论相对熵的瓦瑟斯坦梯度流[36]。尚待发展的是诱导费雪度量流的张量几何描述，包括该信息流形的内蕴曲率以及与耦合坐标重参数化相关的微分同胚分量。

在本文中，我们通过从精确RG的波林斯基形式出发并构造诱导费雪度量动力学的修正里奇流表示来弥合这些方法。具体地，我们将此精确RG流表述为场构型上概率泛函的泛函约当-金德勒勒-奥托(JKO)-瓦瑟斯坦梯度流，由“热力学”自由能泛函驱动[36]。由此构造，我们提出了耦合常数流形上费雪信息度量的修正里奇流方程：其尺度导数分解为内蕴里奇曲率和涌现标量信息势Φ的协变海森矩阵。虽然Φ是隐式确定的而非闭式求解的，但其协变海森矩阵生成了势驱动微分同胚项，该项吸收了费雪度量流的坐标依赖分量，并在耦合坐标的重参数化下恢复协变性。

我们进一步从同一热力学自由能泛函的连续尺度耗散率构造了RG流熵泛函，表明重整化诱导的费雪度量形变由该熵景观的参数化海森矩阵支配。因此，这些结果将非微扰精确RG流置于佩雷尔曼几何演化理论的框架内，为表征RG不动点作为信息流形的稳态里奇孤子平衡提供了几何框架。

二、从福克-普朗克方程到里奇流

A. 从福克-普朗克方程到信息度量流

为了描述统计系综的动力学演化，我们考虑福克-普朗克方程[37–40]，它支配概率密度函数ρ(x,t)的时空演化：

?ρ/?t = -?·(b(x,t)ρ) + ?·(D(x,t)?ρ) (1)

这里，漂移矢量b(x,t)代表系统的确定性宏观流，扩散张量D(x,t)考虑随机涨落。此福克-普朗克框架基于统计扩散与RG流之间的结构对应引入，其中高能模的逐次积分作为粗粒化过程起作用。因此，方程(1)决定了信息度量g_ij(θ)的尺度依赖演化，为几何映射到里奇流提供了初始框架。

为了分析与ρ(x,t)相关的参数空间的几何结构，我们采用费雪信息度量g_ij(θ)，定义为[4,5,41]

g_ij(θ) = ∫ ρ(x,θ) ?_i ln ρ(x,θ) ?_j ln ρ(x,θ) dx (2)

该度量量化了参数θ的无穷小变化下概率分布的可区分性，赋予参数流形黎曼结构，反映了系统的涨落。

当概率密度ρ(x,θ)按照方程(1)演化时，费雪信息度量的时间变化率?g_ij/?t从概率流的连续性结构导出。遵循随机系统的几何表述[42,43]，度量形变方程为

?g_ij/?t = ∫ ρ (?_i ln ρ ?_j v_eff + ?_j ln ρ ?_i v_eff) dx (3)

其中v_eff表示概率流的有效速度场，定义为

v_eff = b - D ? ln ρ (4)

方程(4)通过平衡漂移b与扩散诱导流来定义净概率流速度。因此，方程(3)表明信息度量的演化由该速度场的梯度与信息得分函数耦合决定。这种关系表明，漂移和扩散过程中的局域信息耗散导致参数空间的整体几何形变，为与经典里奇流的比较建立了数学基础。在此表述中，我们假设概率密度ρ(x,θ)属于光滑、快速递减的连续函数类，其中参数导数在边界处比任何多项式衰减更快，确保分部积分的所有边界项消失。

B. 从信息度量流到里奇流

里奇流根据?g_ij/?t = -2R_ij演化黎曼度量，其中R_ij是由g_ij构造的里奇张量。它描述了流形的局域距离结构如何响应其内蕴曲率而变化。对于费雪度量，这些距离量化了参数流形上邻近概率分布的统计可区分性。里奇流背后的几何思想的入门性论述可见参考文献[25,28]。

尽管方程(3)描述了福克-普朗克动力学诱导的费雪度量形变，但在分离形变的坐标依赖部分之前，该统计生成的流不能直接等同于经典里奇流。经典里奇流仅由流形的内蕴黎曼曲率支配，而由统计动力学导出的费雪度量流通常包含与参数流形坐标选择相关的坐标依赖形变项。这些坐标依赖项反映了重参数化统计流形的自由。由于费雪度量度量的是概率分布之间的可区分性而非用于描述它们的特定坐标标签，耦合坐标的重参数化以李导数贡献的形式出现在度量流中，而非作为内蕴曲率演化。因此，方程(3)不应直接等同于经典里奇流。在进行这种比较之前，与参数流形重参数化相关的坐标依赖李导数贡献必须从内蕴曲率贡献中分离出来。这自然导致带微分同胚项的修正里奇流描述[33,44,45]。附录A给出了费雪度量流与由g_ij构造的里奇张量之间的显式比较，并导出了修正里奇流形式所需的微分同胚约束。

这种结构类似于规范场论中的规范固定和里奇流的德图尔克修正，其中引入辅助微分同胚项来控制坐标自由度，在里奇流情形下获得严格抛物型演化方程[45–47]。为了使这种识别在几何上一致，信息度量动力学被嵌入包含显式微分同胚项的修正里奇流框架中。在参数流形上，由矢量场V生成的无穷小重参数化通过其李导数改变度量张量：?_V g_ij = ?_i V_j + ?_j V_i。当该矢量场由标量信息势Φ按照约定V = ?Φ生成时，李导数项变为Φ的协变海森矩阵的二倍负值：?_V g_ij = -2?_i?_jΦ。因为福克-普朗克诱导的费雪度量流的坐标依赖分量具有这种李导数结构，它们被Φ生成的势驱动微分同胚所吸收。因此，信息度量演化采取修正里奇流形式

?g_ij/?t = -2R_ij - 2?_i?_jΦ (5)

这里，R_ij是由费雪信息度量g_ij构造的里奇张量，而?_i?_jΦ是标量信息势Φ的协变海森矩阵。

信息势Φ不是任意辅助场。在标量迹水平上，它由修正里奇流关系连同费雪度量形变确定。利用g^ij(?g_ij/?t) = g^ij(-2R_ij - 2?_i?_jΦ)和方程(3)中?g_ij/?t的对称性，可得

ΔΦ = R - (1/2) g^ij ?g_ij/?t (6)

方程(6)通过将修正里奇流方程与g^ij缩并并利用方程(3)中?g_ij/?t的对称性获得。对于非退化费雪度量，Δ = g^ij?_i?_j是椭圆拉普拉斯-贝尔特拉米算子，因此方程(6)是Φ的标准泊松型方程，其通常的存在性和唯一性条件由所选的边界或归一化数据确定[48]。

C. ??-熵泛函

为了描述统计态及其几何演化，我们引入热力学自由能泛函F[ρ]，它支配最优输运动力学，以及作为信息几何李雅普诺夫势的??-熵泛函，类似于佩雷尔曼的能量泛函[24]：

F[ρ] = ∫ ρ (v_eff^2/2 + U_eff) dx (7)

其中U_eff定义势景观。福克-普朗克方程的漂移项b和扩散张量D通过关系

b = -?U_eff + D ? ln ρ (8)

确定沿该景观的轨迹。

基于这些定义，福克-普朗克方程可以通过自由能F[ρ]的泛函变分重新表述为瓦瑟斯坦梯度流表示，符合耗散系统的JKO框架[49–51]：

?ρ/?t = ?·(ρ ?(δF/δρ)) (9)

方程(9)表明概率分布ρ(x,t)的时间演化遵循自由能景观的梯度。

该能量耗散率定义??-熵泛函：

??[ρ] = dF/dt = -∫ ρ |?(δF/δρ)|^2 dx (10)

其中有效势v_eff由

v_eff = ?(δF/δρ) (11)

给出。

通过应用最优输运动力学与参数空间信息几何变分之间的对偶映射[15,42,52]，方程(3)诱导的费雪度量流可以与统计??-熵的第二参数变分联系起来。保持“离壳”残余扇区显式，这种关系采取形式

?g_ij/?t = -?^2??/?θ^i?θ^j + Λ_ij + Θ_ij (12)

方程(12)表明费雪度量形变由??-熵泛函的二阶参数导数支配。这里，Λ_ij是势约束块，Θ_ij是由??的直接二阶参数微分生成的加权参数残余。Λ_ij和Θ_ij的显式形式及其在稳态零流轮廓上的相消机制在附录B中给出。在该扇区中，Λ_ij逐点消失，加权残余Θ_ij化为全散度；在与分部积分所用相同的边界条件下，积分残余项消失，方程(12)化为海森匹配关系。

为了建立度量演化与里奇流之间的几何关系，我们推导了参数空间曲率与熵泛函海森矩阵相关的条件。在势ansatz Φ = -???/?s下，将修正里奇流方程与方程(12)中的熵恒等式结合，将联络分量重排为广义孤子方程。施加无挠列维-奇维塔联络给出几何恒等式：

R_ij = ?_i?_jΦ + (1/2) ?^2??/?θ^i?θ^j - (1/2)(Λ_ij + Θ_ij) (13)

方程(13)是限制到相容费雪-瓦瑟斯坦扇区之前的曲率关系。瓦瑟斯坦解释阐明了该相容扇区的几何意义。在JKO-奥托表述中，概率空间的切矢量由梯度输运流表示。一个一般性的非质壳概率流可能包含一个额外的非梯度分量或旋转分量，该分量度量了与内蕴Wasserstein梯度扇区的偏离。此处考虑的相容扇区将概率输运限制在该梯度扇区内；因此，非梯度贡献不存在，而方程(12)和(13)中的残余项由附录B中描述的稳态零流消除机制移除。这一表述对应于Fokker-Planck动力学在Ricci流背景[51–53]中的几何嵌入，将系综的最优输运弛豫识别为Perelman稳态Ricci孤子演化。基于方程(13)中的关系，参数空间上的全局几何-熵泛函定义为(14)。方程(14)对应于Perelman熵泛函[24]的信息几何类比。权重因子从概率密度映射中引入，其中系综分布与Riemann体积元进行积分。

信息度规的时间演化可以表示为该全局泛函的Riemann梯度流。对关于逆度规取泛函变分导数，得到(15)。方程(15)表明，由Fokker-Planck方程驱动的动力学可以表述为变形几何-熵景观的修正Ricci流。通过泛函导数表示的度规变形率表明势函数包含了依赖于坐标的分量。

III. 从泛函重整化群到Ricci流

A. FRG方程回顾

受精确重整化群流的概率论诠释的启发——其中有效理论由依赖于尺度的概率泛函表示，其RG演化被表述为泛函对流-扩散或Fokker-Planck流[54]——我们将第二节中建立的统计扩散与修正Ricci流之间的几何等价性推广到量子场论。因此，我们定义截断尺度下场构型统计分布的概率密度泛函为(16)。这里，表示张成理论空间的耦合常数集合，表示配分函数，作为通过对场构型积分得到的归一化因子：(17)。指数中的总作用量分解为控制场自由传播的二次Gaussian部分和由耦合常数确定的多局域算子的相互作用泛函：(18)。在该表示中，是裸传播子，表示满足边界条件当以及当的动量相关截断函数。该函数抑制高能涨落，以在尺度下定义有效理论。这种分布结构通过将RG过程视为统计系综的演化，把理论的尺度依赖轨迹映射到几何框架上。

由于概率密度泛函的积分在能量尺度的连续变形下守恒，概率分布满足泛函归一化不变性条件：(19)。基于该不变性，由Polchinski精确RG方程[55]控制的的连续尺度演化可以表述为无穷维Fokker-Planck方程：(20)。方程(20)将Polchinski型重整化群方程表达为统计扩散过程，将Wilsonian粗粒化范式[1,56,57]嵌入随机框架中。这一诠释与精确RG流的最优输运表述一致，其中Polchinski方程被重新表述为场论相对熵的Wasserstein梯度流[36]。该泛函表述与通过Wetterich方程或Morris表述[3,58–63]求得的精确RG流相关。扩散核和有效势由截断函数和自由作用量的尺度导数定义：(21)。利用这些定义，归一化自由Gaussian分布满足方程20，与文献[36]一致。为表达该泛函微分方程，我们引入以下无穷维算子：(22)(23)(24)。这些算子定义了场构型空间中的Laplacian、梯度和散度，提供了以几何扩散语言描述RG流的记号。

利用上述定义的算子，RG流下概率密度的演化表示为场空间中的连续性方程：(25)，其中表示场空间中的概率速度场，由Fokker-Planck方程的扩散项和漂移项导出：(26)。由方程(26)定义的速度场满足总概率守恒：(27)。该速度场可以表示为有效势的梯度：(28)。有效势是总概率密度与裸Gaussian权重之间的泛函相对熵（或Kullback-Leibler散度）[6,64,65]：(29)。因此，方程(25)–(29)表明RG流遵循该泛函相对熵在场空间中的梯度。这种相对熵梯度流结构与精确RG流的最优输运表述一致，其中Polchinski方程被重新表述为场论相对熵的Wasserstein梯度流[36]。它为第二节中讨论的到Ricci流的几何映射提供了动力学表述。

为了将第二节中建立的几何等价性推广到FRG的非微扰区域，通过以下代数映射将统计漂移矢量场和扩散张量与Polchinski框架的泛函算子识别：(30)(31)。方程(30)将构型空间中有效裸势的泛函导数映射为宏观漂移。同时，方程(31)将由动量截断的尺度演化确定的Polchinski核与无穷维统计扩散系数识别。这些关系将FRG尺度演化表述为场构型空间中的扩散过程。由于该映射涉及不同层级上的有限维状态空间变量、时空标签和耦合坐标，本节中使用的Fokker-Planck-FRG对应关系总结于表I和附录C中。

表I. 将第二节的有限维Fokker-Planck构造提升到Polchinski FRG的核心对应关系。FRG侧的状态变量为完整场构型；时空坐标、是与有限维指标、对应的连续标签。参考截断固定。Fokker-Planck表述 Polchinski FRG表述 状态空间点 场构型 状态空间指标、 连续时空标签、 时间变量 RG时间 统计参数 耦合坐标 概率密度 概率泛函 状态空间积分 泛函积分 状态空间导数 泛函导数 扩散张量 Polchinski核 标量势 Polchinski势 漂移 场空间漂移 概率速度 场空间概率速度 Fisher度规 耦合空间Fisher度规

B. 从Fokker-Planck型FRG方程到信息度规流

为了分析FRG框架中由尺度变换诱导的信息几何，我们在与概率泛函族相关的耦合常数流形上定义Fisher信息度规：(32)。方程(32)量化了在耦合常数无穷小变化下概率泛函的统计可区分性，在理论空间上定义了Riemann结构。

当概率密度泛函按照无穷维Fokker-Planck方程演化时，信息度规关于的尺度导数由流方程给出：(33)，其中是由截断核和相互作用项确定的局域有效速度场：(34)。方程(34)组合了Polchinski重整化过程的漂移和扩散分量。因此，方程(33)表明信息度规的演化取决于该有效势的参量变化与信息得分函数的耦合，将第二节中建立的有限维关系推广到无穷维区域。

C. 从信息度规流到Ricci流

为了赋予度规演化(33)几何诠释，我们遵循第二节和附录A中的修正Ricci流构造，取。将方程(5)与该演化匹配给出约束：(35)。这里，和是与耦合空间Fisher度规关联的Ricci张量和Levi-Civita协变导数。该微分约束定义了势驱动的微分同胚，确立了沿Ricci流轨迹的协变性。

D. -熵泛函

为了分析统计态与其尺度依赖演化之间的关系，我们在泛函JKO-Wasserstein范式[49,50]中将热力学自由能泛函推广到无穷维构型空间：(36)，其中是方程(21)中定义的Polchinski有效势。在该表述下，方程(20)中的Polchinski Fokker-Planck方程通过该RG流能量泛函的泛函变分表达为泛函梯度流表示：(37)。方程(37)中将重整化群表述为泛函梯度流，确定了支配分布在场空间中运动的概率速度场的结构。根据速度场与有限维情形下熵变分之间的关系，泛函速度场导出为(38)。方程(38)定义了FRG尺度演化的机制，其中速度场对应于-能景上由Polchinski核加权的泛函导数，该核作为构型空间中的局域度规来确定场分布的轨迹。

沿重整化轨迹的能量耗散率定义了RG流熵泛函，与Perelman能量框架[24]相关：(39)。在方程(39)中，第一项代表随机扩散引起的信息耗散，其余项代表由截断核确定的背景势景观。

对该-熵关于耦合坐标和取二阶变分，给出有限维残差分解的泛函类比：(40)。方程(40)中的积分项定义了泛函残差扇区。这里，是泛函势约束块，是对应的参量剩余项。它们是在附录C总结的词典下，附录B中导出的有限维残差的场论提升。因此，方程(40)应理解为非质壳泛函度规流分解：第一项是的直接参量Hessian，而第二项记录在相容零流扇区中移除的残差不匹配。这些残差的显式泛函形式未给出，因为不具有启发意义。

为了将该度规流关系转化为耦合常数流形上的曲率关系，我们将方程(40)与由方程(5)得到的约束(35)进行比较。使用与上述相同的势约定，微分同胚贡献变为。令的两个表达式相等并除以，得到包含残差的Ricci曲率与熵变分之间的关系：(41)。方程(41)中的残差积分通过在固定RG尺度下将泛函流限制到相容零流扇区而移除。在该扇区中，场空间概率流消失。附录B中导出的有限维抵消直接提升到场构型空间：逐点消失，而加权剩余项成为泛函全散度。因此，在分部积分所用的相同泛函边界条件下，方程(41)中的残差积分不贡献任何项。等价地，该相容零流扇区是泛函概率流的Wasserstein梯度输运扇区，其中作为场空间迁移率核[49–51,55]。因此，方程(41)约化为控制协变几何流的无残差曲率-Hessian平衡关系。

该约化关系是修正稳态Ricci孤子方程的FRG类比。标量势提供耦合坐标重参数化下协变性所需的微分同胚分量，而的参量Hessian提供熵驱动项。因此，RG不动点被表述为几何平衡态，其中耦合常数流形的内蕴Ricci曲率由生成的Hessian贡献平衡。

基于该关系，耦合常数流形上的全局几何-熵泛函定义为(42)。方程(42)对应于Perelman熵泛函[24]的信息几何类比。参量体积元中的权重因子来源于信息几何映射，使得该泛函可以作为重整化群流的Lyapunov势。

FRG流下信息度规的尺度依赖演化可以表示为该全局-熵泛函的Riemann梯度流：(43)。通过变分导数表述的度规变形率表明，非微扰RG过程对应于几何梯度流，其中势函数考虑坐标依赖分量以确保流关于参数空间内蕴曲率的协变性。

E. 示例：弱相互作用标量场

我们比较具有略微不同的二次和四次耦合的场的场分布。方程(32)中的Fisher度规度量其统计可区分性，方程(33)确定其在Polchinski RG演化下的变化。将这一度量变化与式(43)中同一耦合流形的曲率相结合，便得到信息势 \(\mathcal{I}\) 必须以其协变Hessian形式再现的显式张量。这两个耦合定义了一个二维流形，独立于时空维度 \(d\)。这是研究统计可区分性变化并同时具有非平凡内蕴曲率的最小设定，因为一维流形的内蕴曲率为零。

考虑式(18)的正则化标量理论，位于有限周期体积 \(V\) 中，初始作用量为
\[
S[\phi] = S_2[\phi] + \frac{\lambda_4}{4!}\int d^dx\,\phi^4 \tag{44}
\]
其中，\(S_2\) 是式(18)的二次部分，\(\lambda_2\) 使其质量项发生偏移，\(\lambda_4\) 是弱的四次耦合。我们假设高斯二次形式为正定。初始分布 \(\rho_i\)，其期望值为 \(\langle O_i\rangle\)，在式(20)下演化，具有公共核 \(\mathcal{K}\) 和漂移势 \(V_{\mathrm{drift}}\)，两者在每一重整化群标度下均不依赖于 \(\lambda_2\) 和 \(\lambda_4\)。

与文献[36]第V B节中相互作用的标量场示例类似，我们在初始截断处评估重整化群响应。记 \(\ell = -\ln(\Lambda/\Lambda_0)\)，其中 \(\ell\) 随截断减小而增大。标记 \(i\) 区分初始分布，并在该演化过程中保持不变。

得分 \(s_i = \partial_i \ln \rho\)，其中 \(\partial_i = \partial/\partial \lambda_i\)，表示耦合可观测量（即 \(O_2 = \frac{1}{2}\int \phi^2\) 和 \(O_4 = \frac{1}{4!}\int \phi^4\)）的涨落。式(32)因此给出
\[
\gamma_{ij} = \langle s_i s_j\rangle_c \tag{45}
\]
下标 \(c\) 表示连系关联，即 \(\langle AB\rangle_c = \langle AB\rangle - \langle A\rangle\langle B\rangle\)。因此，\(\gamma_{22}\) 和 \(\gamma_{44}\) 分别是二次和四次可观测量的方差，而 \(\gamma_{24}\) 是它们的协方差[22]。在固定的 \(\lambda_4\) 下，\(\gamma_{22}\) 将质量磁化率识别为相邻二次耦合之间可区分性的度量。

围绕 \(\lambda_2 = 0\) 展开，我们使用高斯传播子 \(G = \langle \phi\phi\rangle_0\)。这里，\(\langle \cdot\rangle_0\) 是式(18)中固定有质量裸传播子的高斯平均值；\(G\) 描述场关联，而度量张量 \(\gamma_{ij}\) 则衡量耦合空间中的可区分性。

记 \(\langle \cdot\rangle_0\) 为 \(\lambda_2 = 0\) 处的高斯平均，则有 \(\partial_i \ln \rho_0 = -\partial_i S_0\)。Wick收缩后给出式(45)中连系关联的具体表达式：
\[
\gamma_{22} = \frac{1}{4}\int_x\int_y G(x,y)^2,\quad
\gamma_{24} = \frac{1}{4!}\int_x\int_y\int_z G(x,y)G(y,z)G(z,x),\quad
\gamma_{44} = \frac{1}{(4!)^2}\int_x\int_y\int_z\int_w G(x,y)G(y,z)G(z,w)G(w,x) + \text{（连系四点项）}
\]

为了评估 \(\gamma_{ij}\)，我们使用传播子积分 \(I_n\)，它们被理解为对正则化模式的和归一化。利用恒等式 \(\partial_{\lambda_2} G = -\frac{1}{2}\int_x G^2\)，对 \(\lambda_2\) 微分两次，如式(45)所规定，并利用 \(\partial_{\lambda_2}\langle O\rangle_0 = -\frac{1}{2}\int_x\langle O\phi^2\rangle_0\)，我们得到
\[
\gamma_{22} = \frac{1}{4}\int_x\int_y G_0(x,y)^2 + \lambda_4 \left( \text{蝌蚪项} \right) + \lambda_4^2 \left( \text{连系四点项} \right) + O(\lambda_4^3) \tag{46}
\]
高斯项和两个相互作用修正提供了一个微扰基准：蝌蚪项和连系四点贡献在固定截断和裸 \(\lambda_4\) 下减小了磁化率。

曲率需要完整的度量张量 \(\gamma_{ij}\)。我们计算高斯边界 \(\lambda_2 = 0\) 处的度量和曲率，此时所需关联可通过Wick收缩显式计算。耦合导数在取极限之前进行，从而保留四次耦合的变化。分量 \(\gamma_{24}\) 还涉及空间积分 \(\int_x\int_y G_0(x,y)^3\)。式(45)中的协方差则给出
\[
\gamma_{22} = \frac{1}{4}\int_x\int_y G_0(x,y)^2,\qquad
\gamma_{24} = \frac{1}{4!}\int_x\int_y\int_z G_0(x,y)G_0(y,z)G_0(z,x),\qquad
\gamma_{44} = \frac{1}{(4!)^2}\int_x\int_y\int_z\int_w G_0(x,y)G_0(y,z)G_0(z,w)G_0(w,x) + \frac{1}{(4!)^2}\int_x\int_y G_0(x,y)^4 \tag{47}
\]
正的行列式表明，在 \(\lambda_2 = 0\) 处，两个耦合方向仍然是可区分的。\(\gamma_{ij}\) 的第二和第三阶 \(\lambda\) 导数由高斯累积量计算。

初始重整化群变化由式(33)给出（推导见附录D.1）。由于核 \(\mathcal{K}\) 和漂移势 \(V_{\mathrm{drift}}\) 不依赖于 \(\lambda_i\)，速度场 \(\beta_i = \partial_\ell \lambda_i\)（式(26)）的耦合导数仅作用于 \(\gamma_{ij}\)。将得分 \(s_i\) 与 \(\partial_\ell s_i\) 和 \(\partial_i s_j\) 一起代入，得到
\[
\partial_\ell \gamma_{ij} = -\frac{1}{2}\int_x\int_y \left( \frac{\delta^2 \gamma_{ij}}{\delta \phi_x \delta \phi_y} \right) \mathcal{K}(x,y) + \text{（漂移项）} \tag{48}
\]
第二行是关于 \(\lambda_2 = 0\) 且固定 \(\lambda_4\) 的一阶展开，其中 \(\gamma_{ij}\) 在高斯理论中计算。这里，\(\mathrm{Tr}\) 表示对正则化场模式的迹，\(\circ\) 表示算符复合。对于具有非负特征值的对称核 \(\mathcal{K}\)，式(48)的第一行对每个固定的无穷小分离 \(\delta \lambda\) 给出 \(\partial_\ell \gamma_{ij}\delta\lambda_i\delta\lambda_j \le 0\) [见式(D5)]。因此，相邻分布之间的平方统计距离 \(\delta s^2 = \gamma_{ij}\delta\lambda_i\delta\lambda_j\) 在第一步重整化群演化中不会增加，与粗粒化下可区分性的收缩一致[19,20]。正的 \(\lambda_4\) 修正使 \(\partial_\ell \gamma_{22}\) 负的程度减小：弱排斥减少了沿质量方向的初始可区分性损失。

在 \(\lambda_2 = 0\) 处，所有三个度量分量按相同恒等式演化。重整化群核通过积分 \(I_1\) 和 \(I_2\) 进入，因此式(48)给出
\[
\partial_\ell \gamma_{22} = -\frac{1}{2}\mathrm{Tr}(\mathcal{K} G_0^2) + \lambda_4 \left( \text{修正项} \right),\qquad
\partial_\ell \gamma_{24} = -\frac{1}{2}\mathrm{Tr}(\mathcal{K} G_0^3) + \lambda_4 \left( \text{修正项} \right),\qquad
\partial_\ell \gamma_{44} = -\frac{1}{2}\mathrm{Tr}(\mathcal{K} G_0^4) + \lambda_4 \left( \text{修正项} \right) \tag{49}
\]

现在计算耦合流形的曲率，这是式(43)的另一个输入。在二维中，Ricci张量由标量曲率和度量张量决定。利用 \(\gamma_{24}\) 与 \(\gamma_{22}\) 和 \(\gamma_{44}\) 的特定关系（即 \(\gamma_{24}^2 \le \gamma_{22}\gamma_{44}\)），Hessian结构 \(\nabla^2 \mathcal{I}\) 进一步简化了联络和曲率的一般公式 (A4)–(A5)，得到一个仅涉及二阶和三阶耦合导数的表达式（推导见附录D）：
\[
R = \frac{1}{\det(\gamma)}\begin{vmatrix}
\gamma_{22} & \gamma_{24} & \gamma_{44}\\
\partial_2\gamma_{22} & \partial_2\gamma_{24} & \partial_2\gamma_{44}\\
\partial_4\gamma_{22} & \partial_4\gamma_{24} & \partial_4\gamma_{44}
\end{vmatrix} \tag{50}
\]
这里，\(R\) 是标量曲率，\(\gamma_{ij}\) 的下标表示耦合导数。行列式包含第一行中的三个独立度量分量，以及接下来两行中的 \(\lambda_2\) 和 \(\lambda_4\) 导数。

在 \(\lambda_2 = 0\) 处，\(\partial_2\gamma_{ij}\) 和 \(\partial_4\gamma_{ij}\) 通过 \(\gamma_{24}\) 和 \(\gamma_{44}\) 的显式表达式计算。混合二次-四次和纯四次关联涉及空间积分 \(I_3\) 和 \(I_4\)。将式(D15)中的导数代入得到
\[
R = \frac{\lambda_4}{3}\frac{I_3^2}{I_2^2} + O(\lambda_4^2) \tag{51}
\]
这连同度量张量式(47)，确定了 \(\lambda_2 = 0\) 处的Ricci张量 \(R_{ij}\)。

因此，度量张量及其曲率由相同耦合可观测量（即 \(\int \phi^2\) 和 \(\int \phi^4\)）的二阶和三阶连系累积量决定。这表明可以研究这些关联的Callan-Symanzik演化[66,67]是否能组织为具有类膨胀标量势的修正Ricci流[32]。建立这种联系可能为 \(\mathcal{I}\) 提供一个场论表征，通过 \(\beta\) 函数和复合算符的混合来实现。

对于这里考虑的初始重整化群步骤，计算出的度量变化和曲率决定了Ricci流关系式(43)所需的 \(\mathcal{I}\) 张量。在熵恒等式(40)中，我们将剩余贡献写为 \(\mathcal{R}_{ij}\)，在 \(\lambda_2 = 0\) 处计算。利用式(39)中定义的 \(\mathcal{I}\)，两个关系给出
\[
\partial_\ell \gamma_{ij} = -2R_{ij} + \nabla_i\nabla_j\mathcal{I} \tag{52}
\]
剩余量 \(\mathcal{R}_{ij}\) 可以从相同的初始关联计算。其二次分量为
\[
\mathcal{R}_{22} = -\frac{1}{2}\mathrm{Tr}(\mathcal{K}G_0^2) - \frac{1}{2}\frac{\partial^2 \mathcal{I}}{\partial \lambda_2^2} \tag{53}
\]
即使在 \(\lambda_2 = 0\) 处，式(53)也给出 \(\mathcal{R}_{22} \ne 0\)，该值通常非零：自由高斯参考在Polchinski流下演化。附录D.4给出了推导和所有三个剩余分量。

将计算得到的度量(47)、形变(49)和曲率(51)代入式(52)的第一个等式中，得到显式张量
\[
\nabla_i\nabla_j\mathcal{I} = \partial_\ell\gamma_{ij} + 2R_{ij} \tag{54}
\]
所有量均在 \(\lambda_2 = 0\) 处计算。第一项包含二次方向及其与四次方向的重叠；第二项仅贡献给 \(\nabla_2\nabla_2\mathcal{I}\) 分量。式(54)是将第III.B–III.D节应用于两耦合 \(\lambda_2\)-\(\lambda_4\) 族的显式结果。在初始重整化群标度和高斯边界处，Polchinski核和场关联确定了 \(\mathcal{I}\) 所需的所有三个协变Hessian分量。该张量必须伴随Ricci项，以重现统计可区分性的计算重整化群变化。

IV. 结论

这里发展的分析将Polchinski泛函重整化群公式化为由热力学自由能驱动的场分布的泛函JKO-Wasserstein梯度流。在该公式中，耦合常数流形上Fisher信息度量的标度导数分解为内蕴Ricci曲率 \(R_{ij}\) 和涌现标量信息势 \(\mathcal{I}\) 的协变Hessian，从而得到理论空间的修正Ricci流。势 \(\mathcal{I}\) 生成与耦合坐标重参数化相关的微分同胚分量，因此组合 \(\partial_\ell\gamma_{ij} + 2R_{ij}\) 支配着信息度量的协变几何演化。然而，\(\mathcal{I}\) 的表征仍然隐含，满足完整张量方程(5)且具有适当边界条件的解的存在性仍然开放。其几何作用之外的直接物理解释也有待建立。

相同的度量演化通过重整化群流熵允许熵表述，该熵由自由能的连续标度耗散率定义。其参数Hessian支配Fisher度量的标度依赖性，将短距离涨动的积分与相邻有效理论统计可区分性的变化联系起来。这建立了FRG的JKO-Wasserstein公式与耦合流形修正Ricci流几何之间的变分联系。

该几何演化的平稳极限提供了非微扰FRG不动点的表示。当 \(\beta\) 函数消失且诱导的Fisher度量变为平稳时，流化为稳态Ricci孤子条件
\[
\nabla_i\nabla_j\mathcal{I} + 2R_{ij} = 0
\]
在这些不动点处，耦合流形的内蕴Ricci曲率由信息势的协变Hessian平衡，为标度不变的临界行为以及适用的共形不变性提供了几何表征。这一视角将量子场论与几何演化联系起来，并提供了一个研究重整化群不动点几何稳定性和普适性的框架。

在这种意义上，Ricci流公式将RG不动点的几何表征转化为从RG稳定性到谱普适性的可能桥梁。沿着这座桥梁，耦合常数流形上的FRG流和谱流形上的Dyson布朗运动可以被视为对偶的修正Ricci流描述，通过参数到谱的拉回映射相联系。如果该拉回几何在混沌区域保持非退化，那么孤子刚性可能约束谱流朝向随机矩阵理论普适类。