{"id":"ad1eaf72-615b-4624-a3e8-8cbb2728ebb4","arxiv_id":"2412.04551","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Schwarzschild-de Sitter black hole merging with an observer's cosmological horizon is solved exactly, and its zero-cosmological-constant limit is argued to reproduce the Emparan-Martinez infinite-mass-ratio merger, enabling a finite regularized area increase.","lead":"This paper studies what happens when a black hole merges with the cosmological horizon seen by a moving observer in a universe with a small cosmological constant. It gives an exactly solvable model of the merger, including the shape of the horizon, the role of caustic points, and the growth of horizon area.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed Λ→0 reduction to the Emparan–Martínez merger is not established as a Geroch limit: the reference point lies on the conformal boundary and no tetrad family is constructed.","rationale":"The paper's central claim has two linked parts: (i) the Λ→0 limit of the SdS observer-horizon merger is the Emparan–Martínez infinite-mass-ratio Schwarzschild merger, and (ii) this identification regularises the otherwise divergent area increase. The reader identified part (i)'s technical bridge, the Geroch limit construction, as the weakest assumption. My reading supports that assessment and sharpens it. Geroch's theorem is not a heuristic: it requires a five-dimensional manifold with Λ as a coordinate, a choice of point P(Λ) in each physical spacetime, and a family of orthonormal tetrads whose limit defines the limit spacetime. The paper supplies none of these. Instead it conformally compactifies with x=1/r and places p on the boundary x=0, where the physical metric is not defined. That may be a sensible way to discuss causal boundaries, but it is not Geroch's construction, and the text's 'we seem to recover' makes this explicit. The strong numerical agreement of the relative area increases with Emparan–Martínez values is genuine evidence, but it tests a subset of generators and does not by itself prove convergence of the full horizon. The unresolved factor-2 discrepancy in the regularised area is a further indication that the limit identification, or the chosen regularisation, is not yet fully understood. This does not warrant rejection: the paper is careful, the qualitative horizon geometry is well supported, and the limit claim may be provable. It does justify the conditional verdict already given, so I recommend no change. No ad hominem is intended; the critique concerns the incompleteness of a central technical step that the authors themselves flag.","tokens_in":16973,"tokens_out":9186,"duration_ms":100128,"concrete_test":"Fix the conformal manifold with coordinates (u,x,θ,φ) and metrics (32). For a sequence Λ_n→0, compute the null generators of H_{Λ_n}=∂J^-(p) for p=(u=0,x=0,θ=0) using the Hamiltonian system of Section 2, and take the Hausdorff limit of these hypersurfaces in a fixed neighbourhood of p. Compare this limit to the exact Emparan–Martínez horizon, obtained from Schwarzschild with p at I+, by matching the caustic line, the generator labels, and the relative area increments (black-hole generators, and black-hole plus associated caustic generators). If the Hausdorff limit agrees with EM, the Λ→0 identification is supported despite the missing Geroch tetrads; if it disagrees or is not unique, the central claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.2.1 argues that the Λ→0 limit of the Schwarzschild–de Sitter merger is the Emparan–Martínez infinite-mass-ratio Schwarzschild merger, citing Geroch's limit-of-spacetimes formalism. The argument is not carried out. The reference point p is placed at u=x=0 on I+ in the conformally rescaled metric (32), i.e. at x=0, where the physical metric is singular and which is not a point of any SdS spacetime. Geroch's construction requires a family of orthonormal tetrads attached to a point P(Λ) in each physical spacetime; no such tetrads are supplied. Convergence of the unphysical metrics (32) as Λ→0, even if established, is a statement about conformal compactifications, not a Geroch limit of the physical spacetimes. The phrase 'we seem to recover the precise construction' is an explicit admission that the limit is not proved. The identification of the limiting event horizon with the EM horizon therefore rests on the numerical agreement of δA values (0.24174 and 0.79287) rather than on a convergence theorem for the horizons H_Λ=∂J^-(p). The acknowledged factor-2 discrepancy between the regularised area increase (35) and the finite-mass formula (37) is a direct symptom: if the Λ→0 limit were exactly the EM merger, the same normalisation should give the same answer unless the normalisation is the wrong analogue. The suggested fixes (half-area geometric mean, E=M/√2) are heuristic and do not resolve the inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the event horizon of a Schwarzschild-de Sitter spacetime as seen by an observer at future null infinity, modelling the merger of the black hole horizon with the observer's cosmological horizon. The authors numerically construct the event horizon, identify caustic generators, compute the area increase and its decomposition among black-hole, cosmological-horizon, and caustic generators, and check the universal conical-singularity scaling near merger. The central conceptual claim is that the Λ→0 limit of this SdS merger reproduces the Emparan-Martínez infinite-mass-ratio Schwarzschild merger, which the authors use to propose a regularisation of the divergent area increase in that model. The paper also reports an unresolved factor-of-2 discrepancy between this regularised area increase and the corresponding finite-mass two-black-hole formula.","tokens_in":17339,"tokens_out":6764,"duration_ms":67006,"significance":"If the central claim were rigorously established, the paper would provide a useful finite-parameter regularisation of divergent quantities in extreme-mass-ratio mergers and a concrete testbed for the universal properties of horizon caustics. The numerical study is careful: the initial and final areas A(−∞) and A(∞) are exact, Eq. (28) is an analytic expansion of exact formulas, the caustic-opening-angle exponents agree with the universal prediction of Ref. [8], and the extrapolated relative area increases (0.24174 and 0.79287) agree with the Emparan-Martínez values to high precision. However, both pillars of the main claim—the Geroch-limit identification and the consistency of the area regularisation—are not fully established, which substantially limits the significance as the paper stands.","major_comments":[{"comment":"The claimed Λ→0 limit is not established as a Geroch limit of spacetimes. Geroch's construction requires a curve of points P(Λ) inside each physical spacetime and a family of orthonormal tetrads at those points with a well-defined limit. Here the reference point p is placed at u=x=0 on I+ in the conformally rescaled metric (32), i.e. at x=0, where the physical metric (31) is singular and which is not a point of any SdS spacetime. No family of orthonormal tetrads is constructed, and the text explicitly states that 'we seem to recover the precise construction' rather than proving it. Consequently, the identification of the limiting event horizon with the Emparan-Martínez horizon rests on the numerical agreement of the δA values rather than a convergence theorem for the horizons H_Λ=∂J^-(p). The manuscript should either supply a genuine Geroch-limit argument with points in the physical spacetimes and a convergent tetrad family, or explicitly label the EM identification as a conjecture supported by numerical evidence.","section":"§3.2.1, Eqs. (31)–(33)"},{"comment":"The factor-of-2 discrepancy between the regularised area increase ∆Areg(∞)→1 obtained from the SdS merger and the value ∆Areg=2 from the finite-mass Schwarzschild formula (37) is acknowledged but not resolved. This discrepancy is load-bearing: if the Λ→0 limit were exactly the Emparan-Martínez merger, the same regularisation prescription (division by the geometric mean of the initial areas) should produce the same number in both limits. The suggested fixes—halving the cosmological-horizon area, or replacing M by E=M/√2 at R=4μ—are explicitly heuristic and do not resolve the inconsistency. Since the abstract credits the SdS construction with regularising the otherwise divergent area increase, the unresolved mismatch must be either resolved or clearly demoted from a definite result to an open problem.","section":"§3.2.1, Eqs. (34)–(37)"},{"comment":"The classification of generators into black-hole, cosmological-horizon, and caustic generators relies on the assumption that no generator intersections occur before the symmetric ±q pair meets at θ=π (or before the generator reaches H−). The text states only that 'We have not found any evidence' for such intersections. Since the past endpoint of a generator is defined as the first intersection with any other generator, an unobserved earlier intersection would change both the caustic structure and the area decomposition shown in Figures 4–7. The paper should either prove this no-earlier-intersection property or state it as an explicit assumption and assess how the extrapolated values 0.24174 and 0.79287 might change if it fails.","section":"§2, paragraphs after Eq. (15) and footnote 3"}],"minor_comments":[{"comment":"The phrase 'duetothefreedominchoosinganewaffineparameter' is missing spaces; it should read 'due to the freedom in choosing a new affine parameter'.","section":"§2, after Eq. (8)"},{"comment":"The definition of T contains a logarithm that should be typeset with unambiguous absolute-value bars; the current expression can be misread as log((r_C−r)/(2M)) without the vertical bars.","section":"§2, Eq. (14)"},{"comment":"The vertical axis of Figure 3 is unlabelled; please add an axis label such as '−u⋆/M' for clarity.","section":"§3.1, Figure 3"},{"comment":"The statement 'the metric trivially reduces to that of a conformally Schwarzschild spacetime' would be easier to verify if the conformal factor and the relation between x and the usual Schwarzschild compactification were displayed explicitly.","section":"§3.2.1, after Eq. (32)"}],"recommendation":"major_revision","confidential_remarks":"This is a solid numerical study of SdS horizon mergers, with several exact checks and a careful treatment of caustics. The main obstacle is the gap between the stated Geroch-limit claim and what is actually shown; if the authors reframe the Λ→0 identification as a conjecture supported by numerics and present the factor-of-2 issue as an open problem rather than part of the regularisation claim, the paper could be acceptable. The manuscript fits the journal's scope, and the reliance on Refs. [3,8] is natural given the continuity of the research line."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper gives a clean, finite model of a black hole merging with a cosmological horizon in Schwarzschild–de Sitter. That part is genuinely new and mostly well done. The horizon cross-sections, the caustic line, the dominance of caustic generators in area growth, and the consistency checks against A(−∞) and A(∞) all look solid. The analytic expansion in Eq. (28) is a nice check on the numerics, and the conical-singularity scaling agreement with Ref. [8] is a real point in its favour.\n\nThe soft spot is the Λ→0 limit. The authors claim, following Geroch, that the limit is the Emparan–Martínez infinite-mass-ratio Schwarzschild merger. That is the load-bearing step for the regularisation claim, and it is not proved. The reference point p is placed at u=x=0, which is on I+ in the conformal compactification, not a point of any physical SdS spacetime, and no family of orthonormal tetrads is supplied. The phrase \"we seem to recover the precise construction\" is an honest admission that the limit is being asserted rather than established. What supports it is the numerical agreement: δA = 0.24174 for black-hole generators and 0.79287 including the relevant caustic generators, both within 0.1% of Emparan–Martínez. That is good evidence, but it is not a convergence proof.\n\nThe unresolved factor-of-2 discrepancy between the regularised area increase from the SdS limit (ΔAreg → 1) and the finite-mass formula (ΔAreg = 2) is a direct symptom of the same problem. If the Λ→0 limit were exactly the EM merger, the same normalisation should give the same number. The authors acknowledge this and offer heuristics (half-area geometric mean, E = M/√2 at R = 4μ), but none of that resolves the inconsistency. This does not undermine the horizon-geometry results, but it does mean the regularisation claim should be treated as a conjecture, not a theorem.\n\nMinor point: no code or data is released, though the error estimates and analytic checks give reasonable confidence in the numerics.\n\nWho is this for? People working on exactly solvable horizon mergers, caustics, and the Emparan–Martínez program. They will get real value from the SdS model and the area decomposition. I would send it to peer review, but the referee should be asked to press on Section 3.2.1. If the Geroch limit cannot be made rigorous, the paper should be revised to present the Λ→0 reduction as a well-supported conjecture, with the factor-2 issue discussed as an open problem. As it stands, the central geometric content is solid and the limit claim is interesting but unproven.","headline":"Solid finite SdS merger geometry with a genuinely new caustic analysis; the Λ→0 reduction to the Emparan–Martínez merger is argued rather than proved, and the factor-2 discrepancy in the regularized area is a real loose end.","tokens_in":17800,"tokens_out":3087,"would_cite":true,"duration_ms":88944,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57"],"pacs":["04.70.-s"],"model":"deepseek-v4-flash","headline":"The paper argues that the zero-cosmological-constant limit of a Schwarzschild-de Sitter black-hole/cosmological-horizon merger is the Emparan-Martínez infinite-mass-ratio Schwarzschild merger, and uses this to regularise the otherwise…","keywords":["event horizon","Schwarzschild-de Sitter","cosmological horizon","black hole merger","caustics","Geroch limit","area increase","Emparan-Martínez merger"],"falsifier":"One could construct explicitly a family of orthonormal tetrads along a curve P(Λ) tending to p and compute the resulting Geroch-limit metric; if the limit spacetime's event horizon is not the Emparan-Martínez null hypersurface (for instance, if the limit depends on the chosen reference curve), the central claim would fail. A more direct check would be to compare the induced metric on the limiting horizon cross-sections with the Emparan-Martínez solution.","tokens_in":16764,"feed_emoji":"🕳️","tokens_out":6820,"duration_ms":58710,"temperature":0.7,"pith_summary":"The paper studies the merger of a black hole with the cosmological horizon in Schwarzschild-de Sitter spacetime, as seen by an accelerating observer at future null infinity. Its central claim is that taking the cosmological constant to zero, with the black-hole mass fixed, does not give an isolated Schwarzschild black hole but rather the Emparan-Martínez infinite-mass-ratio Schwarzschild merger. If correct, the finite Schwarzschild-de Sitter system provides a concrete regularisation of the divergent area growth that afflicts the infinite-mass-ratio model. The paper also shows that caustic generators contribute most of the area increase and that the merger obeys a universal scaling law for conical-singularity opening angles.","feed_headline":"Cosmological-constant limit gives infinite-mass black-hole merger","feed_subtitle":"A finite Schwarzschild-de Sitter merger regularises the divergent area growth of extreme-mass-ratio collisions","key_machinery":"The central mechanism is Geroch's limit-of-spacetimes formalism (promoting Λ to a scalar on a five-dimensional manifold and attaching orthonormal tetrads to a reference point) applied with reference point p at future null infinity and conformal coordinate x=1/r. This choice lets the region near I+ survive the limit, unlike earlier constructions. The event horizon is built by evolving null geodesics backwards from p, classifying generators into black-hole, cosmological-horizon, and caustic generators; the caustic line is where the two horizons first touch and where conical singularities appear. This machinery converts a parameter-to-infinity problem (infinite mass ratio in the Emparan-Martínez limit) into a finite one (Λ→0 of Schwarzschild-de Sitter).","core_discovery":"The discovery is that the Λ→0 limit of the Schwarzschild-de Sitter merger, defined through Geroch's limits-of-spacetimes construction with a reference point p on future null infinity and a conformal compactification x=1/r, is the Emparan-Martínez infinite-mass-ratio Schwarzschild merger. This identification is supported numerically: extrapolating the relative area increase of black-hole generators to Λ=0 gives 0.24174, matching Emparan-Martínez to four significant figures, and including the associated caustic generators gives 0.79287, within 0.1% of the earlier result. The identification regularises the otherwise divergent area growth of the large black hole: dividing by the geometric mean of the initial areas, the total regularised area increase tends to 1 in the Λ→0 limit.","pith_inferences":["If the Geroch-limit identification is correct, similar finite regularisations could be sought for other extreme-mass-ratio mergers, e.g. Kerr-de Sitter limits, where quantities like radiated energy or momentum currently diverge.","The factor-of-two mismatch between the regularised area increase (1) and the finite-mass head-on formula (2) suggests that the counting of horizon degrees of freedom in the infinite-mass-ratio limit is ambiguous; a quasilocal definition of the large black hole's area may resolve it.","The non-monotonic duration of the merger as a function of M√Λ is foliation-dependent; a foliation-independent measure of merger duration would be needed before interpreting this feature physically.","The technique of promoting a parameter to a scalar field, compactifying, and taking a Geroch limit may offer a systematic way to regularise divergences in other parameterised families of spacetimes."],"forward_implications":["The Schwarzschild-de Sitter merger supplies a finite regularisation of the divergent area increase in the Emparan-Martínez infinite-mass-ratio model; the total regularised area increase is exactly 1 in the limit Λ→0.","Caustic generators dominate the area increase for all M√Λ in (0,1/3), including as Λ→0, so any physical account of area growth in such mergers must centre on caustics.","The relative area increase of black-hole generators in the Λ→0 limit matches Emparan-Martínez (0.24174 vs four significant figures), confirming the limit identification.","In the Nariai limit M√Λ→1/3 the contributions from black-hole and cosmological-horizon generators to the area increase become equal, as expected when the two horizons coincide.","The conical-singularity opening angle scales as (T⋆−T)^{1/2} near merger, corroborating the locally universal merger prediction."],"supporting_citations":[{"why":"Defines the infinite-mass-ratio Schwarzschild merger that the paper claims its Λ→0 limit reproduces, and the relative area increase used to test the claim.","marker":"[1]"},{"why":"Provides the limits-of-spacetimes formalism (tetrads attached to a reference point) that the paper uses to define the Λ→0 limit.","marker":"[9]"},{"why":"Earlier Λ→0 limit of Schwarzschild-de Sitter to pure Schwarzschild using the black-hole bifurcation sphere, which the paper argues does not preserve the region near I+; this motivates the different reference point.","marker":"[12]"},{"why":"Supplies the universal scaling prediction for conical-singularity opening angles that the paper's numerical results confirm.","marker":"[8]"},{"why":"Classifies caustic/crease structure on event horizons of black-hole mergers and supplies the method of evolving null geodesics backwards from future null infinity.","marker":"[3]"},{"why":"Extends the Emparan-Martínez method to other systems and provides the initial-condition technique the paper uses.","marker":"[2]"}],"fun_headline_variants":["Zero cosmological constant reduces merger to Emparan-Martínez","Λ→0 SdS merger reduces to Emparan-Martínez","Cosmological horizon merger tamed by zero cosmological constant","Black-hole area growth regularized via Λ=0 limit","Merger with cosmological horizon yields finite area increase at zero Λ"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The identification of the Λ→0 limit with the Emparan-Martínez merger rests on the assumption that Geroch's construction, with the reference point on future null infinity and the conformal compactification x=1/r, actually converges to a well-defined limit spacetime and that this limit's horizon is the Emparan-Martínez one, even though the required orthonormal tetrads are not explicitly constructed.","fun_headline_variants_meta":{"raw":{"variants":["Zero cosmological constant reduces merger to Emparan-Martínez","Λ→0 SdS merger reduces to Emparan-Martínez","Cosmological horizon merger tamed by zero cosmological constant","Black-hole area growth regularized via Λ=0 limit","Merger with cosmological horizon yields finite area increase at zero Λ"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001392,"raw_usage":{"total_tokens":5580,"prompt_tokens":838,"completion_tokens":4742,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":454,"completion_tokens_details":{"reasoning_tokens":4655}},"tokens_in":454,"tokens_out":4742,"duration_ms":37090,"temperature":1.0,"reasoning_tokens":4655,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T21:23:08.275020+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One could construct explicitly a family of orthonormal tetrads along a curve P(Λ) tending to p and compute the resulting Geroch-limit metric; if the limit spacetime's event horizon is not the Emparan-Martínez null hypersurface (for instance, if the limit depends on the chosen reference curve), the central claim would fail. A more direct check would be to compare the induced metric on the limiting horizon cross-sections with the Emparan-Martínez solution.","supporting_citations":[{"cited_title":"Exact Event Horizon of a Black Hole Merger","cited_arxiv_id":"1603.00712","evidence_quote":"Defines the infinite-mass-ratio Schwarzschild merger that the paper claims its Λ→0 limit reproduces, and the relative area increase used to test the claim."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the limits-of-spacetimes formalism (tetrads attached to a reference point) that the paper uses to define the Λ→0 limit."},{"cited_title":"The $\\Lambda$ to zero limit of spacetimes and its physical interpretation","cited_arxiv_id":"1810.00436","evidence_quote":"Earlier Λ→0 limit of Schwarzschild-de Sitter to pure Schwarzschild using the black-hole bifurcation sphere, which the paper argues does not preserve the region near I+; this motivates the different reference point."},{"cited_title":"Evolution of creases on the event horizon of a black hole merger","cited_arxiv_id":"2407.07962","evidence_quote":"Classifies caustic/crease structure on event horizons of black-hole mergers and supplies the method of evolving null geodesics backwards from future null infinity."}],"review_version":1}