《Atoms》：Recent Progress in Ab Initio Nuclear Theory for Precision Physics Searches in Muonic Atoms and Superallowed β Decays
标准模型（Standard Model, SM）在低能区的精密检验日益受到核结构理论而非实验的限制。本文综述了两种此类情形：缪子原子中兰姆位移（Lamb shift）的双光子交换（two-photon-exchange, TPE）修正，以及超容许β衰变中的γW盒（γW box）辐射修正。尽管二者探测的物理过程不同，但它们均由同一个广义强子张量（generalized hadronic tensor）所支配，因此为其中一种情形发展的手征有效场论（chiral effective field theory, χEFT）哈密顿量与流、基于兰乔斯（Lanczos）方法的响应函数技术以及贝叶斯不确定性量化（Bayesian uncertainty quantification）方法可直接迁移至另一种情形。我们总结了轻核领域的最新从头计算（ab initio）进展及其对核电荷半径、氦同位素位移之谜（helium isotope-shift puzzle）以及用于CKM矩阵首行幺正性检验的Vud提取的影响，并展望了未来的发展方向。
1. 引言
标准模型（Standard Model, SM）在实验上取得了非凡的成功，但仍遗留了基本问题，如中微子质量的起源、暗物质的本质以及宇宙的重子不对称性等。因此，它被广泛视为更完整理论在低能区的极限。寻找其扩展沿着两条互补的路线进行：在能量前沿，对撞机实验旨在直接产生新粒子；在精密前沿，人们比较那些既能高精度测量又能高精度计算的观测量，新相互作用的虚贡献将以实验与SM预言之间微小但系统的偏差形式出现。在有效场论（effective-field-theory, EFT）描述中，在能标Λ产生的新相互作用会诱导被v2/Λ2抑制的低能耦合，其中v是电弱真空期望值，因此对相对偏差灵敏度在10?3至10??水平的实验可探测约10 TeV及以上的有效能标，即达到或超过大型强子对撞机（Large Hadron Collider）的直接触及范围。原子核与原子束缚态可以被制备并以极高的精度测量，承载着几项此类旗舰检验；本综述关注其中两项，以及支撑其物理解释的核理论。
核β衰变在建立弱相互作用的V–A结构方面发挥了关键作用，至今仍是带电弱流（charged-current）领域最灵敏的低能探针之一。超容许（superallowed）费米（Fermi）跃迁提供了Cabibbo–Kobayashi–Maskawa（CKM）矩阵中上-下夸克混合矩阵元Vud的最精确测定，该量主导了CKM矩阵首行幺正性检验|Vud|2+|Vus|2+|Vub|2=1。当单核子电弱辐射修正的色散评估将其不确定性降低两倍后，幺正性度量与SM出现了张力。目前，首行之和低于1的程度约为两到三个标准差（取决于实验输入的处理方式），这被称为Cabibbo角异常。除幺正性检验外，β谱与衰变关联的精密测量可探测SM中不存在的标量与张量相互作用：对Fierz干涉项的千分之一水平约束转化为对10 TeV以上新物理的灵敏度，这与直接对撞机搜索具有竞争力且互补。
轻原子系统的精密光谱学提供了第二个独立的检验。类氢原子是理论上理解最透彻的束缚态之一。对其测量与计算的能级结构进行比较可检验复合系统的量子电动力学（quantum electrodynamics, QED），确定里德伯常数（Rydberg constant）等基本参数，并约束飞米尺度的假想新轻子-核相互作用。由于缪子比电子重约200倍，缪子原子在此计划中扮演特殊角色；核有限尺寸效应在光谱中被质量比的三次方增强，这使得缪子兰姆位移成为绝对核电荷半径最精确的来源。从缪子氢中提取的电荷半径曾与当时公认的电子测定值不一致——即著名的质子半径之谜，该分歧后来以缪子值胜出而告终——缪子半径现已进入CODATA基本常数调整。将缪子与电子测定值进行比较已发展为对轻子普适性的灵敏检验，最近的焦点落在氦同位素位移上。3He与4He电荷半径平方差的缪子值与电子值被发现存在约4σ水平的分歧，而核结构修正的系统性再评估将张力加剧至约6σ。该分歧随后被追溯到原子理论而非核理论。已知的二阶超精细对电子同位素位移的贡献，此前被忽略或仅作近似处理，近期被识别并计算，使两种测定在相对于文献[16]约1.2σ、相对于文献[18]约0.8σ的水平上达成一致。这使氦同位素位移从谜题转变为对缪子原子计划的严格一致性检验。
在所有这些搜索中，对新物理的灵敏度并非受限于实验，而是受限于核结构理论。在缪子原子中，QED贡献已得到极好的控制，提取半径的不确定性由双光子交换（two-photon-exchange, TPE）或γγ盒修正主导，其中交换的虚光子对整个核谱敏感。在超容许衰变中，核结构依赖的辐射修正，特别是核γW盒，在单核子分析改进后被发现有远低于此前假设的控制水平。其重新评估在2015年至2020年的关键调查之间使Vud的不确定性膨胀了约两倍。同样，以目标10??精度解释谱形与关联测量需要同等精度的反冲阶与诱导流核修正。因此，整个计划依赖于一个核心能力：以具有严格不确定性且允许统计解释的方式，在百分之一水平上计算核中的电弱流振幅。这正是现代从头计算核理论开始提供的，它结合了从手征有效场论（chiral effective field theory, χEFT）一致导出的核哈密顿量与电弱流、系统可改进的多体方法以及贝叶斯不确定性量化。
本综述的主题是，进入上述旗舰计划的领头核结构修正是同一理论硬币的两面。相关对象是带外部核态的向前电弱流-流关联函数，即广义强子张量。在缪子原子中两个流均为电磁流，该关联函数支配兰姆位移中的TPE贡献。在超容许β衰变中，一个流为电磁流，另一个为弱带电流，该关联函数构成核γW盒修正。这种亲缘关系在现代辐射修正重新评估的早期就被认识到，当时为缪子原子发展的求和规则与Lanczos技术被识别为核γW盒的自然工具。它延伸到整个计算链：核中间态上的谱分解、流算符的多极展开、提供所需响应函数与预解式的Lanczos方法，以及支撑不确定性估计的逐阶χEFT分析。统一处理的红利体现在两个近期里程碑中，即(i) 用贝叶斯推断计算的缪子氦TPE修正，这使得helion与α粒子电荷半径的精确测定成为可能，并在氦同位素位移之谜中为核结构修正洗清了嫌疑，以及(ii) 最轻超容许跃迁10C → 10B核γW盒的首批从头计算之一。这两个计划在实践中也相互耦合，而不仅仅在形式上：锚定26mAl → 26Mg跃迁超容许分析的参考电荷半径本身即从缪子X射线光谱学中提取，因此核极化修正传播到统计速率函数，并最终进入Vud。最近沿此方向的重新分析将CKM幺正性赤字降低了一个标准差。
本综述集中于进入缪子原子与超容许计划的核结构依赖修正，特别关注轻核，其中基于波函数的从头计算方法提供了多体问题的数值精确解，严格的不确定性量化触手可及。对于尚不具备此控制水平的较重系统，将结合近期缪子X射线光谱学实验计划作简要讨论。虽然不在本综述范围内，但相同的机制支撑着搜索奇异流的β谱与角关联分析。我们仅在单核子贡献进入核分析的范围内讨论它们。关于缪子原子光谱学及其理论的全面论述可见文献[10,11,22]，超容许数据集见文献[4]，β衰变电弱辐射修正见文献[5]，现代从头计算多体方法见文献[28]。
本综述组织如下。第2节介绍共同的理论框架：广义强子张量、其以核本征态表示的谱表示，以及电弱流算符的多极分解。第3节总结从头计算理论的最新水平：χEFT哈密顿量与流、用于计算相关振幅的多体与Lanczos方法，以及贝叶斯不确定性量化。第4节回顾缪子原子的近期进展，从TPE形式论与相关多极求和规则，到缪子氦的贝叶斯量化预言、它们对氦同位素位移之谜的影响，以及重缪子原子的发展。第5节转向超容许β衰变，将强子张量特化到γW盒，回顾首批从头计算，并讨论对Vud与CKM幺正性的影响。第6节总结并讨论预期的未来方向。
2. 核结构修正的共同理论
第1节引入的领头核结构依赖修正——缪子原子中的双光子交换与超容许β衰变中的γW盒——都是双玻色子交换振幅，其中轻子线与玻色子传播子分解为过程依赖的运动学结构，而所有核结构由一个对象捕获：广义强子张量，即带外部核态的电弱算符向前流-流关联函数，如今可用从头计算多体理论计算。全文采用自然单位（?=c=1），核态为单位归一化，与β衰变文献中采用的相对论归一化振幅的匹配在第5节讨论。第2.1节定义广义强子张量并导出其以核本征函数表示的谱表示。第2.2节将电弱流算符分解为多极，这是评估核流振幅最实用的形式。
2.1 强子张量与流-流关联函数
本综述所考虑的探针通过电磁流与带电弱流与原子核耦合。在核结构相关能量下，不以夸克自由度工作。上述流的核振幅用从手征有效场论（χEFT）导出并以核子与π介子自由度表述的有效算符评估；算符被组织为单体与多体贡献，并与核相互作用一致地构造。夸克级表达式固定了有效算符在低能实现的相关电荷、同位旋结构以及探针的矢量或轴矢量性质。引入动量空间流后，定义带单位归一化外部态的广义非相对论强子张量，其中X与Y标记流与外部探针。例如，X=Y=γ对应于电磁双光子交换问题，而X=γ,Y=W±对应于β衰变辐射修正相关的电弱流-流关联函数。项表示可能的双玻色子接触或seagull贡献。两个流插入均关于其空间参数作傅里叶变换并携带相反的三动量q与?q，因此无净三动量转移给外部核；剩余积分是关于两个插入相对时间间隔的变换。
为应用于核多体理论，以核本征态评估该张量是有用的。将时间编序乘积展开、分解中间核谱并执行剩余的t积分，得到谱表示，这是从头计算理论中核响应与求和规则计算最适宜的形式。它也阐明所有核结构通过HN的中间谱与电弱流算符的相应跃迁振幅进入。在非相对论理论中，质心运动与内禀动力学精确分离，且由于两个流插入携带相反三动量，动量守恒将中间态的质心动量相对于外部核固定为?q。进入谱表示分母的本征值因此除核本征态的内禀能量外，还包含反冲中间核的质心能量。是否保留极点位置的这种反冲位移取决于所寻求的精度。它在第5节的γW盒分析中被明确保留，而在缪子原子应用中，它被轻子与核质量比抑制，不进入第4节的领头多极求和规则。
对于缪子原子相关的电磁双光子交换问题，取X=Y=γ，广义张量约化为弹性向前电磁张量。对于超容许β衰变的电弱辐射修正，相关对象含一个电磁流与一个带电弱流，取X=γ,Y=W±，得到跃迁流-流关联函数，其中|i?与|f?表示由弱跃迁连接的初末核态。对于自旋为零的外部态，如在超容许费米跃迁中，该张量的矢量-轴矢量部分可投影到单个标量振幅，记为□γW。
2.2 流算符的多极
强子张量的谱表示以动量空间电弱流算符的振幅写出。在实际从头计算中，这些流通常被展开为多极，从而分解为秩J不可约张量算符之和。这提供了系统的展开，将流的角依赖分离，并允许在多数极贡献数上进行简单截断。将闵可夫斯基空间流分为时间与空间分量，其中ρN为核电荷密度算符，jN为核流密度算符。以下分解同样适用于电磁流与弱流，只需适当考虑同位旋与单核子形状因子的变化。按照半轻子弱与电磁相互作用与核的标准多极形式论，并选择量子化轴沿q方向，电荷密度与空间流分解为不可约张量算符。四个算符?J、L?J、T?elJ与T?magJ分别是库仑、纵向、横向电与横向磁多极。多极是核电荷与流密度在给定函数基上的投影。对于守恒矢量流，库仑与纵向多极通过连续性方程关联，纵向多极由库仑多极固定。轴矢量流则不被守恒，相应的纵向多极必须显式保留。
3. 现代从头计算方法
第2节引入的共同形式论将感兴趣的强子结构依赖修正约化为涉及核中电弱流的振幅与响应函数。本节总结评估这些量所需的从头计算理论要素。第3.1节讨论核哈密顿量、电弱流算符及用于计算相关振幅的多体方法。第3.2节描述如何用Lanczos技术访问进入强子张量的响应函数与求和规则。最后，第3.3节回顾不确定性量化的近期发展，特别强调χEFT截断误差的传播。
3.1 核哈密顿量、电弱算符与从头计算理论
强子张量的微观输入由选定的核哈密顿量、一组电弱流算符基以及能够评估所需基态与跃迁振幅的多体方法组成。在从头计算方法中，这些要素在共同的理论框架内构造，然后应用于给定过程的观测量而无需进一步调整。历史上一度依赖高精度唯象相互作用。手征有效场论（χEFT）已成为构造与低能QCD对称性一致的核哈密顿量的标准框架。现代手征相互作用已达到高度精密：两核子力已推导至N4LO及部分N5LO，Δ共振的角色也推动了Δ-full表述的发展。手征势在短距离处奇异，必须在薛定谔方程中迭代前正则化。标准实现中截断保持有限并选为EFT破缺能标量级，观测量因此保留残余截断依赖性。手征相互作用的调节器结构对多体计算也重要。许多手征势在动量空间中自然表述且非局域，这对坐标空间方法构成挑战，因此发展了局域或最大局域的手征相互作用。对于本综述关注的观测量，哈密顿量本身并不足够。强子张量还依赖电磁与弱流算符，这些算符必须与核相互作用一致地构造。在χEFT中，电弱流按与核力相同的低能展开组织，包含单体与多体贡献。两体电弱流的定量影响已在多种少体观测量中得到证明。一旦指定哈密顿量与电弱流算符，剩余任务即求解核多体问题并评估进入强子张量谱表示的振幅。在轻核中，量子蒙特卡洛（Quantum Monte Carlo, QMC）、超球谐（Hyperspherical Harmonics, HH）及其变体如有效相互作用超球谐（Effective Interaction Hyperspherical Harmonics, EIHH）、无芯壳模型（No-Core Shell Model, NCSM）等方法可提供薛定谔方程的高精度解。在中质量核中，耦合簇（Coupled Cluster, CC）与介质内相似性重正化群（In-Medium Similarity Renormalization Group, IMSRG）等框架通过受控的多项式标度近似将从头计算扩展到更重系统。
3.2 Lanczos算法
本节回顾对组态相互作用理论计算至关重要的Lanczos方法。对于给定厄米算符，最有力的方法是Lanczos算法，它基于存在特殊基使矩阵具有三对角形式。作为一种Krylov方法，Lanczos算法通过递归应用所需算符于随机起始向量（称为pivot）迭代生成正交归一基。虽然完成算法通常不可行，Lanczos算法的显著优势在于大多数感兴趣情形下所需迭代次数远小于矩阵维度。形式化地从随机归一化pivot向量初始化，生成Lanczos基向量序列，每个新向量被构造为与其最近两个左邻显式正交。Lanczos基张成由pivot向量与H生成的Krylov子空间，并将H的n×n子块化为三对角形式。因此，H的Rayleigh–Ritz本征解完全由生成的系数与Lanczos向量给出。对于需要评估形如?Ψf|O?2G(E)O?1|Ψi?振幅的问题，其中G(E)=(E?H)?1为预解式，可修改Lanczos算法：不采用随机pivot，而将起始向量设为归一化约束O?1|Ψi?。然后可显式构造所需跃迁振幅。事实上，可平凡地评估更广义的量，受函数f的解析性质与ω选择约束。从头计算核理论界在过去二十年已利用该技术，近期应用于超容许β衰变电弱辐射修正。
3.3 不确定性量化
手征有效场论（χEFT）的一个显著优势是它不仅提供构造核力与电弱算符的系统框架，还提供估计理论不确定性的统计严格设置。实际应用中理论不确定性的主要来源常为有限阶截断手征展开。贝叶斯统计已成为以透明且统计可解释方式量化EFT截断误差的金标准。出发点是通用观测量X在chiral阶k的EFT展开，预测可参数化为无量纲展开参数Q的函数。核心EFT假设是提取相关能标后系数是自然的，即典型量级为1。贝叶斯不确定性量化将这种自然性假设转化为未知系数的先验概率分布，通常以刻画其典型大小的底层尺度参数表述。贝叶斯定理随后用已知系数更新先验信息。对底层尺度参数求边际化得到截断误差的后验概率分布。该框架的一个主要结果是若干较老的截断误差处方可被理解为贝叶斯先验的特定且有时过于限制的选择。所得区间获得严格的置信度（degree-of-belief, DOB）解释。对于依赖外部运动学变量的观测量，相邻点的不确定性通常相关，点式应用会忽略此信息。文献[30]通过将EFT系数建模为高斯过程抽取解决了此问题，纳入编码观测量在相关域上预期平滑度与相关结构的协方差核。完整的不确定性量化框架还必须考虑χEFT低能常数（low-energy constants, LECs）确定中的统计不确定性。LECs通常校准到实验数据。贝叶斯参数估计为提取这些参数的联合后验分布提供严格方法。将参数不确定性传播到观测量需要重复求解多体薛定谔或Lippmann–Schwinger方程，计算上昂贵，因此现代核理论日益转向降阶模型或模拟器。本征矢量延续（eigenvector continuation, EC）已成为核多体观测量特别有前景的模拟器策略。严格贝叶斯采样LECs尚未应用于缪子原子的核极化率或超容许β衰变的辐射修正；将基于EC的模拟器耦合到电弱跃迁振幅是自然的下一步。对于本综述的应用，EFT不确定性的主要来源来自核哈密顿量与电弱流算符中手征展开的截断，必须通过多体计算传播到最终响应函数与跃迁振幅。
4. 缪子原子的近期进展
缪子原子是负缪子取代原子电子的类氢束缚系统。由于缪子比电子重约207倍，其玻尔半径相应更小，波函数与核电荷分布重叠远为广泛。缪子原子中的核结构效应相对普通原子按(Zα)3μ3/m3标度，因此被极大增强，使缪子原子成为核结构的精密探针。CREMA合作组在Paul Scherrer研究所的实验计划已通过激光光谱学测量了缪子氢、缪子氘以及缪子氦离子(μ3He)+与(μ4He)+的2S–2P兰姆位移。
4.1 物理背景与观测量
从原子系统光谱测量中提取核半径源于与精确理论预言的仔细比较。测量的缪子原子兰姆位移可参数化为ΔELamb=ΔEQED+AFSr2ch+ΔENS，其中ΔEQED收集纯QED与反冲贡献，第二项为领头有限尺寸效应，正比于均方电荷半径r2ch，最后一项ΔENS包括需要完整核动力学知识的核结构效应。其领头阶贡献是辐射双光子交换核结构修正ΔETPE，量级为(Zα)?。虽然ΔEQED已知精度很高，光谱测量极为精确，但ΔETPE更难计算，是提取半径不确定性的绝对主导来源。在缪子氢中，通常采用重子手征微扰论或数据驱动色散方法。在缪子氘与更重系统中必须应用不同技术。缪子氦从核结构角度看是特别丰富的测试场：对(μ3He)+与(μ4He)+缪子兰姆位移的测量给出了相应核半径迄今最精确的提取，而helion与α粒子半径的比较将缪子与普通原子光谱学对立起来，产生了近期已解决的氦同位素位移之谜。
4.2 缪子原子中的双光子交换振幅
将双光子交换振幅表示为轻子张量、规范张量与强子张量的乘积。阶梯图与交叉图共享此因子化结构，而seagull图为接触项，通过强子张量的双光子部分进入。由于缪子是无结构的自旋1/2粒子，轻子张量在此QED展开阶获得。在向前极限中写出，其中双光子过程中无整体动量转移给缪子。通常还忽略轻子三动量相对于其静止质量，此近似基于轻类氢原子是弱束缚系统、束缚缪子动量按Zαmμ标度的观察。强子张量满足交叉对称性。通过写出遵循此对称性的轻子张量、添加提供第二时间排序的交叉图并平均缪子自旋，获得对称化轻子张量。计算在库仑规范中进行，显著简化最终振幅表达式。收缩后许多组合消失，得到投影到电荷-电荷响应与横向响应的形式。
4.3 1/mN展开与多极求和规则
总振幅由组合振幅表达式与电磁强子张量得到。振幅作为有效的复缪子-核相互作用，其实部移动束缚缪子能级。评估通常分两步组织：先由非相对论修正的1/mN展开获得主导项，再在其上添加较小的相对论修正。非相对论修正来自积分核的近似。在此极限下横向核携带显式因子被抑制，整个展开由纵向（电荷）响应支配。核按小参数展开并逐阶执行积分，产生一系列能量加权多极求和规则，可用Lanczos技术高效评估。领头项是电偶极极化率贡献，由偶极强度的1/E加权矩支配，与静态偶极极化率密切相关。在次领头阶出现两项：第一项以相反符号再现弹性Zemach（Friar）贡献，其非弹性对应物基于质子-质子关联函数，对氢同位素消失但对4He完整存在且不小。在下一阶出现三个求和规则——电单极、电四极与偶极类干涉响应——以所需精度完成非相对论1/mN展开。在此精度还保留两类额外修正：库仑畸变效应产生携带异常对数能量权重的额外电偶极求和规则，以及通过保留积分核完整相对论运动学并减去已包含的领头非相对论贡献获得的相对论修正。
4.4 近期从头计算
完整核结构修正可示意性地组织为ΔENS=ΔETPE+ΔE3γ+ΔEVP+ΔESE，其中主导双光子交换项分裂为核与单核子部分，前者从头计算。现代计算用第3节的多体机制从求和规则评估核部分。基态由χEFT哈密顿量用EIHH方法求解，对三体与四体核达到亚百分之一精度，能量加权响应用Lanczos方法获得，绕过激发态的显式构造。χEFT截断误差通过贝叶斯分析传播。应用于缪子原子，这取代了此前通过比较χEFT预言与唯象势来估计不确定性的做法，将误差条置于坚实的统计基础上。N3LO的最新结果给出(μ3He)+中ΔETPE=?8.13 meV与(μ4He)+中?14.84 meV。贝叶斯分析将3He不确定性增加约20%并减少4He约30%，将两者置于共同统计基础上。结合其余项与测量兰姆位移，得到电荷半径。这些计算不包含两体流效应，但对缪子兰姆位移，此类贡献在χEFT中被强烈抑制。
4.5 对氦同位素位移之谜的影响
特别灵敏的观测量是两个氦同位素电荷半径平方差δr2。由于主导理论不确定性在3He与4He之间强相关，δr2可比任一单独半径更精确地确定。它可通过两条独立路径获得：缪子氦兰姆位移的绝对半径，以及电子氦中23S → 21S跃迁的同位素位移。使用缪子氦核结构修正，缪子路径给出δr2=1.0705(34) fm2，普通原子路径给出1.0665(32) fm2。在文献[18]分析时，两条路径在约4.1σ水平分歧；改进的核结构输入非但未解决张力，反而加剧了此前的分歧。关键的是，贝叶斯框架表明在核结构侧以约5σ置信度排除了调和两条路径所需的位移，为核修正洗清嫌疑，将矛头指向实验系统学或被忽略的原子理论贡献。解决来自普通氦的原子理论。Qi及其合作者识别了此前被忽略的3He中21S与23S能级与更高S态的超精细混合，移动23S → 21S同位素位移并将普通原子值降低至1.0682(32) fm2，将相对文献[16]的张力降至约1.2σ。Pachucki及其合作者随后推导了完整二阶超精细修正，获得1.0705(32) fm2，与文献[16]的缪子值在约1.2σ、与文献[18]的改进测定在约0.8σ一致。两条路径的最终一致性验证了从缪子原子提取绝对电荷半径，并支持将其扩展到更重系统。
4.6 重缪子原子与高电荷离子
从头计算方法与χEFT结合为最轻核提供严格不确定性量化，但对缪子X射线光谱学探测的重系统不可行。实验方面，QUARTET合作组旨在以金属磁量热计探测低能缪子X射线，将轻核绝对电荷半径精度提高至一个数量级。muX项目开发了高压氢-氘气室中的重复缪子转移技术，可用微克量目标材料进行缪子原子光谱学，获得稀有与放射性物种。该计划已扩展到中质量区，对缪子35,37Cl的高统计测量将稳定氯同位素电荷半径精度提高一个数量级。整个计划中核极化修正仍是最具挑战与最不确定的理论输入。这种审视由长期存在的谜题驱动：重缪子原子如Pb-208、Zr-90与Sn-120中测量的2p–1s精细结构劈裂在理论与实验之间显示持续异常，传统上归因于核极化率。由于从头描述重核谱超出能力，进入修正的核激发谱改为在自洽Hartree–Fock平均场上的随机相位近似（random-phase approximation, RPA）中计算。对九种Skyrme参数化的系统研究表明核模型不确定性远小于持续的理论-实验差异，表明核极化率并非精细结构异常的起源。此结论近期得到证实：结合最新QED与现代核极化率模型对缪子208Pb的重新评估弥合了长期存在的精细结构异常差距，而相对论反冲效应的全阶处理解决了缪子90Zr中的类似谜题。
5. 超容许核β衰变的近期进展
精密β衰变提供带电弱流相互作用最清洁的低能探针之一。核费米跃迁是衰变种类(A,Z)→(A,Z?1)的特殊弱跃迁，其领头振幅受外部态自旋-同位旋对称性强烈约束。这些跃迁提供CKM上-下夸克混合元Vud的清洁途径，从而检验SM首行幺正性。在现代检验所需的10??精度下，树级振幅不足，电弱辐射修正（electroweak radiative corrections, EWRC）必须显式包含在Vud提取中；相关过程是γW盒。在核理论中评估此类辐射修正已成为Vud精密提取中的决定性挑战。A. Sirlin早前发展的通用流代数框架构成后续分析的基础。在以下相对论推导中假设同位旋对称性，但同位旋破缺效应包含在计算的所有核结构依赖部分中。
5.1 从超容许衰变提取Vud
对给定核费米跃迁，树级振幅由带电弱流振幅与轻子振幅给出。对超容许跃迁，可在点核极限写出微分速率。考虑非点状分布与高阶过程后出现许多修正。积分正电子相空间产生无量纲统计相空间因子f，乘以衰变半衰期t1/2，得到ft值，其中K为跃迁无关常数。这些衰变的前景简单：对任何单个或一组可用超容许跃迁的测量应导致一致的Vud提取。但当前精度下远非如此，因上述对衰变速率的修正要求。如Sirlin所示，利用守恒矢量流假设与电磁Ward恒等式，可将O(α)顶点修正与辐射图组合表达为一组结构无关的普适对数、长距离外部修正与强子结构敏感的内部修正。外部修正的主导部分处理红外QED效应与正电子波函数库仑畸变；内部修正对所有超容许跃迁普适，包含若干效应，其中最具挑战性的是支配不确定性的强子结构依赖γW盒。除QED与核内结构效应外，复合强子如核中的β衰变还产生额外结构修正，即δC与δNS。前者为同位旋对称性破缺修正，参数化费米振幅因同位旋非守恒相互作用的重整化；后者参数化自由核子γW盒因核介质而有的修改。应用适当SM修正后，不同核应产生共同的修正ft值，从而产生一致的Vud值。这正是图4右侧所示比较。问题严重，因未修正的ft值在所需精度下非跃迁无关，而修正后的ft值编码电弱辐射、反冲与核结构修正，明显恢复预期跃迁无关行为。历史上唯一成功在核图中产生准对齐跃迁无关ft值的方法基于Woods–Saxon势的壳模型型计算。文献中替代方法未能产生Hardy与Towner获得的相同一致性。尽管在δC方面有早期努力，在过去二十年中，从头计算核理论界并未大力推动重新评估这些修正。
