1 Introduction

Quantum Mechanics has proved to be an incredibly successful theory. Not only have its predictions been verified with great accuracy, but it has also laid the foundation of new realms of technology, ready to revolutionize the information and communication sectors. Surprisingly, despite all of its success, the question of when does a system behave quantum mechanically rather than classically, still waits for a clear and unambiguous answer. This question becomes important while dealing with the nature of correlations between different subsystems of a composite system. These correlations can be spatial as well as temporal. Some of the widely studied spatial quantum correlations are entanglement [1], steering [2], non-locality [3] and quantum discord [4]. The temporal correlations include Leggett–Garg (LG) [5] and LG type inequalities [6].

The quantum correlations have been studied mainly in the optical and electronic systems [7,8,9,10]. Recently such studies have been extended to high energy physics owing to the advancement in various experimental facilities, see for example [11,12,13,14,15,16,17,18,19,20,21,22,23,24]. The concept of single particle entanglement has been introduced in previous studies [25,26,27] which have also been demonstrated experimentally with single photon systems [28,29,30]. Later, the experimental schemes to probe nonlocality were generalized to include massive particles [31]. In [14], an experimental scheme is discussed for transferring this form of entanglement to spatially separated modes of stable leptonic particles. It allows to put mode entanglement in neutrino oscillations on equal footing with that in atomic and optical systems. Therefore, different flavour modes of neutrinos can be expressed as legitimate individual entities and entanglement in these flavour modes, i.e. mode-entanglement, studied. An extensive study of quantum correlations in the context of two and three flavour neutrino oscillations is given in [17] and [18], respectively. However, in these works, matter and CP (charge conjugation-parity) violating effects were not taken into account.

In this work, we study various facets of nonclassicality, quantified by spatial quantum correlations such as flavour entropy, geometric entanglement, Mermin and Svetlichny inequalities, in the context of three flavour neutrino oscillations, by taking into account the matter effects and CP violation. We discuss the behavior of these quantum correlations for the ongoing experiments like \(\hbox {NO}\nu \hbox {A}\) and T2K, and also for the upcoming experiment DUNE. We find that the various witnesses show sensitivity to the mass-hierarchy problem and CP violation in neutrino physics.

For a general and physically reliable study of the neutrino oscillation phenomena, one should look in terms of the wave packet approach, i.e. localization effects of production and detection processes should be considered. However, the plane wave approximation also holds good since the oscillation probability obtained with the wave-packet treatment is found to be in consonance with the plane-wave oscillation probability averaged over the Gaussian L / E distribution [32]. Here L and E represent the distance travelled by the neutrino and its energy.

The paper is organized as follows: In Sect. 2, we give a brief description of the dynamics of the neutrino oscillation in three flavour case in vacuum and constant matter density. Section 3 is devoted to a brief description of various quantum correlations studied in this work. Section 4 gives the results and their discussion. We finally summarize our work in Sect. 5.

2 Neutrino dynamics in vacuum and constant matter density

In this section, we briefly describe the neutrino oscillations in vacuum and in constant matter density. To this aim, consider an arbitrary neutrino state \(|\varPsi (t)\rangle \) at time t, which can be represented either in the flavour basis \(\{ |\nu _e\rangle , |\nu _\mu \rangle ,|\nu _\tau \rangle \}\) or in the mass-basis \(\{ |\nu _1\rangle , |\nu _2\rangle ,|\nu _3\rangle \}\) as:

$$\begin{aligned} |\varPsi (t)\rangle = \sum _{\alpha = e, \mu , \tau } \nu _{\alpha }(t) |\nu _{\alpha }\rangle = \sum _{i = 1,2,3} \nu _{i}(t) |\nu _{i}\rangle . \end{aligned}$$
(1)

The coefficients in the two representations are connected by a unitary matrix [17, 18]

$$\begin{aligned} \nu _\alpha (t) = \sum _{i=1,2,3} U_{\alpha i} \nu _{i}(t). \end{aligned}$$
(2)

A convenient parametrization for U in terms of mixing angles \(\theta _{ij}\) and CP violating phase \(\delta \) is given in Eq. (3).

$$\begin{aligned}&U(\theta _{12},\theta _{13},\theta _{23},\delta )\nonumber \\&\quad = \begin{pmatrix} c_{12} c_{13} &{} s_{12} c_{13} &{} s_{23} e^{-i \delta } \\ - s_{12}c_{23} - c_{12} s_{23}s_{13} e^{i\delta } &{} c_{12}c_{23}-s_{12}s_{23}s_{13} e^{i\delta } &{} s_{23}c_{13} \\ s_{13}s_{23} - c_{12}c_{23}s_{13} e^{i\delta } &{} -c_{12}s_{23}-s_{12}c_{23}s_{13} e^{i\delta } &{} c_{23}c_{13}\end{pmatrix},\nonumber \\ \end{aligned}$$
(3)

where \(c_{ij} = \cos \theta _{ij}\), \(s_{ij} = \sin \theta _{ij}\) and \(\delta \) is the CP violating phase.

The time evolution of massive states is given by \(\nu _i(t) = e^{-iE_i t} ~\nu _i (0)\), which, along-with Eq. (2), gives

$$\begin{aligned} {\nu }_\alpha (t) = U_{f} ~\nu _\alpha (0). \end{aligned}$$
(4)

Here, \(U_f\) is the flavour evolution matrix, taking a flavour state from time \(t=0\) to some later time t. In matrix form

$$\begin{aligned} \begin{pmatrix} \nu _e(t) \\ \nu _\mu (t) \\ \nu _\tau (t) \end{pmatrix}= \begin{pmatrix} a(t) &{} d(t) &{} g(t) \\ b(t) &{} e(t) &{} h(t) \\ c(t) &{} f(t) &{} k(t)\end{pmatrix} \begin{pmatrix} \nu _e(0) \\ \nu _\mu (0) \\ \nu _\tau (0) \end{pmatrix}. \end{aligned}$$
(5)

If the state at time \(t = 0\) is \(|\nu _e\rangle \), then \(\nu _\alpha (0) = \delta _{\alpha e}\) (\(\alpha =e,\mu ,\tau \)). Therefore after time t, we have \(\nu _e (t) = a(t)\), \(\nu _{\mu }(t) = b(t)\) and \(\nu _{\tau }(t) = c(t)\). Hence, the wave function can be written as

$$\begin{aligned} |\varPsi _e (t)\rangle = a(t) |\nu _e\rangle + b(t) |\nu _{\mu }\rangle + c(t) |\nu _{\tau }\rangle . \end{aligned}$$
(6)

The survival probability is then given by \(| \langle \nu _e | \varPsi _e (t) \rangle |^2 =|a(t)|^2\). Similarly, \(|b(t)|^2\) and \(|c(t)|^2\) are the transition probabilities to \(\mu \) and \(\tau \) flavour, respectively. The survival and transition probabilities are functions of energy difference \(\varDelta E_{ij} = E_i - E_j\) (\(j,k = 1,2,3\)). Also, in the ultra-relativistic limit, following standard approximations are adopted:

$$\begin{aligned} \varDelta E_{ij} \approxeq \frac{\varDelta m^2_{ij}}{2 E}; \quad E \equiv |\mathbf {P}|; \quad t \equiv L. \end{aligned}$$
(7)

These approximations are quite reasonable in the context of the experiments considered here, since the neutrinos are ultra relativistic with neutrino-masses of the order of a few electron-volts (eV) and the energy higher than \(10^6 ~\mathrm{eV}\), as discussed in Sect. 2 under neutrino experiments.

Occupation number representation Given the above formalism, one can introduce the occupation number associated with a given flavour or mass mode [14, 18, 33]

$$\begin{aligned}&\left. \begin{array}{r@{\;}l} |\nu _e\rangle \equiv |1\rangle _e |0\rangle _\mu |0\rangle _\tau \\ \\ |\nu _\mu \rangle \equiv |0\rangle _e |1\rangle _\mu |0\rangle _\tau \\ \\ |\nu _\tau \rangle \equiv |0\rangle _e |0\rangle _\mu |1\rangle _\tau \end{array}\right\} \mathrm{flavour ~~modes }\end{aligned}$$
(8)
$$\begin{aligned}&\left. \begin{array}{r@{\;}l} |\nu _1\rangle \equiv |1\rangle _1 |0\rangle _2 |0\rangle _3 \\ \\ |\nu _2\rangle \equiv |0\rangle _1 |1\rangle _2 |0\rangle _3\\ \\ |\nu _3\rangle \equiv |0\rangle _1 |0\rangle _2 |1\rangle _3 \end{array}\right\} \mathrm{massive ~~modes} \end{aligned}$$
(9)

Here, \(|n\rangle _\alpha \) represents the nth occupation number state of a neutrino in mode \(\alpha \).

$$\begin{aligned} |\varPsi _e (t)\rangle = a(t) |100\rangle + b(t) |010\rangle + c(t) |001\rangle . \end{aligned}$$
(10)

Thus the time evolved flavour state (Eq. 6) can be viewed as an entangled superposition of flavour modes (Eq. 10) with the time dependent coefficients given by Eq. (5). Care should be taken in dealing with the above defined Fock representations in the flavour and mass basis as they are unitarily inequivalent in the quantum field theoretic description of neutrino oscillations [34]. Specifically, the unitary equivalence of the flavour and the mass state given in Eq. (2), is not valid under the infinite volume approximation as the flavour and mass eigenstates become orthogonal and the vacuum for definite flavour neutrinos can not be identified with the vacuum state for definite mass neutrinos. However, in this work, we stick to ultra relativist approximation, Eq. (7), under which the unitary equivalence holds and talk about the various nonclassical witnesses viz., entanglement existing among different flavour modes in a single particle setting. It would be interesting to investigate the behavior of these witnesses by incorporating the various non trivial effects arising from quantum field theoretic treatment of neutrino oscillation viz, vacuum condensation.

Matter effect The matter density has significant effect on the neutrino energy spectrum. The effects of earth’s matter density on neutrino oscillations has been studied using various models for matter densities [35,36,37,38,39,40,41]. To incorporate the matter effect, we are going to use the formalism developed in [42, 43]. In vacuum, the Hamiltonian \(H_m\) is given by \(H_m = diag[E_1, E_2, E_3]\), where \(E_a = \sqrt{m^{2}_{a} + p^2}\), \(a=1, 2, 3\) are the energies of the neutrino mass eigenstates \(|\nu _a\rangle \), with masses \(m_a\) and momentum p. When neutrinos propagate through ordinary matter, the Hamiltonian picks up an additional term as a consequence of the weak interaction with the electrons in the matter. This additional potential term is diagonal in the flavour basis and is given by \(V_f= diag[A, 0, 0]\), where \(A = \pm \sqrt{2} G_f N_e\) is the matter density parameter and \(G_f\) and \(N_e\) are the Fermi coupling constant and electron number density, respectively. The sign of the matter density parameter is positive for neutrinos and negative for antineutrinos. We assume that the electron density \(N_e\) is constant throughout the matter in which the neutrinos are propagating. In the mass basis, the additional potential term becomes \(V_m = U^{-1} V_f U\), where U is given in Eq. (3). Thus the Hamiltonian in mass basis is given by \(\mathscr {H}_m = H_m + U^{-1} V_f U\). After some algebra, one finally obtains the matter counterpart of the flavour evolution matrix defined in Eq. (4):

$$\begin{aligned} U_{f}(L) = \phi \sum _{n=1}^{3} e^{-i \lambda _{n} L} \frac{1}{3\lambda _{n}^{2} + c_1} \left[ (\lambda _{n}^{2} + c_{1}) \mathbf {I} + \lambda _n \tilde{\mathbf {T}} + \tilde{\mathbf {T}}^2 \right] . \end{aligned}$$
(11)

Here \(\phi \equiv e^{i L tr H_m/3}\), \(\lambda _n ~(n=1, 2, 3)\) are the eigenvalues of \(\mathbf {T}\) matrix defined further in Eq. (12), \(\tilde{\mathbf {T}} = U \mathbf {T} U^{-1}\) and \(c_1\) = \(det\mathbf {T} \times Tr\mathbf {T}^{-1}\). For a multilayer model potential with density parameters \(A_1, A_2, A_3\dots A_m\), and lengths \(L_1, L_2, L_3\dots L_m\), the net flavour evolution operator will be the product of the operators corresponding to the each density, that is, \(U_f|_{Net} = U_f(L_1).U_f(L_2).U_f(L_3)\dots U_f(L_m)\).

$$\begin{aligned} \mathbf {T} =\begin{pmatrix} A U_{e1}^{2} - \frac{1}{3} A + \frac{1}{3} ( E_{12} + E_{13} ) &{} A U_{e1} U_{e2} &{} A U_{e1} U_{e3} \\ A U_{e1} U_{e2} &{} A U_{e2}^{2} - \frac{1}{3} A + \frac{1}{3} ( E_{21} + E_{23} ) &{} A U_{e2} U_{e3} \\ A U_{e1} U_{e3} &{} A U_{e2} U_{e3} &{} A U_{e3}^{2} - \frac{1}{3} A + \frac{1}{3}(E_{31} + E_{32}) \end{pmatrix}. \end{aligned}$$
(12)

Neutrino experiments

  • T2K (Tokai-to-Kamioka) is an off-axis experiment [44, 45] using a \(\nu _{\mu }\) – neutrino beam originating at J-PARC (Japan Proton Accelerator Complex) with energy-range of approximately 100 MeV to 1 GeV and the baseline of 295 km.

  • \(\hbox {NO}\nu \hbox {A}\) (NuMI Off-Axis \(\nu _e\) Appearance), the long baseline experiment, uses neutrinos from NuMI (Neutrinos at the Main Injector) beamline at Fermilab optimized to observe \(\nu _\mu \rightarrow \nu _e\) oscillations. This experiment uses two detectors, both located at 14 mrad off the axis of the NuMI beamline, the near and far detectors are located at 1 km and 810 km from the source, respectively. The flavour composition of the beam is \(92.9\%\) of \(\nu _\mu \) and \(5.8\%\) of \(\bar{\nu }_\mu \) and \(1.3\%\) of \(\nu _e\) and \(\bar{\nu }_e\); the energy of the neutrino beam varies from 1.5 GeV to 4 GeV. The spectrum for NuMI beamline for various off-axis locations is given in [46,47,48].

  • DUNE is an experimental facility which uses NuMI neutrino beam with energy range of 1–10 GeV from Fermilab and has a long baseline of 1300 km. This enables L/E, of about \(10^3\) km/GeV, to reach good sensitivity for CP measurement and determination of mass hierarchy [49].

The matter density in all these experiments is approximately \(2.8\, gm/cc\), which corresponds to the density parameter \(A \approx 1.01 \times 10^{-13}\, eV\).

In the next section we analyze the behavior of various quantum correlations in the context of the experiments described above.

3 Measures of quantum correlations

The general form of Eq. (6), for initial state \(|\nu _\alpha \rangle \), can be written as:

$$\begin{aligned} |\varPsi _{\alpha } (t)\rangle = \xi _1(t) |\nu _e\rangle + \xi _2(t) |\nu _{\mu }\rangle + \xi _3(t) |\nu _{\tau }\rangle . \end{aligned}$$
(13)

with

$$\begin{aligned} {\left\{ \begin{array}{ll} \xi _1(t) = a(t), ~\xi _2(t) = b(t), ~\xi _3(t) = c(t) ,&{} \text {if } \alpha = e\\ \xi _1(t) = d(t), ~\xi _2(t) = e(t), ~\xi _3(t) = f(t) ,&{} \text {if } \alpha = \mu \\ \xi _1(t) = g(t), ~\xi _2(t) = h(t), ~\xi _3(t) = k(t) ,&{} \text {if } \alpha =\tau \end{array}\right. }\nonumber \\ \end{aligned}$$
(14)

where a(t),  b(t),  c(t)  .  .  . k(t) are the elements of \(U_f\) matrix defined in Eq. (4) for vacuum. In matter, the corresponding elements of the flavour evolution of matrix (11), are used. Equivalently, Eq. (13) can be written in the occupation number representation as:

$$\begin{aligned} |\varPsi _{\alpha } (t)\rangle = \xi _1(t) |100\rangle + \xi _2(t) |010\rangle + \xi _3(t) |001\rangle . \end{aligned}$$
(15)

With this general setting, we now discuss various facets of quantum correlation.

Fig. 1
figure 1

DUNE. The maximum of various quantum correlations such as Flavour entropy (first row), Geometric entanglement (second row), Mermin parameters (\(M_1, M_2\)) (third row) and Svetlichny parameter (\(\sigma \)) (fourth row) depicted with respect to the CP violating phase \(\delta \) for DUNE experiment. The left and right panels pertain to the neutrino and antineutrino case, respectively. Solid (blue) and dashed (red) curves correspond to the positive and negative signs of \(\varDelta _{31}\), respectively. The mixing angles and the squared mass differences used are \(\theta _{12} = 33.48^\circ \), \(\theta _{23} = 42.3^\circ \), \(\theta _{13} = 8.5^\circ \), \(\varDelta _{21} = 7.5\times 10^{-5} eV^2\), \(\varDelta _{32} \approx \varDelta _{31} = 2.457 \times 10^{-3} eV^2\). The energy range used is \(E: 1-10\,GeV\) and the baseline used is 1300 km. The neutrinos pass through a matter density of \(2.8\,gm/cc\)

  1. 1.

    Flavour entropy For the pure states (15), the standard measure of entanglement is given as [18]

    $$\begin{aligned} \mathscr {S}(|\xi _{i}|^2) =&-\sum _{i=1}^{3} |\xi _i |^2 \log _2(|\xi _i|^2) \nonumber \\&-\sum _{i=1}^{3} (1-|\xi _i |^2) \log _2(1-|\xi _i|^2). \end{aligned}$$
    (16)

    This measure serves as a tool to probe the nonclassicality of the system. In the context of neutrino oscillation, the flavour entropy parameter \(\mathscr {S} = 0\) for an initially prepared neutrino state \(\nu _\alpha \) (\(\alpha =e, \mu ,\tau \)), and reaches its upper bound \(\mathscr {S}=1\) for the maximally nonclassical state in the W class \(\frac{1}{\sqrt{3}} (|100\rangle + |010\rangle + |001\rangle )\) [50].

  2. 2.

    Tripartite geometric entanglement Tripartite geometric entanglement G for the pure states, given in Eq. (15), is defined as the cube of the geometric mean of Shannon entropy over every bipartite section.

    $$\begin{aligned} G = H(\xi _1(t)^2)H(\xi _2(t)^2)H(\xi _3(t)^2), \end{aligned}$$
    (17)

    where \( H(p)\equiv - p ~log_2(p)-(1-p)~log_2(1-p)\) is the bipartite entropy. This is a weaker condition than genuine tripartite nonlocality discussed below. The genuine tripartite entanglement does not exist if \(G=0\).

  3. 3.

    Absolute and genuine tripartite nonlocality (Mermin and Svetlichny inequalities) The violation of a Bell type inequality (viz., CHSH) for a two qubit state is said to imply nonlocality. A generalization to three party system is not straightforward. Mermin inequality is based on the assumptions that all the three qubits are locally and realistically correlated; hence a violation would be a signature of the tripartite nonlocality shared among the qubits. It was shown in [51, 52] that the biseparable states also violate the Mermin inequality. This motivated Svetlichny to formulate a hybrid nonlocal-local realism based inequality, the Svetlichny inequality. A three qubit system may be nonlocal if nonclassical correlations exist between two of the three qubits. Such a state would be absolute nonlocal and will violate Mermin inequality [53] for a particular set of detector setting (A,B,C) and (\(A^\prime \),\(B^\prime \),\(C^\prime \)). The two Mermin inequalities are:

    $$\begin{aligned} \begin{aligned} M_1 \equiv \left\langle ABC'+ AB'C + A'BC - A'B'C'\right\rangle \le 2,&\\ M_2 \equiv \left\langle ABC - A'B'C - A'BC' - AB'C'\right\rangle \le 2. \end{aligned} \end{aligned}$$
    (18)

    However, a violation of Mermin inequality does not necessarily imply genuine tripartite nonlocality. A state violating a Mermin inequality may fail to violate a Svetlichny inequality, which provides a sufficient condition for genuine tripartite nonlocality [54] and is given by

    $$\begin{aligned} \sigma \equiv M_1 + M_2 \le 4. \end{aligned}$$
    (19)
Fig. 2
figure 2

\(\hbox {NO}\nu \hbox {A}\): quantum correlations such as Flavour entropy (first), Geometric entanglement (second), Mermin parameter (\(M_1, M_2\)) (third) and Sevtlichny parameter (\(\sigma \)) (fourth) parameters, plotted with respect to the CP violating phase \(\delta \) for \(\hbox {NO}\nu \hbox {A}\) experiment for the case of neutrinos. The energy is varied between \(1.5-4\,GeV\) and the baseline is chosen as 810 km. The various mixing angles and squared mass differences used are the same as for Fig. 1

Fig. 3
figure 3

T2K: showing Flavour entropy (first), Geometric entanglement (second), Mermin parameter (\(M_1, M_2\)) (third) and Sevtlichny parameter \((\sigma )\) (fourth) parameters, as function of the CP violating phase \(\delta \). The energy is taken between \(0.1 - 1\, GeV\) and the baseline is 295 km

4 Results and discussion

For DUNE experiment, Fig. 1 depicts the variation of the maximum of various quantum witnesses like flavour entropy, geometric entanglement, Mermin parameters (\(M_1\), \(M_2\)) and Svetlichny parameter (\(\sigma \)) with respect to the CP violating phase \(\delta \), for the case of neutrino and antineutrino, respectively. It can be seen that all the witnesses show different characteristics for the positive and negative signs of large mass square difference \(\varDelta _{31}\). Figures 2 and 3 depict the same for ongoing \(\hbox {NO}\nu \hbox {A}\) and T2K experiments, for neutrino beam. The corresponding antineutrino plots show similar features, such as inversion of mass-hierarchy, as in the DUNE plots and hence are not depicted here.

A general feature observed in these results is that the different measures of nonclassicality are sensitive to the sign of \(\varDelta _{31}\). The distinction being more prominent in DUNE experiment compared to the \(\hbox {NO}\nu \hbox {A}\) and T2K experiments. This can be attributed to the high energy and long baseline of the DUNE experiment.

The quantum correlation measures studied in this work can attain their upper bounds for some specific values of L / E [18]. In the present study, however, by taking into account the matter effects and CP violation, we are restricting L / E within the experimentally allowed range; consequently the various nonclassical measures do not reach their maximum allowed values. Mermin inequalities are violated for all values of \(\delta \) which means that if one of the three parties is traced out, still there will be residual nonlocality in the system. Violation of the Svetlichny inequality reflects the nonlocal correlation between every subsystem of the tripartite system. To achieve significant violation of correlation measures one should use neutrino-beam if the sign of \(\varDelta _{31}\) is positive (normal mass hierarchy), while antineutrino-beam should be used in case of negative sign of \(\varDelta _{31}\) (inverted mass hierarchy).

From the definitions of flavour entropy (Eq. 16) and geometric entanglement (Eq. 17), it is clear that these are measurable quantities since these are written in terms of survival and oscillation probabilities making them suitable for experimental verification. Expressing the Mermin and Svetlichny parameters in terms of measurable quantities is nontrivial here. However, guided by the previous work [17], the measures of quantum correlations viz. Bell-CHSH inequality, teleportation fidelity and geometric discord have been expressed in terms of survival and transition probabilities for two flavour neutrino-system. It could be envisaged that such an exercise, though complicated, could be carried out for the three flavour case.

5 Conclusion

Different facets of nonclassicality have been investigated for the neutrino system by considering the three flavour scenario of neutrino oscillation. The matter effects are included in order to carry out the analysis in the context of the ongoing neutrino experiment \(\hbox {NO}\nu \hbox {A}\) and T2K and also for the future experiment DUNE. The analysis is carried out by considering both neutrino and antineutrino beams for the experiments. The quantum correlations show sensitivity to the neutrino mass hierarchy, i.e. the sign of \(\varDelta _{31}\). It is a general feature displayed by all the correlations that the sensitivity to the mass hierarchy becomes more prominent for the high energy and long baseline experiment like DUNE compared to \(\hbox {NO}\nu \hbox {A}\) and T2K experiments. The results also suggest that in order to probe the various measures of nonclassicality in neutrino sector, one must use neutrino beam for the positive sign of \(\varDelta _{31}\) and an antineutrino beam otherwise.