Abstract
The eigenvector-eigenvalue identities areexpanded to include general mixing parameters. Some simple relations are obtained and they reveal an intricate texture of connections between the eigenvalues and the mixing parameters. Permutation symmetry (\(S_{3}\times S_{3}\)) plays an indispensable role in our analysis. It is the guiding principle for the understanding of our results – all of them are tensor equations under permutation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The diagonalization of hermitian matrices follows a well-established procedure. One solves for the eigenvalues and eigenvectors. The latter are then collected as a unitary matrix, which becomes the mixing matrix for the diagonalization. It is thus very interesting, and surprising, that an alternative method, building on earlier researches, was discovered [1, 2] recently. It was found that the mixing matrix elements (squared, \(|V_{\alpha i}|^{2}\)) can be elegantly expressed in terms of the eigenvalues of the hermitian matrix and those of its minors (also hermitian) along the diagonal. These results were proved for \(n \times n\) matrices.
In this paper we will examine in detail the specific case of \(3 \times 3\) hermitian matrices, which, as fermion mass matrices, are fundamental elements in flavor physics. There are several considerations which suggest this investigation. Mathematically, the intricacy of the problem starts to show up for \(n\ge 3\), while the cases \(n=2\) may be regarded as a degenerate case of the full-fledged problem. Physically, in actual applications our knowledge about \(|V_{\alpha i}|^{2}\) and the matrix itself is often piecemeal and uneven. And one frequently employs mixing variables instead of the matrix elements. It is thus useful to find relations directly between eigenvalues and mixing variables. Given the wealth of existing informations about flavor physics, it seems interesting to investigate the detailed roles played by the various concrete physical parameters. As we will find out, in a diagonalization problem, there are three classes of variables: (1) Those related to flavor, with labels \((\alpha ,\beta ,\gamma )\); (2) Those with indices (i.j.k), which belong to mass-eigenstates; (3) Mixing parameters which carry both sets of indices. The eigenvector-eigenvalue identities manage to express the mixing parameters directly in terms of the first two, where the mixing parameters include not just \(|V_{\alpha i}|^{2}\), but also other interesting combinations constructed out of the \(V_{\alpha i}\)’s. Some of our results are simple and suggestive, and may lead to new insights about flavor physics.
2 Notations and mathematical preliminaries
Although the diagonalization of hermitian matrices applies to the general problem of the mixing of quantum states, for definiteness, we will use the concrete example of neutrino mixing in this paper. Thus, we concentrate on the (effective) neutrino mass matrix, \([M]_{\alpha \beta }\) (\((\alpha ,\beta )=(e,\mu ,\tau )\)), which is diagonalized by the mixing matrix \(V_{\alpha i}\), \(V^{\dag }MV=M_{D}\), where the diagonal matrix has eigenvalues \(\lambda _{i}\) \((i=1,2,3)\). With rephasing invariance, the physical observables are constructed out of the combinations of \(V_{\alpha i}\). It was found [3] that a set of basic, rephasing invariant combinations (RIC) are given by
where \(E_{IJK}(E_{ABC})\) is the symmetric Levi–Civita symbol [4] which is symmetric under index exchanges, and
Also, without loss of generality, we demand that \(\det V=+1\), and thus
These \(\Gamma 's\) have a common imaginary part \((-{\mathcal {J}})\), with \({\mathcal {J}}\) the Jarlskog invariant [5], while their real parts are defined by \((x_{1},x_{2},x_{3};y_{1},y_{2},y_{3})=(\Gamma ^{e,\mu ,\tau }_{123}, \Gamma ^{e,\mu ,\tau }_{231}, \Gamma ^{e,\mu ,\tau }_{312},\Gamma ^{e,\mu ,\tau }_{132}, \Gamma ^{e,\mu ,\tau }_{213},\Gamma ^{e,\mu ,\tau }_{321}).\) Thus, e.g., \(\Gamma ^{e\mu \tau }_{123}=x_{1}-i{\mathcal {J}}\), etc. The notation [3] used here for \((x_{i},y_{j})\) is unfortunate. The index “i” does not indicate their transformation properties under \(S_{3}\times S_{3}\). They can, however, be inferred from Eqs. (60–65).
The absolute squares of \(V_{\alpha i}\) are defined as
which are given by the differences of two \(\Gamma 's\), so that
It is also found that \(W's\) cofactor matrix, \(w^{T}W=Ww^{T}=\det W\), is given by
The unitarity condition on W is satisfied by the consistency condition:
while another consistency condition is
so that there are four independent parameters in the set \((x_{i},y_{j})\).
Other interesting physical variables can be constructed out of \((x_{i},y_{j})\). E.g., to evaluate \(\det W\), one can replace any row or column in the determinant by (1, 1, 1) from unitarity, thus
Some other interesting combinations are
and, in particular,
We now turn to summarizing the behavior of these variables under permutation, either in the flavor basis \((\alpha ,\beta ,\gamma )\) or in the mass-eigenvalue basis (i, j, k). For \(V_{\alpha i}\), under exchange operators \((\alpha \leftrightarrow \beta )\) or \((i\leftrightarrow j)\), there is an undetermined phase. To keep \(\det V=+1\), we choose the phase factor (\(-1\)). There remain possible additional phases which we can remove by rephasing. Thus, the transformation laws are
which remain intact as long as we only use \(V_{\alpha i}\) in rephasing invariant combinations (RIC). From these the transformation laws of physical variables (RIC) can be read off directly from their labels.
It may be further noticed that the basic units \(\Gamma ^{\alpha \beta \gamma }_{ijk}\) and \(W_{\alpha i}\) (with \(V^{*}_{\alpha i}\) given in Eq. (3)) contain each flavor and eigenvalue index once, and only once. This means that physical variables composed out of them have the same property. Or, under permutation of the indices, the physical variables are tensors. A direct consequence is that all the relations that we obtain are tensor equations under permutation.
3 Mixing parameters
In Ref. [1], elegant identities were established which connect the mixing element \(W_{\alpha i}\) directly with the eigenvalues of an \(n \times n\) hermitian matrix and those of its \((n-1) \times (n-1)\) submatrices along the diagonal. We will now examine its detailed implementation to \(3\times 3\) matrices. To do this we adopt the concrete notation of neutrino mass matrix, \([M]_{\alpha \beta }\), \((\alpha ,\beta )=(e,\mu ,\tau )\), with the diagonal submatrices \([M_{\alpha }]\), which are obtained from \([M]_{\alpha \beta }\) by deleting the \(\alpha \)-th row and column. The eigenvalues of \([M]_{\alpha \beta }\) and \([M_{\alpha }]\) are denoted as \(\lambda _{i}\) and \((\xi _{\alpha },\eta _{\alpha })\), respectively, with \(i=(1,2,3)\) and \(\alpha =(e,\mu ,\tau )\). The diagonalizing mixing matrix is \(V_{\alpha i}\), with \(W_{\alpha i}=|V_{\alpha i}|^{2}\). It is convenient to define the traces and determinants of the submatrices as
They are not independent and satisfy two constraint conditions:
where the second relation can be proved by an expansion of \(\det (\lambda I -M)=\Pi (\lambda -\lambda _{i})\). There are thus four independent parameters in the set \((t_{\alpha },d_{\alpha })\), which agrees with the number of independent variables from the set \(W_{\alpha i}\). In other words, the seven eigenvalues contained in M and \(M_{\alpha }\) (\(\det M\), \(d_{\alpha }\), \(t_{\alpha }\)) can be divided into two groups. One set (\(\det M=\Pi \lambda _{l}\), \(\Sigma d_{\alpha }\), \(\Sigma t_{\alpha }\)) determines \(\lambda _{i}\), while the rest morph (together with \(\lambda _{i}\)) into mixing parameters which bridge the flavor space and mass eigenvalue space.
The eigenvector-eigenvalue identities are given by [2]
To elucidate their transformation properties under permutation in either the flavor or mass eigenvalue basis, it is convenient to introduce the traceless and anti-symmetric tensors \((\widetilde{{\textbf {3}}})\):
and
and a pseudoscalar \((\widetilde{{\textbf {1}}})\):
The trace of another tensor \({\widetilde{\lambda }}_{i}\lambda _{i}^{2}\) \((\widetilde{{\textbf {3}}})\) is given by
Thus, we have
which exhibits its transformation properties explicitly.
Let us pause and analyze some of the implications of these results. The transformation from the flavor basis (F-basis) to the mass-eigenvalue basis (M-basis) is mediated by \(W_{\alpha i}\), which are now given explicitly in terms of the eigenvalues. As noted in Ref. [1], Eqs. (19) and (24) are invariant under the following transformations:
(1) Translation: \(M \rightarrow M+\delta [I]\),
2) Dilatation: \(M \rightarrow rM\),
Invariance under dilatation means that a dimension analysis can be effective in constraining the forms taken by the (dimensionless) mixing parameters, as can be seen in all of the results that follow.
(3) Permutation:
Physically, as noted in Refs. [4, 6], the symmetry \([S_{3}]_{F} \times [S_{3}]_{M}\) stems from the freedom to reorder the states in a diagonalization process. Physical variables \((\lambda _{i},W_{\alpha i}, etc.)\) transform as tensors, the Lagrangian of the standard model is invariant, and evolution equations of the physical variables are tensor equations under \([S_{3}]_{F} \times [S_{3}]_{M}\). The eigenvector-eigenvalue identities corroborate this analysis and, we believe, help to put permutation symmetry on firm grounds.
Turning now to other mixing variables, we start with the cofactor matrix [w], which has elements
Using Eq. (24), we find
where (i, j, k) and \((\alpha ,\beta ,\gamma )\) are cyclic permutations of the bases, and we have constructed the anti-symmetric combinations
Using Eqs. (15) and (16), plus the definition
we can recast \(w_{\alpha i}\) in the form
or, equivalently,
mimicking Eq. (19). Also, note that
and
Thus
which is a remarkably simple relation between \(\det W\) and the eigenvalues. Note also that it is the ratio of two pseudoscalars, one in flavor space and the other in mass eigenvalue space (\({\mathcal {D}} \sim (\widetilde{{\textbf {1}}})_{F} \times (\widetilde{{\textbf {1}}})_{M}\)), in agreement with the transformation property of \(\det W\) under \((S_{3})_{F} \times (S_{3})_{M}\).
It is instructive to compare this result with that of the \(2 \times 2\) matrices. There, the eigenvalue solution is well-known. Without loss of generality, we may take the matrix to be traceless and real,
whose eigenvalues are given by
and the mixing parameters are
which agrees with the eigenvector-eigenvalue identity [2],
In our notation,
we have
Since the parameter \({\mathcal {D}}_{(2)}\) completely determines the mixing pattern, Eq. (42) gives an intuitive and elegant formula connecting the three sets of variables (the dimensionless mixing parameter, the eigenvalues in the flavor, and the mass eigen-basis) involved in the diagonalization. Note also that, written in this form, Eq. (42) is valid for an arbitrary \(2 \times 2\) hermitian matrix.
Equation (42) can also be deduced from Eq. (35). To do this we consider a degenerate \(3\times 3\) matrix for which the elements in the third row and column vanish, \(M_{\gamma \rho }=M_{\rho \gamma }=0\), \(\rho =(\alpha , \beta ,\gamma )\). In this case we have \(\lambda _{3}=0\), \(d_{\alpha }=d_{\beta }=0\), \(d_{\gamma }=\lambda _{1}\lambda _{2}\) and \({\widetilde{t}}_{\gamma }=t_{\alpha }-t_{\beta }=-2M_{\alpha \alpha }\). Then, \(\Sigma d_{\alpha }{\widetilde{t}}_{\alpha } =\lambda _{1}\lambda _{2}(t_{\alpha }-t_{\beta })\), \(\Pi {\widetilde{\lambda }}_{l} =-\lambda _{1}\lambda _{2}(\lambda _{1}-\lambda _{2})\), and \({\mathcal {D}}_{(3)}\) reduces to \({\mathcal {D}}_{(2)}\). The unmistakable lineage between \({\mathcal {D}}_{(2)}\) and \({\mathcal {D}}_{(3)}\) is thus established.
We now turn to other parameters which are composed out of \(W_{\alpha i}\) and \(w_{\alpha i}\). To do this it is convenient to separate the traceless parts (corresponding to extracting the singlet out of a triplet under \(S_{3}\)) of these variables, we define
They are related to \(W_{\alpha i}\) and \(w_{\alpha i}\) as follows:
which can be verified using Eqs. (5) and (6). Note that, by using traceless variables, these relations are now linear, while those between \(W_{\alpha i}\) and \(w_{\alpha i}\) are quadratic,
Equations (45–46) exhibit manifest reciprocity between \({\overline{W}}_{\alpha i}\) and \({\overline{w}}_{\alpha i}\), which however, is camouflaged by the relation between \(W_{\alpha i}\) and \(w_{\alpha i}\). These equations are also useful in converting W into w and vice versa.
We may further define
The traces of \(m_{\alpha i}\) are given by
where Eqs. (17) and (18) are used. They can be used to verify the unitarity conditions
For \(n_{\alpha i}\), it is clear that they are traceless with respect to both sets of indices,
Also,
Note that \(n_{\alpha i}\) is invariant under translation \((\lambda _{i},\xi _{\alpha },\eta _{\alpha }) \rightarrow (\lambda _{i}+\delta ,\xi _{\alpha }+\delta ,\eta _{\alpha }+\delta )\), just like \(W_{\alpha i}\), \(w_{\alpha i}\), etc.
Turning to the (x, y) variables, we again define the traceless variables
we find, e.g.,
or collectively,
We can write these variables in terms of \(n_{\alpha i}\), in three equivalent ways, as shown in Table 1.
Combined with the expression for \({\mathcal {D}}\), Eq. (35), the basic variables \((x_{i},y_{j})\) can be written in terms of the eigenvalues, and so can the mixing parameters constructed out of \((x_{i},y_{j})\). We will now present a concrete example as follows.
It was pointed out that permutation symmetry suggests the use of singlets as mixing parameters [6]. In addition to \({\mathcal {D}}\) and \({\mathcal {J}}^{2}\), as defined in Eqs. (9) and (12), respectively, one may propose another two parameters,
to form a set of four parameters, which may serve to characterize flavor mixing. The set \(({\mathcal {D}},{\mathcal {Q}}^{2},{\mathcal {K}},{\mathcal {J}}^{2})\) is unique in that it does not contain superfluous variables. This situation is similar to that in relativistic theories, where it is preferable to use relativistic invariants, rather than frame-dependent variables, as physical parameters.
Before writing them in terms of eigenvalues, let’s first verify the constraint \(\Sigma '(x_{i}x_{j}-y_{i}y_{j})=0\). We note that
and
Using Eq. (55) and the expressions for \(n_{\alpha i}-n_{\beta j}\) in the \((i,j)=(2,1)\) column of Table I, we find
Thus, \(\Sigma '(x_{i}x_{j}-y_{i}y_{j})=0\). Note that, had we used \((i,j)=(3,2)\) or (1, 3) to calculate \({\mathcal {D}}\) in Eq. (71), we would have gotten the same result. Thus, we may recast Eq. (71) as
showing explicitly that \({\mathcal {D}}\) is a singlet under \(S_{3} \times S_{3}\).
In addition to the expression for \({\mathcal {D}}\) as function of eigenvalues, as in Eq. (35), the calculation of \(Q^{2}=\Sigma '(x_{i}x_{j}+y_{i}y_{j})\) is more involved. Start from
and calculating \(\Sigma ({\overline{x}}_{i}^{2}+{\overline{y}}_{i}^{2})\) by using the average of the three columns in Table 1, we find
Another way to display this result is to use Eq. (50) and write it explicitly in terms of \((\lambda _{i},d_{\alpha },t_{\alpha })\). The result is
For \({\mathcal {K}}\) and \({\mathcal {J}}^{2}\), we will only give the results in terms of \(n_{\alpha i}\):
where \(({\overline{x}}_{i},{\overline{y}}_{i})\) as functions of \(n_{\alpha i}\) (and thus of the eigenvalues) are given in Table 1 and Eq. (50), respectively. Equations (72), (76), (77), and (78) form a complete set for \(({\mathcal {D}},{\mathcal {Q}}^{2},{\mathcal {K}},{\mathcal {J}}^{2})\). We present them in Table 2.
In summary, starting from the eigenvector-eigenvalue identities, we can write the mixing parameters in terms of the eigenvalues in the flavor basis and in mass-eigenvalue basis. This is facilitated by noticing that \(\Sigma x_{i}=\frac{1}{2}({\mathcal {D}}+1)\) and \(\Sigma y_{i}=\frac{1}{2}({\mathcal {D}}-1)\), with \({\mathcal {D}}\) given in Eq. (9). The traceless variables \({\overline{x}}_{i}\) and \({\overline{y}}_{i}\) are now linear functions of \(W_{\alpha i}\), and can be written as simple functions of the eigenvalues. Through out these manipulations, permutation symmetry is an indispensable guide, and all relations thus obtained are tensor equations under permutation. Other examples which manifest the permutation symmetry properties of the neutrino parameters can be found, e.g., in Ref. [7].
It should also be mentioned that, given \(W_{\alpha i}\), one can construct \({\mathcal {J}}^{2}\), but the sign of \({\mathcal {J}}=\pm \sqrt{{\mathcal {J}}^{2}}\) is undetermined. The sign of \({\mathcal {J}}\) is fixed by summing up Eq. (1), \((1/3!)\Sigma \Gamma ^{\alpha \beta \gamma }_{ijk}={\mathcal {D}}-i(3!){\mathcal {J}}\). Thus, the variables \(W_{\alpha i}\) can only determine CP-violation effects up to a sign.
4 Conclusion
In this paper we generalized the eigenvector-eigenvalue identities to include general mixing parameters. These rephasing invariant variables are tensors under \(S_{3} \times S_{3}\). A well-known set is of course \(W_{\alpha i}\), which, however, has a lot of redundancy. A smaller set is \((x_{i},y_{j})\), with six variables and two consistency conditions. The most economical set is \(({\mathcal {D}},{\mathcal {Q}}^{2},{\mathcal {K}},{\mathcal {J}}^{2})\), with exactly four parameters. They are all singlets under rephasing and permutation, in tune with the symmetry properties of the diagonalization process. We obtained direct link between these variables and the eigenvalues, summarized in Tables 1 and 2. Of particular interest may be Eq. (35), which expressed \({\mathcal {D}}=\det W\) in terms of the ratio of two eigenvalue expressions. Its use has enabled us to greatly simplify our results. Together with the other results, they suggest a deep-rooted connection between the mixing parameters, the flavor eigenvalues, and the mass-eigenvalues.
Our analysis also brings out the prominent role played by permutation symmetry (see also Ref. [1]). All of the relations are tensor equations under \([S_{3}]_{F} \times [S_{3}]_{M}\), without which they would be very hard to decipher. It should be emphasized that the eigenvalue and mixing parameters must transform together. This is in contrast to the narrative, that masses are fixed numbers and not subject to transformations. However, an inherent property of the mass matrix diagonalization problem is that it does not predetermine the order of states. If one makes an exchange of states, it is only natural to also exchange the eigenvalues associated with the states. The resulting permutation symmetry then reflects the freedom of choice of ordering in the diagonalization process.
Another indication of the working of permutation symmetry is seen in our maneuvering to get the results. The basic variables used in this paper transform as \({\textbf {3}}\)’s, which are reducible. The use of their traceless parts, which are irreducible, has been effective in simplifying our results.
Finally, we add some speculative remarks. In the standard model, the fermion mass matrices are notorious for being incomprehensible. At the same time, the observed masses and mixing parameters do seem to have some regularity (hierarchy). It is hoped that, with the availability of a direct connection between these entities, some new approach/insight may be uncovered.
DataAvailability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study so there is no data available.]
References
P.B. Denton, S.J. Parke, T. Tao, X. Zhang, Bull. Am. Math. Soc. 59(1), 31–58 (2022). arXiv:1908.03795v4 [math.RA] (2019). The development of the eigenvector-eigenvalue identities has a fascinating history, with contributions from many authors over a long time. For a summarizing account, see Sect. 3 of this paper
P.B. Denton, S.J. Parke, X. Zhang, Phys. Rev. D 101, 093001 (2020)
T.K. Kuo, T.H. Lee, Phys. Rev. D 71, 093011 (2005)
T.K. Kuo, S.H. Chiu, Adv. High Energy Phys. 2020, 2491897 (2020)
C. Jarlskog, Phys. Rev. Lett. 55, 1039 (1985)
T.K. Kuo, S.H. Chiu, Eur. Phys. J. C 80(3), 203 (2020). [Erratum: Eur. Phys. J. C 80(10), 941 (2020)]
S. Zhou, J. Phys. G 49, 025004 (2022)
Acknowledgements
SHC is supported by the Ministry of Science and Technology of Taiwan, Grant No.: MOST 109-2112-M-182-001.
Author information
Authors and Affiliations
Corresponding author
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Chiu, S.H., Kuo, T.K. Eigenvector-eigenvalue identities and an application to flavor physics. Eur. Phys. J. C 82, 712 (2022). https://doi.org/10.1140/epjc/s10052-022-10692-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10692-4