{"id":"9b746c66-ae24-43af-b962-86f16e5e00f1","arxiv_id":"2411.08486","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The shadow contour of a Kerr-Newman black hole observed at infinity uniquely fixes (a/M, Q/M, i), while finite-distance shadows are degenerate for zero spin.","lead":"A new analysis proves that the shadow of a Kerr-Newman black hole seen from infinity uniquely determines the black hole's spin, charge, and viewing angle. The same method shows that from a finite distance, shadows of a charged non-spinning black hole are ambiguous, complicating parameter extraction.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniqueness proof at spatial infinity assumes congruence of two shadow contours forces pointwise equality of the rational functions b_x(r_*) and b_y^2(r_*); this parameterization step is not justified.","rationale":"The reader's verdict identifies the congruence-to-function-equality step as the weakest assumption; I agree. This is the single most load-bearing gap because the paper's headline result—injectivity of the map from (a/M, Q/M, i) to the Bardeen-coordinate shadow—rests entirely on the analytical uniqueness proof of Sec. IV B. The proof actually establishes a weaker statement: if two shadows are traced by exactly the same rational functions of the same variable r_*, then the parameters coincide. But uniqueness is defined as absence of congruent contours, i.e., coincident sets up to rigid motion. A set can be traversed by many parameterizations; without a proof that r_* is recoverable from the contour geometry, two distinct parameter sets could produce congruent curves with different r_*-labelings, and the coefficient-comparison argument would miss them. The proposed numerical test directly checks the definition of uniqueness using congruence-invariant descriptors, so it can either exhibit a counterexample or provide strong evidence that the claim is true. If the test finds no degeneracies, the result is likely correct, but the paper would still need a repaired proof (e.g., showing r_* is determined by the shape's local geometry, or proving injectivity via congruence-invariant observables). The reader's conditional verdict is therefore appropriate; the abstract's overclaim about finite-distance non-uniqueness should also be corrected. I do not see a basis to reject the paper, since the concern is a proof gap rather than a demonstrated counterexample.","tokens_in":25273,"tokens_out":11450,"duration_ms":101955,"concrete_test":"On a fine grid of (a_*, Q_*, i) inside the black-hole region, compute the Bardeen-coordinate shadow curve (b_x(r_*), b_y(r_*)), reparameterize each curve by arc length s, and compute a congruence-invariant signature such as the curvature κ(s) or the centroid-radius versus polar angle after principal-axis alignment. Compare all pairs of signatures under rigid motions (rotations and reflections) and with both orientations. If any two distinct parameter triples yield matching signatures within a tight numerical tolerance, uniqueness is falsified and the concern lands. If no matches are found, the claim is numerically supported but the proof still needs an additional argument establishing that congruence forces the r_* parameterizations to coincide.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Sec. IV B proves parameter uniqueness by comparing coefficients of the rational functions b_x(r_*) and b_y^2(r_*) under the assumption that congruence of two Bardeen-coordinate shadows implies b_x(r_*; a,Q,i) = b_x(r_*; a',Q',i') and b_y^2(r_*; a,Q,i) = b_y^2(r_*; a',Q',i') for all r_*. But a shadow contour is a set of points, not a specific parameterization. If two contours are congruent, the best one can conclude is that there exists a homeomorphism h between their r_* intervals and a rigid motion (R,T) with (b'_x(h(r_*)), b'_y(h(r_*))) = R(b_x(r_*), b_y(r_*)) + T. The coefficient-comparison argument only rules out equality with h(r_*)=r_*, R=I, T=0. No argument is given that the r_* parameterization is canonically fixed by the contour geometry (e.g., by relating r_* to local curvature or to a coordinate-invariant quantity), so the proof does not establish the central injectivity claim. Secondary: the abstract's blanket statement that finite-distance shadows are non-unique is contradicted by the body's result that for a_* ≠ 0 the screen-coordinate shadow is unique.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the apparent shadow shape (critical curve) of a bare Kerr-Newman black hole, for an observer at either finite distance or spatial infinity, under a simplified model with a distant spherical light source and a Carter observer. The main claims are: (i) for an observer at spatial infinity, the shadow contour in Bardeen coordinates uniquely determines the dimensionless parameters (a/M, Q/M, i); (ii) for an observer at finite distance, the shadow is generically non-unique. The authors prove the spatial-infinity uniqueness by expressing the Bardeen coordinates (b_x, b_y^2) as irreducible rational functions of the spherical photon orbit radius r_* and comparing polynomial coefficients. They also construct observables (size, primary distortion, secondary distortion) via Fourier coefficients and principal component analysis, and demonstrate parameter extraction on a test case. The finite-distance non-uniqueness is exhibited through the Reissner-Nordström (a=0) subfamily, where infinitely many (r_o,Q) pairs yield the same circular shadow radius.","tokens_in":25570,"tokens_out":6730,"duration_ms":73484,"significance":"If the uniqueness theorem is valid, the paper makes a significant contribution: it would be the first injectivity result for the shadow-to-parameter map of the three-parameter Kerr-Newman family at spatial infinity, extending earlier two-parameter Kerr results. The resultant-based irreducibility technique is a useful algebraic tool, and the proposed observable construction is concrete and reproducible, with supplemental data for the PCA transformation matrix. The finite-distance degeneracy for a=0 is a clear and interesting counterexample. However, the central proof currently has a gap in passing from geometric congruence of curves to pointwise equality of the r_*-parameterized rational functions, so the headline uniqueness result is not yet established as written.","major_comments":[{"comment":"This is the main load-bearing gap. Please provide a justification that equality of the shadow as a set forces equality of the parameterized functions for the same r_*, or reformulate the uniqueness statement and proof accordingly.","section":"Sec. IV B, Eqs. (56)-(58); also Sec. III B after Eq. (47)"},{"comment":"This is a substantive misstatement of the paper's own result, not merely a wording issue.","section":"Abstract and Sec. III B"},{"comment":"This distinction matters because the paper's stated goal is to determine parameters from shadow observations, and a non-injective observable map would break the method even if the shadow map itself is injective.","section":"Sec. IV D-E and Appendix A"}],"minor_comments":[{"comment":"","section":"Appendix A"},{"comment":"","section":"Eq. (59)"},{"comment":"","section":"Sec. III B, Eq. (50)"},{"comment":"","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The parameterization gap in the uniqueness proof is the main technical obstacle. If the authors can justify that congruent contours must agree pointwise in r_* (perhaps by showing r_* is determined by the contour alone), the paper would likely be suitable for publication. The abstract overstatement and the numerical nature of the observable-injectivity claim should also be addressed. I would not recommend rejection, because the core idea is promising and the finite-distance counterexample is solid."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The genuinely new result is the uniqueness of the Kerr-Newman apparent shape in Bardeen coordinates: distinct dimensionless triples (a/M, Q/M, i) cannot produce the same shadow contour at spatial infinity. The finite-distance degeneracy for Reissner-Nordström is also new. But the analytic proof has a gap, and the abstract overstates how badly finite-distance shadows behave.\n\nWhat the paper does well. The authors extend their earlier Kerr uniqueness argument by writing the shadow contour as two irreducible rational functions of the spherical photon orbit radius r* and comparing coefficients. The resultant-based check of irreducibility is a solid algebraic device, and the case splitting (extremal/non-extremal, edge-on/generic, a=0) is careful. They also give a concrete degeneracy: for a=0 there are infinitely many (r_o*, Q*) pairs with congruent circular shadows via Eq. (50). The supplemental transformation matrix and sampled data make the PCA part reproducible. The citation pattern is fine; the self-citations are to the method papers this work builds on.\n\nWhere it is soft. The proof in Sec. IV B compares b_x(r*) and b_y^2(r*) pointwise for the same r*. The theorem needs: equality of shadow contours as sets implies equality of these parameterized functions. That step is not justified. As the stress-test note says, congruence only gives a homeomorphism h between r* intervals and a rigid motion. Coefficient comparison rules out h = identity, R = I, T = 0, but nothing forces that normalization. Without a canonical geometric parameterization of the contour, the injectivity claim is not proven. I think this is a real, load-bearing gap, though it may be fixable.\n\nAlso, the abstract says the finite-distance shadow is not unique, but Sec. III B proves uniqueness for every nonzero spin and finds degeneracy only at a=0. The body is correct; the abstract is not. And the one-to-one map between the three PCA observables and dimensionless parameters is only demonstrated on a finite grid, not proven; the text should say \"numerically indicated\" rather than claiming a one-to-one correspondence.\n\nBottom line. This is a serious paper with a strong core idea and reproducible numerics. It deserves a serious referee. I would send it out and ask for the parameterization step, the abstract rewording, and a more careful claim about the PCA map.","headline":"Real new results—KN shadow uniqueness at infinity and an RN finite-distance degeneracy—but the uniqueness proof has a parameterization gap and the abstract overstates the finite-distance claim.","tokens_in":26056,"tokens_out":4634,"would_cite":true,"duration_ms":48690,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C10"],"pacs":["04.70.-s","04.70.Bw"],"model":"deepseek-v4-flash","headline":"This paper proves that the shadow of a Kerr-Newman black hole, observed from spatial infinity, uniquely fixes the dimensionless spin, charge, and inclination angle, while finite-distance shadows are degenerate and cannot do the same.","keywords":["black hole shadow","Kerr-Newman black hole","shadow uniqueness","parameter determination","Bardeen coordinates","spherical photon orbits","principal component analysis"],"falsifier":"Carry out a dense numerical scan over the dimensionless parameter triples $(a/M, Q/M, i)$, compute the Bardeen-coordinate contour $(b_x(r_*), b_y(r_*))$, and test whether any two contours for distinct triples coincide as unparameterized point sets up to translation, rotation, and reflection; if any pair does, the coefficient-comparison proof has missed a reparameterization degeneracy. The same scan evaluated on the observables $(z_1, z_2, z_3)$ would also settle the numerical injectivity claim, which the paper currently supports with isosurface intersections on a coarse grid.","tokens_in":25054,"feed_emoji":"🕳️","tokens_out":16443,"duration_ms":142277,"temperature":0.7,"pith_summary":"This paper asks whether a single shadow image can completely determine the physical parameters of a charged, rotating black hole. The authors prove that for a Kerr-Newman black hole observed from spatial infinity the answer is yes: the contour of the shadow uniquely fixes the dimensionless spin $a/M$, charge $Q/M$, and inclination angle $i$. The proof shows that the shadow contour in Bardeen coordinates is described by irreducible rational functions of the photon-orbit radius, and that the coefficients of these functions determine the parameters. The authors also prove the opposite for finite-distance observations: in the spherically symmetric limit, different combinations of distance and charge produce congruent circular shadows, so the parameters cannot be recovered unambiguously up close. If correct, the result gives future black hole imaging a concrete route to measuring charge and spin from the shadow's size and shape alone.","feed_headline":"Shadow at infinity fixes Kerr-Newman black hole parameters","feed_subtitle":"One contour from far away fixes spin, charge, and viewing angle; up close, shadows can hide different parameters.","key_machinery":"The central objects are the Bardeen coordinates ($b_x$, $b_y$), the impact parameters that trace the shadow contour seen by an observer at spatial infinity, obtained as the leading terms of the screen coordinates at large observer distance. The argument is carried by showing that $b_x(r_*; a_*, Q_*, i)$ and $b_y^2(r_*; a_*, Q_*, i)$ are irreducible rational functions of the unstable spherical photon orbit radius $r_*$, with irreducibility of each numerator-denominator pair certified by the non-vanishing of the resultants (determinants of Sylvester matrices) of the two polynomials. Because two identically equal irreducible rational functions must have equal coefficients, comparing coefficients of matching contours forces the dimensionless parameters to coincide, proving injectivity of the map from the quotient parameter space to the apparent-shape library. The companion construction is the observable map: eleven Fourier coefficients of the centered contour, reduced by principal component analysis to the three observables size $z_1$, primary distortion $z_2$, and secondary distortion $z_3$, which the paper shows is one-to-one with $(a/M, Q/M, i)$.","core_discovery":"The paper's central claim is that the apparent shape of a bare Kerr-Newman black hole on the Bardeen coordinates ($b_x$, $b_y$), the impact parameters read off by an observer at spatial infinity, uniquely determines the dimensionless parameters $(a/M, Q/M, i)$. The paper states this conclusion directly: the apparent shape of the Kerr-Newman black hole on the Bardeen coordinates is unique, where uniqueness means that no two congruent shadow contours arise from distinct dimensionless parameter values. The proof writes the contour as the pair of rational functions $b_x(r_*)$ and $b_y^2(r_*)$ of the unstable spherical photon orbit radius $r_*$, verifies that these functions are irreducible, and compares polynomial coefficients to force equality of the parameters. The complementary result is that on the screen coordinates of an observer at finite distance $r_o$ the apparent shape is not unique over the full parameter space: in the zero-spin (Reissner-Nordström) sector the shadow is a circle whose radius is governed jointly by $r_o/M$ and $Q/M$, leaving an infinite family of parameter pairs with congruent shadows; for nonzero spin the screen-coordinate contour is unique, so the finite-distance degeneracy rests entirely on the spherically symmetric sector. A concrete extraction recipe accompanies the proof: the first eleven Fourier coefficients of the contour, orthogonally transformed by principal component analysis into the size $z_1$, primary distortion $z_2$, and secondary distortion $z_3$, give a one-to-one correspondence with $(a/M, Q/M, i)$, so the parameters can be read off from the shadow's size and shape alone.","pith_inferences":["A direct geometric test of the proof's key assumption would be to compare Bardeen-coordinate contours as unparameterized point sets under rigid motions over a dense parameter grid, which is the one check that could expose a reparameterization-induced degeneracy that coefficient comparison would miss.","For small spins the shadow is nearly circular, so the distance-charge trade-off seen exactly at $a=0$ should reappear as a near-degeneracy at finite distance, meaning practical charge measurements from close-up images will need an independent distance prior.","Since the critical curve is the asymptotic inner boundary of the photon ring, the uniqueness at infinity suggests that a sufficiently resolved photon ring, rather than the shadow interior, could in principle carry the same parameter information.","The Fourier-coefficient plus principal-component pipeline is model-agnostic, so applying it to other charged or hairy black hole families, or to horizonless ultracompact objects, would reveal whether the one-to-one parameter map survives beyond the Kerr-Newman family."],"forward_implications":["Observing the shadow of a Kerr-Newman black hole from a distant vantage point determines the dimensionless spin $a/M$, charge $Q/M$, and inclination $i$ without degeneracy; knowing any one of $M$, $a$, or $Q$ from other data then fixes all four physical parameters.","The uniqueness result is independent of the observer family: Carter's observers and zero-angular-momentum observers see the same contour shapes up to an origin shift of the Bardeen coordinates, which the shape analysis explicitly ignores.","At finite distance the shadow cannot be a complete parameter probe: in the spherically symmetric sector, infinitely many pairs $(r_o/M, Q/M)$ produce congruent circular shadows, so the map from the full parameter space to the shadow library is not injective.","The observable construction gives a systematic injectivity test for any black hole model with three or more dimensionless parameters, extending the earlier two-parameter analysis of the Kerr case to charged solutions.","In images with accretion structure, the same Fourier and principal-component machinery can be applied to the photon ring or to half-peak-brightness contours of time-averaged simulated images, carrying the parameter-determination logic beyond the bare critical curve."],"supporting_citations":[{"why":"Supplies the general strategy this paper extends: proving injectivity of the map from parameters to the apparent-shape library for the two-parameter Kerr case via irreducibility of rational functions.","marker":"[29]"},{"why":"Defines the apparent-shape library and the injectivity criterion for a bare Kerr black hole that this paper applies to the Kerr-Newman spacetime.","marker":"[27]"},{"why":"Provides the earlier Kerr-Newman shadow construction from spatial infinity and shadow features that this paper shows are insufficient, motivating the uniqueness proof.","marker":"[40]"},{"why":"Gives the spherical photon orbit constants and the monotonic Reissner-Nordström photon radius function used to exhibit the finite-distance degeneracy.","marker":"[35]"},{"why":"Supplies the celestial and screen coordinate setup, the Carter observer tetrad, and the formulas connecting incident angles to conserved quantities.","marker":"[38]"},{"why":"Provides the resultant and Sylvester matrix criterion used to certify irreducibility of the rational functions that encode the shadows.","marker":"[41]"},{"why":"Establishes Bardeen coordinates as the linearization of the screen coordinates for a distant observer, the limit in which uniqueness is proved.","marker":"[43]"}],"fun_headline_variants":["Far-away shadow uniquely fixes Kerr-Newman spin, charge, and tilt","At infinity, one shadow contour pins black hole parameters","Infinite observers get unique shadows; finite ones see ambiguous ones","Shadow from infinity resolves black hole parameters; near view doesn't"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness proof assumes that two shadow contours that look identical when drawn are also identical point-for-point as functions of the photon-orbit radius, so that comparing polynomial coefficients is legitimate; the paper does not show that every way of matching two congruent contours preserves that parameterization.","fun_headline_variants_meta":{"raw":{"variants":["Far-away shadow uniquely fixes Kerr-Newman spin, charge, and tilt","At infinity, one shadow contour pins black hole parameters","Infinite observers get unique shadows; finite ones see ambiguous ones","Shadow from infinity resolves black hole parameters; near view doesn't"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000401,"raw_usage":{"total_tokens":2178,"prompt_tokens":1117,"completion_tokens":1061,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":733,"completion_tokens_details":{"reasoning_tokens":988}},"tokens_in":733,"tokens_out":1061,"duration_ms":9835,"temperature":1.0,"reasoning_tokens":988,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:32:29.110973+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Carry out a dense numerical scan over the dimensionless parameter triples $(a/M, Q/M, i)$, compute the Bardeen-coordinate contour $(b_x(r_*), b_y(r_*))$, and test whether any two contours for distinct triples coincide as unparameterized point sets up to translation, rotation, and reflection; if any pair does, the coefficient-comparison proof has missed a reparameterization degeneracy. The same scan evaluated on the observables $(z_1, z_2, z_3)$ would also settle the numerical injectivity claim, which the paper currently supports with isosurface intersections on a coarse grid.","supporting_citations":[{"cited_title":"Determining parameters of Kerr black holes at finite distance by shadow observation","cited_arxiv_id":"2311.16802","evidence_quote":"Supplies the general strategy this paper extends: proving injectivity of the map from parameters to the apparent-shape library for the two-parameter Kerr case via irreducibility of rational functions."},{"cited_title":"Takahashi, Publ","cited_arxiv_id":null,"evidence_quote":"Provides the earlier Kerr-Newman shadow construction from spatial infinity and shadow features that this paper shows are insufficient, motivating the uniqueness proof."},{"cited_title":"The mathematical theory of black ho les","cited_arxiv_id":null,"evidence_quote":"Gives the spherical photon orbit constants and the monotonic Reissner-Nordström photon radius function used to exhibit the finite-distance degeneracy."},{"cited_title":"Using algebraic geomet ry","cited_arxiv_id":null,"evidence_quote":"Provides the resultant and Sylvester matrix criterion used to certify irreducibility of the rational functions that encode the shadows."}],"review_version":1}