hep-ph0612214/S4.tex
1: \documentstyle[prd,aps,preprint,tighten,epsfig]{revtex}
2: 
3: \begin{document}
4: 
5: \title{Flavor $S^{}_4 \otimes Z^{}_2$ symmetry and neutrino mixing}
6: 
7: \author{{\bf He Zhang} \thanks{E-mail: zhanghe@mail.ihep.ac.cn}}
8: 
9: \address{Institute of High Energy Physics, Chinese Academy of
10: Sciences,
11: \\ P.O. Box 918, Beijing 100049, China}
12: 
13: \maketitle
14: 
15: \begin{abstract}
16: We present a model of the lepton masses and flavor mixing based on
17: the discrete group $S^{}_4\otimes Z^{}_2$. In this model, all the
18: charged leptons and neutrinos are assigned to the ${\bf
19: \underline{3}}_\alpha$ representation of $S^{}_4$ in the Yamanouchi
20: bases. The charged lepton and neutrino masses are mainly determined
21: by the vacuum expectation value structures of the Higgs fields. A
22: nearly tri-bimaximal lepton flavor mixing pattern, which is in
23: agreement with the current experimental results, can be accommodated
24: in our model. The neutrino mass spectrum takes the nearly degenerate
25: pattern, and thus can be well tested in the future precise
26: experiments.
27: \end{abstract}
28: 
29: \newpage
30: 
31: \section{introduction}
32: 
33: To understand the origin of fermion masses and flavor mixing is
34: crucial and essential in modern particle physics. From the
35: analyses\cite{Vissani} of recent neutrino oscillation
36: experiments\cite{SNO,SK,KM,K2K,CHOOZ}, we have confirmed the large
37: solar mixing angle $\theta^{}_{12} \simeq 34^{\circ} $\cite{MSW},
38: maximal atmospheric mixing angle $\theta^{}_{23} \simeq
39: 45^{\circ}$ and a very tiny $\theta^{}_{13}$, $\theta^{}_{13} <
40: 10^{\circ}$. A very small solar mass squared difference $\Delta
41: m^2_{21} \equiv m^2_2-m^2_1 \simeq 8.0 \times 10^{-5}~ {\rm eV}^2$
42: and an atmospheric mass squared difference $\Delta m^2_{32} \equiv
43: m^2_3-m^2_2 \simeq \pm2.5 \times 10^{-3}~ {\rm eV}^2$ are given by
44: the experimental data\cite{Vissani}. Here the plus and minus signs
45: in front of $\Delta m^2_{32}$ correspond to the normal mass
46: hierarchy ($m^{}_1<m^{}_2<m^{}_3$) and inverted mass hierarchy
47: ($m^{}_3<m^{}_1<m^{}_2$) case. Since the standard model predicts
48: massless neutrinos, it is clear that we should extend the standard
49: model to accommodate non-vanishing neutrino masses. Among all
50: possible mechanisms, the seesaw mechanism\cite{seesaw} is a very
51: interesting and elegant one to explain the light neutrino masses.
52: In the framework of the seesaw mechanism, the light left-handed
53: neutrino masses can well be understood by introducing heavy
54: right-handed Majorana neutrinos, and the light neutrino mass
55: matrix is given by
56: \begin{eqnarray}
57: M^{}_\nu=M^{}_D M^{-1}_R M^{T}_D \ ,
58: %       1
59: \end{eqnarray}
60: where $M^{}_D$ and $M^{}_R$ are the Dirac and Majorana mass matrices
61: respectively. The typical mass scales of $M^{}_R$ are $10^{14} \sim
62: 10^{16} {\rm GeV}$.
63: 
64: Since the Yukawa structures are not well constrained up to now, to
65: identify the structure of the neutrino mass matrix is one of the
66: main objects in neutrino physics. An interesting and natural way
67: to study the Yukawa coupling and find the underlying physics is
68: the flavor symmetry. Among all possible flavor symmetries,
69: discrete non-Abelian groups such as $S^{}_3$\cite{S3},
70: $A^{}_4$\cite{A4} and so on have attracted a lot of attention.
71: Note that most of these models rely on the basis of their group
72: representation, and contain more theoretical parameters than the
73: observables.
74: 
75: The permutation group $S^{}_4$, which is formed by the $4!$
76: permutations, totally contains 24 group elements which belong to
77: five conjugate classes. Therefore it has five irreducible
78: representations ({\it reps}). Among these irreducible {\it reps},
79: there are two one-dimensional (${\bf \underline{1}}_S$ and ${\bf
80: \underline{1}}_A$), one two-dimensional (${\bf \underline{2}}$) and
81: two three-dimensional (${\bf \underline{3}}_\alpha$ and ${\bf
82: \underline{3}}_\beta$) {\it reps}. Here the `S' and `A' mean
83: symmetric and antisymmetric {\it reps} respectively. The character
84: table of $S^{}_4$ is given in Table 1. In respect that the particles
85: in our model are all assigned to the ${\bf \underline{1}}_S$, ${\bf
86: \underline{2}}$ and ${\bf \underline{3}}_\alpha$, we list the
87: relevant representation matrices in Appendix A.
88: 
89: The $S^{}_4$ models for fermion masses have been discussed by
90: several authors in Refs.\cite{S4,S4new}. In this note, we adopt the
91: $S^{}_4 \otimes Z^{}_2$ flavor symmetry and assign all the charged
92: leptons, neutrinos and Higgs into the irreducible Yamanouchi
93: bases\cite{chen}. Such a compact scheme contains only a few
94: parameters, and therefore it can be examined quite well in the
95: future experiments.
96: 
97: In the following, we will present the main contents of our model in
98: section II. Some detailed analytical and numerical analyses will be
99: given in section III. In section IV, the $S_4$ invariant Higgs
100: potential are discussed. Finally, a brief summary is given in
101: section V.
102: 
103: \section{particle assignment}
104: 
105: In our model, all the leptons are assigned to the $\underline{\bf
106: 3}^{}_{\alpha}$ {\it rep} of $S^{}_4$, but their $Z^{}_2$ charges
107: are different. Under the group
108: \begin{eqnarray}
109: G=SU(3)^{}_c \otimes SU(2)^{}_L \otimes U(1)^{}_Y \otimes S^{}_4
110: \otimes Z^{}_2 \ ,
111: \end{eqnarray}
112: the lepton contents in our model are placed as
113: \begin{eqnarray}
114: \ell^{}_L & \sim & (1,2,-1)(\underline{\bf 3}^{}_{\alpha},+) \ ,
115: \nonumber
116: \\
117: e^{}_R & \sim & (1,1,-2)(\underline{\bf 3}^{}_{\alpha},+) \ ,
118: \nonumber
119: \\
120: \nu^{}_R & \sim & (1,1,0)(\underline{\bf 3}^{}_{\alpha},-) \ ,
121: \end{eqnarray}
122: where the plus or minus sign denotes the reflection properties
123: under $Z^{}_2$, i.e. $\Psi\rightarrow\pm\Psi$. The Higgs scalars
124: in our model are placed as follows
125: \begin{eqnarray}
126: H^{}_u & \sim & (1,2,-1)(\underline{\bf 1}^{}_{\bf S},+) \ ,
127: \nonumber \\
128: H^{}_d & \sim & (1,2,-1)(\underline{\bf 1}^{}_{\bf S},-) \ ,
129: \nonumber \\
130: \chi & \sim & (1,2,-1)(\underline{\bf 3}^{}_{\alpha},-) \ ,
131: \nonumber \\
132: \phi & \sim & (1,2,-1)(\underline{\bf 2}^{}_{},+) \ .
133: \end{eqnarray}
134: Here the $Z_2$ symmetry guarantees that the lepton doublet couples
135: to ($e_R, \phi_i$) and ($\nu_R, \chi_i$) respectively. It will be
136: shown in section IV that the masses of Higgs scalars are almost
137: unconstrained in this model, thus we can choose their masses at some
138: high energy scales in order to avoid the tree level flavor charging
139: neutral currents. Note that we do not introduce any $SU(2)^{}_L$
140: singlet or triplet Higgs\cite{triplet}. Hence the Heavy right-handed
141: neutrino masses are exactly degenerate.
142: 
143: By using the group algebra given in Appendix A, we write down the
144: $S^{}_4 \otimes Z^{}_2$ invariant Yukawa couplings:
145: \begin{eqnarray}
146: -{\cal L}^{}_{Y}=\alpha^{}_e \overline{\ell^{}_{iL}}
147: e^{}_{iR}\tilde{H^{}_u}+\beta^{}_e f^{}_{ijk}
148: \overline{\ell^{}_{iL}} e^{}_{jR}\tilde{\phi^{}_k} +
149: \alpha^{}_{\nu} \overline{\ell^{}_{iL}} \nu^{}_{iR}{H^{}_d}
150: +\beta^{}_\nu g^{}_{ijk} \overline{\ell^{}_{iL}}
151: \nu^{}_{jR}{\chi^{}_k} + \frac{1}{2}M\overline{\nu^{c}_{iR}}
152: \nu^{}_{iR}+h.c.
153: \end{eqnarray}
154: where $\tilde{H}^{}_u=i\tau^{}_2H^{*}_u$ and
155: $\tilde{\phi}=i\tau^{}_2\phi^{*}$. The last term in Eq. (5) is the
156: bare Majorana mass term with $M$ being the typical mass scale of
157: the heavy right-handed neutrinos. The coefficients
158: $\alpha^{}_{e,\nu}$ and $\beta^{}_{e,\nu}$ are in general complex
159: parameters. However, since their phases are all global phases,
160: there will be no Dirac CP violating phases in the MNS matrix and
161: only the Majorana phases can be accommodated up to now.
162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
163: \footnote{Here we do not consider the spontaneous CP
164: violation\cite{SCP}}
165: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
166: The structures of the traceless matrices $f$ and $g$ can be
167: obtained from the CG coefficients of $S^{}_4$. Following the CG
168: coefficient tables given in Ref. \cite{chen}, we arrive at
169: \begin{eqnarray}
170: f^{}_{ij1}=\left(\matrix{ 0 & \sqrt{2} & 0 \cr \sqrt{2} & 1 & 0
171: \cr 0 & 0 & -1 }\right) \ , \ \ \ \ \ f^{}_{ij2}=\left(\matrix{ 0
172: & 0 & \sqrt{2} \cr 0 & 0 & -1 \cr \sqrt{2} & -1 & 0}\right) \ ,
173: \end{eqnarray}
174: and
175: \begin{eqnarray}
176: g^{}_{ij1}&=&\left(\matrix{ 2 & 0 & 0 \cr 0 & -1 & 0 \cr 0 & 0 &
177: -1 }\right) \ , \ \ \ \ \ g^{}_{ij2}=\left(\matrix{ 0 & -1 & 0 \cr
178: -1 & \sqrt{2} & 0 \cr 0 & 0 & -\sqrt{2}}\right) \ , \nonumber \\
179: g^{}_{ij3}&=&\left(\matrix{ 0 & 0 & -1 \cr 0 & 0 & -\sqrt{2} \cr
180: -1 & -\sqrt{2} & 0 }\right) \ ,
181: \end{eqnarray}
182: where all the coefficient matrices are symmetric and traceless.
183: Hence both the charged lepton and neutrino mass matrices are
184: symmetric.
185: 
186: As we have mentioned above, the right-handed neutrino masses are
187: exactly degenerate by now. Such a result is not favored in some
188: leptogenesis models\cite{leptogenesis} in which the mass splits of
189: the heavy right-handed neutrinos are required. This drawback can
190: easily be solved by introducing an additional Higgs scalar $\eta
191: \sim (1,1,0)(\underline{\bf 2}^{}_{},+)$ or $\xi \sim
192: (1,1,0)(\underline{\bf 3}^{}_{\alpha},+)$ which couples to
193: $\nu^{}_R$ in the form of
194: \begin{eqnarray}
195: -{\cal L}^{}_{\eta-\nu^{}_R} = \beta^{}_R f^{}_{ijk}
196: \overline{\nu^{c}_{iR}} \nu^{}_{jR} \eta^{}_k \ ,
197: \end{eqnarray}
198: or
199: \begin{eqnarray}
200: -{\cal L}^{}_{\xi-\nu^{}_R} = \beta^{}_R g^{}_{ijk}
201: \overline{\nu^{c}_{iR}} \nu^{}_{jR} \xi^{}_k \ .
202: \end{eqnarray}
203: Their vacuum expectation values(VEVs) will bring the mass splits
204: of right-handed neutrinos and the phases of $\beta^{}_R$ will lead
205: to the Dirac CP violating phases in the MNS matrix.
206: 
207: Another possible way to gain the mass differences of the
208: right-handed neutrinos is to consider the renormalization group
209: equation running effects\cite{RGE} which can usually be used to
210: generate a small mass split in the resonant leptogenesis
211: models\cite{resonant}. A Dirac CP violating phase can also be
212: gained at the same time from the renormalization group equation
213: running\cite{Dirac}.
214: 
215: In our analyses, we focus our attention on the low energy
216: phenomena of our model. So we assume that all the Yukawa couplings
217: are real and the right-handed neutrino masses are exactly
218: degenerate.
219: 
220: \section{lepton mass matrices and mixing matrix}
221: 
222: Assuming the flavor symmetry $S^{}_4$ is broken by the VEVs of the
223: Higgs scalars in the form of $\left<H^{}_u\right>=v^{}_u$,
224: $\left<H^{}_d\right>=v^{}_d$, $\left<\phi^{}_i\right>=u^{}_i$ and
225: $\left<\chi^{}_i\right>=w^{}_i$, we obtain the mass matrix of the
226: charged leptons as
227: \begin{eqnarray}
228: M^{}_l=\left( \matrix{a & \sqrt{2} x^{}_1 & \sqrt{2} x^{}_2 \cr
229: \sqrt{2}x^{}_1 & a+ x^{}_1 & -x^{}_2 \cr \sqrt{2} x^{}_2 & -x^{}_2
230: & a - x^{}_1 } \right) \ ,
231: \end{eqnarray}
232: where $a$ and $x^{}_i$ are defined by $a=\alpha^{}_{e}v^{}_u$ and
233: $x^{}_i=\beta^{}_{e} u^{}_i$ respectively.
234: 
235: The Dirac mass matrix of the neutrinos is given by
236: \begin{eqnarray}
237: M^{}_D=\left(\matrix{ 2 y^{}_1+b & -y^{}_2 & -y^{}_3 \cr -y^{}_2 &
238: \sqrt{2} y^{}_2 -y^{}_1+b & -\sqrt{2}y^{}_{3} \cr -y^{}_3 &
239: -\sqrt{2}y^{}_{3} & -y^{}_1-\sqrt{2}y^{}_2+b}\right) \ ,
240: \end{eqnarray}
241: where $b=\alpha^{}_\nu v^{}_d$ and $y^{}_i=\beta^{}_\nu w^{}_i$.
242: Taking account of the seesaw relation in Eq. (1), we obtain the
243: light neutrino mass matrix:
244: \begin{eqnarray}
245: M^{}_\nu=m^{}_0\left(\matrix{ (2+\epsilon)^2+r^2+s^2 &
246: \sqrt{2}s^2-(1+2\epsilon+\sqrt{2}r)r & -(1+2\epsilon-2\sqrt{2}r)s
247: \cr \sim & (1 - \epsilon - \sqrt{2}r)^2+r^2+ 2 s^2 & (2\sqrt{2}
248: -2\sqrt{2}\epsilon + r)s \cr \sim & \sim &
249: (1-\epsilon+\sqrt{2}r)^2+3s^2}\right) \ ,
250: \end{eqnarray}
251: where $m^{}_0=y^2_1/M$, $\epsilon=b/y^{}_1$, $r=y^{}_2/y^{}_1$ and
252: $s=y^{}_3/y^{}_1$. Note that all the lepton mass matrices are
253: symmetric.
254: 
255: The mass matrices $M^{}_l$ and $M^{}_\nu$ can respectively be
256: diagonalized by two unitary matrices $V^{}_l$ and $V^{}_\nu$:
257: $V^{\dagger}_l M^{}_l V^{\ast}_l={\rm Diag}\{ m^{}_e,
258: m^{}_\mu,m^{}_\tau \}$, $V^{\dagger}_\nu M^{}_\nu
259: V^{\ast}_\nu={\rm Diag}\{ m^{}_1, m^{}_2,m^{}_3 \}$. The lepton
260: flavor mixing matrix $V^{}_{\rm MNS}$, which links the neutrino
261: mass eigenstates ($\nu^{}_1,\nu^{}_2,\nu^{}_3$) with their flavor
262: eigenstates ($\nu^{}_e,\nu^{}_\mu,\nu^{}_\tau$), is then given by
263: $V^{}_{\rm MNS}=V^{\dag}_{l}V^{}_{\nu}$.
264: 
265: 
266: \subsection{charged lepton sector}
267: 
268: By diagonalizing the charged lepton mass matrix in Eq. (10), we get
269: the charged lepton masses:
270: \begin{eqnarray}
271: m^{}_e & = & a+2x^{}_1 \ , \nonumber \\
272: m^{}_\mu & = & a-x^{}_1+\sqrt{3}x^{}_2 \ , \nonumber \\
273: m^{}_\tau & = & a-x^{}_1-\sqrt{3}x^{}_2  \ ,
274: \end{eqnarray}
275: and the mixing matrix $V^{}_l$:
276: \begin{eqnarray}
277: V^{}_l = \left(\matrix{\displaystyle \frac{1}{\sqrt{3}} &
278: \displaystyle \frac{1}{\sqrt{3}} & \displaystyle
279: \frac{1}{\sqrt{3}}  \cr \displaystyle \frac{2}{\sqrt{6}} &
280: \displaystyle -\frac{1}{\sqrt{6}} & \displaystyle
281: -\frac{1}{\sqrt{6}}  \cr 0 & \displaystyle \frac{1}{\sqrt{2}}
282: &\displaystyle -\frac{1}{\sqrt{2}}  }\right) \ .
283: \end{eqnarray}
284: A typical interesting and instructive feature is that $V^{}_l$ is a
285: constant matrix with respective to arbitrary $a$ and $x^{}_{i}$.
286: After being transposed, this matrix takes the very similar form to
287: the tri-bimaximal mixing matrix\cite{tribi}
288: \begin{equation}
289: V^{}_{\rm tri-bi} = \left ( \matrix{ \displaystyle
290: \frac{2}{\sqrt{6}} & \displaystyle \frac{1}{\sqrt{3}} & 0 \cr\cr
291: \displaystyle -\frac{1}{\sqrt{6}} & \displaystyle
292: \frac{1}{\sqrt{3}} & \displaystyle \frac{1}{\sqrt{2}} \cr\cr
293: \displaystyle -\frac{1}{\sqrt{6}} & \displaystyle
294: \frac{1}{\sqrt{3}} & \displaystyle -\frac{1}{\sqrt{2}} \cr} \right
295: )  \; ,
296: \end{equation}
297: only up to an exchange between the first and second column.
298: 
299: By using Eq. (13), we can also express the parameters $a$, $x^{}_1$
300: and $x^{}_2$ in terms of the charged lepton masses as
301: \begin{eqnarray}
302: a & = & \frac{1}{3}\left( m^{}_e+m^{}_\mu+m^{}_\tau \right) \ ,
303: \nonumber \\
304: x^{}_1 & = & \frac{1}{6}\left( 2m^{}_e-m^{}_\mu-m^{}_\tau \right) \ ,\nonumber \\
305: x^{}_2 & = & \frac{1}{2\sqrt{3}}\left( m^{}_\mu-m^{}_\tau \right)
306: \ .
307: \end{eqnarray}
308: Considering the mass hierarchies of the charged leptons:
309: $m^{}_\tau\gg m^{}_\mu \gg m^{}_e$, it is easy to conclude that
310: $|a|>|x^{}_2|>|x^{}_1|$.
311: 
312: \subsection{neutrino sector}
313: 
314: As an example, we assume $s=0$ and $r \ll 1$
315: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
316: \footnote{In the case of $s \neq 0$, there will be more freedom for
317: us to fit the data in principle. However, it will involve the
318: problem of cubic root. Since the main propose of this paper is to
319: show the feasibility of this $S^{}_4$ model, we simply take $s=0$ as
320: an example. In our numerical calculations at the end of section III,
321: we do not make any approximation on $r$ or $s$, and we will see that
322: the exact numerical result satisfies the condition $s,r \ll 1$ very
323: well.}.
324: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%55
325: Then, $M^{}_D$ takes the simple form:
326: \begin{eqnarray}
327: M^{}_D=y^{}_1 \left(\matrix{ 2 +\epsilon & -r & 0 \cr -r &
328: -1+\sqrt{2} r +\epsilon & 0 \cr 0 & 0 &
329: -1-\sqrt{2}r+\epsilon}\right) \ ,
330: \end{eqnarray}
331: and the light neutrino mass matrix can be written as
332: \begin{eqnarray}
333: M^{}_\nu = m^{}_0 \left(\matrix{ (2+\epsilon)^2+r^2 &
334: -r-2r\epsilon-\sqrt{2}r^2 & 0 \cr -r-2r\epsilon-\sqrt{2}r^2 &
335: (1-\epsilon-\sqrt{2}r)^2+r^2 & 0 \cr 0 & 0 &
336: (1-\epsilon+\sqrt{2}r)^2 }\right) \ .
337: \end{eqnarray}
338: There are two texture zeros in the third row of
339: $M^{}_\nu$\cite{zero}. Therefore only the mixing between the first
340: two generations exists in the neutrino sector. After straightforward
341: calculations, we obtain the light neutrino masses:
342: \begin{eqnarray}
343: m^{}_1 & \simeq &
344: m^{}_0\left[(1-\epsilon)^2-2\sqrt{2}(1-\epsilon)r + \frac{2}{3}
345: (4-\epsilon)r^2\right]  \ , \nonumber \\
346: m^{}_2 & \simeq & m^{}_0 \left[ (2 + \epsilon)^2 + \frac{2}{3} ( 2 +
347: \epsilon) r^2 \right]  \ , \nonumber \\ m^{}_3 & \simeq &
348: m^{}_0\left[ (1-\epsilon)^2+2\sqrt{2}(1-\epsilon)r+2r^2 \right] \ ,
349: \end{eqnarray}
350: where the terms in proportion to $r^3$ have been neglected. The
351: mixing matrix $V^{}_\nu$ can be approximated to
352: \begin{eqnarray}
353: V^{}_\nu \simeq \left(\matrix{ \displaystyle
354: \frac{1}{3}r+\frac{\sqrt{2}}{9}r^2 & \displaystyle
355: -1+\frac{1}{18}r^2 & 0 \cr \displaystyle 1-\frac{1}{18}r^2 &
356: \displaystyle \frac{1}{3}r+\frac{\sqrt{2}}{9}r^2 & \displaystyle 0
357: \cr 0 & 0 & 1 }\right) + {\cal O}(r^3) \ .
358: \end{eqnarray}
359: It is interesting that only the parameter $r$ appears in the
360: approximate expression of $V^{}_\nu$.
361: 
362: The MNS mixing matrix is given by
363: \begin{eqnarray}
364: V^{}_{\rm MNS} & = &  V^\dagger_l V^{}_\nu = \left [ V^\dagger_l .
365: \left(\matrix{0 & 1 & 0 \cr 1 & 0 & 0 \cr 0 & 0 & 1}\right)
366: \right] \cdot \left[ \left(\matrix{0 & 1 & 0 \cr 1 & 0 & 0 \cr 0 &
367: 0 & 1}\right) V ^{}_\nu \right ] \nonumber \\
368: & = &  \left ( \matrix{ \displaystyle \frac{2}{\sqrt{6}} &
369: \displaystyle \frac{1}{\sqrt{3}} & 0 \cr\cr \displaystyle
370: -\frac{1}{\sqrt{6}} & \displaystyle \frac{1}{\sqrt{3}} &
371: \displaystyle \frac{1}{\sqrt{2}} \cr\cr \displaystyle
372: -\frac{1}{\sqrt{6}} & \displaystyle \frac{1}{\sqrt{3}} &
373: \displaystyle -\frac{1}{\sqrt{2}} \cr} \right ) \cdot
374: \left(\matrix{  \displaystyle 1-\frac{1}{18}r^2 & \displaystyle
375: \frac{1}{3}r+\frac{\sqrt{2}}{9}r^2 & \displaystyle 0 \cr
376: \displaystyle \frac{1}{3}r+\frac{\sqrt{2}}{9}r^2 &
377: \displaystyle -1+\frac{1}{18}r^2 & 0 \cr 0 & 0 & 1 }\right)\nonumber \\
378: &=& V^{}_{\rm tri-bi} \cdot \left(\matrix{ \cos\theta & \sin\theta
379: & 0 \cr -\sin\theta & \cos\theta & 0 \cr 0 & 0 & 1 }\right)\cdot
380: \left(\matrix{1 & 0 & 0 \cr 0 & -1 & 0 \cr 0 & 0 & 1}\right) \ ,
381: \end{eqnarray}
382: where
383: \begin{eqnarray}
384: \sin\theta & = &-\frac{1}{3}r-\frac{\sqrt{2}}{9}r^2  \ , \\
385: \cos\theta & = &1-\frac{1}{18}r^2 \ .
386: \end{eqnarray}
387: The last matrix in Eq. (21) contributes a trivial phase $\pm\pi$
388: in the MNS matrix, thus it can be safely neglected without
389: changing any phisics. The explicit expression of $V^{}_{\rm MNS}$
390: is
391: \begin{eqnarray}
392: V^{}_{\rm MNS}=\left(\matrix{\displaystyle
393: \frac{2\cos\theta}{\sqrt{6}}-\frac{\sin\theta}{\sqrt{3}} &
394: \displaystyle
395: \frac{\cos\theta}{\sqrt{3}}+\frac{2\sin\theta}{\sqrt{6}} &
396:  0 \cr
397: \displaystyle \frac{-\cos\theta}{\sqrt{6}} -
398: \frac{\sin\theta}{\sqrt{3}} & \displaystyle
399: \frac{\cos\theta}{\sqrt{3}}-\frac{\sin\theta}{\sqrt{6}} &
400: \displaystyle \frac{1}{\sqrt{2}} \cr \displaystyle
401: -\frac{\cos\theta}{\sqrt{6}} - \frac{\sin\theta}{\sqrt{3}}
402: &\displaystyle \frac{\cos\theta}{\sqrt{3}} -
403: \frac{\sin\theta}{\sqrt{6}} & \displaystyle
404: -\frac{1}{\sqrt{2}}}\right) \ .
405: \end{eqnarray}
406: Comparing Eq. (24) with the standard parametrization
407: \begin{eqnarray}
408: V^{\rm sp}_{\rm MNS}  =  \left( \matrix{c^{}_{12} c^{}_{13} &
409: s^{}_{12} c^{}_{13} & s^{}_{13} e^{-i\delta} \cr -s^{}_{12}
410: c^{}_{23}-c^{}_{12} s^{}_{23} s^{}_{13}
411:  e^{i \delta} & c^{}_{12} c^{}_{23}-s^{}_{12} s^{}_{23} s^{}_{13}
412:  e^{i \delta} & s^{}_{23} c^{}_{13} \cr
413:  s^{}_{12} c^{}_{23}-c^{}_{12} c^{}_{23} s^{}_{13}
414:  e^{i \delta} & -c^{}_{12} s^{}_{23}-s^{}_{12} c^{}_{23} s^{}_{13}
415:  e^{i \delta} & c^{}_{23} c^{}_{13}}
416: \right) \cdot \left(\matrix{e^{i\rho} & 0 & 0 \cr 0 & e^{i \sigma}
417: & 0 \cr 0 & 0 & 1}\right) \ ,
418: \end{eqnarray}
419: we obtain three mixing angles
420: \begin{eqnarray}
421: \sin\theta^{}_{12} & = & \frac{\cos\theta}{\sqrt{3}} +
422: \frac{2\sin\theta}{\sqrt{6}} \ ,
423: \nonumber \\
424: \sin\theta^{}_{23} & = & \frac{1}{\sqrt{2}} \ , \nonumber \\
425: \sin\theta^{}_{13} & = & 0 \ ,
426: \end{eqnarray}
427: together with $\delta=\rho=\sigma=0$.
428: 
429: From the experimental data of $\theta^{}_{12}$ and Eq. (26), we can
430: estimate that $\theta \simeq -1.4^{\circ}$. These results depend on
431: ours assumptions. It should be emphasized that $\theta^{}_{13}$ will
432: not vanish if we loose our assumptions by setting $s \neq 0$. In
433: this case, small corrections on $\theta^{}_{23}$ will also be given
434: corresponding to the nonzero $s$, and we will illustrate these
435: corrections in the next subsection.
436: 
437: \subsection{numerical analyses}
438: 
439: In our numerical analyses, we first take the charged lepton pole
440: masses $M^{\rm pole}_l$ given by PDG\cite{PDG}, and then evaluate
441: the charged lepton running masses $m^{}_l(\mu)$ from $M^{\rm
442: pole}_l$ to the $M^{}_Z$ scale by using\cite{running}
443: \begin{eqnarray}
444: m^{}_l(M^{}_Z) \; = \; M^{\rm pole}_l \left [1 -
445: \frac{\alpha(M^{}_Z)}{\pi} \left ( \frac{3}{2} \ln
446: \frac{M^{}_Z}{m^{}_l(M^{}_Z)} + 1 \right )\right ] \ .
447: %
448: \end{eqnarray}
449: Then we obtain
450: \begin{eqnarray}
451: m^{}_e(M^{}_Z) & = & 0.4867 ~{\rm MeV} \ , \nonumber \\
452: m^{}_\mu(M^{}_Z) & = & 102.7 ~{\rm MeV} \ , \nonumber \\
453: m^{}_\tau(M^{}_Z) & = & 1746.6 ~{\rm MeV} \ .
454: %
455: \end{eqnarray}
456: We can directly calculate the parameters ($a, x_1, x_2$) by using
457: Eqs. (16),
458: \begin{eqnarray}
459: a & \simeq & 616.6 ~ {\rm MeV} \ , \ \ \ \ \ x^{}_1  \simeq -308.0 ~
460: {\rm MeV} \ , \ \ \ \ \ x^{}_2 \simeq -474.5 ~ {\rm MeV} \ .
461: \end{eqnarray}
462: 
463: For the neutrino sector, we take the light neutrino mass squared
464: differences $\Delta m^2_{21}
465:  = 8.0 \times 10^{-5}~ {\rm eV}^2$ and $\Delta m^2_{32} = \pm 2.5 \times
466: 10^{-3} ~{\rm eV}^2$, three mixing angles
467: $\theta^{}_{12}=33.9^{\circ}$, $\theta^{}_{23}=45^{\circ}$ and
468: $\theta^{}_{13}=0^{\circ}$\cite{Vissani} as the input values. We
469: firstly consider the case $s=0$. By combining Eqs. (19), (22) and
470: (23), after some numerical calculations, we find that only the
471: normal mass hierarchy case is allowed for our assumptions. The
472: corresponding parameters are
473: \begin{eqnarray}
474: m^{}_0 & \simeq & 2.99\times 10^{-2} ~ {\rm eV} \ , \ \ \ \ \ r
475: \simeq 6.92 \times 10^{-2} \ , \ \ \ \ \ \epsilon \simeq -0.545 \ .
476: \end{eqnarray}
477: It can be seen clearly that our assumption $r \ll 1$ is quite
478: reasonable. The lightest neutrino mass is $m^{}_1 \simeq 0.063 ~{\rm
479: eV}$. Hence the neutrinos have a nearly degenerate mass spectrum:
480: $m^{}_1 \simeq m^{}_2 \simeq m^{}_3$. As for the case $s\neq 0$, the
481: mixing angles $\theta_{13}$ and $\theta_{23}$ will in general get
482: corrections and deviate from their tribi-maximal values. In Fig. 1,
483: we show the corrections on $\theta_{13}$ and $\theta_{23}$ from
484: nonzero $s$. We can find that $\theta_{13}$ is more sensitive to the
485: non-vanishing $s$, and in order to get a nonzero $\theta_{13}$
486: within 1 and 2$\sigma$ confidence level $s$ should not be larger
487: than 0.02 and 0.035.
488: 
489: Note that the predictions of our model rely on the VEV structures of
490: the Higgs fields. Here we have assumed that such conditions on the
491: VEVs of the Higgs scalars can be well satisfied. In section IV, a
492: detailed analysis will be given to show that this kind of VEV
493: configuration can be obtained by a suitable choice of parameters of
494: the Higgs potential. As mentioned above, in our analyses we do not
495: consider the CP violation of our model. To generalize our model to
496: the CP violating case, we can add the singlet Higgs scalar given by
497: Eq. (8) or (9) and insert the phase factors into the parameters
498: $\alpha$ and $\beta$ in Eq. (5). In this case, the mass splits of
499: the right-handed neutrinos and the CP violation in the neutrino
500: mixing can be acquired simultaneously. As a consequence, there will
501: be more freedom to fit the experimental data and one may test the
502: leptogenesis mechanism within this framework. Such an extension may
503: be more interesting and the corresponding detailed analyses will be
504: elaborated elsewhere.
505: 
506: \section{higgs potential}
507: 
508: The most general $ S_4 \otimes Z_2 $ invariant Higgs potential in
509: our model is given by
510: \begin{eqnarray}
511: V_{} & = & -m^2_u (H^{\dagger}_u H_u) -m^2_d (H^{\dagger}_d H_d)
512: -m^2_\phi \sum^2_{i=1}\phi^{\dagger}_i \phi_i -m^2_\chi
513: \sum^3_{j=1}\chi^{\dagger}_j \chi_j \nonumber \\
514: %%%%%%   1
515: & + & \lambda_u(H^{\dagger}_u H_u)^2 +\lambda_d(H^{\dagger}_d H_d)^2
516: + \lambda_\phi \left(\sum^2_{i=1}\phi^{\dagger}_i \phi_i\right)^2
517: +\lambda_\chi
518: \left( \sum^3_{j=1}\chi^{\dagger}_j \chi_j\right)^2 \nonumber \\
519: %%%%%%   2
520: & + &  \tau_1 \left[ (\phi^{\dagger}_1 \phi_1 - \phi^{\dagger}_2
521: \phi_2)^2 + (\phi^{\dagger}_1 \phi_2 + \phi^{\dagger}_2 \phi_1)^2
522: \right ] + \tau_2 (\phi^{\dagger}_1 \phi_2 - \phi^{\dagger}_2
523: \phi_1)^2 \nonumber \\
524: %%%%%%   10plus
525: & + & \mu_1 \left[ (2\chi^\dagger_1 \chi_1 -\chi^\dagger_2 \chi_2
526: -\chi^\dagger_3 \chi_3)^2 + (\chi^\dagger_1 \chi_2 + \chi^\dagger_2
527: \chi_1 - \sqrt{2} \chi^\dagger_2 \chi_2 +
528: \sqrt{2} \chi^\dagger_3 \chi_3)^2 \right. \nonumber \\
529: & + & \left. (\chi^\dagger_1 \chi_3 + \chi^\dagger_3 \chi_1 +
530: \sqrt{2} \chi^\dagger_2 \chi_3 + \sqrt{2}
531: \chi^\dagger_3 \chi_2 )^2\right] \nonumber \\
532: %%%%%%
533: & + & \mu_2 \left[ (\chi^\dagger_1 \chi_2 - \chi^\dagger_2 \chi_1)^2
534: + (\chi^\dagger_1 \chi_3 - \chi^\dagger_3 \chi_1)^2  +
535: (\chi^\dagger_2 \chi_3 - \chi^\dagger_3 \chi_2)^2 \right] \nonumber
536: \\
537: %%%%%%
538: & + & \mu_3  \left[ (\chi^\dagger_2 \chi_2 - \chi^\dagger_3 \chi_3 +
539: \sqrt{2} \chi^\dagger_1 \chi_2 + \sqrt{2} \chi^\dagger_2 \chi_1 )^2
540: +  (\chi^\dagger_2 \chi_3 + \chi^\dagger_3 \chi_2 - \sqrt{2}
541: \chi^\dagger_1 \chi_3 - \sqrt{2} \chi^\dagger_3 \chi_1 )^2 \right] \nonumber \\
542: %%%%%%   11plus
543: & + & \lambda_1 (H^{\dagger}_u H_u)(H^{\dagger}_d H_d) + \lambda_2
544: (H^{\dagger}_u H_d)(H^{\dagger}_d H_u) + \left [ \lambda_3
545: (H^{\dagger}_u H_d)^2+{\rm h.c.} \right] \nonumber \\
546: %%%%%%   3
547: & + & \lambda^\phi_1 (H^{\dagger}_u
548: H_u)\left(\sum^2_{i=1}\phi^{\dagger}_i \phi_i\right) +
549:  \left\{ \lambda^\phi_2 \left[ ( H^{\dagger}_u \phi_1)^2
550: + (H^{\dagger}_u \phi_2)^2\right] + {\rm h.c.}\right\}
551: +\lambda^\phi_3 \left( \left|H^{\dagger}_u \phi_1 \right|^2 +
552: \left|H^{\dagger}_u
553: \phi_2 \right|^2 \right) \nonumber \\
554: %%%%%%
555: & + & \left\{\lambda^\phi_4 \left[ (H^{\dagger}_u \phi_1
556: )(\phi^{\dagger}_1 \phi_1 - \phi^{\dagger}_2 \phi_2) -
557: (H^{\dagger}_u \phi_2 )(\phi^{\dagger}_1 \phi_2 + \phi^{\dagger}_2
558: \phi_1) \right] +{\rm h.c. }\right\} \nonumber \\
559: %%%%%%   4
560: & + & \lambda^\chi_1 (H^{\dagger}_u
561: H_u)\left(\sum^3_{i=1}\chi^{\dagger}_i \chi_i\right) + \left\{
562: \lambda^\chi_2 \left[ ( H^{\dagger}_u \chi_1)^2 + (H^{\dagger}_u
563: \chi_2)^2 + (H^{\dagger}_u \chi_3)^2\right] + {\rm h.c.}\right\}
564: \nonumber \\
565: %%%%%%
566: & + & \lambda^\chi_3 \left( \left|H^{\dagger}_u \chi_1 \right|^2 +
567: \left|H^{\dagger}_u \chi_2 \right|^2 +\left|H^{\dagger}_u \chi_3
568: \right|^2 \right) \nonumber \\
569: %%%%%%   5
570: & + & \sigma^\phi_1 (H^{\dagger}_d
571: H_d)\left(\sum^2_{i=1}\phi^{\dagger}_i \phi_i\right) +
572:  \left\{ \sigma^\phi_2 \left[ ( H^{\dagger}_d \phi_1)^2
573: + (H^{\dagger}_d \phi_2)^2\right] + {\rm h.c.}\right\}
574: +\sigma^\phi_3 \left( \left|H^{\dagger}_d \phi_1 \right|^2 +
575: \left|H^{\dagger}_d
576: \phi_2 \right|^2 \right) \nonumber \\
577: %%%%%%   6
578: & + & \sigma^\chi_1 (H^{\dagger}_d
579: H_d)\left(\sum^3_{i=1}\chi^{\dagger}_i \chi_i\right) + \left\{
580: \sigma^\chi_2 \left[ ( H^{\dagger}_d \chi_1)^2 + (H^{\dagger}_d
581: \chi_2)^2 + (H^{\dagger}_d \chi_3)^2\right] + {\rm h.c.}\right\}
582: \nonumber \\
583: %%%%%%
584: & + & \sigma^\chi_3 \left( \left|H^{\dagger}_d \chi_1 \right|^2 +
585: \left|H^{\dagger}_d \chi_2 \right|^2 +\left|H^{\dagger}_d \chi_3
586: \right|^2 \right) \nonumber \\
587: %%%%%%
588: & + & \left\{ \sigma^\chi_4 \left[
589: (H^{\dagger}_d\chi_1)(2\chi^\dagger_1 \chi_1 -\chi^\dagger_2 \chi_2
590: -\chi^\dagger_3 \chi_3) - (H^{\dagger}_d\chi_2)(\chi^\dagger_1
591: \chi_2 + \chi^\dagger_2 \chi_1 - \sqrt{2} \chi^\dagger_2 \chi_2 +
592: \sqrt{2} \chi^\dagger_3 \chi_3) \right. \right. \nonumber \\
593: %%%%%%
594: & - & \left.\left. (H^{\dagger}_d\chi_3)(\chi^\dagger_1 \chi_3 +
595: \chi^\dagger_3 \chi_1 + \sqrt{2} \chi^\dagger_2 \chi_3 + \sqrt{2}
596: \chi^\dagger_3 \chi_2 ) \right] + { \rm h.c. } \right\} \nonumber \\
597: %%%%%%   7
598: & + & \kappa_1 \left(\sum^2_{i=1}\phi^{\dagger}_i
599: \phi_i\right)\left( \sum^3_{j=1}\chi^{\dagger}_j \chi_j\right) +
600: \left\{ \kappa_2 \left [ (\phi^{\dagger}_1 \phi_1 - \phi^{\dagger}_2
601: \phi_2)(\chi^\dagger_2 \chi_2 - \chi^\dagger_3 \chi_3 + \sqrt{2}
602: \chi^\dagger_1 \chi_2 + \sqrt{2} \chi^\dagger_2 \chi_1 )
603: \right.\right. \nonumber \\
604: & + & \left.\left. (\phi^{\dagger}_1 \phi_2 + \phi^{\dagger}_2
605: \phi_1)(\chi^\dagger_2 \chi_3 + \chi^\dagger_3 \chi_2 - \sqrt{2}
606: \chi^\dagger_1 \chi_3 - \sqrt{2} \chi^\dagger_3 \chi_1 ) \right]
607: +{\rm h.c.} \right\} \nonumber \\
608: %%%%%%   k1-k2
609: & + & \left\{ \kappa_3 \left[ 2(\phi^\dagger_1 \chi_2
610: +\phi^\dagger_2 \chi_3 )^2 + (\phi^\dagger_1 \chi_2 - \phi^\dagger_2
611: \chi_3 + \sqrt{2}\phi^\dagger_1 \chi_1)^2 + (\phi^\dagger_2 \chi_2 +
612: \phi^\dagger_1 \chi_3 -
613: \sqrt{2}\phi^\dagger_2 \chi_1)^2   \right] + {\rm h.c.}\right\} \nonumber \\
614: %%%%%%   k3
615: & + & \left\{ \kappa_4 \left[ (\phi^\dagger_1 \chi_2 -
616: \phi^\dagger_2 \chi_3 - \sqrt{2}\phi^\dagger_1 \chi_1)^2 +
617: (\phi^\dagger_2 \chi_2 + \phi^\dagger_1 \chi_3 +
618: \sqrt{2}\phi^\dagger_2 \chi_1)^2 + 2(\phi^\dagger_2 \chi_2 -
619: \phi^\dagger_1 \chi_3 )^2 \right] + {\rm h.c.}\right\} \nonumber \\
620: %%%%%%   k4
621: & + &  \kappa_5 \left[ 2\left|\phi^\dagger_1 \chi_2 +\phi^\dagger_2
622: \chi_3 \right|^2 + \left|\phi^\dagger_1 \chi_2 - \phi^\dagger_2
623: \chi_3 + \sqrt{2}\phi^\dagger_1 \chi_1\right|^2 +
624: \left|\phi^\dagger_2 \chi_2 + \phi^\dagger_1 \chi_3 -
625: \sqrt{2}\phi^\dagger_2 \chi_1\right|^2   \right]  \nonumber \\
626: %%%%%%   k5
627: & + &  \kappa_6 \left[ \left|\phi^\dagger_1 \chi_2 - \phi^\dagger_2
628: \chi_3 - \sqrt{2}\phi^\dagger_1 \chi_1\right|^2 +
629: \left|\phi^\dagger_2 \chi_2 + \phi^\dagger_1 \chi_3 +
630: \sqrt{2}\phi^\dagger_2 \chi_1\right|^2 + 2\left|\phi^\dagger_2
631: \chi_2 -
632: \phi^\dagger_1 \chi_3 \right|^2 \right] \nonumber \\
633: %%%%%%   k6  8
634: & + & \left\{ \delta_1 \left[ (H^{\dagger}_u \phi_1 )(\chi^\dagger_2
635: \chi_2 - \chi^\dagger_3 \chi_3 + \sqrt{2} \chi^\dagger_1 \chi_2 +
636: \sqrt{2} \chi^\dagger_2 \chi_1) \right.\right. \nonumber \\
637: & - & \left.\left. (H^{\dagger}_u \phi_2 )(\chi^\dagger_2 \chi_3 +
638: \chi^\dagger_3 \chi_2 - \sqrt{2} \chi^\dagger_1 \chi_3 - \sqrt{2}
639: \chi^\dagger_3 \chi_1) \right] +{\rm h.c.} \right\} \nonumber \\
640: %%%%%%   delta 1
641: & + & \left\{ \delta_2 \left[ \sqrt{2}(H^\dagger_u
642: \chi_1)(\phi^\dagger_1 \chi_2 +\phi^\dagger_2 \chi_3 ) +
643: (H^\dagger_u \chi_2) (\phi^\dagger_1 \chi_2 - \phi^\dagger_2 \chi_3
644: + \sqrt{2}\phi^\dagger_1 \chi_1) \right.\right. \nonumber \\
645: & - & \left.\left. (H^\dagger_u \chi_3)(\phi^\dagger_1 \chi_3 +
646: \phi^\dagger_2 \chi_2 -
647: \sqrt{2}\phi^\dagger_2 \chi_1)   \right] + {\rm h.c.}\right\} \nonumber \\
648: %%%%%%   delta 2
649: & + & \left\{ \delta_3 \left[ \sqrt{2}(H^\dagger_u
650: \chi_1)(\chi^\dagger_2 \phi_1 +\chi^\dagger_3 \phi_2 ) +
651: (H^\dagger_u \chi_2) (\chi^\dagger_2 \phi_1 - \chi^\dagger_3 \phi_2
652: + \sqrt{2}\chi^\dagger_1 \phi_1) \right.\right. \nonumber \\
653: & - & \left.\left. (H^\dagger_u \chi_3)(\chi^\dagger_3 \phi_1 +
654: \chi^\dagger_2 \phi_2 - \sqrt{2}\chi^\dagger_1 \phi_2)   \right] +
655: {\rm h.c.}\right\} \ .
656: %%%%%%   delta 3
657: \end{eqnarray}
658: The Higgs potential contains totally 39 parameters. Among these
659: parameters 12 of them are in general complex and the rest are real.
660: Here we take all the parameters and VEVs to be real and the minimum
661: of Higgs potential can be written as
662: \begin{eqnarray}
663: V_{\rm min} & = & -m^2_u v^2_u - m^2_d v^2_d - m^2_\phi(u^2_1 +
664: u^2_2) -  m^2_\chi(w^2_1 + w^2_2 + w^2_3) \nonumber \\
665: %%%%%%
666: & + & \lambda_u v^4_u + \lambda_d v^4_d + (\lambda_\phi+\tau_1)(
667: u^4_1+ u^4_2 ) + (\lambda_\chi + 4 \mu_1)w^4_1 + (\lambda_\chi + 3
668: \mu_1 + \mu_3)(w^4_2 + w^4_3) \nonumber \\
669: & + & \ldots \ .
670: \end{eqnarray}
671: The full analytical formulae of $V_{\rm min}$ have been listed in
672: Table 2. Note that the couplings $\tau_2$ and $\mu_2$ do not appear
673: in the Higgs minimal. The number of parameters in the Higgs
674: potential is more than 30, thus we are confident that it is adequate
675: to arrive at the suitable minimum of the Higgs potential, and the
676: VEV structure in section III can be satisfied.
677: 
678: \section{summary}
679: 
680: We have presented a lepton mass model based on the discrete group
681: $S^{}_4\otimes Z^{}_2$. The right-handed charged leptons and
682: $SU(2)^{}_L$ doublets are all assigned to the ${\bf
683: \underline{3}}_\alpha$ {\it reps} of $S^{}_4$ with plus $Z^{}_2$
684: charges, and the heavy right-handed neutrinos are embedded in the
685: ${\bf \underline{3}}_\alpha$ with minus $Z^{}_2$ charges. Four
686: sets of Higgs doublets are introduced and the lepton masses are
687: mainly determined by the VEV structures of the Higgs fields. After
688: diagonalizing the lepton mass matrices, we obtained a nearly
689: tri-bimaximal mixing matrix together with a nearly degenerate
690: light neutrino mass spectrum. By some careful analytical and
691: numerical analyses, we show that our model can well fit the
692: current experimental values of three charged lepton masses, two
693: neutrino mass squared differences and three mixing angles,
694: although it contains only a few free parameters.
695: 
696: In some recent papers\cite{S4new}, the flavor $S^{}_{4}$ symmetry
697: has been treated as a subgroup of the continuous flavor $SO(3)$ or
698: $SU(3)$ symmetry together with the gauge symmetry in some grand
699: unified theories, i.e. the $SO(10)$ models, and the quark mixing
700: can be included. A simple way to contain the quark mixing in our
701: model is to assume that all the quarks belong to the identity {\it
702: reps}, and then the quark mixing can be obtained via the standard
703: way. A supersymmetric extension of our model should also be
704: interesting and may be given elsewhere.
705: 
706: 
707: \acknowledgments{The author is indebted to Professor Zhi-zhong
708: Xing for reading the manuscript, making many corrections and
709: giving a number of helpful suggestions. The author is also
710: grateful to Obara Midori, Wei Chao and Shun Zhou for useful
711: discussions. This work is supported in part by the National
712: Natural Science Foundation of China.}
713: 
714: \newpage
715: 
716: \appendix{}
717: 
718: \section{representation matrices of $S^{}_4$}
719: 
720: The ${\bf \underline{2}}$ {\it reps} for the class $C^{}_2$ in the
721: Yamanouchi bases are
722: \begin{eqnarray}
723: (12)& \simeq &(34) \sim\left(\matrix{ 1 & 0 \cr 0 & -1 }\right) \
724: , \ \ \ \ \ (23)\simeq(14) \sim \left(\matrix{ -\frac{1}{2} &
725: \frac{\sqrt{3}}{2} \cr \frac{\sqrt{3}}{2} & \frac{1}{2} }\right) \
726: , \nonumber \\
727: (13)& \simeq &(24) \sim \left(\matrix{ -\frac{1}{2} &
728: -\frac{\sqrt{3}}{2} \cr -\frac{\sqrt{3}}{2} & \frac{1}{2} }\right)
729: \ ,
730: %       A1
731: \end{eqnarray}
732: where the definition of $C^{}_2$ can be found in Table 1. All the
733: other group elements can be obtained by using the relation
734: \begin{eqnarray}
735: (i^{}_1 i^{}_2\cdots i^{}_k \cdots i^{}_{n-1} i^{}_n)=(i^{}_1
736: i^{}_2 \cdots i^{}_k)(i^{}_k \cdots i^{}_{n-1} i^{}_n) \ .
737: %       A2
738: \end{eqnarray}
739: The matrices of the ${\bf \underline{3}}_\alpha$ {\it reps} are
740: given by
741: \begin{eqnarray}
742: (12) & \sim & \left(\matrix{  1 & 0 & 0 \cr 0 & 1 & 0 \cr 0 & 0 &
743: -1} \right) \ , \ \ \ \ \ (23) \sim \left(\matrix{  1 & 0 & 0 \cr
744: 0 & -\frac{1}{2} & \frac{\sqrt{3}}{2} \cr 0 & \frac{\sqrt{3}}{2} &
745: \frac{1}{2}} \right) \ , \nonumber \\
746: (34) & \sim & \left(\matrix{ -\frac{1}{3} & \frac{\sqrt{8}}{3} & 0
747: \cr \frac{\sqrt{8}}{3} & \frac{1}{3} & 0 \cr 0 & 0 & 1} \right) \
748: , \ \ \ \ \ (13) \sim \left(\matrix{  1 & 0 & 0 \cr 0 &
749: -\frac{1}{2} & -\frac{\sqrt{3}}{2} \cr 0 & -\frac{\sqrt{3}}{2} &
750: \frac{1}{2}} \right) \ , \nonumber \\
751: (14) & \sim & \left(\matrix{ -\frac{1}{3} & -\frac{\sqrt{2}}{3} &
752: -\sqrt{\frac{2}{3}} \cr -\frac{\sqrt{2}}{3} & \frac{5}{6} &
753: -\frac{1}{2\sqrt{3}} \cr -\sqrt{\frac{2}{3}} & -\frac{1}{2\sqrt{3}}
754: & \frac{1}{2} } \right) \ , \ \ \ \ \ (24) \sim \left(\matrix{
755: -\frac{1}{3} & -\frac{\sqrt{2}}{3} & \sqrt{\frac{2}{3}} \cr
756: -\frac{\sqrt{2}}{3} & \frac{5}{6} & \frac{1}{2\sqrt{3}} \cr
757: \sqrt{\frac{2}{3}} & \frac{1}{2\sqrt{3}} & \frac{1}{2} } \right) \ ,
758: %       A3
759: \end{eqnarray}
760: and the representation matrices in the ${\bf \underline{3}}_\beta$
761: are
762: \begin{eqnarray}
763: (12) & \sim & \left(\matrix{  1 & 0 & 0 \cr 0 & -1 & 0 \cr 0 & 0 &
764: -1} \right) \ , \ \ \ \ \ (23) \sim \left(\matrix{  -\frac{1}{2} &
765: \frac{\sqrt{3}}{2} & 0 \cr \frac{\sqrt{3}}{2} & \frac{1}{2} & 0 \cr
766: 0 & 0 & -1} \right) \ , \nonumber \\
767: (34) & \sim & \left(\matrix{ -1 & 0 & 0 \cr 0 & -\frac{1}{3} &
768: \frac{\sqrt{8}}{3} \cr 0 & \frac{\sqrt{8}}{3} & \frac{1}{3} }
769: \right) \ , \ \ \ \ \ (13) \sim \left(\matrix{ -\frac{1}{2} &
770: -\frac{\sqrt{3}}{2} & 0 \cr -\frac{\sqrt{3}}{2} &
771:  \frac{1}{2} & 0 \cr 0 & 0 & -1} \right) \ , \nonumber \\
772: (14) & \sim & \left(\matrix{ -\frac{1}{2} & -\frac{1}{2\sqrt{3}} &
773: \sqrt{\frac{2}{3}} \cr -\frac{1}{2\sqrt{3}} & -\frac{5}{6}  &
774: -\frac{\sqrt{2}}{3} \cr \sqrt{\frac{2}{3}} & -\frac{\sqrt{2}}{3} &
775: \frac{1}{3} } \right) \ , \ \ \ \ \ (24)  \sim  \left(\matrix{
776: -\frac{1}{2} & \frac{1}{2\sqrt{3}} & -\sqrt{\frac{2}{3}} \cr
777: \frac{1}{2\sqrt{3}} & -\frac{5}{6}  & -\frac{\sqrt{2}}{3} \cr
778: -\sqrt{\frac{2}{3}} & -\frac{\sqrt{2}}{3} & \frac{1}{3} } \right) \
779: ,
780: %       A4
781: \end{eqnarray}
782: The other group elements can be obtained by using Eq. (A2).
783: 
784: \newpage
785: 
786: \begin{thebibliography}{99}
787: 
788: 
789: \bibitem{Vissani}
790: A. Strumia and F. Vissani, hep-ph/0606054.
791: 
792: \bibitem{SNO}
793: SNO Collaboration, Q.R. Ahmad {\it et al.},
794: Phys. Rev. Lett. {\bf 89}, 011301 (2002).
795: 
796: \bibitem{SK}
797: For a review, see: C.K. Jung {\it et al.},
798: Ann. Rev. Nucl. Part. Sci. {\bf 51}, 451 (2001).
799: 
800: \bibitem{KM}
801: KamLAND Collaboration, K. Eguchi {\it et al.},
802: Phys. Rev. Lett. {\bf 90}, 021802 (2003).
803: 
804: \bibitem{K2K}
805: K2K Collaboration, M.H. Ahn {\it et al.},
806: Phys. Rev. Lett. {\bf 90}, 041801 (2003).
807: 
808: \bibitem{CHOOZ}
809: CHOOZ Collaboration, M. Apollonio {\it et al.},
810: Phys. Lett. B {\bf 420}, 397 (1998); Palo Verde Collaboration, F.
811: Boehm {\it et al.}, Phys. Rev. Lett. {\bf 84}, 3764 (2000).
812: 
813: \bibitem{MSW}
814: L. Wolfenstein, Phys. Rev. D {\bf 17}, 2369 (1978); S.P. Mikheyev
815: and A.Yu. Smirnov, Yad. Fiz. Sov. J. Nucl. Phys. {\bf 42}, 1441
816: (1985).
817: 
818: \bibitem{seesaw}
819: P. Minkowski, Phys. Lett. B {\bf 67}, 421 (1977);
820: T. Yanagida, in {\it Proceedings of the Workshop on Unified Theory
821: and the Baryon Number of the Universe}, edited by O. Sawada and A.
822: Sugamoto (KEK, Tsukuba, 1979), p. 95; M. Gell-Mann, P. Ramond, and
823: R. Slansky, in {\it Supergravity}, edited by F. van Nieuwenhuizen
824: and D. Freedman (North Holland, Amsterdam, 1979), p. 315; S.L.
825: Glashow, in {\it Quarks and Leptons}, edited by M.
826: L$\rm\acute{e}vy$ {\it et al.} (Plenum, New York, 1980), p. 707;
827: R.N. Mohapatra and G. Senjanovi\c{c}, Phys. Rev. Lett. {\bf 44},
828: 912 (1980).
829: 
830: \bibitem{S3}
831: P. F. Harrison and W. G. Scott, Phys. Lett. B {\bf 557}, 76
832: (2003).
833: 
834: \bibitem{A4}
835: E. Ma and G. Rajasekaran, Phys. Rev. D {\bf 64}, 113012 (2001);
836: K.S. Babu, E. Ma and J.W.F. Valle, Phys. Lett. B {\bf 552}, 207
837: (2003).
838: 
839: \bibitem{S4}
840: S. Pakvasa and H. Sugawara, Phys. Lett. B {\bf 82}, 105 (1979); E.
841: Derman and H.S. Tsao, Phys. Rev. D {\bf 20}, 1207 (1979); S.
842: Pakvasa, H. Sugawara and Y. Yamanaka, Phys. Rev. D {\bf 25}, 1985
843: (1982); R.N. Mohapatra, M.K. Parida and G. Rajasekaran, Phys. Rev.
844: D {\bf 69}, 053007 (2004); E. Ma, Phys. Lett. B {\bf 632}, 352
845: (2006).
846: 
847: \bibitem{S4new}
848: C. Hagedorn, M. Lindner and R.N. Mohapatra, JHEP
849: {\bf 0606}, 042 (2006); Y. Cai and H.B. Yu, hep-ph/0608022.
850: 
851: \bibitem{chen}
852: J.Q. Chen, J.L. Ping and F. Wang, {\it Group Representation Theory for Physicists, 2nd edition}, World
853: Scientific (2002).
854: 
855: \bibitem{triplet}
856: W. Chao and H. Zhang, Phys. Rev. D {\bf 75}, 033003 (2007).
857: 
858: \bibitem{SCP}
859: T.D. Lee, Phys. Rev. D {\bf 8}, 1226 (1973).
860: 
861: \bibitem{leptogenesis}
862: M. Fukugita and T. Yanagida, Phys. Lett. B {\bf 174}, 45 (1986); P.
863: Langacker, R.D. Peccei and T. Yanagida, Mod. Phys. Lett. A {\bf 1},
864: 541 (1986); M.A. Luty, Phys. Rev. D {\bf 45}, 455 (1992).
865: 
866: \bibitem{RGE}
867: P.H. Chankowski and Z. Pluciennik, Phys. Lett. B {\bf 316}, 312
868: (1993); K.S. Babu, C.N. Leung and J. Pantaleone, Phys. Lett. B {\bf
869: 319}, 191 (1993); S. Antusch, M. Drees, J. Kersten, M. Lindner and
870: M. Ratz, Phys. Lett. B {\bf 519}, 238 (2001); Phys. Lett. B {\bf
871: 525}, 130 (2002).
872: 
873: \bibitem{resonant}
874: M. Flanz, E.A. Paschos, U. Sarkar and J. Weiss,
875: Phys. Lett. B {\bf 389}, 693 (1996); L. Covi and E. Roulet, Phys.
876: Lett. B {\bf 399}, 113 (1997); A. Pilaftsis, Nucl. Phys. B {\bf
877: 504}, 61 (1997); Phys. Rev. D {\bf 56}, 5431 (1997).
878: 
879: \bibitem{Dirac}
880: S. Luo, J.W. Mei and Z.Z. Xing, Phys. Rev. D {\bf 72}, 053014
881: (2005); Z.Z. Xing and H. Zhang, hep-ph/0601106.
882: 
883: \bibitem{tribi}
884: P.F. Harrison, D.H. Perkins, and W.G. Scott, Phys. Lett. B {\bf
885: 530}, 167 (2002); Z.Z. Xing, Phys. Lett. B {\bf 533}, 85 (2002);
886: P.F. Harrison and W.G. Scott, Phys. Lett. B {\bf 535}, 163 (2002);
887: X.G. He and A. Zee, Phys. Lett. B {\bf 560}, 87 (2003); C.I. Low and
888: R.R. Volkas, Phys. Rev. D {\bf 68}, 033007 (2003); E. Ma, Phys.
889: Lett. B {\bf 583}, 157 (2004); hep-ph/0409075; G. Altarelli and F.
890: Feruglio, Nucl. Phys. B {\bf 720}, 64 (2005);  F. Plentinger and W.
891: Rodejohann, Phys. Lett. B {\bf 625}, 264 (2005); K.S. Babu and X.G.
892: He, hep-ph/0507217; A. Zee, Phys. Lett. B {\bf 630}, 58 (2005); S.K.
893: Kang, Z.Z. Xing and S. Zhou, Phys. Rev. D {\bf 73}, 013001 (2006);
894: X.G. He, Y.Y. Keum and R.R. Volkas, JHEP {\bf 0604}, 039 (2006); N.
895: Haba, A. Watanabe and K. Yoshioka, Phys. Rev. Lett. {\bf 97}, 041601
896: (2006); Z.Z. Xing, H. Zhang and S. Zhou, Phys. Lett. B {\bf 641},
897: 189 (2006); G. Altarelli, F. Feruglio and Y. Lin, Nucl. Phys. B {\bf
898: 775}, 31 (2007).
899: 
900: \bibitem{zero}
901: Z.Z. Xing and H. Zhang, Phys. Lett. B {\bf 569}, 30 (2003).
902: 
903: \bibitem{PDG}
904: W.M. Yao {\it et al.}, Particle Data Group, J. Phys. G {\bf 33}, 1
905: (2006).
906: 
907: \bibitem{running} H. Arason {\it et al.}, Phys. Rev. D {\bf 46},
908: 3945 (1992).
909: 
910: \end{thebibliography}
911: 
912: 
913: \newpage
914: 
915: %%%%%%%%%%%%% table 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
916: \begin{table}
917: \caption{The character table of $S^{}_4$. Here $N$ stands for the
918: number of elements in class $C^{}_i$, and $C$ denotes the cycle
919: structure of each class. }
920: \begin{center}
921: 
922: \begin{tabular}{|c|c|c|c|c|c|c|c|}
923:  ~~Class~~ & ~~$N$~~ & ~~$C$ ~~& ~~${\bf \underline{1}}_S$~~&~~ ${\bf \underline{1}}_A$~~
924:  & ~~${\bf \underline{2}}$ ~~& ~~${\bf \underline{3}}_\alpha$ ~~&~~ ${\bf
925:  \underline{3}}_\beta$~~ \cr
926: \hline
927: %--------------------------------------------------------------
928: $C^{}_1$ & 1 & $1^4$ & 1 & 1 & 2 & 3 & 3 \cr
929: %--------------------------------------------------------------
930: $C^{}_2$ & 6 & $21^2$ & 1 & $-1$ & 0 & 1 & $-1$ \cr
931: %--------------------------------------------------------------
932: $C^{}_3$ & 8 & $31$ & 1 & 1 & $-1$ & 0 & 0 \cr
933: %--------------------------------------------------------------
934: $C^{}_4$ & 6 & $4$ & 1 & $-1$ & 0 & $-1$ & 1 \cr
935: %--------------------------------------------------------------
936: $C^{}_5$ & 3 & $2^2$ & 1 & 1 & 2 & $-1$ & $-1$ \cr
937: %--------------------------------------------------------------
938: \end{tabular}
939: \vspace{2cm}
940: %%%%%%%%%%%%%%%%%%5 table 2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%5
941: \caption{The Higgs potential at its minimum. The parameters $K_i
942: (i=1-4)$ are defined as $K_1=\kappa_1 + 4\kappa_3 + 4\kappa_4 +
943: 2\kappa_5 + 2\kappa_6$, \ \ \ $K_2=\kappa_1 - 2\kappa_2 + 2\kappa_3
944: + 6\kappa_4 + \kappa_5 + 3\kappa_6$, \ \ \ $K_3=\kappa_1 + 2\kappa_2
945: + 6\kappa_3 + 2\kappa_4 + 3\kappa_5 + \kappa_6$ \ \ \ and \ \ \
946: $K_4= 2\kappa_2 + 2\kappa_3 -2\kappa_4 +\kappa_5 - \kappa_6$.}
947: \vspace{0.5cm}
948: \begin{tabular}{|c|c||c|c|}
949: ~~~~~~~~~~~~~~Terms~~~~~~~~~~ & Coefficients & Terms & Coefficients
950: \cr \hline
951: %--------------------------------------------------------------
952: $v^2_u$ & $-m^2_u$ & $v^2_d$ & $-m^2_d$ \cr
953: %--------------------------------------------------------------
954: \hline $ u^2_1 + u^2_2$ & $-m^2_\phi$ & $w^2_1+w^2_2+w^2_3$ &
955: $-m^2_\chi$ \cr
956: %--------------------------------------------------------------
957: \hline $ v^4_u$ & $\lambda_u$ & $v^4_d$ & $\lambda_d$ \cr
958: %--------------------------------------------------------------
959: \hline $ (u^2_1 + u^2_2)^2 $ & $\lambda_\phi + \tau_1$ & $(w^2_1 +
960: w^2_2 + w^2_3)^2 $ & $\lambda_\chi$ \cr
961: %--------------------------------------------------------------
962: \hline  $w^2_1$ & $4\mu_1$ & $w^4_2+w^4_3$ & $3\mu_1+\mu_3$ \cr
963: %--------------------------------------------------------------
964: \hline $w^2_1 w^2_2 + w^2_1 w^2_3$ & $ 8 \mu_3$ & $w^2_2 w^2_3$ & $
965: 6 \mu_1+2\mu_3$ \cr
966: %--------------------------------------------------------------
967: \hline $ w_1 w^3_2 $ & $4\sqrt{2}(\mu_3 - \mu_1)$ & $w_1 w_2 w^2_3$
968: & $12\sqrt{2}(\mu_1 - \mu_3)$ \cr
969: %--------------------------------------------------------------
970: \hline $v^2_u (u^2_1+u^2_2)$ &
971: $\lambda^\phi_1+2\lambda^\phi_2+\lambda^\phi_3$ & $v^2_d
972: (u^2_1+u^2_2)$ & $\sigma^\phi_1+2\sigma^\phi_2+\sigma^\phi_3$ \cr
973: %--------------------------------------------------------------
974: \hline $v^2_u (w^2_1+w^2_2+w^2_3)$ &
975: $\lambda^\chi_1+2\lambda^\chi_2+\lambda^\chi_3$ & $v^2_d
976: (w^2_1+w^2_2+w^2_3)$ &
977: $\sigma^\chi_1+2\sigma^\chi_2+\sigma^\chi_3$\cr
978: %--------------------------------------------------------------
979: \hline $v^2_u v^2_d$ & $\lambda_1+\lambda_2+2\lambda_3$ & $v_u
980: u^3_1$ & $2\lambda^\phi_4$ \cr
981: %--------------------------------------------------------------
982: \hline $v_u u_1 u^2_2$ & $-6\lambda^\phi_4$ & $v_d w^3_1$ &
983: $4\sigma^\chi_4$ \cr
984: %--------------------------------------------------------------
985: \hline $v_d w^3_2$ & $2\sqrt{2}\sigma^\chi_4$ & $v_d w_1 (w^2_2 +
986: w^2_3) $ & $-6 \sigma^\chi_4$ \cr
987: %--------------------------------------------------------------
988: \hline $v_d w_2  w^2_3$ & $-6 \sqrt{2} \sigma^\chi_4$ &
989: $(u^2_1+u^2_2) w^2_1$ & ${K}_1$ \cr
990: %--------------------------------------------------------------
991: \hline $u^2_1 w^2_3 + u^2_2 w^2_2 $ & $K_2$ & $u^2_1 w^2_2 + u^2_2
992: w^2_3 $ & $K_3$  \cr
993: %--------------------------------------------------------------
994: \hline $u^2_1 w_1 w_2$ & $ 2\sqrt{2}K_4$ & $u_1 u_2 w_1 w_3$ & $
995: -4\sqrt{2}K_4$  \cr
996: %--------------------------------------------------------------
997: \hline $u_1 u_2 w_2 w_3$ & $ 4 K_4$ & $u^2_2 w_1 w_2$ & $-2\sqrt{2}
998: K_4$ \cr
999: %--------------------------------------------------------------
1000: \hline $v_u u_1 w_1 w_2$ & $4\sqrt{2} (\delta_1+\delta_2+\delta_3)$
1001: & $v_u u_1 w^2_2$ & $2(\delta_1 + \delta_2+\delta_3)$ \cr
1002: %--------------------------------------------------------------
1003: \hline $v_u u_1 w^2_3$ & $-2(\delta_1+\delta_2+\delta_3)$ & $v_u u_2
1004: w_1 w_3$ & $4\sqrt{2} (\delta_1+\delta_2+\delta_3)$ \cr
1005: %--------------------------------------------------------------
1006: \hline $v_u u_2 w_2 w_3$ & $-4 (\delta_1+\delta_2+\delta_3)$ & &
1007: \end{tabular}
1008: 
1009: \end{center}
1010: \end{table}
1011: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1012: %%%%%%%%%%%%%%%%%  figure 1     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1013: \begin{figure}
1014: \psfig{file=S4.eps, bbllx=-1cm, bblly=-1.0cm, bburx=9cm, bbury=9.0cm,%
1015: width=11cm, height=11cm, angle=0, clip=0}\vspace{-1.3cm}
1016: \caption{Relations between nonzero $s$ and mixing angles
1017: $(\theta_{13},\theta_{23})$. The dashed lines correspond to the 1, 2
1018: and 3$\sigma$ confidence level from oscillation experiments. We also
1019: take $\Delta m^2_{32}=2.5\times 10^{-3} {\rm eV}^2$, $\Delta
1020: m^2_{21}=8.0\times 10^{-5} {\rm eV}^2$ and
1021: $\theta_{12}=33.9^{\circ}$ in our calculations.}
1022: \end{figure}
1023: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1024: 
1025: \end{document}
1026: