the origin of flavor mixing is one of longstanding open questions in particle physics .
firstly motivated by the well - known tri - bimaximal mixing  @xcite , a considerable effort has been devoted to understanding lepton mixing from a discrete flavor symmetry which is spontaneously broken down to two different residual subgroups in the neutrino and the charged lepton sectors
. please see refs .
@xcite for review of discrete flavor symmetries and their application in model building aspects .
so far a complete classification of all possible lepton mixing which could be derived from a finite flavor symmetry group under the hypothesis of majorana neutrino has been accomplished  @xcite . among the complete list of mixing patterns
achievable , only the pontecorvo - maki - nakagawa - sakata ( pmns ) matrix with the second column being @xmath0 can be compatible with experimental data , and the dirac cp - violating phase is fixed to trivial .
moreover , the majorana phases are indeterminate as the neutrino masses are unconstrained by flavor symmetry .    on the experimental side , the precise measurements of the reactor mixing angle @xmath1 by t2k  @xcite , minos  @xcite , double - chooz  @xcite ,
reno  @xcite and daya - bay  @xcite reactor neutrino experiments is one of the most significant discoveries in recent years .
the sizable @xmath2 opens the gateway to access two remaining unknown parameters in the neutrino sector : the neutrino mass hierarchy and the leptonic dirac cp phase @xmath3 . if neutrinos are majorana particles , there are two additional majorana cp phases which can play a critical role in the neutrinoless double beta decay , and we know nothing about their values so far .
the t2k collaboration reported a weak evidence for nonzero @xmath4  @xcite , and some indications of nontrivial @xmath3 are starting to appear in global analysis of neutrino oscillation data  @xcite .
needless to say , probing cp violation in the lepton sector would help deepen our understanding of the universe .
some long - baseline neutrino oscillation experiments such as lbne  @xcite , lbno  @xcite and hyper - kamiokande  @xcite have been proposed to precisely measure the lepton mixing parameters in particular the dirac cp phase @xmath3 .
if the signal of cp violation is observed in future neutrino oscillation apparatuses , the paradigm of the flavor symmetry would be disfavored .
moreover , in light of the hints for maximal dirac cp violation @xmath4 , it is imperative and significative to be able to understand the observed lepton mixing angles and meanwhile predict the values of cp phases from certain underlying principles .
it is notable that cp symmetry was found to impose strong constraints on the fermion mass matrices nearly thirty years ago  @xcite .
a typical simple cp transformation is the so - called @xmath5 reflection under which @xmath6 and @xmath7 transform into the cp - conjugate of each other  @xcite .
a neutrino mass matrix fulfilling the @xmath5 reflection symmetry immediately gives rise to both maximal atmospheric mixing angle @xmath8 and maximal cp violation @xmath9 . in recent years
, it is found that the @xmath5 reflection can naturally appear when cp symmetry is imposed together with the widely studied @xmath10 flavor symmetry  @xcite .
furthermore , phenomenological models in which the desired breaking patterns of the flavor and cp symmetries are achieved dynamically have been constructed  @xcite .
the interplay between cp symmetry with the flavor symmetries @xmath11  @xcite and @xmath12  @xcite has been investigated as well . when cp symmetry is combined with @xmath13  @xcite or @xmath14  @xcite flavor symmetry , cp transformations distinct from @xmath5 reflection
can be produced such that @xmath3 can be non - maximal .
it turns out that both mixing angles and cp phases depend on only one common free parameter in that case .
recently the possible lepton mixing patterns derived from cp symmetry and the @xmath15 or @xmath16 flavor symmetry group series have been analyzed  @xcite , the experimentally preferred values of the mixing angles can be accommodated very well , and the corresponding phenomenological implications in neutrinoless double decay are discussed  @xcite . note that it is highly nontrivial to consistently define the cp symmetry in the context of a finite flavor symmetry  @xcite .
there are more than one theoretical approachs dealing with flavor symmetry and cp violation  @xcite .    in this work
, we shall only concentrate on cp symmetry , and show that the lepton mixing matrix can be reconstructed from the remnant cp symmetry .
we will derive the explicit form of the pmns matrix when one or two residual cp transformations are preserved .
phenomenological implications for the lepton flavor mixing parameters are discussed in detail . compared with flavor symmetry paradigm , both mixing angles and cp phases
can be predicted by remnant cp , and the observed value of the reactor mixing angles can be easily accommodated .
the paper is organized as follows . in section  [ sec : remnant_symmetry ] , remnant flavor symmetry and remnant cp transformations of the neutrino mass matrix are analyzed in the charged lepton diagonal basis . in section  [ sec : reconstruction_pmns ] , we show that the lepton mixing matrix can be reconstructed from the presumed remnant cp transformations . if two ( or one ) remnant cp transformations are preserved , the explicit form of the pmns matrix is derived , and it depends on one ( or three ) free real parameters in addition to the parameters of the remnant cp . in section  [ sec : phenomenology ] , the phenomenological predictions for the lepton mixing parameters are discussed , and we search for conditions of zero or maximal dirac cp violation . finally we summarize our results in section  [ sec : conclusion ] .
in this section , we shall clarify the remnant flavor symmetry and remnant cp symmetry of the lepton mass matrices .
we shall assume throughout this paper that the neutrinos are majorana particles .
the lepton mass terms obtained after symmetry breaking are of the following form : @xmath17 where @xmath18 is the charge - conjugation matrix , @xmath19 and @xmath20 denote the three generation left and right - handed charged lepton fields respectively , and @xmath21 is the three left - handed neutrino fields .
the majorana neutrino mass matrix @xmath22 is symmetric .
since the mixing matrix only relates to left - handed fermions in standard model , as usual we construct the hermitian mass matrix @xmath23 which connects left - handed charged leptons on both sides .
we denote the unitary diagonalization matrix of @xmath24 and @xmath22 by @xmath25 and @xmath26 respectively , i.e. , @xmath27 where the light neutrino masses @xmath28 are real and non - negative .
the lepton mixing matrix is the mismatch between neutrino and charged lepton diagonalization matrices , @xmath29 without loss of generality we shall choose to work in the basis where @xmath24 is diagonal
. then @xmath25 would reduce to a unit matrix and the lepton mixing completely comes from the neutrino sector with @xmath30
. the general form of @xmath22 is @xmath31 firstly let s determine the remnant flavor symmetries @xmath32 and @xmath33 of the neutrino and charged lepton mass terms .
a unitary transformation @xmath34 of the left - handed majorana neutrino leads to the transformation of the neutrino mass matrix @xmath35 .
@xmath36 is a flavor symmetry if and only if @xmath22 is invariant , i.e. , @xmath37 substituting the expression of @xmath22 in eq .   into this invariant condition and
considering that the three light neutrino masses @xmath38 are non - degenerate  '' could be replaced with an arbitrary phase factor in eq .  .
] , we obtain @xmath39 as an overall @xmath40 factor of @xmath36 is irrelevant , there are essentially four solutions for @xmath36 , @xmath41 where @xmath42 it is easy to see that @xmath43 is exactly a trivial identity matrix , and we can further check that @xmath44 hence the residual flavor symmetry of the neutrino mass matrix is @xmath45 klein group . on the other hand ,
given the remnant klein symmetry in the neutrino sector and the associated 3-dimensional unitary representation matrices , one can straightforwardly construct the diagonalization matrix @xmath26 .
similarly , the remnant flavor symmetry @xmath46 of the charged lepton mass matrix satisfies @xmath47 since @xmath24 is diagonal in the chosen basis and the three charged lepton masses are unequal , @xmath46 can only be a unitary diagonal matrix , i.e. , @xmath48 where @xmath49 are arbitrary real parameters .
hence the charged lepton mass term generically admits a @xmath50 remnant flavor symmetry .
conversely , if @xmath46 is diagonal with non - degenerate eigenvalues , @xmath24 would be forced to be real .
the idea of residual symmetries @xmath36 and @xmath46 arising from some underlying discrete flavor symmetry group @xmath51 has been extensively explored , and many flavor models have been constructed  @xcite .    in the following , we shall investigate the remnant cp symmetry of the lepton mass terms .
they do nt receive enough attention they deserve in the past .
the cp transformation of the left - handed neutrino fields is defined via @xmath52 where @xmath53 , and @xmath54 is a @xmath55 unitary matrices acting on generation space .
@xmath54 is usually called generalized cp transformation in the literature  @xcite , since it is an identity matrix in conventional cp transformation .
the lagrangian of the neutrino mass term in eq
.   would be invariant if the neutrino mass matrix @xmath22 fulfills @xmath56 with the general form of @xmath22 in eq .
, we obtain @xmath57 which yields @xmath58 therefore there are eight possibilities for @xmath54 . however , only four of them are relevant , and they can chosen to be @xmath59 the remaining four can be obtained from the above chosen ones by multiplying an over @xmath40 factor .
note that we can not distinguish @xmath54 from @xmath60 since the minus sign can be absorbed by redefining the neutrino fields .
moreover , we see that the remnant cp transformations @xmath61 are symmetric unitary matrices : @xmath62 otherwise the light neutrino masses would be degenerate . the same constraint that the remnant cp transformations in the neutrino sector should be symmetric is also obtained in ref .
@xcite in another way .
it is remarkable that the remnant flavor symmetry can be induced by the remnant cp symmetry . from eq .
, it is easy to obtain , @xmath63 this means that successively performing two cp transformations @xmath64 is equivalent to a flavor symmetry transformations .
concretely we have the following relations : @xmath65 as a consequence , once we impose a set of generalized cp transformations onto the theory , there is always an accompanied flavor symmetry generated .
furthermore , eq .   implies that any residual cp transformation can be expressed in terms of the remaining ones as follows , @xmath66 in other words , only three of the four remnant cp transformations are independent . in the same fashion ,
the cp transformation of the charged lepton fields is @xmath67 for the symmetry to hold , the mass matrices @xmath68 has to satisfy @xmath69 in the chosen basis where @xmath68 is diagonal , @xmath70 can only be a diagonal phase matrix , i.e. , @xmath71 where @xmath72 are real .
in short , the remnant cp symmetry can be constructed from the mixing matrix , and its explicit form can be determined more precisely with the improving measurement accuracy of the mixing angles and cp phases . before closing this section , we present the above discussed residual cp symmetry in an arbitrary basis : @xmath73 which can be derived in exactly the same way . in the end , we conclude that the remnant symmetries can be constructed from the mixing matrix which can be measured experimentally . in the following section , we shall demonstrate that the lepton mixing matrix can be constructed from the postulated remnant cp transformations .
as has been shown in section  [ sec : remnant_symmetry ] , residual cp symmetries can be derived from mixing matrix , and vice versa lepton mixing matrix can be constructed from the remnant cp symmetries in the neutrino and the charged lepton sectors . in concrete models , we can start from a set of cp transformations @xmath74 which the lagrange respects at high energy scale .
subsequently @xmath74 is spontaneously broken by some scalar fields into different remnant symmetries in the neutrino and the charged lepton sectors .
the misalignment between the two remnant symmetries is responsible for the mismatch of the rotations which diagonalize the neutrino and charged lepton matrices , and accordingly the pmns matrix is generated .
the remnant cp symmetries would be assumed hereinafter and we shall not consider how the required vacuum compatible with the remnant symmetries is dynamically achieved , since the resulting lepton mixing pattern is independent of vacuum alignment mechanism and there are generally more than one methods realizing the desired symmetry breaking in practical model building .    as before we still stick to the charged lepton diagonal basis in the following .
if four cp transformations @xmath75 out of @xmath76 are conserved by the neutrino mass matrix , where the subscript `` @xmath77 '' denotes remnant . in order to be well - defined ,
@xmath78 should be unitary matrices and satisfy : @xmath79 for @xmath80 . as shown in eq .
, a @xmath81 remnant flavor symmetry is generated with element of the form @xmath82 .
it is well - known that the lepton mixing matrix ( except the majorana phases ) is fixed by the residual klein group up to independent permutations of rows and columns .
if the residual flavor symmetry originates from a finite flavor symmetry group at high energy , a complete classification of all possible pmns matrix has been worked out  @xcite .
an added bonus here is that the majorana cp phases can also be determined from the postulated remnant cp transformations although they are not constrained by the remnant flavor symmetry at all .
if three cp transformations are preserved by the neutrino mass terms , the fourth one can be generated in the way shown in eq .  .
hence there are still four residual cp transformations . given the explicit forms of remnant cp
, the lepton mixing matrix can be straightforwardly calculated .    in the following
, we shall investigate the most interesting case in which the neutrino mass matrix is invariant under the action of two residual cp transformations @xmath83 and @xmath84 .
in concrete models , this situation can be realized in two different ways : only @xmath83 and @xmath84 belong to the beginning cp transformations @xmath74 or @xmath74 contains all the four remnant cp transformations , but two of them are broken at low energy .
to avoid degenerate light neutrino masses , both @xmath83 and @xmath84 should be symmetric unitary matrices .
furthermore , a residual @xmath85 flavor symmetry is induced with the generator @xmath86 .
it is easy to check that the following consistency equations are fulfilled , @xmath87 as we have @xmath88 , the neutrino mass matrix would be invariant under @xmath84 if it is invariant under both cp transformation @xmath83 and flavor transformation @xmath89 . as a consequence , from now on we shall focus on the residual symmetry @xmath83 and @xmath89 for convenience .
firstly we note that only one column of the diagonalization matrix @xmath26 , which coincides with @xmath90 in the working basis , is fixed by the single @xmath85 residual flavor symmetry @xmath89 .
this column is exactly the unique eigenvector of @xmath89 with eigenvalue @xmath91 if @xmath92  @xcite . using the freedom of redefining the charged lepton fields ( or changing the basis further but keeping @xmath24 still diagonal ) , each element of this column can always set to be real and non - negative .
hence the column dictated by @xmath89 can be parameterized as @xmath93 where both @xmath94 and @xmath95 are real parameters in the interval of @xmath96 $ ] .
consequently @xmath89 is given by @xmath97 where @xmath98 denote a three dimensional unit matrix . given ( postulated ) the column vector @xmath99 , the remaining two columns of the pmns matrix can be obtained from any orthonormal pair of basis vectors @xmath100 and @xmath101 in the plane orthogonal to @xmath99 by a unitary rotation . here
we choose @xmath102 moreover , since the remnant symmetry can not predict the ordering of the light neutrino mass eigenvalues , the three column vectors of @xmath90 can be permuted in any way you want before comparison with experimental data .
therefore the pmns matrix is of the form : @xmath103 where @xmath104 represents any @xmath55 permutation matrix , and @xmath105 is the unitary rotation matrix @xmath106 where the rotation angle @xmath107 and phases @xmath108 are free real parameters .
the values of @xmath108 would be further constrained by the remnant cp transformation @xmath83 .    from eq .  , we see that the residual flavor transformation @xmath109 could be chosen to be real @xmath110 without loss of generality .
then the consistency equation of eq .
implies that @xmath111 .
hence @xmath112 is a simultaneous eigenvector of @xmath89 and @xmath83 .
moreover , given an eigenvector @xmath113 of a symmetric unitary matrix , it is easy to shown that the complex conjugate @xmath114 is also an eigenvector with the same eigenvalue . as a result
, one can always take the eigenvectors of a symmetric unitary matrix to be real .
therefore the remaining two eigenvectors of @xmath83 denoted by @xmath115 and @xmath116 could be real .
they are mutually orthogonal and both orthogonal to @xmath112 .
accordingly @xmath117 can be written as follows , @xmath118 where @xmath119 is a real parameter .
the remnant cp transformation @xmath83 can be constructed from its eigenvectors @xmath120 via @xmath121 where @xmath122 , @xmath123 and @xmath124 are the eigenvalues of @xmath83 .
note that the eigenvalues of a unitary matrix must be complex numbers with modulus one .
then another cp transformation @xmath84 is @xmath125 we see that @xmath99 , @xmath115 and @xmath116 are also the eigenvectors of @xmath84 while the corresponding eigenvalues become @xmath122 , @xmath126 and @xmath127 respectively .
now we turn to explore the constraint of the remnant cp transformation @xmath83 .
the neutrino mass matrix @xmath22 invariant under the action of @xmath83 should fulfill @xmath128 which leads to @xmath129 as shown in eq .  , where @xmath130 . inserting the expressions of @xmath83 in eq .   and
@xmath90 in eq .
, we obtain @xmath131 where we have defined @xmath132 further premultiplying @xmath133 and post - multiplying @xmath134 on both sides of eq .
, we have @xmath135 we can see that the left side of this equation is equal to the complex conjugate of the right side .
notice that @xmath136 is a block diagonal matrix and @xmath137 is diagonal matrix .
this equation is satisfied if and only if the combination @xmath138 is a block diagonal real orthogonal matrix , i.e. , @xmath139 where each entry of @xmath140 is determined up to a possible minus sign which can always be absorbed into the free parameter @xmath107 and @xmath141 . then we have @xmath142 therefore if the neutrino mass term has two remnant cp transformations @xmath83 and @xmath84 given by eqs.([eq : xr1],[eq : xr2 ] ) in the charged lepton diagonal basis , then lepton mixing matrix would be constrained to be of the form @xmath143 note that the remnant cp transformations @xmath144 depend on six real parameters @xmath94 , @xmath95 , @xmath119 , @xmath145 , @xmath146 and @xmath147 , as show in eqs.([eq : xr1],[eq : xr2 ] ) .
the parameters @xmath148 are the arguments of the eigenvalues of @xmath144 up to @xmath149 while the eigenvectors are expressed in terms of @xmath94 , @xmath95 and @xmath119 . in this approach , @xmath144 can take any values you want , and accordingly @xmath94 , @xmath95 , @xmath119 and @xmath148 are free input parameters .
it is remarkable that the resulting pmns matrix is independent of how the remnant cp @xmath144 is dynamically realized . once the values of @xmath144 ( the values of @xmath94 , @xmath95 , @xmath119 and @xmath148 ) are known ( postulated ) ,
the pmns matrix compatible with @xmath144 would follow immediately from eq .  , and it only depends on one free parameter @xmath107 .
it is obvious that @xmath150 is a diagonal matrix with entries @xmath151 or @xmath152 .
its effect is only shifting the majorana phases by @xmath149 .
the permutation matrix @xmath104 can take six different values .
however , exchanging the second and the third columns is equivalent to the redefinitions @xmath153 and @xmath154
. hence there are only three inequivalent permutations of the columns . in other words
, the fixed vector @xmath155 can be the first column , second column of the third column of the pmns matrix .
the phenomenological predictions of the three cases will be discussed in section  [ sec : phenomenology ] .
now we consider the last case in which only one remnant cp transformation @xmath156 is preserved by the neutrino mass matrix .
similar to previous cases discussed , @xmath156 should be a symmetric unitary matrix . as a consequence
, @xmath156 can be parameterized as @xmath157 where @xmath122 , @xmath123 and @xmath124 are the eigenvalues of @xmath156 , @xmath99 , @xmath115 and @xmath116 given by eqs.([eq : v1],[eq : v23 ] ) represent its eigenvectors , and they form a set of most general three - dimensional real orthogonal vectors .
the invariance of the neutrino mass matrix under @xmath156 leads to the constraint : @xmath158 where @xmath159 and @xmath26 denotes the diagonalization matrix of @xmath22 with @xmath160 .
this condition can be further simplified into @xmath161 where @xmath162 .
premultiplying @xmath133 and post - multiplying @xmath163 on both sides of eq .
, we obtain @xmath164 therefore the combination @xmath165 is a generic real orthogonal matrix , and it can be expressed as , @xmath166 with @xmath167 where @xmath168 are real parameters , and a possible overall minus sign of @xmath169 is dropped since it is insignificant .
hence we conclude that the pmns matrix , which coincides with @xmath26 in our working basis , is of the form @xmath170 comparing with scenario with two residual cp transformations , we still need six input parameters @xmath94 , @xmath95 , @xmath119 and @xmath148 to specify the explicit form of the assumed cp transformation , and the resulting lepton mixing matrix @xmath90 depends on three free parameters @xmath168 instead of one .
in this section , we shall present the phenomenological predictions for the lepton mixing parameters when one or two residual cp transformations are conserved by the neutrino mass matrix in the charged lepton diagonal basis .
different independent permutations of the three column vectors of @xmath90 would be considered . the possible cp transformations which entail maximal or vanishing dirac cp violation in the lepton sector are discussed .
the general expression of @xmath90 for two remnant cp is presented in eq .  .
the fist column of @xmath90 would be completely fixed the imposed remnant symmetry if the permutation matrix @xmath104 is chosen to be a unit matrix , i.e. @xmath171
. then the pmns matrix is of the form : @xmath172 for the sake of convenience we introduce @xmath173 and @xmath174 .
the expressions for the mixing angles and the cp - odd weak basis invariants can be straightforwardly extracted from eq .   as follows .
@xmath175\sin 2\theta\big\}\big/\\ \nonumber&&\big[1-\left(\cos^2\rho\sin^2\theta+\sin^2\rho\cos^2\theta+\frac{1}{2}\sin2\rho\sin2\theta\cos\frac{\kappa^\prime_2-\kappa^\prime_3}{2}\right ) \sin^2\varphi\big]\,,\\
\nonumber j_{cp}&=&\frac{1}{4}\cos\varphi\sin^2\varphi\sin2\phi\sin2\theta\sin\frac{\kappa^{\prime}_2-\kappa^{\prime}_3}{2}\,,\\ \nonumber |i_1|&=&\frac{1}{4}\sin^22\varphi\left|\cos^2\rho\cos^2\theta\sin\kappa^{\prime}_2+\sin^2\rho\sin^2\theta\sin\kappa^{\prime}_3- \frac{1}{2}\sin2\rho\sin2\theta\sin\frac{\kappa^{\prime}_2+\kappa^{\prime}_3}{2}\right|\,,\\ \label{eq : mixing_parameters_1st}|i_2|&=&\frac{1}{4}\sin^22\varphi\left|\cos^2\rho\sin^2\theta\sin\kappa^{\prime}_2+\sin^2\rho\cos^2\theta\sin\kappa^{\prime}_3 + \frac{1}{2}\sin2\rho\sin2\theta\sin\frac{\kappa^{\prime}_2+\kappa^{\prime}_3}{2}\right|\,,\end{aligned}\ ] ] where @xmath176 is the jarlskog invariant  @xcite , @xmath177\\ & = & \frac{1}{8}\sin2\theta_{12}\sin2\theta_{13}\sin2\theta_{23}\cos\theta_{13}\sin\delta_{cp}\,,\end{aligned}\ ] ] where @xmath3 is the cp - violating dirac phase in standard parameterization  @xcite .
the invariants @xmath178 and @xmath179 associated with the majorana phases are defined by  @xcite , @xmath180=\frac{1}{4}\sin^22\theta_{12}\cos^4\theta_{13}\sin\alpha_{21}\,,\\ i_2&=&\text{im}\left[\left(u_{pmns}\right)^2_{13}\left(u_{pmns}\right)^{\ast2}_{11}\right]=\frac{1}{4}\sin^22\theta_{13}\cos^2\theta_{12}\sin\alpha^{\prime}_{31}\,,\end{aligned}\ ] ] where @xmath181 , @xmath182 and @xmath183 are the majorana cp phases  @xcite .
note that @xmath184 enters into the effective mass of the neutrinoless double beta decay . here
both @xmath178 and @xmath179 are presented in terms of absolute values since the sign of @xmath178 and @xmath179 depends on the entry of @xmath141 being @xmath185 or @xmath40 .
we see that all the mixing parameters generally depend on both the parameters of cp transformation and the free parameter @xmath107 . as the first column of @xmath90
is @xmath155 which is dictated by the induced flavor symmetry @xmath86 , solar mixing angle @xmath186 and reactor mixing angle @xmath1 are related with each other by @xmath187 given the global fit results of @xmath188 ranges @xmath189 and @xmath190  @xcite , the parameter @xmath94 is constrained to be @xmath191    the allowed regions of @xmath95 and @xmath94 for mixing parameters in the experimentally preferred @xmath188 ranges ( pink ) and @xmath192 ranges ( light blue )  @xcite , when two residual cp transformations are conserved by the neutrino mass matrix .
the first and second rows are the results for normal ordering and inverted ordering neutrino mass spectrum respectively .
the left column , middle column and the right column are the corresponding results for @xmath155 in the first , second and third column of the @xmath90 respectively .
the black dots and the green curves denote the viable values of @xmath95 and @xmath94 given in eqs .
( [ eq:1st_column_finite_flasy ] , [ eq:2nd_column_finite_flasy ] , [ eq:3rd_column_finite_flasy ] ) if the residual flavor symmetry @xmath193 arises from a finite flavor symmetry group .
note that the cyan curves are the results for the cases that the first or the third column of the pmns matrix are the corresponding ones of the infinite series @xmath194 in eq .
.,scaledwidth=100.0% ]    the allowed regions of the parameters @xmath94 and @xmath95 are displayed in fig .
[ fig : range ] when both mixing angles and @xmath3 vary in their @xmath188 ( or @xmath192 ) intervals  @xcite .
we see that the @xmath192 ranges for normal ordering ( no ) and inverted ordering ( io ) mass spectrums are different although the corresponding @xmath188 results can hardly be distinguished . moreover , the @xmath192 regions are drastically shrunk compared with the @xmath188 ones . therefore more precisely measurement of the mixing parameters can help to eventually pin down the values of @xmath94 and @xmath95 .
furthermore , from @xmath195 we can find a correlation among @xmath3 and mixing angles as follows @xmath196 given an input value of @xmath95 , we can predict the dirac cp phase @xmath3 from the experimentally measured values of the mixing angles .
the regions of @xmath197 with respect to @xmath95 are plotted in fig .
[ fig : phi - cosd ] .
it is remarkable that @xmath197 determined by eq   is larger than 1 or smaller than @xmath40 for some values of @xmath95 , and @xmath197 is restricted to be in a rather narrow strip region if all mixing parameters are required to vary in the @xmath192 interval .
the improved accuracy of the mixing angles will facilitate the determination of @xmath3 in this approach .
the range of @xmath197 versus @xmath95 predicted by the relations of eqs.([eq : cosd1],[eq : cosd2 ] ) when all three mixing angles vary in the experimentally preferred @xmath188 regions ( red ) and @xmath192 regions ( yellow ) .
the constraint of @xmath198 is nt included for the time being in order to see clearly the viable @xmath95 values .
the panels on the left side and on the right side correspond to the vector @xmath199 in the first column and the second column of @xmath90 respectively .
the panels in the first row and the second row are for normal ordering and inverted ordering mass spectrum respectively .
the pink and light blue bands stand for the @xmath188 and @xmath192 ranges of @xmath95 displayed in fig .
[ fig : range ] .
the horizontal dashed lines represents the boundaries of @xmath200 and @xmath201 .
the vertical black lines denote the ranges of @xmath197 for the discrete @xmath95 and @xmath94 given in eqs .
( [ eq:1st_column_finite_flasy ] , [ eq:2nd_column_finite_flasy ] ) .
the cyan areas are for the case that the first column of @xmath90 is the corresponding one of the infinite series @xmath194 ( the last one of eq .  ) .
note that the cyan regions nearly overlap with the corresponding @xmath188 yellow part.,scaledwidth=100.0% ]    from the expression of jarlskog invariant @xmath176 in eq .
, we see that @xmath176 vanishes such that the dirac cp is conserved with @xmath202 if @xmath203 or @xmath204 .
notice that both @xmath94 and @xmath95 can not be equal to @xmath205 or @xmath206 otherwise at least one entry of @xmath90 would be zero .
inspired by the indication of maximal @xmath3 from t2k collaboration  @xcite , we shall explore the condition of maximal dirac cp - violation . by straightforward but cumbersome calculations
, we find that @xmath9 can be achieved for the parameters @xmath207 no matter what value @xmath107 takes .
the corresponding residual cp transformations are of the form @xmath208 in case of @xmath209 , @xmath210 and @xmath211 , where @xmath212 .
the above formulas for @xmath83 and @xmath84 are interchanged for the remaining values of @xmath213 , @xmath210 and @xmath211 . in this occasion ,
the lepton mixing parameters are predicted to be @xmath214 we see that both @xmath8 and @xmath3 are maximal , and the majorana cp phases @xmath182 and @xmath183 are equal up to @xmath149 .
note that the requirement of eq .   is a sufficient but not a necessary condition of maximal dirac cp violation .
since generally @xmath3 depends on both the input parameters @xmath94 , @xmath95 , @xmath119 , @xmath148 associated with the residual cp transformations and the free parameter @xmath107 , @xmath9 can also be achieved for some specific value of @xmath107 ( not for any value of @xmath107 ) even if the condition in eq .   is not fulfilled .
this point can be clearly seen from fig .
[ fig : phi - cosd ] . the key observable for majorana phases is the neutrinoless double beta ( @xmath215 ) decay .
the dependence of the @xmath215decay amplitude on the neutrino mixing parameters is represented by effective mass @xmath216  @xcite : @xmath217 the effective mass @xmath216 for the predicted patterns in eq .
is illustrated in fig .
[ fig : mee](a ) .
we see that almost all possible values of @xmath216 allowed by experimental data at @xmath188 level can be reproduced in this case except a quite small portion in case of no .
therefore it should be very challenging to testify this texture in @xmath215decay .    [ cols="^,^ " , ]      the column permutation @xmath104 takes the value @xmath218 the pmns matrix is given by @xmath219 we see that the second column is @xmath155 which is irrelevant to @xmath107 .
the lepton mixing parameters are determined to be @xmath220\sin2\theta\big\}\big/\\ \nonumber&&\big[1-\left(\cos^2\rho\cos^2\theta+\sin^2\rho\sin^2\theta-\frac{1}{2}\sin2\rho\sin2\theta\cos\frac{\kappa^{\prime}_2-\kappa^{\prime}_3}{2}\right)\sin^2\varphi\big]\,,\\ \nonumber j_{cp}&=&\frac{1}{4}\cos\varphi\sin^2\varphi\sin2\phi\sin2\theta\sin\frac{\kappa^{\prime}_2-\kappa^{\prime}_3}{2}\,,\\ \nonumber |i_1|&=&\frac{1}{4}\sin^22\varphi\left|\cos^2\rho\sin^2\theta\sin\kappa^{\prime}_2+\sin^2\rho\cos^2\theta\sin\kappa^{\prime}_3+\frac{1}{2}\sin2\rho\sin2\theta \sin\frac{\kappa^{\prime}_2+\kappa^{\prime}_3}{2}\right|\,,\\    it is easy to see that @xmath186 and @xmath1 are correlated as @xmath221 which leads to @xmath222 the allowed regions of @xmath94 and @xmath95 by present experimental data is shown in fig .
[ fig : range ] .
moreover , a relation among @xmath3 and three mixing angles is found : @xmath223 which allows us to constrain the values of @xmath197 versus @xmath95 for three mixing angles in the experimentally preferred @xmath188 ranges , as is plotted in fig .
[ fig : phi - cosd ] . in the same fashion as section  [ subsec:1st_column ]
, we have zero cp violation @xmath224 for @xmath225 or @xmath226 , @xmath206 , @xmath149 , @xmath227
. a sufficient condition of maximal cp violation @xmath9 for any value of @xmath107 is still given by eq .  , and correspondingly the lepton mixing parameters are constrained by this symmetry to be of the form @xmath228 the predictions for the @xmath215decay effective mass @xmath216 is displayed in fig .
[ fig : mee](b ) . in the end
, we consider the scenario where the residual @xmath85 flavor symmetry generated by @xmath193 is a subgroup of a finite flavor symmetry .
then the possible forms of the column vector @xmath199 fixed by @xmath89 would be strongly constrained  @xcite . in order to be compatible with experimental data  @xcite ,
this column can only be @xmath229 both solutions lead to @xmath211 .
the predictions for @xmath230 and @xmath197 by eq .   and
eq .   are listed in table  [ tab : fixed_column ] .
we see that the solar mixing angle @xmath230 is determined to be around 0.34 or 0.28 which can be checked at juno  @xcite .
although @xmath197 is not constrained at @xmath188 level , it is found @xmath231 ( @xmath232 ) or @xmath233 ( @xmath234 ) for no ( io ) when both @xmath1 and @xmath8 lie in the @xmath192 regions .      in this scenario
, we can choose the permutation matrix is @xmath235 the pmns matrix takes the form : @xmath236 now the vector @xmath199 resides in the third column of @xmath90 .
the lepton mixing parameters read as @xmath237 the weak basis invariants are given by @xmath238 in this case , the allowed values of @xmath94 and @xmath95 are strongly constrained by the measured values of @xmath1 and @xmath8 : @xmath239 at @xmath188 confidence level  @xcite . from the expression of @xmath240 in eq .  , we see that dirac cp would be maximally violated once the condition @xmath241 is satisfied .
in particular , the parameters @xmath242 lead to a maximal cp - violating phase with @xmath9 for any value of @xmath107 .
the associated remnant cp transformations take the form @xmath243 for @xmath244 and @xmath210 , where @xmath245 , @xmath246 , @xmath247 and @xmath248 are the abbreviations of @xmath249 , @xmath250 , @xmath251 and @xmath252 respectively . in case of @xmath253 and @xmath210 ,
the above expressions for @xmath83 and @xmath84 are exchanged . beside maximal @xmath3 ,
the majorana phase @xmath182 is enforced to be zero by the chosen residual cp while @xmath183 is not constrained , i.e. , @xmath254 the resulting predictions for @xmath216 are displayed in fig .
[ fig : mee](c ) .
finally if the residual flavor symmetry @xmath193 originates from a finite flavor symmetry group , we find that only the third column of @xmath194 is viable , i.e. , @xmath255 where @xmath256 $ ] to be in accordance with experimental data . in this case ,
@xmath1 and @xmath8 are determined to be : @xmath190 and @xmath257 or @xmath258 .
the predictions for @xmath8 can be tested by forthcoming long baseline neutrino oscillation experiments .
as demonstrated in section  [ sec : reconstruction_pmns ] , if the neutrino mass matrix is invariant under the action of a generic residual cp transformation @xmath259 in the charged lepton diagonal basis , then the lepton mixing matrix would be of the form @xmath260 where @xmath169 given by eq .
denotes an arbitrary orthogonal matrix . in this scenario
, @xmath90 depends on three free parameters @xmath168 besides the input parameters characterizing the residual cp transformation .
the analytical expressions for the mixing parameters are rather lengthy and hence are omitted here . since generally @xmath168 are involved in each entry of @xmath90 , the observed values of the three mixing angles can be easily accommodated by a suitable choice of the values of @xmath168 .
depending on the concrete form of the residual cp transformation and @xmath168 , the cp violating phases @xmath3 , @xmath182 and @xmath183 can take any values .
after some cumbersome algebraic calculations , we find that @xmath3 would be maximal for any @xmath168 if and only if @xmath261 where @xmath262 .
this is a minor generalization of the @xmath5 reflection symmetry in which @xmath263 .
moreover , @xmath8 is enforced to be maximal by this residual cp transformation , and both majorana phases are trivial , i.e. , @xmath264 while @xmath186 and @xmath1 are not constrained .
similarly @xmath3 will be zero ( or equal to @xmath149 ) for any @xmath168 if @xmath265 where @xmath266 .
the majorana cp - violating phases are also found to be conserved in this case , @xmath267 if the residual cp is distinct from eq .   and eq .  , the dirac cp would be neither conserved nor maximally violated except for some special values of @xmath168 . from the formula of @xmath216 in eq .
, we see that the two patterns in eq .
( for conserved @xmath3 ) and eq .
( for maximal @xmath3 ) leads to the same predictions for the effective mass @xmath216 , as is shown in fig .
[ fig : mee](d ) .
over the past years , much effort has been devoted to understanding lepton flavor mixing angles from some discrete flavor symmetry . in this setup , the mismatch between the residual flavor symmetries in the neutrino and the charged lepton sectors generates the lepton mixing matrix . to account for the observed sizable @xmath1
, the order of the flavor symmetry group should be quite large , the dirac cp violating phase @xmath3 is predicted to be conserved while the majorana phases can not be determined by flavor symmetry alone  @xcite . in this work , we propose to constrain the lepton flavor mixing matrix from residual cp symmetry instead of residual flavor symmetry .
the remnant cp symmetry can be derived from the experimentally measured mixing matrix . in the charged lepton diagonal basis ,
the neutrino mass matrix is invariant under the action of cp transformation of the neutrino triplets : @xmath268 and @xmath269 , and the remnant cp transformation of the charged lepton fields is a generic diagonal phase matrix .
performing two remnant cp transformations in succession can generate the well - known residual flavor klein group @xmath270 . as a result , the residual cp is more efficient than the residual flavor symmetry in predicting the lepton flavor mixing .
on the other hand , we have showed that the lepton mixing matrix can be constructed from the postulated residual cp transformations of the neutrino mass matrix .
if the whole set of the residual cp transformations or three of them are preserved , lepton mixing angles and dirac phase are completely fixed by the induced residual flavor symmetry .
in addition , the majorana cp phases are also subject to the constraint of remnant cp . in the case that there are two remnant cp transformations @xmath83 and @xmath84 in the neutrino sector , a by - product is a residual @xmath85 flavor symmetry @xmath86 . as a result
, one column of the pmns matrix would be fixed by @xmath89 .
the pmns matrix is found to be of the form of eq .  .
we see that @xmath90 depends on a single real free parameter @xmath107 besides the input parameters @xmath94 , @xmath95 , @xmath119 and @xmath148 specifying @xmath83 and @xmath84 .
furthermore , if only one remnant cp transformation is kept by the neutrino mass matrix , the pmns matrix is reconstructed to be given by eq .  .
@xmath90 is determined up to an orthogonal matrix and it involves three real free parameters @xmath168 .
all the three cp violating phases @xmath3 , @xmath182 and @xmath183 are in general related to both the free parameter @xmath107 ( or @xmath168 ) and the the parameters characterizing the remnant cp transformations , depending on the values of these parameters , they can take any values from 0 to @xmath271
.    the lepton masses can not be predicted in this approach .
therefore the column vector @xmath199 determined by the induced flavor symmetry @xmath89 can be in the first column , the second column or the third column of @xmath90 in case of two remnant cp transformations .
the phenomenological predictions of the mixing parameters are studied for each arrangement .
the allowed regions of @xmath94 and @xmath95 by the experimental data are extracted .
interesting relations of eqs .
( [ eq : cosd1],[eq : cosd2 ] ) among @xmath3 and mixing angles are found .
we see that refined measurements of mixing angles can help to narrow or eventually pin down @xmath3 . in view of the preliminary result of @xmath4 from t2k ,
we have searched for the conditions of maximal dirac cp violation for any value of @xmath107 ( or @xmath168 ) .
note that meanwhile at least one of the phases @xmath182 , @xmath183 and @xmath272 is predicted to be zero or @xmath149 .
the corresponding predictions for the @xmath215decay effctive mass @xmath216 are studied .
furthermore , the scenario of induced flavor symmetry @xmath89 arising from a finite flavor symmetry group is discussed
. the possible form of the column dictated by @xmath89 would be strongly constrained in this case , and consequently the mixing angles are found to lie in quite narrow regions .
comparison with forthcoming experimental data should be able to test this scenario .    in this paper the phenomenological implications of residual cp transformations
are analyzed in a model - independent way .
the remnant cp transformations can be any well - defined ones .
the physical results only depend on the presumed remnant cp and are independent of how the remnant symmetry is dynamically realized .
the idea of combining a flavor symmetry with cp symmetry has recently stimulated some interesting discussions  @xcite , the predictions of the lepton mixing matrix for different symmetry breaking chains can be straightforwardly extracted via eq .   and
eq .   reported here .
finally it is interesting to explore the physical consequence of cp symmetry in some extension of the standard model such as the grand unification theory , where the viable cp transformations at high energy scale as well as remnant cp are strongly constrained by the gauge symmetry .
in addition , it is possible to relate the leptonic cp violating phases to the precisely measured quark cp phase .
this work is supported by the national natural science foundation of china under grant nos .
11275188 and 11179007 .      p.
f.  harrison , d.  h.  perkins and w.  g.  scott , phys .
b * 530 * , 167 ( 2002 ) [ hep - ph/0202074 ] ; p.  f.  harrison and w.  g.  scott , phys .
b * 535 * , 163 ( 2002 ) [ hep - ph/0203209 ] ; z.  z.  xing , phys .
b * 533 * ( 2002 ) 85 [ hep - ph/0204049 ] ; x.  g.  he and a.  zee , phys .
b * 560 * , 87 ( 2003 ) [ hep - ph/0301092 ] .
k.  abe _ et al .
_ [ t2k collaboration ] , phys .  rev .
lett .   * 107 * , 041801 ( 2011 ) [ arxiv:1106.2822 [ hep - ex ] ] ; phys .
* 111 * , no .
21 , 211803 ( 2013 ) [ arxiv:1308.0465 [ hep - ex ] ] ; phys .
lett .   * 112 * , 061802 ( 2014 ) [ arxiv:1311.4750 [ hep - ex ] ] .
p.  adamson _ et al .
_ [ minos collaboration ] , phys .  rev .
lett .   * 107 * , 181802 ( 2011 ) [ arxiv:1108.0015 [ hep - ex ] ] ; phys .  rev
.  lett .   * 110 * , 171801 ( 2013 ) [ arxiv:1301.4581 [ hep - ex ] ] ; phys .  rev
.  lett .
* 110 * , 251801 ( 2013 ) [ arxiv:1304.6335 [ hep - ex ] ] .
y.  abe _ et al . _
[ double - chooz collaboration ] , phys .
lett .   * 108 * , 131801 ( 2012 ) [ arxiv:1112.6353 [ hep - ex ] ] ; phys .
d * 86 * , 052008 ( 2012 ) [ arxiv:1207.6632 [ hep - ex ] ] ; physics letters b , volume 735 , 30 july 2014 , pages 51 - 56 [ arxiv:1401.5981 [ hep - ex ] ] ; y.  abe _ et al . _
[ double chooz collaboration ] , jhep * 1410 * , 86 ( 2014 ) [ arxiv:1406.7763 [ hep - ex ] ] .
f.  p.  an _ et al . _ [ daya - bay collaboration ] , phys .
lett .   * 108 * , 171803 ( 2012 ) [ arxiv:1203.1669 [ hep - ex ] ] ; chin .
c * 37 * , 011001 ( 2013 ) [ arxiv:1210.6327 [ hep - ex ] ] ; phys .
lett .   * 112 * , 061801 ( 2014 ) [ arxiv:1310.6732 [ hep - ex ] ] .              s.  k.  agarwalla _ et al . _
[ laguna - lbno collaboration ] , jhep * 1405 * , 094 ( 2014 ) [ arxiv:1312.6520 [ hep - ph ] ] ; l.  agostino , b.  andrieu , r.  asfandiyarov , d.  autiero , o.  bsida , f.  bay , r.  bayes and a.  m.  blebea - apostu _ et al . _ , arxiv:1409.4405 [ physics.ins-det ] ; s.  k.  agarwalla _ et al . _
[ laguna - lbno collaboration ] , arxiv:1412.0593 [ hep - ph ] ; s.  k.  agarwalla _ et al . _
[ laguna - lbno collaboration ] , arxiv:1412.0804 [ hep - ph ] .
k.  abe , t.  abe , h.  aihara , y.  fukuda , y.  hayato , k.  huang , a.  k.  ichikawa and m.  ikeda _ et al .
_ , arxiv:1109.3262 [ hep - ex ] ; e.  kearns _ et al . _
[ hyper - kamiokande working group collaboration ] , arxiv:1309.0184 [ hep - ex ] .
g.  ecker , w.  grimus and w.  konetschny , nucl .
b * 191 * ( 1981 ) 465 ; g.  ecker , w.  grimus and h.  neufeld , nucl .
b * 247 * ( 1984 ) 70 ; g.  ecker , w.  grimus and h.  neufeld , j.  phys .
a * 20 * ( 1987 ) l807 ; h.  neufeld , w.  grimus and g.  ecker , int .
j.  mod .
phys .  a * 3 * , 603 ( 1988 ) .
p.  f.  harrison and w.  g.  scott , phys .
b * 535 * , 163 ( 2002 ) [ hep - ph/0203209 ] ; p.  f.  harrison and w.  g.  scott , phys .
b * 547 * , 219 ( 2002 ) [ hep - ph/0210197 ] ; p.  f.  harrison and w.  g.  scott , phys .
b * 594 * , 324 ( 2004 ) [ hep - ph/0403278 ] .
g.  c.  branco , j.  m.  gerard and w.  grimus , phys .
b * 136 * , 383 ( 1984 ) ; i.  de medeiros varzielas and d.  emmanuel - costa , phys .
d * 84 * , 117901 ( 2011 ) [ arxiv:1106.5477 [ hep - ph ] ] ; i.  de medeiros varzielas , d.  emmanuel - costa and p.  leser , phys .
b * 716 * , 193 ( 2012 ) [ arxiv:1204.3633 [ hep - ph ] ] ; i.  de medeiros varzielas , jhep * 1208 * , 055 ( 2012 ) [ arxiv:1205.3780 [ hep - ph ] ] ; g.  bhattacharyya , i.  de medeiros varzielas and p.  leser , phys .  rev .
lett .   * 109 * , 241603 ( 2012 ) [ arxiv:1210.0545 [ hep - ph ] ] .
s.  f.  ge , d.  a.  dicus and w.  w.  repko , phys .
b * 702 * , 220 ( 2011 ) [ arxiv:1104.0602 [ hep - ph ] ] ; s.  f.  ge , d.  a.  dicus and w.  w.  repko , phys .  rev .  lett .
* 108 * , 041801 ( 2012 ) [ arxiv:1108.0964 [ hep - ph ] ] ; d.  hernandez and a.  y.  smirnov , phys .
d * 86 * , 053014 ( 2012 ) [ arxiv:1204.0445 [ hep - ph ] ] ; d.  hernandez and a.  y.  smirnov , phys .
d * 87 * , no . 5 , 053005 ( 2013 ) [ arxiv:1212.2149 [ hep - ph ] ] .