Naturalness-motivated composite Higgs model for generating the top Yukawa coupling

Yi Chung [email protected] Max-Planck-Institut für Kernphysik, Saupfercheckweg 1, 69117 Heidelberg, Germany
Abstract

The large top Yukawa coupling results in the top quark contributing significantly to the quantum correction of the Higgs mass term. Traditionally, this effect is canceled by the presence of top partners in symmetry-based models. However, the absence of light top partners poses a challenge to the Naturalness of these models. In this paper, we study a model based on composite Higgs with the top Yukawa coupling originating from dimension-six four-fermion operators. The low cutoff scale of the top quark loop required by the Naturalness principle can be realized with a light gauge boson Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT which connects the hyperfermions and top quarks. A scalar-less dynamical model with weakly coupled extended SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT gauge group is presented. The model features an Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson and a ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson both at the sub-TeV scale, which lead to a rich phenomenology, especially in the top physics.

I Introduction

The Standard Model (SM) of particle physics successfully describes all known elementary particles and interactions. At the center of SM is the mechanism of electroweak symmetry breaking (EWSB), which is responsible for the masses of SM gauge bosons and fermions. The discovery of Higgs bosons in 2012 [1, 2] filled in the last missing puzzle of the SM. Nevertheless, the SM does not address the UV sensitivity of the Higgs boson mass, which is known as the hierarchy problem. The Higgs mass term receives divergent radiative corrections from the interactions with SM fields, especially the top quark due to its large Yukawa coupling. The contribution can be derived numerically by calculating the one-loop diagram with the top quark and is given by

ΔmH2|topevaluated-atΔsuperscriptsubscript𝑚𝐻2top\displaystyle\Delta m_{H}^{2}|_{\text{top}}roman_Δ italic_m start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_POSTSUBSCRIPT top end_POSTSUBSCRIPT i 2Ncyt2d4k(2π)4k2+mt2(k2mt2)2similar-toabsent𝑖2subscript𝑁𝑐superscriptsubscript𝑦𝑡2superscript𝑑4𝑘superscript2𝜋4superscript𝑘2superscriptsubscript𝑚𝑡2superscriptsuperscript𝑘2superscriptsubscript𝑚𝑡22\displaystyle\sim-i\,2N_{c}\,y_{t}^{2}\int\frac{d^{4}k}{(2\pi)^{4}}\frac{k^{2}% +m_{t}^{2}}{(k^{2}-m_{t}^{2})^{2}}∼ - italic_i 2 italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_k end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG
=38π2yt2[Λt23mt2ln(Λt2mt2)+],absent38superscript𝜋2superscriptsubscript𝑦𝑡2delimited-[]superscriptsubscriptΛ𝑡23superscriptsubscript𝑚𝑡2lnsubscriptsuperscriptΛ2𝑡superscriptsubscript𝑚𝑡2\displaystyle=-\frac{3}{8\pi^{2}}y_{t}^{2}\left[\Lambda_{t}^{2}-3\,m_{t}^{2}\,% \text{ln}\left(\frac{\Lambda^{2}_{t}}{m_{t}^{2}}\right)+\cdots\right]~{},= - divide start_ARG 3 end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 3 italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ln ( divide start_ARG roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG start_ARG italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + ⋯ ] , (1)

where ΛtsubscriptΛ𝑡\Lambda_{t}roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is the scale of the top Yukawa coupling.

To avoid the large quadratic corrections, most models invoke new symmetry such that the corrections cancel in the symmetric limit. New degrees of freedom, known as top partners, are introduced to cancel out the Λt2subscriptsuperscriptΛ2𝑡\Lambda^{2}_{t}roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT term. However, the symmetry can not be exact and the difference between the top mass mtsubscript𝑚𝑡m_{t}italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT and top partner mass MTsubscript𝑀𝑇M_{T}italic_M start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT will reintroduce the correction given by

ΔmH2|top+ΔmH2|top partner38π2yt2MT2.similar-toevaluated-atΔsuperscriptsubscript𝑚𝐻2topevaluated-atΔsuperscriptsubscript𝑚𝐻2top partner38superscript𝜋2superscriptsubscript𝑦𝑡2superscriptsubscript𝑀𝑇2\displaystyle\Delta m_{H}^{2}|_{\text{top}}+\Delta m_{H}^{2}|_{\text{top % partner}}\sim-\frac{3}{8\pi^{2}}y_{t}^{2}M_{T}^{2}~{}.roman_Δ italic_m start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_POSTSUBSCRIPT top end_POSTSUBSCRIPT + roman_Δ italic_m start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_POSTSUBSCRIPT top partner end_POSTSUBSCRIPT ∼ - divide start_ARG 3 end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (2)

Following the Naturalness principle [3, 4, 5], we expect top partners to show up at the sub-TeV scale to avoid fine-tuning. However, after years of searches, the bounds of colored top partner mass MTsubscript𝑀𝑇M_{T}italic_M start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT have reached 1.51.51.51.5 TeV for both scalar partners [6, 7] and fermionic partners [8, 9, 10, 11, 12]. The non-observation of colored top partners thus poses a challenge to the naturalness of these types of models.

In this study, we focus on an alternative scenario [13] where the top Yukawa coupling originated from dimension-six operators with a scale ΛtsubscriptΛ𝑡\Lambda_{t}roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT. If we can have the scale Λt1less-than-or-similar-tosubscriptΛ𝑡1\Lambda_{t}\lesssim 1roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ≲ 1 TeV, the contribution from the top loop will be under control. The idea has already been realized at the one-loop level in [14] with an elementary Higgs and top quark. In this paper, instead, we consider that the observed Higgs boson is a composite state [15, 16] formed by hyperfermions from a strongly coupled theory.

Generating SM Yukawa couplings in a strongly coupled theory can be traced back to Extended Technicolor (ETC) [17, 18, 19], where SM Yukawa couplings arise from dimension-six four-fermion operators. The scale ΛtsubscriptΛ𝑡\Lambda_{t}roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT is determined by the mass of new massive gauge bosons ΛtMETCsimilar-tosubscriptΛ𝑡subscript𝑀𝐸𝑇𝐶\Lambda_{t}\sim M_{ETC}roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∼ italic_M start_POSTSUBSCRIPT italic_E italic_T italic_C end_POSTSUBSCRIPT which connect the hyperfermions and SM fermions. The models based on modern composite Higgs models have also been studied in [20]. However, for the generic mass METCgEfEsimilar-tosubscript𝑀𝐸𝑇𝐶subscript𝑔𝐸subscript𝑓𝐸M_{ETC}\sim g_{E}f_{E}italic_M start_POSTSUBSCRIPT italic_E italic_T italic_C end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, the breaking scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is fixed by the value of the top Yukawa coupling at around the TeV scale and gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is the coupling of the ETC group which is related to the strong coupling responsible for the hyperfermion condensate so the mass METCsubscript𝑀𝐸𝑇𝐶M_{ETC}italic_M start_POSTSUBSCRIPT italic_E italic_T italic_C end_POSTSUBSCRIPT is expected to be heavy from the theoretical aspect.

Motivated by the Naturalness principle, we aim at a model with a small gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT such that the scale ΛtsubscriptΛ𝑡\Lambda_{t}roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT can be low. That is, the gauge group that connects hyperfermions and top quarks is weakly coupled and independent of the strong interaction. Moreover, we want to construct a fully dynamical model, where the two relevant scales, f𝑓fitalic_f and fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, both come from strong dynamics. We will show how to get all these features in a fermionic theory with an extended gauge group. The phenomenology is also presented with a special focus on the top physics.

This paper is organized as follows. In Sec. II, we introduce the basic idea and issue in an ETC-like mechanism and how we are going to solve them. Starting with the extension of the gauge group in Sec. III, we briefly go through the difference between the traditional way and the new way we work on. A concrete model is presented in Sec. IV with three relevant mechanisms discussed in detail. The important phenomenology is presented, including the indirect searches in Sec. V and direct searches in Sec. VI. Sec. VII contains conclusions and outlooks.

II Basic idea and issue of top Yukawa from Four-Fermion Operators

To generate the top Yukawa from dimension-six four-fermion operators, we need to first introduce an extended gauge group 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT with gauge bosons GEasuperscriptsubscript𝐺𝐸𝑎G_{E}^{a}italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT and coupling gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, where the top quarks and hyperfermions ψ𝜓\psiitalic_ψ are within the same multiplets Q𝑄Qitalic_Q. The generic Lagrangian is given by

E=subscriptEabsent\displaystyle{\cal L}_{\text{E}}=caligraphic_L start_POSTSUBSCRIPT E end_POSTSUBSCRIPT = gEGE,μa(Q¯LγμTaQL+Q¯RγμTaQR)subscript𝑔𝐸superscriptsubscript𝐺𝐸𝜇𝑎subscript¯𝑄𝐿superscript𝛾𝜇superscript𝑇𝑎subscript𝑄𝐿subscript¯𝑄𝑅superscript𝛾𝜇superscript𝑇𝑎subscript𝑄𝑅\displaystyle\,g_{E}G_{E,\mu}^{a}(\bar{Q}_{L}\gamma^{\mu}T^{a}Q_{L}+\bar{Q}_{R% }\gamma^{\mu}T^{a}Q_{R})italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT italic_E , italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ( over¯ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + over¯ start_ARG italic_Q end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_Q start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT )
superset-of\displaystyle\supset 12gEEμ(ψ¯LγμqL+ψ¯RγμtR),12subscript𝑔𝐸subscript𝐸𝜇subscript¯𝜓𝐿superscript𝛾𝜇subscript𝑞𝐿subscript¯𝜓𝑅superscript𝛾𝜇subscript𝑡𝑅\displaystyle\,\frac{1}{\sqrt{2}}g_{E}{E}_{\mu}(\bar{\psi}_{L}\gamma^{\mu}q_{L% }+\bar{\psi}_{R}\gamma^{\mu}t_{R})\,,divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT + over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) , (3)

where Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT is the specific boson among GEasuperscriptsubscript𝐺𝐸𝑎G_{E}^{a}italic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT that mediates the top quarks and hyperfermions. The group 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is then broken at the scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT down to the SM gauge group 𝒢SMsubscript𝒢𝑆𝑀\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT and hypercolor 𝒢HCsubscript𝒢𝐻𝐶\mathcal{G}_{HC}caligraphic_G start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT (can be either broken or unbroken)111In this study, we use the term hypercolor instead of technicolor to refer to the strong interaction, as is commonly used in modern composite Higgs models. In addition to the conventional confining hypercolor, we also consider the scenario where hypercolor is broken, resulting in a nonconfining strong interaction.. After integrating out the massive Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge bosons with a mass MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, we get an low energy effective Lagrangian as

effsubscripteff\displaystyle\mathcal{L}_{\text{eff}}caligraphic_L start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT =gE22ME2(q¯LγμψL)(ψ¯RγμtR)+h.c.formulae-sequenceabsentsuperscriptsubscript𝑔𝐸22superscriptsubscript𝑀𝐸2subscript¯𝑞𝐿superscript𝛾𝜇subscript𝜓𝐿subscript¯𝜓𝑅subscript𝛾𝜇subscript𝑡𝑅𝑐\displaystyle=-\frac{g_{E}^{2}}{2M_{E}^{2}}\left(\bar{q}_{L}\gamma^{\mu}{\psi}% _{L}\right)\left(\bar{\psi}_{R}\gamma_{\mu}{t}_{R}\right)+h.c.= - divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_γ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) + italic_h . italic_c .
gE2ME2(ψ¯RψL)(q¯LtR)+(after Fierzing).absentsuperscriptsubscript𝑔𝐸2superscriptsubscript𝑀𝐸2subscript¯𝜓𝑅subscript𝜓𝐿subscript¯𝑞𝐿subscript𝑡𝑅(after Fierzing)\displaystyle\to\frac{g_{E}^{2}}{M_{E}^{2}}\left({\bar{\psi}_{R}}{\psi}_{L}% \right)\left({\bar{q}_{L}}{t}_{R}\right)+\cdots\text{(after Fierzing)}~{}.→ divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) + ⋯ (after Fierzing) . (4)

Once hypercolor becomes strongly coupled and condenses the hyperfermions with a breaking scale f𝑓fitalic_f, the ψ¯RψLsubscript¯𝜓𝑅subscript𝜓𝐿{\bar{\psi}_{R}}{\psi}_{L}over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT will form a bound state that behaves like the SM Higgs. The top Yukawa coupling is then generated with a value

yt1vgE2ME2ψ¯RψLHCgE2ME2Ysf2similar-tosubscript𝑦𝑡1𝑣superscriptsubscript𝑔𝐸2superscriptsubscript𝑀𝐸2subscriptdelimited-⟨⟩subscript¯𝜓𝑅subscript𝜓𝐿𝐻𝐶similar-tosuperscriptsubscript𝑔𝐸2superscriptsubscript𝑀𝐸2subscript𝑌𝑠superscript𝑓2\displaystyle y_{t}\sim\frac{1}{v}\frac{g_{E}^{2}}{M_{E}^{2}}\langle\bar{{\psi% }}_{R}{\psi}_{L}\rangle_{HC}\sim\frac{g_{E}^{2}}{M_{E}^{2}}\cdot Y_{s}f^{2}italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∼ divide start_ARG 1 end_ARG start_ARG italic_v end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟨ over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT ∼ divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⋅ italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (5)

where the coupling Yssubscript𝑌𝑠Y_{s}italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is the Yukawa coupling from the strong dynamics with an O(1)𝑂1O(1)italic_O ( 1 ) value. As the 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is broken by fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, we expect the relation MEgEfEsimilar-tosubscript𝑀𝐸subscript𝑔𝐸subscript𝑓𝐸M_{E}\sim g_{E}f_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and thus

yt(ffE)2Ys1,similar-tosubscript𝑦𝑡superscript𝑓subscript𝑓𝐸2subscript𝑌𝑠similar-to1\displaystyle y_{t}\sim\left(\frac{f}{f_{E}}\right)^{2}Y_{s}\sim 1~{},italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∼ ( divide start_ARG italic_f end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∼ 1 , (6)

which fixes the ratio among scales as fEO(1)×fsimilar-tosubscript𝑓𝐸𝑂1𝑓f_{E}\sim O(1)\times fitalic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ italic_O ( 1 ) × italic_f.

Now we have a rough description for the top Yukawa coupling generated from four-fermion interactions in the composite Higgs model. However, to attain a concrete model, several issues must be addressed.

The first issue is the gauge group 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, which requires an extension of the SM gauge group to combine hyperfermions and top quarks into the same representation. Moreover, motivated by the Naturalness principle, we want to have a light mediator Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT. Its mass MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is given by the product of coupling gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and the breaking scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. As the scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is fixed by the value of the top Yukawa coupling, we aim at a model with a small gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. That is, the gauge group that connects hyperfermions and top quarks should be weakly coupled, which will be further discussed in the next section.

Second, since we aim at a fully dynamical model, the two relevant scales, f𝑓fitalic_f and fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, should both come from strong dynamics. The difference between the two scales is the key to explaining the value of top Yukawa coupling. If f=fE𝑓subscript𝑓𝐸f=f_{E}italic_f = italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, then ytYssimilar-tosubscript𝑦𝑡subscript𝑌𝑠y_{t}\sim Y_{s}italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∼ italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT which will predict a much heavier top quark as in top condensation models [21, 22, 23, 24, 25]. A viable mechanism to generate a sequence of scales in a strongly coupled theory is the tumbling mechanism [26], which will be applied in our concrete model.

The other concern about the ETC-type models is the flavor constraints. However, given that our primary motivation is Naturalness and our goal is to lower the top loop cutoff, we assume that this mechanism is specific for top quarks and ignore the light fermions at this stage. Then, the main constraints in flavor physics will come from B𝐵Bitalic_B meson physics due to the bLsubscript𝑏𝐿b_{L}italic_b start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT inside qLsubscript𝑞𝐿q_{L}italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, which will be discussed in Sec. V.

III Extend the gauge group

With the SM gauge group SU(3)C×SU(2)W×U(1)Y𝑆𝑈subscript3𝐶𝑆𝑈subscript2𝑊𝑈subscript1𝑌SU(3)_{C}\times SU(2)_{W}\times U(1)_{Y}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT, there are many different ways to extend it to include hyperfermions ψ𝜓\psiitalic_ψ. In this work, we focus on the cases with extended SU(3)C𝑆𝑈subscript3𝐶SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT. Other cases like extended SU(2)W𝑆𝑈subscript2𝑊SU(2)_{W}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT are also possible and have been studied in ETC models [27] but we will leave them for future study.

III.1 Traditional extension: 𝒢HC×𝒢SM𝒢Esubscript𝒢𝐻𝐶subscript𝒢𝑆𝑀subscript𝒢𝐸\mathcal{G}_{HC}\times\mathcal{G}_{SM}\subset\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT ⊂ caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT

Traditional ways following the ETC models usually have the hypercolor group combined with one of the SM gauge groups to a larger group. From the top down, the extended group 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT group is broken down to 𝒢HC×𝒢SMsubscript𝒢𝐻𝐶subscript𝒢𝑆𝑀\mathcal{G}_{HC}\times\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT at the scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, which separates the fermion Q𝑄Qitalic_Q to the hyperfermions and top quarks.

Following the idea in [20], the hypercolor group 𝒢HC=SU(N)HCsubscript𝒢𝐻𝐶𝑆𝑈subscript𝑁𝐻𝐶\mathcal{G}_{HC}=SU(N)_{HC}caligraphic_G start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT = italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is combined with SU(3)C𝒢SM𝑆𝑈subscript3𝐶subscript𝒢𝑆𝑀SU(3)_{C}\subset\mathcal{G}_{SM}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT ⊂ caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT to 𝒢E=SU(N+3)Esubscript𝒢𝐸𝑆𝑈subscript𝑁3𝐸\mathcal{G}_{E}=SU(N+3)_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = italic_S italic_U ( italic_N + 3 ) start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. The desired fermion content QL,Rsubscript𝑄𝐿𝑅Q_{L,R}italic_Q start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT under SU(N+3)E×SU(2)W𝑆𝑈subscript𝑁3𝐸𝑆𝑈subscript2𝑊SU(N+3)_{E}\times SU(2)_{W}italic_S italic_U ( italic_N + 3 ) start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT is given by (we ignore the U(1)𝑈1U(1)italic_U ( 1 ) in this section for simplicity)

QL=(N+3,2),QR=(N+3,1).formulae-sequencesubscript𝑄𝐿𝑁32subscript𝑄𝑅𝑁31\displaystyle Q_{L}=(N+3,2),\quad Q_{R}=(N+3,1)~{}.italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( italic_N + 3 , 2 ) , italic_Q start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( italic_N + 3 , 1 ) . (7)

Then, the 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT group is broken down as

SU(N+3)ESU(N)HC×SU(3)C𝑆𝑈subscript𝑁3𝐸𝑆𝑈subscript𝑁𝐻𝐶𝑆𝑈subscript3𝐶\displaystyle SU(N+3)_{E}\to SU(N)_{HC}\times SU(3)_{C}italic_S italic_U ( italic_N + 3 ) start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT → italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT (8)

After breaking, The fermions are also separated to (under SU(N)HC×SU(3)C×SU(2)W𝑆𝑈subscript𝑁𝐻𝐶𝑆𝑈subscript3𝐶𝑆𝑈subscript2𝑊SU(N)_{HC}\times SU(3)_{C}\times SU(2)_{W}italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT)

ψLsubscript𝜓𝐿\displaystyle\psi_{L}italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT =(N,1,2),ψR=(N,1,1)formulae-sequenceabsent𝑁12subscript𝜓𝑅𝑁11\displaystyle=(N,1,2),\quad\psi_{R}=(N,1,1)~{}= ( italic_N , 1 , 2 ) , italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( italic_N , 1 , 1 )
qLsubscript𝑞𝐿\displaystyle q_{L}italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT =(1,3,2),tR=(1,3,1).formulae-sequenceabsent132subscript𝑡𝑅131\displaystyle=(1,3,2),~{}~{}\quad t_{R}=(1,3,1)~{}.= ( 1 , 3 , 2 ) , italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( 1 , 3 , 1 ) . (9)

The gauge boson Eμsubscript𝐸𝜇{E}_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT, which mediates hyperfermions and top quarks, has a quantum number

Eμ=(N,3¯,1),subscript𝐸𝜇𝑁¯31\displaystyle{E}_{\mu}=(N,\bar{3},1)~{},italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = ( italic_N , over¯ start_ARG 3 end_ARG , 1 ) , (10)

which carries both hypercolor and color. Besides, there is also a massive ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson which corresponds to the diagonal U(1)E𝑈subscript1𝐸U(1)_{E}italic_U ( 1 ) start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT subgroup of SU(N+3)E𝑆𝑈subscript𝑁3𝐸SU(N+3)_{E}italic_S italic_U ( italic_N + 3 ) start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. The generic charges of fermions under this broken U(1)E𝑈subscript1𝐸U(1)_{E}italic_U ( 1 ) start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT are given by

ψL,ψR:1/N,qL,tR:1/3,:subscript𝜓𝐿subscript𝜓𝑅1𝑁subscript𝑞𝐿subscript𝑡𝑅:13\displaystyle{\psi_{L}},\,{\psi_{R}}:-{1}/{N},\quad{q_{L}},\,{t_{R}}:{1}/{3}~{},italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT : - 1 / italic_N , italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT : 1 / 3 , (11)

which features a universal charge in the SM sector. This ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is the source of dangerous flavor processes such as flavor-changing neutral currents. However, if it is third-generation-philic, the flavor constraints are much weaker, which has been studied in [28, 29].

In this type of extension, we can easily combine 𝒢HCsubscript𝒢𝐻𝐶\mathcal{G}_{HC}caligraphic_G start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT and 𝒢SMsubscript𝒢𝑆𝑀\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT to 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and thus hyperfermions and top quarks to multiplets Q𝑄Qitalic_Q. Since the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson carries hypercolor, it will form a hypercolor singlet bound state with other hypercolored particles below ΛHC10similar-tosubscriptΛ𝐻𝐶10\Lambda_{HC}\sim 10roman_Λ start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT ∼ 10 TeV. Hence, even if it has a mass as light as 1111 TeV, there won’t be new states observable around the TeV scale, potentially explaining the absence of new particles so far. The only exception is ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, which can be searched for at the LHC.

However, since the SU(N)HC𝑆𝑈subscript𝑁𝐻𝐶SU(N)_{HC}italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT group is directly separated from the SU(N+3)E𝑆𝑈subscript𝑁3𝐸SU(N+3)_{E}italic_S italic_U ( italic_N + 3 ) start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT group. The gauge coupling gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is the same as hypercolor coupling gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT above the breaking scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. After breaking, the running can separate the two couplings. However, to generate the observed top Yukawa yt1similar-tosubscript𝑦𝑡1y_{t}\sim 1italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∼ 1, the two scales fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and f𝑓fitalic_f must be close, which means gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT must be close to gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT, the strong hypercolor coupling. Therefore, the resulting MEgEfEsimilar-tosubscript𝑀𝐸subscript𝑔𝐸subscript𝑓𝐸M_{E}\sim g_{E}f_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is expected to be very heavy and the fine-tuning problem from the top loop will not be relieved.

III.2 New extension: 𝒢HC×(𝒢HF×𝒢SM𝒢E)subscript𝒢𝐻𝐶subscript𝒢𝐻𝐹subscript𝒢𝑆𝑀subscript𝒢𝐸\mathcal{G}_{HC}\times(\mathcal{G}_{HF}\times\mathcal{G}_{SM}\subset\mathcal{G% }_{E})caligraphic_G start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × ( caligraphic_G start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT × caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT ⊂ caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT )

The new extension will be the main focus of this study. To avoid a large gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT situation as mentioned, we want to decouple it from the hypercolor coupling gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT. As all we need is to have hyperfermions and top quarks in the same representation, the unification of the gauge group is not necessary. One can imagine the combination happens in an orthogonal direction to the hypercolor group such that the couplings gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT are unrelated. In this case, the coupling gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is related to one of the SM gauge couplings instead. The gauge group 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT can be weakly coupled and is broken down to 𝒢HF×𝒢SMsubscript𝒢𝐻𝐹subscript𝒢𝑆𝑀\mathcal{G}_{HF}\times\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT × caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT at the scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, where HF𝐻𝐹HFitalic_H italic_F stands for hyperfermion.

More specifically, we consider the extension of the SM SU(3)C𝑆𝑈subscript3𝐶SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT to SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT to include the hyperfermions, where EC𝐸𝐶ECitalic_E italic_C stands for extended color. The fermion content under SU(N)HC×SU(4)EC×SU(2)W𝑆𝑈subscript𝑁𝐻𝐶𝑆𝑈subscript4𝐸𝐶𝑆𝑈subscript2𝑊SU(N)_{HC}\times SU(4)_{EC}\times SU(2)_{W}italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT is given by

QL=(N,4,2),QR=(N,4,1),formulae-sequencesubscript𝑄𝐿𝑁42subscript𝑄𝑅𝑁41\displaystyle Q_{L}=(N,4,2),\quad Q_{R}=(N,4,1)~{},italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( italic_N , 4 , 2 ) , italic_Q start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( italic_N , 4 , 1 ) , (12)

After the first breaking, the SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT gauge group is broken down to SU(3)EC𝑆𝑈subscript3𝐸𝐶SU(3)_{EC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT. The fermion content then becomes (under SU(N)HC×SU(3)EC×SU(2)W𝑆𝑈subscript𝑁𝐻𝐶𝑆𝑈subscript3𝐸𝐶𝑆𝑈subscript2𝑊SU(N)_{HC}\times SU(3)_{EC}\times SU(2)_{W}italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT)

Left-handed (LH): (N,3,2),(N,1,2)𝑁32𝑁12\displaystyle(N,3,2),~{}(N,1,2)~{}( italic_N , 3 , 2 ) , ( italic_N , 1 , 2 )
Right-handed (RH): (N,3,1),(N,1,1),𝑁31𝑁11\displaystyle(N,3,1),~{}(N,1,1)~{},( italic_N , 3 , 1 ) , ( italic_N , 1 , 1 ) , (13)

which should include both hyperfermions and top quarks. However, under this setup, all the fermion are charged under SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT, which is obviously not allowed for a realistic top quark. Unless the SU(N)HC𝑆𝑈subscript𝑁𝐻𝐶SU(N)_{HC}italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is broken and thus unconfined like Topcolor [25]. The fact that top quarks are charged under hypercolor also restricts the number of N𝑁Nitalic_N we can have (unlike the traditional extension) because we can not introduce exotic degrees of freedom for top quarks. Instead, we can only use the existing quantum number in the SM top quark, such as N=3𝑁3N=3italic_N = 3 in the Topcolor models, and have the SM gauge group as the unbroken subgroup through an additional breaking process SU(N)HC×SU(N)ESMSU(N)SM𝑆𝑈subscript𝑁𝐻𝐶𝑆𝑈subscript𝑁𝐸𝑆𝑀𝑆𝑈subscript𝑁𝑆𝑀SU(N)_{HC}\times SU(N)_{ESM}\to SU(N)_{SM}italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_E italic_S italic_M end_POSTSUBSCRIPT → italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT.

In general, we can have hypercolor group as SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT (broken down to SU(3)C𝑆𝑈subscript3𝐶SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT in the end), SU(2)HC𝑆𝑈subscript2𝐻𝐶SU(2)_{HC}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT (broken down to SU(2)W𝑆𝑈subscript2𝑊SU(2)_{W}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT in the end), or U(1)HC𝑈subscript1𝐻𝐶U(1)_{HC}italic_U ( 1 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT (broken down to U(1)Y𝑈subscript1𝑌U(1)_{Y}italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT in the end). In this work, we focus on the first case with N=3𝑁3N=3italic_N = 3. Therefore, an additional breaking process is required to break SU(3)HC×SU(3)ECSU(3)C𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript3𝐸𝐶𝑆𝑈subscript3𝐶SU(3)_{HC}\times SU(3)_{EC}\to SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT → italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT and the fermion content is further separated to (under SU(N)HC×SU(3)EC×SU(2)WSU(3)C×SU(2)W𝑆𝑈subscript𝑁𝐻𝐶𝑆𝑈subscript3𝐸𝐶𝑆𝑈subscript2𝑊𝑆𝑈subscript3𝐶𝑆𝑈subscript2𝑊SU(N)_{HC}\times SU(3)_{EC}\times SU(2)_{W}\to SU(3)_{C}\times SU(2)_{W}italic_S italic_U ( italic_N ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT → italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT)

QL(3,3,2)+(3,1,2)(6,2)+(3¯,2)+(3,2),subscript𝑄𝐿33231262¯3232\displaystyle Q_{L}\to(3,3,2)+(3,1,2)\to(6,2)+(\bar{3},2)+(3,2),italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT → ( 3 , 3 , 2 ) + ( 3 , 1 , 2 ) → ( 6 , 2 ) + ( over¯ start_ARG 3 end_ARG , 2 ) + ( 3 , 2 ) , (14)
QR(3,3,1)+(3,1,1)(6,1)+(3¯,1)+(3,1),subscript𝑄𝑅33131161¯3131\displaystyle Q_{R}\to(3,3,1)+(3,1,1)\to(6,1)+(\bar{3},1)+(3,1),italic_Q start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT → ( 3 , 3 , 1 ) + ( 3 , 1 , 1 ) → ( 6 , 1 ) + ( over¯ start_ARG 3 end_ARG , 1 ) + ( 3 , 1 ) , (15)

which includes exotic fermions transformed as sextets. For anti-triplets and triplets, though they look similar, they have different strengths of interactions as the anti-triplet originated from (3,3)33(3,3)( 3 , 3 ) with both SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) interactions but the triplet only has the one from SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT. This difference is crucial to realize the tilting mechanism and requires the anti-triplets to be hyperfermions and triplets to be top quarks. Together with exotic fermions labelled by fL,Rsubscript𝑓𝐿𝑅f_{L,R}italic_f start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT, we get

QLfL=(6,2),ψL=(3¯,2),qL=(3,2),formulae-sequencesubscript𝑄𝐿subscript𝑓𝐿62formulae-sequencesubscript𝜓𝐿¯32subscript𝑞𝐿32\displaystyle Q_{L}\to~{}f_{L}=(6,2),\quad\psi_{L}=(\bar{3},2),\quad q_{L}=(3,% 2)~{},italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT → italic_f start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( 6 , 2 ) , italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 2 ) , italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( 3 , 2 ) , (16)
QRfR=(6,1),ψR=(3¯,1),tR=(3,1).formulae-sequencesubscript𝑄𝑅subscript𝑓𝑅61formulae-sequencesubscript𝜓𝑅¯31subscript𝑡𝑅31\displaystyle Q_{R}\to~{}f_{R}=(6,1),\quad\psi_{R}=(\bar{3},1),\quad t_{R}=(3,% 1)~{}.italic_Q start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT → italic_f start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( 6 , 1 ) , italic_ψ start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 1 ) , italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( 3 , 1 ) . (17)

This setup can allow ψ¯ψ¯𝜓𝜓\bar{\psi}\psiover¯ start_ARG italic_ψ end_ARG italic_ψ to form the condensate without t¯t¯𝑡𝑡\bar{t}tover¯ start_ARG italic_t end_ARG italic_t condensate. Such a condition might require some fine-tuning among the couplings as in Topcolor models [25]. But the self-breaking mechanism could fix the strong coupling at the value right above the critical point, which can make the tilting mechanism look natural. More concrete discussions will be presented in the next section.

In this type of extension, we can still combine hyperfermions and top quarks but through a more complicated way with a cost of exotic fermions. Also, the top quark now also undergoes the hypercolor interaction. However, the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson no longer carries hypercolor and is naturally light, which can cut off the top loop below the TeV scale. There is still a massive ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson which plays an important role in phenomenology.

IV A concrete model

In this section, we construct a concrete model based on SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT with all the ingredients we mention. For the gauge sector, we consider a strongly coupled SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT and a weakly coupled SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT. The overall gauge group is 𝒢E=SU(3)HC×SU(4)EC×SU(2)W×U(1)Xsubscript𝒢𝐸𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript4𝐸𝐶𝑆𝑈subscript2𝑊𝑈subscript1𝑋\mathcal{G}_{E}=SU(3)_{HC}\times SU(4)_{EC}\times SU(2)_{W}\times U(1)_{X}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT 222A similar group structure and breaking pattern has also been studied know as ”4321 model” [30] for the purpose of TeV-scale leptoquarks and B-meson anomalies.. We denote the corresponding gauge fields as Hμasuperscriptsubscript𝐻𝜇𝑎H_{\mu}^{a}italic_H start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT, Eμαsuperscriptsubscript𝐸𝜇𝛼E_{\mu}^{\alpha}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT, Wμisuperscriptsubscript𝑊𝜇𝑖W_{\mu}^{i}italic_W start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT, and Xμsubscript𝑋𝜇X_{\mu}italic_X start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT, the gauge couplings as gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT, gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, gWsubscript𝑔𝑊g_{W}italic_g start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT, gXsubscript𝑔𝑋g_{X}italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT, and the generators as Tasuperscript𝑇𝑎T^{a}italic_T start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT, Tαsuperscript𝑇𝛼T^{\alpha}italic_T start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT, Tisuperscript𝑇𝑖T^{i}italic_T start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT, Ysuperscript𝑌Y^{\prime}italic_Y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT with indices a=1,,8𝑎18a=1,...,8italic_a = 1 , … , 8, α=1,,15𝛼115\alpha=1,...,15italic_α = 1 , … , 15, i=1,2,3𝑖123i=1,2,3italic_i = 1 , 2 , 3. The generators are normalized as Tr(TATB)=12δABsuperscript𝑇𝐴superscript𝑇𝐵12superscript𝛿𝐴𝐵(T^{A}T^{B})=\frac{1}{2}\delta^{AB}( italic_T start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_δ start_POSTSUPERSCRIPT italic_A italic_B end_POSTSUPERSCRIPT.

The gauge group is spontaneously broken down to SM gauge group 𝒢SM=SU(3)C×SU(2)W×U(1)Ysubscript𝒢𝑆𝑀𝑆𝑈subscript3𝐶𝑆𝑈subscript2𝑊𝑈subscript1𝑌\mathcal{G}_{SM}=SU(3)_{C}\times SU(2)_{W}\times U(1)_{Y}caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT = italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT through the scalar representation Σ=(3¯,4,1,1/24)Σ¯341124\Sigma=(\bar{3},4,1,1/24)roman_Σ = ( over¯ start_ARG 3 end_ARG , 4 , 1 , 1 / 24 ), which acquires a vacuum expectation (VEV) value given by

Σ=fE2(010000100001).delimited-⟨⟩Σsubscript𝑓𝐸2matrix010000100001\langle\Sigma\rangle=\frac{f_{E}}{\sqrt{2}}\begin{pmatrix}0&1&0&0\\ 0&0&1&0\\ 0&0&0&1\\ \end{pmatrix}.⟨ roman_Σ ⟩ = divide start_ARG italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG ( start_ARG start_ROW start_CELL 0 end_CELL start_CELL 1 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 1 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 start_CELL 1 end_CELL end_ROW end_ARG ) . (18)

The formation of the ΣΣ\Sigmaroman_Σ field and its VEV can be realized dynamically through the tumbling gauge theory with additional chiral fermion under larger representation, which will be discussed in subsection A.

The breaking pattern of 𝒢E𝒢SMsubscript𝒢𝐸subscript𝒢𝑆𝑀\mathcal{G}_{E}\to\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT → caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT can be separated into three parts corresponding to the three resulting massive gauge bosons with different tasks:
(1) SU(4)ECSU(3)EC×U(1)EC𝑆𝑈subscript4𝐸𝐶𝑆𝑈subscript3𝐸𝐶𝑈subscript1𝐸𝐶SU(4)_{EC}\to SU(3)_{EC}\times U(1)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT → italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT breaking introduces the massive Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson with the mass

ME=12gEfEsubscript𝑀𝐸12subscript𝑔𝐸subscript𝑓𝐸\displaystyle M_{E}=\frac{1}{2}\,g_{E}f_{E}~{}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT (19)

and the gauge coupling gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. It plays an important role in connecting the hyperfermions with top quarks, which helps generate the top Yukawa coupling. The mass MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT thus serves as the cutoff scale of top loop correction to the Higgs quadratic term.
(2) SU(3)HC×SU(3)ECSU(3)C𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript3𝐸𝐶𝑆𝑈subscript3𝐶SU(3)_{HC}\times SU(3)_{EC}\to SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT → italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT breaking leads to a broken SU(3)𝑆𝑈superscript3SU(3)^{\prime}italic_S italic_U ( 3 ) start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and an unbroken SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) expressed as

Gμa=gHHμagEEμagH2+gE2,Gμa=gEHμa+gHEμagH2+gE2,formulae-sequencesuperscriptsubscriptsuperscript𝐺𝜇𝑎subscript𝑔𝐻superscriptsubscript𝐻𝜇𝑎subscript𝑔𝐸superscriptsubscript𝐸𝜇𝑎superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝐸2superscriptsubscript𝐺𝜇𝑎subscript𝑔𝐸superscriptsubscript𝐻𝜇𝑎subscript𝑔𝐻superscriptsubscript𝐸𝜇𝑎superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝐸2\displaystyle{G^{\prime}}_{\mu}^{a}=\frac{g_{H}H_{\mu}^{a}-g_{E}E_{\mu}^{a}}{% \sqrt{g_{H}^{2}+g_{E}^{2}}},\quad{G}_{\mu}^{a}=\frac{g_{E}H_{\mu}^{a}+g_{H}E_{% \mu}^{a}}{\sqrt{g_{H}^{2}+g_{E}^{2}}}~{},italic_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = divide start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT - italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , italic_G start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_H start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (20)

The broken SU(3)𝑆𝑈superscript3SU(3)^{\prime}italic_S italic_U ( 3 ) start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bosons get the mass

MG=12gH2+gE2fEsubscript𝑀superscript𝐺12superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝐸2subscript𝑓𝐸\displaystyle M_{G^{\prime}}=\frac{1}{\sqrt{2}}\,\sqrt{g_{H}^{2}+g_{E}^{2}}f_{E}italic_M start_POSTSUBSCRIPT italic_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT (21)

and the gauge coupling gs=gH2+gE2subscriptsuperscript𝑔𝑠superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝐸2g^{\prime}_{s}=\sqrt{g_{H}^{2}+g_{E}^{2}}italic_g start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = square-root start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. It is the mediator of strong interaction and makes the hyperfermions condense, which leads to the subsequent composite Higgs and EWSB. More details are covered in subsection B.

The unbroken SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) is just SM color group SU(3)C𝑆𝑈subscript3𝐶SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT with the gauge coupling given by

gs=gHgEgH2+gE2=1.02,subscript𝑔𝑠subscript𝑔𝐻subscript𝑔𝐸superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝐸21.02\displaystyle g_{s}=\frac{g_{H}g_{E}}{\sqrt{g_{H}^{2}+g_{E}^{2}}}=1.02~{},italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = divide start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG = 1.02 , (22)

where we choose the matching value at the scale of 2222 TeV. The matching then fixes the value gEgs=1.02similar-tosubscript𝑔𝐸subscript𝑔𝑠1.02g_{E}\sim g_{s}=1.02italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 1.02 assuming gHgEmuch-greater-thansubscript𝑔𝐻subscript𝑔𝐸g_{H}\gg g_{E}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT ≫ italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, which is related to the SM coupling and is weak as desired. The mass MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is then determined, which will be discussed further in subsection C.
(3) U(1)EC×U(1)XU(1)Y𝑈subscript1𝐸𝐶𝑈subscript1𝑋𝑈subscript1𝑌U(1)_{EC}\times U(1)_{X}\to U(1)_{Y}italic_U ( 1 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT → italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT breaking similarly leads to a broken U(1)𝑈superscript1U(1)^{\prime}italic_U ( 1 ) start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and an unbroken U(1)𝑈1U(1)italic_U ( 1 ) expressed as

ZE,μ=cgXXμgEEμ15c2gX2+gE2,Bμ=gEXμ+cgXEμ15c2gX2+gE2,formulae-sequencesubscriptsuperscript𝑍𝐸𝜇𝑐subscript𝑔𝑋subscript𝑋𝜇subscript𝑔𝐸superscriptsubscript𝐸𝜇15superscript𝑐2superscriptsubscript𝑔𝑋2superscriptsubscript𝑔𝐸2subscript𝐵𝜇subscript𝑔𝐸subscript𝑋𝜇𝑐subscript𝑔𝑋superscriptsubscript𝐸𝜇15superscript𝑐2superscriptsubscript𝑔𝑋2superscriptsubscript𝑔𝐸2\displaystyle Z^{\prime}_{E,\mu}=\frac{cg_{X}X_{\mu}-g_{E}E_{\mu}^{15}}{\sqrt{% c^{2}g_{X}^{2}+g_{E}^{2}}},~{}{B}_{\mu}=\frac{g_{E}X_{\mu}+cg_{X}E_{\mu}^{15}}% {\sqrt{c^{2}g_{X}^{2}+g_{E}^{2}}}~{},italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E , italic_μ end_POSTSUBSCRIPT = divide start_ARG italic_c italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT - italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 15 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , italic_B start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_X start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + italic_c italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 15 end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG , (23)

where c=1/24𝑐124c=1/\sqrt{24}italic_c = 1 / square-root start_ARG 24 end_ARG. The ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson gets the mass

MZ=18c2gX2+gE2fEsubscript𝑀superscript𝑍18superscript𝑐2superscriptsubscript𝑔𝑋2superscriptsubscript𝑔𝐸2subscript𝑓𝐸\displaystyle M_{Z^{\prime}}=\frac{1}{\sqrt{8}}\,\sqrt{c^{2}g_{X}^{2}+g_{E}^{2% }}\,f_{E}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 8 end_ARG end_ARG square-root start_ARG italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT (24)

and the gauge coupling gauge coupling g=c2gX2+gE2superscript𝑔superscript𝑐2superscriptsubscript𝑔𝑋2superscriptsubscript𝑔𝐸2g^{\prime}=\sqrt{c^{2}g_{X}^{2}+g_{E}^{2}}italic_g start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = square-root start_ARG italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. It is the lightest new degree of freedom and has a huge impact on phenomenology.

The unbroken U(1)𝑈1U(1)italic_U ( 1 ) would be the SM hypercharge with Y=cT15+X𝑌𝑐superscript𝑇15𝑋Y=c\,T^{15}+Xitalic_Y = italic_c italic_T start_POSTSUPERSCRIPT 15 end_POSTSUPERSCRIPT + italic_X where T15=1/24diag(3,1,1,1)superscript𝑇15124diag3111T^{15}=1/\sqrt{24}\,\text{diag}(3,-1,-1,-1)italic_T start_POSTSUPERSCRIPT 15 end_POSTSUPERSCRIPT = 1 / square-root start_ARG 24 end_ARG diag ( 3 , - 1 , - 1 , - 1 ). The gauge coupling is given by

gY=gXgEc2gX2+gE2=0.36,subscript𝑔𝑌subscript𝑔𝑋subscript𝑔𝐸superscript𝑐2superscriptsubscript𝑔𝑋2superscriptsubscript𝑔𝐸20.36\displaystyle g_{Y}=\frac{g_{X}g_{E}}{\sqrt{c^{2}g_{X}^{2}+g_{E}^{2}}}=0.36~{},italic_g start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT = divide start_ARG italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_ARG start_ARG square-root start_ARG italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG = 0.36 , (25)

where we choose the matching value at the scale of 2222 TeV. The matching then fixes the value gXgY=0.36similar-tosubscript𝑔𝑋subscript𝑔𝑌0.36g_{X}\sim g_{Y}=0.36italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT = 0.36 because gE1.02similar-tosubscript𝑔𝐸1.02g_{E}\sim 1.02italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 1.02 is much greater than cgY𝑐subscript𝑔𝑌cg_{Y}italic_c italic_g start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT.

Based on the matching with SM gauge coupling, we get the strengths of new gauge groups within 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT as

gEgs=1.02,gXgY=0.36.formulae-sequencesimilar-tosubscript𝑔𝐸subscript𝑔𝑠1.02similar-tosubscript𝑔𝑋subscript𝑔𝑌0.36\displaystyle g_{E}\sim g_{s}=1.02,\quad g_{X}\sim g_{Y}=0.36~{}.italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 1.02 , italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT = 0.36 . (26)

The strong coupling gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT is expected to be right below the critical coupling gc5.1similar-tosubscript𝑔𝑐5.1g_{c}\sim 5.1italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ∼ 5.1 which will be explained in subsection B.

Next, we discuss the fermion content. In this part, we only focus on the relevant content for the generation of the top (and bottom) Yukawa coupling. Additional fermions might be added to realize the tumbling mechanism or to get a realistic composite Higgs sector, which will be discussed in subsection A and B. Besides, We remain agnostic about how the other light SM fermions obtain their masses and assume that the required mechanisms are separated from our current work and do not worsen the hierarchy problem, which could be true due to their small Yukawa couplings.333The separation can be realized in a family non-universal extension of the SM gauge group, such as in [25, 30]. The detailed construction is beyond the scope of this study and we leave it to the future study. Therefore, we will only address the SM third generation quark - the top and bottom quark, especially on the top quark, in the following discussion.

The required fermions under SU(3)HC×SU(4)EC×SU(2)W×U(1)X𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript4𝐸𝐶𝑆𝑈subscript2𝑊𝑈subscript1𝑋SU(3)_{HC}\times SU(4)_{EC}\times SU(2)_{W}\times U(1)_{X}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT are given by

QL=(3,4,2,124),UR/DR=(3,4,1,124±12).formulae-sequencesubscript𝑄𝐿342124subscript𝑈𝑅subscript𝐷𝑅341plus-or-minus12412\displaystyle Q_{L}=(3,4,2,\frac{1}{24}),\quad U_{R}/D_{R}=(3,4,1,\frac{1}{24}% \pm\frac{1}{2})~{}.italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( 3 , 4 , 2 , divide start_ARG 1 end_ARG start_ARG 24 end_ARG ) , italic_U start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT / italic_D start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( 3 , 4 , 1 , divide start_ARG 1 end_ARG start_ARG 24 end_ARG ± divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) . (27)

The extension is anomaly-free under the gauge groups except that there is Witten anomaly. The problem can be solved with one additional SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) doublet fermion, which is chargeless under U(1)X𝑈subscript1𝑋U(1)_{X}italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT. Since it doesn’t carry U(1)𝑈1U(1)italic_U ( 1 ) charge, we can decouple it by writing down a Majorana mass term without breaking any gauge symmetry.

After the symmetry breaking, the fermions are decomposed as (under 𝒢SM=SU(3)C×SU(2)W×U(1)Ysubscript𝒢𝑆𝑀𝑆𝑈subscript3𝐶𝑆𝑈subscript2𝑊𝑈subscript1𝑌\mathcal{G}_{SM}=SU(3)_{C}\times SU(2)_{W}\times U(1)_{Y}caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT = italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT)

QLsubscript𝑄𝐿\displaystyle Q_{L}italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT (6,2)0+(3¯,2)0+(3,2)16,absentsubscript620subscript¯320subscript3216\displaystyle\to(6,2)_{0}+(\bar{3},2)_{0}+(3,2)_{\frac{1}{6}}~{},→ ( 6 , 2 ) start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + ( over¯ start_ARG 3 end_ARG , 2 ) start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT + ( 3 , 2 ) start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 6 end_ARG end_POSTSUBSCRIPT , (28)
URsubscript𝑈𝑅\displaystyle U_{R}italic_U start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT (6,1)12+(3¯,1)12+(3,1)23,absentsubscript6112subscript¯3112subscript3123\displaystyle\to(6,1)_{\frac{1}{2}}+(\bar{3},1)_{\frac{1}{2}}+(3,1)_{\frac{2}{% 3}}~{},→ ( 6 , 1 ) start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT + ( over¯ start_ARG 3 end_ARG , 1 ) start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT + ( 3 , 1 ) start_POSTSUBSCRIPT divide start_ARG 2 end_ARG start_ARG 3 end_ARG end_POSTSUBSCRIPT , (29)
DRsubscript𝐷𝑅\displaystyle D_{R}italic_D start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT (6,1)12+(3¯,1)12+(3,1)13.absentsubscript6112subscript¯3112subscript3113\displaystyle\to(6,1)_{-\frac{1}{2}}+(\bar{3},1)_{-\frac{1}{2}}+(3,1)_{-\frac{% 1}{3}}~{}.→ ( 6 , 1 ) start_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT + ( over¯ start_ARG 3 end_ARG , 1 ) start_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT + ( 3 , 1 ) start_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUBSCRIPT . (30)

Each of fermion multiplets is separated to three parts, exotic fermions fL,Rsubscript𝑓𝐿𝑅f_{L,R}italic_f start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT, hyperfermions ψL,Rsubscript𝜓𝐿𝑅\psi_{L,R}italic_ψ start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT, and the SM quarks qL,tR,bRsubscript𝑞𝐿subscript𝑡𝑅subscript𝑏𝑅q_{L},t_{R},b_{R}italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT , italic_b start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT as

fL=(6,2)0,ψL=(3¯,2)0,qL=(3,2)16,formulae-sequencesubscript𝑓𝐿subscript620formulae-sequencesubscript𝜓𝐿subscript¯320subscript𝑞𝐿subscript3216\displaystyle f_{L}=(6,2)_{0},~{}\psi_{L}=(\bar{3},2)_{0},~{}q_{L}=(3,2)_{% \frac{1}{6}}~{},italic_f start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( 6 , 2 ) start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 2 ) start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( 3 , 2 ) start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 6 end_ARG end_POSTSUBSCRIPT , (31)
fU,R=(6,1)12,ψU,R=(3¯,1)12,tR=(3,1)23,formulae-sequencesubscript𝑓𝑈𝑅subscript6112formulae-sequencesubscript𝜓𝑈𝑅subscript¯3112subscript𝑡𝑅subscript3123\displaystyle f_{U,R}=(6,1)_{\frac{1}{2}},~{}\psi_{U,R}=(\bar{3},1)_{\frac{1}{% 2}},~{}t_{R}=(3,1)_{\frac{2}{3}}~{},italic_f start_POSTSUBSCRIPT italic_U , italic_R end_POSTSUBSCRIPT = ( 6 , 1 ) start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT , italic_ψ start_POSTSUBSCRIPT italic_U , italic_R end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 1 ) start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( 3 , 1 ) start_POSTSUBSCRIPT divide start_ARG 2 end_ARG start_ARG 3 end_ARG end_POSTSUBSCRIPT , (32)
fD,R=(6,1)12,ψD,R=(3¯,1)12,bR=(3,1)13.formulae-sequencesubscript𝑓𝐷𝑅subscript6112formulae-sequencesubscript𝜓𝐷𝑅subscript¯3112subscript𝑏𝑅subscript3113\displaystyle f_{D,R}=(6,1)_{-\frac{1}{2}},~{}\psi_{D,R}=(\bar{3},1)_{-\frac{1% }{2}},~{}b_{R}=(3,1)_{-\frac{1}{3}}~{}.italic_f start_POSTSUBSCRIPT italic_D , italic_R end_POSTSUBSCRIPT = ( 6 , 1 ) start_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT , italic_ψ start_POSTSUBSCRIPT italic_D , italic_R end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 1 ) start_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT , italic_b start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( 3 , 1 ) start_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUBSCRIPT . (33)

In the following three subsections, we will discuss the roles of each fermion and all the relevant mechanisms from the top down in order of energy scales as
A. The 𝒢E𝒢SMsubscript𝒢𝐸subscript𝒢𝑆𝑀\mathcal{G}_{E}\to\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT → caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT breaking at the scale fE1.7similar-tosubscript𝑓𝐸1.7f_{E}\sim 1.7italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 1.7 TeV through tumbling mechanism with exotic fermions
B. Composite Higgs formation at the scale f1similar-to𝑓1f\sim 1italic_f ∼ 1 TeV through hyperfermion condensation
C. Generation of top Yukawa coupling at the scale MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT through integrating out the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson
Then we summarize the overall spectrum and properties of new particles in subsection D.

IV.1 Tumbling mechanism with exotic fermions

In this model, the first symmetry breaking required is SU(3)HC×SU(4)ECSU(3)C𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript4𝐸𝐶𝑆𝑈subscript3𝐶SU(3)_{HC}\times SU(4)_{EC}\to SU(3)_{C}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT → italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT, which is similar to the 4321 model [30]. Besides using additional scalars with nonzero VEVs to realize the breaking, we would like to construct a dynamical model with the breaking through the SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT strong interaction itself. Such self-breaking mechanism is known as ”Tumbling” gauge theories [26] and has been used in BSM model building [31, 32].

The self-breaking of strong SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) gauge group has already been studied in [33, 34] and the desired breaking is possible in a chiral theory with fermions in both the triplet 𝟑3\bf{3}bold_3 and sextet 𝟔6\bf{6}bold_6 representation. Since we already have LH 𝟑3\bf{3}bold_3, we only need to add an additional RH 𝟔6\bf{6}bold_6. With fermions under 𝒢Esubscript𝒢𝐸\mathcal{G}_{E}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT given by

QL=(3,4,2,1/24),FR=(6,1,2,0),formulae-sequencesubscript𝑄𝐿342124subscript𝐹𝑅6120\displaystyle Q_{L}=(3,4,2,{1}/{24})~{},\quad F_{R}=({6},1,{2},0),italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = ( 3 , 4 , 2 , 1 / 24 ) , italic_F start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT = ( 6 , 1 , 2 , 0 ) , (34)

the most attractive channel under SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is RH 𝟔6\bf{6}bold_6 combined with some of LH 𝟑3\bf{3}bold_3 to form the condensate. The SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT will be broken down to a SU(3)𝑆𝑈3SU(3)italic_S italic_U ( 3 ) symmetry which is the diagonal subgroup of SU(3)HC×SU(3)G𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript3𝐺SU(3)_{HC}\times SU(3)_{G}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_G end_POSTSUBSCRIPT, where SU(3)G𝑆𝑈subscript3𝐺SU(3)_{G}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_G end_POSTSUBSCRIPT is a subgroup of global symmetry of 𝟑3\bf{3}bold_3. The global symmetry of 𝟑3\bf{3}bold_3 under our setup will be the SU(4)EC×U(1)X𝑆𝑈subscript4𝐸𝐶𝑈subscript1𝑋SU(4)_{EC}\times U(1)_{X}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT gauge symmetry. The SU(2)W𝑆𝑈subscript2𝑊SU(2)_{W}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT part is directly contracted so it does not play any role here. The condensate, F¯RQLsubscript¯𝐹𝑅subscript𝑄𝐿\bar{F}_{R}Q_{L}over¯ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, is formed with exactly the same quantum number as the scalar Σ=(3¯,4,1,1/24)Σ¯341124\Sigma=(\bar{3},4,1,1/24)roman_Σ = ( over¯ start_ARG 3 end_ARG , 4 , 1 , 1 / 24 ) and with the desired VEV structure shown in Eq. (18). The scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is determined by the strength of 𝟔¯ 3¯63\bf{\bar{6}\,3}over¯ start_ARG bold_6 end_ARG bold_3 condensate and the coupling gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT is fixed at the corresponding value.

The VEV not only breaks SU(3)HC×SU(4)EC×U(1)X𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript4𝐸𝐶𝑈subscript1𝑋SU(3)_{HC}\times SU(4)_{EC}\times U(1)_{X}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT to SU(3)C×U(1)Y𝑆𝑈subscript3𝐶𝑈subscript1𝑌SU(3)_{C}\times U(1)_{Y}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_Y end_POSTSUBSCRIPT with massive Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT, Gsuperscript𝐺G^{\prime}italic_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT but also gives the Dirac masses to the fermion sextet. The VEV mixes the FRsubscript𝐹𝑅F_{R}italic_F start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT with the exotic fermion fLsubscript𝑓𝐿f_{L}italic_f start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT in Eq. (31). We then get the mass term as MFF¯RfLsubscript𝑀𝐹subscript¯𝐹𝑅subscript𝑓𝐿M_{F}\bar{F}_{R}f_{L}italic_M start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT over¯ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT with MFYSfEsimilar-tosubscript𝑀𝐹subscript𝑌𝑆subscript𝑓𝐸M_{F}\sim Y_{S}f_{E}italic_M start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ∼ italic_Y start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, where the Yukawa coupling YSsubscript𝑌𝑆Y_{S}italic_Y start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT comes from the strong dynamics and should have a large value. With the assistance of the tumbling mechanism, now we have a dynamical origin for the breaking pattern and also get rid of part of the dangerous exotic fermions as they are much heavier and out of reach of LHC searches.

Similarly, we can introduce two additional LH sextets FU,Lsubscript𝐹𝑈𝐿F_{U,L}italic_F start_POSTSUBSCRIPT italic_U , italic_L end_POSTSUBSCRIPT and FD,Lsubscript𝐹𝐷𝐿F_{D,L}italic_F start_POSTSUBSCRIPT italic_D , italic_L end_POSTSUBSCRIPT to generate Dirac masses with fU,Rsubscript𝑓𝑈𝑅f_{U,R}italic_f start_POSTSUBSCRIPT italic_U , italic_R end_POSTSUBSCRIPT and fD,Rsubscript𝑓𝐷𝑅f_{D,R}italic_f start_POSTSUBSCRIPT italic_D , italic_R end_POSTSUBSCRIPT. However, an additional mechanism is required to forbid the direct condensation among the sextets FLsubscript𝐹𝐿F_{L}italic_F start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and FRsubscript𝐹𝑅F_{R}italic_F start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT, which is more attractive, such as a strong repulsive U(1)𝑈1U(1)italic_U ( 1 ) force. Moreover, two additional fermion sextets will flip the sign of the hypercolor’s beta function, which will ruin the whole strong dynamics. Therefore, to realize the tumbling mechanism with an anomaly-free fermion content, a more complicated fermion content is required but we leave it for the future study.

IV.2 Composite Higgs from hyperfermion condensate

After the first breaking, the strong SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is broken and the fermion sextets become massive. The next most attractive channels are RH 𝟑3\bf{3}bold_3 combined with LH 𝟑3\bf{3}bold_3 whose strength of the attraction is only slightly below the first one [31, 32]. Though SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is already broken and the coupling gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT is fixed at the value to trigger F¯RQL=𝟔¯ 3subscript¯𝐹𝑅subscript𝑄𝐿¯63\bar{F}_{R}Q_{L}=\bf{\bar{6}\,3}over¯ start_ARG italic_F end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_Q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = over¯ start_ARG bold_6 end_ARG bold_3 condensation, we assume the ψ¯RψL=𝟑¯ 3subscript¯𝜓𝑅subscript𝜓𝐿¯33\bar{\psi}_{R}\psi_{L}=\bf{\bar{3}\,3}over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT = over¯ start_ARG bold_3 end_ARG bold_3 condensate can still happens with an assist from SU(3)EC𝑆𝑈subscript3𝐸𝐶SU(3)_{EC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT interaction.

Since the strong gauge group is broken, we can describe it by the Nambu-Jona-Lasinio (NJL) model [35, 36]. The critical coupling for 𝟑¯ 3¯33\bf{\bar{3}\,3}over¯ start_ARG bold_3 end_ARG bold_3 condensation is

gc=8π2/35.1.subscript𝑔𝑐8superscript𝜋23similar-to5.1\displaystyle g_{c}=\sqrt{{8\pi^{2}}/{3}}\sim 5.1~{}.italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = square-root start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 3 end_ARG ∼ 5.1 . (35)

We claim that after the first breaking, the coupling gHsubscript𝑔𝐻g_{H}italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT is fixed at the value right below gcsubscript𝑔𝑐g_{c}italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT as the first attractive channel with 𝟔¯ 3¯63\bf{\bar{6}\,3}over¯ start_ARG bold_6 end_ARG bold_3 has a smaller critical coupling.

Combining with the SU(3)EC𝑆𝑈subscript3𝐸𝐶SU(3)_{EC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT interaction, which only applies on hyperfermions but not top quarks, we claim the following relation on couplings is achieved

gψ2gH2+gE2>gc2,gt2gH2<gc2,formulae-sequencesimilar-tosuperscriptsubscript𝑔𝜓2superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝐸2superscriptsubscript𝑔𝑐2similar-tosuperscriptsubscript𝑔𝑡2superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝑐2\displaystyle g_{\psi}^{2}\sim g_{H}^{2}+g_{E}^{2}>g_{c}^{2}\,,\quad g_{t}^{2}% \sim g_{H}^{2}<g_{c}^{2}~{},italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_g start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (36)

such that the interaction is strong enough to form ψ¯ψ¯𝜓𝜓\bar{\psi}\psiover¯ start_ARG italic_ψ end_ARG italic_ψ condensate for composite Higgs without t¯t¯𝑡𝑡\bar{t}tover¯ start_ARG italic_t end_ARG italic_t condensate.

In the NJL model, we can also estimate the breaking scale by the ψ¯ψ¯𝜓𝜓\bar{\psi}\psiover¯ start_ARG italic_ψ end_ARG italic_ψ condensate. Generically, the breaking scale in the NJL model is close to the scale of the broken strong gauge group, i.e. ffEsimilar-to𝑓subscript𝑓𝐸f\sim f_{E}italic_f ∼ italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, unless we have gψgcsimilar-tosubscript𝑔𝜓subscript𝑔𝑐g_{\psi}\sim g_{c}italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT. However, as we already show how the coupling gψsubscript𝑔𝜓g_{\psi}italic_g start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT can be naturally closed to critical coupling gcsubscript𝑔𝑐g_{c}italic_g start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT in our model, we can then get a desired hierarchy f<fE𝑓subscript𝑓𝐸f<f_{E}italic_f < italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. The difference thus determines the value of ytsubscript𝑦𝑡y_{t}italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT in the model.

The detail of the composite Higgs sector is model-dependent as the Higgs could be pion-like resonance in composite Higgs models (CHM) or sigma-like resonance in technicolor models (TC). Use the former one as an example. In the fundamental composite Higgs models (FCHM), we need the ψ¯ψ¯𝜓𝜓\bar{\psi}\psiover¯ start_ARG italic_ψ end_ARG italic_ψ condensate to break the global symmetry at the breaking scale f𝑓fitalic_f and introduce Higgs as pseudo-Nambu-Goldstone bosons (pNGBs) of the coset. With SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT strong interaction and the hyperfermions under complex representations, the minimal choice of the FCHMs [37, 38] is the one with four Dirac fermions in the (anti-)fundamental representation, which results in a SU(4)×SU(4)/SU(4)𝑆𝑈4𝑆𝑈4𝑆𝑈4SU(4)\times SU(4)/SU(4)italic_S italic_U ( 4 ) × italic_S italic_U ( 4 ) / italic_S italic_U ( 4 ) FCHM. The quantum numbers of Dirac hyperfermions are given by

Ψ1=(3¯,2)0,Ψ2=(3¯,1)12,Ψ3=(3¯,1)12,formulae-sequencesubscriptΨ1subscript¯320formulae-sequencesubscriptΨ2subscript¯3112subscriptΨ3subscript¯3112\displaystyle\Psi_{1}=(\bar{3},2)_{0},~{}\Psi_{2}=(\bar{3},1)_{\frac{1}{2}},~{% }\Psi_{3}=(\bar{3},1)_{-\frac{1}{2}},roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 2 ) start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 1 ) start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT , roman_Ψ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = ( over¯ start_ARG 3 end_ARG , 1 ) start_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT , (37)

where we use 3¯¯3\bar{3}over¯ start_ARG 3 end_ARG instead of 33{3}3 to match our fermion content. Compared to Eq. (31)-(33), we find the ψLsubscript𝜓𝐿\psi_{L}italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT, ψU,Rsubscript𝜓𝑈𝑅\psi_{U,R}italic_ψ start_POSTSUBSCRIPT italic_U , italic_R end_POSTSUBSCRIPT, and ψD,Rsubscript𝜓𝐷𝑅\psi_{D,R}italic_ψ start_POSTSUBSCRIPT italic_D , italic_R end_POSTSUBSCRIPT match the required fermions Ψ1,LsubscriptΨ1𝐿\Psi_{1,L}roman_Ψ start_POSTSUBSCRIPT 1 , italic_L end_POSTSUBSCRIPT, Ψ2,RsubscriptΨ2𝑅\Psi_{2,R}roman_Ψ start_POSTSUBSCRIPT 2 , italic_R end_POSTSUBSCRIPT, and Ψ3,RsubscriptΨ3𝑅\Psi_{3,R}roman_Ψ start_POSTSUBSCRIPT 3 , italic_R end_POSTSUBSCRIPT, which are the fermion components of the composite Higgs. The complete model should contain eight Weyl hyperfermions so the fermion content should be extended with four more hyperfermions of desired quantum numbers to ensure the formation of electroweak preserving condensate, which is the main difference between the composite Higgs models and the technicolor models. On the other hand, additional fermions might not be required if one can realize the idea in the technicolor models. In the following discussion, we will have a pNGB Higgs in our mind.

In general, there should be two Higgs doublets with H1ψ¯U,RψLsimilar-tosubscript𝐻1subscript¯𝜓𝑈𝑅subscript𝜓𝐿H_{1}\sim\bar{\psi}_{U,R}{\psi}_{L}italic_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∼ over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_U , italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT and H2ψ¯D,RψLsimilar-tosubscript𝐻2subscript¯𝜓𝐷𝑅subscript𝜓𝐿H_{2}\sim\bar{\psi}_{D,R}{\psi}_{L}italic_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∼ over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_D , italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT. We expect the H1subscript𝐻1H_{1}italic_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT being the SM-like Higgs and H2subscript𝐻2H_{2}italic_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT being a heavy second Higgs doublet. Since the goal of this study is to generate top Yukawa coupling, we will not dig into the details of the composite Higgs sector but refer the readers to other dedicated studies of this type of FCHMs [39, 40].

IV.3 Top Yukawa from the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson

The top Yukawa model that we construct through the extended gauge group SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT introduces top Yukawa coupling in exactly the way we describe in Sec. II. Now with a concrete model, we can further estimate the required value and set up our benchmark.

With the extended gauge group SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT broken at the scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson which connects the hyperfermions and top quarks acquires a mass MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT. The top Yukawa coupling is generated after the composite Higgs is formed by the ψ¯U,RψLsubscript¯𝜓𝑈𝑅subscript𝜓𝐿\bar{\psi}_{U,R}{\psi}_{L}over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_U , italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT condensate and the massive Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson is integrated out. The value is given by

yt1vgE2ME2ψ¯U,RψLHC(ffE)2YS,similar-tosubscript𝑦𝑡1𝑣superscriptsubscript𝑔𝐸2superscriptsubscript𝑀𝐸2subscriptdelimited-⟨⟩subscript¯𝜓𝑈𝑅subscript𝜓𝐿𝐻𝐶similar-tosuperscript𝑓subscript𝑓𝐸2subscript𝑌𝑆\displaystyle y_{t}\sim\frac{1}{v}\frac{g_{E}^{2}}{M_{E}^{2}}\langle\bar{{\psi% }}_{U,R}{\psi}_{L}\rangle_{HC}\sim\left(\frac{f}{f_{E}}\right)^{2}Y_{S}~{},italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∼ divide start_ARG 1 end_ARG start_ARG italic_v end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟨ over¯ start_ARG italic_ψ end_ARG start_POSTSUBSCRIPT italic_U , italic_R end_POSTSUBSCRIPT italic_ψ start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ⟩ start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT ∼ ( divide start_ARG italic_f end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Y start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT , (38)

where YSsubscript𝑌𝑆Y_{S}italic_Y start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT is the Yukawa coupling from the strong interaction among hyperfermions. In the NJL model, Yssubscript𝑌𝑠Y_{s}italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT can be estimated as

YS4πNHC ln(Λ2/Mψ2),similar-tosubscript𝑌𝑆4𝜋subscript𝑁𝐻𝐶 lnsuperscriptΛ2superscriptsubscript𝑀𝜓2\displaystyle Y_{S}\sim\frac{4\pi}{\sqrt{N_{HC}\text{ ln}(\Lambda^{2}/M_{\psi}% ^{2})}}~{},italic_Y start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT ∼ divide start_ARG 4 italic_π end_ARG start_ARG square-root start_ARG italic_N start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT ln ( roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_M start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG end_ARG , (39)

where ΛΛ\Lambdaroman_Λ is the cutoff of the theory and Mψsubscript𝑀𝜓M_{\psi}italic_M start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT is the dynamical mass of hyperfermions. In a strongly coupled theory, YSsubscript𝑌𝑆Y_{S}italic_Y start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT is expected to be 34343-43 - 4. In our case, as we have additional splitting between fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and f𝑓fitalic_f which might enhance the logarithmic term, we take the lower value Ys=3subscript𝑌𝑠3Y_{s}=3italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 3 for our numerical study.

To generate the observed top Yukawa yt1similar-tosubscript𝑦𝑡1y_{t}\sim 1italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ∼ 1, the scale

fEYS×f1.7×f.similar-tosubscript𝑓𝐸subscript𝑌𝑆𝑓similar-to1.7𝑓\displaystyle f_{E}\sim\sqrt{Y_{S}}\times f\sim 1.7\times f~{}.italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ square-root start_ARG italic_Y start_POSTSUBSCRIPT italic_S end_POSTSUBSCRIPT end_ARG × italic_f ∼ 1.7 × italic_f . (40)

Setting f=1𝑓1f=1italic_f = 1 TeV as our benchmark, we get fE1.7similar-tosubscript𝑓𝐸1.7f_{E}\sim 1.7italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 1.7 TeV. Next, we can also derive the mass of the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson. With gE1.02similar-tosubscript𝑔𝐸1.02g_{E}\sim 1.02italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 1.02 and fE1.7similar-tosubscript𝑓𝐸1.7f_{E}\sim 1.7italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 1.7 TeV, The mass is then given by

ME=12gEfE0.9TeV,subscript𝑀𝐸12subscript𝑔𝐸subscript𝑓𝐸similar-to0.9TeV\displaystyle M_{E}=\frac{1}{2}\,g_{E}f_{E}\sim 0.9~{}\text{TeV}~{},italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 0.9 TeV , (41)

which is the most important quantity in our model because it serves as the cutoff of the top loop. That is, the top Yukawa coupling is only generated below the scale of ME0.9TeVsimilar-tosubscript𝑀𝐸0.9TeVM_{E}\sim 0.9~{}\text{TeV}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 0.9 TeV, where the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson is integrated out. When approaching the mass MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT, the top Yukawa coupling will start revealing its original nature as

yt(k2)yt,0(1+k2/ME2),similar-tosubscript𝑦𝑡superscript𝑘2subscript𝑦𝑡01superscript𝑘2superscriptsubscript𝑀𝐸2y_{t}(k^{2})\sim\frac{y_{t,0}}{(1+k^{2}/M_{E}^{2})}\,,italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ∼ divide start_ARG italic_y start_POSTSUBSCRIPT italic_t , 0 end_POSTSUBSCRIPT end_ARG start_ARG ( 1 + italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_ARG , (42)

where k𝑘kitalic_k is the momentum related to the vertex and yt,0subscript𝑦𝑡0y_{t,0}italic_y start_POSTSUBSCRIPT italic_t , 0 end_POSTSUBSCRIPT is the top Yukawa coupling at k2=0superscript𝑘20k^{2}=0italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 0. One can substitute the modified top Yukawa coupling above into Eq. (I). The resulting top loop contribution becomes

ΔmH2|topi 2Ncd4k(2π)4yt2(k2)1k2=38π2yt,02ME2,similar-toevaluated-atΔsuperscriptsubscript𝑚𝐻2top𝑖2subscript𝑁𝑐superscript𝑑4𝑘superscript2𝜋4superscriptsubscript𝑦𝑡2superscript𝑘21superscript𝑘238superscript𝜋2superscriptsubscript𝑦𝑡02superscriptsubscript𝑀𝐸2\displaystyle\Delta m_{H}^{2}|_{\text{top}}\sim-i\,2N_{c}\int\frac{d^{4}k}{(2% \pi)^{4}}y_{t}^{2}(k^{2})\frac{1}{k^{2}}=-\frac{3}{8\pi^{2}}y_{t,0}^{2}M_{E}^{% 2}~{},roman_Δ italic_m start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_POSTSUBSCRIPT top end_POSTSUBSCRIPT ∼ - italic_i 2 italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_k end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG italic_y start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) divide start_ARG 1 end_ARG start_ARG italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = - divide start_ARG 3 end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_y start_POSTSUBSCRIPT italic_t , 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (43)

where the mass MEsubscript𝑀𝐸M_{E}italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT now plays the role of ΛtsubscriptΛ𝑡\Lambda_{t}roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT as it supposed to be. With the weakly coupling extended gauge group SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT, we then get a naturally light cutoff for the top loop contribution, which can relieve the fine-tuning problem and serve as a good alternative to the top partner solution.

Notice that, a similar Yukawa coupling term for the bottom quarks with yb1similar-tosubscript𝑦𝑏1y_{b}\sim 1italic_y start_POSTSUBSCRIPT italic_b end_POSTSUBSCRIPT ∼ 1 will also be generated but with the second Higgs H2subscript𝐻2H_{2}italic_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Such a term, if contributing to all the bottom quark mass, will lead to a generic Type-II two Higgs doublet model with a large tanβ𝛽\betaitalic_β. However, the bottom quark mass can also come from the top quark mass through other mechanisms such as radiative mass generation [41, 42, 43, 44, 45]. Since the low-scale bottom Yukawa coupling is not a necessary part of the model, one can even replace the DRsubscript𝐷𝑅D_{R}italic_D start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT in the fermion content such that the bottom Yukawa will not be generated at the tree level, such as in [20]. Due to this freedom, we will only focus on the new particles that are relevant for the generation of top Yukawa coupling in the following discussion.

IV.4 The overall spectrum

Before moving on to the phenomenology section, we briefly summarize all the relevant new particles we introduce and the overall spectrum. Start with massive gauge bosons, we have the broken SU(3)𝑆𝑈superscript3SU(3)^{\prime}italic_S italic_U ( 3 ) start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT bosons Gμsubscriptsuperscript𝐺𝜇G^{\prime}_{\mu}italic_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT, which is a color-octet (colorons) with masses given by

MG=12gH2+gE2fE6 TeV.subscript𝑀superscript𝐺12superscriptsubscript𝑔𝐻2superscriptsubscript𝑔𝐸2subscript𝑓𝐸similar-to6 TeV\displaystyle M_{G^{\prime}}=\frac{1}{\sqrt{2}}\,\sqrt{g_{H}^{2}+g_{E}^{2}}f_{% E}\sim 6\text{ TeV}~{}.italic_M start_POSTSUBSCRIPT italic_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 end_ARG end_ARG square-root start_ARG italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 6 TeV . (44)

Next, the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson, with quantum number under 𝒢SMsubscript𝒢𝑆𝑀\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT as (3,1,1/6)3116(3,1,-1/6)( 3 , 1 , - 1 / 6 ), is much lighter with a mass

ME=12gEfE0.9TeV.subscript𝑀𝐸12subscript𝑔𝐸subscript𝑓𝐸similar-to0.9TeV\displaystyle M_{E}=\frac{1}{2}\,g_{E}f_{E}\sim 0.9~{}\text{TeV}~{}.italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 0.9 TeV . (45)

Last, there is a massive neutral bosons ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT with a mass

MZ=18c2gX2+gE2fE0.6TeV,subscript𝑀superscript𝑍18superscript𝑐2superscriptsubscript𝑔𝑋2superscriptsubscript𝑔𝐸2subscript𝑓𝐸similar-to0.6TeV\displaystyle M_{Z^{\prime}}=\frac{1}{\sqrt{8}}\,\sqrt{c^{2}g_{X}^{2}+g_{E}^{2% }}\,f_{E}\sim 0.6~{}\text{TeV}~{},italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG 8 end_ARG end_ARG square-root start_ARG italic_c start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 0.6 TeV , (46)

which is the lightest new particles. As gEcgXmuch-greater-thansubscript𝑔𝐸𝑐subscript𝑔𝑋g_{E}\gg cg_{X}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ≫ italic_c italic_g start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT, the couplings between ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and fermions are mainly determined by the U(1)EC𝑈subscript1𝐸𝐶U(1)_{EC}italic_U ( 1 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT part with coupling gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and charge of fermions given by

qL,tR:3240.6,ψL,R,fL,R:1240.2,:subscript𝑞𝐿subscript𝑡𝑅similar-to3240.6subscript𝜓𝐿𝑅subscript𝑓𝐿𝑅:similar-to1240.2\displaystyle q_{L},\,t_{R}:\frac{3}{\sqrt{24}}\sim 0.6,\quad\psi_{L,R},\,f_{L% ,R}:\frac{-1}{\sqrt{24}}\sim-0.2~{},italic_q start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT , italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT : divide start_ARG 3 end_ARG start_ARG square-root start_ARG 24 end_ARG end_ARG ∼ 0.6 , italic_ψ start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT , italic_f start_POSTSUBSCRIPT italic_L , italic_R end_POSTSUBSCRIPT : divide start_ARG - 1 end_ARG start_ARG square-root start_ARG 24 end_ARG end_ARG ∼ - 0.2 , (47)

Besides bosons, we have some new fermions at the TeV scale. Because the SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is broken, these fermions are unconfined and can be searched for at the LHC. First, we have color sextet Dirac fermions F𝐹Fitalic_F with quantum number (6,2,0)620(6,2,0)( 6 , 2 , 0 ) and (6,1,±1/2)61plus-or-minus12(6,1,\pm 1/2)( 6 , 1 , ± 1 / 2 ), which get a dynamical mass at the breaking scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT with 444Here we still use Ys=3subscript𝑌𝑠3Y_{s}=3italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = 3 for convenience. However, for a sextet fermion, due to a stronger interaction, the coupling Yssubscript𝑌𝑠Y_{s}italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT should be greater and the sextet fermions F𝐹Fitalic_F should be heavier.

MFYsfE5TeV.similar-tosubscript𝑀𝐹subscript𝑌𝑠subscript𝑓𝐸similar-to5TeV\displaystyle M_{F}\sim Y_{s}f_{E}\sim 5~{}\text{TeV}~{}.italic_M start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ∼ italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 5 TeV . (48)

Next, the hyperfermions ψ𝜓\psiitalic_ψ are also unconfined. They are also Dirac fermion with quantum number (3¯,2,0)¯320(\bar{3},2,0)( over¯ start_ARG 3 end_ARG , 2 , 0 ) and (3¯,1,±1/2)¯31plus-or-minus12(\bar{3},1,\pm 1/2)( over¯ start_ARG 3 end_ARG , 1 , ± 1 / 2 ). The mass is lighter as it comes from a lower breaking scale f𝑓fitalic_f as

MψYsf3TeV.similar-tosubscript𝑀𝜓subscript𝑌𝑠𝑓similar-to3TeV\displaystyle M_{\psi}\sim Y_{s}f\sim 3~{}\text{TeV}~{}.italic_M start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT ∼ italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT italic_f ∼ 3 TeV . (49)

V INDIRECT SEARCHES

Since the goal of the whole study is to generate the top Yukawa coupling, we will start with the discussion on top physics. The main effect comes from the dimension-six nature of top Yukawa coupling, which has already been discussed in [14, 13], so in this paper, we will focus on the benchmark we use and some new analyses.

V.1 Higgs coupling measurements

Having the top Yukawa from dimension-six operators in general will not affect its value yt,0subscript𝑦𝑡0y_{t,0}italic_y start_POSTSUBSCRIPT italic_t , 0 end_POSTSUBSCRIPT at zero momentum. However, a deviation is still expected due to the Goldstone nature of Higgs in CHMs. The measurements of the top Yukawa coupling as well as other Higgs couplings are the direct test of misalignment, which is the key mechanism in CHMs. Combining all the Higgs coupling measurements, we can get a constraint on the breaking scale f𝑓fitalic_f. Assuming a simplified form with κV=κf=1v2/f2subscript𝜅𝑉subscript𝜅𝑓1superscript𝑣2superscript𝑓2\kappa_{V}=\kappa_{f}=\sqrt{1-v^{2}/f^{2}}italic_κ start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT = italic_κ start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = square-root start_ARG 1 - italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_f start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG for the deviations on the Higgs couplings, recent measurements by ATLAS and CMS with Run 2 data [46, 47] put a constraint on the scale f>1.1𝑓1.1f>1.1italic_f > 1.1 TeV, which is slightly above our benchmark with f=1𝑓1f=1italic_f = 1 TeV. The constraint can be relieved if we go beyond the simplified form.

V.2 Running Top Yukawa

The dimension-six origin of the top Yukawa coupling will lead to a nontrivial form factor on the top-Higgs vertex. Such momentum-dependence of the top Yukawa coupling at high scales could be measured in the tails of momentum distributions in processes such as tt¯h𝑡¯𝑡t\bar{t}hitalic_t over¯ start_ARG italic_t end_ARG italic_h production [48, 49, 50, 51]. However, it will require precise measurement of tt¯h𝑡¯𝑡t\bar{t}hitalic_t over¯ start_ARG italic_t end_ARG italic_h differential cross section, which suffers from both the small tt¯h𝑡¯𝑡t\bar{t}hitalic_t over¯ start_ARG italic_t end_ARG italic_h cross section and the complexity of final states. The current measurement has not yet reached the desired sensitivity but could be done with new data at the HL-LHC.

V.3 Running Top mass

Tests of the dimension-six top Yukawa can also be done by measuring the running of the top quark mass. The nontrivial running top mass at the high scale will affect the tt¯𝑡¯𝑡t\bar{t}italic_t over¯ start_ARG italic_t end_ARG differential cross section. Compared to the tt¯h𝑡¯𝑡t\bar{t}hitalic_t over¯ start_ARG italic_t end_ARG italic_h channel, the tt¯𝑡¯𝑡t\bar{t}italic_t over¯ start_ARG italic_t end_ARG channel has a larger cross section, which could provide better sensitivity. The measurement has been done by the CMS collaboration using part of Run 2 data with an integrated luminosity of 35.9 fb-1 [52]. The result has been interpreted in [53] as the top mass running up to 0.50.50.50.5 TeV as shown in Fig. 1.

Refer to caption
Figure 1: The top mass running in the SM (gray) v.s. the running in Eq. (50) with Λt=700subscriptΛ𝑡700\Lambda_{t}=700roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = 700 GeV(red), 900900900900 GeV(green), and 1300130013001300 GeV(blue) compared with the data points from [53] (the inner bars represent 1σ1𝜎1\sigma1 italic_σ uncertainties and the outer bars for 2σ2𝜎2\sigma2 italic_σ uncertainties).

Assume a generic form of top mass running as

mt(μ)=mt,SM(μ)(Λt2μ2+Λt2),subscript𝑚𝑡𝜇subscript𝑚𝑡𝑆𝑀𝜇superscriptsubscriptΛ𝑡2superscript𝜇2subscriptsuperscriptΛ2𝑡\displaystyle m_{t}(\mu)=m_{t,SM}(\mu)\left(\frac{\Lambda_{t}^{2}}{\mu^{2}+% \Lambda^{2}_{t}}\right)~{},italic_m start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_μ ) = italic_m start_POSTSUBSCRIPT italic_t , italic_S italic_M end_POSTSUBSCRIPT ( italic_μ ) ( divide start_ARG roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_μ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + roman_Λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG ) , (50)

where Λt=MEsubscriptΛ𝑡subscript𝑀𝐸\Lambda_{t}=M_{E}roman_Λ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT in our top Yukawa model. We can then get a bound from the current data as ME700greater-than-or-equivalent-tosubscript𝑀𝐸700M_{E}\gtrsim 700italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ≳ 700 GeV. With more data coming out, we expect the relevant parameter space can be fully explored in the HL-LHC era.

V.4 Four top quarks cross section

The model also comes with new bosons interacting with top quarks, including a massive neutral boson ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT and colorons Gsuperscript𝐺G^{\prime}italic_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT. Both of them will introduce additional contributions to the four top-quark cross section. Due to the heaviness of top quarks, this measurement is like a precision test of a rare process. In the SM, the cross section is derived as [54]

σtt¯tt¯SM=13.41.8+1.0 fb.superscriptsubscript𝜎𝑡¯𝑡𝑡¯𝑡SMsubscriptsuperscript13.41.01.8 fb.\displaystyle\sigma_{t\bar{t}t\bar{t}}^{\text{SM}}=13.4^{+1.0}_{-1.8}\text{ fb.}italic_σ start_POSTSUBSCRIPT italic_t over¯ start_ARG italic_t end_ARG italic_t over¯ start_ARG italic_t end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT SM end_POSTSUPERSCRIPT = 13.4 start_POSTSUPERSCRIPT + 1.0 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - 1.8 end_POSTSUBSCRIPT fb. (51)

Measurements using different final states have been performed by both ATLAS [55] and CMS [56] with LHC Run 2 data. The cross section are measured as

σtt¯tt¯ATLAS=22.55.5+6.6 fb,σtt¯tt¯CMS=17.94.1+4.4 fb.formulae-sequencesuperscriptsubscript𝜎𝑡¯𝑡𝑡¯𝑡ATLASsubscriptsuperscript22.56.65.5 fb,superscriptsubscript𝜎𝑡¯𝑡𝑡¯𝑡CMSsubscriptsuperscript17.94.44.1 fb.\displaystyle\sigma_{t\bar{t}t\bar{t}}^{\text{ATLAS}}=22.5^{+6.6}_{-5.5}\text{% fb,}\quad\sigma_{t\bar{t}t\bar{t}}^{\text{CMS}}=17.9^{+4.4}_{-4.1}\text{ fb.}italic_σ start_POSTSUBSCRIPT italic_t over¯ start_ARG italic_t end_ARG italic_t over¯ start_ARG italic_t end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ATLAS end_POSTSUPERSCRIPT = 22.5 start_POSTSUPERSCRIPT + 6.6 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - 5.5 end_POSTSUBSCRIPT fb, italic_σ start_POSTSUBSCRIPT italic_t over¯ start_ARG italic_t end_ARG italic_t over¯ start_ARG italic_t end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT CMS end_POSTSUPERSCRIPT = 17.9 start_POSTSUPERSCRIPT + 4.4 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT - 4.1 end_POSTSUBSCRIPT fb. (52)

where ATLAS gets a central value of about 1.71.71.71.7 times the SM prediction while CMS gets a value closer to the SM prediction but still higher.

Both collaborations have seen evidence for the simultaneous production of four top quarks and a cross section slightly larger compared to the SM prediction. The bound on the cross section at 95% CL level is given by

σtt¯tt¯<38(27) fb from ATLAS (CMS).superscriptsubscript𝜎𝑡¯𝑡𝑡¯𝑡3827 fb from ATLAS (CMS).\displaystyle\sigma_{t\bar{t}t\bar{t}}^{\text{}}<38\,(27)\text{ fb from ATLAS % (CMS).}italic_σ start_POSTSUBSCRIPT italic_t over¯ start_ARG italic_t end_ARG italic_t over¯ start_ARG italic_t end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT end_POSTSUPERSCRIPT < 38 ( 27 ) fb from ATLAS (CMS). (53)

Several analyses aiming at four top final states have been performed in recent years [57, 58, 59]. Following the analysis of simplified models in [57], we get a constraints on the ratio between the mass MVsubscript𝑀𝑉M_{V}italic_M start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT and coupling gVsubscript𝑔𝑉g_{V}italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT of a top-philic vector color-singlet boson (Zsuperscript𝑍Z^{\prime}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT) as

MVgV>0.48(0.56) TeV from ATLAS (CMS),subscript𝑀𝑉subscript𝑔𝑉0.480.56 TeV from ATLAS (CMS),\displaystyle\frac{M_{V}}{g_{V}}>0.48\,(0.56)\text{ TeV from ATLAS (CMS),}divide start_ARG italic_M start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT end_ARG > 0.48 ( 0.56 ) TeV from ATLAS (CMS), (54)

or the mass MCsubscript𝑀𝐶M_{C}italic_M start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT and coupling gCsubscript𝑔𝐶g_{C}italic_g start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT of a top-philic vector color-octet boson (coloron) as

MCgC>0.35(0.40) TeV from ATLAS (CMS).subscript𝑀𝐶subscript𝑔𝐶0.350.40 TeV from ATLAS (CMS).\displaystyle\frac{M_{C}}{g_{C}}>0.35\,(0.40)\text{ TeV from ATLAS (CMS).}divide start_ARG italic_M start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT end_ARG start_ARG italic_g start_POSTSUBSCRIPT italic_C end_POSTSUBSCRIPT end_ARG > 0.35 ( 0.40 ) TeV from ATLAS (CMS). (55)

The coloron’s contribution is only weakly constrained and should be subleading. The main contribution is from the ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT where we have gVgE×3/240.6similar-tosubscript𝑔𝑉subscript𝑔𝐸324similar-to0.6g_{V}\sim g_{E}\times 3/\sqrt{24}\sim 0.6italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT × 3 / square-root start_ARG 24 end_ARG ∼ 0.6. It is below the current constraint and could provide an explanation for the observed excess.

V.5 Flavor constraints

Besides the four top quarks cross section, the same four-quark operators will also introduce other light quark physics through the mixing, which might lead to dangerous flavor-changing neutral currents. Assuming that the mixing angle θ23θ13much-greater-thansubscript𝜃23subscript𝜃13\theta_{23}\gg\theta_{13}italic_θ start_POSTSUBSCRIPT 23 end_POSTSUBSCRIPT ≫ italic_θ start_POSTSUBSCRIPT 13 end_POSTSUBSCRIPT analogous to the CKM matrix, then among all the processes, the strongest constraint comes from BsB¯ssubscript𝐵𝑠subscript¯𝐵𝑠B_{s}-\bar{B}_{s}italic_B start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - over¯ start_ARG italic_B end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT mixing, which contains both the second and third generation down-type quarks. The contribution comes from the operator

ΔBs=Csb(s¯LγμbL)(s¯LγμbL).Δsubscriptsubscript𝐵𝑠subscript𝐶𝑠𝑏subscript¯𝑠𝐿subscript𝛾𝜇subscript𝑏𝐿subscript¯𝑠𝐿subscript𝛾𝜇subscript𝑏𝐿\Delta\mathcal{L}_{B_{s}}=C_{sb}(\bar{s}_{L}\gamma_{\mu}b_{L})(\bar{s}_{L}% \gamma_{\mu}b_{L}).roman_Δ caligraphic_L start_POSTSUBSCRIPT italic_B start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_POSTSUBSCRIPT = italic_C start_POSTSUBSCRIPT italic_s italic_b end_POSTSUBSCRIPT ( over¯ start_ARG italic_s end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) ( over¯ start_ARG italic_s end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_γ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_b start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ) . (56)

Following the calculation in [60], we can derive the contribution from new physics on the mass difference ΔMsΔsubscript𝑀𝑠\Delta M_{s}roman_Δ italic_M start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT. Comparing the measurement of mixing parameter [61] to the SM prediction by sum rule calculations [62], we get the bound on the coefficient of the operator as

|Csb|12(gVθsbMV(TeV))2(1274)2subscript𝐶𝑠𝑏12superscriptsubscript𝑔𝑉subscript𝜃𝑠𝑏subscript𝑀𝑉(TeV)2superscript12742|C_{sb}|\approx\frac{1}{2}\left(\frac{g_{V}\theta_{sb}}{M_{V}\text{(TeV)}}% \right)^{2}\leq\left(\frac{1}{274}\right)^{2}| italic_C start_POSTSUBSCRIPT italic_s italic_b end_POSTSUBSCRIPT | ≈ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( divide start_ARG italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT italic_θ start_POSTSUBSCRIPT italic_s italic_b end_POSTSUBSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT (TeV) end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ ( divide start_ARG 1 end_ARG start_ARG 274 end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (57)

for a top-philic color-singlet vector boson V𝑉Vitalic_V, where the angle θsbsubscript𝜃𝑠𝑏\theta_{sb}italic_θ start_POSTSUBSCRIPT italic_s italic_b end_POSTSUBSCRIPT is the mixing between the left-handed strange quark and bottom quark. In our benchmark with the ratio gV/MV(TeV)=1subscript𝑔𝑉subscript𝑀𝑉(TeV)1g_{V}/M_{V}\text{(TeV)}=1italic_g start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT / italic_M start_POSTSUBSCRIPT italic_V end_POSTSUBSCRIPT (TeV) = 1, we get a constraint on the mixing angle as θsb<0.005subscript𝜃𝑠𝑏0.005\theta_{sb}<0.005italic_θ start_POSTSUBSCRIPT italic_s italic_b end_POSTSUBSCRIPT < 0.005 which requires a special flavor structure for the down quark sector.

V.6 Electroweak precision tests

Precise measurements from the electroweak sector typically impose strong constraints on new physics at the TeV scale, particularly concerning the T𝑇Titalic_T parameter and Zbb¯𝑍𝑏¯𝑏Zb\bar{b}italic_Z italic_b over¯ start_ARG italic_b end_ARG coupling. Both of them measure the violation of SU(2)R𝑆𝑈subscript2𝑅SU(2)_{R}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT symmetry, which is related to the detail of the second Higgs and the bottom Yukawa coupling. Since we only focus on the origin of the top Yukawa coupling, the topic is beyond the scope of this study and relies on the complete model with detailed study on the composite Higgs sector, which should preserve custodial symmetry to avoid strong constraints. We leave such a custodial symmetric model and the discussion of corresponding constraints for the future study.

VI Direct searches

There are many new particles in this top Yukawa model for the composite Higgs. Some of them are composite states from the strong sector but we will not discuss them. Instead, we would like to focus on the new particle due to the extension of the gauge group, including the new gauge bosons and fermions discussed in Sec. IV.4.

VI.0.1 The ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson

Start from the lightest particle in the spectrum. First, there is a massive neutral boson ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT with the mass MZ600similar-tosubscript𝑀superscript𝑍600M_{Z^{\prime}}\sim 600italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ∼ 600 GeV. If the charge assignment follows only the Eq. (47), the ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson will only couple to the top and bottom quarks among the SM fermions. The dominant production will be through the bb¯𝑏¯𝑏b\bar{b}italic_b over¯ start_ARG italic_b end_ARG fusion. In our model, there are only two decay channels with the final states tt¯𝑡¯𝑡t\bar{t}italic_t over¯ start_ARG italic_t end_ARG and bb¯𝑏¯𝑏b\bar{b}italic_b over¯ start_ARG italic_b end_ARG. However, the current direct searches for both tt¯𝑡¯𝑡t\bar{t}italic_t over¯ start_ARG italic_t end_ARG [63] and bb¯𝑏¯𝑏b\bar{b}italic_b over¯ start_ARG italic_b end_ARG [64] final states have no access to MZsubscript𝑀superscript𝑍M_{Z^{\prime}}italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT around 600600600600 GeV due to the heaviness of top quarks and the b𝑏bitalic_b-tagging issues.

Therefore, the direct search of ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT is only possible with lepton final states but it requires an additional setup. Assuming that in a more realistic model, the τ𝜏\tauitalic_τ lepton is also charged under U(1)𝑈superscript1U(1)^{\prime}italic_U ( 1 ) start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, then the most promising channel will become the process bb¯ZEττ𝑏¯𝑏subscriptsuperscript𝑍𝐸𝜏𝜏b\bar{b}\to Z^{\prime}_{E}\to\tau\tauitalic_b over¯ start_ARG italic_b end_ARG → italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT → italic_τ italic_τ, which covers the sub-TeV regime. The current searches [65, 66] for MZ=600subscript𝑀superscript𝑍600M_{Z^{\prime}}=600italic_M start_POSTSUBSCRIPT italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT = 600 GeV already require the cross section to be lower than 20202020 fb which can put the constraint on the coupling of ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT with τ𝜏\tauitalic_τ leptons.

VI.0.2 The Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson

Next, the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson is also at the sub-TeV scale with ME900similar-tosubscript𝑀𝐸900M_{E}\sim 900italic_M start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ∼ 900 GeV in our benchmark. The most important feature of Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT is that it is stable! Since the hyperfermions get masses at few-TeV, without additional assumptions, there is no allowed decay channels for a single Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson. It is the direct consequence of having a light mediator in an ETC-type model.

Under our extended gauge group, the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT is colored, which then gets a large cross section from the pair production process at the LHC. Although a single Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson is stable, a pair of Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT bosons is another story. For ppEμ+Eμ𝑝𝑝superscriptsubscript𝐸𝜇superscriptsubscript𝐸𝜇pp\to E_{\mu}^{+}E_{\mu}^{-}italic_p italic_p → italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT at the LHC, both of them can decay to a top/bottom quark and an off-shell hyperfermion. In general, the off-shell hyperfermions can not decay to lighter on-shell final states so the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson is stable. However, the two off-shell hyperfermions from Eμ+superscriptsubscript𝐸𝜇E_{\mu}^{+}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT and Eμsuperscriptsubscript𝐸𝜇E_{\mu}^{-}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT experience a strong attraction which allow them to form a deeply bound state, which is just the composite Higgs in our model. Therefore, direct searches of an Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson are unlikely in the LHC, but instead a BSM operator 𝒪tGsubscript𝒪𝑡𝐺\mathcal{O}_{tG}caligraphic_O start_POSTSUBSCRIPT italic_t italic_G end_POSTSUBSCRIPT is generated, where

𝒪tG=gs(q¯LσμνTAtR)H~GμνA+h.c. .subscript𝒪𝑡𝐺subscript𝑔𝑠subscript¯𝑞𝐿superscript𝜎𝜇𝜈subscript𝑇𝐴subscript𝑡𝑅~𝐻subscriptsuperscript𝐺𝐴𝜇𝜈h.c. .\mathcal{O}_{tG}=g_{s}\left(\bar{q}_{L}\sigma^{\mu\nu}T_{A}t_{R}\right)\tilde{% H}G^{A}_{\mu\nu}+\text{h.c. .}caligraphic_O start_POSTSUBSCRIPT italic_t italic_G end_POSTSUBSCRIPT = italic_g start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ( over¯ start_ARG italic_q end_ARG start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_T start_POSTSUBSCRIPT italic_A end_POSTSUBSCRIPT italic_t start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ) over~ start_ARG italic_H end_ARG italic_G start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT + h.c. . (58)

The coefficient CtGsubscript𝐶𝑡𝐺C_{tG}italic_C start_POSTSUBSCRIPT italic_t italic_G end_POSTSUBSCRIPT of the operator, after integrating out the loop with Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT bosons and hyperfermions, is given by

CtG316π2gE2YsMψ20.007 TeV2similar-tosubscript𝐶𝑡𝐺316superscript𝜋2superscriptsubscript𝑔𝐸2subscript𝑌𝑠superscriptsubscript𝑀𝜓2similar-to0.007superscript TeV2C_{tG}\sim\frac{3}{16\pi^{2}}\frac{g_{E}^{2}Y_{s}}{M_{\psi}^{2}}\sim 0.007% \text{ TeV}^{-2}~{}italic_C start_POSTSUBSCRIPT italic_t italic_G end_POSTSUBSCRIPT ∼ divide start_ARG 3 end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG divide start_ARG italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_Y start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG start_ARG italic_M start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∼ 0.007 TeV start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT (59)

using our benchmark value. The experimental constraint on the coefficient is analyzed using the t¯t¯𝑡𝑡\bar{t}tover¯ start_ARG italic_t end_ARG italic_t final states measured by the CMS with part of run 2 data [67] as

0.24 TeV2<CtG<0.07 TeV20.24superscript TeV2subscript𝐶𝑡𝐺0.07superscript TeV2-0.24\text{ TeV}^{-2}<C_{tG}<0.07\text{ TeV}^{-2}- 0.24 TeV start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT < italic_C start_POSTSUBSCRIPT italic_t italic_G end_POSTSUBSCRIPT < 0.07 TeV start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT (60)

at 95% confidence level. Yet the constraint is an order of magnitude greater than the benchmark value because in our model the coefficient CtGsubscript𝐶𝑡𝐺C_{tG}italic_C start_POSTSUBSCRIPT italic_t italic_G end_POSTSUBSCRIPT is generated at the one-loop level but the desired precision can be reached in the near future. Besides, we also expect other interesting processes such as Eμ+Eμtt¯h/tt¯Z/tbWsuperscriptsubscript𝐸𝜇superscriptsubscript𝐸𝜇𝑡¯𝑡𝑡¯𝑡𝑍𝑡𝑏𝑊E_{\mu}^{+}E_{\mu}^{-}\to t\bar{t}h\,/\,t\bar{t}Z\,/\,tbWitalic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - end_POSTSUPERSCRIPT → italic_t over¯ start_ARG italic_t end_ARG italic_h / italic_t over¯ start_ARG italic_t end_ARG italic_Z / italic_t italic_b italic_W, which will affect the corresponding cross sections and can be tested in the HL-LHC era.

Strong constraints could arise from cosmology because it might introduce unacceptable relic abundance. Since the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson is stable and colored, it will form heavy color-neutral bound states with other colored particles through QCD interactions, which behave like massive stable charged particles. The constraints on stable charged particles have been studied [68, 69], which mainly depends on the thermal production/annihilation rate. Since the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson is colored, the relic abundance is lower compared to pure charged particles [70]. However, it also relies on the details of cosmological evolution such as reheating, so after all we only refer to the searches from the LHC.

VI.0.3 The Gsuperscript𝐺G^{\prime}italic_G start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT boson (Coloron)

Compared to the ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson and Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson, the coloron is much heavier with the mass 6similar-toabsent6\sim 6∼ 6 TeV. As a color-octet, we expect a large cross section even though it is heavy. If it only couples to the top and bottom quarks like the ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson, the decay channels will also be dominated by tt¯𝑡¯𝑡t\bar{t}italic_t over¯ start_ARG italic_t end_ARG and bb¯𝑏¯𝑏b\bar{b}italic_b over¯ start_ARG italic_b end_ARG final states. However, due to the strong coupling gsgH5similar-tosubscriptsuperscript𝑔𝑠subscript𝑔𝐻similar-to5g^{\prime}_{s}\sim g_{H}\sim 5italic_g start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∼ italic_g start_POSTSUBSCRIPT italic_H end_POSTSUBSCRIPT ∼ 5, we expect the coloron to be a very broad resonance, which will be hard to search for.

VI.0.4 Heavy fermions

Since the strong SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is broken and unconfined, new fermions, even charged under hypercolor, are able to propagate freely after being produced. There are two types of heavy fermions. First is the color sextet Dirac fermion F𝐹Fitalic_F with quantum number (6,2,0)620(6,2,0)( 6 , 2 , 0 ) and (6,1,1/2)6112(6,1,1/2)( 6 , 1 , 1 / 2 ), which get a dynamical mass at the breaking scale fEsubscript𝑓𝐸f_{E}italic_f start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT with MF5similar-tosubscript𝑀𝐹5M_{F}\sim 5italic_M start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ∼ 5 TeV. Next, the hyperfermions ψ𝜓\psiitalic_ψ are also Dirac fermion with quantum number (3¯,2,0)¯320(\bar{3},2,0)( over¯ start_ARG 3 end_ARG , 2 , 0 ) and (3¯,1,1/2)¯3112(\bar{3},1,1/2)( over¯ start_ARG 3 end_ARG , 1 , 1 / 2 ), which have a lighter mass Mψ=3subscript𝑀𝜓3M_{\psi}=3italic_M start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT = 3 TeV. Both of them can be pair-produced at the LHC and decay through a Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT boson plus a top/bottom quark channel. And again a pair of Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT bosons will decay to two more top/bottom quarks with a Higgs/W/Z boson.

VII Conclusion and Outlook

In this paper, we study a Top Yukawa model based on the motivation from the Naturalness principle, i.e. a light cutoff for the top quark loop. We construct a composite Higgs model where the top Yukawa coupling arises from four-fermion interactions through an ETC-like mechanism. Different from the traditional extension, we extend the gauge group in a direction independent of the strong interaction. In this way, the gauge coupling gEsubscript𝑔𝐸g_{E}italic_g start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT can be weak and the mediator Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT, which plays the role of top loop cutoff, can be naturally light, which relieves the top loop contribution.

A concrete model with 𝒢E=SU(3)HC×SU(4)EC×SU(2)W×U(1)Xsubscript𝒢𝐸𝑆𝑈subscript3𝐻𝐶𝑆𝑈subscript4𝐸𝐶𝑆𝑈subscript2𝑊𝑈subscript1𝑋\mathcal{G}_{E}=SU(3)_{HC}\times SU(4)_{EC}\times SU(2)_{W}\times U(1)_{X}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT = italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT × italic_U ( 1 ) start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT is discussed in detail. The breaking of 𝒢E𝒢SMsubscript𝒢𝐸subscript𝒢𝑆𝑀\mathcal{G}_{E}\to\mathcal{G}_{SM}caligraphic_G start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT → caligraphic_G start_POSTSUBSCRIPT italic_S italic_M end_POSTSUBSCRIPT is realized dynamically through the tumbling mechanism with exotic chiral fermions. We also show that under this content, the hyperfermions can condense without the dangerous top quark condensation due to the tilting mechanism. Most important of all, the top Yukawa coupling is generated through a light mediator - the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson from the weakly coupled SU(4)EC𝑆𝑈subscript4𝐸𝐶SU(4)_{EC}italic_S italic_U ( 4 ) start_POSTSUBSCRIPT italic_E italic_C end_POSTSUBSCRIPT extended color group.

The rich phenomenology on top physics is discussed, where tt¯𝑡¯𝑡t\bar{t}italic_t over¯ start_ARG italic_t end_ARG differential cross section could provide important hints. The method also features two new sub-TeV particles which have important impacts at the LHC. One is a third-generation-philic ZEsubscriptsuperscript𝑍𝐸Z^{\prime}_{E}italic_Z start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT boson, the lightest state in the spectrum, which will enhance the tt¯tt¯𝑡¯𝑡𝑡¯𝑡t\bar{t}t\bar{t}italic_t over¯ start_ARG italic_t end_ARG italic_t over¯ start_ARG italic_t end_ARG cross section. The other is the Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson, the cutoff of top loop, which will affect several final states with top quarks through a BSM operator 𝒪tGsubscript𝒪𝑡𝐺\mathcal{O}_{tG}caligraphic_O start_POSTSUBSCRIPT italic_t italic_G end_POSTSUBSCRIPT.

This study aims at the model building in a different direction compared to the traditional model. Our attempt only focuses on the gauge group extension in its simplest way, which might not be realistic considering that we ignore the bottom quarks and other light fermions. We expect this extension can be applied to other flavor-safe setups, such as partial compositeness [71]. In fundamental partial compositeness [72, 73], the mixing should also arise from similar dimension-six four-fermion operators. With assistance from our method, the top partners no longer need to be light and can escape from the LHC direct searches without worsening the fine-tuning problem because now the top loop contribution is controlled by the light Eμsubscript𝐸𝜇E_{\mu}italic_E start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT gauge boson [74].

Also, the detail of the composite Higgs sector is left aside to avoid distracting the attention from our goal. Because of the SU(3)HC𝑆𝑈subscript3𝐻𝐶SU(3)_{HC}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT hypercolor group, a large coset is expected. If we want to stick to the small coset, such as the SU(4)/Sp(4)𝑆𝑈4𝑆𝑝4SU(4)/Sp(4)italic_S italic_U ( 4 ) / italic_S italic_p ( 4 ) fundamental composite Higgs model with only a Higgs doublet and a real singlet [37, 38], we need hyperfermions to be pseudo-real representations of the hypercolor group. To realize the idea, we can have SU(2)HC𝑆𝑈subscript2𝐻𝐶SU(2)_{HC}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT with hyperfermions as fundamental representations, which is possible if the SU(2)HC𝑆𝑈subscript2𝐻𝐶SU(2)_{HC}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT is broken down to the SM SU(2)W𝑆𝑈subscript2𝑊SU(2)_{W}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT in the end. For this scenario, we start with a strongly coupled SU(2)HC𝑆𝑈subscript2𝐻𝐶SU(2)_{HC}italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT and a weakly coupled SU(3)ESM𝑆𝑈subscript3𝐸𝑆𝑀SU(3)_{ESM}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_S italic_M end_POSTSUBSCRIPT. With a certain fermion content, we could have symmetry breaking SU(3)ESM×SU(2)HCSU(2)W𝑆𝑈subscript3𝐸𝑆𝑀𝑆𝑈subscript2𝐻𝐶𝑆𝑈subscript2𝑊SU(3)_{ESM}\times SU(2)_{HC}\to SU(2)_{W}italic_S italic_U ( 3 ) start_POSTSUBSCRIPT italic_E italic_S italic_M end_POSTSUBSCRIPT × italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_H italic_C end_POSTSUBSCRIPT → italic_S italic_U ( 2 ) start_POSTSUBSCRIPT italic_W end_POSTSUBSCRIPT as desired. The concrete construction is left for future study.

Together with [14, 13], we hope to raise some interest in the modified top Yukawa running scenario compared to the top partner solutions. As the constraints on the top partner mass become higher and require more fine-tuning, the measurements on top physics, on the other hand, are reaching higher precision and providing many intriguing results, which might reveal the mysterious relation between top quarks and Higgs bosons.

Acknowledgments

I thank Andreas Bally and Florian Goertz for their collaboration in the early stages of this work. I am also grateful to Hsin-Chia Cheng, Markus Luty, David Marzocca, Álvaro Pastor-Gutiérrez, Avik Banerjee, and Gabriele Ferretti for useful discussions. I would like to acknowledge the Mainz Institute for Theoretical Physics (MITP) of the Cluster of Excellence PRISMA+ (Project ID 390831469), for its hospitality and its partial support during the completion of this work.

References