This content will become publicly available on February 1, 2025
- Award ID(s):
- 2112800
- PAR ID:
- 10524432
- Publisher / Repository:
- American Physical Society
- Date Published:
- Journal Name:
- Physical Review D
- Volume:
- 109
- Issue:
- 4
- ISSN:
- 2470-0010
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
A bstract In two-derivative theories of gravity coupled to matter, charged black holes are self-attractive at large distances, with the force vanishing at zero temperature. However, in the presence of massless scalar fields and four-derivative corrections, zero-temperature black holes no longer need to obey the no-force condition. In this paper, we show how to calculate the long-range force between such black holes. We develop an efficient method for computing the higher-derivative corrections to the scalar charges when the theory has a shift symmetry, and compute the resulting force in a variety of examples. We find that higher-derivative corrected black holes may be self-attractive or self-repulsive, depending on the value of the Wilson coefficients and the VEVs of scalar moduli. Indeed, we find black hole solutions which are both superextremal and self-attractive. Furthermore, we present examples where no choice of higher-derivative coefficients allows for self-repulsive black hole states in all directions in charge space. This suggests that, unlike the Weak Gravity Conjecture, which may be satisfied by the black hole spectrum alone, the Repulsive Force Conjecture requires additional constraints on the spectrum of charged particles.more » « less
-
Abstract Automatic differentiation (AD) is a technique for augmenting computer programs to compute derivatives. The essence of AD in its forward accumulation mode is to attach perturbations to each number, and propagate these through the computation by overloading the arithmetic operators. When derivatives are nested, the distinct derivative calculations, and their associated perturbations, must be distinguished. This is typically accomplished by creating a unique tag for each derivative calculation and tagging the perturbations. We exhibit a subtle bug, present in fielded implementations which support derivatives of higher-order functions, in which perturbations are confused despite the tagging machinery, leading to incorrect results. The essence of the bug is as follows: a unique tag is needed for each derivative calculation, but in existing implementations unique tags are created when taking the derivative of a function at a point. When taking derivatives of higher-order functions, these need not correspond! We exhibit a simple example: a higher-order function f whose derivative at a point x , namely f ′( x ), is itself a function which calculates a derivative. This situation arises naturally when taking derivatives of curried functions. Two potential solutions are presented, and their deficiencies discussed. One uses eta expansion to delay the creation of fresh tags in order to put them into one-to-one correspondence with derivative calculations. The other wraps outputs of derivative operators with tag substitution machinery. Both solutions seem very difficult to implement without violating the desirable complexity guarantees of forward AD.more » « less
-
A bstract We reconsider the problem of bounding higher derivative couplings in consistent weakly coupled gravitational theories, starting from general assumptions about analyticity and Regge growth of the S-matrix. Higher derivative couplings are expected to be of order one in the units of the UV cutoff. Our approach justifies this expectation and allows to prove precise bounds on the order one coefficients. Our main tool are dispersive sum rules for the S-matrix. We overcome the difficulties presented by the graviton pole by measuring couplings at small impact parameter, rather than in the forward limit. We illustrate the method in theories containing a massless scalar coupled to gravity, and in theories with maximal supersymmetry.more » « less
-
We derive formulas for the leading mass, entropy, and long-range self-force corrections to extremal black holes due to higher-derivative operators. These formulas hold for black holes with arbitrary couplings to gauge fields and moduli, provided that the leading-order solutions are static, spherically-symmetric, extremal, and have nonzero horizon area. To use these formulas, both the leading-order black hole solution and the higher-derivative effective action must be known, but there is no need to solve the derivative-corrected equations of motion. We demonstrate that the mass, entropy and self-force corrections involve linearly-independent combinations of the higher-derivative couplings at any given point in the moduli space, and comment on their relations to various swampland conjectures.more » « less
-
A bstract The requirement that particles propagate causally on non-trivial backgrounds implies interesting constraints on higher-derivative operators. This work is part of a systematic study of the positivity bounds derivable from time delays on shockwave backgrounds. First, we discuss shockwaves in field theory, which are infinitely boosted Coulomb-like field configurations. We show how a positive time delay implies positivity of four-derivative operators in scalar field theory and electromagnetism, consistent with the results derived using dispersion relations, and we comment on how additional higher-derivative operators could be included.
We then turn to gravitational shockwave backgrounds. We compute the infinite boost limit of Reissner-Nordström black holes to derive charged shockwave backgrounds. We consider photons traveling on these backgrounds and interacting through four-derivative corrections to Einstein-Maxwell theory. The inclusion of gravity introduces a logarithmic term into the time delay that interferes with the straightforward bounds derivable in pure field theory, a fact consistent with CEMZ and with recent results from dispersion relations. We discuss two ways to extract a physically meaningful quantity from the logarithmic time delay — by introducing an IR cutoff, or by considering the derivative of the time delay — and comment on the bounds implied in each case. Finally, we review a number of additional shockwave backgrounds which might be of use in future applications, including spinning shockwaves, those in higher dimensions or with a cosmological constant, and shockwaves from boosted extended objects.