{"id":"2f7750f1-69cd-466b-94ae-1787937a6725","arxiv_id":"2411.19082","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A four-parameter capped black hole solution in 5D minimal supergravity exhibits two branches with identical conserved charges, demonstrating non-uniqueness for spherical black holes.","lead":"This paper constructs a new exact family of charged, rotating black holes in five dimensions, whose exterior has a nontrivial capped topology. For the same mass, charge, and angular momenta, it finds two different capped black holes plus the known Cvetič-Youm black hole, showing that black hole uniqueness fails even among spherical horizons.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Regularity of both branches requires H(x,y)>0 and D(x,y)>0 throughout the exterior; this is proven only at isolated boundary points and numerically displayed for one parameter set, so an interior zero on the small-bubble branch would break the non-uniqueness claim.","rationale":"Any verdict hinges on which ingredient of the central claim is least secure, and the ingredients are: (i) the Ehlers-Harrison construction produces valid minimal-supergravity solutions; (ii) the constraints (33)-(35) admit real solutions in the stated ranges with a multi-valued charge map; (iii) every solution in the family is regular, i.e., H(x,y) > 0 and D(x,y) > 0 in the entire exterior. Ingredient (i) is standard G2(2) solution generation and is convincing. Ingredient (ii) is supported by the numerical phase diagram; the critical curve (118) where ∂(jψ,jϕ)/∂(ν̃,γ̃) = 0, the two branches merging at jψ = jψ,c, and Fig. 8 showing three coexisting entropy curves at fixed (σ,jψ,jϕ) are the classic fold signature of discrete non-uniqueness. Ingredient (iii) is the load-bearing weak point. The interior positivity of H and D is explicitly acknowledged as lacking an analytic proof (Sec. III.E); the boundary-value proofs cover only isolated points, the axis analyses assume the desired positivity, and the displayed numerical checks (Figs. 1-2) sample essentially one point out of the two-parameter family traced in Sec. IV. The new small-bubble branch — the ingredient upgrading the earlier three-parameter solution into a discrete non-uniqueness result — is where the regularity check is thinnest, in particular near the critical curve and the extremal limits. A zero of H or D anywhere on that branch gives a curvature singularity (Kretschmann ∼ H⁻⁶D⁻⁶) or a CTC, invalidating the central claim. I do not see a stronger competing concern: the n = ±1 patching affects the completeness of the phase diagram but not the existence of two branches inside the n = 1 phase; the entropy discontinuity at the extremal limit has precedent in the black-ring literature (Refs. [22,23]); and the absence of code or data is a reproducibility issue secondary to the regularity gap. The abstract's 'It can be shown' phrasing overstates the analytic support in the body. Since the gap is one of verification rather than an identified failure — positivity at all boundary points, the explicit nonnegative identity (68), and the displayed interior profile all point in the right direction — the reader's CONDITIONAL verdict is appropriate, and the proposed systematic scan would either close the gap or locate the failure.","tokens_in":30289,"tokens_out":23956,"duration_ms":194182,"concrete_test":"Scan the allowed parameter region (90) for σ = 0.8 and at least one other value (e.g., σ = 0.5): for each (ν̃,γ̃) on both the large- and small-bubble branches mapped in Sec. IV, solve the constraints (78),(81) (and (88),(89) for the n = −1 patch) for (β,b̃), then evaluate the global minimum of H(x,y) and of D(x,y) over (x,y) ∈ [−1,1] × [−1/ν,−1] on a fine grid (≥ 300 × 300), recording the minimizing point and branch. Focus on the small-bubble branch, the critical curve jψ = jψ,c, the extremal limits γ̃ → √(2−ν̃²) and ν̃ → 1, and the β → ∞ region reparameterized by β′ = β⁻¹. Failure criterion: any sampled point on either branch with H ≤ 0 or D ≤ 0 (beyond grid error at exact boundary values) invalidates the non-uniqueness claim at those charges. A passing scan would show a positive margin — e.g., H_min ≳ 1 and D_min ≳ 0.01, comparable to the color range of Figs.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that for identical conserved charges (M, Jψ, Jϕ, Q) there are two regular capped black holes, the large- and small-bubble branches. Regularity of the metric (4) on and outside the horizon reduces, as the authors show in Sec. III, to H(x,y) > 0 and D(x,y) > 0 on (x,y) ∈ [−1,1] × [−1/ν,−1]: the Kretschmann scalar diverges as H⁻⁶D⁻⁶ where either vanishes, and det(g_IJ) > 0 — equivalent to D(x,y) > 0 given the other positivity assumptions — rules out closed timelike curves. Positivity is established analytically only at isolated boundary points (Eqs. (20), (45), (46) and the horizon formula (70)); the axis analyses in Sec. III.B assume H,D > 0, and Eq. (68) proves only H(x,y) − H(y,x) ≥ 0, not H > 0 itself. The authors state in Sec. III.E: 'It is challenging to demonstrate analytically H(x, y) > 0, however, as depicted in Fig. 1, we can numerically confirm H(x, y) > 0'; the analogous claim for D is likewise numerical. The displayed evidence is thin: Fig. 1 shows a single parameter point (σ,ν̃,γ̃) = (0.8,1.2,0.239), and Fig. 2 one further point, although the phase diagram of Sec. IV is a two-parameter family. The small-bubble branch — the new element in the non-uniqueness claim — is precisely the part whose regularity is least supported, especially near the critical curve jψ = jψ,c where it merges with the large-bubble branch (Fig. 8) and near the extremal limits κ → 0. If any parameter point on either branch admitted H ≤ 0 or D ≤ 0 in the exterior, that solution would have a curvature singularity or CTCs, and the assertion of two regular solutions with identical charges would fail there. The abstract's 'It can be shown that the resultant solution is free from curvature... singularities' is stronger than what the body establishes; this is a verification gap, not a demonstrated failure.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a new stationary, bi-axisymmetric solution in the bosonic sector of five-dimensional minimal supergravity by applying Ehlers and Harrison transformations to a vacuum seed, extending the authors' previous three-parameter capped black hole to a four-parameter family. The solution is claimed to describe a regular capped black hole with asymptotically flat boundary conditions, S3 horizon topology, and nontrivial spatial topology [R4#CP2]\\B4 outside the horizon, carrying four independent conserved charges (M, Jψ, Jϕ, Q). The central result is that for identical values of these charges there exist two distinct regular solutions, the large-bubble and small-bubble branches, thereby demonstrating discrete non-uniqueness among spherical black holes; the paper also compares their entropies with the Cvetič-Youm black hole.","tokens_in":30679,"tokens_out":7891,"duration_ms":73477,"significance":"If fully established, this is a significant contribution: it provides an exact non-BPS solution displaying non-uniqueness in five-dimensional minimal supergravity, going beyond the known uniqueness theorem by exploiting nontrivial domain-of-outer-communication topology. The construction via solution-generating techniques is explicit, and the boundary conditions are imposed with care. The paper also gives a quantitative thermodynamic comparison with the Cvetič-Youm black hole. However, the central regularity claim is only partially proven: positivity of the key functions H(x,y) and D(x,y) is verified analytically at isolated boundaries and numerically for a single representative parameter point, rather than over the full parameter space. This gap directly affects the existence claim for the two regular branches.","major_comments":[{"comment":"The regularity of the metric on and outside the horizon reduces to H(x,y)>0 and D(x,y)>0 on (x,y)∈[-1,1]×[-1/ν,-1], as the Kretschmann invariant diverges like H^{-6}D^{-6} and CTCs are excluded by det(g_IJ)>0, equivalent to D(x,y)>0. The authors prove these inequalities only at boundary points (Eqs. (20), (45), (46), and (70)), and the numerical evidence in Figs. 1 and 2 is for a single parameter set (σ,ν̃,γ̃)=(0.8,1.2,0.239). The text in Section III.E states that H(x,y)>0 is 'numerically confirmed for the parameters satisfying the conditions,' but the displayed plot does not show a scan over the allowed parameter region; similarly, the claim of 'several choices' for D(x,y) is not reflected in Fig. 2. The small-bubble branch, which is the new element of the non-uniqueness claim, is precisely the region where a violation of H>0 or D>0 would be most dangerous, especially near the critical curve jψ=jψ,c (Fig. 8) and the extremal limits κ→0. Because the central assertion is the existence of two regular solutions with identical conserved charges, this gap is load-bearing. I request either an analytic proof (e.g., a manifestly positive decomposition of H and D) or a systematic numerical survey over the full allowed parameter range (σ,ν̃,γ̃) and both branches, with quantitative margins.","section":""},{"comment":"The two-branch non-uniqueness and the entropy ordering are demonstrated only for the slice σ=0.8, and the detailed entropy comparison in Fig. 8 is for a single value jϕ=0.235. The statement in Section IV.B that 'other cases with σ≠0.8 are qualitatively similar' is not supported by any displayed computation. Since the abstract claims a four-parameter family and a general statement that 'the large/small bubble branch can have larger/smaller entropy than the Cvetič-Youm black hole,' the paper should either provide evidence for additional σ slices (and ideally map the region in (σ,ν̃,γ̃) where two branches coexist) or explicitly restrict the claims to the demonstrated parameter values. As it stands, the generality of the non-uniqueness result rests on a single slice of the parameter space.","section":""}],"minor_comments":[{"comment":"The boundary list is numbered (i), (ii), (iii), (iv), (vi), (v); either renumber so that the horizon (v) precedes the center (vi), or order the items in the text consistently.","section":""},{"comment":"The term 'Kretchman invariant' should be 'Kretschmann invariant'.","section":""},{"comment":"The sentence 'the requirements H(x,y)≠0 and D≠0 on and outside the horizon can be replaced with H(x,y)>0 and D>0' lacks a final period and should read '... can be replaced with H(x,y)>0 and D(x,y)>0.'","section":""},{"comment":"In the final paragraph, 'as preformed in Ref. [10]' should be 'as performed in Ref. [10]'.","section":""},{"comment":"The text claims numerical confirmation of D(x,y)>0 'for several choices of the parameters,' but Fig. 2 displays only one parameter set; please add additional panels or revise the text to say 'for the representative parameter set shown in Fig. 2.'","section":""},{"comment":"The abstract and introduction state that the solution is 'free from curvature, conical, Dirac-Misner string and orbifold singularities, as well as closed timelike curves on and outside the horizon,' but Section III.E explicitly acknowledges that analytic proof of H>0 and D>0 is challenging and relies on numerical verification. Please qualify the abstract accordingly or move the numerical-evidence statement into the abstract.","section":""}],"recommendation":"major_revision","confidential_remarks":"The paper is likely to be a valuable contribution to the exact-solutions literature in 5D supergravity, and the construction technique is credible. The main concern is the incompleteness of the regularity proof for the full parameter space, which directly underpins the claimed non-uniqueness of regular capped black holes. I would ask the authors to strengthen the numerical evidence (e.g., systematic scans over (σ,ν̃,γ̃) for both branches, including near the critical and extremal curves) or to provide an analytic positivity proof. The reliance on a single σ slice for the thermodynamic comparison should also be addressed. These are fixable within the scope of the manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe thing to know: Suzuki and Tomizawa have a new four-parameter exact solution describing a capped black hole in five-dimensional minimal supergravity, and for the first time they show that two regular branches, large bubble and small bubble, share the same conserved charges (M, Jψ, Jϕ, Q) with each other and with the Cvetič-Youm black hole. That is a concrete discrete non-uniqueness result among spherical black holes, not just the usual black-hole/black-ring comparison. The entropy comparison is also new: the large-bubble branch can beat Cvetič-Youm, while the small-bubble branch cannot.\n\nWhat the paper does well: the solution generation via Ehlers-Harrison transformations is standard, but the boundary treatment is careful. The authors derive explicit conditions for the absence of Dirac-Misner strings, conical singularities, orbifold singularities, and for S3 horizon topology. The phase diagram is detailed and the relation to their previous three-parameter solution is clarified.\n\nThe soft spot is interior regularity. The metric's curvature singularity is controlled by H(x,y) and D(x,y) (Kretschmann goes like H^-6 D^-6), so positivity of these functions on and outside the horizon is load-bearing. The authors prove positivity at the boundaries and on the horizon, but explicitly say an analytic proof of H>0 is challenging and instead show one numerical profile (Fig. 1), and similarly for D (Fig. 2). For a two-parameter phase diagram, that is thin evidence. The small-bubble branch, which is the new ingredient for non-uniqueness, is precisely the part least supported. The abstract's \"It can be shown that the resultant solution is free from curvature...\" is stronger than what the body establishes. This is a verification gap, not a demonstrated failure. The numerics may well be correct, but the paper would be materially stronger with either an analytic positivity argument or a systematic numerical scan with code and data.\n\nNo code or data accompanies the numerical phase diagrams, which makes them hard to reproduce independently. Minor, but it compounds the above.\n\nNet: this is a serious exact construction with a genuinely new claim. It deserves a serious referee. The referee should press on the H,D positivity question and ask for either a proof or much more thorough numerical evidence. If that gap closes, the non-uniqueness result stands.\n\nI'd bring it to a reading group only if the group works on exact solutions. I won't cite it in my own work, but it's a legitimate contribution to the higher-dimensional black hole literature.\n\nRecommendation: accept for peer review, with the regularity issue as the main requested revision.","headline":"New four-parameter capped black hole family with genuine large/small bubble non-uniqueness, but the interior regularity proof is replaced by thin numerical evidence.","tokens_in":31262,"tokens_out":4485,"would_cite":false,"duration_ms":40004,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83E50"],"pacs":["04.70.-s","04.65.+e"],"model":"deepseek-v4-flash","headline":"A new four-parameter family of regular capped black holes in five-dimensional minimal supergravity exhibits discrete non-uniqueness: two branches with the same mass, electric charge, and angular momenta as the Cvetič-Youm black hole…","keywords":["five-dimensional minimal supergravity","capped black hole","black hole non-uniqueness","Ehlers-Harrison transformation","Cvetič-Youm black hole","bubble topology","closed timelike curves","exact solution"],"falsifier":"Evaluate $H(x,y)$ and $D(x,y)$ directly over the full allowed parameter and coordinate ranges on a dense grid or via interval arithmetic; a single point satisfying conditions (19), (33)-(35), (45), and (47) with $H\\le 0$ or $D\\le 0$ would invalidate the stated regularity, since the Kretschmann scalar behaves like $H^{-6}D^{-6}$. A rigorous analytic positivity proof over the entire region would do the opposite and settle the regularity claim.","tokens_in":30076,"feed_emoji":"🕳️","tokens_out":6633,"duration_ms":57669,"temperature":0.7,"pith_summary":"This paper constructs a new four-parameter family of asymptotically flat, stationary, bi-axisymmetric black holes in the bosonic sector of five-dimensional minimal supergravity. The solutions are spherical black holes whose exterior region contains a disk-shaped bubble, so a timeslice has the topology $[\\mathbb{R}^4 \\# \\mathbb{CP}^2]\\setminus \\mathbb{B}^4$. The central claim is that these capped black holes exhibit discrete non-uniqueness: for the same mass, two angular momenta, and electric charge, there are two distinct regular solutions, one with a large bubble and one with a small bubble, in addition to the Cvetič-Youm black hole. The authors also compare entropies and find the large-bubble branch can beat the Cvetič-Youm black hole thermodynamically while the small-bubble branch always has lower entropy than it.","feed_headline":"Two capped black holes can share every conserved charge","feed_subtitle":"A four-parameter supergravity solution yields large- and small-bubble black holes with identical mass, spins, and charge.","key_machinery":"The construction rests on the combined Ehlers and Harrison transformations of five-dimensional minimal supergravity, which add angular momentum and electric charge, respectively, to a vacuum seed. The seed is a rotating black lens solution generated by the inverse scattering method, and the transformed metric is written in C-metric coordinates $(x,y)$ with functions $H(x,y)$ and $D(x,y)$ whose positivity controls regularity. The boundary conditions select parameters so that the two rotational axes and the inner disk-shaped bubble are free of Dirac-Misner strings and conical singularities, and the horizon cross-section has topology $S^3$, enforced through an integer $n=\\pm 1$ in the holonomy condition. The positivity of $H$ and $D$ is proven at the boundaries and verified numerically on representative parameter points; it guarantees curvature regularity and the absence of closed timelike curves throughout the exterior region. The distinct bubble branches arise because the same conserved charges leave the bubble area and magnetic flux free, so the two branches are labelled by non-conserved data.","core_discovery":"The paper's discovery is an exact, non-BPS (non-supersymmetric) solution describing a charged, rotating spherical black hole with a non-trivial domain of outer communication. It is obtained by applying the Ehlers and Harrison transformations to a vacuum seed and then imposing boundary conditions that remove Dirac-Misner string, conical, orbifold, and curvature singularities and closed timelike curves on and outside the horizon. The resulting four-parameter family reduces to the previously known three-parameter capped black hole when $\\beta=0$. For a fixed set of conserved charges $(M, J_\\psi, J_\\phi, Q)$, the authors find two capped black hole branches, large bubble and small bubble, distinguished by local quantities such as magnetic flux and magnetic potential, not by conserved charges. This is a demonstration of non-uniqueness among spherical black holes that persists within the capped-black-hole class itself, and it shows that the uniqueness theorem is evaded once the trivial-topology assumption on the exterior is dropped.","pith_inferences":["The entropy ordering suggests a selection rule driven by bubble size: if the large-bubble branch is thermodynamically preferred in one region, dynamical or phase-transition arguments might favour it, though the paper does not address dynamics.","The results imply that any complete uniqueness statement for five-dimensional charged rotating black holes must include local data on the bubble, such as magnetic flux and magnetic potential, in addition to conserved charges.","The same Ehlers-Harrison machinery could plausibly produce analogous non-unique capped solutions with other allowed exterior topologies, such as multiple bubbles or lens spaces; the authors list this as future work.","The entropy discontinuity when taking the extremal black-hole limit suggests the topology change leaves a thermodynamic remnant, potentially relevant for microstate counting."],"forward_implications":["For angular momenta inside the overlap region, three stationary black holes share the same $(M, J_\\psi, J_\\phi, Q)$: the Cvetič-Youm black hole, a large-bubble capped black hole, and a small-bubble capped black hole.","Beyond the extremal Cvetič-Youm angular-momentum bound, only the large-bubble branch exists among the capped solutions, so the phase diagram is not merely a duplicate of the Cvetič-Youm family.","Thermodynamic preference is branch-dependent: for sufficiently large bubble area the large-bubble branch has higher entropy than the Cvetič-Youm black hole, whereas the small-bubble branch is always entropically disfavoured relative to it.","The previously constructed three-parameter capped black hole is a one-dimensional slice ($\\beta=0$) of the new four-parameter phase space; it does not show the two-branch non-uniqueness, so the fourth parameter is essential for the effect.","The $n=1$ and $n=-1$ phases are related by the reflection $(t,\\psi)\\to(-t,-\\psi)$ with $Q$ flipping sign, which lets the two phases together cover a complete $Q/M=\\text{constant}$ phase space."],"supporting_citations":[{"why":"Gives the Cvetič-Youm charged rotating black hole whose conserved charges and entropy serve as the comparison baseline.","marker":"[7]"},{"why":"States the uniqueness theorem for charged rotating spherical black holes under trivial exterior topology, which the new solution shows is evaded when that assumption is dropped.","marker":"[6]"},{"why":"Contains the previous three-parameter capped black hole family that this paper generalizes to four parameters and reduces to at $\\beta=0$.","marker":"[11, 12]"},{"why":"Derives the charged solution by Ehlers-Harrison transformations with all independent conserved charges, whose seed and boundary-condition strategy are reused here.","marker":"[10]"},{"why":"Supplies the method for removing Dirac-Misner strings, conical singularities, and closed timelike curves in a Harrison-transformed charged dipole black ring.","marker":"[9]"},{"why":"Gives the Ehlers transformation that adds angular momentum to a vacuum solution and was used to construct the doubly rotating black ring.","marker":"[17]"},{"why":"Provides the $G_{2(2)}$ generating technique, including the Harrison transformation, for minimal five-dimensional supergravity.","marker":"[18]"},{"why":"Supplies the inverse-scattering vacuum seed, a rotating black lens, on which the transformations act.","marker":"[19]"}],"fun_headline_variants":["Capped black holes: same charges, two bubble sizes","Two capped black holes, identical charge, different bubbles","Black hole non-uniqueness: large vs small bubble branches","Same mass, spin, charge: capped black holes come in pairs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the functions $H(x,y)$ and $D(x,y)$ remain strictly positive throughout the exterior region; the paper proves positivity only at the boundaries and checks it numerically for representative parameters, so a permitted parameter choice where either function becomes non-positive would introduce a curvature singularity or closed timelike curves.","fun_headline_variants_meta":{"raw":{"variants":["Capped black holes: same charges, two bubble sizes","Two capped black holes, identical charge, different bubbles","Black hole non-uniqueness: large vs small bubble branches","Same mass, spin, charge: capped black holes come in pairs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000233,"raw_usage":{"total_tokens":1520,"prompt_tokens":1000,"completion_tokens":520,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":616,"completion_tokens_details":{"reasoning_tokens":451}},"tokens_in":616,"tokens_out":520,"duration_ms":5004,"temperature":1.0,"reasoning_tokens":451,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T10:33:07.780262+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate $H(x,y)$ and $D(x,y)$ directly over the full allowed parameter and coordinate ranges on a dense grid or via interval arithmetic; a single point satisfying conditions (19), (33)-(35), (45), and (47) with $H\\le 0$ or $D\\le 0$ would invalidate the stated regularity, since the Kretschmann scalar behaves like $H^{-6}D^{-6}$. A rigorous analytic positivity proof over the entire region would do the opposite and settle the regularity claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Cvetič-Youm charged rotating black hole whose conserved charges and entropy serve as the comparison baseline."},{"cited_title":", f19 Every fi is a quadratic function of β","cited_arxiv_id":null,"evidence_quote":"States the uniqueness theorem for charged rotating spherical black holes under trivial exterior topology, which the new solution shows is evaded when that assumption is dropped."},{"cited_title":"Uniqueness and non-uniqueness of static vacuum black holes in higher dimensions","cited_arxiv_id":"gr-qc/0203004","evidence_quote":"Derives the charged solution by Ehlers-Harrison transformations with all independent conserved charges, whose seed and boundary-condition strategy are reused here."}],"review_version":1}