{"id":"b2f2b2cd-6fc2-4ab4-bffe-48c91b43e33d","arxiv_id":"2506.14872","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"A plane-symmetric perfect-fluid spacetime with a linear equation of state admits maximal extensions that are either a globally regular black bounce or a black hole with a spacelike singularity, depending on the interior parameters.","lead":"The authors analyze the Gamboa solution, an exact plane-symmetric perfect-fluid spacetime with a linear equation of state, and show it can be extended across its Killing horizon to form either a globally regular black bounce or a black hole with a spacelike singularity. The result gives a new exact construction of a singularity-free black hole in general relativity, albeit with matter violating the null energy condition.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The black-bounce/black-hole dichotomy is conditional on the assumption that χ is unchanged across the horizon; a χ-discontinuous interior is allowed by Proposition 1 and can change the singularity structure, so Table IV and Figs. 1–2 do not cover all regular extensions.","rationale":"The reader's weakest_assumption identifies exactly the point that carries the most weight for the paper's strongest claim. The paper's own Proposition 1 explicitly permits regular gluing of two Gamboa solutions with χ_+ ≠ χ_-, and Sec. IV restricts to χ unchanged 'for simplicity.' If the goal were a complete classification of all maximally extended Gamboa spacetimes, the omission of χ-discontinuous interiors would be a real gap. However, the paper does not overstate its result: the abstract, Sec. IV, and Table IV all state the assumption that χ is unchanged in the extended dynamical region. The derivation of the two branches is internally consistent, backed by explicit coordinate transformations, asymptotic expansions, and a careful causal analysis in Sec. II.D, and I find no algebraic error or hidden circularity. The proposed check would settle whether a χ-discontinuous interior actually changes the singularity character; if it does, the current claim remains valid only as a conditional statement, which is exactly how the reader and the paper present it. Therefore the correct disposition is unchanged conditional acceptance rather than rejection.","tokens_in":23603,"tokens_out":23349,"duration_ms":239215,"concrete_test":"Construct an explicit extension for n=4 with exterior χ_+=-1/3 (β_+=0, M_+<0, h_1^+>0) and interior χ_-=-1/5 (β_-=1), taking the black-bounce branch M_->0 and choosing h_1^- to satisfy the continuity condition (3.15): (h_1^+)^{1/[(n-3)β_+-2]} = (h_1^-)^{1/[(n-3)β_--2]}. Then use the asymptotic formulas of Sec. II.D (Eqs. (2.32)–(2.41)) to determine whether the interior r=0 boundary is spacelike or timelike for χ_-=-1/5. If r=0 is timelike while r=∞ remains null infinity, the dichotomy in Table IV (which lists only a spacelike singularity) fails for a regular attachment with χ_- outside (χ0,0), confirming that the χ-continuity assumption is load-bearing.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section IV's central classification (Table IV, Figs. 1–2) is derived under the explicit assumption that 'the value of χ is unchanged in the extended region' (first paragraph of Sec. IV). This is a genuine physical restriction, not a mathematical necessity: Proposition 1 in Sec. III shows that regular C^{1,1} attachments with χ_+ ≠ χ_- are possible whenever the continuity condition (3.15) holds. For an interior value χ_- outside (χ0,0), the analysis of Sec. II.D shows that the causal character of the boundaries changes; for example, for χ_- ∈ [-1/3,χ0), the curvature singularity at r=0 is still non-null but is no longer guaranteed to be spacelike, so the claimed 'black hole with a spacelike curvature singularity' branch may become a timelike-singularity solution. Thus the statement that the maximally extended spacetime describes either (i) a globally regular black bounce or (ii) a black hole with a spacelike singularity is not a property of the Gamboa solution alone; it depends on an arbitrary choice of the interior equation-of-state parameter. The paper states this assumption explicitly in the abstract and Sec. IV, so it is internally consistent, but the result's scope is narrower than the title's promise of a black bounce with a perfect-fluid exterior: a different χ_- can produce a regular black bounce with a different interior matter model or a singular solution not listed in Table IV.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes the Gamboa solution, an n-dimensional static plane-symmetric general-relativity solution sourced by a perfect fluid obeying p = χρ. It rewrites the solution in a new form, shows that a nondegenerate Killing horizon exists only for χ = -1 and χ ∈ [-1/3, 0), classifies all C^{1,1} and C^∞ attachments of two Gamboa solutions across that horizon (allowing χ to differ on the two sides), and constructs global extensions for χ ∈ (χ0, 0) under the explicit assumption that χ is unchanged in the extended dynamical region. Depending on the interior branch, the extension is claimed to be either a globally regular black bounce whose Killing horizon is a bounce null hypersurface, or a black hole with a spacelike curvature singularity inside the horizon. Appendices provide a new derivation of the solution with a Ricci-flat base manifold, a proof of regularity of the bifurcation surface, and an explicit horizon matter description for χ = -1/3.","tokens_in":23938,"tokens_out":15025,"duration_ms":146124,"significance":"If the results are correct, the paper provides an explicit exact black-bounce construction in general relativity sourced by a very simple matter model in the exterior, with precise regularity conditions at the horizon and a clean classification of thin-shell-free attachments. The derivation in Appendix A and the explicit special-case solution in Sec. III.A are checkable and constitute a solid technical contribution. The work also clarifies for which discrete values of χ the metric is C^∞ at the horizon, including the fine-tuning conditions in the extended region. The main global classification, however, is conditional on the constant-χ assumption and relies on several previous results of the authors, so the scope of the central claim is narrower than the title alone might suggest.","major_comments":[{"comment":"The asymptotic expansion (3.5) near the Killing horizon is imported as \"given in the proof of Proposition 6 in Ref. [57]\" and is not derived in this paper. This expansion underlies the regularity statements of Proposition 1 and is used directly in Appendix B (Eqs. (B1)-(B5)) to establish the regularity of the bifurcation surface. Because these are load-bearing for the central claims, please provide a self-contained derivation of (3.5) from Eqs. (2.26) and (2.28), or state precisely the theorem in Ref. [57] that supplies it and the hypotheses under which it applies.","section":"Sec. III.B, Eq. (3.5); Appendix B"},{"comment":"The dichotomy between a regular black bounce and a black hole with a spacelike singularity is established only under the assumption that the equation-of-state parameter χ is unchanged in the extended dynamical region. The paper states this assumption explicitly, but Proposition 1 shows that regular C^{1,1} attachments with χ_- ≠ χ_+ are possible whenever Eq. (3.15) holds, and for χ_- ∈ [-1/3, χ0) the r = 0 boundary is non-null without being spacelike, so the singularity structure can differ from Table IV. Please frame the main result as explicitly conditional in the abstract and in Sec. V, or add a discussion of the χ-discontinuous extensions.","section":"Sec. IV, first paragraph; Table IV; Figs. 1-2"},{"comment":"The phrase \"maximally extended\" is not justified by the arguments given. The paper constructs an extension across the Killing horizon and, in the black-bounce case, obtains a spacetime with two asymptotic regions, but it does not prove inextendibility (e.g., that all incomplete geodesics have been covered or that no further extension exists). Please provide such an argument or replace the term with \"an extension\" throughout.","section":"Sec. IV; Figs. 1-2"}],"minor_comments":[{"comment":"The statement that the null energy condition is violated everywhere except on the horizon is not correct for χ = -1/3, because Appendix C shows a horizon null dust with negative energy density; please qualify the claim.","section":"Abstract and Sec. V, item 1"},{"comment":"The notation \"χ = (χ0, 0)\" should read \"χ ∈ (χ0, 0)\" in these equations and the surrounding text.","section":"Sec. II.D, Eqs. (2.35), (2.38), (2.40)"},{"comment":"The gauge choice Ω = -(2+β)/(M Π1) presumes M ≠ 0; this is consistent with the paper's assumptions but should be stated explicitly before the substitution.","section":"Sec. III.B, Lemma 1 proof"},{"comment":"The summary describes the result as a black bounce with a perfect-fluid exterior; given that the interior matter is an anisotropic fluid interpreted as a spacelike perfect fluid and violates the NEC, consider stating this more prominently in the abstract as well as in the body.","section":"Sec. V, item 1 and title"},{"comment":"The special-case discussion would benefit from a remark that for m < 0 or \\bar{m} < 0 the radius r(x) reaches zero at finite x, so the domain of the new form is not the full real line.","section":"Sec. III.A, around Eq. (3.2)"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' own earlier results (Refs. [57], [58], and [60]) for the horizon classification and the C^∞ bootstrapping step. These are published and relevant, but the editor may wish to confirm that referees have access to them. The conditional nature of the central classification should be made prominent in the final version, and the use of 'maximally extended' should be either proved or softened."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth a serious look: it does something modest and does it carefully. The genuinely new piece is Proposition 1, which classifies all C^{1,1} and C∞ attachments of two Gamboa solutions at a nondegenerate Killing horizon, allowing different equation-of-state parameters on each side. That is a real result, and the proof is a straightforward but clean asymptotic-matching argument. The follow-up global analysis in Sec. IV, assuming χ is unchanged across the horizon, splits cleanly into a regular black bounce and a singular black hole; the energy-condition discussion is complete, and the appendices supply useful derivations, including the regularity of the bifurcation surface.\n\nCredit where it is due: the authors do not oversell the metric itself — they attribute the solution to Gamboa [54] and re-derive it in a more general coordinate system. The domain lemmas and the C∞ conditions (β integer, with M_- = -M_+ or \\bar M_- = M_+) are explicit and checkable. I checked a few of the near-horizon expansions (Eqs. 3.10–3.14) and they are consistent.\n\nSoft spots, in order of importance. First, the central attachment criteria lean on the authors' own earlier propositions — the asymptotic expansion (3.5) is quoted from the proof of Proposition 6 in [57], and the C∞ criterion is Proposition 9 of the same paper. Those are published, so citation is legitimate, but it makes the paper not self-contained at exactly the load-bearing point. A referee should ask for the key expansions to be reproduced in an appendix or for precise statements of the imported theorems. Second, the black-bounce/black-hole dichotomy in Table IV is explicitly conditional on keeping χ fixed in the extended region. That assumption is stated in the abstract and in Sec. IV, so it is not hidden, but it does mean the dichotomy is not a classification of all regular extensions. Proposition 1 permits χ_- ≠ χ_+, and in those cases the singularity structure can differ — for χ_- outside (χ0,0) the singularity need not be spacelike. The paper does not work out those cases, and a reader should not use Table IV as a black box.\n\nOverall: a solid exact-solution paper with one genuinely new gluing result and an honest statement of its assumptions. The reliance on self-cited theorems is the main weakness, though it is not fatal. I would send this to a competent referee, with a request for fuller statements of the imported propositions and a short discussion of what changes when χ is allowed to jump on the horizon.","headline":"The new piece is the regular-attachment classification; the black-bounce/black-hole dichotomy is real but conditional on a fixed equation-of-state parameter across the horizon.","tokens_in":24461,"tokens_out":5711,"would_cite":false,"duration_ms":55018,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C15","83C75"],"pacs":["04.20.-q","04.20.Jb","04.40.-b","04.70.Bw"],"model":"deepseek-v4-flash","headline":"This paper claims that the maximally extended plane-symmetric Gamboa solution with a perfect fluid obeying a linear equation of state is, for a range of the equation-of-state parameter, either a globally regular black bounce whose Killing…","keywords":["black bounce","Gamboa solution","Killing horizon","perfect fluid","plane-symmetric spacetime","linear equation of state","null energy condition","spacelike singularity"],"falsifier":"For n = 5 and χ = -1/7 (odd N = 3), the paper predicts a C∞ black bounce when the interior parameter is M_- = -M_+; one could explicitly construct the null coordinates and check that r(x) is monotone increasing for x < x_h, that all curvature invariants are finite, and that no non-smooth term appears in the metric at any order in Δ. If instead a singularity, a thin shell, or a lower-order non-smooth term appears, the bounce classification fails.","tokens_in":23382,"feed_emoji":"🕳️","tokens_out":11137,"duration_ms":106580,"temperature":0.7,"pith_summary":"This paper studies an exact two-parameter family of plane-symmetric spacetimes in n(≥4) dimensions, the Gamboa solution, whose matter is a perfect fluid obeying the linear equation of state p = χρ. It establishes that, for χ ∈ [-1/3,0), the solution possesses a nondegenerate Killing horizon, and it classifies every regular way to attach two Gamboa solutions at that horizon without a lightlike thin shell. For the asymptotically topological Schwarzschild-Tangherlini branch with χ ∈ (-(n-3)/(3n-5),0), the maximal extension under unchanged χ is shown to be one of two spacetimes: a globally regular black bounce whose Killing horizon is also the bounce null surface, or a black hole with a spacelike curvature singularity inside the horizon. A reader might care because this realizes a black bounce in ordinary general relativity with one of the simplest matter models, and the bounce itself requires no fine-tuning of parameters, although a smooth C∞ horizon requires special discrete values of χ. The null energy condition is violated everywhere away from the horizon, so the bounce is expected to be dynamically unstable.","feed_headline":"Perfect fluid builds an exact black bounce in GR","feed_subtitle":"For a range of the equation-of-state parameter, the maximal extension is either a regular bounce or a black hole.","key_machinery":"The load-bearing device is the single-null coordinate system ds² = -H(x)dv² + 2dv dx + r(x)²dl²_{n-2}, obtained from quasiglobal coordinates by introducing an ingoing null coordinate v := t + ∫H⁻¹dx. Near the Killing horizon x = x_h, the metric functions behave as H(x) ≃ H₁Δ + H_{3+β}$Δ^{{3+β}}$ and r(x) ≃ r_h + r_{2+β}$Δ^{{2+β}}$ with Δ := x - x_h. These expansions show that x = x_h is a nondegenerate Killing horizon whenever r(x) is continuous there, and that the glued metric is C∞ exactly when β is the same nonnegative integer on both sides of the horizon and the interior parameter satisfies a fine-tuning relation. The parameter β := -(1+3χ)/(2χ) therefore controls the differentiability: β integer corresponds to χ = -1/(1+2N), and the parity of N decides between the bounce and the singular extension. The sign of the interior mass parameter M or ar M determines whether r(x) turns around (bounce) or runs to zero (singularity).","core_discovery":"The central claim is that the Gamboa solution admits a nondegenerate Killing horizon for χ ∈ [-1/3,0), and that for the asymptotically topological Schwarzschild-Tangherlini branch with χ ∈ (-(n-3)/(3n-5),0) the maximal extension under fixed χ is exhaustively described by two possibilities. If the interior region x < x_h is described by the same form of the solution with the opposite sign of M (M = M_- > 0), the radial function r(x) decreases monotonically from infinity on the far side to the horizon and then increases to infinity again, producing a globally regular black bounce in which the Killing horizon acts simultaneously as a null bounce surface, a wormhole throat, and an event horizon. If instead the interior is described by the complementary form of the solution with ar M < 0, r(x) increases monotonically toward a curvature singularity at r = 0, giving a black hole with a nondegenerate horizon and a spacelike singularity. The matter beyond the horizon is not a perfect fluid but an anisotropic fluid, equivalently a spacelike (tachyonic) perfect fluid, and the metric at the horizon is C∞ only for χ = -1/(1+2N) with a parity condition on N and a fine-tuned interior parameter; otherwise it is merely $C^{{1,1}}$, which is still enough to avoid curvature singularities.","pith_inferences":["The construction exploits planar symmetry (a flat (n-2)-dimensional base), so a spherical or hyperbolic analogue would require solving different radial equations; the paper's closing remark notes that an asymptotically flat spherically symmetric perfect-fluid black bounce is left open.","Because continuity of r(x) is the only condition for a regular attachment, two Gamboa regions with different equation-of-state parameters can be joined at the horizon without a thin shell, suggesting that a fluid's equation of state could change discontinuously across a Killing horizon in a way that standard junction conditions might otherwise forbid.","The discrete set χ = -1/(1+2N) at which the horizon is C∞ is measure zero in the allowed interval, so generically the regular horizon is only C^{1,1}; this may be invisible to geodesic observers but could affect high-frequency test fields or subleading corrections to black-hole thermodynamics.","A natural next step is a linear perturbation analysis; the paper itself expects dynamical instability, so a concrete test would be to look for growing quasinormal modes in the quasinormal spectrum of these black bounces."],"forward_implications":["For every n ≥ 4 and every χ in (χ0,0), the same static exterior can be extended in two inequivalent ways, so the global structure is not fixed by the exterior alone.","The black-bounce extension contains no inner horizon, so the mass-inflation instability associated with regular-center black holes is absent.","In the black-bounce (respectively black-hole) case the metric at the horizon is C∞ only for χ = -1/(1+2N) with odd (respectively even) N satisfying N > (n-1)/(n-3), together with a fine-tuned interior parameter such as M_- = -M_+ or ar M_- = M_+.","The matter beyond the horizon is an anisotropic fluid, interpretable as a spacelike (tachyonic) perfect fluid, so the perfect-fluid exterior continues into an interior that is not a perfect fluid in the usual sense.","At χ = -1/3 the matter on the Killing horizon is a negative-energy null dust, which violates all standard energy conditions."],"supporting_citations":[{"why":"Supplies the original exact two-parameter plane-symmetric perfect-fluid solution that is the subject of the paper.","marker":"[54]"},{"why":"Provides the Killing-horizon regularity and differentiability propositions used to identify nondegenerate horizons and C∞ attachment conditions.","marker":"[57]"},{"why":"Classifies matter on Killing horizons, including the null-dust case used for χ = -1/3.","marker":"[58]"},{"why":"Supports the interpretation of the interior matter as a spacelike (tachyonic) perfect fluid and the regularity of the bifurcation surface.","marker":"[55]"},{"why":"Refines the statement of the Killing-horizon attachment proposition used in the regular-extension analysis.","marker":"[60]"},{"why":"Introduces the 'black bounce' concept and the canonical example of a horizon that is also a bounce surface.","marker":"[11]"}],"fun_headline_variants":["Exact plane black bounce from perfect fluid with linear EoS","Plane symmetric GR: exact black bounce from perfect fluid","Exact GR solution: plane black bounce with perfect fluid","Black bounce vs black hole: exact plane GR solution","Plane symmetric black bounce from perfect-fluid GR"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification of the maximal extension assumes that the equation-of-state parameter χ (and with it β and h₁) is the same in the dynamical region beyond the Killing horizon as in the static exterior; if χ changes across the horizon, regular attachments still exist but the two Penrose diagrams and Table IV need not apply.","fun_headline_variants_meta":{"raw":{"variants":["Exact plane black bounce from perfect fluid with linear EoS","Plane symmetric GR: exact black bounce from perfect fluid","Exact GR solution: plane black bounce with perfect fluid","Black bounce vs black hole: exact plane GR solution","Plane symmetric black bounce from perfect-fluid GR"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000786,"raw_usage":{"total_tokens":3602,"prompt_tokens":1210,"completion_tokens":2392,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":826,"completion_tokens_details":{"reasoning_tokens":2323}},"tokens_in":826,"tokens_out":2392,"duration_ms":16621,"temperature":1.0,"reasoning_tokens":2323,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T19:47:16.955966+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For n = 5 and χ = -1/7 (odd N = 3), the paper predicts a C∞ black bounce when the interior parameter is M_- = -M_+; one could explicitly construct the null coordinates and check that r(x) is monotone increasing for x < x_h, that all curvature invariants are finite, and that no non-smooth term appears in the metric at any order in Δ. If instead a singularity, a thin shell, or a lower-order non-smooth term appears, the bounce classification fails.","supporting_citations":[{"cited_title":"Higher-dimensional perfect fluids and empty singular boundaries","cited_arxiv_id":"1204.4907","evidence_quote":"Classifies matter on Killing horizons, including the null-dust case used for χ = -1/3."}],"review_version":2}