{"id":"2b169fba-c597-49dc-b9e5-9710794046ca","arxiv_id":"2608.07229","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"Observations of Sgr A*'s shadow and the S2 star's orbit constrain the Hernquist-type environmental halo compactness to below about 10^-4, while its radial scale stays bimodally degenerate.","lead":"Astronomers combined the image of the supermassive black hole at the center of our galaxy with the orbit of a nearby star to measure how much invisible matter can surround it. They find that any such matter must be very diffuse, and that current data cannot pin down how far it extends.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The C<10^-5 headline may be a prior artifact: in the degenerate small-α branch the S2 likelihood is flat in C, so the 95% upper limit is set by the prior boundary, not the data.","rationale":"The reader's weakest assumption was the geodesic test-particle treatment, which is a generic model-mispecification concern. My concern is more specific and potentially more damaging: the central numeric claim, C < 10^-5 at 95%, may be dominated by the chosen priors rather than by the data. The paper acknowledges the bimodality of α and that the peaks sit at the prior boundaries, and it concedes C ~ 10^-4 is allowed at α = 10. That is exactly the signature of a flat likelihood along the small-α degeneracy direction, where the exterior metric depends only on the combination MBH(1+Cα). In that regime, the S2 astrometry, radial velocity, and precession data cannot separate the black hole mass from a compact halo mass; the same is true for the EHT shadow, which also depends only on the total mass. If this is correct, the marginal posterior for C is essentially the prior truncated by the MBH prior, and the reported upper limit would shift upward by orders of magnitude if the α prior were extended to smaller values. The proposed test directly checks this by varying the prior range and prior shape. If the test shows the limit is stable, the concern is resolved; if not, the paper's main conclusion must be rephrased as a prior-conditioned statement rather than an observational rule-out. Because no code or chains are released, this prior-robustness check is the minimal additional evidence needed to support the conditional acceptance.","tokens_in":21168,"tokens_out":37446,"duration_ms":363360,"concrete_test":"Re-run the Dataset 1 joint MCMC with identical settings except extend the α prior to log10 α ∈ [-1, 13] (and, in a second run, use a linear rather than log prior on C). If the 95% credible upper limit on C moves above 10^-4, the original C<5.2e-5 limit is a prior-boundary artifact; if the limit remains at or below 10^-4, the data genuinely constrain C.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The most load-bearing concern is that the reported 95% upper limits on C are not demonstrated to be data-driven. For αMBH ≪ r_S2 (the small-α branch of the bimodality), the Hernquist halo lies entirely inside the S2 pericenter, so the exterior metric of Eqs. (3)-(7) reduces to Schwarzschild with total mass μ = MBH(1 + Cα). The S2 likelihood terms (Eqs. (25)-(36)) and the shadow likelihood then depend on MBH and M only through μ; they are flat along the degeneracy direction. The log-uniform priors of Table I then set the posterior, and the 95% upper limit on C is controlled by the prior lower bound log10 α = 1 and the MBH prior, not by the data. The paper itself states (Sec. IV) that C can be as large as ~10^-4 at α=10 and that the α peaks sit at the prior boundaries. Therefore the headline 'C < 3.76e-5' is not robust unless a prior-robustness check is supplied.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constrains the two parameters of the Hernquist-type environmental black hole spacetime of Cardoso et al., the matter compactness C and the characteristic scale α, by combining the EHT shadow diameter of Sgr A* with two independent S2 orbital datasets (Do et al. and Gillessen et al.) and the GRAVITY fsp precession measurement. The authors perform separate shadow-only, S2-only, and joint MCMC analyses, reporting 95% credible upper limits on C of order 10^-5 to 10^-4 for the S2 and joint cases, and a bimodal, largely unconstrained posterior for α. They interpret the results as ruling out highly compact environments around Sgr A* while leaving a low-density halo compatible with observations.","tokens_in":21536,"tokens_out":12235,"duration_ms":123980,"significance":"The paper's central result, if robust, is a useful multiscale consistency test: the same non-vacuum spacetime is constrained at horizon scales by the EHT shadow and at stellar-orbit scales by S2 astrometry and radial velocities. The derivation of the geodesic and likelihood framework is sufficiently detailed to be followed, the two independent S2 datasets provide a useful cross-check, and the consistency between the shadow-only and S2-only bounds is a genuine strength. The paper also ships a complete Bayesian setup using public data, which makes the analysis reproducible in principle. The main scientific value lies in setting quantitative limits on environmental matter around Sgr A* and in clearly identifying the α degeneracy that future multi-star observations could break.","major_comments":[{"comment":"The headline 95% upper limits on C are not demonstrated to be robust to the prior on α. In the small-α branch (αMBH ≪ r_S2), the S2 likelihood constrains only the combination Cα (equivalently the total mass μ = MBH(1+Cα) seen by the orbit), and the paper itself states that the α posterior peaks at the prior boundaries (log10 α = 1 and 11) and that for αMBH ~ 10 MBH, C can be as large as ~10^-4. Under a log-uniform prior on α, the marginal 95% upper limit on C is then set largely by the assumed lower bound log10 α = 1, not directly by the data. Please report the data-driven constraint on Cα or Menv/MBH as the primary quantity, and add a prior-robustness study varying the log10 α prior bounds (e.g., [0,12] and [2,10]) to show how the reported C upper limits and the α peaks shift. Without this, the quantitative claims C < 3.760×10^-5 and C < 1.073×10^-4 should be framed as prior-dependent summaries rather than direct data limits.","section":"Sec. IV and Table II; Table I priors"},{"comment":"The MCMC setup is under-reported: the paper gives the number of walkers (16 or 40) but no chain length, burn-in, thinning, acceptance fractions, autocorrelation times, or convergence diagnostics (e.g., Gelman-Rubin). Without these, the credible intervals in Table II and the corner plots cannot be verified as converged posterior estimates. Please add the missing sampling details and a convergence check.","section":"Sec. III.D and Sec. IV"},{"comment":"The precession likelihood term log Lpre uses the GRAVITY fsp = 1.1 ± 0.19, which is derived from the same S2 astrometric and radial-velocity data already used in Eqs. (34)-(35). The √2 downweighting is an ad hoc correction, and the paper does not demonstrate that the posterior is insensitive to this treatment. Please report the S2-only and joint constraints with the fsp term omitted or with alternative downweighting (e.g., no downweighting, or a factor of 2), to show that the C upper limits and the α bimodality are not an artifact of double counting.","section":"Sec. III.B, Eq. (36)"}],"minor_comments":[{"comment":"There is a typo in the abstract: \"1.498×10−1.but provide\" should read \"1.498×10−1 but provide\".","section":"Abstract"},{"comment":"In the Introduction, \"NCNC\" should be \"MCMC\".","section":"Sec. I"},{"comment":"The precession-only constraints in Appendix B fix MBH, D, a, and e to their GRAVITY best-fit values; the paper should state explicitly that these fixed values differ from the MCMC posteriors in Table II and explain how this affects the comparison shown in Fig. 4.","section":"Sec. IV and Fig. 4 caption"},{"comment":"The sentence \"the α peaks sit at the prior boundaries\" is important and should be echoed in the abstract and conclusions as a caveat on the α constraints, not only in the results section.","section":"Sec. IV"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically sound in its geodesic and likelihood derivations, and the two-dataset cross-check is a plus. The main risk is that the headline C upper limits are partly prior-driven; this is fixable with a robustness test and a clearer statement of what is data-driven. The MCMC reporting gaps are also fixable. No concerns about novelty disclosure or scope; the citation pattern appears appropriate. I recommend major revision rather than rejection because the core framework and qualitative conclusions are likely to survive the requested checks."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a clean application of an established Sgr A* MCMC framework to the Cardoso et al. Hernquist spacetime. The new bit is the joint EHT-shadow + S2 constraint on the environmental compactness C and scale alpha, and the two independent S2 datasets give consistent answers. The paper is clearly written and the geodesic/derivation material is there. But I would not quote the headline C upper limits without a prior-robustness check.\n\nThe central problem: in the small-alpha branch the S2 likelihood is nearly flat in C (the star sees the halo as a central mass), and the fsp term is the only thing that breaks the degeneracy. With fsp = 1.1 ± 0.19, the 95% upper bound on C*alpha is about 0.47, so for alpha ~ 10 the data should allow C up to ~0.05. The paper instead reports C < 5e-5 and even states that C ~ 1e-4 is allowed at alpha=10. Those numbers do not line up with the stated fsp uncertainty. The marginalized C upper limit is set primarily by the log-uniform prior on alpha, not by the data; the alpha peaks at the prior boundaries are a symptom of that.\n\nAlso, the fsp measurement is derived from the same S2 data used in the astrometric and RV likelihoods; the sqrt(2) downweighting is an ad hoc fix, and no convergence diagnostics or chain lengths are reported. No code or chains are released, so the numerical implementation can't be checked.\n\nWhat's good: the consistency between the two datasets, the identification of the alpha bimodality as a genuine degeneracy, and the honest discussion of what would break it (multiple stellar orbits). The paper is a legitimate extension of an existing program, not a breakthrough.\n\nBottom line: it deserves a serious referee, but the authors need to supply a prior-robustness analysis (vary the alpha prior range) and show that the C upper limits are data-driven before those numbers can be taken seriously.","headline":"Competent framework, but the headline C<10^-5 limits are prior-dominated and don't match the stated fsp uncertainty.","tokens_in":21950,"tokens_out":35953,"would_cite":false,"duration_ms":332019,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C10","85A05"],"pacs":["04.70.-s","95.30.Sf","98.62.Js"],"model":"deepseek-v4-flash","headline":"Sgr A*'s surrounding halo must be diffuse: combining the S2 orbit with the EHT shadow caps the halo compactness at roughly 10^-5 to 10^-4 at 95% credibility, while the halo's radial scale stays bimodally degenerate.","keywords":["Sgr A*","Hernquist-type environmental black hole spacetime","black hole shadow","S2 orbital dynamics","Markov chain Monte Carlo","environmental compactness","bimodal degeneracy","galactic center"],"falsifier":"Fit the joint likelihood to a future dataset that includes the next S2 pericenter passage and stars with orbital radii both smaller and larger than S2's; if the best-fit compactness $C$ exceeds about $10^{-4}$, or if no single pair $(C, \\alpha)$ can fit all orbits simultaneously, the paper's conclusion that the halo is diffuse would be falsified.","tokens_in":21000,"feed_emoji":"🕳️","tokens_out":5764,"duration_ms":54512,"temperature":0.7,"pith_summary":"This paper argues that the matter halo around Sgr A* cannot be compact: combining the EHT shadow size with two independent S2-star datasets in a single Bayesian fit restricts the halo compactness $C$ to below roughly $10^{-4}$–$10^{-5}$ at 95% credibility, while leaving the halo's radial scale $\\alpha$ degenerate between two branches. The result matters because it tests whether a fully relativistic, non-vacuum spacetime—rather than a vacuum Kerr or Schwarzschild metric plus Newtonian corrections—can describe the same black hole across horizon-scale and orbital-scale observations. It also gives a quantitative boundary on how much dark or baryonic matter can sit near the Galactic center.","feed_headline":"Sgr A* halo must be diffuse, new S2 plus shadow fit shows","feed_subtitle":"Compactness of the surrounding Hernquist halo is capped near 10^-5 to 10^-4 by combined orbit and shadow data.","key_machinery":"The central object is the Cardoso et al. exact static, spherically symmetric solution of Einstein's equations with an anisotropic fluid source, whose mass function is $m(r) = M_{\\rm BH} + M r^2(a_0+r)^{-2}(1-2M_{\\rm BH}/r)^2$ and whose metric function is $f(r) = (1-2M_{\\rm BH}/r)e^{\\Upsilon(r)}$. Two dimensionless parameters control all environmental effects: the compactness $C = M/a_0$ and the scale $\\alpha = a_0/M_{\\rm BH}$. The argument runs on two observables derived from the same metric: the photon-sphere critical impact parameter $b_c = r_{\\rm ph}/\\sqrt{A(r_{\\rm ph})}$, which fixes the shadow angular diameter, and timelike geodesic integrations for S2's astrometric positions, radial velocity (Doppler plus gravitational redshift), and pericenter precession parameter $f_{\\rm sp}$. These are joined in a single Bayesian likelihood built from the EHT shadow measurement, two S2 datasets, and the GRAVITY precession measurement, sampled with the emcee Markov chain Monte Carlo package over a 15-dimensional parameter space with log-uniform priors on $C$ and $\\alpha$.","core_discovery":"On the paper's own terms, the central discovery is that the Hernquist-type environmental black hole spacetime, with matter compactness $C = M/a_0$ and characteristic scale $\\alpha = a_0/M_{\\rm BH}$, is consistent with all current Sgr A* data only when the environment is diffuse. Shadow-only data give no effective handle on $\\alpha$ and allow $C$ up to $1.498\\times10^{-1}$; the S2 orbit alone cuts this to $C < 5.239\\times10^{-5}$ with the Do et al. dataset and $C < 1.303\\times10^{-4}$ with the Gillessen et al. dataset; the joint shadow-plus-S2 fit tightens these to $C < 3.760\\times10^{-5}$ and $C < 1.073\\times10^{-4}$, respectively. The characteristic scale $\\alpha$ remains bimodal: a compact, nearly point-like halo at small $\\alpha$ and an extended halo at large $\\alpha$ produce nearly identical orbital effects, with the valley of maximum sensitivity near $\\alpha \\sim 10^4$, where the halo scale crosses the S2 orbit. The paper reads this as ruling out compact environmental configurations while leaving a low-density halo compatible with typical galactic-halo compactness.","pith_inferences":["If the bimodal $\\alpha$ degeneracy is intrinsic rather than a data artifact, then adding more epochs of S2 alone will not determine the halo's radial profile; future multi-star fits should deliberately include stars whose orbital radii straddle the valley near $\\alpha \\sim 10^4$, where the precession signal is strongest.","The same joint shadow-plus-orbit analysis could be applied to other non-vacuum spacetimes, such as dark-matter spike profiles, to test whether the inferred $C$ upper limits are specific to the Hernquist profile or generic to extended environments.","The non-Gaussian negative tail in the $v_{\\rm LSR}$ posterior suggests that the metric's constant gravitational-redshift term can masquerade as a systemic velocity; comparing radial velocities of multiple stars with different orbital radii might separate this environmental redshift from a true reference-frame offset.","The paper's constraints are statements about a static, spherically symmetric spacetime; once black-hole spin becomes resolvable, an axisymmetric extension may shift the inferred compactness limits, so these numbers should be read as zeroth-order bounds rather than final spin-independent limits."],"forward_implications":["Any compact Hernquist-type halo around Sgr A* with compactness $C$ above roughly $10^{-4}$ is excluded at 95% credibility by current data.","The S2 orbit alone is far more constraining than the shadow for this model: it shrinks the upper limit on $C$ by three to four orders of magnitude.","The radial scale $\\alpha$ cannot be determined from current observations: both the small-$\\alpha$ point-like halo branch and the large-$\\alpha$ extended halo branch survive, so resolving the structure requires stars with orbits inside and outside the S2 orbit.","The joint upper limits are consistent with the GRAVITY extended-mass bound, namely that matter within the S2 orbit contributes less than about $10^{-3} M_{\\rm BH}$.","The surviving diffuse-halo parameter region is compatible with the typical galactic-halo compactness scale $C < 10^{-4}$, so the non-vacuum spacetime remains a viable description of Sgr A*."],"supporting_citations":[{"why":"Supplies the exact Hernquist-type environmental black hole spacetime that is the model under test.","marker":"[35]"},{"why":"Supplies the EHT shadow angular diameter measurement, $\\theta_{\\rm sh}^{\\rm obs} = (48.7 \\pm 7)\\,\\mu$as, used in the shadow likelihood.","marker":"[1]"},{"why":"Supplies Dataset 1 of S2 star astrometric and radial-velocity observations used in the S2 orbital likelihood.","marker":"[63]"},{"why":"Supplies Dataset 2 of S2 star astrometric and radial-velocity observations used as an independent orbital dataset.","marker":"[64]"},{"why":"Supplies the GRAVITY measurement of the S2 Schwarzschild precession parameter $f_{\\rm sp} = 1.1 \\pm 0.19$ used in the precession likelihood.","marker":"[4]"},{"why":"Supplies the emcee Markov chain Monte Carlo sampler used for all posterior sampling.","marker":"[65]"},{"why":"Supplies the typical galactic-halo compactness scale $C < 10^{-4}$ used to interpret whether the inferred limits are physically reasonable.","marker":"[66]"}],"fun_headline_variants":["Sgr A* halo must be diffuse: S2 orbits set tight upper bounds","Sgr A* environment ruled out compact: S2 and shadow data agree","Sgr A* halo radius ambiguous: compact or extended fit","Shadow+S2 force Sgr A* halo to be low-density","S2 orbits pin Sgr A* halo compactness below 1e-4"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The S2 star is treated as a point particle moving exactly along the spacetime's geodesic, with every observed position and velocity attributed to that path plus small reference-frame offsets; if extra matter or non-gravitational forces push S2 off that path, the compactness limits do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Sgr A* halo must be diffuse: S2 orbits set tight upper bounds","Sgr A* environment ruled out compact: S2 and shadow data agree","Sgr A* halo radius ambiguous: compact or extended fit","Shadow+S2 force Sgr A* halo to be low-density","S2 orbits pin Sgr A* halo compactness below 1e-4"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001774,"raw_usage":{"total_tokens":7095,"prompt_tokens":1139,"completion_tokens":5956,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":755,"completion_tokens_details":{"reasoning_tokens":5857}},"tokens_in":755,"tokens_out":5956,"duration_ms":41081,"temperature":1.0,"reasoning_tokens":5857,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T12:17:17.052297+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Fit the joint likelihood to a future dataset that includes the next S2 pericenter passage and stars with orbital radii both smaller and larger than S2's; if the best-fit compactness $C$ exceeds about $10^{-4}$, or if no single pair $(C, \\alpha)$ can fit all orbits simultaneously, the paper's conclusion that the halo is diffuse would be falsified.","supporting_citations":[{"cited_title":"Gillessen et al., Astrophys","cited_arxiv_id":null,"evidence_quote":"Supplies Dataset 2 of S2 star astrometric and radial-velocity observations used as an independent orbital dataset."}],"review_version":1}