Top–Bottom Condensation Model: Symmetries and Spectrum of the Induced 2HDM

: Here, we use the Schwinger–DeWitt approach to address the four-fermion composite Higgs effective model proposed by Miransky, Tanabashi and Yamawaki (MTY). The surprising beneﬁt of such an approach is that it is possible to ascribe to a SM-type Higgs a quark–antiquark structure of predominantly a ¯ bb nature with a small ¯ tt admixture, which in turn yields a Higgs mass compatible with the observed value of 125 GeV. We discuss this result in a detailed and pedagogical way, as it goes against the common belief that this model and akin composite descriptions should predict a Higgs mass-of-order of twice the top quark mass, contrary to empirical evidence. A further aspect of this approach is that it highlights the link of the SU ( 2 ) L × U ( 1 ) R symmetric four-fermion MTY model interactions of the heavy quark family to a speciﬁc two-Higgs-doublet model (2HDM), and the necessity to go beyond the one Higgs doublet to obtain the empirical Higgs mass within composite models. By appropriately ﬁxing the symmetry-deﬁning interaction parameters, we show that the resulting CP-preserving spectrum harbors the following collective states at the electroweak scale Λ EW = 246 GeV: a light scalar to which the standard Higgs is associated; a heavier neutral state preconized as the Nambu partner of the standard Higgs within the Nambu sum rule; the expected triplet of Goldstone bosons associated with the longitudinal polarizations of the electroweak massive bosons; and a neutral pseudoscalar state that in the limit of a global U ( 1 ) A symmetry would be a Goldstone mode. The anomalous breaking of this axial symmetry is a subleading effect in a large N c counting scheme, and we discuss how it modiﬁes the leading-order Nambu sum rule result and its relevance for the qualitative description of the spectrum.


Introduction
Symmetry principles based on space-time and internal (local) symmetries of the fields play a central role in particle physics.The Standard Model (SM) is a theory based on the gauge groups SU(3) c ⊗ SU(2) L ⊗ U(1) Y , which is realised in three phases: the Coulomb phase (photons), the Higgs phase (W, Z) and the confinement phase (gluons). Whereas the electroweak mediators appear explicitly in the spectrum, the gluons may only appear as bound states.
Global symmetries are usually approximate, or can be broken (either at Lagrangian level or via an anomaly).
Anomalously broken gauge symmetries are usually restored by anomaly cancellation mechanisms in the Standard Model. However, a gauge symmetry can be spontaneously broken through the Higgs-Brout-Englert mechanism. The SU(2) L ⊗ U(1) Y symmetry is still present, but since the vacuum is not symmetric, it is not apparent. The spontaneous breaking of the electroweak symmetry generates the masses of the vector bosons W ± , Z 0 in a gauge-invariant way, while the photon remains massless and thus still explicitly preserves U(1) gauge invariance. The Higgs mechanism assumes the existence of an isospin doublet of complex scalar fields, associated with the potential V(Φ) = −µ 2 Φ † Φ + λ(Φ † Φ) 2 invariant under SU(2) L ⊗ U(1) Y and µ 2 , λ > 0. The Mexican hat-shaped potential has a minimum at Φ ≡ v = −µ 2 /λ, which is fixed by experimental parameters at v ≈ 246 GeV. Thus, SU(2) L ⊗ U(1) Y is hidden, as the vacuum is not symmetric. For each fermion field of definite right or left chirality, the interaction with the scalar field Φ generates their masses after spontaneous symmetrybreaking, excluding the neutrinos which are only left-handed. From the four initial degrees of freedom of the field Φ, three are used W ± , Z 0 gauge bosons to acquire their masses and the other one corresponds to a physical particle, the Higgs boson H. The Higgs boson stands out from the other particles in some ways. It is a spin 0 matter boson that does not mediate gauge interactions, and its coupling strength to matter particles defines how massive they are. Theoretical constraints, as well as direct searches and precision measurements (for recent reviews, see [1,2]) on the Higgs boson announced by CERN in 2012 are compatible with the mass value 125.10 ± 0.14 GeV [3]. The SM is an effective QFT which is perturbative up to the Planck scale where quantum gravity effects kick in. Thus, we expect a cutoff scale of the SM to be (at most) at the Planck mass. Because the dimensionful parameter µ 2 is unnaturally small (even if it is tuned small, at tree level, loop contributions are quadratically divergent), we conclude that the SM is very fine-tuned. In mathematical terms, this is put as follows. The Higgs mass term is an operator of dimension d = 2, which means that it has a coefficient of dimension 1/Λ d−4 SM , and thus, µ 2 = k Λ 2 SM Φ † Φ where k is a numerical coefficient. Taking µ 2 = M 2 H /2 ≈ (88 GeV) 2 and Λ SM = M GUT ≈ 10 15 GeV, then k ≈ 10 −26 ≪ 1. This is the hierarchy problem.
There are basically two ways to avoid the hierarchy problem of the SM: weakly and strongly coupled theories. One avenue assumes an elementary Higgs and new symmetries, and the other one assumes new interactions and that the Higgs is a composite particle. Supersymmetry is an example of weakly coupled theories: the quadratic divergence due to the quadratic quantum correction is cancelled by the contribution from a superpartner particle. On the other hand, a typical example of strongly coupled models is Composite Higgs Models (CHMs).
Once we assume a composite Higgs model, we ought to work out the strong dynamics that are responsible for the production of such a composite state and evaluate its predictions. For instance, in a theory with strong dynamics, one has a mass spectrum with a dense tower of resonances built from the more fundamental objects that interact strongly. Two scenarios are usually contemplated: one in which the Higgs is a light scalar (dilaton-like) particle of the new strong dynamics, or it arises similar to pions in QCD as a pseudo-Nambu-Goldstone boson (PNGB) [4,5]. In this case, strong dynamics will generate, among other bound states, a PNGB with the quantum numbers of the Higgs, which breaks the electroweak symmetry.
Thus, we use symmetry to explain the mass of the composite Higgs boson because, being a PNGB, this Higgs particle will be light. Its mass will not get radiative corrections above the compositeness scale. In the 1980s, Georgi and Kaplan [6][7][8] pointed out that a Higgs boson resulting from a bound state due to strong dynamics at some energy scale f larger than the electroweak (TeV) scale would be less massive as compared to other resonances. One can think of f in analogy to the weak decay constant of the pion f π .
The scale of such new strong dynamics is typically much higher than the energies that can be achieved at current experiments. Thus, one studies the low-energy phenomenology of these models in a way that does not depend on the specific high-energy physics through an effective Lagrangian approach. To describe an underlying theory that is only probed at energy scales E < Λ, a particle of mass m > Λ cannot be produced as a real state. It can only contribute through short-distance virtual effects. The generating functional for Green's functions leads to an effective theory after "integrating out" the quantum fluctuations due to the heavier particles, after which only the degrees of freedom relevant to the energy scale are considered. A typical example of models that are strongly interacting and describes a composite Higgs boson is Technicolor (TC) [9]. TC assumes a new SU(N) TC gauge symmetry describing the dynamics of new stronginteractions in analogy to the usual SU(3) C gauge interactions of QCD. Additionally, TC Lagrangian is assumed to have the electroweak chiral symmetry that is broken spontaneously to the custodial symmetry group by the techniquark condensate 0|q TC q TC |0 = 0 ⇒ SU(2) L ⊗ SU(2) R → SU(2) L+R , resulting in three Goldstones bosons (technipions). Upon gauging the electroweak subgroup SU(2) L ⊗ U(1) Y , such technipions disappear from the spectrum giving place to longitudinal bosons W ± L , Z L which get their mass through the Higgs mechanism without the appearance of an elementary Higgs. Although TC is appealing, it turns out that, at least in the simpler setups, they are very constrained by measurements of electroweak precision observables and the heavy quark masses, in addition to the production of Flavor Changing Neutral Currents (FCNC).
A large variety of models based on an extended (non-minimal) Higgs sector have been proposed. The mechanism of electroweak symmetry breaking with one doublet is not confirmed, and one may consider larger representations motivated by higher-scale symmetries or phenomenological arguments, such as new sources of CP violation [10]. Two-Higgs-doublet models (2HDM) require the introduction of a second Higgs doublet. The Minimal Supersymmetric Standard Model (MSSM) requires a second Higgs doublet to warrant cancellation of gauge anomalies. The Higgs sector of the MSSM is described by a 2HDM containing two chiral Higgs supermultiplets that differ by the sign of hypercharge. As for CP symmetry, it can be violated explicitly in the scalar sector if some of the coefficients in the 2HDM potential are complex and survive by neutral-flavour conservation requirements. Moreover, a specific 2HDM called the inert model [11] admits a 2HD extension of the SM scalar sector that could be a candidate to explain dark matter.
Finally, the fermion mass spectrum in the SM is related to the Yukawa couplings between the Higgs field and the fermions. Such couplings are arbitrary, and thus cannot explain why there are three generations of fermions and their large spectrum of masses. In a model with one doublet, all quarks receive their masses from the same doublet. In a 2HDM, the Yukawa coupling is more natural. For instance, it is possible to generate Yukawa couplings such that the bottom quark (≈ 4 GeV) receives its mass from one doublet, while the top quark (≈ 170 GeV) gets it from another doublet.
In the present work, we concentrate on the top-condensation description of compositeness, which dates back to the works [12][13][14] and has been steadily developed by [15][16][17][18][19][20][21][22][23][24][25] ever since. In this approach, the elementary SM Higgs is replaced by a bound state with an underlying top-antitop structure. It is assumed that below a large-scale Λ, eventually of the grand unification (GUT), the effective Lagrangian is described by four quark interactions subject to critical behavior that lead to condensation and emergence of mass beyond the SM. However, the SM Higgs mass m χ within such an approach persists systematically in being larger than the empirical value, √ 2m t < m χ < 2m t , with m t = 173 GeV denoting the mass of the t quark. The upper boundary is obtained in the large N c approximation for one Higgs doublet [19], and also in the 2HDM studies of [20,21]. The lower emerges upon using renormalization group equations that take gauge and Higgs fields into account at one-loop order [19,20].
The relation m χ = 2m t is a well-known result within the Nambu-Jona-Lasinio (NJL) model [29,30] that predicts the mass of the scalar bound state to be twice the quark mass when chiral symmetry is spontaneously broken. This relation is generalized to m 2 1 + m 2 2 = 4m 2 q within the Nambu sum rule [31][32][33], when two collective states (called Nambu partners), each of masses m 1 and m 2 , are present in the spectrum. A consequence of the sum rule is that at least two Higgs doublets are required to obtain the phenomenological mass value of the light Higgs. In this scenario, a Nambu partner for the light Higgs is obtained with mass 325 GeV [33].
Although it is general consensus (see, e.g., refs. [34,35]) that standard 2HDM for topcondensation [17,20,21] are unable to yield the SM Higgs mass, we show here that in the model [17], the mass m χ is obtained in the interval 2m b < m χ < m t .
The paper is organized as follows. In Section 2 we present the most important features of the model [17] and address its symmetry content in different stages that prepare for the new aspect of our approach, which is the derivation of the low-energy effective action of the model on the basis of the Schwinger-DeWitt background field method, presented in Section 3. This includes the introduction of relevant bosonic variables with a definite quark content, in terms of which two Higgs doublets are characterized. In Section 4, we derive through the asymptotic proper time expansion the Higgs sector related gap equations, quark condensates and masses, and discuss the phenomenon of bottom quark mass catalysis. The induced interaction potential involving cubic and quartic interactions among the members of the two Higgs doublets is derived in this section and displayed in the Higgs basis, as well as the Yukawa couplings. The spectrum and role of coupling constants of the theory are addressed in Section 5, together with the Nambu sum rule. It is shown that the exact form of this sum rule is obtained in the model at leading order in a large N c expansion, but that the U(1) A anomaly breaks the pattern, since it is a subleading effect in N c counting, causing a modification. Numerical estimates for the spectrum are obtained and discussed. After considering the effects induced in the gauge sector, Section 6, we discuss numerical estimates of our results in Section 7 and conclude in Section 8. In Appendix A are relevant details of diagonalization.

Lagrangian and Symmetries
We discuss in this section the general features of the four-quark interaction model [17] using for simplicity only the top and bottom quarks. Our guiding line will be to make sure that the symmetry content is kept intact in all steps that lead to the low energy effective action obtained by the Schwinger-DeWitt expansion. This first involves the introduction of a set of auxiliary bosonic variables in the fermionic fuctional integral in an invariant way, which linearizes the interactions and simplifies the task of integrating out the short distance components of the fermionic degrees of freedom within the background field method of Schwinger-DeWitt. We show how these bosonic variables relate to two Higgs doublets with a definite quark content, on the basis of the symmetry transformation properties. These results will be used in the following sections to obtain the induced scale-dependent kinetic terms and quartic interactions for the bosons and to cast the low-energy effective Lagrangian in the standard form involving two Higgs doublets, from which the analysis of dynamical symmetry breaking and spectrum will follow.

Effective Fermion-Gauge-Boson Lagrangian
Although we will focus on the fermionic interactions that give rise to the composite Higgs sector, we indicate for completeness the full Lagrangian that has been considered within the present approach, and refer for more details to [36]. We start with the gauged fermionic system with SU(2) L × U(1) R local symmetry involving only the top and bottom quarks for simplicity Their chiral projections ψ L,R = P L,R ψ are defined through the operators P R = 1 2 (1 + γ 5 ), P L = 1 2 (1 − γ 5 ). The covariant derivatives are given by the SM expressions where A Rµ = A i Rµ T i and B Rµ are respectively the gauge fields associated to the SU(2) L and U(1) R groups. The electric charges of the quarks are given in units of e > 0 through the matrix Q = T 3 + Y L in terms of the hypercharge Y L = 1/6 and the third component of the Lie algebra generators The Yang-Mills part L YM is standard where As will be discussed in Section 6, the gauge fields are still subject to a rescaling The effective four-fermion interaction L 4ψ is assumed to arise at a high energy scale Λ and will give origin to the composite Higgs system. It has the most general SU(2) L × U(1) R group structure [17] with implicit summation over the color degrees of freedom (not explicitly shown) taken for each pair of quarks within parentheses. The couplings g i are considered to be real and positive, with dimension [g i ] = M −2 , and the symmetry content associated to the corresponding interactions is This can perhaps be better seen by introducing, in the following, the variables s α , p α (the Greek index α takes the values α = 0, 1, 2, 3, and τ 0 = 1), which will also be an asset to assert in the next section the functional equivalence of the fermionic Lagrangian density associated with Equation (9) and a semi-bosonized Lagrangian involving Yukawalike interactions,ψ and define the complex 2 × 2 matrix Then, one can easily see that the term proportional to g 1 in Equation (9) can be written as The NJL-model with chiral U(2) L × U(2) R symmetry emerges when only the coupling g 1 is kept, leading in the Nambu-Goldstone phase to a set of four massless pseudoscalars and four mass-degenerate scalars with a mass twice the constituent fermion mass.
The term proportional to g 2 of Equation (9) yields, after using the following expression leading to One recognizes that the global U(1) A symmetry is absent. Two distinct combinations of fermionic bilinears emerge, each fulfilling SU(2) L × SU(2) R chiral symmetry, one involving a scalar isospin singlet and pseudo scalar isospin triplet, the other with opposite isotopic assignments and signs. Only this determinantal interaction lifts the U(1) A symmetry in the Lagrangian density Equation (2), without breaking chiral symmetry, as known from the seminal works of 't Hooft [37]. Its presence is required as a massless Nambu-Goldstone mode that would occur after spontaneous breaking of the U(1) A symmetry has not been observed experimentally. Finally, for the term proportional to g 3 in Equation (9), one has This interaction violates isospin and spatial parity, as expected from a SU(2) L × U(1) R symmetry content. Here, the charge-neutral fermionic bilinears combine only in pairs involving the same parity, as opposed to the charged bilinears. Combining Equations (15), (18) and (19) in (9) one obtains in terms of the quark bilinears Equation (11).

Functional Integral and Bosonic Variables
We proceed to show that the pure fermionic Lagrangian density Equation (2) is dynamically equivalent to a semibosonized Lagrangian containing eight auxiliary boson fields σ = σ α τ α , π = π α τ α with the following functional integral representation where L f involves the fermionic fields and L π,σ is a quadratic form involving the spin 0 bosonic fields and the covariant derivative for the gauge fields is given by The Lagrangian Equation (24) corresponds to a minimal bosonization, [38], see also the discussion in [36], meaning that the number of parameters is kept the same as in Equation (2). The equivalence of the functional integrals involving the Lagrangian densities Equations (2) and (22) is proven, integrating over the auxiliary fields, which can precisely be done since the auxiliary fields are a quadratic form. The dynamical equivalence of both Lagrange densities is guaranteed if Equations (2) and (22) are the same for the solutions given by the Euler-Lagrange equations for the static auxiliary fields σ α , π α These are readily obtained and establish the following links between the auxiliary coordinates and the bilinearsψτ α ψ andψiγ 5 τ α ψ These expressions show that the quark-antiquark states σ 0 , σ 3 are described by linear combinations of scalar bilinears, and the π 0 , π 3 by a superposition of two pseudoscalars. The other four states involve admixtures of different parities. With these solutions substituted in Equation (22), one gets The Yukawa form involving the fields σ, π, ψ is seen to be identical to Equation (20) and proves the equivalence of the Lagrangian density Equations (2) and (22).

Symmetry Properties of Composite Fields
We are now ready to discuss how the eight σ, π fields relate to two Higgs doublets (see Equations (37), (38) and (44) below) with U(1) assignment of hypercharge Y L = 1/2, allowing us to connect to standard descriptions of 2HDM and the corresponding classification of symmetries [39][40][41]. For that, we start from the symmetry transformations of the quark fields underlying the collective σ, π states in Equations (21) and (22). The infinitesimal U(2) V × U(2) A transformation for the quark fields is where α = 1 2 α a τ a , β = 1 2 β a τ a , and α a , β a are the eight (a = 0, 1, 2, 3) infinitesimal parameters of the global transformations of the vector U(2) V and axial-vector U(2) A groups. The Yukawa termψ(σ + iγ 5 π)ψ remains invariant under transformations of Equation (31) leading to bosonic fields transforming chirally as The spin 0 fields are real-valued; thus, their transformations are independent of α 0 . Therefore, we have the SU(2) V × U(2) A group and use for that with i, j, k = 1, 2, 3 and totally symmetric coefficients h abc with the non-vanishing components h 000 = 1, h 0ij = δ ij . This yields or, in components one obtains then the action of SU(2) V × U(2) A on the complex fields that enter in the classification Equation (30) These expressions can now be used to finally obtain the transformation rules for the chiral SU(2) L × U(1) A group, extracting the correct set of infinitesimal parameters as follows. Taking α L = α − β, α R = α + β that relate U(2) V × U(2) A to U(2) L × U(2) R , one obtains (with α 0 = 0, β 0 = 0 and α i + β i = 0) four parameters, α i = −β i ≡ ω i /2 and β 0 , to describe the infinitesimal transformations of SU(2) L × U(1) A . Rewriting Equation (36) with these parameters, one has These formulas show that Φ 1 and Φ 2 in Equation (30) behave like fundamental SU(2) L -doublets Furthermore, the non-vanishing of the β 0 parameter related to the U(1) A transformation leads to a mixing between the two Φ i doublets. It is possible to change the basis to where the axial transformation does not mix the doublets, but leaves its signature in the sign of β 0 This U(1) symmetry (suitably extended to the quark sector) was first introduced by Peccei and Quinn [42,43] in connection with the strong-CP problem.

Quark Content of Higgs Doublets
From Equation (28), one can also obtain the explicit quark flavor content of the doublet members The distinguishing feature of these doublet members written in terms of the quark content of collective states σ, π is that they involve the couplings g i . If g 3 = 0, one can isolate two doublets, which we denote by Φ 0 Both doublets possess U(1) hypercharge Y L = Q − T 3 = 1/2; their upper components have positive charge Q = 1 and isopin projection T 3 = 1/2, whereas the lower components carry Q = 0, T 3 = −1/2. In terms of these, one obtains In this form, the doublets Φ 1 , Φ 2 represent an admixture of the quark doublets Φ 0 1 , Φ 0 2 , which carry different weights (g1 ± g2) and are coupled via the g 3 interaction.

Schwinger-DeWitt Approach
Having shown that the path integral representation Equation (21) with the auxiliary bosonic variables σ, π conduces to two Higgs doublets with the required symmetry and definite quark content, we proceed to integrate out the short-distance components of the quark fields ψ → ψ + ψ sd . For that, Wilson's method [44] is used, taking into consideration the analyses of [19], from which one deduces that upon integration, the auxiliary scalar fields σ and π acquire gauge-invariant kinetic terms and quartic interactions in the effective action at scales µ below the cutoff Λ. Here we derive the induced kinetic and quartic interactions for Lagrangian Equation (22) using the Schwinger-DeWitt technique [45][46][47][48]. Although the Lagrangian density Equation (24) requires a diagonalization of the quadratic form, we postpone it to after having obtained the induced effective contribution to the Lagrangian, which is also non-diagonal. We start by considering the functional integral associated to the four fermion vertices that develop at the scale Λ, Equation (23), with the fermionic degrees of freedom divided into short-distance components ψ sd and remaining components ψ r which, for notational simplicity, we relabel as ψ Z sd,µ = dψ sd dψ sd exp i d 4 xL f ,sd . (46) The integration over the high-frequency components is performed using Z sd,µ in the one-loop fermion approximation, from the large-scale Λ down to the scale µ, making sure that at µ = Λ one recovers the functional in terms of the initial four-fermion configuration. We need the real part of the action which is obtained from the inverse of the fermionic propagator containing the background fields σ, π and gauge fields, and is formally given by its functional determinant. Since the Euclidean propagator is well-defined as the kernel of the inverse of an elliptic operator ∆ for x = y G(x, y) = x|∆ −1 |y = ∞ 0 dt x|e −t∆ |y the Schwinger or proper time representation for the propagator G(x, y) is given in four space-time dimensions as where F parametrizes deviations from free propagation ∆ 0 = −∂ 2 . In this form, the infrared content of G is controlled by the behaviour of F(x, y, t) at large values of t, while the short-distance behavior of F(x, y, t) is given at small values of the proper time t by the asymptotic expansion F ∼ ∞ ∑ n=0 a n (x, y)t n , where a n (x, y) are the Seeley-DeWitt coefficients. Comparing Equations (47) and (48) yields in the coincidence limit the t → 0 behavior for where a n ≡ a n (x, x). In the present case, the ellyptic operator is given by ∆ = D † E D E , and the Euclidean effective action is obtained as the short-distance contribution to the functional trace at each proper time considered, involving the scales and one identifies Tr (e −tD † E D E ) sd = d 4 xG(x, x, t). The quantities in Equation (51) are given as where D E is the fermionic inverse propagator in the presence of background fields as obtained in Equation (23), and d α = ∂ α + iΓ α is the covariant derivative (Γ α is defined in Equation (59) in the Minkowski space); the symbol E denotes Euclidean space. The resulting dependence in the collective fields is given in Y in Equation (57). The kernel ρ Λ µ (t) restricts the propertime integration to the interval involving the pertinent scales, ρ Λ µ (t) = θ(1 − tµ 2 )θ(tΛ 2 − 1).
One finally obtains that the induced terms due to the integration over the high-frequency modes of the quark components contribute to the real part of the effective action in the form of the asymptotic series in proper time where the Seeley-DeWitt coefficients a E n depend on fields and encode the high-energy behavior of the theory. We only need to consider the coefficients a E 1 = −Y, a E 2 = Y 2 /2 − F 2 µν /12, since they pertains to integrals that diverge in proper time, providing for dominant contributions. We also note that a E 0 does not have fields, and is irrelevant in the present case. The integrals considered are denoted as C 1 and C 2 and involve two scale parameters, Λ and µ Here, Λ determines the high energy scale at which effective four-quark interactions of Equation (9) set in. The low-energy scale parameter µ relates to the induced one-loop proper-time contributions. For µ = Λ, all contributions vanish, as required by [19]. The functions Y are determined to be where the conversion to Minkowski space has already been effected [49]. The covariant derivatives depend on γ 5 and are given by The result of the proper-time integration can be cast as representing the anticipated additional induced gauge invariant SU(2) L × U(1) R contribution to the Lagrangian at low energy scales µ Λ The traces are to be taken in isospin, Dirac, and color spaces.

Higgs Sector
The quadratic and quartic powers in the bosonic fields in Equation (63) lead to the Higgs potential whereC 1,2 ≡ N c C 1,2 /(4π 2 ). In terms of the two Higgs electroweak doublets (30), one gets At this stage, one can compare with [39] and identify in their notation three mass terms and four real-valued and independent quartic couplings instead of eight possible in the general case.

Dynamical Symmetry Breaking and Bottom Quark Mass Catalysis
The model considered displays of critical behavior, giving origin to the quark masses. This occurs when the neutral scalar fields acquire non-vanishing vacuum expectation values σ 0 = −m 0 , σ 3 = −m 3 . These scalar fields must be redefined such that the minimum configuration of the potential in the new variables correspond to vanishing of their vacuum expectation values. This is achieved by shifting The gap equations then result in the removal from the potential V H of linear terms in these new fields One can use Equation (28) to analyse the possible solutions of the gap equations in terms of the quark condensates b b , t t Using the top and bottom quark masses m t = m 0 + m 3 , m b = m 0 − m 3 they read These show that the absence of the bottom quark condensate does not necessarily mean that the bottom quark mass is zero: in the case that g 2 = 0, that is, when the U(1) A symmetry is violated, the top quark condensate also provides mass to the bottom quark. If instead g 2 = 0, but g 3 = 0, finite quark masses are always produced together with their respective condensates. Both possibilities comply with solutions of the gap equations, which we address now. Using the physical m b , m t quark masses, one can represent the gap equations as The trivial solution given by zero quark masses occurs at µ = Λ and is the only solution sinceḡ 2 = 0. At scales µ < Λ, the equations can have non-trivial solutions according to the values of the couplings.
Let us first consider the case g 2 = g 3 = 0. As mentioned before, this corresponds to the original NJL model. The critical point for the transition from the symmetric Wigner-Weyl phase to the Nambu-Goldstone phase occurs when the coupling g 1 surpasses the critical value g c .
Next, take the case with g 2 = 0 and both g 1 , g 3 different from 0. Then the system of Equations (72) and (73) decouples in the quark masses Thus, one sees that solutions with finite m b can occur even for g 2 = 0, if the combination g 1 − g 3 > g c = 4π 2 /N c Λ 2 . This result is in contrast with the model [22], where a finite m b can be generated if, and only if g 2 = 0, so when the U(1) A symmetry is violated.
Finally, we discuss what is meant by catalysis of the b b condensate. If the condition g 1 > g c holds, which we saw was necessary to generate the quark masses, then an arbitrarily small value of the coupling g 3 will suffice to create the bottom condensate, thus acting as a catalyst (see also [50]). This phenomenon occurs because g 3 is the source of isospin violation in the model.

Diagonalization
As mentioned earlier, the quadratic part of V H in the Lagrangian Equation (65) must be diagonalized. This is a convenient place to do it, as the gap equations carry information on the two diagonalization angles: the angle θ that diagonalizes the charged sector, and θ for the neutral one. They are related to each other and to ratios involving the quark masses and the couplings g 3 , g 2 through Please recall that the states in Equation (65) are defined prior to the redefinition of the scalar neutral fields that acquire vacuum expectation values. We return to this point in a moment. In Appendix A are given all details needed to obtain the mass eigenstates where Here, m = m 2 0 + m 2 3 m t / √ 2. The notation is as follows. The fields with a tilde result from the orthogonal transformations involving the angles θ = θ. Now, since σ 0 and σ 3 are subject to the shifts of Equation (67), this translates to the transformation with the angle α = θ − θ to the final primed variables σ 0 =σ 0 cos α +σ 3 sin α, The states H 1 , H 2 build the so-called Higgs basis. A known property of this basis is that only H 1 acquires a finite vacuum expectation value [39], here given by H 1 = (0, −m). A final step must still be undertaken. Until now, the induced kinetic terms of the spin 0 bosonic fields were not commented on. They do not have the canonical form. To achieve this, one must normalize the fieldsπ α = φ α / C 2 , andσ α = χ α / C 2 [36]. In terms of the redefined (physical) fields, one obtains R(α) being a standard SO(2) rotation. At this point, we remark that the gap equations can be expressed in terms of θ which turns out to be helpful to link the states in the spectrum. Before addressing the spectrum in the next section, we give in the following two paragraphs the result for the interaction potential of the Higgs fields, as well as the Yukawa terms (for details, see [36]).

Higgs Doublets Cubic and Quartic Interactions
the interaction potential takes the form

Yukawa Couplings
Lagrangian Equation (63) contains the Yukawa terms The conversion to the physical fields results in where M = diag(m t , m b ), e ab is the antisymmetric tensor with e 12 = −e 21 = 1 and (90)

The MTY Two-Higgs-Doublet Spectrum and Nambu Sum Rule
We proceed to analyse the Higgs masses that stem from Equations (65) and (A14) (see also [51]). The mass eigenstates are expressed by χ α and φ α with squared-values Out of the eight spinless eigenstates, the last three φ i , are Goldstone modes that are absorbed by gauge fields through the Higgs mechanism. The remaining eigenstates satisfy the sum rule where we have used Equation (85). However, although the sum of the squared masses of the neutral and charged modes results in the same expression, it differs from the 4m 2 t value required by the Nambu sum rule. Moreover, the first expression contains the contributions of three states, instead of two Nambu partners. Let us shed some light on such peculiarities. From the mass formulas (91)-(95), we have which points out the non-zero mass of the φ 0 meson as the origin of the Nambu sum rule violation. When there is no interaction in the coupling constant g 2 , the model has an additional U(1) A global Peccei-Quinn-like symmetry [42,43]. As a result, a mass for the φ 0 meson is absent. The latter plays the role of an "electroweak axion". To see that, if we set g 2 = 0, the Higgs particle masses become: where we used Equation (76) to get the relation as well as the gap-Equations (74) and (75) to obtain that at g 2 = 0. Now, relations of Equation (100) agree with the Nambu sum rule. In other words, the U(1) A breaking ∝ g 2 accounts for the deviation from the canonical Nambu sum rule expressed by Equations (96) and (97). We proceed to analyse the quark content of the composite Higgs particles as a possible SM-type Higgs particle with a mass that agrees with the empirical value. For example, let us take the neutral bound statebb described by the field function, where we used Equation (28) and that at g 2 = 0 and m 0 = m 3 , θ = −π/4, as seen from Equation (76). Likewise, the quark content of the remaining states can be made explicit. Hence, a light composite Higgs boson is built mainly ofbb condensates with some proportion oftt due to the interaction ∝ g 2 . Accordingly an increase in its mass occurs in the interval 2m b < m χ 0 < m t . Notice that if m χ 0 Λ, we can rely on the renormalization group to improve predictions obtained above for the low-energy Higgs masses. This is accomplished by re-summing leading logarithmic corrections to arbitrary loop order, for instance.

Gauge Bosons
The integration over the high-frequency components of the quark fields induces scale-dependent kinetic terms for the gauge fields that are not in the standard form. To recover the Yang-Mills part as in the Standard Model at µ << Λ, the gauge fields and their quark couplings must be rescaled, g R = Z 1/2 A g, g R = Z 1/2 B g ; here, g and g stand for the renormalized couplings, fulfilling g /g = tan θ W , e = g sin θ W , sin 2 θ W = 0.23, and Z A , Z B are µ-and Λ-dependent renormalizations, as will be discussed now.
Consider the effective Lagrangian whose kinetic part follows from Equations (6) and (62): in which the trace over color degrees of freedom yields a factor N c that is absorbed inC 2 . Therefore, in the equation above, "tr" stands for the trace over SU (2) and Dirac gamma matrices. Moreover, the last term stems from the Y 2 part in Equation (62). This Lagrangian may be simplified as [36] L kin and by integrating out the short-distance components of quark fields, one obtains a lowenergy correction to the Yang-Mills part of the Lagrangian density which, after evaluation of the trace, yields: and considering that G µν = G µν i T i , and Y L = 1/6, this gives In terms of physical gauge fields, it may be rewritten as The free real constants Z A and Z B are fixed by requiring the standard form for kinetic terms of gauge-fields Additionally, by a rescaling of the gauge fields, we have seen that the kinetic term does not change with µ, unlike the masses of the gauge fields generated by the Higgs mechanism L mass gauge = that depends on µ throughC 2 . The gauge field masses are which may be compared with the SM result m W = gv/2, v being the vacuum-expectation value of the Higgs field. Combining these results yields v = m C 2 = 254.6 GeV.
Given that, we may calculate the ratio Λ/µ: At µ = Λ EW , we have Λ 0.58 × 10 15 GeV, which suggests the possible role of GUT in the appearance of four-quark interactions through GUT symmetry-breaking.

Numerical Results
The model we considered here has five free parameters: g 1 , g 2 , g 3 , Λ, µ. They will be fixed at the SM scale, µ = Λ EW = 246 GeV. Thus, using Equation (113), we get Λ = 0.58 × 10 15 GeV. Moreover, we assume that g 1 , g 2 , g 3 are chosen so as to obtain the phenomenologically consistent solutions to gap equations. In other words, one chooses the free parameters to get the experimental values of quark masses, m t = 173 ± 0.4 GeV, m b = 4.18 +0.04 −0.03 GeV. We also require the Higgs mass state to be m χ 0 = 125 GeV. We may verify that this can be accomplished under compatible conditions. The Higgs state spectrum as displayed in Equations (91)-(94) depends on three independent parameters, namely m t and m b , and the ratio g 3 /g 2 , which we replace by the dimensionless parameter a The other parameters in Equations (91)-(94) are eliminated using Equation (85). Moreover, the angle θ and the mass m in Equations (91)-(94) depend on the quark masses m t and m b which yields θ = 43.6 • , while θ can be written in terms of the quark masses and the parameter a only. In addition, from Equation (76) we see that θ < 0 if a > 3/2. The mass formulas (91)-(94) can then be written as where ∆ = cos 2 2θ + (3 − 2a) 2 sin 2 2θ.
By fixing the parameter a with mass of the standard Higgs state: m χ 0 = 125 GeV → a = 4.84, we obtain the following estimates: m χ 3 = 346 GeV, m χ ± = 275 GeV, m φ 0 = 125 GeV, and from Equation (116), θ = −44.8 • . The values of four-Fermi couplings follow in a straightforward manner. Using Equation (114), we have g 3 /g 2 = 10 2 , so g 3 g 2 . Therefore, using the gap-Equations (74) and (75), we may calculate g 1 and g 3 . These equations show, however, that the coupling constants of the model must be extremely fine-tuned when µ 2 Λ 2 . Explicitly, which is the usual fine-tuning or the gauge-hierarchy problem of the SM, here isolated in the gap equation sector of the NJL approach. Our results imply that g 1 nearly coincides with the critical value g c , and g 3 to the value 2.5g c × 10 −24 1.0 × 10 −52 GeV −2 . The couplings must be fine-tuned to within g 1 g c : g 2 g c : g 3 g c ∼ 1 : 10 −26 : 10 −24 of the critical value g c . Finally, in spite of a good agreement in the estimates of both the quark masses and the ground Higgs state, the values for the neutral, φ 0 , mass and for the mass of the charged, χ ± Higgs states are likely experimentally disfavoured. More work needs to be done in refining the calculation of the mass spectrum using the renormalization group approach.

Conclusions
The purpose of this work has been to display in a pedagogical way the relevance of using the Schwinger-DeWitt background field method to address the Miransky, Tanabashi and Yamawaki (MTY) model Lagrangian of compositeness [17]. For that, we adopted a completely analytical path that preserved and helped to explore the symmetry content of the model at each step undertaken to express it in the form of a two-Higgs-doublet model. This path led ultimately to a CP-preserving spectrum of collective states, their interactions, and Yukawa couplings. By appropriately fixing the symmetry defining interaction parameters, we elucidated the structure of the collective state spectrum in detail at the electroweak scale, uncovering novel aspects. In the following, we summarize the relevant steps and conclusions reached.
We extended the vacuum structure of the MTY model proposed in [17] by performing a "minimal bosonization" in which no new coupling constants are generated. We used the Schwinger-DeWitt method to derive an effective Lagrangian whose induced parameters explicitly depend on two scales Λ and µ and vanish as µ → Λ (the so-called compositeness condition). We bypassed the computation of the fermion one-loop diagrams in the Nambu-Goldstone phase by starting from the massless fermion loop in the symmetric phase which lead to an effective Lagrangian with simpler gap equations. Then, we analyzed the main consequences of our model to the spectrum of composite Higgs states.
As repeatedly mentioned, an important result is that the empirical value for the Standard model Higgs mass can be accommodated in the spectrum, contrary to the customary wisdom that this model is unable to reproduce the current experimental value of the Higgs mass. The underlying quark content of the collective states could be scrutinized, see Equation (103). Within our approach, the standard Higgs is not purely att-bound state, but rather, it has contributions from light bottom quarks.The results show that the θ mixing angle is about −π/4, and thus, thebb contribution is dominant in the Higgs χ 0 field.
In addition, we predicted the existence of a heavier neutral state which would be the Nambu partner of the standard Higgs within the Nambu sum rule, along with a neutral pseudoscalar state, φ 0 , that in the limit of a global U(1) A symmetry is a Goldstone mode. We have seen that there occurs a violation in the standard picture of Nambu partners due to the presence of a fifth, φ 0 , neutral boson in Equation (98). The resulting "electroweak axion" acquires mass through U(1) A symmetry-breaking interactions which are a subleading effect in a large N c counting. Because a coupling governed by small g 2 (as compared to g 1 ) is necessary for generating the mass of this state, we conclude that the standard expressions for the Nambu sum rule are only valid at leading order 1/N c , and we have shown how the rule gets modified due to subleading corrections.
We obtained an accidental degeneracy between the main Higgs χ 0 and φ 0 , m χ 0 m φ 0 . We expect that it may be lifted by considering quantum corrections, since in 2HDM models there appears only a genuine degeneracy, in the inert doublet model, in which an exact discrete Z 2 symmetry is present in the vacuum. In that case, all particles of the SM and one of the two-Higgs-doublet components are even, and the second Higgs doublet component is odd under such multiplicative discrete symmetry [40,41]. In these works, the double Higgs models are classified by the Z 2 , U(1) A , SO(3), and three classes of generalized CP-symmetries. The inert model is not realized in the present case because it would require Reλ 5 = λ 1 − λ 3 − λ 4 and m 2 12 = 0 (or equivalently, g 3 = 0) and g 2 = 0 are simultaneously fulfilled. The main drawback of our approach is that the dynamics lies at a very high-energy scale Λ ∼ 10 15 GeV which corresponds to the GUT scale 10 15 GeV. Despite rendering credit to the scenarios generated by GUT physics, the model is very fine-tuned. Such a feature is isolated in the gap equations: if one tunes the couplings g 1 , g 2 , g 3 to the solution, the quadratic divergences are cancelled in other amplitudes.
As a future work, we mention considering electroweak and strong corrections for the spectrum of states, which may be achieved using renormalization group techniques. Acknowledgments: A. A. Osipov would like to thank C. T. Hill for his interest in this study and valuable correspondence.

Conflicts of Interest:
The authors declare no conflict of interest.