{"id":"7e543daf-134d-47c0-9c88-33414c8975e1","arxiv_id":"1908.09527","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the damped nonlinear Klein-Gordon equation, all 2-solitary waves have opposite signs, the distance between solitons is asymptotically log t, and the initial data form a codimension-2 Lipschitz manifold.","lead":"This paper proves that two-soliton solutions of a damped nonlinear Klein-Gordon equation must have opposite signs, and it gives a complete classification of their initial data. It shows the distance between the two solitons grows like log t, a universal behavior caused by damping.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"The reader's weakest assumption was the spectral/coercivity property of L, Lemma 1.7. This is a genuine input, but it is a standard result from the cited literature and is not the place where the argument could realistically fail. I checked the more delicate parts of the proof: the nonlinear interaction asymptotics in Lemma 2.1, the modulation equations in Lemma 2.2, the energy estimates in Lemma 2.4, the trichotomy and bootstrap in Proposition 3.1, the decay in Proposition 3.2, and the construction/uniqueness of the codimension-2 family in Section 4. The signs in the interaction term are consistent with the opposite-sign geometry, the no-retraction argument is well posed, and the Lipschitz graph is obtained by a valid contraction argument. The only concrete defect is the statement of c0 in Theorem 1.4, which should depend on α; this is a minor notational error, not a mathematical gap. Overall the paper's central claims are supported by the written arguments, and the reader's ACCEPT verdict remains appropriate.","tokens_in":36767,"tokens_out":35727,"duration_ms":344601,"concrete_test":"Re-derive the constant in (1.8) from the limit lim_{t→∞} 1/(t q(r(t))) = g0/α obtained in Proposition 3.1 and the expansion (1.11). This yields c0 = log(κg0/α), which depends on α; if confirmed, amend Theorem 1.4 to read c0 = c0(N,α).","verdict_should_be":"UNCHANGED","load_bearing_attack":"I reviewed the modulation, bootstrap, energy, and topological arguments in Sections 2-4 and found no load-bearing flaw. The spectral/coercivity input of Lemma 1.7 is standard and is only invoked where the cited theory applies. The interaction estimates in Lemma 2.1 are consistent; in particular, for opposite signs the leading term in <G,∇Q1> is -H(z), matching σ=-1 in (2.10). The same-sign nonexistence via energy at T* is sound, and the opposite-sign rigidity follows from the R± bounds in Lemma 2.6. Proposition 4.2's no-retraction argument is correctly set up, and Proposition 4.4's uniqueness estimate is internal and coherent. The only issue I found is notational: Theorem 1.4 states c0=c0(N), but the proof gives c0=log(κg0/α), which depends on the damping parameter α. Since α is fixed throughout, this does not affect the central claims.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper gives a complete dynamical description of 2-solitary waves for the damped nonlinear Klein-Gordon equation (1.1) in dimensions 1 <= N <= 5 and energy-subcritical p > 2. It proves three main results: Theorem 1.3 establishes nonexistence of same-sign 2-solitary waves; Theorem 1.4 shows that every opposite-sign 2-solitary wave has a universal asymptotic distance between the centers, |z1(t) - z2(t)| = log t - ((N-1)/2) log log t + c0 + o(1), together with convergence of the direction of separation; Theorem 1.5 classifies all 2-solitary waves near the sum of two remote solitons as a codimension-2 Lipschitz graph H(L, phi) = h. The proof combines modulation theory, refined nonlinear interaction estimates (Lemma 2.1), a modified energy with coercivity (Lemma 2.4), a bootstrap trichotomy for the distance, the unstable direction, and the damped components (Lemma 2.6 and Proposition 3.1), and a topological no-retraction argument with a contraction-mapping uniqueness step in Section 4.","tokens_in":36935,"tokens_out":2828,"duration_ms":30751,"significance":"If the results hold, the paper constitutes a substantial contribution to the theory of multi-solitary waves: it gives the first complete description for a damped dispersive equation, including a universal logarithmic separation law that is qualitatively different from the linear-in-time separation in undamped problems. The classification result is sharp in the sense that the stable/unstable structure of each soliton leads to exactly a codimension-2 family. The proofs are detailed and essentially self-contained except for standard well-posedness and spectral inputs, which are explicitly cited. A notable strength is the explicit correction, in Remark 4.3, of a technical flaw in earlier multi-soliton constructions in [6,7,21], and the use of exactly modulated initial data to avoid it. The leading-order constant c0 is computed explicitly rather than introduced as a free parameter, and the asymptotic law (1.8)-(1.9) is falsifiable by numerical simulation. I found no load-bearing error in the modulation, bootstrap, energy, or topological arguments.","major_comments":[],"minor_comments":[{"comment":"The theorem states c0 = c0(N), but the proof derives c0 = log(kappa g0 / alpha), which depends on the damping parameter alpha as well as on N. Since alpha is fixed throughout the paper this does not affect the central claims, but the statement should be corrected to c0 = c0(N, alpha) or to an explicit formula.","section":"Theorem 1.4, Eq. (1.8) and proof in Section 3.3"},{"comment":"The constant ~C in (3.3) is said to depend on R±(T_delta), T_delta, and delta, but the displayed estimate also has a term t/|log delta|; it would help the reader to state explicitly that the implied constant is independent of t as t -> infinity, or to separate the transient and asymptotic parts.","section":"Proposition 3.1, estimate (3.3)"},{"comment":"The reference is to V. E. Zakharov and A. B. Shabat; the first author's initial is incorrectly printed as 'T. Zakharov'.","section":"Reference list, item [28]"},{"comment":"The exponent theta is introduced as any 1 < theta < min(p-1,2) in several places; for readability, the identical range could be defined once at the beginning of Section 2, since the repeated statements are easy to miss.","section":"Lemma 2.2(iv) and Lemma 2.6"}],"recommendation":"minor_revision","confidential_remarks":"The only issue I found is the dependence of c0 on alpha in Theorem 1.4, which is a local correction to the statement and does not affect the main results. The paper's reliance on prior spectral and well-posedness results is standard. The heavy self-citation is not problematic because the relevant prior arguments are used as background and one explicit flaw in them is corrected in Remark 4.3. I recommend minor revision rather than immediate acceptance mainly to ensure the c0 statement is cleaned up."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, this paper really does what the title says: it describes and classifies 2-solitary waves for the damped nonlinear Klein-Gordon equation, with nonexistence for same signs, universal log t separation for opposite signs, and a codimension-2 Lipschitz classification of initial data. Second, the proof is long but careful, in the standard Côte–Martel modulation/bootstrap style, and on a second pass I did not find a load-bearing hole.\n\nThe genuinely new content is the universal log t distance, which is specific to the damping and contrasts with the linear-in-time rates in undamped models. Equally new is the full classification of the family, showing that only the unstable directions in the initial data matter. The nonexistence of same-sign waves is new and the energy argument behind it is clean. The construction and uniqueness parts (Propositions 4.2 and 4.4) are technically demanding but coherent; the retraction argument is standard and correctly set up.\n\nSoft spots are minor. The spectral/coercivity input (Lemma 1.7) is a black box from the literature, but it is exactly the standard property of the linearized Klein-Gordon operator, so that is acceptable. More substantive: Remark 4.3 asserts that earlier multi-soliton constructions in [6,7,21] contain a gap related to modulation, and the present paper works around it. That claim is plausible and the paper's own construction is clean, but a referee should independently verify it; a published correction of earlier work deserves scrutiny. Finally, the constant c0 in Theorem 1.4 is stated as c0 = c0(N), but the proof gives c0 = log(κg0/α), which depends on α and p. Since α and p are fixed throughout, this is cosmetic, but the statement should match the proof.\n\nBottom line: this paper is for analysts working on multi-soliton dynamics or damped wave equations, and it will likely become a reference for the damped Klein-Gordon case. It deserves a serious referee, and my own verdict is accept, with requests to fix the c0 notation and to add a bit more detail on the correction of [6,7,21] if the editor wants to preempt controversy.","headline":"A serious, technically complete classification of damped Klein-Gordon 2-solitary waves; the proof is careful and the soft spots are minor — send it to a strong referee.","tokens_in":37467,"tokens_out":6017,"would_cite":true,"duration_ms":60409,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L71","35B40","37K40"],"pacs":[],"model":"deepseek-v4-flash","headline":"For the damped Klein-Gordon equation, any two-soliton wave must consist of opposite-sign solitons whose separation follows a universal law: |z1-z2| = log t - (N-1)/2 log log t + c0 + o(1).","keywords":["damped Klein-Gordon equation","2-solitary waves","ground state","linearized operator","logarithmic distance","unstable manifold","Lipschitz graph classification","soliton resolution"],"falsifier":"Find, numerically, a same-sign two-soliton wave: run the damped Klein-Gordon equation from initial data close to $Q(x-L/2)+Q(x+L/2)$ with small unstable components and check whether the solution remains a two-soliton wave for large time. The theorems imply instead that the energy drops below $2E(Q,0)$ and such a configuration cannot persist; a robust computed counterexample would falsify Theorem 1.3. For the universal law, measure $z_1-z_2$ for an opposite-sign pair and compare the limit of $|z_1-z_2|-(\\log t-\\frac{N-1}{2}\\log\\log t)$ with the predicted constant $\\log(\\kappa g_0/\\alpha)$; a different constant or a different rate would falsify Theorem 1.4.","tokens_in":36579,"feed_emoji":"🌊","tokens_out":8939,"duration_ms":81110,"temperature":0.7,"pith_summary":"The paper studies two-soliton waves of the nonlinear damped Klein-Gordon equation $\\partial_{tt}u+2\\alpha\\partial_t u-\\Delta u+u-|u|^{p-1}u=0$ in dimensions $1\\le N\\le 5$ with energy-subcritical $p>2$. It establishes a complete dichotomy: two solitary waves with the same sign cannot persist as a two-soliton wave, while a pair with opposite signs must separate in a universal way, with distance asymptotic to $\\log t-\\frac{N-1}{2}\\log\\log t+c_0$. The initial data that produce such opposite-sign two-soliton waves form, near the sum of two remote solitons, a codimension-2 Lipschitz graph: only the unstable component around each soliton is free, and it is uniquely determined by the separation and the stable remainder. A sympathetic reader would care because this gives a fully parameter-free description of a non-integrable multi-soliton interaction, showing that damping turns repulsive soliton pairs into a deterministic logarithmic law.","feed_headline":"Opposite-sign soliton pairs separate at a universal log-rate","feed_subtitle":"Any surviving two-soliton wave must have opposite signs and log t separation.","key_machinery":"The load-bearing object is the linearized operator $L=-\\Delta+1-pQ^{p-1}$ around the unique ground state $Q$. The paper uses Lemma 1.7: $L$ has a unique negative eigenvalue $-\\nu_0^2$ with normalized eigenfunction $Y$, and a coercivity bound separating $\\langle\\varepsilon,Y\\rangle$ and the translation modes $\\langle\\varepsilon,\\partial_{x_j}Q\\rangle$. Around this, the proof builds a modulation decomposition with geometric parameters $z_k,\\ell_k$ and orthogonality conditions, sharp estimates for the interaction term $G=f(Q_1+Q_2)-f(Q_1)-f(Q_2)$, including the sign-dependent asymptotics $\\langle G,\\nabla Q_1\\rangle\\approx \\sigma c_1 \\frac{z}{|z|} g(|z|)$, a modified energy $E$ defined in (2.34), and a Lyapunov functional $M$. These yield the trichotomy of Section 2.4: the distance obeys $\\frac{d}{dt}[1/q(r)]\\approx -\\sigma g_0/\\alpha$, the unstable components satisfy $\\dot b\\approx 2\\nu_+ b$, and the damped components decay. The sign $\\sigma=\\sigma_1\\sigma_2$ in the distance ODE is what creates the dichotomy: $\\sigma=-1$ integrates to $\\log t$, while $\\sigma=+1$ has no global solution.","core_discovery":"The paper's central discovery is that two-soliton waves of the damped Klein-Gordon equation are completely described by the sign of each soliton and by one unstable amplitude per soliton. Theorem 1.3 rules out equal signs. For opposite signs, Theorem 1.4 gives a decomposition $u(t)=\\sigma_1 Q(\\cdot-z_1(t))+\\sigma_2 Q(\\cdot-z_2(t))+\\varepsilon(t)$ with $\\|\\varepsilon\\|_{H^1}+\\|\\partial_t u\\|_{L^2}\\lesssim t^{-1}$, a universal distance asymptotics (1.8) with dimension-dependent constant $c_0(N)$, and a fixed separation direction $\\omega_\\infty$ as in (1.9). Theorem 1.5 then proves that, for initial data within $\\delta$ of $Q(\\cdot-L/2)-Q(\\cdot+L/2)$ with $|L|>10|\\log\\delta|$, the solution is a two-soliton wave exactly when the two unstable components $(h_1,h_2)$ lie on a Lipschitz graph $H(L,\\varphi)$, with $|H|\\lesssim e^{-L/2}+\\|\\varphi\\|$. In short: damping plus interaction forces a universal repulsion, and the only free data are the unstable modes.","pith_inferences":["The same distance ODE suggests that multi-soliton waves with three or more bubbles would have pairwise separations all growing like $\\log t$, with alternating signs; this is not proved in the paper.","The leading $\\log t$ rate is independent of the damping coefficient $\\alpha$, but the constant $c_0$ depends on $\\alpha$ through $\\log(\\kappa g_0/\\alpha)$; measuring that constant for two values of $\\alpha$ would be a direct quantitative test.","The nonexistence of same-sign pairs relies on the energy decreasing to $2E(Q,0)$; this mechanism may transfer to other damped semilinear wave equations whose linearized operator has a single unstable mode, but the paper does not treat those equations.","A numerical experiment initializing two opposite-sign solitons with small unstable components and checking whether $|z_1-z_2|-(\\log t-\\frac{N-1}{2}\\log\\log t)$ tends to a constant would test the universality claim directly."],"forward_implications":["Same-sign two-soliton waves do not exist: any candidate configuration must either break apart or lose one soliton before settling.","Every opposite-sign two-soliton wave has centers whose difference satisfies the universal asymptotic (1.8) with a dimension-dependent constant; the direction of separation is fixed.","The residual error decays like $t^{-1}$, so the two-soliton wave is asymptotically a sum of two translated ground states with algebraic accuracy.","Near the sum of two remote opposite-sign solitons, the two-soliton waves form a codimension-2 Lipschitz manifold: $h=H(L,\\varphi)$ with $H$ Lipschitz and of size at most $C(e^{-L/2}+\\|\\varphi\\|)$."],"supporting_citations":[{"why":"Provides local well-posedness in $H^1\\times L^2$ and the dissipation identity used throughout.","marker":"[3]"},{"why":"Provides the spectral and coercivity properties of $L$ quoted in Lemma 1.7.","marker":"[7]"},{"why":"Establishes existence of the ground state $Q$ used to build the solitary waves.","marker":"[2]"},{"why":"Establishes uniqueness of the positive ground state $Q$, fixing the solitary wave profile.","marker":"[17]"},{"why":"Template for the sharp nonlinear interaction estimates in Lemma 2.1, including the sign-dependent asymptotics.","marker":"[27]"},{"why":"Supplies the topological no-retraction argument used to select the unstable initial amplitudes in Proposition 4.2.","marker":"[6]"}],"fun_headline_variants":["Same-sign soliton pairs ruled out, opposites log t apart","Damped KG: only opposite-sign solitons persist","Soliton pairs forced to opposite signs, universal log t","Two-soliton waves: opposite signs, log t separation","Universal repulsion: opposite solitons drift as log t"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the spectral coercivity of the linearized operator $L$ around one ground state: a unique negative eigenvalue with eigenfunction $Y$, and the bound $\\langle L\\varepsilon,\\varepsilon\\rangle \\ge c\\|\\varepsilon\\|_{H^1}^2 - c^{-1}(\\langle\\varepsilon,Y\\rangle^2 + \\sum_j \\langle\\varepsilon,\\partial_{x_j}Q\\rangle^2)$; if this failed, the one-dimensional unstable direction could not be separated from the stable remainder.","fun_headline_variants_meta":{"raw":{"variants":["Same-sign soliton pairs ruled out, opposites log t apart","Damped KG: only opposite-sign solitons persist","Soliton pairs forced to opposite signs, universal log t","Two-soliton waves: opposite signs, log t separation","Universal repulsion: opposite solitons drift as log t"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000183,"raw_usage":{"total_tokens":1349,"prompt_tokens":1013,"completion_tokens":336,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":629,"completion_tokens_details":{"reasoning_tokens":251}},"tokens_in":629,"tokens_out":336,"duration_ms":3915,"temperature":1.0,"reasoning_tokens":251,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:07:46.149955+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find, numerically, a same-sign two-soliton wave: run the damped Klein-Gordon equation from initial data close to $Q(x-L/2)+Q(x+L/2)$ with small unstable components and check whether the solution remains a two-soliton wave for large time. The theorems imply instead that the energy drops below $2E(Q,0)$ and such a configuration cannot persist; a robust computed counterexample would falsify Theorem 1.3. For the universal law, measure $z_1-z_2$ for an opposite-sign pair and compare the limit of $|z_1-z_2|-(\\log t-\\frac{N-1}{2}\\log\\log t)$ with the predicted constant $\\log(\\kappa g_0/\\alpha)$; a different constant or a different rate would falsify Theorem 1.4.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides local well-posedness in $H^1\\times L^2$ and the dissipation identity used throughout."},{"cited_title":"Cˆ ote and C","cited_arxiv_id":null,"evidence_quote":"Provides the spectral and coercivity properties of $L$ quoted in Lemma 1.7."},{"cited_title":"Berestycki and P.-L","cited_arxiv_id":null,"evidence_quote":"Establishes existence of the ground state $Q$ used to build the solitary waves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes uniqueness of the positive ground state $Q$, fixing the solitary wave profile."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Template for the sharp nonlinear interaction estimates in Lemma 2.1, including the sign-dependent asymptotics."},{"cited_title":"Cˆ ote, Y","cited_arxiv_id":null,"evidence_quote":"Supplies the topological no-retraction argument used to select the unstable initial amplitudes in Proposition 4.2."}],"review_version":1}