{"id":"6b0fcd3a-93a8-4957-bdd5-b2a68811ffa5","arxiv_id":"1908.02892","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":3,"one_line_summary":"A simple flat-space identity turns published strong-lensing time-delay distances into angular diameter distances of background quasars, though the result is informationally equivalent to its inputs.","lead":"This paper derives the angular diameter distance to a strongly lensed quasar from two already-measured lensing distances, assuming a flat Universe, and applies the formula to the system SDSS 1206+4332. The derived distance carries no new information beyond the two input measurements, but the author argues it could help fill the gap between supernova and CMB distances in model-independent cosmography.","discovery_kind":"incremental","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The flatness assumption is load-bearing: Eq.7–8 hold only for Ω_k=0, so the inferred D_S is not a model-independent observable and becomes biased if curvature is nonzero.","rationale":"The paper is a short, readable proposal with a correct algebraic core: under flatness, Eq.8 follows from the definition of D_dt (Eq.2) and the flat-space distance relation (Eq.7), and applying it to the H0LiCOW posterior samples for SDSS 1206+4332 is a legitimate calculation. The author is also transparent about limitations: Section 3 concedes that D_S contains no independent information beyond D_dt and D_L for specific-model constraints, and Section 6 warns that biases in the inputs propagate to D_S. The reader's verdict of CONDITIONAL is appropriate. My stress-test identifies flatness as the single most load-bearing assumption because it is both necessary for Eq.8 and in tension with the 'model-independent' language used to motivate the cosmological application. This is not a claim that the paper is wrong or dishonest; it is a call for an explicit robustness check and more careful wording. The proposed test would show how much curvature bias affects D_S, and whether the method's usefulness depends on external curvature constraints. Since the concern is the same one the reader flagged, I agree with the reader's weakest-assumption analysis. No change to the verdict is needed; the paper remains acceptable conditionally on clearly labeling D_S as flatness-assumed and adding a curvature-robustness estimate.","tokens_in":9991,"tokens_out":16932,"duration_ms":180119,"concrete_test":"Generate mock strong-lens systems in non-flat FLRW models with Ω_k = -0.05, -0.01, 0, +0.01, +0.05, using the same redshift configuration as SDSS 1206+4332 (z_L=0.745, z_S=1.789) and the published D_dt and D_L uncertainties and correlation. For each model, compute the true D_S from the curved distance formula and the inferred D_S by applying Eq.8 to the true (noiseless) D_dt and D_L. If the fractional bias |D_S^inf - D_S^true|/D_S^true exceeds the statistical uncertainty of the real measurement (roughly 40–110% at 68% credibility), the flatness assumption cannot be ignored in the claimed model-independent reconstruction. Repeat the same test with the LSST forecast precision (5% D_dt and D_L errors) to see whether curvature bias exceeds the forecast accuracy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim in the Abstract—that strong lensing can measure the angular diameter distance to the source D_S—rests on Eq.8, which is derived from Eq.7: D_LS = D_S - (1+z_L)/(1+z_S) D_L. This identity is exact only in a spatially flat FLRW universe; for nonzero curvature, D_LS gains an additional term involving Ω_k. Consequently, the quantity computed by Eq.8 from published D_dt and D_L posteriors is not the true D_S when Ω_k ≠ 0, but a biased combination whose size is not estimated anywhere in the paper. The paper then proposes to use these D_S values for 'cosmological-model-independently' reconstructing H(z) and w(z) (Abstract, Section 6). That claim is internally tense: flatness is itself a cosmological model assumption, and a residual curvature of a few percent—still compatible with current constraints—would propagate through Eq.8 into a biased D_S and could masquerade as apparent dark-energy evolution. The paper explicitly conditions on flatness but never quantifies the resulting bias or offers a cross-check from independent curvature constraints. This makes flatness the least secure link between the algebraic identity (which is correct) and the promised scientific payoff.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper proposes that, under the assumption of a spatially flat universe, the angular diameter distance D_S to a lensed quasar can be inferred from published strong-lensing time-delay and lens-galaxy distance measurements. Section 3 derives Eq. (8), D_S = (1+z_L)D_L D_Δt / [(1+z_S)(D_Δt − (1+z_L)D_L)], from the flat-space identity D_LS = D_S − (1+z_L)/(1+z_S)D_L. The author applies this to the public H0LiCOW posterior samples for SDSS 1206+4332, obtaining a very broad and skewed distribution (median 2388^{+2632}_{−978} Mpc), and presents an LSST-era forecast in which 5% and 10% Gaussian errors on D_Δt and D_L, with assumed correlation coefficients, are propagated through Eq. (8). The paper argues that the resulting high-redshift D_S measurements can fill the data desert between SNe Ia and CMB and be used in model-independent reconstructions of H(z), q(z), and w(z).","tokens_in":10157,"tokens_out":8920,"duration_ms":100559,"significance":"The algebraic derivation and the propagation of the published H0LiCOW posteriors are internally consistent. The main strengths are the use of public posterior samples for the one real application, the transparent acknowledgment in Section 3 that D_S carries no information beyond D_Δt and D_L, and a forecast with explicitly stated error assumptions. If the LSST-era assumptions are realized, a population of high-redshift D_S measurements could complement the low-redshift Hubble diagram. However, the significance is tempered by three facts: the current real measurement has an uncertainty of roughly −41% to +110%, the method is a deterministic transformation of previously published distance quantities rather than a new observable, and the central model-independent claim is conditioned on a flat universe. These issues are correctable in revision but currently affect the abstract's headline claims.","major_comments":[{"comment":"The abstract's claim that strong lensing can accurately measure D_S is not supported by the only real application: for SDSS 1206+4332 the median is 2388^{+2632}_{−978} Mpc, a 68% interval spanning roughly −41% to +110%, and the alternative most probable value is 1800^{+1796}_{−850} Mpc. Please qualify the abstract so that 'accurate' is attached to the LSST-era forecast rather than to current measurements, or explicitly report both statistics and state which one is quoted.","section":"Abstract and §4"},{"comment":"The identity D_LS = D_S − (1+z_L)/(1+z_S)D_L used in Eq. (7) is exact only for Ω_k = 0. The paper nowhere quantifies the bias in Eq. (8) when the universe has a small nonzero curvature, even though current constraints still allow |Ω_k| of order a few times 10^{-3} or larger depending on the dataset. Since the Abstract and Section 6 describe the D_S measurements as cosmological-model-independent probes of dark energy, this flatness dependence is load-bearing. Please derive or numerically estimate the fractional error in D_S as a function of Ω_k and either remove the model-independence wording or explicitly state that the method is model-independent only within the class of flat cosmologies.","section":"§3, Eq. (7)"},{"comment":"The paper correctly states that determining D_S would not bring extra information for constraining parameters in specific cosmological models and that only one distance among D_L, D_S, and D_Δt is independent. Because Eq. (8) is a deterministic transformation of the published D_Δt and D_L posteriors, the title and abstract phrase measuring the distances to quasars describes a repackaging rather than a new observable. I recommend either explicitly labeling D_S as a derived quantity in the title and abstract, or implementing and demonstrating the direct fitting of D_S suggested later in Section 3.","section":"§3, 'we emphasize' paragraph"}],"minor_comments":[{"comment":"The text refers to 'SDSS 1206+080' as the only doubly lensed H0LiCOW system; this should be 'SDSS 1206+4332', the system analyzed throughout the paper.","section":"§4, 'Note that' paragraph"},{"comment":"The fitted distribution is for D_S, but the equation writes P(D_Δt) and defines x = D_Δt/(1 Mpc); both should be replaced by D_S.","section":"§4, Eq. (12)"},{"comment":"The caption does not define the line types or colors used for the different z_L values and for the 5% and 10% precision assumptions, and it should state that σ_DS is half the 16th–84th percentile range rather than a Gaussian 1σ uncertainty.","section":"Fig. 5"},{"comment":"The abstract quotes only the median-based D_S = 2388^{+2632}_{−978} Mpc, while Section 4 also reports a substantially different most probable value; please clarify which statistic is being quoted.","section":"Abstract and §4"},{"comment":"The citation should be 'Schneider & Sluse 2013', matching the reference list.","section":"§6, 'Schneier & Sluse 2013'"}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about its limitations and the core algebra is sound. The main issues are overstatement in the abstract and the tension between the flatness assumption and the 'model-independent' language. If the authors add a curvature-bias estimate and revise the claims accordingly, I would support publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know one thing before reading this: the central result is an identity, not a measurement. In a flat universe, angular diameter distances satisfy D_LS = D_S - (1+z_L)/(1+z_S) D_L, and combining that with the definition of the time-delay distance gives Eq.8, D_S = (1+z_L)D_L D_dt / [(1+z_S)(D_dt - (1+z_L)D_L)]. The algebra is correct. But D_S is a one-to-one function of the published D_dt and D_L posteriors, so it carries no information beyond its two inputs. The author says as much in Section 3: determining D_S in this way would not bring any benefits for constraining parameters in specific cosmological models. That sentence should be in the abstract, because it is the whole story.\n\nWhat the paper does well is being honest about the mechanics. The application to SDSS 1206+4332 properly propagates the H0LiCOW posterior samples through Eq.8, and the resulting distribution is reported with the median and percentiles rather than a misleading Gaussian summary. The forecast in Section 5 is also transparent about its assumptions: 5% and 10% input precisions, chosen correlation coefficients, and a flat fiducial model. For a reader who wants to see how the derived distance behaves, the figures are useful.\n\nThe soft spots are real but proportionate. The abstract says the method can \"accurately measure\" D_S, which is hard to square with the real-system result of 2388^{+2632}_{-978} Mpc. That is not accurate in any ordinary sense of the word. The bigger conceptual issue, which the stress-test note identifies correctly, is the flatness assumption. Eq.7 is exact only for Omega_k = 0. The paper explicitly conditions on flatness, so it is not internally inconsistent, but the abstract's \"cosmological-model-independently\" is an overstatement: flatness is itself a cosmological model choice. If the true universe has a few percent curvature, still allowed by current data, the inferred D_S is biased, and the paper does not quantify how that bias would fake dark-energy evolution in the proposed reconstruction.\n\nThe paper is short, mathematically simple, and ultimately a repackaging of existing distance constraints. It is not a new observable and it is not a new method in any deep sense. But it is a clear, honest presentation of a useful algebraic transformation, and the worked example with real posterior samples is a legitimate service to anyone who wants to interpret D_S in future lensing samples.\n\nWho is this for? Someone working on model-independent distance reconstruction at high redshift, who wants to see whether D_S adds anything beyond D_dt and D_L. The answer, as the author concedes, is that it does not. The paper deserves a serious referee more than a desk rejection, but the referee should push for a rewritten abstract that drops \"accurately\" and \"model-independently,\" and for a short paragraph estimating the curvature bias. As is, it reads like a research note that got dressed up as a letter.","headline":"Eq.8 is correct but is just algebra: under flatness, D_S is a deterministic function of D_dt and D_L, so the paper's own admission in Section 3 that it adds no extra cosmological information is the real verdict.","tokens_in":10775,"tokens_out":1494,"would_cite":false,"duration_ms":20923,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper shows that, under the assumption of a flat universe, strong-lensing time-delay observations determine the angular diameter distances $D_S$ to lensed quasars at redshifts up to $z_S\\sim4$, filling the Hubble-diagram gap between…","keywords":["strong gravitational lensing","time-delay distance","angular diameter distance","quasar distances","dark energy equation of state","Hubble diagram","flat universe","LSST forecast"],"falsifier":"Compare Eq. (8) against an independent, model-free distance to the same source at the same redshift. A clean test would be a strongly lensed quasar with a gravitational-wave standard siren from a compact binary at nearly the same redshift: any systematic mismatch between $D_S$ from lensing and the standard-siren distance that grows with redshift would falsify the flat-universe interpretation. In the absence of such data, a precise curvature measurement from CMB and BAO that excludes $\\Omega_K=0$ would already break the required geometric assumption.","tokens_in":9690,"feed_emoji":"🔭","tokens_out":8515,"duration_ms":79470,"temperature":0.7,"pith_summary":"Strongly lensed quasars with measured time delays already give two cosmological distances: the time-delay distance $D_{\\Delta t}$ and the angular diameter distance to the lens $D_L$. This paper shows that if the universe is flat, the same observations also determine the angular diameter distance to the background quasar $D_S$ through a simple algebraic identity. That matters because the source quasars sit at redshifts up to $z_S\\sim4$, in the 'data desert' between Type Ia supernovae and the cosmic microwave background, so $D_S$ values would let astronomers reconstruct the expansion history and the dark-energy equation of state $w(z)$ without assuming a specific cosmological model. Applying the identity to the one published system with both distance posteriors yields $D_S=2388^{+2632}_{-978}$ Mpc at $z_S=1.789$, and a forecast for a future wide-field survey indicates tens of high-redshift systems with few-to-ten-percent distance precision.","feed_headline":"Strong lensing can measure distances to redshift-4 quasars","feed_subtitle":"Turning two known lensing distances into source distances fills the gap between SNe Ia and the CMB.","key_machinery":"The load-bearing object is Eq. (8), a ratio identity that re-arranges the two standard lensing distances into the source distance. The flat-space distance relation $D_{LS}=D_S-\\frac{1+z_L}{1+z_S}D_L$ is the geometric input; substituting it into $D_{\\Delta t}=(1+z_L)D_LD_S/D_{LS}$ and solving for $D_S$ gives a formula involving only $z_L$, $z_S$, $D_{\\Delta t}$ and $D_L$. The paper's use of this machinery is straightforward in principle: take the joint posterior samples of $D_{\\Delta t}$ and $D_L$ (including their correlation), evaluate Eq. (8) pointwise, and build the resulting $D_S$ distribution. The same identity drives the forecast, where Gaussian mock measurements with 5% or 10% errors and correlation coefficients $\\rho=0.1,0.4,0.7$ are propagated. It also implies that one of the three distances is redundant, since with $z_L,z_S$ and any two of $D_{\\Delta t},D_L,D_S$ the third follows.","core_discovery":"The central claim is that, under spatial flatness, a time-delay lens gives a direct measurement of the angular diameter distance to the source quasar, $D_S$, rather than only the distance to the lens or the time-delay combination. The derivation is an algebraic elimination: writing the source-lens distance in a flat universe as $D_{LS}=D_S-\\frac{1+z_L}{1+z_S}D_L$ and inserting it into the definition $D_{\\Delta t}=(1+z_L)D_LD_S/D_{LS}$ yields Eq. (8), $D_S=\\frac{(1+z_L)D_LD_{\\Delta t}}{(1+z_S)[D_{\\Delta t}-(1+z_L)D_L]}$. The paper argues that no new observable is needed and that the same posteriors the lensing community already produces for $D_{\\Delta t}$ and $D_L$ can be converted into a $D_S$ posterior. It does this for the known system SDSS 1206+4332, obtaining a heavily non-Gaussian $D_S$ distribution, and simulates the LSST era to show how the precision depends on lens and source redshifts, on the 5% or 10% distance uncertainties, and on the correlation between $D_{\\Delta t}$ and $D_L$, with larger correlation giving tighter $D_S$.","pith_inferences":["Implicit but not stated: Eq. (8) is a re-parameterisation, not a new observable; $D_S$ inherits all information from $D_{\\Delta t}$ and $D_L$, so its value is as a convenient compile point rather than extra constraining power.","If the flatness assumption is ever relaxed, the identity becomes a three-distance consistency relation that could be inverted to measure curvature from lenses at different redshifts.","Pairing the inferred angular diameter distance with a luminosity distance at the same redshift would directly test distance duality, $(1+z)^2D_A=D_L$, probing cosmic opacity and photon conservation.","The highly skewed $D_S$ distribution for SDSS 1206+4332 is a warning that future distance compilations should preserve full posteriors or the paper's log-normal fit, not reduce them to symmetric error bars."],"forward_implications":["Every time-delay lens with both $D_{\\Delta t}$ and $D_L$ will automatically yield $D_S$; no additional observations or new fitting machinery are needed.","The inferred $D_S$ values, at $z_S$ up to about 4, extend the model-independent Hubble diagram into the gap between SNe Ia and the CMB and can feed direct reconstructions of $H(z)$, $q(z)$ and $w(z)$.","The precision of $D_S$ improves when $D_{\\Delta t}$ and $D_L$ are strongly correlated, so analysing the two distances jointly is preferable to treating them as independent.","With LSST-era data, roughly 55 high-quality lens systems (about 35 with $z_S>2$) could deliver $D_S$ at roughly 5-10% precision, making the method a practical source of high-redshift distances.","Any bias in $D_{\\Delta t}$ or $D_L$ propagates directly into $D_S$; the paper therefore relies on blind analyses and data challenges to keep systematics under control."],"supporting_citations":[{"why":"Defines the time-delay distance $D_{\\Delta t}$ that Eq. (8) builds on.","marker":"Refsdal 1964"},{"why":"Review of strong-lensing time-delay cosmology that establishes the standard distance combination.","marker":"Treu & Marshall 2016"},{"why":"Shows how to measure the angular diameter distance to the lens $D_L$ by combining time delays with stellar velocity dispersion.","marker":"Jee et al. 2015"},{"why":"Provides the public $D_{\\Delta t}$ and $D_L$ posterior samples for SDSS 1206+4332 used in the measurement.","marker":"Wong et al. 2019"},{"why":"Detailed lens modelling of SDSS 1206+4332, supplying the correlated distance constraints.","marker":"Birrer et al. 2019"},{"why":"Offers the forecast of future lens samples and the selection criteria and redshift distribution adopted in the LSST-era projection.","marker":"Jee et al. 2016"},{"why":"Supplies the mock catalog of lensed quasars for LSST from which the roughly 55 high-quality forecast lenses are drawn.","marker":"Oguri & Marshall 2010"},{"why":"Time Delay Challenge showing that about 400 time delays can be measured at roughly 3% precision.","marker":"Liao et al. 2015"},{"why":"Simulations demonstrating that $D_{\\Delta t}$ and $D_L$ are positively correlated and can reach percent-level precision.","marker":"Yıldırım et al. 2019"}],"fun_headline_variants":["New trick: time-delay lenses reveal quasar distances","Strong lensing yields distances to redshift-4 quasars","Lensing time delays now probe quasar distances","Quasar distances from strong lensing alone","Filling the cosmic gap with lensed quasars"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the universe is spatially flat; the identity $D_{LS}=D_S-\\frac{1+z_L}{1+z_S}D_L$ holds only in flat geometry, so if $\\Omega_K\\neq0$, Eq. (8) no longer gives the source's angular diameter distance.","fun_headline_variants_meta":{"raw":{"variants":["New trick: time-delay lenses reveal quasar distances","Strong lensing yields distances to redshift-4 quasars","Lensing time delays now probe quasar distances","Quasar distances from strong lensing alone","Filling the cosmic gap with lensed quasars"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000225,"raw_usage":{"total_tokens":1532,"prompt_tokens":1082,"completion_tokens":450,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":698,"completion_tokens_details":{"reasoning_tokens":375}},"tokens_in":698,"tokens_out":450,"duration_ms":5287,"temperature":1.0,"reasoning_tokens":375,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:32:20.888698+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compare Eq. (8) against an independent, model-free distance to the same source at the same redshift. A clean test would be a strongly lensed quasar with a gravitational-wave standard siren from a compact binary at nearly the same redshift: any systematic mismatch between $D_S$ from lensing and the standard-siren distance that grows with redshift would falsify the flat-universe interpretation. In the absence of such data, a precise curvature measurement from CMB and BAO that excludes $\\Omega_K=0$ would already break the required geometric assumption.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the time-delay distance $D_{\\Delta t}$ that Eq. (8) builds on."},{"cited_title":"J., 2016, The Astronomy and Astrophysics Review, 24, 11","cited_arxiv_id":null,"evidence_quote":"Review of strong-lensing time-delay cosmology that establishes the standard distance combination."},{"cited_title":"H., 2015, JCAP, 11, 033","cited_arxiv_id":null,"evidence_quote":"Shows how to measure the angular diameter distance to the lens $D_L$ by combining time delays with stellar velocity dispersion."},{"cited_title":"E., et al., 2019, MNRAS, 484, 4726","cited_arxiv_id":null,"evidence_quote":"Detailed lens modelling of SDSS 1206+4332, supplying the correlated distance constraints."},{"cited_title":"H., Huterer D., 2016, JCAP, 04, 031","cited_arxiv_id":null,"evidence_quote":"Offers the forecast of future lens samples and the selection criteria and redshift distribution adopted in the LSST-era projection."},{"cited_title":"J., 2010, MNRAS, 405, 2579","cited_arxiv_id":null,"evidence_quote":"Supplies the mock catalog of lensed quasars for LSST from which the roughly 55 high-quality forecast lenses are drawn."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Time Delay Challenge showing that about 400 time delays can be measured at roughly 3% precision."}],"review_version":1}