This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Kaon Experiments

Taku Yamanaka [email protected] Osaka University111Current affiliation: KEK
Abstract

After CPCP violation was discovered in the KLπ+πK_{L}\to\pi^{+}\pi^{-} decay, many theories were proposed to explain it, and the Kobayashi-Maskawa model and the Superweak model lasted for many years as strong candidates. High-precision kaon experiments with many new techniques and improvements rejected the Superweak model and supported the Kobayashi-Maskawa model in 1990’s. After then, rare kaon decay experiments are studying Kπνν¯K\to\pi\nu\overline{\nu} decays to search for CPCP violation caused by new physics beyond the Standard Model. Various techniques have been developed to increase the sensitivity and to suppress backgrounds.

\subjectindex

C02, C03, C30

1 Introduction

After the CPCP violation was discovered in the KLπ+πK_{L}\to\pi^{+}\pi^{-} decay in 1964cronin , the KLπ0π0K_{L}\to\pi^{0}\pi^{0} decay was also observedbanner1968 , and many theories were proposed to explain the phenomena. Among them, the Kobayashi-Maskawa model with three generations of quarkskm and the Superweak modelsw remained as strong candidates, but in 1970’s, it seemed almost impossible to do an experiment to test which is correct. However, now the Kobayashi-Maskawa model has been established and it is a part of the Standard Model. What made this possible?

In this article, we will review how kaon experiments have contributed to establish the Kobayashi-Maskawa model, and how kaon experiments are trying to search for CPCP violation caused by physics beyond the Standard Model.

2 Where did the CPCP violation come from?

2.1 What was known back in 1973?

By 1973, when the paper by Kobayashi and Maskawa was published, a charge asymmetry in KLπ±eνK_{L}\to\pi^{\pm}e^{\mp}\nu had also been observedke3delta , proving that in KLK_{L}, the amplitude of K0K^{0} is slightly larger than the amplitude of K¯0\overline{K}^{0}.222The initial state can be tagged by the lepton charge, as K0πe+νK^{0}\to\pi^{-}e^{+}\nu and K¯0π+eν¯\overline{K}^{0}\to\pi^{+}e^{-}\overline{\nu}. The asymmetry also shows that KLK_{L} is not a pure CPCP-odd state, |Kodd=(|K0|K¯0)/2|K_{\mathrm{odd}}\rangle=(|K^{0}\rangle-|\overline{K}^{0}\rangle)/\sqrt{2}, but it also has a small admixture (ϵ\epsilon) of CPCP-even state, |Keven=(|K0+|K¯0)/2|K_{\mathrm{even}}\rangle=(|K^{0}\rangle+|\overline{K}^{0}\rangle)/\sqrt{2}, as

|KL\displaystyle|K_{L}\rangle \displaystyle\simeq 12((1+ϵ)|K0(1ϵ)|K¯0)\displaystyle\frac{1}{\sqrt{2}}\left((1+\epsilon)|K^{0}\rangle-(1-\epsilon)|\overline{K}^{0}\rangle\right) (1)
=\displaystyle= |Kodd+ϵ|Keven.\displaystyle|K_{\mathrm{odd}}\rangle+\epsilon|K_{\mathrm{even}}\rangle. (2)

The CPCP-violation found in the KLππK_{L}\to\pi\pi decays was explained by the KevenK_{\mathrm{even}} component decaying to the CPCP-even ππ\pi\pi state. This type of CPCP violation is called “indirect CPCP violation”, but the origin of ϵ\epsilon was unknown.

The fact that KLK_{L} stays in this unbalanced equilibrium state means that the overall rates of transitions between K0K^{0} and K¯0\overline{K}^{0} are the same, as

|(1+ϵ)A(K0K¯0)|2\displaystyle|(1+\epsilon)A(K^{0}\to\overline{K}^{0})|^{2} =\displaystyle= |(1ϵ)A(K¯0K0)|2,\displaystyle|(1-\epsilon)A(\overline{K}^{0}\to K^{0})|^{2}, (3)

where A(xy)A(x\to y) represents the amplitude for transition xyx\to y. Because ϵ0\epsilon\neq 0, |A(K0K¯0)||A(K¯0K0)||A(K^{0}\to\overline{K}^{0})|\neq|A(\overline{K}^{0}\to K^{0})|. The transition amplitudes are determined by the Schrödinger equation for the two-component wave function of a neutral kaon system,

it(K0(t)K¯0(t))\displaystyle i\frac{\partial}{\partial t}\begin{pmatrix}K^{0}(t)\\ \overline{K}^{0}(t)\end{pmatrix} =\displaystyle= H(K0(t)K¯0(t))\displaystyle H\begin{pmatrix}K^{0}(t)\\ \overline{K}^{0}(t)\end{pmatrix} (4)
=\displaystyle= [M0iΓ0/2M12iΓ12/2M12iΓ12/2M0iΓ0/2](K0(t)K¯0(t)),\displaystyle\begin{bmatrix}M_{0}-i\Gamma_{0}/2&M_{12}-i\Gamma_{12}/2\\ M^{*}_{12}-i\Gamma^{*}_{12}/2&M_{0}-i\Gamma_{0}/2\end{bmatrix}\begin{pmatrix}K^{0}(t)\\ \overline{K}^{0}(t)\end{pmatrix}, (5)

where K0(t)K^{0}(t) (K¯0(t)\overline{K}^{0}(t)) is the amplitude of K0K^{0} (K¯0\overline{K}^{0}) state at time tt. The transition amplitude for K0K^{0} returning to the same state, A(K0K0)A(K^{0}\to K^{0}), is proportional to M0iΓ0/2M_{0}-i\Gamma_{0}/2. The Γ0\Gamma_{0} is determined by the sum of amplitudes of K0fK0K^{0}\to f\to K^{0} where ff represents the decay final states, and M0M_{0} is determined by the sum of amplitudes of K0iK0K^{0}\to i\to K^{0} where ii represents the intermediate virtual states. The transition amplitude A(K¯0K0)A(\overline{K}^{0}\to K^{0}) is proportional to M12iΓ12/2M_{12}-i\Gamma_{12}/2, where Γ12\Gamma_{12} is determined by the sum of amplitudes of K¯0fK0\overline{K}^{0}\to f\to K^{0}, and M12M_{12} is determined by the sum of amplitudes of K¯0iK0\overline{K}^{0}\to i\to K^{0}, where ff and ii are the final and intermediate states, respectively, which are common to both K0K^{0} and K¯0\overline{K}^{0}. If, for example, Γ12\Gamma_{12} is real but M12M_{12} has an imaginary component333To be more exact, if Γ12\Gamma_{12} and M12M_{12} are not parallel in the complex plane., then |M12iΓ12/2||M_{12}-i\Gamma_{12}/2| which determines |A(K¯0K0)||A(\overline{K}^{0}\to K^{0})| would be different from |M12iΓ12/2||M_{12}^{*}-i\Gamma_{12}^{*}/2| which determines |A(K0K¯0)||A(K^{0}\to\overline{K}^{0})|. Thus, the indirect CPCP violation in neutral kaon system can occur if there is an imaginary part in M12M_{12}.

2.2 Source of indirect CPCP violation

What was not known back in 1973 was the source of the imaginary part in M12M_{12}. The Superweak model explained that there is a very weak unknown interaction that changes the strangeness by 2 (K¯0K0\overline{K}^{0}\to K^{0}), and that interaction introduces an imaginary part in M12M_{12}. Kobayashi and Maskawa explained that such an imaginary part can be naturally introduced by mixings in three generations of quarks. Figure 2 shows such an example. The question then was, which model is correct? One way to answer it was to check whether the CPCP is violated in the decay process itself. The Superweak model cannot violate CPCP in the decay process because it cannot contribute to a ΔS=1\Delta S=1 process. However, the Kobayashi-Maskawa model can naturally introduce an imaginary part in ΔS=1\Delta S=1 decay transition if three generation of quarks are involved in the decay, such as in a penguin diagram shown in Fig.2. Such CPCP violation in decay processes is called “direct CPCP violation” in kaon physics. If one could show that the direct CPCP violation exists, then one could reject the Superweak model and support the Kobayashi-Maskwa model.

Refer to caption
Figure 1: Box diagram for K0K¯0K^{0}\to\overline{K}^{0} transition with three generations of quarks which introduces an imaginary part in the amplitude in the Kobayashi-Maskawa model.
Refer to caption
Figure 2: Penguin diagram for the KππK\to\pi\pi decay with three generations of quarks involved.

3 Is there a direct CPCP violation?

One method to test the existence of the direct CPCP violation was to measure the double ratio of branching fractions (BRBR) of four decay modes,

R\displaystyle R =\displaystyle= BR(KLπ+π)/BR(KSπ+π)BR(KLπ0π0)/BR(KSπ0π0)\displaystyle\frac{BR(K_{L}\to\pi^{+}\pi^{-})/BR(K_{S}\to\pi^{+}\pi^{-})}{BR(K_{L}\to\pi^{0}\pi^{0})/BR(K_{S}\to\pi^{0}\pi^{0})} (6)
\displaystyle\simeq 1+6Re(ϵ/ϵ)\displaystyle 1+6Re(\epsilon^{\prime}/\epsilon) (7)

where ϵ\epsilon^{\prime} represents the size of direct CPCP violation which is sensitive to the imaginary part of the decay amplitudes of K0ππK^{0}\to\pi\pi. If ϵ/ϵ\epsilon^{\prime}/\epsilon is not zero, then it means that there is direct CPCP violation.444 The basic idea is to use a small difference between π+π|H|Kodd\langle\pi^{+}\pi^{-}|H|K_{\mathrm{odd}}\rangle and π0π0|H|Kodd\langle\pi^{0}\pi^{0}|H|K_{\mathrm{odd}}\rangle produced by their isospin dependence. If there is no direct CP violation, these amplitudes will be zero anyway, and there will be no difference between them. More pedagogical description is available in bwy .

In early 1970’s, existing experimental measurements were Re(ϵ/ϵ)=0.010±0.021Re(\epsilon^{\prime}/\epsilon)=-0.010\pm 0.021 banner1972 and Re(ϵ/ϵ)=0.000±0.020Re(\epsilon^{\prime}/\epsilon)=0.000\pm 0.020 holder1972 , consistent with zero. The errors were dominated by the number of KLπ0π0K_{L}\to\pi^{0}\pi^{0} events, less than 200 events in each experiment. In a reviewkleinknecht , Kleinknecht wrote that

“It is not easy to improve substantially the experimental precision. A decision between the Superweak and milliweak models of CPCP violation will therefore probably have to come from other experimental information outside the K0K^{0} system.”

The problem was that the estimated value of Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon) based on the Kobayashi-Maskawa model was extremely small, such as <22×104<22\times 10^{-4} ellis1976 . To measure such a small effect, the Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon) had to be measured with a precision of O(104)O(10^{-4}), which means that more than O(106)O(10^{6}) KLπ0π0K_{L}\to\pi^{0}\pi^{0} events (four orders of magnitudes larger than the statistics available at that time) had to be collected, and systematic uncertainties on RR had to be controlled to the level of <0.1%<0.1\%. Increase in statistics had to wait for accelerators with higher energy and intensity, and detector technologies that could handle high event rates.

One large issue was systematic uncertainties. For example, the branching fraction of KLπ+πK_{L}\to\pi^{+}\pi^{-} can be measured by

BR(KLπ+π)\displaystyle BR(K_{L}\to\pi^{+}\pi^{-}) =\displaystyle= NKLπ+πNKLdecayAKLπ+π,\displaystyle\frac{N_{K_{L}\to\pi^{+}\pi^{-}}}{N_{K_{L}\ \mathrm{decay}}\ A_{K_{L}\to\pi^{+}\pi^{-}}}\ , (8)

where NKLπ+πN_{K_{L}\to\pi^{+}\pi^{-}} is the number of observed KLπ+πK_{L}\to\pi^{+}\pi^{-} events, NKLdecayN_{K_{L}\ \mathrm{decay}} is the number of KLK_{L} decays, and AKLπ+πA_{K_{L}\to\pi^{+}\pi^{-}} is the probability (acceptance) to observe the KLπ+πK_{L}\to\pi^{+}\pi^{-} decay events which should be estimated by Monte Carlo simulations. If the KLπ+πK_{L}\to\pi^{+}\pi^{-} and KLπ0π0K_{L}\to\pi^{0}\pi^{0} decays were collected in the same period, then NKLdecayN_{K_{L}\ \mathrm{decay}} would cancel in Eq. (6). Similarly, if KSK_{S} decays were observed in the same period, Eq. (6) becomes

R\displaystyle R =\displaystyle= NKLπ+πNKSπ0π0NKSπ+πNKLπ0π0AKSπ+πAKLπ0π0AKLπ+πAKSπ0π0,\displaystyle\frac{N_{K_{L}\to\pi^{+}\pi^{-}}\ N_{K_{S}\to\pi^{0}\pi^{0}}}{N_{K_{S}\to\pi^{+}\pi^{-}}\ N_{K_{L}\to\pi^{0}\pi^{0}}}\cdot\frac{A_{K_{S}\to\pi^{+}\pi^{-}}\ A_{K_{L}\to\pi^{0}\pi^{0}}}{A_{K_{L}\to\pi^{+}\pi^{-}}\ A_{K_{S}\to\pi^{0}\pi^{0}}}, (9)

where NxN_{x} and AxA_{x} are the number of observed events and the acceptance, respectively, for the decay xx. However, AKLπ+πA_{K_{L}\to\pi^{+}\pi^{-}} and AKLπ0π0A_{K_{L}\to\pi^{0}\pi^{0}} are different because the final state particles are detected with different detectors. The AKLπ+πA_{K_{L}\to\pi^{+}\pi^{-}} and AKSπ+πA_{K_{S}\to\pi^{+}\pi^{-}} are also different because the decay position distributions are different due to the life time difference between KLK_{L} and KSK_{S}, and the acceptance depends on the decay position. The key of the experiments to measure Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon) was thus to understand the ratios of the four acceptances to the level of <0.1%<0.1\%.

3.1 Experiments in 1980’s

In 1980’s, there were two experiments which measured Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon); NA31 at CERN, and E731 at Fermilab.

The NA31 experiment collected π+π\pi^{+}\pi^{-} and π0π0\pi^{0}\pi^{0} events simultaneously, and KLK_{L} and KSK_{S} runs separately. The four photons from the π0π0\pi^{0}\pi^{0} decays were detected by a liquid Argon calorimeter. The energies and positions of the charged pions from the π+π\pi^{+}\pi^{-} decays were measured with a hadronic calorimeter. To make the final state topology similar to that of π0π0\pi^{0}\pi^{0} events, a magnetic spectrometer was not used. To mimic the long decay position distribution of KLK_{L}, for the KSK_{S} run, a target to produce KSK_{S} was inserted and moved along the beam line inside the decay region, as shown in Fig. 3. The events from the four decay modes were grouped by kaon energy and decay position bins. The double ratio RR was calculated in each bin and then averaged.

Refer to caption
Figure 3: Schematic view of the KLK_{L} (top) and KSK_{S} (middle) runs in CERN NA31. By moving the KSK_{S} production target, decay position distributions for KSK_{S} covered the KLK_{L} decay positions (bottom).
Refer to caption
Figure 4: Schematic view of the KLK_{L} and KSK_{S} beams in Fermilab E731, created by placing a regenerator in one of the two KLK_{L} beams.

The E731 experiment collected the KLK_{L} and KSK_{S} decays simultaneously. By placing a material in one of the two KLK_{L} beams as shown in Fig. 4 to regenerate KSK_{S}555Because materials are made of quarks, K¯0\overline{K}^{0} containing ss quark has a higher cross section than K0K^{0} containing s¯\bar{s} quark, to conserve the baryon number. Thus if |KL|Kodd|K0|K¯0|K_{L}\rangle\sim|K_{\mathrm{odd}}\rangle\propto|K^{0}\rangle-|\overline{K}^{0}\rangle passes through a material, and the wave function becomes |ψ=(a|K0b|K¯0)/2=(a+b)/2|KL+(ab)/2|KS|\psi\rangle=(a|K^{0}\rangle-b|\overline{K}^{0}\rangle)/\sqrt{2}=(a+b)/\sqrt{2}\ |K_{L}\rangle+(a-b)/\sqrt{2}\ |K_{S}\rangle, the KSK_{S} component appears., E731 effectively created KLK_{L} and KSK_{S} beams with a fixed NKL/NKSN_{K_{L}}/N_{K_{S}} ratio. The KLK_{L} and KSK_{S} events were identified by reconstructing the event and finding in which beam the kaon decayed. Note that because charged pions and photons from the decays spread out, the detectors themselves were insensitive to in which beam the parent KK decayed. Initially, π+π\pi^{+}\pi^{-} and π0π0\pi^{0}\pi^{0} events were collected separately, but later, all four decay modes were collected simultaneously. To confirm that the acceptances were understood, the decay position distributions of high-statistics samples of KLπ±eνK_{L}\to\pi^{\pm}e^{\mp}\nu and KLπ0π0π0K_{L}\to\pi^{0}\pi^{0}\pi^{0} decays were compared between data and MC.

The NA31 measured Re(ϵ/ϵ)=(23±6.5)×104Re(\epsilon^{\prime}/\epsilon)=(23\pm 6.5)\times 10^{-4}, 3.5σ3.5\sigma away from zero barr1993 , whereas the E731 measured Re(ϵ/ϵ)=(7.4±6.0)×104Re(\epsilon^{\prime}/\epsilon)=(7.4\pm 6.0)\times 10^{-4}, consistent with zero with 1.2σ1.2\sigma gibbons . Many critical questions on various systematic effects were raised between the groups, but none of them could resolve the difference in the results. At the end, the both groups decided to build new experiments with an order of magnitude higher precision.

3.2 Final experiments in 1990’s

Fermilab KTeV E832 experiment pursued the double KLK_{L} and KSK_{S} beam technique and collected the four decay modes simultaneously. A new high intensity beam line with a better collimation scheme was built to increase the kaon rates and to reduce accidental hits in the detectors. The electromagnetic calorimeter was newly built with 3100 CsI crystals with improved energy and position resolutions to reduce systematic uncertainties. The waveforms of the calorimeter signals were digitized at 53 MHz and recorded. A new fast data acquisition system allowed to collect high statistics sample of KLπeνK_{L}\to\pi e\nu and KL3π0K_{L}\to 3\pi^{0} events to study systematic effects, in addition to the KππK\to\pi\pi events.

CERN NA48 experiment introduced a new technique to collect KLK_{L} and KSK_{S} events. A small fraction of protons passing through the KLK_{L} production target were guided to another production target far downstream to produce KSK_{S}. The KLK_{L} and KSK_{S} beams were designed to overlap in the detector region to reduce systematic uncertainties. The events whose timings were correlated with the timings of the protons hitting the KSK_{S} production target were identified as KSK_{S}. The momentum of charged pions were measured with a magnetic spectrometer this time. A new Liquid Krypton calorimeter was built to improve the photon energy resolution.

In 1999, with partial dataset, the Fermilab KTeV E832 experiment published Re(ϵ/ϵ)=(28.0±4.1)×104Re(\epsilon^{\prime}/\epsilon)=(28.0\pm 4.1)\times 10^{-4}ktev_1999 , 7σ\sigma away from zero, and CERN N48 also published Re(ϵ/ϵ)=(18.5±7.3)×104Re(\epsilon^{\prime}/\epsilon)=(18.5\pm 7.3)\times 10^{-4}na48_1999 , both before CPCP violation in B-meson system was first observed in 2001 babar_cp ; belle_cp . At the end, the combined result based on full datasets of both experiments was Re(ϵ/ϵ)=(16.8±1.4)×104Re(\epsilon^{\prime}/\epsilon)=(16.8\pm 1.4)\times 10^{-4} ktev_2011 , and the PDG’s fit result is Re(ϵ/ϵ)=(16.6±2.3)×104Re(\epsilon^{\prime}/\epsilon)=(16.6\pm 2.3)\times 10^{-4} pdg_epoe . The number of KLπ0π0K_{L}\to\pi^{0}\pi^{0} were 6×1066\times 10^{6} for KTeV and 1.5×1061.5\times 10^{6} for NA48. This put an end to the long awaited question. The kaon experiments rejected the Superweak model as a sole source of CPCP violation, and supported the Kobayashi-Maskawa model. Figure 5 shows how the measured Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon) has improved over the years. The experimental results from KK and BB mesons gave solid foundations for the Kobayashi-Maskawa model to be a part of the Standard Model.

Refer to caption
Figure 5: History of Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon) as a function of the published year. Labels on data points show the first author or the experiment name with optional published year in parenthesis. The band on the right plot shows the average value by the Particle Data Grouppdg_epoe .

4 Search for CP violation caused by new physics

After the Kobayashi-Maskawa model was established, kaon experiments moved on to search for new physics beyond the Standard Model that violates the CPCP symmetry, because the CPCP-violation mechanism in the Standard Model is not large enough to explain the matter-antimatter asymmetry of the universe.

In principle, new physics could affect Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon), but it is difficult to observe it at this moment. The amplitudes of the gluon penguin and Z0Z^{0} penguin diagrams cancel each other, and lattice calculations for the gluon penguin diagram need more years to give accurate estimate on Re(ϵ/ϵ)Re(\epsilon^{\prime}/\epsilon) even for the Standard Model alone.

One way to search for such new physics is to use rare CPCP-violating decays. If the contribution of the Standard Model is small, a contribution of new physics to the decay would be more visible. The KLπ0e+eK_{L}\to\pi^{0}e^{+}e^{-} and KLπ0μ+μK_{L}\to\pi^{0}\mu^{+}\mu^{-} decay modes are such candidates, because as shown in Fig. 6 (a), it has no gluon contribution. However, contributions of decays with virtual photons shown in Fig. 6 (b) and (c) should be understood.

Refer to caption
Figure 6: Feynman diagrams of the KLπ0e+eK_{L}\to\pi^{0}e^{+}e^{-} decay; (a): penguin diagram and (b), (c): long distance contributions with virtual photons.

The KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu} decay is free from such virtual photon contributions, as shown in Fig. 7. In the Standard Model, the decay amplitude of the K+π+νν¯K^{+}\to\pi^{+}\nu\overline{\nu} is governed by |Vtd||V_{td}|, whereas the decay amplitude of KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu}, A(KLπ0νν¯)A(K_{L}\to\pi^{0}\nu\overline{\nu}), is proportional to Im(Vtd)Im(V_{td}), as

A(KLπ0νν¯)\displaystyle A(K_{L}\to\pi^{0}\nu\overline{\nu}) \displaystyle\propto A(K0π0νν¯)A(K¯0π0νν¯)\displaystyle A(K^{0}\to\pi^{0}\nu\overline{\nu})-A(\overline{K}^{0}\to\pi^{0}\nu\overline{\nu}) (10)
\displaystyle\propto VtdVtd\displaystyle V_{td}-V_{td}^{*} (11)
\displaystyle\propto Im(Vtd).\displaystyle Im(V_{td}). (12)

The expected branching fractions based on the Standard Model and currently known CKM parameters are BR(KLπ0νν¯)=(2.94±0.15)×1011BR(K_{L}\to\pi^{0}\nu\overline{\nu})=(2.94\pm 0.15)\times 10^{-11} and BR(K+π+νν¯)=(8.60±0.42)×1011BR(K^{+}\to\pi^{+}\nu\overline{\nu})=(8.60\pm 0.42)\times 10^{-11}buras2203 . If the measured branching fractions of Kπνν¯K\to\pi\nu\overline{\nu} are different from the Standard Model predictions, it signifies the existence of new physics as pointed out by Littenberglittenberg . Various new physics scenarios covering unexplored branching fraction region are reviewed in buras1507 .

Refer to caption
Figure 7: Penguin diagram for the KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu} decay in the Standard Model.

Because the predicted branching fractions are small, the keys of the Kπνν¯K\to\pi\nu\overline{\nu} decay experiments are to produce a large number of kaons and to suppress background events.

4.1 K+π+νν¯K^{+}\to\pi^{+}\nu\overline{\nu}

Major backgrounds for the K+π+νν¯K^{+}\to\pi^{+}\nu\overline{\nu} decay are the K+μ+νK^{+}\to\mu^{+}\nu decay in which μ+\mu^{+} is misidentified as π+\pi^{+}, and the K+π+π0K^{+}\to\pi^{+}\pi^{0} decay in which the two photons from the π0\pi^{0} escaped detection.

One of the early experiments that searched for the K+π+νν¯K^{+}\to\pi^{+}\nu\overline{\nu} decay was KEK E10. The charged kaons were stopped in a target, and the decayed π+\pi^{+} was identified by its path length in detectors, and observing the π+μ+e+\pi^{+}\to\mu^{+}\to e^{+} decay chain. The K+π+π0K^{+}\to\pi^{+}\pi^{0} background was suppressed by detecting photons with lead glass blocks located on the other side of charged pion tracking detectors. The experiment set an upper limit on the branching fraction as BR<1.4×107BR<1.4\times 10^{-7} (90% CL) asano .

To increase the acceptance of the K+π+νν¯K^{+}\to\pi^{+}\nu\overline{\nu} decay, BNL E787/E949 experiments surrounded the K+K^{+} stopping target with a cylindrical spectrometer and range counters to measure the momentum and energy of π+\pi^{+}, respectively. The waveforms in the range counters were recorded to track the π+μ+e+\pi^{+}\to\mu^{+}\to e^{+} decay chain to identify π+\pi^{+}. The target was also surrounded by photon veto counters to suppress K+π+π0K^{+}\to\pi^{+}\pi^{0} background. At the end, BNL E787/E949 measured BR=(1.731.05+1.15)×1010BR=(1.73^{+1.15}_{-1.05})\times 10^{-10}e949 based on 7 observed events where 0.93 background events were expected.

To increase the number of events by an order of magnitude, experiments proposed later chose to use high-momentum K+K^{+}’s decaying in flight. By not having a stopping target in a high intensity beam, one can avoid producing secondary particles in the target. Also, vetoing the K+μ+νK^{+}\to\mu^{+}\nu background is easier because high-momentum muons can easily penetrate through materials whereas charged pions cannot: this removed the need to track the π+μ+e+\pi^{+}\to\mu^{+}\to e^{+} decay chain for microseconds. The K+π+π0K^{+}\to\pi^{+}\pi^{0} background was suppressed by vetoing high energy photons decaying toward downstream. Another background is caused by π+\pi^{+} scattered from the beam. Earlier stopping K+K^{+} experiments suppressed π+\pi^{+}’s with a mass separator, but the same technique cannot be used for high momentum K+K^{+}’s and π+\pi^{+}’s.

Fermilab CKM experiment planned to apply high frequency electric fields at two locations on a momentum-selected beam to kick out π+\pi^{+}’s which fly with a speed different from K+K^{+}’s. The experiment was however, canceled during preparation.

CERN NA62 experiment decided not to remove π+\pi^{+}’s from the beam, but to identify K+K^{+} with a fast differential Cherenkov counter. Also, the momentum, direction, and timing of each K+K^{+} is measured with pixel detectors and dipole magnets. The decayed π+\pi^{+} is identified by a ring-imaging Cherenkov counter, and its momentum is measured with a magnetic spectrometer in vacuum. The background from K+μ+νK^{+}\to\mu^{+}\nu decays is suppressed by identifying muons with NA48’s Liquid Krypton calorimeter and scintillators between and behind iron plates. The background from K+π+π0K^{+}\to\pi^{+}\pi^{0} is suppressed by detecting photons from the decay with ring-shaped lead glass modules at multiple locations in the decay region, a liquid Krypton calorimeter placed downstream, and lead/scintillator calorimeter in the beam. In the data sample collected in 2016-2018, NA62 observed 20 events where 7 background events were expected, and measured BR=(1.060.34+0.40±0.09)×1010BR=(1.06^{+0.40}_{-0.34}\pm 0.09)\times 10^{-10} na62_jhep06 . NA62 will improve the sensitivity with more data taken with improved beam line and detectors.

4.2 KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu}

For the KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu} decay, the major issues is how to identify the decay because only visible particles are two photons from the π0\pi^{0}. The major background is the KLπ0π0K_{L}\to\pi^{0}\pi^{0} decay where two of the four photons in the final state escaped detection, but there are also many unexpected backgrounds because observables are limited.

The very first upper limit on the branching fraction was set as BR<7.6×103BR<7.6\times 10^{-3} (90% CL)littenberg by using the photon energy spectrum measured in an old experiment on KLπ0π0K_{L}\to\pi^{0}\pi^{0}. Fermilab KTeV E799-II experiment had a one-day special run to collect two-photon events, and set BR<1.6×106BR<1.6\times 10^{-6} (90% CL) ktev2g . Later, KTeV E799-II searched for the decay by using the π0e+eγ\pi^{0}\to e^{+}e^{-}\gamma decay to identify the π0\pi^{0}, reconstruct the decay vertex and the transverse momentum of π0\pi^{0}, and set BR<5.9×107BR<5.9\times 10^{-7} (90% CL) kteveeg . Although the technique using the π0e+eγ\pi^{0}\to e^{+}e^{-}\gamma decay is cleaner, it is less sensitive than the technique using the π0γγ\pi^{0}\to\gamma\gamma decay because of the small branching fraction of the π0e+eγ\pi^{0}\to e^{+}e^{-}\gamma decay (1.2%), and a small acceptance for detecting e+ee^{+}e^{-} pairs with a small opening angle. Later experiments thus chose to use π0γγ\pi^{0}\to\gamma\gamma to search for the KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu} decay.

KEK E391a using 12 GeV protons was the first experiment dedicated for the KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu} decay. To suppress the background caused by the KLπ0π0K_{L}\to\pi^{0}\pi^{0} decay with two missing photons, and to collect events with only two photons, the decay region was surrounded by a hermetic photon veto detector system and a CsI calorimeter covering downstream. To avoid a background caused by a photon lost in a beam pipe, the beam pipe was removed and the entire photon veto system and the calorimeter were placed inside a vacuum tank, instead. The decay vertex (ZZ) was reconstructed by assuming that the two photons were originated from a π0\pi^{0}. The transverse momentum of π0\pi^{0} (PTP_{T}) was then reconstructed based on the decay vertex and the energies and hit positions of the two photons assuming that the KLK_{L} decayed at the center of the beam line. A narrow KLK_{L} beam was made to have a small PTP_{T} resolution while keeping the necessary KLK_{L} yield which is proportional to the beam size. Because some momentum was carried away by neutrino pairs, PTP_{T} was required to have a finite value. E391a set BR<2.6×108BR<2.6\times 10^{-8} (90% CL) based on no observed events in the signal region defined in a PTZP_{T}-Z planee391a .

As the construction of the J-PARC accelerator facility began, KOTO experiment was built to utilize its intense slow-extracted 30-GeV proton beam. A new narrow KLK_{L} beam line with a clean collimation scheme was built. The E391a’s vacuum tank and cylindrical photon veto counters were moved to J-PARC. The electromagnetic calorimeter was replaced with 2716 CsI crystals originally used in FNAL KTeV to improve the detection efficiency and shower shape measurements. A new data acquisition system records waveforms from all the detectors channels at 125 MHz (some at 500 MHz) to identify overlapping pulses.

Many unforeseen backgrounds were encountered as the sensitivity increased, and they were solved one by one. One new background was caused by a neutron hitting the calorimeter and producing another neutron, making two clusters. This background was suppressed by installing thin photosensors on the upstream surface of the calorimeter to select photons which interact near the upstream end. Another background was found to be caused by a small contamination (O(105)O(10^{-5})) of K±K^{\pm} in the beam decaying into π0e±ν\pi^{0}e^{\pm}\nu with undetected e±e^{\pm} koto2016_2018 . This was suppressed by installing a thin scintillation detector in the beam, and later, by installing another sweeping magnet in the beam. The current best limit set by KOTO is BR<3.0×109BR<3.0\times 10^{-9} (90% CL) koto2015 . The experiment continues to collect more data with improved detectors and higher beam power to search for an order of magnitude enhancement on the branching fraction by new physics.

A new experiment called KOTO II is being planned to search for a smaller enhancement by new physics by increasing the sensitivity by more than two orders of magnitude. To increase the KLK_{L} yield, KLK_{L} will be extracted at a smaller angle (55^{\circ}, compared 16 at KOTO) from the proton beam. To increase the acceptance of the signal events, the decay region will be extended from 2 m to 12 m, and the calorimeter will be enlarged from 2 m to 3 m in diameter. In 36 months of running, the experiment expects to observe 35 Standard Model signal events on top of 56 background events with the 4.7σ\sigma significancekoto2 . If the measured branching fraction deviates from the Standard Model prediction by 44% due to new physics, it can be claimed with the 90% confidence level.

Since 1989, the upper limit on the branching fraction of KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu} has been reduced by 5 orders of magnitudes, as shown in Fig. 8, and KOTO II is being prepared to observe the events.

Refer to caption
Figure 8: History of upper limits of the branching fraction of KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu} shown as a function of the publication year.

5 Concluding remarks

Neutral kaon is a unique system to study CPCP violation, because it becomes a nearly CPCP-odd state just by placing detectors away from a production target. Kaon experiments studying CPCP violation have improved over time, thanks to new accelerators with higher intensities, new detector technologies with higher sensitivities and rate capabilities, and many ingenious ideas. In 2073, at a symposium celebrating the 100th anniversary, I hope somebody will give a review talk starting as

“Back in 2020’s, the Kobayashi-Maskawa model was the only source of CPCP violation, and they were still trying to find KLπ0νν¯K_{L}\to\pi^{0}\nu\overline{\nu}. Now we see thousands of those events. What made this possible?”

Acknowledgment

I would like to thank the organizers for inviting me to give a talk at the honorable symposium, Accomplishments and Mysteries in Quark Flavor Physics \sim 50th Anniversary of Kobayashi-Maskawa Theory (KM 50) which was held on Feb. 9-10, 2023 at KEK.

References

  • (1) J.H. Christenson et al., Phys. Rev. Lett. 13, 138 (1964). https://doi.org/10.1103/PhysRevLett.13.138
  • (2) M. Banner et al., Phys. Rev. Lett. 21, 1107 (1968). https://doi.org/10.1103/PhysRevLett.21.1107
  • (3) M. Kobayashi and K. Maskawa, Prog. Theor. Phys. 49, 652 (1973). https://doi.org/10.1143/PTP.49.652
  • (4) L. Wolfenstein, Phys. Rev. Lett. 13, 562 (1964). https://doi.org/10.1103/PhysRevLett.13.562
  • (5) S. Bennet et al., Phys. Rev. Lett. 19, 993 (1967). https://doi.org/10.1103/PhysRevLett.19.993
  • (6) E. Blucher, B. Winstein, T. Yamanaka, Prog. Theor. Phys. 122, 81 (2009). https://doi.org/10.1143/PTP.122.81
  • (7) M. Banner et al., Phys. Rev. Lett. 28, 1597 (1972). https://doi.org/10.1103/PhysRevLett.28.1597
  • (8) M. Holder et al., Phys. Lett. 40B, 141 (1972). https://doi.org/10.1016/0370-2693(72)90304-8
  • (9) K. Kleinknecht, Ann. Rev. Nucl. Sci. 26, 1 (1976). https://doi.org/10.1146/annurev.ns.26.072506.100001
  • (10) J. Ellis, M.K. Gaillard, and D.V. Nanopoulos, Nucl. Phys. B109, 213 (1976). https://doi.org/10.1016/0550-3213(76)90203-0
  • (11) G.D. Barr et al., Phys. Lett. B 317, 233 (1993). https://doi.org/10.1016/0370-2693(93)91599-I
  • (12) L.K. Gibbons et al., Phys. Rev. Lett. 70, 1203 (1993). https://doi.org/10.1103/PhysRevLett.70.1203
  • (13) A. Alavi-Harati et al., Phys. Rev. Lett. 83, 22 (1999). https://doi.org/10.1103/PhysRevLett.83.22
  • (14) V. Fanti et al., Phys. Lett. B 465, 335 (1999). https://doi.org/10.1016/S0370-2693(99)01030-8
  • (15) B. Aubert et al., Phys. Rev. Lett. 87, 091801 (2001). https://doi.org/10.1103/PhysRevLett.87.091801
  • (16) K. Abe et al., Phys. Rev. Lett. 87, 091802 (2001). https://doi.org/10.1103/PhysRevLett.87.091802
  • (17) E. Abouzaid et al., Phys. Rev. D 83, 092001 (2011). https://doi.org/10.1103/PhysRevD.83.092001
  • (18) R.L. Workman et al.(Particle Data Group), Prog. Theor. Exp. Phys. 2022, 083C01 (2022). https://doi.org/10.1093/ptep/ptac097
  • (19) A.J. Buras and E. Venturini, Euro. Phys. J. C 82, 615 (2022). https://doi.org/10.1140/epjc/s10052-022-10583-8
  • (20) L. Littenberg, Phys. Rev. D 39, 3322 (1989). https://doi.org/10.1103/PhysRevD.39.3322
  • (21) A.J. Buras, D. Buttazzo and R. Knegjens, J. High Energ Phys. 2015, 166 (2015). https://doi.org/10.1007/JHEP11(2015)166
  • (22) Y. Asano et al., Phys. Lett. 107B, 159 (1981). https://doi.org/10.1016/0370-2693(81)91172-2
  • (23) A.V. Artamonov et al., Phys. Rev. D 79, 092004 (2009). https://doi.org/10.1103/PhysRevD.79.092004
  • (24) The NA62 Collaboration, JHEP 06, 093 (2021). https://doi.org/10.1007/JHEP06(2021)093
  • (25) J. Adams et al., Phys. Lett. B 447, 240 (1999). https://doi.org/10.1016/S0370-2693(98)01593-7
  • (26) A. Alavi-Harati et al., Phys. Rev. D 61, 072006 (2000). https://doi.org/10.1103/PhysRevD.61.072006
  • (27) J.K. Ahn et al., Phys. Rev. D 81, 072004 (2010). https://doi.org/10.1103/PhysRevD.81.072004
  • (28) J.K. Ahn et al., Phys. Rev. Lett. 126, 121801 (2021). https://doi.org/10.1103/PhysRevLett.126.121801
  • (29) J.K. Ahn et al., Phys. Rev. Lett. 122, 021802 (2019). https://doi.org/10.1103/PhysRevLett.122.021802
  • (30) H. Nanjo, presented at the International Conference on Kaon Physics 2022, Osaka (2022).