{"id":"76105dd2-74cf-454e-9f25-66cbd0dcce59","arxiv_id":"2607.20850","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Static spheres around black holes come in unstable/stable pairs, need negative radial pressure, and their innermost radius obeys a new upper bound tied to strong-energy-condition violation.","lead":"This paper proves that static spheres—surfaces where particles can hover at rest—around black holes require matter under tension, appear in unstable/stable pairs, and satisfy a new upper bound on the innermost radius when the strong energy condition is violated. It matters because it gives an analytic way to connect exotic matter near black holes to orbital structure.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Pairing claim is stronger than the proof: the global N(r) argument yields only an even number of transverse zeros, not exactly one unstable/stable pair.","rationale":"I read the paper in good faith. The core local derivations—the static-sphere condition N=0, the negative-pressure requirement, the SEC-sign relation N′(r_sp)=−8πr_sp(ρ+p+2p_T), and the integrating-factor derivation of the upper bound—are mathematically sound. The upper bound is a genuine conditional result: if WEC holds and the SEC is uniformly violated with κ>0 on [r_H, r_sp⁻], then inequality (4.9) follows. This assumption is explicit and not hidden, so it is a limitation rather than a flaw. The more serious issue is the pairing theorem. The proof given in Sec. III only shows that N is non-positive at the horizon and approaches 0⁻ at infinity; any transverse zero forces at least a negative-to-positive crossing and later a positive-to-negative crossing, so the number of transverse zeros is even. It does not show that there are exactly two. The paper's abstract, Sec. III, and Fig. 1 assert a unique pair, which is an overstatement of the proven result. This is a correctness gap in a central claim because it could mislead readers about the generic structure of static spheres. The proposed concrete test—searching for a solution with four static spheres via a piecewise matter profile—would settle whether the stronger claim can hold. If a counterexample is found, the theorem must be weakened; if not, a proof of the binary nature would be needed. In either case, the paper requires revision, consistent with a CONDITIONAL verdict. The reader's weakest_assumption focused on the κ condition, but their rationale also flagged the pairing overstatement; my emphasis on the latter makes the agreement partial.","tokens_in":9618,"tokens_out":21580,"duration_ms":186968,"concrete_test":"Construct a static, spherically symmetric, asymptotically flat black hole solution by numerically integrating the field equations (2.3), (2.4), (2.15) outward from r_H with regular horizon conditions, using a piecewise matter profile in which ρ+p+2p_T alternates sign (e.g., two separate SEC-violating shells separated by a SEC-satisfying region). Then compute N(r)=μ−1−8πr²p and count its transverse zeros on [r_H,∞). If N has four zeros, the 'pair' claim is refuted and the theorem must be weakened to 'even number'. If all such attempts yield at most two zeros, the stronger claim might still be true, but a proof would be needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract and Sec. III claim that non-degenerate static spheres must always appear in pairs: an inner unstable sphere and an outer stable one, with the alternative being a single degenerate static sphere. The proof, however, only uses N(r_H)≤0 and N(∞)→0⁻ to conclude that any non-degenerate static sphere must be preceded by a region where N rises from negative to zero and followed by a region where N falls back to negative. This establishes that the number of transverse zeros of N is even, but it does not exclude four, six, or more alternating static spheres. The 'inner unstable, outer stable' claim is valid only for the first and last zeros, not for a unique pair. The paper's Fig. 1 and the wording 'either a pair or a single degenerate' therefore overstate the proven result. This matters because applications of static spheres (e.g., Dyson-sphere-like shells) may rely on the existence of a unique stable sphere, and the topological arguments cited from Ref. [6] also only give an algebraic sum of indices, not a count. The proof should be corrected to state: if non-degenerate static spheres exist, there is an even number of them, alternating in stability; the innermost is unstable and the outermost stable. This is a genuine correctness gap in a headline claim, unlike the uniform-κ assumption of the upper bound, which is an explicit, acknowledged premise of a conditional theorem.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies static spheres in static, spherically symmetric, asymptotically flat black hole spacetimes. It introduces a radial function N(r)=μ-1-8πr²p, shows that static spheres correspond to zeros of N, derives that a static sphere requires negative radial pressure, and relates the sign of N' at the sphere to the SEC combination ρ+p+2p_T. It then claims that non-degenerate static spheres always appear as a unique pair (inner unstable, outer stable), with a single degenerate static sphere as the only alternative. Finally, assuming the WEC and a uniform SEC violation of strength κ between the horizon and the innermost static sphere, it derives the upper bound (4.9). The local derivations, including (3.10), (3.11), and the conditional bound (4.9), are largely sound; however, the global pairing claim is stronger than the proof actually supports.","tokens_in":9973,"tokens_out":12250,"duration_ms":118169,"significance":"The paper's conditional results are potentially useful: (3.10) is a clean necessary condition, (3.11) connects the stability of a static sphere with the sign of the SEC combination, and (4.9) is a compact inequality under explicit assumptions. The analysis is self-contained and follows from the Einstein equations and the geodesic effective potential, which is a strength. However, the headline pairing theorem needs correction: the global endpoint argument yields an even number of transverse zeros with alternating stability, not a unique pair. The upper-bound theorem is conditional on the ad hoc parameter κ and on the uniform-violation assumption, so it is not a universal constraint. With the pairing statement carefully restated, the remaining results stand.","major_comments":[{"comment":"The proof of the pairing theorem is insufficient. From N(r_H)≤0 and N(∞)=0^- one can only conclude that any transverse zero of N must be part of a sequence that rises from negative to zero and later returns to negative; hence the number of transverse zeros is even and the sign of N' at successive zeros alternates. Four, six, or more zeros are not excluded. Therefore the statements in the abstract, Sec. I, Sec. III, and Sec. V that non-degenerate static spheres 'must always appear in pairs: an inner unstable sphere and an outer stable one' and that the only alternative is 'a single degenerate static sphere' are not established. The valid conclusion is: if non-degenerate static spheres exist, they come in an even number, alternating in stability; the innermost is unstable and the outermost is stable. A single degenerate sphere corresponds to a tangency N=0, N'=0. The cited topological argu","section":"Sec. III, Eqs. (3.7)-(3.13); Fig. 1"},{"comment":"The integration leading to Eq. (4.5) starts at the horizon, where μ=0 and P(r)=4πr(ρ+p)/μ is formally singular. The proof does not justify that the integrating factor exp(∫P) and the integrated quantities are well defined on the closed interval [r_H, r_sp^-]. This can be fixed using the assumed finiteness of δ'(r_H): from Eq. (2.4), δ' = -4πr(ρ+p)/μ, so P(r) = -r δ'(r) is finite at r_H. Please state this explicitly. Without it, Eq. (4.5) and the resulting bound are not rigorously established.","section":"Sec. IV, Eqs. (4.2)-(4.5)"}],"minor_comments":[{"comment":"The bound is described as 'model-independent' in the Discussion, but it depends on the assumed constant κ in (4.3), which is not determined by the theory. The abstract's conditional phrasing is more accurate; please reword the concluding discussion accordingly.","section":"Sec. V"},{"comment":"The DOI '10.1103/lj4b-j3tr' appears to be a placeholder; please supply the correct DOI.","section":"Ref. [7]"},{"comment":"The figure is not included in the manuscript text; only the captions are present. Please ensure the figure is embedded.","section":"Fig. 1"},{"comment":"There are multiple equation/notation formatting artifacts (e.g., 'r2 H' for 'r_H^2', missing spaces in 'ρ+p+ 2p T'). Please clean up the LaTeX rendering.","section":"General"},{"comment":"The derivation of (3.11) is described as 'straightforward but somewhat lengthy'; given its central role, an appendix with the algebra would improve verifiability.","section":"Sec. III, Eq. (3.11)"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the overstatement of the pairing theorem. The authors should be able to fix this by restating the global result as an even number of alternating static spheres, with the innermost unstable and the outermost stable. The upper-bound theorem is conditional on κ and should not be presented as model-independent. I would not reject the manuscript; a corrected version is publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the two things you should know. The genuinely new, useful content is local: Eq. (3.10) that a static sphere forces negative radial pressure, and Eq. (3.11) tying the sign of N'(r_sp) to the SEC combination rho+p+2p_T. The upper bound in Eq. (4.9) is a real analytic inequality, derived self-consistently from the field equations under the stated premise of uniform SEC violation of strength kappa on [r_H, r_sp^-]. The derivation is short and the integrating-factor step checks out.\n\nWhat the paper does well: it is self-contained, the algebra is transparent, and it gives a physically intuitive way to think about static spheres (N must climb from the horizon to zero). The negative-pressure result and the local SEC sign are solid and will be useful.\n\nThe soft spots, in proportion. The stress-test note is right: the paper claims non-degenerate static spheres must appear in one inner unstable/outer stable pair, but the argument from N(r_H) <= 0 and N(infinity) = 0^- only forces an even number of transverse zeros, with alternating stability. Four, six, or more static spheres are not excluded. The first and last zeros have the stated stability, but the 'unique pair' language in the abstract and Section III is stronger than the proof. That is a genuine correctness gap in a headline claim, though it does not affect Eq. (3.11) or the bound.\n\nThe other weak point is the assertion near Eq. (4.9) that if the SEC violation is limited to a narrower shell, the bound remains a safe upper limit. That does not follow from the inequality, since the integral region shrinks with the shell; the statement is plausible but unproven and should be flagged as an observation, not a theorem. Also, calling the bound 'model-independent' oversells it; the requirement of a uniform kappa is a real modeling assumption, and the bound scales as 1/kappa.\n\nOverall, the core derivations are sound. The pairing overstatement is fixable in revision. I'd send this to peer review, but the referee should insist the pairing claim be corrected to 'an even number, alternating in stability' and the narrow-shell claim be either proven or dropped.\n\nFor the reading group, it's worth a slot because the central argument is compact and the overstatement is a teachable example of global-vs-local reasoning. I would cite the local results and the bound with the conditional caveat.","headline":"Clean local results and a conditional bound, but the 'unique pair' claim outruns the proof.","tokens_in":10379,"tokens_out":3244,"would_cite":true,"duration_ms":51354,"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":"In static, spherically symmetric, asymptotically flat black hole spacetimes, static spheres require negative radial pressure and come in paired unstable/stable forms, with the innermost radius bounded by the horizon and the degree of strong","keywords":["static spheres","black holes","strong energy condition","weak energy condition","radial pressure","timelike circular orbits","upper bound","spherically symmetric spacetimes"],"falsifier":"Numerically or analytically solve the Einstein equations for a static, spherically symmetric, asymptotically flat black hole with a matter source satisfying the WEC, and locate the zeros of N(r)=μ−1−8πr²p; finding a single non-degenerate zero, or a zero where p≥0, would disprove the pairing/negative-pressure theorems. For the bound, construct a solution satisfying the uniform SEC-violation assumption but with r_sp^- exceeding the right-hand side of Eq. (4.9).","tokens_in":9523,"feed_emoji":"🕳️","tokens_out":6099,"duration_ms":57732,"temperature":0.7,"pith_summary":"The paper proves that a static sphere — a spherical surface where a massive particle can hover at rest with zero angular momentum — can exist only where the radial pressure is negative (tension). It then shows that in any static, spherically symmetric, asymptotically flat black hole, non-degenerate static spheres occur in pairs: an inner unstable sphere and an outer stable one, with the inner one necessarily sitting in a region where the strong energy condition is violated. Assuming the weak energy condition everywhere and a uniform strong-energy-condition violation by a constant κ between the horizon and the innermost sphere, the paper derives a rigorous upper bound on that sphere's radius, expressed in terms of the horizon radius, the horizon density, and κ. The bound implies that in the extremal limit the innermost static sphere must merge with the horizon. These results connect local matter properties to the existence and location of static orbits, which could help test black hole models against observations.","feed_headline":"Static spheres around black holes come in pairs","feed_subtitle":"They require tension and strong-energy-condition violation; a new bound limits their innermost radius.","key_machinery":"The argument rests on the radial function N(r)=μ(r)−1−8πr²p(r)=−(2/r)[m(r)+4πr³p(r)], whose zeros locate static spheres. At a zero, N'(r_sp)=−8πr_sp(ρ+p+2p_T), linking stability to the SEC combination. For the bound, the paper introduces F(r)=rN(r) and derives the exact first-order equation F'+[4πr(ρ+p)/μ]F=−8πr²(ρ+p+2p_T), which is solved by an integrating factor; the WEC makes the coefficient non-negative, and the uniform κ bound on the source term yields the inequality via integration over [r_H, r_sp^-].","core_discovery":"The central discovery is a set of analytic constraints on static spheres in static, spherically symmetric, asymptotically flat black hole spacetimes. By studying the radial function N(r)=μ−1−8πr²p, which vanishes exactly at static spheres, the author shows that any static sphere demands p<0 at that radius. The global behavior of N — non-positive at the horizon and approaching 0 from below at infinity — forces N to rise and then fall, which means non-degenerate static spheres must appear in pairs with opposite stability: the inner (unstable) one characterized by ρ+p+2p_T<0 and the outer (stable) one by ρ+p+2p_T>0, with a degenerate single sphere at equality. Assuming the weak energy condition","pith_inferences":["If the pairing theorem is generic, then the absence of a stable outer static sphere in an observed black hole environment would suggest the inner one is degenerate or absent, providing an observational discriminant for exotic matter.","The bound could be inverted: a measured static-sphere radius gives a lower bound on the average SEC-violation strength κ over the region between the horizon and the sphere, which may constrain dark-energy or quantum-gravity models.","A similar pairing and bound might hold for static rings in stationary axisymmetric spacetimes, but that extension is not proven here and would require a new analysis.","Comparing the static-sphere bound with existing photon-sphere and ISCO bounds could yield combined inequalities on the matter content of black hole environments, a connection the paper does not make."],"forward_implications":["Any static sphere in an asymptotically flat static black hole must be supported by negative radial pressure; a positive-pressure static sphere is impossible.","Non-degenerate static spheres always come as an inner unstable/outer stable pair; a single isolated static sphere cannot exist without being degenerate.","The inner sphere of a pair is a direct marker of strong-energy-condition violation, so observing or constructing such a sphere implies SEC-violating matter in that region.","The upper bound quantifies how the horizon 'deficit' and the strength κ of SEC violation constrain the innermost static sphere's radius; extremal horizons force it to coincide with the horizon.","The results give a local, analytic diagnostic that complements topological arguments and applies to hairy and modified-gravity black holes satisfying the stated energy conditions."],"fun_headline_variants":["Black hole static spheres need tension, come in pairs","New bound on innermost static sphere around black holes","Black hole static spheres: tension, pairing, and a radius cap","Static spheres in black holes: paired and under tension"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The upper-bound theorem assumes the strong energy condition is violated by a fixed constant κ>0 throughout the entire interval between the horizon and the innermost static sphere; no physical mechanism guarantees such a uniform violation, and the bound depends inversely on κ.","fun_headline_variants_meta":{"raw":{"variants":["Black hole static spheres need tension, come in pairs","New bound on innermost static sphere around black holes","Black hole static spheres: tension, pairing, and a radius cap","Static spheres in black holes: paired and under tension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000969,"raw_usage":{"total_tokens":4043,"prompt_tokens":917,"completion_tokens":3126,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":661,"completion_tokens_details":{"reasoning_tokens":3060}},"tokens_in":661,"tokens_out":3126,"duration_ms":17876,"temperature":1.0,"reasoning_tokens":3060,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T09:08:33.157350+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically or analytically solve the Einstein equations for a static, spherically symmetric, asymptotically flat black hole with a matter source satisfying the WEC, and locate the zeros of N(r)=μ−1−8πr²p; finding a single non-degenerate zero, or a zero where p≥0, would disprove the pairing/negative-pressure theorems. For the bound, construct a solution satisfying the uniform SEC-violation assumption but with r_sp^- exceeding the right-hand side of Eq. (4.9).","supporting_citations":[],"review_version":1}