Stress Tensor Deformations Encyclopedia能动张量形变百科
C

Exhibit · 量子结构专题

Correlation Functions and Quantum Observables相关函数与量子可观测量

形变理论中的“局域算符”是什么?从 contact terms、非局域重整化与动力学位置,走向可计算的量子可观测量。

Conventions / 约定

本页区分 bare/renormalized、fixed/dynamical coordinate、local/dressed、position/momentum space 与 perturbative/nonperturbative。λ、Λ、指标、signature 与整体归一化均按各引用文献说明;不同 prescription 的公式不可直接拼接。

阅读分层

核心路径默认展开;方法路径组织可计算技术;研究前沿默认折叠。目录深链接会自动展开对应路径。

MAP

Exhibit · 算符定义地图

核心路径02 · 直觉入口
核心路径
02

Exhibit · 直觉入口

直觉入口

能谱只需追踪 Hamiltonian 的本征值;相关函数还必须说明算符怎样流动、插入位置怎样定义、碰撞发散怎样调节,以及采用哪一种重整化方案。形变引入长度尺度 ℓλ,所以结果可依赖位置、动量、调节器和算符定义。

Operator Definition / 算符定义裸坐标局域算符
Operator Definition / 算符定义形变尺度定义
核心路径03 · 为什么相关函数比能谱更困难?
核心路径
03

Exhibit · 为什么相关函数比能谱更困难?

为什么相关函数比能谱更困难?

积分点靠近外部插入时会产生接触奇点,因此需要定义复合形变算符、调节 collision limit、重整化外部算符并保持 Ward 恒等式。这些数据通常不会像有限体积能谱那样只由少数全局量闭合。

Operator Definition / 算符定义重整化坐标空间插入
微扰一般相关函数流需要逐阶处理接触项。
核心路径04 · 算符流与 Dirac-like Strings
核心路径
04

Exhibit · 算符流与 Dirac-like Strings

算符流与 Dirac-like Strings

Cardy 将无穷小形变解释为给每个场附加 Dirac-like string。流在算符代数上表现为 derivation,并导出非局域场重整化、deformed OPE、Callan–Symanzik 型方程与改进守恒流。这里的 string 是算符流结构,不是基本弦。

Operator Definition / 算符定义流动的重整化算符代数
结构精确在所述调节与流定义假设下成立。
核心路径05 · 非局域重整化
核心路径
05

Exhibit · 非局域重整化

非局域重整化

若 Z𝒪 任意依赖 q²,位置空间中对应无限阶导数或卷积核。它是 operator definition 非局域性的强信号,但不自动推出 acausality、不幺正或理论不一致。必须区分作用量、算符定义与 UV 渐近三个层次。

Operator Definition / 算符定义重整化动量空间算符
定义依赖非局域性结论依赖所选算符与重整化方案。
研究前沿06 · 竞争的高动量渐近
研究前沿
06

Exhibit · 竞争的高动量渐近

竞争的高动量渐近

两种文献结果使用不同耦合约定、算符 prescription、调节器、归一化与极限顺序。它们应作为两个定义下的渐近结构分别阅读,不能合成为普适公式,也不能直接比较指数系数。

arXiv:1907.03394Large-Momentum Asymptotic

Cardy flow-equation asymptotic

Operator Definition / 算符定义重整化动量空间算符
Coupling convention
λ 采用 arXiv:1907.03394 的流方程约定;符号与无量纲化须随原文读取。
Regulator
受调节的碰撞积分与反项;有限部分具有 scheme dependence。
Normalization
GR 是重整化两点函数;整体常数与算符归一化不固定。
Validity regime
该算符 prescription 与相应分支中的大动量渐近。
arXiv:2304.14091Large-Momentum Asymptotic

JT relational-position asymptotic

Operator Definition / 算符定义动力学坐标 / 关系型算符
Coupling convention
Λ 采用 arXiv:2304.14091 的 JT 引力约定;不能直接替换为上一卡片的 λ。
Regulator
JT 路径积分、关系型位置与论文指定的解析 prescription。
Normalization
比例号保留整体归一化;比较使用同一关系型算符定义。
Validity regime
指定 JT observable 的大动量极限。
大动量渐近只描述指定定义与极限下的渐近行为。定义依赖算符 prescription 是结果的一部分。
核心路径07 · 动力学坐标
核心路径
07

Exhibit · 动力学坐标

动力学坐标

Operator Definition / 算符定义动力学坐标可观测量

几何表述可把一类形变相关函数写成种子 CFT 在由态或插入回作用产生的 dynamical space 上的相关函数。对 semi-heavy operators,场依赖坐标变换提供直接方法,但它不是所有量子效应的普适替代。

模型依赖控制依赖 semi-heavy 与几何构造的适用条件。
核心路径08 · JT 引力中的关系型位置
核心路径
08

Exhibit · JT 引力中的关系型位置

JT 引力中的关系型位置

Operator Definition / 算符定义JT 关系型可观测量

在 JT gravity 中普通坐标不是 gauge invariant;插入位置由 dynamical clocks and rods 关系性地定义。不同 relational prescription 不必产生相同短距离相关函数,因此位置定义必须和结果一起陈述。

非微扰定义定义在指定 JT 可观测量框架中非微扰成立。
核心路径09 · Hamiltonian Flow 与 Dressed Operators
核心路径
09

Exhibit · Hamiltonian Flow 与 Dressed Operators

Hamiltonian Flow 与 Dressed Operators

Operator Definition / 算符定义Hamiltonian dressed 算符

Hamiltonian 观点通过连续 canonical/Bogoliubov transformations 表示形变。由此可定义保持未形变交换关系的非局域 dressed operators;某些圆柱相关函数成为种子相关函数的积分变换。

定义依赖结论依赖所选择的 dressed operator basis 与几何。
核心路径10 · 能动张量相关函数与 Anomaly Action
核心路径
10

Exhibit · 能动张量相关函数与 Anomaly Action

能动张量相关函数与 Anomaly Action

形变后的 Polyakov–Liouville anomaly action 可生成能动张量相关函数。一阶结果显示两点与三点函数中没有相同类型的显著对数修正,而四点函数开始出现;该结果可与 conformal perturbation theory 与 OPE 核对。

一阶微扰结论是形变参数的一阶计算。微扰不代表任意阶闭式相关函数。
方法路径11 · 守恒方程方法
方法路径
11

Exhibit · 守恒方程方法

守恒方程方法

该方法结合 trace relation、能动张量守恒、时空对称性与低阶输入,递归约束更高阶相关函数修正。它是系统微扰方法,不是任意阶非微扰闭式解。

系统微扰可控阶数取决于已有低阶数据与守恒约束。
方法路径12 · 调节器与方案依赖
方法路径
12

Exhibit · 调节器与方案依赖

调节器与方案依赖

hard-disk excision、point splitting、dimensional regularization、momentum cutoff 与 analytic continuation 会以不同方式组织发散。只有统一算符定义、Ward identities、归一化条件与有限反项后,结果才可比较。

一阶微扰维数正则化核对目前针对指定一阶相关函数。
方法路径13 · 形变 OPE
方法路径
13

Exhibit · 形变 OPE

形变 OPE

形变 OPE 可作为组织 collision limit 与 operator mixing 的示意语言;算符可能非局域,导数与接触项歧义增加,收敛性质也不必等同于 CFT OPE。非临界弦表述提供其特定定义下的三点与 OPE data。

Operator Definition / 算符定义重整化算符代数(示意)
定义依赖系数与算符基底依赖 prescription。
方法路径14 · Form-Factor Bootstrap
方法路径
14

Exhibit · Form-Factor Bootstrap

Form-Factor Bootstrap

Operator Definition / 算符定义可积 form-factor 算符

在 massive integrable QFT 中,形状因子的谱展开把 S-matrix、form factors 与相关函数连接起来。generalized deformation 可产生 factorized dressed form factors,但适用范围依赖 diagonal factorized scattering 等明确假设,不能推广到任意非可积种子。

Operator Definition / 算符定义Form-factor 算符
Operator Definition / 算符定义Form-factor 算符(模型依赖)
可积表述中精确精确方程依赖 factorized scattering 与 form-factor axioms。
方法路径15 · 全息相关函数
方法路径
15

Exhibit · 全息相关函数

全息相关函数

大中心荷下,低点能动张量相关函数可与 finite-cutoff AdS 的经典纯引力匹配;一般 bulk scalar two-point function 通常还需要额外 scalar double-trace operators,不能仅靠 TT̄ 自动重现。

大 c匹配在半经典大中心荷语境中建立。模型依赖物质相关函数需要额外边界条件或算符。
研究前沿16 · root-TT̄ 与联合相关函数
研究前沿
16

Exhibit · root-TT̄ 与联合相关函数

root-TT̄ 与联合相关函数

Operator Definition / 算符定义Root-flow 定义

已有工作在具有连续标度权谱的二维量子 CFT 中,并在所述因子化假设下,提出了 root operator 的 tentative definition,并研究了两点和三点相关函数的一阶变化。近期联合 TT̄/root-TT̄ 几何路径积分在 TT̄ 耦合全阶、root 耦合领先阶下得到两点函数及 kernel average;这不表示 root-TT̄ 已有适用于任意离散谱 CFT 的完整非微扰量子定义。

定义依赖结论依赖连续标度权谱、所述因子化假设与 root operator prescription。一阶两点和三点相关函数的变化仅研究到 root 形变的一阶。近期前沿该定义与联合流计算仍在快速发展。
研究前沿17 · BRST-Dressed 可观测量
研究前沿
17

Exhibit · BRST-Dressed 可观测量

BRST-Dressed 可观测量

Operator Definition / 算符定义BRST 上同调可观测量

BRST 构造把未形变 CFT operators 映射到 deformed gravity theory 的 BRST cohomology,建立 unitary dressing map,并以 BRST-invariant expectation values 非微扰定义 dressed correlators。非微扰定义不等于每个相关函数都已有闭式求值。

非微扰定义指定 formulation 中的可观测量定义,而非通用闭式答案。近期前沿与其他算符 prescription 的等价性仍待研究。
核心路径18 · 相对稳固的结果与使用边界
核心路径
18

Exhibit · 相对稳固的结果与使用边界

相对稳固的结果与使用边界

相对稳固的是:流包含 integrated insertion 与 contact terms;重整化可呈动量依赖;适当改进的 currents 可保持守恒与 Ward identities;能动张量相关函数有多种交叉核对;可积模型可用 form factors 构造相关函数;dynamical-coordinate 与 BRST 方法定义关系型或 gauge-invariant observables。

  • 不要把所有相关函数写成单纯坐标变换。
  • 不要把非局域重整化自动等同于不幺正。
  • 不要把 deformed OPE 当作严格局域性的证明。
  • 不要把 form factors、BRST 或 root 结果推广到其假设之外。
研究前沿19 · 开放问题
研究前沿
19

Exhibit · 开放问题

开放问题

Hamiltonian、dynamical-coordinate、JT 与 BRST observables 何时等价?deformed OPE 的收敛性与 associativity 如何定义?高动量渐近能否按算符 prescription 分类?非可积种子是否存在非微扰流?Lorentzian commutators、causality 与 chaos 如何变化?能谱与配分函数能重建多少 operator data?

近期前沿这些问题尚无统一答案。
核心路径20 · 建议阅读路径
核心路径
20

Exhibit · 建议阅读路径

建议阅读路径

核心阅读建立 operator flow 与关系型定义;方法路径比较 anomaly action、守恒方程、调节器与 form factors;算符与几何路径连接 Hamiltonian、动力学坐标和非临界弦;前沿进入 root、BRST 与联合流。

2019 · Essential ReadingarXiv:1907.03394

T Tbar deformation of correlation functions

John Cardy

阅读理由

建立一般局域场相关函数的算符流、非局域重整化、deformed OPE 与改进守恒流,是本专题的起点。

Correlation FunctionsField TheoryOperator FlowNonlocal RenormalizationOPE
2023 · Essential ReadingarXiv:2304.14091

Correlation Functions in TTbar-deformed Conformal Field Theories

Ofer Aharony, Netanel Barel

阅读理由

在 JT 关系型位置定义下计算高动量两点函数,清楚展示算符 prescription 如何进入 UV 渐近。

Correlation FunctionsDynamical CoordinatesNonlocal Renormalization
2025 · Essential ReadingarXiv:2503.09997

Deformation: Introduction and Some Recent Advances

Song He, Yi Li, Hao Ouyang, Yuan Sun

v2 · 最后修订 · 2025-05-12

阅读理由

系统综述 形变中的相关函数、算符重整化、非局域性和 UV–IR mixing,适合用于比较不同算符定义与计算方法。

ReviewSpectrum FlowIntegrabilityPartition FunctionsModularityCorrelation FunctionsOperator FlowNonlocal Renormalization
2020 · Further ReadingarXiv:2012.03972

T Tbar Deformation of Stress-Tensor Correlators from Random Geometry

Shinji Hirano, Tatsuki Nakajima, Masaki Shigemori

阅读理由

展示随机几何方法可以进入局域量子结构,用形变 Polyakov–Liouville 作用量计算能动张量相关函数。

Correlation FunctionsRandom GeometryAnomaly ActionStress-Tensor Correlators
2023 · Essential ReadingarXiv:2310.20516

A systematic approach to correlators in TTbar deformed CFTs

Song He, Yuan Sun, Jiashi Yin

阅读理由

提出守恒方程方法,以 trace relation 与守恒方程递归约束高阶相关函数修正。

Correlation FunctionsConservation EquationsPerturbativeStress-Tensor Correlators
2024 · Specialized ResearcharXiv:2407.20774

On correlators in T Tbar-deformed conformal field theories

Daniil Menskoy

阅读理由

使用 dimensional regularization 计算一阶主算符相关函数并导出两点函数场重整化。

Correlation FunctionsCFTNonlocal Renormalization
2023 · Essential ReadingarXiv:2305.17068

Completing the Bootstrap Program for TTbar-Deformed Massive Integrable Quantum Field Theories

Olalla A. Castro-Alvaredo, Stefano Negro, Fabio Sailis

阅读理由

把 generalized deformation bootstrap 从 S 矩阵推进到 form factors,为 massive integrable correlators 建立系统路线。

Correlation FunctionsForm FactorsIntegrability
2020 · Essential ReadingarXiv:2006.03054

On the flow of states under TTbar

Jorrit Kruthoff, Onkar Parrikar

阅读理由

从 Hamiltonian 流构造非局域 dressed operators,并区分平面与圆柱上的算符和相关函数流。

Correlation FunctionsOperator FlowDressed Operators
2024 · Essential ReadingarXiv:2402.08278

Conformal field theory on T Tbar-deformed space and correlators from dynamical coordinate transformations

Shinji Hirano, Masaki Shigemori

阅读理由

把形变相关函数解释为种子 CFT 在动力学回作用空间上的相关函数,重点处理 semi-heavy operators。

Correlation FunctionsGeometryDynamical Coordinates
2019 · Further ReadingarXiv:1910.13578

TTbar deformed CFT as a non-critical string

Nele Callebaut, Jorrit Kruthoff, Herman Verlinde

阅读理由

在非临界弦定义中构造一般相关函数,并给出形变三点与 OPE data 的积分表达。

Correlation FunctionsOPENoncritical String
2024 · Specialized ResearcharXiv:2405.17945

Defining Root-T Tbar operator

Leszek Hadasz, Rikard von Unge

阅读理由

在具有连续标度权谱的二维量子 CFT 和所述因子化假设下,提出 tentative root-operator definition,并研究两点、三点相关函数的一阶变化。

Root-TTbarQuantum DefinitionCorrelation FunctionsRoot-TTbar CorrelatorsDefinition-dependentFirst OrderRecent Frontier
2026 · Specialized ResearcharXiv:2601.06247

TTbar Deformations through BRST Symmetry

Elia de Sabbata, Pietro Antonio Grassi, Massimo Porrati

阅读理由

用 BRST cohomology 构造 unitary dressing map,并非微扰定义 gauge-invariant dressed correlators。

Correlation FunctionsBRST ObservablesRecent Frontier
2026 · Specialized ResearcharXiv:2604.14939

Correlators in TTbar and Root-TTbar Deformed CFTs

Bo-Rui Li, Song He, Yu-Xiao Liu

阅读理由

在联合 TTbar/root-TTbar 几何框架中求两点函数,并给出对未形变 conformal dimensions 的 kernel average。

Correlation FunctionsRoot-TTbar CorrelatorsRecent Frontier
核心路径21 · Correlator Regime Explorer
21

Exhibit · 相关函数尺度探索器

Correlator Regime Explorer相关函数尺度探索器

Illustrative / 教学示意

这是尺度分类与方法选择工具,不是任意形变 QFT 的通用数值求解器。所有高动量曲线都按各自定义归一化,只用于展示 qualitative behavior。

Operator Definition / 算符定义裸坐标局域算符
G₀(r)1.0000e+0
slope = −2Δ = -2.00