Three-zero texture of quark-mass matrices as a solution to the strong CP problem

Qiuyue Liang [email protected] Kavli Institute for the Physics and Mathematics of the Universe (WPI), University of Tokyo, Kashiwa 277-8583, Japan    Risshin Okabe [email protected] Kavli Institute for the Physics and Mathematics of the Universe (WPI), University of Tokyo, Kashiwa 277-8583, Japan    Tsutomu T. Yanagida [email protected] Kavli Institute for the Physics and Mathematics of the Universe (WPI), University of Tokyo, Kashiwa 277-8583, Japan Tsung-Dao Lee Institute & School of Physics and Astronomy, Shanghai Jiao Tong University, China
Abstract

The strong charge-parity (CP) problem has been a long-standing problem in particle physics since 1976, illustrating the small CP-violation phase in quantum chromodynamics (QCD). The axion, based on the Peccei-Quinn mechanism, is the most popular solution to the problem. In this paper, we propose an alternative solution based on the three-zero texture of quark mass matrices without additional heavy quark states, which has been shown to fit data well. We show that the required three-zero texture is naturally constructed in a six-dimensional spacetime with a 𝐓2/3superscript𝐓2subscript3\mathbf{T}^{2}/\mathbb{Z}_{3}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT orbifold compactification.

I Introduction

The strong charge-parity (CP) problem has been a long-standing issue in particle physics since 1976 tHooft:1976snw . Without additional symmetry, the CP-violating angle in quantum chromodynamics (QCD), θ¯¯𝜃\bar{\theta}over¯ start_ARG italic_θ end_ARG, should have an 𝒪(1)𝒪1\mathcal{O}(1)caligraphic_O ( 1 ) value. However, the current upper limit from the neutron electric dipole moment Abel:2020pzs implies an extremely suppressed CP-violating parameter, |θ¯|1010less-than-or-similar-to¯𝜃superscript1010|\bar{\theta}|\lesssim 10^{-10}| over¯ start_ARG italic_θ end_ARG | ≲ 10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT. The axion Weinberg:1977ma ; Wilczek:1977pj , based on the Peccei-Quinn mechanism Peccei:1977hh , is the most popular solution to this problem, potentially originating from high-energy fundamental physics such as string theories Svrcek:2006yi ; Burgess:2023ifd . However, experiments have not identified such particles yet. Therefore, it remains important to construct alternative solutions to the strong CP problem.

Some alternative solutions have been proposed based on spontaneous CP violation. The CP is assumed to be an exact symmetry at the fundamental level which is spontaneously broken at some energy scale. In these types of models, the QCD vacuum angle vanishes, θ0=0subscript𝜃00\theta_{0}=0italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0, before the spontaneous CP violation. However, spontaneous CP breaking induces complex phases in up-type and down-type quark mass matrices Musubscript𝑀𝑢M_{u}italic_M start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT and Mdsubscript𝑀𝑑M_{d}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT to explain the observed CP-violating phase in the Cabibbo–Kobayashi–Maskawa (CKM) quark mixing matrix, which generates a shift of the vacuum angle. The physical vacuum angle θ¯¯𝜃\bar{\theta}over¯ start_ARG italic_θ end_ARG is obtained through

θ¯=θ0+Arg[det(Md)det(Mu)],¯𝜃subscript𝜃0Argdelimited-[]detsubscript𝑀𝑑detsubscript𝑀𝑢{\bar{\theta}}=\theta_{0}+\text{Arg}[\text{det}(M_{d})\text{det}(M_{u})]\ ,over¯ start_ARG italic_θ end_ARG = italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + Arg [ det ( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) det ( italic_M start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) ] , (1)

which is the predicted CP-violating angle that is proportional to the neutron electric dipole moment. Therefore, the question is how to control the quark mass matrices by imposing additional symmetries so that θ¯¯𝜃{\bar{\theta}}over¯ start_ARG italic_θ end_ARG remains vanishing.

It is clear that we have θ¯=0¯𝜃0{\bar{\theta}}=0over¯ start_ARG italic_θ end_ARG = 0 if the quark mass matrices are Hermitian. This can be easily realized by introducing the horizontal gauge symmetry SU(3)HSUsubscript3𝐻\mathop{\rm SU}(3)_{H}roman_SU ( 3 ) start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT Masiero:1998yi ; Choi:2019omm . However, to extend this to the lepton sector, it is necessary to introduce second-rank tensor (sextuplet) Higgs bosons, which might violate the Hermitian nature of the quark matrices at higher orders.

An alternative approach to obtaining a real determinant is to ensure that the complex matrix elements always encounter zero-valued elements when the determinants of the mass matrices are calculated. This is the Nelson-Barr mechanism Nelson:1983zb ; Barr:1984qx , which assumes an extra pair of heavy quarks. The key point is that all CP-violating phases are located in the off-diagonal elements between the heavy quarks and the Standard Model quarks, and these complex elements always interact with zero matrix elements when taking the determinant. Consequently, the determinant of the total quark mass matrices becomes real, and the physical CP-violating angle vanishes, θ¯=0¯𝜃0{\bar{\theta}}=0over¯ start_ARG italic_θ end_ARG = 0.

In this paper, we do not introduce additional heavy quark pairs but solve the strong CP problem by considering multi-zero textures of the quark mass matrices. Many-zero textures have a higher chance for the complex elements to hit the zeros in the determinant.111A similar idea has been recently proposed based on the modular invariance Feruglio:2024ytl ; Petcov:2024vph , and multi-Higgs Hall:2024xbd . However, it is known that we can maximally have three zeros in the 3×3333\times 33 × 3 complex matrix to have at least one physical complex phase Harigaya:2012bw . In Tanimoto:2016rqy , it has been shown that there are 13 three-zero textures of Mdsubscript𝑀𝑑M_{d}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT among 20 possibilities which are consistent with observations by assuming Musubscript𝑀𝑢M_{u}italic_M start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT to be diagonal. Among these thirteen textures, six of them have a real det(Md)subscript𝑀𝑑(M_{d})( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) despite the matrix being complex. Thus, the strong CP problem can be solved if the down-type quark mass matrix has the desired textures. However, such a three-zero texture still suffers from the fine-tuning problem, and we need to develop a mechanism to explain the zeros. In this paper, we attempt to construct a three-zero texture for Mdsubscript𝑀𝑑M_{d}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT, with a diagonal up-type quark mass matrix, by imposing additional symmetries, particularly by extending to extra spacetime dimensions.

In Sec.II, we discuss how imposing symmetry in 4D spacetime cannot resolve the problem, making it necessary to seek solutions in higher dimensions. In Sec.III, we discuss the orbifold compactification of higher dimensions and the additional 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry. We further construct the desired mass matrix and discuss the spontaneous breaking of CP symmetry.

We use the SU(5)GUTSUsubscript5GUT\mathop{\rm SU}(5)_{\mathrm{GUT}}roman_SU ( 5 ) start_POSTSUBSCRIPT roman_GUT end_POSTSUBSCRIPT convention, 𝟏𝟎i=(qL,u¯R)isubscript10𝑖subscriptsubscript𝑞𝐿subscript¯𝑢𝑅𝑖\mathbf{10}_{i}=(q_{L},\bar{u}_{R})_{i}bold_10 start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = ( italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , over¯ start_ARG italic_u end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, and 𝟓¯i=(d¯R)isubscript¯5𝑖subscriptsubscript¯𝑑𝑅𝑖\bar{\mathbf{5}}_{i}=(\bar{d}_{R})_{i}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = ( over¯ start_ARG italic_d end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, where i=1,2,3𝑖123i=1,2,3italic_i = 1 , 2 , 3 denote family indices. We take all fermions to be left-handed for notation simplicity. We do not unify all standard-model (SM) gauge groups in the SU(5)GUTSUsubscript5GUT\mathop{\rm SU}(5)_{\mathrm{GUT}}roman_SU ( 5 ) start_POSTSUBSCRIPT roman_GUT end_POSTSUBSCRIPT, and do not discuss supersymmetry or superpartners in this paper.

II Construct three-zero textures in 4D

In this section, we will demonstrate the difficulty of realizing such three-zero textures in the quark mass matrices by imposing symmetries in 4D. We use the first texture Md(1)superscriptsubscript𝑀𝑑1M_{d}^{(1)}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT222We will drop the superscript for simplicity in the remaining context. in Tanimoto:2016rqy ,

Md=(0a0abeiϕc0cd),subscript𝑀𝑑0𝑎0superscript𝑎𝑏superscript𝑒𝑖italic-ϕ𝑐0superscript𝑐𝑑M_{d}=\left(\begin{array}[]{ccc}0&a&0\\ a^{\prime}&be^{-i\phi}&c\\ 0&c^{\prime}&d\end{array}\right)\ ,italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT = ( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL italic_a end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_CELL start_CELL italic_b italic_e start_POSTSUPERSCRIPT - italic_i italic_ϕ end_POSTSUPERSCRIPT end_CELL start_CELL italic_c end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_CELL start_CELL italic_d end_CELL end_ROW end_ARRAY ) , (2)

as an example to illustrate this point. This matrix has been shown to be consistent with all the CKM angles and quark mass observations, which completely fix all seven real parameters, (a,a,b,c,c,d,ϕ)𝑎superscript𝑎𝑏𝑐superscript𝑐𝑑italic-ϕ(a,a^{\prime},b,c,c^{\prime},d,\phi)( italic_a , italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_b , italic_c , italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_d , italic_ϕ ), in the mass matrix, given in Table 2 of Tanimoto:2016rqy . We summarize those values in Tab.1. Given this three-zero structure, one can see only real parameters aad𝑎superscript𝑎𝑑aa^{\prime}ditalic_a italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_d enters the determinant of the mass matrix, and physical vacuum angle, θ¯=0¯𝜃0\bar{\theta}=0over¯ start_ARG italic_θ end_ARG = 0.

a𝑎aitalic_a [MeV] asuperscript𝑎a^{\prime}italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT [MeV] b𝑏bitalic_b [MeV] c𝑐citalic_c [MeV] csuperscript𝑐c^{\prime}italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT [GeV] d𝑑ditalic_d [GeV] ϕitalic-ϕ\phiitalic_ϕ [\circ]
16 - 17.5 10 - 15 92 - 104 78 - 95 1.65 - 2.0 2.0 - 2.3 37 - 48
Table 1: The allowed values of parameters of down-type quark mass matrix in Eq.(2), given in Tanimoto:2016rqy .

To construct this matrix with an additional symmetry in 4D spacetime, we first assume a global U(1)U1\mathop{\rm U}(1)roman_U ( 1 ) symmetry acting on quark families. We assign the U(1)U1\mathop{\rm U}(1)roman_U ( 1 ) charges for the quarks as ξisubscript𝜉𝑖\xi_{i}italic_ξ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for 𝟏𝟎isubscript10𝑖\mathbf{10}_{i}bold_10 start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and ξisubscriptsuperscript𝜉𝑖\xi^{\prime}_{i}italic_ξ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for 𝟓¯isubscript¯5𝑖\bar{\mathbf{5}}_{i}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT. We set the charge of the Higgs H𝐻Hitalic_H to zero, as it can always be neutralized via the U(1)YUsubscript1𝑌\mathop{\rm U}(1)_{Y}roman_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT gauge rotation. To have real (Md)12subscriptsubscript𝑀𝑑12(M_{d})_{12}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT and (Md)21subscriptsubscript𝑀𝑑21(M_{d})_{21}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT, we need ξ1+ξ2=0subscript𝜉1subscriptsuperscript𝜉20\xi_{1}+\xi^{\prime}_{2}=0italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_ξ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0, and ξ1+ξ2=0subscriptsuperscript𝜉1subscript𝜉20\xi^{\prime}_{1}+\xi_{2}=0italic_ξ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0. This leads to ξ1+ξ1=(ξ2+ξ2)subscript𝜉1subscriptsuperscript𝜉1subscript𝜉2subscriptsuperscript𝜉2\xi_{1}+\xi^{\prime}_{1}=-(\xi_{2}+\xi^{\prime}_{2})italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_ξ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - ( italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_ξ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ).

To recover the CP-violating phase in the SM, we introduce CP-violating singlet scalar fields η1subscript𝜂1\eta_{1}italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and η2subscript𝜂2\eta_{2}italic_η start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. They share the same U(1)U1\mathop{\rm U}(1)roman_U ( 1 ) charges, ξη1=ξη2=(ξ2+ξ2)subscript𝜉subscript𝜂1subscript𝜉subscript𝜂2subscript𝜉2subscriptsuperscript𝜉2\xi_{\eta_{1}}=\xi_{\eta_{2}}=-(\xi_{2}+\xi^{\prime}_{2})italic_ξ start_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_ξ start_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT = - ( italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_ξ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), allowing for effective couplings 𝟏𝟎2H𝟓¯2η1,2subscript102𝐻subscript¯52subscript𝜂12\mathbf{10}_{2}H\bar{\mathbf{5}}_{2}\eta_{1,2}bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_η start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, which make (Md)22subscriptsubscript𝑀𝑑22(M_{d})_{22}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT complex by non-zero vacuum expectation values (VEVs) η1,2delimited-⟨⟩subscript𝜂12\left\langle{\eta_{1,2}}\right\rangle⟨ italic_η start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ⟩.333Notice that we need two η𝜂\etaitalic_η fields because one of the phases can always be absorbed by a U(1)U1\mathop{\rm U}(1)roman_U ( 1 ) rotation. Since ξ1+ξ1=(ξ2+ξ2)subscript𝜉1superscriptsubscript𝜉1subscript𝜉2superscriptsubscript𝜉2\xi_{1}+\xi_{1}^{\prime}=-(\xi_{2}+\xi_{2}^{\prime})italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_ξ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - ( italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_ξ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ), we naturally obtain effective couplings 𝟏𝟎1H𝟓¯1η1,2subscript101𝐻subscript¯51subscriptsuperscript𝜂12\mathbf{10}_{1}H\bar{\mathbf{5}}_{1}\eta^{\dagger}_{1,2}bold_10 start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, resulting in a non-vanishing (Md)11subscriptsubscript𝑀𝑑11(M_{d})_{11}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT. No additional symmetry suppresses the coefficient for this term, so the determinant of Mdsubscript𝑀𝑑M_{d}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT is no longer real. This conclusion remains valid even when considering other symmetry groups or supersymmetry in 4D. To decouple ηsuperscript𝜂\eta^{\dagger}italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT and ηsuperscript𝜂\eta^{\prime\dagger}italic_η start_POSTSUPERSCRIPT ′ † end_POSTSUPERSCRIPT from the first family quarks, we turn to extra spacetime dimensions, which we discuss in the next section.

III Engineering the three-zero texture in extra dimensions

In this section, we present a successful model in six-dimensional spacetime. We compactify two space dimensions to an orbifold, 𝐓2/3superscript𝐓2subscript3\mathbf{T}^{2}/\mathbb{Z}_{3}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT Watari:2002fd , where 𝐓2superscript𝐓2\mathbf{T}^{2}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT stands for the 2-torus, and 3subscript3\mathbb{Z}_{3}blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT denotes three fixed points. Orbifold compactification is necessary to have chiral fermions in the four-dimensional spacetime.

I​I​II​I​II​I​II​I​III​I𝟏𝟎3(+),δ()subscript103𝛿\mathbf{10}_{3}(+),\delta(-)bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( + ) , italic_δ ( - )𝟏𝟎1()subscript101\mathbf{10}_{1}(-)bold_10 start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( - )𝟏𝟎2(+),𝟓¯1(+),η()subscript102subscript¯51𝜂\mathbf{10}_{2}(+),\bar{\mathbf{5}}_{1}(+),\eta(-)bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( + ) , over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( + ) , italic_η ( - )bulkH(+),𝟓¯2(),𝟓¯3(+)𝐻subscript¯52subscript¯53H(+),\bar{\mathbf{5}}_{2}(-),\bar{\mathbf{5}}_{3}(+)italic_H ( + ) , over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( - ) , over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( + )
Figure 1: A picture of the 𝐓2/3superscript𝐓2subscript3\mathbf{T}^{2}/\mathbb{Z}_{3}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT orbifold. The opposite sides of the parallelogram are identified. Three points I, I​I, and I​I​I represent the fixed points. The localization of quarks 𝟏𝟎isubscript10𝑖\mathbf{10}_{i}bold_10 start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and 𝟓¯isubscript¯5𝑖\bar{\mathbf{5}}_{i}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, the Higgs H𝐻Hitalic_H, and the scalars η𝜂\etaitalic_η and δ𝛿\deltaitalic_δ are also shown with their 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT charges

To obtain the diagonal mass matrix for the up-type quarks, Musubscript𝑀𝑢M_{u}italic_M start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT, we put 𝟏𝟎10\mathbf{10}bold_10’s on different fixed points from each other as shown in Fig.1.444We may argue that the presence of three fixed points is the primary origin of the three families of quarks and leptons. Watari:2002fd places three 𝟓¯¯5\bar{\mathbf{5}}over¯ start_ARG bold_5 end_ARG at each fixed point. We discuss the details in Appendix A. The Higgs field lives in the bulk, and we assume that its wave function varies at different fixed points, leading to the hierarchy of the Yukawa coupling in the mass matrix of the up-type quarks, mu:mc:mtϵ2:ϵ:1:subscript𝑚𝑢subscript𝑚𝑐:similar-to-or-equalssubscript𝑚𝑡superscriptitalic-ϵ2:italic-ϵ:1m_{u}:m_{c}:m_{t}\simeq\epsilon^{2}:\epsilon:1italic_m start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT : italic_m start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT : italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ≃ italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT : italic_ϵ : 1 with ϵ1/300similar-to-or-equalsitalic-ϵ1300\epsilon\simeq 1/300italic_ϵ ≃ 1 / 300 Antusch:2013jca . As to the off-diagonal terms, an exponential suppression, eMLsuperscript𝑒subscript𝑀𝐿e^{-M_{*}L}italic_e start_POSTSUPERSCRIPT - italic_M start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT italic_L end_POSTSUPERSCRIPT, arises naturally between different fixed points if the length between two fixed points, L𝐿Litalic_L, is large enough. Such an exponential suppression is a crucial merit of using the extra dimensions. Here M1017similar-to-or-equalssubscript𝑀superscript1017M_{*}\simeq 10^{17}italic_M start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ≃ 10 start_POSTSUPERSCRIPT 17 end_POSTSUPERSCRIPT GeV is the six-dimensional Planck scale.

We also need additional symmetry to engineer the down-type quark mass matrix. A minimal choice is 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, under which 𝟏𝟎10\mathbf{10}bold_10’s can only have two possible charge assignments up to equivalence under permutation, (+,+,+)(+,+,+)( + , + , + ) or (,+,+)(-,+,+)( - , + , + ), while only the latter could possibly lead to the desired texture in the down-type quark mass matrix.

We then want to engineer the three-zero texture of Mdsubscript𝑀𝑑M_{d}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT in Eq.(2). We start by putting all 𝟓¯¯5\bar{\mathbf{5}}over¯ start_ARG bold_5 end_ARG’s in the bulk. Since we fixed 𝟏𝟎10\mathbf{10}bold_10’s to be (,+,+)(-,+,+)( - , + , + ), we have four choices for 𝟓¯¯5\bar{\mathbf{5}}over¯ start_ARG bold_5 end_ARG’s charges: (+,+,+),(+,,+),(+,,),(,,)(+,+,+),\ (+,-,+),\ (+,-,-),\ (-,-,-)( + , + , + ) , ( + , - , + ) , ( + , - , - ) , ( - , - , - ), where permutation would lead to other textures in Tanimoto:2016rqy . Corresponding to the four charge choices, the possible textures are

(000),(0000),(00000),(000000),000000000000000000\left(\begin{array}[]{ccc}0&0&0\\ \checkmark&\checkmark&\checkmark\\ \checkmark&\checkmark&\checkmark\end{array}\right)\,,\ \left(\begin{array}[]{% ccc}0&\checkmark&0\\ \checkmark&0&\checkmark\\ \checkmark&0&\checkmark\end{array}\right)\,,\ \left(\begin{array}[]{ccc}0&% \checkmark&\checkmark\\ \checkmark&0&0\\ \checkmark&0&0\end{array}\right)\,,\ \left(\begin{array}[]{ccc}\checkmark&% \checkmark&\checkmark\\ 0&0&0\\ 0&0&0\end{array}\right)\,,( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL ✓ end_CELL start_CELL ✓ end_CELL start_CELL ✓ end_CELL end_ROW start_ROW start_CELL ✓ end_CELL start_CELL ✓ end_CELL start_CELL ✓ end_CELL end_ROW end_ARRAY ) , ( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL ✓ end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL ✓ end_CELL start_CELL 0 end_CELL start_CELL ✓ end_CELL end_ROW start_ROW start_CELL ✓ end_CELL start_CELL 0 end_CELL start_CELL ✓ end_CELL end_ROW end_ARRAY ) , ( start_ARRAY start_ROW start_CELL 0 end_CELL start_CELL ✓ end_CELL start_CELL ✓ end_CELL end_ROW start_ROW start_CELL ✓ end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL ✓ end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW end_ARRAY ) , ( start_ARRAY start_ROW start_CELL ✓ end_CELL start_CELL ✓ end_CELL start_CELL ✓ end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL 0 end_CELL start_CELL 0 end_CELL end_ROW end_ARRAY ) , (3)

where check marks denote the non-vanishing matrix elements under 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, all of which are real due to CP symmetry. We further introduce the CP-violating singlet scalar field η𝜂\etaitalic_η, which carries the 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT odd charge. Notice that for the first and fourth charge choices, regardless of whether we place the η𝜂\etaitalic_η filed in the bulk or at the fixed points, the matrix will not have the desired structure with a real determinant. For the second and third charge choices, placing the η𝜂\etaitalic_η field at certain fixed points results in a matrix with a real determinant, although the matrix contains a complex phase. We will focus on the second charge choice for now.

To fully recover the mass matrix in Eq.(2), we place the CP-violating field η𝜂\etaitalic_η on the second fixed point to introduce a complex phase in (Md)22subscriptsubscript𝑀𝑑22(M_{d})_{22}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT. To further break the 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry, we introduce an additional real singlet scalar field δ𝛿\deltaitalic_δ with an odd 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT charge at the third fixed point. Notice that now the mass matrix contains two zeros, which is a generic and unique prediction with one free parameter remaining to be tested in the future. However, since only the three-zero texture has been analyzed and compared with data in Tanimoto:2016rqy , we require 𝟓¯1subscript¯51\bar{\mathbf{5}}_{1}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT to be localized at the second fixed point to achieve the three-zero texture Eq.(2), as shown in Fig.1. We summarize the 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT-charge assignment in Tab.2.

𝟏𝟎1subscript101\mathbf{10}_{1}bold_10 start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 𝟏𝟎2subscript102\mathbf{10}_{2}bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT 𝟏𝟎3subscript103\mathbf{10}_{3}bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT 𝟓¯1subscript¯51\bar{\mathbf{5}}_{1}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT 𝟓¯2subscript¯52\bar{\mathbf{5}}_{2}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT 𝟓¯3subscript¯53\bar{\mathbf{5}}_{3}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT H𝐻Hitalic_H η𝜂\etaitalic_η δ𝛿\deltaitalic_δ
2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT -- +++ +++ +++ -- +++ +++ -- --
Table 2: 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT charge for each particle.

We now discuss the spontaneous symmetry breaking of the 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry and the CP symmetry by a complex singlet scalar η𝜂\etaitalic_η and a real singlet scalar δ𝛿\deltaitalic_δ in detail. We assume their potentials at the fixed point I​I and I​I​I as

VII(η)=μ1ηημ2(η2+η2)+λ1(ηη)2+λ2(η4+η4),subscript𝑉II𝜂subscript𝜇1𝜂superscript𝜂subscript𝜇2superscript𝜂2superscript𝜂absent2subscript𝜆1superscript𝜂superscript𝜂2subscript𝜆2superscript𝜂4superscript𝜂absent4V_{\mathrm{I\!I}}(\eta)=-\mu_{1}\eta\eta^{\dagger}-\mu_{2}(\eta^{2}+\eta^{% \dagger 2})+\lambda_{1}(\eta\eta^{\dagger})^{2}+\lambda_{2}(\eta^{4}+\eta^{% \dagger 4})\ ,italic_V start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT ( italic_η ) = - italic_μ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_η italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT - italic_μ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_η start_POSTSUPERSCRIPT † 2 end_POSTSUPERSCRIPT ) + italic_λ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_η italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_λ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_η start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + italic_η start_POSTSUPERSCRIPT † 4 end_POSTSUPERSCRIPT ) , (4)

and

VIII(δ)=λ3(δ2vδ2)2,subscript𝑉III𝛿subscript𝜆3superscriptsuperscript𝛿2superscriptsubscript𝑣𝛿22V_{\mathrm{I\!I\!I}}(\delta)=\lambda_{3}(\delta^{2}-v_{\delta}^{2})^{2}\ ,italic_V start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT ( italic_δ ) = italic_λ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ( italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_v start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (5)

where all parameters μ1,2subscript𝜇12\mu_{1,2}italic_μ start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT, λ1,2,3subscript𝜆123\lambda_{1,2,3}italic_λ start_POSTSUBSCRIPT 1 , 2 , 3 end_POSTSUBSCRIPT, and vδ2subscriptsuperscript𝑣2𝛿v^{2}_{\delta}italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT are real due to the CP symmetry. We assume that η𝜂\etaitalic_η is heavy enough to ignore the Higgs coupling. With the given potentials, η𝜂\etaitalic_η acquires a complex VEV, which accounts for the complex phase in (Md)22subscriptsubscript𝑀𝑑22(M_{d})_{22}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT. This, along with δ=vδexpectation𝛿subscript𝑣𝛿\braket{\delta}=v_{\delta}⟨ start_ARG italic_δ end_ARG ⟩ = italic_v start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT, breaks the 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry.

Saving the details of a possible UV completion model in Appendix B, the effective operator for (Md)22subscriptsubscript𝑀𝑑22(M_{d})_{22}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 22 end_POSTSUBSCRIPT takes the form

(c1Λη+c2Λη)𝟏𝟎2H𝟓¯2,subscript𝑐1Λdelimited-⟨⟩𝜂subscript𝑐2Λdelimited-⟨⟩superscript𝜂subscript102𝐻subscript¯52\displaystyle\left(\frac{c_{1}}{\Lambda}\left\langle{\eta}\right\rangle+\frac{% c_{2}}{\Lambda}\left\langle{\eta^{\dagger}}\right\rangle\right)\mathbf{10}_{2}% H\bar{\mathbf{5}}_{2}\ ,( divide start_ARG italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_Λ end_ARG ⟨ italic_η ⟩ + divide start_ARG italic_c start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG roman_Λ end_ARG ⟨ italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ⟩ ) bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (6)

where Ληsimilar-to-or-equalsΛexpectation𝜂\Lambda\simeq\braket{\eta}roman_Λ ≃ ⟨ start_ARG italic_η end_ARG ⟩ is the cutoff scale of the CP-symmetry breaking, and the number in the parenthesis is the coefficient beiϕ𝑏superscript𝑒𝑖italic-ϕbe^{-i\phi}italic_b italic_e start_POSTSUPERSCRIPT - italic_i italic_ϕ end_POSTSUPERSCRIPT in Eq.(2) at tree level. These coefficients c1,2subscript𝑐12c_{1,2}italic_c start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT are proportional to the Higgs wave function at the fixed point I​I, which is suppressed by ϵitalic-ϵ\epsilonitalic_ϵ.

The CP-violating field could also introduce a complex phase in (Md)21subscriptsubscript𝑀𝑑21(M_{d})_{21}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 21 end_POSTSUBSCRIPT through a coupling η2𝟏𝟎2H𝟓¯1superscript𝜂2subscript102𝐻subscript¯51\eta^{2}\mathbf{10}_{2}H\bar{\mathbf{5}}_{1}italic_η start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT for example, which further introduces a complex phase in the determinant.555Similar argument holds as well for (Md)23subscriptsubscript𝑀𝑑23(M_{d})_{23}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT. However, this term is forbidden in the UV-completion model discussed in Appendix B. Therefore, the coefficients should be suppressed by the six-dimensional Planck scale Msubscript𝑀M_{*}italic_M start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT. To have physical angle |θ¯|1010less-than-or-similar-to¯𝜃superscript1010|\bar{\theta}|\lesssim 10^{-10}| over¯ start_ARG italic_θ end_ARG | ≲ 10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT, Λ/M105less-than-or-similar-toΛsubscript𝑀superscript105\Lambda/M_{*}\lesssim 10^{-5}roman_Λ / italic_M start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT ≲ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT has to be satisfied, and we predict the CP-violation scale as Λ1012less-than-or-similar-toΛsuperscript1012\Lambda\lesssim 10^{12}roman_Λ ≲ 10 start_POSTSUPERSCRIPT 12 end_POSTSUPERSCRIPT GeV. For simplicity, we take the cutoff scale Ληδsimilar-to-or-equalsΛdelimited-⟨⟩𝜂similar-to-or-equalsdelimited-⟨⟩𝛿\Lambda\simeq\left\langle{\eta}\right\rangle\simeq\left\langle{\delta}\right\rangleroman_Λ ≃ ⟨ italic_η ⟩ ≃ ⟨ italic_δ ⟩. An illustrative model of the corresponding high-energy theory is given in Appendix B.

The effective theory below the cutoff scale can be obtained by the integration of heavy particles such as the heavy η𝜂\etaitalic_η and δ𝛿\deltaitalic_δ (and the heavy Higgs particles present in the UV model given in Appendix B). It is the SM Lagrangian with higher-order interaction terms such as

gηΛ𝟏𝟎2H𝟓¯2HHΛ2+h.c.,formulae-sequence𝑔expectation𝜂Λsubscript102𝐻subscript¯52superscript𝐻𝐻superscriptΛ2hcg\frac{\braket{\eta}}{\Lambda}\mathbf{10}_{2}H\bar{\mathbf{5}}_{2}\frac{H^{% \dagger}H}{\Lambda^{2}}+\mathrm{h.c.}\ ,italic_g divide start_ARG ⟨ start_ARG italic_η end_ARG ⟩ end_ARG start_ARG roman_Λ end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT divide start_ARG italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + roman_h . roman_c . , (7)

where g𝑔gitalic_g is a coefficient whose explicit form is given in Eq.(18). As a result, the physical vacuum angle θ¯¯𝜃{\bar{\theta}}over¯ start_ARG italic_θ end_ARG vanishes at tree level. This means that the loop correction from the SM sector to the vacuum angle shift only occurs at four-loop level, where it is strongly suppressed to |θ¯|<1016¯𝜃superscript1016|{\bar{\theta}}|<10^{-16}| over¯ start_ARG italic_θ end_ARG | < 10 start_POSTSUPERSCRIPT - 16 end_POSTSUPERSCRIPT as demonstrated in Ellis:1978hq . However, effective operators like Eq.(7) introduce additional complex phases at two-loop level, as shown in Fig.2 for example. Without delving into the details of the loop computation, we estimate the value of this diagram through tree-level values and find that the correction to (Md)11subscriptsubscript𝑀𝑑11(M_{d})_{11}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT is proportional to

Δ11ηΛgΛ2(116π2)2Λ2avavvηΛgv×1013.similar-tosubscriptΔ11delimited-⟨⟩𝜂Λ𝑔superscriptΛ2superscript116superscript𝜋22superscriptΛ2𝑎𝑣superscript𝑎𝑣𝑣similar-todelimited-⟨⟩𝜂Λ𝑔𝑣superscript1013\Delta_{11}\sim\frac{\left\langle{\eta}\right\rangle}{\Lambda}\frac{g}{\Lambda% ^{2}}\left(\frac{1}{16\pi^{2}}\right)^{2}\Lambda^{2}\frac{a}{v}\frac{a^{\prime% }}{v}v\sim\frac{\left\langle{\eta}\right\rangle}{\Lambda}gv\times 10^{-13}\ .roman_Δ start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ∼ divide start_ARG ⟨ italic_η ⟩ end_ARG start_ARG roman_Λ end_ARG divide start_ARG italic_g end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( divide start_ARG 1 end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_a end_ARG start_ARG italic_v end_ARG divide start_ARG italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_v end_ARG italic_v ∼ divide start_ARG ⟨ italic_η ⟩ end_ARG start_ARG roman_Λ end_ARG italic_g italic_v × 10 start_POSTSUPERSCRIPT - 13 end_POSTSUPERSCRIPT . (8)

where (1/16π2)2Λ2superscript116superscript𝜋22superscriptΛ2(1/16\pi^{2})^{2}\Lambda^{2}( 1 / 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is the loop factor, the coefficients a,a𝑎superscript𝑎a,a^{\prime}italic_a , italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are taken from Tab.1, and v=246𝑣246v=246italic_v = 246 GeV is the SM-Higgs VEV. Hence, the contribution of Δ11subscriptΔ11\Delta_{11}roman_Δ start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT to θ¯¯𝜃\bar{\theta}over¯ start_ARG italic_θ end_ARG is roughly estimated as

θ¯=ArgdetMdIm[Δ11(beiϕdcc)]aadg×109.¯𝜃Argsubscript𝑀𝑑similar-toImdelimited-[]subscriptΔ11𝑏superscript𝑒𝑖italic-ϕ𝑑𝑐superscript𝑐𝑎superscript𝑎𝑑similar-to𝑔superscript109\displaystyle\bar{\theta}=\mathrm{Arg}\det M_{d}\sim\frac{\mathrm{Im}[\Delta_{% 11}(be^{-i\phi}d-cc^{\prime})]}{aa^{\prime}d}\sim g\times 10^{-9}\ .over¯ start_ARG italic_θ end_ARG = roman_Arg roman_det italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ∼ divide start_ARG roman_Im [ roman_Δ start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT ( italic_b italic_e start_POSTSUPERSCRIPT - italic_i italic_ϕ end_POSTSUPERSCRIPT italic_d - italic_c italic_c start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ] end_ARG start_ARG italic_a italic_a start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_d end_ARG ∼ italic_g × 10 start_POSTSUPERSCRIPT - 9 end_POSTSUPERSCRIPT . (9)

As discussed in Appendix B, the coupling constants in 4D are described by the overlap with the Higgs wave function at each fixed point. Thus, we expect that g𝒪(ϵ3)similar-to𝑔𝒪superscriptitalic-ϵ3g\sim\mathcal{O}(\epsilon^{3})italic_g ∼ caligraphic_O ( italic_ϵ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ), and the above two-loop diagram is sufficiently suppressed, |θ¯|1016less-than-or-similar-to¯𝜃superscript1016|\bar{\theta}|\lesssim 10^{-16}| over¯ start_ARG italic_θ end_ARG | ≲ 10 start_POSTSUPERSCRIPT - 16 end_POSTSUPERSCRIPT. We therefore achieve a consistent model solving the strong CP problem through the three-zero texture of the down-type quark mass matrix.

{feynman}\vertex\vertex\vertex\vertex\vertex\vertexηexpectation𝜂\braket{\eta}⟨ start_ARG italic_η end_ARG ⟩\vertexHexpectation𝐻\braket{H}⟨ start_ARG italic_H end_ARG ⟩\diagram𝟏𝟎1subscript101\mathbf{10}_{1}bold_10 start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT𝟓¯2subscript¯52\bar{\mathbf{5}}_{2}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT𝟏𝟎2subscript102\mathbf{10}_{2}bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT𝟓¯1subscript¯51\bar{\mathbf{5}}_{1}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTH𝐻Hitalic_HH𝐻Hitalic_H
Figure 2: A two-loop diagram that can contribute to the complex phase in (Md)11subscriptsubscript𝑀𝑑11(M_{d})_{11}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT.

IV Conclusions and discussion

In this paper, we propose a solution to the strong CP problem through the three-zero texture of the down-type quark mass matrix at the effective field theory level. Utilizing the extra dimensions, and their compactification to the orbifold 𝐓2/3superscript𝐓2subscript3\mathbf{T}^{2}/\mathbb{Z}_{3}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT, we construct a model that naturally leads to this three-zero texture.

In this framework, we place 𝟏𝟎10\mathbf{10}bold_10’s on three fixed points to obtain a diagonal up-type quark mass matrix. The mass hierarchy of the up-type quark is related to the Higgs wave function at each fixed point. By utilizing the additional 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry, as summarized in Tab.2, we place the down-type quarks in the torus bulk and introduce a CP-violating scalar η𝜂\etaitalic_η and a real scalar δ𝛿\deltaitalic_δ, both of which are 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT odd and break the additional symmetries by acquiring VEVs. This results in a two-zero texture for the down-type quark mass matrix. Remarkably, the determinant of this two-zero texture is real, and the theory does not suffer from the strong CP problem. To explain the three-zero texture that fits the data Tanimoto:2016rqy , we localize 𝟓¯1subscript¯51\bar{\mathbf{5}}_{1}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT at the second fixed point.

The three-zero texture of the down-type quark mass matrix results in a vanishing physical vacuum angle, θ¯=0¯𝜃0\bar{\theta}=0over¯ start_ARG italic_θ end_ARG = 0, at tree level, and hence, the loop corrections from the SM interactions are suppressed at four-loop level as shown in Ellis:1978hq . Thus, we only need to consider corrections from non-SM interactions arising from integrating out heavy particles. Due to the hierarchy of the Higgs wave function at different fixed points, these corrections to the physical vacuum angle are suppressed to |θ¯|1016less-than-or-similar-to¯𝜃superscript1016|\bar{\theta}|\lesssim 10^{-16}| over¯ start_ARG italic_θ end_ARG | ≲ 10 start_POSTSUPERSCRIPT - 16 end_POSTSUPERSCRIPT at two-loop level. Our model solves the strong CP problem without radiative corrections, clearly distinguishing it from the Nelson-Barr model, which experiences large loop corrections to θ¯¯𝜃{\bar{\theta}}over¯ start_ARG italic_θ end_ARG at one-loop level Dine:2015jga .

We would like to emphasize that the localization of the CP-violating field η𝜂\etaitalic_η at the fixed point I​I is crucial. Otherwise, (Md)11subscriptsubscript𝑀𝑑11(M_{d})_{11}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT can also contain ηexpectation𝜂\braket{\eta}⟨ start_ARG italic_η end_ARG ⟩, which would generate the complex phase of the determinant of Mdsubscript𝑀𝑑M_{d}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT, and θ¯¯𝜃{\bar{\theta}}over¯ start_ARG italic_θ end_ARG would no longer be vanishing. Such a localization of the CP-violating field can be realized only in the higher-dimensional spacetime.

In this paper, we focused on Eq.(2) as one example of a three-zero texture quark mass matrix that can fit the data while having a real determinant. Extending this to other mass textures, as explored in Tanimoto:2016rqy , is straightforward. A common feature among these models is the requirement of a higher-dimensional theory to achieve real determinants for both the up-type and down-type quark matrices. Additionally, the distance L𝐿Litalic_L between the fixed points must be sufficiently large, with ML30greater-than-or-equivalent-tosubscript𝑀𝐿30M_{*}L\gtrsim 30italic_M start_POSTSUBSCRIPT ∗ end_POSTSUBSCRIPT italic_L ≳ 30, to satisfy the experimental constraint |θ¯|<1010¯𝜃superscript1010|\bar{\theta}|<10^{-10}| over¯ start_ARG italic_θ end_ARG | < 10 start_POSTSUPERSCRIPT - 10 end_POSTSUPERSCRIPT. We do not address the high-energy fundamental theory underlying this phenomenological model, nor do we calculate the Higgs wave function in the bulk. Instead, we assume the hierarchy of quark masses as a given fact, which is essential for achieving suppressed loop corrections. It is worth noting that our model naturally predicts a two-zero texture in the down-type quark mass matrix, which should be tested and constrained by experimental data in future work.

It is straightforward to extend our mechanism to the lepton sector with three right-handed neutrinos (RHNs). The large Majorana masses of the RHNs are crucial for explaining the tiny Majorana masses of the left-handed neutrinos via the seesaw mechanism Yanagida:1979as ; Gell-Mann:1979vob ; Glashow:1979nm ; Minkowski:1977sc . Decays of the RHNs in the early universe produce a lepton asymmetry, which is then converted into a baryon number asymmetry through the leptogenesis mechanism Fukugita:1986hr . Since the only source of CP violation in our model is the complex phase of the VEV of the η𝜂\etaitalic_η field, the sign of the baryon asymmetry Frampton:2002qc may be related to CP-violating phases at low energies, such as those in the CKM quark mixing matrices and the Pontecorvo-Maki-Nakagawa-Sakata neutrino mixing matrices. The details of these processes will be discussed in future publications.

Ackowledgments

We would like to thank Morimitsu Tanimoto for valuable information on the quark mass matrices and encouragement. We would acknowledge Kazuya Yonekura, Taizan Watari and Yoshiharu Kawamura for discussion on the 𝐓2/3superscript𝐓2subscript3\mathbf{T}^{2}/\mathbb{Z}_{3}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT orbifold compactification. This work is supported by JSPS Grant-in-Aid for Scientific Research Grants No. 24H02244, the National Natural Science Foundation of China (12175134) and World Premier International Research Center Initiative (WPI Initiative), MEXT, Japan. RO was supported by Forefront Physics and Mathematics Program to Drive Transformation (FoPM), a World-leading Innovative Graduate Study (WINGS) Program, the University of Tokyo, JSPS KAKENHI Grant Number JP24KJ0838, and JSR Fellowship, the University of Tokyo.

Appendix A Origin of the 𝟓¯¯5\bar{\mathbf{5}}over¯ start_ARG bold_5 end_ARG’s in the bulk

In this section, we discuss a possible origin of the bulk 𝟓¯¯5\bar{\mathbf{5}}over¯ start_ARG bold_5 end_ARG’s in the six-dimensional spacetime following notation in Goto:2017zsx . We introduce an anomaly-free Dirac fermion consisting of the positive chirality Ψ+subscriptΨ\Psi_{+}roman_Ψ start_POSTSUBSCRIPT + end_POSTSUBSCRIPT and the negative chirality ΨsubscriptΨ\Psi_{-}roman_Ψ start_POSTSUBSCRIPT - end_POSTSUBSCRIPT in six dimensions that are obtained from the projection,

Ψ+=(1γ52001+γ52)Ψ=(ψ+Lψ+R),subscriptΨ1subscript𝛾52001subscript𝛾52Ψbinomialsubscript𝜓𝐿subscript𝜓𝑅\Psi_{+}=\left(\begin{array}[]{cc}\frac{1-\gamma_{5}}{2}&0\\ 0&\frac{1+\gamma_{5}}{2}\end{array}\right)\Psi=\binom{\psi_{+L}}{\psi_{+R}}\ ,roman_Ψ start_POSTSUBSCRIPT + end_POSTSUBSCRIPT = ( start_ARRAY start_ROW start_CELL divide start_ARG 1 - italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG 1 + italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL end_ROW end_ARRAY ) roman_Ψ = ( FRACOP start_ARG italic_ψ start_POSTSUBSCRIPT + italic_L end_POSTSUBSCRIPT end_ARG start_ARG italic_ψ start_POSTSUBSCRIPT + italic_R end_POSTSUBSCRIPT end_ARG ) , (10)

and

Ψ=(1+γ52001γ52)Ψ=(ψRψL).subscriptΨ1subscript𝛾52001subscript𝛾52Ψbinomialsubscript𝜓𝑅subscript𝜓𝐿\Psi_{-}=\left(\begin{array}[]{cc}\frac{1+\gamma_{5}}{2}&0\\ 0&\frac{1-\gamma_{5}}{2}\end{array}\right)\Psi=\binom{\psi_{-R}}{\psi_{-L}}\ .roman_Ψ start_POSTSUBSCRIPT - end_POSTSUBSCRIPT = ( start_ARRAY start_ROW start_CELL divide start_ARG 1 + italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL divide start_ARG 1 - italic_γ start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG end_CELL end_ROW end_ARRAY ) roman_Ψ = ( FRACOP start_ARG italic_ψ start_POSTSUBSCRIPT - italic_R end_POSTSUBSCRIPT end_ARG start_ARG italic_ψ start_POSTSUBSCRIPT - italic_L end_POSTSUBSCRIPT end_ARG ) . (11)

We denote the six-dimensional coordinates with the orbifold 𝐓2/3superscript𝐓2subscript3\mathbf{T}^{2}/\mathbb{Z}_{3}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT as x=(xμ,z)𝑥subscript𝑥𝜇𝑧x=(x_{\mu},z)italic_x = ( italic_x start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_z ), where μ=0,1,2,3𝜇0123\mu=0,1,2,3italic_μ = 0 , 1 , 2 , 3 are the four-dimensional spacetime coordinates, and z𝑧zitalic_z is the complex two-dimensional coordinate. There exists a 3subscript3\mathbb{Z}_{3}blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT symmetry under which the coordinates rotate as

σ:(xμ,z)(xμ,σz)whereσzωz=ω2z,ωe2πi3.\sigma:(x_{\mu},z)\mapsto(x_{\mu},\sigma z)\hskip 10.0pt\text{where}\hskip 10.% 0pt\sigma z\equiv\omega z=\omega^{-2}z\,,\ \omega\equiv e^{\frac{2\pi i}{3}}\ .italic_σ : ( italic_x start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_z ) ↦ ( italic_x start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_σ italic_z ) where italic_σ italic_z ≡ italic_ω italic_z = italic_ω start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT italic_z , italic_ω ≡ italic_e start_POSTSUPERSCRIPT divide start_ARG 2 italic_π italic_i end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT . (12)

Under this symmetry, the fermions transform as

σ:ψ+L(R)(xμ,z)η+L(R)ψ+L(R)(xμ,σz),:𝜎maps-tosubscript𝜓𝐿𝑅subscript𝑥𝜇𝑧subscript𝜂𝐿𝑅subscript𝜓𝐿𝑅subscript𝑥𝜇𝜎𝑧\sigma:\psi_{+L(R)}(x_{\mu},z)\mapsto\eta_{+L(R)}\psi_{+L(R)}(x_{\mu},\sigma z% )\ ,italic_σ : italic_ψ start_POSTSUBSCRIPT + italic_L ( italic_R ) end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_z ) ↦ italic_η start_POSTSUBSCRIPT + italic_L ( italic_R ) end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT + italic_L ( italic_R ) end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_σ italic_z ) , (13)

and

σ:ψR(L)(xμ,z)ηR(L)ψR(L)(xμ,σz),:𝜎maps-tosubscript𝜓𝑅𝐿subscript𝑥𝜇𝑧subscript𝜂𝑅𝐿subscript𝜓𝑅𝐿subscript𝑥𝜇𝜎𝑧\sigma:\psi_{-R(L)}(x_{\mu},z)\mapsto\eta_{-R(L)}\psi_{-R(L)}(x_{\mu},\sigma z% )\ ,italic_σ : italic_ψ start_POSTSUBSCRIPT - italic_R ( italic_L ) end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_z ) ↦ italic_η start_POSTSUBSCRIPT - italic_R ( italic_L ) end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT - italic_R ( italic_L ) end_POSTSUBSCRIPT ( italic_x start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , italic_σ italic_z ) , (14)

where η+R=ωη+Lsubscript𝜂𝑅𝜔subscript𝜂𝐿\eta_{+R}=\omega\eta_{+L}italic_η start_POSTSUBSCRIPT + italic_R end_POSTSUBSCRIPT = italic_ω italic_η start_POSTSUBSCRIPT + italic_L end_POSTSUBSCRIPT is the phase picked up by the right-handed chiral fermion ψ+Rsubscript𝜓𝑅\psi_{+R}italic_ψ start_POSTSUBSCRIPT + italic_R end_POSTSUBSCRIPT. Similarly, ηL=ωηRsubscript𝜂𝐿𝜔subscript𝜂𝑅\eta_{-L}=\omega\eta_{-R}italic_η start_POSTSUBSCRIPT - italic_L end_POSTSUBSCRIPT = italic_ω italic_η start_POSTSUBSCRIPT - italic_R end_POSTSUBSCRIPT. For a mass term Ψ¯Ψ¯ΨΨ\bar{\Psi}\Psiover¯ start_ARG roman_Ψ end_ARG roman_Ψ to be allowed in principle, the phases are related through η+L=ηRsubscript𝜂𝐿subscript𝜂𝑅\eta_{+L}=\eta_{-R}italic_η start_POSTSUBSCRIPT + italic_L end_POSTSUBSCRIPT = italic_η start_POSTSUBSCRIPT - italic_R end_POSTSUBSCRIPT. We are left with one degree of freedom to choose η+L=ω1subscript𝜂𝐿superscript𝜔1\eta_{+L}=\omega^{-1}italic_η start_POSTSUBSCRIPT + italic_L end_POSTSUBSCRIPT = italic_ω start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT,666We would like to thank Yoshiharu Kawamura for an intensive discussion and valuable comments on the transformation properties of the six-dimensional fermions under the orbifold 3subscript3\mathbb{Z}_{3}blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT symmetry. and ψ+Rsubscript𝜓𝑅\psi_{+R}italic_ψ start_POSTSUBSCRIPT + italic_R end_POSTSUBSCRIPT and ψLsubscript𝜓𝐿\psi_{-L}italic_ψ start_POSTSUBSCRIPT - italic_L end_POSTSUBSCRIPT are invariant under this 3subscript3\mathbb{Z}_{3}blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT symmetry and remain massless after the orbifold compactification.

Now, we assign the SU(5)SU5\mathop{\rm SU}(5)roman_SU ( 5 ) representation of the six-dimensional Dirac fermion as ψ(𝟓)𝜓5\psi(\mathbf{5})italic_ψ ( bold_5 ), which contains a pair of the massless four-dimensional fermions, ψ+R(𝟓)subscript𝜓𝑅5\psi_{+R}(\mathbf{5})italic_ψ start_POSTSUBSCRIPT + italic_R end_POSTSUBSCRIPT ( bold_5 ) and ψL(𝟓)subscript𝜓𝐿5\psi_{-L}(\mathbf{5})italic_ψ start_POSTSUBSCRIPT - italic_L end_POSTSUBSCRIPT ( bold_5 ). Now, we introduce three sets of the Dirac fermions in the bulk777One might start with an anomaly-free pair of 𝟓¯superscript¯5\bar{\mathbf{5}}^{\prime}over¯ start_ARG bold_5 end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and 𝟏𝟎10\mathbf{10}bold_10 at each fixed point, which appears to be a more elegant model. However, for large distances between the fixed points, there is no flavor mixing. to make the model realistic, and hence we have three sets of massless four-dimensional fermions after the orbifold compactification. We will drop the ±plus-or-minus\pm± sign of the four-dimensional fermions for the rest of this appendix.

In addition to the above fermions, we introduce a pair of anomaly-free four-dimensional fermions at each fixed point, namely ψR(𝟓)superscriptsubscript𝜓𝑅5\psi_{R}^{\prime}(\mathbf{5})italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( bold_5 ) and ψL(𝟏𝟎)subscript𝜓𝐿10\psi_{L}(\mathbf{10})italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( bold_10 ). The left-handed fermions, ψL(𝟓)subscript𝜓𝐿5\psi_{L}(\mathbf{5})italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( bold_5 ), gain mass at the fixed point through the interaction MψR¯(𝟓)ψL(𝟓)𝑀¯superscriptsubscript𝜓𝑅5subscript𝜓𝐿5M{\overline{\psi_{R}^{\prime}}(\mathbf{5})}\psi_{L}(\mathbf{5})italic_M over¯ start_ARG italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG ( bold_5 ) italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( bold_5 ), resulting in three massless right-handed fermions, ψR(𝟓)subscript𝜓𝑅5\psi_{R}(\mathbf{5})italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ( bold_5 ), in the bulk, which correspond to the 𝟓¯¯5\bar{\mathbf{5}}over¯ start_ARG bold_5 end_ARG’s in the main context. We later restrict 𝟓¯1subscript¯51\bar{\mathbf{5}}_{1}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT at the second fixed point to get the three-zero texture.888We can also start from the localized 𝟓¯1subscript¯51\bar{\mathbf{5}}_{1}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT on the second fixed point, and introduce two pairs of fermions in the bulk to cancel anomaly. The three massless left-handed fermions, ψL(𝟏𝟎)subscript𝜓𝐿10\psi_{L}(\mathbf{10})italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( bold_10 ), are the 𝟏𝟎10\mathbf{10}bold_10’s in the main context. They will gain mass through the Higgs mechanism. Therefore, we obtain anomaly-free chiral fermions in 6D.

Appendix B A UV complete model

In this section, we discuss a UV completion for the effective operators ηΛ𝟏𝟎2H𝟓¯2delimited-⟨⟩𝜂Λsubscript102𝐻subscript¯52\frac{\left\langle{\eta}\right\rangle}{\Lambda}\mathbf{10}_{2}H\bar{\mathbf{5}% }_{2}divide start_ARG ⟨ italic_η ⟩ end_ARG start_ARG roman_Λ end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, ηΛ𝟏𝟎2H𝟓¯2delimited-⟨⟩superscript𝜂Λsubscript102𝐻subscript¯52\frac{\left\langle{\eta^{\dagger}}\right\rangle}{\Lambda}\mathbf{10}_{2}H\bar{% \mathbf{5}}_{2}divide start_ARG ⟨ italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ⟩ end_ARG start_ARG roman_Λ end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, and δΛ𝟏𝟎3H𝟓¯2delimited-⟨⟩𝛿Λsubscript103𝐻subscript¯52\frac{\left\langle{\delta}\right\rangle}{\Lambda}\mathbf{10}_{3}H\bar{\mathbf{% 5}}_{2}divide start_ARG ⟨ italic_δ ⟩ end_ARG start_ARG roman_Λ end_ARG bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT discussed in Eq.(6).

First, we start with the UV completion for ηΛ𝟏𝟎2H𝟓¯2delimited-⟨⟩𝜂Λsubscript102𝐻subscript¯52\frac{\left\langle{\eta}\right\rangle}{\Lambda}\mathbf{10}_{2}H\bar{\mathbf{5}% }_{2}divide start_ARG ⟨ italic_η ⟩ end_ARG start_ARG roman_Λ end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT on the fixed point I​I. We introduce a new heavy Higgs boson HIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT with an odd 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT charge on the fixed point I​I. This heavy Higgs boson introduces the following renormalizable interactions

MII2HIIHII+Y(𝟏𝟎2HII𝟓¯2+h.c.)\displaystyle M_{\mathrm{I\!I}}^{2}H_{\mathrm{I\!I}}^{\dagger}H_{\mathrm{I\!I}% }+Y(\mathbf{10}_{2}H_{\mathrm{I\!I}}\bar{\mathbf{5}}_{2}+\mathrm{h.c.})italic_M start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT + italic_Y ( bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + roman_h . roman_c . )
+α1(HIIHη+HHIIη)+α2(HHIIη+HIIHη)subscript𝛼1superscriptsubscript𝐻II𝐻𝜂superscript𝐻subscript𝐻IIsuperscript𝜂subscript𝛼2superscript𝐻subscript𝐻II𝜂superscriptsubscript𝐻II𝐻superscript𝜂\displaystyle+\alpha_{1}(H_{\mathrm{I\!I}}^{\dagger}H\eta+H^{\dagger}H_{% \mathrm{I\!I}}\eta^{\dagger})+\alpha_{2}(H^{\dagger}H_{\mathrm{I\!I}}\eta+H_{% \mathrm{I\!I}}^{\dagger}H\eta^{\dagger})+ italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H italic_η + italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ) + italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT italic_η + italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT )
+β1(HIIHII)2+β2HHHIIHII+β3[(HHII)2+(HIIH)2],subscript𝛽1superscriptsuperscriptsubscript𝐻IIsubscript𝐻II2subscript𝛽2superscript𝐻𝐻superscriptsubscript𝐻IIsubscript𝐻IIsubscript𝛽3delimited-[]superscriptsuperscript𝐻subscript𝐻II2superscriptsuperscriptsubscript𝐻II𝐻2\displaystyle+\beta_{1}(H_{\mathrm{I\!I}}^{\dagger}H_{\mathrm{I\!I}})^{2}+% \beta_{2}H^{\dagger}HH_{\mathrm{I\!I}}^{\dagger}H_{\mathrm{I\!I}}+\beta_{3}[(H% ^{\dagger}H_{\mathrm{I\!I}})^{2}+(H_{\mathrm{I\!I}}^{\dagger}H)^{2}]\ ,+ italic_β start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT + italic_β start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT [ ( italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (15)

where MIIΛsimilar-to-or-equalssubscript𝑀IIΛM_{\mathrm{I\!I}}\simeq\Lambdaitalic_M start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT ≃ roman_Λ and α1,2subscript𝛼12\alpha_{1,2}italic_α start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT are dimensionful parameters, and Y𝑌Yitalic_Y and β1,2,3subscript𝛽123\beta_{1,2,3}italic_β start_POSTSUBSCRIPT 1 , 2 , 3 end_POSTSUBSCRIPT are dimensionless parameters.999There are other interaction terms such as HHηηsuperscript𝐻𝐻superscript𝜂𝜂H^{\dagger}H\eta^{\dagger}\etaitalic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η and HIIHIIηηsuperscriptsubscript𝐻IIsubscript𝐻IIsuperscript𝜂𝜂H_{\mathrm{I\!I}}^{\dagger}H_{\mathrm{I\!I}}\eta^{\dagger}\etaitalic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_η, but they only contribute to the mass renormalization of H𝐻Hitalic_H and HIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT. All of these parameters are real due to the CP symmetry.

{feynman}\vertex𝟏𝟎2subscript102\mathbf{10}_{2}bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex𝟓¯2subscript¯52\bar{\mathbf{5}}_{2}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex\vertex\vertexH𝐻Hitalic_H\vertexηdelimited-⟨⟩𝜂\left\langle{\eta}\right\rangle⟨ italic_η ⟩Y𝑌Yitalic_Yα1subscript𝛼1\alpha_{1}italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT\diagramHIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT
Figure 3: A Feynman diagram for the HIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT exchange.

Below the energy scale ΛΛ\Lambdaroman_Λ, the HIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT exchange diagram Fig.3 induces the effective operator

Yα1MII2η𝟏𝟎2H𝟓¯2Yα1ηΛ2𝟏𝟎2H𝟓¯2.similar-to-or-equals𝑌subscript𝛼1superscriptsubscript𝑀II2delimited-⟨⟩𝜂subscript102𝐻subscript¯52𝑌subscript𝛼1delimited-⟨⟩𝜂superscriptΛ2subscript102𝐻subscript¯52\displaystyle\frac{Y\alpha_{1}}{M_{\mathrm{I\!I}}^{2}}\left\langle{\eta}\right% \rangle\mathbf{10}_{2}H\bar{\mathbf{5}}_{2}\simeq Y\alpha_{1}\frac{\left% \langle{\eta}\right\rangle}{\Lambda^{2}}\mathbf{10}_{2}H\bar{\mathbf{5}}_{2}\ .divide start_ARG italic_Y italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟨ italic_η ⟩ bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≃ italic_Y italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT divide start_ARG ⟨ italic_η ⟩ end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT . (16)

This gives a complex phase to the down-type quark mass matrix at tree level: specifically in terms of Eq.(6), c1Yα1Λsimilar-tosubscript𝑐1𝑌subscript𝛼1Λc_{1}\sim\frac{Y\alpha_{1}}{\Lambda}italic_c start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∼ divide start_ARG italic_Y italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_Λ end_ARG. Another effective operator ηΛ𝟏𝟎2H𝟓¯2delimited-⟨⟩superscript𝜂Λsubscript102𝐻subscript¯52\frac{\left\langle{\eta^{\dagger}}\right\rangle}{\Lambda}\mathbf{10}_{2}H\bar{% \mathbf{5}}_{2}divide start_ARG ⟨ italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ⟩ end_ARG start_ARG roman_Λ end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT can be obtained in the same way with replacing α1subscript𝛼1\alpha_{1}italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT with α2subscript𝛼2\alpha_{2}italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT.

{feynman}\vertex\vertex𝟏𝟎2subscript102\mathbf{10}_{2}bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex𝟓¯2subscript¯52\bar{\mathbf{5}}_{2}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex\vertex\vertex\vertex\vertex(a1)+(0,1.5)𝑎101.5(a1)+(0,1.5)( italic_a 1 ) + ( 0 , 1.5 )H𝐻Hitalic_H\vertexηdelimited-⟨⟩𝜂\left\langle{\eta}\right\rangle⟨ italic_η ⟩\vertex(b1)+(0,1.5)𝑏101.5(b1)+(0,1.5)( italic_b 1 ) + ( 0 , 1.5 )H𝐻Hitalic_H\vertexηdelimited-⟨⟩𝜂\left\langle{\eta}\right\rangle⟨ italic_η ⟩\vertex(A2)+(1.5,1)𝐴21.51(A2)+(-1.5,1)( italic_A 2 ) + ( - 1.5 , 1 )Hsuperscript𝐻H^{\dagger}italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT\vertex(A2)+(1.5,1)𝐴21.51(A2)+(1.5,1)( italic_A 2 ) + ( 1.5 , 1 )ηdelimited-⟨⟩𝜂\left\langle{\eta}\right\rangle⟨ italic_η ⟩Y𝑌Yitalic_Yβ1subscript𝛽1\beta_{1}italic_β start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTα1subscript𝛼1\alpha_{1}italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPTα2subscript𝛼2\alpha_{2}italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTα1subscript𝛼1\alpha_{1}italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT\diagram\vertex\vertex𝟏𝟎2subscript102\mathbf{10}_{2}bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex𝟓¯2subscript¯52\bar{\mathbf{5}}_{2}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex\vertex\vertex(a2)+(0,1.5)𝑎201.5(a2)+(0,1.5)( italic_a 2 ) + ( 0 , 1.5 )Hsuperscript𝐻H^{\dagger}italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT\vertex(b2)+(0,1.5)𝑏201.5(b2)+(0,1.5)( italic_b 2 ) + ( 0 , 1.5 )H𝐻Hitalic_H\vertex(B1)+(1.5,1)𝐵11.51(B1)+(-1.5,1)( italic_B 1 ) + ( - 1.5 , 1 )H𝐻Hitalic_H\vertex(B1)+(1.5,1)𝐵11.51(B1)+(1.5,1)( italic_B 1 ) + ( 1.5 , 1 )ηdelimited-⟨⟩𝜂\left\langle{\eta}\right\rangle⟨ italic_η ⟩Y𝑌Yitalic_Yβ2subscript𝛽2\beta_{2}italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPTα1subscript𝛼1\alpha_{1}italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT\diagram\vertex\vertex𝟏𝟎2subscript102\mathbf{10}_{2}bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex𝟓¯2subscript¯52\bar{\mathbf{5}}_{2}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\vertex\vertex\vertex(a3)+(0,1.5)𝑎301.5(a3)+(0,1.5)( italic_a 3 ) + ( 0 , 1.5 )H𝐻Hitalic_H\vertex(b3)+(0,1.5)𝑏301.5(b3)+(0,1.5)( italic_b 3 ) + ( 0 , 1.5 )H𝐻Hitalic_H\vertex(C1)+(1.5,1)𝐶11.51(C1)+(-1.5,1)( italic_C 1 ) + ( - 1.5 , 1 )Hsuperscript𝐻H^{\dagger}italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT\vertex(C1)+(1.5,1)𝐶11.51(C1)+(1.5,1)( italic_C 1 ) + ( 1.5 , 1 )ηdelimited-⟨⟩𝜂\left\langle{\eta}\right\rangle⟨ italic_η ⟩Y𝑌Yitalic_Yβ3subscript𝛽3\beta_{3}italic_β start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPTα2subscript𝛼2\alpha_{2}italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT\diagram
Figure 4: Feynman diagrams that lead to the effective operator Eq.(17) with n=1𝑛1n=1italic_n = 1 and l=0𝑙0l=0italic_l = 0. The internal propagators indicate the HIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT propagators, which give 1/MII21/Λ2similar-to1superscriptsubscript𝑀II21superscriptΛ21/M_{\mathrm{I\!I}}^{2}\sim 1/\Lambda^{2}1 / italic_M start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ 1 / roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT after integrating out HIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT.

Similarly, using Higgs four-point interactions in Eq.(15), we can obtain the following higher-dimensional operators

ηmηlΛ2n+m+l(HH)n𝟏𝟎2H𝟓¯2,superscriptdelimited-⟨⟩𝜂𝑚superscriptdelimited-⟨⟩superscript𝜂𝑙superscriptΛ2𝑛𝑚𝑙superscriptsuperscript𝐻𝐻𝑛subscript102𝐻subscript¯52\displaystyle\frac{\left\langle{\eta}\right\rangle^{m}\left\langle{\eta^{% \dagger}}\right\rangle^{l}}{\Lambda^{2n+m+l}}(H^{\dagger}H)^{n}\mathbf{10}_{2}% H\bar{\mathbf{5}}_{2}\ ,divide start_ARG ⟨ italic_η ⟩ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ⟨ italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ⟩ start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 italic_n + italic_m + italic_l end_POSTSUPERSCRIPT end_ARG ( italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (17)

where the coefficient is omitted. For example, in the case of n=1𝑛1n=1italic_n = 1 and l=0𝑙0l=0italic_l = 0, we show three diagrams that introduce such operators in Fig.4. After integrating out HIIsubscript𝐻IIH_{\mathrm{I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT, these diagrams give a dimension-six effective operator

Y[α12α2β1Λ3η3Λ3+α1β2+α2β3ΛηΛ]HHΛ2𝟏𝟎2H𝟓¯2.𝑌delimited-[]superscriptsubscript𝛼12subscript𝛼2subscript𝛽1superscriptΛ3superscriptdelimited-⟨⟩𝜂3superscriptΛ3subscript𝛼1subscript𝛽2subscript𝛼2subscript𝛽3Λdelimited-⟨⟩𝜂Λsuperscript𝐻𝐻superscriptΛ2subscript102𝐻subscript¯52\displaystyle Y\left[\frac{\alpha_{1}^{2}\alpha_{2}\beta_{1}}{\Lambda^{3}}% \frac{\left\langle{\eta}\right\rangle^{3}}{\Lambda^{3}}+\frac{\alpha_{1}\beta_% {2}+\alpha_{2}\beta_{3}}{\Lambda}\frac{\left\langle{\eta}\right\rangle}{% \Lambda}\right]\frac{H^{\dagger}H}{\Lambda^{2}}\mathbf{10}_{2}H\bar{\mathbf{5}% }_{2}\ .italic_Y [ divide start_ARG italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG divide start_ARG ⟨ italic_η ⟩ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_α start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_β start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG start_ARG roman_Λ end_ARG divide start_ARG ⟨ italic_η ⟩ end_ARG start_ARG roman_Λ end_ARG ] divide start_ARG italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT . (18)

Since we assume that ηdelimited-⟨⟩𝜂\left\langle{\eta}\right\rangle⟨ italic_η ⟩ and ηdelimited-⟨⟩superscript𝜂\left\langle{\eta^{\dagger}}\right\rangle⟨ italic_η start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ⟩ are complex numbers of 𝒪(Λ)𝒪Λ\mathcal{O}(\Lambda)caligraphic_O ( roman_Λ ), Eq.(17) gives effective operators

𝒪II(n)cII(n)Λ2n(HH)n𝟏𝟎2H𝟓¯2,subscriptsuperscript𝒪𝑛IIsubscriptsuperscript𝑐𝑛IIsuperscriptΛ2𝑛superscriptsuperscript𝐻𝐻𝑛subscript102𝐻subscript¯52\displaystyle\mathcal{O}^{(n)}_{\mathrm{I\!I}}\equiv\frac{c^{(n)}_{\mathrm{I\!% I}}}{\Lambda^{2n}}(H^{\dagger}H)^{n}\mathbf{10}_{2}H\bar{\mathbf{5}}_{2}\ ,caligraphic_O start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT ≡ divide start_ARG italic_c start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 italic_n end_POSTSUPERSCRIPT end_ARG ( italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (19)

where cII(n)subscriptsuperscript𝑐𝑛IIc^{(n)}_{\mathrm{I\!I}}italic_c start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT is a complex coefficient.

The higher-order operator with n=1𝑛1n=1italic_n = 1 is the most dangerous since it introduces the largest radiative corrections on the θ¯¯𝜃{\bar{\theta}}over¯ start_ARG italic_θ end_ARG at two-loop level as shown in the text. However, the coupling constants α1,2subscript𝛼12\alpha_{1,2}italic_α start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT and β2,3subscript𝛽23\beta_{2,3}italic_β start_POSTSUBSCRIPT 2 , 3 end_POSTSUBSCRIPT depend on the model, and there is, in fact, an interesting phenomenological model where those coupling constants are all suppressed. Notice that the α1/Λsubscript𝛼1Λ\alpha_{1}/\Lambdaitalic_α start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT / roman_Λ must be already as small as 103superscript10310^{-3}10 start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT to reproduce the CKM matrix, provided Y1similar-to-or-equals𝑌1Y\simeq 1italic_Y ≃ 1; see Tab.1. Thus, all dangerous higher-order operators are strongly suppressed in the model. We take such a model in this paper and the effective theory below the scale ΛΛ\Lambdaroman_Λ is well described by the SM with θ¯=0¯𝜃0{\bar{\theta}}=0over¯ start_ARG italic_θ end_ARG = 0 at tree level. This is the situation that Ellis and Gaillard considered in Ellis:1978hq and all radiative corrections on θ¯¯𝜃{\bar{\theta}}over¯ start_ARG italic_θ end_ARG are sufficiently suppressed. We will explain this model at the end of this section.

On the fixed point I​I​I, we introduce another new Higgs boson HIIIsubscript𝐻IIIH_{\mathrm{I\!I\!I}}italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT which has the following interaction terms

MIII2HIIIHIII+Y(𝟏𝟎3HIII𝟓¯2+h.c.)+α(HIIIH+HHIII)δ\displaystyle M_{\mathrm{I\!I\!I}}^{2}H_{\mathrm{I\!I\!I}}^{\dagger}H_{\mathrm% {I\!I\!I}}+Y^{\prime}(\mathbf{10}_{3}H_{\mathrm{I\!I\!I}}\bar{\mathbf{5}}_{2}+% \mathrm{h.c.})+\alpha^{\prime}(H_{\mathrm{I\!I\!I}}^{\dagger}H+H^{\dagger}H_{% \mathrm{I\!I\!I}})\deltaitalic_M start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT + italic_Y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + roman_h . roman_c . ) + italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H + italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT ) italic_δ
+β1(HIIIHIII)2+β2HHHIIIHIII+β3[(HHIII)2+(HIIIH)2],subscriptsuperscript𝛽1superscriptsuperscriptsubscript𝐻IIIsubscript𝐻III2subscriptsuperscript𝛽2superscript𝐻𝐻superscriptsubscript𝐻IIIsubscript𝐻IIIsubscriptsuperscript𝛽3delimited-[]superscriptsuperscript𝐻subscript𝐻III2superscriptsuperscriptsubscript𝐻III𝐻2\displaystyle+\beta^{\prime}_{1}(H_{\mathrm{I\!I\!I}}^{\dagger}H_{\mathrm{I\!I% \!I}})^{2}+\beta^{\prime}_{2}H^{\dagger}HH_{\mathrm{I\!I\!I}}^{\dagger}H_{% \mathrm{I\!I\!I}}+\beta^{\prime}_{3}[(H^{\dagger}H_{\mathrm{I\!I\!I}})^{2}+(H_% {\mathrm{I\!I\!I}}^{\dagger}H)^{2}]\ ,+ italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT + italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT [ ( italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] , (20)

Here again, all parameters, MIIIsubscript𝑀IIIM_{\mathrm{I\!I\!I}}italic_M start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT, Ysuperscript𝑌Y^{\prime}italic_Y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, αsuperscript𝛼\alpha^{\prime}italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, and β1,2,3subscriptsuperscript𝛽123\beta^{\prime}_{1,2,3}italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 , 2 , 3 end_POSTSUBSCRIPT, are real. As in the case of the fixed point I​I, these interactions give an effective operator

YαMIII2δ𝟏𝟎3H𝟓¯2YαδΛ2𝟏𝟎3H𝟓¯2.similar-to-or-equalssuperscript𝑌superscript𝛼superscriptsubscript𝑀III2delimited-⟨⟩𝛿subscript103𝐻subscript¯52superscript𝑌superscript𝛼delimited-⟨⟩𝛿superscriptΛ2subscript103𝐻subscript¯52\displaystyle\frac{Y^{\prime}\alpha^{\prime}}{M_{\mathrm{I\!I\!I}}^{2}}\left% \langle{\delta}\right\rangle\mathbf{10}_{3}H\bar{\mathbf{5}}_{2}\simeq Y^{% \prime}\alpha^{\prime}\frac{\left\langle{\delta}\right\rangle}{\Lambda^{2}}% \mathbf{10}_{3}H\bar{\mathbf{5}}_{2}\ .divide start_ARG italic_Y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟨ italic_δ ⟩ bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≃ italic_Y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT divide start_ARG ⟨ italic_δ ⟩ end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT . (21)

The following higher-dimensional operators can be obtained in a similar way,

δmΛ2n+m(HH)n𝟏𝟎3H𝟓¯2,superscriptdelimited-⟨⟩𝛿𝑚superscriptΛ2𝑛𝑚superscriptsuperscript𝐻𝐻𝑛subscript103𝐻subscript¯52\displaystyle\frac{\left\langle{\delta}\right\rangle^{m}}{\Lambda^{2n+m}}(H^{% \dagger}H)^{n}\mathbf{10}_{3}H\bar{\mathbf{5}}_{2}\ ,divide start_ARG ⟨ italic_δ ⟩ start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 italic_n + italic_m end_POSTSUPERSCRIPT end_ARG ( italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (22)

which leads to

𝒪III(n)cIII(n)Λ2n(HH)n𝟏𝟎3H𝟓¯2,subscriptsuperscript𝒪𝑛IIIsubscriptsuperscript𝑐𝑛IIIsuperscriptΛ2𝑛superscriptsuperscript𝐻𝐻𝑛subscript103𝐻subscript¯52\displaystyle\mathcal{O}^{(n)}_{\mathrm{I\!I\!I}}\equiv\frac{c^{(n)}_{\mathrm{% I\!I\!I}}}{\Lambda^{2n}}(H^{\dagger}H)^{n}\mathbf{10}_{3}H\bar{\mathbf{5}}_{2}\ ,caligraphic_O start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT ≡ divide start_ARG italic_c start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 italic_n end_POSTSUPERSCRIPT end_ARG ( italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H ) start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , (23)

where cIII(n)subscriptsuperscript𝑐𝑛IIIc^{(n)}_{\mathrm{I\!I\!I}}italic_c start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT is a real coefficient since δdelimited-⟨⟩𝛿\left\langle{\delta}\right\rangle⟨ italic_δ ⟩ is real.

Our phenomenological model is motivated by the observed large mass hierarchy for the up-type quarks, that is, mu:mc:mtϵ2:ϵ:1:subscript𝑚𝑢subscript𝑚𝑐:similar-to-or-equalssubscript𝑚𝑡superscriptitalic-ϵ2:italic-ϵ:1m_{u}:m_{c}:m_{t}\simeq\epsilon^{2}:\epsilon:1italic_m start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT : italic_m start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT : italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ≃ italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT : italic_ϵ : 1 with the ϵ1/300similar-to-or-equalsitalic-ϵ1300\epsilon\simeq 1/300italic_ϵ ≃ 1 / 300 Antusch:2013jca . Such a large hierarchy seems unnatural, since the three fixed pints, I, I​I, and I​I​I, are equivalent in the present 𝐓2/3superscript𝐓2subscript3\mathbf{T}^{2}/\mathbb{Z}_{3}bold_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / blackboard_Z start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT orbifold. Recall that the quark mass is given by mi=yi×vsubscript𝑚𝑖subscript𝑦𝑖𝑣m_{i}=y_{i}\times vitalic_m start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT = italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT × italic_v, where the yisubscript𝑦𝑖y_{i}italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and v𝑣vitalic_v are a Yukawa coupling constant of the Higgs H𝐻Hitalic_H to the quark 𝟏𝟎isubscript10𝑖\mathbf{10}_{i}bold_10 start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and the VEV of the H𝐻Hitalic_H, respectively. Now, the Yukawa coupling constant yisubscript𝑦𝑖y_{i}italic_y start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT depends on the overlapping of the wave functions of the Higgs, Ψ(H)Ψ𝐻\Psi(H)roman_Ψ ( italic_H ), and the 𝟏𝟎isubscript10𝑖\mathbf{10}_{i}bold_10 start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT at the fixed point i𝑖iitalic_i in the two-dimensional bulk as discussed in Arkani-Hamed:1999ylh . Thus it is quite natural to consider the ratio of the wave functions at the fixed points to satisfy |Ψ(H)|I:|Ψ(H)|II:|Ψ(H)|IIIϵ2:ϵ:1:subscriptΨ𝐻IsubscriptΨ𝐻II:similar-to-or-equalssubscriptΨ𝐻IIIsuperscriptitalic-ϵ2:italic-ϵ:1|\Psi(H)|_{\rm I}:|\Psi(H)|_{\rm I\!I}:|\Psi(H)|_{\rm I\!I\!I}\simeq\epsilon^{% 2}:\epsilon:1| roman_Ψ ( italic_H ) | start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT : | roman_Ψ ( italic_H ) | start_POSTSUBSCRIPT roman_I roman_I end_POSTSUBSCRIPT : | roman_Ψ ( italic_H ) | start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT ≃ italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT : italic_ϵ : 1. Here, |Ψ(H)|isubscriptΨ𝐻𝑖|\Psi(H)|_{i}| roman_Ψ ( italic_H ) | start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the size of the wave function at the fixed point i=𝑖absenti=italic_i = I, I​I, I​I​I.101010The wave function of the Higgs in the two-dimensional bulk, Ψ(H)Ψ𝐻\Psi(H)roman_Ψ ( italic_H ), may be determined by interactions of unknown bulk fields and boundary conditions. If the Higgs has a non-flat wave function, it has a large four-dimensional effective mass of 𝒪(Λ2)𝒪superscriptΛ2\mathcal{O}(\Lambda^{2})caligraphic_O ( roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) from curvature derivative. However, after δ𝛿\deltaitalic_δ obtains a VEV, there is mixing between H𝐻Hitalic_H and HIIIsubscript𝐻IIIH_{\rm I\!I\!I}italic_H start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT in Eq.(B), which can introduce a mass eigenstate with a negative mass square at the same magnitude of order. The detailed cancellation may give the light SM-Higgs mass that we observe.

If this is the case, all coupling constants of the dangerous operators discussed above are strongly suppressed by a factor ϵ2105similar-tosuperscriptitalic-ϵ2superscript105\epsilon^{2}\sim 10^{-5}italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ 10 start_POSTSUPERSCRIPT - 5 end_POSTSUPERSCRIPT. For example, the coefficient of the operator, ηΛHHΛ2𝟏𝟎2H𝟓¯2delimited-⟨⟩𝜂Λsuperscript𝐻𝐻superscriptΛ2subscript102𝐻subscript¯52\frac{\left\langle{\eta}\right\rangle}{\Lambda}\frac{H^{\dagger}H}{\Lambda^{2}% }\mathbf{10}_{2}H\bar{\mathbf{5}}_{2}divide start_ARG ⟨ italic_η ⟩ end_ARG start_ARG roman_Λ end_ARG divide start_ARG italic_H start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_H end_ARG start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG bold_10 start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_H over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, is suppressed by 𝒪(ϵ3)𝒪superscriptitalic-ϵ3\mathcal{O}(\epsilon^{3})caligraphic_O ( italic_ϵ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ). It is easy to see that the radiative corrections from this operator are not dangerous at all, taking into account the two-loop effect and the multi-products of other Yukawa coupling. This is the reason why we neglect the higher-order terms in this paper. The effect of the higher-order terms with δ𝛿\deltaitalic_δ in Eq.(22) is not problematic since δ𝛿\deltaitalic_δ is real, as long as (Md)11subscriptsubscript𝑀𝑑11(M_{d})_{11}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 11 end_POSTSUBSCRIPT and (Md)31subscriptsubscript𝑀𝑑31(M_{d})_{31}( italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT 31 end_POSTSUBSCRIPT vanish. We can easily confirm this at two-loop level since 𝟏𝟎3subscript103\mathbf{10}_{3}bold_10 start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT is decoupled from 𝟓¯1subscript¯51\bar{\mathbf{5}}_{1}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. However, it should be noted here that the small mass, 𝒪(1)𝒪1\mathcal{O}(1)caligraphic_O ( 1 ) MeV, of the up quark might be required by the anthropic principle Weinberg:1987dv ; Damour:2007uv and hence the ratio of |Ψ(H)|I/|Ψ(H)|IIIsubscriptΨ𝐻IsubscriptΨ𝐻III|\Psi(H)|_{\rm I}/|\Psi(H)|_{\rm I\!I\!I}| roman_Ψ ( italic_H ) | start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT / | roman_Ψ ( italic_H ) | start_POSTSUBSCRIPT roman_I roman_I roman_I end_POSTSUBSCRIPT can be larger than ϵ2superscriptitalic-ϵ2\epsilon^{2}italic_ϵ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. This point might be important when we discuss the mass matrix of the down-type quarks.

As for the mass matrix of the down-type quarks, Mdsubscript𝑀𝑑M_{d}italic_M start_POSTSUBSCRIPT italic_d end_POSTSUBSCRIPT, it is not easy to predict the mass hierarchy in our phenomenological model, since the origins of each 𝟓¯isubscript¯5𝑖\bar{\mathbf{5}}_{i}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT are not equivalent. In particular, 𝟓¯2subscript¯52\bar{\mathbf{5}}_{2}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT and 𝟓¯3subscript¯53\bar{\mathbf{5}}_{3}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT live in the two-dimensional bulk, and their wave function profiles remain unknown. However, an interesting observation can be made: if the two wave function profiles in the bulk are the same, we can predict that the absolute value in the (2,2)22(2,2)( 2 , 2 ) element is almost equal to that in the (2,3)23(2,3)( 2 , 3 ) element, as well as the absolute value of the (3,2)32(3,2)( 3 , 2 ) and (3,3)33(3,3)( 3 , 3 ) elements. Remarkably, this prediction is consistent with the result in Tanimoto:2016rqy . We leave the detailed discussion of the wave functions of 𝟓¯isubscript¯5𝑖\bar{\mathbf{5}}_{i}over¯ start_ARG bold_5 end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT for future work, as it is beyond the scope of the present paper.

References