1 Introduction

Coherence and quantum correlations play a central role in quantum information, quantum computation and cryptography [1], and recently the extension to particle physics of these topics has attracted much attention in view of potential applications in the above-cited fields. Different definitions and quantifications of coherence and of quantum correlations have been introduced, and it seems that they can find a natural and clear placing inside the complete complementarity relations (CCR) approach [2,3,4].

During the years, many studies have been carried on quantum correlation in neutrino systems [5,6,7,8,9,10,11,12,13,14,15,16], but only recently the attention has been placed on the study of uncertainty relation in neutrino oscillations [17, 18].

The uncertainty principle is one of the cardinal point of quantum mechanics. It provides a limit to our ability to accurately predict the measurement outcomes for a pair of incompatible observables of a quantum system. The principle was expressed for the first time by Heinsenberg, in 1927, for position and momentum [19] and was formulated by Kennard [20] in terms of variances. Afterward, it was generalized to any pair of incompatible observables and with the advent of Shannon information theory, the uncertainty relations have been expressed in terms of entropy. The first to wonder whether the uncertainty principle could be expressed in terms of entropy was Everett [21], who found Hirschman’s support [22] and over the years many studies have addressed this topic [23,24,25,26,27].

Recently, advances have been made that allow a generalization of such studies to the case in which the parts of the considered system can be correlated in a non-classical way [28, 29]. In fact, the correlation between subsystems can be used to reduce the uncertainty below the usual limits, and the entropic uncertainty relations has been generalized to the case of quantum memory—quantum-memory-assisted entropic uncertainty relations (QMA-EUR).

In this paper, we consider the QMA-EUR in the physical context of neutrino oscillations. Moreover, to investigate what happens when correlations between systems are present, we consider the non-local advantage of quantum coherence (NAQC) [30], which has been proved to be the strongest one inside the whole hierarchy of quantum correlations, overtaking even the Bell non-locality. NAQC occurs in a bipartite system when the average coherence of the conditional state of a subsystem B, after a local measurements on A, exceeds the coherence limit of the single subsystem. Several definitions of NAQC have been formulated, which differ in the coherence measures adopted.

In this work, we analyze the relation between NAQC and uncertainty, using the relative entropy as coherence measure. Then, we note that the three criteria \(N_{\alpha }(\rho _{AB})>C_{\alpha }\) corresponding to \(\alpha =l_{1},re,sk\) (respectively, \(l_{1}\)-norm, relative entropy and skew information) may identify different regions of NAQC correlation, so NAQC is not only related to the form of the quantum state, but also to the choice of coherence measures. The question is whether there exists a hierarchy between these three different NAQC definitions in the case of neutrino oscillations, and assuming the value of the physical parameters of three different experiments, we provide a positive answer.

At last, we want to remark that uncertainty is directly related to observational aspects and in particular to variances. Therefore, the connection with NAQC, highlighted in Ref. [17] and in this paper, could on the one hand clarify the physical meaning of the results obtained about in neutrino oscillations [4, 14, 16]; on the other hand, relying on the approach of [31, 32] helps to extend this result to quantum field theory in terms of variances of Hermitian operators (flavor changes), analogously to what done in Ref. [33]. The plan of the paper is as follows: in Sect. 2, we recall the notions of QMA-EUR and of NAQC and find their expression in terms of neutrino oscillation probabilities. We also investigate the relation between the NAQC and uncertainty using a wave packet approach, finding that the uncertainty is anti-correlated with the NAQC. In Sect. 3, we further analyze the NAQC in neutrino oscillations. It comes out that in this context a hierarchy between the three different NAQC is present. Section 4 is devoted to conclusions and outlook.

2 QMA-EUR and NAQC

Let us suppose Bob prepares a bipartite system \(\rho _{AB}\), where the two parts A and B are correlated. Then, he sends part A to Alice and keeps part B as a quantum memory. After receiving A, Alice operates on it deciding to measure one of the observables P and R and tells to Bob her choice. Based on Alice’s measurement choice, Bob is able to guess her outcomes with minimal deviation limited by the uncertainty’s lower bound by means of the part B which is correlated with A.

The quantum memory can reduce the uncertainty, and the usual EUR, \(H(P)+H(R)\ge -\log _{2}c\), expressed in terms of Shannon entropy [29], is modified, in terms of von-Neumann entropy, as:

$$\begin{aligned} S(P|B)+S(R|B)\ge -\log _{2} c(P|R)+S(A|B). \end{aligned}$$
(1)

The quantities in Eq. (1) are the following:

  • \(S(A|B)=S(\rho _{AB})-S(\rho _{B})\) is the conditional von Neumann entropy of systemic state \(\rho _{AB}\) with \(S(\rho _{AB})=-tr(\rho _{AB}\log _{2}\rho _{AB})\), \(\rho _{B}=tr_{A}(\rho _{AB})\)

  • \(S(X|B)=S(\rho _{XB})-S(\rho _{B})\) is the conditional von Neumann entropy of \(\rho _{XB}=\sum _{i}(|\psi _{i}^{X}\rangle _{A}\langle \psi _{i}^{X}|\mathcal {I}_{B})\rho _{AB}(|\psi _{i}^{X}\rangle _{A}\langle \psi _{i}^{X}|\mathcal {I}_{B})\) (that is the state of B after performing a measurement on A of the observable X with eigenstates \(|\psi _{i}^{X}\rangle\)),

  • \(c(P|R)=\max _{j,k}|\langle \psi _{j}^{P}|\phi _{k}^{R}\rangle |^{2}\) represents the maximal overlap between the eigenstates \(|\psi _{j}^{P}\rangle\) and \(|\phi _{k}^{R}\rangle\) of the observables P and R.

Since the correlations reduce uncertainty and the NAQC represents the strongest quantifier of quantum correlations, we verify its role within QMA-EUR. Several definitions of NAQC have been provided, based on different coherence measures. Given a state \(\rho\) in the reference basis \(\{| i\rangle \}\), a measure of coherence takes the form:

$$\begin{aligned} C_{D}(\rho )=\min _{\delta \in I}D(\rho ,\delta ), \end{aligned}$$
(2)

that is the minimum distance between \(\rho\) and the set of incoherent states I. \(D(\rho ,\delta )\) is a distance measure between two quantum states. For example, one can consider \(D(\rho ,\delta )=||\rho -\delta ||_{l_{1}}\), with \(||.||_{l_{1}}\) is the \(l_{1}\)-norm or \(D(\rho ,\delta )=S(\rho ||\delta )\), the quantum relative entropy. By minimizing over the set of incoherent states, one can obtain two bona fide measures of coherence [34] as:

$$\begin{aligned} C_{l_{1}}(\rho )=\sum _{i\ne j}|\langle i |\rho | j\rangle |,\quad C_{re}(\rho )=S(\rho _{diag})-S(\rho ), \end{aligned}$$
(3)

where \(S(\rho )\) is the von Neumann entropy of \(\rho\) and \(\rho _{diag}\) is the matrix of the diagonal elements of \(\rho\).

Another possible coherence measure we can consider is the skew information [35]:

$$\begin{aligned} C_{sk}(\rho )=-\frac{1}{2}Tr\{[\sqrt{\rho },K]^{2}\} , \end{aligned}$$
(4)

where K is an Hermitian operator in a Hilbert space of dimension N.

Mondal et al. [30] defined the NAQC of a bipartite state \(\rho _{AB}\) considering the average coherence of the post-measurement state \(\{ p_{B|\Pi _{i}^{a}},\rho _{B|\Pi _{i}^{a}}\}\) of B after a local measurement \(\Pi _{i}^{a}\) on A:

$$\begin{aligned} N_{\alpha }(\rho _{AB})=\frac{1}{2}\sum _{i\ne j, a =\pm } p_{B|\Pi _{i}^{a}}C_{\alpha }^{\sigma _{j}}(\rho _{B|\Pi _{i}^{a}}), \end{aligned}$$
(5)

where \(\Pi _{i}^{\pm }=\frac{I\pm \sigma _{i}}{2}\), with I and \(\sigma _{i},(i=1,2,3)\) being the identity and the three Pauli operators; \(p_{B|\Pi _{i}^{a}}=\mathrm{Tr}(\Pi _{i}^{a} \rho _{AB})\), \(\rho _{B|\Pi _{i}^{a}}=\mathrm{Tr}_{A}(\Pi _{i}^{a} \rho _{AB})/ p_{B|\Pi _{i}^{a}}\). \(C_{\alpha }^{\sigma _{j}}(\rho _{B|\Pi _{i}^{a}})\) is the coherence of the conditional state of B with respect to the eigenbasis of \(\sigma _{j}\), with \(\alpha =l_{1},re,sk\). For a one-qubit state \(\rho\), the sum of \(C_{\alpha }(\rho )\) with respect to the three mutually unbiased bases is upper-bounded, respectively, by \(C_{l_{1}}=\sqrt{6}\), \(C_{re}=2.23\) and \(C_{sk}=2\). If \(N_{\alpha }(\rho _{AB})> C_{\alpha }\), \(\rho _{AB}\) is said to have acquired NAQC.

2.1 QMA-EUR and NAQC in neutrino oscillations

At time t, the state for a two-flavor neutrino of initial flavor \(\alpha\) is:

$$\begin{aligned} \rho _{AB}^{\alpha }(t) = | a_{\alpha \alpha }(t)|^{2}|10\rangle \langle 10| \ + \ a_{\alpha \beta }(t)a_{\alpha \alpha }^{*}(t)|01\rangle \langle 10| \ + \ |\, a_{\alpha \beta }(t)|^{2}|01\rangle \langle 01| \ + \ \, a_{\alpha \alpha }(t)a_{\alpha \beta }^{*}(t)|10\rangle \langle 01| \end{aligned}$$
(6)

where \(\alpha ,\beta =e,\mu ,\tau\). We choose as incompatible observables \((P,R)=(\sigma _{x},\sigma _{y})\). In this case, the maximal overlap is \(c(P,R)=\frac{1}{2}\). Starting by Eq. (6) (see Appendix 1), we find that entropic uncertainty \(U^{\alpha }\) and the uncertainty’s lower bound \(U_{b}^{\alpha }\) are the LHS and the RHS of Eq. (1), respectively. They can be expressed in terms of oscillation probabilitiesFootnote 1 as:

$$\begin{aligned} U^{\alpha }(t)= & {} S(\rho _{PB}^{\alpha }(t))+S(\rho _{RB}^{\alpha }(t))-2S(\rho _{B}^{\alpha }(t)) =2(P_{\alpha \alpha }(t)\log _{2}P_{\alpha \alpha }(t)+P_{\alpha \beta }(t)\log _{2}P_{\alpha \beta }(t)+1) \end{aligned}$$
(7)
$$\begin{aligned} U^{\alpha }_{b}(t)= & {} S(\rho _{AB}^{\alpha }(t))-S(\rho _{B}^{\alpha }(t))-\log _{2}c(P,R) =P_{\alpha \alpha }(t)\log _{2}P_{\alpha \alpha }(t)+P_{\alpha \alpha }(t)\log _{2}P_{\alpha \beta }(t)+1 \end{aligned}$$
(8)

Since the QMA-EUR is expressed in terms of von Neumann entropy, we consider the entropy-based NAQC to investigate the relation between these quantities. The expression of the entropy-based NAQC in terms of oscillation probabilities is:

$$\begin{aligned} N(\rho _{AB}^{\alpha })(t)=2-P_{\alpha \alpha }(t)\log _{2}P_{\alpha \alpha }(t)-P_{\alpha \beta }(t)\log _{2}P_{\alpha \beta }(t) \end{aligned}$$
(9)

By these equations, it is simple to obtain the result:

$$\begin{aligned} U^{\alpha }(t)=2U_{b}^{\alpha }(t)=2[3-N(\rho _{AB}^{\alpha }(t))]. \end{aligned}$$
(10)

Equation (10) shows how a stronger quantum correlation will lead to a reduced uncertainty.

In Fig. 1, the entropic uncertainty, the uncertainty’s lower bound and the entropy-based NAQC are plotted using the experimental parameters from the Daya Bay [36, 37], KamLAND [38, 39] and MINOS [40, 41] experiments. These experiments studied neutrino oscillations with the aim of producing precision measurements of the neutrino mixing angle and of the neutrino squared mass difference. Daya-Bay and KamLAND are electron-antineutrino disappearance experiments, and their oscillation parameters are \(\sin ^{2} 2\theta _{13} = 0.084\) and \(\Delta m_{ee}^{2}=2.42\times 10^{-3} eV^{2}\) for Daya-Bay and \(\tan ^{2} 2 \theta _{12}=0.47\) and \(\Delta m_{12}^{2}=7.49\times 10^{-5}eV^{2}\) for KamLAND. MINOS is a muonic neutrino disappearance experiment, and its oscillation parameters are \(\sin ^{2} 2\theta _{23} = 0.95\) and \(\Delta m_{32}^{2}=2.32\times 10^{-3} eV^{2}\). We used these parameters by replacing them in the oscillation probability formula, Eq. (30), in terms of which the NAQCs and the QMA-EUR are expressed.

Fig. 1
figure 1

QMA-EUR (on the left panel) and NAQC (on the right panel) as a function of the distance for: a Daya Bay, b KamLAND, c MINOS. The experimental parameters used are \(\sin ^{2} 2\theta _{13} = 0.084\) and \(\Delta m_{ee}^{2}=2.42\times 10^{-3} eV^{2}\) for Daya Bay, \(\tan ^{2} 2 \theta _{12}=0.47\) and \(\Delta m_{12}^{2}=7.49\times 10^{-5}eV^{2}\) for KamLAND and \(\sin ^{2} 2\theta _{23} = 0.95\) and \(\Delta m_{32}^{2}=2.32\times 10^{-3} eV^{2}\) for MINOS

The wave packet approach confirms the results by Wang et al. [17], obtained by means a plane-wave approximation, according to which the uncertainty is completely anti-correlated with the quantum correlations: the stronger the quantum correlation, the smaller the uncertainty. In particular, we have shown in [14] that in the wave packet approach the asymptotic trend of the NAQC depends on the mixing angle, with NAQC attaining its maximum value at great distances if the value of the mixing angle overcomes a thresholdFootnote 2. This happens in KamLAND and MINOS experiments, and consequently we see from Fig. 1 that the entropy uncertainty and its lower bound go to zero.

3 Hierarchy among \(\alpha\)-based NAQCs in neutrino oscillations

In this section, we further analyze the NAQC in neutrino oscillations showing some interesting results, which arise from the comparison among the NAQCs based on the three different coherence measures mentioned in Sect. 2.

The expression of the entropy-based NAQC in terms of oscillation probabilities is given by Eq. (9), and analogously, following Ref. [30], we determine the expressions of the \(l_{1}\)-norm-based NAQC and of the skew information-based NAQC:

$$\begin{aligned} N^{l_{1}}(\rho _{AB}^{\alpha }(t))=2+2\sqrt{P_{\alpha \alpha }(t)P_{\alpha \beta }(t)}, \end{aligned}$$
(11)

and

$$\begin{aligned} N^{sk}(\rho _{AB}^{\alpha }(t))=2+4P_{\alpha \alpha }(t)P_{\alpha \beta }(t). \end{aligned}$$
(12)

In Fig. 2, we compare the plots of the NAQC obtained using the three different coherence measures and referring to MINOS, Daya Bay and KamLAND experiments.

Fig. 2
figure 2

Comparison among the \(\alpha\)-based NAQCs, \((\alpha =l_{1},re,sk)\) for Daya Bay, KamLAND and MINOS experiments

From Fig. 2, we can observe how in the case of neutrino oscillations the \(l_{1}\)-norm-based NAQC is able to capture more quantum resource with respect to the others. Furthermore, it represents an upper limit for the other two measures. These observations confirm our previous results about the large distances behavior of NAQC [14] for all three cases. In Fig. 2, we also observe a different trend of the plots relating to the KamLAND experiment compared to the other two. In fact, it can be seen from Fig. 2b that there is a non-monotonous growth of the minima of the NAQC. In particular, notice how the second minimum is lower than the first. Indeed, in [16] we found, in addition to the thresholds determining different asymptotic trends of the NAQCs, a further effect of varying the value of this angle. In an intermediate range of values of this angle, in fact, the monotonicity of NAQC is lost, and this is just the case of KamLAND experiment. Furthermore, we evaluated the mixing angle for which the minimum of the entropy-based NAQC coincides with the bound value 2.23, see Fig. 3. This minimum is positioned at L equal to \(\pi\) times the oscillation length, and the value of the mixing angle corresponding to it turns out to be \(20^{\circ }\).

Fig. 3
figure 3

Entropy-based NAQC as a function of the distance for a mixing angle of \(20^{\circ }\). The solid and the dashed lines represent the plot for the wave packet and plane wave approaches, respectively

Figure 3 also shows a difference between the plots obtained with the plane wave and the wave packet approaches. In fact, by using plane waves we can reach a NAQC for certain regular range of distances. This does not happen in the case of wave packets, where above a certain distance we can always reach a NAQC.

4 Conclusions

The convergence between topics of quantum information and the physics of elementary particles, in particular of neutrino oscillations has led in this last field to the development of a wide and systematic study of different definitions and quantifiers of coherence and quantum correlations. In this paper, using a wave-packet approach,Footnote 3 we considered the quantum-memory-assisted entropic uncertainty relation in the physical context of neutrino oscillations, investigating the relation between the non-local advantage of quantum coherence and uncertainty. We found that the uncertainty is anti-correlated with the NAQC, a result in accordance with what obtained by Wang et al. [17], in the plane-wave approximation. However, the richer structure generated by the wave-packet approach suggested that entropic uncertainty can go to zero asymptotically in the distance for sufficiently high values of the mixing angle.

Given the several definitions of NAQC based on three different coherence measures - \(l_{1}\)-norm, relative entropy and skew information—we then proceeded to further analyze the hierarchy among them. In particular, the \(l_{1}\)-norm-based NAQC resulted to be more able to capture quantum resources with respect the other two quantities. It is obviously interesting to investigate whether this hierarchy is confined to the instance of neutrino oscillations, or if it is true in any context. This question will be one subject of future investigations.

Finally, we reiterate what was observed in the introduction, i.e., that the anti-correlation between QMA-EUR and NAQC could represent a useful basis for a better understanding of the physical meaning of the various results recently obtained on NAQC in neutrino oscillations [4, 14, 16]. Indeed, uncertainty relations could be generally formulated in terms of variances and thus are potentially more connected to quantities with an operational meaning, also in view of possible implementation of quantum protocols with neutrinos. We also envisage that the extension of the present results to quantum field theory, which we plan to perform relying on the approach of [31, 32], could be carried out in terms of variances of Hermitian operators (flavor charges), analogously to what done in Ref. [33].