Introduction

Neutrinos are among the most abundant and least understood of all particles that make up our universe. Neutrino physics has made significant progress in the past few decades. One of the major discovery is the observation of neutrino oscillations1,2,3, confirming that at least two types of Standard Model (SM) neutrinos have a small, but strictly nonzero mass. Neutrino oscillations also solved the mysterious solar and atmospheric neutrino problem4,5,6,7,8. The neutrino oscillations in the presence of three active neutrino flavors are described by the mass square differences i.e., \(\Delta {m}_{21}^{2}={m}_{2}^{2}-{m}_{1}^{2}\), \(\Delta {m}_{31}^{2}={m}_{3}^{2}-{m}_{1}^{2}\), three mixing angles, θ12, θ23, and θ13, and one Dirac phase, δCP. There are another two parameters: the Majorana phases, δ1, δ2, which play a part in the neutrinoless double beta decay9 and are directly related to the nature of the neutrino. The mixing angles and the phases are the elements of a unitary matrix called Pontecorvo–Maki–Nakagawa–Sakata (PMNS) matrix10,11. The available experiments on neutrino oscillations to date have measured five of the neutrino mixing parameters, three mixing angles θ12, θ13, θ23, and the two squared-mass differences \(\Delta {m}_{21}^{2}\), \(| \Delta {m}_{32}^{2}|\) up to 3σ confidence level12,13,14,15,16. Among these parameters, the sign of atmospheric mass-squared difference, i.e., Δm31, which will determine the mass ordering problem, the octant of the mixing angle θ23, and the the true value of the CP-violating phase δCP remain unknown. The determination of the CP-violating phase, the Dirac phase, has been the core research program in neutrino physics for years because it provides a potential source of CP violation in the SM lepton sector. It has been known that the leptonic CP violation could generate the matter–antimatter asymmetry through leptogenesis17. CP violation in neutrino oscillation can be measured through the difference between the oscillation probability of the neutrino and antineutrino, expressed as \(\Delta {P}_{\alpha \beta }^{{{{{{{{\rm{CP}}}}}}}}}={P}_{\alpha \beta }-{\overline{P}}_{\alpha \beta }\), which is well quantified by δCP. There are several experiments worldwide dedicated to the measurements of the neutrino parameters, especially the CP phase, performing searches of short-baseline and long-baseline neutrino oscillation.

To ensure that there are enough neutrino flavors oscillated from high-energy neutrinos, a long-baseline neutrino oscillation experiment is preferable rather than a short baseline. The long-baseline experiments, T2K (Tokai to Kamioka)14,18,19,20,21 and NOvA22 have recently reported their results. T2K reports a measured value for the CP phase, \({\delta }_{{{{{{{{\rm{CP}}}}}}}}}=-1.9{7}_{-0.70}^{+0.97}\) while excluding δCP = 0 and π at 90% CL, indicating CP violation in the lepton sector at relatively improved confidence level. However, there is CP-conserving values for δCP within 3σ standard error21. The far detector in this case is the Super-Kamiokande, a 50 Kton water Cherenkov detector. A narrow band neutrino beam is produced at an angle of 2. 5° by a 30 GeV proton beam hitting on graphite target. With this off-axis method, the narrow band neutrino energy has a peak at 0.6 GeV. The secondary neutrino produced from decays of Kaon or Pion travels a distance of 295 Km to reach the Super-Kamiokande detector. T2K plans to extend its term to 2026, followed by the Hyper-K project23 with the mass of the far detector to be increased by a factor of 10, and will offer a broad science program. The NOvA experiment22 is also a long-baseline accelerator-based neutrino oscillation experiment. It uses the upgraded Fermilab NuMI beam and measures electron neutrino appearance and muon neutrino disappearance at its far detector in Ash River, Minnesota. The reported NOvA result shows no strong preference for any particular value of the neutrino CP phase within normal mass ordering and has a visible tension with T2K’s measurement while agrees at 90% confidence level in Inverted Ordering (IO). This tension may arise because of the systematic uncertainties or maybe a hint for new physics effects arising from sterile neutrinos or non-standard neutrino interactions24,25,26,27,28,29. Another promising long-baseline neutrino experiment under construction is DUNE (Deep Underground Neutrino Experiment)30,31,32,33,34,35, whose goals are the determination of the neutrino mass ordering, observation of CP violation (up to 50% level), and precise measurements of oscillation parameters, such as δCP, \({\sin }^{2}(2{\theta }_{21})\). The idea is to send a wide-band high-intensity muon neutrino beam from Fermilab to the Sanford Underground Facility in Homestake at the 1300 Km distance. The detector technology of DUNE experiment is based on building liquid argon time projection chambers (LArTPC). Unlike the T2K experiment, the neutrino beam energy has a peak at 2.5 GeV with a broad range of neutrino energies. The neutrino beam is produced from proton collision on the graphite target. In the corresponding DUNE Technical Design Report (TDR)31,32,33,36, it is shown that favorable values for δCP with 3σ(5σ) can be achieved after 5 (10) years of running. It is worth noting that although muon beams produced from proton-on-target experiments like T2K, NOvA, and DUNE can have higher luminosity and energy, but there are also some disadvantages i.e., beam contamination because of the intermediate hadronic states and their decay products, higher emittance etc. It is also worth noting that produced neutrino and antineutrino beams in the above experiments can not be run at the same time, which takes much longer time than a simultaneous run of neutrino and antineutrino beams.

In this paper, we are interested in applying collimated muon beams into neutrino mixing and CP phase measurements. This motivates us to examine the physics potential of muon beams produced from lepton collider37, especially positron-on target experiment. One example of a muon collider design is the positron-on-target method (LEMMA), which has been proposed for high-quality muon beam production38,39. Earlier studies using proton-on-target muon beams can be found in refs. 40,41,42. Although it is still quite challenging to achieve enough high luminosity for muon beam collisions43,44, we find it quite promising for neutrino oscillation studies, with comparable or even larger neutrino flux than other long-baseline neutrino experiments. In the LEMMA approach, the incident positron energy is around 45 GeV, producing collimated muon pairs with opening angles of around 0.005 rad. and a large boost about γ ~ 200, which extends the muon lifetime by the order of \({{{{{{{\mathcal{O}}}}}}}}(1{0}^{2})\). Generally, the number of muon pairs produced per positron bunch on target can be expressed as

$$n({\mu }^{+}{\mu }^{-})={n}^{+}{\rho }_{{e}^{-}}l\sigma ({\mu }^{+}{\mu }^{-}),$$
(1)

where n+ is the number of e+ in each positron bunch, \({\rho }_{{e}^{-}}\) is the electron density in the medium, l is the thickness of the target, and σ(μ+μ) being the cross section of the muon pair production. The number of muon pairs per positron bunch on target can be maximally estimated as \(n{({\mu }^{+}{\mu }^{-})}_{\max } \, \approx \, {n}^{+}\times 1{0}^{-5}\). Although the beam density is lower than the proton-on-target scenario, there are several significant benefits leading to large neutrino flux and high sensitivity on CP phase, including (1) collimated and manipulable muon beams, which lead to a larger acceptance of neutrino sources in the far detector side; (2) symmetric μ+ and μ beams, and thus symmetric neutrino and antineutrino sources, which make this proposal ideally suitable for measuring neutrino CP-violating phase. We note that neutrino and antineutrino flux distributions produced from collimated muon beams are the same, and therefore, \({\bar{\nu }}_{e}\to {\bar{\nu }}_{\mu }\) and \({{\nu }}_{e}\to {{\nu }}_{\mu }\) oscillation signals can be collected simultaneously, without the need for separate runs for neutrinos or antineutrinos. We demonstrate that the estimated neutrino flux in our proposal is comparable to or larger than the DUNE experiment. The neutrino energy has wide distributions in 1–20 GeV region, and peaks at around 5–15 GeV (neutrino energy can be further tuned with on-axis and off-axis techniques), suggesting our proposal is also suitable for tau neutrino studies, because the peak energy is much greater than the threshold energy for tau lepton production. Considering both muon and electron neutrinos and antineutrinos, the signal yields indeed can be doubled or more. Finally, we point out that it is possible to exchange μ+ and μ flying routes, and consequently, reducing possible bias or systematic uncertainties. We perform a prospective study mainly dealing with the CP-violation sensitivities using GLoBES, an open-source program for simulating standard or non-standard neutrino oscillations including matter effects45,46,47. This software is kept tested by superbeam neutrino oscillation experiments over several decades.

Results and discussion

Theory of neutrino oscillation

Here, we discuss some interesting properties of neutrino oscillation probability with regard to the energy and baseline length. We start with a general discussion regarding standard oscillation probabilities. Based on the general knowledge of quantum mechanics, we can obtain the transition amplitude as inner product of initial and final neutrino flavor states2. We derive appearance probability for ντ, νμ, νe and their antineutrinos following the general oscillation Eq. (2)

$$P({\nu }_{\alpha }\to {\nu }_{\beta }) \, = \, {\delta }_{\alpha \beta }-4{\sum }_{i < j}^{n}{{{{{{{\rm{Re}}}}}}}}\left[{U}_{\alpha i}{U}_{\beta i}^{* }{U}_{\alpha j}^{* }{U}_{\beta j}{\sin }^{2}{X}_{ij}\right] \\ +2{\sum }_{i < j}^{n}{{{{{{{\rm{Im}}}}}}}}\left[{U}_{\alpha i}{U}_{\beta i}^{* }{U}_{\alpha j}^{* }{U}_{\beta j}\right]\sin 2{X}_{ij},$$
(2)

where Uαi are the elements of PMNS mixing matrix, and Xij reads as

$${X}_{ij}=\frac{({m}_{i}^{2}-{m}_{j}^{2})L}{4{E}_{\nu }}=1.267\frac{\Delta {m}_{ij}^{2}}{{{{{{{{\rm{e{V}}}}}}}^{2}}}}\frac{L}{{{{{{{{\rm{Km}}}}}}}}}\frac{\,\,{{\mbox{GeV}}}\,}{{E}_{\nu }},$$
(3)

L is the length of the neutrino propagation distance whose unit is Km and Eν corresponds to the true neutrino energy in GeV unit, \(\Delta {m}_{ij}^{2}\) is the squared-mass difference in eV2 unit. The oscillation probabilities for antineutrino can be obtained with the exchange U → U*. The first term in Eq. (2) is CP-conserving since it is the same for neutrinos and antineutrinos, while the last one is CP-violating because it has opposite signs for neutrinos and antineutrinos. As mentioned in “Introduction”, the simultaneous run of μ+ and μ beams will provide eight oscillation channels through the decay \({\mu }^{-}\to {\nu }_{\mu }+{\overline{\nu }}_{e}\) and \({\mu }^{+}\to {\overline{\nu }}_{\mu }+{\nu }_{e}\):

$$\begin{array}{l}{\nu }_{\mu }\to {\nu }_{\tau },\quad {\overline{\nu }}_{\mu }\to {\overline{\nu }}_{\tau }\\ {\nu }_{\mu }\to {\nu }_{e},\quad {\overline{\nu }}_{\mu }\to {\overline{\nu }}_{e}\\ {\nu }_{e}\to {\nu }_{\tau },\quad {\overline{\nu }}_{e}\to {\overline{\nu }}_{\tau }\\ {\nu }_{e}\to {\nu }_{\mu },\quad {\overline{\nu }}_{e}\to {\overline{\nu }}_{\mu }\end{array}$$

Based on Eq. (2), we can get some approximated results for the vacuum oscillation probabilities for the above eight oscillation channels as

$$P({\nu }_{\mu }\to {\nu }_{\tau })\simeq \, \, {\sin }^{2}\left(2{\theta }_{23}\right){\cos }^{4}({\theta }_{13}){\sin }^{2}\left(1.27\frac{\Delta {m}_{32}^{2}L}{{E}_{\nu }}\right)\\ \pm 1.27\Delta {m}_{21}^{2}\frac{L}{{E}_{\nu }}{\sin }^{2}\left(1.27\frac{\Delta {m}_{32}^{2}L}{{E}_{\nu }}\right)\times 8{J}_{{{{{{{{\rm{CP}}}}}}}}},$$
(4a)
$$P({\nu }_{\mu }\to {\nu }_{e})\simeq \, \, {\sin }^{2}(2{\theta }_{13}){\sin }^{2}({\theta }_{23}){\sin }^{2}\left(1.27\Delta {m}_{32}^{2}\frac{L}{{E}_{\nu }}\right) \\ \mp \, \, 1.27\Delta {m}_{21}^{2}\frac{L}{{E}_{\nu }}{\sin }^{2}\left(1.27\Delta {m}_{32}^{2}\frac{L}{{E}_{\nu }}\right)\times 8{J}_{{{{{{{{\rm{CP}}}}}}}}},$$
(4b)
$$P({\nu }_{e}\to {\nu }_{\tau })\simeq \, \, {\sin }^{2}(2{\theta }_{13}){\cos }^{2}({\theta }_{23}){\sin }^{2}\left(1.27\Delta {m}_{32}^{2}\frac{L}{{E}_{\nu }}\right) \\ \mp \, \, 1.27\Delta {m}_{21}^{2}\frac{L}{{E}_{\nu }}{\sin }^{2}\left(1.27\Delta {m}_{32}^{2}\frac{L}{{E}_{\nu }}\right)\times 8{J}_{{{{{{{{\rm{CP}}}}}}}}},$$
(4c)
$$P({\nu }_{e}\to {\nu }_{\mu })\simeq \, \, {\sin }^{2}(2{\theta }_{13}){\sin }^{2}({\theta }_{23}){\sin }^{2}\left(1.27\Delta {m}_{32}^{2}\frac{L}{{E}_{\nu }}\right)\\ \pm \, 1.27\Delta {m}_{21}^{2}\frac{L}{{E}_{\nu }}{\sin }^{2}\left(1.27\Delta {m}_{32}^{2}\frac{L}{{E}_{\nu }}\right)\times 8{J}_{{{{{{{{\rm{CP}}}}}}}}},$$
(4d)

where JCP is the Jarlskog invariant48 and replacing the mixing parameters with up-to-date measured values49,

$${J}_{{{{{{{{\rm{CP}}}}}}}}} \equiv \sin {\theta }_{13}{\cos }^{2}{\theta }_{13}\sin {\theta }_{12}\cos {\theta }_{12}\sin {\theta }_{23}\cos {\theta }_{23}\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}\\ =0.03359\pm 0.0006(\pm 0.0019)\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}.$$
(5)

It should be pointed out that we drop the sub-leading terms, second order in \(\sin {\theta }_{13}\) and \(\Delta {m}_{21}^{2}\) in the above oscillation probabilities. The above form of the oscillation probabilities are applicable for most of the superbeam experiments without the consideration of the matter effects. However, this form of oscillations might differ from the results obtained with GLoBES. The vacuum oscillation probabilities in Eq. (4a–d) are plotted in Fig. 1 with respect to the neutrino energy in the 1 GeV < Eν < 10 GeV range. Figure 1a, b represents the P(νμ → ντ) and P(νμ → νe), while Fig. 1c, d shows the oscillation probabilities of νe into νμ and ντ. The probability for antineutrino oscillations can be obtained by simply replacing δCP with − δCP. The oscillation probability difference between P(να → νβ) and \(P({\bar{\nu }}_{\alpha }\to {\bar{\nu }}_{\beta })\) reads as

$$\Delta P({\nu }_{\alpha }\to {\nu }_{\beta })=16{J}_{{{{{{{{\rm{CP}}}}}}}}}\times 1.27\Delta {m}_{21}^{2}\frac{L}{{E}_{\nu }}{\sin }^{2}\left(\frac{\Delta {m}_{32}^{2}L}{{E}_{\nu }}\right).$$
(6)

Using the current measured values of the mixing angles and squared-mass differences49 and taking the distance of neutrino propagation as L = 1300 Km, we have the numeric values for the neutrino oscillations at Eν = 7 (5) GeV as

$$P({\nu }_{\mu }\to {\nu }_{\tau })=0.2916\pm 0.0026\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}\,(0.5093\pm 0.0048\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}),$$
(7a)
$$P({\nu }_{\mu }\to {\nu }_{e})=0.0151 \, \mp \, 0.0026\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}\,(0.0264 \, \mp \, 0.0048\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}),$$
(7b)
$$P({\nu }_{e}\to {\nu }_{\mu })=0.0151 \, \pm \, 0.0026\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}\,(0.0264 \, \pm \, 0.0048\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}),$$
(7c)
$$P({\nu }_{e}\to {\nu }_{\tau })=0.0119 \, \mp \, 0.0026\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}\,(0.0209 \, \mp \, 0.0048\sin {\delta }_{{{{{{{{\rm{CP}}}}}}}}}).$$
(7d)

The impact of matter effects on the appearance probability may be negligible in the short-baseline oscillation experiments and for reactor neutrinos, in which the general formula (2) can be applicable. Given the significant length of the oscillation baseline in our proposal, matter effects arising from the interaction of neutrinos with nucleons of matter as they propagate through the Earth’s internal crust should be taken seriously, because the matter-induced correction factor for the oscillation probability is relatively larger than other short-baseline oscillation experiments50,51. This may bring some visible changes to our vacuum oscillation probabilities shown in the Fig. 1. A complete set of neutrino oscillation probabilities, including matter effect with constant density for three flavors, are analytically calculated through series expansions in the mass hierarchy parameter, \(\Delta {m}_{21}^{2}/\Delta {m}_{31}^{2}\), and mixing parameter \(\sin {\theta }_{13}\) with first and second order, which is available in ref. 52.

Fig. 1: The vacuum oscillation probabilities (vertical axis) of neutrinos as a function of neutrino energy Eν.
figure 1

a Muon neutrino (νμ) oscillation into tau neutrino (ντ). b νμ oscillation into electron neutrino (νe). c νeoscillation into ντ. d νe oscillation into ντ. The baseline length of the neutrino oscillation is set to L = 1300 Km. The oscillation probability is corresponding to three different charge-parity violation phase values δCP: black line for δCP = 0, red line for δCP = π/2, and blue line is for δCP = −π/2.

Now we demonstrate the appearance probabilities for P(νμ → νe), P(νμ → ντ), P(νe → νμ), P(νe → ντ) channels that depict the impact of matter effects on the neutrino oscillation. The probability is the function of the reconstructed neutrino energy and drawn for five fixed δCP values as shown in the Fig. 2. The overall size of the probabilities are almost the same for P(νμ → νe), P(νe → νμ), P(νe → ντ), shown as in Fig. 2a, c, d. However, the oscillation probability P(νμ → ντ) depicted in Fig. 2b is much greater than the other three probabilities thus enhances the ντ neutrino-related events at the far detector. From the ratio of probabilities with nonzero δCP to probabilities with δCP = 0, P(δCP ≠ 0)/P(δCP = 0), it is very clear that the inclusion of matter effects change the shapes of oscillation probability significantly relative to the vacuum oscillations. Two of the five δCP values, −π/2 (blue line) and π/2 (green line), maximize the CP violation the most while the other three values are thought to be CP-conserving phase: π (orange line), −π (red dashed line), 0 (black line). Therefore, oscillation probability is supposed to be the same for these three CP-conserving δCP values. However, there is a difference between them: P(δCP = 0) ≠ P(δCP = −π) = P(δCP = π). This may arise from the collective influence of the matter effects and the expansion method. It is worth noting that, for the oscillation channels P(νμ → νe) and P(νe → νμ), the probability with δCP = 0 is larger than that of the other δCP values. As for the tau neutrino appearance from νμ and νe channels, the outcome is different. In the νμ → ντ oscillation channel, the difference of the oscillation probability for CP-conserving δCP values is very small or even becomes zero as the neutrino energy increases. We will see further outcome with both the event spectrum and significance in the following sections.

Fig. 2: Matter oscillation probabilities of neutrinos as functions of neutrino energies Eν.
figure 2

a, b display oscillation probability (vertical axis) for muon neutrino (νμ) into electron neutrino (νe) and tau neutrino (ντ). The little icon in (b) depicts the peak of the νμ → ντ oscillation probability. c, d depict oscillation probabilities for νe into νμ and ντ. Probabilities are drawn with respect to the neutrino reconstructed energy and depicted for five δCP values: δCP = − π/2, 0, π/2, − π, π given in blue, black, green, dashed red and orange lines. In each plot, the ratio P(δCP ≠ 0)/P(δCP = 0) is shown in the small bottom panel. The length of oscillation baseline is taken as L = 1300 Km, and normal mass ordering is assumed.

Experimental setup and qualitative estimations

We display in Fig. 3 a rough structure of neutrino oscillation experiment to probe neutrino CP phase by measuring muon electron (anti-)neutrino mixing and their differences. We are especially interested in the oscillation modes of νμ → νe,τ, νe → νμ,τ and their corresponding antineutrinos with more details to be given later. This proposal is based on collimated muon beams achieved from e.g., Positron-on-Target method, where 45 GeV positron beams are shed on the target. Dipoles are used to separate μ+ and μ with an angle around 0.01 rad., with direction changeable (notice the acceptance of the dipole to separate muon and anti-muons is not considered here and needs to be evaluated later). Muon beams fly about 10 Km and radiate neutrinos before being swept away. Neutrinos then further fly e.g., 1300 Km to reach DUNE or T2K type of detectors31.

  • Muon production rates. As estimated in the Eq. (1), the produced muon numbers is \(n{({\mu }^{+}{\mu }^{-})}_{max} \, \approx \, {n}^{+}\times 1{0}^{-5}\)39. Assuming positron bunch density as 1012/bunch and bunch crossing frequency as 105/s, we get muon production rates dNμ/dt ~ 1012/s (or 1019/year). Notice although we take positron-on-target muon source as an example, proton-on-target muon beams should also be applicable. Moreover, the future TeV scale muon collider is indeed targeting a much larger intensity beam by more than 1–2 orders of magnitudes43,44,53.

  • For muons with the energy around 20 GeV, the mean flying distance is around 100 Km. If there is a straight tube with a length around 5–10 Km to let muons go through with quadrupoles to keep them merged (To further reduce the angular emittance with quadrupoles is to be checked), the decayed fraction can reach 10−1 in realistic case. On the other hand, we can also refer to a muon complex as discussed in ref. 54, where the muon beam is accelerated in a circular section and then extracted into the rectangular section for decays. The intensity of the neutrino beam compared with the incoming muon beam is suppressed by a ratio around 10−1, i.e., the fraction of the collider ring circumference occupied by the production straight section.

  • The opening angles between muon beams axis and the momentum of decay products are around 0.005 rad. as shown in Fig. 4a and may be kept smaller with quadrupoles. For neutrinos traveling 1300 Km to reach far detector s, the spread size can be around 1–5 Km. For a DUNE-like detector with a cubic size of about 20 m31, the neutrino acceptance is then 10−4.

  • Neutrino and antineutrino interactions inside detectors. With a L = 20 m long liquid Argon detector (DUNE far detector indeed has a length around 50 m31), the expected event yield rate can be roughly estimated with: dNμ/dt × L × σnν × ρNAdE, where NA is the Avogadro constant, ρ ~ 2.834 gcm−3, σnν represents the neutrino-nucleon cross sections and is ~10−38 cm2 for a 10 GeV neutrino49,55. Actually, the cross sections are function of the neutrino energy energy. We will show the simulated results for neutrino cross sections in below sections.

Because of its heavy mass and very short lifetime, the tau neutrino production with abundant numbers in conventional accelerator is very difficult. On the contrary, we have rich tau neutrino flux because of the higher P(νμ → ντ) oscillation shown in Fig. 1b. The tau neutrino flux can be further strengthened if we consider the oscillation channel of P(νe → ντ) whose oscillation probability is much more smaller than P(νμ → ντ). Considering the fraction of muon neutrino oscillated into tau neutrino56, we can estimate the total tau neutrino CC events based on the Eq. (7) with 5 years of run as

$${N}_{{\nu }_{\tau }}^{cc} \sim (3\times 1{0}^{4}).$$
(8)

Notice the annual expected tau neutrino yields is already comparable or even surpass the rates at the SHiP experiment at CERN57. Thus our proposal can serve as a “brighter” neutrino factory for tau neutrinos. We would like to mention that with this abundance in neutrinos fluxes, it may possible that some of the new physics models, such as charged Higgs doublet58 or leptoquarks59 maybe tested through new generation lepton collider60 whose colliding beams are produced with the electron–positron collision.

Fig. 3: A proposed neutrino oscillation experiment to probe charge-parity violating phase through muon electron (anti-) neutrino oscillation and the differences of resulted νe,μ → ντ, νe → νμ, and their antineutrino correspondents.
figure 3

This proposal is based on collimated muon beams achieved from e.g., Positron-on-Target method, where 45 GeV positron beams are fired. Dipoles are used to separate muon (μ+) and antimuon (μ) with an angle around 0.01 rad., with direction changeable. Muon beams fly about 10 Km and radiate neutrinos before being swept away by the Sweeper. Neutrinos then further fly 1300 Km to reach DUNE type of detectors.

Fig. 4: 2D distributions of energy and angle.
figure 4

a is for electron neutrino νe and b is for muon neutrino νμ. Neutrinos are coming from 22.5 GeV \({\mu }^{+}\to {e}^{+}\,{\bar{\nu }}_{\mu }\,{\nu }_{e}\) (similarly for μ decay) in respect to muon flying direction. The color bar in each panel represents normalized density distributions for each type of neutrinos.

Given the differences in cross sections for neutrinos and antineutrinos, we simulate the interactions of neutrinos with Argon atoms with a mass number of 40 using the GENIE61,62,63 event generator version 3.2.0 to obtain neutrino and antineutrino cross sections. Indeed, the cross sections for neutrinos and antineutrinos differ as the neutrino energy increases. Figure 5 shows the total Charged-Current (CC) cross sections of three neutrino and antineutrino flavors with respect to neutrino energy. The total cross sections should be understood as the sum of cross sections for available CC interactions of the neutrinos with nucleons of the Argon atom. The solid lines refer to neutrino-nucleon cross sections while the dashed lines represent cross sections of antineutrino-nucleon interactions. The simulated results for cross sections are consistent with those of DUNE’s experimental configuration34, except for the ντ cross sections, because the DUNE experiment mainly focuses on the νμ → νe oscillation channel. It is worth noting that the cross sections in Fig. 5 are normalized with respect to energy. Naturally, the neutrino-nucleon CC cross section is linearly dependent on the energy until the energy reaches the threshold of the W boson. One particularly important feature is that antineutrino cross sections are approximately half the size or even smaller than the neutrino cross sections, which has a significant impact on the final event spectrum.

Fig. 5: Neutrino and antineutrino Charged-Current (CC) cross sections with Argon Atom of mass number 40.
figure 5

The solid lines represent the cross sections of neutrino and nucleon interaction while the dashed lines are for antineutrino-nucleon cross sections. Red solid and dashed lines depict νe and \({\bar{\nu }}_{{{{{{{{\rm{e}}}}}}}}}\) cross sections. Blue solid and dashed lines represent νμ and \({\bar{\nu }}_{{{{{{{{\rm{\mu }}}}}}}}}\) cross sections while black solid and dashed lines present ντ and \({\bar{\nu }}_{{{{{{{{\rm{\tau }}}}}}}}}\) cross sections.

As the oscillation route for neutrinos is significantly longer than other short-baseline experiments, such as MOMENT64, the matter effects during oscillations should be taken into account. To maintain consistency with the neutrino oscillation probabilities, we utilize the matter-affected oscillation probability formulas coded within GLoBES.

Results of simulation and CP sensitivity

Figure 6 depicts event distribution as function of δCP for νe appearance from νμ in Fig. 6a and the ratio of our results to that of the DUNE in Fig. 6b (solid red line) at different parent muon energies, ranging from 2.5 to 15 GeV. The red solid line corresponding to DUNE TDR is obtained by simulation using the DUNE’s experimental configuration given in ref. 34. We show this because at the lower energy the oscillation patterns and thus the event spectrum for neutrinos in our case is identical to those of the DUNE experiment while they are visibly different toward higher energy. The event rates for electron neutrino obtained with our proposal is approximately seven to eight times larger than DUNE’s νe event rates as shown on ratio plot.

Fig. 6: Event distribution as a function of charge-parity violation factor.
figure 6

a Event distributions at different parent muon energies Eμ. b Ratio of event distributions of our experimental setup to that of the DUNE experiment. Events are only taken for electron neutrino (νe) appearance from muon neutrino (νμ) oscillation. The red solid line in both plots stand for the simulated results using DUNE’s experimental configurations while other dashed lines depict our results at different muon energies.

The event distributions as a function of reconstructed neutrino energy are shown in Fig. 7 for δCP = 0 (black line), π/2 (red line), −π/2 (blue line). The maximum numbers of events for all channels have peaks approximately at 15 GeV. Figure 7a–d displays tau and anti-tau neutrino appearance from muon and antimuon oscillation channels. Figure 7e, f displays electron and anti-electron appearance rate from muon and antimuon oscillation channels. The last two panels of Fig.  7g, h depict muon and antimuon appearance rate from electron and anti-electron oscillation channels. From the shapes of event distributions for νμ → ντ channel shown in Fig. 7a, we can find that events of three different δCP values are not visibly different for ντ appearance form νμ oscillation, which makes the sensitivity from this channel weaker than other appearance channel. However, events from the other channels are apparently differentiable for δCP = 0, π/2, −π/2, which is good for obtaining a high sensitivity for δCP. As shown clearly, the event spectra for neutrino appearance are almost double of the number of antineutrino events since the cross section of neutrino interaction is significantly larger than the antineutrino cross sections. It is worth noting that events produced for δCP = 0 is less than δCP = π/2, −π/2 for νe → ντ. On the other hand, case is opposite for νμ → νe and νe → νμ channels. This is different from the low-energy neutrino oscillation experiments e.g., T2K, NOvA etc, whose event distributions are in increasing (for neutrino) or decreasing (for antineutrino) order for δCP values. This is because of the different oscillation patterns at the high energy shown in the Fig. 1.

Fig. 7: Event spectrum as function of reconstructed neutrino energy Eν.
figure 7

ad show (anti)tau neutrino (\({\nu }_{\tau }/{\bar{\nu }}_{\tau }\)) appearance rate from muon and electron (anti)neutrino (\({\nu }_{\mu }/{\bar{\nu }}_{\mu },{\nu }_{e}/{\bar{\nu }}_{e}\)). e, f display \({\nu }_{e}/{\bar{\nu }}_{e}\) appearance rate from \({\nu }_{\mu }/{\bar{\nu }}_{\mu }\) oscillation channel, while g, h display \({\nu }_{\mu }/{\bar{\nu }}_{\mu }\) appearance rate from electron and anti-electron neutrino. Events are obtained with a 5-year of run simultaneously for neutrino and antineutrino mode with normal mass ordering is assumed for three charge-parity violating phase (δCP) values: δCP = 0 (black line), δCP = π/2 (red line), δCP = −π/2 (blue line).

We will now show the results of the sensitivities on neutrino CP violation on Fig. 8, taking δCP = ± π/2 as benchmark parameters:

  • First, if the far detector has the capability of distinguishing electron and muon neutrino from one another, then both the νμ and νe appearance channel can provide a high CP sensitivity. The sensitivity results are displayed in Fig. 8. The left-panel of the figure depicts estimated sensitivity for νμ appearance channel while the figure on the right-hand side display estimated sensitivity for νe appearance channel. It is clear that νμ appearance channel has the potential to discover CP violation up to 7σ sensitivity at δCP = π/2 while there is also sensitivity for δCP = −π and π with more than 1σ. On the other hand, the νe appearance channel can also provide discovery of the maximum CP violation with more than 6σ significance.

  • Second, one of the advantages of our proposal is that we can also gain sensitivity in the case of detecting ντ-related events. It is well-known fact that observing tau neutrino is extremely difficult. Luckily, DUNE-type detectors can handle this problem. Figure 8c depicts the significance of ντ appearance from νμ oscillation. As seen, for five years of run, this sensitivity is very small because the event rate for δCP = 0, −π, π are not visibly different, depicted as in Fig. 7a, b. However, Fig. 8d displays δCP sensitivity for the ντ appearance from νe oscillation channel. The corresponding significance can rich up to 4σ, although this channel is not as good as the first two appearance channels for obtaining better sensitivity. Notice that the CP dependence of P(νe → ντ) and \(P({\bar{\nu }}_{\mu }\to {\bar{\nu }}_{\tau })\), as shown in Eq. (4), vary in the same direction. If we count on tau-related events in the far detector inclusively, this means ντ signal can be further strengthened. The sensitivity then can be more than 4 standard deviations. Although only statistics are taken into account here, systematic uncertainty could be reduced efficiently due to the symmetric property of the proposed device. Furthermore, it is possible to exchange μ+ and μ flying routes, thus further reducing possible bias or systematic.

  • Finally, if we analyze total ντ event spectrum from muon and electron neutrino oscillations as:

    $$\begin{array}{l}{\mu }^{+}\to {e}^{+}\,{\bar{\nu }}_{\mu 1}\,{\nu }_{e1}\,\,\Rightarrow \,\,\,\,{\bar{\nu }}_{\mu 1}\to {\bar{\nu }}_{\tau 1},\,\,{\nu }_{e1}\to {\nu }_{\tau 1},\\ {\mu }^{-}\to {e}^{-}\,{\nu }_{\mu 2}\,{\bar{\nu }}_{e2}\,\,\Rightarrow \,\,\,\,{\nu }_{\mu 2}\to {\nu }_{\tau 2},\,\,{\bar{\nu }}_{e2}\to {\bar{\nu }}_{\tau 2},\end{array}$$

    we can obtain sensitivity for maximum CP violation more than 4σ if the detector efficiency ideally 100%. Figure 9 displays obtained sensitivity for CP-violating phase with two different detector efficiencies: a 100% (red line) and DUNE’s simulated efficiency (black line).

Fig. 8: The significance χ2 for the determination of charge-parity (CP) violation as a function of the value of the δCP.
figure 8

a Muon neutrino (νμ) appearance channel. b Electron neutrino (νe) appearance channel. c, d Tau neutrino (ντ) appearance channel form νμ and νe oscillations. L is the neutrino propagation distance during oscillation. The normal mass ordering is assumed during the analysis.

Fig. 9: Charge-parity violating phase (δCP) sensitivity obtained with the fit from total tau neutrino ντ appearance channel.
figure 9

Corresponding events are obtained with 10 years of run and assuming normal mass ordering. The red line represents obtained sensitivity with nearly 100% efficiency in each energy bin while the black line represents sensitivity obtained using DUNE-provided energy efficiency that comes with their experimental configuration file.

Feasibility for sterile neutrino search

The existence of the fourth neutrino, or sterile neutrino, is another major problem whose discovery may solve a plethora of Beyond Standard Model (BSM) mysteries, such as the origin of neutrino mass, discovering Dark Matter (DM) particles, and even the cosmological structure of the universe. It is commonly known that the Z gauge boson can decay into a pair of neutrinos and antineutrinos. Thus, the measurements of the Z boson decay width help determine the active neutrino count to be 365. However, there is a possibility that sterile neutrinos are also allowed, given that they are singlets of the SM gauge group and do not directly interact with SM gauge bosons. Generally, only one sterile neutrino νs is considered, consisting mainly of the heavy mass eigenstate ν4, while the SM active neutrinos are mainly composed of the light neutrino mass eigenstates, ν1, ν2, ν3. Sterile neutrinos naturally appear in many extensions of the SM. Meanwhile, several experimental hints of their existence exist. As is well-known, the GALEX and SAGE solar neutrino Gallium experiments reported that only 88 ± 5% of the expected number of νe events were observed66,67. The deficit of νe events observed in these experiments can be explained by electron neutrino to sterile neutrino oscillation at short-baseline. The explanation of the LSND and MiniBooNE experimental results could also indicate the possible existence of sterile neutrinos68,69,70.

There is one more advantage of our proposal when it comes to searching for sterile neutrinos. The rich flux of both muon and electron-type neutrinos produced after muon decay increases the possibility of observing oscillations related to sterile neutrinos. We can examine two oscillation modes simultaneously: νe → νe and νμ → νe, while DUEN and T2K mainly focus on electron neutrino appearance, νμ → νe. The probability of disappearance and appearance for a neutrino flavor α, taking into only the large mass difference account, can be approximated as

$$P({\nu }_{\alpha }\to {\nu }_{\alpha })\approx 1-4| {U}_{\alpha 4}{| }^{2}(1-| {U}_{\alpha 4}{| }^{2}){\sin }^{2}\left(\frac{\Delta {m}_{41}^{2}L}{4{E}_{\nu }}\right)$$
(9)
$$P({\nu }_{\alpha }\to {\nu }_{\beta })\approx 4| {U}_{\alpha 4}{| }^{2}| {U}_{\beta 4}{| }^{2}{\sin }^{2}\left(\frac{\Delta {m}_{41}^{2}L}{4{E}_{\nu }}\right)$$
(10)

With the fourth neutrino, the PMNS matrix is a 4 × 4 matrix that contains six mixing angles and three CP phases. Determination of these parameters would be a huge work that requires large number of neutrino oscillation experiments. According to some research work dealing with long-baseline neutrino oscillations in the presence of the sterile neutrino71, our proposal not only enables us to further confirm the results of the LSND and MiniBooNE experiment but also help us to determine the aforementioned parameters, especially \(\Delta {m}_{41}^{2}\), active and sterile neutrino mixing angles, as well as the additional CP phases. A detailed study for examining sensitivities of the parameters characterizing sterile neutrino will be presented in our future work.

Conclusion

In this work, we present a scenario that exploits collimated muon beams. We take positron-on-target as an example method to produce these beams, but this can also be based on high-energy muon beams from the proton-on-target method, which generate symmetric neutrino and antineutrino sources: \({\mu }^{+}\to {e}^{+}\,{\bar{\nu }}_{\mu }\,{\nu }_{e}\) and \({\mu }^{-}\to {e}^{-}\,{\nu }_{\mu }\,{\bar{\nu }}_{e}\). Interfacing with long-baseline neutrino detectors such as DUNE or Hyper-K detectors, this experiment can be useful for measuring tau neutrino properties and, importantly, for probing the neutrino CP phase by measuring νe, νμ, and ντ appearance, and differences between neutrino and antineutrino rates. Through simulation using GLoBES software, the CP violation sensitivities with the appearance of all three flavor neutrinos have been explored. Technically, there are several significant benefits leading to a large neutrino flux and high sensitivity to the CP phase. First, the collimated and manipulable muon beams may lead to a larger acceptance of neutrino sources on the far detector side. Second, symmetric production of μ+ and μ beams also leads to symmetric neutrino and antineutrino production, which makes this proposal ideally suited for measuring neutrino CP violation. More importantly, \({\bar{\nu }}_{e,\mu }\to {\bar{\nu }}_{\tau }\) and νe,μ → ντ, as well as \({\bar{\nu }}_{e}\to {\bar{\nu }}_{\mu }\) and νe → νμ oscillation signals, can be collected simultaneously without the need for separate specific runs for neutrinos or antineutrinos. Therefore, our experiment can save a significant amount of time. It is also possible to exchange μ+ and μ flying routes, thus further reducing possible bias or systematic errors. The discovery of CP violation in our approach is quite significant when focusing on the first two flavor neutrino appearances, with a significance of more than 6σ, or for the total appearance, which can be as high as 7σ within five years of operation. However, this requires distinguishing between electron and muon neutrinos, which although difficult, is achievable.

Moreover, the tension between T2K18,21 and NOvA22 results on neutrino CP measurement may reappear, making an independent probe indispensable. For example, through tau neutrino appearance or electron-to-muon neutrino oscillations. The proposal here should also be useful for detecting new CP phases in case of the presence of a sterile neutrino72. Last but not least, our proposal exploits a muon beam with looser requirements (e.g., lower intensity) compared to the needs for a future muon collider and thus can serve as a realistic intermediate step.

In this draft, we primarily provide preliminary estimations, either qualitative or based on existing data, for the feasibility study. A more detailed study is surely necessary to follow up this preliminary work. However, there also exists rich potential to be further explored with such a proposal that connects the energy and neutrino frontiers. Especially, one can imagine a post-DUNE (or running in parallel to DUNE as the probe channels are indeed orthogonal and thus complementary) experiment with neutrinos from an intense muon source located at the Fermilab site. This connection between energy and neutrino frontiers can also serve as a precursor for future high-energy muon colliders. Notice that a muon collider requires 1–2 orders of magnitude more intense beam compared to the number (dNμ/dt ~ 1012/s) listed above as our benchmark. Thus, with the development of a more intensive muon beam targeting future muon colliders, it surely will further improve the neutrino potential of the current proposal.

Methods

In this section, we show the techniques used to analyze the event spectrum produced with the help of GLoBES. We use muon and antimuon beams produced from highly energetic positron collision with a high electron density target. Neutrinos then are produced from muon decay. We have four neutrino flavors that provide eight appearance channel. We are only interested in appearance channel because disappearance channel do not provide any sensitivity on δCP. The spectrum and flavor content of neutrino beam are completely characterized by the muon decay. Therefore, with the knowledge of muon energy, we can control and obtain the corresponding event spectrum.

Obtaining event rate for neutrino appearance

Looking at the latest neutrino oscillation parameters from ref. 73, we set the oscillation parameters as shown in Table 1. The first column are the parameters used for obtaining the oscillation probability and event rates. The second column is the their central values while the third column shows the range of these parameters if marginalized. Luckily, we have here both muon and its CP-conjugated beams so that we can run both in the neutrino and antineutrino mode simultaneously. The symmetric operation of both beams leads to the cancellation or drastic reduction of many errors. Table 2 lists characteristic parameters for our simulation. Using available information from refs. 38,44,53, we can estimate the total numbers of actively decaying muons that can be stored for neutrino production is up to 1020–1021 order of magnitude. It is worth to mention that the total events for antineutrino production is visibly smaller than that of the neutrino at the detector side because of the differences between their cross sections. Thus, we have to set a higher muon number for antineutrino mode or run a longer time for antineutrino mode. Based on the estimation method applied in GLoBES, the number of events in the ith energy for the transition from flavor α → β are given by

$${N}_{i}=\frac{N}{{L}^{2}}\int\nolimits_{0}^{{E}_{max}}dE\int\nolimits_{{E}_{r}^{min}}^{{E}_{r}^{max}}d{E}_{r}\phi (E){\sigma }_{{\nu }_{\beta }}R(E,{E}_{r}){P}_{\alpha \beta }(E)\epsilon ({E}_{r}),$$
(11)

where N is the normalization factor proportional to run time and nuclear numbers in the target detector, L is the length of the baseline, ϕ(E) is the neutrino flux, νβ is the neutrino interaction cross section, ϵ(Er) and R(E, Er) are the efficiency and the energy resolution function of the detector. The quantities E and Er are the true and reconstructed energies, respectively. For the detector properties, we utilize the energy resolutions and the detector efficiency provided by DUNE collaboration published on their GLoBESsimulation34 in the case of electron and muon neutrino appearance rates. For tau neutrino event rates, we use a built-in controllable energy resolution function based on a Gaussian distribution as given

$${R}^{\alpha }(E,{E}^{r})=\frac{1}{\sigma (E)\sqrt{2\pi }}{e}^{-\frac{{(E-{E}^{r})}^{2}}{{\sigma }^{2}(E)}},$$
(12)

where \(sigma=\alpha E+\beta \sqrt{E}+\gamma\), which is taken to be 0.15E.

Table 1 The parameters used for neutrino oscillations
Table 2 The experimental setup used in GLoBES for simulation

Definition and minimization

χ2 significance analysis is performed by comparing the simulated true event rates from the present best fit74 with the events generated by the test values which is to be excluded. During the sensitivity calculation, only the solar parameters are allowed to vary while other parameter are kept fixed and constrained by Gaussian priors with 1σ standard error. The prior functions are defined as

$${\chi }_{{{{{{{{\rm{prior}}}}}}}}}^{2}={\left(\frac{p-{p}_{0}}{{\sigma }_{p}}\right)}^{2},$$
(13)

where p is the oscillation parameter, p0 is the central or true value of the prior measured by the present experiment with absolute input error σp. In our analysis, we apply an uncertainty of 2.5% for matter density. We construct the below χ2 function

$${\chi }^{2}=\frac{{\left(N({\delta }_{{{{{{{{\rm{CP}}}}}}}}}^{true})-\overline{N}({\delta }_{{{{{{{{\rm{CP}}}}}}}}}^{true})\right)}^{2}}{(N+\overline{N})({\delta }_{{{{{{{{\rm{CP}}}}}}}}}=0,\pi )}.$$
(14)

Here, N and \(\overline{N}\) represent event rates for neutrino and antineutrino appearance.