Null coordinates for quasi-periodic $(1+1)$-dimensional wave operators on the circle with applications to reducibility

Athanasios Chatzikaleas; Jacques Smulevici

REVIEW 2 major objections 5 minor 14 references

Null coordinates for quasi-periodic $(1+1)$-dimensional wave operators on the circle with applications to reducibility

T0 review · 2 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash

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

Pith's one-line read Small quasi-periodic perturbations of 1+1 wave operators can be flattened by global null coordinates.

desk verdict The null-coordinate construction is a real new result, but Proposition 1.10 is algebraically wrong, so the reducibility application does not hold as written. read the letter →

arxiv 2502.04826 v1 pith:2TRP7KGY submitted 2025-02-07 math.AP gr-qc

Athanasios Chatzikaleas , Jacques Smulevici This is my paper · ORCID

classification math.APgr-qc MSC 35L0535B1037K55

keywords nullcoordinatesquasi-periodicreducibilityKlein-GordonequationeikonalLorentzianmetrictameestimateswaveoperator

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 tries to establish that any sufficiently small quasi-periodic perturbation of the one-dimensional wave operator on a circle can be transformed, by a global change of coordinates, into an operator whose principal part has constant coefficients up to an explicit conformal factor. The new coordinates are null coordinates, obtained by solving the eikonal equations as transport equations, and the whole problem is reduced to straightening a quasi-periodic vector field on the torus. The transformation is required to preserve quasi-periodicity and to satisfy tame estimates, so that it can be used inside iterative perturbation schemes. As an application, the paper recovers a recent reducibility result for the quasi-periodically forced linear Klein-Gordon equation with maximal order perturbations, without relying on quantitative pseudo-differential conjugation estimates.

What carries the argument

The mechanism is the pair of null-coordinate transport equations $\partial_t u + A\partial_x u = 0$ and $\partial_t v - A\partial_x v = 0$, whose solutions put the metric in conformally flat form. Writing $u = t/\rho - x + U$ and $v = t/\rho + x + V$, the paper reduces both equations to the single inhomogeneous equation $\omega\cdot\partial_\varphi U + A\partial_x U = A - m_\infty$, which is exactly the equation solved by the straightening diffeomorphism of the vector field $X_0 = \omega\cdot\partial_\varphi + (1+a_0)\partial_x$; the reducibility of such vector fields is imported as a black-box proposition. Once $U,V$ and $m_\infty$ are known, the coordinate map $C_\omega$ and the conformal factor $\Omega^2 = -1/(A\,\partial_x u\,\partial_x v)$ are explicit, and the tame estimates follow from standard composition estimates for diffeomorphisms close to the identity.

What would settle it

Take a single-mode perturbation $A = 1 + \varepsilon\cos(\ell\cdot\varphi + jx)$, solve the transport equations for $U$ and $V$ by Fourier series, and check directly whether the metric in the resulting $(\tau,R)$ coordinates vanishes in its $d\tau\,dR$ and $dR^2$ coefficients to first order in $\varepsilon$; any nonzero residual cross term at that order would contradict Theorem 1.1.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.1: for a small function $A$, even in both the phase variable $\varphi$ and the spatial variable $x$, the Lorentzian metric $g = -A\,dt\otimes dt + A^{-1}\,dx\otimes dx$ on $\mathbb{R}_t\times S^1_x$ admits a global coordinate system $(\tau,R)$ in which $g = \Omega^2(-\alpha(\omega)^{-2}d\tau\otimes d\tau + dR\otimes dR)$, where $\alpha(\omega)$ is Lipschitz close to $1$, $\Omega$ is quasi-periodic, and the coordinate map sends quasi-periodic functions to quasi-periodic functions with tame estimates. The construction starts with the eikonal equations $\partial_t u + A\partial_x u = 0$ and $\partial_t v - A\partial_x v = 0$, parametrizing $u$ and $v$ by quasi-periodic deviations $U,V$ from the flat null coordinates. Solving for $U$ reduces to the same inhomogeneous transport equation that straightens the vector field $\omega\cdot\partial_\varphi + (1+a_0)\partial_x$, and the constant $\alpha$ is the inverse of the resulting straightened frequency. In these coordinates the second-order perturbation term of the Klein-Gordon equation becomes a conformally flat constant-coefficient wave operator, leaving only lower-order quasi-periodic terms.

Load-bearing premise

The load-bearing premise is that a small quasi-periodic perturbation of a constant transport vector field on the torus can be straightened to constant coefficients with tame estimates; the paper imports this as a black box rather than proving it.

Editorial extensions

If this is right

For every $\omega$ in the full-measure set $\mathcal{O}^{2\gamma}_\infty$, the principal symbol of the wave operator becomes $-\alpha(\omega)^{-2}\partial_\tau^2 + \partial_R^2$ up to the conformal factor $\Omega^2$.
Under the parity assumptions, equation (1.1) is reduced to a Klein-Gordon equation whose only remaining quasi-periodic coefficients are of order zero, with tame bounds; the first-order $\partial_R$ term is then removed by a parity-preserving pseudo-differential change of variables.
Without parity assumptions, the geometric wave equation $\Box_g\psi = 0$ has global solutions that are almost-periodic in time and satisfy uniform Sobolev bounds for all time.
The maximal-order perturbation $B^{xx}\partial_x^2\psi$ is handled by a pure change of coordinates, without pseudo-differential conjugation estimates; this also simplifies the treatment of the first-order terms.

Reading between the lines

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

Because the construction avoids positive/negative frequency projections and explicit eigenfunctions, it may transfer to settings whose unperturbed modes are not trigonometric, such as Sturm-Liouville problems or spherical-symmetry models of anti-de Sitter space.
The constant $\alpha(\omega)$ is determined as the inverse of the mean of $A\circ\Psi^{-1}$; this yields a concrete, computable first-order formula for the dressed frequency in applications.
A natural testable extension is to iterate the coordinate construction on the residual conformal factor $\Omega$ to see whether the conformal factor can be eliminated entirely, turning conformal reducibility into exact reducibility.

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

Quick take: The geometric construction in Theorems 1.1 and 1.8 is genuinely new and looks sound. The application to Klein–Gordon reducibility, however, contains a broken identity in Proposition 1.10 that invalidates the claimed reduction of the order-one terms.

What the paper does well: it recasts the problem of flattening the principal symbol as a transport problem, then reduces that to the known vector-field straightening result of Feola–Giuliani–Montalto–Procesi. The tame estimates and parity properties are tracked carefully. The paper is honest about using [10] as a black box and about outsourcing the final order −1 reduction to previous work.

The problem is in §4.3. Proposition 1.10 claims that for P = exp(−H/(2α²)) with ∂τH = Gτ, the operator ~L2 = L2 + 2P^{-1}(∂RP)∂R satisfies ~L2(Ph) = P L1 h + G2 h. Expanding L2(Pφ), the time-derivative terms do not cancel unless the exponent sign is flipped: one needs P = exp(+H/(2α²)). But even with that sign fixed, the spatial terms fail. The expansion gives a ∂Rφ coefficient (2∂RP − GRP)∂Rφ, and adding 2P^{-1}(∂RP)∂R(Pφ) changes it to (4∂RP − GRP)∂Rφ, which is not zero for generic GR and P. So the identity is algebraically false. To cancel the spatial term one would need ~L2 = L2 + (GR − 2P^{-1}∂RP)∂R, not the operator stated.

This matters because Proposition 1.10 is the step that removes the Gτ∂τ term from equation (4.4). Without it, the reduction to (4.6) and the novel proof of reducibility collapse. The core null-coordinate theorem does not depend on this, so that part may survive a revision. But the application section as written is not correct.

Verdict: worth refereeing — the main construction is a real contribution and the error is local and fixable. A referee would demand a corrected Proposition 1.10 or a revised claim about what the method proves. I would send it to review expecting major revision.

Referee Report

2 major / 5 minor

Summary. The paper develops a geometric method to construct global null coordinates for small quasi-periodic perturbations of the (1+1)-dimensional wave operator on the circle. For a metric g = -A dt^2 + A^{-1} dx^2 with A quasi-periodic and even, the authors solve the Eikonal equations by reducing them to transport equations, which are straightened using a black-box vector-field reducibility theorem of Feola-Giuliani-Montalto-Procesi. The resulting coordinate change maps quasi-periodic functions to quasi-periodic functions with tame estimates, and the principal symbol becomes constant coefficients up to a conformal factor. The method is then applied to a reducibility problem for a quasi-periodically forced linear Klein-Gordon equation, with the aim of simplifying the treatment of maximal-order terms without Egorov-type estimates.

Significance. If the main theorems hold, Theorem 1.1 provides a useful geometric normal form for quasi-periodic Lorentzian metrics on the cylinder, with explicit tame estimates and preservation of parity and reversibility. The proof of Theorem 1.1 is detailed, with careful bookkeeping of Sobolev losses, and the use of the vector-field straightening result is clearly isolated. However, the application to reducibility rests on Proposition 1.10, which contains a sign error that invalidates the reduction from (4.4) to (4.6) as stated. Since the paper's stated novelty is the treatment of the maximal-order terms, this error is load-bearing; the result is not established without a correction. The final reduction of order -1 terms is also explicitly outsourced to [4], so the claim of a 'novel proof' of the full reducibility result should be qualified.

major comments (2)

[Section 4.3, Proposition 1.10] The proof of Proposition 1.10 does not establish the stated identity. With P = e^{-H/(2α^2)} and ∂τP = -GτP/(2α^2), the displayed computation gives L2(Pφ) = P L1φ + 2P Gτ∂τφ + ...; the ∂τφ terms double instead of cancelling. Replacing P by e^{+H/(2α^2)} makes the ∂τ cancellation work, but then the operator ~L2 = L2 + 2P^{-1}(∂RP)∂R still fails: expanding (L2 + 2P^{-1}(∂RP)∂R)(Pφ) yields a ∂Rφ coefficient 4∂RP, not zero. The correct correction is -2P^{-1}(∂RP)∂R, i.e. ~L2 = L2 - 2P^{-1}(∂RP)∂R. Since Proposition 1.10 is the step that removes Gτ∂τφ before the first-order reduction, the derivation of (4.6) and hence the application to reducibility are not established as written.
[Section 1.2 and Remark 1.13] The abstract and introduction describe the paper as providing a novel proof of a reducibility result of Berti-Feola-Procesi-Terracina, but Proposition 1.11 only reduces the equation to one with a pseudo-differential remainder of order -1, and the final step to a constant-coefficient normal form is taken from [4] and is not proved here. This is partially acknowledged in Remark 1.13, but the wording of the abstract and Theorem-oriented claims overstates the scope. The authors should state explicitly which parts of the reducibility theorem are reproved and which are imported.

minor comments (5)

[Section 4.3] In the proof of Proposition 1.10, the condition ⟨P⟩_{φ,R} = 0 should be ⟨H⟩_{φ,R} = 0, since P is defined as an exponential and has mean close to 1 rather than 0.
[Section 4.1, equation (4.1)] In the second term inside the brackets, ∂xψ should be ∂tψ; the same typo appears in the following displayed line before the chain-rule computation.
[Section 1, equation (1.9)] The notation '(l,j)' in the diophantine condition should be '(ℓ,j)' with ℓ ∈ Z^ν, and the set should be written as Z^{ν+1} \ {0} with consistent notation.
[Section 3.3, estimate (3.24)] The estimate for ‖O^2 - 1‖ has an unbalanced parenthesis and the right-hand side mixes O^2 and Ω² notation; this should be cleaned up for readability.
[Section 2.2] There are minor typos, e.g. 'diﬀeomoprhism' for 'diffeomorphism', and the statement of Proposition 2.1 should specify more clearly the dependence of β on ω.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the null-coordinate construction rests on an independent vector-field straightening theorem, and the reducibility application explicitly imports external lemmas rather than assuming its own conclusion.

full rationale

The main geometric construction in Section 3 solves the eikonal equations (3.3) by writing the null coordinates as u = t/ρ + x + U and v = t/ρ - x + V, reducing the problem to the inhomogeneous transport equations (3.8)-(3.9). Solvability is imported as Proposition 2.1 from the independent work of Feola, Giuliani, Montalto and Procesi [10], not from the present paper and not from the target reducibility theorem. The smallness assumption (1.8) is exactly the hypothesis (2.5) of that external result, and the metric form (1.10) follows by direct substitution (3.4)-(3.6); the parameter α(ω) is fixed as m^{-1}, where m∞ is the straightened frequency produced by Proposition 2.1, so there is no fitted parameter later advertised as a prediction. In the application to the Klein-Gordon equation, Lemma 4.1 derives the reduced equation (4.4) by the chain rule together with tame estimates, Proposition 1.10 is an explicit multiplication-operator computation, and Proposition 1.11 invokes the technical lemmas [4, Lemma 9.6, Lemma 3.7] and follows the proof of [4, Proposition 9.5]. This reliance on [4] is an acknowledged import of external prior work, not a circular dependence: the cited lemmas are not assumptions equivalent to the theorem being proved, and the paper still supplies its own reduction of the maximal-order terms. The uniqueness claim in Remark 1.7 is traced to the diophantine kernel argument in Remark 2.2, again using the imported straightening result. No step makes the output equal to its input by definition, and there are no load-bearing self-citations. The lower-order part of the reducibility proof is inherited from the literature, which affects novelty but not circularity.

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

The central claim rests on standard functional analysis, the external vector-field straightening theorem [10], and the diophantine small-divisor condition. The adjustable parameters α, α_± are fixed by solvability conditions, not by fitting data. No new physical entities are introduced.

free parameters (2)

α(ω) (time rescaling factor) = α = m_∞^{-1}(ω), close to 1
Introduced as an adjustable parameter in the ansatz (3.7)-(3.4) for null coordinates; fixed by the zero-mean solvability condition 1/ρ = ⟨A∘Ψ^{-1}⟩ = m_∞(ω). It is determined by the construction, not fitted to data.
α_±(ω) (Theorem 1.8, no parity case) = α_± = 1/ρ_±(ω), close to 1
Analogous adjustable parameters in the no-parity case, fixed by the two zero-mean conditions 1/ρ_± = ⟨A∘Ψ_±^{-1}⟩.

assumptions (4)

standard math Sobolev embedding, tame algebra and interpolation estimates (Section 2.1)
Standard Fourier analysis estimates used throughout the paper.
domain assumption Proposition 2.1 from [10]: reducibility of Lipschitz families of vector fields on the torus
Black box used in Section 3.1 to solve the transport equations for U and V and to obtain tame estimates. Not proved in this paper.
ad hoc to paper Diophantine non-resonance condition (1.9)/(1.15) defining O^{2γ}_∞
The construction only works for frequencies in this set, which has asymptotically full measure as γ→0 (Remark 1.2). This is a standard assumption in KAM theory, but it restricts the validity of the theorem.
domain assumption Lemmas from [4] (Lemma 3.7, Lemma 9.6, etc.) used in Section 4.4 for pseudo-differential normal form
Relied upon for the reduction of first-order terms in the Klein-Gordon application.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Null coordinates for quasi-periodic $(1+1)$-dimensional wave operators on the circle with applications to reducibility." pith.science (2026). https://pith.science/paper/2TRP7KGY

@misc{pith2026250204826,
  author       = {Pith},
  title        = {Pith review of: Null coordinates for quasi-periodic $(1+1)$-dimensional wave operators on the circle with applications to reducibility},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2TRP7KGY}},
  note         = {Machine review of arXiv:2502.04826}
}

abstract

Given any wave operator with principle part $\partial_{t}^2 -\partial_{x}^2 +\mathcal{B}^{xx}(\omega t,x)\partial_{x}^2$, where $\mathcal{B}^{xx}:\mathbb{T}^{\nu+1} \rightarrow \mathbb{R}$ is a sufficiently small, quasi-periodic perturbation and $\omega \in \mathbb{R}^\nu$, we explain how to construct \emph{null coordinates} that respect the quasi-periodicity of the solutions. As it turns out, in these coordinates, the principal symbol of the wave operator above has constant coefficients. To construct these coordinates, we start by writing the wave operator in geometric form, modulo terms of order $1$, meaning as the wave operator arising from an $(1+1)$-Lorentzian metric and then define null coordinates as solutions to the Eikonal equations, so that the metric is conformally flat in these coordinates. The problem of constructing these coordinates is then eventually reduced to that of straightening a vector field with quasi-periodic coefficients. As an application, we give a novel proof of a recent reducibility result of Berti-Feola-Procesi-Terracina for the quasi-periodically forced linear Klein-Gordon equation, the novelty concerning essentially the analysis of the maximal order terms. In particular, the method we propose here does not rely on any quantitative Egorov-type result.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 13 canonical work pages

[10]

Reducibility of first order linear operators on tori via Moser's theorem

Roberto Feola, Filippo Giuliani, Riccardo Montalto, a nd Michela Procesi. Reducibility of ﬁrst order linear opera tors on tori via moser’s theorem. arXiv:1801.04224

work page Pith review arXiv
[4]

Reducibility of klein-gordon equati ons with maximal order perturbations, 2024

Massimiliano Berti, Roberto Feola, Michela Procesi, an d Shulamit Terracina. Reducibility of klein-gordon equati ons with maximal order perturbations, 2024

work page 2024
[1]

K AM theory for the Hamiltonian derivative wave equation

Massimiliano Berti, Luca Biasco, and Michela Procesi. K AM theory for the Hamiltonian derivative wave equation. Ann. Sci. Éc. Norm. Supér. (4) , 46(2):301–373, 2013

work page 2013
[2]

K AM for reversible derivative wave equations

Massimiliano Berti, Luca Biasco, and Michela Procesi. K AM for reversible derivative wave equations. Arch. Ration. Mech. Anal., 212(3):905–955, 2014

work page 2014
[3]

Quasi-periodic solutions of nonlinear wave equations on th ed-dimensional torus

Massimiliano Berti and Philippe Bolle. Quasi-periodic solutions of nonlinear wave equations on th ed-dimensional torus. EMS Monographs in Mathematics. EMS Publishing House, Berli n, [2020] ©2020

work page 2020
[5]

Time periodic solutions of completely resonant klein -gordon equations on S3, 2023

Massimiliano Berti, Beatrice Langella, and Diego Silim bani. Time periodic solutions of completely resonant klein -gordon equations on S3, 2023

work page 2023
[6]

Quasi-perio dic standing wave solutions of gravity-capillary water wav es

Massimiliano Berti and Riccardo Montalto. Quasi-perio dic standing wave solutions of gravity-capillary water wav es. Mem. Amer. Math. Soc. , 263(1273):v+171, 2020

work page 2020
[7]

Weakly turbulent instability of anti–de sitter spacetime

Piotr Bizoń and Andrzej Rostworowski. Weakly turbulent instability of anti–de sitter spacetime. Phys. Rev. Lett. , 107:031102, Jul 2011

work page 2011

Show all 14 references

[8]

Non-li near periodic waves on the Einstein cylinder

Athanasios Chatzikaleas and Jacques Smulevici. Non-li near periodic waves on the Einstein cylinder. arXiv e-prints , page arXiv:2201.05447, January 2022

2022 arXiv
[9]

Time pe riodic solutions and nekhoroshev stability to non-linear m assive klein-gordon equations in anti-de sitter, 2023

Athanasios Chatzikaleas and Jacques Smulevici. Time pe riodic solutions and nekhoroshev stability to non-linear m assive klein-gordon equations in anti-de sitter, 2023

2023
[11]

Franzoi and A

L. Franzoi and A. Maspero. Reducibility for a fast-driv en linear Klein-Gordon equation. Ann. Mat. Pura Appl. (4) , 198(4):1407–1439, 2019

2019
[12]

Time-per iodic solutions in an einstein ads–massless-scalar-ﬁeld s ystem

Maciej Maliborski and Andrzej Rostworowski. Time-per iodic solutions in an einstein ads–massless-scalar-ﬁeld s ystem. Phys. Rev. Lett. , 111:051102, Aug 2013

2013
[13]

Quasi-periodic solutions of force d Kirchhoﬀ equation

Riccardo Montalto. Quasi-periodic solutions of force d Kirchhoﬀ equation. NoDEA Nonlinear Diﬀerential Equations Appl., 24(1):Paper No. 9, 71, 2017

2017
[14]

A reducibility result for a class of linear wave equations on Td

Riccardo Montalto. A reducibility result for a class of linear wave equations on Td. Int. Math. Res. Not. IMRN , (6):1788–1862, 2019. 36 Institut de Ma théma tiques, École Polytechnique Fédérale de Lausanne (EPFL), 1015 Lausanne, Switzer- land Email address : athanasios.chatzi...

2019

Pith tools

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

[1] [10]

Reducibility of first order linear operators on tori via Moser's theorem

Roberto Feola, Filippo Giuliani, Riccardo Montalto, a nd Michela Procesi. Reducibility of ﬁrst order linear opera tors on tori via moser’s theorem. arXiv:1801.04224

work page Pith review arXiv

[2] [4]

Reducibility of klein-gordon equati ons with maximal order perturbations, 2024

Massimiliano Berti, Roberto Feola, Michela Procesi, an d Shulamit Terracina. Reducibility of klein-gordon equati ons with maximal order perturbations, 2024

work page 2024

[3] [1]

K AM theory for the Hamiltonian derivative wave equation

Massimiliano Berti, Luca Biasco, and Michela Procesi. K AM theory for the Hamiltonian derivative wave equation. Ann. Sci. Éc. Norm. Supér. (4) , 46(2):301–373, 2013

work page 2013

[4] [2]

K AM for reversible derivative wave equations

Massimiliano Berti, Luca Biasco, and Michela Procesi. K AM for reversible derivative wave equations. Arch. Ration. Mech. Anal., 212(3):905–955, 2014

work page 2014

[5] [3]

Quasi-periodic solutions of nonlinear wave equations on th ed-dimensional torus

Massimiliano Berti and Philippe Bolle. Quasi-periodic solutions of nonlinear wave equations on th ed-dimensional torus. EMS Monographs in Mathematics. EMS Publishing House, Berli n, [2020] ©2020

work page 2020

[6] [5]

Time periodic solutions of completely resonant klein -gordon equations on S3, 2023

Massimiliano Berti, Beatrice Langella, and Diego Silim bani. Time periodic solutions of completely resonant klein -gordon equations on S3, 2023

work page 2023

[7] [6]

Quasi-perio dic standing wave solutions of gravity-capillary water wav es

Massimiliano Berti and Riccardo Montalto. Quasi-perio dic standing wave solutions of gravity-capillary water wav es. Mem. Amer. Math. Soc. , 263(1273):v+171, 2020

work page 2020

[8] [7]

Weakly turbulent instability of anti–de sitter spacetime

Piotr Bizoń and Andrzej Rostworowski. Weakly turbulent instability of anti–de sitter spacetime. Phys. Rev. Lett. , 107:031102, Jul 2011

work page 2011