Flavor gauge models below the Fermi scale

The mass and weak interaction eigenstates for the quarks of the third generation are very well aligned, an empirical fact for which the Standard Model offers no explanation. We explore the possibility that this alignment is due to an additional gauge symmetry in the third generation. Specifically, we construct and analyze an explicit, renormalizable model with a gauge boson, X, corresponding to the B − L symmetry of the third family. Having a relatively light (in the MeV to multi-GeV range), flavor-nonuniversal gauge boson results in a variety of constraints from different sources. By systematically analyzing 20 different constraints, we identify the most sensitive probes: kaon, B+, D+ and Upsilon decays, D−D¯0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ D-{\overline{D}}^0 $$\end{document} mixing, atomic parity violation, and neutrino scattering and oscillations. For the new gauge coupling gX in the range (10−2−10−4) the model is shown to be consistent with the data. Possible ways of testing the model in b physics, top and Z decays, direct collider production and neutrino oscillation experiments, where one can observe nonstandard matter effects, are outlined. The choice of leptons to carry the new force is ambiguous, resulting in additional phenomenological implications, such as non-universality in semileptonic bottom decays. The proposed framework provides interesting connections between neutrino oscillations, flavor and collider physics.


Introduction
One of the long-standing puzzles of the Standard Model (SM) is the origin of flavor: understanding why all fermion fields come in three families, or generations. Within each family the gauge quantum numbers are perfectly coordinated to cancel all 10 potential gauge anomalies (see for e.g., [1]), ensuring the theoretical consistency of the SM as a chiral gauge theory [2]. In contrast, the SM has no similar consistency condition that would JHEP12(2017)096 require combining particles of different generations. In this sense, while every member of a given family is indispensable for making that family consistent, the different families do not seem to have a need for one another.
In searching for answers to the fundamental questions of flavor physics, the first step is to understand the physical properties of the generations. Here again Nature offers a puzzle: in the SM the families are identical copies of each other in some characteristics, but not all. Specifically, partners from different generations are thought to have exactly the same (universal ) gauge interactions, while their Yukawa couplings to the Higgs field are vastly different, as reflected by their masses. Perhaps the Yukawa and gauge interactions are unrelated? Yet, the pattern of the mixing angles in the CKM matrix does not appear random. This is especially so for the third family quarks, which are the most massive of the six and mix little with the first two generations. Explicitly, the top quark (a mass eigenstate) upon emitting the W gauge boson becomes very nearly the bottom quark mass eigenstate. This accurate alignment of the flavor and mass bases seems like an odd coincidence and suggests some underlying connection between the gauge and Yukawa interactions.
Here, we explore a possibility that this alignment of the eigenstates is a sign that the gauge interactions are actually not strictly universal. The idea is simple: if the third generation is charged under an additional gauge group, it cannot mix with the first two using the SM Higgs field. Notice that this is merely a statement of charge conservation, so that the new gauge coupling need not be large. This implies that once the new gauge group is broken somewhere in the vicinity of the weak scale, as we discuss below, the mediator of the new force can be quite light. This may sound dangerous from flavor violation constraints, but as we will see, there is a well-defined allowed region of the parameter space.
How do we choose the new gauge interaction to assign to the third generation? As our guiding principle, we wish to preserve the elegant feature of the SM outlined above: that all anomalies cancel within a generation. It is well known that the simplest gauge group with such properties is based on the difference of the baryon and lepton numbers, U(1) B−L , provided one adds a right-handed sterile neutrino to cancel the cubic anomaly. Thus, this paper is devoted to the phenomenology of the weakly gauged U(1) (3) B−L . Let us briefly review how our framework is different from the existing literature. The observation that U(1) B−L is anomaly free and can be gauged has been made four decades ago and has been studied in numerous contexts. The classical framework [3][4][5][6] considers this symmetry to be flavor-universal and broken at a high scale, so that the lepton-number violating (LNV) Majorana mass for the sterile neutrino is generated and LNV effects are then transmitted to the light neutrinos via the seesaw mechanism. More recently, B −L was considered to be broken at the low scale, but again in a strictly flavor-universal setup [7]. Some additional constraints on this low-scale mediator were obtained in [8]. None of these cases consider flavor-nonuniversality. New light physics is also flavor-universal in another class of models, those involving a dark photon, which interacts with the SM via kinetic mixing [9]. Finally, there have been ideas to study flavor-dependent, horizontal gauge symmetries [10] (for related discussions in a dynamical electroweak symmetry breaking context, see e.g. refs. [11,12]). Gauging the symmetry based on L µ − L τ [13] has attracted quite a bit of interest in recent years [14][15][16][17][18][19][20][21][22]. While such new interactions would be also JHEP12(2017)096 anomaly-free, the cancellation is achieved between generations. This class of model is very different from ours, both in terms of its philosophy and its physics.
Let us outline some of the generic consequences of gauging U(1) (3) B−L . The most obvious one is the existence of an extended Higgs sector. Indeed, in addition to the Higgs field with the SM quantum numbers (henceforth φ 2 ), a new field, φ 1 , charged under the new gauge symmetry is required, to allow for nonzero mixing between the third family and the first two. As we will see, to make the theory phenomenologically viable, one also needs to introduce another scalar field, s, that is a singlet under SU(3) c × SU(2) L × U(1) Y , but is charged under U(1) (3) B−L . Together, the vacuum expectation values of φ 1 and s will spontaneously break U(1) (3) B−L , giving a mass M X to the new gauge boson X. Moreover, the vacuum expectation value (VEV ) of φ 1 will mix the X with the electroweak Z boson.
Because of the X − Z mixing, the new force will actually couple not only to the third generation, but also to the first two, with appropriate suppression factors. This is the second generic consequence of our framework. The model predicts additional neutral currents and one has to carefully ensure existing tight bounds are not violated. This means analyzing a plethora of constraints and identifying the dominant ones for different values of the mediator mass M X . Needless to say, we are required to dispense with the effective field theory descriptions that are usually assumed when analyzing new flavor physics constraints (see for example [23]). When the new gauge boson is light, one should of course keep it in the low energy spectrum as a dynamical field, all the way down to energy scales below its mass.
The analysis of the neutral currents also extends to the lepton sector. Here, we find our third general prediction: the neutrinos will interact non-universally with matter and the MSW potential will gain additional terms. Thus, our framework is a model of neutrino nonstandard interactions (NSI), which have been of phenomenological interest to the oscillation community for a number of years [24][25][26][27][28][29][30][31][32][33][34][35][36][37][38]. It is remarkable that in some parts of the parameter space neutrino oscillations already provide important constraints on the model. It is also remarkable that these NSI effects probe a certain combination of the Higgs vacuum expectation values (VEVs) at the weak-scale and not the light mass M X . Of course, the effects are communicated to our sector via X, but the value of M X drops out from the oscillation potential.
Another important class of constraints, in which the mass M X drops out, is made up of processes dominated by the longitudinal mode of X. As seen below, the relevant mode is actually properly understood as the Goldstone from the extended Higgs sector that is eaten by X. As a consequence, the relevant rates depend only on the Yukawa couplings and not on g X . These bounds therefore apply even in the limit of infinitesimally gauged (global) U(1) It should be by now obvious that the analysis of this model is by necessity very rich: we investigate over twenty potential constraints. Of these, we identify a subset of essential bounds: they come from Υ, Kaon and B decays, D decays and D −D oscillations, atomic parity violation, neutrino oscillations and electroweak precision observables. Each of these becomes dominant in some parts of the parameter space. Of course, to be sure that the other dozen constraints are subdominant, we are required to evaluate them as well. To

JHEP12(2017)096
keep the scope of the paper finite, we deliberately do not include any discussions of the astrophysical constraints here. We also do not consider in details certain model-building aspects and collider constraints. They will be covered in separate publications.
Before turning to our main presentation, two important comments about the lepton sector of the theory have to be made. First, what we call "the third generation leptons" is strictly speaking a priori ambiguous: since there are no gauge bosons connecting the third generation quarks with the lepton sector the same way the top and bottom quarks are connected, we do not know that it is the τ lepton that has to be assigned U(1) In fact, any linear combination of the leptons from the three generation can be used to cancel the anomalies of the third family quarks and hence any such combination could be made charged under the new gauge group. We stick with τ and ν τ as the "the third generation leptons" only for definiteness. This choice is made to once again keep the scope of the present paper manageable.
Second, so far we have avoided any mention of the leptonic mixing, which is clearly different from the pattern in the quark sector. This qualitative difference already points to the different physical origin of the neutrino masses compared to those of quarks. Indeed, we will see this when we briefly discuss the framework for neutrino masses below. Our masses are of Majorana type and can be obtained from seesaw-type relations. Notice that one important difference compared to the classical seesaw is that the right-handed B − L partner neutrino (required by anomaly cancellation) lives near the scale of the Higgs VEVs, where the gauge symmetry is broken. Therefore, there are physical arguments to expect the neutrino mass mechanism in our model to be potentially within reach of collider physics.
The rest of the paper is organized as follows. In section 2 we present and analyze the U(1) B−L model. Section 3 provides a summary of the main experimental constraints on the model. Section 4 discusses other low energy constraints on the model. In section 5 we discuss some important overall consequences of our findings and provide an outlook for future searches for this scenario.
2 The U(1) The model we study is based on the Standard Model symmetry extended by a U(1) gauge symmetry. B −L symmetry is anomaly free for each generation of fermions, provided that a right-handed neutrino is introduced. Thus the U(1) B−L charges of fermions in our extended model are (Q 3L , u 3R , d 3R ) : 1/3, ( 3L , e 3R , ν 3R ) : −1, with all fermions of the first two families carrying zero charges. This is true for (ν 1R , ν 2R ) as well, and as a result these states could in principle acquire large Majorana masses and decouple from the low energy theory. We do use these states for neutrino mass generation through effective seesaw operators.
The gauge boson associated with U(1) B−L is denoted X, and we shall be interested in the case where M X is in the MeV-multi-GeV range. Flavor effects have been widely studied when M X is larger than the electroweak scale, while below about 100 keV stellar cooling bounds typically require the gauge coupling to be so small that such an X boson would be of little interest for flavor phenomenology. Although the mass of X is in the JHEP12(2017)096 gauge symmetry. In our notation, the U(1) B−L charge of the third family quarks is +1/3, while that for the third family leptons is −1. The first two families of fermions have zero U(1) MeV-multi-GeV range, the scale of U(1) B−L symmetry breaking could be several hundred GeV, which is what we shall take as our benchmark value. This is possible owing to the smallness of the gauge coupling g X .
A minimal scalar sector for the model consists of two Higgs doublets, φ 2 with zero U(1) B−L charges of the scalars are listed in table 1. φ 2 is the Higgs doublet that generates diagonal mass terms for the quarks and leptons, while φ 1 induces off-diagonal quark mixing terms involving the third family. The field s is needed for consistent phenomenology as well as for inducing neutrino mixings via simple effective operators. As we shall see, without the singlet field, the contributions to non-standard neutrino oscillations from the X gauge boson will exclude the model. The U(1) B−L charge of s field is uniquely fixed to be 1/3 or 1/6, other choices would lead to an enhanced global U(1) symmetry in the Higgs potential, resulting in an unwanted pseudo-Goldstone boson. (A term of the type φ † 1 φ 2 s or φ † 1 φ 2 s 2 would break such a global symmetry explicitly and give mass to the Goldstone boson.) We shall focus on s charge being 1/3, which leads to a slightly simpler neutrino mass generation scheme.
Since the Higgs doublet φ 1 carries both U(1) Y and U(1) B−L charges, when its neutral component acquires a vacuum expectation value it will induce mixing between the Z and the new gauge boson X. As the new symmetry is an Abelian U(1), the model also admits the possibility of kinetic mixing between the hypercharge gauge boson and the X boson [9].

The Yukawa sector
Since the third family quarks carry a nonzero U(1) B−L charge while the first two families do not, the Yukawa couplings that would induce three family quark mixing should involve both doublets φ 1 and φ 2 . The φ 1 field is introduced for the purpose of inducing quark mixing with the third family. The Yukawa Lagrangian for the quarks is given by Here the bold symbols stand for vectors in generation space, and φ i ≡ iσ 2 φ * i with σ 2 being the second Pauli matrix. The simultaneous presence of φ 1 and φ 2 in the Yukawa couplings JHEP12(2017)096 of the up-quarks (and similarly for the down-quarks) would imply that there are Higgsmediated FCNC processes in the model. We shall see that these processes are within acceptable limits, provided that the neutral Higgs bosons have masses of order hundred GeV.
As only the third family carries the new U(1) B−L charge, the Cabibbo angle can be generated without inducing any FCNC mediated by neutral scalar bosons or the X gauge boson. We thus make 1-2 rotations in both the up-and down-quark sectors, thereby inducing a nonzero (1, 2) entry in the CKM matrix. The other CKM matrix elements V ub and V cb can be generated from the rotated mass matrices which can be written in the form where R ij parametrizes an i − j rotation in terms of a mixing angle and a phase. While these forms are quite general, we shall approximate m 0 i in eq. (2.2) to be nearly equal to the physical eigenvalue m i and V 0 ij to be nearly equal to the actual CKM mixing element V ij . The down quark mass matrix given in eq. (2.2) is diagonalized by right-handed rotations alone, with the left-handed mixing matrix being very close to an identity matrix. Thus V cb and V ub should arise primarily from the up-quark sector. The FCNC constraints arising from the down-quark sector are more severe compared to those arising from the up-quark sector. Assuming that m 0 b m b , B d −B d mixing mediated by the neutral scalar bosons sets a limit a 3 × 10 −3 / tan β for scalar masses of order 100 GeV, while B s −B s mixing constrains b 10 −2 / tan β on the parameters a and b appearing in the down quark mass matrix in eq. (2.2) (see section 4 for details). Here we have defined tan β ≡ v 2 /v 1 . Similar constraints are obtained from the decays B d → Xγ → e + e − γ [39] and B s → X → µ + µ − . More importantly, off-diagonal couplings Xdb and Xsb would contribute to the total width of B d and B s , as well as to B + → π + e + e − and B + → π + µ + µ − . The first and second widths would constrain g X (b/V cb ) < 2.8 × 10 −6 (M X /100 MeV) and g X (a/V ub ) < 2.9 × 10 −5 (M X /100 MeV), while the last processes would lead to see appendix A for details. With these constraints, the parameters a and b in eq. (2.2) cannot significantly contribute to the generation of CKM mixing angles V cb and V ub , which we shall thus ignore. Notice that FCNCs will be induced in the down sector at loop level, and that is particularly important for Kaon decays, as we will see in section 3. Within these assumptions, the left-handed rotations that diagonalize M u and M d are given by (in a basis where the 1-2 up-sector is already diagonal, i.e., with R uL 12 , R uR 12 being identity matrices) If the X charge of the scalars are instead chosen to be −1/3, the Yukawa Lagrangian for up-type quarks and down-type quarks (2.1) would be interchanged. That would suggest JHEP12(2017)096 the generation of V ub and V cb in the down sector, which would lead to strong constraints in g X , as discussed above. We do not pursue such possibility in this manuscript. The quark mixing matrix is given by It can be readily checked that a CP violating phase of the correct magnitude is obtained from complex entries of the mass matrices. It follows from eq. (2.2) that any FCNC effects induced by scalar boson exchanges would be weighted by V ub and V cb in the top sector where the experimental constraints are meager, and by V ub V cb in the u − c sector. This suppression factor will be sufficient to avoid the stringent D 0 − D 0 mixing bounds and mitigate the effect on D + decays with ∆C = 1, as we will see in section 3.
In the charged lepton sector Yukawa couplings between the third and the first two families are strictly forbidden owing to the charge assignment and minimality of the Higgs sector of the model. Charged lepton masses arise through the Yukawa Lagrangian involving the φ 2 scalar only and is given by with y ij = 0 for ij = 13, 23, 31, 32. We see that the leptonic mixing angle θ 12 could be generated from here, but not θ 23 and θ 13 . There are no FCNC processes mediated by the Higgs bosons, since the Yukawa coupling matrix is proportional to the charged lepton mass matrix. There are also no FCNC processes mediated by the X gauge boson, since the mass eigenbasis and the flavor eigenbasis coincide for the charged leptons. The complete absence of tree-level FCNC in the charged lepton sector is a compelling feature of the model, protecting it from the severe bounds that could have arisen from flavor changing muon and tau decays. Neutrino mass generation calls for additional physics which can however reside at a higher scale. In the minimal setup considered here, we can infer neutrino masses as arising from effective operators via a generalized seesaw mechanism. For the 1-2 sector of the effective Majorana matrix of the light neutrinos, the usual dimension-5 operator can be built (withL i ≡ iτ 2 L * i ): while the mixing responsible for θ 13 and θ 23 should come from a dimension-6 operator These operators could be generated by exchanging singlet neutrinos with U(1) B−L charges 0, ±1/3 and ±2/3. The first of those can be identified as the usual right-handed neutrinos of the first two families, while the remaining two are singlet fermions which are vector-like under U(1)  B−L charge −1 will mix with the vector-like component with charge ±2/3 via the Yukawa coupling ν 3R n 2/3 s once the s field acquires a VEV. Thus there are no light sterile neutrinos in the model, provided that the vector-like singlet neutrinos are not too heavy (otherwise the mass of ν 3R will become small via a seesaw suppression factor).

JHEP12(2017)096
Since all neutrino mixing angles are relatively large, the mass matrix elements coming from the dimension-5 and the dimension-6 operators should be comparable. If the singlet neutrinos that are integrated out have masses not far above the TeV scale, so that they also do not introduce an additional hierarchy problem for the Higgs boson mass [40], then these different contributions to light neutrino masses would be of the same order. Besides, as ν 3R is needed to cancel anomalies, its mass cannot be decoupled from the theory: the mass of this state should be close to or below v s . As we will see later, typical values for v s lie between 100-1000 GeV, assuming no new hierarchy problem in the scalar sector is introduced in the model. This provides a deeper reason for why at least part of the sterile neutrino spectrum should be accessible at the LHC. The LHC phenomenology of the neutrino mass generation sector may be pursued in a future manuscript.

The gauge boson sector
Now we turn our attention to the gauge boson sector. We adopt the convention q = I 3 +Y /2 for the hypercharge, where q is the electric charge, I 3 = 0, ±1/2 for SU(2) L singlet and doublet fields, and Y is the hypercharge. The gauge kinetic terms for the scalar fields are given by i |D µ φ i | 2 + |D µ s| 2 where the covariant derivatives are defined as When the scalar fields acquire VEVs, B−L symmetry breaks spontaneously down to U(1) em . Since the doublet field φ 1 is charged under both Y and U(1) B−L , its VEV will induce mixing between the Z and the new gauge boson X. In the absence of kinetic mixing the gauge boson mass-squared matrix is given as (in the basis (Z 0 , X 0 ) where the 0 subscript indicates a state before Z − X mixing) . (2.10) Here v 1 , v 2 , v s are the VEVs of φ 1 , φ 2 , and s, respectively, with v 2 µ (c w = cos θ w , s w = sin θ w , tan θ w = g /g), while the physical Z and X boson eigenstates are given by (ignoring terms of order O(g 2 X )), with the Z − X mixing angle s X defined as We observe that it is the VEV of φ 1 that induces the Z − X mixing, and that s X is proportional to g X and v 1 . The mass of the X gauge boson is obtained as (2.14)

JHEP12(2017)096
Notice that a nonzero v s can only raise M X . When v 1 and v 2 are comparable, M X is essentially fixed in terms of v s , while for large tan β there is some dependence on v 1 and v 2 as well. Then, for a given g X , eq. (2.14) defines a minimum mass for the X boson. As will be seen later, the longitudinal mode X L plays a prominent role on the phenomenology, particularly in the case of light X (with respect to the scale of the process in question). In such case, the equivalence theorem implies that X L can be substituted by its corresponding Goldstone boson G X . It is easy to see that G X is given by Some of the Goldstone boson couplings will be particularly important, namely, We shall use these couplings when deriving the constraints from decays of various particles into longitudinal modes of X boson. The gauge boson kinetic terms allow for mixing between X µν and B µν parametrized by ε. These are given by To obtain canonical kinetic terms for the gauge bosons, up to O(ε 3 ), the photon and the X fields can be redefined as [41] A The effect of the photon field shift is only to couple the standard electromagnetic current to X, with the coupling strength being εc w . The X field shift has two effects. First, it couples the X current to the Z charge, so the Z couplings to particles that are charged under the new symmetry are slightly modified. Second, as X is massive, its shift gives rise is required to have diagonal mass terms for the Z and X bosons. Due to the additional suppression factor M 2 X /M 2 Z , this rotation is not significant, and we shall neglect this effect. It is important to notice that the non-unitary character of the shift assures the absence of millicharged particles: although electrically charged particles acquire small X charges, the opposite, viz., particles charged under X acquiring small electric charge, does not happen.
Since the U(1) B−L gauge interaction distinguishes flavor, it leads to FCNCs. In the flavor basis the X interactions to SM fermions are given by

JHEP12(2017)096
where q α , q X α , and q Z α = I α 3 − s 2 w q α , are the electric charge, the X charge and the Z charge, respectively, of the fermion α. Notice that, as c α depends on the chirality of the field, it is not possible to have an accidental cancellation between ε and g X for both L and R components of any particle. The relative sign (and magnitude) between ε and g X is physically observable.
We can understand the FCNC processes induced by the X gauge boson by writing the non-universal piece of the interaction explicitly as which becomes, after rotating the quarks to the physical basis, The FCNC in the up sector induces flavor-changing top quark decays t → uX, cX which is presently not much constrained, and it contributes to D 0 −D 0 mixing and D + decays. Note that the D 0 −D 0 mixing is doubly suppressed by the V ub V cb factor and by the smallness of g X . We emphasize that there are no FCNC mediated by the X gauge boson in the charged lepton sector, since the corresponding mass matrix is diagonal.

The scalar potential
Now we turn our attention to the scalar sector of the model. The most general renormalizable scalar potential involving φ 1 , φ 2 and s that respects the symmetry of the model is given by The presence of the s field which allows for the cubic scalar coupling µ has several important consequences. First, it removes an unwanted global symmetry and the associated pseudo-Goldstone boson that would exist in its absence. (The charge of the s field is chosen precisely to achieve this.) Second, the µ term allows to take the decoupling limit of the model: by making µ → ∞, v s → ∞ and m 11 → ∞ (in order to keep v 1 finite), all extra scalars, the extra gauge boson, and the right-handed neutrinos can be made arbitrarily heavy, so that the low energy theory is the SM. Without this term, the masses of the second Higgs doublet would have been bounded by about 600 GeV, analogous to the two Higgs doublet models with a spontaneously broken discrete Z 2 symmetry [42]. This decoupling behavior of s enabled by µ is essential to evade large deviations in Υ and D + decays, atomic parity violation and neutrino experiments.

JHEP12(2017)096
The physical scalar spectrum consists of three neutral scalars, one of which should be identified with the 125 GeV SM-like Higgs, a pseudoscalar, and a charged scalar. A pair of pseudoscalars and a charged scalar are absorbed by the Z, X and W ± gauge bosons. The physical pseudoscalar boson mass is given by The charged scalar has a mass given by while the real scalar mass matrix is given by (in the basis (Re(φ 1 ), Re(φ 2 ), Re(s)) Although it is not easy to write down simple analytic expressions for the masses and mixings of the real scalars as functions of the parameters of the potential, we still can understand the interplay between the mixing in the scalar sector and the symmetry structure of the model by very simple arguments. φ 2 has diagonal couplings to quarks and leptons which cannot distinguish between the Re(φ 1 ) and Re(s) components of the physical SM-like Higgs, h. These couplings to fermions have the structure with v 246 GeV, the Yukawa couplings are always larger compared to the SM Yukawas. For the top-quark Yukawa coupling to be in the perturbative range, v 2 cannot be much smaller than v. The scalar φ 1 couples off-diagonally to quarks (mediating flavor changing processes). In order to have perturbative Yukawa couplings with the top, tan β should lie in the range between 0.5 and 30, with the upper limit arising from the off-diagonal Yukawa coupling equal to V cb m t /v 1 .
To understand the SM-like Higgs FCNC couplings, it is better to go to the Higgs basis, in which H = c β φ 1 + s β φ 2 and H = −s β φ 1 + c β φ 2 , which leads to H = v, and H = 0.
. The mass matrix in the basis (Re(H), Re(H ), Re(s)), to leading order in each entry assuming v µ, v s is given by where we have defined λ 34 = λ 3 + λ 4 . The first entry is the SM-like Higgs state, the second is the flavor changing Higgs and the third refers to the state which does not couple to fermions. Integrating out the heavy scalars, when their masses are non-degenerate, yields the effective flavor changing operators a similar matrix for y d ij , and also This will induce top to charm Higgs decays, which will be analyzed in section 3.
In this basis, the electroweak gauge bosons couple only to H, and hence any mixing of this state can only reduce the couplings of the SM-like Higgs to W W and ZZ. The requirement that the SM-like Higgs boson couples to the gauge bosons with strengths very close to the SM values constrains the admixture of Re(H 0 ) with the other scalars. LHC Higgs data constrain the sum of the square of these mixings to be about 0.1 [43]. LHC searches for a heavy Higgs boson decaying to ZZ [44,45] are sensitive to masses roughly between 200 GeV and 900 GeV, assuming production via gluon fusion and a branching ratio to ZZ similar to a SM-like Higgs of corresponding mass. Due to the structure of the Yukawa couplings the heavy Higgs bosons of the model have suppressed couplings to tt, leading to smaller production cross sections, thus evading the LHC search limits. (Note that in the large tan β limit, h 125GeV ∼ Re(H 0 ) ∼ Re(φ 0 2 ), and since only φ 2 has a tt coupling, the couplings of all heavy Higgs bosons with tt will be suppressed by small mixing angles.) Besides, due to the X − Z mixing, the real component of H 1 will couple to X like This coupling will contribute mainly to the invisible width of the Higgs, as we will see in the next section.
With the aid of the cubic scalar coupling µ the mass of the charged scalar can be raised above the electroweak scale, which may be very important for the following reason. In type-II 2HDM, where each Higgs couples exclusively to up-and down-type quarks, the charged Higgs contribution to b → sγ transitions constrains its mass to be above ∼ 400-500 GeV for tan β 1 [46]. Although our model is not a type-II 2HDM, thet bH + andtsH + couplings are similar, and therefore a comparable bound should be applicable here as well. 1 LHC searches for H ± → tb [47] are sensitive to masses below 250-300 GeV only if tan β > 2. As an example, the parameters tan β = 10, v s = 300 GeV, µ = 181 GeV, λ 1 = 1, λ 2 = 0.24, JHEP12(2017)096 λ s = 2, λ 3 = 0.1, λ 4 = 1.5, λ 1s = 1, and λ 2s = 0.1 lead to a physical Higgs at 125 GeV with couplings almost identical to the SM Higgs (except for small flavor violating couplings to ut and ct), while the two scalars, the pseudoscalar and the charged one would have masses of 620 GeV, 420 GeV, 620 GeV, and 590 GeV. This scalar spectrum would lead to a small deviation on the electroweak T parameter of about ∆T = 0.13.

Phenomenology: key constraints
The phenomenology of a light mediator coupled to the standard model fields through kinetic mixing has been studied in the literature in great detail (see ref. [48] and references therein). Our model has a very rich phenomenology as, besides mixing kinetically with the photon, the X gauge boson also mixes with the Z via mass terms. Furthermore, the couplings of X to fermions are flavor non-universal, which would lead to flavor changing neutral currents mediated by both X and the new scalar bosons needed for symmetry breaking. In this section we present the main results obtained from various constraints arising from low energy processes. For definiteness, when quoting numbers we focus on benchmark points where we set ε = 0 and tan β = 0.5, 2, while in presenting the constraints as plots we scan the entire allowed range of tan β = (0.5, 25), with ε = 0. We present in table 2 a summary of the most constraining experimental limits together with a brief description of each bound. The branching ratios of X are shown in figure 1, while in figures 2, 4 and 5 we present a summary of the most relevant constraints. Additional experimental constraints are analyzed in section 4, which turn out to be important, but only to a lesser degree. We elaborate now on how the main results summarized in table 2 and figures 2, 4 and 5 are obtained.

Branching ratios of X
Before discussing the constraints in detail, we first explore the X branching ratios which will define the typical signature of the new gauge boson. If M X is lighter than the tau mass, it can only decay to first and second family charged fermions, and to all neutrinos. In this case, the partial widths to the charged fermions go as ∼ g 2 X /(1 + t 2 β ) 2 while the width to ν τ ν τ goes as g 2 X , and hence the branching ratio to the first two families has a t −4 β suppression (in the limit of large t β ). For instance, if M X < 2m τ , we obtain In figure 1 we provide the exact branching ratios of X for two different values of t β .
To obtain the hadronic partial width for M X below 1.8 GeV we use the experimentally measured ratio D + → π + X contributes to the total D + width and to the π + + − branching ratio. When the equivalence theorem is valid, this process probes the Yukawa coupling where s is the center of mass energy of the e + e − collision [49,50]. We estimate the X hadronic width to be 2 Above 2.2 GeV we calculate the partial widths to partons.

Lepton universality in Υ decays
Precise measurements of the Υ → τ + τ − and Υ → µ + µ − branching ratios by BaBar [51] constrain the deviation from lepton universality via the ratio As the X boson couples dominantly to the third family, this measurement can be used to constrain g X . In the limit of small Z − X mixing and neglecting the tiny Z exchange diagram, we obtain where the second term comes from the γ − X interference. In our numerical evaluation we used the exact expression for R τ µ . This imposes g X < 0.027 for m X m Υ . If m X m Υ , this process actually constrains v s . In such case, v s > 960 GeV, roughly independent of tan β.

Υ → Xγ decay
The decay Υ → X L γ can also occur and can be used to constrain the parameters of the model. 3 Here X L is the longitudinal mode of X. Although this process involves gauge bosons, the equivalence theorem tells us that this width is actually probing the Yukawa coupling of the corresponding Goldstone to the b quarks, and therefore the bound is independent of whether the theory is gauged or not, as long as M X m b holds. Yang's theorem, which states that a vector particle cannot decay into a pair of massless spin-1 particles, does not apply in this case as the Υ is decaying into the longitudinal mode of X and a massless photon. Moreover, due to charge conjugation symmetry, only the axialvector coupling of X, that is, c bR − c bL from eq. (2.21), will contribute to Υ → X L γ. This branching ratio can be computed using non-relativistic effective field theory [52], where the amplitude is approximated by the zero momentum amplitude for the hard scattering times the wave function of the Υ at the origin, A Υ A(0)ψ(0). We get rid of the wave function at the origin by taking the ratio of this width with a measured decay width like

JHEP12(2017)096
Υ → e + e − . Therefore we have where the right-hand side of the inequality shows the measured values of the branching ratios being considered [39]. The constraint on v s is v s > 2(0.5) TeV for tan β = 0.5(2).

D 0 − D 0 mixing
A light gauge boson with flavor changing couplings to quarks can contribute to mesonantimeson mixing. In our model, since the first two families carry no U(1) B−L charge, and since the third family quark mixings arise from the up-quark mass matrix, these constraints are not severe. The effective interaction mediated by the X gauge boson responsible for D 0 − D 0 mixing can be written as (see eq. (2.23)) where Here q 2 represents the momentum transfer. Demanding that the new contribution does not exceed the experimental value of ∆m D , a limit on C(m 2 D ) has been obtained to be [53] C(m 2 D ) < 5.9 × 10 −7 TeV 2 . (3.9) For the case of a light X, this constraint leads to a limit g X < 2.6 × 10 −2 , which is significant, but within our range for g X . When the X boson mass is much larger than m D , the limit becomes g X < 1.4 × 10 −2 M X /GeV. The limit is plotted in figure 4 for the full range of M X . The Higgs bosons in the model also mediate D 0 − D 0 mixing. The contribution from tree level neutral scalar exchange to meson oscillations, in general, can be written as [54][55][56] (∆m S ) ϕ = 1 3 The flavor properties of X can contribute to the D + → π + X → π + e + e − branching ratio which is bounded to be below 1.1 × 10 −6 [39]. This process can be better understood by use of the equivalence theorem, where the Goldstone coupling to uc is given in eq. (2.16). The D + to π + transition can be parametrized by the form factors (3.12) At low recoils (for M X M D + ), the transition comes entirely from F + , which can be determined by use of chiral perturbation theory for heavy hadrons (see e.g. ref. [57]), (3.13) Here, f D = 200 MeV and f π = 130 MeV are the D + and π + decay constants, and g D * Dπ = 0.59 is the strong coupling of D * → Dπ decay, all yielding F + (0) = 0.91. Numerically, this form factor agrees with the one obtained by assuming vector meson dominance [58]. The D + → π + X partial width is then given by (3.14) Not requiring the e + e − pair in the final state makes very hard to reconstruct the D + meson as X will typically decay to neutrinos (see figure 1). Nevertheless, one can still constrain the model with the total D + width. As a conservative requirement, we demand that the partial width D + → π + X does not exceed the D + total width minus the partial inclusive width to K 0 andK 0 (to which this new decay does not contribute), that is Γ(D + → πX) < 0.39 Γ D + [39]. This constraint is included in our numerical analysis.
3.6 K + → π + X and B + → π + X Although the flavor changing couplings in the down-quark sector can be put to zero, one loop corrections will still generate a non-negligible amount of flavor changing. Kaon and B decays are particularly sensitive if the X boson is below the meson mass. More specifically, the loop corrections can contribute to the K + → π + X → π + νν (B + → K + X → K + νν) branching ratio which is measured to be about 10 −10 [60, 62] (1.6 × 10 −5 [39]). We will discuss the Kaon decay in detail and the results can be promptly generalized for the B decay. As the longitudinal mode of X dominates the contribution, we are interested in the one loop coupling g sdX (∂ µ G X )sγ µ d. This calculation differs from the usual Z-induced Kaon decay precisely by the dominance of the longitudinal mode, which lead us to the following considerations. Since the internal X vertex effectively couples to the Yukawa instead of the gauge coupling, we can safely take all quark masses, except for the top, to be zero. The charm quark contribution to the amplitude is suppressed in our scenario, and thus we neglect it. Moreover, the usual counterterms from the self-energy diagrams are omitted since they are proportional to the mass of the s or the b.  Figure 2. Constraints on the U(1) B−L gauge boson mass M X and coupling g X for tan β = 10. For convenience the X − Z mixing, s X , is also shown. Notice that for a given g X , the mass of the gauge boson M X is bounded from below, so there is an unphysical region in the upper left corner of the M X × g X plane (delineated by the white line). The "ν osc." bound comes from non standard interaction effects (matter potential) on atmospheric neutrinos. "APV" refers to atomic parity violation. Here the charged Higgs mass, relevant to the B → KX constraint, is taken to be 1200 GeV.
There are three main contributions (in the Feynman gauge) to this coupling, i.e., loops with transverse W , longitudinal W or charged Higgs, and both transverse W and charged Higgs (via a W ± H ∓ G X coupling), see figure 3. For the longitudinal W diagram in figure 3(a), the internal fermions could be tt, or a top and a light up-type quark. These contributions scale as (see eq. (2.16))  Figure 3. Feynman diagrams involved in the calculation of K + → π + X. Analogous diagrams were computed for B + → K + X.
the top loop exchange goes as Finally, for the diagram arriving from the W ± H ∓ G X coupling in figure 3(c) and 3(d), only an internal top will lead to sizable contributions, We emphasize that all contributions are comparable and have slightly different dependences on t β , which will result in a bound from K + → π + X that depends mildly on t β . A full calculation of these loop amplitudes yields the following result (for similar calculations see e.g. refs. [63][64][65][66][67]) The T 1,2,3 terms correspond to the loop diagrams containing a transverse W , G ± W and H ± , and the triple coupling W ± H ∓ G X , respectively. The amplitude is given by where the form factor F + (0) = 0.96 [59]. This leads to the partial width where we have neglected M 2 X /M 2 K terms.    Figure 4. Constraints on the U(1) B−L gauge boson mass M X and coupling g X for tan β = 0.5, 2, 5, 25. For convenience the X − Z mixing, s X , is also shown. Notice that for a given g X , the mass of the gauge boson M X is bounded from below, so there is an unphysical region in the upper left corner of the M X × g X plane (delineated by the white line). The "ν osc." bound comes from non standard interaction effects (matter potential) on atmospheric neutrinos. "APV" refers to atomic parity violation.

JHEP12(2017)096
For the B + → K + νν decay, a very similar calculation is performed and yields a bound that is weaker than the Kaon decay bound, but goes to higher values of X masses. 4 Furthermore, the dependence with the mass of H + and β is more pronounced in the B decay constraint. The reason is because all contributions in eq. (3.19) are comparable for K + → π + X, but only the last one is significant for B + → K + X, and thus the β dependence and the interplay with eq. (3.21) can lead to cancelations. We have checked numerically that e.g. for tan β = 5(10) such cancelation is possible by having the charged Higgs mass in the range 600 < M H + < 850 GeV (1 < M H + < 1.5 TeV). In figures 2 and 4 we present the bound from B decays for M H + = 1200 GeV.

Neutrino oscillations
One of the most stringent bounds comes, perhaps surprisingly, from neutrino oscillation experiments. The new interaction will change the neutrino matter potential which modifies the neutrino oscillation pattern. It is useful to express the new interaction in terms of the usual non-standard interaction (NSI) operators which normalize the strength of the new matter potential to that induced by weak interactions. We define the NSI parameter by the operator and therefore we obtain Due to the lack of flavor universality of the new gauge group we expect a non-standard matter potential (we remind the reader that a universal diagonal matter potential has no impact on neutrino oscillations) It is important to mention that, as normal matter is neutral, the kinetic mixing parameter ε does not play any role in neutrino oscillations. If we assume the number density of protons, neutrons and electrons all to be the same, and use eqs. (2.21) and (3.25), we can translate the non-universal matter effects into the usual non-standard interaction parameter: (3.27) Atmospheric neutrinos play a major role in constraining the τ τ NSI, leading to [68] |ε τ τ | < 0.09. (3.28) Notice that the new matter potential does not depend on the gauge coupling, but only on the VEVs of the scalar fields, analogous to what happens with the standard matter potential. Note also that in the absence of the singlet scalar s, the non-standard interaction would be ε τ τ = 3v 2 /v 2 1 > 3, which violates the experimental limit of eq.  Figure 5. Constraints on the VEV of the SM singlet scalar s as a function of tan β ≡ v 2 /v 1 from Υ → X L γ decay, atomic parity violation (APV), D + → π + µ + µ − , total D + width, neutrino oscillations, top quark total width, and Higgs invisible decays (see section 4). We also show the bounds on v s from Υ → τ + τ − and D 0 − D 0 mixing, although they only apply for M X M Υ and M X M D 0 , respectively (see figure 2 and 4).

Electroweak T parameter
From the mass matrix (2.10), we can see that the Z boson mass is shifted from its SM value by imposes a constraint g X < 0.035 for tan β = 1/2, with the constraint becoming weaker for larger values of tan β = v 2 /v 1 as the fourth power. The constraints derived here are plotted in the g X − M X plane in figure 2 and 4. The origin of various constraints are labeled. The four panels correspond to four values of tan β = v 2 /v 1 . The label on the right indicates the Z − X mixing angle s X . Note that some regions in this plane are excluded theoretically, since M X must obey an inequality.
We present in figure 5 the constraints from Υ, D + , top and Higgs decays (see section 4), atomic parity violation, neutrino oscillations and D 0 − D 0 mixing on v s as a function of tan β. We do not show the K + → π + X bound, but we notice that it is much stronger than the others for M X < 114 MeV and 151 < M X < 260 MeV. Also, the B + → K + X is omitted due to the strong dependence with M H + . Outside the Kaon bound region, we see clearly that D + → π + e + e − dominate for tan β < 8, as long as M X < m D + −m π + . The total D + width dominates for tan β > 13 if M X < m D + − m π + . The neutrino oscillations bound JHEP12(2017)096  Figure 6. More complete list of constraints on the U(1) B−L gauge boson mass M X and coupling g X for tan β = 2, 10. For convenience the X − Z mixing, s X , is also shown. Notice that for a given g X , the mass of the gauge boson M X is bounded from below, so there is an unphysical region in the upper left corner of the M X × g X plane (delineated by the white line). The "ν scat" bound is a combination of all neutrino scattering experiments listed in the text, while "ν osc." comes from non standard interaction effects (matter potential) on atmospheric neutrinos. "APV" refers to atomic parity violation. Here the charged Higgs mass, relevant to the B → KX constraint, is taken to be 1200 GeV.
is independent of M X . It is the main constraint for 8 < tan β < 13, or 1.5 < tan β if the D + channels are forbidden. The region tan β < 1.5 is well covered for any M X by the combination of APV and Υ → Xγ. Higgs invisible branching ratio and top width provide complementary constraints for large tan β. Once the X boson mass exceed M D 0 or M Υ , D 0 − D 0 mixing and Υ → τ τ dominate the constraints for tan β above 7.5 and 3.2, respectively.

Other constraints
Here we provide a more complete analysis, including those constraints which turned out a posteriori to be not as stringent as the ones discussed in the previous section. In figure 6 we present the bounds from the previous section together with a few bounds from this section (chosen by their importance in ruling out the physical region of the parameter space). In table 3 we list the additional constraints on the model presented in this section.

Atomic parity violation
An important process is atomic parity violation (APV), in which the weak charge, especially for 133 Cs, has been measured very precisely. The standard model prediction is Q SM W = −73.16 ± 0.3, while the experimental measurement combined with theoretical calculations yield Q W = −73.16 ± 0.35 [69]. In our model, since the X boson mixes with the Z, there are new contributions to Q W . The fractional contribution of the X mediated JHEP12(2017)096

Experiment Constraint
Møller scattering Z − X mixing leads to parity violation in e − e − scattering t → cX Flavor changing c tX coupling can contribute to the total top width, which is bounded as ∆Γ t < 0.44 GeV [39] Z → ff X There is no dedicated search for Z → τ + τ − + / E T (Z → bb + / E T ). A direct bound on g X may be obtained by requiring these branching ratios not to exceed 0.2 MeV (2.8 MeV).

h → XX
Decays to longitudinal X pair contributes to invisible width.
X at the LHC Resonant production of X decaying to τ + τ − in association with two b-jets at the LHC may constrain the parameter space for realizations of the model at the TeV scale Fixed target Much weaker than in kinetic mixing scenario [78] as BR(X → νν) typically dominates, especially for large tan β.
(g − 2) e and (g − 2) µ The axial-vector contribution does not saturate for small M X [79,80], but the bound is nevertheless weak.

K, B d , B s oscillation
May lead to strong bounds on off-diagonal Yukawa couplings, forcing V CKM to be generated in the up sector. The contribution from heavy scalar exchange is both loop and CKM suppressed.

W → τ νX
For M X M W probes the Yukawa coupling to τ , but does not constrain the model significantly.

t → bW X
For M X m t probes the Yukawa coupling to the top, but does not constrain the model significantly.

LEP
LEP bound on resonant e + e − → τ + τ − production [90] can be used to put bounds on the X coupling to leptons.

π → Xγ
The bound derived in the case of pure kinetic mixing [91] can be easily translated to our scenario, leading to a very weak bound in the whole parameter space. Table 3. List of constraints on the U(1) B−L gauge and scalar sector. For the neutrino scattering bounds, the approximation of mean momentum transfer q 2 was made separately for each experiment. See section 4 for details.
APV is given by where q 2 (2.4 MeV) 2 is the estimated average squared momentum transfer. This allows us to put a direct bound v s > 2(0.5) TeV at 90% CL for tan β = 0.5(2) and for mediator squared-masses above q 2 .

Flavor changing top decay
The X boson can also mediate flavor-changing processes involving the top quark. The decay t → cX is predicted in the model. The width for this decay can be calculated directly, or using the equivalence theorem and the Goldstone boson coupling eq. (2.16), For g X = 10 −3 and M X = 100 MeV, the width is 0.9 MeV, corresponding to a branching ratio of 6.5 × 10 −4 , which would not be easy to observe. However, if the mass of X is lower, this branching ratio increases. For example, when M X = 1 MeV, top quark width would set a constraint on g X to be less than about 2 × 10 −4 . The new contribution to the top quark width cannot exceed 0.38 GeV (at 2 sigma) [39]. The top width provides a direct bound v s , which turns out to be important only for large values of tan β (see figure 5). Note that this decay can be understood in terms of Goldstone boson equivalence theorem, as the top decays primarily into the longitudinal X. Apart from t → cX, as the Higgs has flavor changing couplings (see eq. (2.29)), t → ch transitions are also possible. Nevertheless, the flavor changing Yukawa is doubly suppressed, by V cb and by the small mixing angle between H and H , making this branching ratio typically small, below 10 −4 .

h → XX decay
The presence of X − Z mixing will lead to Higgs decays to X pairs (dominantly to the longitudinal modes). The X bosons typically further decay to neutrinos, thus leading to a contribution to the invisible Higgs branching ratio which is bounded to be smaller than 0.28 [70]. The invisible width is given by (see eq. (2.32)) In the limit of M X M h this becomes which translates to v s > sin(2β) × 490 GeV. Notice that the Higgs can also decay to XZ via the mixing with Re(s), leading to interesting modifications of Higgs phenomenology (e.g. h → XZ → τ + τ − , with the τ pair invariant mass at M 2 X ). Nonetheless, since this mixing is a free parameter, we do not consider this channel.

Møller scattering
Measurements from SLAC E158 [71] are sensitive to modifications of the parity-violating asymmetry in low scale e − e − scattering,

JHEP12(2017)096
where σ R,L indicate the cross section for incident right-and left-handed electrons. The asymmetry is dominated by the interference term between the photon and the Z. In this experiment, the sensitivity to s 2 w is significantly enhanced due to an accidental cancelation in the factor (1/4 − s 2 w ) appearing in the asymmetry. In our model, this cancelation plays no role in the sensitivity to the X boson contributions, as the parity-violating coupling comes entirely from the mixing with the Z. Because of that, the X fractional contribution to A PV is basically the mixing with the Z and the ratio of propagators, where we added the statistical and systematical fractional errors in quadrature. The average momentum transfer is q 2 = (0.161 GeV) 2 .

Z decays to τ + τ − X and bbX
For M X below the Z mass, the processes Z → τ + τ − X and Z → bbX may also constrain our model. When M X M Z , these processes will measure the diagonal Yukawas between the third family fermions and G X , the Goldstone mode of X, see eq. (2.16).
In this limit, the partial widths above can be written as 6 (4.8) In the limit of heavy X, the Goldstone modes contribute very little, and the mass of the fermions can be safely neglected. In this case, the results of ref. [72] on Z → W ν can be easily recast into our scenario leading to where x = 2E X /M Z is the energy fraction carried by X, and where c α is defined in eq. (2.21). The functions h 1 (x) and h 3 (x) are given in eqs. (10.1), and (10.3) of ref. [72]. The total width is obtained by integrating the differential width in x from 2M X /M Z to 1 + M 2 X /M 2 Z . There are no dedicated searches for these channels. For the Z → τ + τ − , we require the additional width not to exceed the experimental uncertainties of 0.2 MeV. In the case of Z → bb, the uncertainty on R b imposes the additional width to be below 2.8 MeV. In figure 4 we show only the constraint from Z → bbX, as it is slightly more stringent than JHEP12(2017)096 g gb X b Figure 7. Dominant X production mode at the LHC for m X at the TeV scale.
Z → τ + τ − X. These effects could be of particular interest to the models discussed in refs. [21,22]. It would also be interesting to search for such a light gauge boson in the decay of Z, since the new decay mode can be distinguished from the two-body decay mode Z → ff by its distinct kinematic shape. 7 4.6 X resonant production at the LHC If the X boson is above the electroweak scale, the LHC will eventually provide the best bound on the direct production of X. The T parameter imposes the mixing with the Z to be small, and therefore the couplings of a heavy X-boson to the third family fermions will dominate the phenomenology. Although a comprehensive LHC analysis is beyond the scope of this paper, we point out that a search for a resonance decaying to τ + τ − in association with two b-jets seems to be a promising way of exploring this model, see figure 7. In fact, the bb τ + τ − final state has been studied by CMS [73] and ATLAS [74] in third generation leptoquark searches, but since each b τ pair reconstructs a resonance it is not straightforward to interpret these results in the context of our model.
Should the X gauge boson have already shown up in the dimuon searches at the LHC? At 13 TeV LHC, the cross section for bb production is about 154 micro-barn. The X boson may be emitted from the b quark. We estimate the production cross section for pp → bbX to be ∼ 154µb × g 2 X /(36π). For g X = 0.05, number of X bosons produced with 40 fb −1 of data is about 10 8 . The branching ratio for X → µµ is about 10 −3 (10 −6 ) for tan β = 2(10), which would imply that the number of dimuon events is about 10 5 (10 2 ). The background for dimuon resonance searches is a few times 10 5 events per GeV at low mass, and thus the X boson would not have been observed. With more data, for a range of model parameters, the X boson may be observable at the LHC as a dimuon resonance.

Meson-antimeson oscillations
The presence of FCNC in scalar and gauge boson interactions can modify K 0 −K 0 , B d −B d , B s − B s , and D 0 − D 0 oscillations. The case of D 0 − D 0 mixing, which provides the best limits on the model, is already analyzed in section 3. Here we complete this analysis.
The general scalar contributions to meson-antimeson mixing is given in eq. (3.10). The vector boson X will also contribute to the meson oscillation via s-channel exchange [75] (∆m S ) X = (4.11) 7 We thank A. Khanov for discussion on this prospects.

JHEP12(2017)096
where U X = V L u,d .diag(0, 0, 1).V L † u,d . In fact, this contribution is suppressed by both the small mixing, U X ij and g X . Except for the case of D 0 − D 0 mixing where the X boson exchange becomes important for M X ∼ MeV, this contribution is generally sub-leading.
Using the parameters found in refs. [54,55] and imposing that the extra contribution is smaller than the experimental and theoretical uncertainties [76,77] we find that In our benchmark points, all contributions to down flavored meson oscillation vanish, since V ub and V cb are generated in the up-quark sector.

Tau physics
Precise measurements of the τ mass and production cross section were performed by the BESIII collaboration [81]. Doing a scan in the energy of the e + e − beam around the τ threshold made it possible to measure the τ τ production cross section at the sub-percent level. To estimate the constraint from BESIII, we require the ratio of BSM and standard cross sections σ(e + e − → A, X, Z → τ + τ − )/σ SM (e + e − → A, Z → τ + τ − ) not to exceed the experimental errors at fixed √ s, namely 3.1039, 3.542, 3.553, and 3.5611 GeV.

(g − 2) µ
The X boson may contribute to the muon anomalous magnetic moment through its mass mixing with the Z. In contrast to the case of pure vectorial couplings, the axial-vector contribution to (g − 2) µ does not saturate for small M X [79,80], growing as M X diminish. For M X m µ , requiring the modification to a µ not to exceed 10.8 × 10 −8 the constraint is approximately Nevertheless, for a given M X the g X coupling is bounded from above by (see eq. (2.14)) from eq. (2.14), (4.17) Thus, for any reasonable value of tan β, the bound from the muon anomalous magnetic moment is always in the "unphysical" region of figure 5.

Neutrino-electron scattering
The neutrino electron scattering cross section may be considerably modified in the presence of the extra gauge boson X µ . We have estimated the constraint coming from a given experiment by making the simplified assumption of a fixed momentum transfer. Due to the large number of experiments, we only state the numbers we use. All limits can be found in figure 4. The limits from solar neutrino measurements at the Borexino experiment [82] were calculated in ref. [8] for the universal B − L scenario. In our case, we estimated it by requiring that the ν − e scattering cross section does not exceed 10% of the standard cross section for q 2 = 2m e E rec , where m e and E rec ∼ 300 keV are the electron mass and recoil energy. Limits coming from reactor neutrinos at the GEMMA experiments [83] were also calculated for a universal B − L light gauge boson in ref. [8]. We have checked that in the MeV − GeV region, the GEMMA experiment is always less sensitive than Borexino.
The bound from CHARM II [84] was computed for the case of NSI in ref. [30], yielding − 0.025 < ε eL µµ < 0.03, −0.027 < ε eR µµ < 0.03. (4.18) This can be easily translated to our case using eq. (3.25) and fixing q 2 = 0.01 GeV 2 . The TEXONO experiment [85] measuredν e scattering on electrons in a CsI detector with q 2 ≈ 3 MeV 2 . The ratio of the experimental cross section to the SM one was found to be σ exp σ SM = 1.08 ± 0.21(stat) ± 0.16(syst). (4.19) There are two other measurements of the TEXONO experiment using a high purity Ge detector [92] and a N-type point-contact Ge detector [93]. We have checked that these bounds are negligible for X at or above the MeV scale. The MiniBooNe experiment [86,87] has measured a variety of neutrino cross sections, ranging from ν µ neutral current scattering on nucleus to ν e − e elastic scattering. Due to the mass dependence, scattering on electrons will have a lower q 2 for the same recoil energy and thus will be more important for a lighter mediator. We assumed conservatively q 2 = 2m e E th , where E th = 140 MeV is the experimental threshold energy of the scattered electron, and a 10% error on the elastic cross section.
The NUTEV experiment measured the ratio of neutral to charged current cross sections for ν andν to 1% precision and with a mean q 2 ≈ −20 GeV 2 [89]. In fact, the NUTEV measurement of (g eff L ) 2 displays a tension with the standard model prediction at the 2.7σ level (see ref. [89] for details). A positive g X enhances this cross section making the tension worse. We use the NSI bound from ref. [30], namely, Finally, the measurement of the ν − e elastic scattering cross section, with a ∼ 17% precision, by LSND [88] can also be used to constrain non-standard interactions in the neutrino sector [30]. In the light mediator scenario, the LSND bound is somewhat special due to its low threshold for the electron recoil energy, E th = 18 MeV. The limits found in ref. [30] can be applied to our scenario by using eq. (3.25) with q 2 = 2m e E th .

JHEP12(2017)096
Our model exhibits a very rich phenomenology, yielding many interesting observables of different types. For instance, to accommodate the observed mixing of generations in the presence of the new flavor-dependent U(1) gauge symmetry it is necessary to extend the Higgs sector. The minimal extension involves a second Higgs doublet (for the mixing) as well as an additional SM singlet which is charged under this U(1), for consistent symmetry breaking and phenomenology. While two Higgs doublet models, with or without additional singlets, have been extensively studied in the literature, our realization has a number of unique features due to the unusual flavor structure. The extended Higgs sector of this model can be studied at the LHC, as well as with precision electroweak data and flavor observables. Here, we only sketched the relevant bounds; an in-depth analysis will be desirable.
Another class of relevant observables that is sensitive to the structure of the extended Higgs sector is based on precision meson decay data. This includes K + → π + X, B + → K + X, t → cX, Υ → Xγ, D + → π + X decays, among others. For decay processes, at high energies, the equivalence theorem implies that the longitudinal mode can be replaced by the Goldstone boson associated with the breaking of the symmetry. Thus, many of the constraints would survive even in the limit of a global symmetry. When the decay channel K + → π + X is kinematically viable, kaon physics poses by far the most important bound on the model. B + → K + X is also quite stringent, but depends strongly on M H + and tan β.
When X is heavier, for a range of parameters with g X ∼ 10 −3 -10 −2 and the X gauge boson mass of order 300 MeV-1 GeV, neutrino oscillations become the main probe even at present. The induced neutrino non-standard interaction is flavor conserving, namely τ τ in the present model, and its values are in the interesting range for DUNE, Hyper-Kamiokande, PINGU, and other present and future experiments with increased sensitivity. While the gauge symmetry is necessary to induce the new matter effect, the observables only depend on the size of the scalar VEVs and not on the gauge coupling. The neutrino NSI thus probe the scale of the symmetry breaking, which can be even above a few TeV and still lead to potentially observable effects.
As already mentioned in the Introduction, our model has an important ambiguity: which leptons should carry the new gauge quantum numbers. While for quarks the choice is clear -the top and bottom have very small mixing with the quarks from the other generations, which we are trying to explain -in the case of leptons there is no natural choice. We have so far considered the tau lepton and the corresponding neutrino, but only for definitiveness. From the point of view of anomaly cancelation, which was our guiding principle in selecting the flavor symmetry, any lepton flavor could have been selected to be charged under this new symmetry. This means that it is possible to generate any flavor diagonal neutrino non-standard interaction ( ee or µµ ) in a similar way.
Some of the constraints and future search strategies are different in this case and require a reanalysis. In particular, one important consequence of assigning the new U(1) charges to the muon instead of tau would be the effects of non-universality in bottom meson decays to electrons and muon. To this end, let us mention that our model is relevant to the recently reported anomaly [94] in b → sl + l − decays (specifically, the ratio BR(B 0 → K * 0 µ + µ − )/BR(B 0 → K * 0 e + e − )). This analysis will be reported elsewhere.
Another class of observables involves processes such as the D −D mixing, atomic parity violation, and Møller scattering: for a heavy mediator they probe a combination of

JHEP12(2017)096
VEVs in the Higgs sector, related to the X − Z mixing, while for a low mediator mass they are also sensitive to the gauge coupling g X . Although the current constraint from Møller scattering is not competitive with other bounds, the future MOLLER experiment at Jefferson Lab will improve the bound, and may even take a leading role in constraining some region of the parameter space.
A unique role is played by the process Υ → τ + τ − , which operates entirely in the third generation and gives the most direct access to the coupling g X . Future B-factory data may improve the universality bound on Υ decays and further constrain third family gauge symmetries.
Finally, LHC searches for X boson production may also play a role in constraining the model. Z decays to τ + τ − X and bbX, although less constraining at the present time, are also a direct probe of g X . Thus, for X masses below the Z mass, dedicated searches taking into account the differences in kinematics between two and three body decays of the Z may be interesting venues for future exploration. We also identify resonant X boson production decaying to τ pairs in association with b-jets as a promising search for heavier masses. We thus foresee the LHC phenomenology of our model to be rich.
Another area of phenomenology that deserves a close look is establishing astrophysical signatures of this scenario. The relevant discussion is deferred to a separate paper, mainly to keep the scope of the present work finite. In brief, supernova and stellar cooling considerations do yield constraints on certain parts of the parameter space (low mass and small coupling).
A number of theoretical directions must also be pursued. Among them is the origin of the neutrino mass in this framework. Phenomenologically, we know that the lepton mixing matrix is qualitatively different from the CKM one, and in particular third generation is in no way singled out in it. This perhaps suggests that the origins of the neutrino masses and quark masses are different. Indeed, in our model phenomenological viability requires that neutrino masses be generated by certain operators suppressed by the scale of the new symmetry breaking. Importantly, this scale is expected to be at the TeV scale due to anomaly cancelation and therefore can be within reach of the LHC and future collider experiments and, we hope, will motivate future searches.

JHEP12(2017)096
A Contributions to B d and B s widths In the model proposed, α and β, defined in eq. (2.2), would contribute to b → Xd and b → Xs transitions. An alternative version of this model would have the U(1) X charge of φ 1 and s changed to −1/3. In that case, which would interchange the structure of the up and down Yukawa sectors in eq. (2.1), the off-diagonal couplings of the down sector, which will be called α and β as well, would also contribute to b FCNCs. Here we estimate the constraints on the off-diagonal couplings of the down-type quarks (valid for both versions of the model). The B d −B d and B s −B s mixings constraints discussed in section 2 would apply, though they are not very stringent.
The process B d → πX would contribute to the total B d width by the following amount (assuming M X m B d ) where m B d is the B d mass, and F + (q 2 ) is a form factor which can be determined by use of chiral perturbation theory for heavy hadrons (see e.g. ref. [57]). Requiring this partial width to be below the total width of the B d translates into the constraint g X < 2.9 × 10 −5 M X 100 MeV A similar process could be considered, with B + → π + X and X further decaying to µ + µ − , leading to B + → π + µ + µ − . This branching ratio is measured to be 1.79 × 10 −8 [39] and would constrain (requiring the new contribution not to exceed the measurement) g X < 3.8 × 10 −10 For instance, for a = V ub , if t β = 20 then the µµ branching ratio is 2.5 × 10 −7 , and thus g X < 8.4 × 10 −7 (M X /100 MeV), which should be compared to best limit of the model in the text, arising from neutrino oscillations, g X < 4 × 10 −3 (M X /100 MeV). For the B s , the total width bound is stronger than the B d case by an order of magnitude, since the Xbs coupling would be proportional to V cb which is ten times larger than V ub . More precisely, g X < 2.8 × 10 −6 (M X /100 MeV).
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.