A Geometric Probe of Cosmology – II. Gravitational Lensing Time Delays and Quasar Reverberation Mapping Revisited
Abstract
The time delay between images of strongly gravitationally lensed quasars is an established cosmological probe. Its limitations, however, include uncertainties in the assumed mass distribution of the lens. We re-examine the methodology of a prior work presenting a geometric probe of cosmology independent of the lensing potential which considers differential time delays over images, originating from spatially-separated photometric signals within a strongly lensed quasar. We give an analytic description of the effect of the differential lensing on the emission line spectral flux for axisymmetric Broad Line Region geometries, with the inclined ring or disk, spherical shell, and double cone as examples. The proposed method is unable to recover cosmological information as the observed time delay and inferred line-of-sight velocity do not uniquely map to the three-dimensional position within the source.
keywords:
cosmology: cosmological parameters – cosmology: theory – cosmology: observations – cosmology: distance scale – gravitational lensing: strong – galaxies: quasars: general1 Introduction
The time delay due to geometric and gravitational differences in the light paths between multiple images of strongly gravitationally lensed quasars is a direct measurement of cosmological distances, and therefore of cosmological parameters (Refsdal, 1964; Blandford & Narayan, 1992). Time delay cosmography is now an established independent method by which cosmological information can be determined, e.g. Tewes et al. (2013); Courbin et al. (2018); Birrer et al. (2019), and Suyu et al. (H0LiCOW; 2017) with a current 2.4 per cent precision measurement of (Wong et al., 2020). However, gravitational lens modelling depends implicitly upon the assumed underlying mass distribution. In particular, the “mass sheet degeneracy” involving the degeneracy of ill-constrained lens models leads to systematic uncertainties in estimations of (Falco et al., 1985; Saha, 2000; Kochanek, 2020; Birrer et al., 2020; Chen et al., 2020).
In a first paper (Ng & Lewis, 2020) we presented a geometric probe of cosmology independent of the lensing potential, by considering differential time delays over images, originating from spatially-separated photometric signals within a strongly lensed quasar. In the original work, we presented the predicted signal integrated across all wavelengths as a function of time, from considering a special case of a thin face-on ring geometry of the Broad Line Region (BLR) of the quasar. In this paper we re-examine the methodology and demonstrate some significant difficulties, most notably under-determination. We also consider analytically the picture in the line-of-sight velocity (i.e. spectral) and time delay space, referred to as a “velocity-delay map”; as well as the signals obtained at any spectral or temporal slice for axisymmetric BLR geometries with the inclined ring or disk, spherical shell, and double cone as examples.
The paper is organised as follows: we briefly review the definitions and the background in Section 2 and give an overview of the methodology and difficulties in Section 3. We look at the effect of the differential lensing on the velocity-delay maps of different BLR geometries in Section 4 and demonstrate the insensitivity of the required BLR parameter estimation to the differential lensing in Section 5.
2 Background
An observer sees a photometric signal from an unlensed point source at line-of-sight physical distance and position on the sky, at time . When the source is lensed, the observer sees this signal in a given lensed image X at a position on the sky and at time , where is the time delay (e.g. Schneider et al., 1992; Blandford & Narayan, 1986, 1992):
(1) |
Here is the “lensing distance” or more commonly the “time-delay distance”, a ratio of angular diameter distances (subscript , , denoting the angular diameter distance from the observer to the lens, to the source and from the lens to the source, respectively). The lensing distance is thus the factor containing all the cosmological information. We denote the speed of light by , and the redshift of the lensing mass by . The two-dimensional vector positions of image X in the lens plane, and the source in the source plane, are given by and respectively; scaled such that their magnitudes are the observed angular positions relative to the observer-lens axis. The dimensionless lensing potential is denoted by .
Although the time delay is not an observable quantity, the time delays between images of strongly lensed quasars may be measured and is a conventional method employed to test cosmology. The observed time delay between two images A and B are given by
(2) |
Since Equation (2) is dependent on the dimensionless lensing potential however, time delay measurements are limited by the assumptions and accuracy of the lens model. Simple gravitational lens systems are rare, and observational constraints on the lens model are limited due to the existence, typically, of only two or four images per system (Schneider & Sluse, 2013; Birrer et al., 2019).
In Paper I (Ng & Lewis, 2020), we instead consider lensed quasars as a finite rather than point source in combination with reverberation mapping (Blandford & McKee, 1982; Peterson, 1993; Cackett et al., 2021) to determine quasar structure. Broad emission lines are a feature of quasar spectra and correspond to gas clouds, known as the Broad Line Region (BLR), surrounding the central emitting accretion disk at some distance. Photons travelling outwards from the central source are absorbed and re-emitted by the BLR gas. The broad emission lines therefore respond to variations in the continuum luminosity of the central source with a time delay determined by the BLR geometry.
For an unlensed quasar, if the continuum emission (across all wavelengths) from the central source occurs at (i.e. a Dirac delta signal in time), then the BLR emission occurs at , where the reverberation mapping time delay is
(3) |
Here is the unit vector towards the observer and is the spatial position of a given BLR cloud relative to the central source. The cosmological redshift factor corrects the time delay in the quasar rest frame for the time delay as measured in our observer frame. If we hold fixed, then the “iso-delay surface” is a paraboloid of revolution around . Equation (3) therefore describes a family of nested paraboloids parametrised by . For the unlensed quasar, the time at which the flux from the BLR is seen is determined by the intersection of the BLR geometry with the iso-delay paraboloids.

Considering the effect of the lensing time delay, the time that we see the continuum signal, originating from the centre of the source at , in image X is given by
(4) |
The time that we see a signal in image X originating from a BLR cloud at position , using the shorthand notation , is similarly given by
(5) |
The differential lensing time delay within image X, may be found via a Taylor expansion to first order in and (the term corresponding to a line of sight displacement may be omitted as it is many orders of magnitude less than that corresponding to a shift in the source plane; see Ng & Lewis (2020); Tie & Kochanek (2018)), using the lens equation where is the scaled deflection angle, as
(6) |
The interval between the signal from a BLR cloud at and the continuum from within a given image X is given by
(7) |
where and the physical deflection angle is . The magnitude of is the eccentricity of the conic section which generates the quadric surface of revolution described by Equation (7). We regain the unlensed case, i.e. , simply by setting the deflection angle to . The effect of differential lensing is therefore to deform each iso-delay paraboloid into a one of the sheets of a two-sheeted hyperboloid of revolution about the axis, since when the quasar is lensed and when the quasar is unlensed. For the lensed quasar, the time at which the flux for the BLR is seen is determined by the intersection of the BLR geometry with a family of iso-delay hyperboloids.
The difference in the differential lensing time delays of an image pair is independent of and to first order in and :
(8) |
In general, we will write or explicitly as a difference to emphasise that the time delay difference involves two separate measurements which are both functions of position. Yonehara (1999); Yonehara et al. (2003) proposed and Goicoechea (2002) investigated constraining the locations of spatially separated flares within gravitationally lensed quasars via measurements of this time delay difference.
3 Proposed Method and Difficulties
The time delay difference between corresponding photometric signals in images A and B is solely determined by cosmology through the lensing distance, the geometry of the lensing configuration and the spatial separation within the source in the plane of the sky. This unusual property inspired the key proposal of paper I: to extract cosmological information via the ratio of angular diameter distances
(9) |
whilst alleviating the systematic uncertainties associated with lens modelling in using time delay measurements. The lens redshift and image positions can be measured directly. The time delay within an image is found by subtracting the time we see a particular signal in the continuum flux, from the time at which we see the corresponding signal in the flux of a broad emission line originating from a responding BLR cloud at .
The technique as presented, centred on the usage of reverberation mapping to determine the position of the BLR cloud responding at a given measured time delay in each image and , is ill-motivated rather than one with limitations which could be directly mitigated by future improvements in observations. We summarise the interlinked difficulties as follows
-
1.
Reverberation mapping only gives general constraints on the geometric structure of the BLR. It does not uniquely map the location of individual points in the BLR, meaning that Equation (9) is underdetermined.
-
2.
The projection of the BLR cloud position on the image-image axis can not be determined from reverberation mapping, but requires e.g. spatially resolving each image.
-
3.
In the general case ; the flux from each image is largely insensitive to differential lensing.
-
4.
The determination of the geometric parameters is not a priori independent of the source position.
A main challenge of exploiting Equation (9) lies in the task of pinpointing the position of the BLR cloud responding at a given measured time delay in each image. This position also enters separately in the dot product in the denominator of the same equation, i.e. requiring the projection of the BLR cloud position on the image - image axis on the sky, which assuming a spatially unresolved BLR is not directly measurable. For example, Goicoechea (2002) determined the position of a flare only along the image-image direction for a given image pair.
A key assumption of Yonehara et al. (2003) was that these flares are discrete, spatially separated and not physically correlated. If there is no physical correlation between discrete flares, then the shape of the flux arising from each of the flares is unique. Together with either lack of or minimal superposition of the flux, this allows each flare to be identified between images.
This assumption is violated when considering reverberation mapping of the BLR, which does not pinpoint the location from discrete flares. Rather, reverberation mapping utilises the response of an extended region to the same continuum signal to give general constraints on the BLR structure and kinematics in terms of geometric parameters. Determining the time at which we see the response from a particular position in a given image, as required by Equation (9), is in general an underdetermined problem as the response is a superposition of spectral flux from over the entire BLR.
The second consequence of the assumption that flares are not physically correlated is that the time between the discrete flares, denoted by in Yonehara (1999), in general can be arbitrarily small whilst their spatial separation is arbitrarily large. This allows the fulfilment of the condition required for the time delay difference to have an appreciable effect. Choosing to identify as a characteristic difference in between points on the BLR, this condition was fulfilled in Paper I in the special case of a face-on thin ring BLR geometry which responds simultaneously, but no longer holds for a general configuration in which the difference in is on the scale of the light crossing time over the BLR structure. In the general case and so the dependence of the flux from each image on differential lensing is very small.
To see this clearly, in the time delay within the image given by Equation (7) the terms , and are all on the order of unity, whereas is on the order of at a minimum to a maximum of radians considering galaxy scale to cluster scale lensing. That is, in general the time scale for the differential lensing (minutes to days, depending on the lens mass) is very small compared to the time scale for reverberation mapping (tens to hundreds of days): implying .
Finally, the determination of the geometric parameters using reverberation mapping is also not a priori independent of the distance ratio nor the source position . We show in Section 5 of the present paper however that geometric parameters may be inferred accurately without either further data (e.g. image of the Einstein ring) or lens modelling.
As an additional note, Tie & Kochanek (2018) showed in the context of delayed emission across an accretion disk, whilst the differential lensing time delay given by (6) is negligible, the terms equivalent to the reverberation mapping terms in this work no longer cancel between images when considering the effect of microlensing. Rather, differential magnification over the source is included as an extra weighting factor to these terms which is image and time dependent (as the source moves relative to the stars causing the microlensing). Microlensing thereby adds time delays on the scale of the light crossing time of the relevant quasar structure to the standard time delay (2), potentially causing systematic problems for time delay cosmography; although no evidence for this effect has been observed from current data (e.g. Wong et al., 2020). We do not explore this microlensing effect as it does not impact the above conclusions centring on the potential-free expression for the differential lensing time delay.
3.1 The Degeneracy Problem Exemplified
We now illustrate the problem of underdetermination with an example. The spectral flux from axisymmetric BLR geometries including the thick ring or disk, the spherically symmetric and the biconical geometry may be considered as the superposition of the contribution of the spectral flux from (possibly inclined) thin rings. We therefore write the Cartesian BLR body coordinates in terms of spherical coordinates where is the zenith angle and is the azimuthal angle, which is related to the coordinates (which we defined such that is in the observer, or line-of-sight, direction) by a rotation through an inclination angle about the axis such that . For example, a ring or disk co-planar with the central ionising source has fixed , and when its inclination angle is it is face-on and when it is edge-on with respect to the observer. A spherical geometry may have set to be .
To demonstrate the degeneracy issue, we restrict Equation (9) to the least-degenerate case of an infinitesimally thin inclined ring such that the position within the BLR geometry is parametrised by alone.
(10) |
which assuming circular Keplerian orbital motion can be related to the line-of-sight velocity variable (and thereby the observed wavelength) via a line-of-sight velocity model :
(11) |
where and is the central black hole mass. So for each value of the line of sight velocity, there are two corresponding positions and which are defined by
(12) |
such that and . One can immediately see that the value of the denominator of Equation (10) is dependent on the choice of and : even in the simplest case of an infinitesimally thin ring, the positions are degenerate. In Paper I we disregarded this position-wavelength degeneracy (all positions correspond to a single wavelength for a face-on ring) and further exploited the symmetry of the projection of a thin face-on ring in the x-y plane: the dependence on position within the BLR geometry disappears in the denominator when taking the maximum of the time delay for the special case of a face-on ring.
In more realistic models, such as a radially-thick inclined ring, we no longer have a fixed but rather a range of values of (and also of ). Each term as well as now corresponds to two ranges of values; the system is underdetermined and we can not find constraints on for a given inferred value of .
4 Combining Differential Lensing and Reverberation Mapping
Reverberation mapping provides constraints on the overall geometry of the BLR since measurements of provides information on ; and in addition, the observed wavelength within the broad emission line is proportional (assuming relativistic effects are negligible111A full analysis would consider the impact of relativistic effects which are significant for small BLR radii, such as gravitational redshifting, the relativistic Doppler effect and relativistic beaming, e.g. Corbin (1997); Goad et al. (2012). A consequence of the relativistic Doppler effect is that in general the observed wavelength is not simply proportional to line-of-sight velocity.) to the line-of-sight velocity of the BLR cloud. If the velocity of a BLR cloud may be related to its position via a model for the velocity field, then the line-of-sight velocity gives additional information on the position of the BLR cloud as well as the kinematics. A “cloud” refers to small individual entities in the emission line region in reverberation mapping literature; we interchangeably refer to either a cloud or a point particle of the BLR distribution.
We first review the unlensed case (Blandford & McKee, 1982; Peterson, 1993; Netzer, 1990, 2013). Let be the velocity coordinates of a BLR cloud, whereas denotes the line-of-sight velocity variable. The broad emission line spectral flux responds to the continuum flux , as given in generality by
(13) |
where the line-of-sight projected 1D velocity distribution is defined in terms of the full velocity distribution as
(14) |
The responsivity term is in general dependent on the position (or if isotropic, simply the radius) of the cloud and contains the physics of the photoionisation of the BLR. The continuum flux received by a gas cloud at time and position , emitted by the central source at an earlier time , is and plays the role of the emissivity of the cloud where is the reprocessing coefficient of the cloud.
The general reverberation mapping problem involves finding the deconvolution of
(15) |
since all of the geometrical information is contained within the transfer function . When the transfer function is visualised using a heat map in -space, it is commonly referred to as a “velocity-delay map”. This deconvolution problem may be approached using maximum entropy fitting techniques, or regularised linear inversion; and then the outputted velocity-delay map may be compared qualitatively to the theoretical velocity-delay maps produced by simple models. Recovering the transfer function and thereby inferring the physical and kinematic distribution of the BLR using reverberation mapping has been, up until recent improvements of the quality of reverberation data sets, regarded as a technique in a developmental state (Shen et al., 2014; Mangham et al., 2019; Cackett et al., 2021). Rather than solving this ill-posed inverse problem, reverberation mapping has been often limited to finding only the mean radius for the BLR through measuring the mean time delay for emission lines using cross-correlation analyses, from which it is possible to constrain the mass of the central black hole. Forward modelling of the BLR also offers an alternative Bayesian approach to directly (without explicitly finding the transfer function) providing best-fit parameters of a flexible BLR geometry (Pancoast et al., 2011).
The transfer function, or the Green’s function for the system, is the line response to a Dirac-delta continuum pulse; replacing with gives
(16) | ||||
(17) |
The second equality holds when there exists a velocity model whose corresponding line-of-sight velocity model is , such that we may write the velocity distribution as where is the number density of responding clouds. This gives the line-of-sight projected velocity distribution as . We can interpret the general problem as one of finding a probability density function under a change of variables from positions to . As the dimensionality of the original set of random variables is not the same as the new set of random variables, the probability density functions are written using Dirac delta generalised functions.
Including the effect of differential lensing on the transfer function simply involves substituting the reverberation mapping time delay function with the time delay function and denoting the time variable with the subscripted to emphasise that it is measured with respect to the lensed continuum signal in each image . It follows that the transfer function and the observed broad emission line spectral flux of each image are respectively given by
(18) |
and
(19) |
Although overall deductions about the BLR geometry and kinematics made be made from finding the transfer function or else by direct forward modelling, determining the time at which we see the response from a particular position in a given image, as is required by Equation (9), is in general an underdetermined problem. For the simple BLR models usually considered, e.g. where the (emissivity-weighted) number density distribution is modelled as uniform over the line, surface or volume to which the particles are confined and does not add an extra parameter, the full transfer function does not give information further than its support. For inhomogeneous BLR models which feature over- or under-densities of clouds in particular spatial regions however, the form of the transfer function may further constrain the number density distribution over that region. It can still be somewhat useful to find the theoretical transfer functions for idealised models for the visualisation of the method.
We therefore present the form of the transfer function in the case of a uniform thin inclined co-planar ring in Section 4.2 below, and leave the details as well as calculations for a disk and spherical shell to Appendix A. Throughout these calculations, we assume to be a constant (e.g. Pancoast et al., 2011), i.e. that the radiation received and re-emitted by all BLR clouds is constant. A more physically accurate assumption of the dependence of on, for example, radius does not impact the overall findings discussed in Section 3 of this paper. As light is simply redistributed in time due to the differential lensing, the overall effect on the spectral flux tends to be a small change in magnitude of the transfer function whilst spanning a correspondingly larger or smaller domain in time compared to reverberation mapping without lensing.
4.1 General Effects of Differential Lensing on The Shape of The Velocity Delay Map
We can distinguish the time at which the signal from some subset of the clouds, in image A from the time which it is seen in image B, by comparing the support of the transfer function in -space from different images; that is, analysing the effect of differential lensing on the shape of the velocity-delay map. This is dictated purely by the first two of the available constraints, the time delay and the velocity model .
In this work, we consider axisymmetric broad line region geometries, with three classes as explicit examples: the ring or disk, the spherically symmetric, and the biconical geometry as examples. For non-axisymmetric geometries, the overall principles should still apply, but the analysis may not be as straightforward. It is useful to variously express the time delay within an image , Equation (7), in spherical coordinates as
(20a) | ||||
(20b) | ||||
(20c) |
by defining the parameters:
(21a) | ||||
(21b) | ||||
(21c) | ||||
(21d) | ||||
(21e) |
where solves and simultaneously, and we set . The functional forms of and are identical; we can regain by setting the deflection angle to such that , and .
We consider rotational and radial velocity fields whose line-of-sight components are given respectively by
(22) | ||||
(23) |
where the rotation axis is in the direction given by , and for disk and biconical geometries and is chosen independent of fixing for spherical geometries. In the case of ring or disk geometries, we consider circular Keplerian orbits (Equation (22) with and ) whereas in the case of spherically symmetric geometries we consider solid body rotation (Equation (22) with ). Combining the time-delay constraint (20b) with either velocity model (22) or (23) gives a pair of parametric equations for the support of the velocity-delay map.


Recall that the spectral flux from any of these BLR geometries may be considered as the superposition of the contribution of the spectral flux from thin rings. The velocity-delay maps of these geometries may therefore be analysed by decomposing the structures into thin rings, i.e. slicing by holding and constant or alternatively (corresponding to halves of thin rings) and constant. In either case, we see that a single thin ring component of a general geometry sketches out an ellipse in -space. In either the lensed or unlensed case, the ellipse may be degenerate (i.e. forming a point or an interval, dependent on the parameters).
The general effect of differential lensing is to alter the eccentricity, rotate and scale the axes of, and shift in the time-delay dimension this -space ellipse as illustrated in Figure 3. The parameter controls the shift in time and the scaling in time or the half-height of the ellipse, whereas the phase-shift controls the rotation and eccentricity. For typical values of the differential lensing time delay, there is negligible rotation of the velocity-delay ellipse for all values of the inclination angle away from the face-on case where . For all values of away from , the scale of the velocity-delay ellipse on the time axis is determined by the radius of the thin ring and on the scale of tens to hundreds of days whereas the effect of the lensing is on the scale of minutes. We discuss the consequences in detail for each class of BLR geometry.
4.2 Inclined Ring or Disk
Consider as the simplest model for a BLR geometry a thin ring co-planar with the continuum source with fixed and radius , inclined at an angle ; in Keplerian orbit with orbital speed . Equations (20c) and (22) are then parametrised by the azimuthal angle , with the direction of parametrisation determined by :
(24a) | ||||
(24b) |
tracing an ellipse in ()-space as illustrated in Figure 4. As in the general case, lensing alters the values of and where determines the half-height of the ellipse, and the phase shift angle determines the rotation of the ellipse axes from the -axes in addition to modifying the eccentricity. However, for the co-planar thin ring, there is no shift in time.

The velocity-delay map for a radially-thick inclined ring or disk can be generated as a superposition of the velocity-delay maps for the single inclined thin ring over a range of radii: see Figure 5a subplot 2a. This results in a characteristic bell shaped envelope that will be slightly deformed by the lensing. The bell shape is elongated in the time domain in accordance with the maximum and minimum radius orbits, since the top and bottom points of this bell shape corresponds to the maximum and minimum radius orbits respectively.
For the thin inclined ring BLR with uniform linear number density , the number density distribution of the BLR model is . The one-dimensional transfer function, as illustrated in Figure 4, is given by an arcsine distribution
(25) |
when and is otherwise. The two-dimensional transfer function is
(26) |
where
(27) | ||||
(28) |
The summation implies that we have a Dirac delta function where and another where , as illustrated by Figure 4. We note that the form of the transfer function is independent of the image position. When the two-dimensional transfer function is integrated over an arbitrary amount of time, we see that the resulting spectra is given by segments of an arcsine distribution in , where the widths and positions of these segments are determined by the integration time,
(29) |
if and is otherwise, as shown in Figure 4.

4.3 Spherical Shell
We can straightforwardly build up the velocity-delay map of a thin spherical shell geometry, which has fixed radius , , and we may set the inclination angle . If the spherical shell is in solid body rotation about a rotation axis, which is in the direction given by where , the constraints become
(30a) | ||||
(30b) |
where here reduces to simply .
A thin spherical shell may be considered as being composed of thin face-on rings parametrised by . Without lensing, we see that each thin ring traces out a horizontal line in observed ()-space and the envelope of these horizontal lines is an ellipse. Including lensing, we have that each horizontal line for each thin ring (fixed ) is distorted into an ellipse in ()-space, illustrated in Figure 5b, subplot 5b. These ellipses have the largest height (largest deviation from a straight horizontal line) when , the middle of the velocity-delay map.
The distortion we describe over the entire velocity-delay map for the thin spherical shell is also very small. For example, we can check how the duration of the time delay of the overall signal is modified. Recognising that the maximum and minimum of the time delay occurs when respectively, and repeating this argument after combining the remaining -dependent terms into a single sine term, we have
(31) |
where and .

If we instead consider radial inflow or outflow (Equation (23) with and respectively), we have Equation (30a) combined with
(32) |
Since here is a function of independent of , it is convenient for interpretation to hold constant instead of . Without lensing, the velocity-delay map is an interval. By choosing the observer to be in the positive direction (such that increasing corresponds with increasing wavelength), spherical outflow and inflow corresponds to a negative and positive slope respectively. When the quasar is lensed, i.e. , the interval deforms into a filled ellipse, since each fixed value of corresponds to an arc of an ellipse parametrised by , the envelope of which is given by corresponding to . The largest change in the time delay between lensed images corresponds to where , i.e. , and the magnitude of this change is simply
(33) |
However, since , the time delay difference cannot be found from the envelopes of the velocity-delay maps which correspond to different . Again, one can easily build up the expected velocity-delay map for a thick spherical shell or ball model of the BLR, by letting vary over to ; this is shown illustrated in Figure 5b.
4.4 Biconical Geometries
A biconical BLR geometry is a solid or hollow double cone with a given radial interval and a half-opening angle ; aligned along an axis at an inclination angle to the line-of-sight direction . In the hollow case, the BLR material is restricted to , and in the solid case it is restricted to . A general biconical geometry is therefore a subset of a thick spherical shell geometry: a solid double cone forms a thick spherical shell when .
A solid double cone can be constructed from an infinite number of hollow double cones of progressively smaller half-opening angles, and a hollow double cone can be composed from an infinite number of thin rings with radial coordinates between and at and : the parametric equations for the velocity-delay map for the thin rings at radius and and in radial motion are
(34a) | ||||
(34b) |
Without lensing, as , each thin ring maps to an interval on the -plane; whereas with lensing this interval deforms into an ellipse. The full velocity-delay map from the entire structure is then given by the superposition of such intervals or ellipses; and this velocity-delay map is a subset of the region mapped by a spherical geometry with the same velocity field, dependent on the values of and . This is illustrated in Figure 5b, subplots 7c and 7d.
We see that for all of the geometries besides a single thin inclined ring, that the signal from a particular position in the BLR structure is typically superimposed by the signal from many other positions in the structure: the time delay and the line-of-sight velocity alone are insufficient in constraining the BLR position.
5 Parameter Estimation

Since the available data comes from observations of each unresolved lensed image, the most probable BLR geometric parameters need to be estimated together with lensing parameters. Consequently, the estimates of BLR parameters which are to then be used for estimation of the distance ratio according to the proposed method are, through the physical deflection angles, implicitly dependent on the source position . However, we find that it is possible to recover the desired BLR geometric parameters even if the lensing parameters (i.e. the deflection angles) are not constrained, as may be expected from the prior discussions on the smallness of the effect of the lensing for all physically reasonable scales.
As an illustration of this component of the method, we demonstrate finding these parameters using Bayesian parameter estimation, assuming that the transfer function has already been recovered, of the least degenerate, idealistic scenario of contriving the BLR model as restricted to a thin inclined ring. The parameters for this model which we wish to input into the expression for the distance ratio, Equation (10), are the black hole mass , the inclination angle and BLR radius .
In Bayesian data analysis, the posterior distribution is the probability distribution of a given set of parameters belonging to a model given some data and prior information . The posterior distribution may be determined through Bayes Rule:
(35) |
where is the likelihood, is the prior, and the evidence or marginal likelihood is . The integral is over the domain of the parameter space and as we are only considering a single model, we drop the subscript for the rest of this work. The posterior may be estimated via numerical methods, usually involving an algorithm that approximates the posterior by generating and weighting a set of discrete samples. Since evaluating the multi-dimensional integral to compute the evidence is a key difficulty, common numerical methods such as Markov Chain Monte Carlo (MCMC) rely on drawing these samples from a distribution proportional to the posterior distribution. In this work we use the emcee (Foreman-Mackey et al., 2013) implementation of the MCMC algorithm. We assume non-informative priors, such that the posterior is directly proportional to the likelihood
(36) |
and the maximum a posteriori estimate of is equivalent to finding the maximum likelihood estimate.
We define our likelihood function, first specifying our model. Let us assume that the original continuum function is a Dirac Delta function which is then convolved or blurred in the time domain by a Gaussian function such that:
(37) |
where is the width or standard deviation of the blurred continuum, which allows for numerical sampling of the posterior. Since for a thin inclined ring, the transfer function is given by a sum of Dirac-delta signals (26), the line response with becomes
(38) |
where
(39) | ||||
(40) |
and
(41) | ||||
(42) | ||||
(43) |
and so, fixing , the parameters associated with this model are where denotes the set of all the physical deflection angles over all the available images (through which there is an implicit dependence on and ). For the purpose of parameter estimation, the model is considered a function of the parameters instead of the variables , which are evaluated at values fixed by each data point and then binned: , where and respectively denote the time and line-of-sight velocity bins of the data.
Rather than work with the analytic expression (38) directly, which due to the term is singular when , we instead obtain numerically, utilising . For each BLR cloud we may draw a position sample from the thin ring number density distribution function. To each sample we then assign a time and a velocity from the time delay and velocity models (24a) and (24b), before performing a 2D Gaussian blur. The resultant time delay and line-of-sight velocity values were binned with bin widths of roughly 1d and 50 km s-1 respectively.
We generate mock data by fixing the model parameters at a chosen set of true values and adding measurement noise. As photon statistics follow a Poisson distribution, the scaled Poisson distribution corresponding to the flux data has a mean at the model value and a variance given by , where is a constant and there is an additional background contribution to the noise. The parameters for the noise are chosen to correspond to a peak signal-to-noise ratio of approximately 10 with . As the photon count is large, the distribution is approximated as Gaussian
(44) |
and the probability density of an individual datum is
(45) |
The likelihood function for the line response from a single image , i.e. the joint probability density function , is given (assuming independent data) by the product of the probability densities of the individual measurements :
(46) |
The log-likelihood for the line response for a single image is thus
(47) |
To find the posterior taking into account the data from all images (assuming independence), we can either iterate over the data from each subsequent image; or perform the analysis in one step, where the full likelihood function is the product of the individual ones
(48) |
where is the set of data from all images.
We ran emcee until the Markov chain was longer than 100 times the integrated autocorrelation time estimate for the chain for each parameter, with the estimated autocorrelation time changing by less than 1%. Due to the highly restrictive assumptions of this BLR geometric model, the geometric parameter values are very well determined; whereas the deflection angles are unconstrained with the posterior distributions equivalent to the uniform priors. This result for realistic lensing scales could be surmised from the data by eye; although even if the scale of lensing is increased to unrealistically large magnitudes, the geometric parameter values remain very well determined for this model. The corner plot of the one and two dimensional projections of the posterior probability distributions in the case of galaxy-scale lensing is shown in Figure 6.
6 Conclusions
In summary, (Ng & Lewis, 2020) proposed a method of determining without lens modelling, via reverberation mapping and measuring times delays of differentially lensed, unresolved quasars. This method suffers from the following:
-
1.
Reverberation mapping does not uniquely map the location from discrete flares as is required; rather it only gives general constraints on the geometric structure of the BLR. This is a problem of underdetermination.
-
2.
The projection of the BLR cloud position on the image-image axis is needed, which requires further data (i.e. spatially resolving each image).
-
3.
The time scale for differential lensing is on the order of minutes to days compared to tens to hundreds of days for the reverberation mapping time delay; for a general BLR geometry.
-
4.
Finally, the determination of the geometric parameters is not a priori independent of . However, the effect of differential lensing is sufficiently small (), implying the geometric parameters may be inferred accurately without additional data or lens modelling.
Although imaging the BLR structure of an unlensed quasar requires a resolution of arcseconds, which is still unfeasible with current interferometry, a high angular resolution between the photocentres of redshifted and blueshifted emission may be achieved using the technique of spectroastrometry (GRAVITY Collaboration et al., 2018). This has allowed for initial parallax distance measurements using reverberation mapped quasars (Wang et al., 2020). Spectroastrometry would not be as straightforward (and perhaps superfluous) to apply to lensed quasars and obtaining the source positions from the observed image positions would require lens modelling; although the possibility of image magnification could be an advantage. It is possible that differential lensing time delays may be used to extract cosmological information, although obtaining the source positions from image positions may remain a limitation, if distinct, time-variable features within the quasar structure between images can be identified.
Acknowledgements
AN thanks Ed McDonald, Céline Bœhm and Mark Wardle for useful discussions and comments; Mat Varidel and Josh Speagle for discussions on Bayesian analysis; and Oz Brent for discussions regarding numerical computation. AN also thanks the anonymous reviewer for helpful comments which improved this manuscript. This research was funded in part by an Australian Government Research Training Program Scholarship and University of Sydney Hunstead Merit Award.
Data Availability
The data underlying this article will be shared on reasonable request to the corresponding author.
References
- Birrer et al. (2019) Birrer S., et al., 2019, Monthly Notices of the Royal Astronomical Society, 484, 4726
- Birrer et al. (2020) Birrer S., et al., 2020, arXiv e-prints, (arXiv:2007.02941)
- Blandford & McKee (1982) Blandford R. D., McKee C. F., 1982, The Astrophysical Journal, 255, 419
- Blandford & Narayan (1986) Blandford R. D., Narayan R., 1986, The Astrophysical Journal, 310, 568
- Blandford & Narayan (1992) Blandford R. D., Narayan R., 1992, Annual Review of Astronomy and Astrophysics, 30, 311
- Cackett et al. (2021) Cackett E. M., Bentz M. C., Kara E., 2021, iScience, 24, 102557
- Chen et al. (2020) Chen G. C.-F., Fassnacht C. D., Suyu S. H., Yıldırım A., Komatsu E., Bernal J. L., 2020, arXiv e-prints, (arXiv:2011.06002)
- Corbin (1997) Corbin M. R., 1997, The Astrophysical Journal, 485, 517
- Courbin et al. (2018) Courbin F., et al., 2018, Astronomy & Astrophysics, 609, A71
- Falco et al. (1985) Falco E. E., Gorenstein M. V., Shapiro I. I., 1985, The Astrophysical Journal, 289, L1
- Foreman-Mackey et al. (2013) Foreman-Mackey D., Hogg D. W., Lang D., Goodman J., 2013, Publications of the Astronomical Society of the Pacific, 125, 306
- GRAVITY Collaboration et al. (2018) GRAVITY Collaboration et al., 2018, Nature, 563, 657
- Goad et al. (2012) Goad M. R., Korista K. T., Ruff A. J., 2012, Monthly Notices of the Royal Astronomical Society, 426, 3086
- Goicoechea (2002) Goicoechea L. J., 2002, Monthly Notices of the Royal Astronomical Society, 334, 905
- Kochanek (2020) Kochanek C. S., 2020, Monthly Notices of the Royal Astronomical Society, 493, 1725
- Mangham et al. (2019) Mangham S. W., et al., 2019, Monthly Notices of the Royal Astronomical Society, 488, 2780
- Netzer (1990) Netzer H., 1990, in Swiss Society for Astrophysics and Astronomy Courvoisier T. J.-L., Mayor M., eds, , Vol. 20, Active Galactic Nuclei. Springer-Verlag, Berlin/Heidelberg, pp 57–158, doi:10.1007/3-540-31625-6_2, http://link.springer.com/10.1007/3-540-31625-6_2
- Netzer (2013) Netzer H., 2013, The Physics and Evolution of Active Galactic Nuclei, 1 edn. Cambridge University Press, doi:10.1017/CBO9781139109291, https://www.cambridge.org/core/product/identifier/9781139109291/type/book
- Ng & Lewis (2020) Ng A. L. H., Lewis G. F., 2020, Monthly Notices of the Royal Astronomical Society, 492, 1102
- Pancoast et al. (2011) Pancoast A., Brewer B. J., Treu T., 2011, Astrophysical Journal, 730
- Peterson (1993) Peterson B. M., 1993, Publications of the Astronomical Society of the Pacific, 105, 247
- Refsdal (1964) Refsdal S., 1964, Monthly Notices of the Royal Astronomical Society, 128, 307
- Saha (2000) Saha P., 2000, The Astronomical Journal, 120, 1654
- Schneider & Sluse (2013) Schneider P., Sluse D., 2013, Astronomy & Astrophysics, 559, A37
- Schneider et al. (1992) Schneider P., Ehlers J., Falco E. E., 1992, Gravitational Lenses. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-662-03758-4, http://link.springer.com/10.1007/978-3-662-03758-4
- Shen et al. (2014) Shen Y., et al., 2014, The Astrophysical Journal Supplement Series, 216, 4
- Suyu et al. (2017) Suyu S. H., et al., 2017, Monthly Notices of the Royal Astronomical Society, 468, 2590
- Tewes et al. (2013) Tewes M., et al., 2013, Astronomy & Astrophysics, 556, A22
- Tie & Kochanek (2018) Tie S. S., Kochanek C. S., 2018, Monthly Notices of the Royal Astronomical Society, 473, 80
- Wang et al. (2020) Wang J.-M., Songsheng Y.-Y., Li Y.-R., Du P., Zhang Z.-X., 2020, Nature Astronomy, 4, 517
- Wong et al. (2020) Wong K. C., et al., 2020, Monthly Notices of the Royal Astronomical Society, 498, 1420
- Yonehara (1999) Yonehara A., 1999, The Astrophysical Journal, 519, L31
- Yonehara et al. (2003) Yonehara A., Mineshige S., Takei Y., Chartas G., Turner E. L., 2003, The Astrophysical Journal, 594, 107
Appendix A Calculations of Transfer Functions
A.1 Thin Inclined Ring
The number density distribution which describes a thin inclined ring BLR of radius with uniform linear number density , an inclination angle is .
A.1.1 One-Dimensional Transfer Function
The one-dimensional transfer function is proportional to
(49) | |||
(50) | |||
(51) | |||
(52) | |||
(53) |
where are the roots of . This gives the result
(54) |
when and otherwise.
A.1.2 Two-Dimensional Transfer Function
Although computing the two-dimensional transfer function (18) for a general is not an easy task, the presence of Dirac delta distributions in means we can reduce the dimensionality of the integral. The rule for the composition of a Dirac delta distribution function gives a more general version of the usual change of variables rule (permitting the new and old random variables to not be one-to-one). Assuming the ring is in Keplerian orbit with orbital speed , we obtain
(55) | ||||
(56) | ||||
(57) |
where and solve and .
The Jacobian determinant when evaluated at the two roots is
(58) |
where we defined
(59) | ||||
(60) |
In the case of a thin ring the radius is fixed: the first term in Equation (58) vanishes and we find , giving
(61) |
A.2 Inclined Disk
The number density describing a disk of maximum radius and uniform surface density can expressed using the Heaviside step function :
(62) | ||||
(63) |
A.2.1 One-Dimensional Transfer Function
By recalling the expression for the one-dimensional transfer function for a thin inclined ring, Equation (54), we recognise
(64) |
where and with . Under a change of variables from to , such that and , we have that when ,
(65) | ||||
(66) |
When , then and the one-dimensional transfer function is a linear function of ,
(67) |
whereas when , i.e. , the expression does not simplify as nicely as the former regime.
Similarly, in the case that ,
(68) | ||||
(69) |
and finally, in the case that ,
(70) |
Since the number density for a radially-thick inclined ring can be found by subtracting the number density of a smaller disk from a larger disk, the one-dimensional transfer function for such a geometry is proportional to
(71) |
A.2.2 Two-Dimensional Transfer Function
The two-dimensional transfer function is given by
(72) | ||||
(73) |
Using the Jacobian determinant (58), along with we have the result
(74) |
As and together form a polynomial of 6th degree in , there are 6 (real or complex) roots for which there are no algebraic expressions.
A.3 Thin Spherical Shell
A thin spherical shell of radius with a uniform surface density in solid body rotation, which has a number density given by .
A.3.1 One-Dimensional Transfer Function
Calculating the one-dimensional transfer function in the case of a thin spherical shell geometry using the direct method is not straightforward due to the nature of the integral. However, the thin spherical shell may be decomposed into thin face-on rings where there is a unique value of for each ring. We happen to know that the conditional probability density function of for each given : as we showed in Paper I, the effect of lensing on a thin face-on ring on its flux is to distort each Dirac delta spike into an arcsine distribution whose width is then dependent on . In this special case, we may integrate over the contributions from each ring at each time . Formally, since is the sum of and which may be considered as random variables, may be written using the definition of the conditional probability as
(75) | ||||
(76) |
when and otherwise. Here
(77) |
when and otherwise. The conditional number density at given is , where
(78) |
where when the condition holds and otherwise. This condition on is equivalent to where the bounds depend on We therefore find and ; and write
(79) | ||||
(80) |
recalling , which gives the result
(81) |
when and
(82) |
when , and we emphasise the dependence of on . This gives the domain of in agreement with the expression (31). We again note that since , the lensing effect is extremely small for all images.
A.3.2 Two-Dimensional Transfer Function
The two-dimensional transfer function is proportional to
(83) | ||||
(84) | ||||
(85) | ||||
(86) | ||||
(87) |
where and solve and . Finding the roots requires solving
(88) |
where and , for in terms of and .
Solving for in terms of and is not straightforward. However, since and are very small compared to we can take a first order approximation of the solution to such that , giving
(89) |
When , this is the exact expression for the unlensed transfer function, and is an arcsine distribution in both and . From this we see that the effect of an, e.g., larger value for is to depress the approximately arcsine distribution; this effect is extremely small around the centre of the distribution but removes the singularity in the distribution at .