{"id":"9402cf14-f97d-4fdb-a38e-09e5fc07d0da","arxiv_id":"1908.08739","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"A method for building null foliations from rescaled null generators is presented and applied to Schwarzschild and Kerr-Newman spacetimes.","lead":"This paper proposes a method for constructing null foliations of spacetime using equivalence classes of null geodesic generators, and demonstrates it on Schwarzschild and Kerr-Newman black holes. The main value would be in bridging two technical frameworks in general relativity, but the general claim is not proven and the examples rely on earlier work.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central existence claim rests on the unproved assertion that the rescaling class [ℓ] encodes a transverse null foliation; in the Kerr-Newman example that foliation is imported from Hayward rather than derived from [ℓ].","rationale":"The reader's weakest_assumption identifies essentially the same gap: the equivalence class [ℓ] is claimed to encode a second null foliation, but for Kerr-Newman the compatible dual-null foliation is imported from Hayward's prior work rather than derived from the new method. My reading of the full text confirms that this is the decisive weakness. The general argument in Section 1 is heuristic at exactly the point where a proof is needed: rescaling χ(σ) preserves dσ, so it cannot produce the transverse optical function σ̄ unless additional structure is imposed. The explicit Schwarzschild and Kerr-Newman computations are plausibly correct as computations of a single null foliation, and the paper deserves credit for those; but they do not establish the universal claim. The Kerr-Newman section is especially telling because the paper itself states that the directly constructed na is not hypersurface orthogonal and then imports Hayward's DNFS. Since the central claim depends on this unsupported step, the REJECT verdict is appropriate. I also note notational inconsistencies (ℓ_a versus ℓ^a, f_+ expansions, and typographical errors) that make the derivations harder to verify, but the main objection remains the unproved encoding mechanism.","tokens_in":12941,"tokens_out":6381,"duration_ms":72574,"concrete_test":"Analytical check: in the Section 1 construction, take a generic representative ℓ'_a = −χ(σ)dσ_a and compute its level sets; since dℓ' = 0 and ℓ' remains proportional to dσ, every representative is hypersurface-orthogonal to the same σ = const foliation. Then determine, from the paper's own fields, whether the claimed second foliation actually emerges: n_a = −e^{m0−m}dσ̄_a is closed only if ∂_σ(e^{m0−m}) = 0, and the paper never imposes or proves this condition. For Schwarzschild, check whether any member of [ℓ] = {−A(UV1)dU} generates the V = const surfaces; because each member is a multiple of dU, its integral curves lie in U = const, so the V = const co-foliation is not produced by [ℓ] alone. If no such σ̄ is produced, the encoding claim fails and the generic existence conclusion is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step occurs in Section 1: after defining the equivalence class [ℓ] via rescalings ℓ'_a = −χ(σ)dσ_a, the paper states that the information that (M,g) is additionally foliated by σ̄ = const hypersurfaces 'now is encoded in the structure of [ℓ]'. But every representative of [ℓ] is proportional to dσ, so it has the same level sets σ = const; no construction is given that produces a second optical function σ̄ or a second gradient covector n_a = −dσ̄_a from [ℓ]. The phrase 'it appears' marks an assertion, not a derivation. In the Schwarzschild example, the class written down is {−A(UV1)dU}, whose level sets are U = const; these do not by themselves generate the V = const co-foliation, which requires a different vector field. In the Kerr-Newman section the transverse foliation is not derived from [ℓ] at all: the paper explicitly invokes Hayward's dual-null foliation [18] and adopts its coordinates and normals, and it concedes that the na constructed directly from the Kerr-Newman data is not hypersurface orthogonal. Therefore the central claim that a NFS yields a compatible DNFS, and hence that spacetimes can be foliated by suitable pairs of normalized null geodesic vector fields, is unsupported. The examples establish at most that a known DNFS can be repackaged with a normalized rescaling when the DNFS is already known.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a method for constructing null foliations of spacetime (NFS) by considering equivalence classes [ℓ] of rescaled null generators, and it claims that the structure of [ℓ] encodes the existence of a second, transverse null foliation, so that any such construction yields a compatible dual-null foliation (DNFS). The method is illustrated with Schwarzschild spacetime in Kruskal-Szekeres coordinates and with Kerr-Newman spacetime in Kerr and Hayward coordinates. The central claim of the abstract is that spacetimes can be foliated by suitable pairs of normalized null geodesic vector fields, a statement that would be a strong geometric result if proven.","tokens_in":13207,"tokens_out":3950,"duration_ms":40819,"significance":"If the central existence claim were established, the paper would provide a useful bridge between the NFS and DNFS frameworks and would supply explicit null generators for black hole spacetimes, which is of potential value for characteristic initial value formulations and black hole horizon geometry. The explicit coordinate computations for Schwarzschild and Kerr-Newman contain some useful reference material. However, the central derivation is not carried out: the equivalence class [ℓ] is only shown to contain rescalings of a single gradient co-vector, and the claimed second foliation is not derived from [ℓ]. In the Kerr-Newman section the dual-null foliation is explicitly imported from Hayward's earlier work rather than obtained from the new method. Thus, as it stands, the paper does not demonstrate its main theorem; its contribution is closer to a repackaging of known dual-null foliations than to a new existence result.","major_comments":[{"comment":"The central claim that the equivalence class [ℓ] encodes a second null foliation is asserted but not proven. Every representative of [ℓ] is a function multiple of the single gradient dσ, so all representatives have the same level sets σ = constant. No construction is given that produces a second optical function σ̄ or a second gradient co-vector n_a = −dσ̄_a from the data defining [ℓ]. The phrase \"it appears\" at the key step marks an assertion rather than a derivation. This is the load-bearing step for the paper's main conclusion and needs a rigorous proof.","section":"Section 1, paragraph beginning \"Based on the fact that the given steps can be performed\""},{"comment":"The Schwarzschild example illustrates the same gap. The equivalence class written down is generated by ℓ_a = −A(U V1)dU_a, whose level sets are U = constant. The co-foliation by V = constant surfaces requires a genuinely different vector field, n_a ∝ dV_a, and the paper gives no argument that this second foliation is encoded in [ℓ]. Thus the example shows at most that a known double-null foliation can be re-expressed with a particular normalization; it does not show that the normalization class by itself generates the transverse foliation.","section":"Section 2, 'A lightlike Foliation of Schwarzschild Spacetime'"},{"comment":"The paper explicitly concedes that the co-normal field n_a constructed from the Kerr-Newman ansatz is not hypersurface orthogonal, and then imports Hayward's DNFS from reference [18] to overcome this shortcoming. This admission is decisive: the promised derivation of a compatible DNFS from the NFS equivalence class is not provided for the principal example. At best, the example demonstrates that a known DNFS can be combined with a rescaled null generator, which is not the paper's advertised claim.","section":"Section 2, 'A lightlike Foliation of Kerr-Newman Spacetime', paragraph beginning \"However, although the so constructed…"},{"comment":"The claim that the vector fields ℓ_a = −e^{−m0}dX+_a, ℓ^a = e^{m−m0}(∂_− ^a − s^a_−), n_a = −e^{m0−m}dX−_a, n^a = e^{m0}(∂_+ ^a − s^a_+) define a NFS with the desired properties is dismissed as \"straightforward to verify,\" but no verification is supplied. Given the complexity of the expressions for e^{−m}, s^a_±, q_ab, and the implicit radial function r(X+X−), and given that this verification is central to the paper's claim, the omission is substantial. The reader cannot check from the manuscript that the Eikonal equation, hypersurface orthogonality, and normalization conditions actually hold globally or even locally.","section":"Section 2, Hayward coordinates paragraph beginning \"Adopting these results\""}],"minor_comments":[{"comment":"There are typographical errors in the abstract and key words: \"sp acetime\" appears in the abstract, and \"relatvity\" appears in the key words. These should be corrected.","section":"Abstract and key words"},{"comment":"The notation mixes co-vector and vector fields: for example, n_a = 1/(A(V0U)) ∂_a U is written with a vector symbol on the right and a co-vector index on the left. The manuscript should use consistent notation such as n_a = ... dU_a or explicitly dualize the expression.","section":"Section 2, Schwarzschild subsection"},{"comment":"The phrase \"Frobenius theorem 1\" appears to contain a stray footnote marker or equation reference; no corresponding footnote or equation is given. The manuscript should either provide the reference or remove the number.","section":"Section 1, first paragraph"},{"comment":"Reference [18] contains the typo \"Physical leview letters\" and should be \"Physical Review Letters\". Reference [22] names \"Andrezj Trautman\" and should be \"Andrzej Trautman\". The name \"Monrief\" appears in the Schwarzschild subsection and should be \"Moncrief\".","section":"References"},{"comment":"The sentence \"By performing a coordinate transformation σ̄ = σ − ρ, this line element can be rewritten w.l.o.g. in the form ds^2 = −φdσ^2 + 2dσdρ + ...\" seems to have an inconsistency between the coordinate labels σ and ρ and the previously used σ̄; the manuscript should clarify the coordinate transformation and check the signs in the resulting line element.","section":"Section 1, null Gaussian coordinate transformation"}],"recommendation":"reject","confidential_remarks":"The paper's central existence claim is not established, and the Kerr-Newman example explicitly relies on Hayward's prior dual-null construction rather than on the proposed method. In my view, a resubmission would require a complete reworking of the central derivation, not just local revisions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has a useful core and a central claim that does not hold up. What is actually new is the explicit construction of null foliations for Schwarzschild and Kerr-Newman, in particular the Kerr-Newman sigma = v + integral f+ dr + a sin theta surfaces and the translation of Hayward's dual-null coordinates into a normalized null frame. That is a modest but real extension, and the computations look plausible. The equivalence-class language is mostly a reformulation, but it does usefully draw attention to the rescaling freedom of null normals and the connection to isolated horizons.\n\nThe soft spot is load-bearing. The abstract promises that spacetimes can be foliated by suitable pairs of normalized null geodesic vector fields, and Section 1 claims that the class [ell] encodes the transverse foliation. The stress-test note is right: every representative of [ell] is proportional to d sigma, so the class only sees the sigma = const surfaces. No construction is given that produces a second optical function from [ell]. In Schwarzschild, the class {-A(UV1)dU} gives U = const; the V = const co-foliation comes from a different vector field, not from the class. In Kerr-Newman, the paper states that the co-normal is not hypersurface orthogonal and then imports Hayward's dual-null foliation wholesale. So the examples show that a known DNFS can be repackaged with normalized rescalings; they do not demonstrate that the NFS equivalence class generates the DNFS. The phrase 'it appears that the information ... is encoded' is an assertion, not a proof, and the 'straightforward to verify' steps in the Hayward section are not carried out.\n\nThere are also many typos and small inconsistencies, but those are secondary. The main issue is that the general existence claim is unsupported and the method's independence from dual-null input is not demonstrated.\n\nWho gets value: someone working on characteristic initial value formulations or isolated horizons might find the explicit Kerr-Newman frame useful as a starting point, but only after the claims are scaled back. I would not cite the central theorem as established. I would not accept the paper in its current form. I would, however, send it to peer review rather than desk-reject: the worked examples are checkable, the relation to Hayward's work is acknowledged, and a serious referee could force a rewrite that either proves the encoding claim or, more likely, restates the contribution as a set of explicit normalized null foliations for stationary black holes. That revised paper would be worth publishing.","headline":"Useful explicit null foliations for Schwarzschild and Kerr-Newman, but the advertised general theorem about compatible pairs of null geodesic vector fields is unsupported.","tokens_in":13754,"tokens_out":2926,"would_cite":false,"duration_ms":29856,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83C40","83C05","53C50"],"pacs":["04.20.-q","04.70.-s"],"model":"deepseek-v4-flash","headline":"The paper proposes a method to foliate spacetime by lightlike hypersurfaces from a single null generator and its rescaling equivalence class, claiming this yields pairs of normalized null geodesic vector fields, and demonstrates it on…","keywords":["null foliations","dual-null foliations","lightlike hypersurfaces","black hole horizons","Kerr-Newman spacetime","null geodesic congruences","eikonal equation","null Gaussian coordinates"],"falsifier":"At a point just outside the inner horizon of Kerr-Newman, evaluate $g^{ab}\\nabla_a\\sigma\\nabla_b\\sigma$ for the proposed optical function $\\sigma = v + \\int f_+ \\, dr + a\\sin\\theta$ using the paper's inverse metric; a nonzero value while $f_+$ remains real would falsify the Eikonal condition. For the broad claim, any explicit spacetime admitting no regular optical function and no compatible dual-null foliation would refute it.","tokens_in":12657,"feed_emoji":"🕳️","tokens_out":10432,"duration_ms":98693,"temperature":0.7,"pith_summary":"The paper argues that spacetime can be foliated by lightlike hypersurfaces starting from a single null geodesic generator, by gathering all rescalings of that generator into an equivalence class. It claims the equivalence class carries enough information to encode a second, compatible null foliation, so the result is a pair of normalized null geodesic vector fields foliating the manifold. This matters because constructing null foliations is usually constrained by the strict conditions of dual-null frameworks, which require two closed 2-forms and globally regular optical functions. The paper demonstrates the construction on Schwarzschild spacetime and on the Kerr-Newman family, showing that the resulting foliations reproduce the same 2+2 splitting as earlier dual-null descriptions.","feed_headline":"Black holes get lightlike foliations from a single null generator","feed_subtitle":"A rescaling equivalence class yields the foliation and a second, hidden family of null surfaces.","key_machinery":"The central object is the equivalence class $[\\ell]$ of null generators, formed by rescaling an optical co-vector $\\ell_a = -e^{-m_0} d\\sigma_a$ by arbitrary functions $\\chi(\\sigma)$; each representative remains hypersurface-orthogonal and locally affine geodesic as long as $\\sigma$ solves the Eikonal equation $g^{ab}\\partial_a\\sigma\\partial_b\\sigma = 0$. The class is completed by a compatible null co-normal $n_a$, giving a normalized null geodesic frame and a 2+2 line element of the dual-null form. The work of the construction is to show that the rescaling freedom, normally regarded as a gauge ambiguity, actually encodes the second null foliation and thereby turns a null foliation into a double null foliation.","core_discovery":"The central claim is that a normalized null geodesic generator $\\ell^a$, together with its rescaling equivalence class $[\\ell]$, defines a null foliation of spacetime and that the class $[\\ell]$ simultaneously encodes a second null foliation, so the spacetime is foliated by a suitable pair of normalized null geodesic vector fields. The method is less geometrically restrictive than traditional dual-null constructions because it only requires one hypersurface-orthogonal generator at a time, the second foliation appearing through the rescaling freedom rather than through a second independent optical function. Explicit generators and foliations are written out for Schwarzschild in Kruskal-Szekeres coordinates and for Kerr-Newman spacetime in Kerr and Hayward coordinates, where the null and dual-null frameworks are shown to produce the same 2+2 splitting of the metric.","pith_inferences":["Beyond the paper, the equivalence-class construction suggests a test of whether null foliation data alone can set up a characteristic initial value problem without dual-null data, which could simplify numerical relativity codes.","Beyond the paper, applying the method to non-stationary, radiating, or collapsing spacetimes would test whether the claimed generality survives when no timelike Killing field exists.","Beyond the paper, the fact that the Kerr-Newman companion foliation is imported from prior dual-null work rather than derived from the new method leaves open whether the method is fully self-contained; a direct derivation would close this gap.","Beyond the paper, framing isolated horizons in terms of equivalence classes of null generators could lead to quasilocal energy or entropy definitions that depend only on the foliation class, not on a preferred generator."],"forward_implications":["Null foliations can be built without enforcing the full dual-null conditions, which widens the geometric setting for characteristic initial value problems in general relativity.","A single null generator, through its equivalence class, supplies both families of lightlike hypersurfaces, so the pairing usually drawn from two independent optical functions emerges automatically.","For the stationary black-hole examples, the constructed foliation reproduces the same 2+2 splitting as the existing dual-null foliation from the literature, showing the two frameworks are compatible rather than competing.","In spacetimes of Kundt type, a class foliated by non-expanding, non-shearing null congruences, the equivalence class can be refined to define weakly isolated or isolated horizons embedded in a null foliation, connecting the construction to black-hole horizon mechanics.","The transition between normalized null geodesic frames and dual-null geodesic frames can be accomplished by a finite sequence of coordinate transformations, at least in the examples treated."],"supporting_citations":[{"why":"Supplies the dual-null 2+2 framework and the requirement of two closed 2-forms that the new method seeks to relax.","marker":"[15]"},{"why":"Provides the horizon-generating dual-null foliation of Kerr spacetime that the paper imports to complete its Kerr-Newman example.","marker":"[18]"},{"why":"Defines the null Gaussian coordinate system that the constructed foliations are shown to reproduce under coordinate transformations.","marker":"[20]"},{"why":"Extends the null Gaussian coordinate description used to relate the null and dual-null frames.","marker":"[11]"},{"why":"Supplies generalized Bondi coordinates indicating that Kerr and Kerr-Newman can be cast in null Gaussian form.","marker":"[9]"},{"why":"Characterizes spacetimes foliated by Killing horizons, used to associate interior equivalence classes with isolated horizons.","marker":"[21]"}],"fun_headline_variants":["One null generator seeds a pair of spacetime foliations","Rescaling a null geodesic yields a hidden second foliation","Black hole spacetimes foliate from a single null vector","Less restrictive null foliations from a rescaling class","Kerr-Newman null foliations from a geodesic equivalence class"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction presupposes that the scalar functions labelling the null hypersurfaces are real, single-valued, and regular over the whole foliated region, and that the equivalence class of rescaled generators encodes a genuinely second null foliation; for the rotating charged case, that second foliation is taken from an earlier dual-null construction rather than derived by the new method.","fun_headline_variants_meta":{"raw":{"variants":["One null generator seeds a pair of spacetime foliations","Rescaling a null geodesic yields a hidden second foliation","Black hole spacetimes foliate from a single null vector","Less restrictive null foliations from a rescaling class","Kerr-Newman null foliations from a geodesic equivalence class"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000196,"raw_usage":{"total_tokens":1309,"prompt_tokens":840,"completion_tokens":469,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":456,"completion_tokens_details":{"reasoning_tokens":384}},"tokens_in":456,"tokens_out":469,"duration_ms":5177,"temperature":1.0,"reasoning_tokens":384,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:31:00.631542+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"At a point just outside the inner horizon of Kerr-Newman, evaluate $g^{ab}\\nabla_a\\sigma\\nabla_b\\sigma$ for the proposed optical function $\\sigma = v + \\int f_+ \\, dr + a\\sin\\theta$ using the paper's inverse metric; a nonzero value while $f_+$ remains real would falsify the Eikonal condition. For the broad claim, any explicit spacetime admitting no regular optical function and no compatible dual-null foliation would refute it.","supporting_citations":[{"cited_title":"Dual-null dynamics of the Einstein field","cited_arxiv_id":null,"evidence_quote":"Supplies the dual-null 2+2 framework and the requirement of two closed 2-forms that the new method seeks to relax."},{"cited_title":"Kerr black holes in horizon-generating form","cited_arxiv_id":null,"evidence_quote":"Provides the horizon-generating dual-null foliation of Kerr spacetime that the paper imports to complete its Kerr-Newman example."},{"cited_title":"Symmetries of cos mological Cauchy horizons","cited_arxiv_id":null,"evidence_quote":"Defines the null Gaussian coordinate system that the constructed foliations are shown to reproduce under coordinate transformations."},{"cited_title":"On the rigidity the- orem for spacetimes with a stationary event horizon or a comp act cauchy horizon","cited_arxiv_id":null,"evidence_quote":"Extends the null Gaussian coordinate description used to relate the null and dual-null frames."},{"cited_title":"The Ke rr spacetime in generalized Bondi-Sachs coordinates","cited_arxiv_id":null,"evidence_quote":"Supplies generalized Bondi coordinates indicating that Kerr and Kerr-Newman can be cast in null Gaussian form."},{"cited_title":"Spacetimes foliated by Killing horizons","cited_arxiv_id":null,"evidence_quote":"Characterizes spacetimes foliated by Killing horizons, used to associate interior equivalence classes with isolated horizons."}],"review_version":1}