Electric dipole moments in natural supersymmetry

We discuss electric dipole moments (EDMs) in the framework of CP-violating natural supersymmetry (SUSY). Recent experimental results have significantly tightened constraints on the EDMs of electrons and of mercury, and substantial further progress is expected in the near future. We assess how these results constrain the parameter space of natural SUSY. In addition to our discussion of SUSY, we provide a set of general formulas for two-loop fermion EDMs, which can be applied to a wide range of models of new physics. In the SUSY context, the two-loop effects of stops and charginos respectively constrain the phases of Atμ and M2μ to be small in the natural part of parameter space. If the Higgs mass is lifted to 125 GeV by a new tree-level superpotential interaction and soft term with CP-violating phases, significant EDMs can arise from the two-loop effects of W bosons and tops. We compare the bounds arising from EDMs to those from other probes of new physics including colliders, b → sγ, and dark matter searches. Importantly, improvements in reach not only constrain higher masses, but require the phases to be significantly smaller in the natural parameter space at low mass. The required smallness of phases sharpens the CP problem of natural SUSY model building.


Introduction
Supersymmetry (SUSY) is a promising solution to the hierarchy problem [1]. However, many new parameters induce significant flavor mixing or CP-violating processes which are severely constrained by experiments. Hence, for generic SUSY breaking, superparticles are required to be very heavy, reintroducing the (little) hierarchy problem. One way to address this problem is to consider a carefully chosen mechanism of SUSY breaking such as gauge mediation (for reviews, see refs. [2,3]). On the other hand, since only the first two generations of squarks and sleptons are relevant for flavor constraints, another possible path is to assume only stops (and the left-handed sbottom) and higgsinos are light. Importantly, it is these particles that are essential for the naturalness of electroweak symmetry breaking (EWSB). This spectrum is also favored from the point of view that direct bounds on stop and higgsino masses do not cause severe fine-tuning in spite of great advances in SUSY searches at the Large Hadron Collider (LHC). This framework is called natural SUSY [4][5][6], and is expected to ameliorate both direct collider constraints as well as indirect constraints on CP violation. LHC searches have begun to encroach on the territory favored by natural SUSY, so that even models of quite low-scale mediation of supersymmetry breaking are likely to be tuned by a factor of 10 or 100, though there is some room to evade the most severe bounds (for a wide range of perspectives on the current status of direct superpartner searches, see [7][8][9][10][11][12]).
Meanwhile, the last few years have seen significant progress in precision low-energy tests of CP violation. In 2013, the ACME collaboration improved the bound on the electron electric dipole moment (EDM) by an order of magnitude using thorium monoxide [13]. Within the last year, the bound on the mercury EDM has also been improved by a factor of 4 by Graner et al. [14]. These are highly constraining probes of new CP-violating physics, the former being an effective probe of electroweak CP violation and the latter of CP violation in physics coupling to QCD. Because EDMs are dimension six operators, roughly speaking the JHEP08(2017)031 scale of new physics probed by an experiment scales as the square root of the improvement in the EDM bound, so these results have pushed the mass reach of EDMs up by a factor of 2 or 3. Alternatively, for new physics of fixed mass, the constraint on new CP-violating phases scales directly with the improved bound. Because naturalness favors new physics at low mass, the required smallness of CP-violating phases is an important constraint on model building. Our goal in this paper is to quantify what the current and near-future EDM results tell us about the extent to which CP-violation is allowed in natural SUSY.
The effects of supersymmetric particles on EDMs have been extensively studied over many years. For instance, the two-loop Barr-Zee-type diagrams [15] generate electron and quark EDMs and chromo-EDMs (CEDMs) [16][17][18][19][20][21]. Possible SUSY contributions to the experimentally measured EDMs have been extensively studied especially in the minimal supersymmetric standard model (MSSM) [22][23][24]. However, it is timely to revisit the impact of supersymmetry on EDMs in light of the scenarios that are currently most favored by the LHC. One of the most important revisions to our understanding of supersymmetry is the knowledge that the Higgs boson mass is an unexpectedly heavy 125 GeV. In the context of the MSSM, achieving this mass without completely giving up on naturalness requires large values of the left-right stop mixing parameter A t (see [25] and references therein). This tends to enhance the expected EDMs, for generic CP-violating phases. Beyond the MSSM, other new physics operating at tree level could explain why the Higgs is so heavy. Such physics generally introduces new possible sources of CP violation, which have received little attention so far (though see [26,27]). Thus, both due to improvements in constraints on EDMs themselves and our altered perspective on the most plausible forms that supersymmetry can take, it is timely to revisit the assessment of what EDM experiments can tell us about SUSY.
The next few sections of this paper introduce some background material and develop general results that will be useful later. They may be skipped by readers who are interested in our conclusions but do not need all of the details of the derivations. In section 2, we present a set of very general results for the two loop fermion EDMs (and, with straightforward changes, CEDMs) induced by an inner loop of charged particles connected to an external fermion by one scalar and one vector (γh, γA, Zh, W ∓ H ± , etc.). Although we are aware of many specific results in the literature that rely on such calculations, we are not aware of a previous reference that presents formulas valid for completely generic couplings of the new particles, so we hope that these results may be useful for readers studying a range of models not limited to SUSY. 1 In section 3, we review the basics of natural SUSY including BMSSM effects to lift the Higgs mass [30], and establish our notation. In section 4, we provide a summary of the experimental status of paramagnetic, diamagnetic, and neutron EDM measurements. In each case, we review which operators contribute: these include not just fundamental fermion EDMs but also CP-violating four-fermion operators. We summarize the computation of all of the ingredients, referring to appendices for some of the details.
With this preparation out of the way, the core results of the paper (where many readers may wish to start their reading) begin in section 5 with a look at how two-loop effects of JHEP08(2017)031 stops constrain the phase arg(A t µ). 2 We consider the MSSM, in which given other SUSYbreaking parameters, the size of A t is fixed (and large) to obtain the correct Higgs mass of 125 GeV; and extensions of the MSSM in which the Higgs mass is lifted to 125 GeV by unrelated physics, which we assume does not supply a dominant contribution to the EDMs. We find that the present ACME experiment and the mercury EDM measurement give comparable constraints on the stop sector (which is stronger depends on highly uncertain nuclear physics), though an updated ACME result within the next year could surpass them. Already the constraints probe parameter space well beyond the reach of the LHC for orderone phases. In much of the parameter space, EDMs are a stronger indirect probe of the stop sector than b → sγ unless the CP-violating phase is 10 −3 or smaller. In section 6 we consider constraints on the phase arg(M 2 µ) from two-loop effects of charginos, which are highly constrained throughout the natural parameter space by ACME. In section 7 we consider constraints on phases of a new superpotential operator and soft term introduced to lift the Higgs mass. The analysis of the EDMs in this scenario was initiated in refs. [26,27]. We improve the analysis by including important contributions which have not been discussed in these references and are in fact dominant. We claim that severe constraints from the current EDM measurements lead to fine tuning of the electroweak breaking when generic CP-violating phases are assumed.
Importantly, as the EDM measurements continue to improve in the future -hopefully with not just a bound but a discovery! -they will not simply continue to probe higher and more unnatural masses, but also probe deeper into the regime of small CP-violating phases at fixed mass. Since the mass reach of the EDMs for order-one phases already significantly surpasses the LHC reach, this is quite important. At one time, the existence of models like gauge mediation could have been taken as an indication that the CP problem is readily solved. However, given that the µ-parameter sits uncomfortably within any model of supersymmetry breaking, one may have had qualms. The situation is now worse: in the MSSM away from the split SUSY limit, gauge mediation must be supplemented with a means of generating a sufficiently large A t . Beyond the MSSM, new interactions must be added to explain the Higgs mass. The more complex the model, the more opportunities there are for nonzero phases to enter. Even if phases enter the low-energy effective theory indirectly, as experiments become more sensitive, subleading effects become visible. As a result, we think that it will become increasingly interesting to carefully study not just the low-energy theory of natural SUSY but detailed models of SUSY breaking to understand which scenarios evade the SUSY CP problem and whether they will continue to escape the downward march of experimental bounds.

Two-loop EDMs of elementary fermions
Many two-loop ("Barr-Zee") contributions to fermion EDMs have been computed in the literature, but are often presented in special cases [15,[19][20][21]33]. The general structure is an inner loop -possibly a sum of multiple diagrams -generating either an effective JHEP08(2017)031 coupling of a photon to a scalar and vector or to two vectors. In certain limits, the EDM can be understood through a two-step operator analysis. If we compute the inner loop and take all legs on-shell, these correspond to effective Standard Model operators of higgsvector-vector type: or of "W boson dipole moment" type [16,34,35]: CP even : µν in other commonly-used bases like that of [38]. 3 (See [39] for a clear recent discussion of electroweak physics and translations between various operator bases.) After computing the inner loop in terms of a convenient basis of operators, we could then use the one-loop anomalous dimension matrix [40] to compute how these dimension-six operators feed into the dimension-six electron EDM operators.
In our analysis, we would like to keep multiple Higgs bosons in the theory -so that h above may represent either H u or H † d -and also consider regions of parameter space where particles in the inner loop may be light compared to the Higgs being exchanged in the outer loop. Hence we will work directly with two-loop computations rather than one-loop matching and RG running. In cases with large logarithms, matching and running may give more accurate (resummed) answers, but for now we apply the two-loop formulas uniformly across parameter space. However, it is still convenient to carry out the two-loop calculation by first computing the inner loop and then the outer loop -but to do so, we will leave the particles in the inner loop off-shell. For the inner loop with an on-shell photon of momentum q, one off-shell scalar S, and one off-shell vector V of momentum k, we define the answer as iΓ µν γV S (q, k), as shown in figure 1. Chromoelectric dipole moments are computed in a very similar manner, with a gluon replacing the photon, and with V required to be a gluon as well. Gauge invariance for the on-shell photon highly constrains the form that Γ µν γV S (q, k) takes: essentially, it must match onto SF µν V µν or SF µν V µν .
JHEP08(2017)031 Anticipating the form that the loop integral will take, we parametrize the result as: Here c E and c O (subscripts for "even" and "odd") are, in general, functions of x and of masses and couplings; ∆ in general depends on x and on masses but not on k and q. We have kept only the linear dependence on q, because this is sufficient for computing EDMs. Otherwise, we would not have been able to eliminate q-dependence from the denominators.
In the special case that S and V are real fields (for instance, a neutral Higgs boson and the photon or Z), we can take c E and c O to be real. In the case that S and V are complex, we label the vertex by the outgoing fields, and Γ µν γSV * = Γ µν γS * V * . In the case that the inner loop has only external vector lines -i.e., the W boson EDM contributions -the calculation has already appeared in great generality in the literature [35]. In this case the inner loop gives rise to a structure [41] and adjoining the two W boson lines to the external fermion gives rise to an EDM. Let us comment on other contributions to EDMs of elementary fermions and emphasize the importance of Barr-Zee-type contributions. A one-loop diagram is possible only if a new particle inside the loop has a lepton or baryon quantum number as in the case of slepton or squark contributions in the MSSM. Some two-loop diagrams such as the so-called rainbow diagrams also require new particles with lepton or baryon numbers. If we only add new electrically charged fermions without these quantum numbers, two-loop Barr-Zee-type diagrams are suppressed by only one power of small SM Yukawa couplings and are likely to give the leading contributions. It is also the case when we introduce new electrically charged scalars which do not mix with the Higgs boson h. Furthermore, in the case of new scalars, such as stops, which have lepton or baryon quantum numbers but do not (or hardly) couple to light fermions, the Barr-Zee contributions are dominant. The Barr-Zeetype contribution from each of these new particles is gauge invariant by itself. This can be understood from the fact that the inner loop of these particles can be replaced by the gaugeinvariant effective vertices corresponding to the operators of (2.1) and the expressions of JHEP08(2017)031 EDMs are gauge invariant as long as the effective vertices are gauge invariant [42]. On the other hand, if a new scalar is not only CP-violating but also mixes with the Higgs, there are important two-loop diagrams other than the Barr-Zee type. In particular, the Barr-Zee contribution from W boson loops gives nonzero EDMs in this case but the inclusion of non-Barr-Zee diagrams is essential to obtain a gauge-invariant result. We encounter this situation in the models discussed in section 7. A generic expression to include these non-Barr-Zee contributions is presented in (4.6). However, in many cases, the Barr-Zee-type diagrams give the most important contributions and are gauge invariant only by themselves.

Sign conventions
Before presenting concrete results, let us specify some conventions. We work in mostlyminus signature and take the covariant derivative to be In particular, for QED the Feynman rule for a charged fermion coupling to the photon is −ieQγ µ where Q = −1 for an electron. In some cases, the literature chooses the opposite sign for the gauge field coupling in the covariant derivative, equivalent to a field redefinition A µ → −A µ . The fermion EDM term in the Lagrangian is leading to a matrix element Here σ µν = i 2 [γ µ , γ ν ]. Notice that if the form of (2.6) is kept fixed while the sign of the covariant derivative in (2.5) is changed, the overall sign of the EDM d f will change. Alternatively, one could send A µ → −A µ and change both signs. The computations of EDMs that we present below agree with those in the literature except, in some cases, up to signs. Choices of sign conventions are not always stated explicitly in the literature. We have tried to consistently use (2.5) and (2.6) in all of our studies.

Neutral particle exchange
From the general form of Γ µν γSV (q, k), it is straightforward to compute the fermion EDM induced by attaching the S and V lines to the fermion propagator. We treat the fermion f as Dirac. Let us first assume that both S and V are neutral, and coupled to f via the effective Lagrangian Thus the vertices have Feynman rules i(g S f + ig P f γ 5 ) and i(g V f γ ν + g A f γ ν γ 5 ). In this case g V f , g A f , g S f , and g P f are all real numbers. Because S and V are neutral, we should add JHEP08(2017)031  together the two diagrams shown in figure 2. A useful identity is: where j(r, s) = 1 r − s r log r r − 1 − s log s s − 1 (2.10) is the same notation used in, for example, [20].
Computing the inner loop, we find the general result for the SV contribution to the EDM: In computing the c O term, it is useful to know that µναβ γ α γ β = −i [γ µ , γ ν ] γ 5 . Notice that the axial-vector coupling of V to the fermion drops out of the EDM calculation.

Charged particle exchange
Next we consider the more general case, illustrated in figure 3, in which the fields S and V are complex and their couplings change the incoming fermion f to a different fermion f . This is relevant for considering diagrams where the inner loop produces a vertex like γW ± H ∓ . In this case our effective Lagrangian is  . Scalars φ and ω running in the inner loop to produce an effective γS * V vertex. If φ and ω are indeed distinct, there are two additional diagrams with exchanged labels φ ↔ ω. In the case V = W ± , there are additional diagrams involving a W + W − γ vertex (see e.g. [18]), which are necessary to obtain a gauge-invariant result. and the coupling constants are no longer real: their complex conjugates appear in the hermitian conjugate terms with f and f interchanged. The novel feature here, relative to the neutral case, is that two diagrams appearing in figure 3 have couplings which are complex conjugates of each other.
In this case, we find

Example couplings
To clarify our conventions, we have listed the couplings g V,A,S,P for gauge and Higgs bosons to electrons, up quarks, and down quarks in appendix A.1. Among the more important are that g V f = −Q f e for photons, g V f = − g 2 cos θ W (T 3 − 2Q f sin 2 θ W ) for Z bosons, and g S f = −m f /v for the Standard Model Higgs (where, throughout the paper, we use the convention v ≈ 246 GeV).

Scalars in the inner loop
We begin with scalars running in the loop. In this case we always have c O = 0. In general, we can consider a vertex with outgoing photon A µ , vector V ν , and scalar S * generated by two scalars φ and ω running in the loop, as depicted in figure 4 at left. (The asterisk here denotes conjugate; both S * and V are off-shell.) At right is a similar diagram with outgoing V * ν and S. (If V and S are neutral, the two diagrams contribute to the same amplitude.) The Feynman vertex for an outgoing vector V * ν , incoming φ with momentum p φ , and outgoing ω with momentum p ω is taken to be −ig V φω (p φ + p ω ) ν . In the general case of distinct scalars φ and ω this corresponds to the Lagrangian 14)

JHEP08(2017)031
where g V * ωφ = (g V φω ) * . The Feynman vertex for an outgoing scalar S * , incoming φ, and outgoing ω is denoted ig S φω . In the general case where φ and ω are distinct, this corresponds to the couplings where g S * ωφ = (g S φω ) * . Having fixed our conventions, we find that the contribution of the diagram at left to Γ µν γS * V is given by (2.3) with the choices , (2.16) while the diagram at right contributes to the conjugate vertex Γ µν γSV * : In general, when φ and ω are distinct scalars and ω also carries a charge, there will be additional contributions where the roles of the two scalars are interchanged. In the special cases that both S and V are neutral, we may directly add the two contributions (2.16) and (2.17) together. In particular, when V is a photon, we must take ω = φ, g S * ωφ = g S φω ≡ g S , g V φω = g V ωφ = −eQ φ , so that the result collapses to . (2.18) In the case of stop loops, this matches the result of [17], although as written it takes a different form: we can exploit the x → (1 − x) symmetry of the 1 x(1−x) j(0, z x(1−x) ) factor to add odd powers of (2x − 1) 2 to the numerator of the integrand, replacing x(1 − x) 2 with x(1 − x)/2.

Fermions in the inner loop
Now we consider the case of general fermions circulating in the inner loop. Again, in general two distinct fermions can appear, which we label ψ and χ as shown in figure 5. To facilitate comparisons with the literature, against our better judgment we work with four-component Dirac fermion fields. The scalar Feynman rule for a vertex with outgoing scalar S * , incoming fermion ψ, and outgoing fermion χ is taken to be i(g S ψχ + ig P ψχ γ 5 ), corresponding to the Lagrangian L ⊃ S s χ(g S ψχ + i g P ψχ γ 5 )ψ + S † s ψ(g S * χψ + i g P * χψ γ 5 )χ, (2.19) JHEP08(2017)031 where g S * χψ = (g S ψχ ) * and g P * χψ = (g P ψχ ) * . Similarly, the Feynman rule for an outgoing vector V * ν , incoming ψ, and outgoing χ is taken to be i(g V ψχ γ ν + g A ψχ γ ν γ 5 ), corresponding to the where g V * χψ = (g V ψχ ) * and g A * χψ = (g A ψχ ) * . For the general fermion loop at left in figure 5 we find a contribution to Γ µν γS * V : The diagram at right contributes to the conjugate vertex Γ µν γSV * : As in the scalar case, we should also keep in mind that if χ is charged (and is not the same field as ψ) then there are two additional diagrams to consider.
In the special case that V is a photon, we must take χ = ψ. When we include the two diagrams with ψ lines propagating in both directions (or equivalently, cross the external photon lines), we find a total contribution:

JHEP08(2017)031
where the → indicates not equality but equivalence when integrated; due to the x ↔ 1 − x symmetry of the remaining factors we have added (x − 1/2) to (1 − x) to produce 1/2.

Naturalness and tuning
The framework of natural or effective SUSY is based on assuming that particles that play a key role in electroweak naturalness are relatively light. At tree level, these are the higgsinos and heavy Higgs bosons; at one loop, the stops, winos, and binos; and at two loops, the gluinos. Most other superpartners have small couplings to the Higgs and can be quite heavy. Naturalness puts stringent constraints on chargino parameters. If we wish to have a supersymmetric explanation for the hierarchy problem without significant fine-tuning, both |µ| and |M 2 | are bounded above. Here we will provide a crude, but useful, characterization of this tuning (for recent detailed comments on tuning and the role of corrections, see [43]). The higgsino mass is controlled by the µ-parameter, which is directly relevant for minimization of the Higgs potential, and the LEP experiments constrain this as µ 100 GeV [44][45][46][47].
The parameter µ appears in the tree-level Higgs potential, implying significant fine tuning when µ m Z [48]. In particular, the degree of fine-tuning is approximately [48] (3.1) On the other hand, the wino mass affects the Higgs potential only at one loop; it is often ignored because it plays little role in collider production, but nonetheless is present in a fully natural spectrum (see e.g. [6]), with: where m h ≈ 125 GeV is the light physical Higgs boson mass and M med is the scale at which SUSY breaking is mediated to Standard Model superpartners. In our numerical estimate we have assumed a low mediation scale M med ≈ 100 TeV (in other words, we expect the tuning to be larger in many models). The heavy Higgs fields of the MSSM play an underappreciated role in natural SUSY. Their masses can be naturally large, but only when tan β is also large [49][50][51]. The tuning associated with taking large m A depends somewhat on the details of how we lift the Higgs mass to 125 GeV, but for our purposes we will simply estimate This is an additional tuning, independent of the tuning associated with µ (but perhaps correlated with it, in particular models). In [51] it was argued that b → sγ constraints shut off the prospect of simultaneously sending m A , tan β → ∞ consistent with naturalness. As we will see below, if CP phases are generic, similar statements can be made about EDM constraints.

JHEP08(2017)031
Light stops are also crucial because top/stop loops generate the up-type Higgs soft mass squared m 2 Hu . Then, the degree of fine-tuning can be estimated by the sizes of stop soft masses m Q 3 , m u 3 [49,52], where A t is the A-parameter corresponding to the top Yukawa coupling y t and m stop ≡ (m Q 3 m u 3 ) 1/2 is the geometric mean of the two stop soft masses.
The gluino also has an important effect on naturalness because its running effect on stop masses is significant. The lower bound on the gluino mass from direct searches depends on its decay chains, but even in scenarios relaxing the bound such as R-parity violation, the gluino mass is still required to be heavier than 1.2 TeV [8]. Numerically, the naturalness bounds on winos and gluinos are similar for low mediation scales, so the additional attention usually paid to gluinos is mostly due to its large production cross section at hadron colliders. The gluino has little effect on our discussion of EDMs. Conversely, winos are much more difficult to search for at colliders, but will play a key part in EDM constraints.
The first and second generations of squarks and sleptons, which can give rise to one-loop EDMs of light quarks and electrons, can be quite heavy in natural SUSY. Hence, we will not discuss one-loop EDMs of light fermions in this paper. They can play important roles, even in PeV-scale split SUSY, but the details will hinge on questions of flavor physics involving more assumptions or model-building; see for instance [53,54]. In the natural SUSY context it is possible that their effects are quite small. When the cutoff scale of the theory is very high, such as the grand unification scale, these heavy scalars are required to be not heavier than O(10) TeV because m 2 Q 3 is driven to be tachyonic by the two-loop renormalization group (RG) effect [55]. In this case, we still need some alignment of their soft masses to satisfy flavor constraints. This scenario can be realized, for example, by considering theories with multiple copies of the Standard Model gauge groups and SUSY breaking provided by gauge mediation [56]. On the other hand, when the cutoff scale of the effective theory with only light multiplets -stops, the left-handed sbottom, higgsinos and gauginos -is of order 10 TeV, the first and second generations of squarks and sleptons can be heavy enough to satisfy flavor constraints. Warped/composite natural SUSY [57][58][59], where the top and left-handed bottom quarks, the Higgs fields, the gauge fields and their superpartners are composite or partially composite (In the 5D language, they are localized at the IR brane or propagate in the bulk of the extra dimension), corresponds to this case. This class of models does not need to assume any flavor alignment or CP conservation and gives a good example of the scenario discussed in the present work. However, we do not assume any specific model below, and the effects that we discuss may coexist with one-loop effects of squarks and sleptons in some models.

Higgs sector physics
One of the tightest constraints on supersymmetry is the experimental measurement of the 125 GeV Higgs boson mass. In the MSSM, at tree level, the Higgs mass is bounded above JHEP08(2017)031 by the Z boson mass. To explain why the Higgs has been observed to be much heavier than the Z boson, we must either assume large loop corrections to the Higgs mass or new tree-level physics beyond the MSSM. These different scenarios have implications for the parameter space of SUSY which in turn affect the ways in which EDMs may arise. We will consider a few different scenarios below.
The first scenario is that the Higgs boson mass is lifted by loops of stops with large left-right mixing parameter A t . This is the most natural region of MSSM parameter space in light of the data, although it still requires a high degree of fine tuning (see, for instance, [60]). As we will see below, two-loop EDMs induced by stops are proportional to Im(A t µ), so the large A t scenario can lead to detectably large EDMs. Although we will not discuss it in this paper, it is also possible to lift the Higgs mass through loops of new vectorlike particles beyond the MSSM [61][62][63][64][65][66]. Many of the conclusions that we will draw about EDMs induced by stops in the MSSM with large A-terms in section 5.1 below would also apply to new particles beyond the MSSM in these theories.
The second scenario is that the physics that lifts the Higgs mass does not contribute directly to EDMs. An example is new tree-level D-term contributions, which can come from extra gauge interactions of the Higgs fields [67][68][69]. As discussed in ref. [30], after integrating out the massive gauge fields, the effect of the extension is encapsulated in dimension-six Kähler potential operators. We do not expect no new CP-violating phases beyond the MSSM in this case (in particular, if the new gauge field is abelian there are not even new charginos that could mix with the usual ones) and ignore the correction to the Higgs potential below. Nonetheless, we can still draw conclusions about the expected size of EDMs based on naturalness arguments in such a scenario. For example, an A-term will be generated radiatively from the gluino mass, so unless some tuning cancels it, this will provide a minimum size to the EDM even when the A-term is not as large as in the scenario with highly-mixed stops that raise the Higgs mass.
The third scenario that we will consider is that the Higgs mass is lifted by new treelevel F -term contributions. We treat these as dimension-five operators beyond the MSSM, a scenario that has been referred to as the BMSSM [30]. These effective operators could serve as an approximate stand-in for scenarios like [60,70,71] with new degrees of freedom in the Higgs sector. We will discuss this scenario in detail in section 7 below, but introduce the basic idea here. The BMSSM involves two new operators of effective dimension five. The superpotential of the Higgs sector includes one such operator, where is some cutoff scale of the Higgs sector. In addition, λ is a dimensionless coupling constant which is complex in general. The other leading higher dimensional operator comes from the corresponding soft SUSY breaking term, where m SUSY is a SUSY breaking mass parameter whose absolute value is O(100) GeV. This is also complex in general. With the new operators of (3.5) and (3.6), the scalar JHEP08(2017)031 potential of the Higgs sector is given by where V MSSM is the MSSM Higgs sector scalar potential and Note that the new operators provide two additional CP violating phases. We assume that the cutoff scale of the Higgs sector is larger than several TeV. Then, (the absolute value of) the two parameters 1,2 are small. If we turn off 1,2 , this scenario reduces to the MSSM. Hence, this is the most general case which we consider in this paper. A detailed discussion of how the BMSSM scenario modifies the mass spectrum of higgses, charginos, neutralinos, and stops is presented in section 7.1.

Calculations of the EDMs and experimental constraints
There are three main classes of experiments in EDM searches: the EDMs of paramagnetic atoms/molecules, diamagnetic atoms and hadrons (for reviews of the EDMs, see e.g. refs. [72,73]). They are distinguished in terms of the underlying physics leading to EDMs. In every case, the experimental measurement does not only directly probe EDMs of elementary fermions (as discussed in section 2), but a more general combination of CP violating operators, generally including four-fermion operators. The world record in paramagnetic systems has been given by the measurement of the EDM of the paramagnetic ThO molecule by the ACME collaboration [13]. For diamagnetic atoms and hadrons, the best limits have been provided by the mercury and neutron EDMs respectively. Among these three classes of experiments, the EDMs of paramagnetic atoms and molecules do not suffer from hadronic uncertainty in their calculations. Non-observation of these EDMs gives unambiguous and stringent bounds on possibilities for physics beyond the Standard Model. We first consider this class of measurements and then discuss the mercury and neutron EDMs.

Paramagnetic EDMs: operators probed and experimental status
The EDMs of paramagnetic systems are dominated by the electron EDM d e and the electron-nucleon interaction. The fermion EDM was defined in equation (2.6). The CP-odd electron-nucleon interaction is Here, we have suppressed dependence on the isospin. The effective electron EDM as measured with the paramagnetic ThO molecule, which is normalized to reduce to the electron EDM in the case with C S = 0, is then given by [74] where k = 1.6 × 10 −15 GeV 2 e cm. The experimental limit is imposed on the absolute value of d ThO . In paramagnetic systems, the effect of the electron EDM is enhanced and strongly constrained from the measurement.

JHEP08(2017)031
The current limit of the effective electron EDM measured in paramagnetic systems has been provided by the ACME experiment [13]: Projected future limits from improvements of ACME are [75] ACME II : |d ThO | < 0.5 × 10 −29 e cm, (4.4) ACME III : Some of the important improvements that will play a role in ACME II have already been demonstrated [76], and a new result is expected within the next year.

The electron EDM
Let us consider contributions to the electron EDM. We will not consider the one-loop diagrams with a selectron, as mentioned above, because sleptons play little role in natural SUSY and incorporating them would require a careful treatment of flavor physics (but see [53,54]). There are many two-loop contributions to the electron EDM which can be computed using the results we presented in section 2 and arise from diagrams shown in figure 6 (there are also mirror graphs). 4 These include effects of stops, tops, charginos, and W bosons running in the inner loop, connecting to the outer loop by gauge fields and Higgs bosons. Contributions with a Z boson [21] are small for the electron EDM, due to the small vector coupling of the electron to Zs; they are more important for the EDMs of quarks. The diagrams with stops, tops, charginos, and charged Higgs bosons in the inner loop are all special cases of the results presented in section 2; specific choices of couplings to plug in to the formulas are presented in more detail in appendix A and some selected results for EDM contributions are presented in appendix B. The diagram with W bosons in the inner loop cannot be derived from the general results of section 2, due to additional complications associated with gauge invariance and the W couplings to the external fermions. In the MSSM, this contribution appears at a higher loop order, but in the BMSSM with tree-level CP violation in the Higgs sector there is a nonzero two-loop contribution in the present setup and we cannot neglect it. The calculation of this contribution was initiated by Barr and Zee in their original paper [15]. Ref. [42] has considered contributions from Nambu-Goldstone modes and non-Barr-Zee-type diagrams and obtained a gauge invariant result for the EDM. With our notation, the expression is where the loop functions f and g are

The CP-odd electron-nucleon interaction
The electron-nucleon interaction also contributes to the EDMs of paramagnetic atoms/molecules and also the EDMs of diamagnetic atoms and hadrons. To derive the coefficient C S , we first consider CP-odd four fermion operators, The coefficients C f f are given by From these interactions, we find the coefficient of the electron-nucleon interaction, where we have used m s N |ss|N 49 MeV and m b N |bb|N 74 MeV [78]. Without new CP phases beyond the MSSM, the CP-odd four fermion operators come from the wrong-Higgs Yukawa couplings [22]. As shown in the right diagram of figure 7, finite one-loop corrections of gauginos or higgsinos induce the wrong-Higgs Yukawa coupling of bottom quarks, We present the detailed formulas in appendix A.2 based on [19]. The contribution from the CP-odd four fermion operators is important for the EDMs of paramagnetic atoms/molecules for a large tan β in the MSSM.

The neutron EDM: operators probed and experimental status
The most famous contribution to the neutron EDM comes from the theta term in the Standard Model. This contribution can be removed by the usual Peccei-Quinn (PQ) symmetry [79] via a dynamical axion, which we assume here. In this case, the neutron EDM is dominated by the EDMs and the CEDMs, of up and down quarks. Here, g s is the SU(3) C gauge coupling and G µν ≡ G a µν T a (a = 1, · · · , 8) is the gluon field strength. In addition, the dimension-six Weinberg operator [80], where f abc is the structure constant andG µν = 1 2 µνλσ G λσ , and the four-fermion operators (4.8) may give important contributions. Although these contributions suffer from large QCD uncertainties, consistent calculations using QCD sum rule techniques have been developed [23,81,82]. The result of the neutron EDM is summarized as [24] d n = ∆d n (d q ,d q ) + ∆d n (w) + ∆d n (C f f ) , (4.14) where d q ,d q (q = u, d) are evaluated at the electroweak scale and these contributions have been reliably calculated. The lattice calculation has also presented the result of the EDM part [83] which is consistent with the QCD sum rule calculation. The calculations of the Weinberg operator (4.16) and the four-fermion operators (4.17) still have large uncertainty and even the signs are not determined. The Weinberg operator is evaluated at 1 GeV. The current limit on the neutron EDM is [84]:

The neutron EDM: computation
The quark EDMs are generated by two-loop diagrams shown in figure 6, as in the case of the electron EDM. For the CEDMs, the diagrams are similar to the ones shown in figure 6 with photons replaced by gluons. For instance, the stop contribution is expressed as The couplings Γ H it * ata are defined in appendix A.3. The Weinberg operator is generated by the two-loop gluino or higgsino exchange diagram [85]. However, the RG evolution of this operator suppresses its contribution [86,87]. Another contribution comes from the CEDM of the bottom quark, which generates the Weinberg operator through a threshold correction at the scale m b [23], The b-quark CEDM is generated by one-loop diagrams with a higgsino exchange [88] as shown in figure 8. The details of the calculation are presented in appendix B.3. The fourfermion operators are generated by the neutral Higgs boson exchange and the coefficients C bd,db are given by (4.9).

The mercury EDM: operators probed and experimental status
The most important contribution to the EDMs of diamagnetic systems such as mercury is given by the Schiff moment which mainly comes from CP-odd pion-nucleon interactions, JHEP08(2017)031 (1) is induced by the CEDMsd u,d [89] and the four quark operators C q 1 q 2 . The couplingḡ (0) is induced by the CEDMsd u,d . The mercury EDM also has contributions from the electron EDM d e and the CP-odd electron-nucleon interactions. The resulting expression of the mercury EDM has been estimated as [24] d where κ ≡ N |m ss s|N /220 MeV = 0.22 ± 0.045 ± 0.068 [78]. We have corrected the relative coefficient of C P compared to C P from that of [24] according to [90]; it is approximately −1. The electron-nucleon interactions C P , C P are defined as L eN ⊃ C Pē eN iγ 5 N + C Pē eN iγ 5 τ 3 N . They are given by C eq m q .

(4.22)
Note that the central value is shown in each term of (4.21) which has large uncertainty. For example, the coefficient of d e in the expression is highly uncertain [91]. Below, we will use the estimated coefficient ofd d in the above formula to make approximate comparisons of the relative reach of the mercury EDM, electron EDM, and b → sγ for new physics. However, in presenting exclusion plots in figures, our numerical results for the mercury EDM use a more conservative constraint on the quark CEDMsd u ,d d obtained by a likelihood analysis explained in appendix C. We present results for two different nuclear physics calculations of how d Hg depends on pion-nucleon couplings: case (i) based on [92] and case (ii) based on [93]. In both cases we marginalize over other uncertainties, for instance arising from QCD sum rule estimates of how pion-nucleon couplings depend on quark CEDMs. The two scenarios (i) and (ii) produce significantly different results, indicating that the interpretation of the mercury EDM is overwhelmingly dominated by uncertainties in nuclear physics that will have to be addressed by theorists in order to understand what any future experimental observation of a nonzero result is telling us about new physics. The bound that we find from scenario (ii) could be interpreted as conservative.
The most recent experimental limit on the mercury EDM is [14] |d Hg | < d max Hg ≡ 7.4 × 10 −30 e cm. (4.23) All of the necessary ingredients to compute the mercury EDM have already been discussed in the previous subsections.

JHEP08(2017)031 5 Stop contributions
We now numerically study implications on the parameter space of CP-violating natural SUSY from the present and projected EDM measurements. As discussed in section 3.2, we consider three scenarios to lift up the Higgs boson mass. The first scenario is the MSSM with near-maximal stop mixing. The large A t -term with a CP-violating phase leads to sizable EDMs (because we can always rotate H d to remove a phase in b µ , we will sometimes simply denote this phase by arg (A t µ)). The second scenario is to introduce extra gauge interactions of the Higgs fields. After integrating out the massive gauge fields, the Higgs mass is increased by dimension six operators in the Kähler potential of the Higgs fields. As in the first scenario, there is no new CP-violating phase beyond the MSSM. The A-term can now be relatively small, but it will nonetheless be induced by renormalization group effects, so the phase φ t originates from arg(Mgµ). Finally, we consider the scenario where the new Higgs interactions of (3.5) and (3.6) lift the Higgs boson mass. In this scenario, we concentrate on two new phases associated with the new Higgs interactions. Because the physics of these phases is rather different from that of φ t , we postpone the discussion until section 7. Thus, in the remainder of this section, we consider φ t = 0 and set all other CP-violating phases in the MSSM to zero for simplicity. We find that one of the most important effects of the stops is the generation of quark CEDMs, which are strongly constrained by the experimental tests of the mercury EDM. These contributions may be readily understood through the general 2-loop formulas of section 2. (The first calculations may be found in [17].) The CEDMs are generated with an inner loop with two external gluons and one pseudoscalar Higgs boson A 0 . In terms of the stop mass eigenstates, the relevant couplings are the diagonal ones: where in the small-mixing limit, This coupling may be substituted where the general g S φω appears in equation (2.16). More general expressions for the couplings of stops to the Higgs, valid also in the presence of additional Higgs-sector phases, are given in the appendix A.3.
From this we can extract, based on our general results, the CEDM of the down quark: A similar expression holds for the up quark, but is suppressed in the large tan β limit. These expressions may be easily understood in the limit mt m A by first integrating out the stops to produce an effective A 0 G a µν G aµν operator JHEP08(2017)031 and then computing the mixing of this operator with the quark CEDM, using the limit F (z) → − 1 6z log z for z 1. The mercury EDM is approximately d Hg /e ≈ −7 × 10 −3d d (assuming the central value) whereas the electron EDM d e /e is controlled by a formula similar to the right-hand side of (5.4) but with α s m d → 2N c Q 2 t αm e . (The factor of 2 comes from tr(T a T b ) = 1 2 δ ab in the CEDM case.) In other words, for a given point in parameter space, we expect the ratio of mercury EDM to electron EDM (as inferred from ThO) to be about so the mercury measurement is currently more constraining for stops by a factor of slightly more than 4 in the EDM or ∼ 2 in stop mass. However, as described before, the mercury EDM suffers from large theoretical uncertainty and it may not be appropriate to assume the formula using the central value like d Hg /e ≈ −7 × 10 −3d d . More careful treatments will be performed in numerical studies.
Although the CEDM, via the measurement of mercury, is likely to be currently the strongest EDM constraint on stops, in the near future an improved bound on the electron EDM from the ACME collaboration is expected to surpass the current constraint from mercury.

The MSSM with the near-maximal stop mixing
We first consider the MSSM with large A t terms in order to explain the 125 GeV Higgs boson mass with relatively light stops (see, for instance, ref. [25] and references therein). As discussed above, the dominant effect will be two-loop EDMs and CEDMs, which for down-type fermions are tan β-enhanced. In addition, a stop/higgsino loop induces the wrong-Higgs Yukawa coupling of bottom quarks which generates a CP-odd four fermion operator as in (4.9) and (A.12). From the expression of (4.10), the contribution from the CP-odd electron-nucleon interaction is given by Then, we can discuss current and projected constraints on stop masses from the paramagnetic ThO molecule in terms of the effective EDM (4.2). For the neutron EDM, there are the stop contributions to the quark EDMs and the CEDMs, together with CP-odd four fermion operators, with total given in (4.14). The mercury EDM constraint can be calculated from the likelihood analysis given in appendix C.
We now numerically analyze current and projected constraints on stop masses from the EDM of the paramagnetic ThO molecule and the neutron and mercury EDMs. For simplicity, we assume m Q 3 = m u 3 = m stop . For each choice of m stop , tan β, and m A , the absolute value of A t is fixed to obtain the correct Higgs boson mass. We use the SusyHD JHEP08(2017)031 Hg (i) code [94] for this calculation of the Higgs boson mass. There are still moderately large theoretical uncertainties in Higgs mass calculations; see [95,96] for recent discussions. If an EDM is detected in the future, and we wish to interpret it in the MSSM, a careful assessment of such uncertainties would be desirable. For now, we expect that our results give a reasonably accurate view of the constraints on parameter space. Figure 9 shows constraints on stop masses, tan β, and m A in the MSSM with nearmaximal stop mixing. In the dark shaded region, no choice of A t suffices to obtain m h = 125 GeV. Away from this region, A t is always selected to obtain the correct Higgs mass. We take |µ| = 350 GeV and assume that the masses of the first and second generations of squarks, the right-handed sbottom and sleptons are 10 TeV and the three gaugino masses are 2 TeV. When varying tan β we fix m A = 400 GeV and when varying m A we fix tan β = 10. The plot illustrates that the strongest current constraints come from measurements of ThO and Hg, ruling out stops above 2 to 3 TeV over a wide range of moderately large tan β and pseudoscalar Higgs masses below the TeV scale. One can evade the constraint by lifting the pseudoscalar Higgs mass above about 3 TeV, but at the price of introducing additional JHEP08(2017)031  Figure 10. EDM constraints on stop parameter space. This is very similar to figure 9, except that we no longer assume the MSSM, so the A-term is not constrained by the Higgs boson mass. Instead, we take into account the expected size of an A-term induced by RG running from the gluino mass, as in (5.8). The red solid and dashed contours ("Hg (i)" and "Hg (ii)") denote the mercury EDM constraint for the two nuclear physics computations discussed in appendix C. tree-level fine-tuning in the Higgs sector. In the MSSM, achieving a large enough Higgs mass always requires worse than percent-level tuning from stop loops, but for large CP phases this is made significantly worse by the EDM constraint. The figures also illustrate that the upcoming update from ACME II is expected to significantly improve over the current constraint from mercury, while ACME III will push the bounds on stop masses out to nearly 10 TeV. The neutron EDM constraint is not shown because it is currently substantially weaker than the ThO and Hg constraints.
Because EDMs are dimension six operators, bounds on masses of new particles roughly scale as the square root of the sensitivity to the EDM. However, for fixed masses, the EDM measurements directly probe smaller CP violating phases. Stop and pseudoscalar Higgs masses near 1 to 2 TeV are currently constrained only for nearly-maximal CP violating phases, but ACME III constrain such masses to have percent-level phases or smaller. This is potentially a very powerful constraint on models of supersymmetry breaking.

Extra gauge interactions
Our second scenario raises the Higgs mass through new interactions that do not significantly influence the EDMs, for example by new abelian gauge interactions of the Higgs fields. After integrating out the massive gauge fields, the Higgs mass is uplifted by dimension six operators in the Kähler potential of the Higgs fields. As in the first scenario, there is no new CP-violating phase beyond the MSSM. Now we no longer have the constraint that A t must be chosen to achieve a correct Higgs mass. However, the gluino mass Mg leads to a JHEP08(2017)031 sizable A t by the running correction, Here, g s is the color gauge coupling. The choice of Mg at 2 TeV is motivated by the approximate upper end of current collider searches, and involves mild tuning for electroweak symmetry breaking [12,43]. That is, we necessarily expect this size of A t without unnatural tuning. (See section 3.1 of [51] for a more detailed discussion of the expected size of A t induced from the gluino mass, including a figure showing results including a more careful solution of the RGEs.) Figure 10 shows the constraints on stop masses and tan β from the paramagnetic EDM and the mercury EDM in the scenario with extra gauge interactions of the Higgs fields. The curves are similar to those shown in the MSSM case, but due to the smaller values of the A-terms considered, the reach is more modest. Nonetheless, again the mercury EDM (for the case (i)) already constrains the region where stops and pseudoscalars are below 1 TeV, and future ACME improvements (labeled "ACME II" and "ACME III") will push toward large mass regions with tuning of a part in a thousand, and to CP violating phases of order 10 −2 in the sub-TeV mass region. In this scenario, because the Higgs mass is assumed to be decoupled from the spectrum of stops, there is at least a chance that a fully natural model could be realized. Figure 10 shows that in the region of possibly low fine-tuning, order-one CP violating phases are already excluded.

Comparison to the b → sγ constraint on stops and higgsinos
The EDM induced from stop loops depends on the off-diagonal terms in the stop mass matrix, being proportional to arg(A t µb * µ ). A number of other precision CP-even observables depend on the value of A t µ, and it is interesting to ask how the new physics reach of EDMs compares to that of such observables. Interestingly, these observables depend crucially on left-right stop mixing, and thus are nonzero even in the "stop blind spot" region of parameter space in which the lighter stop mass eigenstate decouples from the Higgs boson. The blind spot is difficult to probe with traditional precision electroweak observables [97,98].
The deviation of the b → sγ branching ratio from that predicted by the Standard Model is one interesting new physics observable induced by loops of stops and higgsinos. The leading dependence is roughly [99]

JHEP08(2017)031
In the limit µ ≈ m A , mt 1 ≈ mt 2 m A , the expressions simplify even more, and we find: In other words, in the region of parameter space where the stops are significantly heavier than the pseudoscalar Higgs, the CP phase φ t must be of order 10 −3 or smaller in order for the b → sγ constraint to be as important as the mercury EDM constraint. In the opposite limit m A mt 1 , mt 2 , the EDM decouples while the b → sγ constraint remains unchanged. As a result, the b → sγ constraint is stronger in this region of parameter space, though for order-one CP violating phase and stop masses near a TeV it does not dominate until m A 40 TeV, well outside the natural range of parameters even for quite large values of tan β.
The experimental bound on b → sγ is often viewed as one of our most important indirect constraints on natural realizations of supersymmetry [51,103,104]. Here we have shown that, in any scenario in which the phase of A t µ is larger than about 10 −3 , the EDM constraint will be even more important. This tightens the argument of [51] that there can be no natural decoupling of the heavy Higgs bosons at large tan β consistent with precision bounds, unless one can build a model in which the CP phase is naturally very small.

EDM constraints in the chargino sector
In this section we will discuss constraints from electric dipole moments arising from the relative phase between wino and higgsino masses, i.e. those proportional to arg(µM 2 b * µ ). These arise from charginos running in 2-loop Barr-Zee-type diagrams [19,105]. In the context of split supersymmetry, in which we decouple all new particles except neutralinos, charginos, and gluinos, the dominant contributions arise from two-loop Barr-Zee diagrams involving exchange of the light Higgs boson [20,106]. As emphasized in [36], similar bounds would play a role in the much more general context of vectorlike fermion dark matter coupled to the Higgs boson. In the larger context of natural supersymmetry, the additional Higgs bosons play a major role and can mediate the dominant chargino effects at large tan β [21]. We will take these two scenarios in turn, first focusing on the split-SUSY-like limit of a single light Higgs boson and then turning on the effects of additional Higgs bosons.
Because charginos carry no color charge or flavor charge, they do not lead to two-loop CEDMs of quarks or to four-fermion operators. Only their two-loop contributions to the EDMs d e and d q will play a role. As a result, they influence the mercury EDM only through d e , which is more tightly constrained by the ThO EDM.

EDM constraints on charginos alone
If we have only one light Higgs, as in split supersymmetry, the chargino EDM is induced through two-loop diagrams of γh, Zh, and W W type, as computed in [20]. The Zh diagram is highly subleading for the electron EDM, but relevant for quark EDMs. We include all contributions. As explained in [106], the leading logarithmic dependence of the calculation JHEP08(2017)031  Figure 11. Constraints on chargino parameter space from the ACME constraint (and future projections) on the electron EDM d e , in the limit when all particles except charginos and neutralinos are decoupled. Notice that masses are in TeV. In both figures the CP-violating phase is taken to be π/4. The left figure shows the case tan β = 2 whereas the right figure shows tan β = 10.
Regions to the lower left of the blue curves are (or will be) probed by the ACME measurement.
We have d e ∝ sin 2β ∼ 1/ tan β, so the constraints are weaker at large tan β. Dotted green lines show contours of fine tuning arising from the effects of the higgsino and wino masses on the Higgs potential at tree level and one loop, respectively. The dark orange shaded regions involve a tuning purely within the chargino sector (unrelated to electroweak naturalness) and so are disfavored.
can be understood by first integrating out the charginos at one loop to obtain and then considering the one-loop anomalous dimension mixing this operator with a fermionic EDM. In figure 11 we show contours in the (M 2 , µ) plane corresponding to the current ACME bound, |d e | < 8.7 × 10 −29 e cm, as well as to projected future results (labeled "ACME II" and "ACME III"). Because the EDM contribution decreases at large tan β, we present two different results at tan β = 2 and 10 respectively. We can see that in either case, the parameter space with phase arg(µM 2 b * µ ) = π/4 and chargino masses below 1 TeV is already excluded. The next improvement will probe masses above 10 TeV. This is an extremely powerful constraint on supersymmetric parameter space. Some clues to the interesting range of values for M 2 and µ come from naturalness, gauge coupling unification, and dark matter. The higgsinos play a crucial role in precision unification of gauge couplings, but they can be as heavy as 1000 TeV while maintaining precise unification [107].
As discussed in section 3.1, naturalness puts stringent constraints on chargino parameters, preferring higgsinos below 300 GeV and winos below 1 TeV if we wish to avoid more than a factor of 10 tuning. To illustrate the degree of fine-tuning, we depict JHEP08(2017)031 ∆ H, W = 30, 1000 with dotted green lines in figure 11. We see that in the natural region of chargino parameter space, large CP-violating phases are already excluded! A secondary naturalness consideration is that if the higgsino is much heavier than the wino, there is a one-loop threshold correction to the wino mass [108][109][110], where we have taken b µ real so that sin 2β = 2b µ /m 2 A . In theories where µ is on the same order as the scalar soft masses -e.g. when the Giudice-Masiero mechanism makes it of order m 3/2 and the soft masses are as well -the term in brackets is order-one. Even in the (mini-)split supersymmetry context, where we assume a fine tuning of the Higgs mass, it would take an additional fine tuning -and one without obvious anthropic motivation -to make the wino much lighter than this threshold correction. The shaded dark orange region at the upper left in figure 11 is the region excluded by this "naturalness" consideration (taking m 2 A = 2|µ| 2 for concreteness). The region in which |M 2 | |µ| is disfavored by similar logic, but it has generally been of less theoretical interest and so we cut off the plot at values of M 2 too low for it to be relevant.
A final consideration is dark matter. In the limit |M 1 |, |µ| |M 2 |, the thermal relic abundance of wino dark matter will overclose the universe unless |M 2 | 3 TeV. In the opposite limit |M 1 |, |M 2 | |µ|, the thermal relic abundance of higgsino dark matter will overclose the universe unless |µ| 1 TeV. In more general mixed scenarios, a sizable admixture of at least one of wino or higgsino should be present in the lightest neutralino, because binos alone have no significant annihilation channels. As a result, thermal neutralino dark matter is always expected to have a mass below about 3 TeV. In many nonthermal dark matter scenarios, for instance in cases of moduli or gravitino decays, one produces more dark matter than in the thermal context. As a result, if the lightest neutralino is stable, this provides a strong preference for the parameter space in the lower-left corner of figure 11. (The literature on neutralino dark matter is vast; some useful entry points for physics mentioned in this paragraph include references [111][112][113][114][115][116].) Since naturalness and dark matter both prefer that we have charginos in the range below a few TeV, we will now zoom in on the lower-left corner of our plot and examine the future ACME reach in more detail. In particular, because ACME I has already ruled out a large part of the parameter space with large CP-violating phases, it is useful to phrase the constraints in terms of the largest allowed phase for a given point in parameter space. We show this in figure 12 for the case of tan β = 2. The light Higgs contribution we plot scales as sin(2β), so the case tan β = 10 would be roughly a factor of 4 more pessimistic than tan β = 2, essentially shifting each label to the curve to its left. The left-hand panel shows the current constraint: all of the parameter space with electroweak tuning a factor of 30 or less is already at least mildly constrained at small tan β. ACME II will bring the constraint on the phase arg(M 2 µb * µ ) to percent level in this region of low electroweak tuning, and the next generation will probe phases at the 10 −4 to 10 −3 level. Of course, such a small phase does not necessarily require tuning in the sense that a large µ requires tuning for electroweak symmetry breaking. Nonetheless, the requirement of such small phases will be a JHEP08 (2017) Figure 12. A closer look at the low mass region: constraints on the chargino phase φ = arg(M 2 µb * µ ) as a function of the chargino mass parameters, with the current ACME electron constraint (left) and two future projections. Regions below and to the left of the blue curves are excluded. Again, we have superimposed dotted green contours of electroweak fine tuning associated with large higgsino or wino masses. strong constraint on possible mechanisms of supersymmetry breaking. Alternatively, there is great discovery potential in this low-mass, small-phase region of parameter space. The improvement in mass reach for a fixed phase scales as the square root of the improvement in measurement of d e , but the improvement in phase for fixed mass scales linearly.

EDM constraints on charginos in the 2HDM context
The EDM constraint on pure charginos is very important in the context of split supersymmetry, motivated by gauge coupling unification and dark matter independent of naturalness. But this is not the full story. In versions of mini-split supersymmetry with scalars below the PeV scale, one-loop EDMs arising from phases in sfermion mass matrices are potentially as important as the chargino effects [53,54]. On the other hand, in theories of natural SUSY the chargino contributions can be even larger than what we have computed so far due to the effects of the heavy Higgs fields, which have tan β-enhanced couplings to the electron. This point has previously been emphasized in [21]. As we have discussed in section 3.1, the heavy Higgs fields of the MSSM play an underappreciated role in natural SUSY, leading to tree-level fine tuning if m A is large unless tan β is correspondingly large. However, large tan β can be constrained through predictions of enhanced new physics effects in processes like b → sγ. Here we will explore how EDM constraints behave as a function of m A and tan β.
The left-hand panel of figure 13 shows, for a fixed choice of M 2 and µ, how the electron EDM varies with m A and tan β. The parameters are chosen so that this point is marginally excluded by the current ACME measurement in the m A → ∞ decoupling limit when tan β = 2. We see that even at tan β = 10, when the EDM in the m A → ∞ limit is safe by about a factor of 4, this choice of M 2 and µ is excluded when the heavy Higgses are lighter than about 8 TeV. Furthermore, notice that taking the chargino-only limit that we plotted in figure 11 is associated with significant tuning cost; keeping m A light enough to pay only a factor of 30 tree level tuning, for example, increases the EDM by at least a factor of 2 (and much more when tan β is large).  Figure 13. Effect of including the full set of Higgs fields in two-loop chargino EDM contributions. Left: blue contours show the ratio of the electron EDM to the value 8.7 × 10 −29 e cm marginally excluded by ACME. We have fixed M 2 and µ to values for which the electron EDM saturates the current ACME constraint at tan β = 2 and m A → ∞. When m A is in the natural region, the electron EDM is significantly larger than when the heavy Higgses are decoupled. Green dotted lines indicate tree level tuning associated with the heavy Higgs fields. Right: here we show the current exclusion contours in the (M 2 , µ) plane for several different choices of phase (π/4 for blue dashed curves, π/40 for orange solid curves), m A (in GeV), and tan β. Regions to the left and below the curves are excluded.
The right-hand panel of figure 13 shows current exclusion contours in the (M 2 , µ) plane as the phase arg(M 2 µb * µ ), m A , and tan β are varied. The case m A = 10 TeV, tan β = 2 is comparable to the result shown above in figure 12; for larger tan β the effects of the extra Higgses are very important, and for smaller values of m A at or below the TeV scale the current measurement probes phases an order of magnitude smaller than are accessible in a theory with only a single light Higgs boson.

Comparison to collider and dark matter search constraints
Collider searches have so far covered only a small slice of chargino parameter space. LEP ruled out theories with light charginos; roughly speaking, we can view the LEP bound as stating that the lightest chargino should have mass above 100 GeV (though the precise bound depends on further details of the spectrum and decay chain). One of the more successful LHC searches is for the "disappearing track" signature of a wino LSP [117,118], which constrains |M 2 | 280 GeV in the limit |M 1 |, |µ| → ∞. The key point is that the charged wino is very nearly degenerate with the neutral wino and hence has a somewhat long lifetime, leaving a track that vanishes when it decays and the charge is transferred to a soft pion or electron [119][120][121]. To reinterpret the LHC Run 1 bound as a constraint on chargino parameter space, we use the lifetime computation and two-loop radiative wino mass splitting from [122]. However, note that their expression for the approximate tree-level JHEP08(2017)031  Figure 14. Constraints on chargino parameter space from collider searches. We take M 1 = 3M 2 , as in anomaly mediation, so that the LSP is either mostly wino-like or mostly higgsino-like. Highly wino-like LSPs are constrained by the ATLAS and CMS searches for disappearing tracks (left-hand corners of the plot), while points with charginos lighter than about 100 GeV are constrained by LEP (band in the center of the plot). The dashed green line is the higgsino mass at which the tree level tuning for electroweak symmetry breaking is a factor of 30.
splitting between wino mass eigenstates substantially underestimates the mixing induced when the higgsinos and binos are both below the TeV scale; we have instead computed the tree level splitting by directly diagonalizing the mass matrices. In much of the parameter space the tree level mixing-induced wino mass splitting is large enough that the decay is relatively prompt and the particle escapes the LHC disappearing track constraints. Interestingly, we find that the precise shape of the excluded region is highly sensitive to the relative phase of M 1 and µ, although we only show results for real M 1 and µ because the EDM constraint is far stronger than the LHC bound in the presence of generic CP-violating phases. We show the constraints from LEP's chargino exclusion and from the ATLAS Run 1 disappearing track search (which gives a very slightly stronger bound than the corresponding CMS search) in figure 14. Additional searches that constrain electroweakinos, such as searches for multi-lepton final states, may place weak additional bounds but have not yet dramatically exceeded the reach of LEP, except in cases with light sleptons or in certain cascades with a light bino. Fully interpreting the collider constraints goes beyond the scope of this paper (see, for instance, [123] or the very recent [124], which also looks at the disappearing track constraint across parameter space).
Mixed gaugino-higgsino dark matter is significantly constrained by direct detection results, of which the latest and most powerful are from LUX [125], PandaX-II [126], and Xenon1T [127]. Mostly-wino and mostly-higgsino dark matter are strongly constrained by searches for gamma rays from their annihilation, either directly (line searches) or via electroweak gauge bosons. Significant constraints come from Fermi-LAT dwarf galaxy searches [128,129]. Our choice of |µ| = 350 GeV for plots in section 5 is in part based on having the possibility of higgsino dark matter heavy enough to have escaped Fermi-LAT JHEP08(2017)031 bounds. A full update of the current constraints on electroweakino dark matter, or review of the literature, is beyond the scope of this paper, but we note that nearly pure higgsino-like dark matter with mass near a TeV is significantly outside the reach of any current or nearfuture dark matter detection or collider experiment. EDMs, especially the future updates from ACME, provide a uniquely powerful window on this region of parameter space.
Recent work drawing similar conclusions about the interplay between dark matter direct and indirect detection, EDM measurements, and collider searches may be found in [36,130]. Vectorlike electroweak particles, with chargino-like quantum numbers but more general couplings, may play a role in theories more general than SUSY. Adding such particles to a supersymmetric theory could help explain the Higgs mass and provide new dark matter candidates [66]. Because such a scenario involves larger Yukawa couplings than the higgsinos have, the EDM contributions would be even larger than the chargino contributions in the MSSM.

Higgs interactions beyond the MSSM
In this section, we discuss the case that the Higgs mass is lifted by new tree-level interactions beyond the MSSM that can involve CP-violating phases. First, we derive the mass spectrum of this extension of the MSSM. Then, we present the bounds on EDMs in this scenario arising from the new phases.

Recall from section 3.2 that the BMSSM involves two new operators,
We now summarize the mass spectrum of the Higgs sector, following the discussion of refs. [26,27,30]. The Higgs scalar fields can be parametrized as Here, v u,d are the vacuum expectation values (VEVs) satisfying v 2 = v 2 u + v 2 d (246 GeV) 2 and tan β = v u /v d . We have put a physical phase θ to H d by using a U(1) Y transformation. For later purposes, we define Without CP violation in the Higgs sector, the mass eigenstates are divided into the CP-even and odd parts, 3)

JHEP08(2017)031
where m W is the W boson mass. At the order of 1,2 , the minimum condition ∂V Higgs ∂θ = 0 gives For a small tan β, the phase θ is O( 1,2 ). Let us next consider the chargino and neutralino mass spectra. In the presence of the new operator of (3.5), we have new higgsino interactions [30], (7.13) where H u,d denote the fermion components of the Higgs chiral superfields. These terms provide not only additional contributions to the chargino and neutralino masses but also new Higgs-chargino/neutralino interactions which contribute to the two-loop EDMs induced by chargino loops. The chargino mass matrix in the basis of ( W + , H + u , W − , H − d ) is given by (7.14) Here, MW is the Wino mass and g is the SU(2) L gauge coupling. The matrix X can be diagonalized by a singular value decomposition, where C L,R are unitary matrices and mχ 1 ≤ mχ 2 . The neutralino mass matrix in the basis of ( B, W 0 , H 0 d , H 0 u ) is given by where MB is the Bino mass and g is the U(1) Y gauge coupling. This symmetric complex matrix can be diagonalized by a unitary matrix N , Here, mχ0 1 ≤ mχ0 2 ≤ mχ0 3 ≤ mχ0 4 are four real, positive eigenvalues. Finally, we present the masses and physical eigenstates of the third generation squarks. In the MSSM with the new superpotential interaction (3.5), the stop mass-squared matrix is given by where ∆ũ L = m 2 Z cos 2β 1 2 − 2 3 sin 2 θ W , ∆ũ R = m 2 Z cos 2β 2 3 sin 2 θ W and m t is the top quark mass. The phase δ t = arg(µ * cot β e −iθ − A t − * 1 µ v 2 c 2 β e −2iθ ) in the mass-squared matrix can be absorbed by redefinition of the right-handed stop,t R → e iδtt R . Diagonalizing this matrix, we write smaller and larger eigenvalues as m 2 t 1 and m 2 t 2 respectively. These correspond to physical stop masses. The eigenstates are given bỹ t 1 =t L cos θ t −t R sin θ t ,t 2 =t L sin θ t +t R cos θ t . (7.19) Here, the mixing angle θ t is Since the right-handed sbottom does not exist in the low-energy effective theory of natural SUSY, the lighter eigenstateb 1 of the sbottom mass-squared matrix is simply given by the left-handed sbottomb L .

EDMs in the BMSSM
We first investigate the parameter space of the BMSSM to realize the correct Higgs boson mass. Figure 15 shows the lightest neutral Higgs boson mass (in unit of GeV) as a function of | 1,2 | (left) and choice of | | to realize the correct Higgs mass (right) in the BMSSM scenario. We take tan β = 5 and m A = 400 GeV. For the left panel, we assumeφ 1,2 ≡ π − φ 1,2 = 0.  Let us now present numerical analyses of the EDMs in the BMSSM scenario. We assume only nonzero CP phases in the new Higgs interactions and set all the CP phases of the MSSM to zero to simplify our analyses. Due to smallness of the masses of the Standard Model particles, the dominant contributions to the EDMs come from the Barr-Zee diagrams with loops of W bosons and top quarks. We find that the W boson is the dominant contribution to the electron EDM, while top quark loops dominate the quark CEDMs and so are crucial for the mercury EDM. Such top quark loops have been computed in the MSSM in [19,24] and studied in the BMSSM context in [26,27]; they may be easily computed from the general formulas of section 2. The W loop contributions are computed with the general formula (4.6) following from the results in [42], and to the best of our knowledge their importance for the BMSSM has not been previously pointed out in the literature. We have also checked the chargino contributions, using various expressions collected in appendix A which are valid in the BMSSM; we have found that they are subdominant to the top and W loops. Figure 16 shows EDM constraints on the CP-violating phasesφ 1,2 in the BMSSM scenario. We take m A = 400, 800 GeV for the left and right panels respectively. Regions of parameter space to the right of and above the solid blue and red contours are excluded by JHEP08(2017)031 measurements of ThO and Hg (the case (i)), respectively. The mercury EDM constraint for the case (ii) is weak and not shown in the figures. The blue dashed and dot-dashed contours ("ACME II" and "ACME III") are future projections. We have fixed | 1,2 | = 0.1, tan β = 5 and µ = 350 GeV in these figures. We can see that the current constraints lead to about 10 percent tuning in the CP phases of the new Higgs interactions and the situation is improved to less than one percent in future projections.

Conclusions
In this paper we have studied implications of EDM measurements on the parameter space of CP-violating natural SUSY. We have found that significant constraints on order-one CPviolating phases for superpartners near the TeV scale already exist from the measurements of ThO and Hg. Currently the mercury constraints, being sensitive to chromoelectric dipole moments of quarks induced by new physics with QCD charge (like stops), are somewhat stronger or comparable depending on which choice of nuclear physics calculation we follow, but the ThO constraints are crucial for new physics with only electroweak interactions. Moreover, if the ACME collaboration delivers results at the level of their estimated future reach, these will overtake mercury EDMs as stronger constraints even for the case of stops.
We have studied a few different scenarios and sources of CP-violating phases. Bounds on stops are strongest in the MSSM, where large A-terms are required to explain the heavy mass of the Higgs boson. However, this scenario is already rather fine-tuned, and we found that if some other new physics lifts the Higgs mass, there are still important constraints even on the smaller A-terms induced under RG running by the gluino mass. We have also found that the relative phase of gaugino masses and µ is strongly constrained by EDMs induced by charginos running in loops. We expect these charginos to be at or below the TeV scale for several reasons, including naturalness, gauge coupling unification, and the possibility that they constitute a fraction of the dark matter in our universe. As a result, these EDM constraints, which come entirely from the electron EDM, are important not only in natural SUSY but also in split SUSY, and they have cousins in any new physics scenario with purely electroweak new matter. Finally, we have found that if we add new superpotential Higgs interactions (and associated soft SUSY-breaking terms) to explain why the Higgs is heavy, the phases of these new interactions can directly induce important EDMs. A relative phase can appear in the VEVs of the up-and down-type Higgs bosons, inducing scalar-pseudoscalar mixing. The associated EDM effects have been considered previously in [26,27]. We have found that the most important contributions come from loops of Standard Model particles interacting with the full Higgs sector of the 2HDM. This includes the top quark, which plays the dominant role in CEDMs of quarks, and the W boson, which plays the dominant role in the electron EDM. The latter effect appears to have been omitted in previous studies. As in the other cases, we find that there are already strong constraints on the phases of the new physics in the natural parameter space.
We have also made some comparisons of EDMs to other effects of new physics. For instance, stop EDMs depend on the same combination of parameters appearing in b → sγ, and are a stronger constraint unless the CP-violating phase is quite small. Most of the two-JHEP08(2017)031 loop EDMs we have studied are also associated with modifications to the rate of h → γγ or h → gg. Dark matter direct detection can depend on some of the same parameters appearing in chargino-induced EDMs, if neutralinos are the dark matter. An interesting consequence of all of this is that if a nonzero EDM is measured in the future, for each hypothesis about its underlying origin, there is usually a clear prediction of a lower bound on the rate of some other new physics effect. Quantifying such lower bounds would be an important step in clarifying and understanding the physics giving rise to any observed EDM.
It would be timely to revisit which favored models of supersymmetry breaking have a SUSY CP problem, and how completely the problem is solved in the viable models. Although conventional wisdom holds that the CP problem is more readily solved in gauge mediation than in gravity mediation, it has been claimed that certain models of modulus mediation have enough structure to evade the CP problem [131]. A recent analysis of one incarnation of modulus mediation argued that the electron EDM should not be larger than about 5 × 10 −30 e cm [132] -precisely the level that ACME II will probe. Meanwhile, gauge mediation, which has traditionally dodged flavor and CP problems with little effort, faces a renewed challenge in that the new physics that either lifts the Higgs mass directly or generates a large A-term (e.g. [133]) must not reintroduce the problem.
We should not view the SUSY CP problem as simply another engineering hurdle to solve, or module to tack on to a theory. We believe that it is worth asking for any given model: how large are the expected phases, if we don't add extra layers of ingenuity to squash them? Are there subleading effects that might generate phases at the 10 −2 or 10 −3 level -the size of loop factors, say -even in models that solve the CP problem to leading order? For example, in the chargino sector, a null result at ACME II could already imply that arg(M 2 µ) 10 −2 over the entire region of interest for either naturalness or dark matter. This is a constraint that is of great interest for split supersymmetry as well as for natural SUSY. The coming years will bring important new experimental progress, and we should be prepared for a positive answer as well as a negative one.

A.2 Loop-induced wrong Higgs Yukawa coupling
The explicit calculation of a stop/higgsino loop gives [19] where the loop function I is I(p, q, r) = pq log(p/q) + qr log(q/r) + pr log(r/p) Then, the bottom Yukawa coupling y b is related to the bottom quark mass as The physical Higgs boson couplings with a bottom quark are given by These results enter into the calculation of four-fermion operators that contribute to the measured EDMs.

A.3 Stop couplings with Higgs bosons
We here summarize the relevant stop interactions with the neutral Higgs bosons. The trilinear couplings are given by

JHEP08(2017)031
In terms of mass eigenstates, the stop interactions with the Higgs bosons H i (i = 1, 2, 3) are written as a 2 × 2 matrix for the two stop eigenstatest a (a = 1, 2). The diagonal part which are relevant for our calculations is given by The matrix O diagonalizes the Higgs boson mass-squared matrix as presented in section 3. The coefficients are given by:

A.4 Chargino couplings with Higgs bosons
In terms of the four-component spinor notation, , the chargino couplings with the Higgs bosons are in total presented as where the coefficients are given by (A. 19) A.5 W boson couplings with charginos and neutralinos The interaction of a chargino, neutralino and W boson is expressed as

A.6 Charged Higgs couplings with charginos and neutralinos
The charged Higgs couplings with charginos and neutralinos are where the coefficients are The chargino/neutralino loops coupled to the W boson through the couplings in section A.5 contribute to the W EDM which in turn induces fermion EDMs at two loops [16,20] as shown in the bottom left diagram of figure 6. The W EDM contribution with chargino/neutralino loops is then given by

B.2 The charged Higgs and top/bottom loop contributions
The charged Higgs contribution to the EDM for a fermion f with top/bottom quark loops is given by . (B.4)

B.3 CEDM of the bottom quark
Here we present the calculation of the b-quark CEDM as shown in figure 8. The generic interactions of a chargino or neutralino (denoted as χ collectively) with a fermion f and a sfermionf are given by where P L,R = 1∓γ 5 2 and the relevant couplings are (B.6) Then, the contributions to the CEDM of the bottom quark from chargino and neutralino loops are given bỹ where B(z) = 1 2(1 − z) 2 Figure 17. The mercury EDM constraint on the quark CEDMs. The left and right panels correspond to the case (i) and (ii). The outer regions of the contours are excluded. The blue and orange contours denote the constraints at 68% and 90% C.L. respectively.

C Likelihood analysis of the mercury EDM constraint
The mercury EDM suffers from large theoretical uncertainty and it may not be appropriate to consider the mercury EDM constraint in terms of the central value for each contribution quoted from the literature in (4.21). In this appendix, we present a likelihood analysis of the constraint as the best effort to extract implications on physics beyond the standard model from the mercury EDM measurement. Here, we only consider the most important contributions from the quark CEDMs and derive a constraint on the CEDMs at some probability. For the theoretical calculation of the mercury EDM, we follow the discussion of ref. [90]. The mercury EDM is related to the Schiff moment S as d Hg = −2.46 × 10 −17 e cm × S e fm 3 and the Schiff moment can be parametrized in terms of the CP-odd pion-nucleon interactions, L πN N ⊃ḡ (0)N τ a N π a +ḡ (1)N N π 0 , as S ≈ 13.17 × (a 0 + b)ḡ (0) + a 1ḡ and b = (0.002 − 0.013) e fm 3 for both cases. Notice that the two results are not very compatible with each other, so it seems inappropriate to simply average them, as is sometimes done in the literature. Rather, the discrepancy suggests that at least one of the approximation schemes used is getting the physics wrong in a systematic way. Further theoretical work on the structure of the mercury nucleus will be needed to clarify the situation.

JHEP08(2017)031
We next relate the CP-odd pion-nucleon interactions to the quark CEDMs by using the QCD sum rule technique. We follow the calculation of ref. [89] whereḡ (0) ,ḡ (1) are given in terms of the quark CEDMsd u,d and some undetermined parameters such as a the choice of generalized nucleon interpolating current and the infrared cutoff. We parametrize the CP-odd pion-nucleon interactions in terms of the quark CEDMs as To estimate the numerical coefficients c (0) , c (1) , we assume flat probability profiles for the undetermined parameters with a certain range presented in ref. [89] (with the Borel parameter fixed at M 2 = 0.8 GeV 2 ) and investigate the distributions of the coefficients c (0) , c (1) . The means of c (0) , c (1) are (0.47, 1.48) and the standard deviations are given by (0. 37, 8.21).
Let us now derive a constraint on the quark CEDMs by a likelihood analysis. We use the above distributions of the coefficients c (0) , c (1) and further assume flat probability profiles for the coefficients a 0 , a 1 , b within the range denoted in (C.2) to obtain the distribution of the coefficients ofd u ,d d in the expression of the mercury EDM d Hg = c udu + c ddd . Then, we fit the distribution by a two-dimensional normal distribution. With appropriate normalization, we find the probability distribution P theory (c u , c d ). The case (i) in (C.2) shows a stronger correlation between c u and c d than the case (ii) because the range of values in a 0 is smaller than that in a 1 for the case (i) while a 0 and a 1 are comparable for the case (ii). This fact is reflected to the final constraint. We define the likelihood function ofd u ,d d as where P exp (data|d Hg ) comes from the present constraint of the mercury EDM (4.23) at 2σ. Then, we evaluate the delta log-likelihood ∆ ln L ≡ ln L(0, 0) − ln L(d u ,d d ). Figure 17 shows the mercury EDM constraint on the quark CEDMs. The left and right panels correspond to the case (i) and (ii) respectively. The outer regions of the contours are excluded. The blue and orange contours denote the constraints at 68% and 90% C.L. respectively. Since a 0 and a 1 are comparable for the case (ii) and the down quark CEDM contribution to the mercury EDM is canceled between the terms ofḡ (0) andḡ (1) , the constraint ond d for the case (ii) is milder than that for the case (i).
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.