0811.4683/d54.tex
1: \documentclass[12pt]{article}
2: 
3: \textheight=22cm
4: \textwidth=16cm
5: 
6: \oddsidemargin=0cm
7: \evensidemargin=0cm
8: 
9: 
10: %\setlength{\textwidth}{45zw}
11: %\setlength{\textheight}{38\baselineskip}
12: %\setlength{\oddsidemargin}{-0.2cm}
13: %\setlength{\topmargin}{0.7cm}
14: %\iftombow
15: %  \addtolength{\topmargin}{-1in}
16: %\else
17: %  \addtolength{\topmargin}{-1truein}
18: %\fi
19: \usepackage{graphicx}
20: %\usepackage{feynmp}
21: \usepackage{amsmath,amssymb}
22: \usepackage{bm}
23: \usepackage{graphicx, color}
24: \usepackage{wrapfig}
25: \begin{document}
26: \title{
27: \begin{flushright}
28: \ \\*[-80pt] 
29: \begin{minipage}{0.2\linewidth}
30: \normalsize
31: %arXiv:YYMM.NNNN \\
32: KUNS-2166 \\*[50pt]
33: \end{minipage}
34: \end{flushright}
35: {\Large \bf 
36: Lepton Flavor Model from  $\Delta(54)$  Symmetry
37: \\*[20pt]}}
38: 
39: 
40: \author{
41: \centerline{
42: Hajime~Ishimori$^{1,}$\footnote{E-mail address: 
43: ishimori@muse.sc.niigata-u.ac.jp}, 
44:   \quad Tatsuo~Kobayashi$^{2,}$\footnote{E-mail address: 
45: kobayash@gauge.scphys.kyoto-u.ac.jp},
46: \quad Hiroshi Okada$^{3,}$
47: \footnote{E-mail address: HOkada@Bue.edu.eg},
48: }\\
49:  \centerline{Yusuke~Shimizu$^{1,}$\footnote{E-mail address: 
50: shimizu@muse.sc.niigata-u.ac.jp},
51: \quad and \quad  Morimitsu~Tanimoto$^{4,}$\footnote{E-mail address: 
52: tanimoto@muse.sc.niigata-u.ac.jp} }
53: \\*[20pt]
54: \centerline{
55: \begin{minipage}{\linewidth}
56: \begin{center}
57: $^1${\it \normalsize
58: Graduate~School~of~Science~and~Technology,~Niigata~University, \\ 
59: Niigata~950-2181,~Japan } \\
60: $^2${\it \normalsize 
61: Department of Physics, Kyoto University, 
62: Kyoto 606-8502, Japan} \\
63: $^3${\it \normalsize 
64: Centre for Theoretical Physics, The British University in Egypt, 
65: El-Sherouk City, 11837,  Egypt} \\
66: $^4${\it \normalsize
67: Department of Physics, Niigata University,~Niigata,  950-2181, Japan } 
68: \end{center}
69: \end{minipage}}
70: \\*[50pt]}
71: \vskip 2 cm
72: \date{\small
73: \centerline{ \bf Abstract}
74: \begin{minipage}{0.9\linewidth}
75: \medskip 
76: We present  the lepton flavor model with $\Delta (54)$,
77:  which  appears typically in heterotic string models 
78: on  the $T^2/Z_3$ orbifold. 
79: Our model reproduces the tri-bimaximal mixing in 
80: the parameter region around 
81: degenerate neutrino masses or two massless neutrinos.
82: We predict the deviation from the tri-bimaximal mixing
83: by putting the experimental data of neutrino masses
84:  in the normal hierarchy of neutrino masses.
85:   The upper bound of $\sin^2\theta_{13}$ is $0.01$.
86:    There is the strong correlation between  
87:  $\theta_{23}$ and $\theta_{13}$.
88: Unless $\theta_{23}$ is deviated from the maximal mixing considerably,
89: $\theta_{13}$ remains  to be tiny.
90: \end{minipage}
91: }
92: 
93: \begin{titlepage}
94: \maketitle
95: \thispagestyle{empty}
96: \end{titlepage}
97: 
98: \section{Introduction}
99: It is the important task to find  an origin of the observed hierarchies 
100:  in masses and flavor  mixing  for quarks and leptons.
101: Neutrino experimental  data provide us a valuable  clue to find this origin. 
102: In particular, recent experiments of the neutrino
103:  oscillation go into the new  phase  of precise  determination of
104:  mixing angles and mass squared  differences \cite{Threeflavors}. 
105: Those indicate the  tri-bimaximal mixing  for three flavors 
106:  in the lepton sector \cite{HPS}. 
107: Therefore, it is necessary
108: to find a natural model that leads to this mixing pattern with good accuracy.
109: 
110: The tri-bimaximal mixing  for three flavors indicates the specific
111: neutrino  mass matrix, in which matrix elements are connected each other.
112:  The  non-Abelian discrete flavor symmetry is  appropriate  to explain
113:  such a structure of the mass matrix  which leads to the tri-bimaximal,
114: because  the  symmetry provides the definite meaning of generations
115:  and connects different generations.
116: Actually, several types of models with various non-Abelian discrete flavor 
117: symmetries have been proposed, such as 
118: $S_3$ \cite{S3-FTY}-\cite{S3-Lavoura}, 
119:  $D_4$ \cite{Grimus}-\cite{Ishimori:2008ns}, $D_6$ \cite{D6},
120: $Q_4 \cite{Q4},\ Q_6$ \cite{Q6},
121: $A_4$ \cite{A4-Ma and Rajasekaran}-\cite{A4-Lin}, $T^\prime $ \cite{T-Feruglio}-\cite{T-Ding}, 
122: $S_4$ \cite{S4-Ma}-\cite{S4-Morisi} and 
123: $\Delta (27)$ \cite{Delta(27)-Gerard}-\cite{Delta(27)-Ma(2008)}.
124: 
125: 
126: Non-Abelian discrete symmetries are symmetries of 
127: geometrical solids.
128: Thus, an origin of non-Abelian discrete flavor symmetries 
129: may be compact extra dimensions, e.g. 
130: string-derived compact spaces.
131: Recently, which types of non-Abelian discrete flavor symmetries 
132: can appear in heterotic orbifold models has been studied 
133: \cite{Kobayashi:2004ya,Kobayashi:2006wq,Ko:2007dz}.
134: Simple orbifolds can lead to non-Abelian flavor symmetries such as 
135: $D_4$, $\Delta(54)$ and so on.
136: For example, the  $\Delta(54)$ flavor symmetry can appear 
137: typically in heterotic string models on 
138: factorizable orbifolds including the $T^2/Z_3$ orbifold. 
139: Other string compactifications would lead to different 
140: flavor symmetries.
141: 
142: 
143: The $D_4$ flavor model  has been already proposed  by
144: Grimus and Lavoura  \cite{Grimus} and phenomenologically important results 
145: have been obtained \cite{D4-2}.
146: The $\Delta(54)$ flavor symmetry would be also interesting, 
147: e.g. from the viewpoint that $\Delta(54)$ has 
148: triplet irreducible representations \cite{delta54}, while 
149: $D_4$ has only singlets and doublets.
150: Indeed, non-Abelian flavor symmetries,   
151: $A_4$, $S_4$, and $T'$, include triplet irreducible representations 
152: and those are useful to explain the  three generations of 
153: leptons with their mixing angles and reproduce 
154: the  tri-bimaximal mixing of flavors.
155: The $\Delta(54)$ flavor symmetry would have similarly 
156: interesting aspects.
157: However, the group $\Delta(54)$ is rather unfamiliar compared to other
158: discrete groups used as the flavor symmetry. 
159: Its phenomenological applications have not been studied.
160: Thus, our purpose in this paper is to present
161:  a lepton flavor model with the $\Delta(54)$ symmetry
162: and  study phenomenological implications.
163: 
164: The paper is organized as follows:
165: we present the framework of the lepton flavor model with $\Delta (54)$ 
166: in section 2, and 
167:  discuss the effect of the higher order corrections, in section 3.
168: % discuss the neutrino masses, flavor mixing angles  and Higgs potential
169: %In section 4, we discuss potential analysis. 
170: In section 4, we present the potential analysis to assure the VEVs used 
171: in section 2. 
172: Numerical results are exhibited in section 5 for neutrino masses and mixing
173:  angles.
174: Section 6 is devoted to summary and discussion.
175: In the appendix, we present the character table, the kronecker products and 
176:  Clebsch Gordan coefficients of $\Delta (54)$. 
177:  
178: 
179: \section{$\Delta(54)$ Lepton Flavor model}
180: In this section, we present the lepton flavor model with 
181: the $\Delta(54)$ flavor symmetry.
182: We propose our model within the framework of supersymmetric models.
183: However, similar non-supersymmetric models could be constructed.
184: 
185: The $\Delta(54)$ group is one of series of $\Delta(6n^2)$
186: that has been discussed by a few authors \cite{delta54,Lam}. The group
187: $\Delta(54)$ has irreducible representations $1_1$, $1_2$, $2_1$, $2_2$,
188: $2_3$, $2_4$, $3_1^{(1)}$, $3_1^{(2)}$, $3_2^{(1)}$,
189: and $3_2^{(2)}$.
190: It is remarked that there are four triplets and only $3_1^{(1)}\times 3_1^{(2)}$ leads to the trivial singlet. 
191: The relevant  multiplication rules are summarized in appendix. 
192: 
193: 
194: 
195: \begin{table}[h]
196: \begin{center}
197: \begin{tabular}{|c|ccc||c||ccc|}
198: \hline
199:               &$(l_e,l_\mu,l_\tau)$ & $(e^c,\mu^c,\tau^c)$ & 
200: $(N_e^c,N_\mu^c,N_\tau^c)$         &$h_{u(d)}$ &$ \chi_1 $&  $(\chi_{2},\chi_3)$&  
201: $(\chi_{4},\chi_5,\chi_6)$ \\ \hline
202: $\Delta(54)$      &$3_1^{(1)}$      & $3_2^{(2)}$   & $3_1^{(2)}$          
203: & $1_1$ & $1_2$  & $2_1$ & $3_1^{(2)}$    \\
204: \hline
205: \end{tabular}
206: \end{center}
207: \caption{Assignments of $\Delta(54)$ representations}
208: \end{table}
209: Let us present the model of the lepton flavor with the $\Delta(54)$
210: group. The triplet representations of the group
211: correspond to the three generations of leptons.
212: The left-handed leptons $(l_e,l_\mu,l_\tau)$,  
213: the right-handed charged leptons  $(e^c,\mu^c,\tau^c)$
214: and the right-handed neutrinos $(N_e^c,N_\mu^c,N_\tau^c)$ 
215: are assigned by $3_1^{(1)}$,
216: $3_2^{(2)}$, and $3_1^{(2)}$, respectively. 
217: Since $3_1^{(1)}\times 3_1^{(2)}$ makes
218: trivial singlet $1_1$, only Dirac neutrino Yukawa couplings are allowed
219: in tree level. On the other hand, charged leptons and 
220: the right-handed Majorana neutrinos cannot have mass terms 
221: unless new scalars $\chi_i$ are introduced  in addition to the usual Higgs
222: doublets, $h_u$ and $h_d$. 
223: These new scalars are supposed to be $SU(2)$ gauge singlets.
224: The gauge singlets $\chi_1$, $(\chi_2, \chi_3)$ and
225: $(\chi_4, \chi_5, \chi_6)$ are assigned to
226: $1_2$, $2_1$, and $3_1^{(2)}$ of the $\Delta(54)$ representations,
227: respectively.
228: The particle assignments of $\Delta(54)$ are summarized in Table 1.
229: The usual Higgs doublets $h_u$ and $h_d$ are assigned to  
230: the trivial singlet $1_1$ of $\Delta(54)$.
231: Here, we use the conventional notation that 
232: we denote the superfield and its lowest scalar component by 
233: the same letter.
234: 
235: 
236: In this setup of the particle assignment,
237: let us consider the superpotential of leptons at the leading order
238: in terms of the cut-off scale $\Lambda$, which is taken to be
239: the Planck scale.
240: For charged leptons, the superpotential of 
241: the Yukawa sector respecting to $\Delta(54)$ symmetry
242: is given as 
243: \begin{eqnarray}
244: w_l
245: &=&
246: y_1^l 
247:  (  e^c l_e+ \mu^c l_\mu+  \tau^c l_\tau )\chi_1 h_d/\Lambda 
248: \nonumber\\
249: &&+y_2^l \ [  
250:  (\omega  e^c l_e+\omega^2  \mu^c l_\mu+  \tau^c l_\tau )\chi_2 
251: -( e^c l_e+\omega^2  \mu^c l_\mu+\omega \tau^c l_\tau )\chi_3]
252: \ h_d/\Lambda. 
253: \end{eqnarray}
254: For the right-handed Majorana neutrinos we can write the superpotential
255: as follows:
256: \begin{eqnarray}
257: w_N
258: &=&y_1 ( N_e^c N_e^c\chi_4+ N_\mu^c N_\mu^c\chi_5+ N_\tau^c N_\tau^c\chi_6)
259: \nonumber\\&&
260: +y_2 \ [( N_\mu^c N_\tau^c+ N_\tau^c N_\mu^c)\chi_4
261: +( N_e^c N_\tau^c+ N_\tau^c N_e^c)\chi_5
262: +( N_e^c N_\mu^c+ N_\mu^c N_e^c)\chi_6].
263: \end{eqnarray}
264: The superpotential for the Dirac neutrinos has tree level contributions 
265: as
266: \begin{eqnarray}
267: %{\cal L}_D
268: w_D
269: &=&
270: y_D 
271:  \ (  N^c_e l_e+N^c_ \mu l_\mu+  N^c_\tau l_\tau )h_u \ .
272: \end{eqnarray}
273: 
274: We assume that the scalar fields, $h_{u,d}$ and $\chi_i$, develop 
275: their vacuum expectation values (VEVs) as follows:
276: \begin{eqnarray}
277: \left<h_u\right>=v_u, \   \left<h_d\right>=v_d,
278: \quad
279: \left<\chi_1\right>=u_1,
280: \  
281: \left<(\chi_2,\chi_3)\right>=(u_2,u_3),
282: \ 
283: \left<(\chi_4,\chi_5,\chi_6)\right>=(u_4,u_5,u_6).
284: \end{eqnarray}
285: Then, we obtain the diagonal mass matrix for   charged leptons
286: \begin{eqnarray}
287: M_l
288:  = 
289: y_1^lv_d 
290: \begin{pmatrix}\alpha_1  & 0 & 0 \\ 
291:            0  & \alpha_1  &  0  \\
292:                  0  & 0 & \alpha_1   \\
293:  \end{pmatrix} 
294: +y_2^l  v_d
295: \begin{pmatrix} \omega\alpha_2-\alpha_3 & 0 & 0 \\ 
296:                0    & \omega^2\alpha_2-\omega^2\alpha_3 &   0 \\
297:                  0 & 0 &  \alpha_2-\omega\alpha_3 \\
298:  \end{pmatrix}, 
299: \label{ME}
300:  \end{eqnarray}
301: while the right-handed Majorana mass matrix is given as 
302: \begin{eqnarray}
303: M_N
304: &=&
305:  {y_1  \Lambda}
306: \begin{pmatrix}\alpha_4  & 0 & 0 \\ 
307:                0    & \alpha_5  &0    \\
308:                  0  & 0 &\alpha_6   \\
309:  \end{pmatrix} 
310:  + {y_2 \Lambda}
311: \begin{pmatrix}0   & \alpha_{6} & \alpha_{5} \\ 
312:                    \alpha_{6}  & 0   &\alpha_{4}    \\
313:                    \alpha_{5}  & \alpha_{4}  & 0    \\
314:  \end{pmatrix},
315: \label{MR}
316: \end{eqnarray}
317: and the Dirac mass matrix of neutrinos is
318: \begin{eqnarray}
319: M_D = 
320: y_Dv_u
321: \begin{pmatrix} 1  & 0 & 0 \\ 
322:            0  &  1  &  0  \\
323:                  0  & 0 &  1   \\
324:  \end{pmatrix},
325: \label{MD}
326:  \end{eqnarray}
327: where we denote $\alpha_i=u_i/\Lambda \ (i=1-6)$.
328: By using the seesaw mechanism $M_\nu = M_D^T M_N^{-1} M_D$, the neutrino
329: mass matrix can be written as
330: \begin{eqnarray}
331: M_\nu
332: &=&
333:  \frac{y_D^2v_u^2}{ \Lambda d}
334: \begin{pmatrix}y_1^2\alpha_5\alpha_6-y_2^2\alpha_4^2  & -y_1y_2 
335: \alpha_6^2+y_2^2\alpha_4\alpha_5  & -y_1y_2 \alpha_5^2+y_2^2\alpha_4\alpha_6 \\ 
336:                -y_1y_2 \alpha_6^2+y_2^2\alpha_4\alpha_5   & 
337: y_1^2\alpha_4\alpha_6-y_2^2\alpha_5^2 & -y_1y_2 \alpha_4^2+y_2^2 \alpha_5\alpha_6    \\
338:               -y_1y_2 \alpha_5^2+y_2^2\alpha_4\alpha_6 & -y_1y_2 
339: \alpha_4^2+y_2^2 \alpha_5\alpha_6 &  y_1^2\alpha_4\alpha_5-y_2^2\alpha_6^2   \\
340:  \end{pmatrix}, 
341: \label{neumassmatrix}
342:  \nonumber\\
343:  \nonumber\\
344:  d&=&y_1^3\alpha_4\alpha_5\alpha_6-y_1y_2^2\alpha_4^3-
345: y_1y_2^2\alpha_5^3-y_1y_2^2\alpha_6^3
346: +2y_2^3\alpha_4\alpha_5\alpha_6.
347: \end{eqnarray}
348: 
349:    Since the charged leptons  mass matrix is diagonal one,
350: we can simply get the mass eigenvalues as
351: \begin{eqnarray}
352: \left(  \begin{array}{cc}
353: m_e  \\ 
354: m_\mu  \\ 
355: m_\tau  \\ 
356: \end{array} \right)
357: =
358:  v_d
359: \left(  \begin{array}{ccc}
360: 1&\omega &-1  \\ 
361: 1&\omega^2 &-\omega^2  \\ 
362: 1&1 &-\omega  \\ 
363: \end{array} \right)
364: \left(  \begin{array}{cc}
365: y^\ell_1\alpha_1  \\ 
366: y^\ell_2\alpha _2  \\ 
367: y^\ell_2\alpha _3  \\ 
368: \end{array} \right) .
369: \end{eqnarray}
370: In order to estimate  magnitudes of $\alpha_1$,  $\alpha_2$ and  $\alpha_3$,
371: we  rewrite  as
372: \begin{eqnarray}
373: \left(  \begin{array}{cc}
374: y^\ell_1\alpha_1  \\ 
375: y^\ell_2\alpha _2  \\ 
376: y^\ell_2\alpha _3  \\ 
377: \end{array} \right)
378: =
379: \frac{1 }{3v_d}
380: \left(  \begin{array}{ccc}
381: 1&1 & 1  \\ 
382: -\omega-1&\omega & 1   \\ 
383: -1&-\omega &\omega+1  \\ 
384: \end{array} \right)
385: \left(  \begin{array}{cc}
386: m_e \\ 
387: m_\mu  \\ 
388: m_\tau  \\ 
389: \end{array} \right) ,
390: \end{eqnarray}
391: which gives the relation of $|y^\ell_2\alpha_2| = |y^\ell_2\alpha_3|$.
392: Inserting the experimental values of the charged lepton masses
393: and $v_d\simeq 55$GeV, which is given by taking $\tan\beta=3$,
394: we obtain numerical results
395: \begin{equation}
396: \begin{pmatrix}
397: y_1^\ell \alpha _1 \\
398: y_2^\ell \alpha _2 \\
399: y_2^\ell \alpha _3 
400: \end{pmatrix} = \begin{pmatrix}
401:                          1.14\times 10^{-2} \\                                   
402: %正確な値: 0.011389
403:                          1.05\times 10^{-2} e^{0.016 i\pi } \\      
404: %正確な値: 0.0104935e^{0.0159211i\pi }
405:                          1.05\times 10^{-2} e^{0.32 i\pi }   \         
406: %正確な値: 0.0104935e^{0.317387\pi } 
407: \end{pmatrix}.
408: \label{alpha123}
409: \end{equation}
410: Thus, it is found that  $\alpha_i(i=1,2,3)$ are order of ${\cal O}(10^{-2})$
411:  if the Yukawa couplings are order one.
412: 
413: In our model,
414: the lepton mixing comes from the structure of the neutrino mass matrix
415: of Eq.(\ref{neumassmatrix}).
416:  In order to reproduce the maximal mixing between
417:  $\nu_\mu$ and $\nu_\tau$,  we take $\alpha_5=\alpha_6$, and then 
418: we have
419: \begin{eqnarray}
420: \label{mass}
421: M_\nu 
422:  &=&
423:  \frac{y_D^2v_u^2}{ \Lambda d}
424: \begin{pmatrix}y_1^2\alpha_5^2-y_2^2\alpha_4^2  & -y_1y_2 
425: \alpha_5^2+y_2^2\alpha_4\alpha_5  & -y_1y_2 \alpha_5^2+y_2^2\alpha_4\alpha_5 \\ 
426:                -y_1y_2 \alpha_5^2+y_2^2\alpha_4\alpha_5   & 
427: y_1^2\alpha_4\alpha_5-y_2^2\alpha_5^2 & -y_1y_2 \alpha_4^2+y_2^2 \alpha_5^2    \\
428:                -y_1y_2 \alpha_5^2+y_2^2\alpha_4\alpha_5  & -y_1y_2 
429: \alpha_4^2+y_2^2 \alpha_5^2 &  y_1^2\alpha_4\alpha_5-y_2^2\alpha_5^2   \\
430:  \end{pmatrix}.
431: \label{neutri}
432: % \nonumber\\
433: % d&=&y_1^3\alpha_4\alpha_5^2-y_1y_2^2\alpha_4^3-2y_1y_2^2\alpha_5^3+
434: % 2y_2^3\alpha_4\alpha_5^2.
435: \end{eqnarray}
436: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
437:  
438: The tri-bimaximal mixing is realized by the condition of
439: $M_\nu(1,1)+M_\nu(1,2)=M_\nu(2,2)+M_\nu(2,3)$ in Eq. (\ref{neutri}), 
440: which turns to
441: \begin{eqnarray}
442: (y_1-y_2)(\alpha_4-\alpha_5)(y_1\alpha_5-y_2\alpha_4)=0.
443: \end{eqnarray}
444: Therefore, we have  three cases realizing the tri-bimaximal mixing
445: in Eq.(\ref{neutri}) as
446: \begin{eqnarray}
447: y_1=y_2, \qquad \alpha_4=\alpha_5, \qquad y_1\alpha_5=y_2\alpha_4.
448: \label{limit}
449: \label{condition}
450: \end{eqnarray}
451: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
452: Let us investigate the neutrino mass spectrum in these cases.
453: In general the neutrino mass matrix with the tri-bimaximal mixing is
454: expressed as
455: \begin{eqnarray}
456: M_\nu
457: =
458: \frac{m_1+m_3}{2}
459:  \begin{pmatrix}1   & 0 & 0 \\ 
460:                    0    & 1   &0    \\
461:                    0  & 0  & 1    \\
462:  \end{pmatrix}
463: +\frac{m_2-m_1}{3}
464:  \begin{pmatrix}1   & 1 & 1 \\ 
465:                    1    & 1   &1    \\
466:                    1  & 1  & 1    \\
467:  \end{pmatrix}
468: +\frac{m_1-m_3}{2}
469:  \begin{pmatrix}1   & 0 & 0 \\ 
470:                    0    & 0   &1    \\
471:                    0  & 1  & 0    \\
472:  \end{pmatrix} 
473:  .
474: \label{tri-bi1}
475: \end{eqnarray}
476: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
477: Actually, the neutrino mass matrix of
478: Eq.(\ref{neutri}) is decomposed under the condition in Eq.(\ref{condition})
479: as follows.
480: In the case of $\alpha_4=\alpha_5$, the neutrino mass matrix is expressed as
481: \begin{eqnarray}
482: M_\nu 
483:  &=&
484:  \frac{y_D^2v_u ^2\alpha_4^2(y_1-y_2)}{ \Lambda d}
485: \left[
486: (y_1+2y_2)
487:  \begin{pmatrix}1   & 0 & 0 \\ 
488:                    0    & 1   &0    \\
489:                    0  & 0 & 1    \\
490:  \end{pmatrix}
491: -y_2
492:  \begin{pmatrix}1   & 1 & 1 \\ 
493:                    1    & 1   &1    \\
494:                    1  & 1  & 1    \\
495:  \end{pmatrix}
496: \right ].
497: \end{eqnarray}
498: Therefore, it is found that neutrino masses are given as 
499: \begin{eqnarray}
500: \frac{m_1+m_3}{2}
501: &=&
502:  \frac{y_D^2v_u^2\alpha_4^2(y_1-y_2)}{ \Lambda d}
503: (y_1+2y_2),
504: \nonumber\\
505: \frac{m_2-m_1}{3}
506: &=&-\frac{y_D^2v_u^2 \alpha_4^2}{ \Lambda d}
507: (y_1-y_2) y_2,
508: \nonumber\\
509: m_1-m_3&=&0.
510: \end{eqnarray}
511: In the case of $y_1=y_2$, the mass matrix is decomposed as
512: \begin{eqnarray}
513: M_\nu 
514:  &=&
515:  \frac{y_D^2y_1^2v^2(\alpha_4-\alpha_5)}{ \Lambda d}
516: \left[
517: \alpha_5
518:  \begin{pmatrix}1   & 1 & 1 \\ 
519:                    1    & 1   &1    \\
520:                    1  & 1  & 1    \\
521:  \end{pmatrix}
522: -(\alpha_4+2\alpha_5)
523:  \begin{pmatrix}1   & 0 & 0 \\ 
524:                    0    & 0   &1    \\
525:                    0  & 1 & 0    \\
526:  \end{pmatrix}\right ], 
527: \end{eqnarray}
528:  and we have
529: \begin{eqnarray}
530: m_1+m_3&=&0,
531: \nonumber\\
532: \frac{m_2-m_1}{3}
533: &=&\frac{y_D^2 y_1^2 v_u^2(\alpha_4-\alpha_5)}{ \Lambda d}
534: \alpha_5,
535: \nonumber\\
536: \frac{m_1-m_3}{2}
537: &=&-\frac{y_D^2 y_1^2 v_u^2(\alpha_4-\alpha_5)}{ \Lambda d}
538: (\alpha_4+2\alpha_5).
539: \end{eqnarray}
540: In the last case of
541: $y_1\alpha_5=y_2\alpha_4$, we have
542: \begin{eqnarray}
543: M_\nu 
544:  &=&
545:  \frac{y_D^2v_u^2}{ \Lambda d}
546: y_1^2 \alpha_4\alpha_5 \left (1-\frac{\alpha_5^3}{\alpha_4^3}\right)
547: \left[
548:  \begin{pmatrix}1   & 0 & 0 \\ 
549:                    0    & 1   &0    \\
550:                    0  & 0 & 1    \\
551:  \end{pmatrix}
552: -
553:  \begin{pmatrix}1   & 0 & 0 \\ 
554:                    0   & 0   &1    \\
555:                    0  & 1  & 0    \\
556:  \end{pmatrix}
557: \right ]. 
558: \end{eqnarray}
559: Then, we obtain
560: \begin{eqnarray}
561: &&m_3=
562:  \frac{2y_D^2v_u^2}{ \Lambda d}
563: y_1^2 \alpha_4\alpha_5 \left (1-\frac{\alpha_5^3}{\alpha_4^3}\right),
564: \nonumber\\
565: && m_2=m_1=0 \ .
566: \label{tri-bi2}
567: \end{eqnarray}
568: 
569: Thus, the tri-bimaximal mixing is not realized for
570: arbitrary neutrino masses $m_1$, $m_2$ and $m_3$ in our model.
571: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
572: In both conditions of $y_1=y_2$ and $\alpha_4=\alpha_5$,
573: we have $|m_1|=|m_3|$, which leads to quasi-degenerate neutrino masses
574: due to the condition of $\Delta m^2_{\rm atm} \gg \Delta m_{\rm sol}^2$.
575: Therefore, we do not discuss these cases in this paper
576: because we need fine-tuning of parameters
577: in order to be consistent with the experimental data of the neutrino
578: oscillations \cite{Threeflavors}.
579: 
580: In the case of $y_1\alpha_5=y_2\alpha_4$, the neutrino mass matrix turns to be
581: \begin{eqnarray}
582: M_\nu
583: =
584:  \frac{y_D^2y_1^2v_u^2}{ \Lambda d}
585: \begin{pmatrix}0  & 0  & 0 \\ 
586:                0   &  \alpha_4\alpha_5- \alpha_5^4/\alpha_4^2 & 
587: -\alpha_4\alpha_5+ \alpha_5^4/\alpha_4^2    \\
588:                0  & -\alpha_4\alpha_5+\alpha_5^4/\alpha_4^2 &  
589: \alpha_4\alpha_5- \alpha_5^4/\alpha_4^2   \\
590:  \end{pmatrix}.
591: \label{proto}
592: \end{eqnarray}
593: This neutrino matrix is a prototype 
594: which leads to  the tri-bimaximal mixing  
595: with the mass hierarchy $m_3\gg m_2\geq m_1$,
596: then we expect that realistic mass matrix is obtained near the condition
597: $y_1\alpha_5=y_2\alpha_4$. 
598: 
599: Let us discuss the detail of the mass matrix (\ref{mass}). 
600: After rotating $\theta_{23}=45^\circ$, we get
601: \begin{eqnarray}
602:  \frac{y_D^2v_u^2}{ \Lambda d}
603: \begin{pmatrix}y_1^2\alpha_5^2-y_2^2\alpha_4^2  & \sqrt2(-y_1y_2 
604: \alpha_5^2+y_2^2\alpha_4\alpha_5) & 0 \\ 
605:                \sqrt2(-y_1y_2 \alpha_5^2+y_2^2\alpha_4\alpha_5)   & y_1^2 
606: \alpha_4\alpha_5-y_1y_2 \alpha_4^2  &  0     \\
607:                  0   & 0  & y_1^2 \alpha_4\alpha_5+y_1y_2 
608: \alpha_4^2-2y_2^2\alpha_5^2   \\
609:  \end{pmatrix}, 
610: \end{eqnarray}
611: which  leads $\theta_{13}=0$ and
612: \begin{eqnarray}
613: \theta_{12}
614: =\frac12\arctan\frac{2\sqrt2 y_2\alpha_5}
615: {y_1\alpha_5+y_2\alpha_4-y_1 \alpha_4} \qquad (y_2\alpha_4\not 
616: =y_1\alpha_5).
617: \end{eqnarray}
618: %where we exclude the case $$.
619: Neutrino masses are given as
620: \begin{eqnarray}
621: m_1&=& \frac{y_D^2v_u^2}{ \Lambda d}
622: [y_1^2\alpha_5^2-y_2^2\alpha_4^2 -\sqrt2 (-y_1y_2 
623: \alpha_5^2+y_2^2\alpha_4\alpha_5)\tan\theta_{12}],
624: \nonumber\\
625: m_2&=& \frac{y_D^2v_u^2}{ \Lambda d}
626: [y_1^2 \alpha_4\alpha_5-y_1y_2 \alpha_4^2  + {\sqrt2}  (-y_1y_2 
627: \alpha_5^2+y_2^2\alpha_4\alpha_5) \tan\theta_{12}],
628: \nonumber\\
629: m_3&=&\ \frac{y_D^2v_u^2}{ \Lambda d}
630: [y_1^2 \alpha_4\alpha_5+y_1y_2 \alpha_4^2-2y_2^2\alpha_5^2],
631: \label{m3}
632: \end{eqnarray}
633: which are reconciled with the normal hierarchy of neutrino masses
634: in the case of $y_1\alpha_5\simeq y_2\alpha_4$.
635: 
636: Let us estimate magnitudes of $\alpha_i(i=4,5,6)$
637: by using Eq.(\ref{m3}). Suppose
638: $\tilde \alpha=\alpha_4\simeq \alpha_5=\alpha_6$.
639: If we take all Yukawa couplings to be order one,
640: Eq.(\ref{m3}) turns to be
641: $v_u^2=\Lambda \tilde\alpha m_3$ because of $d\sim \tilde\alpha^3$.
642: Putting $v_u\simeq 165$GeV ($\tan\beta=3$),
643: $m_3\simeq \sqrt{\Delta m_{\rm atm}^2}\simeq 0.05$eV,
644: and $\Lambda = 2.43\times 10^{18}$GeV, we obtain
645: $\tilde \alpha={\cal O}(10^{-4}-10^{-3})$.
646: Thus, values of $\alpha_i (i=4,5,6)$ are enough suppressed
647: to discuss perturbative series of higher mass operators.
648: 
649: \section{Higher order corrections}
650: 
651: Let us consider higher order contributions to mass matrices.
652: There are six expansion parameters $\alpha_i$, all of which
653: are expected to be small.
654: 
655: Since  products $3_1^{(1)}\times 3_2^{(2)}\times 2_1\times 1_2$
656: and  $3_1^{(1)}\times 3_2^{(2)}\times 2_1\times 2_1$
657: give the  $\Delta(54)$ invariant in the charged lepton sector,
658: the superpotential of next leading order is written as 
659: \begin{eqnarray}
660: \delta w_l
661: &=&
662: y_3^l
663: [(\omega  e^c l_e+\omega^2 \mu^c l_\mu+  \tau^c l_\tau )\chi_2 
664: +(e^c l_e+\omega^2 \mu^c l_\mu+\omega  \tau^c l_\tau )\chi_3]
665: \chi_1  h_d/\Lambda^2
666: \nonumber\\&&
667: +y_4^l 
668: ( (e^c l_e+\omega^2 \mu^c l_\mu+\omega \tau^c l_\tau )\chi_2 ^2 - 
669: (\omega  e^c l_e+\omega^2  \mu^c l_\mu+ \tau^c l_\tau )\chi_3 ^2)
670: h_d/\Lambda^2. 
671: \label{LE}
672: \end{eqnarray}
673: For the right-handed Majorana neutrinos, 
674:  the  $\Delta(54)$ invariant product 
675: $3_1^{(2)}\times 3_1^{(2)}\times  3_1^{(2)}\times 2_1$ gives 
676: \begin{eqnarray}
677: \delta w_N
678: &=&
679: y_3
680: [(\omega N_e^c N_e^c\chi_4+\omega^2 N_\mu^c N_\mu^c\chi_5+
681: N_\tau^c N_\tau^c\chi_6)\chi_2
682: \nonumber\\&&
683: +( N_e^c N_e^c\chi_4+\omega^2 N_\mu^c N_\mu^c\chi_5+
684: \omega N_\tau^c N_\tau^c\chi_6)\chi_3 ]/\Lambda 
685: \nonumber\\&&
686: +y_4\left [\{\omega ( N_\mu^c N_\tau^c+ N_\tau^c N_\mu^c)\chi_4
687: +\omega^2(N_e^c N_\tau^c+ N_\tau^c N_e^c)\chi_5
688: +(N_e^c N_\mu^c+\bar N_\mu^c N_e^c)\chi_6\}\chi_2 \right .
689: \nonumber\\&&
690: +\{( N_\mu^c N_\tau^c+ N_\tau^c N_\mu^c)\chi_4
691: +\omega^2(N_e^c l_\tau^c+N_\tau^c N_e^c)\chi_5
692: \nonumber\\&&
693: +\omega ( N_e^c N_\mu+ N_\mu^c N_e^c)\chi_6\}\chi_3\left .\right ]
694: /\Lambda .
695: \label{LR}
696: \end{eqnarray}
697: The product $3_1^{(1)}\times 3_1^{(2)}\times 2_1$
698: gives a $\Delta(54)$ invariant in the Dirac neutrino sector as 
699: \begin{eqnarray}
700: \delta w_D
701: &=&
702: y^D_2 
703: [ (\omega  N_e^c l_e+\omega^2 N_ \mu^c l_\mu+ N_\tau^c  l_\tau )\chi_2
704: + (N_e^c l_e+\omega^2 N_ \mu^c l_\mu+\omega  N_\tau^c l_\tau )\chi_3]
705: h_u/\Lambda.
706: \label{LD}
707: \end{eqnarray}
708: These correction terms of the superpotential in Eqs.
709: (\ref{LE}), (\ref{LR}), (\ref{LD}) give corrections of mass matrices 
710: \begin{eqnarray}
711: \delta M_l
712:  &= &
713: y_3^lv_d\alpha_1
714: \begin{pmatrix}\omega\alpha_2+\alpha_3  & 0 & 0 \\ 
715:            0  & \omega^2(\alpha_2+\alpha_3)  &  0  \\
716:                  0  & 0 & \alpha_2+\omega\alpha_3  \\
717:  \end{pmatrix} 
718:  \nonumber\\&&
719: +\ y_4^lv_d
720: \begin{pmatrix}\alpha_2^2-\omega\alpha_3^2  & 0 & 0 \\ 
721:            0  & \omega^2(\alpha_2^2-\alpha_3^2)  &  0  \\
722:                  0  & 0 & \omega\alpha_2^2-\alpha_3^2  \\
723:  \end{pmatrix}, 
724: \label{delE}
725:  \end{eqnarray}
726: for charged leptons,
727: \begin{eqnarray}
728: \delta M_N
729: &=&
730: y_3\Lambda
731: \begin{pmatrix}(\omega\alpha_2+\alpha_3)\alpha_4  & 0 & 0 \\ 
732:                0    & \omega^2(\alpha_2+\alpha_3)\alpha_5  &0    \\
733:                  0  & 0 &(\alpha_2+\omega\alpha_3)\alpha_6   \\
734:  \end{pmatrix} 
735: \nonumber\\&&
736: +\ y_4 \Lambda
737: \begin{pmatrix}0   & (\alpha_2+\omega\alpha_3)\alpha_{6} 
738: &\omega^2(\alpha_2+\alpha_3) \alpha_{5} \\ 
739:                    (\alpha_2+ \omega\alpha_3)\alpha_{6}  & 0   
740: &(\omega\alpha_2+\alpha_3)\alpha_{4}    \\
741:                    \omega^2(\alpha_2+ \alpha_3)\alpha_{5}  & 
742: (\omega\alpha_2+\alpha_3)\alpha_{4}  & 0    \\
743:  \end{pmatrix}, 
744: \label{delR}
745: \end{eqnarray}
746: for right-handed Majorana neutrinos, and
747: \begin{eqnarray}
748: \delta M_D
749:  = 
750: y^D_2v_u
751: \begin{pmatrix} \omega\alpha_2+ \alpha_3  & 0 & 0 \\ 
752:            0  &  \omega^2\alpha_2+\omega^2\alpha_3  &  0  \\
753:                  0  & 0 &  \alpha_2+\omega\alpha_3   \\
754:  \end{pmatrix},
755: \label{delD} 
756:  \end{eqnarray}
757: for Dirac neutrinos.
758: It is noticed that the corrections of the mass matrices
759: do not change the zero textures in the leading mass matrices
760: of Eqs. (\ref{ME}), (\ref{MR}), (\ref{MD}).
761: 
762:  Since the magnitudes  of $\alpha_i(i=1,2,3)$  are of 
763: ${\cal   O}(10^{-2})$ as seen in
764: Eq.(\ref{alpha123}), mass matrix corrections
765: $\delta M_l$ and $\delta M_D$ in Eqs. (\ref{delE}) and (\ref{delD})
766: are suppressed enough.
767: On the other hand, the magnitudes of $\alpha_i(i=4,5,6)$ are
768: ${\cal O}(10^{-4}-10^{-3})$ as discussed in the previous section.
769: Therefore, the correction $\delta M_N$ in Eq.(\ref{delR})
770: is also suppressed enough.
771: In conclusion, we can neglect the higher order contribution
772: in our numerical study of neutrino masses and mixing angles.
773: 
774: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
775: 
776: 
777: \section{Vacuum alignment}
778: We analyze the scalar potential to find out the vacuum alignment 
779: \footnote{Instead of analyzing the potential minimum, 
780: the vacuum alignment could be realized by imposing boundary conditions
781: of $\chi_i$ in extra dimensions \cite{Kobayashi:2008ih}
782: \cite{Seidl}.}. 
783: The scalar potential becomes rather simple in the $\Delta(54)$ symmetry.
784: Especially, the supersymmetry is important to see the vacuum 
785: alignment. 
786: 
787: %\begin{table}[h]
788: %\begin{center}
789: %\begin{tabular}{|c|ccc|}
790: %\hline
791: % & $\chi _1$ & $(\chi _2,\chi _3)$ & $(\chi_4,\chi_5,\chi_6)$
792: %\\ \hline
793: %$\Delta (54)$ & $ 1_2$ & $ 2_1$ & $ 3_1^{(2)}$
794: % \\ \hline
795: %\end{tabular}
796: %\end{center}
797: 
798: %\end{table}
799: 
800: The $\Delta(54)$ invariant superpotential is given as
801: \begin{eqnarray}
802: w &=& 
803: \mu _1\chi _1^2 + \mu _2\chi _2\chi _3 
804: \nonumber\\&&  
805:   + \eta _2(\chi _2^3+\chi _3^3) + \eta _3(\chi _4^3+\chi _5^3+\chi _6^3) + 
806: \eta _3^\prime \chi _4\chi _5\chi _6 
807: \nonumber\\&&  
808:   + \frac{\lambda _1}{\Lambda }\chi _1^4 + \frac{\lambda _2}{\Lambda }\chi 
809: _2^2\chi _3^2 %+ \frac{\lambda _2^\prime }{\Lambda }\chi _2^2\chi _3^2
810:  + \frac{\lambda _3}{\Lambda }\chi _1^2\chi _2\chi _3 +\frac{\lambda 
811: _4}{\Lambda }\chi _1(\chi _2^3-\chi _3^3) 
812: \nonumber\\&&  
813:  + \frac{\lambda _6}{\Lambda }\left [\chi _2(\omega \chi _4^3+\omega ^2\chi 
814: _5^3+\chi _6^3)+\chi _3(\chi _4^3+\omega ^2\chi _5^3+\omega \chi 
815: _6^3)\right ]
816: \ ,
817: \end{eqnarray}
818: which leads to the   scalar potential 
819: \begin{eqnarray}
820: V &=& |2\mu _1\chi _1+4\frac{\lambda _1}{\Lambda }\chi _1^3+2\frac{\lambda 
821: _3}{\Lambda }\chi _1\chi _2\chi _3+\frac{\lambda _4}{\Lambda }(\chi 
822: _2^3-\chi _3^3)|^2
823: \nonumber\\
824: && + |\mu _2\chi _3+3\eta _2\chi _2^2+2\frac{\lambda _2}{\Lambda }\chi 
825: _2\chi _3^2%+2\frac{\lambda _2^\prime }{\Lambda }\chi _2\chi _3^2
826: +\frac{\lambda _3}{\Lambda }\chi _1^2\chi _3+3\frac{\lambda _4}{\Lambda 
827: }\chi _1\chi _2^2+\frac{\lambda _6}{\Lambda }(\omega \chi _4^3+\omega ^2\chi 
828: _5^3+\chi _6^3)|^2  
829: \nonumber\\
830: && + |\mu _2\chi _2+3\eta _2\chi _3^2+2\frac{\lambda _2}{\Lambda }\chi 
831: _2^2\chi _3%+2\frac{\lambda _2^\prime }{\Lambda }\chi _2^2\chi _3
832: +\frac{\lambda _3}{\Lambda }\chi _1^2\chi _2-3\frac{\lambda _4}{\Lambda 
833: }\chi _1\chi _3^2+\frac{\lambda _6}{\Lambda }(\chi _4^3+\omega ^2\chi 
834: _5^3+\omega \chi _6^3)|^2  
835: \nonumber\\
836: && + |3\eta _3\chi _4^2+\eta _3^\prime \chi _5\chi _6+3\frac{\lambda 
837: _6}{\Lambda }(\omega \chi _2+\chi _3)\chi _4^2|^2  
838: + |3\eta _3\chi _5^2+\eta _3^\prime \chi _4\chi _6+3\frac{\lambda 
839: _6}{\Lambda }\omega ^2(\chi _2+\chi _3)\chi _5^2|^2  
840: \nonumber\\
841: && + |3\eta _3\chi _6^2+\eta _3^\prime \chi _4\chi _5+3\frac{\lambda 
842: _6}{\Lambda }(\chi _2+\omega \chi _3)\chi _6^2|^2 \ .
843: \end{eqnarray}
844: VEVs of $\chi_i$ must be much larger than the weak scale.
845: We assume that their VEVs are determined with neglecting 
846: supersymmetry breaking terms, i.e. $V_{\text{min}}=0$.
847: Then, the conditions of the potential minimum, $V_{\text{min}}=0$ are 
848: written as 
849: \begin{eqnarray}
850: 2\mu _1\chi _1+4\frac{\lambda _1}{\Lambda }\chi _1^3+2\frac{\lambda 
851: _3}{\Lambda }\chi _1\chi _2\chi _3+\frac{\lambda _4}{\Lambda }(\chi _2^3-\chi 
852: _3^3) &=& 0 ,
853: \nonumber\\
854: \mu _2\chi _3+3\eta _2\chi _2^2+2\frac{\lambda _2}{\Lambda }\chi _2\chi 
855: _3^2%+2\frac{\lambda _2^\prime }{\Lambda }\chi _2\chi _3^2
856: +\frac{\lambda _3}{\Lambda }\chi _1^2\chi _3+3\frac{\lambda _4}{\Lambda 
857: }\chi _1\chi _2^2+\frac{\lambda _6}{\Lambda }(\omega \chi _4^3+\omega ^2\chi 
858: _5^3+\chi _6^3) &=& 0 ,
859: \nonumber\\
860:  \mu _2\chi _2+3\eta _2\chi _3^2+2\frac{\lambda _2}{\Lambda }\chi _2^2\chi 
861: _3%+2\frac{\lambda _2^\prime }{\Lambda }\chi _2^2\chi _3
862: +\frac{\lambda _3}{\Lambda }\chi _1^2\chi _2-3\frac{\lambda _4}{\Lambda 
863: }\chi _1\chi _3^2+\frac{\lambda _6}{\Lambda }(\chi _4^3+\omega ^2\chi 
864: _5^3+\omega \chi _6^3) &=& 0 ,
865: \nonumber\\
866:  3\eta _3\chi _4^2+\eta _3^\prime \chi _5\chi _6+3\frac{\lambda 
867: _6}{\Lambda }(\omega \chi _2+\chi _3)\chi _4^2 &=& 0 ,
868: \nonumber\\
869:  3\eta _3\chi _5^2+\eta _3^\prime \chi _4\chi _6+3\frac{\lambda 
870: _6}{\Lambda }\omega ^2(\chi _2+\chi _3)\chi _5^2 &=& 0 ,
871: \nonumber\\
872:  3\eta _3\chi _6^2+\eta _3^\prime \chi _4\chi _5+3\frac{\lambda 
873: _6}{\Lambda }(\chi _2+\omega \chi _3)\chi _6^2 &=& 0.
874: \end{eqnarray}
875: A solution of the last three equations is
876: \begin{eqnarray}
877:  \chi_4=\chi_5=\chi_6   \qquad  {\rm with} \qquad
878:  3\eta _3 + \eta _3^\prime = 0\  ,
879: \end{eqnarray}
880: where the higher dimensional operators proportional to $\lambda_6$
881: are neglected.
882: If we include the $\lambda_6$ terms,
883: the relation $\alpha_4=\alpha_5=\alpha_6$ is deviated in order of ${\cal O}(\alpha_i^2)$.
884: Therefore, we take randomly $\alpha_i(i=4,5,6)$ around
885: $\alpha_4=\alpha_5=\alpha_6$ in our numerical analysis.
886: 
887: \section{Numerical result}
888: 
889: We  show our numerical analysis of neutrino masses and mixing angles
890: in the normal mass hierarchy.
891: Neglecting  higher order corrections of mass matrices in section 3,
892: we obtain the allowed region of parameters and predictions of neutrino masses and mixing angles. Here, we neglect the renomarization effect of the 
893: neutrino mass matrix because we suppose the normal hierarchy of 
894: neutrino masses and take $\tan\beta = 3$.
895: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
896: \begin{figure}[tbh]
897: \begin{center}
898: \includegraphics[width=7 cm]{theta12-13.eps}
899: \quad
900: \includegraphics[width=7 cm]{theta23-13.eps}
901: \quad
902: \caption{Prediction of the upper bound of  $\sin^2\theta_{13}$
903: on (a) $\sin^2\theta_{12}-\sin^2\theta_{13}$ and
904:  (b) $\sin^2\theta_{23}-\sin^2\theta_{13}$ planes.}
905: \end{center}
906: \end{figure}
907: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
908: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
909: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
910: \begin{figure}[tb]
911: \begin{minipage}[]{0.4\linewidth} 
912: \includegraphics[width=7cm]{theta12-23.eps}
913: \caption{Allowed region on  $\sin^2\theta_{12}-\sin^2\theta_{23}$ plane. }
914: \end{minipage}
915: \hspace{2cm}
916: \begin{minipage}[]{0.4\linewidth} 
917: \includegraphics[width=7 cm]{m1-m2.eps}
918: \caption{The allowed mass region on the $m_1-m_2$ plane. }
919: \end{minipage}
920: \end{figure}
921: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
922: 
923: Input data of masses and mixing angles are taken in the  region of 
924:  3$\sigma$ of the experimental data \cite{Threeflavors}:
925: \begin{eqnarray}
926: &&\Delta m_{\rm atm}^2=(2.07\sim 2.75)\times 10^{-3} 
927: {\rm eV}^2 \ ,
928: \quad \Delta m_{\rm sol}^2= (7.05\sim 8.34) \times 10^{-5} {\rm eV}^2  \ , 
929: \nonumber \\
930: && \sin^2 \theta_{\rm atm}=0.36\sim 0.67 \ ,
931: \quad  \sin^2 \theta_{\rm sol}=0.25 \sim 0.37  \ , \quad
932:  \sin^2 \theta_{\rm reactor} \leq 0.056\ ,
933:  %\label{}
934: \end{eqnarray}
935: and   $\Lambda=2.43 \times 10^{18}$GeV is taken.
936: We fix $y_D=y_1=1$ as a convention, and vary $y_2/y_1$.
937: The change of $y_D$ and $y_1$  is absorbed into  the change of 
938: $\alpha_i(i=4,5,6)$.
939: If we take a smaller value of $y_1$, values of  $\alpha_i$ scale up.
940: On the other hand,
941: if we take a smaller value of $y_D$, the magnitude of $\alpha_i$ scale down.
942: As expected in the discussion of section 2,
943: the experimentally allowed values are reproduced
944: around $\alpha_4=\alpha_5=\alpha_6$. 
945: 
946: 
947: 
948: 
949: 
950:  We can predict the deviation from the tri-bimaximal mixing.
951: The remarkable prediction is given in the magnitude of $\sin^2\theta_{13}$.
952:  In Figures 1 (a) and (b), we plot the allowed region of mixing angles
953:  in planes of $\sin^2\theta_{12}$-$\sin^2\theta_{13}$ and
954: $\sin^2\theta_{23}$-$\sin^2\theta_{13}$, respectively.
955: It is found that the upper bound of $\sin^2\theta_{13}$ is $0.01$.
956: It is also found the strong correlation between
957: $\sin^2\theta_{23}$ and $\sin^2\theta_{13}$.
958: Unless $\theta_{23}$ is deviated from the maximal mixing considerably,
959: $\theta_{13}$ remains to be tiny. This is a testable relation in this model.
960: 
961: The allowed region on the
962: $\sin^2\theta_{12}$-$\sin^2\theta_{23}$ plane is presented in Figure 2.
963: There is no correlation between $\sin^2\theta_{23}$ and $\sin^2\theta_{12}$
964: as well as between $\sin^2\theta_{13}$ and $\sin^2\theta_{12}$.
965: 
966: Let us discuss the first and second neutrino masses on the $m_1-m_2$ plane 
967: in Figure 3.
968:  We find   the lightest neutrino mass $m_1$ in the very narrow region 
969: of $m_1\simeq (6-7)\times 10^{-3}$eV in our model.
970: 
971: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
972: \begin{figure}[!tb]
973: \begin{center}
974: \includegraphics[width=7 cm]{a5-a4.eps}
975: \qquad
976: \includegraphics[width=7 cm]{a5-a6.eps}
977: \caption{Allowd regions on (a) $\alpha_5-\alpha_4$ and 
978: (b) $\alpha_5-\alpha_6$ planes. }
979: \end{center}
980: \end{figure}
981: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
982: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
983: \begin{wrapfigure}{r}{ 7.5cm}
984: \begin{center}
985: \includegraphics[width=7. cm]{ya.eps}
986: \caption{The allowed region on  $y_1\alpha_5-y_2\alpha_4$ plane.
987: The solid line denote  $y_1\alpha_5=y_2\alpha_4$ one.}
988: \end{center}
989: \end{wrapfigure}
990: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
991: 
992: In Figure 4, we present allowed regions of parameters of
993:  $\alpha_4$, $\alpha_5$ and  $\alpha_6$, which give the
994:  neutrino masses and mixing angles consistent with the experimental data.
995: It is found  $\alpha_4\sim \alpha_5\sim \alpha_6 \sim{\cal O}(10^{-3})$,
996: which can be realized  in  the potential analysis of the previous section.
997: Since  the magnitude of $\alpha_i$ is found to be
998:  ${\cal O}(10^{-3})$ as expected in the section 2, 
999:  the neglect of the higher order corrections on the mass matrices
1000: are guaranteed.
1001: 
1002: 
1003: At last, we discuss about the relation of  $y_1\alpha_5\simeq y_2\alpha_4$,
1004: which is expected in our analysis
1005:  as discussed in Eq.(\ref{proto}) of section 2.
1006: This relation is well  satisfied in our numerical result,
1007:  which is shown on  $y_1\alpha_5- y_2\alpha_4$ plane in Figure 5.
1008: By taking account of both results in  Figure 4(a) and Figure 5,
1009: we have  found that the ratio $y_2/y_1$ is constrained  around $0.3- 0.5$.
1010: Thus, Yukawa couplings $y_1$ and $y_2$ are of the same order.
1011: 
1012: \section{Summary and Discussion}
1013: 
1014: We have presented the  flavor model for the lepton mass matrices
1015: by using the discrete symmetry $\Delta (54)$, which could be
1016: originated from the string orbifold.
1017: The left-handed leptons, the right-handed charged leptons
1018: and the right-handed neutrinos are assigned by $3_1^{(1)}$,
1019: $3_2^{(2)}$, and $3_1^{(2)}$, respectively.
1020: We introduce  gauge singlets $\chi_1$, $(\chi_2, \chi_3)$ and
1021: $(\chi_4, \chi_5, \chi_6)$, which are assigned to be 
1022: $1_2$, $2_1$, and $3_1^{(2)}$ of the $\Delta(54)$ representations,
1023: respectively.
1024: The $\Delta(54)$ flavor symmetry can appear 
1025: in heterotic string models on factorizable orbifolds 
1026: including the $T^2/Z_3$ orbifold \cite{Kobayashi:2006wq}.
1027: In these string models only singlets and 
1028: triplets appear as fundamental modes, 
1029: but doublets do not appear as fundamental modes.
1030: The doublet plays an role in our model, 
1031: and such doublet could appear, e.g. 
1032: as composite modes of triplets.
1033: 
1034: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1035: %%%%%%%%  Add discussions %%%%%%
1036: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1037: As discussed in Eqs.(\ref{tri-bi1})-(\ref{tri-bi2}), the tri-bimaximal mixing is not realized for arbitrary neutrino masses  in our model.
1038: Parameters are adapted to get neutrino masses  consistent 
1039: with  observed values of $\Delta m^2_{\rm atm}$ and $\Delta m_{\rm sol}^2$.
1040: Then, the deviation from  the tri-bimaximal mixing is estimated.
1041: %%%%%%%%%%%%%%%%%%%%%%
1042: Therefore, our  approach does not predict the tri-bimaximal mixing,
1043: but constrain the neutrino mass matrix by putting $\theta_{23}\simeq \pi/4$
1044: by hand.
1045: %%%%%%%%%%%%%%%%%%%%%
1046: 
1047: It is useful to give a following comment as to $\Delta(27)$ flavor symmetry.
1048: Our mass matrix gives  the same result 
1049: in the   $\Delta(27)$ flavor symmetry  \cite{Delta(27)-Ma(2006)},
1050: where the type II seesaw is used.
1051: Our  neutrino   mass matrix  is given as  $M_\nu\propto  M_N^{-1}$, where
1052:  $M_N$ is the just  same  as  the neutrino mass matrix $M_\nu$
1053: in the $\Delta(27)$ flavor symmetry \cite{Delta(27)-Ma(2006)}.
1054: Therefore, if the type I seesaw is used in the $\Delta(27)$ flavor symmetry,
1055: the same neutrino mass matrix  can be obtained.
1056: 
1057: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1058: %Our $M_\nu$ is in agreement with the one in  the $\Delta(27)$ model
1059: % for the case of  $y_1=y_2$ or  $\alpha_4=\alpha_5$ in Eq.(\ref{limit}).
1060: %However, ours is completely different from  the one of $\Delta(27)$ 
1061: %in the case of $y_1\alpha_5=y_2\alpha_4$ as seen in Eq.(\ref{proto}).
1062: %Since our numerical analysis has been done 
1063: %around  $y_1\alpha_5=y_2\alpha_4$, our  result is independent
1064: %of the previous one  \cite{Delta(27)-Ma(2006)}.
1065: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1066: 
1067: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1068: %, but 
1069: % different from that in the $A_4$ flavor symmetry
1070: %  \cite{A4-Ma and Rajasekaran}-\cite{A4-Lin}, in which
1071: % the tri-bimaximal mixing is reproduced for arbitrary neutrino masses
1072: %if vacuum alignments of scalar fields are guaranteed.
1073: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1074: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1075: 
1076: The model  reproduces the almost tri-bimaximal mixing in 
1077: the parameter region around two vanishing neutrino masses.
1078: We have  predicted  the deviation from the tri-bimaximal mixing
1079:  by input of the experimental data of $\Delta m^2_{\rm atm}$
1080:  and  $\Delta m^2_{\rm sol}$ 
1081: in the case of normal hierarchy of neutrino masses.
1082: We have found that the upper bound of $\sin^2\theta_{13}$ is $0.01$.
1083: There is the strong correlation between
1084: $\sin^2\theta_{23}$ and $\sin^2\theta_{13}$.
1085: Unless $\theta_{23}$ is deviated from the maximal mixing considerably,
1086: $\theta_{13}$ remains to be tiny.
1087: Therefore, the  model is testable in the future neutrino experiments.
1088: 
1089: %%%%% acknowledgement %%%%%
1090: \vspace{1cm}
1091: \noindent
1092: {\bf Acknowledgement}
1093: 
1094: 
1095: T.~K.\/ is supported in part by the
1096: Grant-in-Aid for Scientific Research, No.~20540266,
1097: and 
1098: the Grant-in-Aid for the Global COE Program 
1099: "The Next Generation of Physics, Spun from Universality 
1100: and Emergence" from the Ministry of Education, Culture,
1101: Sports, Science and Technology of Japan.
1102: The work of M.T. has been  supported by the
1103: Grant-in-Aid for Science Research
1104: of the Ministry of Education, Science, and Culture of Japan
1105: No. 17540243.
1106: 
1107: \newpage
1108: \appendix
1109: \section{Appendix}
1110: \subsection{Character table of $\Delta(54)$}
1111: 
1112: Group-theoretical aspects of $\Delta(54)$ can be found 
1113: in ref.\cite{delta54}, in which  $\Delta(6n^2)$ is investigated.
1114:  $\Delta(54)$ is a discrete subgroup of 
1115: $\mathrm{SU}(3)$, i.e.\ the group $\Delta(6n^2)$ (with $n=3$) and 
1116: it has order 
1117: $54$. 
1118: The generators of $\Delta(54)$ are given by the set 
1119: \begin{equation}
1120: a= \left(
1121:  \begin{array}{ccc}
1122:  0 & 1 & 0 \\
1123:  0 & 0 & 1 \\
1124:  1 & 0 & 0
1125:  \end{array}
1126:  \right),  \
1127: b= \left(
1128:  \begin{array}{ccc}
1129:  0 & 0 & 1 \\
1130:  0 & 1 & 0 \\
1131:  1 & 0 & 0
1132:  \end{array}
1133:  \right),  \
1134: c= \left(
1135:  \begin{array}{ccc}
1136:  \omega & 0 & 0 \\
1137:  0 &  \omega^2 & 0 \\
1138:  0 & 0 & 1
1139:  \end{array}
1140:  \right), \
1141: c'=  \left(
1142:  \begin{array}{ccc}
1143:  \omega^2 & 0 & 0 \\
1144:  0 &  \omega & 0 \\
1145:  0 & 0 & 1
1146:  \end{array}
1147:  \right).
1148:  \end{equation}
1149: It has four three-dimensional irreducible representations 
1150: $\mathbf{3}_1^{(1)},\,
1151: \mathbf{{3}}_1^{(2)}, \, \mathbf{3}_2^{(1)},\, \mathbf{{3'}}_2^{(2)}\,$, 
1152: four two-dimensional
1153: ones $\mathbf{2}_{1},\, \mathbf{2}_{2}, \, \mathbf{2}_{3}, \, 
1154: \mathbf{2}_{4}$,
1155: and two one-dimensional ones $\mathbf{1}_{1}, \, \mathbf{1}_{2}$. 
1156: Generators of three-dimensional representations are mainly divided into two 
1157: types. 
1158: For $\mathbf{{3}}_1^{(1)}, ~\mathbf{{3}}_1^{(2)}$, generators are $a$, $b$, 
1159: $c$, and 
1160: for $\mathbf{{3}}_2^{(1)}, ~\mathbf{{3}}_2^{(2)}$, generators are $a$, $b$, 
1161: $c'$.
1162: Their
1163: character table  are presented  in Table \ref{character}. 
1164: 
1165: \vskip 1 cm
1166: \begin{table}[!h]
1167: \centerline{
1168: \begin{tabular}{|c|rrrrrrrrrr|}
1169: \hline
1170: irrep & 1a  & 6a  & 6b  & 3a  & 3b  & 3c  & 2a  & 3d  & 3e  & 3f \\
1171:       & \scriptsize{(1)} & \scriptsize{(9)} & \scriptsize{(9)} & 
1172: \scriptsize{(6)} & \scriptsize{(6)} & \scriptsize{(6)} & \scriptsize{(9)} & 
1173: \scriptsize{(6)} & \scriptsize{(1)} & \scriptsize{(1)} \\
1174: \hline
1175: $\mathbf{1}_{1}$ & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 & 1 \\
1176: $\mathbf{1}_{2}$ & 1 & -1 & -1 & 1 & 1 & 1 & -1 & 1 & 1 & 1 \\
1177: $\mathbf{2}_{1}$ & 2 & 0 & 0 & 2 & -1 & -1 & 0 & -1 & 2 & 2 \\
1178: $\mathbf{2}_{2}$ & 2 & 0 & 0 & -1 & -1 & -1 & 0 & 2 & 2 & 2 \\
1179: $\mathbf{2}_{3}$ & 2 & 0 & 0 & -1 & -1 & 2 & 0 & -1 & 2 & 2 \\
1180: $\mathbf{2}_{4}$ & 2 & 0 & 0 & -1 & 2 & -1 & 0 & -1 & 2 & 2 \\
1181: $\mathbf{3_2^{(1)}}$ & 3 & $-\bar{\omega}$ & $-\omega$ & 0 & 0 & 0 & -1 & 0 
1182: & $3\bar{\omega}$ & $3\omega$ \\
1183: $\mathbf{3_2^{(2)}}$ & 3 & $-\omega$ & $-\bar{\omega}$ & 0 & 0 & 0 & -1 & 0 
1184: & $3\omega$ & $3\bar{\omega}$ \\
1185: $\mathbf{3_1^{(2)}}$ & 3 & $\omega$ & $\bar{\omega}$ & 0 & 0 & 0 & 1 & 0 & 
1186: $3\omega$ & $3\bar{\omega}$ \\
1187: $\mathbf{3_1^{(1)}}$ & 3 & $\bar{\omega}$ & $\omega$ & 0 & 0 & 0 & 1 & 0 & 
1188: $3\bar{\omega}$ & $3\omega$ \\
1189: \hline
1190: \end{tabular}
1191: }
1192: \caption{Character table of the group $\Delta(54)$. }
1193: \label{character}
1194: \end{table}
1195: 
1196: \newpage
1197: 
1198: 
1199: 
1200: \subsection{Kronecker products}
1201: We display Kronecker products and calculation of Clebsch Gordan coefficients.
1202: The Kronecker products can be calculate from the character table 
1203: in the previous subsection.             
1204: \begin{equation}
1205: \begin{split}
1206: &1_i\times 1_i = 1_1\ (i=1,2), \quad 1_1\times 1_2 = 1_2\times 1_1 = 1_2, 
1207: \\
1208: &1_i\times 2_r = 2_r, \quad 1_i \times 3_j^{(l)} = 3_{((i+j)\bmod 
1209: 2)+1}^{(l)}\ (j,l=1,2), \\
1210: &2_r\times 2_r = 1_1 + 1_2 + 2_r\ (r=1,2,3,4), \\
1211: &2_a\times 2_b = 2_c + 2_d\ (a,b,c,d = 1,2,3,4,\ \text{different each other}), \\
1212: &2_r\times 3_j^{(l)} = 3_1^{(l)} + 3_2^{(l)}, \\
1213: &3_j^{(l)}\times 3_j^{(l)} = 3_1^{(l^\prime )} + 3_1^{(l^\prime )} + 
1214: 3_2^{(l^\prime )}\ (l^\prime =1,2,\ l\not = l' ), \\
1215: &3_j^{(l)}\times 3_{j^\prime }^{(l)} = 3_2^{(l^\prime )} + 3_2^{(l^\prime 
1216: )} + 3_1^{(l^\prime )}\ (j^\prime =1,2, \ j\not =j' ), \\
1217: &3_j^{(l)}\times 3_j^{(l^\prime )} = 1_1 + 2_1 + 2_2 + 2_3 + 2_4, \\
1218: &3_j^{(l)}\times 3_{j^\prime }^{(l^\prime )} = 1_2 + 2_1 + 2_2 + 2_3 + 2_4.
1219: \end{split}
1220: \end{equation}
1221: 
1222: \subsection{Multiplication of $\Delta(54)$}
1223: We present the  relevant  multiplication rules 
1224: of $\Delta (54)$. 
1225: The multiplication rules of two dimensional representation
1226: are given as
1227: \begin{align*}
1228: (x_1,x_2)_{2_r}\times (y_1,y_2)_{2_r} &= (x_1y_2+x_2y_1)_{1_1} + 
1229: (x_1y_2-x_2y_1)_{1_2} + (x_2y_2,x_1y_1)_{2_r} \ (r=1,2,3,4) \\
1230: (x_1,x_2)_{2_1}\times (y_1,y_2)_{2_2} &= (x_2y_2,x_1y_1)_{2_3} + 
1231: (x_2y_1,x_1y_2)_{2_4} \\
1232: (x_1,x_2)_{2_1}\times (y_1,y_2)_{2_3} &= (x_2y_2,x_1y_1)_{2_2} + 
1233: (x_2y_1,x_1y_2)_{2_4}, \\
1234: (x_1,x_2)_{2_1}\times (y_1,y_2)_{2_4} &= (x_1y_2,x_2y_1)_{2_2} + 
1235: (x_1y_1,x_2y_2)_{2_3}, \\
1236: (x_1,x_2)_{2_2}\times (y_1,y_2)_{2_3} &= (x_2y_2,x_1y_1)_{2_1} + 
1237: (x_1y_2,x_2y_1)_{2_4},\\
1238: (x_1,x_2)_{2_2}\times (y_1,y_2)_{2_4} &= (x_1y_1,x_2y_2)_{2_1} + 
1239: (x_1y_2,x_2y_1)_{2_3}, \\
1240: (x_1,x_2)_{2_3}\times (y_1,y_2)_{2_4} &= (x_1y_2,x_2y_1)_{2_1} + 
1241: (x_1y_1,x_2y_2)_{2_2}.
1242: \end{align*}
1243: The multiplication rules of three dimensional representation is given as
1244: \begin{align*}
1245: (x_1,x_2,x_3)_{3_1^{(1)}}\times (y_1,y_2,y_3)_{3_1^{(1)}} &= 
1246: (x_1y_1,x_2y_2,x_3y_3)_{3_1^{(2)}} \\
1247: &\ \ \ \ + (x_2y_3+x_3y_2,x_3y_1+x_1y_3,x_1y_2+x_2y_1)_{3_1^{(2)}} \\
1248: &\ \ \ \ + (x_2y_3-x_3y_2,x_3y_1-x_1y_3,x_1y_2-x_2y_1)_{3_2^{(2)}}, \\
1249: %%%%%%%%%%%%%%%%%%%%%%%%%%
1250: (x_1,x_2,x_3)_{3_1^{(2)}}\times (y_1,y_2,y_3)_{3_1^{(2)}} &= 
1251: (x_1y_1,x_2y_2,x_3y_3)_{3_1^{(1)}} \\
1252: &\ \ \ \ + (x_2y_3+x_3y_2,x_3y_1+x_1y_3,x_1y_2+x_2y_1)_{3_1^{(1)}} \\
1253: &\ \ \ \ + (x_2y_3-x_3y_2,x_3y_1-x_1y_3,x_1y_2-x_2y_1)_{3_2^{(1)}}, \\
1254: %%%%%%%%%%%%%%%%%%%%%%%%%
1255: (x_1,x_2,x_3)_{3_1^{(1)}}\times (y_1,y_2,y_3)_{3_1^{(2)}} &= 
1256: (x_1y_1+x_2y_2+x_3y_3)_{1_1} \\
1257: &\ \ \ \ + (x_1y_1+\omega ^2x_2y_2+\omega x_3y_3,\omega x_1y_1+\omega 
1258: ^2x_2y_2+x_3y_3)_{2_1} \\
1259: &\ \ \ \ + (x_1y_2+\omega ^2x_2y_3+\omega x_3y_1,\omega x_1y_3+\omega 
1260: ^2x_2y_1+x_3y_2)_{2_2} \\
1261: &\ \ \ \ + (x_1y_3+\omega ^2x_2y_1+\omega x_3y_2,\omega x_1y_2+\omega 
1262: ^2x_2y_3+x_3y_1)_{2_3} \\
1263: &\ \ \ \ + (x_1y_3+x_2y_1+x_3y_2,x_1y_2+x_2y_3+x_3y_1)_{2_4}, \\
1264: %%%%%%%%%%%%%%%%%%%%%%%%%%%%
1265: (x_1,x_2,x_3)_{3_1^{(2)}}\times (y_1,y_2,y_3)_{3_1^{(1)}} &= 
1266: (x_1y_1+x_2y_2+x_3y_3)_{1_1} \\
1267: &\ \ \ \ + (x_1y_1+\omega ^2x_2y_2+\omega x_3y_3,\omega x_1y_1+\omega 
1268: ^2x_2y_2+x_3y_3)_{2_1} \\
1269: &\ \ \ \ + (x_1y_3+\omega ^2x_2y_1+\omega x_3y_2,\omega x_1y_2+\omega 
1270: ^2x_2y_3+x_3y_1)_{2_2} \\
1271: &\ \ \ \ + (x_1y_2+\omega ^2x_2y_3+\omega x_3y_1,\omega x_1y_3+\omega 
1272: ^2x_2y_1+x_3y_2)_{2_3} \\
1273: &\ \ \ \ + (x_1y_2+x_2y_3+x_3y_1,x_1y_3+x_2y_1+x_3y_2)_{2_4}, \\
1274: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1275: (x_1,x_2,x_3)_{3_2^{(1)}}\times (y_1,y_2,y_3)_{3_2^{(1)}} &= 
1276: (x_1y_1,x_2y_2,x_3y_3)_{3_1^{(2)}} \\
1277: &\ \ \ \ + (x_2y_3+x_3y_2,x_3y_1+x_1y_3,x_1y_2+x_2y_1)_{3_1^{(2)}} \\
1278: &\ \ \ \ + (x_2y_3-x_3y_2,x_3y_1-x_1y_3,x_1y_2-x_2y_1)_{3_2^{(2)}}, \\
1279: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1280: (x_1,x_2,x_3)_{3_2^{(2)}}\times (y_1,y_2,y_3)_{3_2^{(2)}} &= 
1281: (x_1y_1,x_2y_2,x_3y_3)_{3_1^{(1)}} \\
1282: &\ \ \ \ + (x_2y_3+x_3y_2,x_3y_1+x_1y_3,x_1y_2+x_2y_1)_{3_1^{(1)}} \\
1283: &\ \ \ \ + (x_2y_3-x_3y_2,x_3y_1-x_1y_3,x_1y_2-x_2y_1)_{3_2^{(1)}}, \\
1284: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1285: (x_1,x_2,x_3)_{3_1^{(1)}}\times (y_1,y_2,y_3)_{3_2^{(2)}} &= 
1286: (x_1y_1+x_2y_2+x_3y_3)_{1_2} \\
1287: &\ \ \ \ + (x_1y_1+\omega ^2x_2y_2+\omega x_3y_3,-\omega x_1y_1-\omega 
1288: ^2x_2y_2-x_3y_3)_{2_1} \\
1289: &\ \ \ \ + (x_1y_2+\omega ^2x_2y_3+\omega x_3y_1,-\omega x_1y_3-\omega 
1290: ^2x_2y_1-x_3y_2)_{2_2} \\
1291: &\ \ \ \ + (x_1y_3+\omega ^2x_2y_1+\omega x_3y_2,-\omega x_1y_2-\omega 
1292: ^2x_2y_3-x_3y_1)_{2_3} \\
1293: &\ \ \ \ + (x_1y_3+x_2y_1+x_3y_2,-x_1y_2-x_2y_3-x_3y_1)_{2_4},\\
1294: %%%%%%%%%%%%%%%%%%%%%%%%%%%%
1295: (x_1,x_2,x_3)_{3_1^{(2)}}\times (y_1,y_2,y_3)_{3_2^{(1)}} &= 
1296: (x_1y_1+x_2y_2+x_3y_3)_{1_2} \\
1297: &\ \ \ \ + (x_1y_1+\omega ^2x_2y_2+\omega x_3y_3,-\omega x_1y_1-\omega 
1298: ^2x_2y_2-x_3y_3)_{2_1} \\
1299: &\ \ \ \ + (x_1y_3+\omega ^2x_2y_1+\omega x_3y_2,-\omega x_1y_2-\omega 
1300: ^2x_2y_3-x_3y_1)_{2_2} \\
1301: &\ \ \ \ + (x_1y_2+\omega ^2x_2y_3+\omega x_3y_1,-\omega x_1y_3-\omega 
1302: ^2x_2y_1-x_3y_2)_{2_3} \\
1303: &\ \ \ \ + (x_1y_2+x_2y_3+x_3y_1,-x_1y_3-x_2y_1-x_3y_2)_{2_4}.
1304: \end{align*}
1305: 
1306: \begin{thebibliography}{110}
1307: \bibitem{Threeflavors}
1308: T.~Schwetz, M.~Tortola, and J.W.F.~Valle, arXiv:0808.2016;\\
1309: G.L. Fogli, E. Lisi, A. Marrone, A. Palazzo, and A.M. Rotunno,
1310: Phys. Rev. Lett. {\bf 101} 141801 (2008); arXiv:0806.2649.
1311: 
1312: \bibitem{HPS}
1313: P.F. Harrison, D.H. Perkins, and W.G. Scott, 
1314: Phys. Lett. B  {\bf 530}, 167 (2002);\\
1315: %%CITATION = PHLTA,B530,167;%%
1316: P.F. Harrison and W.G. Scott, 
1317: Phys. Lett. B {\bf 535}, 163  (2002).
1318: %%CITATION = PHLTA,B535,163;%%
1319: 
1320: 
1321: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1322: \bibitem{S3-FTY}
1323: M. Fukugita, M. Tanimoto, and T. Yanagida,
1324: Phys. Rev. D {\bf 57}, 4429 (1998).
1325: 
1326: \bibitem{S3-Tanimoto}
1327: M. Tanimoto, Phys. Rev. D {\bf 59}, 017304  (1999), 
1328:  Phys. Lett. B {\bf 483},  417 (2000).
1329: 
1330: \bibitem{S3-Harrison}
1331: P. F. Harrison and W. G. Scott, Phys. Lett. B {\bf 557}, 76 (2003), arXiv:hep-ph/0302025.
1332: 
1333: \bibitem{S3-Kubo}
1334: J. Kubo, A. Mondragon, M. Mondragon, and E. Rodriguez-Jauregui
1335: Prog. Theor. Phys. {\bf 109}, 795 (2003), Erratum-ibid. {\bf 114},
1336: 287 (2005),   arXiv: hep-ph/0302196.
1337: 
1338: \bibitem{S3-S.-L.Chen}
1339: S.-L. Chen, M. Frigerio, and E. Ma, Phys. Rev. D {\bf 70}, 073008 (2004), 
1340:  arXiv:hep-ph/0404084.
1341: 
1342: \bibitem{S3-Grimus}
1343: W. Grimus and L. Lavoura, JHEP {\bf 08}, 013 (2005),  arXiv:hep-ph/0504153.
1344: 
1345: \bibitem{S3-Caravaglios}
1346: F. Caravaglios and S. Morisi (2005),  arXiv:hep-ph/0503234.
1347: 
1348: \bibitem{S3-Mohapatra}
1349: R.~N. Mohapatra, S. Nasri, and H.-B. Yu, Phys. Lett. B {\bf 639}, 318 (2006), 
1350:  arXiv:hep-ph/0605020.
1351: 
1352: \bibitem{S3-Morisi}
1353: S. Morisi and M. Picariello, Int. J. Theor. Phys. {\bf 45}, 1267 (2006), 
1354:  arXiv:hep-ph/0505113.
1355: 
1356: \bibitem{S3-Watanabe}
1357: N. Haba, A. Watanabe, K. Yoshioka,  Phys. Rev. Lett. {\bf 97} 041601
1358: (2006),  arXiv:hep-ph/0603116. 
1359: 
1360: \bibitem{S3-Shingai}
1361: S. Kaneko, H. Sawanaka, T. Shingai, M. Tanimoto, 
1362:  K. Yoshioka, Prog. Theor. Phys. {\bf 117},  161 (2007), 
1363:  arXiv:hep-ph/0609220. 
1364: 
1365: \bibitem{S3-Koide}
1366: Y. Koide, Eur. Phys. J.  {\bf C50}, 809 (2007),  arXiv:hep-ph/0612058.
1367: 
1368: \bibitem{S3-C.-Y.Chen}
1369: C.-Y. Chen and L. Wolfenstein, Phys. Rev. D {\bf 77}, 093009 (2008), 
1370:  arXiv:0709.3767.
1371: 
1372: \bibitem{S3-Feruglio}
1373: F. Feruglio and Y. Lin, Nucl. Phys. B {\bf 800}, 77 (2008),  arXiv:0712.1528.
1374: 
1375: \bibitem{S3-Mondragon}
1376: A. Mondragon, M. Mondragon, and E. Peinado, AIP Conf. Proc. {\bf 1026},
1377:  164 (2008), arXiv:0712.2488.
1378: 
1379: \bibitem{S3-Mitra}
1380: M. Mitra and S. Choubey (2008), arXiv:0806.3254.
1381: 
1382: \bibitem{S3-Lavoura}
1383: W. Grimus and  L. Lavoura, arXiv:0811.4766.
1384: 
1385: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1386: \bibitem{Grimus} 
1387: W.~Grimus and L.~Lavoura,
1388:   %``A discrete symmetry group for maximal atmospheric neutrino mixing,''
1389:   Phys.\ Lett.\  B {\bf 572}, 189 (2003).
1390: %  [arXiv:hep-ph/0305046].
1391:   %%CITATION = PHLTA,B572,189;%%
1392: 
1393: \bibitem{D4} 
1394:   W.~Grimus, A.~S.~Joshipura, S.~Kaneko, L.~Lavoura, and M.~Tanimoto,
1395:   %``Lepton mixing angle theta(13) = 0 with a horizontal symmetry D(4),''
1396:   JHEP {\bf 0407}, 078 (2004), arXiv:hep-ph/0407112;
1397:   %%CITATION = JHEPA,0407,078;%%
1398: \\
1399:   A.~Blum, R.~N.~Mohapatra and W.~Rodejohann,
1400:     Phys.\ Rev.\  D {\bf 76}, 053003 (2007),
1401: arXiv:0706.3801;
1402:   %%CITATION = PHRVA,D76,053003;%%
1403: \\
1404:  A.~Blum, C.~Hagedorn and M.~Lindner,
1405: Phys.\ Rev.\ D {\bf 77},  076004 (2008).
1406:   %%CITATION = ARXIV:0709.3450;%%
1407: 
1408: \bibitem{D4-2} 
1409: W.~Grimus, A.~S.~Joshipura, S.~Kaneko, L.~Lavoura, H.~Sawanaka,  and 
1410: M.~Tanimoto,
1411:   Nucl.\ Phys.\  B {\bf 713}, 151 (2005), arXiv:hep-ph/0408123.
1412:   %%CITATION = NUPHA,B713,151;%%
1413: 
1414: %\cite{Ishimori:2008gp}
1415: \bibitem{Ishimori:2008gp}
1416:   H.~Ishimori, T.~Kobayashi, H.~Ohki, Y.~Omura, R.~Takahashi, and 
1417: M.~Tanimoto,
1418:   %``D4 Flavor Symmetry for Neutrino Masses and Mixing,''
1419:   Phys.\ Lett.\  B {\bf 662}, 178 (2008), arXiv:0802.2310.
1420:   %%CITATION = PHLTA,B662,178;%%
1421: 
1422: %\cite{Ishimori:2008ns}
1423: \bibitem{Ishimori:2008ns}
1424:   H.~Ishimori, T.~Kobayashi, H.~Ohki, Y.~Omura, R.~Takahashi,  and 
1425: M.~Tanimoto,
1426:   Phys.\ Rev.\  D {\bf 77}, 115005 (2008), arXiv:0803.0796.
1427:   %%CITATION = PHRVA,D77,115005;%%
1428: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1429: \bibitem{D6}
1430: Y. Kajiyama, J. Kubo, and H. Okada,
1431: Phys. Rev. D {\bf 75}, 033001 (2007),  arXiv:hep-ph/0610072 . 
1432: %%%%%%%%%%%%%%%%%%%%%%%%%
1433: \bibitem{Q4}
1434: M.~Frigerio, S.~Kaneko, E.~Ma,  and M.~Tanimoto,
1435: Phys.\ Rev.\ D {\bf 71},  011901 (2005).
1436: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1437: \bibitem{Q6}
1438: K.S.~Babu and J.~Kubo, Phys.\ Rev.\ D {\bf 71},  056006 (2005);
1439: \\
1440: Y.~Kajiyama, E.~Itou and J.~Kubo,
1441: Nucl.\ Phys.\ B {\bf 743}, 74 (2006).
1442: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1443: 
1444: 
1445: \bibitem{A4-Ma and Rajasekaran}
1446: E.~Ma and G.~Rajasekaran,
1447: Phys.\ Rev.\ D {\bf 64},  113012 (2001),   arXiv:hep-ph/0106291;
1448: %%CITATION = PHRVA,D64,113012;%%
1449: \\
1450: E.~Ma,
1451: Mod.\ Phys.\ Lett.\ A {\bf 17}, 2361 (2002).
1452: %%CITATION = MPLAE,A17,2361;%%
1453: 
1454: 
1455: \bibitem{A4-Babu et al.}
1456: K. S. Babu, E. Ma, and J. W. F. Valle, Phys. Lett.  B{ \bf 552}, 207 (2003), 
1457:  arXiv:hep-ph/0206292.
1458: 
1459: \bibitem{A4-Hirsch}
1460: M.~Hirsch, J.C.~Romao, S.~Skadhauge, J.W.F.~Valle, and A.~Villanova del
1461: Moral, Phys.\ Rev.\ D {\bf 69},  093006 (2004).
1462: 
1463: \bibitem{A4-Ma}
1464: E. Ma, Phys. Rev. D {\bf 70}, 031901 (2004),  arXiv:hep-ph/0404199.
1465: 
1466: \bibitem{A4-Altarelli and Feruglio}
1467: G. Altarelli and F. Feruglio, 
1468:  Nucl. Phys. B {\bf 720}, 64 (2005),  arXiv:hep-ph/0504165; 
1469: Nucl. Phys. B {\bf 741}, 215 (2006),  arXiv:hep-ph/0512103.
1470: 
1471: 
1472: \bibitem{A4-Chen et al.}
1473: S.-L. Chen, M. Frigerio, and E. Ma,
1474:   Nucl. Phys. B {\bf 724}, 423 (2005),  arXiv:hep-ph/0504181.
1475: 
1476: \bibitem{A4-Zee}
1477: A. Zee, Phys. Lett. B {\bf 630}, 58 (2005),  arXiv:hep-ph/0508278.
1478: 
1479: 
1480: \bibitem{A4-Adhikary et al.}
1481: B. Adhikary, B. Brahmachari, A. Ghosal, E. Ma, and M. K. Parida, 
1482: Phys. Lett. B {\bf 638}, 345 (2006),  arXiv:hep-ph/0603059.
1483: 
1484: \bibitem{A4-Valle}
1485: J. W. F. Valle, J. Phys. Conf. Ser. {\bf 53}, 473 (2006),  
1486: arXiv:hep-ph/0608101.
1487: 
1488: \bibitem{A4-He}
1489: X.-G.~He, Y.-Y.~Keum,  and R.R.~Volkas,
1490: JHEP {\bf 0604}, 039 (2006).
1491: 
1492: \bibitem{A4-Sawanaka}
1493: E.~Ma, H.~Sawanaka, and M.~Tanimoto, Phys. Lett. B {\bf 641}, 
1494:  301 (2006).
1495: %%CITATION = PHLTA,B641,301;%%
1496: 
1497: \bibitem{A4-Adhikary and Ghosal}
1498: B. Adhikary and A. Ghosal, Phys. Rev. D {\bf 75}, 073020 (2007),  
1499:                   arXiv:hep-ph/0609193.
1500: 
1501: \bibitem{A4-Ma(2007)}
1502:  E. Ma, Phys.\ Rev. D {\bf 70},  031901  (2004),
1503:   Phys.\ Rev. D {\bf 72},  037301  (2005),
1504: Mod. Phys. Lett. A {\bf 22}, 101 (2007),  arXiv:hep-ph/0610342.
1505: 
1506: \bibitem{A4-Altarelli et al.}
1507: G. Altarelli, F. Feruglio, and Y. Lin, Nucl. Phys. B {\bf 775}, 31 (2007), 
1508:  arXiv:hep-ph/0610165.
1509: 
1510: \bibitem{A4-Hirsch et al.}
1511: M. Hirsch, A. S. Joshipura, S. Kaneko, and J.W.F. Valle,
1512: Phys. Rev. Lett. {\bf 99}, 151802 (2007),  arXiv:hep-ph/0703046.
1513: 
1514: 
1515: 
1516: \bibitem{A4-King}
1517: S. F. King and  M.  Malinsk\'y, Phys. Lett. B {\bf 645}, 351 (2007).
1518: %%CITATION = PHLTA,B645,351;%%
1519: 
1520: \bibitem{A4-Lavoura}
1521: L. Lavoura and H. K\"uhb\"ock,  
1522: Mod. Phys. Lett. A {\bf 22}, 181 (2007), arXiv:0711.0670.
1523: %%CITATION = MPLAE,A22,181;%%
1524: 
1525: \bibitem{A4-Honda}
1526: M. Honda and  M. Tanimoto, Prog. Theor. Phys. {\bf 119}, 585 (2008), 
1527: arXiv:0801.0181. 
1528: 
1529: \bibitem{A4-Bazzocchi}
1530: F. Bazzocchi, S. Kaneko, and S. Morisi, JHEP {\bf 03}, 063 (2008),  
1531: arXiv:0707.3032.
1532: 
1533: \bibitem{A4-Morisi}
1534: F. Bazzocchi, M. Frigerio, and S.  Morisi,
1535: arXiv:0809.3573.
1536: 
1537: \bibitem{A4-Lin}
1538: Y. Lin, arXiv:0804.2867.
1539: 
1540: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1541: 
1542: 
1543: \bibitem{T-Feruglio}
1544: F. Feruglio, C. Hagedorn, Y. Lin , and L. Merlo, Nucl. Phys. B775, 120 (2007),  arXiv:hep-ph/0702194.
1545: 
1546: \bibitem{T-Chen}
1547:    M.~C.~Chen and K.~T.~Mahanthappa,
1548:    Phys.\ Lett.\  B {\bf 652}, 34 (2007), arXiv:0705.0714.
1549: 
1550: \bibitem{T-Aranda}
1551: A. Aranda, Phys. Rev. D76, 111301 (2007),  arXiv:0707.3661.
1552: 
1553: \bibitem{T-Eby}
1554: D. A. Eby, P. H. Frampton, and S. Matsuzaki (2008),  arXiv:0810.4899.
1555: 
1556: \bibitem{T-Frampton}
1557: P. H. Frampton and T. W. Kephart, Int. J. Mod. Phys. A {\bf 10}, 4689 (1995), 
1558:  arXiv:hep-ph/9409330.
1559: 
1560: \bibitem{T-Ding}
1561: G. J. Ding, Phys. Rev. D{\bf 78},  036011 (2008).
1562: 
1563: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1564: 
1565: \bibitem{S4-Ma}
1566: E. Ma, Phys. Lett. B {\bf 632}, 352 (2006),  arXiv:hep-ph/0508231.
1567: 
1568: \bibitem{S4-Hagedorn}
1569: C. Hagedorn, M. Lindner, and R.~N. Mohapatra, JHEP {\bf 06}, 042 (2006),
1570:   arXiv:hep-ph/0602244.
1571: 
1572: \bibitem{S4-Cai}
1573: Y. Cai and H.-B. Yu, Phys. Rev. D {\bf 74}, 115005 (2006),  
1574: arXiv:hep-ph/0608022.
1575: 
1576: \bibitem{S4-Zhang}
1577: H. Zhang, Phys. Lett. B {\bf 655}, 132 (2007),  arXiv:hep-ph/0612214.
1578: 
1579: \bibitem{S4-Koide}
1580: Y. Koide, JHEP {\bf 08}, 086 (2007),  arXiv:0705.2275.
1581: 
1582: 
1583: \bibitem{S4-Morisi}
1584: F. Bazzocchi and S. Morisi, arXiv:0811.0345.
1585: 
1586: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1587: \bibitem{Delta(27)-Gerard}
1588: G.C. Branco, J.M. Gerard,  and W.Grimus,
1589: Phys. Lett. B {\bf 136},  383 (1984).
1590: 
1591: \bibitem{Delta(27)-Luhn}
1592: C. Luhn, S. Nasri, and P. Ramond, J. Math. Phys. {\bf 48}, 073501 (2007),
1593:   arXiv:hep-th/0701188.
1594: 
1595: \bibitem{Delta(27)-Medeiros}
1596: I. de Medeiros Varzielas, S. F. King, and G. G. Ross, 
1597: Phys. Lett. B {\bf 648}, 201 (2007),  arXiv:hep-ph/0607045.
1598: 
1599: \bibitem{Delta(27)-Ma(2006)}
1600: E. Ma, Mod. Phys. Lett. A {\bf 21}, 1917 (2006),  arXiv:hep-ph/0607056.
1601: 
1602: \bibitem{Delta(27)-Ma(2008)}
1603: E. Ma, Phys. Lett. B {\bf 660}, 505 (2008),  arXiv:0709.0507.
1604: 
1605: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1606: 
1607: \bibitem{Kobayashi:2004ya}
1608:   T.~Kobayashi, S.~Raby and R.~J.~Zhang,
1609:   %``Searching for realistic 4d string models with a Pati-Salam symmetry:
1610:   %Orbifold grand unified theories from heterotic string compactification  
1611: on a
1612:   %Z(6) orbifold,''
1613:   Nucl.\ Phys.\  B {\bf 704}, 3 (2005), arXiv:hep-ph/0409098.
1614:   %%CITATION = NUPHA,B704,3;%%
1615: 
1616: 
1617: %\cite{Kobayashi:2006wq}
1618: \bibitem{Kobayashi:2006wq}
1619:   T.~Kobayashi, H.~P.~Nilles, F.~Ploger, S.~Raby and M.~Ratz,
1620:   Nucl.\ Phys.\  B {\bf 768}, 135 (2007), arXiv:hep-ph/0611020.
1621:   %%CITATION = NUPHA,B768,135;%%
1622: 
1623: %\cite{Ko:2007dz}
1624: \bibitem{Ko:2007dz}
1625:   P.~Ko, T.~Kobayashi, J.~h.~Park and S.~Raby,
1626:   %``String-derived D4 flavor symmetry and phenomenological implications,''
1627:   Phys.\ Rev.\  D {\bf 76}, 035005 (2007)
1628:   [Erratum-ibid.\  D {\bf 76}, 059901 (2007)], arXiv:0704.2807.
1629:   %%CITATION = PHRVA,D76,035005;%%
1630: 
1631: \bibitem{delta54} 
1632: J. A. Escobar and  C. Luhn,  arXiv:0809.0639.
1633: 
1634: \bibitem{Lam} 
1635: C. S. Lam,   arXiv:0809.1185.
1636: 
1637: %\cite{Kobayashi:2008ih}
1638: \bibitem{Kobayashi:2008ih}
1639:   T.~Kobayashi, Y.~Omura and K.~Yoshioka,
1640:   %``Flavor Symmetry Breaking and Vacuum Alignment on Orbifolds,''
1641:   arXiv:0809.3064.
1642:   %%CITATION = ARXIV:0809.3064;%%
1643: 
1644: \bibitem{Seidl}
1645:  G. Seidl,  arXiv:0811.3775.
1646: 
1647: 
1648: %\bibitem{MNS}
1649: %Z. Maki, M. Nakagawa,  and S. Sakata,
1650: %Prog. Theor. Phys. {\bf 28}, 870  (1962).
1651: %%CITATION = PTPKA,28,870;%%
1652: 
1653: 
1654: \end{thebibliography}
1655: \end{document}
1656: