Backreaction of Halilsoy and Chandrasekhar waves

Adam A. Zychowicz; Dominika Hunik; Sebastian J. Szybka

REVIEW 3 major objections 6 minor 1 cited by

Backreaction of Halilsoy and Chandrasekhar waves

T0 review · 3 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Both Halilsoy and Chandrasekhar standing gravitational waves have the same high-frequency backreaction, yielding an effective Morgan null-dust spacetime independent of polarization.

desk verdict Halilsoy backreaction is solid and cross-checked; the Chandrasekhar half is a plausible but unproven approximation, so the equality claim outruns the rigor. read the letter →

arxiv 2509.04230 v2 pith:FOERPR2F submitted 2025-09-04 gr-qc astro-ph.CO

Sebastian J. Szybka , Adam A. Zychowicz , Dominika Hunik This is my paper · ORCID

classification gr-qcastro-ph.CO MSC 83C3583C20 PACS 04.30.-w04.20.Jb

keywords gravitationalwavesstandingbackreactionhigh-frequencylimitBurnettconjectureGreen–WaldframeworkcylindricallysymmetricspacetimesErnstequation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper studies two known families of exact solutions to Einstein's equations representing cylindrically symmetric standing gravitational waves—Halilsoy waves and Chandrasekhar waves—and asks what the averaged, high-frequency limit of each family looks like. It finds that both families have the same effective spacetime in that limit: the Morgan null-dust metric, whose only matter content is a radial flow of null dust with energy density falling off as 1/ρ. Consequently, the backreaction of the waves, computed through the Green–Wald framework, is identical for the two classes and does not depend on the polarization mode. The paper also rederives both solution classes directly from the Einstein equations, bypassing the Ernst equation and generation techniques, and shows that the effective spacetime has a naked timelike curvature singularity at the axis.

What carries the argument

The Green–Wald/Burnett high-frequency limit: for a one-parameter family of spacetimes g(λ) whose metric perturbation h(λ)=g(λ)-g(0) is of order λ and whose derivatives are bounded, the backreaction is computed from the weak limit of products of derivatives of h, encoded in the tensor µ. For Halilsoy waves the amplitude is set to A=2β√λ; for Chandrasekhar waves the boundary value F(0)=β√(λ/2) makes the shape function F(ρ) approximate β√(λ/2)J0(ρ/λ), which leads to the same effective metric. The Morgan metric then carries all backreaction through t(0)=G(g(0))/(8π).

What would settle it

Numerically solve Eq. (20) for F(ρ) with boundary data F(0)=β√(λ/2), construct the Chandrasekhar metric (24), and compute the λ→0 weak limit of 8πG[g(λ)]. If the result differs from (β²/8π²ρ)(-dt²+dρ²), or if the residual energy-momentum tensor T(λ) violates the weak energy condition, the paper's central claim fails.

Watch

Extended reading notes

Core claim

The central claim is that the high-frequency (weak) limit of both the Halilsoy and Chandrasekhar families of cylindrically symmetric standing gravitational waves is the same effective spacetime, the Morgan solution g(0)=e^{2β²ρ/π}(-dt²+dρ²)+ρ²dφ²+dz², with effective energy-momentum tensor t(0)=(β²/8π²ρ)(-dt²+dρ²). For the Halilsoy family, all members are exact vacuum solutions satisfying the Burnett/Green–Wald conditions; for the Chandrasekhar family, the authors construct a one-parameter family of spacetimes that approximates the exact Chandrasekhar solutions and whose deviation from the vacuum equations vanishes in the weak limit. The equality of the two limits means that the polarization

Load-bearing premise

For Chandrasekhar waves, the high-frequency family is built from an approximate solution to the equation determining F(ρ) rather than from the exact solutions; if the approximation's error has a nonzero weak limit after differentiation, the claimed effective metric and the equality of backreaction with the Halilsoy class would fail for the exact Chandrasekhar family.

Editorial extensions

If this is right

The effective spacetime for both standing-wave classes is the Morgan null-dust metric, so studies of high-frequency backreaction in cylindrical waves can use one common background instead of separate ones.
Backreaction is independent of polarization: the Halilsoy polarization parameter α and the nonvanishing Chandrasekhar polarization do not change t(0), even though the underlying µ tensor differs.
The effective spacetime has a naked timelike curvature singularity at ρ=0, so high-frequency averaging does not smooth away the cylindrical axis singularity.
The result extends the earlier plus-polarized Einstein–Rosen backreaction result without a scalar field, supporting a form of universality for cylindrical standing-wave backreaction.
The direct rederivation of both solution classes without the Ernst equation makes the structural similarity and difference between the classes more transparent.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: the equality of backreaction between the two families suggests that, for cylindrically symmetric standing waves, the averaged geometry is controlled by the amplitude envelope β alone; one could test whether this persists for other standing-wave solution families obtained by different generation techniques.
Editorial inference: the authors did not verify the weak energy condition for the residual energy-momentum tensor T(λ) of their Chandrasekhar approximating family, so a numerical check of that condition is a natural next step before the Green–Wald non-vacuum extension is fully validated for this family.
Editorial inference: because the effective metric is independent of polarization, similar high-frequency limits may hold for other pairs of solution classes generated from the same seed by different transformations—a conjecture the paper does not state.
Editorial inference: the directional behavior of the Weyl scalars (Ψ0 failing peeling while Ψ4 satisfies it) could be probed by studying null-geodesic observables in the effective spacetime, although the spacetime is not asymptotically flat.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

You should know this one for the Halilsoy half, not for the headline claim across both classes. The backreaction for the Halilsoy family is computed directly from the exact vacuum solutions, and the authors check it three independent ways—the Einstein tensor of the limit, the Burnett mu formula, and the alpha-tensor formula—and all agree. That is convincing, and it gives you a clean non-cosmological instance of the Green-Wald framework with polarization included. The re-derivation of both solution classes without the Ernst equation is also genuinely useful, and the note that the Halilsoy class can be brought to the three-parameter form by a coordinate scaling is a small but helpful clarification. The causal-structure section on the Morgan metric is fine, including the correction of an earlier Weyl-scalar statement.

The soft spot is the Chandrasekhar half, and it is exactly the soft spot the authors admit to. The exact Chandrasekhar solutions are only available numerically, so the paper replaces them with an explicit metric family built from F = beta*sqrt(lambda/2) J0(rho/lambda), the solution of the linearized ODE (20). But the ODE is nonlinear, and there is no error estimate on the Bessel approximation after the metric functions are reconstructed. nu' is quadratic in F and F', so a small correction delta-F enters through 2F0-delta/lambda^2 cross terms that can have a non-vanishing weak limit. The paper does not rule that out. It also does not verify the weak energy condition for T(lambda) = G[g(lambda)]/(8pi), which the Green-Wald non-vacuum extension requires. The authors state that the weak limit of T(lambda) vanishes, which means it drops out of the effective stress-energy, but that is not the same as satisfying the theorem's assumptions. The abstract's claim that they calculate the high-frequency limit of the Chandrasekhar solutions is therefore stronger than what is shown; what is shown is the limit of a plausible approximating family.

I don't think this is fatal. The Bessel approximation is almost certainly right away from the axis, and the paper is transparent about what it did. But the equality of backreaction for the actual Chandrasekhar class is not yet proven. A numerical check of the exact ODE for small lambda, or an error bound showing the cross terms vanish weakly, would close the gap; failing that, the claims should be softened.

This paper is for GR people working on exact solutions and the Burnett-Green-Wald framework. The Halilsoy result is a solid contribution, and the direct derivations are worth having. It deserves peer review, not a desk rejection—conditional acceptance, with the Chandrasekhar section needing either the numerics or a revised claim.

Referee Report

3 major / 6 minor

Summary. The paper studies high-frequency (Green–Wald/Burnett) limits of two cylindrically symmetric standing gravitational wave families, the Halilsoy solutions and the Chandrasekhar solutions. It rederives both families directly from the Einstein equations without the Ernst equation, computes the effective backreaction in the λ→0 limit, and concludes that both families have the same effective spacetime: the Morgan null-dust metric (32), with effective energy-momentum tensor (31), independent of polarization. The paper also analyzes the causal and asymptotic structure of the Morgan metric. The Halilsoy calculation is checked in three independent ways using the Green–Wald formulas; the Chandrasekhar calculation is based on an approximate Bessel solution of the nonlinear ODE (20).

Significance. If the main claim holds, the paper provides a clean non-cosmological example of backreaction and gives nontrivial evidence for the Green–Wald framework. The Halilsoy part is convincing: the effective metric and effective energy-momentum tensor are computed directly from the Einstein tensor, the tensor μ is exhibited, and the three Burnett/Green–Wald formulas (25), (26), (28) agree. The direct derivation of both solutions without Ernst techniques is useful and clearly presented. The Chandrasekhar part is, however, not yet at the same standard: the high-frequency limit is derived from a small-λ approximation of ODE (20) with no error control, and the family is not an exact vacuum family, with the weak energy condition for the residual T(λ) left unverified. The manuscript's own limitation statements in Section IV.B explicitly flag both gaps. These gaps concern the central equality-of-backreaction claim, so the paper needs additional work before the claim is established at the advertised level.

major comments (3)

[IV.B, Eqs. (20)–(23)] The central claim for the Chandrasekhar class is obtained by replacing F(ρ) with β√(λ/2)J0(ρ/λ), the solution of the linearized version of ODE (20). No estimate is given for the remainder δF. This matters because the metric function ν is determined by integrating (23), whose right-hand side is quadratic in F/λ and F′. A correction δF enters through cross terms such as 2F0δF/λ² and 2F0′δF′, which need not have vanishing weak limit even if δF is pointwise small. Since exact Chandrasekhar solutions are only available numerically, the paper does not establish that the weak limit of the exact Chandrasekhar family is the Morgan metric (32); it establishes that limit only for the Bessel-based approximating family. Please add a numerical or analytic error estimate: solve (20) with F(0)=β√(λ/2), F′(0)=0 for several λ, substitute into (23), and check that the weak average of ν′ converges to β²/π.
[III and IV.B] The Chandrasekhar family is not a vacuum family; the paper invokes the Green–Wald non-vacuum extension, which requires T(λ)=G[g(λ)]/(8π) to satisfy the weak energy condition for each λ. Section IV.B states explicitly that 'we did not verify whether it satisfies the weak energy condition.' A vanishing weak limit of T(λ) does not replace the pointwise WEC hypothesis in the Green–Wald theorem. Without WEC, the conclusion that the effective stress-energy tensor is the physical backreaction of an admissible family is not rigorously justified. The authors should either verify WEC numerically (or analytically) for the constructed family, or explicitly state that the Chandrasekhar conclusion is conditional on assuming WEC.
[IV.B] The family g(λ) is introduced as one that 'approximates the one-parameter numerical family' of Chandrasekhar solutions, but the sense of approximation is not quantified. In particular, the paper does not show that the metric functions Ψ, Ω, ν of the Bessel-based family differ from those of the exact numerical solutions by an amount whose contribution to the weak limit vanishes. This is closely related to the first major comment, but it also applies to the Chandrasekhar metric functions themselves, not only to ν′. Please state precisely in which norm the approximation is made (e.g., sup-norm over ρ intervals, with λ-dependent bounds) and how the weak-limit error is controlled.

minor comments (6)

[IV.A] 'Serge type' should be 'Segre type' (the Petrov/Segre classification terminology).
[IV.B] The asymptotic formula for F′(ρ) is printed twice; one of the two lines appears to be a typographical duplication and should be removed.
[IV.B] The phrase 'T(λ) remains small' is not quantified. Since the Green–Wald conditions are pointwise derivative bounds, please state explicitly whether T(λ)=O(λ) or O(λ²) in a specified norm and over which ρ range.
[II.B.1 / IV.A] The notation α is used both for the Halilsoy polarization parameter and for the tensor α_{αβγδ}; the authors acknowledge the abuse, but the double use is still confusing in equations (27)–(29) near the polarization discussion.
[V] Typos: 'missleading' should be 'misleading', 'restric' should be 'restrict'. Also 'conutributed' in the acknowledgments should be 'contributed'.
[IV.A, Eq. (30)] The statement that the parameter α can be removed by a coordinate transformation would be easier to verify if the explicit transformation were shown or a specific equation in reference [14] were cited.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular step found: the effective metric and backreaction are computed directly from the weak limit; the Chandrasekhar branch's Bessel approximation and unverified weak-energy condition are stated rigor gaps, not circular reductions.

full rationale

The derivation chain is self-contained. In Sec. IV.A the high-frequency amplitude is set by A = 2β√λ (the factor 2 chosen only for consistency with the authors' earlier [17]), γ(0) = β²ρ/π is obtained from Bessel asymptotics, and the effective tensor t(0) = G(g(0))/8π is computed directly, giving Eq. (31). No parameter is fitted to force the backreaction; β is a free amplitude. The triple evaluation via Eqs. (31), (26), (28) is an internal consistency check of Burnett's identities, not a circular derivation. Self-citations [14] and [17] are used for coordinate conventions and for comparison ('coincides with the result in the article [17]'); they are not load-bearing. For the Chandrasekhar branch, Sec. IV.B explicitly constructs an approximating analytic family with F ≈ β√(λ/2)J0(ρ/λ) and computes the limit of Eq. (23), obtaining the same Morgan metric (32). The paper honestly flags two limitations, which I weigh but do not treat as circularity: (i) the limit is computed for the approximate Bessel family rather than the exact numerical solutions of Eq. (20) ('we construct the one-parameter family of spacetimes [M,g(λ)] which for small but nonzero λ approximates to the one-parameter numerical family in the Chandrasekhar class'); and (ii) 'The tensor T(λ) has a very complicated functional form, so we did not verify whether it satisfies the weak energy condition.' These are mathematical-completeness or correctness risks (the skeptic's concern), not reductions of the claim to its own inputs: the effective stress-energy tensor is not assumed or fitted, it is computed from the Einstein tensor of the obtained limit metric. Score 2 reflects only the presence of minor, non-load-bearing self-citations and the acknowledged approximation gap, not any circular step.

Assumptions & free parameters 2 free parameters · 7 assumptions · 0 invented entities

The paper introduces no new particles, forces, or entities. It relies on a set of symmetry and ansatz assumptions to reduce the Einstein equations, plus the Burnett/Green-Wald framework. The main additional input is the amplitude parameter β and the approximate solution for F in the Chandrasekhar case.

free parameters (2)

β
Amplitude of the high-frequency wave family; it appears in the effective metric (32) and effective stress-energy (31). It is not fitted to data but is a free parameter of the constructed family.
α (Halilsoy polarization)
Polarization parameter in the Halilsoy solution (13); it is removable by coordinate transformation in the effective metric and does not affect backreaction, but it is a free parameter of the original solution.

assumptions (7)

domain assumption Cylindrically symmetric metric ansatz (1) with two commuting Killing fields ∂φ and ∂z.
Standard symmetry reduction to 2+1 dimensions, stated in Section II.A.
domain assumption Burnett/Green-Wald high-frequency conditions (i)-(iv) as given in Section III.
The framework is imported from the cited literature [9,11]; the paper verifies these conditions for its families (with caveats for the Chandrasekhar case).
ad hoc to paper Harmonic-oscillator ansatz (5) for ω: ω̈ + ω/λ² = Y/λ.
A simplifying assumption adopted in Section II.B that restricts to single-frequency standing waves; it is satisfied by both solutions but is not derived.
ad hoc to paper For Halilsoy: additional assumption (7) ψ̇ω̇ - ψ'ω' = 0.
Stated in Section II.B.1 as a simplifying assumption that leads to the Bessel equation for ω and the characteristic solution for ψ.
ad hoc to paper For Chandrasekhar: separability ansatz Ψ̂ = Z cos(t/λ) + W and gauge fixing R = 1.
Introduced in Section II.B.2 to reduce the PDEs to ODEs; the gauge fixing R=1 is not fully justified from coordinate freedom.
ad hoc to paper For Chandrasekhar high-frequency limit: F(ρ) is approximated by β√(λ/2)J0(ρ/λ).
Used in Section IV.B to avoid solving the nonlinear ODE (20); the approximation is stated without control of the error in the weak limit.
domain assumption Weak energy condition for the residual T(λ) is assumed implicitly but not verified.
The Green-Wald non-vacuum extension requires WEC; the paper explicitly states it was not verified (Section IV.B).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Backreaction of Halilsoy and Chandrasekhar waves." pith.science (2026). https://pith.science/paper/FOERPR2F

@misc{pith2026250904230,
  author       = {Pith},
  title        = {Pith review of: Backreaction of Halilsoy and Chandrasekhar waves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FOERPR2F}},
  note         = {Machine review of arXiv:2509.04230}
}

read the original abstract

We calculate the high-frequency limit of the Halilsoy and Chandrasekhar standing gravitational wave solutions. We show that the backreaction effect is the same for these classes of solutions and we analyze the causal structure of the effective spacetime. In addition, we rederive both classes of solutions without referring to the Ernst equation and generation techniques.

Figures

Figures reproduced from arXiv: 2509.04230 by the authors.

**Figure 1.** The Penrose diagram. falls-off slower than than O(1/ρ5/2 ) and O(1/ρ2 ). In contrary to that, e 2β 2ρ π Ψ4 falls-off faster than O(1/ρ1/2 ), hence it satisfies the peeling property. Although the Weyl tensor, the Kretschmann scalar and the energy density of null dust vanish at null infinities, the Morgan spacetime restricted to z = consts hypersurfaces is neither asymptotically flat in the standard sense nor in the … view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Frame Degeneracy and Sine-Quadrature Residuals in Lunar Tidal Modeling
math-ph 2026-05 unverdicted novelty 5.0 of 10

Introduces a Halilsoy-inspired alpha-dependent cross-tidal residual that rotates the lunar tidal eigenframe and adds a sin(2 beta) channel strongest at 45-degree angles.

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.