{"id":"eb259be4-91a7-4584-a53c-18c943782e1e","arxiv_id":"2411.15310","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Johannsen-Psaltis spacetimes, the polar photon-ring time delay depends only on spin and shadow size, while the azimuthal shift probes the metric ratio F/N, enabling future spin and frame-dragging tests.","lead":"This paper derives formulas for how photon rings around a black hole demagnify, delay, and rotate between successive images, for a broad family of non-Kerr spacetimes and for arbitrary observer inclination. The results suggest that future measurements of these ring properties, combined with the Event Horizon Telescope shadow size, could constrain black hole spin and test for the presence of an ergosphere.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (45) puts B inside gamma_0 while the text says B never appears; the gauge-dependence of the Lyapunov exponent is unresolved and undermines the claim that lensing constrains only N and F.","rationale":"The reader's weakest assumption is separability of the JP metric. That is a scope limitation the authors explicitly acknowledge ('This excludes non-integrable spacetimes') and the cited JP metric [46] is the 'three constants of motion' metric, so the polar potential being Kerr's is a stated property of the class considered. By contrast, the B issue is a direct internal contradiction between the body text and the displayed formula. It affects gamma_p, one of the three critical parameters in the paper's central claim, and it is testable by a coordinate transformation. The small-inclination Delta_tau = 0 derivation in Appendix C is terse, but the paper's main observational conclusions for polar observers do not depend on it. I therefore keep the reader's CONDITIONAL verdict: the B/gamma inconsistency should be fixed and a gauge-invariant expression supplied before the formulas are used for forecasts.","tokens_in":104,"tokens_out":19638,"duration_ms":363236,"concrete_test":"Re-express the JP metric (1) in the radial coordinate rho with d(rho)/dr = B(r)/r, so that the Mino-time radial potential in Eq. (5) becomes independent of B, and rewrite N and F as functions of rho. Recompute gamma_0 from Eq. (45) for a non-trivial B (e.g., B = sqrt(1 + epsilon r)) and compare with the original r-coordinate value for the same physical spacetime. If the two agree, the B-dependence is a removable gauge artifact and the text needs only a correction; if they disagree, Eq. (45) defines a coordinate-dependent quantity and the gamma observable is not well-posed as presented.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section II.A, the paper states that 'neither f nor B appear in the expressions for any of the critical parameters' and that lensing observables constrain only N and F. Yet Eq. (45) contains an explicit B-dependent factor in gamma_0, namely gamma_0 = sqrt(-N^3 partial_r^2 N/((partial_r N)^2 B^2))_0 * 2K(...), and footnote 6 concedes 'the metric function B appears in the expression for gamma_p.' This is an unresolved contradiction in the derivation of one of the three headline observables. Because B can be removed by a radial redefinition, the physical gamma should be invariant; as written, however, Eq. (45) is gauge-dependent and the claim that lensing measurements constrain only N and F is not established. The separability restriction is secondary: the paper explicitly limits itself to integrable spacetimes, so the Carter-constant assumption is a stated scope condition, not an internal inconsistency.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper extends the Gralla–Lupsasca photon-ring lensing framework to the Johannsen–Psaltis (JP) family of stationary, axisymmetric, integrable spacetimes. It derives closed-form expressions for the three critical photon-ring parameters—the demagnification Lyapunov exponent \\gamma_p, the time delay \\tau_p, and the azimuthal shift \\delta_p—in Eqs. (31), (32), and (39), specializes them to polar observers in Eq. (45), and analyzes small-inclination corrections in Appendix C. The paper then uses the EHT M87* shadow-size measurement to argue that combining future measurements of time delay and azimuthal shift could jointly constrain the spin and the metric-function ratio F/N, thereby probing frame-dragging and the ergosphere.","tokens_in":24143,"tokens_out":13599,"duration_ms":139283,"significance":"If the derivations are accepted, the paper fills a genuine gap: previous non-Kerr photon-ring studies were mostly restricted to spherical symmetry or to polar observers, whereas here the critical parameters are written for arbitrary observer inclination in a non-perturbative way. The explicit reduction to the known Kerr and spherical limits and the use of the EHT shadow size as an external input rather than a fitted parameter are strengths. The paper also clearly identifies the physical interpretation of F/N as an ergosphere indicator. The main obstacle is the unresolved coordinate-dependence of \\gamma_0, which affects the paper's claim that lensing observables constrain only the metric functions N and F. The separability assumption is honestly stated as a scope condition rather than hidden, which I regard as appropriate.","major_comments":[{"comment":"The text in §II.A states that 'neither f nor B appear in the expressions for any of the critical parameters' and that photon orbits are determined solely by N and F. This is directly contradicted by Eq. (45), where \\gamma_0 contains the factor B^{-2}, and by footnote 6, which concedes that B appears in \\gamma_p. Because B can be removed by the radial redefinition d\\rho=B\\,dr, the physical demagnification exponent should be invariant under this redefinition; however, the combination in Eq. (45) is not manifestly invariant—under d\\rho=B\\,dr the derivative \\partial_r^2 N transforms with an additional B' term, so the expression changes unless a compensating term is included. The paper must either prove the invariance of Eq. (45) or replace it with a manifestly coordinate-invariant definition of \\gamma_p. As written, the claim that lensing measurements constrain only N and F is not established for the Lyapunov exponent.","section":"§II.A, Eq. (45), footnote 6"},{"comment":"The second equality for \\delta_0 in Eq. (45) appears algebraically inconsistent with the first. From Eq. (42), N_0 \\mathcal{I}_0 = r_0, so F/(N\\mathcal{I})_0 = F_0/r_0. The second line instead has F/(r\\mathcal{I}_0^2), which is not equal to F_0/r_0 and is also dimensionally suspect, since F has dimension of inverse length and F/(r\\mathcal{I}_0^2) would not be dimensionless. Please correct this expression and check whether any appendix or figure uses the incorrect form; Eq. (B1), which solves for F/N, appears to rely on the correct first form.","section":"Eq. (45), second line"},{"comment":"The paper's illustrative EHT constraints in Figs. 1 and 2 use \\tau_0 and \\delta_0, which do not contain B, so the B-dependence of \\gamma does not invalidate those specific figures. However, the general framework section promises that all three critical parameters are determined only by N and F. The small-inclination expansion reinforces the problem: Eq. (C7) puts B into \\kappa, and Eq. (C9) states that \\Delta\\kappa depends on B, its derivative, and the third derivative of N. The statement that 'neither f nor B appear' must therefore be corrected globally, and the coordinate-invariance question must be resolved before the general framework can be used as advertised.","section":"§III and Appendix C"}],"minor_comments":[{"comment":"The Introduction says 'Section V provides conclusions' but the conclusion is numbered IV; please renumber or fix the cross-reference.","section":"Introduction and §IV"},{"comment":"There are numerous typographical errors, including 'obsever', 'Schwarzchild', 'purturbative', 'crtical', and 'dependeds'; please proofread the manuscript carefully.","section":"§III, Fig. 2, Appendix A"},{"comment":"The notation G_\\theta(m) in Eq. (B1) should be \\hat{G}_\\theta to match the definition in Eq. (44).","section":"Eq. (B1)"},{"comment":"The listed arXiv identifier 2311.08680 for the first Sgr A* EHT paper should be verified; it appears to be incorrect or mismatched with the citation.","section":"Ref. [2]"},{"comment":"The statement that \\Theta(\\theta) is identical to the Kerr potential 'due to their asymptotic flatness' is not the correct explanation; the polar potential is identical because the angular metric factor \\Sigma cancels in the null geodesic equations for this metric family.","section":"§II.A after Eq. (8)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a useful contribution to black-hole imaging theory, but the B-dependence of the Lyapunov exponent is a genuine obstacle to the paper's central claim about constraining only N and F. The authors should be given the opportunity to supply a coordinate-invariant treatment of \\gamma_p or to restrict their claims accordingly. If that is done, I would support publication; the remaining issues are local and typographical. No concerns about overlap or citation behavior."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, here's my read of Salehi et al. (2411.15310). The paper does real work: it extends Gralla-Lupsasca's Kerr critical-parameter framework to the Johannsen-Psaltis metric family for arbitrary observer inclination, and it gives compact formulas for the three photon-ring observables—gamma, tau, delta. The polar-observer results for tau_0 and delta_0 are the most useful part: tau_0 depends only on spin and shadow size, while delta_0 carries the F/N metric-function ratio, so combining future n>=2 ring measurements with EHT shadow size could place joint constraints on spin and deviations from Kerr. The reductions to Kerr and to spherical spacetimes check out, and the observational plots for M87* are reasonable illustrations. Credit where due.\n\nBut there is a soft spot that is more than cosmetic. The text says repeatedly that neither f nor B appear in any critical parameter, and the paper builds an argument that lensing constrains only N and F. Yet Eq. (45) puts B explicitly inside gamma_0, and footnote 6 concedes that B appears there. That is an internal contradiction. More importantly, B can be removed by a radial-coordinate redefinition, so the physical demagnification exponent should be invariant under that redefinition; as written, gamma is gauge-dependent. The paper claims gamma is unambiguously defined, but it does not show the invariance, and it does not give a manifestly B-independent expression. This needs to be fixed—either by deriving gamma in the coordinate system where B is absorbed, or by proving explicitly that the B-dependence cancels in any physical observable. Until then, the statement 'lensing constrains only N and F' is not established.\n\nThe small-inclination appendix has a similar but milder issue: the claim that Delta tau = 0 appears after a short expansion, but the cancellation is not demonstrated in detail. Minor for a supplementary section.\n\nThe Carter-constant assumption is a stated scope condition, not a flaw; the paper clearly limits itself to integrable JP-type metrics. No code or data is included, but for an analytic derivation of this sort that is acceptable.\n\nOverall: the tau and delta results are solid and likely useful. The gamma issue is load-bearing for one of the three headline observables and undermines the paper's central claim. I would send it to a serious referee, but the referee should be asked to get the B-dependence resolved before the paper is accepted. I'd be happy to cite the tau/delta parts once that's cleaned up.","headline":"Useful extension of the photon-ring formalism to JP spacetimes, but the unresolved B-dependence of the Lyapunov exponent needs to be fixed before the main claims hold.","tokens_in":24756,"tokens_out":3068,"would_cite":true,"duration_ms":32449,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.70.-s"],"model":"deepseek-v4-flash","headline":"Exact photon-ring formulas for non-Kerr black holes: for a pole-on observer, the subring time delay is fixed by spin and shadow size alone, while the azimuthal shift probes frame-dragging.","keywords":["photon ring","black hole shadow","Johannsen-Psaltis metric","Lyapunov exponent","time delay","azimuthal shift","frame-dragging","M87*"],"falsifier":"Compute null geodesics numerically in a non-separable stationary, axisymmetric spacetime that shares the JP metric functions $N$ and $F$ but has a different polar potential: if the polar-observer subring time delay differs from $2 I_0 E(a^2/I_0^2)$ at the same shadow radius and spin, the closed-form formulas do not generalize. Observational check: resolve the first two photon subrings of a flaring M87* with very-long-baseline interferometry and measure their time delay; a value incompatible with $2 I_0 E(a^2/I_0^2)$ for every spin allowed by the EHT shadow-size measurement would falsify the Kerr-like separability assumption for the central object.","tokens_in":23759,"feed_emoji":"🕳️","tokens_out":17678,"duration_ms":134973,"temperature":0.7,"pith_summary":"This paper derives closed-form, non-perturbative expressions for the three observables that govern a black hole's photon subrings — the demagnification (Lyapunov) exponent, the time delay between successive subring images, and their azimuthal rotation — for the Johannsen-Psaltis family of stationary, axisymmetric, integrable spacetimes that parameterize deviations from Kerr. The central finding is that, for an observer looking down the spin axis, the time delay is fixed by the spin and the shadow size alone, with all spacetime-deviation dependence cancelling, while the azimuthal shift depends on the ratio of the two metric functions that encode rotation and frame-dragging. That split makes the observables a nearly model-independent probe: combining shadow size, time delay, and azimuthal shift can measure the spin and probe the ergosphere without modeling the accretion flow. The paper shows that the 2017 EHT shadow-size measurement of M87* already predicts a band of allowed time delays, and that a future azimuthal-shift measurement would tighten the constraints on the metric ratio $F/N$. If higher-order photon rings are resolved as expected, these formulas become a direct spectroscopic test of the spacetime near the horizon.","feed_headline":"Photon rings: delay fixes spin, rotation shows frame-dragging","feed_subtitle":"For a pole-on observer, ring delay depends only on spin and shadow size; ring rotation measures the ergosphere.","key_machinery":"The engine is the separability of null geodesics in the Johannsen-Psaltis (JP) metric, an axisymmetric spacetime described by four radial functions ($N$, $B$, $F$, $f$) of which only $N$ and $F$ survive in the lensing critical parameters: $f$ is absorbed by the Mino-time parametrization and $B$ is removable by a radial-coordinate redefinition. Because the JP polar potential $\\Theta(\\theta)$ coincides with Kerr's, the angular half-orbit integrals are identical to the Kerr ones and are evaluated in closed form as complete elliptic integrals of the first, second, and third kinds, $K$, $E$, and $\\Pi$. The three critical parameters are assembled from the Mino half-period $\\hat{G}_\\theta$, the angular integrals $\\hat{G}_t$ and $\\hat{G}_\\varphi$, and the linearized radial Lyapunov rate $\\kappa_p = \\sqrt{\\partial_r^2 \\mathcal{R}_p / 2}$, with the demagnification parameter $\\gamma_p = \\kappa_p \\hat{G}_\\theta$. For the polar observer the photon shell collapses to the single zero-angular-momentum sphere of radius $r_0 = N_0 / \\partial_r N_0$ with shadow radius $I_0 = 1/\\partial_r N_0$, reducing the whole apparatus to the two elliptic-integral formulas for $\\tau_0$ and $\\delta_0$.","core_discovery":"Working within the Johannsen-Psaltis metric, whose polar null-geodesic potential is identical to Kerr's, the paper obtains the critical photon-ring parameters as explicit functions of the photon-sphere radius, the spin, and the two deviation functions $N$ and $F$. For a polar observer these reduce to $\\gamma_0 = \\left[\\sqrt{-N^3 \\partial_r^2 N / ((\\partial_r N)^2 B^2)}\\right]_0 \\frac{2}{I_0} K(a^2/I_0^2)$, $\\tau_0 = 2 I_0 E(a^2/I_0^2)$, and $\\delta_0 = a \\left(F/(N I_0) - 1\\right) (2/I_0) K(a^2/I_0^2) + \\pi$, where $I_0$ is the shadow radius and $K$ and $E$ are complete elliptic integrals of the first and second kind. The time delay carries no deviation functions at all, so a shadow-size-plus-time-delay measurement is a direct spin measurement; the azimuthal shift carries the ratio $F/N$ at the polar photon sphere, linking it to frame-dragging and the ergosphere. For small inclinations the time delay remains unchanged to first order, whereas the shadow size and the other parameters acquire corrections that depend on $F$ and its derivative, a regime relevant to M87*'s roughly $17^\\circ$ inclination. The expressions reduce properly to the known Kerr and Schwarzschild limits.","pith_inferences":["The blindness of all three parameters to the metric functions $f$ and $B$ delimits what photon-ring tests of gravity can certify: two spacetimes differing only in $f$ or $B$ would be indistinguishable by these observables, so other probes such as polarization or extended-source lensing would be needed to close that gap.","Because $\\tau_0$ is degenerate in spin and shadow size, a time-delay measurement alone cannot distinguish non-Kerr geometries with equal shadow radii; the azimuthal shift is the observable that breaks the degeneracy.","The formulas double as a design calculation for future space-VLBI missions: for a target spin and deviation $F/N$, the precision required on $\\tau_0$ and $\\delta_0$ follows directly from the polar expressions, giving a resolvability criterion before launch.","If the first-order inclination independence of $\\tau$ holds in practice, near-polar observers see essentially the same ring clock regardless of small pointing uncertainties, which would simplify flare-monitoring campaigns for M87*."],"forward_implications":["A shadow-size plus polar time-delay measurement fixes the spin directly and without accretion-flow modeling, because $\\tau_0 = 2 I_0 E(a^2/I_0^2)$ contains no deviation-function dependence.","Adding the azimuthal shift converts the observables into a probe of the metric ratio $F/N$ at the photon sphere — in effect a light-based test of frame-dragging and of whether an ergosphere exists.","In the non-spinning limit the parameters collapse to $\\gamma_p = \\pi \\kappa_p / I_p$, $\\tau_p = \\pi I_p$, and $\\delta_p = \\pi$, so the time delay measures the shadow radius and successive subring images appear at antipodal points.","For M87*'s near-polar inclination (about $17^\\circ$), the time delay equals its polar value to first order, so current EHT shadow-size constraints already yield a prediction band for the delay across all spins.","A measured azimuthal shift different from $\\pi$ necessarily implies a spinning black hole, making $\\delta_p$ a spin indicator that does not rely on the shadow-size calibration."],"supporting_citations":[{"why":"Supplies the Kerr lensing framework and the definitions of the three critical parameters that this paper extends to non-Kerr spacetimes.","marker":"[19]"},{"why":"Introduces the Johannsen-Psaltis metric with three constants of motion in which all calculations are performed.","marker":"[46]"},{"why":"Provides the general integrable-spacetime formulation, the polar shadow-radius expression, and the earlier polar Lyapunov analysis that this work extends.","marker":"[33]"},{"why":"Gives the 2017 EHT shadow-size measurement of M87* used to produce the forecast time-delay bands and spin constraints.","marker":"[10]"},{"why":"Defines the universal photon-ring signatures and the physical role of the demagnification, time-delay, and rotation parameters.","marker":"[18]"},{"why":"Supplies the spherically-symmetric limit of the critical parameters to which the present formulas reduce when the spin vanishes.","marker":"[24]"},{"why":"Sets out the photon shell and critical-curve concepts and the subring ordering used throughout the paper.","marker":"[52]"}],"fun_headline_variants":["Ring delay pins down spin for pole-on observers","Polar photon rings: delay yields spin, rotation exposes ergosphere","Photon ring delay measures spin independent of deviation","Shadow plus delay: a direct spin gauge for black holes","Ring rotation reveals ergosphere in alternative gravity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the Johannsen-Psaltis metric admits a Carter constant that makes null geodesics separable, with the polar potential identical to Kerr's, so every elliptic-integral expression for the photon-ring parameters rests on this separability and the paper offers no route to the observables when it fails.","fun_headline_variants_meta":{"raw":{"variants":["Ring delay pins down spin for pole-on observers","Polar photon rings: delay yields spin, rotation exposes ergosphere","Photon ring delay measures spin independent of deviation","Shadow plus delay: a direct spin gauge for black holes","Ring rotation reveals ergosphere in alternative gravity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000204,"raw_usage":{"total_tokens":1472,"prompt_tokens":1114,"completion_tokens":358,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":730,"completion_tokens_details":{"reasoning_tokens":282}},"tokens_in":730,"tokens_out":358,"duration_ms":4104,"temperature":1.0,"reasoning_tokens":282,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:27:37.322795+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute null geodesics numerically in a non-separable stationary, axisymmetric spacetime that shares the JP metric functions $N$ and $F$ but has a different polar potential: if the polar-observer subring time delay differs from $2 I_0 E(a^2/I_0^2)$ at the same shadow radius and spin, the closed-form formulas do not generalize. Observational check: resolve the first two photon subrings of a flaring M87* with very-long-baseline interferometry and measure their time delay; a value incompatible with $2 I_0 E(a^2/I_0^2)$ for every spin allowed by the EHT shadow-size measurement would falsify the Kerr-like separability assumption for the central object.","supporting_citations":[{"cited_title":"geodesic","cited_arxiv_id":null,"evidence_quote":"Supplies the Kerr lensing framework and the definitions of the three critical parameters that this paper extends to non-Kerr spacetimes."}],"review_version":1}