1 Introduction

One of the burning questions in nuclear and particle physics is whether massive neutrinos are the Majorana fermions [1]. The latter must be associated with the phenomenon of lepton number violation (LNV), such as the neutrinoless double-beta (\(0\nu 2\beta \)) decays of some even–even nuclei in the form of \((A, Z) \rightarrow (A, Z+2) + 2 e^{-}\) [2]. On the other hand, the Majorana zero modes may have profound consequences or applications in solid-state physics [3]. That is why it is fundamentally important to verify the existence of elementary Majorana fermions in Nature. The most suitable candidate of this kind is expected to be the massive neutrinos [4].

However, the tiny masses of three known neutrinos make it extremely difficult to identify their Majorana nature. The most promising experimental way is to search for the \(0\nu 2\beta \) decays. Thanks to the Schechter–Valle theorem [5], a discovery of the \(0\nu 2\beta \) decay mode will definitely pin down the Majorana nature of massive neutrinos no matter whether this LNV process is mediated by other new physics (NP) particles or not. The rate of such a decay mode can be expressed as

$$\begin{aligned} \Gamma ^{0\nu } = G^{0\nu }(Q,Z) \left| M^{0\nu }\right| ^2 \left| \langle m\rangle _{ee}\right| ^2, \end{aligned}$$
(1)

where \(G^{0\nu }\) is the phase-space factor, \(M^{0\nu }\) denotes the relevant nuclear matrix element (NME), and \(\langle m\rangle _{ee}\) stands for the effective Majorana neutrino mass term. In the standard three-flavor scheme,

$$\begin{aligned} \langle m\rangle _{ee} = m_1 U^2_{e 1} + m_2 U^2_{e 2} + m_3 U^2_{e 3} \end{aligned}$$
(2)

with \(m_i\) (for \(i=1,2,3\)) being the neutrino masses and \(U_{e i}\) being the matrix elements of the Pontecorvo–Maki–Nakagawa–Sakata (PMNS) neutrino mixing matrix [6, 7]. Given current neutrino oscillation data [8], the three neutrinos may have a normal mass ordering (NMO) \(m_1 < m_2 < m_3\) or an inverted mass ordering (IMO) \(m_3 < m_1 < m_2\). In the presence of NP, \(\langle m\rangle _{ee}\) is likely to be contaminated by extra contributions which can be either constructive or destructive. While an observation of the \(0\nu 2\beta \) decay must point to an appreciable value of \(|\langle m\rangle _{ee}|\), a null experimental result does not necessarily mean that massive neutrinos are the Dirac fermions because \(\langle m\rangle _{ee} \sim 0\) is not impossible even though the neutrinos themselves are the Majorana particles [9, 10].

Hence how to interpret a discovery or null result of the \(0\nu 2\beta \) decay in the foreseeable future is highly nontrivial and deserves special attention (for instance, some particular attention has been paid to the role of the Majorana phases in the \(0\nu 2\beta \) decay in [1124]). In this work we focus on the sensitivity of \(|\langle m \rangle _{ee}|\) to the unknown parameters in the neutrino sector, which include the absolute neutrino mass scale, the Majorana CP-violating phases, and even possible NP contributions. Beyond the popular Vissani graph [25] which gives a two-dimensional description of the dependence of \(|\langle m \rangle _{ee}|\) on the smallest neutrino mass, we introduce a novel three-dimensional description of the sensitivity of \(|\langle m \rangle _{ee}|\) to both the smallest neutrino mass and the Majorana phases in the standard three-flavor scheme. We single out the Majorana phase which may make \(|\langle m \rangle _{ee}|\) sink into a decline in the NMO case, and we show that a constructive NP contribution is possible to compensate that decline and enhance \(|\langle m\rangle _{ee}|\) to the level which more or less mimics the case of the IMO. On the other hand, the destructive NP contribution is not impossible to suppress \(|\langle m\rangle _{ee}|\) to the level which is indiscoverable, even though the neutrino mass ordering is inverted or nearly degenerate. Given a discovery of the \(0\nu 2\beta \) decay, the possibility of constraining the unknown parameters is discussed in several cases. We also examine the dependence of \(|\langle m\rangle _{\alpha \beta }|\) (for \(\alpha , \beta = e, \mu , \tau \)) on the absolute neutrino mass scale and three CP-violating phases of the PMNS matrix U, and conclude that some other possible LNV processes have to be measured in order to fully understand an experimental outcome of the \(0\nu 2\beta \) decay and even determine the Majorana phases.

2 A three-dimensional description of \(|\langle m \rangle _{ee}|\)

In the standard three-flavor scheme the unitary PMNS matrix U can be parameterized in terms of three rotation angles (\(\theta _{12}\), \(\theta _{13}\), \(\theta _{23}\)) and three phase angles (\(\delta \), \(\rho \), \(\sigma \)) in the following way [8]:

$$\begin{aligned} U_{e 1}= & {} c_{12} c_{13} \ \hbox {e}^{\mathrm{i} \rho /2},\quad U_{e 2} = s_{12} c_{13}, \nonumber \\ U_{e3}= & {} s_{13} \ \hbox {e}^{\mathrm{i} \sigma /2},\quad U_{\mu 3} = c_{13} s_{23} \ \hbox {e}^{\mathrm{i} \left( \delta +\rho /2\right) }, \end{aligned}$$
(3)

where \(c_{ij} \equiv \cos \theta _{ij}\) and \(s_{ij} \equiv \sin \theta _{ij}\) (for \(ij = 12, 13, 23\)), \(\delta \) is referred to as the Dirac phase since it measures the strength of CP violation in neutrino oscillations, \(\rho \) and \(\sigma \) are referred to as the Majorana phases and have nothing to do with neutrino oscillations. The phase convention taken in Eq. (3) is intended to forbid \(\delta \) to appear in the effective Majorana mass term of the \(0\nu 2\beta \) decay:

$$\begin{aligned} \left| \langle m\rangle _{ee}\right| =\left| m_{1} c_{12}^{2} c_{13}^{2} \ \hbox {e}^{\mathrm{i}\rho } + m_{2} s_{12}^{2} c_{13}^{2} + m_{3} s_{13}^{2} \ \hbox {e}^{\mathrm{i}\sigma } \right| . \end{aligned}$$
(4)

The merit of this phase convention is obvious. In the extreme case of the NMO or IMO (i.e., \(m_1 =0\) or \(m_3 =0\)), which is allowed by current experimental data, one of the two Majorana phases automatically disappears from \(|\langle m\rangle _{ee}|\). Note, however, that \(\delta \) is intrinsically of the Majorana nature because it can enter other effective Majorana mass terms (e.g., \(\langle m\rangle _{e \mu }\) and \(\langle m\rangle _{\mu \tau }\) [26, 27]).

A measurement of the \(0\nu 2\beta \) decay allows us to determine or constrain \(|\langle m \rangle _{ee}|\). So far the most popular way of presenting \(|\langle m \rangle _{ee}|\) has been the Vissani graph [25]. It illustrates the allowed range of \(|\langle m \rangle _{ee}|\) against \(m_1\) or \(m_{3}\) by inputting the experimental values of \(\theta _{12}\) and \(\theta _{13}\) and allowing \(\rho \) and \(\sigma \) to vary in the interval \([0^\circ , 360^\circ )\). In the NMO case \(|\langle m \rangle _{ee}|\) may sink into a decline when \(m_1\) lies in the range 0.0023–0.0063 eV (for the latest review with extensive references, see [28]), implying a significant or complete cancellation among the three components of \(|\langle m \rangle _{ee}|\). In comparison, there is a lower bound \(|\langle m \rangle _{ee}| \gtrsim 0.02\) eV in the IMO case, and it is always larger than the upper bound of \(|\langle m \rangle _{ee}|\) in the NMO case when the lightest neutrino mass is smaller than about 0.01 eV [28]. This salient feature enables us to confirm or rule out the IMO, if the future \(0\nu 2\beta \)-decay experiments can reach a sensitivity below 0.02 eV. Nevertheless, the Vissani graph is unable to tell the dependence of \(|\langle m \rangle _{ee}|\) on \(\rho \) and \(\sigma \). For example, which Majorana phase is dominantly responsible for the significant decline of \(|\langle m \rangle _{ee}|\) in the NMO case? To answer such questions and explore the whole parameter space, let us generalize the two-dimensional Vissani graph by introducing a novel three-dimensional description of \(|\langle m \rangle _{ee}|\).

Figure 1 is a three-dimensional illustration of the lower and upper bounds of \(|\langle m \rangle _{ee}|\) in the NMO and IMO cases. In our numerical calculations we have input the \(3\sigma \)-range values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) obtained from a recent global analysis of current neutrino oscillation data [29]. The unknown Majorana phases \(\rho \) and \(\sigma \) are allowed to vary in the range \([0^\circ , 360^\circ )\), and the neutrino mass \(m_1\) or \(m_3\) is constrained via the Planck data (i.e., \(m_1 + m_2 + m_3 < 0.23\) eV at the \(95\%\) confidence level [30]). Some comments on Fig. 1 are in order. (1) The upper bound of \(|\langle m\rangle _{ee}|\) is trivial, because it can be obtained by simply taking \(\rho = \sigma = 0^\circ \). (2) The lower bound of \(|\langle m\rangle _{ee}|\) is nontrivial, because it is a result of the maximal cancellation among the three components of \(|\langle m\rangle _{ee}|\) for given values of \(\rho \), \(\sigma \), and \(m_1\) or \(m_3\). (3) In the NMO case it is the phase \(\rho \) that may lead the lower bound of \(|\langle m\rangle _{ee}|\) to a significant decline (even down to zero). In comparison, \(|\langle m\rangle _{ee}|\) is essentially insensitive to \(\sigma \) in both the NMO and the IMO cases. (4) The allowed range of \(|\langle m\rangle _{ee}|\) in the IMO case exhibits a “steady flow” profile, which is consistent with the two-dimensional Vissani graph. Its lower bound (\({\sim } 0.02\) eV) appears at \(\rho = 180^\circ \) for a specific value of \(m_3\) and arbitrary values of \(\sigma \), but a deadly cancellation among the three components of \(|\langle m\rangle _{ee}|\) has no way to happen. (5) When the neutrino mass spectrum is nearly degenerate (i.e., \(m_1 \simeq m_2 \simeq m_3 \gtrsim 0.05\) eV), the results of \(|\langle m\rangle _{ee}|\) in the NMO and IMO cases are almost indistinguishable.

Fig. 1
figure 1

Three-dimensional illustration of the lower (blue) and upper (light orange) bounds of \(|\langle m \rangle _{ee}|\) as functions of the lightest neutrino mass and two Majorana phases in the NMO or IMO case, where the \(3\sigma \)-range values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) [29] have been input

The parameter space for the vanishing of \(|\langle m\rangle _{ee}|\) in the NMO case is of particular interest, because it points to a null result of the \(0\nu 2\beta \) decay although massive neutrinos are the Majorana particles. However, the “dark well” of \(|\langle m\rangle _{ee}|\) versus the \(\rho \)\(m_1\) plane in Fig. 1 has a sharp champagne-bottle profile at the ground. This characteristic can be understood by figuring out the correlation between \(m_1\) and \(\rho \) from \(|\langle m\rangle _{ee}| =0\). Namely,

$$\begin{aligned} m_{1}^{2} c_{12}^{4} c_{13}^{4} + 2 m_{1} m_2 c_{12}^{2} s_{12}^2 c^4_{13} \cos \rho + m_2^{2} s^4_{12} c_{13}^4 = m_{3}^{2}s_{13}^{4}.\nonumber \\ \end{aligned}$$
(5)

Given the \(3\sigma \)-range values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) [29], Fig. 2 shows the \(\rho \)\(m_1\) correlation which corresponds to the contour of the champagne-bottle profile of \(|\langle m\rangle _{ee}|\) in Fig. 1. One can see that the “dark well” appears when \(\rho \) lies in the range \(145^\circ \)\(215^\circ \) and \(m_1\) varies from 0.0015 to 0.0085 eV for arbitrary values of \(\sigma \). Such a fine structure of cancellation has been missed before.

Fig. 2
figure 2

A correlation between \(m_1\) and \(\rho \) as constrained by the vanishing of \(|\langle m \rangle _{ee}|\) in the NMO case, corresponding to the contour of the champagne-bottle profile of \(|\langle m\rangle _{ee}|\) in Fig. 1. Here the \(3\sigma \)-range values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) [29] have been input

As a matter of fact, a three-dimensional description of \(|\langle m \rangle _{ee}|\) against two free parameters is equivalent to a set of two-dimensional contour figures which project the values of \(|\langle m \rangle _{ee}|\) onto the parameter-space planes, if only its upper or lower bound is considered. In order to clearly present the correspondence between the numerical result of \(|\langle m \rangle _{ee}|\) and that of a given parameter which is difficult to identify in a three-dimensional graph, we show the contour figures for the lower bound of \(|\langle m \rangle _{ee}|\) on the \(\rho \)\(\sigma \), \(m_{1}\)\(\rho \) (or \(m_{3}\)\(\rho \)) and \(m_{1}\)\(\sigma \) (or \(m_{3}\)\(\sigma \)) planes in the NMO (or IMO) case in Fig. 3 (or Fig. 4). For the sake of completeness, we calculate the contour figures for the lower bounds of all the six effective Majorana mass terms defined as

$$\begin{aligned} \langle m \rangle _{\alpha \beta } = m_1 U_{\alpha 1} U_{\beta 1} + m_2 U_{\alpha 2} U_{\beta 2} + m_3 U_{\alpha 3} U_{\beta 3}, \end{aligned}$$
(6)

where the subscripts \(\alpha \) and \(\beta \) run over e, \(\mu \), and \(\tau \). There are at least two good reasons for considering \(|\langle m \rangle _{\alpha \beta }|\): (a) only the \(0\nu 2\beta \) decay itself cannot offer sufficient information to fix the three unknown parameters of \(|\langle m \rangle _{ee}|\); (b) if a null result of the \(0\nu 2\beta \) decay is observed, one will have to search for some other LNV processes so as to identify the Majorana nature of massive neutrinos. The typical LNV processes in question, which are directly associated with the effective Majorana masses \(\langle m \rangle _{\alpha \beta }\), include the \(\mu ^-\rightarrow e^+\) conversion in the nuclear background, neutrino–antineutrino oscillations, rare LNV decays of B and D mesons, \(H^{++} \rightarrow l^+_\alpha l^+_\beta \) (for \(\alpha , \beta = e, \mu , \tau \)) in the type-II seesaw mechanism, and so on (see, e.g., [31, 32]). In Figs. 3 and 4 the contours for the lower bounds of \(|\langle m \rangle _{\alpha \beta }|\) are presented by gradient colors and their corresponding magnitudes are indicated by the legends. In particular, the purple areas stand for the parameter space where significant cancellations (i.e., \(|\langle m \rangle _{\alpha \beta }|<10^{-4}\) eV) can take place. When the \(m_{3}\)-associated term of \(|\langle m \rangle _{\alpha \beta }|\) is not suppressed by \(s^2_{13} \sim 2\,\%\), its lower bound becomes sensitive to the Majorana phase \(\sigma \). Hence a combined analysis of the \(0\nu 2\beta \) decay and some other LNV processes will be greatly helpful to determine or constrain both \(\rho \) and \(\sigma \). Compared with \(|\langle m \rangle _{ee}|\), the current upper limits on the other five \(|\langle m \rangle _{\alpha \beta }|\) can only reach the multi-MeV to TeV level [31, 32]. We expect that the experimental sensitivities to some of these effective Majorana mass terms could be improved to the sub-eV level in the future.

Fig. 3
figure 3

The lower bounds of \(|\langle m \rangle _{\alpha \beta }|\) changing with \(m_1\), \(\rho \), and \(\sigma \) in the NMO case, where the best-fit values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), \(\theta _{13}\), and \(\theta _{23}\) [29] have been input

Fig. 4
figure 4

The lower bounds of \(|\langle m \rangle _{\alpha \beta }|\) changing with \(m_3\), \(\rho \), and \(\sigma \) in the IMO case, where the best-fit values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), \(\theta _{13}\), and \(\theta _{23}\) [29] have been input

3 Limits of \(m_{1, 3}\) and \(\rho \) from a signal of the \(0\nu 2\beta \) decay

In the standard three-flavor scheme we have studied the possible profile (especially the lower bound) of \(|\langle m \rangle _{ee}|\) against the unknown mass and phase parameters. Inversely, the unknown parameters can be constrained if the \(0\nu 2\beta \) decay is discovered and the magnitude of \(|\langle m \rangle _{ee}|\) is determined. A good example of this kind is the strong constraint on the parameter space of \(m_1\) and \(\rho \) in Eq. (5) or Fig. 2 based on the assumption \(|\langle m \rangle _{ee}|=0\), which is more or less equivalent to a null result of the \(0\nu 2\beta \) decay provided the experimental sensitivity has been good enough. So it makes sense to ask the following question: to what extent the unknown parameters can be constrained from a signal of the \(0\nu 2\beta \) decay?

Let us try to answer this question in an ideal situation with no concern about the experimental error bars. The first issue is to derive the correlation between \(m_{1}\) (or \(m_3\)) and \(\rho \) like that given in Eq. (5) by eliminating \(\sigma \). Since Eq. (4) can be viewed as an implicit function \(\rho = f(m_i, \sigma )\) for given values of \(\theta _{12}\), \(\theta _{13}\), and \(|\langle m\rangle _{ee}|\), one may eliminate \(\sigma \) by substituting it with the solution of \(\partial \rho /\partial \sigma |_{\sigma ^*} = 0\). In this way we obtain the maximum and minimum of \(\rho \) as functions of \(m_i\):

$$\begin{aligned}&\cos \rho _{\text {max,min}} \nonumber \\&\quad = -\frac{m_1^2 c_{12}^4 c_{13}^4 + m_2^2 s^4_{12} c_{13}^4 - \left( m_3 s_{13}^2 \pm |\langle m \rangle _{ee}|\right) ^2}{2 m_1 m_2 c_{12}^2 s_{12}^2 c^4_{13}}.\nonumber \\ \end{aligned}$$
(7)

If \(|\langle m \rangle _{ee}|\) vanishes, then it is straightforward for Eq. (7) to reproduce Eq. (5). The maximum and minimum of \(\sigma \) as functions of \(m_i\) can similarly be obtained:

$$\begin{aligned}&\cos \sigma _{\text {max,min}} \nonumber \\&\quad = -\frac{m_3^2 s_{13}^4 + m_2^2 s^4_{12} c_{13}^4 - \left( m_1 c_{12}^2 c_{13}^2 \pm |\langle m \rangle _{ee}|\right) ^2}{2 m_2 m_3 s_{12}^2 c_{13}^2 s^2_{13}}. \end{aligned}$$
(8)

However, \(\sigma \) is actually insensitive to \(|\langle m\rangle _{ee}|\) as shown in Fig. 1. Hence the constraint on \(\sigma \) must be rather loose even if the \(0\nu 2\beta \) decay is observed. For this reason we simply focus on the possible constraints on \(\rho \) and \(m_1\) (or \(m_3\)) in the following.

Of course, the value of \(|\langle m \rangle _{ee}|\) extracted from a measurement of the \(0\nu 2\beta \) decay via Eq. (1) must involve a large uncertainty originating from the NME \(M^{0\nu }\), while the phase-space factor \(G^{0\nu }(Q,Z)\) can be precisely calculated. Following Refs. [33, 34], we introduce a dimensionless factor F to parameterize the uncertainty of \(|\langle m \rangle _{ee}|\) inheriting from that of the NME: \(F=M^{0\nu }_\text {max}/M^{0\nu }_\text {min}\), where \(M^{0\nu }_\text {max}\) and \(M^{0\nu }_\text {min}\) stand, respectively, for the maximal and minimal values of the NME which are consistently calculated in a given framework. It is apparent that \(F \gtrsim 1\) holds, and \(F =1\) cannot be reached until the NME is accurately determined. Given a value of F, the “true” value of \(|\langle m \rangle _{ee}|\) may lie in the range \(\big [|\langle m \rangle _{ee}|/\sqrt{F}, \ |\langle m \rangle _{ee}|\sqrt{F}\big ]\) [33, 34]. In our numerical calculation we take \(F =1\) and \(F =2\) for illustration. Figure 5 shows the allowed regions of \(m_{1}\) (or \(m_3\)) and \(\rho \) for a few typical values of \(|\langle m \rangle _{ee}|\). The effect of F can be seen when comparing between the cases of \(F=1\) and \(F=2\). Two comments are in order. (1) If \(|\langle m \rangle _{ee}|\) is vanishingly small (e.g., \(|\langle m \rangle _{ee}|=0.0005\) eV), \(\rho \) can be constrained in the range \([140^\circ , 220^\circ ]\) in the NMO case. If a larger value of \(|\langle m \rangle _{ee}|\) is measured (e.g., 0.005 or 0.05 eV), the allowed range of \(\rho \) will saturate the full interval \([0,360^\circ )\). To fix the value of \(\rho \) needs the input of \(m_1\). Hence some additional information as regards \(m_1\) from the cosmological observation or from the direct beta-decay experiment will be greatly helpful. (2) The situation in the IMO case is quite similar: \(\rho \) can be constrained in a narrow range if \(|\langle m \rangle _{ee}|\) approaches its minimal value (i.e., 0.02 eV), but it is allowed to take any value in the range \([0,360^\circ )\) if \(|\langle m \rangle _{ee}|\) is much larger (e.g., 0.05 eV). Here again is some additional information as regards \(m_3\) required to pin down the value of \(\rho \).

Fig. 5
figure 5

The regions of the smallest neutrino mass (\(m_1\) or \(m_3\)) and the Majorana phase \(\rho \) as constrained by an “observed” value of \(|\langle m \rangle _{ee}|\). In the NMO case \(|\langle m \rangle _{ee}| =0.0005\), 0.005, and 0.05 eV are taken, and in the IMO case \(|\langle m \rangle _{ee}| = 0.02\), 0.05 and 0.1 eV are taken. The NME uncertainty is illustrated by \(F=1\) and \(F=2\). Here the best-fit values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) [29] have been input

To be more realistic, let us do a statistical analysis by explicitly considering an experimental situation to see to what extent the lightest neutrino mass \(m_1\) (or \(m_3\)) and the Majorana phase \(\rho \) can be constrained by a positive \(0\nu 2\beta \) result. For this purpose, a \(\chi ^2\) function defined as [33, 34]

$$\begin{aligned} \chi ^2 (m_{1,3},\rho )=\min _{\xi , |\langle m \rangle _{ee}|} \left\{ \frac{(\xi |\langle m \rangle _{ee}|-|\langle m \rangle _{ee}|^\text {obs})^2}{\sigma ^2_{ee}+\xi ^2 \sigma ^2_\text {th}} \right\} \end{aligned}$$
(9)

is employed, where \(\sigma _{ee}\) is the experimental error on the observed value of \(|\langle m \rangle _{ee}|^\text {obs}\) and \(\sigma _\mathrm{th}\) is the theoretical error on the predicted value of \(|\langle m\rangle _{ee}|\) propagated from the uncertainties of neutrino oscillation parameters. The theoretical error \(\sigma _\mathrm{th}\) is calculated through the formula

$$\begin{aligned} \sigma _\text {th}^2= & {} \text {max}\left\{ \sum _i\left( \frac{\partial |\langle m \rangle _{ee}|_\text {max}}{\partial x^i_\text {osc}} \right) ^2 ( \delta x^i_\text {osc})^2,\right. \nonumber \\&\quad \quad \left. \sum _i\left( \frac{\partial |\langle m \rangle _{ee}|_\text {min}}{\partial x^i_\text {osc}} \right) ^2 ( \delta x^i_\text {osc})^2 \right\} , \end{aligned}$$
(10)

in which the \(x^i_\text {osc}\) stand for the oscillation parameters \(\theta _{12}\), \(\theta _{13}\), \(\Delta m^2_{21}\), and \(\Delta m^2_{31}\), and \(\delta x^i_\text {osc}\) are their respective errors. Note that the current experimental errors on these parameters have been reduced to the percent level [29], and hence \(\sigma _\mathrm{th}\) is secondary to the significant \(\sigma _{ee}\) in Eq. (9). In addition, the uncertainty factor \(\xi \), which originates from the NME calculation and thus takes a value in the range \([1/\sqrt{F},~\sqrt{F}]\), should also be considered. Given an observed \(|\langle m \rangle _{ee}|^\text {obs}\), the \(\chi ^2\) as a function of \(m_1\) (or \(m_3\)) and \(\rho \) can be obtained by minimizing it with respect to \(\xi \) and the predicted \(|\langle m\rangle _{ee}|\) in their allowed ranges. With any given \(m_1\) (or \(m_3\)) and \(\rho \), \(|\langle m\rangle _{ee}|\) will vary in the following range:

$$\begin{aligned}&|\langle m \rangle _{ee}|_\text {max,min}\nonumber \\&\quad =\left| \sqrt{m_1^2 c_{12}^4 c_{13}^4 + m_2^2 s^4_{12} c_{13}^4+2 m_1 m_2 c_{12}^2 s_{12}^2 c^4_{13}\cos \rho }\pm m_3 s_{13}^2 \right| ,\nonumber \\ \end{aligned}$$
(11)

which corresponds to the variation of \(\sigma \) from 0 to \(360^\circ \) in Refs. [33, 34].

Fig. 6
figure 6

Allowed \(1\sigma \), \(2\sigma \), and \(3\sigma \) regions of the smallest neutrino mass \(m_1\) (or \(m_3\)) and the Majorana phase \(\rho \) as constrained by an “observed” value of \(|\langle m \rangle _{ee}|\). We assume the observed \(|\langle m \rangle _{ee}|\) to be around 0.05 eV with an error 0.01 eV. The NME uncertainty factor is fixed at \(F=1,2\). Here the \(3\sigma \)-range values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) [29] have been input

Furthermore, the \(1\sigma \), \(2\sigma \), and \(3\sigma \) regions of allowed \(m_1\) (or \(m_3\)) and \(\rho \) are, respectively, bounded by the contours \(\Delta \chi ^2(m_{1,3},\rho )=2.3,6.18\), and 11.83, where \(\Delta \chi ^2(m_{1,3},\rho ) =\chi ^2(m_{1,3},\rho )-\chi ^2_\mathrm{min}\) and \(\chi ^2_\mathrm{min}\) is the minimum of \(\chi ^2(m_{1,3}, \rho )\). In light of the experimental prospect for the \(0\nu 2\beta \) decay, we take \(|\langle m\rangle _{ee}|^\text {obs}\simeq 0.05\) eV with an error \(\sigma _{ee}=0.01\) eV for illustration in the numerical calculations. In Fig. 6 the allowed regions of \(m_{1}\) (or \(m_3\)) and \(\rho \) are shown for both the NMO and the IMO cases, with two representative values \(F = 1, 2\) for the NME uncertainty. Once \(m_1\) (or \(m_3\)) is determined by the cosmological observations or the direct beta-decay experiment in the future, one will be allowed to read out the allowed range of \(\rho \) by virtue of these figures. The results here are consistent with those presented in Fig. 5, but they are unfortunately smeared by the experimental errors. So we cannot accurately pin down the value of \(\rho \) even with an observed \(0\nu 2\beta \)-decay signal and a determination of \(m_1\) (or \(m_3\)) until the relevant NME uncertainty and experimental errors are significantly reduced.

4 Possible NP contributions to \(|\langle m\rangle _{ee}|\)

When a NP contribution to the \(0 \nu 2\beta \) decay is concerned, the situation can be quite complicated because it may compete with the standard effect (i.e., the one from the three light Majorana neutrinos as discussed above) either constructively or destructively. If the NP effect is significant enough, the simple relation between \(\Gamma ^{0\nu }\) and \(|\langle m\rangle _{ee}|\) in Eq. (1) has to be modified. This will make the interpretation of a discovery or null result of the \(0\nu 2\beta \) decay more uncertain. Here we aim to study the issue in a model-independent way. Namely, we parameterize the possible NP contribution to \(|\langle m\rangle _{ee}|\) in terms of its modulus and phase relative to the standard contribution, without going into details of any specific NP model (for a review with extensive references, see [35, 36]; for some recent discussions, see [3739]).

An interesting and very likely case is that different contributions can add in a coherent way so that their constructive or destructive interference may happen [35, 36] (see, e.g., [40, 41]). If the helicities of two electrons emitted in the NP-induced \(0 \nu 2\beta \) channel are identical to those in the standard channel, then the overall rate of the \(0 \nu 2\beta \) decay in Eq. (1) can be modified in the following way:

$$\begin{aligned} \Gamma ^{0\nu }= & {} G^{0\nu }(Q,Z) \left| M^{0\nu } \langle m\rangle _{ee} + M_\mathrm{NP}^{0\nu } m_\mathrm{NP}^{0}\right| ^2 \nonumber \\\equiv & {} G^{0\nu }(Q,Z) \left| M^{0\nu } \right| ^2 \left| \langle m\rangle _{ee}^{\prime }\right| ^2, \end{aligned}$$
(12)

where \(M_\mathrm{NP}^{0\nu }\) denotes the NME subject to the NP process, \(m_\mathrm{NP}^{0}\) is a particle-physics parameter describing the NP contribution, and \(\langle m\rangle _{ee}^{\prime }\) represents the effective Majorana mass term defined as

$$\begin{aligned} \langle m\rangle _{ee}^{\prime } = m_1 U^2_{e 1} + m_2 U^2_{e 2} + m_3 U^2_{e 3} + m_\mathrm{NP} \end{aligned}$$
(13)

with \(m_\mathrm{NP} \equiv m_\mathrm{NP}^{0} M_\mathrm{NP}^{0\nu }/M^{0\nu }\). Unless \(M_\mathrm{NP}^{0 \nu }\) is identical with \(M^{0\nu }\) like the case of NP coming from the light sterile neutrinos (see, e.g., [42, 43]), \(m_\mathrm{NP}\) generally differs from one isotope to another. Hence using different isotopes to detect the \(0 \nu 2\beta \) decays is helpful for us to learn whether there is NP beyond the standard scenario, but their different NMEs may involve different uncertainties.

To see the interference between the NP term \(m_\mathrm{NP} = |m_\mathrm{NP}| \hbox {e}^{\mathrm{i} \phi _\mathrm{NP}}\) and the standard one \(\langle m\rangle _{ee}\) in \(|\langle m\rangle ^\prime _{ee}|\), we plot the lower and upper bounds of \(|\langle m\rangle ^\prime _{ee}|\) vs. \(m_1\) (or \(m_3\)) and \(|m_\mathrm{NP}|\) in the NMO (or IMO) case in Fig. 6. For given values of \(m_1\) (or \(m_3\)) and \(|m_\mathrm{NP}|\), the lower and upper bounds of \(|\langle m\rangle ^\prime _{ee}|\) can be expressed as

$$\begin{aligned} \left| \langle m\rangle ^{\prime }_{ee}\right| _\mathrm{upper}= & {} m_1 \left| U_{e1}\right| ^2 + m_2 \left| U_{e2}\right| ^2 + m_3 \left| U_{e3}\right| ^2 +|m_\mathrm{NP}|, \nonumber \\ \left| \langle m\rangle ^{\prime }_{ee}\right| _\mathrm{lower}= & {} \max \left\{ 0, ~2m_i \left| U_{ei}\right| ^2 - \left| \langle m\rangle ^{\prime }_{ee}\right| _\mathrm{upper} ,\right. \nonumber \\&\quad \qquad \left. 2\left| m_\mathrm{NP}\right| - \left| \langle m\rangle ^{\prime }_{ee}\right| _\mathrm{upper} \right\} \end{aligned}$$
(14)

for \(i=1,2,3\). These results can be directly derived with the help of the “coupling-rod” diagram of the \(0\nu 2\beta \) decay in the presence of the NP [10]. By setting \(m_\text {NP}\rightarrow 0\), we simply arrive at the results of \(|\langle m \rangle _{ee}|\) obtained before in the standard three-flavor scheme [25]. Some comments on our numerical results are in order.

  1. (1)

    The parameter space in the NMO case can be divided into three regions according to the profile of the lower bound of \(|\langle m\rangle ^\prime _{ee}|\): (a) the region with \(m_1 < 0.001\) eV and \(|m_\mathrm{NP}|<0.001\) eV, where the NP contribution is negligibly small and thus \(|\langle m\rangle ^\prime _{ee}|\) approximates

    $$\begin{aligned} \left| \langle m\rangle _{ee}^{\prime }\right| \simeq \left| \langle m\rangle _{ee}\right| \gtrsim \left| \sqrt{\Delta m_{21}^2} \ s^2_{12} c_{13}^2 - \sqrt{\Delta m_{31}^2} \ s_{13}^2 \right| ;\nonumber \\ \end{aligned}$$
    (15)

    (b) the region with \(m_1 > 0.01\) eV and \(|\langle m\rangle _{ee}|\) being still dominant over \(|m_\mathrm{NP}|\), where \(|\langle m\rangle _{ee}^{\prime }|\) has a lower bound

    $$\begin{aligned} \left| \langle m\rangle _{ee}^{\prime }\right|\simeq & {} \left| \langle m\rangle _{ee}\right| \nonumber \\\gtrsim & {} \left| m_1 c_{12}^2 c_{13}^2 - \sqrt{m_1^2+\Delta m_{21}^2} \ s_{12}^2 c_{13}^2\right. \nonumber \\&\left. - \sqrt{m_1^2 + \Delta m_{31}^2} \ s_{13}^2\right| ; \end{aligned}$$
    (16)

    and (c) the region with \(|m_\mathrm{NP}|\) being dominant over \(|\langle m\rangle _{ee}|\), where the lower bound of \(|\langle m\rangle _{ee}^{\prime }|\) is simply the value of \(|m_\mathrm{NP}|\). If \(|m_\mathrm{NP}|\) is comparable in magnitude with \(|\langle m\rangle _{ee}|\) of the IMO case in the standard three-flavor scheme, it will be impossible to distinguish the NMO case with NP from the IMO case without NP by only measuring the \(0\nu 2\beta \) decay. This observation would make sense in the following situation: a signal of the \(0\nu 2\beta \) decay looking like the IMO case in the standard scenario were measured someday, but the IMO itself were in conflict with the “available” cosmological constraint on the sum of three neutrino masses. Note also that at the junctions of the aforementioned three regions, \(|\langle m\rangle _{ee}^{\prime }|\) can be vanishingly small either because \(|\langle m\rangle _{ee}|\) and \(|m_\mathrm{NP}|\) are both very small or because they undergo a deadly cancellation.

  2. (2)

    The profile of the lower bound of \(|\langle m\rangle _{ee}^{\prime }|\) in the IMO case is structurally simpler, as shown in Fig. 6. In the region dominated by \(|\langle m\rangle _{ee}|\), \(|\langle m\rangle _{ee}^{\prime }|\) just behaves like \(|\langle m\rangle _{ee}|\) in the standard scenario and has a lower bound:

    $$\begin{aligned} \left| \langle m\rangle _{ee}^{\prime }\right|\simeq & {} \left| \langle m\rangle _{ee}\right| \nonumber \\\gtrsim & {} \left| m_1 c_{12}^2 c_{13}^2 - \sqrt{m_1^2 + \Delta m_{21}^2} \ s_{12}^2 c_{13}^2\right| . \end{aligned}$$
    (17)

    On the other hand, \(|\langle m\rangle _{ee}^{\prime }|\) will be saturated by \(|m_\mathrm{NP}|\) when the latter is dominant over \(|\langle m\rangle _{ee}|\). At the junction of these two regions, \(\langle m\rangle _{ee}\) and \(m_\mathrm{NP}\) are comparable in magnitude and have a chance to cancel each other. This unfortunate possibility would deserve special attention if the IMO were verified by the cosmological data but a signal of the \(0 \nu 2\beta \) decay were not observed in an experiment sensitive to the \(|\langle m\rangle _{ee}|\) interval in the IMO case of the standard scenario (Fig. 7).

Fig. 7
figure 7

The lower (blue) and upper (light orange) bounds of \(|\langle m\rangle _{ee}^{\prime }|\) as functions of \(m_{1}\) (or \(m_3\)) and \(|m_\mathrm{NP}|\) in the NMO (or IMO) case, where the \(3\sigma \)-range values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) [29] have been input

Fig. 8
figure 8

The \(\Delta \chi ^2\) contours as a function of \(|\langle m \rangle _{ee}|^\text {obs}\) and the lightest neutrino mass \(m_1\) or \(m_3\). The error \(\sigma _{ee}\) is assumed to be 0.01 eV and the NME uncertainty factor is fixed at \(F=1,2\). \(\Delta \chi ^2= 1,4,9\) are shown in the figure, where the \(3\sigma \)-range values of \(\Delta m^2_{21}\), \(\Delta m^2_{31}\), \(\theta _{12}\), and \(\theta _{13}\) [29] have been input

In short, we have shown that the presence of NP may disturb the profile of \(|\langle m\rangle _{ee}|\) versus the lightest neutrino mass which is supposed to be described by Eq. (4). However, from a practical point of view, it is more desirable to first determine whether NP is preferred by an observed \(|\langle m\rangle _{ee}|^\mathrm{obs}\) in combination with a determination of \(m_1\) (or \(m_3\)). This can be done by examining the statistical consistency of the observed value of \(|\langle m\rangle _{ee}|^\mathrm{obs}\) with that of \(m_1\) (or \(m_3\)). If an inconsistency with considerable significance exists, then NP is allowed to the same level. This possibility was previously noticed in Ref. [44], where the authors aimed to determine the neutrino mass ordering by combining the results of \(|\langle m\rangle _{ee}|^\mathrm{obs}\) and \(m_1\) (or \(m_3\)). Nevertheless, a similar analysis made here is still helpful considering the remarkable improvements achieved on the experimental side since then. In our statistical analysis, we adopt the same \(\chi ^2\) function as shown in Eq. (9) but replace the variables with \(m_{1,3}\) and \(|\langle m \rangle _{ee}|^\text {obs}\), and the error of \(|\langle m \rangle _{ee}|^\text {obs}\) is also assumed to be 0.01 eV. The results for \(\Delta \chi ^2\) are graphically shown on the \(|\langle m\rangle _{ee}|^\mathrm{obs}\) versus \(m_{1,3}\) plane in Fig. 8 with four different cases (IMO and NMO as well as \(F=1\) and \(F=2\)) presented for comparison. In each figure three contours corresponding to \(\Delta \chi ^2=1,4\), and 9 are given to quantify different statistical significance levels. Obviously, those regions with a relatively large \(\Delta \chi ^2\) reject the standard effect, and hence require explanations in terms of NP. In both the NMO and the IMO cases there are two regions allowing for the existence of NP: one is characteristic of a relatively small \(m_{1}\) (or \(m_3\)) and a relatively large \(|\langle m\rangle _{ee}|^\mathrm{obs}\), and the other is on the contrary. In the IMO case (if established by other experiments), there should be a third region (i.e., that with a relatively small \(m_3\) and an \(|\langle m\rangle _{ee}|^\mathrm{obs}\) smaller than 0.08 eV for \(F=1\) or 0.03 eV for \(F=2\)) where NP is possible, but a more precise measurement in this region is needed before a firm conclusion can be achieved.

5 Summary

While most of the particle theorists believe that massive neutrinos must be the Majorana fermions, an experimental test of this belief is mandatory. Today a number of \(0\nu 2\beta \)-decay experiments are under way for this purpose. It is therefore imperative to consider how to interpret a discovery or null result of the \(0\nu 2\beta \) decay beforehand, before this will finally turn into reality.

In this work we have tried to do so by presenting some new ideas and results which are essentially different from those obtained before. First, we have introduced a three-dimensional description of the effective Majorana mass term \(|\langle m\rangle _{ee}|\) by going beyond the conventional Vissani graph. This new description allows us to look into the sensitivity of \(|\langle m\rangle _{ee}|\) (especially its lower bound) to the lightest neutrino mass and two Majorana phases in a more transparent way. For example, we have shown that it is the Majorana phase \(\rho \sim \pi \) that may make \(|\langle m\rangle _{ee}|\) sink into a decline in the NMO case. Second, we have extended our discussion to all the six effective Majorana masses \(|\langle m\rangle _{\alpha \beta }|\) (for \(\alpha , \beta = e, \mu , \tau \)) which are associated with a number of different LNV processes, and presented a set of two-dimensional contour figures for their lower bounds. We stress that such a study makes sense because a measurement of the \(0\nu 2\beta \) decay itself does not allow us to pin down the two Majorana phases. Third, we have studied to what extent \(m_{1}\) (or \(m_3\)) and \(\rho \) can be well constrained provided a discovery of the \(0\nu 2\beta \) decay (i.e., a definite value of \(|\langle m\rangle _{ee}|\)) is made someday. It is found that the smaller \(|\langle m\rangle _{ee}|\) is, the stronger the constraint will be. Finally, the effect of possible NP contributing to the \(0\nu 2\beta \) decay has been discussed in a model-independent way. It is of particular interest to find that the NMO (or IMO) case modified by the NP effect may more or less mimic the IMO (or NMO) case in the standard three-flavor scheme. In this case a proper interpretation of a discovery or null result of the \(0\nu 2\beta \) decay demands an input of extra information as regards the absolute neutrino mass scale and (or) Majorana phases from some other measurements.

In any case it is fundamentally important to identify the Majorana nature of massive neutrinos. While there is still a long way to go in this connection, we hope that our study may help pave the way for reaching the exciting destination.