Half-Wave Maps: Explicit Formulas for Rational Functions with Simple Poles

Gaspard Ohlmann

REVIEW 3 major objections 6 minor 1 cited by

Half-Wave Maps: Explicit Formulas for Rational Functions with Simple Poles

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

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

Pith's one-line read The half-wave maps equation admits an explicit formula for rational simple-pole solutions: the full time evolution collapses into a resolvent built from the initial data.

desk verdict Genuinely new explicit formula for half-wave maps in the rational simple-pole class, with an elegant half-spin/doubled-matrix proof; the main theorem statement has a repairable dimension mismatch and an unstated branch compatibility condition. read the letter →

arxiv 2412.00910 v1 pith:LG2TOSSF submitted 2024-12-01 math.AP

Gaspard Ohlmann This is my paper · ORCID

classification math.AP MSC 35Q5135C0837K10

keywords half-wavemapsequationrationalsolutionssimplepolesexplicitformulaLaxpairhalf-spinformulationToeplitzoperatorHardyspace

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 Half-Wave Maps equation $\partial_t m = m \times |\nabla| m$ describes a spin field on the line, and its rational solutions with simple poles form the natural multi-soliton sector of the equation. This paper takes that sector and proves it is exactly solvable: there is a closed formula for the solution at every time in which nothing has to be evolved numerically, because all time-dependent factors cancel into matrices determined by the initial data at $t=0$. The formula, given in a constant-matrix form and in an equivalent Toeplitz-operator form on the Hardy space $L^2_+(\mathbb{R})$, is the half-wave-maps analogue of the explicit Benjamin–Ono formula, and it reduces well-posedness and asymptotic questions for these solutions to finite-dimensional linear algebra. The payoff is that the formula turns a nonlinear PDE into a resolvent computation, opening a direct route to long-time behavior, conserved quantities, and scattering for the rational sector.

What carries the argument

The argument rides on two evolutions that cancel each other exactly. The Lax pair gives the pole matrix $X(t)=U(t)(X(0)+tL(0))U(t)^{-1}$ in the moving frame $U(t)$ defined by $\dot U = B U$, $U(0)=I_N$, where $B_{j,k}=(1-\delta_{j,k})(\xi_j\cdot e_k)/(x_j-x_k)^2$. The half-spin formulation factorizes each spin residue as $A_j=E_j H F_j$ with canonical half-spins $e_j=(\alpha_j,\beta_j)$ and $\xi_j=(\beta_j,-\alpha_j)$, and Lemma 2.1 shows the half-spin matrices evolve in the same frame: $E(t)T=[U(t)]E(0)T$ and $F(t)T=[U(t)]F(0)T$. Substituting both evolutions into the identity $\Pi_- V = -T^T E H [X-xI_N]^{-1} F T$, the frame factors cancel, leaving the constant-matrix formula of Theorem 2.3; a basis change on $L^2_+(\mathbb{R})$, where $G$ and $T_{U_0}$ act, translates this into the operator formula of Theorem 1.1.

What would settle it

Take a concrete rational initial datum with two simple poles, fix one branch choice for the square roots, and compare the explicit formula's output at several times $t$ against a direct numerical integration of the pole/spin ordinary differential equations; the claim fails if the outputs differ, and it is ill-posed if flipping the sign of a single initial half-spin changes the predicted evolution.

Watch

Extended reading notes

Core claim

The central claim is that every rational solution of the half-wave maps equation of the form $M(t,x)=M_0+V(t,x)$ with $V(t,x)=\sum_j A_j(t)/(x-x_j(t))+\sum_j A_j^*(t)/(x-\bar{x}_j(t))$ and $\operatorname{Im}x_j(t)>0$ satisfies the explicit formula $\Pi_- V(t,x) = -T^T E(0) H [X(0)+tL(0)-xI_N]^{-1} F(0) T$. Here $X(0)$ is the diagonal matrix of initial poles, $L(0)$ is the Lax matrix at $t=0$, $E(0)$ and $F(0)$ are built from the canonical half-spins given by square roots of the initial spin residues, and $T$ and $H$ are fixed structural matrices. Equivalently, after a change of basis on the Hardy space, $\Pi_+ V(t,x) = \frac{1}{2i\pi} I_+\big[(G-tT_{U_0}-x\,\mathrm{Id})^{-1}\Pi_+ V(0)\big]$, where $G$ is the adjoint of multiplication by $x$ and $T_{U_0}$ is a Toeplitz operator. The claim is that these formulas reproduce the full nonlinear dynamics of the poles and spins exactly, with no approximation.

Load-bearing premise

Everything rests on the claim that the auxiliary matrix system ('Lax pair') governing the poles and half-spins is correct for complex-valued spins, with a single consistent choice of the square-root branches that define the half-spins; if that evolution is wrong, or the branch convention is inconsistent, the cancellation that leaves only the time-zero matrices in the final formula breaks down.

Editorial extensions

If this is right

Because the resolvent $[X(0)+tL(0)-xI_N]^{-1}$ is the only quantity carrying the time dependence, the pole positions at time $t$ are the eigenvalues of $X(0)+tL(0)$.
Global existence for rational simple-pole solutions becomes a spectral question: the solution loses regularity exactly when an eigenvalue of $X(0)+tL(0)$ crosses the real axis.
Asymptotic behavior as $t\to\infty$ is governed by the spectrum of $L(0)$, so long-time dynamics in the rational sector is finite-dimensional linear algebra rather than PDE analysis.
The equivalence between the constant-matrix and Toeplitz-operator formulas shows that the rational sector of half-wave maps obeys the same resolvent structure as Benjamin–Ono, sharpening the conjectured analogy between the two equations.
Conserved quantities and scattering data for rational solutions can in principle be read directly from the constant matrices $E(0)$, $F(0)$, $X(0)$, and $L(0)$ at the initial time.

Reading between the lines

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

A testable extension is to allow multiple poles: the resolvent would then develop Jordan blocks, and the difference between simple and multiple poles should appear exactly as the difference between a diagonalizable and a defective matrix $X(0)+tL(0)$; the paper's closing remarks point in this direction.
The formula suggests a practical numerical method for the soliton sector: evaluate one matrix inverse per output point instead of integrating the PDE, with cost independent of the time step, making long-time simulations essentially free.
Because the canonical half-spins are square roots of initial spin components, the formula is well-defined only under a fixed branch convention; testing whether the physical spin field is invariant under simultaneous sign flips of the half-spins would reveal whether the ambiguity is a harmless gauge freedom or a genuine obstruction.
If the resolvent structure persists as the leading-order approximation for near-rational data, it could become the first step of a nonlinear scattering theory for the one-dimensional half-wave maps equation, where the usual small-data tools fail at energy-critical regularity.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

The short version: this paper delivers the first explicit solution formula for half-wave maps in the rational simple-pole class, and the half-spin/doubled-matrix trick is a genuinely new way to get it. But the main theorem as printed is dimensionally ill-formed, and the branch-choice issue around the square roots needs to be stated explicitly. Both are repairable.

What is new: Gerard's formula for Benjamin-Ono has been adapted to HWM before? No—previous work had Lax pairs, pole-spin ODEs, and well-posedness, but no closed-form solution. The author gets one by introducing canonical half-spins and doubling the pole matrix X and Lax matrix L from N×N to 2N×2N. The moving-frame cancellation in Theorem 2.3 is elegant: the evolving U(t) cancels exactly, leaving only initial-data matrices. That is a real contribution, and the Toeplitz-operator rewriting in Theorem 1.1 connects it back to the Gerard-type formula.

I checked the key steps. Lemma 2.1's half-spin dynamics follows from the spin ODEs; the trace identity in Lemma 2.2 that the reader flagged is actually correct—Tr(9F_j H E_k) = 9β_j α_k − 9α_j β_k = 9ξ_j·e_k. No slip there.

The soft spots are the two the stress test caught. First, the statement of Theorem 1.2 (and 2.3) puts an N×N inverse between 2N×2N matrices. As written you cannot multiply. The proof uses the doubled matrices [X(0)]+t[L(0)]−xI_{2N}; the statement just omits the brackets. A reader can infer the fix, but the theorem should say what it means. Second, α_j and β_j are square roots, and the formula is only branch-invariant if L(0) is defined from the same half-spin construction as in (21), not read as Matsuno's spin-only Lax matrix with independently chosen branch signs. The proof uses (21), so again the intended reading is clear, but the theorem does not state it.

These are presentation defects in the central claim, so they matter. But they are not mathematical errors in the derivation, and the intended corrections are unambiguous.

Who this is for: people working on HWM, spin Calogero-Moser systems, and integrable PDEs. The formula should be a useful tool for global existence and asymptotics. It deserves a serious referee; I would send it back for revision rather than desk reject.

Referee Report

3 major / 6 minor

Summary. This paper establishes explicit solution formulas for the one-dimensional half-wave maps (HWM) equation in the rational sector with only simple poles. After setting up the 2x2 Pauli-matrix representation, the author factorizes each spin residue as A_j = E_j H F_j with diagonal 'half-spin' matrices E_j, F_j built from square roots of the spin components, and proves in Lemma 2.1 that the half-spins evolve linearly in the moving frame of the Lax pair: E(t)T = [U(t)]E(0)T and F(t)T = [U(t)]F(0)T. Lemma 2.2 identifies the Matsuno Lax matrices L and B in terms of the half-spins and verifies the Lax equation dL/dt = [B,L]. Theorem 2.3 combines the pole motion X(t) = U(t)(X(0)+tL(0))U(t)^{-1} with the half-spin evolution to obtain a constant-matrix formula for the negative-frequency part, Pi_-V(t,x) = -T^T E(0)H[X(0)+tL(0)-xI_N]^{-1}F(0)T. Theorem 2.5 then proves the equivalence of this formula with the Hardy-space Toeplitz formula Pi_+V(t,x) = (1/2i pi) I_+[(G-tT_{U0}-x)^{-1}Pi_+V_0], which is stated as Theorem 1.1 and is analogous to Gerard's formula for Benjamin-Ono. The intended applications are global well-posedness and asymptotic analysis in the rational simple-pole sector.

Significance. If the formulas are correct, this is the first explicit finite-dimensional description of the evolution of rational simple-pole solutions of the half-wave maps equation, in the spirit of Gerard's Benjamin-Ono formula, and it resolves (in this sector) the conjecture recalled in the introduction. The derivation is parameter-free: every constant in the final matrix formula is read off from the initial data E(0), F(0), L(0), X(0), with no fitted or adjustable parameters. The moving-frame cancellation in Theorem 2.3, in which the time-dependence of the half-spins and of the poles cancels to leave only initial data, is elegant, and the reduction of the Hardy-space inverse (G-tT_{U0}-x)^{-1} to finite-dimensional linear algebra is a genuine technical achievement. I checked the main algebraic steps (the half-spin ODE, the trace identities in Lemma 2.2, and the cancellation leading to Theorem 2.3) and found them internally consistent. The problems I found are concentrated in the statements of the main theorems, which as printed are ambiguous or dimensionally ill-defined; they require correction but not a change of argument.

major comments (3)

[Theorems 1.2 and 2.3; Lemma 2.4]
[Theorems 1.2 and 2.3; definitions of alpha_j, beta_j, and L(0)]
[Theorem 1.2; definitions of E and F]

minor comments (6)

[Lemma 2.2, proof (diagonal of dL/dt)]
[Lemma 2.2, statement (19)-(20)]
[Lemma 2.2, proof (off-diagonal reduction)]
[Theorem 2.5, proof]
[Theorem 1.1]
[Theorem 2.5, proof]

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the explicit formula is a parameter-free consequence of the external Lax-pair dynamics and the half-spin factorization; the only self-citation is motivational.

full rationale

The derivation is self-contained once the external Lax-pair dynamics of [19] and the spin-pole formulation of [14] are accepted. Theorem 2.3 starts from the exact identity (24), -T^T E(t) H [X(t)-x I_N]^-1 F(t) T = sum_j A_j(t)/(x-x_j(t)) = Pi_-V(t,x), which is just the half-spin factorization A_j = E_j H F_j in (6)/(11); it then substitutes the Lax-pair evolution X(t)=U(t)(X(0)+tL(0))U(t)^-1 and the half-spin evolutions E(t)T=[U(t)]E(0)T, F(t)T=[U(t)]F(0)T from Lemma 2.1, which is proved from the spin equation (12). No parameter is fitted to the target formula; all constants in the statement are initial values E(0), F(0), L(0), X(0). The paper's only self-citation, [18], appears in the introduction as motivation and is not used in any proof. The half-spin factorization is an ansatz for representing A_j, not an assumption of the conclusion. I find no step where a 'prediction' reduces by construction to an input. The paper explicitly acknowledges that extension to multiple poles or general solutions is beyond its scope; this is a limitation statement, not a circular step. A small presentation defect exists in Theorem 2.3, where the inverse should be read with the doubled matrix [X(0)+tL(0)-x I_N] to match the 2N x 2N neighboring factors, but this affects well-formedness, not circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper introduces no free parameters and no new physical entities. It relies on two prior structural results (the Lax pair and the pole-spin equivalence) and standard Hardy-space theory. The central new objects are the half-spin matrices E and F, which are constructed explicitly from the spins (with a branch-choice caveat) rather than postulated.

assumptions (3)

domain assumption The Lax pair (2) from Matsuno [19] describes the evolution of the pole and spin matrices for half-wave maps rational solutions, in the form employed in Section 2.2.
The paper relies on this prior result to write X(t)=U(t)(X(0)+tL(0))U(t)^{-1} and L(t)=U(t)L(0)U(t)^{-1}; if the Lax pair holds only for a narrower class, the moving-frame simplification breaks.
domain assumption The equivalence between half-wave maps dynamics in the rational simple-pole ansatz and the pole-spin ODEs with constraints (from [14]) is valid.
Used in Section 1.1 and Appendix B to convert the PDE into finite-dimensional ODEs for x_j and s_j.
standard math The Hardy-space and Toeplitz operator formalism (Π_+, G, I_+, T_g) satisfies the standard identities invoked in Section 2.3, including the representation of G on the basis B.
Standard harmonic analysis background, no special assumptions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Half-Wave Maps: Explicit Formulas for Rational Functions with Simple Poles." pith.science (2026). https://pith.science/paper/LG2TOSSF

@misc{pith2026241200910,
  author       = {Pith},
  title        = {Pith review of: Half-Wave Maps: Explicit Formulas for Rational Functions with Simple Poles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LG2TOSSF}},
  note         = {Machine review of arXiv:2412.00910}
}

abstract

We establish an explicit formula for the Half-Wave maps equation for rational functions with simple poles. The Lax pair provides a description of the evolution of the poles. By considering a half-spin formulation, we use linear algebra to derive a time evolution equation followed by the half-spins, in the moving frame provided by the Lax pair. We then rewrite this formula using a Toeplitz operator and $G$, the adjoint of the operator of multiplication by $x$ on the Hardy space $L_+^2(\mathbb{R})$.

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

Scattering of Rational Solutions to the Half-Wave Maps Equation
math.AP 2025-02 conditional novelty 7.0 of 10

Rational solutions with non-singular spectrum scatter in all Sobolev norms, and the scattering map is the identity.

Reference graph

Works this paper leans on

21 extracted references · 15 canonical work pages · cited by 1 Pith paper

[1]

A short primer on the half-wave maps equa tion

Enno Lenzmann. “A short primer on the half-wave maps equa tion”. In: Journées équations aux dérivées partielles (2018), pp. 1–12

work page 2018
[2]

Solitons in a continuous classical Haldane– Shastry spin chain

Tianci Zhou and Michael Stone. “Solitons in a continuous classical Haldane– Shastry spin chain”. In: Physics Letters A 379.43-44 (2015), pp. 2817–2825

work page 2015
[3]

Derivation of the Half-Wave Maps Eq uation from Calogero–Moser Spin Systems. arXiv

E Lenzmann and J Sok. “Derivation of the Half-Wave Maps Eq uation from Calogero–Moser Spin Systems. arXiv”. In: arXiv preprint math.AP/2007.15323 (2020)

arXiv 2020
[4]

Spin generaliza- tions of the Benjamin–Ono equation

Bjorn K Berntson, Edwin Langmann, and Jonatan Lenells. “ Spin generaliza- tions of the Benjamin–Ono equation”. In: Letters in Mathematical Physics 112.3 (2022), p. 50

work page 2022
[5]

An explicit formula for the Benjamin–O no equation

Patrick Gerard. “An explicit formula for the Benjamin–O no equation”. In: Tunisian Journal of Mathematics 5.3 (2023), pp. 593–603

work page 2023
[6]

Small data global reg ularity for half-wave maps

Joachim Krieger and Yannick Sire. “Small data global reg ularity for half-wave maps”. In: Analysis & Pde 11.3 (2017), pp. 661–682

work page 2017
[7]

Small data globa l regularity for half- wave maps in n= 4 dimensions

Anna Kiesenhofer and Joachim Krieger. “Small data globa l regularity for half- wave maps in n= 4 dimensions”. In: Communications in Partial Diﬀerential Equations 46.12 (2021), pp. 2305–2324

work page 2021
[8]

A Lax pair structure f or the half-wave maps equation

Patrick Gérard and Enno Lenzmann. “A Lax pair structure f or the half-wave maps equation”. In: Letters in Mathematical Physics 108 (2018), pp. 1635–1648

2018

Show all 21 references

[9]

On energy-critical half-wave maps into Sˆ 2 S 2

Enno Lenzmann and Armin Schikorra. “On energy-critical half-wave maps into Sˆ 2 S 2”. In: Inventiones mathematicae 213 (2018), pp. 1–82

2018
[10]

Exactly solvable eigenvalue prob lems for a nonlocal non- linear Schrödinger equation

Yoshimasa Matsuno. “Exactly solvable eigenvalue prob lems for a nonlocal non- linear Schrödinger equation”. In: Inverse Problems 18.4 (2002), p. 1101

2002
[11]

A Cauchy problem for the nonlocal n onlinear Schrödinger equation

Yoshimasa Matsuno. “A Cauchy problem for the nonlocal n onlinear Schrödinger equation”. In: Inverse problems 20.2 (2004), p. 437

2004
[12]

Recent topics on a class of nonlinear integr odiﬀerential evolution equations of physical signiﬁcance

Y Matsuno. “Recent topics on a class of nonlinear integr odiﬀerential evolution equations of physical signiﬁcance”. In: Adv. Math. Res 4 (2003), pp. 19–89

2003
[13]

Benjamin-Ono and intermediate lon g wave equations: Mod- eling, IST and PDE

Jean-Claude Saut. “Benjamin-Ono and intermediate lon g wave equations: Mod- eling, IST and PDE”. In: Nonlinear dispersive partial diﬀerential equations and inverse scattering (2019), pp. 95–160

2019
[14]

Mu lti-solitons of the half-wave maps equation and calogero–moser spin–pole dyna mics

Bjorn K Berntson, Rob Klabbers, and Edwin Langmann. “Mu lti-solitons of the half-wave maps equation and calogero–moser spin–pole dyna mics”. In: Journal of Physics A: Mathematical and Theoretical 53.50 (2020), p. 505702

2020
[15]

A generalisation of the Calogero-Moser sys- tem

John Gibbons and Theo Hermsen. “A generalisation of the Calogero-Moser sys- tem”. In: Physica D: Nonlinear Phenomena 11.3 (1984), pp. 337–348. issn: 0167-

1984
[16]

An integrable marriage of the Euler e quations with the Calogero- Moser system

S Wojciechowski. “An integrable marriage of the Euler e quations with the Calogero- Moser system”. In: Physics Letters A 111.3 (1985), pp. 101–103

1985
[17]

Spin generalization of the Calogero -Moser system and the matrix KP equation

I Krichever et al. “Spin generalization of the Calogero -Moser system and the matrix KP equation”. In: arXiv preprint hep-th/9411160 (1994)

1994 arXiv
[18]

A Study on the Well-Posedness of 1D Energy-Critical Half- Wave Maps Equations

Gaspard Ohlmann. A Study on the Well-Posedness of 1D Energy-Critical Half- Wave Maps Equations . 2024. arXiv: 2310.13442 [math.AP] . REFERENCES 19

2024 arXiv
[19]

Integrability, conservation law s and solitons of a many- body dynamical system associated with the half-wave maps eq uation

Yoshimasa Matsuno. “Integrability, conservation law s and solitons of a many- body dynamical system associated with the half-wave maps eq uation”. In: Phys- ica D: Nonlinear Phenomena 430 (2022), p. 133080

2022
[20]

Integration of the continuous Heisenbe rg spin chain through the inverse scattering method

LA Takhtajan. “Integration of the continuous Heisenbe rg spin chain through the inverse scattering method”. In: Physics Letters A 64.2 (1977), pp. 235–237. Appendix A. Technical results Lemma A.1. We have HD 1D2H “ pd1¨d2qH when D1, D2 are two diagonal matrices with d1 and d2 ...

1977
[2789]

doi: https://doi.org/10.1016/0167-2789(84)90015-0

doi

Pith tools

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

[1] [1]

A short primer on the half-wave maps equa tion

Enno Lenzmann. “A short primer on the half-wave maps equa tion”. In: Journées équations aux dérivées partielles (2018), pp. 1–12

work page 2018

[2] [2]

Solitons in a continuous classical Haldane– Shastry spin chain

Tianci Zhou and Michael Stone. “Solitons in a continuous classical Haldane– Shastry spin chain”. In: Physics Letters A 379.43-44 (2015), pp. 2817–2825

work page 2015

[3] [3]

Derivation of the Half-Wave Maps Eq uation from Calogero–Moser Spin Systems. arXiv

E Lenzmann and J Sok. “Derivation of the Half-Wave Maps Eq uation from Calogero–Moser Spin Systems. arXiv”. In: arXiv preprint math.AP/2007.15323 (2020)

arXiv 2020

[4] [4]

Spin generaliza- tions of the Benjamin–Ono equation

Bjorn K Berntson, Edwin Langmann, and Jonatan Lenells. “ Spin generaliza- tions of the Benjamin–Ono equation”. In: Letters in Mathematical Physics 112.3 (2022), p. 50

work page 2022

[5] [5]

An explicit formula for the Benjamin–O no equation

Patrick Gerard. “An explicit formula for the Benjamin–O no equation”. In: Tunisian Journal of Mathematics 5.3 (2023), pp. 593–603

work page 2023

[6] [6]

Small data global reg ularity for half-wave maps

Joachim Krieger and Yannick Sire. “Small data global reg ularity for half-wave maps”. In: Analysis & Pde 11.3 (2017), pp. 661–682

work page 2017

[7] [7]

Small data globa l regularity for half- wave maps in n= 4 dimensions

Anna Kiesenhofer and Joachim Krieger. “Small data globa l regularity for half- wave maps in n= 4 dimensions”. In: Communications in Partial Diﬀerential Equations 46.12 (2021), pp. 2305–2324

work page 2021

[8] [8]

A Lax pair structure f or the half-wave maps equation

Patrick Gérard and Enno Lenzmann. “A Lax pair structure f or the half-wave maps equation”. In: Letters in Mathematical Physics 108 (2018), pp. 1635–1648

2018