2.1 Assumptions
Let us state our assumptions explicitly. First, we assume the existence of quantum fields
φ at a characteristic mass scale m
φ
Λ, where Λ is the energy scale at which quantum
field theory breaks down. This parametric separation is required so that quantum field
theory has some regime of validity. By the usual rules of effective field theory, the higher-
dimension operators in eq. (1.4) receive small contributions suppressed by the cutoff Λ. In
general, Λ can be parametrically smaller than the Planck scale.
Second, we assume that the φ degrees of freedom couple to photons and gravitons such
that integrating them out generates the higher-dimension operators in eq. (1.4) classically,
i.e., at tree level. Since m
φ
Λ, these states induce the dominant contributions to the
higher-dimension operators in eq. (1.4). Specifically, the corresponding operator coefficients
scale as c
i
∝ 1/m
2
φ
1/Λ
2
since tree-level φ exchange is always accompanied by a single
factor of 1/m
2
φ
coming from the propagator denominator. Thus, effects arising from the
cutoff Λ will be negligible in any context in which quantum field theory is applicable.
As noted previously, states like φ are a common feature in string theory, whose low
energy spectrum includes particles like the dilaton and moduli, which are massless in the
supersymmetric limit. In the presence of supersymmetry breaking, these flat directions are
lifted, thus inducing masses m
φ
Λ, where Λ is the string scale.
While our arguments are perfectly consistent with a scale Λ far below the Planck
scale, we will frequently refer to pure Einstein-Maxwell theory and the pure Reissner-
Nordstr¨om solution as a baseline of comparison. We do so entirely out of convenience
and not because any component of our argument requires that quantum field theory be
applicable up to the Planck scale. Hence, in an abuse of nomenclature, we hereafter refer to
the higher-dimension operator contributions of order 1/m
2
φ
as corrections to pure Einstein-
Maxwell theory, bearing in mind that we actually mean pure Einstein-Maxwell theory plus
contributions of order 1/Λ
2
, which are parametrically smaller than all the contributions
of interest.
Third, we focus on black holes that are thermodynamically stable, i.e., have positive
specific heat. As we will see, this is necessary for technical reasons so that we can exploit
certain properties of the Euclidean path integral.
2.2 Positivity argument
Consider a positively charged black hole of mass M and charge Q perturbed by higher-
dimension operator corrections in general spacetime dimension D. As we will show in detail
in section 4, the perturbed metric g
µν
= eg
µν
+ ∆g
µν
can be computed from the perturbed
Lagrangian L =
e
L + ∆L, where unless otherwise stated all quantities are expressed as
perturbations on a Reissner-Nordstr¨om black hole of the same mass M and charge Q in
pure Einstein-Maxwell theory.
From the perturbed entropy we can define the corresponding inverse temperature β =
∂
M
S, which we write as
β =
e
β + ∆β,
(2.1)
– 5 –