Abstract
The Event Horizon Telescope image of the supermassive black hole in the galaxy M87 is dominated by a bright, unresolved ring. General relativity predicts that embedded within this image lies a thin “photon ring,” which is composed of an infinite sequence of self-similar subrings that are indexed by the number of photon orbits around the black hole. The subrings approach the edge of the black hole “shadow,” becoming exponentially narrower but weaker with increasing orbit number, with seemingly negligible contributions from high-order subrings. Here, we show that these subrings produce strong and universal signatures on long interferometric baselines. These signatures offer the possibility of precise measurements of black hole mass and spin, as well as tests of general relativity, using only a sparse interferometric array.
INTRODUCTION
The Event Horizon Telescope (EHT) Collaboration has recently published images of the supermassive black hole in M87 using very long baseline interferometry (VLBI) at 1.3-mm wavelength (1–6). These images reveal a bright ring of emission with a diameter of approximately 40 μas. However, while the diameter of this ring is resolved by the EHT, its thickness and detailed substructure are not. Here, we show that general relativity predicts an intricate substructure in the ring that presents distinctive signatures for interferometric measurements. These signatures offer a promising approach for precisely determining the mass and spin of black holes and for testing general relativity using sparse interferometers, such as an extension of the EHT to space.
Neglecting opacity, a telescope with perfect resolution directed at a black hole observes an infinite number of nested images of the universe. These images arise from photons that differ by the number n of half-orbits that they complete around the black hole on the way from their source to the detector. Each such image is thus an increasingly delayed and demagnified snapshot of the universe as seen from the black hole. In an astrophysical setting, this self-similar sequence of relativistic images is dominated by the luminous matter surrounding the black hole and produces in its image a feature known as the “photon ring” of the black hole (7–10). The leading (n = 1) subring appears as a sharp, bright feature in ray-traced images from many general relativistic magnetohydrodynamic (GRMHD) simulations (see Fig. 1). Successive subrings have exponentially sharper profiles and asymptotically approach the boundary of the black hole “shadow.” For large n, these profiles mirror the leading subring in a manner that universally depends on the spacetime geometry, with the ratio of successive subring flux densities determined by Lyapunov exponents that characterize the instability of bound photon orbits. Hence, measuring the size, shape, and thickness of the subrings would provide new and powerful probes of a black hole spacetime.
This model has parameters chosen to be consistent with the 2017 EHT data and corresponds to the high magnetic flux “magnetically arrested disk” accretion state. It has M = 6.2 × 109M⊙, a/M = 0.94, θobs = 163°, rhigh = 10, and mass accretion rate matching the 1.3-mm flux density (5). The spin axis points left when projected onto the image. The time average was performed over 100 snapshots produced from uniformly spaced GRMHD fluid samples over a time range of 1000M (approximately 1 year). Although visually prominent, the thin, bright ring contains only ~20% of the total image flux density.
Both GRMHD simulations and analytic estimates suggest that the photon ring should provide only ~10% of the total image flux density. This dimness may appear to preclude observations of the photon ring and its substructure, which is dimmer still. However, interferometric measurements are sensitive to more than just overall flux: They also natively filter images by their spatial wave numbers and therefore naturally isolate contributions from individual photon subrings. Sufficiently long baselines also resolve out diffuse flux in an image and are thus dominated by power from the photon ring. Hence, although sharp elements of the photon ring produce a negligible contribution to the total flux in an image, they can still provide a pronounced, dominant signal on long baselines.
In this Research Article, we explore the photon ring’s theoretical underpinnings and show that, unexpectedly, precise measurements of the photon ring and even its subrings are feasible using interferometry. We describe the shell of bound photon orbits of a Kerr black hole and its relation to the photon ring. We also present a decomposition of the photon ring into subrings indexed by half-orbit number and derive their self-similar structure, which is universally governed by Lyapunov exponents that characterize orbital instability. We then derive generically expected interferometric signatures of the photon ring. We show that its subrings produce a cascade of damped oscillations on progressively longer baselines, with the visibility of each subring conveying precise information about its diameter, width, and angular profile. Last, we discuss observational prospects for detecting these signatures with extensions of the EHT. In particular, we highlight the possibility of detecting the leading n = 1 subring using a station in low Earth orbit, the n = 2 subring using a station on the Moon, and the n = 3 subring using a station in the Sun-Earth L2 orbit.
RESULTS
Photon shell and photon ring
This section describes the shell of unstable bound photon orbits surrounding a black hole, its lensed photon ring image, the photon subrings labeled by half-orbit number, and the angle-dependent Lyapunov exponents that govern the subring brightness ratio asymmetry. Previous treatments of these structures include (8) and (10–13).
Photon shell. The photon shell, illustrated in Fig. 2, is the region of a black hole spacetime containing bound null geodesics or “bound orbits” that neither escape to infinity nor fall across the event horizon. For Schwarzschild, the photon shell is the two-dimensional sphere at r = 3M and any θ, ϕ, and t. For Kerr, this two-dimensional sphere fattens to a three-dimensional spherical shell. It is best described using Boyer-Lindquist coordinates, in which the metric of a Kerr black hole of mass M and angular momentum J = aM (with 0 ≤ a ≤ M) is
(A) Cross section of the photon shell in the (r, θ) plane in Boyer-Lindquist coordinates. The black hole spin is a/M = 0.94, directed vertically, and the color varies with r. The intersection of an observer’s line of sight with the photon shell boundaries at
These coordinates have the special property that each bound orbit lies at some fixed value of r in the range
Every point in the equatorial annulus
We will refer to one such complete oscillation (e. g., from θ− back to itself) as one orbit, since the photon typically returns to a point near, but not identical to (since the azimuthal angle ϕ also shifts), its initial position.
To summarize, the photon shell is the spacetime region
The bound orbit at radius r has the energy-rescaled angular momentum
The inner circular equatorial orbit at
The bound geodesics are unstable in the sense that, if perturbed slightly, they either fall into the black hole or escape to infinity where they can reach a telescope. The observed photon ring image arises from photons traveling on such “nearly bound” geodesics. Consider two geodesics, one of which is bound, with the other initially differing only by an infinitesimal radial separation δr0. The equation of geodesic deviation shows that, after n half-orbits between θ±, their separation grows to
Here, the so-called Lyapunov exponent γ is a function on the space of bound orbits given by (see the Supplementary Materials)
A closely related formula appears in (14). Hence, the nearly bound geodesic will typically cross the equatorial plane a number of times of order
Photon ring and subrings. The photon ring is the image on the observer screen produced by photons on nearly bound geodesics (7). In the limit in which the photons become fully bound, it may be shown that their images approach a closed curve Cγ given by
Astrophysically observed photon intensities Iring(ρ, φρ) at the screen can be computed by backward ray tracing. One follows the null geodesics from the observer screen back into the Kerr spacetime, integrating the Doppler-shifted strength J of matter sources along the geodesic, with attenuation factors accounting for the optical depth. Scattering effects are negligible because the expected plasma frequency and electron gyroradius are in the megahertz range, several orders of magnitude below the observing frequencies that we consider. For the images in this paper, we used ipole (15). A light ray aimed exactly at the curve Cγ is captured by the photon shell and (unstably) orbits the black hole forever. Those aimed inside Cγ fall into the black hole, while those aimed outside escape to infinity. Therefore, Cγ is the edge of the black hole shadow.
If we shoot a light ray very near, a distance δρ from the shadow edge at ρc, it will circle many times through the emission region before falling into the black hole or escaping to infinity. The affine length of the ray and its number of half-orbits accordingly diverge as δρ → 0
This follows from Eq. 9 together with a computed relation between δρ and δr0. For optically thin matter distributions, Eq. 11 implies a mild divergence in the observed ring intensity Iring ∼ n as the shadow edge is approached, since a light ray that completes n half-orbits through the emission region can collect ∼n times more photons along its path. The photon ring is then the bump in the photon intensity containing this logarithmic divergence at the shadow edge. Although the divergence is cut off by a finite optical depth, this notable feature remains visually prominent in many ray-traced images of GRMHD simulations, as in Fig. 1.
The photon ring can be subdivided into subrings arising from photons that have completed n half-orbits between their source and the screen. This definition for the photon ring agrees with that in (16) but differs from the later usage in (9) and (10) by the inclusion of the n = 1 and 2 contributions. These low n contributions fully account for the thin ring image visible in Fig. 1. To orbit at least n/2 times around the black hole, the photon must be aimed within an exponentially narrowing window
Each subring consists of photons lensed toward the observer screen after having been collected by the photon shell from anywhere in the universe. Hence, in an idealized setting with no absorption, each subring contains a separate, exponentially demagnified image of the entire universe, with each subsequent subring capturing the visible universe at an earlier time. Together, the set of subrings are akin to the frames of a movie, capturing the history of the visible universe as seen from the black hole. In an astrophysical setting, these images are dominated by the luminous matter around the black hole. For a black hole surrounded by a uniform distribution extending over the poles, the contributions made by each subring to the total intensity profile cannot be told apart, and the individual subrings cannot be distinguished on the image. However, for a realistic disk or jet with emission peaked in a conical region, the subrings are visibly distinct: the nth subring is approximately a smooth peak of width e−γn. Summing these smooth peaks, like layers in a tiered wedding cake (see Fig. 3), reproduces the leading logarithmic divergence in the intensity (Eq. 11).
(A) Brightness cross sections for the time-averaged GRMHD image shown in Fig. 1. The blue/red curves show cross sections perpendicular/parallel to the projected spin axis. (B and C) Decomposition of the left perpendicular peak and the right parallel peak into subrings indexed by the number n of photon half-orbits executed between turning points (Eq. 3) in the polar motion. Similar results are also seen in image cross sections of simple geometrical models (10).
The photons comprising successive subrings for the same angle φρ traverse essentially the same orbits and hence encounter the same matter distribution around the black hole. Apart from source variations on the time scale of an orbit, intensities of the nth and (n + 1)th subring differ only because they correspond to windows whose widths δρn and δρn + 1 differ by a factor of e−γ. Hence, for large enough n, the intensities are related by
We therefore find the angle-dependent subring flux ratio
Equations 13 and 14 are matter-independent predictions for the photon ring structure that involve only general relativity. The prediction holds only for “large enough” n: At small n, there are nonuniversal matter-dependent effects from photons that do not traverse exactly the same region around the black hole. Insight into when n is large enough might be obtained from GRMHD simulations.
Since the exponent γ depends on a, θobs, and φρ (see the Supplementary Materials), the flux ratio asymmetry in Eq. 14 provides a new method for determination of the spin. For Schwarzschild, γ = π (8), corresponding to a demagnification factor of e−π ≈ 4%. For a black hole of maximal spin a/M = 1 viewed from an inclination θobs = 17∘ [as estimated for M87; (17)], the factor e−γ is as large as 13% on the part of the ring where the black hole spins toward the observer. Although Eq. 12 breaks down for n = 0, this suppression factor suggests that the leading n = 1 subring should provide ∼10% of the total luminosity, in order-of-magnitude agreement with GRMHD simulations.
Interferometric signatures of a photon ring
This section explores the response of an interferometer to the photon ring through a series of increasingly refined geometrical models. We first review the interferometric signatures of an infinitesimally thin, uniform, and circular ring. We then extend this treatment to include rings with nonuniform brightness, nonzero thickness, and noncircular structure. We conclude this section by discussing specific features expected for the photon ring and its subrings.
Visibilities for a thin, uniform, and circular ring. Each baseline joining two elements of an interferometer samples a complex visibility V(u), which corresponds to a single Fourier component of the sky image I(x) (18)
Here, u is the dimensionless vector baseline projected orthogonal to the line of sight and measured in units of the observation wavelength λ, while x is a dimensionless image coordinate measured in radians.
In terms of polar coordinates (ρ, φρ) on the observer screen (Eqs. 10A and 10B), the image and corresponding visibility function of an infinitesimally thin, uniform, and circular ring are
Visibilities for a nonuniform ring. The image of a thin ring with nonuniform brightness in φρ decomposes into a sum over angular Fourier modes
The corresponding visibility function is
Using Eq. 17, for long baselines, we may approximate
Thus, for sufficiently long baselines, the radial visibility function of a nonuniform thin ring is determined by a single pair of weakly damped, orthogonal modes α±(φu). Their envelope still fall as
Visibilities for a thick ring. Baselines of length u ≳ 1/L are required to resolve image features of size ≲L. Hence, the visibility function of any ring with diameter d and thickness w ≪ d has two asymptotic regimes
Baselines in regime (I) resolve the diameter of the ring but not its thickness, while longer baselines in regime (II) resolve both. Hence, the visibility function in regime (I) behaves like that of a thin ring (a damped periodicity with envelope
The validity of the approximation of Eq. 17 in regime (I) depends on the amount of power at high values of m. Specifically, it requires
Visibilities for a noncircular ring. Although the photon ring is nearly circular for all black hole spins and inclinations, the primary interferometric signatures discussed thus far do not require an image with perfectly circular structure. For instance, if an image is stretched, I(x, y) → I′(x, y) = I(ax, by); then, its visibility function is correspondingly compressed, V(u, v) → V′(u, v) = ∣ab∣−1V(u/a, v/b). Thus, the visibility profiles of a stretched ring share the properties and asymptotic expansions derived for a circular ring (e. g., Eq. 20), except that the radial periodicities become a function of position angle. To leading order in the asymmetry 1 − a/b, the diameter corresponding to a damped radial periodicity in the visibility domain matches that of the stretched ring along the baseline’s position angle. For the black hole in M87, the asymmetry is expected to be a few percent at most, even for a maximally rotating black hole (see fig. S2).
Visibilities of the photon subrings. As discussed earlier, the photon ring decomposes into subrings labeled by the photon half-orbit number n. According to Eq. 14, the width of the radial intensity profile produced by the nth subring is wn ∼ w0e−γn, while the brightness remains approximately constant with n (until some nmax determined by the optical depth). Each subring thus contributes a periodically modulated visibility,
This implies that the totality of subring contributions has an envelope defined by this turnover behavior
Together, the subrings then form a cascade of damped oscillations on progressively longer baselines, each dominated by the image of a single subring and conveying precise information about its diameter, thickness, and angular profile. Figure 4 displays visibilities of the time-averaged GRMHD image in Fig. 1, which exhibit the expected damped periodicity, as well as clear contributions on long baselines from distinct subrings (see Fig. 5 for a schematic illustration of this cascade).
(A to D) Visibility amplitudes of (A and B) the time-averaged GRMHD simulation shown in Fig. 1 and (C and D) a GRMHD snapshot (see the Supplementary Materials). Amplitudes are shown for baselines perpendicular (red) and parallel (blue) to the black hole spin axis. While short baselines (left of the vertical dotted lines) display complex structure reflecting astrophysical features of the image such as emission from the disk and jet, longer baselines are dominated by the universal interferometric signatures of the photon ring. A simple model ∣V(u)∣ = ∣α+ cos (πdu) + α− sin (πdu)∣(du)−1/2e−(wu)ζ is overplotted (black dashed curves), with parameters determined independently along the two axes. The periodicities encode the ring diameters along each axis and hence M/D for the black hole; their difference provides an estimate of the black hole spin and inclination. The parameters α± carry information about the angular brightness distribution (and hence spin and inclination). The dashed green curve u−1/2 shows the expected envelope for an infinitesimally thin ring, while the solid green curve u−1/2e−(wu)ζ shows the fitted envelope that carries information about the ring thickness. On even longer baselines (B and D), the dominant visibility contributions arise from subrings with increasingly higher n. The universal features are more prominent in the time-averaged image, whose ring is dominated by smaller mode numbers m and which has less small-scale power outside the photon ring.
(A) Schematic showing visibility amplitude as a function of baseline length for a photon ring with d = 40 μas and flux density comparable to M87. The black, cyan, and magenta visibilities correspond to photons with half-orbit numbers n = 1, 2, and 3. (B) Frequency-dependent range of Earth baselines and representative Earth-space baselines. Earth-space baselines shown are the longest baselines for an orbiter in low Earth orbit (LEO), in medium Earth orbit (MEO), in geostationary orbit (GEO), on the Moon, and at the second Sun-Earth Lagrange point (L2).
DISCUSSION
Detection of the photon ring’s universal interferometric signatures requires measurements on longer baselines, with finer angular resolution than those currently available to the EHT. This extension can be achieved either by observing at higher frequencies or on longer physical baselines via space VLBI. For reference, ALMA (Atacama Large Millimeter/submillimeter Array) currently observes up to 950 GHz (ALMA band 10) with higher frequencies (up to 1.53 THz) possible in the future (19, 20). Figure 5 shows baseline lengths for a variety of array configurations and observing frequencies.
For the EHT to observe the photon ring, it must also achieve sufficient sensitivity to detect its visibilities. For both Sgr A* and M87, the horizon-scale emission has a total flux density of Ftot ∼ 1 Jy at λ~1 mm (21, 22), with a fraction fring ∼ 10% expected to come from the photon ring. The expected amplitude of the photon ring on long interferometric baselines is thus
For comparison, a baseline from ALMA to a 4-m orbiter with 32 GHz of averaged bandwidth and a 10-min coherent integration would have a thermal noise of σ950 ≈ 3 mJy at 950 GHz and σ690 ≈ 1.3 mJy at 690 GHz. For baselines from ALMA to a 10-m orbiter, such as the proposed Millimetron mission for L2 (23, 24), the thermal noise would be σ950 ≈ 1 mJy and σ690 ≈ 0.5 mJy. Another possibility would be to place a VLBI station on or orbiting the Moon, which could sample many periods of the n = 2 regime of M87 at current EHT observing frequencies. A 10-m dish on the Moon could achieve σ ≈ 0.1 mJy on baselines to ALMA with coherent integrations of 10 min and a bandwidth of 32 GHz.
These sensitivities could be substantially improved via simultaneous multifrequency observations. In addition to having more sensitive receivers and longer coherence times, lower frequencies give correspondingly shorter baselines and thus increased interferometric power from the photon ring. Phase calibration with lower frequencies could then allow substantially longer integration times at higher frequencies (see the Supplementary Materials for additional details and discussion).
Interferometric signatures of the photon ring are most prominent when the image has little small-scale power outside the ring and when the ring has a smooth angular profile dominated by low mode numbers m. Both of these conditions are met in time-averaged images of black hole accretion flows, such as in Fig. 1. Because visibilities of a time-averaged image are equal to time-averaged visibilities of a variable image, developing capabilities for long, coherent averaging could significantly improve the prospects for unambiguous detection and characterization of the photon ring.
In summary, precise measurements of the size, shape, thickness, and angular profile of the nth photon subring of M87 and Sgr A* may be feasible for n = 1 using a high-frequency ground array or low Earth orbits, for n = 2 with a station on the Moon and for n = 3 with a station in L2.
SUPPLEMENTARY MATERIALS
Supplementary material for this article is available at http://advances.sciencemag.org/cgi/content/full/6/12/eaaz1310/DC1
Supplementary Materials and Methods
Fig. S1. Lyapunov exponent as a function of image angle.
Fig. S2. Black hole shadow diameter and asymmetry as a function of spin and inclination.
Fig. S3. Snapshot images and visibilities.
This is an open-access article distributed under the terms of the Creative Commons Attribution-NonCommercial license, which permits use, distribution, and reproduction in any medium, so long as the resultant use is not for commercial advantage and provided the original work is properly cited.
REFERENCES AND NOTES
- Copyright © 2020 The Authors, some rights reserved; exclusive licensee American Association for the Advancement of Science. No claim to original U.S. Government Works. Distributed under a Creative Commons Attribution NonCommercial License 4.0 (CC BY-NC).