Abstract
We present a prescription for consistently constructing non-Fock coherent flavour neutrino states within the framework of the seesaw mechanism, and establish that the physical vacuum of massive neutrinos is a condensate of Standard Model massless neutrino states. The coherent states, involving a finite number of massive states, are derived by constructing their creation operator. This construction fulfills automatically the key requirement of coherence for the oscillations of particles to occur. We comment on the inherent non-unitarity of the oscillation probability induced by the requirement of coherence.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Dedicated to the memory of Samoil Bilenky
1 Introduction
The nature of neutrinos, either as Dirac or Majorana particles [1], is directly related to their mass-generating scheme. The seesaw mechanism [2,3,4,5,6,7,8,9,10,11,12], with its type-variations, leads up to Majorana neutrinos and is generally considered as one of the most plausible explanations for the small neutrino masses, though the confirmation of the Majorana nature by neutrinoless double beta decay [13] is still far from being established. Recently, a novel concept has been presented to distinguish between the Dirac or Majorana nature of neutrinos, based on weak charge of aggregate matter [14]. From the point of view of quantum field theory, the question “how do neutrinos oscillate” is at least as intriguing as the questions “how do neutrinos acquire such tiny masses compared to other leptons”. Most of the present-day efforts are put into giving an answer to the latter question. The seesaw mechanism ascribes the smallness of the observed neutrino masses to the largeness of a new physics energy scale which controls the mass of neutrinos. In all its versions, it represents concrete models of Weinberg’s lepton number violating higher order operators involving the Standard Model Higgs field [15] and usually respecting the Standard Model gauge symmetry. In a more ample context, the seesaw mechanism leads to an explanation of the matter-antimatter asymmetry in the Universe, through leptogenesis [16]. The strong appeal of the seesaw mechanism is partially curtailed by the UV sensitivity of the Higgs mass squared, which is quadratically sensitive to the seesaw scale, thus inducing a fine-tuning problem (see, for example, the review [17]).
In this paper, our focus will be on the question of “how do neutrinos oscillate”, and more specifically, on the coherence of the superposition of massive neutrino states engendered by the seesaw mechanism. Pontecorvo’s extension of the state mixing and oscillation paradigm from the \(K_0-{\bar{K}}_0\) system [18, 19] to neutrinos [20,21,22,23] (see also [24]) is based on two sine qua non requirements: i) the massive neutrino states have different masses; ii) the superposition of the massive neutrino states is coherent. Here, by coherence is meant that the relative phases between the particle states composing a flavour neutrino state are fixed. The second requirement is the source of a deep conceptual problem, since quantum field theory does not give a prescription for defining coherent superpositions of states belonging to different Fock spaces. Our main concern now is to establish such a prescription for the specific case of oscillating neutrino states that are superpositions of Majorana states generated by the seesaw mechanism, using the general formulation proposed in [25, 26].
According to the Gribov–Pontecorvo conjecture [22], the flavour neutrino states are defined as
where \(|\nu _{i}\rangle ,\ i=1,2,\ldots , N\) are massive (Majorana) neutrino states, U is the Pontecorvo–Maki–Nakagawa–Sakata (PMNS) mixing matrix of neutrino fields, and L and R denote the left and right chiralities. The latter appears in the diagonalization of the seesaw Lagrangian by the change of variables from the flavour fields \(\nu _{lL}(x)\) and the sterile fields \(\nu _{sR}(x)\) to the massive fields \(\nu _{iL}(x)\):
where C is the charge conjugation matrix. To this definition, one has to add the supplementary assumption of coherent superposition of the massive neutrino states in (1.1). This assumption is as old as the first proposal of particle mixing in the \(K_0-{\bar{K}}_0\) system – the coherence of superposed particle states is obtained by default if the states have the same mass (i.e. belong to the same Fock space) [18, 19], but not when the states have different masses. There is a rich literature regarding various definitions of flavour states in quantum field theory, including also coherence (for a far-from-complete selection, see [27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44]). The coherence is usually implemented using the notion of wave packets pioneered in Refs. [45, 46] for free neutrinos and applied to various physical settings, like cosmic neutrinos [47], neutrinos produced by electrons in crystals [48], supernova neutrinos [49] and many others. Here, we shall pursue another approach, generalizing the technique previously proposed for the construction of coherent oscillating particle states in the context of neutron-antineutron [25] and Dirac neutrino oscillations [26].
In this paper we show that the seesaw oscillating neutrino states can be obtained as intrinsically coherent superpositions of massive neutrino states expressed by the formula
where \( E_{i{\text {p}}}=\sqrt{\mathbf{p}^2+m_i^2},\ i=1,2,\ldots ,N\) are the energies of the neutrinos of mass \(m_i\) and momentum \(\mathbf{p}\). By intrinsic coherence it is meant that the feature is (mathematically) built in the states by definition, and does not necessitate supplementary quantum mechanical arguments.
For this construction we make use of the only genuine coherent state à la Klauder–Sudarshan–Glauber [50,51,52] that can be built in quantum field theory, namely the vacuum state of a theory with a mass gap [53]. The extra factors are the coefficients of the Bogoliubov transformations which express the interaction-induced mass gap between the Standard Model massless neutrinos and the massive neutrinos of the seesaw mechanism. The oscillating flavour states defined by (1.3) are not orthogonal, what is a direct consequence of their coherence, since coherent states always overlap [50,51,52]. Nevertheless, for ultrarelativistic neutrinos, the overlap of flavour neutrinos (that would translate experimentally into zero-length conversion of one flavour into another) is way below the present detection accuracy, except for future low-energy neutrino experiments.
The structure of the paper is the following. In Sect. 2 we collect the basic formulas of the seesaw mechanism [54, 55] for fixing the notation and for further reference; the reader familiar with the subject can skip to the next section. In Sect. 3 we construct the coherent oscillating states for Dirac–Majorana neutrinos, which can straightforwardly be particularized to the type I/III and II seesaw schemes. We show how the coherence is built in the oscillating states, by performing only coherence-preserving transformations. The technique is inspired by Bogoliubov’s treatment of superconductivity [56, 57] and the Nambu–Jona-Lasinio scheme [58] for the dynamical mass generation of nucleons, adapted here to the case of fields with Majorana mixing terms. The same results are obtained in Appendix A by using the direct procedure of Hamiltonian diagonalization. Furthermore, we discuss also the normalization and the orthogonality of the oscillating neutrino states. In Sect. 4 we view the results in a wider context, including the potential effects on the interpretation of the KATRIN and PTOLEMY experiments, in which the neutrinos are non-relativistic.
2 Lagrangian description of seesaw mechanism
We consider a mixed seesaw mechanism for one generation of neutrinos, with the Lagrangian:
where \(m_D\), \(m_R\), and \(m_L\) are real parameters satisfying \(m_L\ll m_D\ll m_R\) and C is the charge conjugation matrix (see, for example, [54, 55, 59,60,61]).Footnote 1 The field \(\nu _L(x)\) is the active neutrino field which appears in charged- and neutral-current weak interactions. The field \(\nu _R(x)\) is a so-called sterile neutrino field, which does not carry any Standard Model quantum numbers.
The Lagrangian (2.1) is usually regarded as a classical object, with the fields \(\nu _L\) and \(\nu _R\) satisfying coupled equations of motion. The straightforward way to quantize the model starts by diagonalizing the Lagrangian, which becomes:
upon the change of variables
The unitary matrix U above has the form (Autonne-Takagi factorization)
where
and
The parameters \(\rho _1\) and \(\rho _2\) are chosen such that \(\rho _i^2=\pm 1\), with the role of compensating for a possible negative mass which can appear from the interplay of the values of the parameters \(m_D,m_L,m_R\). For example, \(\rho _2=1\) always, since \(\frac{1}{2}(m_R-m_L)+\frac{1}{2}\sqrt{(m_R-m_L)^2+4m_D^2}>0\). On the other hand, \(\rho _1=1\) if \(m_Rm_L\ge m_D^2\), while \(\rho _1=i\) if \(m_Rm_L\le m_D^2\).
The ordering \(m_L\ll m_D\ll m_R\) insures the seesaw property:
Typically, the left-handed Majorana mass \(m_L\) is generated also by a seesaw effect, for example by coupling the Standard Model lepton doublets with a SU(2) triplet of massive scalars, in which case \(m_L\approx \lambda \frac{v^{2}}{\Lambda }\), where \(\lambda \) is a coupling constant, v is the vacuum expectation value of the Higgs field of the Standard Model and \(\Lambda \) is a high-energy scale proportional to the mass of the triplet of scalars. When \(m_L\equiv 0\), we have the famous seesaw mechanism, nowadays called a type I seesaw. When \(m_D=m_R\equiv 0\), we may have a type II seesaw. Irrespective of the details, a high energy scale beyond the Standard Model (typically a GUT scale of \(10^{15}-10^{16}\) GeV) is considered to be responsible for the lightness of the observed neutrino masses in the seesaw mechanism.Footnote 2 The type I and III seesaw imply the existence of sterile neutrinos and their mixing with the active species, while in type II seesaw sterile neutrinos do not appear. The question about the realization in nature of the seesaw mechanism in any of its versions is open. nevertheless there are stringent cosmological bounds on the mixture of active-sterile neutrinos, mainly from analyses of Big Bang Nucleosynthesis [62,63,64] (see also [65]).
The fields \(\nu _1\) and \(\nu _2\) in (2.2) satisfy free Dirac equations with definite masses \(m_1\) and \(m_2\), as well as the constraints
since, from (2.3), it follows that
The system described by the Lagrangian (2.2) is straightforwardly quantized canonically as two independent, free, Majorana fields of different masses (see formulas (3.5) below).
For three generation mixing, we may assume that there are three sterileFootnote 3 right-handed neutrino fields \(\nu _{s_iR},\ s_i=s_1,s_2,s_3\) apart from the three active flavour ones \(\nu _{lL}, \ l=e,\mu ,\tau \). The Lagrangian is
where
and \(M_D\), \(M_L\), \(M_R\) are \(3\times 3\) complex non-diagonal mass matrices, the last two being symmetricalFootnote 4. If we present the Lagrangian as
where
the diagonalization is achieved by a unitary transformation
where V is a \(6\times 6\) unitary matrix, such that
The actual symbolic diagonalization of the \(6\times 6\) complex symmetric matrix M is very difficult, therefore in practical situations one makes simplifying assumptions. For example, in the case of type I seesaw, when \(M_L\equiv 0\) and all the entries of the matrix \(M_R\) are much larger in absolute value than all the entries of \(M_D\), then one can bring the mass matrix M to an approximate block diagonal form, with a \(3\times 3\) matrix \(M_{\hbox {light}}\approx -M_D^TM_R^{-1}M_D\) containing small mass parameters and a second \(3\times 3\) matrix \(M_{\hbox {heavy}}\approx M_R\) containing heavy masses. The bottom line is that three of the eigenvalues of the mass matrix M are tiny and three are very large.
The fields \(\nu _i,\ i=1,2,\ldots ,6\), satisfy the Majorana condition \(\nu _i=C{\bar{\nu }}_i^T\) and in terms of them the Lagrangian (2.12) is diagonal:
Again, the quantization of this system of free fields is trivial.
This procedure does not define unambiguously the flavour states associated to the flavour fields \(\nu _L\) and \(\nu _R\) which appear in (2.12). The fields \(\nu _L\) and \(\nu _R\) are regarded as interacting ones, with bilinear interactions given by the mass terms in (2.12). For interacting fields, one can not find a Fock representation [67, 68], consequently no “flavour states” associated to them [69]. Traditionally, here comes the Gribov–Pontecorvo conjecture that such states would be produced coherently, in the form of (1.1), and subsequently oscillate. It is by now common knowledge that this is a phenomenological definition of flavour states, without an exact derivation from QFT principles. It rather mimics the two- or three-level systems in quantum mechanics; nevertheless, the principles of quantum mechanical coherent superpositions of states can not be applied to the superposition of states of different systems, i.e. particles of different mass [70]. In what follows, we shall present a quantum field theoretical construction of coherent flavour states for seesaw neutrinos.
3 Oscillating neutrino states in the seesaw mechanism
The starting point of our proposed approach for defining coherent oscillating states is the general principle that all states of free particles in quantum field theory have to be generated by the action of a creation operator on the physical vacuum of the theory. In our prescription, the operator which fulfills this task is the creation operator of massless Standard Model neutrinos, acting on the vacuum of the massive physical neutrinos.
We saw in Sect. 2 that the mixing of fields for diagonalizing the Lagrangian does not provide a definition of coherent mixtures of states. In this section, we shall show that the diagonalization of the Hamiltonian will give us a handle to define the flavour neutrino states. We shall explain the conceptual and technical details using the one-generation seesaw model (2.1) and generalize the results for the three-generation model.
It is known that the flavour fields included in the charged current weak interactions do not admit a Fock representation in theories with nondiagonal neutrino mass terms [31] (see also [69]). According to Pontecorvo’s conjecture that is the basis of the traditional approach to neutrino oscillations, the flavour states are postulated by implementing the same unitary transformation among the massive neutrino states. This definition would be rigorous only if the massive states have the same mass, but in this limit the oscillations vanish. The problem is further complicated by the requirement of coherence.
In order to define states by the action of an operator on the vacuum, we have to employ the Hamiltonian formulation. The results of Hamiltonian diagonalization have to agree with those of Lagrangian diagonalization. The difference is that in the Lagrangian formalism we first diagonalize and then quantize, while in the Hamiltonian formalism we start with the quantization and then diagonalize.
3.1 Two inequivalent Fock representations
The classical Hamiltonian corresponding to the quadratic Lagrangian (2.1) is:
The fields \(\nu _L(x)\) and \(\nu _R(x)\) are coupled by their equations of motion, therefore they have to be treated as interacting fields, with the interaction terms proportional to \(m_D, m_L, m_R\):
Let us recall that in the Standard Model, all fermionic fields are initially introduced as massless fields, and some of them acquire mass by the Yukawa interaction through the Brout–Englert–Higgs (BEH) mechanism. This argument is extended to any model based on gauge theories (GUT, for example), in which fermionic fields appear at the beginning as massless multiplet representation of some Lie groups, and acquire mass by spontaneous symmetry breaking (SSB). In the same vein, we consider the fields \(\nu _L(x)\) and \(\nu _R(x)\) as originally massless, all the mass terms \(m_D, m_L, m_R\) appearing as effective expressions of an attractive interaction and SSB.
On the other hand, the Hamiltonian corresponding to the Lagrangian (2.2) is
where the two masses are given by (2.6), with the fields satisfying the free Dirac equations
as well as the Majorana conditions (2.8).
Since the Lagrangians (2.1) and (2.2) are equivalent, the Hamiltonians (3.1) and (3.3) must describe one and the same system. In the following, we shall exploit this equivalence.
The Hamiltonian (3.3), being in diagonal form, indicates that the system admits a Fock representation. The fields \(\nu _1\) and \(\nu _2\) are of Majorana type, and they are straightforwardly quantized canonically by imposing the equal-time anticommutation relations, which leads to the quantum fields
where \( E_{i{\text {p}}}=\sqrt{{\text {p}}^2+m_i^2},\ i=1,2\) and \(\lambda \) stands for the helicity. The spinors \(U_\lambda (m_i,\mathbf{p}), V_\lambda (m_i,\mathbf{p})\) are defined in Appendix B. The creation and annihilation operators satisfy the algebra
all the other anticommutators being zero. The Fock space of the model contains Majorana particle states with masses \(m_1\) and \(m_2\):
where \(|\Phi _0\rangle \) is the physical vacuum of the theory, satisfying
The mode expansion of the normally-ordered Hamiltonian reads:
which satisfies the axiom
On the other hand, the Hamiltonian (3.1) cannot be expanded in terms of creation and annihilation operators of the fields \(\nu _L(x)\) and \(\nu _R(x)\), because as interacting fields they do not admit a Fock representation (the separation into positive and negative energy modes is not relativistically invariant, since the fields do not satisfy the wave equation; see, e.g., [53]). What we can do, knowing that the Hamiltonian is constant in time, is to go to \(t=0\), namely to consider \(\nu _L(\mathbf{x},0)\) and \(\nu _R(\mathbf{x},0)\). The time dependency can be restored by the Heisenberg equations of motion
This is the standard procedure in the case of interacting fields, described, for example by Bjorken and Drell (see [71], Sect. 15.4).Footnote 5 Since \(\nu _{L,R}(\mathbf{x},t)\) as quantum fields have to satisfy the equal-time anticommutation relations, the procedure outlined above is equivalent to identifying at \(t=0\) the interacting fields \(\nu _{L,R}(\mathbf{x},0)\) with the free massless fields \(\psi _{L,R}(\mathbf{x},0)\), which satisfy the Weyl equations:
Namely, we are allowed to write formally (see also [58, 78]):
where, in the helicity basis (see Appendix B for the definitions of the spinors),
The operators \(a_{\downarrow }(\mathbf{p}), b_{\uparrow }(\mathbf{p}), c_{\uparrow }(\mathbf{p}), d_{\downarrow }(\mathbf{p})\) annihilate the vacuum \(|0\rangle \) of the fields \(\psi _{L,R}\), which we call the massless neutrino vacuum,
and satisfy ordinary anticommutation relations:
all the other anticommutators being zero. The states
represent the massless left-helicity neutrino and right-helicity antineutrino states, corresponding to the active field \(\psi _L\). Since the field \(\psi _L(x)\) coincides with the Standard Model flavour neutrino field, to the states (3.17) we assign the lepton numbers \(+1\) and \(-1\), respectively. The states
represent the massless right-helicity neutrino and left-helicity antineutrino, corresponding to the bare sterile field \(\psi _R\). Altogether, the states created from the vacuum \(|0\rangle \) form the Fock representation of the massless Standard Model neutrino fields.
We emphasize once more that the operators \(a_{\downarrow }(\mathbf{p}), b_{\uparrow }(\mathbf{p}), c_{\uparrow }(\mathbf{p}), d^\dagger _{\downarrow }(\mathbf{p})\) are not annihilation operators for the physical vacuum \(|\Phi _0\rangle \) defined by (3.10).
Using (3.14) in (3.1), we find, with the help of the relations (B.16):
One can verify that
but
which confirms once more that the bare vacuum \(|0\rangle \) and the physical vacuum \(|\Phi _0\rangle \) are different.
To summarize, we have expressed the Hamiltonian of see-saw mechanism, corresponding to the Lagrangian (2.1), in two equivalent forms, (3.9) and (3.19). We have used for this two inequivalent sets of creation and annihilation operators, corresponding i) to the Fock representations of massive neutrinos with the vacuum \(|\Phi _0\rangle \) and ii) to the massless SM neutrinos, with the vacuum \(|0\rangle \). Between the two sets of operators there are relations, called Bogoliubov transformations, that we will establish using (2.3), (3.5), (3.13) and (3.14).
3.2 Bogoliubov transformations
To find the Bogoliubov transformationsFootnote 6, we use first (3.13) to define a new set of massless free fields, \(\psi _{1L}(x),\psi _{2L}(x)\), by the following sequence of equalities:
with the mixing matrix U given by (2.4). As massless chiral fields, \(\psi _{1L}(x),\psi _{2L}(x)\) satisfy also the Weyl equation
and are expanded as:
Using the second equality in (3.22) and (3.24), we find immediately:
It is straightforward to check, using (3.15) and (3.16), that
all the other anticommutators being zero, as well as
The rotations (3.25) and (3.26) are transformations in the Fock space of massless particles, mixing massless neutrinos (active and sterile) with definite lepton number into massless neutrinos with undefined lepton number. This is a genuine change of basis in the one-particle Hilbert space that underlies the Fock space. We emphasize that by such a transformation we obtain a coherent superposition of particle states of identical mass.Footnote 7
Then we rewrite (2.3) at \(t=0\):
Comparing (3.22) with (3.29), we find
where \(\psi _{iL}\) are free massless fields and \(\nu _{iL}\) are L-chiral components of free massive Majorana fields. Naturally, Eq. (3.30) is satisfied operatorially only at \(t=0\), because the two sets of fields evolve in time with different Hamiltonians.
Using the mode-expansions (3.5) and (3.24) in (3.30), we find the equations
where we used the Majorana-extensions \(\psi _i=\psi _{iL}+C{\bar{\psi }}_{iL}^T\), \(i=1,2\). Multiplying from the left the first equation by \(U^\dagger _{\lambda '}(m_1,\mathbf{p})\) and the second by \(U^\dagger _{\lambda '}(m_2,\mathbf{p})\), we obtain:
Using the formulas in Appendix B, we bring the Bogoliubov transformations to the form:
where \(\alpha _{i{\text {p}}},\ \beta _{i{\text {p}}}\), \(i=1,2\), are real coefficients of the form
satisfying
This ensures the compatibility between the canonical anticommutation relations (3.6) and (3.27).
Using the Bogoliubov transformations (3.33), we can find a formal relation between the bare vacuum \(|0\rangle \) and the physical vacuum \(|\Phi _0\rangle \). The latter is a superposition of zero-momentum and zero-spin pairs of massless bare neutrinos:
The normalization constant \({\mathcal {N}}\) and the coefficients \(R_{1{\text {p}}}\) and \(R_{2{\text {p}}}\) are determined by using (3.8) and the normalization condition \(\langle \Phi _0|\Phi _0\rangle =1\). Taking into account also the fermionic nature of the particles (the creation operators are nilpotent), we obtain:
If we express the products \(a_{1\lambda }^\dagger (\mathbf{p})a_{1\lambda }^\dagger (-\mathbf{p})\) and \(a_{2\lambda }^\dagger (\mathbf{p})a_{2\lambda }^\dagger (-\mathbf{p})\) in terms of the original operators \(a^\dagger _{\downarrow }(\mathbf{p}), b^\dagger _{\uparrow }(\mathbf{p}), c^\dagger _{\uparrow }(\mathbf{p}),d^\dagger _{\downarrow }(\mathbf{p})\) using the inverse of (3.25) and (3.26), we can see clearly that the vacuum state \(|\Phi _0\rangle \) violates the lepton number symmetry. At the same time, \(|\Phi _0\rangle \) preserves translational symmetry (the products have total momentum zero) and rotational invariance (the products have total spin zero). The Hamiltonian H in the form (3.9) annihilates it. The state \(|\Phi _0\rangle \) therefore satisfies the conditions for a physical vacuum [67].
Although the fields \(\psi _{1L}(x),\psi _{2L}(x)\) are massless, therefore Weyl, they can be regarded as “proto-Majorana” fields, in the sense that their creation and annihilation operators are directly connected by the Bogoliubov transformations (3.33) to those of the Majorana fields \(\nu _1(x),\nu _2(x)\).
The overlap of the two vacua, \(|0\rangle \) and \(|\Phi _0\rangle \), is
which vanishes as \(\exp \left[ -V\pi (m_1^2+m_2^2)\int d{ \mathbf{p}}/(2\pi )^3\right] \) in the infinite volume and infinite momentum limit:
In other words, the Fock space of massless flavour neutrinos is orthogonal to the Fock space of massive neutrinos. The two Fock representations of the canonical algebra are unitarily inequivalent.
In Appendix A, we confirm the results by starting from the nondiagonal form of the Hamiltonian (3.19) and bringing it to (3.9), without using at any point the information on mixing matrices and mass parameters obtained from the Lagrangian diagonalization. Although the method given in Appendix A emphasizes the physical meaning of the procedure, it is more tedious. In the general case of three generations, it becomes quite hard to apply. On the other hand, the method presented in this section is straightforward to generalize, as is done in the next section.
For the one-generation type I seesaw case, the analysis stops here. There are no oscillating particle states, because flavour oscillations cannot take place with a single flavour. Oscillations into sterile states involve a huge mass difference between the Majorana fields, which presents an unobservable oscillation frequency. However, the technical aspects detailed above are essential for the formulation of the oscillating neutrino states in the next section.
3.3 Three-generation seesaw model and oscillations
In the case of three-generation mixing, we can define oscillating neutrino states. Just as in the case of Lagrangian diagonalization, the concrete analytical expressions of the \(6 \times 6\) mixing matrix and of the diagonal mass matrix are practically impossible to find. Nevertheless, as it will be seen, the symbolical calculations lead to exact results, up to the precise form of the mass parameters. We consider the most general case, which allows also for CP violation.
We start with the Lagrangian (2.10) and find the corresponding Hamiltonian. We treat the fields \(\nu _L\) and \(\nu _R\) in (2.11) as chiral massless fields, with interactions given by the mass terms. Just as in the one-generation case (see Eq. (3.13)), we identify
Assuming the mode expansions of the bare active and sterile massless fields to be
the Hamiltonian will have, analogously to (3.19), a non-diagonal form in the massless creation and annihilation operators. For its diagonalization, one defines first proto-Majorana massless fields analogous to (3.22), by the rotation
where the matrix V is the one that diagonalizes the Lagrangian (see Eq. (2.14)), such that
From (3.41 – 3.43), we obtain the relations
The next step is to make use of (2.14) and (3.42), in order to relate the massless proto-Majorana fields \(\psi _{i}(x)\) and the massive Majorana fields \(\nu _{i}(x)\) at \(t=0\):
where
and
with \( E_{i{\text {p}}}=\sqrt{{\text {p}}^2+m_i^2},\) and
all the other anticommutators being zero. The masses \(m_i\) are the elements of the diagonal mass matrix defined in (2.15). Using (3.45), (3.47) and (3.43), we find immediately the Bogoliubov transformations:
with
The flavour number violating physical vacuum \(|\Phi _0\rangle \), satisfying \(A_{i\lambda }(\mathbf{p})|\Phi _0\rangle =0, i=1,2,\ldots ,6\), is formally a condensate of spinless and zero-momentum pairs of massless neutrinos and anti-neutrinos:
3.4 Definition of the oscillating neutrino states
Our proposed prescription for defining the oscillating neutrino states is to use the action of the SM flavour neutrino operators \(a_{l{\downarrow }}^\dagger (\mathbf{p}), b_{l{\uparrow }}^\dagger (\mathbf{p})\) on the physical vacuum \(|\Phi _0\rangle \). Through the Schrödinger picture identification (3.40), these operators are connected to the Majorana neutrino field \(\nu _{lL}(x)\). The physical motivation for this choice is that those operators, acting on their own Fock space vacuum \(|0\rangle \), create the SM neutrino states, which carry the flavour quantum number. Moreover, in the limit in which the lepton number-violating and flavour-violating interaction vanishes, the proposed oscillating neutrino states reduce to the SM flavour states, as the vacuum \(\vert \Phi _0 \rangle \) also reduces to the vacuum \(\vert 0 \rangle \).
We emphasize once more that the operators \(a_{l{\downarrow }}^\dagger (\mathbf{p})\) cannot create one-particle Fock states from the physical vacuum. Instead they create coherent superpositions of massive Fock states. By inverting (3.44) and (3.49), we find
If we introduce the diagonal matrix
with \( \alpha _{i{\text {p}}}\) given by (3.343.50A.14), then, if the massive fields are mixed with the unitary mixing matrix V, the massive states are mixed coherently with the non-unitary mixing matrix \({\varvec{\alpha }}({\text {p}}) V^*\) in order to create left-helicity neutrinos and with the matrix \({\varvec{\alpha }}({\text {p}}) V\) to create right-helicity (anti)neutrinos. One can confirm that the oscillating neutrino/antineutrino states of different flavour and same momentum overlap, even without taking into account the smallness of the mixing coefficients of the heavy states:
and their norm is subunitary:
In principle, the oscillating states can be normalized, but at this point we do not see any physical reason to do it. Note that the overlap of different states, though negligible with respect to the accuracy of the present oscillation experiments in the ultrarelativistic limit of the light neutrinos, cannot be removed via normalization. The overlap is a direct consequence of the coherence of the states.
The properties (3.54) and (3.55) underline the fact that the relations (3.52) do not represent a change of basis between the mass eigenstates and some “weak eigenstates.”
For type II seesaw, when there are only three light neutrinos and no super-massive states, the unitary mixing matrix V is \(3\times 3\) and the transition probability for flavour oscillations is given in the ultrarelativistic limit by
where E is the energy of the neutrinos and L is the source-detector distance.
For type I seesaw, the contribution of the very heavy neutrino states to the transition probability is vanishingly small, because the coefficients \(V_{lk}\), when \(m_k\) is very large, are negligible compared to the mixing coefficients for the light states. The multiplication by \(\alpha _{k{\text {p}}}\) reduces \(V_{lk}\) even more (effectively by a factor \(1/\sqrt{2}\), when \({\text {p}}\ll m_k\)). Thus, we have
where the matrix N is the \(3\times 3\) upper left quadrant of the matrix V, namely the part which mixes the light neutrino fields.
As far as CP violation is concerned, let us note that the real “coherence factors” \(\alpha _{i{\text {p}}}\) do not modify the Dirac or Majorana CP violating phases, which are solely due to the fields mixing matrix V. Nevertheless, the absolute values of the mixing coefficients of states are modified depending on the momenta of the neutrinos. The analysis of CP violation with either Dirac or Dirac and Majorana phases remains the same as in the traditional approach [72,73,74,75,76,77].
4 Discussion and outlook
The current neutrino oscillation paradigm asserts that neutrinos undergo flavour oscillations if the flavour states are superpositions of mass eigenstates and if the superpositions are coherent. In this paper, we have explored the prescription for defining intrinsically coherent oscillating neutrino states earlier proposed in [25, 26], within the context of the seesaw mechanism. The Majorana character of the particles that mix adds an extra layer of complication, as the vacuum violates fermionic number, as well as flavour. We have thus confirmed that the coherent flavour neutrino states have the universal and simple form (1.3), irrespective of the Dirac or Majorana character of the neutrinos. The coherence factors are Bogoliubov coefficients relating the two natural Fock spaces (one fictitious – the massless flavour space, and one physical – the massive neutrino space) involved in the definition of the respective oscillating states.
In essence, the possibility of defining the oscillating neutrino states according to the present scheme is directly related to the structure of the vacuum of the physical massive neutrinos, as a condensate of Cooper-like pairs of massless SM flavour neutrinos. Expressed in this way, the vacuum clearly exhibits the fermion number violation, as well as the flavour violation, while retaining its Poincaré invariance, as it should. This is a manifestation of Coleman’s theorem [81], according to which in a relativistic quantum field theory, the invariance of the vacuum is the invariance of the world. The condensation of massless neutrinos is formally achieved by the attractive Yukawa interaction that leads to mass generation (either Dirac mass, through the SM Brout–Englert–Higgs mechanism, or Majorana mass, through a triplet Higgs interaction, as in type II seesaw). The interplay of two vacua and the interpretation of the Majorana neutrino as a Bogoliubov quasiparticle have been explored also in earlier papers [27, 39,40,41].
Unlike the quantum mechanical coherent states [50,51,52], which are superpositions of an infinite number of particle states, the oscillating coherent states of neutrinos are not eigenstates of the annihilation operator. On the other hand, they share the characteristic non-orthogonality, meaning that two coherent states are never completely disjoint. As a result, there exists the so-called zero-distance flavour conversion, where any electron neutrino state, for example, has a tiny overlap with the muon neutrino and tau neutrino. Such an effect is well-known in the case of type I (and III) seesaw scheme (see, for example, [79, 80]), but in our prescription it appears for all the Majorana or Dirac neutrino oscillations. A similar general overlap at zero-distance is encountered in the phenomenological definition of production and detection flavour neutrino states [29, 33]. The amount of non-orthogonality of the coherent oscillating states in the present scheme depends on the energy of the states, being small for ultrarelativistic neutrino. Since hitherto the oscillation experiments have been performed with ultrarelativistic neutrinos, such departures from unitarity are far beyond the sensitivity of the current observations.
In this connection, we would like to emphasize that zero-distance conversion, even in the absence of sterile neutrinos, does not violate any physical principle. Since the neutrinos are not directly observed in experiments, it is customary to identify the flavour neutrinos by the emitted charged lepton, which are detected (see, for example [31]). This is a justifiable phenomenological approach for interpreting the experimental data within the present accuracy levels. Nevertheless, it is a working definition and not a law. The fact that zero-distance conversion has not been observed is due to experimental limitations, and not to a physical principle which would impose that flavour states ought to be orthogonalFootnote 8. Consequently, the possibility of zero-distance conversion among different flavours is not theoretically excluded.
Since the coherence factors are significant for non-relativistic neutrinos, the present approach could be relevant for the analysis of low-energy neutrino experiments, like the measurement of the absolute mass of the electron neutrino in the KATRIN experiment [82], or the planned PTOLEMY [83] experiment for the detection of the Cosmic Neutrino Background. At a conceptual level, our results show that the coherence of oscillating neutrino states can be formulated using a strictly quantum field theoretical scheme, without invoking wave packets and other quantum mechanical notions. This will shed a new light on neutrinos in cosmology [84], namely on the analysis of astrophysical neutrino processes, where the coherence and decoherence are essential [85,86,87,88]. Nevertheless, the issue of coherence is much more vast than what we have presented in this paper. A deeper understanding of it requires a better insight into the nature of the oscillating flavour states. Even if the wave packets turn out to be a necessary tool in any formulation of particle oscillations for reasons of localization, this prescription provides a solution for the coherence among packets, which is taken as an assumption in other approaches. It is perhaps worth recalling that the coherence in the wave packet formulation still depends essentially on the assumption that the wave packets travel in the same direction, which cannot be taken for granted if the emissions of massive neutrinos are independent processes.
This discussion indicates that the next natural step of this research is to formulate the interaction mechanism for the coherent oscillating states. It is necessary to know how they are produced in charged (and even neutral) current interactions also in order to assess the Lorentz invariance and unitarity of the oscillation process as a whole. For example, the prescription presented in this paper strictly assigns equal momenta to the mass eigenstates forming an oscillating state. Apparently this may spoil Lorentz invariance. However, we note that in this scheme, the annihilation operators for massless neutrinos, acting on the vacuum of massive neutrinos, also create other coherent states, whose superposition coefficients are proportional to the Bogoliubov coefficients \(\beta _i\), that are negligibly small for ultrarelativistic neutrinos. When considering the production of the oscillating states, however, all the contributions have to be taken into account, and this is likely to render the process as a whole Lorentz covariant and unitary. Further research will settle these essential aspects.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Theoretical work involving no data.]
Notes
This choice of real mass parameters implies conservation of CP symmetry. The most general case is when all three masses are complex. However, two of the phases can be absorbed by rephasing the fields \(\nu _L\) and \(\nu _R\), which leaves only one CP violating Majorana phase. The diagonalization of (2.1) with complex \(m_L\) can be found, for example, in [54]. For our purposes, it is sufficient to consider the CP even case.
Due to the sensitivity of the quantum corrections of the Higgs particle mass to the high-energy seesaw scale, there appears inevitably a hierarchy problem, which implies a rather drastic fine tuning of the Yukawa couplings. On the other hand, there are models in which the high-energy scale is pushed down to TeV level or even lower, but in those cases the smallness of neutrino masses cannot be attributed to a seesaw effect.
There is no stringent reason to assume that the number of sterile fields is equal to the number of active fields. We do it here in order to make the technical aspects more transparent, but all the results can be derived also with an arbitrary number of sterile fields.
The notation \((\nu _L)^c\) is just a short-hand and we do not attribute it the meaning of charge conjugation operation for the chiral fields, for reasons elaborated upon in [66].
Regarding \(\nu _{L,R}(\mathbf{x},t)\) as Heisenberg fields and \(\nu _{L,R}(\mathbf{x},0)\) as Schrödinger fields, Eq. (3.11) represents the connection between the Heisenberg and Schrödinger pictures.
This is analogous to the procedure used in the Nambu–Jona-Lasinio model according to the original paper [58]. The essential difference is that in the case of neutrinos, the massless fields will need to be mixed before applying the scheme.
The situation is similar to the fact that, to this day, right-helicity neutrinos have not been detected, due to the suppression by a factor \(m_i^2/{\text {p}}^2\) by comparison with their left-helicity counterparts. Nevertheless, the existence of neutrino mass implies their existence.
References
S.M. Bilenky, Neutrinos: Majorana or Dirac? Universe 6(9), 134 (2020). arXiv:2008.02110 [hep-ph]
P. Minkowski, \(\mu \rightarrow e+\gamma \) at a rate of one out of \(10^{9}\) muon decays? Phys. Lett. B 67, 421 (1977)
T. Yanagida, Horizontal Gauge Symmetry and Masses of Neutrinos. In Proceedings of Workshop on Unified Theory and Baryon Number in the Universe, ed. by O. Sawada, A. Sugamoto (KEK report 79-18, 1979)
T. Yanagida, Horizontal symmetry and masses of neutrinos. Prog. Theor. Phys. 64(3), 1103–1105 (1980)
M. Gell-Mann, P. Ramond, R. Slansky, Complex Spinors and Unified Theories in Supergravity. ed. by P. van Nieuwenhuizen, D.Z. Freedman (North-Holland, Amsterdam, 1979), p. 315
S.L. Glashow, The future of elementary particle physics. NATO Sci. Ser. B. 61, 687 (1980)
R.N. Mohapatra, G. Senjanovic, Neutrino mass and spontaneous parity nonconservation. Phys. Rev. Lett. 44, 912 (1980)
R. Foot, H. Lew, X.G. He, G.C. Joshi, See-saw neutrino masses induced by a triplet of leptons. Z. Phys. C 44, 441 (1989)
E. Ma, U. Sarkar, Neutrino masses and leptogenesis with heavy Higgs triplets. Phys. Rev. Lett. 80, 5716 (1998)
W. Konetschny, W. Kummer, Nonconservation of total lepton number with scalar bosons. Phys. Lett. B 70, 433 (1977)
T.P. Cheng, L.F. Li, Neutrino masses, mixings and oscillations in \(SU(2) \times U(1)\) models of electroweak interactions. Phys. Rev. D 22, 2860 (1980)
R.N. Mohapatra, G. Senjanovic, Neutrino masses and mixings in gauge models with spontaneous parity violation. Phys. Rev. D 23, 165 (1981)
J. Schechter, J.F. Valle, Neutrinoless double-\(\beta \) decay in \(SU(2)\times U(1)\) theories. Phys. Rev. D 25, 2951 (1982)
A. Segarra, J. Bernabéu, Absolute neutrino mass and the Dirac/Majorana distinction from the weak interaction of aggregate matter. Phys. Rev. D 101(9), 093004 (2020). arXiv:2001.05900 [hep-ph]
S. Weinberg, Baryon- and lepton-nonconserving processes. Phys. Rev. Lett. 43, 1566 (1979)
M. Fukugita, T. Yanagida, Baryogenesis without grand unification. Phys. Lett. B 174, 45–47 (1986)
Z. Xing, Neutrino physics. In Proceedings of the 1st Asia-Europe-Pacific School of High-Energy Physics (AEPSHEP) (2012). arXiv:1406.7739 [hep-ph] (published in CERN Yellow Report CERN-2014-001,177-217)
M. Gell-Mann, A. Pais, Behavior of neutral particles under charge conjugation. Phys. Rev. 97, 1387 (1955)
A. Pais, O. Piccioni, Note on the Decay and Absorption of the \(\theta ^0\). Phys. Rev. 100, 1487 (1955)
B. Pontecorvo, Mesonium and anti-mesonium. Sov. Phys. JETP 6, 429 (1957)
B. Pontecorvo, Inverse beta processes and nonconservation of lepton charge. Sov. Phys. JETP 7, 172 (1958)
V.N. Gribov, B. Pontecorvo, Neutrino astronomy and lepton charge. Phys. Lett. B 28, 493 (1969)
S.M. Bilenky, B. Pontecorvo, Lepton mixing and neutrino oscillations. Phys. Rept. 41, 225–261 (1978)
S.M. Bilenky, S. Petcov, Massive neutrinos and neutrino oscillations. Rev. Mod. Phys. 59, 671 (1987)
A. Tureanu, Quantum field theory of particle oscillations: neutron-antineutron conversion. Phys. Rev. D 98, 015019 (2018). arXiv:1804.06433 [hep-ph]
A. Tureanu, Can oscillating neutrino states be formulated universally? Eur. Phys. J. C 80(1), 68 (2020). arXiv:1902.01232 [hep-ph]
L.N. Chang, N.P. Chang, Structure of the vacuum and neutron and neutrino oscillations. Phys. Rev. Lett. 45, 1540 (1980)
C. Giunti, C.W. Kim, U.W. Lee, Remarks on the weak states of neutrinos. Phys. Rev. D 45, 2414 (1992)
C. Giunti, C.W. Kim, J.A. Lee, U.W. Lee, On the treatment of neutrino oscillations without resort to weak eigenstates. Phys. Rev. D 48, 4310 (1993). arXiv:hep-ph/9305276
W. Grimus, P. Stockinger, Real oscillations of virtual neutrinos. Phys. Rev. D 54, 3414 (1996). arXiv:hep-ph/9603430
S.M. Bilenky, C. Giunti, Lepton numbers in the framework of neutrino mixing. Int. J. Mod. Phys. A 16, 3931–3949 (2001). arXiv:hep-ph/0102320 [hep-ph]
C. Giunti, Neutrino wave packets in quantum field theory. JHEP 11, 017 (2002). arXiv:hep-ph/0205014
C. Giunti, Neutrino flavor states and the quantum theory of neutrino oscillations. J. Phys. G Nucl. Part. Phys. 34, R93 (2007). arXiv:hep-ph/0608070
M. Beuthe, Oscillations of neutrinos and mesons in quantum field theory. Phys. Rept. 375, 105 (2003). arXiv:hep-ph/0109119
C. Giunti, Fock states of flavor neutrinos are unphysical. Eur. Phys. J. C, 377–382 (2005)
E.K. Akhmedov, A.Y. Smirnov, Paradoxes of neutrino oscillations. Phys. At. Nucl. 72, 1363 (2009). arXiv:0905.1903 [hep-ph]
E.K. Akhmedov, J. Kopp, Neutrino oscillations: quantum mechanics vs. quantum field theory. JHEP 1004, 008 (2010). arXiv:1001.4815 [hep-ph]
E. Akhmedov, J. Kopp, M. Lindner, Collective neutrino oscillations and neutrino wave packets. JCAP 09, 017 (2017). arXiv:1702.08338 [hep-ph]
K. Fujikawa, A. Tureanu, Majorana Neutrino as Bogoliubov quasiparticle. Phys. Lett. B 774, 273 (2017). arXiv:1708.01438 [hep-ph]
K. Fujikawa, A. Tureanu, Majorana neutrino in seesaw mechanism and Bogoliubov quasiparticle. Phys. Rev. D 97, 055042 (2018). arXiv:1709.04706 [hep-ph]
K. Fujikawa, Majorana neutrino and the vacuum of Bogoliubov quasiparticle. Phys. Lett. B 781, 295–301 (2018). arXiv:1801.06960 [hep-th]
W. Grimus, Revisiting the quantum field theory of neutrino oscillations in vacuum. J. Phys. G 47(8), 085004 (2020). arXiv:1910.13776 [hep-ph]
E. Ciuffoli, J. Evslin, H. Mohammed, Approximate neutrino oscillations in the vacuum. Eur. Phys. J. C 81(4), 325 (2021). arXiv:2001.03287 [hep-ph]
K. Fujikawa, Path integral of neutrino oscillations (2009). arXiv:2009.08082 [hep-ph]
S. Nussinov, Solar neutrinos and neutrino mixing. Phys. Lett. B 63, 201 (1976)
B. Kayser, On the quantum mechanics of neutrino oscillation. Phys. Rev. D 24, 110 (1981)
Y. Farzan, A.Y. Smirnov, Coherence and oscillations of cosmic neutrinos. Nucl. Phys. B 805, 356 (2008). arXiv:0803.0495 [hep-ph]
A.D. Dolgov, O.V. Lychkovskiy, A.A. Mamonov, L.B. Okun, M.G. Schepkin, Neutrino wave function and oscillation suppression. Eur. Phys. J. C 44, 431 (2005). arXiv:hep-ph/0506203
Y.P. Porto-Silva, A.Y. Smirnov, Coherence of oscillations in matter and supernova neutrinos. JCAP 06, 029 (2021). arXiv:2103.10149 [hep-ph]
J. Klauder, The action option and a Feynman quantization of spinor fields in terms of ordinary c-numbers. Ann. Phys. 11, 123 (1960)
E.C.G. Sudarshan, Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams. Phys. Rev. Lett. 10, 277 (1963)
R.J. Glauber, Coherent and incoherent states of the radiation field. Phys. Rev. 131, 2766 (1963)
N.N. Bogoliubov, D.V. Shirkov, Quantum Fields (Benjamin/Cummings, San Francisco, 1983)
C. Giunti, C.W. Kim, Fundamentals of Neutrino Physics and Astrophysics (Oxford University Press, Oxford, 2007)
S. Bilenky, Introduction to the Physics of Massive and Mixed Neutrinos, Lect. Notes. Phys., vol. 817 (Springer, Berlin, Heidelberg, 2010)
N.N. Bogoliubov, A new method in the theory of superconductivity. I. J. Exp. Theor. Phys. (U.S.S.R.) 34, 58 (1958)
N.N. Bogoliubov, V.V. Tolmachev, D.V. Shirkov, A Method in the Theory of Superconductivity (Academy of Sciences of U.S.S.R, Moscow, 1958)
Y. Nambu, G. Jona-Lasinio, Dynamical model of elementary particles based on an analogy with superconductivity. I. Phys. Rev. 122, 345 (1961)
R. Mohapatra, P. Pal, Massive Neutrinos in Physics and Astrophysics (World Scientific, Singapore, 1991)
M. Fukugita, T. Yanagida, Physics of Neutrinos and Application to Astrophysics (Springer, Berlin, Heidelberg, 2002)
J.W.F. Valle, J. Romao, Neutrinos in High Energy and Astroparticle Physics (Wiley-VCH, Weinheim, 2015)
R. Barbieri, A. Dolgov, Bounds on Sterile-neutrinos from Nucleosynthesis. Phys. Lett. B 237, 440–445 (1990)
A.D. Dolgov, Restrictions on neutrino oscillations from BBN: Nonresonant case. Phys. Lett. B 506, 7–12 (2001). arXiv:hep-ph/0006103
A.D. Dolgov, F.L. Villante, BBN bounds on active sterile neutrino mixing. Nucl. Phys. B 679, 261–298 (2004). arXiv:hep-ph/0308083
K. Kainulainen, Light singlet neutrinos and the primordial nucleosynthesis. Phys. Lett. B 244, 191–195 (1990)
K. Fujikawa, A. Tureanu, Seesaw mechanism and pseudo C-symmetry. Eur. Phys. J. C 79(9), 752 (2019). arXiv:1811.01509 [hep-ph]
R.F. Streater, A.S. Wightman, PCT, Spin and Statistics, and All That (Benjamin, New York, 1964)
F. Strocchi, An Introduction to Non-Perturbative Foundations of Quantum Field Theory (Oxford University Press, Oxford, 2013)
A. Tureanu, Comment on the Comment on the paper Can oscillating neutrino states be formulated universally? (2005). arXiv:2005.02219 [hep-ph]
A. Tureanu, Intrinsic quantum coherence in particle oscillations, PoS ICHEP2020, 672 (2021). arXiv:2012.14866 [hep-ph]
J.D. Bjorken, S.D. Drell, Relativistic Quantum Fields (McGraw Hill, New York, 1965)
S.M. Bilenky, J. Hošek, S.T. Petcov, On oscillations of neutrinos with Dirac and Majorana masses. Phys. Lett. B 94, 495–498 (1980)
M. Doi, T. Kotani, H. Nishiura, K. Okuda, E. Takasugi, CP Violation in Majorana Neutrinos. Phys. Lett. B 102, 323–326 (1981)
J. Bernabeu, P. Pascual, CP properties of the leptonic sector for Majorana neutrinos. Nucl. Phys. B 228, 21–30 (1983)
S.M. Bilenky, S. Pascoli, S.T. Petcov, Majorana neutrinos, neutrino mass spectrum, CP violation and neutrinoless double beta decay. 1. The Three neutrino mixing case. Phys. Rev. D 64, 053010 (2001). arXiv:hep-ph/0102265
A. de Gouvea, B. Kayser, R.N. Mohapatra, Manifest CP Violation from Majorana Phases. Phys. Rev. D 67, 053004 (2003). arXiv:hep-ph/0211394 [hep-ph]
Z. Xing, Properties of CP violation in neutrino-antineutrino oscillations. Phys. Rev. D 87(5), 053019 (2013). arXiv:1301.7654 [hep-ph]
H. Umezawa, Y. Takahashi, S. Kamefuchi, The mass levels and the broken symmetry in terms of inequivalent representations. Ann. Phys. 26, 336 (1964)
F.J. Escrihuela, D.V. Forero, O.G. Miranda, M. Tortola, J.W.F. Valle, On the description of non-unitary neutrino mixing. Phys. Rev. D 92, 053009 (2015). arXiv:1503.08879 [hep-ph]
D.V. Forero, C. Giunti, C.A. Ternes, M. Tortola, Non-unitary neutrino mixing in short and long-baseline experiments. Phys. Rev. D 104(7), 075030 (2021). arXiv:2103.01998 [hep-ph]
S. Coleman, The invariance of the vacuum is the invariance of the world. J. Math. Phys. 7, 787 (1966)
M. Aker et al. [KATRIN], First operation of the KATRIN experiment with tritium. Eur. Phys. J. C 80(3), 264 (2020). arXiv:1909.06069 [physics.ins-det]
M.G. Betti et al. (PTOLEMY collab.), Neutrino physics with the PTOLEMY project: active neutrino properties and the light sterile case. JCAP 07, 047 (2019). arXiv:1902.05508v3 [astro-ph.CO]
A.D. Dolgov, Neutrinos in cosmology. Phys. Rept. 370, 333 (2002). arXiv:hep-ph/0202122
J. Kersten, A.Y. Smirnov, Decoherence and oscillations of supernova neutrinos. Eur. Phys. J. C 76(6), 339 (2016). arXiv:1512.09068 [hep-ph]
G. Barenboim, W.H. Kinney, W.I. Park, Flavor versus mass eigenstates in neutrino asymmetries: implications for cosmology. Eur. Phys. J. C 77(9), 590All (2017). arXiv:1609.03200 [astro-ph.CO]
G. Barenboim, Flavor versus mass eigenstates in neutrino asymmetries (a question of coherence), contribution to the 1st Workshop on Phenomenology for Particle and Anti-Particle (PPAP2018, 2018), pp. 19–23
Y.P. Porto-Silva, A.Y. Smirnov, Coherence of oscillations in matter and supernova neutrinos. JCAP 06, 029 (2021). arXiv:2103.10149 [hep-ph]
Acknowledgements
We are grateful to José Bernabeu, Masud Chaichian and Kazuo Fujikawa for useful comments.
Author information
Authors and Affiliations
Corresponding author
Appendices
A Seesaw Hamiltonian diagonalization
The results of Sect. 3 can be obtained also by the procedure of Hamiltonian diagonalization, without using at all the information provided by the Lagrangian diagonalization briefly reviewed in Sect. 2. Below we sketch the steps of this procedure. We use the notations of Sect. 3.
We start from the Hamiltonian in the form (3.19), which we copy below for facilitating the reading:
Without knowing a priori that this Hamiltonian can be diagonalized, we can attempt to achieve the diagonalization by using canonical transformations of the massless particle creation and annihilation operators. The first priority is to isolate the terms with mixed operators, namely those which are proportional to \(m_D\) in (A.1). This is achieved by a unitary transformation
where the angle \(\theta \) is arbitrary and will be later fixed by the requirement of eliminating the mixed products, while \(\rho _1\) and \(\rho _2\) are phases which will be fixed by the requirement that the physical masses be positive (Autonne–Takagi factorization of a \(2\times 2\) unitary matrix).
Let us focus on the left-helicity operators in the Hamiltonian (A.1) and see what is the effect of this canonical transformation. We have:
As a result, we find that
as well as
To eliminate the combinations \(a_{1{\downarrow }}^\dagger a_{2{\downarrow }}^\dagger \), we request the corresponding coefficient in (A.5) to vanish. Note that \(a_{2{\downarrow }}^\dagger (\mathbf{p})a_{1{\downarrow }}^\dagger (-\mathbf{p}) = a_{1{\downarrow }}^\dagger (\mathbf{p})a_{2{\downarrow }}^\dagger (-\mathbf{p})\) due to both the commutation relations of the creation operators as well as the spinor structure of the Hamiltonian (3.1). Hence,
leading to
Note that we obtained, as expected, the same angle \(\theta \) as the one found in the process of Lagrangian diagonalization, Eq. (2.5).
The coefficient of \(ia_{1{\downarrow }}^\dagger (\mathbf{p})a_{1{\downarrow }}^\dagger (-\mathbf{p})\) is interpreted as a mass:
Same for the coefficient of \(ia_{2{\downarrow }}^\dagger (\mathbf{p})a_{2{\downarrow }}^\dagger (-\mathbf{p})\):
In a similar manner, one expresses all the terms in (A.1) in terms of the operators \(a_{1\lambda }, a^\dagger _{1\lambda }\) and \(a_{2\lambda }, a^\dagger _{2\lambda }\).
The Hamiltonian, after the unitary transformation (3.44), becomes:
with real and positive parameters \(m_{1,2}\) once the factors \(\rho _{1,2}\) have been fixed to fulfill this condition. We note that the Hamiltonian (A.10) has exactly the form of the BCS Hamiltonian in the theory of superconductivity. It is well-known that such a Hamiltonian is diagonalized by Bogoliubov transformations. We will need two sets of such transformations,
where \(\alpha _{i{\text {p}}},\ \beta _{i{\text {p}}}\), \(i=1,2\) are complex coefficients to be determined. To find them, we make the ansatz that the Hamiltonian (A.10), after applying the transformations (A.11), becomes
Plugging in (A.12) the transformations (A.11), we find that the two forms of the Hamiltonian coincide if
This system is solved by
In conclusion, the method of Hamiltonian diagonalization presented above gives identical results with the method presented in Sect. 3. While the idea of diagonalizing the Hamiltonian is physically transparent, it is however technically more tedious. Nevertheless, it justifies the “shortcut” method described in Sect. 3.
To make an analogy with the dynamical generation of nucleon masses, the procedure for establishing the vacuum structure described in Sect. 3 is analogous with the one presented by Nambu and Jona-Lasinio [58], while the procedure described in this appendix is analogous to the one detailed by Umezawa, Takahashi and Kamefuchi in [78].
B Conventions for spinors
We work with the chiral representation of the \(\gamma \)-matrices:
where \(\sigma ^0={{\mathbf {1}}}_{2\times 2}\) and \(\sigma ^i\), \(i=1,2,3\) are the Pauli matrices. The charge conjugation matrix is
with the properties: \(C^T=C^\dagger =-C\).
The solution of the Dirac equation
is written in mode expansion as
where \(\lambda =\pm {\frac{1}{2}}\) are the helicity eigenvalues and \(p_0= E_{\text {p}}=\sqrt{{\text {p}}^2+m^2}\), with the notation \(\text {p}=|\mathbf{p}|\). The spinors \(U_\lambda (m,\mathbf{p})\) and \(V_\lambda (m,\mathbf{p})\) are helicity eigenvectors,
with the spin matrix
We also employ the notation
and similar for \(v_\lambda (\mathbf{p})\). The left- and right-handed helicity spinors read:
and
where the symbol \(\uparrow \) denotes the right-handed spinor, while \(\downarrow \) denotes the left-handed spinor. We use the helicity basis
with \(\theta \) and \(\phi \) being the polar and azimuthal angles of the momentum vector,
\(\mathbf{p}=(\text {p}\sin \theta \cos \phi ,\ \text {p}\sin \theta \sin \phi ,\ \text {p}\cos \theta )\). The basis spinors \(\chi _\lambda \) and \(\eta _\lambda \) satisfy
and are normalized as
We note as well the relations:
The helicity spinors are normalized as
and satisfy the relations:
as well as
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Kupiainen, T., Tureanu, A. Seesaw, coherence and neutrino oscillations. Eur. Phys. J. C 81, 1092 (2021). https://doi.org/10.1140/epjc/s10052-021-09819-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09819-w