{"id":"85c11429-b258-4a27-a8f3-44e62bf65ee4","arxiv_id":"2504.18973","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A hierarchical, boundary-regular affine-null form of the conformal Einstein-scalar equations is derived, shown equivalent to compactified physical-space equations, and used to extract the news function at null infinity.","lead":"This paper shows how to rewrite the Einstein equations for a spherically symmetric spacetime with a massless scalar field in a form that stays regular at null infinity, and proves that this conformal form is identical to the compactified-coordinate version already used in numerical codes. It also uses the new formulation to extract the scalar news function, the quantity that drives the loss of mass through null infinity, in a numerical simulation of critical collapse.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The near-boundary mass/news extraction assumes Eq. (2.36), a smooth conformal extension at null infinity; for the supercritical Sec. IV data this is asserted, not derived, and log or non-integer subleading terms would alter the extraction formulas.","rationale":"I read the paper as having two relatively independent achievements: (i) the hierarchical conformal affine-null system and its equivalence with the compactified physical-space system, and (ii) the near-boundary expansion recovering the Bondi mass-loss law, with a numerical demonstration. The equivalence (i) is robust: Eqs. (2.35) and (3.13) are the same system after the identifications R=(1-x)r, W=(1-x)V, Phi=tilde Phi/(1-x), and the comparison is a direct substitution rather than a deep theorem. The numerical convergence evidence, while only temporal at fixed spatial resolution, is not the most fundamental gap because the balance law is also derived analytically. The real soft spot is (ii): the boundary solution and the extraction formulas for mB and N rely on the smooth conformal-extension ansatz (2.36), which is not proven for the supercritical data used in Sec. IV. The paper itself flags the assumption, but it leaves open whether logarithmic or non-integer terms appear at null infinity. This matches the reader's weakest assumption, and I agree that it is load-bearing for the boundary-extraction half of the central claim. It does not, however, overturn the algebraic equivalence result, so the appropriate verdict remains CONDITIONAL rather than REJECT: the manuscript should either prove or relax the smoothness assumption, or state it as a limitation and provide a numerical test of its validity for the data used.","tokens_in":21446,"tokens_out":23353,"duration_ms":229641,"concrete_test":"Run the Sec. IV code for the same supercritical initial data with increased spatial resolution (e.g., N=65 and N=129), and at a fixed Bondi time before uH fit the fields near the outer boundary to the forms Phi = Phi0 + Phi1 Omega + c Omega^p and R = H + R1 Omega + d Omega^p, where Omega = (1-tilde x)/4. If the best-fit p is non-integer, or if including a term c Omega^p log Omega significantly improves the fit at the higher resolutions, then Eq. (2.36) is not justified for these data and the mass/news extraction formulas must be re-derived. As a complementary check, compare the Bondi mass from (2.45) with the Misner-Sharp mass evaluated at a large finite value of the affine parameter; any resolution-independent discrepancy scaling as a non-integer power of Omega would confirm the concern.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The second half of the strongest claim is the near-boundary solution and the Bondi mass-loss balance law (2.51). Its derivation rests on the ansatz (2.36), Phi(u,x)=Phi[0](u)+Phi[1](u)(1-x)+O((1-x)^2), together with analogous smooth expansions for R, W, and L. This is a regularity assumption on the conformal fields at null infinity, not a consequence established from the hierarchical system (2.28). The paper explicitly introduces it with 'we assume' and then integrates the hypersurface equations to obtain (2.40). If Phi or the metric fields contain terms of the form c(u) Omega^p with non-integer p, or c(u) Omega^p log Omega, then (2.40) is not the general near-boundary solution: the coefficient R[1] entering the Bondi-mass identification (2.45) can mix with a subleading branch, and the news extraction formulas in Sec. IV would need modification. The supercritical data used in Sec. IV sit close to the Choptuik critical solution, where echoing and log-periodic time dependence are known phenomena; no asymptotic analysis is given to exclude such behavior near I. This concern is specifically about the boundary-extraction part of the central claim. The algebraic equivalence between (2.35) and (3.13) is a direct variable substitution and is not affected: it would survive even if the conformal boundary expansion were non-smooth.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the spherically symmetric Einstein-massless-scalar system in outgoing affine-null coordinates. It derives a hierarchical set of conformal field equations after introducing auxiliary fields, claims that the same hierarchy is obtained in physical spacetime with a compactified radial coordinate and suitably regularized fields, derives a near-null-infinity expansion that yields the Bondi mass-loss balance law for the massless scalar field, and tests the balance law numerically for supercritical scalar collapse. The central conceptual claim is that conformal compactification and physical-space coordinate compactification with renormalized fields produce identical field equations in this setting.","tokens_in":21677,"tokens_out":16254,"duration_ms":157069,"significance":"If the results hold, the paper gives a useful bridge between conformal methods and practical compactified characteristic codes: it identifies the regularized fields used in earlier numerical work with conformal fields, provides a new hierarchical form of the affine-null conformal equations, and derives an analytic near-boundary expansion recovering the Bondi mass-loss law. The algebraic comparison is transparent, and the numerical balance-law check with convergence is a genuine consistency test rather than a fitted prediction. The main open point is the smoothness assumption underlying the boundary expansion, which is stated but not justified.","major_comments":[{"comment":"The derivation of the near-boundary solution (2.40) and of the Bondi mass-loss law (2.45)-(2.51) rests on the assumed expansion Phi(u,x)=Phi[0](u)+Phi[1](u)(1-x)+O((1-x)^2) and analogous smooth expansions for R, W, and L. This is an assumption about the smooth conformal extension of the fields at I, not a consequence established from the hierarchy (2.28). The issue is directly relevant to the supercritical data of Sec. IV: near the Choptuik critical solution the scalar field exhibits echoing and log-periodic behavior, and no argument is given that this is compatible with integer-power, logarithmic-free expansions in Omega=1-x on the approach to I. If subleading terms contain (1-x)^p with non-integer p or (1-x)^p log(1-x), then the identification mB=1/2[H(1-Z0)+R[1]] and the news-extraction formulas in Sec. IV would require modification. I request that the authors either justify, by theorem or by a quantitative numerical check on the data used, that the chosen data have a smooth conformal extension, or explicitly state the smoothness condition as a limitation of the extraction formulas. A concrete check would be to fit Phi(u,x) at fixed late u to a(1-x)^p and test whether the best-fit p is consistent with 0, 1, 2, ... and whether adding a log term changes the extracted mB and N.","section":"Sec. II.C, Eq. (2.36)"},{"comment":"The key hypersurface equation W,xx (2.27) is introduced with the phrase \"After a lengthy and tedious calculation using (2.20b)\" and no derivation or appendix is provided. Since this equation is the essential step that restores the hierarchy in the conformal setting, the central claim of the paper cannot be fully verified from the manuscript as it stands. The authors should include the derivation in an appendix or provide a clear reference where the equivalent calculation is carried out.","section":"Sec. II.A, Eq. (2.27)"},{"comment":"The statement that (3.13) is equivalent to (2.35) is not literally correct for general Z0: (3.13b) and (3.13c) contain the integration function Z0(u), while (2.35) is the Z0=0 specialization obtained in Sec. II.B under vertex regularity conditions. The matching system is (2.28), not (2.35). If Z0 is intended to vanish for the class of coordinate systems considered, this should be stated before the equivalence claim; otherwise the comparison should be made with (2.28). This is a small but load-bearing precision issue in the statement of the paper's main result.","section":"Sec. III, Eqs. (3.13) and (2.35)"}],"minor_comments":[{"comment":"The extraction formulas contain apparent typos: \"H(u) = R(u,-1)/4\" should presumably read R(u,1)/4 (the outer boundary), and \"mB(u) = H(u)-R,x(u,1)/2\" appears to be missing parentheses and should likely be (H(u)-R,x(u,1))/2 to agree with (2.45). Please correct and clarify the exact definitions used for the numerical quantities.","section":"Sec. IV, near Fig. 2"},{"comment":"There are small language issues: \"solution of Einstein equations\" should be \"solutions of the Einstein equations,\" and \"vaccum\" should be \"vacuum.\"","section":"Abstract and Sec. I"},{"comment":"The term displaying a subscript y in the second line of (2.20a) appears to be a typo for u; please check the index.","section":"Eq. (2.20a)"},{"comment":"Notation for the integration functions is inconsistent: Z0, L[0]/L0, and W[0]/W0 are used interchangeably; it would help to define each symbol once and use it consistently.","section":"Sec. II.C and App. A"},{"comment":"There are several typographical errors, such as \"compatified\" and \"completness\" in the appendices; a careful proofreading pass is recommended.","section":"Sec. V"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within the journal's scope, and the central algebraic equivalence appears sound. The main concerns are the unproved smooth conformal-extension assumption behind the boundary extraction and the deferred derivation of the W,xx hypersurface equation; both are fixable with additional analysis or an explicit limitation statement plus a numerical check. I recommend major revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth reading. The paper gives a genuine conformal explanation for why compactified-coordinate physical codes work in affine-null numerical relativity, and it shows how to extract scalar news without noisy mixed derivatives. The central algebraic equivalence between the conformal system (2.35) and the compactified physical system (3.13) is clearly demonstrated by direct substitution, and the near-I solution recovering the Bondi mass-loss law is solid. The first news extraction in affine-null critical collapse is a useful numerical demonstration, not a fitted prediction.\n\nWhat is new: the hierarchical form of the conformal Einstein-scalar equations in affine-null coordinates, the conformal-space derivation of the regularized fields, and the boundary expansion that yields the balance law. The equivalence itself is not shocking because the regularized fields are doing the work, but having it explicit and in print is valuable. The Bondi-Sachs comparison in Appendix A is a nice consistency check.\n\nSoft spots, in order. First, the smooth conformal-extension assumption at I, Eq. (2.36), is assumed, not derived from the field equations or the initial data. For supercritical near-critical data, where log-periodic behavior is known near the center, it is not automatic that the fields have pure power-law expansions in Omega. This does not touch the (2.35)/(3.13) equivalence, but it does make the boundary mass/news formulas conditional on a regularity class that the paper does not establish. Second, the derivation of W,xx, Eq. (2.27), is deferred as \"lengthy and tedious.\" That leaves a black box in the main analytic chain; a referee who wants to verify the hierarchy has to redo the algebra. Publish the calculation or put it in an appendix. Third, the numerical part ships no code or data and shows only temporal convergence at fixed 33 collocation points, not spatial convergence in N. The extraction formulas in Sec. IV also have coordinate scaling factors that I did not fully audit; they may be correct for the code's normalization, but as written they will raise flags.\n\nNone of this is fatal. The core equivalence and the boundary balance law survive. This paper is for numerical relativists using characteristic or affine-null codes, and for anyone trying to reconcile conformal methods with compactified physical-coordinate codes. It deserves peer review: a good referee can push for the missing algebra, an honest caveat on smoothness, and code or data, without requiring a rewrite of the main argument.","headline":"Solid, narrow advance: the conformal/physical affine-null equivalence is real, and the news extraction is useful, but the boundary smoothness assumption and deferred algebra keep me from calling it fully resolved.","tokens_in":22244,"tokens_out":4691,"would_cite":true,"duration_ms":54085,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For spherically symmetric massless-scalar collapse, the conformal Einstein equations in affine-null coordinates form a regular hierarchy identical to the compactified physical-space system, yielding the Bondi mass-loss law directly at…","keywords":["conformal compactification","affine-null coordinates","Einstein-scalar field equations","null infinity","Bondi mass loss","news function","coordinate compactification","spherical symmetry"],"falsifier":"Evolve supercritical scalar-collapse data with an initial tail designed to produce a logarithmic contribution $\\ln(1-x)\\,(1-x)^p$ in $\\Phi$ near $x=1$, and test whether the news read from the right-hand side of (3.13d) plus the Bondi mass (2.45) still satisfy the balance (2.51); any violation, or any need to add logarithmic terms to (2.36), would show the smooth-extension assumption is load-bearing rather than a gauge artefact.","tokens_in":21185,"feed_emoji":"🌌","tokens_out":10411,"duration_ms":99914,"temperature":0.7,"pith_summary":"The paper establishes that, in spherical symmetry with a massless scalar field, the conformal Einstein equations written in affine-null coordinates can be rearranged into a regular hierarchy of hypersurface-evolution equations, and that this hierarchy is identical to the system obtained by compactifying the physical radial coordinate and renormalizing the fields. The identification works through $R=(1-x)r$, $\\mathcal{W}=(1-x)V$, and $\\Phi=\\tilde{\\Phi}/(1-x)$, where $x=1$ is null infinity and $1-x$ is the conformal factor; the same equivalence holds in Bondi–Sachs coordinates as well. Near the conformal boundary the paper derives the Bondi mass $m_B$ and the mass-loss balance $dm_B/du_b=-\\kappa N^2/2$, with the news function $N$ defined purely from boundary data. A modified numerical code for supercritical collapse shows third-order convergence and verifies the balance law to about $10^{-7}$ for most of the evolution. If the claim is right, characteristic codes in compactified physical coordinates are already solving the conformal equations, so boundary quantities can be extracted from regular interior fields instead of by estimating limits at infinity.","feed_headline":"Same equations rule compactified and conformal scalar collapse","feed_subtitle":"A single regularized hierarchy makes the news function and Bondi mass-loss balance readable directly at null infinity.","key_machinery":"The load-bearing device is the affine-null coordinate chart with conformal factor $\\Omega=1-x$, so that $x=1$ is future null infinity and the unphysical metric degenerates to a null hypersurface there. To restore a hierarchy the paper introduces auxiliary fields $Y$ and $L$, with the first integral $Z_0(u)$ arising from $Y$; these turn the hypersurface equations into a sequential system in $x$. The physical-space counterpart is obtained by the coordinate compactification $\\tilde{\\lambda}=x/(1-x)$ and the regularized fields $R=(1-x)r$, $\\mathcal{W}=(1-x)V$, $\\Phi=\\tilde{\\Phi}/(1-x)$, which absorb the coordinate singularities at $x=1$ and produce exactly the conformal hierarchy. The boundary expansion $\\Phi(u,x)=\\Phi_{[0]}(u)+\\Phi_{[1]}(u)(1-x)+O((1-x)^2)$ then yields the Bondi mass, the redshift factor $H$, the scalar monopole $C$, and the news $N$, all expressed through boundary data.","core_discovery":"The central claim is that the conformal field equations for a spherically symmetric Einstein-massless-scalar system in affine-null coordinates can be cast, after introduction of auxiliary fields, as a four-equation hierarchy that is regular all the way to the conformal boundary at $x=1$, and that this hierarchy is exactly the same system as the compactified physical-space equations with regularized fields $R=(1-x)r$, $\\mathcal{W}=(1-x)V$, and $\\Phi=\\tilde{\\Phi}/(1-x)$. The near-boundary solution of this hierarchy gives $m_B=\\frac{1}{2}[H(1-Z_0)+R_{[1]}]$ and, in a Bondi frame where $du_b=du/H$, the balance $dm_B/du_b=-\\frac{\\kappa}{2}N^2$, with $N=dC/du_b$ and $C=\\lim_{x\\to 1}R\\Phi=H\\Phi_{[0]}$. This is the conformal-space analogue of the Bondi mass-loss formula for a massless scalar field. The numerical section implements the regularized scalar field $\\Phi=(1-x)\\tilde{\\Phi}$ in an existing compactified affine-null code, reads the news from the right-hand side of the evolution equation at the outer boundary, and verifies the balance law to numerical precision until nearly black-hole formation.","pith_inferences":["A testable extension the authors do not pursue is to add a self-interaction such as $\\tilde{\\Phi}^4$ or a charged scalar: if the conformal and compactified hierarchies still coincide after the same renormalization, the equivalence is driven by the conformal structure of the massless scalar, whereas a mismatch would locate the property in the specific field equations.","The smooth-expansion assumption (2.36) is the point most likely to fail in realistic data, since massless-field tails often contain logarithms; such terms would change the news and Bondi-mass extraction formulas even though the interior hierarchy (2.28) could remain valid.","The paper's identification of $H$ as a redshift factor suggests a practical numerical test: monitor how fast the balance-law error grows as $H\\to 0$ in subcritical versus supercritical runs, which would calibrate the onset of horizon formation purely from boundary data.","One could seed initial data with a controlled non-integer-power tail at $x=1$ and compare the extracted news with a high-resolution Bondi–Sachs reference; a divergence would quantify the breakdown of the smooth-extension expansion (2.36)."],"forward_implications":["Any code that evolves the compactified physical system with $R$, $\\mathcal{W}$, and $\\Phi$ is, by the proved equivalence, solving the conformal field equations on the closed domain including null infinity, so no separate conformal solver is required for boundary diagnostics.","The Bondi mass-loss balance $dm_B/du_b=-\\kappa N^2/2$ is derived from the near-boundary solution alone and confirmed numerically, giving a closed consistency check for characteristic codes in spherical symmetry.","The news function can be read from the right-hand side of the evolution equation (3.13d) at $x=1$, avoiding the second mixed $u$-$x$ derivative whose numerical evaluation was noisy; this is demonstrated on supercritical data.","The conformal/compactified equivalence also holds in Bondi–Sachs coordinates, as shown in Appendix A, so the result is not tied to the affine-null parametrization and covers the standard characteristic formulation.","The auxiliary-field construction provides a systematic route to build regularized fields at null infinity for less symmetric spacetimes or other matter couplings, which the paper suggests as a next step."],"supporting_citations":[{"why":"Introduces the conformal compactification construction and the unphysical manifold with boundary that frames the whole comparison.","marker":"[2]"},{"why":"Gives the regularity conditions for smooth conformal extensions at infinity that justify the boundary expansion and the definition of fields at null infinity.","marker":"[3]"},{"why":"Supplies the conformal treatment of null infinity and the inertial-frame/Bondi mass-loss framework used to derive the balance law (2.51).","marker":"[9]"},{"why":"Provides the affine-null metric ansatz with an affine radial parameter, the starting point for both the conformal and physical hierarchies.","marker":"[55]"},{"why":"Presents the physical-space affine-null hypersurface-evolution hierarchy with auxiliary variables, the system that the compactified equations must reproduce.","marker":"[58]"},{"why":"Gives the recent affine-null formulation for the massless scalar field and the auxiliary-field definitions used in the compactified physical system.","marker":"[59]"},{"why":"Provides the supercritical-collapse numerical code and initial data that the paper modifies to test the news extraction and mass-loss balance.","marker":"[60]"}],"fun_headline_variants":["One hierarchy unifies conformal and compactified scalar collapse","Bondi mass loss emerges from affine-null conformal hierarchy","Conformal and compactified collapse share the same hierarchy","Affine-null conformal hierarchy reads Bondi mass loss"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the conformal scalar field and metric are smooth at null infinity as expressed by the expansion $\\Phi(u,x)=\\Phi_{[0]}(u)+\\Phi_{[1]}(u)(1-x)+O((1-x)^2)$, a condition the field equations do not prove and that the supercritical numerical data simply assume.","fun_headline_variants_meta":{"raw":{"variants":["One hierarchy unifies conformal and compactified scalar collapse","Bondi mass loss emerges from affine-null conformal hierarchy","Conformal and compactified collapse share the same hierarchy","Affine-null conformal hierarchy reads Bondi mass loss"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001084,"raw_usage":{"total_tokens":4611,"prompt_tokens":1106,"completion_tokens":3505,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":722,"completion_tokens_details":{"reasoning_tokens":3436}},"tokens_in":722,"tokens_out":3505,"duration_ms":22429,"temperature":1.0,"reasoning_tokens":3436,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T10:07:00.633871+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evolve supercritical scalar-collapse data with an initial tail designed to produce a logarithmic contribution $\\ln(1-x)\\,(1-x)^p$ in $\\Phi$ near $x=1$, and test whether the news read from the right-hand side of (3.13d) plus the Bondi mass (2.45) still satisfy the balance (2.51); any violation, or any need to add logarithmic terms to (2.36), would show the smooth-extension assumption is load-bearing rather than a gauge artefact.","supporting_citations":[{"cited_title":"(A21) 14 The Misner-Sharp mass is given by (see eq","cited_arxiv_id":null,"evidence_quote":"Introduces the conformal compactification construction and the unphysical manifold with boundary that frames the whole comparison."},{"cited_title":"Penrose, Phys","cited_arxiv_id":null,"evidence_quote":"Gives the regularity conditions for smooth conformal extensions at infinity that justify the boundary expansion and the definition of fields at null infinity."},{"cited_title":"Estimating Energy-Momentum and Angular Momentum Near Null Infinity","cited_arxiv_id":"0907.3461","evidence_quote":"Supplies the conformal treatment of null infinity and the inertial-frame/Bondi mass-loss framework used to derive the balance law (2.51)."},{"cited_title":"Winicour, Living Rev","cited_arxiv_id":null,"evidence_quote":"Provides the affine-null metric ansatz with an affine radial parameter, the starting point for both the conformal and physical hierarchies."},{"cited_title":"Retarded radiation from colliding black holes in the close limit","cited_arxiv_id":"gr-qc/0108075","evidence_quote":"Presents the physical-space affine-null hypersurface-evolution hierarchy with auxiliary variables, the system that the compactified equations must reproduce."},{"cited_title":"Affine-null metric formulation of General Relativity at two intersecting null hypersurfaces","cited_arxiv_id":"1810.04743","evidence_quote":"Gives the recent affine-null formulation for the massless scalar field and the auxiliary-field definitions used in the compactified physical system."},{"cited_title":"The affine-null formulation of the gravitational equations: spherical case","cited_arxiv_id":"1910.03439","evidence_quote":"Provides the supercritical-collapse numerical code and initial data that the paper modifies to test the news extraction and mass-loss balance."}],"review_version":1}