{"id":"664ad0ac-9a84-490a-b57e-4b059f063412","arxiv_id":"2502.08604","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Rational solutions with non-singular spectrum scatter in all Sobolev norms, and the scattering map is the identity.","lead":"This pure mathematics paper proves that every rational solution of the half-wave maps equation with distinct speeds eventually separates into simple moving poles with constant residues, and that the scattering map is the identity. It provides explicit formulas for the asymptotic state and shows that scattering to a traveling wave forces the solution to have been a traveling wave all along.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof relies on a false differential-inequality inference to show spin limits are nonzero; without a replacement, Lemma 2.2 and Theorem 5 are unproved.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing concern: the paper's assertion that a nonnegative function satisfying y' ≤ C y or y' ≤ C y^2 cannot decay to zero unless identically zero is mathematically false. I checked both occurrences. In Lemma 2.2, the inequality (29) is used to rule out s_j(∞) = 0, which in turn guarantees Im x_j(∞) > 0 via (26)-(28). That positivity is essential for the claimed Sobolev-norm scattering in Proposition 2.6 and Theorems 3-4, because the limiting L2 norm in Corollary 2.4 and the Sobolev estimates in Lemma 2.5 use Im x_i(∞) in denominators. In Section 5.3 and Theorem 8, the same flawed inference is used to conclude S(t) ≡ 0 from convergence to a traveling wave with zero spin matrix; this is the key step in the rigidity conclusion of Theorem 5. The counterexamples e^{-t} and 1/t show the inference is invalid as stated. I do not see another part of the manuscript that supplies the missing lower bound, so the concern lands. However, the paper has substantial independent structure: explicit formulas, a Lax pair, and a systematic reduction to finite-dimensional dynamics. The gap is localized and plausibly repairable, e.g. by using conserved quantities from the Lax pair or by proving a genuine lower bound on |s_j(t)|. Therefore the appropriate verdict remains CONDITIONAL, unchanged from the reader's assessment.","tokens_in":40976,"tokens_out":3511,"duration_ms":40713,"concrete_test":"Use the explicit formula (160) for a two-soliton rational solution with non-singular spectrum, e.g. v1 = 1, v2 = -1 and generic half-spin data E0, F0, X0, and compute the asymptotic spin limits b_j = lim_{t→∞} s_j(t) directly from the coefficient of the pole term. If any b_j = 0, then Theorems 3 and 4 are false as stated; if all b_j ≠ 0, replace the invalid inequality in Lemma 2.2 with the lower-bound estimate that the test reveals, and check whether the same lower bound closes Section 5.3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Lemma 2.2 (Section 2.1, Eq. (29)) the paper derives ∂_t |s_j| ≤ C S |s_j| and then states this is incompatible with s_j(∞) = 0. This is false: y(t) = e^{-t} satisfies y' ≤ C y and tends to 0. The same incorrect inference is used in Section 5.3 and Theorem 8 to conclude S_F(t) = 0 for all t from S_F(t) → 0 and |S_F|' ≤ C |S_F|^2; y = 1/t is a counterexample. This gap is load-bearing because Lemma 2.2 uses nonzero spin limits to prove Im x_j(∞) > 0, which is needed for the Sobolev-norm scattering asymptotics in Theorems 3 and 4, and Section 5 uses it for the traveling-wave rigidity Theorem 5. The surrounding arguments may be repairable via conserved quantities or a lower-bound estimate, but as written the central claims are not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies rational solutions of the half-wave maps equation with non-singular spectrum. Its central claims are: (i) a local condition on the poles and spins implies scattering in Sobolev norms (Theorem 1); (ii) every rational solution with non-singular spectrum scatters as t → ±∞, and the scattering map is the identity (Theorems 3 and 4); (iii) for any number of spins and any target non-degenerate spectrum one can construct a solution with spectrum arbitrarily close to the target (Theorem 2); and (iv) if a solution scatters to a traveling wave, then it was already traveling for all finite times (Theorem 5). The arguments combine Calogero-Moser dynamics, Lax-pair and Matsuno-matrix formulations, and an explicit formula from the author's prior work. The main issue is a repeated false inference about differential inequalities, which breaks the proofs of Lemma 2.2 and of the traveling-wave rigidity theorems; there is also an unfinished case in the proof of Theorem 6.","tokens_in":41123,"tokens_out":10121,"duration_ms":113096,"significance":"If fully established, these results would be significant: explicit long-time asymptotics and a trivial scattering map for a nontrivial integrable PDE, together with a construction of solutions with prescribed non-degenerate spectrum, are strong and falsifiable statements. The paper has genuine strengths: it uses no fitted parameters, relies on established Lax-pair theory and on an explicit formula that is independently verified in Ref. [6], and it provides many explicit computations. However, the identified logical gaps affect the proofs of the main theorems, so the paper is not yet in a publishable form.","major_comments":[{"comment":"The inference that the differential inequality ∂_t |s_j(t)| ≤ C S |s_j(t)| is incompatible with s_j(∞) = 0 is false: y(t) = e^{-t} satisfies y' ≤ C y and tends to 0 as t → ∞. This is load-bearing because the preceding lines (22)-(28) already use s_j(∞) ≠ 0 to derive s_j(∞)·m_0 ≠ 0 and the lower bound on Im x_j(∞); those facts are needed for condition (C3) and hence for the Sobolev-norm scattering in Proposition 2.6 and Theorems 3-4. The proof of (C1) ⇒ (C3) is therefore incomplete as written, and a replacement argument is required.","section":"Section 2.1, Eq. (29)"},{"comment":"The same incorrect differential-inequality inference is used twice: in the proof of Theorem 5 it is asserted that ∂_t |S_F(t)| ≤ C |S_F(t)|^2 is incompatible with S_F(t) → S_G = 0, and in Theorem 8 it is asserted that ||S(t)|| → 0 forces S(t) ≡ 0. Since y(t) = 1/t satisfies y' ≤ C y^2 and tends to 0, this is false. Consequently the conclusion (10), namely L(t) = v I_N, B(t) = 0, dX/dt = v I_N and S(t) = 0 for all times, is not established. A replacement argument is needed; for example, the similarity invariance of S(t) under the Lax flow may supply the missing control.","section":"Section 5.3, Theorem 5 and Theorem 8"},{"comment":"The proof of the identity a_j^+ = a_j^- is incomplete. After treating the case (G)_{jj} ≠ 0, the text begins 'We now deal with the case (G)_{jj} = 0' and then stops with 'which gives' at the end of the subsection, without deriving the needed conclusion. This omitted case is necessary for the equality of the asymptotic pole locations for all non-singular spectra, and the result feeds directly into Theorem 4's assertion that the scattering map is the identity.","section":"Section 4.2, proof of Theorem 6"}],"minor_comments":[{"comment":"The two bootstrap properties are written as bounds on |\\dot{s}_j(t)|, but the subsequent argument bounds |s_j(t)|; the displayed properties should be corrected so that the bootstrap is applied to the spins themselves.","section":"Section 2.3, display (72)-(73)"},{"comment":"With the choices S_1 = 2S, η = ν/2 and κ = 8/ν, the third displayed condition becomes D^2 ≥ 128 N S^2/ν^2 rather than the stated 27 N S^2/ν^2; the conclusion still follows from α_0 > 0, but the constant should be corrected.","section":"Section 2.3, Corollary 2.9 proof"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, here's my read on Ohlmann's scattering paper. The central claims — identity scattering map for rational solutions with non-singular spectrum, explicit asymptotic formulas, N-soliton construction with prescribed spectrum, and rigidity of scattering to traveling waves — are genuinely new and would be a real step for the half-wave maps / Calogero-Moser area. The paper builds nicely on the Lax-pair framework and the author's own explicit formula (independently verified in Ref [6]). The structure is clear, the computations are extensive, and the N-soliton construction via fixed-point with growth estimates looks careful.\n\nThe soft spot is real and load-bearing. In Lemma 2.2 the author derives ∂_t |s_j| ≤ C |s_j| and then claims this is incompatible with s_j(∞)=0. That's false; e^{-t} decays while satisfying y' ≤ C y. The same false inference appears in Section 5.3 and Theorem 8 for |S_F|' ≤ C |S_F|^2, with y = 1/t as a counterexample. This matters: Lemma 2.2 uses the nonzero limit to prove Im x_j(∞) > 0, which props up the Sobolev-norm scattering asymptotics in Theorems 3 and 4. Section 5 uses it to conclude S_F(t)=0 for all t from S_F(t)→0, which is the traveling-wave rigidity. As written, the central theorems are not proved.\n\nThat said, the flaw is identifiable and likely repairable. Conserved quantities from the Lax pair might give the needed lower bound on the spins, and even the paper's own bootstrap arguments in Section 2.3 suggest the imaginary parts are bounded below from t=0 if the initial data satisfies the local condition. The rest of the argument — the explicit scattering map, the coefficient convergence under Sobolev convergence — seems plausible and carefully done.\n\nSo my verdict: this deserves a serious referee, not a desk reject. A referee should focus on the spin-limit issue and ask for either a corrected argument or a clear weakening of the theorems. If the gap closes, the paper is a solid contribution. For my own work, I wouldn't cite it until the proof is fixed. I'd bring it to the reading group to discuss the differential-inequality trap and the possible repairs.","headline":"The paper's main theorems are not established as written because a differential-inequality inference used twice is false; the ideas are substantial and the gap may be repairable.","tokens_in":41672,"tokens_out":2306,"would_cite":false,"duration_ms":23741,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q51","35Q53","35P25","37K10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every rational solution of the half-wave maps equation with non-singular spectrum scatters to an explicit profile, and the scattering map is the identity.","keywords":["half-wave maps equation","rational solutions","scattering theory","Calogero–Moser system","solitons","Lax pair","traveling waves","Sobolev norms"],"falsifier":"Take a two-soliton rational solution with non-singular spectrum (for example constructed via the explicit half-spin formula) and numerically evaluate $|s_1(t)|$, $|s_2(t)|$, $x_1(t)-v_1t$, and $x_2(t)-v_2t$ at large positive and negative times; the theorem predicts nonzero limits identical at both infinities. If any spin limit is zero, the $+\\infty$ and $-\\infty$ limits differ, or the pole positions fail to converge, the main claim is false.","tokens_in":40724,"feed_emoji":"🌊","tokens_out":5838,"duration_ms":59269,"temperature":0.7,"pith_summary":"This paper studies rational solutions of the half-wave maps equation, an energy-critical dispersive equation for maps into the sphere. Its central claim is that every such solution with non-singular spectrum—that is, with distinct asymptotic pole speeds—scatters as $t\\to\\pm\\infty$ to an explicit rational profile, with pole positions satisfying $x_j(t)-v_j t\\to a_j$ and spins converging $s_j(t)\\to b_j$. The paper further claims that the scattering map is the identity: the asymptotic profile at $+\\infty$ and at $-\\infty$ coincide, so the scattering data are exactly preserved. It also constructs, for any prescribed non-singular spectrum, global rational solutions whose spectrum is arbitrarily close to the target, and it proves rigidity of traveling waves: a solution that scatters to a traveling wave must already have been traveling for all finite times.","feed_headline":"Half-wave maps rational solutions scatter; scattering map is identity","feed_subtitle":"Their long-time profiles are explicit, identical at both infinities, and any non-singular spectrum is realized.","key_machinery":"The central object is the Calogero–Moser spin–pole system for the pole positions $x_j(t)$ and spins $s_j(t)$, together with the Lax-pair formulation in which $L(t)=U(t)L(0)U(t)^{-1}$, $X(t)=U(t)(X(0)+tL(0))U(t)^{-1}$, and the non-singular spectrum assumption means the eigenvalues $v_1,\\dots,v_N$ of $L(0)$ are distinct. The local scattering criterion $\\alpha(t_0)=D(t_0)-24NS(t_0)/\\nu(t_0)>0$, where $D$ is the minimal pole separation, $S$ the maximal spin size, and $\\nu$ the minimal speed difference, guarantees instant scattering via a bootstrap: once poles are sufficiently separated and speeds sufficiently distinct, the interaction terms are integrable and the solution converges to a sum of decoupled solitons. The traveling-wave rigidity rests on the diagonal characterization $L(t)=vI_N$, $B(t)=0$, $S(t)=0$.","core_discovery":"The paper establishes that for rational solutions with non-singular spectrum, the long-time dynamics is completely explicit and reversible in the scattering sense. More precisely, there exist constants $a_j\\in\\mathbb{C}$ with $\\operatorname{Im}(a_j)>0$ and $b_j\\in\\mathbb{C}^3$ such that, for every $s\\ge 0$, the solution satisfies $\\|m(t,\\cdot)-g(\\cdot,t)\\|_{H^s}\\to 0$ as $t\\to\\pm\\infty$, where $g(x,t)=m_0+\\sum_j b_j/(x-a_j-v_j t)+\\sum_j \\bar b_j/(x-\\bar a_j-v_j t)$; moreover the same $a_j,b_j$ appear at both time infinities. The proof combines a local scattering criterion—pole separation dominating spin size relative to speed separation—with asymptotic control coming from the half-spin explicit formula and the Calogero–Moser structure, showing that every non-singular solution eventually enters the scattering regime. The identity scattering map then follows from matching the explicit leading-order terms at $+\\infty$ and $-\\infty$.","pith_inferences":["If the scattering data are literally preserved, the dynamics on the non-singular rational sector is equivalent to free translation on the asymptotic data, which suggests the existence of a global wave operator connecting the constructed initial data to prescribed scattering states.","The proof's reliance on a false differential-inequality assertion—that $y'\\le Cy$ and $y\\to 0$ force $y\\equiv 0$—is repairable only by a different argument for nonzero limiting spins; a numerical check of whether $|s_j(t)|$ actually decays for explicit two-soliton data would indicate whether the theorem itself survives or needs modification.","The diagonal characterization of traveling waves may transfer to other Calogero–Moser-type spin systems and to the zero-dispersion limit of the spin Benjamin–Ono equation, where analogous Lax pairs exist.","The local condition $\\alpha>0$ can be read as a separation-of-timescales criterion: once the soliton speeds are well separated compared to the spin interactions, the system is effectively integrable and no further energy exchange occurs."],"forward_implications":["Every rational solution with distinct asymptotic speeds has complete, explicit long-time asymptotics: $x_j(t)=v_j t+a_j+o(1)$ and $s_j(t)=b_j+o(1)$, with no radiation loss.","The scattering map is the identity, so the past and future asymptotic data coincide and the soliton parameters are conserved through the evolution.","For any target non-singular spectrum $(\\omega_1,\\dots,\\omega_N)$ and any $\\varepsilon>0$, there exists a global rational solution whose spectrum is $\\varepsilon$-close to the target.","No rational solution can scatter to a traveling wave unless it was traveling for all finite times; in particular, the set of traveling waves is closed under the scattering correspondence.","Convergence holds in every Sobolev space $H^s$, $s\\ge 0$, not only in the energy-critical $\\dot H^{1/2}$ norm."],"supporting_citations":[{"why":"Supplies the Lax-pair structure and the proof that rational initial data stay rational, the foundation for the entire rational ansatz.","marker":"[5]"},{"why":"Provides the half-spin explicit formula for the matrix solution, which is used to prove spin boundedness and to compute the asymptotic spins giving the identity scattering map.","marker":"[17]"},{"why":"Introduces the Lax pair with matrices $L,B,S,X$ satisfying $X(t)=U(t)(X(0)+tL(0))U(t)^{-1}$, the framework used for the diagonal traveling-wave characterization.","marker":"[15]"},{"why":"Gives the multi-soliton solutions of the half-wave maps equation via Calogero–Moser spin–pole dynamics, the class of solutions this work extends to full scattering.","marker":"[1]"},{"why":"Provides the explicit characterization of traveling waves for the half-wave maps equation, which is the target profile whose rigidity is proved in Theorem 5.","marker":"[13]"}],"fun_headline_variants":["Rational half-wave maps scatter; map is identity","Non-singular half-wave maps: explicit scattering proved","Half-wave maps: rational solutions scatter, map trivial","Scattering formula for rational half-wave map solutions","Rational solutions of HWM scatter to same profile"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that a nonnegative function $y(t)$ satisfying $y'\\le Cy$ (or $y'\\le Cy^2$) and tending to $0$ as $t\\to\\infty$ must be identically zero, which is false—for example $y(t)=e^{-t}$—and this assertion is used to conclude that the limiting spins $s_j(\\infty)$ are nonzero and to rule out spin decay in the traveling-wave rigidity theorem.","fun_headline_variants_meta":{"raw":{"variants":["Rational half-wave maps scatter; map is identity","Non-singular half-wave maps: explicit scattering proved","Half-wave maps: rational solutions scatter, map trivial","Scattering formula for rational half-wave map solutions","Rational solutions of HWM scatter to same profile"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000135,"raw_usage":{"total_tokens":1132,"prompt_tokens":926,"completion_tokens":206,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":542,"completion_tokens_details":{"reasoning_tokens":132}},"tokens_in":542,"tokens_out":206,"duration_ms":3077,"temperature":1.0,"reasoning_tokens":132,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-08T04:30:39.944681+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a two-soliton rational solution with non-singular spectrum (for example constructed via the explicit half-spin formula) and numerically evaluate $|s_1(t)|$, $|s_2(t)|$, $x_1(t)-v_1t$, and $x_2(t)-v_2t$ at large positive and negative times; the theorem predicts nonzero limits identical at both infinities. If any spin limit is zero, the $+\\infty$ and $-\\infty$ limits differ, or the pole positions fail to converge, the main claim is false.","supporting_citations":[{"cited_title":"A Lax pair structure f or the half-wave maps equation","cited_arxiv_id":null,"evidence_quote":"Supplies the Lax-pair structure and the proof that rational initial data stay rational, the foundation for the entire rational ansatz."},{"cited_title":"Half-Wave Maps: Explicit Formulas for Rational Functions with Simple Poles","cited_arxiv_id":"2412.00910","evidence_quote":"Provides the half-spin explicit formula for the matrix solution, which is used to prove spin boundedness and to compute the asymptotic spins giving the identity scattering map."},{"cited_title":"Integrability, conservation law s and solitons of a many-body dynamical system associated with the half-wave maps equati on","cited_arxiv_id":null,"evidence_quote":"Introduces the Lax pair with matrices $L,B,S,X$ satisfying $X(t)=U(t)(X(0)+tL(0))U(t)^{-1}$, the framework used for the diagonal traveling-wave characterization."},{"cited_title":"Mul ti-solitons of the half- wave maps equation and calogero–moser spin–pole dynamics","cited_arxiv_id":null,"evidence_quote":"Gives the multi-soliton solutions of the half-wave maps equation via Calogero–Moser spin–pole dynamics, the class of solutions this work extends to full scattering."},{"cited_title":"On energy-critica l half-wave maps into Sˆ 2 S 2","cited_arxiv_id":null,"evidence_quote":"Provides the explicit characterization of traveling waves for the half-wave maps equation, which is the target profile whose rigidity is proved in Theorem 5."}],"review_version":1}