{"id":"96d60b59-e3ba-4abe-9be7-871fcbf16b68","arxiv_id":"2502.08581","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A unified 'null-transverse' and 'bridge' framework treats horizon-penetrating and hyperboloidal time coordinates as regular stationary foliations across null horizons, with several new coordinate examples given.","lead":"This paper argues that horizon-penetrating and hyperboloidal time coordinates in general relativity are the same type of object: regular time choices that cross null boundaries cleanly. It reviews and extends the height-function formalism for building such coordinates, with new examples aimed at numerical relativity and gravitational wave calculations.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Local horizon regularity (Eq. 41) is insufficient for global regularity; the paper's own de Sitter foliations intersect beyond the cosmological horizon, so the bridge definition overreaches.","rationale":"The paper's strongest claim is a unification thesis: horizon-penetrating and hyperboloidal coordinates are the same geometric object, characterized as stationary, globally regular, null-transverse foliations (Secs. 4 and 6, Definition 6). For that claim to hold, the local regularity conditions (41) must be sufficient to guarantee global regularity. The reader flagged this as the weakest assumption. My stress-test finds direct internal evidence against it: the de Sitter foliations constructed from (44), (45), and (47) satisfy the local conditions at the cosmological horizon, but the paper admits their slices intersect beyond that horizon. This means 'globally regular' is not a consequence of the local conditions; it is an additional, partly global requirement that the authors patch by hand in the Misner example. The same issue can be seen in Schwarzschild-de Sitter where the minimum height function (62) and the minimal gauge (63) have different behavior near null infinity and in the flat limit. This does not invalidate the review's practical message — bridge coordinates with proper global behavior do exist and are useful — but it makes the central unification claim as stated too strong. The condition for acceptance is to clarify the domain of 'globally regular' or to add a global non-intersection/lapse condition to Definitions 3 and 6. That is exactly the kind of revision the reader's CONDITIONAL verdict anticipates, so I do not change the verdict. I agree with the reader's identification of the load-bearing assumption.","tokens_in":32692,"tokens_out":8934,"duration_ms":98004,"concrete_test":"Embed de Sitter as the hyperboloid -T^2+X^2+Y^2+Z^2+W^2=L^2 in 5D Minkowski. For the Parikh height function (45), h=(L/2)ln(1-r^2/L^2), construct the global chart by writing the static-patch coordinates in terms of the embedding and extending tau=t+h(r) beyond the cosmological horizon along the full hyperboloid. Determine whether the map (tau,r) is injective and whether the leaves tau=const are embedded submanifolds or intersect at the antipodal point/past horizon. If an intersection occurs, (41) is insufficient for Definition 3 and the Misner modification (49) is essential, not optional.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing condition is that the local regularity constraints (41), |fH|<1 and |fH|=1-O(f) at each horizon, guarantee a stationary, globally regular, non-intersecting foliation in the sense of Definition 3. The paper asserts this by construction for spherically symmetric examples, but its own de Sitter section provides a counterexample. The height functions (44), (45), and (47) are called 'stationary by construction, spacelike, non-intersecting, and horizon-penetrating' in Sec. 4.2.3, yet the very next paragraph states: 'The conformal diagrams show that the time slices intersect beyond the cosmological horizon.' This intersection violates Definition 3's requirement that leaves are well-defined and non-intersecting throughout the extended spacetime. The fix, Misner's term (49), is an extra global/hyperboloid ingredient not implied by (41). Thus the central equivalence — horizon-penetrating and hyperboloidal time are the same geometric object because both are locally null-transverse — omits a global condition. The bridge definition (Definition 6) therefore overreaches unless 'relevant null horizons' and 'globally regular' are restricted to a specific domain (e.g., the static patch between the horizons), or a supplementary global non-intersection condition is added.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that horizon-penetrating time coordinates and hyperboloidal time coordinates are two instances of the same geometric construction: stationary, globally regular, null-transverse foliations across null horizons. It reviews the historical resolution of the Schwarzschild coordinate singularity, the construction of hyperboloidal time near null infinity, the height-function formalism for stationary foliations, and the de Sitter and Schwarzschild–de Sitter analogs. It introduces the terminology of null-transverse hypersurfaces and bridge foliations, and it presents a catalogue of explicit height functions, including source-adapted foliations and a Fefferman–Graham–Bondi example. The manuscript is primarily a review and advocacy piece built around the author's earlier framework, with several new closed-form examples.","tokens_in":33000,"tokens_out":14225,"duration_ms":149240,"significance":"If the unified picture is correct, the paper gives numerical relativists and black-hole perturbation theorists a useful common language and a convenient catalogue of explicit coordinate systems. The analytic examples are checkable by direct substitution, the historical narrative is well organized, and the definitions of null-transverse hypersurfaces and bridges are a reasonable starting point for further discussion. The paper does not provide a general proof that its local regularity conditions imply global regularity, and its own de Sitter example shows that the local conditions are not sufficient. Because the central claim is the equivalence of horizon-penetrating and hyperboloidal time as globally regular foliations, this gap is load-bearing. The value of the paper as a review is nevertheless real: it collects scattered material and makes several constructions explicit.","major_comments":[{"comment":"The local regularity conditions (41) are insufficient for the global non-intersection property that the bridge picture requires, and the paper's own de Sitter section demonstrates the gap. The text states that the foliations in Eqs. (44), (45), and (47) are \"stationary by construction, spacelike, non-intersecting, and horizon-penetrating,\" and then immediately states that \"the time slices intersect beyond the cosmological horizon.\" On the extended de Sitter spacetime these statements are in direct tension: Definition 3 requires the lapse to be smooth and nowhere vanishing on the conformally extended manifold, and Definition 6 defines bridges as null-transverse hypersurfaces across all relevant null horizons. The addition of Misner's term (49) to open up the slices beyond the cosmological horizon confirms that an extra global condition is needed rather than implied by (41). Please either restrict Definitions 3 and 6 and the associated claims to a specified domain (for example, the static patch between the black-hole and cosmological horizons), or add a global non-intersection/single-valuedness condition to (41) and verify it for each example.","section":"Sec. 4.2.3, Definitions 3 and 6"}],"minor_comments":[{"comment":"The displayed formula should read t = \\tilde T ± sqrt(r² + \\tilde T² + 1); as printed, the term \\tilde T + 1 is dimensionally inconsistent and does not follow from the definition \\tilde T = -1/tan T.","section":"Sec. 3.1.2, Eq. (16)"},{"comment":"The sign conventions in \"-h_c\" and \"-H_c\" are easy to misread. With h_c = -sqrt(r² - L²) + L arctan(sqrt(r²/L² - 1)), one obtains dh_c/dr = -sqrt(1 - L²/r²), so Eq. (28) is consistent with the stated boost function. However, H_c is not differentiable at r = L, where H_c ~ -sqrt(2(r-L)/L) with divergent derivative; if a standard Minkowski slice is attached at r = L, the junction is not smooth. Please state explicitly that this example is used only for r > L, or smooth the transition in a collar neighborhood.","section":"Sec. 3.3.1, Eq. (27)"},{"comment":"There are two consecutive paragraphs beginning \"In static spacetimes, the use of regular time coordinates...\" with nearly identical content, and the first contains an unresolved \"[cite]\" placeholder. Merge the paragraphs and remove the placeholder.","section":"Sec. 6"},{"comment":"Minor typographical issues include \"appraches\" for \"approaches\" in Sec. 3.3, \"analyis\" for \"analysis\" in Sec. 3.3, and \"these these\" for \"these\" in Sec. 3.5.","section":"Sec. 3.3, Sec. 3.5"},{"comment":"The phrase \"all relevant null horizons\" is informal. Please specify the intended domain (for example, the closure of a static patch between selected horizons) so that the global-regularity condition can be checked unambiguously.","section":"Definition 6"}],"recommendation":"major_revision","confidential_remarks":"This is a review/advocacy paper that draws heavily on the author's own framework (references [1], [2], and [4]); self-citation is natural in this situation, but the novelty relative to those works consists mainly of terminology and new examples. The main technical issue is the global-regularity gap identified in the major comment: local horizon regularity does not imply non-intersecting foliations on the extended spacetime, and the paper's own de Sitter example illustrates this. If the author restricts the claims to a domain or adds a global condition, the paper could be acceptable as a review. The manuscript also shows signs of incomplete editing, including a duplicated paragraph and a bracketed citation placeholder."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Zenginoğlu's \"Bridging time across null horizons\" is a review with a thesis, and the review half is better than the thesis half. The thesis: horizon-penetrating and hyperboloidal time coordinates are the same geometric object — a regular time across a null horizon — unified through the height-function formalism and the new \"bridge\" vocabulary. The historical narrative is well-sourced and clean, the paper is honest that the underlying concept is not new, and the genuinely new content is a set of checkable example coordinates: the source-adapted bridges (54)–(55), the Fefferman–Graham–Bondi slicing (27), and several de Sitter and Schwarzschild–de Sitter constructions. A numerical relativist can take these boost functions straight into code. The self-citations to [1], [2], [4] are natural for a framework the author largely built, and the formulas verify by substitution, so I would not hold the citation pattern against the paper.\n\nTwo soft spots. First, Section 6 has a duplicated paragraph, the older copy ending in an unresolved '[cite]' placeholder. A clear editing slip — minor and easily fixed. Second, the local regularity conditions (41) do not imply the global regularity of Definition 3, and the paper's own de Sitter section is the counterexample: Sec. 4.2.3 calls the three foliations 'non-intersecting,' then the next paragraph says the conformal diagrams show the slices intersect beyond the cosmological horizon. The bridge definition as stated overreaches; it needs a restricted domain (the static patch) or an added global non-intersection condition. Misner's term (49) is exactly that condition, but the paper frames it as a fix for the flat limit rather than as a missing axiom of the framework. A referee should ask for the definitions to be sharpened to match the paper's own honest content.\n\nOne reader flag I did not reproduce: the claimed FGB typo in (27)–(28). On the natural reading of the printed formula I get h_c' = −√(1 − L²/r²), and (28) follows; the example is consistent.\n\nWho this is for: numerical relativists and black-hole perturbation theorists who want a unified vocabulary and a catalog of concrete coordinates. It deserves a serious referee. The core review is sound, the new examples verify, and the definitional gap is fixable without touching the paper's practical utility.","headline":"A well-sourced review whose checkable new examples are the real value; the unification thesis is honest but the bridge definition overreaches — its own de Sitter slices intersect beyond the cosmological horizon — and Section 6 leaks a duplicated paragraph with an unresolved [cite].","tokens_in":33451,"tokens_out":11795,"would_cite":true,"duration_ms":104484,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper argues that horizon-penetrating and hyperboloidal time coordinates are the same geometric construction: stationary, globally regular null-transverse foliations, formalized as bridges.","keywords":["null horizons","hyperboloidal coordinates","horizon-penetrating coordinates","height function","bridge foliations","null-transverse hypersurfaces","black hole perturbation theory","conformal compactification"],"falsifier":"Take a spherically symmetric spacetime with an inner and an outer horizon, such as Reissner–Nordström, and search over smooth height functions satisfying $|fH| < 1$ and $|fH| = 1 - O(f)$ at both roots of $f$. If any such foliation has two leaves that intersect, or a lapse that vanishes between the horizons, the local conditions are not sufficient for global regularity and the bridge definition needs an additional condition.","tokens_in":32473,"feed_emoji":"⏳","tokens_out":9132,"duration_ms":86798,"temperature":0.7,"pith_summary":"General relativity lets you choose time coordinates freely, but many natural choices fail at null boundaries: Schwarzschild time freezes at the black-hole horizon, and ordinary Minkowski time slices intersect at spatial infinity. The paper's claim is that the two fixes developed for these two problems—horizon-penetrating time and hyperboloidal time—are not separate inventions but one geometric object. Both are stationary, globally regular foliations whose leaves cross a null horizon transversally, and both come from the same height-function recipe $\\tau = t + h(r)$ with a boost function tuned to the horizon. The paper formalizes this as a bridge: a spacelike hypersurface that is null-transverse across the event horizon, null infinity, or a cosmological horizon, and gives explicit bridge foliations in Schwarzschild and Schwarzschild–de Sitter spacetimes. If the unification is right, coordinate technology developed for black-hole horizons transfers directly to null infinity and cosmological horizons, which matters for gravitational-wave extraction and black-hole perturbation theory.","feed_headline":"One time construction bridges every null horizon","feed_subtitle":"A single height-function recipe connects black-hole horizons, null infinity, and cosmological horizons for wave computations.","key_machinery":"The load-bearing object is the height-function formalism: define a new time coordinate $\\tau = t + h(r)$ in a static, spherically symmetric metric $ds^2 = -f\\,dt^2 + f^{-1}\\,dr^2 + r^2\\,d\\omega^2$, with boost function $H = dh/dr$. The regularity conditions $|fH| < 1$ and $|fH| = 1 - O(f)$ at each zero of $f$ ensure the slices are spacelike and cross the horizon instead of intersecting at it; the same conditions with $f = 1$ define hyperboloidal time near null infinity once a spatial compactification is added. Around this object the paper places two definitions: a null-transverse hypersurface, a spacelike surface crossing a null horizon with nondegenerate intersection; and a bridge, a null-transverse surface connecting the event horizon to null infinity or a cosmological horizon. The tortoise coordinate $r_* = \\int dr/f$ supplies the logarithmic height functions whose singular terms are the standard horizon-penetrating and hyperboloidal gauges.","core_discovery":"The paper states its thesis in the Discussion: we should use regular coordinates across all null horizons. Concretely, it argues that horizon-penetrating coordinates such as Gullstrand–Painlevé and Eddington–Finkelstein, and hyperboloidal coordinates used near null infinity, belong to one family of stationary, globally regular time functions whose level sets are null-transverse across a null horizon. The mathematical vehicle is the height-function transformation $\\tau = t + h(r)$, with regularity written on the product $fH$ of the static metric coefficient $f(r)$ and the boost function $H = dh/dr$: one needs $|fH| < 1$ in the static patch and $|fH| = 1 - O(f)$ as each horizon is approached. This single condition reproduces the classical horizon-penetrating slicings at black-hole and cosmological horizons and the hyperboloidal slicings at null infinity, and it underlies the paper's bridge definition connecting the black-hole horizon to the distant observer. The paper thereby recasts the historical resolution of the Schwarzschild singularity and Penrose's conformal compactification as two instances of one construction.","pith_inferences":["Beyond the paper, the terminology split between horizon-penetrating and hyperboloidal coordinates may itself be obscuring transferable technology, since the same construction and the same regularity conditions apply to both.","A testable extension of the paper's examples would be a source-adapted bridge in Kerr spacetime with the turning point placed at a particle's orbital radius, comparing horizon and null-infinity fluxes against existing characteristic or constant-mean-curvature results.","If the local regularity conditions are sufficient beyond spherical symmetry, they suggest a geometric selection principle for time functions in dynamical spacetimes: require a smooth, nowhere-vanishing lapse on the conformal completion even when no stationary Killing field exists."],"forward_implications":["Stationary bridge foliations give one coordinate strategy for including the black-hole horizon, null infinity, and the cosmological horizon in the same computational grid, so wave extraction and horizon absorption can be followed in a single simulation.","The minimal gauge and its source-adapted variants provide explicit, ready-to-use height functions for Schwarzschild and Schwarzschild–de Sitter computations of quasinormal modes and late-time tails.","Because the same regularity condition governs all three boundary types, numerical methods developed for one null boundary can be ported directly to the others.","Defining bridges by asymptotic conditions instead of rigid local conditions such as constant mean curvature leaves freedom to place the foliation's turning point at a radiation source, reducing the blue-shifting of ingoing waves."],"supporting_citations":[{"why":"Introduces the height-function formulation of hyperboloidal foliations that the paper extends to all null horizons.","marker":"[1]"},{"why":"Supplies the didactic construction of minimal gauges and explicit bridge examples used throughout the paper.","marker":"[4]"},{"why":"Lemaître's identification of the Schwarzschild-radius singularity as fictitious and analogous to the cosmological horizon sets up the paper's central analogy.","marker":"[26]"},{"why":"Penrose's conformal compactification identifies null infinity as a boundary requiring regular time slices, the historical root of hyperboloidal time.","marker":"[10]"},{"why":"Gives the hyperboloidal-time conditions in Minkowski space that motivate the boost-function regularity conditions.","marker":"[61]"},{"why":"Gowdy's characteristic-preserving compactification is the prototype for stationary hyperboloidal coordinates with finite characteristic speeds.","marker":"[62]"},{"why":"Provides the first stationary bridge foliation in Schwarzschild, the constant-mean-curvature example.","marker":"[108]"},{"why":"Introduces the minimal gauge whose boost-function conditions the paper uses as a canonical bridge construction.","marker":"[109]"}],"fun_headline_variants":["One height function bridges every null horizon","Unified time slicing for black holes and null infinity","A single time coordinate links all null boundaries","From black hole to infinity: one time recipe","The one trick that connects all horizons"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a local condition on the tilt of the time slices at each horizon—not too steep, approaching the null direction at just the right rate—guarantees that the whole slicing stays smooth and non-intersecting across the full extended spacetime; the paper verifies this in spherically symmetric examples but does not prove it in general.","fun_headline_variants_meta":{"raw":{"variants":["One height function bridges every null horizon","Unified time slicing for black holes and null infinity","A single time coordinate links all null boundaries","From black hole to infinity: one time recipe","The one trick that connects all horizons"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000606,"raw_usage":{"total_tokens":2859,"prompt_tokens":1014,"completion_tokens":1845,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":630,"completion_tokens_details":{"reasoning_tokens":1792}},"tokens_in":630,"tokens_out":1845,"duration_ms":14224,"temperature":1.0,"reasoning_tokens":1792,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T04:35:21.751144+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a spherically symmetric spacetime with an inner and an outer horizon, such as Reissner–Nordström, and search over smooth height functions satisfying $|fH| < 1$ and $|fH| = 1 - O(f)$ at both roots of $f$. If any such foliation has two leaves that intersect, or a lapse that vanishes between the horizons, the local conditions are not sufficient for global regularity and the bridge definition needs an additional condition.","supporting_citations":[{"cited_title":"Journal of Mathematical Physics 21(12), 2789–2796 (1980)","cited_arxiv_id":null,"evidence_quote":"Provides the first stationary bridge foliation in Schwarzschild, the constant-mean-curvature example."},{"cited_title":"Classical and Quantum Gravity 31(16), 165001 (2014)","cited_arxiv_id":null,"evidence_quote":"Introduces the minimal gauge whose boost-function conditions the paper uses as a canonical bridge construction."}],"review_version":1}