1: \documentclass[12pt]{article}
2:
3: \usepackage{epsfig}
4:
5: \usepackage{bbm}
6: \usepackage{amssymb,amsmath}
7:
8: \newcommand{\be}{\begin{equation}}
9: \newcommand{\ee}{\end{equation}}
10: \newcommand{\ba}{\begin{eqnarray}}
11: \newcommand{\ea}{\end{eqnarray}}
12: \newcommand{\no}{\nonumber\\}
13:
14: \newcommand{\mnu}{\mathcal{M}_\nu}
15: \newcommand{\dsol}{\Delta m^2_\odot}
16: \newcommand{\datm}{\Delta m^2_\mathrm{atm}}
17:
18: \textwidth160mm
19: \textheight230mm
20: \topmargin-15mm
21: \oddsidemargin0mm
22: \evensidemargin2.5mm
23:
24: \begin{document}
25:
26: \title{\normalsize \hfill UWThPh-2006-28 \\[8mm]
27: \LARGE A three-parameter model for the neutrino mass matrix}
28:
29: \author{
30: W.~Grimus$^{(1)}$\thanks{E-mail: walter.grimus@univie.ac.at}
31: \ and
32: L.~Lavoura$^{(2)}$\thanks{E-mail: balio@cftp.ist.utl.pt}
33: \\*[4mm]
34: $^{(1)}$ \small
35: Fakult\"at f\"ur Physik, Universit\"at Wien \\
36: \small
37: Boltzmanngasse 5, A--1090 Wien, Austria
38: \\*[3mm]
39: $^{(2)}$ \small
40: Universidade T\'ecnica de Lisboa
41: and Centro de F\'\i sica Te\'orica de Part\'\i culas \\
42: \small
43: Instituto Superior T\'ecnico, 1049-001 Lisboa, Portugal
44: }
45:
46: \date{24 May 2007}
47:
48: \maketitle
49:
50: \begin{abstract}
51: Using the type-II seesaw mechanism
52: with three Higgs doublets $\phi_\alpha$
53: ($\alpha = e,\,\mu,\,\tau$)
54: and four Higgs triplets,
55: we build a model for lepton mixing
56: based on a 384-element horizontal symmetry group,
57: generated by the permutation group $S_3$ and by six
58: $\mathbbm{Z}_2$ transformations.
59: The charged-lepton mass matrix is diagonal;
60: the symmetries of the model would
61: require all the three masses $m_\alpha$
62: to be equal,
63: but different vacuum expectation values of the $\phi_\alpha$
64: allow the $m_\alpha$ to split.
65: The number of parameters
66: in the Majorana neutrino mass matrix $\mnu$
67: depends on two options:
68: full breaking of the permutation group $S_3$,
69: or leaving a $\mu$--$\tau$ interchange symmetry intact;
70: and hard or spontaneous violation of $CP$.
71: We discuss in detail the case
72: with the minimal number of three parameters,
73: wherein $\mnu$ is real,
74: symmetric under $\mu$--$\tau$ interchange,
75: and has equal diagonal elements.
76: In that case,
77: $CP$ is conserved in lepton mixing,
78: atmospheric neutrino mixing is maximal,
79: and $\theta_{13} = 0$;
80: moreover,
81: the type of neutrino mass spectrum
82: and the absolute neutrino mass scale
83: are sensitive functions of the solar mixing angle.
84: \end{abstract}
85:
86: \newpage
87:
88:
89:
90:
91:
92: \section{Introduction}
93:
94: There are two puzzles associated with neutrinos:
95: why are their masses so much smaller
96: than those of the charged fermions,
97: and why does the lepton mixing matrix
98: feature large mixing angles---for reviews
99: see~\cite{reviews}---in contrast to the quark mixing matrix.
100: It is possible that both puzzles
101: are solved through the same mechanism.
102: In this paper we envisage the type-II seesaw mechanism
103: as a possible solution.\footnote{In our model
104: we do not allow for a type-I seesaw mechanism;
105: we assume right-handed neutrino singlets not to exist.}
106: We use horizontal symmetries
107: to enforce certain features of lepton mixing,
108: in particular maximal atmospheric neutrino mixing
109: and $\theta_{13} = 0$.
110: In order to achieve this,
111: we enlarge the scalar sector of the Standard Model
112: by adding to it four Higgs triplets
113: and by using altogether three Higgs doublets.
114: Our model has a permutation group $S_3$
115: together with six cyclic symmetries $\mathbbm{Z}_2$,
116: which commute with each other but not with $S_3$;
117: the result is a large discrete symmetry group
118: with 384 elements.
119: This setting allows to obtain
120: four different neutrino mass matrices,
121: depending on the assumed breaking of the horizontal symmetries
122: and of the symmetry $CP$.
123: Amazingly,
124: by breaking the horizontal symmetries softly
125: by terms of dimension two,
126: while leaving a residual $\mu$--$\tau$ interchange symmetry
127: to be broken at low energy in the charged-lepton sector,
128: we arrive at a \emph{viable} neutrino mass matrix
129: with \emph{only three real parameters}.
130:
131: In section~\ref{II} we make a general discussion
132: of the type-II seesaw mechanism
133: with an arbitrary number of Higgs doublets and triplets.
134: Our model,
135: with its multiplets,
136: symmetries,
137: and Lagrangian is explained in section~\ref{model}.
138: In section~\ref{three-parameter}
139: we investigate in detail the most predictive case
140: of a three-parameter neutrino mass matrix.
141: A generalization thererof is considred in section~\ref{complex}.
142: The conclusions are presented in section~\ref{concl}.
143:
144:
145:
146:
147:
148: \section{The type-II seesaw mechanism}
149: \label{II}
150:
151: We first review the type-II seesaw mechanism~\cite{II,ma}
152: for small neutrino masses.
153: We assume the existence---in the electroweak theory---of
154: several Higgs doublets $\phi_\alpha$ with hypercharge $1/2$,
155: together with several Higgs triplets $\Delta_i$ with hypercharge $1$.
156: Let the neutral components of the $\phi_\alpha$
157: have vacuum expectation values (VEVs) $v_\alpha$
158: and the neutral components of the $\Delta_i$ have VEVs $\delta_i$.
159: Just because of the hypercharge symmetry,
160: the vacuum potential $V_0$ must be of the
161: form\footnote{We use the summation convention.}
162: %
163: \ba
164: V_0 &=&
165: \left( \mu_\phi^2 \right)_{\alpha\beta} v_\alpha^\ast v_\beta
166: + \left( \mu_\Delta^2 \right)_{ij} \delta_i^\ast \delta_j
167: + \left( t_{i\alpha\beta} \delta_i^\ast v_\alpha v_\beta
168: + \mbox{c.c.} \right)
169: \no & &
170: + \lambda_{\alpha\beta\gamma\delta}
171: v_\alpha^\ast v_\beta v_\gamma^\ast v_\delta
172: + \lambda_{ijkl} \delta_i^\ast \delta_j \delta_k^\ast \delta_l
173: + \lambda_{\alpha\beta ij} v_\alpha^\ast v_\beta
174: \delta_i^\ast \delta_j.
175: \ea
176: %
177: The matrices $\mu_\phi^2$ and $\mu_\Delta^2$ are Hermitian and,
178: likewise,
179: the $\lambda$ coefficients must obey various conditions
180: in order that $V_0$ should be real.
181: The VEVs of the triplets are determined by
182: %
183: \be
184: 0 = \frac{\partial V_0}{\partial \delta_i^\ast} =
185: \left( \mu_\Delta^2 \right)_{ij} \delta_j
186: + t_{i\alpha\beta} v_\alpha v_\beta
187: + 2 \lambda_{ijkl} \delta_j \delta_k^\ast \delta_l
188: + \lambda_{\alpha\beta ij} v_\alpha^\ast v_\beta \delta_j.
189: \label{stabil}
190: \ee
191: %
192: Contrary to $\mu_\phi^2$,
193: we assume the matrix $\mu_\Delta^2$ to be positive definite
194: so that,
195: in the absence of the $t_{i\alpha\beta}$ terms,
196: the only solution to equations~(\ref{stabil})
197: would be for all the $\delta_i$ to vanish.
198: The VEVs $v_\alpha$
199: are of order of the electroweak scale $v \approx 174\, \mathrm{GeV}$,
200: or smaller.
201: Assuming the $t_{i\alpha\beta}$ to be of order $M$
202: and the eigenvalues of $\mu_\Delta^2$ to be of order $M^2$,
203: where $M$ is a mass scale much larger than $v$~\cite{ma},
204: the approximate solution to equations~(\ref{stabil})
205: is given by~\cite{GL05}
206: %
207: \be
208: \delta_i \approx - \left( \mu_\Delta^2 \right)^{-1}_{ij}
209: t_{j\alpha\beta} v_\alpha v_\beta.
210: \label{sol}
211: \ee
212: %
213: From equation~(\ref{sol}),
214: the $\delta_i$ are of order $v^2 / M \ll v$.
215: If,
216: furthermore,
217: all the $\lambda$ coefficients are of order unity or smaller,
218: then the approximate solution~(\ref{sol})
219: will be corrected on its right-hand side
220: only by terms suppressed by a factor $v^2 / M^2 \ll 1$.
221:
222: Under an $SU(2)$ gauge transformation,
223: the left-handed lepton doublets $D_{L \alpha}$
224: transform as $D_{L\alpha} \to W D_{L\alpha}$
225: while the Higgs triplets transform as
226: $\Delta_i \to W \Delta_i W^\dagger$,
227: where $W$ is an $SU(2)$ matrix.
228: Therefore,
229: the Higgs triplets have Yukawa couplings
230: of the form $D_{L\alpha}^T C^{-1} \varepsilon \Delta_i D_{L\beta}$,
231: where $C$ is the charge-conjugation matrix in Dirac space
232: and $\varepsilon$ is the $2 \times 2$ antisymmetric matrix
233: in gauge-$SU(2)$ space.
234: The VEVs $\delta_i$ being very small,
235: the above Yukawa couplings generate very small neutrino mass terms
236: $\delta_i\, \nu_{L\alpha}^T C^{-1} \nu_{L\beta}$,
237: of order $v^2 / M$ times a typical Yukawa-coupling constant.
238: The neutrino masses being of order $0.1\, \mathrm{eV}$,
239: $M$ could easily be of order $10^{14}\, \mathrm{GeV}$~\cite{ma},
240: thus fully justifying the approximate solution~(\ref{sol}).
241:
242:
243:
244:
245:
246: \section{The model}
247: \label{model}
248:
249: Our model follows closely,
250: in the symmetries that it utilizes,
251: a previous model of ours~\cite{HPS-model}.
252: We have three left-handed lepton doublets $D_{L\alpha}$,
253: three right-handed charged-lepton singlets $\alpha_R$,
254: and three Higgs doublets $\phi_\alpha$
255: ($\alpha = e, \mu, \tau$).\footnote{Constraints on multi-Higgs doublet
256: models from electroweak precision tests are not very stringent: Higgs
257: bosons with large $ZZ$ couplings must have an average mass in the
258: range allowed for the mass of the Standard Model Higgs boson~\cite{ewtest}.}
259: There are four Higgs triplets,
260: $\Delta_\alpha$ and $\Delta_4$.\footnote{The scalar content
261: of our model resembles that of the $A_4$ model of~\cite{hirsch}.
262: However,
263: in that model,
264: three gauge triplets are used instead of our $\Delta_4$.}
265: The symmetries of the model consist of a permutation group $S_3$
266: acting simultaneously on all indices $\alpha$,
267: three $\mathbbm{Z}_2$ symmetries
268: %
269: \be\label{z1}
270: \mathbf{z}_\alpha^{(1)}: \quad
271: \phi_\alpha \to - \phi_\alpha, \
272: \alpha_R \to - \alpha_R,
273: \ee
274: %
275: and another three $\mathbbm{Z}_2$ symmetries
276: %
277: \be\label{z2}
278: \mathbf{z}_\alpha^{(2)}: \quad
279: D_{L\alpha} \to - D_{L\alpha}, \
280: \alpha_R \to - \alpha_R, \ \mathrm{and} \
281: \Delta_\beta \to - \Delta_\beta \ \mathrm{iff} \ \beta \neq \alpha.
282: \ee
283: %
284: Notice that $\Delta_4$ is invariant under all these symmetries.
285: In appendix~A we make a study of the full symmetry group of our model.
286:
287: The Yukawa Lagrangian invariant under all these symmetries is
288: %
289: \ba
290: \mathcal{L}_\mathrm{Yukawa} &=&
291: - y_0 \bar D_{L\alpha} \phi_\alpha \alpha_R
292: + \frac{1}{2}\, y_1
293: D_{L\alpha}^T C^{-1} \varepsilon \Delta_4 D_{L\alpha}
294: \no & &
295: + y_2 \left(
296: D_{Le}^T C^{-1} \varepsilon \Delta_\mu D_{L\tau}
297: + D_{L\mu}^T C^{-1} \varepsilon \Delta_\tau D_{Le}
298: + D_{L\tau}^T C^{-1} \varepsilon \Delta_e D_{L\mu}
299: \right) + \mathrm{H.c.}
300: \ea
301: %
302: Thus,
303: the charged-lepton mass matrix is automatically diagonal,
304: the charged lepton $\alpha$ having mass
305: $m_\alpha = \left| y_0 v_\alpha \right|$.
306: On the other hand,
307: the neutrino mass matrix is
308: %
309: \be
310: \mathcal{M}_\nu = \left( \begin{array}{ccc}
311: y_1 \delta_4 & y_2 \delta_\tau & y_2 \delta_\mu \\
312: y_2 \delta_\tau & y_1 \delta_4 & y_2 \delta_e \\
313: y_2 \delta_\mu & y_2 \delta_e & y_1 \delta_4
314: \end{array} \right),
315: \ee
316: %
317: all its diagonal matrix elements being equal.
318:
319: Due to the symmetries of our model,
320: the coupling constants $t_{i\alpha\beta}$ of the previous section
321: assume the very simple form
322: %
323: \be
324: t_{i\alpha\beta} = t \delta_{i4} \delta_{\alpha\beta}.
325: \ee
326: %
327: Hence,
328: from equation~(\ref{sol}),
329: %
330: \be
331: \delta_i = - t v_\alpha v_\alpha \left( \mu_\Delta^2 \right)^{-1}_{i4}.
332: \label{di}
333: \ee
334: %
335: Ordering the triplet fields as
336: $\left( \Delta_e, \Delta_\mu, \Delta_\tau, \Delta_4 \right)$,
337: the symmetries of our model would enforce
338: %
339: \be
340: \mu_\Delta^2 = \mathrm{diag}
341: \left( \mu_1^2,\ \mu_1^2,\ \mu_1^2,\ \mu_2^2 \right),
342: \ee
343: %
344: which is not satisfactory since it would lead,
345: through equation~(\ref{di}),
346: to $\delta_e = \delta_\mu = \delta_\tau = 0$.
347: We must have $\left( \mu_\Delta^2 \right)^{-1}_{i4} \neq 0$
348: for $i = e, \mu, \tau$.
349: In order to solve this problem,
350: we assume the symmetries of the model to be broken softly,
351: only by terms of dimension two.
352: Without any residual symmetry,
353: this means that both matrices $\mu_\Delta^2$ and $\mu_\phi^2$
354: become fully general,
355: while all other couplings remain unchanged.
356:
357: However,
358: in order to simplify our model and render it more predictive,
359: we may assume that the interchange symmetry
360: $\mu \leftrightarrow \tau$~\cite{early,GL01,HPS,joshipura},
361: which is a subgroup of our permutation group $S_3$,
362: is kept unbroken in $\mu_\Delta^2$ and $\mu_\phi^2$.
363: Then,
364: %
365: \be
366: \left( \mu_\Delta^2 \right)^{-1} = \left( \begin{array}{cccc}
367: a & b & b & c \\
368: b^\ast & d & e & f \\
369: b^\ast & e & d & f \\
370: c^\ast & f^\ast & f^\ast & g
371: \end{array} \right)
372: \label{mD}
373: \ee
374: %
375: ($a$,
376: $d$,
377: $e$,
378: and $g$ are real),
379: so that $\delta_e = - t c v_\alpha v_\alpha$,
380: $\, \delta_\mu = \delta_\tau = - t f v_\alpha v_\alpha$,
381: and the neutrino mass matrix is $\mu$--$\tau$ symmetric.
382: This immediately leads to the predictions
383: $\theta_{23} = \pi / 4$ and $\theta_{13} = 0$.
384: The $\mu$--$\tau$ interchange symmetry
385: is supposed to be spontaneously broken
386: through the VEVs of the Higgs doublets:
387: $v_\mu \neq v_\tau$.
388: The Higgs potential is rich enough to allow for this outcome---in
389: appendix~B we demonstrate this
390: by working out a simplified case.
391: Of course,
392: the spontaneous breaking at the electroweak scale
393: of the $\mu$--$\tau$ interchange symmetry will seep,
394: through radiative corrections,
395: into the rest of the theory,
396: so that at loop level the matrix $\left( \mu_\Delta^2 \right)^{-1}$
397: will not any more be of the form in equation~(\ref{mD}),
398: and then $\delta_\mu \neq \delta_\tau$.
399: But,
400: both because this is a loop effect,
401: and because it is a correction of order
402: of the ratio of the electroweak scale
403: to the much larger mass terms in $\mu_\Delta^2$,
404: we may expect $\delta_\mu - \delta_\tau$ to remain negligible.
405:
406: In a further simplification of our model,
407: we may also assume $CP$ violation to be spontaneous:
408: the matrix $\left( \mu_\Delta^2 \right)^{-1}$ is then real,
409: but the VEVs $v_\alpha$ display non-trivial relative phases.
410: Then,
411: $\delta_e$,
412: $\delta_\mu$,
413: $\delta_\tau$,
414: and $\delta_4$ will all have the same phase---the phase
415: of $v_\alpha v_\alpha$.
416: That phase may be rephased away from $\mnu$,
417: so that the neutrino mass matrix becomes real.
418: Thus,
419: spontaneous $CP$ breaking in our model
420: yields the remarkable outcome that,
421: even though there is $CP$ violation,
422: it remains absent from the mass matrices
423: and from lepton mixing.\footnote{This is not an original situation;
424: in the classical Branco model of $CP$ violation~\cite{branco},
425: spontaneous $CP$ breaking also does not find a way
426: into the quark mixing matrix.}
427:
428: One thus obtains the following four possibilities:
429: %
430: \begin{enumerate}
431: %
432: \item The general case,
433: in which $CP$ violation is hard
434: and $\mu$--$\tau$ symmetry
435: is allowed to be broken in $\mu_\Delta^2$.
436: Then,
437: %
438: \be
439: \mnu = \left( \begin{array}{ccc}
440: m & p e^{i \psi} & q e^{i \chi} \\
441: p e^{i \psi} & m & r e^{i \rho} \\
442: q e^{i \chi} & r e^{i \rho} & m
443: \end{array} \right),
444: \label{mnu1}
445: \ee
446: %
447: with real $m$,
448: $p$,
449: $q$,
450: and $r$.
451: This case should not be very predictive,
452: since it has seven parameters to predict nine
453: observables---three neutrino masses,
454: three lepton mixing angles,
455: one CKM-type phase,
456: and two Majorana phases.
457: %
458: \item The case in which
459: $\mu$--$\tau$ symmetry is allowed to be broken in $\mu_\Delta^2$
460: but $CP$ violation is spontaneous.
461: Then,
462: $\psi$,
463: $\chi$,
464: and $\rho$ in~(\ref{mnu1}) vanish.
465: There is no $CP$ violation in lepton mixing.
466: The four parameters $m$,
467: $p$,
468: $q$,
469: and $r$ allow one to predict
470: six observables---three neutrino masses
471: and three lepton mixing angles.
472: %
473: \item The case in which $\mu$--$\tau$ interchange symmetry
474: is preserved in $\mu_\Delta^2$,
475: while $CP$ violation is allowed to be hard.
476: Then,
477: %
478: \be
479: \mnu = \left( \begin{array}{ccc}
480: x & y & y \\
481: y & x & w \\
482: y & w & x
483: \end{array} \right),
484: \label{mnu2}
485: \ee
486: %
487: with complex parameters
488: $x$,
489: $y$,
490: and $w$.
491: There are in this case five parameters---three moduli and two phases.
492: %
493: \item The most predictive case,
494: in which $CP$ violation is spontaneous
495: and $\mu$--$\tau$ interchange symmetry
496: is preserved down to the electroweak scale.
497: The neutrino mass matrix is the one in equation~(\ref{mnu2})
498: but with real $x$,
499: $y$,
500: and $w$.
501: The neutrino mass matrix has only three parameters.
502: %
503: \end{enumerate}
504: %
505:
506:
507: \section{The three-parameter neutrino mass matrix}
508: \label{three-parameter}
509:
510: In this section we concentrate on case~4 of the previous section,
511: i.e.~on the neutrino mass matrix of equation~(\ref{mnu2})
512: with real $x$,
513: $y$,
514: and $w$.
515: The algebra of the diagonalization
516: of a general $\mu$--$\tau$ symmetric neutrino mass matrix
517: has been worked out in~\cite{GL01},
518: and we only need to adapt it to the simpler case~4.
519: In the following,
520: the solar mixing angle---which is defined
521: to be in the first quadrant---is denoted $\theta$,
522: the neutrino masses are $m_{1,2,3}$,
523: the solar mass-squared difference is $\dsol = m_2^2 - m_1^2 > 0$,
524: and the atmospheric mass-squared difference
525: is
526: %
527: \be
528: \datm = \left| m_3^2 - \frac{m_1^2 + m_2^2}{2} \right|
529: = \epsilon \left( m_3^2 - \frac{m_1^2 + m_2^2}{2} \right),
530: \label{da}
531: \ee
532: %
533: where $\epsilon = +1$ indicates a normal neutrino mass ordering
534: and $\epsilon = -1$ an inverted ordering.
535:
536: Equations~(3.9)--(3.11) and~(3.15) of~\cite{GL01} yield,
537: respectively,
538: %
539: \ba
540: m_3 &=& \left| x - w \right|,
541: \label{m3}
542: \\
543: m^2_{1,2} &=& \frac{x^2 + 4 y^2 + \left( x + w \right)^2 \mp \dsol}{2},
544: \label{m12}
545: \\
546: \tan{2 \theta} &=&
547: \frac{2 \sqrt{2} \left| y \right|}{w}\
548: \mathrm{sign} \left( 2x + w \right),
549: \label{theta}
550: \\
551: \dsol \cos{2 \theta} &=& w \left( 2 x + w \right).
552: \label{dsol}
553: \ea
554: %
555: Experimentally we know that $\theta$ is in the first octant.
556: Hence $\tan{2 \theta} > 0$
557: and equations~(\ref{theta}) and~(\ref{dsol}) both give
558: %
559: \be
560: \mbox{sign} \left( 2x + w \right) = \mbox{sign}\, w.
561: \ee
562: %
563: Again from equations~(\ref{theta}) and~(\ref{dsol}),
564: %
565: \ba
566: \left| y \right| &=& \frac{|w| \tan{2 \theta}}{2\sqrt{2}},
567: \label{y} \\
568: x &=& \frac{\dsol \cos 2\theta - w^2}{2w}.
569: \label{x}
570: \ea
571: %
572: From equations~(\ref{da}),
573: (\ref{m3}),
574: and~(\ref{m12}),
575: we find
576: %
577: \be
578: \epsilon \datm = \frac{w^2}{2} - 3 x w - 2 y^2.
579: \label{datm}
580: \ee
581: %
582: Inserting equations~(\ref{y}) and~(\ref{x})
583: into equation~(\ref{datm}),
584: we obtain the value of $w$:
585: %
586: \be
587: \label{w}
588: w^2 = \frac{4 \epsilon \datm + 6 \dsol \cos{2 \theta}}
589: {8 - \tan^2{2 \theta}}.
590: \ee
591: %
592: Since $\datm \gg \dsol$,
593: the numerator of equation~(\ref{w}) has the sign of $\epsilon$;
594: hence its denominator must also have the sign of $\epsilon$.
595: That denominator vanishes when $\sin^2 \theta = 1/3$,
596: i.e.~when $\theta$ is just
597: the Harrison--Perkins--Scott (HPS) solar mixing angle~\cite{HPS}.
598: We thus conclude that,
599: in our model,
600: %
601: \begin{itemize}
602: %
603: \item
604: if the neutrino mass spectrum is normal,
605: then the solar mixing angle is smaller than its HPS value;
606: %
607: \item
608: if the neutrino mass spectrum is inverted,
609: then $\sin^2{\theta} > 1/3$.
610: %
611: \end{itemize}
612: %
613: This remarkable result relates
614: the type of neutrino mass spectrum
615: to the value of the solar mixing angle.
616:
617: From equations~(\ref{m3}),
618: (\ref{m12}),
619: (\ref{y}),
620: and~(\ref{x}),
621: %
622: \be
623: m_{1,2} = \frac{1}{2} \left(
624: \frac{|w|}{\cos{2 \theta}}
625: \mp \frac{\dsol \cos{2 \theta}}{|w|}
626: \right)
627: \quad \mbox{and} \quad
628: m_3 = \frac{3 |w|}{2} - \frac{\dsol \cos{2 \theta}}{2 |w|}.
629: \ee
630: This gives the overall scale of the neutrino masses.
631: Since $|w|$ diverges when $\tan^2{2 \theta} \to 8$,
632: we see that \emph{in our model the neutrino mass spectrum
633: becomes quasi-degenerate when the solar mixing angle
634: approaches its Harrison--Perkins--Scott value}.
635:
636: One easily sees the reason why our model
637: displays a singularity when $\sin^2{\theta} = 1/3$.
638: The most general neutrino mass matrix
639: leading to HPS lepton mixing is
640: %
641: \be
642: \mnu = \left( \begin{array}{ccc}
643: x & y & y \\
644: y & x+u & y-u \\
645: y & y-u & x+u
646: \end{array} \right).
647: \label{HPS}
648: \ee
649: %
650: Our $\mnu$ in equation~(\ref{mnu2})
651: has equal diagonal matrix elements.
652: Hence,
653: if it were to accept $\sin^2{\theta} = 1/3$,
654: it would have to correspond to $u = 0$ in equation~(\ref{HPS}).
655: But the $\mnu$ of equation~(\ref{HPS}) with $u = 0$
656: leads to two equal neutrino masses,
657: hence it is unrealistic.
658: There is therefore a contradiction with experiment
659: in the assumption that our $\mnu$ of equation~(\ref{mnu2})
660: might be compatible with HPS mixing.
661:
662: Experimentally $\sin^2{\theta}$ is close to $1/3$,
663: therefore there is the danger that
664: our neutrino masses are too large
665: and saturate the cosmological bound~\cite{raffelt}.
666: As a numerical exercise,
667: we take the $1\,\sigma$ bound on solar mixing from~\cite{schwetz}:
668: %
669: \be
670: \label{numerical}
671: 0.27 < \sin^2{\theta} < 0.32 \; \Leftrightarrow
672: 3.73 < \tan^2{2 \theta} < 6.72.
673: \ee
674: %
675: The mean value of $\theta$ is given by $\sin^2{\theta} = 0.30$
676: and $\tan^2{2 \theta} = 5.25$.
677: Note that the upper $2\,\sigma$ limit
678: $\sin^2{\theta} = 0.36$ gives $\tan^2{2 \theta} = 11.76$,
679: which is already significantly larger than 8.
680: Thus,
681: there is experimentally ample room
682: for the neutrino masses to be sufficiently small.
683: This happens because $\tan^2{2 \theta}$
684: is a rapidly varying function of $\theta$.
685:
686: In figure~\ref{fig1} we have plotted $m_1$,
687: $m_3$,
688: and $m_1 + m_2 + m_3$ against $\sin^2{\theta}$ in our model.
689: %
690: \begin{figure}[t]
691: \centering
692: \epsfig{file=ml.eps,width=0.85\textwidth}
693:
694: \vspace{4mm}
695:
696: \caption{Plot of $m_1$,
697: $m_3$,
698: and $\sum_i m_i$
699: as a function of $\sin^2{\theta}$ in our three-parameter model.
700: The values of $\datm$ and $\dsol$
701: have been fixed at $2.5 \times 10^{-3}$ and $7.9 \times 10^{-5}$,
702: respectively,
703: in eV$^2$.
704: The dashed vertical line
705: indicates the singularity at $\sin^2{\theta} = 1/3$.}
706: \label{fig1}
707: \end{figure}
708: %
709: We have used the best-fit values
710: $\datm = 2.5 \times 10^{-3}\, \mathrm{eV}^2$
711: and $\dsol = 7.9 \times 10^{-5}\, \mathrm{eV}^2$
712: from~\cite{schwetz};
713: for $\theta$ we have used the $3\, \sigma$ bounds
714: $0.24 < \sin^2{\theta} < 0.40$,
715: from the same source.\footnote{A different model in which the neutrino mass
716: spectrum is normal or inverted
717: depending on whether $\sin^2{\theta}$ is smaller or larger than $1/3$,
718: and the neutrinos become degenerate in the limit
719: $\sin^2{\theta} \to 1/3$,
720: has been suggested in~\cite{frigerio}.}
721:
722:
723: Another important observable is $m_{\beta\beta}$,
724: the effective mass relevant for neutrinoless $2\beta$ decay.
725: This is equal to the modulus
726: of the $\left( e,e \right)$ matrix element of $\mnu$,
727: i.e.,
728: in our case,
729: to $|x|$.
730: Thus,
731: %
732: \be
733: m_{\beta\beta} = \frac{|w|}{2} - \frac{\dsol \cos{2 \theta}}{2 |w|}.
734: \ee
735: %
736: Since
737: %
738: \be
739: |w| \approx 2\, \sqrt{\frac{\datm}{\left| 8 - \tan^2{2 \theta} \right|}}
740: \gg \sqrt{\dsol \cos{2 \theta}},
741: \ee
742: %
743: we see that in our model we have the relation
744: %
745: \be
746: m_{\beta\beta} \approx m_3 / 3.
747: \ee
748: %
749: This same relation has recently been obtained
750: in a different model~\cite{helmut}.
751:
752: One may ask oneself whether the neutrino mass matrix displays
753: any characteristic texture in the limit $\tan^2{ 2 \theta} \to 8$.
754: A glance at equations~(\ref{y}), (\ref{x}), and~(\ref{w})
755: allows one to conclude that,
756: in that limit,
757: all the matrix elements of $\mnu$ diverge.
758: Moreover, from equations~(\ref{x}) and~(\ref{y}),
759: respectively, we obtain
760: %
761: \be
762: \frac{x}{w} \to - \frac{1}{2},
763: \quad
764: \frac{|y|}{|w|} \to 1
765: \ee
766: %
767: for $\tan^2{ 2 \theta} \to 8$,
768: from where the texture of $\mnu$ in that limit can be read off.
769:
770:
771:
772: \section{Extension to the complex case}
773: \label{complex}
774:
775: In this section we investigate what happens when
776: one allows the neutrino mass matrix of equation~(\ref{mnu2})
777: to have complex matrix elements.
778: Does the intriguing feature
779: of quasi-degenerate neutrinos in the limit of HPS mixing,
780: found in the previous section for the case of real matrix elements,
781: still hold true?
782: We shall see that it does not;
783: indeed,
784: the general neutrino mass matrix~(\ref{mnu2})
785: does not seem to have much predictive power
786: beyond $U_{e3} = 0$ and maximal atmospheric neutrino mixing.
787:
788: The symmetric matrix
789: %
790: \be
791: \mnu = \left( \begin{array}{ccc}
792: x & y & y \\ y & z & w \\ y & w & z
793: \end{array} \right)
794: \label{mnu}
795: \ee
796: %
797: is diagonalized in the following way:
798: %
799: \be
800: U^T \mnu\, U = \mbox{diag} \left( m_1, m_2, m_3 \right),
801: \label{diag}
802: \ee
803: %
804: the matrix $U$ being unitary
805: while the $m_j$ ($j = 1, 2, 3$) are real and non-negative.
806: Due to the special form of $\mnu$,
807: wherein $\left( \mnu \right)_{12} = \left( \mnu \right)_{13}$
808: and $\left( \mnu \right)_{22} = \left( \mnu \right)_{33}$,
809: $U$ is of the form
810: %
811: \be
812: U =
813: \mbox{diag} \left( e^{i \varphi}, e^{i \vartheta}, e^{i \vartheta} \right)
814: \left( \begin{array}{ccc}
815: c & s & 0 \\ - r s & r c & r \\ - r s & r c & - r
816: \end{array} \right)
817: \mbox{diag} \left( e^{i \Sigma_1}, e^{i \Sigma_2}, e^{i \Sigma_3} \right),
818: \label{u}
819: \ee
820: %
821: where $c = \cos{\theta}$,
822: $s = \sin{\theta}$,
823: and $r = 2^{-1/2}$.
824: From equations~(\ref{mnu})--(\ref{u}), we find
825: %
826: \ba
827: x &=&
828: e^{- 2 i \varphi} \left( c^2 m_1 e^{- 2 i \Sigma_1}
829: + s^2 m_2 e^{- 2 i \Sigma_2} \right),
830: \\
831: z &=& \frac{e^{- 2 i \vartheta}}{2} \left(
832: s^2 m_1 e^{- 2 i \Sigma_1}
833: + c^2 m_2 e^{- 2 i \Sigma_2}
834: + m_3 e^{- 2 i \Sigma_3} \right).
835: \ea
836: %
837: We define $\bar m_j \equiv m_j e^{- 2 i \Sigma_j}$ for $j = 1, 2, 3$.
838: We also define $\chi \equiv 2 \left( \vartheta - \varphi \right)$.
839: Then,
840: the condition $x = z$,
841: which makes the $\mnu$ of equation~(\ref{mnu})
842: identical with the one of equation~(\ref{mnu2}),
843: is equivalent to
844: %
845: \be
846: \bar m_1 \left( 2 c^2 e^{i \chi} - s^2 \right)
847: + \bar m_2 \left( 2 s^2 e^{i \chi} - c^2 \right)
848: - \bar m_3 = 0.
849: \label{cd}
850: \ee
851: %
852: Thus,
853: the condition $x = z$ is equivalent to the existence of four phases $\chi$
854: and $\Sigma_{1,2,3}$ such that the condition~(\ref{cd}) is satisfied.
855: That condition states that
856: it is possible to draw a triangle in the complex plane,
857: the sides of that triangle having lengths $\sqrt{A} m_1$,
858: $\sqrt{B} m_2$,
859: and $m_3$,
860: where
861: %
862: \be
863: \begin{array}{rcl}
864: A &=& 4 c^4 + s^4 - 4 c^2 s^2 \cos{\chi},
865: \\*[1mm]
866: B &=& 4 s^4 + c^4 - 4 c^2 s^2 \cos{\chi}.
867: \end{array}
868: \label{AB}
869: \ee
870: %
871: Therefore,
872: one may eliminate the phases $\Sigma_{1,2,3}$
873: from condition~(\ref{cd}) by writing
874: the sole ``triangle inequality''~\cite{book}
875: %
876: \be
877: A^2 m_1^4 + B^2 m_2^4 + m_3^4 - 2 \left( A B m_1^2 m_2^2
878: + A m_1^2 m_3^2 + B m_2^2 m_3^2 \right) \le 0.
879: \label{ineq1}
880: \ee
881: %
882: Using
883: %
884: \be
885: \begin{array}{rcl}
886: m_1^2 &=& m_3^2 - \epsilon \datm - \frac{1}{2}\, \dsol,
887: \\*[2mm]
888: m_2^2 &=& m_3^2 - \epsilon \datm + \frac{1}{2}\, \dsol,
889: \end{array}
890: \ee
891: %
892: the inequality~(\ref{ineq1}) takes the form
893: %
894: \be
895: k_4 m_3^4 + 2 k_2 m_3^2 + k_0 \le 0,
896: \label{in2}
897: \ee
898: %
899: where
900: %
901: \ba
902: k_4 &=& 1 - 2 \left( A + B \right) + \left( A - B \right)^2,
903: \\
904: k_2 &=& \left[ A + B - \left( A - B \right)^2 \right] \epsilon \datm
905: + \frac{1}{2} \left( A - B \right)
906: \left( 1 - A - B \right) \dsol,
907: \\
908: k_0 &=& \left[ \left( A - B \right) \epsilon \datm
909: + \frac{1}{2} \left( A + B \right) \dsol \right]^2.
910: \ea
911: %
912: Since $k_0 > 0$,
913: the inequality~(\ref{in2}) does not tolerate $m_3 = 0$;
914: hence,
915: there is a non-trivial lower bound on the neutrino masses.
916: We want to find the numerical value of that bound.
917: Using the values of $A$ and $B$ in equations~(\ref{AB}),
918: one finds that
919: %
920: \ba
921: k_4 &=& - 16 c^2 s^2 \left( 1 - \cos{\chi} \right),
922: \\
923: k_2 &=& 2 \left( - 2 + 13 c^2 s^2 - 4 c^2 s^2 \cos{\chi} \right)
924: \epsilon \datm
925: \no & &
926: + 3 \left( c^2 - s^2 \right)
927: \left( - 2 + 5 c^2 s^2 + 4 c^2 s^2 \cos{\chi} \right) \dsol,
928: \\
929: k_0 &=& \left[ 3 \left( c^2 - s^2 \right) \epsilon \datm
930: + \frac{1}{2} \left( 5 - 10 c^2 s^2 - 8 c^2 s^2 \cos{\chi} \right)
931: \dsol \right]^2.
932: \ea
933: %
934: The case of real $x$,
935: $y$,
936: and $w$ corresponds to $\cos{\chi} = +1$.
937: In (and only in) that case,
938: the left-hand side of the inequality~(\ref{in2})
939: becomes linear in $m_3^2$;
940: besides,
941: in that case $k_2$ vanishes when $c^2 s^2 = 2 / 9$,
942: thereby generating singularities at the points $s^2 = 1/3$
943: and $s^2 = 2/3$,
944: as we saw in the previous section.
945:
946: For $\cos{\chi} \neq +1$,
947: $k_4$ is negative.
948: Since $k_0$ is always positive,
949: the inequality~(\ref{in2}) then yields
950: %
951: \be
952: m_3^2 \ge \frac{\sqrt{k_2^2 + \left| k_4 \right| k_0} + k_2}
953: {\left| k_4 \right|} \equiv L.
954: \label{in3}
955: \ee
956: %
957: The task now consists in finding the minimum value of $L$
958: as a function of $\cos{\chi}$
959: (and of $\epsilon = \pm 1$);
960: that minimum value provides the lower bound on $m_3^2$.
961: It is easy to convince oneself that $L$
962: always has its minimum when $\cos{\chi} = -1$,
963: for all experimentally allowed values of $s^2$,
964: $\datm$,
965: and $\dsol$.
966: Computing $L$ as a function of $s^2$ for fixed $\cos{\chi} = -1$,
967: $\datm = 2.5 \times 10^{-3}~\mathrm{eV}$,
968: and $\dsol = 7.9 \times 10^{-5}~\mathrm{eV}$,
969: we conclude the following:
970: %
971: \begin{itemize}
972: %
973: \item When the neutrino mass spectrum is normal,
974: i.e.~when $\epsilon = +1$,
975: the minimum value of the lowest neutrino mass,
976: $m_1$,
977: hardly varies with $s^2$.
978: One has $m_1 > 1.679 \times 10^{-2}~\mathrm{eV}$ for $s^2 = 0.24$
979: and $m_1 > 1.665 \times 10^{-2}~\mathrm{eV}$ for $s^2 = 0.40$.
980: %
981: \item When the neutrino mass spectrum is inverted,
982: i.e.~when $\epsilon = -1$,
983: the minimum value of the lowest neutrino mass,
984: $m_3$,
985: varies strongly as a function of $s^2$.
986: One has $m_3 > 2.9 \times 10^{-2}~\mathrm{eV}$ for $s^2 = 0.24$,
987: $m_3 > 9 \times 10^{-3}~\mathrm{eV}$ for $s^2 = 0.40$.
988: %
989: \end{itemize}
990: %
991:
992: Thus,
993: the mass matrix of equation~(\ref{mnu2}) with complex $x$,
994: $y$,
995: and $w$ is not very predictive:
996: it only allows one to derive a rather mild lower bound
997: on the neutrino masses.
998: There is also no prediction for the effective mass $m_{\beta \beta}$,
999: except for the rather trivial bounds
1000: %
1001: \be
1002: \left| m_1^2 c^2 - m_2^2 s^2 \right|
1003: \le m_{\beta \beta} \le
1004: \left| m_1^2 c^2 + m_2^2 s^2 \right|.
1005: \ee
1006: %
1007:
1008:
1009:
1010:
1011: \section{Conclusions}
1012: \label{concl}
1013:
1014: In this paper
1015: we have constructed an extension of the Standard Model
1016: with three Higgs doublets $\phi_\alpha$
1017: and four scalar gauge triplets $\Delta_\alpha$ and $\Delta_4$.
1018: The scalar triplets generate a type-II seesaw mechanism,
1019: thus explaining the smallness of the neutrino masses.
1020: We have employed a large horizontal symmetry group $G$,
1021: generated by the permutation group $S_3$ of the indices $\alpha$
1022: and by six cyclic groups $\mathbbm{Z}_2$.
1023: After spontaneous symmetry breaking,
1024: the charged-lepton mass matrix is diagonal;
1025: the different VEVs of the $\phi_\alpha$
1026: allow for different charged-lepton masses $m_\alpha$
1027: ($\alpha = e,\,\mu,\,\tau$).
1028: In order to obtain a realistic neutrino mass matrix $\mnu$,
1029: we additionally allow for soft breaking of $G$,
1030: through terms of dimension two in the scalar potential.
1031: A crucial feature of our model is the equality among
1032: the diagonal entries of $\mnu$---this is
1033: one of the reasons for the predictiveness of the model.
1034:
1035: There are two relevant options:
1036: breaking $G$ softly in the mass matrix of the scalar triplets
1037: either fully or keeping a $\mu \leftrightarrow \tau$ symmetry intact;
1038: and having either hard or spontaneous $CP$ breaking.
1039: Our model has the interesting property that
1040: spontaneous $CP$ violation has no effect on $\mnu$,
1041: i.e.~it does not generate any physical phases in lepton mixing.
1042: The most predictive scenario combines
1043: the preservation of $\mu$--$\tau$ interchange symmetry
1044: with spontaneous $CP$ violation,
1045: in which case we arrive at a viable neutrino mass matrix
1046: which has only three (real) parameters.
1047: This neutrino mass matrix leads to the usual predictions
1048: of $\mu$--$\tau$ symmetric neutrino mass matrices,
1049: namely maximal atmospheric mixing
1050: and $\theta_{13}= 0$---hence no $CP$ violation
1051: in neutrino oscillations.
1052: Besides,
1053: the $CP$ property mentioned before
1054: also prevents Majorana phases in our case.
1055:
1056: The solar mixing angle $\theta$ is undetermined.
1057: Our three-parameter neutrino mass matrix
1058: predicts the neutrino masses $m_j$
1059: as functions of the two mass-squared differences and of $\theta$.
1060: For $\sin^2 \theta < 1/3$, which seems to be preferred by the data,
1061: we have a normal spectrum,
1062: while for $\sin^2 \theta > 1/3$ the neutrino mass spectrum is inverted.
1063: When $\sin^2 \theta \to 1/3$ all the $m_j$ diverge---see
1064: figure~\ref{fig1}.
1065: As for the effective mass $m_{\beta\beta}$
1066: of neutrinoless $2\beta$ decay,
1067: our three-parameter mass matrix predicts
1068: $m_{\beta\beta} \approx m_3/3$.
1069:
1070:
1071:
1072:
1073:
1074: \paragraph{Acknowledgements:}
1075: We thank Ernest Ma for suggestions and discussions
1076: that contributed significantly to this work.
1077: W.G.\ is grateful to H.~Urbantke for discussions on finite groups.
1078: The work of L.L.\ was supported by the Portuguese
1079: \textit{Funda\c c\~ao para a Ci\^encia e a Tecnologia}
1080: through the projects POCTI/FNU/44409/2002,
1081: POCTI/FP/63415/2005,
1082: and U777--Plurianual.
1083:
1084:
1085:
1086:
1087:
1088: \begin{appendix}
1089:
1090: \section{The group structure of our model}
1091: \label{group}
1092: \setcounter{equation}{0}
1093: \renewcommand{\theequation}{A\arabic{equation}}
1094:
1095: In this appendix we attempt a mathematical description
1096: of the full symmetry group of our model
1097: and of its irreducible representations (irreps).
1098: Clearly,
1099: $S_3$ commutes neither with the
1100: $\mathbf{z}_\alpha^{(1)}$ of equation~(\ref{z1})
1101: nor with the
1102: $\mathbf{z}_\alpha^{(2)}$ of equation~(\ref{z2}),
1103: thus the full symmetry group is rather complicated.
1104:
1105: Let us define
1106: %
1107: \be
1108: n_1 = \mathrm{diag} \left( -1,\, 1,\, 1 \right),
1109: \quad
1110: n_2 = \mathrm{diag} \left( 1,\, -1,\, 1 \right),
1111: \quad
1112: n_3 = \mathrm{diag} \left( 1,\, 1,\, -1 \right),
1113: \ee
1114: %
1115: \be
1116: c_+ = \left( \begin{array}{ccc}
1117: 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0
1118: \end{array} \right),
1119: \quad
1120: c_- = \left( \begin{array}{ccc}
1121: 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0
1122: \end{array} \right),
1123: \ee
1124: %
1125: \be
1126: t_1 = \left( \begin{array}{ccc}
1127: 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0
1128: \end{array} \right),
1129: \quad
1130: t_2 = \left( \begin{array}{ccc}
1131: 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0
1132: \end{array} \right),
1133: \quad
1134: t_3 = \left( \begin{array}{ccc}
1135: 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1
1136: \end{array} \right).
1137: \ee
1138: %
1139: Then,
1140: \newcommand{\bu}{\mathbbm{1}}
1141: %
1142: \be
1143: N = \left\{ \bu,\, n_1,\, n_2,\, n_3,\, n_1 n_2,\, n_2 n_3,\, n_3 n_1,\,
1144: - \bu \right\}
1145: \ee
1146: %
1147: forms an Abelian group isomorphic to
1148: $\mathbbm{Z}_2 \times \mathbbm{Z}_2 \times \mathbbm{Z}_2$.
1149: Also,
1150: %
1151: \be
1152: \hat S_3 = \left\{ \bu,\, c_+,\, c_-,\, t_1,\, t_2,\, t_3 \right\}
1153: \ee
1154: %
1155: forms a three-dimensional (reducible) representation of $S_3$.
1156:
1157: Let us call $G$ the symmetry group utilized in this paper.
1158: $G$ may be defined to be the group of the $6 \times 6$ matrices
1159: %
1160: \be
1161: \label{mns}
1162: \left( \begin{array}{cc}
1163: m s & 0 \\ 0 & n s
1164: \end{array} \right),
1165: \quad
1166: m, n \in N,
1167: \quad
1168: s \in \hat S_3.
1169: \ee
1170: %
1171: This defining \emph{reducible} representation of $G$
1172: may be called the $\mathbf{6}$.
1173: Clearly,
1174: $G$ has $8 \times 8 \times 6 = 384$ elements.\footnote{The
1175: $8 \times 6 = 48$ matrices $m s$,
1176: where $m \in N$ and $s \in \hat S_3$,
1177: form the Coxeter group $B_3$.
1178: (We thank E.~Ma for drawing our attention to Coxeter groups.)
1179: We may write $G = N \rtimes B_3 = \left( N \times N \right) \rtimes S_3$,
1180: the symbol $\rtimes$ denoting a semi-direct product.}
1181: Calling $\left( m, n, s \right)$ the abstract element of $G$
1182: which is represented in the $\mathbf{6}$
1183: by the matrix of equation~(\ref{mns}),
1184: the group multiplication law is
1185: %
1186: \be
1187: \label{law}
1188: \left( m_1, n_1, s_1 \right) \left( m_2, n_2, s_2 \right)
1189: = \left( m_1 s_1 m_2 s_1^{-1}, n_1 s_1 n_2 s_1^{-1}, s_1 s_2 \right).
1190: \ee
1191: %
1192: From this group multiplication law
1193: it follows that $G$ has eight one-dimensional irreps:
1194: %
1195: \be
1196: \underline{1}^{(p,q,r)}: \quad
1197: \left( m, n, s \right) \to
1198: \left( \det{m} \right)^p \left( \det{n} \right)^q \left( \det{s} \right)^r,
1199: \quad \mbox{with} \quad p, q, r \in \left\{ 0, 1 \right\}.
1200: \ee
1201: %
1202: It is obvious from equation~(\ref{mns})
1203: that the matrices $m s$ give a three-dimensional irrep of $G$,
1204: and similarly with the matrices $n s$.
1205: The matrices $m n s$ give one further three-dimensional irrep of $G$,
1206: since
1207: %
1208: \be
1209: m_1 n_1 s_1 m_2 n_2 s_2 = m_3 n_3 s_3,
1210: \quad \mbox{with} \quad m_3 = m_1 s_1 m_2 s_1^{-1}, \
1211: n_3 = n_1 s_1 n_2 s_1^{-1}, \ \mbox{and} \ s_3 = s_1 s_2
1212: \ee
1213: %
1214: complies with the multiplication law~(\ref{law}).
1215: Thus,
1216: $G$ has 24 three-dimensional irreps:
1217: %
1218: \ba
1219: \underline{3}_1^{(p,q,r)}: & &
1220: \left( m, n, s \right) \to
1221: \left( \det{m} \right)^p \left( \det{n} \right)^q \left( \det{s} \right)^r
1222: m s, \\
1223: \underline{3}_2^{(p,q,r)}: & &
1224: \left( m, n, s \right) \to
1225: \left( \det{m} \right)^p \left( \det{n} \right)^q \left( \det{s} \right)^r
1226: n s, \\
1227: \underline{3}_3^{(p,q,r)}: & &
1228: \left( m, n, s \right) \to
1229: \left( \det{m} \right)^p \left( \det{n} \right)^q \left( \det{s} \right)^r
1230: m n s,
1231: \ea
1232: %
1233: with $p, q, r \in \left\{ 0, 1 \right\}$.
1234:
1235: The three-dimensional representations of $G$
1236: that we employ in our model are
1237: %
1238: \be
1239: \begin{array}{rcl}
1240: m s & \mathrm{for} & \left( \phi_e, \,\phi_\mu,\, \phi_\tau \right), \\
1241: m n s & \mathrm{for} & \left( e_R, \,\mu_R, \,\tau_R \right), \\
1242: n s & \mathrm{for} & \left( D_{Le}, \,D_{L\mu}, \, D_{L\tau} \right), \\
1243: \left( \det{n} \right) n s & \mathrm{for} &
1244: \left( \Delta_e,\, \Delta_\mu,\, \Delta_\tau \right).
1245: \end{array}
1246: \ee
1247: %
1248:
1249: Our group $G$ also has two and six-dimensional irreps,
1250: which are not used in our model.
1251: Next we include, for completeness, their construction.
1252:
1253: The group $S_3$ has a two-dimensional irrep $D_2$,
1254: generated by
1255: %
1256: \be
1257: t_1 \to \left( \begin{array}{cc}
1258: 0 & \omega \\ \omega^2 & 0 \end{array} \right),
1259: \quad
1260: t_2 \to \left( \begin{array}{cc}
1261: 0 & \omega^2 \\ \omega & 0 \end{array} \right),
1262: \ee
1263: %
1264: where $\omega = \left( -1 + i \sqrt{3} \right) /\, 2$.
1265: Note that $\left( \det{s} \right) D_2 \left( s \right)$
1266: is isomorphic to $D_2 \left( s \right)$:
1267: %
1268: \be
1269: \left( \det{s} \right) D_2 \left( s \right) =
1270: \left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right)
1271: D_2 \left( s \right)
1272: \left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right).
1273: \ee
1274: %
1275: Therefore,
1276: $G$ has four two-dimensional irreps:
1277: %
1278: \be
1279: \underline{2}^{(p,q)}: \quad \left( m, n, s \right) \to
1280: \left( \det{m} \right)^p \left( \det{n} \right)^q D_2 \left( s \right),
1281: \quad \mbox{with} \quad p,q \in \left\{ 0, 1 \right\}.
1282: \ee
1283: %
1284:
1285: The remaining irreps of $G$ are four six-dimensional ones,
1286: %
1287: \be
1288: \underline{6}^{(p,q)}: \quad \left( m, n, s \right) \to
1289: \left( \det{m} \right)^p \left( \det{n} \right)^q D_6 \left( m, n, s \right),
1290: \quad \mbox{with} \quad p,q \in \left\{ 0, 1 \right\}.
1291: \ee
1292: %
1293: The irrep $D_6 \left( m, n, s \right)$
1294: is found in the decomposition
1295: of the product of the irreps $m s$ and $n s$.
1296: Suppose there is a space $\mathbbm{C}^3$
1297: spanned by $e_{1,2,3}$ transforming like $m s$,
1298: and another space $\mathbbm{C}^3$
1299: spanned by $e^\prime_{1,2,3}$ transforming like $n s$.
1300: Then,
1301: the space spanned by the $e_k \otimes e^\prime_k$
1302: ($k = 1, 2, 3$)
1303: transforms like $m n s$,
1304: while the $e_j \otimes e^\prime_k$ with $j \neq k$ span a space
1305: which transforms like $D_6 \left( m, n, s \right)$.
1306: It can be shown that this representation
1307: $D_6 \left( m, n, s \right)$ of $G$ is irreducible,
1308: and also that it is equivalent to
1309: $\left( \det{s} \right) D_6 \left( m, n, s \right)$.
1310:
1311: The group $G$ has the interesting property
1312: that it has no faithful irreps.
1313: It is obvious that the irreps
1314: with dimensions three and lower are not faithful.
1315: The six-dimensional irreps are not faithful either,
1316: as we now explain.
1317: Defining the elements $a$ and $b$ of $G$ by
1318: $a = \left( -\mathbbm{1}, \mathbbm{1}, \mathbbm{1} \right)$
1319: and $b = \left( \mathbbm{1}, -\mathbbm{1}, \mathbbm{1} \right)$,
1320: then $a$,
1321: $b$,
1322: and $ab$ generate the subgroups $\mathbbm{Z}_2^{(a)}$,
1323: $\mathbbm{Z}_2^{(b)}$,
1324: and $\mathbbm{Z}_2^{(ab)}$ of $G$,
1325: respectively.
1326: The isomorphisms
1327: %
1328: \be
1329: \underline{6}^{(0,0)} \cong G\,/\,\mathbbm{Z}_2^{(ab)}, \quad
1330: \underline{6}^{(1,0)} \cong G\,/\,\mathbbm{Z}_2^{(a)}, \quad
1331: \underline{6}^{(0,1)} \cong G\,/\,\mathbbm{Z}_2^{(b)}, \quad
1332: \underline{6}^{(1,1)} \cong G\,/
1333: \left( \mathbbm{Z}_2^{(a)} \times \mathbbm{Z}_2^{(b)} \right)
1334: \ee
1335: %
1336: are easy to demonstrate.
1337: Thus,
1338: none of the six-dimensional irreps represents $G$ faithfully.
1339:
1340:
1341:
1342:
1343:
1344: \section{Spontaneous breaking of the $\mu$--$\tau$ symmetry}
1345: \label{SSB}
1346: \setcounter{equation}{0}
1347: \renewcommand{\theequation}{B\arabic{equation}}
1348:
1349: Let us consider a simplified model with only two VEVs,
1350: $v_\mu$ and $v_\tau$.
1351: We assume the following symmetries:
1352: %
1353: \be
1354: \begin{array}{cl}
1355: z_1: & v_\mu \to - v_\mu, \ v_\tau \to v_\tau; \\
1356: z_2: & v_\mu \to v_\mu, \ v_\tau \to - v_\tau; \\
1357: z_3: & v_\mu \leftrightarrow v_\tau.
1358: \end{array}
1359: \ee
1360: %
1361: The symmetries $z_{1,2}$ are assumed to be softly broken
1362: by terms of dimension two,
1363: while $z_3$ is assumed to be exactly conserved.
1364: For the sake of clarity
1365: we also assume all coefficients to be real.
1366: Then,
1367: %
1368: \be
1369: V_0 =
1370: a \left( \left| v_\mu \right|^2 + \left| v_\tau \right|^2 \right)
1371: + b \left( v_\mu^\ast v_\tau + v_\tau^\ast v_\mu \right)
1372: + \lambda \left( \left| v_\mu \right|^2
1373: + \left| v_\tau \right|^2 \right)^2
1374: + \lambda^\prime \left| v_\mu \right|^2 \left| v_\tau \right|^2.
1375: \ee
1376: %
1377: Only the $b$ term breaks $z_{1,2}$ softly.
1378:
1379: Without loss of generality we take $v_\mu$ to be real and positive,
1380: writing
1381: %
1382: \be
1383: v_\mu = \nu \cos{\phi}, \quad v_\tau = \nu \sin{\phi}\, e^{i\alpha},
1384: \ee
1385: %
1386: with $\nu > 0$ and $\phi$ in the first quadrant.
1387: Then we obtain
1388: %
1389: \ba
1390: V_0 &=& a \nu^2 + b \nu^2 \sin{2 \phi} \cos{\alpha} + \lambda \nu^4
1391: + \frac{\lambda^\prime \nu^4}{4}\, \sin^2{2 \phi}.
1392: \label{vvv}
1393: \ea
1394: %
1395: We require that
1396: %
1397: \be
1398: 0 = \frac{\partial V_0}{\partial \left( 2 \phi \right)} =
1399: \left( \nu^2 \cos{2 \phi} \right) \left( b \cos{\alpha}
1400: + \frac{\lambda^\prime \nu^2}{2}\, \sin{2 \phi} \right).
1401: \ee
1402: %
1403: The solution $\cos{2 \phi} = 0$ corresponds to
1404: $\left| v_\mu \right| = \left| v_\tau \right|$ and is undesirable.
1405: But there is another solution,
1406: %
1407: \be
1408: \sin{2 \phi} = - \frac{2 b \cos{\alpha}}{\lambda^\prime \nu^2},
1409: \ee
1410: %
1411: which we adopt.
1412: Since the minimization of $V_0$ in equation~(\ref{vvv})
1413: with respect to $\alpha$
1414: leads to $b \cos{\alpha} = - \left| b \right|$ being negative,
1415: we must assume $\lambda^\prime$ to be positive.
1416: If
1417: %
1418: \be
1419: \left| b \right| \ll \frac{\lambda^\prime \nu^2}{2},
1420: \ee
1421: %
1422: which corresponds to the soft-breaking term
1423: being very small, then $\sin{2 \phi} \ll 1$
1424: and $\left| v_\mu \right| \ll \left| v_\tau \right|$
1425: can be realized.
1426:
1427:
1428: \end{appendix}
1429:
1430:
1431:
1432:
1433:
1434: \begin{thebibliography}{99}
1435:
1436: \bibitem{reviews}
1437: M.~Maltoni, T.~Schwetz, M.A.~T\'ortola and J.W.F.~Valle,
1438: \textit{Status of global fits to neutrino oscillations},
1439: \textit{New J.~Phys.}~\textbf{6} (2004) 122
1440: [hep-ph/0405172]; \\
1441: G.L.~Fogli, E.~Lisi, A.~Marrone and A.~Palazzo,
1442: \textit{Global analysis of three-flavor neutrino masses and mixings},
1443: \textit{Prog. Part. Nucl. Phys.} \textbf{57} (2006) 742
1444: [hep-ph/0506083].
1445:
1446: \bibitem{II}
1447: J.~Schechter and J.W.F.~Valle,
1448: \textit{Neutrino masses in $SU(2) \times U(1)$ theories},
1449: \textit{Phys. Rev.} \textbf{D~22} (1980) 2227; \\
1450: G.~Lazarides, Q.~Shafi and C.~Wetterich,
1451: \textit{Proton lifetime and fermion masses in an $SO(10)$ model},
1452: \textit{Nucl. Phys.} \textbf{B~181} (1981) 287; \\
1453: R.N.~Mohapatra and G.~Senjanovi\'c,
1454: \textit{Neutrino masses and mixings
1455: in gauge models with spontaneous parity violation},
1456: \textit{Phys. Rev.} \textbf{D~23} (1981) 165; \\
1457: R.N.~Mohapatra and P.~Pal,
1458: \textit{Massive neutrinos in physics and astrophysics}
1459: (World Scientific, Singapore, 1991),
1460: p.~127.
1461:
1462: \bibitem{ma}
1463: E.~Ma and U.~Sarkar,
1464: \textit{Neutrino masses and leptogenesis with heavy Higgs triplets},
1465: \textit{Phys. Rev. Lett.} \textbf{80} (1998) 5716
1466: [hep-ph/9802445].
1467:
1468: \bibitem{ewtest}
1469: J.R.~Espinosa and J.F.~Gunion,
1470: \textit{A no-lose theorem for Higgs searches at a future linear
1471: collider},
1472: \textit{Phys. Rev. Lett.} \textbf{82} (1999) 1084
1473: [hep-ph/9807275]; \\
1474: J.F.~Gunion, H.E.~Haber and R.~Van Kooten,
1475: \textit{Higgs physics at the linear collider},
1476: in \textit{Linear collider physics in the new millenium},
1477: eds. K.~Fujii, D.~Miller and A.~Soni, World Scientific
1478: [hep-ph/0301023].
1479:
1480: \bibitem{GL05}
1481: W.~Grimus and L.~Lavoura,
1482: \textit{On a model with two zeros in the neutrino mass matrix},
1483: \textit{J. Phys.} \textbf{G~31} (2005) 693
1484: [hep-ph/0412283].
1485:
1486: \bibitem{HPS-model}
1487: W.~Grimus and L.~Lavoura,
1488: \textit{A model realizing the Harrison--Perkins--Scott
1489: lepton mixing matrix},
1490: \textit{JHEP} \textbf{01} (2006) 018
1491: [hep-ph/0509239].
1492:
1493: \bibitem{hirsch}
1494: M.~Hirsch, A.~Villanova del Moral, J.W.F.~Valle and E.~Ma,
1495: \textit{Predicting neutrinoless double beta decay},
1496: \textit{Phys. Rev.} \textbf{D~72} (2005) 091301;
1497: \textit{Err. ibid.} \textbf{D~72} (2005) 119904
1498: [hep-ph/0507148].
1499:
1500: \bibitem{early}
1501: T.~Fukuyama and H.~Nishiura,
1502: \textit{Mass matrix of Majorana neutrinos},
1503: hep-ph/9702253; \\
1504: R.N.~Mohapatra and S.~Nussinov,
1505: \textit{Bimaximal neutrino mixing and neutrino mass matrix},
1506: \textit{Phys. Rev.} \textbf{D~60} (1999) 013002
1507: [hep-ph/9809415]; \\
1508: E.~Ma and M.~Raidal,
1509: \textit{Neutrino mass, muon anomalous magnetic moment,
1510: and lepton flavor nonconservation},
1511: \textit{Phys. Rev. Lett.} \textbf{87} (2001) 011802;
1512: \textit{Err. ibid.} \textbf{87} (2001) 159901
1513: [hep-ph/0102255]; \\
1514: C.S.~Lam,
1515: \textit{A 2--3 symmetry in neutrino oscillations},
1516: \textit{Phys. Lett.} \textbf{B~507} (2001) 214
1517: [hep-ph/0104116]; \\
1518: K.R.S.~Balaji, W.~Grimus and T.~Schwetz,
1519: \textit{The solar LMA neutrino oscillation solution in the Zee model},
1520: \textit{Phys. Lett.} \textbf{B 508} (2001) 301
1521: [hep-ph/0104035]; \\
1522: E.~Ma,
1523: \textit{The all-purpose neutrino mass matrix},
1524: \textit{Phys. Rev.} \textbf{D 66} (2002) 117301
1525: [hep-ph/0207352].
1526:
1527: \bibitem{GL01}
1528: W.~Grimus and L.~Lavoura,
1529: \textit{Softly broken lepton numbers and maximal neutrino mixing},
1530: \textit{JHEP} \textbf{07} (2001) 045
1531: [hep-ph/0105212]; \\
1532: W.~Grimus and L.~Lavoura,
1533: \textit{Softly broken lepton numbers:
1534: an approach to maximal neutrino mixing},
1535: \textit{Acta Phys. Pol.} \textbf{B~32} (2001) 3719
1536: [hep-ph/0110041].
1537:
1538: \bibitem{HPS}
1539: P.F.~Harrison and W.G.~Scott,
1540: \textit{$\mu$--$\tau$ reflection symmetry in lepton mixing
1541: and neutrino oscillations},
1542: \textit{Phys. Lett.} \textbf{B 547} (2002) 219
1543: [hep-ph/0210197].
1544:
1545: \bibitem{joshipura}
1546: For specific schemes and additional references,
1547: see for instance \\
1548: Y.~Koide,
1549: \textit{Universal texture of quark and lepton mass matrices
1550: with an extended flavor $2 \leftrightarrow 3$ symmetry},
1551: \textit{Phys. Rev.} \textbf{D~69} (2004) 093001
1552: [hep-ph/0312207]; \\
1553: W.~Grimus, A.S.~Joshipura, S.~Kaneko,
1554: L.~Lavoura, H.~Sawanaka and M.~Tanimoto,
1555: \textit{Non-vanishing $U_{e3}$ and $\cos{2 \theta_{23}}$
1556: from a broken $Z_2$ symmetry},
1557: \textit{Nucl. Phys.} \textbf{B~713} (2005) 151
1558: [hep-ph/0408123]; \\
1559: W.~Grimus and L.~Lavoura,
1560: \textit{$S_3 \times \mathbbm{Z}_2$ model
1561: for neutrino mass matrices},
1562: \textit{JHEP} \textbf{08} (2005) 013
1563: [hep-ph/0504153]; \\
1564: R.N.~Mohapatra and W.~Rodejohann,
1565: \textit{Broken $\mu$--$\tau$ symmetry
1566: and leptonic $CP$ violation},
1567: \textit{Phys. Rev.} \textbf{D~72} (2005) 053001
1568: [hep-ph/0507312]; \\
1569: Y.H.~Ahn, S.K.~Kang, C.S.~Kim and J.~Lee,
1570: \textit{$\mu$--$\tau$ symmetry
1571: and radiatively generated leptogenesis},
1572: \textit{Phys. Rev.} \textbf{D~75} (2007) 013012
1573: [hep-ph/0610007].
1574:
1575: \bibitem{branco}
1576: G.C.~Branco,
1577: \textit{Spontaneous CP nonconservation
1578: and natural flavor conservation: a minimal model},
1579: \textit{Phys. Rev.} \textbf{D~22} (1980) 2901. \\
1580: For a pedagogical introduction, see \\
1581: G.C.~Branco, L.~Lavoura and J.P.~Silva,
1582: \textit{CP violation}
1583: (Oxford University Press, 1999).
1584:
1585: \bibitem{raffelt}
1586: See for instance \\
1587: S.~Hannestad and G.~Raffelt,
1588: \textit{Cosmological mass limits on neutrinos, axions, and other light
1589: particles},
1590: \textit{JCAP} \textbf{04} (2004) 008
1591: [hep-ph/0312154]; \\
1592: {\O}.~Elgar{\o}y and O.~Lahav,
1593: \textit{Neutrino masses from cosmological probes},
1594: \textit{New J. Phys.} \textbf{7} (2005) 61
1595: [hep-ph/0412075]; \\
1596: A.~Goobar, S.~Hannestad, E.~M\"ortsell and H. Tu,
1597: \textit{A new bound on the neutrino mass from the SDSS baryon acoustic
1598: peak},
1599: \textit{JCAP} \textbf{06} (2006) 019
1600: [astro-ph/0602155]; \\
1601: M.~Fukugita, K.~Ichikawa, M.~Kawasaki and O.~Lahav,
1602: \textit{Limit on the neutrino mass from the WMAP three year data},
1603: \textit{Phys. Rev.} \textbf{D~74} (2006) 027302
1604: [astro-ph/0605362]; \\
1605: and references therein.
1606:
1607: \bibitem{schwetz}
1608: T.~Schwetz,
1609: \textit{Global fits to neutrino oscillation data},
1610: talk presented at \textit{SNOW 2006}, Stockholm, 2--6 May 2006,
1611: \textit{Phys. Scripta} \textbf{T~127} (2006) 1
1612: [hep-ph/0606060].
1613:
1614: \bibitem{frigerio}
1615: S.-L.~Chen, M.~Frigerio and E.~Ma,
1616: \textit{Hybrid seesaw neutrino masses with $A_4$ family symmetry},
1617: \textit{Nucl. Phys.} \textbf{B~724} (2005) 423
1618: [hep-ph/0504181].
1619:
1620: \bibitem{helmut}
1621: L.~Lavoura and H.~K\"uhb\"ock,
1622: \textit{Predictions of an $A_4$ model
1623: with a five-parameter neutrino mass matrix},
1624: \textit{Mod. Phys. Lett.} \textbf{A~22} (2007) 181
1625: [hep-ph/0610050].
1626:
1627: \bibitem{book}
1628: G.C.~Branco, L.~Lavoura and J.P.~Silva,
1629: \textit{CP violation}
1630: (Oxford University Press, 1999),
1631: p.~167.
1632:
1633: \end{thebibliography}
1634:
1635: \end{document}
1636:
1637: