1: \documentstyle[prd,aps,preprint,tighten,epsfig]{revtex}
2:
3: \begin{document}
4:
5: \draft
6:
7: \title{Leptonic Unitarity Triangles in Matter}
8: \author{{\bf He Zhang} ~ and ~ {\bf Zhi-zhong Xing}}
9: \address{CCAST (World Laboratory), P.O. Box 8730, Beijing 100080, China \\
10: and Institute of High Energy Physics, Chinese Academy of Sciences, \\
11: P.O. Box 918 (4), Beijing 100049, China \\
12: ({\it Electronic address: zhanghe@mail.ihep.ac.cn,
13: xingzz@mail.ihep.ac.cn}) }
14: \maketitle
15:
16: \begin{abstract}
17: We present a geometric description of lepton flavor mixing and CP
18: violation in matter by using the language of leptonic unitarity
19: triangles. The exact analytical relations for both sides and inner
20: angles are established between every unitarity triangle in vacuum and
21: its effective counterpart in matter. The typical shape evolution of six
22: triangles with the terrestrial matter density is illustrated for a
23: realistic long-baseline neutrino oscillation experiment.
24: \end{abstract}
25: \pacs{PACS number(s): 14.60.Pq, 13.10.+q, 25.30.Pt}
26: \newpage
27:
28: \section{Introduction}
29:
30: Recent solar \cite{SNO}, atmospheric \cite{SK}, reactor
31: (KamLAND \cite{KM} and CHOOZ \cite{CHOOZ}) and accelerator
32: (K2K \cite{K2K}) neutrino oscillation experiments have provided
33: us with very convincing evidence that neutrinos are massive
34: and lepton flavors are mixed. In the framework of three lepton families,
35: the phenomena of flavor mixing and CP violation are described by a
36: $3\times 3$ unitary matrix $V$, which relates the mass eigenstates
37: of three neutrinos $(\nu_1, \nu_2, \nu_3)$ to their flavor eigenstates
38: $(\nu_e, \nu_\mu, \nu_\tau)$:
39: \begin{equation}
40: \left ( \matrix{
41: \nu_e \cr
42: \nu_\mu \cr
43: \nu_\tau \cr} \right )
44: = \left ( \matrix{
45: V_{e1} & V_{e2} & V_{e3} \cr
46: V_{\mu 1} & V_{\mu 2} & V_{\mu 3} \cr
47: V_{\tau 1} & V_{\tau 2} & V_{\tau 3} \cr} \right )
48: \left ( \matrix{
49: \nu_1 \cr
50: \nu_2 \cr
51: \nu_3 \cr} \right ) \; .
52: % (1)
53: \end{equation}
54: No matter whether neutrinos are Dirac or Majorana particles,
55: leptonic CP and T violation in normal neutrino-neutrino or
56: antineutrino-antineutrino oscillations depends only upon a single
57: rephasing-invariant parameter ${\cal J}$ \cite{Jarlskog},
58: defined through
59: \begin{equation}
60: {\rm Im} ( V_{\alpha i} V_{\beta j} V^*_{\alpha j}
61: V^*_{\beta i} ) = {\cal J} \sum_{\gamma, k}
62: ( \epsilon_{\alpha\beta\gamma} \epsilon_{ijk} ) \; ,
63: % (2)
64: \end{equation}
65: where Greek and Latin subscripts run respectively
66: over $(e, \mu, \tau)$ and $(1,2,3)$. A challenging task of the future
67: long-baseline neutrino oscillation experiments is to measure ${\cal J}$,
68: so as to establish the existence of CP violation in the lepton sector.
69: In principle, a determination of ${\cal J}$ is also possible from four
70: independent moduli $|V_{\alpha i}|$ \cite{Xreview}, whose magnitudes
71: can be measured in some CP-conserving processes.
72:
73: The unitarity of $V$ implies that its nine matrix elements are constrained
74: by two sets of normalization conditions and two sets of orthogonality
75: relations:
76: \begin{eqnarray}
77: \sum_i \left (V^*_{\alpha i} V_{\beta i} \right ) & = & ~
78: \delta_{\alpha \beta} \; ,
79: \nonumber \\
80: \sum_\alpha \left (V^*_{\alpha i} V_{\alpha j} \right ) & = & ~
81: \delta_{i j} \; .
82: % (3)
83: \end{eqnarray}
84: The six orthogonality relations define six triangles in the
85: complex plane, as first discussed in Ref. \cite{FXreview}.
86: Six unitarity triangles have 18 different sides and 9 different
87: inner angles, but their areas are all identical to
88: ${\cal J}/2$. So far, some particular attention has been paid to
89: triangles $\triangle_3$ \cite{FXreview} and
90: $\triangle_\tau$ \cite{Smirnov} shown in Fig. 1. Because current
91: experimental data indicate that $V$ has a nearly bi-maximal mixing
92: pattern with $|V_{e3}| \ll 1$, one can easily observe that three sides
93: of $\triangle_3$ are comparable in magnitude; i.e.,
94: $|V_{e1} V^*_{e2}| \sim |V_{\mu 1} V^*_{\mu 2}|
95: \sim |V_{\tau 1} V^*_{\tau 2}| \sim 0.5$. It is therefore possible to
96: establish $\triangle_3$ and determine its three angles \cite{Xreview},
97: once its three sides are measured to an acceptable degree of accuracy.
98: In contrast, one side of
99: $\triangle_\tau$ is much shorter than its other two sides; i.e.,
100: $|V_{e1} V^*_{\mu 1}| \sim |V_{e2} V^*_{\mu 2}| \gg |V_{e3} V^*_{\mu 3}|$.
101: To establish $\triangle_\tau$ needs much more precise data on
102: its three sides, which must be able to show
103: $|V_{e1} V^*_{\mu 1}| + |V_{e3} V^*_{\mu 3}| > |V_{e2} V^*_{\mu 2}|$ or
104: $|V_{e2} V^*_{\mu 2}| + |V_{e3} V^*_{\mu 3}| >
105: |V_{e1} V^*_{\mu 1}|$ \cite{Smirnov}. Such an accuracy requirement
106: is practically impossible to be satisfied in the near future \cite{F1}.
107:
108: To measure ${\cal J}$ and $|V_{\alpha i}|$
109: in realistic long-baseline experiments of neutrino oscillations, the
110: terrestrial matter effects must be taken into account \cite{Barger}. The
111: probabilities of neutrino oscillations in matter can be expressed in the
112: same form as those in vacuum, however, if we define the {\it effective}
113: neutrino masses $\tilde{m}_i$ and the {\it effective} lepton flavor
114: mixing matrix $\tilde{V}$ in which the terrestrial matter effects are
115: already included \cite{Xing00}. In analogy to the definition of
116: ${\cal J}$ in Eq. (2), the {\it effective} CP-violating parameter
117: $\tilde{\cal J}$ in matter can be defined as
118: \begin{equation}
119: {\rm Im} ( \tilde{V}_{\alpha i} \tilde{V}_{\beta j}
120: \tilde{V}^*_{\alpha j} \tilde{V}^*_{\beta i} ) =
121: \tilde{\cal J} \sum_{\gamma, k}
122: ( \epsilon^{~}_{\alpha\beta\gamma} \epsilon^{~}_{ijk} ) \; ,
123: % (4)
124: \end{equation}
125: where $(\alpha, \beta, \gamma)$ and $(i,j,k)$ run respectively
126: over $(e, \mu, \tau)$ and $(1,2,3)$. One may similarly define the unitarity
127: triangles in matter with the help of the unitarity conditions
128: \begin{eqnarray}
129: \sum_i \left (\tilde{V}^*_{\alpha i} \tilde{V}_{\beta i} \right )
130: & = & ~ \delta_{\alpha \beta} \; ,
131: \nonumber \\
132: \sum_\alpha \left (\tilde{V}^*_{\alpha i} \tilde{V}_{\alpha j} \right )
133: & = & ~ \delta_{i j} \; .
134: % (5)
135: \end{eqnarray}
136: For example, the {\it effective} counterparts of triangles $\triangle_3$
137: and $\triangle_\tau$ are denoted respectively by
138: $\tilde{\triangle}_3$ and $\tilde{\triangle}_\tau$.
139: Because of the terrestrial matter effects, the shapes of $\tilde{\Delta}_3$
140: and $\tilde{\Delta}_\tau$ are likely to be dramatically different from
141: those of $\Delta_3$ and $\Delta_\tau$. It is then possible to have
142: $|\tilde{V}_{e1} \tilde{V}^*_{\mu 1}| \sim
143: |\tilde{V}_{e2} \tilde{V}^*_{\mu 2}| \sim
144: |\tilde{V}_{e3} \tilde{V}^*_{\mu 3}|$ for some proper values of the
145: neutrino beam energy. If this speculation is really true, one will be
146: able to calculate $\tilde{\cal J}$ by using three sides of
147: $\tilde{\triangle}_\tau$.
148:
149: The purpose of this article is to carry out a systematic analysis
150: of leptonic unitarity triangles in matter. We shall derive the
151: exact analytical relations between $|V_{\alpha i}|^2$ and
152: $|\tilde{V}_{\alpha i}|^2$ for a constant matter density profile.
153: The sides of $\tilde{\triangle}_i$ (for $i=1,2,3$) and
154: $\tilde{\triangle}_\alpha$ (for $\alpha=e, \mu, \tau$) can then be
155: linked to those of $\triangle_i$ and $\triangle_\alpha$. The inner
156: angles of $\tilde{\triangle}_i$ and $\tilde{\triangle}_\alpha$
157: will also be calculated in terms of the inner angles of
158: $\triangle_i$ and $\triangle_\alpha$. In addition, we shall
159: discuss the matter-modified rephasing invariants of $V$ (such as
160: $\tilde{\cal J}$ and the off-diagonal asymmetries of $\tilde{V}$)
161: and illustrate the typical shape changes of $\tilde{\triangle}_i$
162: and $\tilde{\triangle}_\alpha$ with the neutrino beam energy in a
163: long-baseline experiment. Our results are expected to be very
164: useful for a complete study of lepton flavor mixing and CP
165: violation in the era of precision measurements.
166:
167: The remaining parts of this article are organized as follows. In section II,
168: we outline the master formulas to derive $\tilde{m}_i$ and $\tilde{V}$
169: in terms of $m_i$ and $V$. Section III is devoted to the calculation of
170: $|\tilde{V}_{\alpha i}|^2$. The analytical relations between the inner
171: angles of $\tilde{\triangle}_i$ (or $\tilde{\triangle}_\alpha$) and
172: $\triangle_i$ (or $\triangle_\alpha$) are presented in section IV.
173: Section V is devoted to illustrating the shape evolution
174: of $\tilde{\triangle}_i$ and $\tilde{\triangle}_\alpha$ with the matter
175: density. Finally, a brief summary is given in section VI.
176:
177: \section{Framework}
178:
179: In the flavor basis chosen in Eq. (1), the
180: effective Hamiltonians responsible for the propagation of neutrinos in
181: vacuum and in matter can respectively be written as
182: \begin{eqnarray}
183: {\cal H} & = & \frac{1}{2E} \left [ V
184: \left ( \matrix{
185: m^2_1 & 0 & 0 \cr
186: 0 & m^2_2 & 0 \cr
187: 0 & 0 & m^2_3 \cr} \right ) V^\dagger \right ] \; ,
188: \nonumber \\
189: \tilde{\cal H} & = & \frac{1}{2E} \left [ \tilde{V}
190: \left ( \matrix{
191: \tilde{m}^2_1 & 0 & 0 \cr
192: 0 & \tilde{m}^2_2 & 0 \cr
193: 0 & 0 & \tilde{m}^2_3 \cr} \right ) \tilde{V}^\dagger \right ] \; ;
194: % (6)
195: \end{eqnarray}
196: and their difference
197: \begin{equation}
198: \tilde{\cal H} - {\cal H} \; = \; \left ( \matrix{
199: a & 0 & 0 \cr
200: 0 & 0 & 0 \cr
201: 0 & 0 & 0 \cr} \right ) \;
202: % (7)
203: \end{equation}
204: signifies the matter effect \cite{MSW}, where $E$ denotes
205: the neutrino beam energy, $a = \sqrt{2} G_{\rm F} N_e$ measures the
206: charged-current contribution to the $\nu_e e^-$ forward scattering,
207: and $N_e$ is the background density of electrons. In writing out
208: the expression of $\tilde{\cal H}$, we have assumed that the matter
209: density profile is constant (namely, $N_e =$ constant). Such an
210: assumption is actually close to reality for most of the proposed
211: terrestrial long-baseline neutrino oscillation experiments \cite{M}.
212: In order to establish the analytical relationship between
213: $\tilde{V}_{\alpha i}$ and $V_{\alpha i}$, we define two quantities
214: \begin{eqnarray}
215: p^{~}_{\alpha \beta } & = & 2 E {\cal H}_{\alpha \beta } \; ,
216: \nonumber \\
217: q^{~}_{\alpha \beta } & = & \left (2E \right )^2 {\cal H}^{-1}
218: \det \cal H \;
219: % (8)
220: \end{eqnarray}
221: in vacuum and their effective counterparts
222: \begin{eqnarray}
223: \tilde{p}^{~}_{\alpha \beta } & = & 2 E \tilde{\cal H}_{\alpha \beta } \; ,
224: \nonumber \\
225: \tilde{q}^{~}_{\alpha \beta } & = & \left (2E \right )^2 \tilde{\cal H}^{-1}
226: \det \tilde{\cal H} \;
227: % (9)
228: \end{eqnarray}
229: in matter \cite{Kimura}, where the subscripts $\alpha$ and $\beta$
230: run over $e$, $\mu$ and $\tau$. The determinants of $\cal H$ and
231: $\tilde{\cal H}$ in Eqs. (8) and (9) are simply
232: $\det {\cal H} = m^2_1 m^2_2 m^2_3/(2E)^3$ and
233: $\det \tilde{\cal H} = \tilde{m}^2_1 \tilde{m}^2_2 \tilde{m}^2_3/(2E)^3$.
234: In terms of $m^2_i$ (or $\tilde{m}^2_i$) and $V_{\alpha i}V^*_{\beta i}$
235: (or $\tilde{V}_{\alpha i}\tilde{V}^*_{\beta i}$), one can obtain
236: \begin{eqnarray}
237: p^{~}_{\alpha \beta} & = & \sum_{i=1}^3 \left ( m^2_i
238: V_{\alpha i}V^*_{\beta i} \right ) \; ,
239: \nonumber \\
240: \tilde{p}^{~}_{\alpha \beta} & = & \sum_{i=1}^3 \left ( \tilde{m}^2_i
241: \tilde{V}_{\alpha i}\tilde{V}^*_{\beta i} \right ) \; ;
242: % (10)
243: \end{eqnarray}
244: and
245: \begin{eqnarray}
246: q^{~}_{\alpha \beta} & = & \frac{1}{2} \sum_{k=1}^3 \left (
247: m^2_i m^2_j V_{\alpha k}V^*_{\beta k} \epsilon^2_{ijk} \right ) \; ,
248: \nonumber \\
249: \tilde{q}^{~}_{\alpha \beta} & = & \frac{1}{2} \sum_{k=1}^3 \left (
250: \tilde{m}^2_i \tilde{m}^2_j \tilde{V}_{\alpha k}\tilde{V}^*_{\beta k}
251: \epsilon^2_{ijk} \right ) \; .
252: % (11)
253: \end{eqnarray}
254: Although the exact analytical relations between
255: $\tilde{V}_{\alpha i}$ and $V_{\alpha i}$ have been derived in
256: Ref. \cite{Xing00}, they are not simple enough to calculate
257: $\tilde{V}_{\alpha i} \tilde{V}^*_{\beta i}$ (or
258: $\tilde{V}_{\alpha i} \tilde{V}^*_{\alpha j}$), which are directly
259: relevant to the leptonic unitarity triangles in matter. Hence we shall
260: establish the relations between
261: $\tilde{V}_{\alpha i} \tilde{V}^*_{\beta i}$ and
262: $V_{\alpha i} V^*_{\beta i}$ in a different and simpler way.
263: Our strategy is as follows: first, we express
264: $V_{\alpha i} V^*_{\beta i}$ in terms of
265: $(p^{~}_{\alpha \beta}, q^{~}_{\alpha \beta})$ and
266: $\tilde{V}_{\alpha i} \tilde{V}^*_{\beta i}$ in terms of
267: $(\tilde{p}^{~}_{\alpha \beta}, \tilde{q}^{~}_{\alpha \beta})$;
268: second, we find out the relationship between
269: $(p^{~}_{\alpha \beta}, q^{~}_{\alpha \beta})$ and
270: $(\tilde{p}^{~}_{\alpha \beta}, \tilde{q}^{~}_{\alpha \beta})$;
271: finally, we derive the direct relations between
272: $\tilde{V}_{\alpha i} \tilde{V}^*_{\beta i}$ and
273: $V_{\alpha i} V^*_{\beta i}$.
274:
275: Eqs. (3), (5), (10) and (11) allow us to express
276: $V_{\alpha i} V^*_{\beta i}$ in terms of
277: $(p^{~}_{\alpha \beta}, q^{~}_{\alpha \beta})$ and
278: $\tilde{V}_{\alpha i} \tilde{V}^*_{\beta i}$ in terms of
279: $(\tilde{p}^{~}_{\alpha \beta}, \tilde{q}^{~}_{\alpha \beta})$.
280: To see this point more clearly, we introduce the
281: coefficient matrices $O$ and $\tilde{O}$:
282: \begin{eqnarray}
283: O & = &
284: \left ( \matrix{
285: 1 & 1 & 1 \cr
286: m_{1}^{2} & m_{2}^{2} & m_{3}^{2} \cr
287: m_{2}^{2}m_{3}^{2} & m_{1}^{2}m_{3}^{2} & m_{1}^{2}m_{2}^{2} \cr}
288: \right ) \; ,
289: \nonumber \\
290: \tilde{O} & = &
291: \left ( \matrix{
292: 1 & 1 & 1 \cr
293: \tilde{m}_{1}^{2} & \tilde{m}_{2}^{2} & \tilde{m}_{3}^{2} \cr
294: \tilde{m}_{2}^{2}\tilde{m}_{3}^{2} &
295: \tilde{m}_{1}^{2}\tilde{m}_{3}^{2} &
296: \tilde{m}_{1}^{2}\tilde{m}_{2}^{2} \cr} \right ) \; .
297: % (12)
298: \end{eqnarray}
299: Because three neutrino masses are not exactly degenerate,
300: the inverse matrices of $O$ and $\tilde{O}$ exist. Then one can
301: obtain
302: \begin{eqnarray}
303: \left ( \matrix{
304: V_{\alpha 1} V_{\beta 1}^{\ast} \cr
305: V_{\alpha 2} V_{\beta 2}^{\ast} \cr
306: V_{\alpha 3} V_{\beta 3}^{\ast} \cr} \right )
307: & = & O^{-1}
308: \left ( \matrix{
309: \delta_{\alpha \beta} \cr
310: p_{\alpha \beta} \cr
311: q_{\alpha \beta} \cr} \right ) \; ,
312: \nonumber \\
313: \left ( \matrix{
314: \tilde{V}_{\alpha 1} \tilde{V}_{\beta 1}^{\ast} \cr
315: \tilde{V}_{\alpha 2} \tilde{V}_{\beta 2}^{\ast} \cr
316: \tilde{V}_{\alpha 3} \tilde{V}_{\beta 3}^{\ast} \cr} \right )
317: & = & \tilde{O}^{-1}
318: \left ( \matrix{
319: \delta_{\alpha \beta} \cr
320: \tilde{p}_{\alpha \beta} \cr
321: \tilde{q}_{\alpha \beta} \cr} \right ) \; .
322: % (13)
323: \end{eqnarray}
324: Taking account of Eqs. (6) and (7), we find that
325: $(p^{~}_{\alpha \beta}, q^{~}_{\alpha \beta})$
326: and $(\tilde{p}^{~}_{\alpha \beta}, \tilde{q}^{~}_{\alpha \beta})$
327: are connected with each other through
328: \begin{eqnarray}
329: \tilde{p}^{~}_{\alpha \beta} & = & p^{~}_{\alpha \beta} +
330: A \left ( \matrix{
331: 1 & ~ 0 ~ & 0 \cr
332: 0 & ~ 0 ~ & 0 \cr
333: 0 & ~ 0 ~ & 0 \cr} \right ) \; ,
334: \nonumber \\
335: \tilde{q}^{~}_{\alpha \beta} & = & q^{~}_{\alpha \beta } +
336: A \left ( \matrix{
337: 0 & 0 & 0 \cr
338: 0 & p^{~}_{\tau \tau} & -p^{~}_{\tau \mu} \cr
339: 0 & -p^{~}_{\mu \tau} & p^{~}_{\mu \mu} \cr} \right ) \; ,
340: % (14)
341: \end{eqnarray}
342: where $A\equiv 2Ea$. A combination of Eqs. (13) and (14) will
343: lead to the direct relations between
344: $\tilde{V}_{\alpha i} \tilde{V}^*_{\beta i}$ and
345: $V_{\alpha i} V^*_{\beta i}$, as one can see in the subsequent
346: sections. The usefulness of Eqs. (10)--(14) for discussing the
347: matter-induced properties of lepton flavor mixing and CP violation
348: has partly shown up in the literature (see, e.g.,
349: Refs. \cite{Xreview,Kimura,Xing01,HS}) and will be further
350: demonstrated in the following.
351:
352: It is worth mentioning that the generic results obtained above are
353: only valid for neutrinos propagating in vacuum and in matter. As for
354: antineutrinos, the corresponding formulas can straightforwardly
355: be written out from Eqs. (6)--(14) through the replacements
356: $V\Longrightarrow V^*$ and $A\Longrightarrow -A$.
357:
358: \section{Moduli ($\alpha = \beta$)}
359:
360: We first derive the relations between $|\tilde{V}_{\alpha i}|^2$
361: and $|V_{\alpha i}|^2$ by taking $\alpha = \beta$ for Eq. (13).
362: Once Eq. (14) is taken into account, we may concretely obtain
363: \begin{eqnarray}
364: \left( \matrix{
365: |\tilde{V}_{e1}|^{2} \cr
366: |\tilde{V}_{e2}|^{2} \cr
367: |\tilde{V}_{e3}|^{2} \cr} \right)
368: & = & \tilde{O}^{-1}O \left( \matrix{
369: |V_{e1}|^{2} \cr
370: |V_{e2}|^{2} \cr
371: |V_{e3}|^{3} \cr} \right)
372: + A\tilde{O}^{-1} \left( \matrix{
373: 0 \cr
374: 1 \cr
375: 0 \cr} \right) \; ,
376: \nonumber \\
377: \left( \matrix{
378: |\tilde{V}_{\mu 1}|^{2} \cr
379: |\tilde{V}_{\mu 2}|^{2} \cr
380: |\tilde{V}_{\mu 3}|^{2} \cr} \right)
381: & = & \tilde{O}^{-1}O \left( \matrix{
382: |V_{\mu 1}|^{2} \cr
383: |V_{\mu 2}|^{2} \cr
384: |V_{\mu 3}|^{3} \cr} \right)
385: + A\tilde{O}^{-1}T \left( \matrix{
386: |V_{\tau 1}|^{2} \cr
387: |V_{\tau 2}|^{2} \cr
388: |V_{\tau 3}|^{2} \cr}\right) \; ,
389: \nonumber \\
390: \left( \matrix{ |\tilde{V}_{\tau 1}|^{2} \cr
391: |\tilde{V}_{\tau 2}|^{2} \cr
392: |\tilde{V}_{\tau 3}|^{2} \cr} \right)
393: & = & \tilde{O}^{-1}O \left( \matrix{
394: |V_{\tau 1}|^{2} \cr
395: |V_{\tau 2}|^{2} \cr
396: |V_{\tau 3}|^{2} \cr} \right)
397: + A\tilde{O}^{-1}T \left( \matrix{
398: |V_{\mu 1}|^{2} \cr
399: |V_{\mu 2}|^{2} \cr
400: |V_{\mu 3}|^{3} \cr} \right) \; ,
401: % (15)
402: \end{eqnarray}
403: where $T$ is defined as
404: \begin{equation}
405: T \; = \; \left( \matrix{
406: 0 & 0 & 0 \cr
407: 0 & 0 & 0 \cr
408: m_{1}^{2} & m_{2}^{2} & m_{3}^{2} \cr} \right) \; .
409: % (16)
410: \end{equation}
411: In Eq. (15), the inverse matrix of $\tilde{O}$ reads
412: \begin{equation}
413: \tilde{O}^{-1} \; =\; \frac{1}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{23}
414: \widetilde{\Delta}_{31}}
415: \left( \matrix{
416: \tilde{m}_{1}^{2}\widetilde{\Delta}_{23}(\tilde{m}_{2}^{2} +
417: \tilde{m}_{3}^{2})
418: & \tilde{m}_{1}^{2}\widetilde{\Delta}_{23}
419: & \widetilde{\Delta}_{23} \cr
420: \tilde{m}_{2}^{2}\widetilde{\Delta}_{31}(\tilde{m}_{1}^{2} +
421: \tilde{m}_{3}^{2})
422: & \tilde{m}_{2}^{2}\widetilde{\Delta}_{31}
423: & \widetilde{\Delta}_{31} \cr
424: \tilde{m}_{3}^{2}\widetilde{\Delta}_{12}(\tilde{m}_{1}^{2} +
425: \tilde{m}_{2}^{2})
426: & \tilde{m}_{3}^{2}\widetilde{\Delta}_{12}
427: & \widetilde{\Delta}_{12} \cr} \right) \; ,
428: % (17)
429: \end{equation}
430: where $\widetilde{\Delta}_{ij} \equiv \tilde{m}^2_i - \tilde{m}^2_j$.
431: With the help of Eqs. (3) and (5) as well as the relationship \cite{Xreview}
432: \begin{equation}
433: \sum_{i=1}^{3}\tilde{m}_{i}^{2} \; = \; \sum_{i=1}^{3}
434: m_{i}^{2} + A \; ,
435: % (18)
436: \end{equation}
437: we solve Eq. (15) and arrive at
438: \begin{eqnarray}
439: |\tilde{V}_{e1}|^{2} & = & \frac{\Delta_{31}\widehat{\Delta}_{21}}
440: {\widetilde{\Delta}_{31}\widetilde{\Delta}_{21}}|V_{e1}|^{2} +
441: \frac{\Delta_{32}\widehat{\Delta}_{11}}{\widetilde{\Delta}_{12}
442: \widetilde{\Delta}_{13}}|V_{e2}|^{2}+\frac{\widehat{\Delta}_{11}
443: \widehat{\Delta}_{21}}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}} \ ,
444: \nonumber \\
445: |\tilde{V}_{e2}|^{2} & = & \frac{\Delta_{12}\widehat{\Delta}_{32}}
446: {\widetilde{\Delta}_{12}\widetilde{\Delta}_{32}}|V_{e2}|^{2} +
447: \frac{\Delta_{13}\widehat{\Delta}_{22}}{\widetilde{\Delta}_{21}
448: \widetilde{\Delta}_{23}}|V_{e3}|^{2}+\frac{\widehat{\Delta}_{22}
449: \widehat{\Delta}_{32}}{\widetilde{\Delta}_{21}\widetilde{\Delta}_{23}} \ ,
450: \nonumber \\
451: |\tilde{V}_{e3}|^{2} & = & \frac{\Delta_{23}\widehat{\Delta}_{13}}
452: {\widetilde{\Delta}_{23}\widetilde{\Delta}_{13}}|V_{e3}|^{2} +
453: \frac{\Delta_{21}\widehat{\Delta}_{33}}{\widetilde{\Delta}_{31}
454: \widetilde{\Delta}_{32}}|V_{e1}|^{2}+\frac{\widehat{\Delta}_{33}
455: \widehat{\Delta}_{13}}{\widetilde{\Delta}_{31} \widetilde{\Delta}_{32}} \ ;
456: % (19)
457: \end{eqnarray}
458: and
459: \begin{eqnarray}
460: |\tilde{V}_{\mu 1}|^{2} & = & \frac{\Delta_{31}\widehat{\Delta}_{21}}
461: {\widetilde{\Delta}_{31}\widetilde{\Delta}_{21}}|V_{\mu 1}|^{2} +
462: \frac{\Delta_{32}\widehat{\Delta}_{11}}{\widetilde{\Delta}_{12}
463: \widetilde{\Delta}_{13}}|V_{\mu 2}|^{2}+\frac{A\Delta_{13}}
464: {\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}}|V_{\tau 1}|^{2} +
465: \frac{A\Delta_{23}}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}}
466: |V_{\tau 2}|^{2} + C_{1} \ ,
467: \nonumber \\
468: |\tilde{V}_{\mu 2}|^{2} & = & \frac{\Delta_{12}\widehat{\Delta}_{32}}
469: {\widetilde{\Delta}_{12}\widetilde{\Delta}_{32}}|V_{\mu 2}|^{2} +
470: \frac{\Delta_{13}\widehat{\Delta}_{22}}{\widetilde{\Delta}_{21}
471: \widetilde{\Delta}_{23}}|V_{\mu 3}|^{2}+\frac{A\Delta_{21}}
472: {\widetilde{\Delta}_{21}\widetilde{\Delta}_{23}}|V_{\tau 2}|^{2} +
473: \frac{A\Delta_{31}}{\widetilde{\Delta}_{21}\widetilde{\Delta}_{23}}
474: |V_{\tau 3}|^{2} + C_{2} \ ,
475: \nonumber \\
476: |\tilde{V}_{\mu 3}|^{2} & = & \frac{\Delta_{23}\widehat{\Delta}_{13}}
477: {\widetilde{\Delta}_{23}\widetilde{\Delta}_{13}}|V_{\mu 3}|^{2} +
478: \frac{\Delta_{21}\widehat{\Delta}_{33}}{\widetilde{\Delta}_{31}
479: \widetilde{\Delta}_{32}}|V_{\mu 1}|^{2}+\frac{A\Delta_{32}}
480: {\widetilde{\Delta}_{31}\widetilde{\Delta}_{32}}|V_{\tau 3}|^{2} +
481: \frac{A\Delta_{12}}{\widetilde{\Delta}_{31}\widetilde{\Delta}_{32}}
482: |V_{\tau 1}|^{2} + C_{3} \ ;
483: % (20)
484: \end{eqnarray}
485: and
486: \begin{eqnarray}
487: |\tilde{V}_{\tau 1}|^{2} & = & \frac{\Delta_{31}\widehat{\Delta}_{21}}
488: {\widetilde{\Delta}_{31}\widetilde{\Delta}_{21}}|V_{\tau 1}|^{2} +
489: \frac{\Delta_{32}\widehat{\Delta}_{11}}{\widetilde{\Delta}_{12}
490: \widetilde{\Delta}_{13}}|V_{\tau 2}|^{2}+\frac{A\Delta_{13}}
491: {\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}}|V_{\mu 1}|^{2} +
492: \frac{A\Delta_{23}}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}}
493: |V_{\mu 2}|^{2} + C_{1} \ ,
494: \nonumber \\
495: |\tilde{V}_{\tau 2}|^{2} & = & \frac{\Delta_{12}\widehat{\Delta}_{32}}
496: {\widetilde{\Delta}_{12}\widetilde{\Delta}_{32}}|V_{\tau 2}|^{2} +
497: \frac{\Delta_{13}\widehat{\Delta}_{22}}{\widetilde{\Delta}_{21}
498: \widetilde{\Delta}_{23}}|V_{\tau 3}|^{2}+\frac{A\Delta_{21}}
499: {\widetilde{\Delta}_{21}\widetilde{\Delta}_{23}}|V_{\mu 2}|^{2} +
500: \frac{A\Delta_{31}}{\widetilde{\Delta}_{21}\widetilde{\Delta}_{23}}
501: |V_{\mu 3}|^{2} + C_{2} \ ,
502: \nonumber \\
503: |\tilde{V}_{\tau 3}|^{2} & = &\frac{\Delta_{23}\widehat{\Delta}_{13}}
504: {\widetilde{\Delta}_{23}\widetilde{\Delta}_{13}}|V_{\tau 3}|^{2} +
505: \frac{\Delta_{21}\widehat{\Delta}_{33}}{\widetilde{\Delta}_{31}
506: \widetilde{\Delta}_{32}}|V_{\tau 1}|^{2}+\frac{A\Delta_{32}}
507: {\widetilde{\Delta}_{31}\widetilde{\Delta}_{32}}|V_{\mu 3}|^{2} +
508: \frac{A\Delta_{12}}{\widetilde{\Delta}_{31}\widetilde{\Delta}_{32}}
509: |V_{\mu 1}|^{2} + C_{3} \ ,
510: % (21)
511: \end{eqnarray}
512: where $\Delta_{ij} \equiv m^2_i - m^2_j$,
513: $\widehat{\Delta}_{ij} \equiv m^2_i - \tilde{m}^2_j$, and
514: \begin{eqnarray}
515: C_{1} & = & -\frac{\Delta_{31}\Delta_{23}+\widehat{\Delta}_{31}
516: \widehat{\Delta}_{32}+\widehat{\Delta}_{31}\widehat{\Delta}_{33}}
517: {\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}} \ ,
518: \nonumber \\
519: C_{2} & = & -\frac{\Delta_{12}\Delta_{31}+\widehat{\Delta}_{12}
520: \widehat{\Delta}_{13}+\widehat{\Delta}_{12}\widehat{\Delta}_{11}}
521: {\widetilde{\Delta}_{21}\widetilde{\Delta}_{23}} \ ,
522: \nonumber \\
523: C_{3} & = & -\frac{\Delta_{23}\Delta_{12}+\widehat{\Delta}_{23}
524: \widehat{\Delta}_{21}+\widehat{\Delta}_{23}\widehat{\Delta}_{22}}
525: {\widetilde{\Delta}_{31}\widetilde{\Delta}_{32}} \ .
526: % (22)
527: \end{eqnarray}
528: In appendix A, we list the explicit expressions of
529: $\widetilde{\Delta}_{ij}$ and $\widehat{\Delta}_{ij}$ in terms of
530: $\Delta_{ij}$ and $A$. It is then possible to evaluate the deviation of
531: $|\tilde{V}_{\alpha i}|^2$ from $|V_{\alpha i}|^2$ by using
532: the formulas obtained above. Of course,
533: $|\tilde{V}_{\alpha i}|^2 = |V_{\alpha i}|^2$ holds at the
534: limit $A \rightarrow 0$ or $E \rightarrow 0$.
535:
536: Two sets of normalization conditions given in Eq. (5) allow us to
537: define two off-diagonal asymmetries of $\tilde{V}$:
538: \begin{eqnarray}
539: \tilde{\cal A}_{\rm L} & \equiv &
540: |\tilde{V}_{e2}|^{2}-|\tilde{V}_{\mu 1}|^{2} =
541: |\tilde{V}_{\mu 3}|^{2}-|\tilde{V}_{\tau 2}|^{2} =
542: |\tilde{V}_{\tau 1}|^{2}-|\tilde{V}_{e3}|^{2} \ ,
543: \nonumber \\
544: \tilde{\cal A}_{\rm R} & \equiv &
545: |\tilde{V}_{e2}|^{2}-|\tilde{V}_{\mu 3}|^{2} =
546: |\tilde{V}_{\mu 1}|^{2}-|\tilde{V}_{\tau 2}|^{2} =
547: |\tilde{V}_{\tau 3}|^{2}-|\tilde{V}_{e1}|^{2} \ .
548: % (23)
549: \end{eqnarray}
550: They can straightforwardly be calculated by using Eqs. (19), (20) and (21).
551: Comparing between $\tilde{\cal A}_{\rm L}$ (or $\tilde{\cal A}_{\rm R}$)
552: and its counterpart ${\cal A}_{\rm L}$ (or ${\cal A}_{\rm R}$) in vacuum,
553: we may examine the matter effect on the geometric structure
554: of $V$. In particular, the six matter-modified unitarity triangles will
555: reduce to three pairs of {\it congruent} triangles \cite{Xing02}, if
556: $\tilde{\cal A}_{\rm L}=0$ or $\tilde{\cal A}_{\rm R} = 0$ holds.
557:
558: The sides of six unitarity triangles can also be
559: obtained from Eqs. (19), (20) and (21). If three sides of a specific
560: triangle are comparable in magnitude, one may use them to calculate
561: the area of this triangle -- namely, the CP-violating invariant
562: $\tilde{\cal J}$. Indeed, $\tilde{\cal J}$ is given by
563: \begin{eqnarray}
564: \tilde{\cal J}^2 & = & |\tilde{V}_{\alpha i}|^2 |\tilde{V}_{\beta j}|^2
565: |\tilde{V}_{\alpha j}|^2 |\tilde{V}_{\beta i} |^2 -
566: \frac{1}{4} \left (1 + |\tilde{V}_{\alpha i}|^2 |\tilde{V}_{\beta j}|^2
567: + |\tilde{V}_{\alpha j}|^2 |\tilde{V}_{\beta i}|^2 \right .
568: \nonumber \\
569: & & \left . - |\tilde{V}_{\alpha i}|^2 - |\tilde{V}_{\beta j}|^2
570: - |\tilde{V}_{\alpha j}|^2 - |\tilde{V}_{\beta i}|^2 \right )^2 \; ,
571: % (24)
572: \end{eqnarray}
573: in which $\alpha \neq \beta$ running over $(e, \mu, \tau)$ and
574: $i \neq j$ running over $(1, 2, 3)$. The implication of this result is
575: obvious: important information about leptonic CP violation can in
576: principle be extracted from the measured moduli of four independent
577: matrix elements of $\tilde{V}$.
578:
579: \section{Angles ($\alpha \neq \beta$)}
580:
581: Now let us focus our attention on the inner angles of six unitarity
582: triangles. There are only 9 independent angles, which appear either
583: in triangles $\triangle_{e,\mu,\tau}$ or in triangles $\triangle_{1,2,3}$
584: (see Fig. 1 for illustration). Hence it is only necessary to consider
585: $(\triangle_e, \triangle_\mu, \triangle_\tau)$ and their effective
586: counterparts
587: $(\tilde{\triangle}_e, \tilde{\triangle}_\mu, \tilde{\triangle}_\tau)$
588: in the calculation of 9 angles. To be specific, an inner angle of
589: $\Delta_\alpha$ or $\tilde{\Delta}_\alpha$ (for $\alpha = e, \mu$ or
590: $\tau$) can be defined as
591: \begin{eqnarray}
592: \phi^{ij}_{\alpha\beta} & \equiv & \arg \left (
593: - \frac{V_{\alpha i}V^*_{\beta i}}{V_{\alpha j}V^*_{\beta j}} \right ) \; ,
594: \nonumber \\
595: \tilde{\phi}^{ij}_{\alpha\beta} & \equiv & \arg \left (
596: - \frac{\tilde{V}_{\alpha i}\tilde{V}^*_{\beta i}}{\tilde{V}_{\alpha j}
597: \tilde{V}^*_{\beta j}} \right ) \; ,
598: % (25)
599: \end{eqnarray}
600: where $(\alpha,\beta)$ run over $(e,\mu)$, $(\mu ,\tau)$ and
601: $(\tau ,e)$, and $(i,j)$ run over $(1,2)$, $(2,3)$ and $(3,1)$. Taking
602: account of Eqs. (2) and (4), we obtain
603: \begin{eqnarray}
604: \cot\phi^{ij}_{\alpha\beta} & = & \frac{1}{\cal J}
605: {\rm Re}\left (V_{\alpha i} V_{\beta j} V^*_{\alpha j}
606: V^*_{\beta i} \right ) \; ,
607: \nonumber \\
608: \cot\tilde{\phi}^{ij}_{\alpha\beta} & = & \frac{1}{\tilde{\cal J}}
609: {\rm Re}\left (\tilde{V}_{\alpha i} \tilde{V}_{\beta j}
610: \tilde{V}^*_{\alpha j} \tilde{V}^*_{\beta i} \right ) \; .
611: % (26)
612: \end{eqnarray}
613: Note that $\cal J$ and $\tilde{\cal J}$ are related with each other
614: through the equation \cite{Naumov}
615: \begin{equation}
616: \tilde{\cal J} \widetilde{\Delta}_{12}\widetilde{\Delta}_{13}
617: \widetilde{\Delta}_{23} \; = \; {\cal J}
618: \Delta_{12}\Delta_{13}\Delta_{23} \;\; . ~~
619: % (27)
620: \end{equation}
621: In order to link $\cot\tilde{\phi}^{ij}_{\alpha\beta}$ to
622: $\cot\phi^{ij}_{\alpha\beta}$ via Eq. (26), we need to find
623: out the relationship between ${\rm Re}(\tilde{V}_{\alpha i}
624: \tilde{V}_{\beta j} \tilde{V}^*_{\alpha j} \tilde{V}^*_{\beta i})$
625: and ${\rm Re} (V_{\alpha i} V_{\beta j} V^*_{\alpha j} V^*_{\beta i})$.
626:
627: For $\alpha \neq \beta$, Eqs. (13) and (14) yield
628: \begin{eqnarray}
629: \left( \matrix{
630: \tilde{V}_{e1}\tilde{V}_{\mu 1}^{\ast} \cr
631: \tilde{V}_{e2}\tilde{V}_{\mu 2}^{\ast} \cr
632: \tilde{V}_{e3}\tilde{V}_{\mu 3}^{\ast} \cr} \right)
633: & = & \tilde{O}^{-1}O \left( \matrix{
634: V_{e1}V_{\mu 1}^{\ast} \cr
635: V_{e2}V_{\mu 2}^{\ast} \cr
636: V_{e3}V_{\mu 3}^{\ast} \cr} \right) \ ,
637: \nonumber \\
638: \left( \matrix{ \tilde{V}_{e1}\tilde{V}_{\tau 1}^{\ast} \cr
639: \tilde{V}_{e2}\tilde{V}_{\tau 2}^{\ast} \cr
640: \tilde{V}_{e3}\tilde{V}_{\tau 3}^{\ast} \cr} \right) & = &
641: \tilde{O}^{-1}O \left( \matrix{ V_{e1}V_{\tau 1}^{\ast} \cr
642: V_{e2}V_{\tau 2}^{\ast} \cr V_{e3}V_{\tau 3}^{\ast} \cr} \right) \
643: ,
644: \nonumber \\
645: \left( \matrix{ \tilde{V}_{\mu 1}\tilde{V}_{\tau 1}^{\ast} \cr
646: \tilde{V}_{\mu 2}\tilde{V}_{\tau 2}^{\ast} \cr \tilde{V}_{\mu
647: 3}\tilde{V}_{\tau 3}^{\ast} \cr} \right) & = & \tilde{O}^{-1}O
648: \left( \matrix{ V_{\mu 1}V_{\tau 1}^{\ast} \cr V_{\mu 2}V_{\tau
649: 2}^{\ast} \cr V_{\mu 3}V_{\tau 3}^{\ast} \cr} \right) -
650: A\tilde{O}^{-1}T \left( \matrix{ V_{\mu 1}V_{\tau 1}^{\ast} \cr
651: V_{\mu 2}V_{\tau 2}^{\ast} \cr V_{\mu 3}V_{\tau 3}^{\ast} \cr}
652: \right) \ ,
653: % (28)
654: \end{eqnarray}
655: where $T$ has been defined in Eq. (16). With the help of
656: Eqs. (17) and (18), one may solve Eq. (28) and obtain the
657: matter-induced corrections to $V_{\alpha i}V^*_{\beta i}$.
658: Three sides of the effective unitarity triangle
659: $\tilde{\triangle}_{e}$, $\tilde{\triangle}_{\mu}$ or
660: $\tilde{\triangle}_{\tau}$ are then given by
661: \begin{eqnarray}
662: \tilde{V}_{e1}\tilde{V}_{\mu 1}^{\ast}
663: & = & \frac{\widehat{\Delta}_{21}\Delta_{31}}{\widetilde{\Delta}_{21}
664: \widetilde{\Delta}_{31}}V_{e1}V_{\mu 1}^{\ast}+\frac{\widehat{\Delta}_{11}
665: \Delta_{32}}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}}
666: V_{e2}V_{\mu 2}^{\ast} \ ,
667: \nonumber \\
668: \tilde{V}_{e2}\tilde{V}_{\mu 2}^{\ast}
669: & = & \frac{\widehat{\Delta}_{32}\Delta_{21}}{\widetilde{\Delta}_{32}
670: \widetilde{\Delta}_{21}}V_{e2}V_{\mu 2}^{\ast}+\frac{\widehat{\Delta}_{22}
671: \Delta_{31}}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{23}}
672: V_{e3}V_{\mu 3}^{\ast} \ ,
673: \nonumber \\
674: \tilde{V}_{e3}\tilde{V}_{\mu 3}^{\ast}
675: & = & \frac{\widehat{\Delta}_{13}\Delta_{23}}{\widetilde{\Delta}_{13}
676: \widetilde{\Delta}_{23}}V_{e3}V_{\mu 3}^{\ast}+\frac{\widehat{\Delta}_{33}
677: \Delta_{21}}{\widetilde{\Delta}_{13}\widetilde{\Delta}_{23}}
678: V_{e1}V_{\mu 1}^{\ast}
679: % (29)
680: \end{eqnarray}
681: for $\tilde{\triangle}_{\tau}$; and
682: \begin{eqnarray}
683: \tilde{V}_{\tau 1}\tilde{V}_{e 1}^{\ast}
684: & = & \frac{\widehat{\Delta}_{21}\Delta_{31}}{\widetilde{\Delta}_{21}
685: \widetilde{\Delta}_{31}}V_{\tau 1}V_{e 1}^{\ast}+\frac{\widehat{\Delta}_{11}
686: \Delta_{32}}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{13}}
687: V_{\tau 2}V_{e 2}^{\ast} \ ,
688: \nonumber \\
689: \tilde{V}_{\tau 2}\tilde{V}_{e 2}^{\ast}
690: & = & \frac{\widehat{\Delta}_{32}\Delta_{21}}{\widetilde{\Delta}_{32}
691: \widetilde{\Delta}_{21}}V_{\tau 2}V_{e 2}^{\ast}+\frac{\widehat{\Delta}_{22}
692: \Delta_{31}}{\widetilde{\Delta}_{12}\widetilde{\Delta}_{23}}
693: V_{\tau 3}V_{e 3}^{\ast} \ ,
694: \nonumber \\
695: \tilde{V}_{\tau 3}\tilde{V}_{e 3}^{\ast}
696: & = & \frac{\widehat{\Delta}_{13}\Delta_{23}}{\widetilde{\Delta}_{13}
697: \widetilde{\Delta}_{23}}V_{\tau 3}V_{e 3}^{\ast}+\frac{\widehat{\Delta}_{33}
698: \Delta_{21}}{\widetilde{\Delta}_{13}\widetilde{\Delta}_{23}}
699: V_{\tau 1}V_{e 1}^{\ast}
700: % (30)
701: \end{eqnarray}
702: for $\tilde{\triangle}_{\mu}$; and
703: \begin{eqnarray}
704: \tilde{V}_{\mu 1}\tilde{V}_{\tau 1}^{\ast}
705: & = & \frac{(\widehat{\Delta}_{21}+A)\Delta_{31}}{\widetilde{\Delta}_{21}
706: \widetilde{\Delta}_{31}}V_{\mu 1}V_{\tau 1}^{\ast}+
707: \frac{(\widehat{\Delta}_{11}+A)\Delta_{32}}{\widetilde{\Delta}_{12}
708: \widetilde{\Delta}_{13}}V_{\mu 2}V_{\tau 2}^{\ast} \ ,
709: \nonumber \\
710: \tilde{V}_{\mu 2}\tilde{V}_{\tau 2}^{\ast}
711: & = & \frac{(\widehat{\Delta}_{32}+A)\Delta_{21}}{\widetilde{\Delta}_{32}
712: \widetilde{\Delta}_{21}}V_{\mu 2}V_{\tau 2}^{\ast}+
713: \frac{(\widehat{\Delta}_{22}+A)\Delta_{31}}{\widetilde{\Delta}_{12}
714: \widetilde{\Delta}_{23}}V_{\mu 3}V_{\tau 3}^{\ast} \ ,
715: \nonumber \\
716: \tilde{V}_{\mu 3}\tilde{V}_{\tau 3}^{\ast}
717: & = & \frac{(\widehat{\Delta}_{13}+A)\Delta_{23}}{\widetilde{\Delta}_{13}
718: \widetilde{\Delta}_{23}}V_{\mu 3}V_{\tau 3}^{\ast}+
719: \frac{(\widehat{\Delta}_{33}+A)\Delta_{21}}{\widetilde{\Delta}_{13}
720: \widetilde{\Delta}_{23}} V_{\mu 1}V_{\tau 1}^{\ast}
721: % (31)
722: \end{eqnarray}
723: for $\tilde{\triangle}_e$. It is remarkable that Eq. (29), (30) or (31),
724: together with Eqs. (2) and (4), can be used to derive Eq. (27).
725: The relationship between ${\rm Re}(\tilde{V}_{\alpha i}
726: \tilde{V}_{\beta j} \tilde{V}^*_{\alpha j} \tilde{V}^*_{\beta i})$
727: and ${\rm Re} (V_{\alpha i} V_{\beta j} V^*_{\alpha j} V^*_{\beta i})$
728: can also be derived from these equations. Then we are able to
729: establish the direct connection between
730: $\cot\tilde{\phi}^{ij}_{\alpha\beta}$ and $\cot\phi^{ij}_{\alpha\beta}$.
731:
732: Comparing between the definition of $\phi^{ij}_{\alpha\beta}$ and the
733: simpler notation of nine inner angles in Fig. 1, we have
734: $\angle 1 = \phi^{12}_{\mu\tau}$,
735: $\angle 2 = \phi^{23}_{\mu\tau}$,
736: $\angle 3 = \phi^{31}_{\mu\tau}$;
737: $\angle 4 = \phi^{12}_{\tau e}$,
738: $\angle 5 = \phi^{23}_{\tau e}$,
739: $\angle 6 = \phi^{31}_{\tau e}$;
740: $\angle 7 = \phi^{12}_{e \mu}$,
741: $\angle 8 = \phi^{23}_{e \mu}$,
742: $\angle 9 = \phi^{31}_{e \mu}$.
743: One may use the similar notation ($\widetilde{\angle} 1$,
744: $\cdot\cdot\cdot$, $\widetilde{\angle} 9$) to replace
745: $\tilde{\phi}^{ij}_{\alpha\beta}$ for the matter-modified unitarity
746: triangles. Therefore,
747: \begin{eqnarray}
748: \cot \widetilde{\angle} 1 & = &
749: \frac{(\widehat{\Delta}_{32}+A)(\widehat{\Delta}_{21}+A)}
750: {\Delta_{32}\widetilde{\Delta}_{21}}\cot\angle 1 +
751: \frac{(\widehat{\Delta}_{11}+A)(\widehat{\Delta}_{22}+A)}
752: {\Delta_{12}\widetilde{\Delta}_{12}}\cot\angle 2
753: \nonumber \\
754: && + \frac{(\widehat{\Delta}_{21}+A)(\widehat{\Delta}_{22}+A)\Delta_{13}}
755: {\Delta_{12}\Delta_{23}\widetilde{\Delta}_{12}}\cot\angle 3 +
756: \frac{(\widehat{\Delta}_{11}+A)(\widehat{\Delta}_{32}+A)}
757: {{\cal J} \Delta_{31}\widetilde{\Delta}_{12}}
758: |V_{\mu 2}V_{\tau 2}^{*}|^{2} \ ,
759: \nonumber \\
760: \cot \widetilde{\angle} 2 & = &
761: \frac{(\widehat{\Delta}_{13}+A)(\widehat{\Delta}_{32}+A)}
762: {\Delta_{13}\widetilde{\Delta}_{32}}\cot\angle 2 +
763: \frac{(\widehat{\Delta}_{22}+A)(\widehat{\Delta}_{33}+A)}
764: {\Delta_{23}\widetilde{\Delta}_{23}}\cot\angle 3
765: \nonumber \\
766: && + \frac{(\widehat{\Delta}_{32}+A)(\widehat{\Delta}_{33}+A)\Delta_{21}}
767: {\Delta_{23}\Delta_{31}\widetilde{\Delta}_{23}}\cot\angle 1 +
768: \frac{(\widehat{\Delta}_{22}+A)(\widehat{\Delta}_{13}+A)}
769: {{\cal J}\Delta_{12}\widetilde{\Delta}_{23}}
770: |V_{\mu 3}V_{\tau 3}^{*}|^{2} \ ,
771: \nonumber \\
772: \cot \widetilde{\angle} 3 & = &
773: \frac{(\widehat{\Delta}_{21}+A)(\widehat{\Delta}_{13}+A)}
774: {\Delta_{21}\widetilde{\Delta}_{13}}\cot\angle 3 +
775: \frac{(\widehat{\Delta}_{11}+A)(\widehat{\Delta}_{33}+A)}
776: {\Delta_{31}\widetilde{\Delta}_{31}}\cot\angle 1
777: \nonumber \\
778: && + \frac{(\widehat{\Delta}_{11}+A)(\widehat{\Delta}_{13}+A)\Delta_{32}}
779: {\Delta_{12}\Delta_{31}\widetilde{\Delta}_{31}}\cot\angle 2 +
780: \frac{(\widehat{\Delta}_{21}+A)(\widehat{\Delta}_{33}+A)}
781: {{\cal J}\Delta_{23}\widetilde{\Delta}_{31}}
782: |V_{\mu 1}V_{\tau 1}^{*}|^{2} \; ;
783: % (32)
784: \end{eqnarray}
785: and
786: \begin{eqnarray}
787: \cot \widetilde{\angle} 4 & = &
788: \frac{\widehat{\Delta}_{32}\widehat{\Delta}_{21}}
789: {\Delta_{32}\widetilde{\Delta}_{21}}\cot\angle 4 +
790: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{22}}
791: {\Delta_{12}\widetilde{\Delta}_{12}}\cot\angle 5 +
792: \frac{\widehat{\Delta}_{21}\widehat{\Delta}_{22}\Delta_{13}}
793: {\Delta_{12}\Delta_{23}\widetilde{\Delta}_{12}}\cot\angle 6 +
794: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{32}}
795: {{\cal J}\Delta_{31}\widetilde{\Delta}_{12}}
796: |V_{\tau 2}V_{e2}^{*}|^{2} \ ,
797: \nonumber \\
798: \cot \widetilde{\angle} 5 & = &
799: \frac{\widehat{\Delta}_{13}\widehat{\Delta}_{32}}
800: {\Delta_{13}\widetilde{\Delta}_{32}}\cot\angle 5 +
801: \frac{\widehat{\Delta}_{22}\widehat{\Delta}_{33}}
802: {\Delta_{23}\widetilde{\Delta}_{23}}\cot\angle 6 +
803: \frac{\widehat{\Delta}_{32}\widehat{\Delta}_{33}\Delta_{21}}
804: {\Delta_{23}\Delta_{31}\widetilde{\Delta}_{23}}\cot\angle 4 +
805: \frac{\widehat{\Delta}_{22}\widehat{\Delta}_{13}}
806: {{\cal J}\Delta_{12}\widetilde{\Delta}_{23}}
807: |V_{\tau 3}V_{e3}^{*}|^{2} \ ,
808: \nonumber \\
809: \cot \widetilde{\angle} 6 & = &
810: \frac{\widehat{\Delta}_{21}\widehat{\Delta}_{13}}
811: {\Delta_{21}\widetilde{\Delta}_{13}}\cot\angle 6 +
812: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{33}}
813: {\Delta_{31}\widetilde{\Delta}_{31}}\cot\angle 4 +
814: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{13}\Delta_{32}}
815: {\Delta_{12}\Delta_{31}\widetilde{\Delta}_{31}}\cot\angle 5 +
816: \frac{\widehat{\Delta}_{21}\widehat{\Delta}_{33}}
817: {{\cal J}\Delta_{23}\widetilde{\Delta}_{31}}
818: |V_{\tau 1}V_{e1}^{*}|^{2} \ ;
819: % (33)
820: \end{eqnarray}
821: and
822: \begin{eqnarray}
823: \cot \widetilde{\angle} 7 & = &
824: \frac{\widehat{\Delta}_{32}\widehat{\Delta}_{21}}
825: {\Delta_{32}\widetilde{\Delta}_{21}}\cot\angle 7 +
826: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{22}}
827: {\Delta_{12}\widetilde{\Delta}_{12}}\cot\angle 8 +
828: \frac{\widehat{\Delta}_{21}\widehat{\Delta}_{22}\Delta_{13}}
829: {\Delta_{12}\Delta_{23}\widetilde{\Delta}_{12}}\cot\angle 9 +
830: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{32}}
831: {{\cal J}\Delta_{31}\widetilde{\Delta}_{12}}
832: |V_{e2}V_{\mu 2}^{*}|^{2} \ ,
833: \nonumber \\
834: \cot \widetilde{\angle} 8 & = &
835: \frac{\widehat{\Delta}_{13}\widehat{\Delta}_{32}}
836: {\Delta_{13}\widetilde{\Delta}_{32}}\cot\angle 8 +
837: \frac{\widehat{\Delta}_{22}\widehat{\Delta}_{33}}
838: {\Delta_{23}\widetilde{\Delta}_{23}}\cot\angle 9 +
839: \frac{\widehat{\Delta}_{32}\widehat{\Delta}_{33}\Delta_{21}}
840: {\Delta_{23}\Delta_{31}\widetilde{\Delta}_{23}}\cot\angle 7 +
841: \frac{\widehat{\Delta}_{22}\widehat{\Delta}_{13}}
842: {{\cal J}\Delta_{12}\widetilde{\Delta}_{23}}
843: |V_{e3}V_{\mu 3}^{*}|^{2} \ ,
844: \nonumber \\
845: \cot \widetilde{\angle} 9 & = &
846: \frac{\widehat{\Delta}_{21}\widehat{\Delta}_{13}}
847: {\Delta_{21}\widetilde{\Delta}_{13}}\cot\angle 9 +
848: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{33}}
849: {\Delta_{31}\widetilde{\Delta}_{31}}\cot\angle 7 +
850: \frac{\widehat{\Delta}_{11}\widehat{\Delta}_{13}\Delta_{32}}
851: {\Delta_{12}\Delta_{31}\widetilde{\Delta}_{31}}\cot\angle 8 +
852: \frac{\widehat{\Delta}_{21}\widehat{\Delta}_{33}}
853: {{\cal J}\Delta_{23}\widetilde{\Delta}_{31}}
854: |V_{e1}V_{\mu 1}^{*}|^{2} \ .
855: % (34)
856: \end{eqnarray}
857: These exact analytical results clearly show how nine inner
858: angles of six unitarity triangles get modified by the matter
859: effects.
860:
861: \section{Illustration}
862:
863: We proceed to numerically illustrate the matter effects on the
864: shapes of six unitarity triangles, the rephasing invariant of CP
865: violation, and the off-diagonal asymmetries of $V$. In view of
866: current solar \cite{SNO} and atmospheric \cite{SK} neutrino
867: oscillation data, we typically take $\Delta_{21} \approx 8 \times
868: 10^{-5} ~ {\rm eV}^2$ and $\Delta_{32} \approx 2.3 \times 10^{-3}
869: ~ {\rm eV}^2$. We also take $\theta_{12} \approx 33^\circ$,
870: $\theta_{23} \approx 45^\circ$, $\theta_{13} \approx 3^\circ$ and
871: $\delta \approx 90^\circ$ in the standard parametrization of $V$
872: \cite{Xreview}. It is unnecessary to specify two Majorana-type
873: CP-violating phases of $V$ in our calculations, because they play
874: no role in the configuration of leptonic unitarity triangles
875: \cite{Branco}. The inputs taken above lead to ${\cal J} \approx
876: 0.012$, ${\cal A}_{\rm L} \approx 0.147$ and ${\cal A}_{\rm R}
877: \approx -0.203$. This means that $V$ is asymmetric both about its
878: $V_{e1}$-$V_{\mu 2}$-$V_{\tau 3}$ axis and about its
879: $V_{e3}$-$V_{\mu 2}$-$V_{\tau 1}$ axis, and the area of each
880: triangle is about 8 times smaller than its maximal limit (i.e.,
881: ${\cal J} = 1/(6\sqrt{3})$ \cite{Jarlskog}).
882:
883: For a realistic long-baseline neutrino oscillation experiment, the
884: dependence of terrestrial matter effects on the neutrino beam
885: energy can approximately be written as $A \approx 2.28 \times
886: 10^{-4} {\rm eV}^2 E/[{\rm GeV}]$ \cite{M}. This approximation is
887: reasonably good and close to reality, only if the baseline length
888: is about 1000 km or shorter \cite{MM}. Of course, $\tilde{V} = V$
889: holds in the limit of $E=0$ or $A=0$. Typically taking $E=1$ GeV,
890: 2 GeV and 3 GeV, we calculate the sides of six effective unitarity
891: triangles in matter and show the changes of their shapes in Figs.
892: 2--5. The corresponding results for 9 inner angles of
893: $\tilde{\triangle}_{e,\mu,\tau}$ or $\tilde{\triangle}_{1,2,3}$
894: are presented in Table 1, and the numerical dependence of
895: $\tilde{\cal J}$, $\tilde{\cal A}_{\rm L}$ and $\tilde{\cal
896: A}_{\rm R}$ on $E$ is illustrated in Fig. 6. Some comments and
897: discussions are in order.
898:
899: (a) The smallness of $\theta_{13}$ (or $|V_{e3}|$) makes one side of
900: $\triangle_1$ or $\triangle_2$ strongly suppressed. When
901: the terrestrial matter effect with $E \geq 1$ GeV is taken into account,
902: three sides of $\tilde{\triangle}_1$ and $\tilde{\triangle}_3$ become
903: comparable in magnitude for neutrinos ($+A$ and $V$); or
904: three sides of $\tilde{\triangle}_2$ and $\tilde{\triangle}_3$ become
905: comparable in magnitude for antineutrinos ($-A$ and $V^*$).
906: As a consequence of matter
907: corrections, the shortest side of $\triangle_2$
908: (i.e., $S^{31}_{ee} \equiv |\tilde{V}_{e3} \tilde{V}^*_{e1}|$ at
909: $A=0$) turns out to be shorter for neutrinos; so does that of
910: $\triangle_1$ (i.e.,
911: $S^{23}_{ee} \equiv |\tilde{V}_{e2} \tilde{V}^*_{e3}|$ at $A=0$)
912: for antineutrinos. We find that the shape of $\tilde{\triangle}_3$ is
913: relatively stable against matter corrections, no matter whether the
914: neutrino beam or the antineutrino beam is concerned.
915:
916: (b) Similarly because of the smallness of $\theta_{13}$ (or
917: $|V_{e3}|$), one side of $\triangle_\mu$ or $\triangle_\tau$ is
918: strongly suppressed. The terrestrial matter effect becomes
919: significant for $E \geq 1$ GeV. In this case, three sides of
920: $\tilde{\triangle}_\mu$ and $\tilde{\triangle}_\tau$ are
921: comparable in magnitude for either neutrinos ($+A$ and $V$) or
922: antineutrinos ($-A$ and $V^*$). An interesting feature of
923: $\tilde{\triangle}_e$ is that its side $S^{22}_{\mu\tau} \equiv
924: |\tilde{V}_{\mu 2} \tilde{V}^*_{\tau 2}|$ is dramatically
925: sensitive to matter corrections and becomes very short for
926: neutrinos, while its side $S^{11}_{\mu\tau} \equiv |\tilde{V}_{\mu
927: 1} \tilde{V}^*_{\tau 1}|$ may significantly be suppressed by
928: matter effects for antineutrinos. One can see that the shapes of
929: $\tilde{\triangle}_\mu$ and $\tilde{\triangle}_\tau$ are
930: relatively stable against matter corrections, no matter whether
931: the neutrino beam or the antineutrino beam is concerned.
932:
933: (c) Note that the input $\theta_{23} \approx 45^\circ$, which is
934: well favored by current atmospheric neutrino oscillation data \cite{SK},
935: results in $|V_{\mu i}| \approx |V_{\tau i}|$ (for $i=1,2,3$). Hence
936: triangles $\triangle_\mu$ and $\triangle_\tau$ are congruent with
937: each other; so are their effective counterparts
938: $\tilde{\triangle}_\mu$ and $\tilde{\triangle}_\tau$. This
939: accidental result has actually shown up in Figs. 4 and 5. From the
940: phenomenological point of view, it makes sense to measure $\theta_{23}$
941: accurately and to examine its possible deviation from maximal mixing
942: (i.e., $\theta_{23} = 45^\circ$ exactly),
943: so as to explore the underlying $\mu$-$\tau$ flavor
944: symmetry and its geometric manifestation in leptonic unitarity triangles.
945:
946: (d) Table 1 is helpful for us to understand the terrestrial
947: matter effect on 9 inner angles of six unitarity triangles.
948: One can see that $\tilde{\angle} 6$ and $\tilde{\angle} 9$, which
949: happen to be identical as a consequence of $\theta_{23} \approx 45^\circ$,
950: are relatively stable against matter corrections. In contrast,
951: $\tilde{\angle} 2$, $\tilde{\angle} 3$ and $\tilde{\angle} 4$ are
952: rather sensitive to matter corrections.
953:
954: (e) No matter how the sides and angles of six unitarity triangles
955: change with the matter effect, their area ($\tilde{\cal J}/2$) is in most
956: cases smaller than that in vacuum (${\cal J}/2$). This unfortunate
957: feature, as shown in Fig. 6, makes it hard to directly measure leptonic
958: CP or T violation in any realistic long-baseline neutrino oscillations. If
959: the neutrino beam energy is small (e.g., about 1 GeV or smaller), the
960: matter-induced suppression of ${\cal J}$ is not significant. In this
961: case, a study of leptonic CP violation and unitarity triangles in a
962: {\it medium}-baseline neutrino oscillation experiment seems more
963: feasible \cite{MLBL}.
964:
965: (f) The matter effect on two off-diagonal asymmetries of $V$ is also
966: illustrated in Fig. 6. One can see that
967: $\tilde{\cal A}_{\rm L} \approx 0$ is a good approximation, when the
968: beam energy of antineutrinos satisfies $E \geq 1$ GeV. In this interesting
969: case, one may approximately arrive at
970: $\tilde{\triangle}_e \cong \tilde{\triangle}_1$,
971: $\tilde{\triangle}_\mu \cong \tilde{\triangle}_2$ and
972: $\tilde{\triangle}_\tau \cong \tilde{\triangle}_3$. Such a result can
973: also be seen from Figs. 3 and 5.
974: The possibility for $\tilde{\cal A}_{\rm R} \approx 0$ may appear only
975: when the beam energy of neutrinos is around $E \approx 0.2$ GeV, as
976: shown in Fig. 6. These results are certainly dependent upon our inputs.
977: Therefore, they mainly serve for illustration.
978:
979: In practice, the reconstruction of a unitarity triangle requires a
980: series of measurements, which can be done in both {\it appearance}
981: and {\it disappearance} neutrino oscillation experiments. More detailed
982: analyses in this respect can be seen from Ref. \cite{Smirnov} (see
983: also Ref. \cite{Sato}), where the central attention has only been paid
984: to the triangle $\triangle_\tau$ and its effective counterpart
985: $\tilde{\triangle}_\tau$. A similar analysis of other triangles is
986: expected to be very lengthy and will be presented elsewhere \cite{XZ05}.
987: As we have emphasized, it is possible to establish leptonic CP violation
988: by means of the precise experimental information about the sides of
989: six unitarity triangles. In this sense, the geometric approach
990: described here may be complimentary to the direct determination of
991: CP violation from the measurement of probability asymmetries between
992: $\nu_\alpha \rightarrow \nu^{~}_\beta$ and
993: $\overline{\nu}_\alpha \rightarrow \overline{\nu}^{~}_\beta$
994: (for $\alpha \neq \beta$ running over $e$, $\mu$, $\tau$) oscillations.
995:
996: \section{Summary}
997:
998: Considering the lepton flavor mixing matrix $V$ and its effective
999: counterpart $\tilde{V}$ in matter, we have carried out a systematic
1000: analysis of their corresponding unitarity triangles in the complex
1001: plane. The exact analytical relations between the moduli
1002: $|V_{\alpha i}|$ and $|\tilde{V}_{\alpha i}|$ have been derived. The sides
1003: and angles of each unitarity triangle have also been calculated by taking
1004: account of the terrestrial matter effect. We have illustrated the
1005: shape evolution of six effective triangles with the beam energy of
1006: neutrinos and antineutrinos in a realistic long-baseline oscillation
1007: experiment. Matter corrections to the rephasing-invariant parameter
1008: of CP violation and the off-diagonal asymmetries of $V$ have been
1009: discussed too.
1010:
1011: We expect that this complete geometric description of
1012: matter-modified lepton flavor mixing and CP violation will be very
1013: useful for the future long-baseline neutrino oscillation experiments,
1014: although it remains unclear how far our experimentalists will go in
1015: this direction. We admit that how to experimentally realize the proposed
1016: ideas and methods is certainly a challenging question.
1017: However, it is absolutely clear that the measurement
1018: of leptonic CP violation must be a top task of experimental neutrino
1019: physics in the coming years or even decades. Let us recall what has
1020: happened in the quark sector: CP violation and one unitarity triangle
1021: (defined by $V_{ud}V^*_{ub} + V_{cd}V^*_{cb} + V_{td}V^*_{tb} = 0$
1022: in the complex plane) have been established at KEK-$B$ and SLAC-$B$
1023: factories, and a further study of other five triangles will be
1024: implemented at LHC-$B$ in the near future. Thus we are convinced that
1025: similar steps will be taken for an experimental determination of
1026: leptonic CP violation and unitarity triangles in the era of
1027: {\it precision} neutrino physics.
1028:
1029: \vspace{0.5cm}
1030:
1031: This work was supported in part by the National Nature Science
1032: Foundation of China.
1033:
1034: \newpage
1035:
1036: \appendix
1037: \section{}
1038:
1039: In the assumption of a constant earth density profile and with the
1040: help of the effective Hamiltonians given in Eq. (6), one may
1041: calculate the matter-corrected neutrino masses $\tilde{m}_i$ in an
1042: analytically exact way. The relevant results have been presented
1043: in Refs. \cite{Barger,Xing00}, from which both
1044: $\widetilde{\Delta}_{ij} \equiv \tilde{m}^2_i - \tilde{m}^2_j$ and
1045: $\widehat{\Delta}_{ij} \equiv m^2_i - \tilde{m}^2_j$ appearing in
1046: Eqs. (19)--(22) and (29)--(34) can straightforwardly be read off.
1047: Explicitly, we have
1048: \begin{eqnarray}
1049: \widetilde{\Delta}_{21} & = & \displaystyle
1050: \frac{2}{3} \sqrt{x^2 - 3y}
1051: \sqrt{3 \left (1 - z^2 \right )} \;\; ,
1052: \nonumber \\
1053: \widetilde{\Delta}_{31} & = & \displaystyle \frac{1}{3} \sqrt{x^2
1054: - 3y} \left [3 z + \sqrt{3 \left (1 - z^2 \right )} \right ] \; ,
1055: \nonumber \\
1056: \widetilde{\Delta}_{32} & = & \displaystyle \frac{1}{3} \sqrt{x^2
1057: - 3y} \left [3 z - \sqrt{3 \left (1 - z^2 \right )} \right ] \; ;
1058: % (A1)
1059: \end{eqnarray}
1060: and
1061: \begin{eqnarray}
1062: \widehat{\Delta}_{11} & = & \displaystyle - \frac{1}{3} x +
1063: \frac{1}{3} \sqrt{x^2 - 3y} \left [ z + \sqrt{3 \left (1 - z^2
1064: \right )} \right ] \; ,
1065: \nonumber \\
1066: \widehat{\Delta}_{22} & = & \displaystyle - \frac{1}{3} x +
1067: \frac{1}{3} \sqrt{x^2 - 3y} \left [ z - \sqrt{3 \left (1 - z^2
1068: \right )} \right ] + \Delta_{21} \; ,
1069: \nonumber \\
1070: \widehat{\Delta}_{33} & = & \displaystyle - \frac{1}{3} x -
1071: \frac{2}{3} z \sqrt{x^2 - 3y} ~ + \Delta_{31} \; ;
1072: % (A2)
1073: \end{eqnarray}
1074: together with
1075: \begin{eqnarray}
1076: \widehat{\Delta}_{21} & = & \Delta_{21} + \widehat{\Delta}_{11} \;
1077: ,
1078: \nonumber \\
1079: \widehat{\Delta}_{31} & = & \Delta_{31} + \widehat{\Delta}_{11} \;
1080: ,
1081: \nonumber \\
1082: \widehat{\Delta}_{32} & = & \Delta_{32} + \widehat{\Delta}_{22} \;
1083: ,
1084: % (A3)
1085: \end{eqnarray}
1086: where $\Delta_{ij} \equiv m^2_i - m^2_j$, and $x$, $y$ and $z$ are given by
1087: \begin{eqnarray}
1088: x & = & \Delta_{21} + \Delta_{31} + A \; ,
1089: \nonumber \\
1090: y & = & \displaystyle
1091: \Delta_{21} \Delta_{31} + A \left [
1092: \Delta_{21} \left ( 1 - |V_{e2}|^2 \right )
1093: + \Delta_{31} \left ( 1 - |V_{e3}|^2 \right ) \right ] \; ,
1094: \nonumber \\
1095: z & = & \displaystyle
1096: \cos \left [ \frac{1}{3} \arccos \frac{2x^3 -9xy + 27
1097: A \Delta_{21} \Delta_{31} |V_{e1}|^2}
1098: {2 \left (x^2 - 3y \right )^{3/2}} \right ] \;
1099: % (A4)
1100: \end{eqnarray}
1101: with $A \equiv 2 E a$ being the matter parameter.
1102:
1103:
1104:
1105:
1106: \newpage
1107:
1108: \begin{thebibliography}{99}
1109: \bibitem{SNO} SNO Collaboration, Q.R. Ahmad {\it et al.},
1110: Phys. Rev. Lett. {\bf 87}, 071301 (2001); {\bf 89}, 011301 (2002);
1111: {\bf 89}, 011302 (2002).
1112:
1113: \bibitem{SK} Super-Kamiokande Collaboration,
1114: Y. Fukuda {\it et al.}, Phys. Lett. B {\bf 467}, 185 (1999);
1115: S. Fukuda {\it et al.}, Phys. Rev. Lett. {\bf 85}, 3999 (2000);
1116: Phys. Rev. Lett. {\bf 86}, 5656 (2001).
1117:
1118: \bibitem{KM} KamLAND Collaboration, K. Eguchi {\it et al.},
1119: Phys. Rev. Lett. {\bf 90}, 021802 (2003).
1120:
1121: \bibitem{CHOOZ} CHOOZ Collaboration, M. Apollonio {\it et al.},
1122: Phys. Lett. B {\bf 420}, 397 (1998);
1123: Palo Verde Collaboration, F. Boehm {\it et al.},
1124: Phys. Rev. Lett. {\bf 84}, 3764 (2000).
1125:
1126: \bibitem{K2K} K2K Collaboration, M.H. Ahn {\it et al.},
1127: Phys. Rev. Lett. {\bf 90}, 041801 (2003).
1128:
1129: \bibitem{Jarlskog} C. Jarlskog, Phys. Rev. Lett. {\bf 55} (1985) 1839;
1130: H. Fritzsch and Z.Z. Xing, Nucl. Phys. B {\bf 556} (1999) 49.
1131:
1132: \bibitem{Xreview} Z.Z. Xing, Int. J. Mod. Phys. A {\bf 19}, 1 (2004).
1133:
1134: \bibitem{FXreview} H. Fritzsch and Z.Z. Xing,
1135: Prog. Part. Nucl. Phys. {\bf 45}, 1 (2000); hep-ph/9912358.
1136:
1137: \bibitem{Smirnov} Y. Farzan and A.Yu. Smirnov,
1138: Phys. Rev. D {\bf 65}, 113001 (2002).
1139:
1140: \bibitem{F1} To see this point more clearly, one may recall the
1141: Cabibbo-Kobayashi-Maskawa (CKM) unitarity
1142: triangle of quark flavor mixing defined by
1143: $V_{ud} V^*_{cd} + V_{us} V^*_{cs} + V_{ub} V^*_{cb} = 0$, whose
1144: two sides are much longer than the other one:
1145: $|V_{ud} V^*_{cd}| \sim |V_{us} V^*_{cs}| \gg |V_{ub} V^*_{cb}|$.
1146: Although the six CKM matrix elements associated with this
1147: triangle have all been measured to a relatively good degree of
1148: accuracy [Particle Data Group, S. Eidelman {\it et al.},
1149: Phys. Lett. B {\bf 592}, 1 (2004)], it remains unable to
1150: show $|V_{ud} V^*_{cd}| + |V_{ub} V^*_{cb}| > |V_{us} V^*_{cs}|$
1151: or $|V_{us} V^*_{cs}| + |V_{ub} V^*_{cb}| > |V_{ud} V^*_{cd}|$ -- namely,
1152: the area of this triangle (or CP violation) cannot be established from
1153: its three sides at present.
1154:
1155: \bibitem{Barger} V. Barger, K. Whisnant, S. Pakvasa, and R.J. Phillips,
1156: Phys. Rev. D {\bf 22}, 2718 (1980);
1157: H.W. Zaglauer and K.H. Schwarzer, Z. Phys. C {\bf 40}, 273 (1988);
1158: T.K. Kuo and J. Pantaleone, Rev. Mod. Phys. {\bf 61}, 937 (1989).
1159:
1160: \bibitem{Xing00} Z.Z. Xing, Phys. Lett. B {\bf 487}, 327 (2000);
1161: Phys. Rev. D {\bf 64}, 073014 (2001).
1162:
1163: \bibitem{MSW} L. Wolfenstein, Phys. Rev. D {\bf 17}, 2369 (1978);
1164: S.P. Mikheyev and A.Yu. Smirnov, Yad. Fiz. (Sov. J. Nucl. Phys.)
1165: {\bf 42}, 1441 (1985).
1166:
1167: \bibitem{M} I. Mocioiu and R. Shrock,
1168: Phys. Rev. D {\bf 62}, 053017 (2000); and references therein.
1169:
1170: \bibitem{Kimura} K. Kimura, A. Takamura, and H. Yokomakura,
1171: Phys. Lett. B {\bf 537}, 86 (2002);
1172: Phys. Rev. D {\bf 66}, 073005 (2002).
1173:
1174: \bibitem{Xing01} Z.Z. Xing, Phys. Rev. D {\bf 64}, 033005 (2001).
1175:
1176: \bibitem{HS} P.F. Harrison and W.G. Scott,
1177: Phys. Lett. B {\bf 535}, 229 (2002);
1178: P.F. Harrison, W.G. Scott, and T.J. Weiler,
1179: Phys. Lett. B {\bf 565}, 159 (2003).
1180:
1181: \bibitem{Xing02} Z.Z. Xing, Phys. Rev. D {\bf 65}, 113010 (2002).
1182:
1183: \bibitem{Naumov} V.A. Naumov, Int. J. Mod. Phys. D {\bf 1}, 379 (1992).
1184:
1185: \bibitem{Branco} J.A. Aguilar-Saavedra and G.C. Branco,
1186: Phys. Rev. D {\bf 62}, 096009 (2000).
1187:
1188: \bibitem{MM} See, e.g., V. Barger, S. Geer, R. Raja, and
1189: K. Whisnant, Phys. Rev. D {\bf 62}, 013004 (2000);
1190: M. Freund, M. Lindner, S.T. Petcov, and A. Romanino,
1191: Nucl. Phys. B {\bf 578}, 27 (2000); and references therein.
1192:
1193: \bibitem{MLBL} H. Minakata and H. Nunokawa,
1194: Nucl. Instrum. Meth. A {\bf 472}, 421 (2000);
1195: Z.Z. Xing, Phys. Rev. D {\bf 63}, 073012 (2001).
1196:
1197: \bibitem{Sato} J. Sato, Nucl. Instrum. Meth. A {\bf 472}, 434 (2000).
1198:
1199: \bibitem{XZ05} H. Zhang and Z.Z. Xing, in preparation.
1200:
1201: \end{thebibliography}
1202:
1203: \newpage
1204:
1205: %%%%%%%%%%%%%%%%%%%%% Table 1 %%%%%%%%%%%%%%%%%%%%%%%
1206: \begin{table}
1207: \caption{Numerical illustration of the terrestrial matter effect on
1208: nine inner angles of six effective unitarity triangles
1209: ($\tilde{\triangle}_{e,\mu,\tau}$ and $\tilde{\triangle}_{1,2,3}$
1210: in a long-baseline neutrino oscillation experiment, where $\nu$
1211: stands for neutrinos and $\overline{\nu}$ represents antineutrinos.}
1212: \begin{center}
1213: \begin{tabular}{c|cccc}
1214: %----------------------------------------------------------------------
1215: Angle ~ & $\tilde{V} = V$ & $E=1$ GeV & $E=2$ GeV & $E=3$ GeV \\ \hline
1216: %----------------------------------------------------------------------
1217: $\widetilde{\angle} 1$
1218: & $166.9^\circ$
1219: & $\matrix{ 143.3^\circ ~ (\nu) \cr 141.2^\circ ~ (\overline{\nu})}$
1220: & $\matrix{ 104.9^\circ ~ (\nu) \cr 119.0^\circ ~ (\overline{\nu})}$
1221: & $\matrix{ ~73.4^\circ ~ (\nu) \cr 103.2^\circ ~ (\overline{\nu})}$
1222: \\ \hline
1223: %--------------------------------------------------
1224: $\widetilde{\angle} 2$
1225: & $3.9^\circ$
1226: & $\matrix{ 35.5^\circ ~ (\nu) \cr ~~0.8^\circ ~ (\overline{\nu})}$
1227: & $\matrix{ 74.5^\circ ~ (\nu) \cr ~~0.4^\circ ~ (\overline{\nu})}$
1228: & $\matrix{ 106.1^\circ ~ (\nu) \cr ~~0.2^\circ ~ (\overline{\nu})}$
1229: \\ \hline
1230: %--------------------------------------------------
1231: $\widetilde{\angle} 3$
1232: & $9.2^\circ$
1233: & $\matrix{ ~~1.2^\circ ~ (\nu) \cr 38.1^\circ ~ (\overline{\nu})}$
1234: & $\matrix{ ~~0.6^\circ ~ (\nu) \cr 60.7^\circ ~ (\overline{\nu})}$
1235: & $\matrix{ ~~0.5^\circ ~ (\nu) \cr 76.6^\circ ~ (\overline{\nu})}$
1236: \\ \hline
1237: %--------------------------------------------------
1238: $\widetilde{\angle} 4$
1239: & $6.6^\circ$
1240: & $\matrix{ 18.4^\circ ~ (\nu) \cr 19.4^\circ ~ (\overline{\nu})}$
1241: & $\matrix{ 37.6^\circ ~ (\nu) \cr 30.5^\circ ~ (\overline{\nu})}$
1242: & $\matrix{ 53.3^\circ ~ (\nu) \cr 38.4^\circ ~ (\overline{\nu})}$
1243: \\ \hline
1244: %--------------------------------------------------
1245: $\widetilde{\angle} 5$
1246: & $88.1^\circ$
1247: & $\matrix{ 72.2^\circ ~ (\nu) \cr 89.6^\circ ~ (\overline{\nu})}$
1248: & $\matrix{ 52.7^\circ ~ (\nu) \cr 89.8^\circ ~ (\overline{\nu})}$
1249: & $\matrix{ 36.9^\circ ~ (\nu) \cr 89.9^\circ ~ (\overline{\nu})}$
1250: \\ \hline
1251: %--------------------------------------------------
1252: $\widetilde{\angle} 6$
1253: & $85.4^\circ$
1254: & $\matrix{ 89.4^\circ ~ (\nu) \cr 71.0^\circ ~ (\overline{\nu})}$
1255: & $\matrix{ 89.7^\circ ~ (\nu) \cr 59.7^\circ ~ (\overline{\nu})}$
1256: & $\matrix{ 89.8^\circ ~ (\nu) \cr 51.7^\circ ~ (\overline{\nu})}$
1257: \\ \hline
1258: %--------------------------------------------------
1259: $\widetilde{\angle} 7$
1260: & $6.6^\circ$
1261: & $\matrix{ 18.4^\circ ~ (\nu) \cr 19.4^\circ ~ (\overline{\nu})}$
1262: & $\matrix{ 37.6^\circ ~ (\nu) \cr 30.5^\circ ~ (\overline{\nu})}$
1263: & $\matrix{ 53.3^\circ ~ (\nu) \cr 38.4^\circ ~ (\overline{\nu})}$
1264: \\ \hline
1265: %--------------------------------------------------
1266: $\widetilde{\angle} 8$
1267: & $88.1^\circ$
1268: & $\matrix{ 72.2^\circ ~ (\nu) \cr 89.6^\circ ~ (\overline{\nu})}$
1269: & $\matrix{ 52.7^\circ ~ (\nu) \cr 89.8^\circ ~ (\overline{\nu})}$
1270: & $\matrix{ 36.9^\circ ~ (\nu) \cr 89.9^\circ ~ (\overline{\nu})}$
1271: \\ \hline
1272: %--------------------------------------------------
1273: $\widetilde{\angle} 9$
1274: & $85.4^\circ$
1275: & $\matrix{ 89.4^\circ ~ (\nu) \cr 71.0^\circ ~ (\overline{\nu})}$
1276: & $\matrix{ 89.7^\circ ~ (\nu) \cr 59.7^\circ ~ (\overline{\nu})}$
1277: & $\matrix{ 89.8^\circ ~ (\nu) \cr 51.7^\circ ~ (\overline{\nu})}$
1278: %----------------------------------------------------------------------
1279: \end{tabular}
1280: \end{center}
1281: \end{table}
1282: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1283:
1284: \newpage
1285:
1286: %%%%%%%%%%%%%%%%%%%% Fig. 1 %%%%%%%%%%%%%%%%
1287: \begin{figure}
1288: \vspace{-1cm}
1289: \epsfig{file=fig1.ps,bbllx=2.5cm,bblly=8cm,bburx=18.5cm,bbury=30cm,%
1290: width=15cm,height=22cm,angle=0,clip=}
1291: \vspace{-7.9cm}
1292: \caption{Leptonic unitarity triangles in the complex plane. Each
1293: triangle is named by the index that does not manifest in its three
1294: sides.}
1295: \end{figure}
1296: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1297:
1298: \newpage
1299:
1300: %%%%%%%%%%%%%%%%%%%% Fig. 2 %%%%%%%%%%%%%%%%
1301: \begin{figure}
1302: \vspace{-1cm}
1303: \epsfig{file=fig2.ps,bbllx=0.5cm,bblly=3cm,bburx=20cm,bbury=28cm,%
1304: width=15cm,height=22cm,angle=0,clip=}
1305: \vspace{-4.1cm}
1306: \caption{The shape evolution of three effective
1307: unitarity triangles $(\tilde{\triangle}_1, \tilde{\triangle}_2,
1308: \tilde{\triangle}_3)$ with the beam energy of {\bf neutrinos}
1309: ($+A$ and $V$) in a realistic long-baseline oscillation experiment,
1310: where $S^{ij}_{\alpha\alpha} \equiv |\tilde{V}_{\alpha i}
1311: \tilde{V}^*_{\alpha j}|$
1312: (for $\alpha = e, \mu, \tau$ and $i,j = 1,2,3$) has been defined.}
1313: \end{figure}
1314: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1315:
1316: \newpage
1317:
1318: %%%%%%%%%%%%%%%%%%%% Fig. 3 %%%%%%%%%%%%%%%%
1319: \begin{figure}
1320: \vspace{-1cm}
1321: \epsfig{file=fig3.ps,bbllx=0.5cm,bblly=3cm,bburx=20cm,bbury=28cm,%
1322: width=15cm,height=22cm,angle=0,clip=}
1323: \vspace{-4.35cm}
1324: \caption{The shape evolution of three effective
1325: unitarity triangles $(\tilde{\triangle}_1, \tilde{\triangle}_2,
1326: \tilde{\triangle}_3)$ with the beam energy of {\bf antineutrinos}
1327: ($-A$ and $V^*$) in a realistic long-baseline oscillation experiment,
1328: where $S^{ij}_{\alpha\alpha} \equiv |\tilde{V}_{\alpha i}
1329: \tilde{V}^*_{\alpha j}|$
1330: (for $\alpha = e, \mu, \tau$ and $i,j = 1,2,3$) has been defined.}
1331: \end{figure}
1332: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1333:
1334: \newpage
1335:
1336: %%%%%%%%%%%%%%%%%%%% Fig. 4 %%%%%%%%%%%%%%%%
1337: \begin{figure}
1338: \vspace{-1cm}
1339: \epsfig{file=fig4.ps,bbllx=0.5cm,bblly=3cm,bburx=19.5cm,bbury=29cm,%
1340: width=15cm,height=22cm,angle=0,clip=}
1341: \vspace{-4.75cm}
1342: \caption{The shape evolution of three effective
1343: unitarity triangles $(\tilde{\triangle}_e, \tilde{\triangle}_\mu,
1344: \tilde{\triangle}_\tau)$ with the beam energy of {\bf neutrinos}
1345: ($+A$ and $V$) in a realistic long-baseline oscillation experiment,
1346: where $S^{ii}_{\alpha\beta} \equiv |\tilde{V}_{\alpha i}
1347: \tilde{V}^*_{\beta i}|$
1348: (for $i=1,2,3$ and $\alpha, \beta = e, \mu, \tau$) has been defined.}
1349: \end{figure}
1350: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1351:
1352: \newpage
1353:
1354: %%%%%%%%%%%%%%%%%%%% Fig. 5 %%%%%%%%%%%%%%%%
1355: \begin{figure}
1356: \vspace{-1cm}
1357: \epsfig{file=fig5.ps,bbllx=0.5cm,bblly=2cm,bburx=19.5cm,bbury=26cm,%
1358: width=15cm,height=22cm,angle=0,clip=}
1359: \vspace{-4.35cm}
1360: \caption{The shape evolution of three effective unitarity
1361: triangles $(\tilde{\triangle}_e, \tilde{\triangle}_\mu,
1362: \tilde{\triangle}_\tau)$ with the beam energy of {\bf
1363: antineutrinos} ($-A$ and $V^*$) in a realistic long-baseline
1364: oscillation experiment, where $S^{ii}_{\alpha\beta} \equiv
1365: |\tilde{V}_{\alpha i} \tilde{V}^*_{\beta i}|$ (for $i=1,2,3$ and
1366: $\alpha, \beta = e, \mu, \tau$) has been defined.}
1367: \end{figure}
1368: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1369:
1370: \newpage
1371:
1372: %%%%%%%%%%%%%%%%%%%% Fig. 6 %%%%%%%%%%%%%%%%
1373: \begin{figure}
1374: \vspace{-1cm}
1375: \epsfig{file=fig6.ps,bbllx=1.5cm,bblly=4cm,bburx=19cm,bbury=29cm,%
1376: width=15cm,height=22cm,angle=0,clip=}
1377: \vspace{-1.1cm}
1378: \caption{Terrestrial matter effects on ${\cal J}$, ${\cal A}_{\rm L}$
1379: and ${\cal A}_{\rm R}$ for neutrinos ($\nu$ with $+A$ and $V$) and
1380: antineutrinos ($\overline{\nu}$ with $-A$ and $V^*$) in a
1381: realistic long-baseline oscillation experiment.}
1382: \end{figure}
1383: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1384:
1385:
1386:
1387: \end{document}
1388: