\tikzfeynmanset

warn luatex=false \tikzfeynmanset with arrow/.style = decoration= markings, mark=at position 0.5 with \arrow[xshift=0.4mm]Stealth[black,width=1mm,length=1.3mm] , postaction=decorate \tikzfeynmanset yourboson/.style= decorate, decoration= snake, mirror, amplitude=0.6mm, segment length=2.16mm, pre, pre length=0pt, post, post length=0pt institutetext: Department of Physics, Baylor University, One Bear Place #97316, Waco, TX 76798-7316

EFT at JADE: a case study

Jonathan S. Wilson Jon_Wilson2@baylor.edu
Abstract

As we use the standard model effective field theory to search for signs of new physics beyond the reach of the LHC, we often wonder what we may learn from the effective field theory, and what it would look like to make a discovery via effective field theory. This article presents a case study that provides some answers to these questions. We apply the low-energy effective field theory to ee++{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}}{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{-}}}}\to{\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{+}}}}{\mathit{{{\mathit{{\upmu}{}% _{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace% {-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{-}}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT data below the Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson mass from the JADE experiment at DESY. The low-energy effective field theory allows the observation of physics beyond QED in the JADE data and furthermore, by matching the Wilson coefficients to the electroweak theory, a rough measurement of the masses of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bosons is possible. This rough measurement would have been sufficient to guide the construction of colliders such as the super proton-antiproton synchrotron or the large electron-positron collider, and so we anticipate that a discovery of new physics via effective field theory at the LHC would be similarly sufficient to guide the construction of future colliders.

1 Introduction

The LHC today boasts a robust program searching for signs of physics beyond the standard model (SM) using the SM effective field theory (SMEFT) Ethier:2021bye . The question of what an observation of new physics via SMEFT would teach us is often raised, and the response is generally that, without more targeted data analysis and probably a higher-energy experiment, we will not be able to learn anything about the new physics beyond its existence, not even the energy scale of the new physics.

We have performed a case study that challenges this assumption. By examining data from below the Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson mass using the low-energy effective field theory (LEFT) and matching the LEFT Wilson coefficients to the electroweak theory, we show that substantial knowledge about the energy scale of new physics can be obtained.

This case study uses ee++{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}}{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{-}}}}\to{\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{+}}}}{\mathit{{{\mathit{{\upmu}{}% _{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace% {-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{-}}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT data from the JADE experiment at DESY, and ignores all of the other data relevant to electroweak effects that was available at the time. It is therefore a counter-historical case study but it more closely mimics a hypothetical future in which indications of physics beyond the SM have been observed at the LHC via SMEFT measurements.

We describe the JADE data in section 2, the LEFT and its predictions in section 3, the fit to the JADE data to measure the LEFT Wilson coefficients in section 4, the matching of the LEFT Wilson coefficients to the electroweak theory predictions in section 5, and the measurement of the masses of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bosons in section 6.

2 Data

The JADE (JApan, Deutschland, and England) experiment at the PETRA particle accelerator at DESY was a general-purpose particle detector NAROSKA198767 . It recorded e+esuperscript𝑒superscript𝑒e^{+}e^{-}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT collisions from 1979 to 1986, with center-of-mass energies ranging from 12 to 46.6 GeVtimes46.6gigaelectronvolt46.6\text{\,}\mathrm{GeV}start_ARG 46.6 end_ARG start_ARG times end_ARG start_ARG roman_GeV end_ARG.

JADE measures the differential cross section for electron-positron annihilation at a pair of muons as a function of the angle, in the center-of-mass frame, between the incoming electron and outgoing muon momenta JADE_mu_AFB . This measurement is performed at four center-of-mass energies: 13.8, 22.0, 34.4, and 42.4 GeVtimes42.4gigaelectronvolt42.4\text{\,}\mathrm{GeV}start_ARG 42.4 end_ARG start_ARG times end_ARG start_ARG roman_GeV end_ARG. A forward-backward asymmetry is observed, which increases with center-of-mass energy and is consistent with the predictions of the electroweak theory.

The differential cross section, multiplied by the Mandelstam variable s𝑠sitalic_s and divided by the bin width, is measured in several bins of cosθ𝜃\cos\thetaroman_cos italic_θ, as shown in tables 1 and 2 as well as figure 2 of ref. JADE_mu_AFB . The binning depends on the center-of-mass energy at which the measurement is performed.

Bin Bin width w𝑤witalic_w (s/w)(dσ/dcosθ)𝑠𝑤d𝜎d𝜃\left(s/w\right)\left(\mathrm{d}\sigma/\mathrm{d}\cos\theta\right)( italic_s / italic_w ) ( roman_d italic_σ / roman_d roman_cos italic_θ ) [nb GeV2timesnanobarngigaelectronvolt2\mathrm{nb}\text{\,}{\mathrm{GeV}}^{2}start_ARG roman_nb end_ARG start_ARG times end_ARG start_ARG power start_ARG roman_GeV end_ARG start_ARG 2 end_ARG end_ARG]
13.8 GeVtimes13.8gigaelectronvolt13.8\text{\,}\mathrm{GeV}start_ARG 13.8 end_ARG start_ARG times end_ARG start_ARG roman_GeV end_ARG 22.0 GeVtimes22.0gigaelectronvolt22.0\text{\,}\mathrm{GeV}start_ARG 22.0 end_ARG start_ARG times end_ARG start_ARG roman_GeV end_ARG 42.4 GeVtimes42.4gigaelectronvolt42.4\text{\,}\mathrm{GeV}start_ARG 42.4 end_ARG start_ARG times end_ARG start_ARG roman_GeV end_ARG
(0.8,0.6)0.80.6(-0.8,-0.6)( - 0.8 , - 0.6 ) 0.2 6.91±0.93uncertain6.910.936.91\pm 0.93start_ARG 6.91 end_ARG ± start_ARG 0.93 end_ARG 6.95±1.11uncertain6.951.116.95\pm 1.11start_ARG 6.95 end_ARG ± start_ARG 1.11 end_ARG 8.58±1.06uncertain8.581.068.58\pm 1.06start_ARG 8.58 end_ARG ± start_ARG 1.06 end_ARG
(0.6,0.4)0.60.4(-0.6,-0.4)( - 0.6 , - 0.4 ) 0.2 6.53±0.95uncertain6.530.956.53\pm 0.95start_ARG 6.53 end_ARG ± start_ARG 0.95 end_ARG 7.06±1.17uncertain7.061.177.06\pm 1.17start_ARG 7.06 end_ARG ± start_ARG 1.17 end_ARG 7.53±0.90uncertain7.530.907.53\pm 0.90start_ARG 7.53 end_ARG ± start_ARG 0.90 end_ARG
(0.4,0.2)0.40.2(-0.4,-0.2)( - 0.4 , - 0.2 ) 0.2 5.00±0.76uncertain5.000.765.00\pm 0.76start_ARG 5.00 end_ARG ± start_ARG 0.76 end_ARG 6.99±1.11uncertain6.991.116.99\pm 1.11start_ARG 6.99 end_ARG ± start_ARG 1.11 end_ARG 7.10±0.94uncertain7.100.947.10\pm 0.94start_ARG 7.10 end_ARG ± start_ARG 0.94 end_ARG
(0.2,0.0)0.20.0(-0.2,\phantom{-}0.0)( - 0.2 , 0.0 ) 0.2 5.23±0.80uncertain5.230.805.23\pm 0.80start_ARG 5.23 end_ARG ± start_ARG 0.80 end_ARG 4.29±0.88uncertain4.290.884.29\pm 0.88start_ARG 4.29 end_ARG ± start_ARG 0.88 end_ARG 5.37±0.83uncertain5.370.835.37\pm 0.83start_ARG 5.37 end_ARG ± start_ARG 0.83 end_ARG
(0.0,0.2)0.00.2(\phantom{-}0.0,\phantom{-}0.2)( 0.0 , 0.2 ) 0.2 6.30±0.85uncertain6.300.856.30\pm 0.85start_ARG 6.30 end_ARG ± start_ARG 0.85 end_ARG 4.68±0.95uncertain4.680.954.68\pm 0.95start_ARG 4.68 end_ARG ± start_ARG 0.95 end_ARG 5.57±0.83uncertain5.570.835.57\pm 0.83start_ARG 5.57 end_ARG ± start_ARG 0.83 end_ARG
(0.2,0.4)0.20.4(\phantom{-}0.2,\phantom{-}0.4)( 0.2 , 0.4 ) 0.2 4.92±0.79uncertain4.920.794.92\pm 0.79start_ARG 4.92 end_ARG ± start_ARG 0.79 end_ARG 6.87±1.12uncertain6.871.126.87\pm 1.12start_ARG 6.87 end_ARG ± start_ARG 1.12 end_ARG 4.54±0.78uncertain4.540.784.54\pm 0.78start_ARG 4.54 end_ARG ± start_ARG 0.78 end_ARG
(0.4,0.6)0.40.6(\phantom{-}0.4,\phantom{-}0.6)( 0.4 , 0.6 ) 0.2 7.49±0.94uncertain7.490.947.49\pm 0.94start_ARG 7.49 end_ARG ± start_ARG 0.94 end_ARG 5.17±0.94uncertain5.170.945.17\pm 0.94start_ARG 5.17 end_ARG ± start_ARG 0.94 end_ARG 7.57±0.91uncertain7.570.917.57\pm 0.91start_ARG 7.57 end_ARG ± start_ARG 0.91 end_ARG
(0.6,0.8)0.60.8(\phantom{-}0.6,\phantom{-}0.8)( 0.6 , 0.8 ) 0.2 7.37±0.96uncertain7.370.967.37\pm 0.96start_ARG 7.37 end_ARG ± start_ARG 0.96 end_ARG 5.34±0.99uncertain5.340.995.34\pm 0.99start_ARG 5.34 end_ARG ± start_ARG 0.99 end_ARG 4.81±0.79uncertain4.810.794.81\pm 0.79start_ARG 4.81 end_ARG ± start_ARG 0.79 end_ARG
Table 1: The JADE measurement of the differential cross section (s/w)(dσ/dcosθ)𝑠𝑤d𝜎d𝜃\left(s/w\right)\left(\mathrm{d}\sigma/\mathrm{d}\cos\theta\right)( italic_s / italic_w ) ( roman_d italic_σ / roman_d roman_cos italic_θ ), where w𝑤witalic_w is the bin width, in several bins at center-of-mass energies of 13.8, 22.0, and 42.4 GeVtimes42.4gigaelectronvolt42.4\text{\,}\mathrm{GeV}start_ARG 42.4 end_ARG start_ARG times end_ARG start_ARG roman_GeV end_ARG.
Bin Bin width w𝑤witalic_w (s/w)(dσ/dcosθ)𝑠𝑤d𝜎d𝜃\left(s/w\right)\left(\mathrm{d}\sigma/\mathrm{d}\cos\theta\right)( italic_s / italic_w ) ( roman_d italic_σ / roman_d roman_cos italic_θ ) [nb GeV2timesnanobarngigaelectronvolt2\mathrm{nb}\text{\,}{\mathrm{GeV}}^{2}start_ARG roman_nb end_ARG start_ARG times end_ARG start_ARG power start_ARG roman_GeV end_ARG start_ARG 2 end_ARG end_ARG]
(1.00,0.80)1.000.80(-1.00,-0.80)( - 1.00 , - 0.80 ) 0.20 9.15±1.10uncertain9.151.109.15\pm 1.10start_ARG 9.15 end_ARG ± start_ARG 1.10 end_ARG
(0.80,0.64)0.800.64(-0.80,-0.64)( - 0.80 , - 0.64 ) 0.16 8.56±0.47uncertain8.560.478.56\pm 0.47start_ARG 8.56 end_ARG ± start_ARG 0.47 end_ARG
(0.64,0.48)0.640.48(-0.64,-0.48)( - 0.64 , - 0.48 ) 0.16 7.57±0.45uncertain7.570.457.57\pm 0.45start_ARG 7.57 end_ARG ± start_ARG 0.45 end_ARG
(0.48,0.32)0.480.32(-0.48,-0.32)( - 0.48 , - 0.32 ) 0.16 6.58±0.38uncertain6.580.386.58\pm 0.38start_ARG 6.58 end_ARG ± start_ARG 0.38 end_ARG
(0.32,0.16)0.320.16(-0.32,-0.16)( - 0.32 , - 0.16 ) 0.16 5.62±0.33uncertain5.620.335.62\pm 0.33start_ARG 5.62 end_ARG ± start_ARG 0.33 end_ARG
(0.16,0.00)0.160.00(-0.16,\phantom{-}0.00)( - 0.16 , 0.00 ) 0.16 5.93±0.37uncertain5.930.375.93\pm 0.37start_ARG 5.93 end_ARG ± start_ARG 0.37 end_ARG
(0.00,0.16)0.000.16(\phantom{-}0.00,\phantom{-}0.16)( 0.00 , 0.16 ) 0.16 4.91±0.36uncertain4.910.364.91\pm 0.36start_ARG 4.91 end_ARG ± start_ARG 0.36 end_ARG
(0.16,0.32)0.160.32(\phantom{-}0.16,\phantom{-}0.32)( 0.16 , 0.32 ) 0.16 5.24±0.41uncertain5.240.415.24\pm 0.41start_ARG 5.24 end_ARG ± start_ARG 0.41 end_ARG
(0.32,0.48)0.320.48(\phantom{-}0.32,\phantom{-}0.48)( 0.32 , 0.48 ) 0.16 5.40±0.36uncertain5.400.365.40\pm 0.36start_ARG 5.40 end_ARG ± start_ARG 0.36 end_ARG
(0.48,0.64)0.480.64(\phantom{-}0.48,\phantom{-}0.64)( 0.48 , 0.64 ) 0.16 5.84±0.39uncertain5.840.395.84\pm 0.39start_ARG 5.84 end_ARG ± start_ARG 0.39 end_ARG
(0.64,0.80)0.640.80(\phantom{-}0.64,\phantom{-}0.80)( 0.64 , 0.80 ) 0.16 6.30±0.40uncertain6.300.406.30\pm 0.40start_ARG 6.30 end_ARG ± start_ARG 0.40 end_ARG
(0.80,1.00)0.801.00(\phantom{-}0.80,\phantom{-}1.00)( 0.80 , 1.00 ) 0.20 8.30±1.04uncertain8.301.048.30\pm 1.04start_ARG 8.30 end_ARG ± start_ARG 1.04 end_ARG
Table 2: The JADE measurement of the differential cross section (s/w)(dσ/dcosθ)𝑠𝑤d𝜎d𝜃\left(s/w\right)\left(\mathrm{d}\sigma/\mathrm{d}\cos\theta\right)( italic_s / italic_w ) ( roman_d italic_σ / roman_d roman_cos italic_θ ), where w𝑤witalic_w is the bin width, in several bins at a center-of-mass energy of 34.4 GeVtimes34.4gigaelectronvolt34.4\text{\,}\mathrm{GeV}start_ARG 34.4 end_ARG start_ARG times end_ARG start_ARG roman_GeV end_ARG.

3 The low-energy effective field theory

The low-energy effective field theory (LEFT) LEFT describes physics below the electroweak scale. The W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT, Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT, and Higgs bosons and the top quark are integrated out of the SMEFT to obtain the LEFT. In the most general flavor assumptions, this produces a total of 6083 operators, including dimensions 3, 5, and 6 and allowing CP violation. If we restrict ourselves to only operators that affect ee++{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}}{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{-}}}}\to{\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{+}}}}{\mathit{{{\mathit{{\upmu}{}% _{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace% {-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{-}}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT at tree level and do not produce CP violation, there are 14 operators, which are listed in table 3. Further restricting to only those operators that have nonzero Wilson coefficients in the SM leaves only 4 contributions, all at dimension 6: CeeeeV,LLC^{V,LL}_{\begin{subarray}{c}ee\\ {\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}% }}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e italic_e end_CELL end_ROW start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG end_POSTSUBSCRIPT, CeeeeV,RRC^{V,RR}_{\begin{subarray}{c}ee\\ {\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}% }}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_R italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e italic_e end_CELL end_ROW start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG end_POSTSUBSCRIPT, CeeeeV,LRC^{V,LR}_{\begin{subarray}{c}ee\\ {\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}% }}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e italic_e end_CELL end_ROW start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG end_POSTSUBSCRIPT, and CeeeeV,LRC^{V,LR}_{\begin{subarray}{c}ee\\ {\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace% {-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e italic_e end_CELL end_ROW start_ROW start_CELL start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG end_POSTSUBSCRIPT, which we will write as CLLsuperscript𝐶𝐿𝐿C^{LL}italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT, CRRsuperscript𝐶𝑅𝑅C^{RR}italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT, CLRsuperscript𝐶𝐿𝑅C^{LR}italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT, and CRLsuperscript𝐶𝑅𝐿C^{RL}italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT, respectively, for the sake of brevity.

Wilson coefficient Flavor indices Operator definition Nonzero in SM
CeprC_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{% -1.0mu}\scriptstyle{}}}}{\mathit{{\upgamma}{}_{\mspace{-3.0mu}\scriptstyle{}}^% {\mspace{-1.0mu}\scriptstyle{}}}}\\ pr\end{subarray}}italic_C start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r end_CELL end_ROW end_ARG end_POSTSUBSCRIPT pr=eepr={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle% {}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}italic_p italic_r = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT e¯LpσμνeFμνRr\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}_{Lp}\sigma^{\mu\nu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rr}F_{\mu\nu}over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT
CeprC_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{% -1.0mu}\scriptstyle{}}}}{\mathit{{\upgamma}{}_{\mspace{-3.0mu}\scriptstyle{}}^% {\mspace{-1.0mu}\scriptstyle{}}}}\\ pr\end{subarray}}italic_C start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r end_CELL end_ROW end_ARG end_POSTSUBSCRIPT pr=pr={\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}italic_p italic_r = start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT e¯LpσμνeFμνRr\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}_{Lp}\sigma^{\mu\nu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rr}F_{\mu\nu}over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT
CeprC_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{% -1.0mu}\scriptstyle{}}}}{\mathit{{\upgamma}{}_{\mspace{-3.0mu}\scriptstyle{}}^% {\mspace{-1.0mu}\scriptstyle{}}}}\\ pr\end{subarray}}italic_C start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r end_CELL end_ROW end_ARG end_POSTSUBSCRIPT pr=epr={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle% {}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}italic_p italic_r = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT e¯LpσμνeFμνRr\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}_{Lp}\sigma^{\mu\nu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rr}F_{\mu\nu}over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT
CeprC_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{% -1.0mu}\scriptstyle{}}}}{\mathit{{\upgamma}{}_{\mspace{-3.0mu}\scriptstyle{}}^% {\mspace{-1.0mu}\scriptstyle{}}}}\\ pr\end{subarray}}italic_C start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r end_CELL end_ROW end_ARG end_POSTSUBSCRIPT pr=epr={\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0% mu}\scriptstyle{}}}}italic_p italic_r = start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT e¯LpσμνeFμνRr\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}_{Lp}\sigma^{\mu\nu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rr}F_{\mu\nu}over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT
CeeprstV,LLC^{V,LL}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0% mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpγμeLr)(e¯LsγμeLt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Lr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Ls}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Lt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_�� end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_t end_POSTSUBSCRIPT ) *
CeeprstV,LLC^{V,LL}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpγμeLr)(e¯LsγμeLt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Lr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Ls}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Lt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_t end_POSTSUBSCRIPT )
CeeprstV,RRC^{V,RR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_R italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0% mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯RpγμeRr)(e¯RsγμeRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Rp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Rs}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT ) *
CeeprstV,RRC^{V,RR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_R italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯RpγμeRr)(e¯RsγμeRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Rp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Rs}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT )
CeeprstV,LRC^{V,LR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0% mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpγμeLr)(e¯RsγμeRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Lr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Rs}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT ) *
CeeprstV,LRC^{V,LR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace% {-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpγμeLr)(e¯RsγμeRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Lr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Rs}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT ) *
CeeprstV,LRC^{V,LR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpγμeLr)(e¯RsγμeRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Lr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Rs}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT )
CeeprstV,LRC^{V,LR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_V , italic_L italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0% mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1% .0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpγμeLr)(e¯RsγμeRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}\gamma^{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Lr}\right)\left(\overline{{% \mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}% }}_{Rs}\gamma_{\mu}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.% 0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_L italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_R italic_s end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT )
CeeprstS,RRC^{S,RR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_S , italic_R italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0% mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpeRr)(e¯LseRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}_{Rr}\right)\left(\overline{{\mathit{{e}{}_{% \mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}_{Ls}{\mathit% {{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_s end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT )
CeeprstS,RRC^{S,RR}_{\begin{subarray}{c}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}\\ prst\end{subarray}}italic_C start_POSTSUPERSCRIPT italic_S , italic_R italic_R end_POSTSUPERSCRIPT start_POSTSUBSCRIPT start_ARG start_ROW start_CELL italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL italic_p italic_r italic_s italic_t end_CELL end_ROW end_ARG end_POSTSUBSCRIPT prst=eeprst={\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{}}}}{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}% ^{\mspace{-1.0mu}\scriptstyle{}}}}italic_p italic_r italic_s italic_t = italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT (e¯LpeRr)(e¯LseRt)\left(\overline{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}}_{Lp}{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}_{Rr}\right)\left(\overline{{\mathit{{e}{}_{% \mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}_{Ls}{\mathit% {{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}_{Rt}\right)( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_p end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_r end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_POSTSUBSCRIPT italic_L italic_s end_POSTSUBSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_R italic_t end_POSTSUBSCRIPT )
Table 3: The 14 LEFT operators that can affect ee++{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}}{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{-}}}}\to{\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{+}}}}{\mathit{{{\mathit{{\upmu}{}% _{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace% {-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{-}}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT at tree-level. The 4 operators that have nonzero Wilson coefficients in the SM are marked with an asterisk in the right column.

These operators, along with QED, produce the five Feynman diagrams shown in figure 1. In the limit of massless fermions, calculating the differential cross section from QED alone produces

dσdcosθ=πα22s(1+cos2θ),d𝜎d𝜃𝜋superscript𝛼22𝑠1superscript2𝜃\frac{\mathrm{d}\sigma}{\mathrm{d}\cos\theta}=\frac{\pi\alpha^{2}}{2s}\left(1+% \cos^{2}\theta\right),divide start_ARG roman_d italic_σ end_ARG start_ARG roman_d roman_cos italic_θ end_ARG = divide start_ARG italic_π italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_s end_ARG ( 1 + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ ) ,

and the inclusion of the LEFT diagrams produces, at leading order in LEFT,

dσdcosθ=[α161Λ2(CLL+CRR+CLR+CRL)+πα22s](1+cos2θ)+[α161Λ2(CLL+CRRCLRCRL)]2cosθ,d𝜎d𝜃delimited-[]𝛼161superscriptΛ2superscript𝐶𝐿𝐿superscript𝐶𝑅𝑅superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿𝜋superscript𝛼22𝑠1superscript2𝜃delimited-[]𝛼161superscriptΛ2superscript𝐶𝐿𝐿superscript𝐶𝑅𝑅superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿2𝜃\displaystyle\begin{split}\frac{\mathrm{d}\sigma}{\mathrm{d}\cos\theta}=&\left% [\frac{\alpha}{16}\frac{1}{\Lambda^{2}}\Re\left(C^{LL}+C^{RR}+C^{LR}+C^{RL}% \right)+\frac{\pi\alpha^{2}}{2s}\right]\left(1+\cos^{2}\theta\right)\\ &+\left[\frac{\alpha}{16}\frac{1}{\Lambda^{2}}\Re\left(C^{LL}+C^{RR}-C^{LR}-C^% {RL}\right)\right]2\cos\theta,\end{split}start_ROW start_CELL divide start_ARG roman_d italic_σ end_ARG start_ARG roman_d roman_cos italic_θ end_ARG = end_CELL start_CELL [ divide start_ARG italic_α end_ARG start_ARG 16 end_ARG divide start_ARG 1 end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_ℜ ( italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT ) + divide start_ARG italic_π italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_s end_ARG ] ( 1 + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + [ divide start_ARG italic_α end_ARG start_ARG 16 end_ARG divide start_ARG 1 end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_ℜ ( italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT - italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT - italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT ) ] 2 roman_cos italic_θ , end_CELL end_ROW (1)

where α𝛼\alphaitalic_α is the fine-structure constant and ΛΛ\Lambdaroman_Λ is the scale of new physics described by the LEFT. Only the linear combinations (CLL+CRR)superscript𝐶𝐿𝐿superscript𝐶𝑅𝑅\Re\left(C^{LL}+C^{RR}\right)roman_ℜ ( italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT ) and (CLR+CRL)superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿\Re\left(C^{LR}+C^{RL}\right)roman_ℜ ( italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT ) affect the differential cross section.

{feynman}\vertexeL\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{-}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexeL+\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{+}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\vertex\vertexL\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{-}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexL+\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{+}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\diagramCLLsuperscript𝐶𝐿𝐿C^{LL}italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT
{feynman}\vertexeR\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{-}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexeR+\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{+}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\vertex\vertexR\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{-}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexR+\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{+}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\diagramCRRsuperscript𝐶𝑅𝑅C^{RR}italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT
{feynman}\vertexeL\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{-}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexeL+\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{+}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\vertex\vertexR\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{-}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexR+\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{+}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\diagramCLRsuperscript𝐶𝐿𝑅C^{LR}italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT
{feynman}\vertexeR\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{-}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexeR+\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{R}}^{\mspace{-1.0mu}% \scriptstyle{+}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_R end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\vertex\vertexL\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{-}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexL+\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{L}}^{\mspace{-1.0mu}% \scriptstyle{+}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT italic_L end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\diagramCRLsuperscript𝐶𝑅𝐿C^{RL}italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT
{feynman}\vertexe\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{-}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexe+\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\vertex\vertex\vertex\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{-}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertex+\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\diagramsuperscriptsubscriptabsentabsentabsent\mathit{{\upgamma}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT
Figure 1: The five tree-level Feynman diagrams resulting from the LEFT operators under consideration and from QED.

4 LEFT fit results

To measure the LEFT Wilson coefficients, we perform a Bayesian analysis. We integrate eq. (1) over each bin, multiply by s𝑠sitalic_s, and divide by the width of the bin,

σiexp.(CLL+CRR,CLR+CRL)=DiUidcosθsUiDidσdcosθ,subscriptsuperscript𝜎exp.𝑖superscript𝐶𝐿𝐿superscript𝐶𝑅𝑅superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿superscriptsubscriptsubscript𝐷𝑖subscript𝑈𝑖d𝜃𝑠subscript𝑈𝑖subscript𝐷𝑖d𝜎d𝜃\sigma^{\text{exp.}}_{i}\left(C^{LL}+C^{RR},C^{LR}+C^{RL}\right)=\int_{D_{i}}^% {U_{i}}\mathrm{d}\cos\theta\frac{s}{U_{i}-D_{i}}\frac{\mathrm{d}\sigma}{% \mathrm{d}\cos\theta},italic_σ start_POSTSUPERSCRIPT exp. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT , italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT ) = ∫ start_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_POSTSUPERSCRIPT roman_d roman_cos italic_θ divide start_ARG italic_s end_ARG start_ARG italic_U start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG divide start_ARG roman_d italic_σ end_ARG start_ARG roman_d roman_cos italic_θ end_ARG ,

where σiexp.subscriptsuperscript𝜎exp.𝑖\sigma^{\text{exp.}}_{i}italic_σ start_POSTSUPERSCRIPT exp. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the predicted measurement in the i𝑖iitalic_ith bin, and Disubscript𝐷𝑖D_{i}italic_D start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Uisubscript𝑈𝑖U_{i}italic_U start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are respectively the lower and upper edges of the i𝑖iitalic_ith bin as shown in tables 1 and 2. We compare the measurement to the prediction using a Gaussian likelihood,

(CLL+CRR,CLR+CRL)=i1(Δσiobs.)2πe12(σiexp.σiobs.Δσiobs.)2,superscript𝐶𝐿𝐿superscript𝐶𝑅𝑅superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿subscriptproduct𝑖1Δsubscriptsuperscript𝜎obs.𝑖2𝜋superscript𝑒12superscriptsubscriptsuperscript𝜎exp.𝑖subscriptsuperscript𝜎obs.𝑖Δsubscriptsuperscript𝜎obs.𝑖2\mathcal{L}\left(C^{LL}+C^{RR},C^{LR}+C^{RL}\right)=\prod_{i}\frac{1}{(\Delta% \sigma^{\text{obs.}}_{i})\sqrt{2\pi}}e^{-\frac{1}{2}\left(\frac{\sigma^{\text{% exp.}}_{i}-\sigma^{\text{obs.}}_{i}}{\Delta\sigma^{\text{obs.}}_{i}}\right)^{2% }},caligraphic_L ( italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT , italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT ) = ∏ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG ( roman_Δ italic_σ start_POSTSUPERSCRIPT obs. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ) square-root start_ARG 2 italic_π end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( divide start_ARG italic_σ start_POSTSUPERSCRIPT exp. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_σ start_POSTSUPERSCRIPT obs. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG roman_Δ italic_σ start_POSTSUPERSCRIPT obs. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ,

where σiobs.subscriptsuperscript𝜎obs.𝑖\sigma^{\text{obs.}}_{i}italic_σ start_POSTSUPERSCRIPT obs. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and Δσiobs.Δsubscriptsuperscript𝜎obs.𝑖\Delta\sigma^{\text{obs.}}_{i}roman_Δ italic_σ start_POSTSUPERSCRIPT obs. end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are respectively the measured cross section and its uncertainty in the i𝑖iitalic_ith bin. For the parameters CLL+CRRsuperscript𝐶𝐿𝐿superscript𝐶𝑅𝑅C^{LL}+C^{RR}italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT and CLR+CRLsuperscript𝐶𝐿𝑅superscript𝐶𝑅𝐿C^{LR}+C^{RL}italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT, we use flat prior probability distributions.

Using the pymc software package pymc5 , we draw samples from the posterior probability distribution. From these samples, we construct the 68, 95, and 99.7% highest-posterior-density credible intervals, which are shown in figure 2. We also compare the LEFT fit results and the predictions of QED alone to the JADE data, as shown in figure 3.

Refer to caption
Figure 2: Posterior probability density for the LEFT Wilson coefficients. The green, yellow, and red regions contain 68, 95, and 99.7% of the posterior probability, respectively. The black square shows the location of the maximum posterior probability density. The red dot shows the values of the LEFT Wilson coefficients predicted by QED alone. QED alone is very strongly disfavored.
Refer to caption
Figure 3: The JADE data (dots with error bars), compared to the prediction from QED alone (dashed line) and to the predictions resulting from the fit to the LEFT (solid line, with 68 and 95% credible intervals shown in green and yellow, respectively). The JADE data is inconsistent with QED alone, especially at higher center-of-mass energies, but it is consistent with the LEFT predictions.

The prediction of QED alone, without any electroweak contributions, predicts that the LEFT Wilson coefficients are all zero. Figure 2 shows that QED alone is very strongly disfavored. In other words, from this JADE data, we have “discovered” physics beyond QED.

This is the situation in which we hope to find ourselves when measuring SMEFT Wilson coefficients at the LHC, that we measure some Wilson coefficients and strongly disfavor the SM. The central question that is addressed by this case study is what happens next, and what this measurement can tell us about the new physics that we have observed.

5 Matching to the electroweak theory

In the event that some Wilson coefficient measurement strongly disfavors the SM, one would look for models of physics beyond the SM, and ask what Wilson coefficients those models would predict as a function of the model parameters. The effective field theory formalism allows many models to be directly compared to the data without requiring a dedicated measurement for each model.

In the case of the JADE data, the obvious model to consider is the electroweak theory Glashow:1961tr ; Weinberg:1967tq ; Salam:1968rm . At tree level, the electroweak theory adds one Feynman diagram, which contains a Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson in the s𝑠sitalic_s channel, as shown in figure 4. We can calculate the differential cross section of the electroweak theory in the limit of massless fermions and a zero-width Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson,

dσdcosθ=πα22s(1+cos2θ)+sπ(GFMZ2sMZ2)2[(gV2+gA2)2(1+cos2θ)+8gV2gA2cosθ]+2αGFMZ2sMZ2[gV2(1+cos2θ)+2gA2cosθ],\displaystyle\begin{split}\frac{\mathrm{d}\sigma}{\mathrm{d}\cos\theta}=&\frac% {\pi\alpha^{2}}{2s}\left(1+\cos^{2}\theta\right)\\ &+\frac{s}{\pi}\left(\frac{G_{F}M_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{% }}^{\mspace{-1.0mu}\scriptstyle{}}}}^{2}}{s-M_{\mathit{{Z}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}^{2}}\right)^{2}\left[\left(g% _{V}^{2}+g_{A}^{2}\right)^{2}\left(1+\cos^{2}\theta\right)+8g_{V}^{2}g_{A}^{2}% \cos\theta\right]\\ &+\sqrt{2}\alpha\frac{G_{F}M_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}^{2}}{s-M_{\mathit{{Z}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}^{2}}\left[g_{V}^{2}\left(1+% \cos^{2}\theta\right)+2g_{A}^{2}\cos\theta\right],\end{split}start_ROW start_CELL divide start_ARG roman_d italic_σ end_ARG start_ARG roman_d roman_cos italic_θ end_ARG = end_CELL start_CELL divide start_ARG italic_π italic_α start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_s end_ARG ( 1 + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + divide start_ARG italic_s end_ARG start_ARG italic_π end_ARG ( divide start_ARG italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_s - italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ ( italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ ) + 8 italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos italic_θ ] end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + square-root start_ARG 2 end_ARG italic_α divide start_ARG italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_s - italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ ) + 2 italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos italic_θ ] , end_CELL end_ROW (2)

where GFsubscript𝐺𝐹G_{F}italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT is Fermi’s constant, MZM_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT is the mass of the Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson, gV=sin2θW1/4subscript𝑔𝑉superscript2subscript𝜃𝑊14g_{V}=\sin^{2}\theta_{W}-1/4italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT = roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT - 1 / 4 and gA=1/4subscript𝑔𝐴14g_{A}=-1/4italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT = - 1 / 4 are the vector and axial-vector couplings of the Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson to the electron and muon, and θWsubscript𝜃𝑊\theta_{W}italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT is the weak mixing angle. Comparing eqs. 1 and 2, or better yet comparing the LEFT and electroweak calculations at the matrix-element level, we can obtain the electroweak predictions for the LEFT Wilson coefficients,

1Λ2(CLL+CRR)1superscriptΛ2superscript𝐶𝐿𝐿superscript𝐶𝑅𝑅\displaystyle\frac{1}{\Lambda^{2}}\Re\left(C^{LL}+C^{RR}\right)divide start_ARG 1 end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_ℜ ( italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT ) =82GF(gV2+gA2)absent82subscript𝐺𝐹superscriptsubscript𝑔𝑉2superscriptsubscript𝑔𝐴2\displaystyle=-8\sqrt{2}G_{F}(g_{V}^{2}+g_{A}^{2})= - 8 square-root start_ARG 2 end_ARG italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
1Λ2(CLR+CRL)1superscriptΛ2superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿\displaystyle\frac{1}{\Lambda^{2}}\Re\left(C^{LR}+C^{RL}\right)divide start_ARG 1 end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_ℜ ( italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT ) =82GF(gV2gA2).absent82subscript𝐺𝐹superscriptsubscript𝑔𝑉2superscriptsubscript𝑔𝐴2\displaystyle=-8\sqrt{2}G_{F}(g_{V}^{2}-g_{A}^{2}).= - 8 square-root start_ARG 2 end_ARG italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ( italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_g start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) .
{feynman}\vertexe\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{-}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertexe+\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\vertex\vertex\vertex\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{-}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT\vertex+\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT\diagramZ\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT
Figure 4: The tree-level Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson exchange Feynman diagram from the electroweak theory.

6 Extracting the weak boson masses

Now that we have predictions for the LEFT Wilson coefficients as functions of the parameters of the electroweak theory, we can reformulate the posterior probability density for the LEFT Wilson coefficients as a posterior probability density for the electroweak parameters GFsubscript𝐺𝐹G_{F}italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and sin2θWsuperscript2subscript𝜃𝑊\sin^{2}\theta_{W}roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT or, equivalently, MWM_{\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}italic_M start_POSTSUBSCRIPT italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT and MZM_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT.

In figure 5, we overlay lines of constant GFsubscript𝐺𝐹G_{F}italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and lines of constant sin2θWsuperscript2subscript𝜃𝑊\sin^{2}\theta_{W}roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT on the posterior probability density of figure 2. As GFsubscript𝐺𝐹G_{F}italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT approaches 0, we recover the QED-only prediction. At sin2θW=0superscript2subscript𝜃𝑊0\sin^{2}\theta_{W}=0roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT = 0, CLR+CRL=0superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿0C^{LR}+C^{RL}=0italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT = 0, and as sin2θWsuperscript2subscript𝜃𝑊\sin^{2}\theta_{W}roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT approaches 0.25, we have CLL+CRR=(CLR+CRL)superscript𝐶𝐿𝐿superscript𝐶𝑅𝑅superscript𝐶𝐿𝑅superscript𝐶𝑅𝐿C^{LL}+C^{RR}=-(C^{LR}+C^{RL})italic_C start_POSTSUPERSCRIPT italic_L italic_L end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_R end_POSTSUPERSCRIPT = - ( italic_C start_POSTSUPERSCRIPT italic_L italic_R end_POSTSUPERSCRIPT + italic_C start_POSTSUPERSCRIPT italic_R italic_L end_POSTSUPERSCRIPT ). As sin2θWsuperscript2subscript𝜃𝑊\sin^{2}\theta_{W}roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT continues to increase beyond 0.25, we move back downwards in figure 5, so that the line for sin2θW=0.5superscript2subscript𝜃𝑊0.5\sin^{2}\theta_{W}=0.5roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT = 0.5 lies on top of the line for sin2θW=0superscript2subscript𝜃𝑊0\sin^{2}\theta_{W}=0roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT = 0. This implies that the portion of the posterior probability density that lies above and to the right of the line for sin2θW=0.25superscript2subscript𝜃𝑊0.25\sin^{2}\theta_{W}=0.25roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT = 0.25 is forbidden, and the rest of the space is double-covered.

Refer to caption
Figure 5: Posterior probability density for the LEFT Wilson coefficients, with contours of constant GFsubscript𝐺𝐹G_{F}italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and contours of constant sin2θWsuperscript2subscript𝜃𝑊\sin^{2}\theta_{W}roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT overlaid.

When extracting the electroweak parameters, we remove the forbidden portion of the posterior probability density, and re-scale the remaining region to a total posterior probability of 1. To handle the double cover, we exploit our knowledge that sin2θWsuperscript2subscript𝜃𝑊\sin^{2}\theta_{W}roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT is less than 0.25, and so restrict ourselves to only considering that portion of the electroweak parameter space.

With this understanding, along with the relationship between MWM_{\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}italic_M start_POSTSUBSCRIPT italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, MZM_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT and GFsubscript𝐺𝐹G_{F}italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, sin2θWsuperscript2subscript𝜃𝑊\sin^{2}\theta_{W}roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT,

MW2\displaystyle M_{\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}^{2}italic_M start_POSTSUBSCRIPT italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =πα2GFsin2θWabsent𝜋𝛼2subscript𝐺𝐹superscript2subscript𝜃𝑊\displaystyle=\frac{\pi\alpha}{\sqrt{2}G_{F}\sin^{2}\theta_{W}}= divide start_ARG italic_π italic_α end_ARG start_ARG square-root start_ARG 2 end_ARG italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT end_ARG
MZ2\displaystyle M_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu% }\scriptstyle{}}}}^{2}italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT =πα2GF(1sin2θW)sin2θW,absent𝜋𝛼2subscript𝐺𝐹1superscript2subscript𝜃𝑊superscript2subscript𝜃𝑊\displaystyle=\frac{\pi\alpha}{\sqrt{2}G_{F}\left(1-\sin^{2}\theta_{W}\right)% \sin^{2}\theta_{W}},= divide start_ARG italic_π italic_α end_ARG start_ARG square-root start_ARG 2 end_ARG italic_G start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ( 1 - roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT ) roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT end_ARG ,

we extract the posterior probability density for MWM_{\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}italic_M start_POSTSUBSCRIPT italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT and MZM_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{% }}}}italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT, which is shown in figure 6 along with the posterior probability density for (MWMZ)/2(M_{\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle% {}}}}-M_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}})/2( italic_M start_POSTSUBSCRIPT italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) / 2 and (MW+MZ)/2(M_{\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle% {}}}}+M_{\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}})/2( italic_M start_POSTSUBSCRIPT italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + italic_M start_POSTSUBSCRIPT italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ) / 2. The JADE data, considered through the lens of the LEFT, provides a measurement of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson masses that is remarkably accurate, albeit with large uncertainties. The average of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson masses is extremely close to the world average although their difference disagrees with the world average at a level of more than 2 standard deviations.

Refer to caption
Refer to caption
Figure 6: The measured masses of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bosons along with 68, 95, and 99.7% credible regions, shown in green, yellow, and red, respectively. The black square shows the maximum posterior density, and the blue dot shows the current world average. The left plot shows the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson masses, while the right plot shows the average of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson masses and half the difference between their masses. This measurement disagrees with the world average at a level of more than 2 standard deviations.

There are many possible reasons for this discrepancy, including but not limited to neglected higher order corrections in the QED, electroweak, and LEFT calculations, neglected renormalization group running of the fine-structure constant, neglected correlations in the uncertainties in the JADE data, and neglected higher-dimension LEFT operators. Given these known deficiencies, it is remarkable how well we are able to determine the masses of the weak bosons from only this one data set seen through the lens of effective field theory.

This measurement of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson masses would have been sufficient to guide the construction of then-future colliders such as the super proton-antiproton synchrotron, which discovered the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bosons UA1:1983crd ; UA1:1983mne ; UA2:1983mlz ; UA2:1983tsx , and the large electron-positron collider, which measured the properties of the Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson in unsurpassed detail ALEPH:2005ab . Accordingly, we anticipate that, given an observation of SMEFT Wilson coefficients in significant tension with the SM at the LHC, matching to UV-complete models will permit sufficient understanding of the parameters of those models to guide the construction of future colliders such as ILC, CLiC, FCC-ee, FCC-hh, CEPC, or a muon collider.

7 Conclusion

The low-energy effective field theory provides an adequate description of the JADE ee++{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}% \scriptstyle{+}}}}{\mathit{{{\mathit{{e}{}_{\mspace{-3.0mu}\scriptstyle{}}^{% \mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-% 1.0mu}\scriptstyle{-}}}}\to{\mathit{{{\mathit{{\upmu}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace{-3.0mu}% \scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{+}}}}{\mathit{{{\mathit{{\upmu}{}% _{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}}}{}_{\mspace% {-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{-}}}}italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT data below the Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT boson mass. It permits the observation of physics beyond QED with a high level of significance, more than 5 standard deviations. Furthermore, by matching the measured Wilson coefficients of the low-energy effective field theory to the electroweak theory, we can obtain a rough measurement of the masses of the W\mathit{{W}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_W start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT and Z\mathit{{Z}{}_{\mspace{-3.0mu}\scriptstyle{}}^{\mspace{-1.0mu}\scriptstyle{}}}italic_Z start_FLOATSUBSCRIPT end_FLOATSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bosons. This measurement would have been sufficient, even in the absence of other data, to guide the construction of the super proton-antiproton synchrotron and the large electron-positron collider.

Accordingly, as we search for signs of physics beyond the standard model using the standard model effective field theory, we anticipate that a discovery will provide sufficient information, by matching to one or more UV-complete models, to guide the construction of future colliders such as ILC, CLiC, FCC-ee, FCC-hh, CEPC, or a muon collider. This case study demonstrates both the limitations and the power of effective field theory as a tool to discover and characterize new physics, and provides hope and guidance to the effective field theory efforts at the LHC and beyond.

Acknowledgements.
We would like to thank Jennet Dickinson and Michael Peskin for helpful discussions and suggestions. This work was supported by DOE grant DE-SC0007861.

References

  • (1) SMEFiT collaboration, Combined SMEFT interpretation of Higgs, diboson, and top quark data from the LHC, JHEP 11 (2021) 089 [2105.00006].
  • (2) B. Naroska, e+e- physics with the jade detector at petra, Physics Reports 148 (1987) 67.
  • (3) JADE collaboration, New Results on e+eμ+μsuperscript𝑒superscript𝑒superscript𝜇superscript𝜇e^{+}e^{-}\to\mu^{+}\mu^{-}italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_μ start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_μ start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT From the Jade Detector at PETRA, Z. Phys. C 26 (1985) 507.
  • (4) E.E. Jenkins, A.V. Manohar and P. Stoffer, Low-Energy Effective Field Theory below the Electroweak Scale: Operators and Matching, JHEP 03 (2018) 016 [1709.04486].
  • (5) T. Wiecki, R. Vieira, J. Salvatier, M. Kochurov, A. Patil, M. Osthege et al., pymc-devs/pymc: v5.16.1, June, 2024. 10.5281/zenodo.12544153.
  • (6) S.L. Glashow, Partial Symmetries of Weak Interactions, Nucl. Phys. 22 (1961) 579.
  • (7) S. Weinberg, A Model of Leptons, Phys. Rev. Lett. 19 (1967) 1264.
  • (8) A. Salam, Weak and Electromagnetic Interactions, Conf. Proc. C 680519 (1968) 367.
  • (9) UA1 collaboration, Experimental Observation of Isolated Large Transverse Energy Electrons with Associated Missing Energy at s=540𝑠540\sqrt{s}=540square-root start_ARG italic_s end_ARG = 540 GeV, Phys. Lett. B 122 (1983) 103.
  • (10) UA1 collaboration, Experimental Observation of Lepton Pairs of Invariant Mass Around 95-GeV/c**2 at the CERN SPS Collider, Phys. Lett. B 126 (1983) 398.
  • (11) UA2 collaboration, Evidence for Z0e+esuperscript𝑍0superscript𝑒superscript𝑒Z^{0}\to e^{+}e^{-}italic_Z start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT → italic_e start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT at the CERN p¯p¯𝑝𝑝\bar{p}pover¯ start_ARG italic_p end_ARG italic_p Collider, Phys. Lett. B 129 (1983) 130.
  • (12) UA2 collaboration, Observation of Single Isolated Electrons of High Transverse Momentum in Events with Missing Transverse Energy at the CERN anti-p p Collider, Phys. Lett. B 122 (1983) 476.
  • (13) ALEPH, DELPHI, L3, OPAL, SLD, LEP Electroweak Working Group, SLD Electroweak Group, SLD Heavy Flavour Group collaboration, Precision electroweak measurements on the Z𝑍Zitalic_Z resonance, Phys. Rept. 427 (2006) 257 [hep-ex/0509008].