跳到主要内容
Sandbox Physics
规范理论与 EFT

L4 · 第 6 章

数据越精确,低能理论就越可靠吗?

数据变精确,只会缩小数据噪声造成的误差;理论少算的项仍然在那里。把高能端纳入拟合,甚至可能让误差条越来越窄,中心却偏离真值。要判断可靠程度,必须分开检查噪声、截断误差,以及高能理论所需的额外假设。

同一个遗漏项会影响许多能量点

打开 Furnstahl 等人的 20152015 年论文 arXiv:1506.01343v1,先看式 (1)—(2)。它们把预测写成小参数级数,并将保留阶次之后的和定义为余项。第 II 节与表 I 才开始给未知系数指定先验。误差条的概率含义来自这些假设,不能只凭曲线看起来宽一些便指定置信水平。

在我们的重媒介例子里,取 fN(x)=∑n=0Nxnf_N(x)=\sum_{n=0}^{N}x^n,一次记录为 di=αfN(xi)+bxiN+1+ϵid_i=\alpha f_N(x_i)+b x_i^{N+1}+\epsilon_i。若设同一个遗漏系数 bb 在所有能量点共用,并给它高斯先验,边缘化后得到相关的理论误差。

Kij=τ2xiN+1xjN+1,Cij=σi2δij+KijK_{ij}=\tau^2x_i^{N+1}x_j^{N+1},\qquad C_{ij}=\sigma_i^2\delta_{ij}+K_{ij}
取 b∼N(0,τ2)b\sim\mathcal N(0,\tau^2)。一个未知系数共同抬高或压低多个点,所以协方差通常不是对角矩阵。

来源:R. J. Furnstahl

一次拟合能检查什么

默认教学记录用 M=2 TeVM=2\,\mathrm{TeV}、α=0.4\alpha=0.4,在 E/M=0.08E/M=0.08 到 0.720.72 之间取 1818 个点,实振幅加标准差 0.0120.012 的高斯噪声,种子为 32023202。拟合只估计耦合比,重质量当作已知。记录保存后,重新拟合必须读取同一组观测。

先只用统计噪声加权。对于正耦合,完整振幅在截断曲线上方,拟合倾向把耦合抬高以补偿。加入高能点会加强这个趋势。再用 τ=0.4\tau=0.4 的首遗漏项模型,比较参数位移与区间宽度。

这一比较检验所声明的误差模型。完整余项还带有 1/(1−x)1/(1-x),首遗漏项在高能端可能仍不足。检验一般覆盖率,需要对预先规定的参数与重复采样方案另做计算。

α^=fTC−1dfTC−1f,σα^2=(fTC−1f)−1\widehat\alpha=\frac{f^TC^{-1}d}{f^TC^{-1}f},\qquad \sigma_{\widehat\alpha}^2=(f^TC^{-1}f)^{-1}
协方差固定时,这是线性高斯拟合。理论协方差若依赖待估参数,需要重新定义似然,不能照搬这个闭式结果。

真正的尺度变化会混合算符

Manohar 讲义 PDF 第 5.10.1 节式 (5.56)—(5.60) 给出一个可独立复算的例子:两个弱四夸克算符在 QCD 一环下混合。HTML 版将后面的比例与数值标为式 (68)—(70)。设 nf=5n_f=5,最低阶 QCD 系数 b0=23/3b_0=23/3。混合矩阵的对角元是 −2-2,非对角元是 66;和、差组合的本征值分别为 44、−8-8。

从初始系数 (c1,c2)=(1,0)(c_1,c_2)=(1,0) 出发,令高低尺度的强耦合分别为 0.1180.118 与 0.220.22。将比值代入下面的幂,便得表中的结果。运行生成了第二个算符的系数,即使它在初始尺度为零。

c±=c1±c2,c+(μ1)c+(μ2)=[αs(μ1)αs(μ2)]−6/23,c−(μ1)c−(μ2)=[αs(μ1)αs(μ2)]12/23c_\pm=c_1\pm c_2,\qquad \frac{c_+(\mu_1)}{c_+(\mu_2)}=\left[\frac{\alpha_s(\mu_1)}{\alpha_s(\mu_2)}\right]^{-6/23},\qquad \frac{c_-(\mu_1)}{c_-(\mu_2)}=\left[\frac{\alpha_s(\mu_1)}{\alpha_s(\mu_2)}\right]^{12/23}
这是五味、固定阈值区间内的最低对数结果。穿过夸克阈值,必须改变有效自由度并做阈值匹配。
依据已发表公式自行复算;输入为强耦合比 0.22/0.118,数值不是实验拟合。
系数初始运行后
c+c_+110.8500100.850010
c−c_-111.3840501.384050
c1c_1111.1170301.117030
c2c_200−0.267020-0.267020

来源:Aneesh V. Manohar

移动匹配点时要一起搬运系数

把两个尺度之间的运行记成 U(μ1,μ2)U(\mu_1,\mu_2)。先运行到中间尺度再继续,应与一次运行相同。这条组合律可用来检查程序,也说明为什么匹配点不能只在一边移动。完整理论与有效理论在同一尺度匹配,再把系数和算符矩阵元一起运行,物理振幅才在计算精度内不依赖任意尺度。

有限阶的残余尺度依赖常用于诊断遗漏的高阶,但它只探测与已有对数结构相连的部分。树级没有对数、尺度变化为零,也不能推出能量展开的余项为零。第四章给出的精确几何余项正好提供反例。

还可以做一个有限阶检查。固定两端强耦合为 0.1180.118 与 0.220.22,在中间尺度把已知的边界运行因子按 y=0.118/αs(μm)−1y=0.118/\alpha_s(\mu_m)-1 展开到一次或二次,再从中间尺度作精确最低对数运行到终点。换中间尺度后,两种有限展开留下表中的残差;加一阶会缩小这个已知截断误差。

这个小算例检查的是已知对数因子的 Taylor 展开,不含完整理论与有效理论之间未知的有限硬匹配项。表中的残差量化已知最低对数展开的误差。要赋予未知高阶概率区间,仍需另行指定统计模型。

U(μ1,μ3)=U(μ1,μ2)U(μ2,μ3)U(\mu_1,\mu_3)=U(\mu_1,\mu_2)U(\mu_2,\mu_3)
在同一有效理论和同一近似下成立。改变粒子阈值时,需要在中间插入相应的匹配。
(1+y)a=1+ay+a(a−1)2y2+⋯ ,a+=623,a−=−1223(1+y)^a=1+ay+\frac{a(a-1)}2y^2+\cdots,\qquad a_+=\frac6{23},\quad a_-=-\frac{12}{23}
中间点的两个边界因子分别取这两个指数;恢复到原系数后,与前表的最低对数终值比较。
固定五味、无阈值的已知对数基准。误差取两个终点系数绝对误差的最大值;中间点等于初始点时边界展开参数为零。
αs(μm)\alpha_s(\mu_m)边界一次展开边界二次展开
0.0900.0900.02747500.02747500.006846560.00684656
0.1180.1180000
0.1500.1500.01574400.01574400.002727290.00272729
0.1800.1800.04392210.04392210.01234660.0123466

来源:Aneesh V. Manohar

正性约束针对哪一个振幅

打开 Adams 等人的 arXiv:hep-th/0602178v2,第 4 节式 (20),旁边看图 5—6 的前向极点。这里改用它的线性 sigma 模型,研究相同 Goldstone 粒子的弹性散射。它与第四章两种可区分标量的单一通道不同;不能要求第四章任意耦合乘积都为正。

令重标量质量为 MhM_h,稳定模型的耦合为 λ>0\lambda>0。无质量外态满足 s+t+u=0s+t+u=0。在前向极限 t=0t=0,交换对称性把两个极点配成下面的偶函数。直接求导,就得到正曲率。

M(s,t)=λMh2[s2Mh2−s+t2Mh2−t+u2Mh2−u]\mathcal M(s,t)=\frac{\lambda}{M_h^2}\left[\frac{s^2}{M_h^2-s}+\frac{t^2}{M_h^2-t}+\frac{u^2}{M_h^2-u}\right]
这是原论文式 (20) 的等价写法;三个交换道全部保留。
A(s)=M(s,0)=2λs2Mh4−s2,A′′(0)=4λMh4>0A(s)=\mathcal M(s,0)=\frac{2\lambda s^2}{M_h^4-s^2},\qquad A^{\prime\prime}(0)=\frac{4\lambda}{M_h^4}>0
二阶导数相对于具有能量平方量纲的变量求取,曲率具有逆能量四次方的量纲。
复算原论文树级基准。取耦合 0.2、重质量 2 TeV;曲率为 0.05 每 TeV 四次方。
x=s/Mh2x=s/M_h^2A(s)A(s)最低能量项 2λx22\lambda x^2
0.250.250.02666670.02666670.02500000.0250000
0.500.500.13333330.13333330.10000000.1000000
0.750.750.51428570.51428570.22500000.2250000

来源:A. Adams

从极点基准走到研究问题

原论文继续把围道变形成物理割线,并用幺正性把吸收部分连到总截面。这样才把一个具体模型的正曲率推广为满足条件的高能完成所需的约束。关键条件包括相应的解析性、交叉对称性、足够好的高能有界性,以及对低能奇点的正确处理。

有无质量前向交换极点,尤其涉及引力时,简单的前向推导可能失效。有效理论拟合里某个系数为负,也未必违反正性:先要找到被约束的弹性振幅组合,统一基底、尺度和保留阶次。

现在可以提出一个可检验的研究问题:在同一组保存的散射记录上,换截断阶次、能量上限和遗漏系数先验,正性相关组合的后验是否稳定?每次改变只检验一个假设,并同时报告拟合质量。这里复现的是树级极点与最低对数运行基准,未复现全局 SMEFT 数据分析。

把推理带进实验

分开比较偏置和噪声

  1. 先预测增加高能点会把正耦合的统计拟合往哪边推。
  2. 保存固定种子的记录,逐步提高拟合能量上限,分别使用统计误差与相关首遗漏项模型。记录中心、宽度和阶次。
  3. 换基底检查同一预测是否保持不变,再说明哪个改变来自遗漏物理、哪个来自统计假设。

把正性相关组合当成观测来搬运

  1. 选定一个线性预测组合,记录它在原基底中的方向。
  2. 变换基底时同时变换这个方向及协方差,检查均值与方差。
  3. 说明为什么单个新系数的正负,通常不足以代替一个物理振幅的正性条件。

练习与解释性答案

  1. 首遗漏项协方差只有一个外积,说明它描述多少个独立的理论误差方向?

    展开解释

    在非零能量向量上只有一个方向。每个点的误差由同一个未知系数推动。把它替换成独立误差,等于换了一种模型。

  2. 在正性例子里把 MhM_h 加倍,保持耦合不变,曲率怎样变化?

    展开解释

    曲率减为十六分之一。它与质量的负四次方成正比,单位也是逆能量四次方。

  3. 某人发现树级模型移动重整化尺度后毫无变化,便报告理论误差为零。怎样反驳?

    展开解释

    直接计算第四章的几何余项。任意非零能量处,有限截断都有非零余项;零尺度变化反映这里没有量子对数,能量截断误差仍由几何余项给出。

来源与复算范围

推导、表格和图由本课程编写。下面列出实际核读的位置,并区分原文结果与教学扩展。数值示例属于模型参考或明确标出的合成观测,没有复制实验数据集或原文图。

  1. Aneesh V. Manohar, Introduction to Effective Field Theories, arXiv:1804.05863v1 (2018)

    第 3.5 与第 4 节(积分掉自由度与幂次计数)、5.5—5.7 节(匹配)、5.10.1 节 PDF 式 (5.51)—(5.60)(QCD 运行与算符混合)、6.2—6.3 节(场重定义)。标量散射算例由本课程推导。已知对数的边界展开用于检查原文运行因子的截断,不计算有限硬匹配。

  2. R. J. Furnstahl, N. Klco, D. R. Phillips and S. Wesolowski, Quantifying truncation errors in effective field theory, arXiv:1506.01343v1; Physical Review C 92, 024005 (2015)

    式 (1)—(2) 定义展开和余项;第 II 节与表 I 交代系数先验;式 (29) 保留多个遗漏项。这里用几何级数检查这些定义,不复现论文的中子—质子计算。

  3. A. Adams, N. Arkani-Hamed, S. Dubovsky, A. Nicolis and R. Rattazzi, Causality, Analyticity and an IR Obstruction to UV Completion, arXiv:hep-th/0602178v2; JHEP 10 (2006) 014

    第 4 节,式 (19)—(23),印刷页码 14—16:树级线性 sigma 模型的振幅与前向极点。这里复算式 (20) 在零动量转移时的形式和低能系数。图 5—6 供对照阅读,不复制原图。

反馈这个页面有错误、看不明白,或者缺了什么?告诉我们
反馈类型

提交时会附带本页地址、Lab ID、网站语言和设备类型。请不要填写个人信息。反馈最多保存 12 个月。隐私政策