{"id":"85fe203b-2ed0-43f2-a153-739c7ce332e6","arxiv_id":"2411.11703","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For symmetric configurations, multi-solitons exist with inter-soliton distance asymptotic to λ log t, and no same-sign multi-soliton exists.","lead":"This paper constructs multi-soliton solutions of the damped nonlinear Klein-Gordon equation, where many solitons sit at the corners of a symmetric expanding shape and the spacing between neighbors grows like log t. It also proves that any multi-soliton must contain both positive and negative solitons, a qualitative constraint not previously known for more than two solitons.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The algebraic balance condition (1.5) has the wrong sign for the paper's own examples, so the central construction does not apply as stated.","rationale":"The reader identified the algebraic balance condition (1.5) as a fragile, non-automatic assumption, and I agree that this is the right part of the paper to scrutinize. My stress-test, however, finds a more specific and more serious failure: as written, (1.5) is not merely exotic or restrictive; it has the wrong sign for the examples in Corollary 1.5. For both the alternating polygon and the center-plus-regular-polytope constructions, substituting the stated signs and nearest-neighbour sets into (1.5) produces a negative coefficient, contradicting the requirement \\gamma>0 and the values of \\gamma printed in the corollary. The construction of the expanding distance r(t) in Proposition 3.2 depends on this coefficient in an essential way: the sign in (3.17) determines whether r increases or decreases, and the final logarithmic law (1.7) uses \\lambda_\\Omega=\\gamma^{-1} up to constants. In addition, the proof switches the direction of the vector in the sum and the sign in front of the sum relative to the modulation equation (2.39), so the sign inconsistency is not merely a typo in one displayed formula but a systematic mismatch between the theorem statement, the modulation equations, and the derivation of the scalar ODE. I am not claiming the underlying strategy is wrong; the construction may well go through after a consistent sign correction. But as submitted, the central theorem does not cover its own principal examples, and the proof's derivation of (3.17) from (1.5) does not close. For this reason the paper should remain conditional pending an explicit correction of (1.5) and the associated signs in (2.39) and (3.16)-(3.17). I do not find a comparable issue in Theorem 1.8; the non-existence argument for same-sign multi-solitons is structurally independent of the geometric balance condition and appears coherent.","tokens_in":29132,"tokens_out":29035,"duration_ms":294945,"concrete_test":"Run a direct symbolic computation of the left-hand side of (1.5) for the alternating square listed in Corollary 1.5: at \\omega=1, with nearest neighbours \\pm i both of sign -, the sum is -2\\omega. If this computation is correct, (1.5) cannot hold with any \\gamma>0 for that example; then check whether the derivation (3.12)-(3.17) still yields \\dot r=(\\gamma/2\\alpha)g(r) when (1.5) is replaced by the opposite-vector form \\sigma(\\omega)\\sum_{\\wr\\in\\Omega_\\omega}\\sigma(\\wr)(\\wr-\\omega)/|\\wr-\\omega|=\\gamma\\omega. This single check decides whether the theorem's stated assumption matches its advertised examples.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The main existence theorem is driven by condition (1.5), which is supposed to make the center-of-mass ODE reduce to the scalar equation \\dot r = (\\gamma/(2\\alpha))g(r). As printed, however, (1.5) cannot hold with \\gamma>0 for the configurations advertised in Corollary 1.5. For the alternating square, \\Omega=\\{1,i,-1,-i\\} with \\sigma_{e^{ik\\pi/2}}=(-1)^k, the nearest neighbours of \\omega=1 are i and -i, both with sign -; the left-hand side of (1.5) is (-1)(1-i)+(-1)(1+i)=-2, so (1.5) forces \\gamma=-2, not \\gamma=2\\sin(\\pi/4)=\\sqrt{2}. The same happens for the 'regular polyhedron with a center' cases: for a tetrahedron vertex with \\sigma_0=-1 and \\sigma_\\omega=+1, the only nearest neighbour is the center and the left-hand side of (1.5) is -\\omega, giving \\gamma=-1. Hence the theorem's key hypothesis is not satisfied by the examples that are supposed to instantiate it. Moreover, the proof of Proposition 3.2 then switches to the opposite vector \\wr-\\omega and to the opposite sign in front of the sum relative to (2.39); these choices are not equivalent to (1.5). Since (3.17) and the logarithmic law (1.7) depend on the signs in (1.5), the central claim is not supported as written until the sign convention is corrected.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the damped nonlinear Klein-Gordon equation and constructs multi-solitary waves whose centers lie on expanding symmetric configurations (regular polygons, polyhedra, polytopes), with a logarithmic law for the nearest-neighbor distance. The main existence result, Theorem 1.3, is conditional on an algebraic balance condition (1.5) and a rigidity property (Definition 1.2). The paper also proves, in Theorem 1.8, that any multi-soliton must contain both signs. The proof combines modulation theory, a Lyapunov/bootstrap argument, and a Brouwer no-retraction argument to select the unstable mode.","tokens_in":29474,"tokens_out":24680,"duration_ms":216410,"significance":"If the sign and normalization issues are resolved, the result would be a substantial extension of the 2-soliton analysis in [7] and of Feireisl's earlier construction [13], providing explicit multi-solitons with a precise logarithmic separation law in dimensions 2–5. The non-existence of same-sign multi-solitons is also a natural and valuable general statement. The paper is carefully structured, and the proof strategy is coherent: the bootstrap estimates, the refined distance functional, and the transversality argument are serious and mostly self-contained apart from the cited modulation and energy lemmas. However, the current statement has load-bearing inconsistencies in the sign convention of (1.5), the formulas in Corollary 1.5, and the initial-size hypothesis in Proposition 3.2; these undermine the claim as written.","major_comments":[{"comment":"The sign in the balance condition is inconsistent with the examples in Corollary 1.5. For the alternating square Omega={1,i,-1,-i} with sigma_{e^{ik pi/2}}=(-1)^k, the nearest neighbours of omega=1 are i and -i, both with sign -1. The left-hand side of (1.5) is (+1)[(-1)(1-i)+(-1)(1-(-i))]= -2, so (1.5) forces gamma=-2, not gamma=2 sin(pi/4)=sqrt(2) as claimed. Similarly, for a 'polyhedron with center' with sigma_0=-1 and sigma_omega=+1 for vertices, the left-hand side at a vertex is -omega, so (1.5) would give gamma=-1, not gamma=1. Thus Theorem 1.3 does not apply to the configurations that are advertised as its main examples. The proof of Proposition 3.2 then switches between the vector (omega-vartheta) in (1.5) and (vartheta-omega) in the use of (2.39); the sign relations among (2.39), (2.44), and (1.5) are not consistent as printed, and they determine the sign of r-dot in (3.17) and hence the logarithmic law. This issue is central, not cosmetic, and needs to be resolved by fixing the sign convention and correcting the formulas for gamma (and lambda_Omega) in Corollary 1.5.","section":"Sec. 1.3, Eq. (1.5) and Corollary 1.5"},{"comment":"The first sentence of Corollary 1.5 asserts that regular polytopes together with their symmetry groups are rigid in O_d(R) according to Definition 1.2, but no proof is provided. This rigidity is load-bearing: Proposition 3.2 uses it to obtain the representation y_vartheta(t)=lambda(t)R(t)vartheta+tau(t) for all times, which is the basis for reducing the vector ODE to the scalar equation for r(t). Without a proof (or a precise reference), the existence of the specific examples in Corollary 1.5 is not established.","section":"Sec. 1.3, Corollary 1.5"},{"comment":"Assumption (3.4) only requires q_*(Omega) <= delta for the initial configuration, but the bootstrap estimate (3.13) and the statement in Step 1 that 'it holds from (3.4) ... q_*(z(0)) <= delta^2' require the initial interaction to be of order delta^2. The assertion q_*(z(0)) <= delta^2 is not a consequence of the stated condition. This can be repaired by applying the proposition to a sufficiently large rescaling C Omega, with q_*(C Omega) <= delta^2, or by restating (3.4) with delta^2; as written, the bootstrap opening is not justified.","section":"Sec. 3, Proposition 3.2, assumption (3.4)"}],"minor_comments":[{"comment":"In the statement of (2.39) the numerator is written as y_vartheta - y_omega, while the derivation in (2.44) and the later use in the proof require y_omega - y_vartheta (or a consistent global sign change). Please check and correct the sign convention so that (2.39), (2.44), and the computation after (3.16) are mutually consistent.","section":"Sec. 2.4, Eq. (2.39)"},{"comment":"Once the sign convention in (1.5) is corrected, the discussion in Remark 1.6 (hexagon case gamma=0, dodecahedron case gamma<0) needs to be re-examined under the same convention; the current wording is tied to the inconsistent sign choice.","section":"Sec. 1.6, Remark 1.6"},{"comment":"There are numerous typographical artifacts in the text (e.g., 'mul ti solitary', 'configuration', 'd /greaterorequalslant|Omega|') that should be cleaned up in the revision.","section":"Abstract and Section 1"}],"recommendation":"major_revision","confidential_remarks":"The sign issue is pervasive and appears simultaneously in the statement of (1.5), the examples in Corollary 1.5, and the proof of Proposition 3.2. Before a resubmission, I would ask the authors to re-derive the balance condition with a concrete configuration (e.g., the alternating square and the centered tetrahedron) and to state the condition in a way that is satisfied by their examples, with the corresponding correction to the logarithmic coefficient. The rigidity claim in Corollary 1.5 also needs a proof if it is to support the examples. These are likely fixable, but they are not local typographical slips."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper has one genuinely new thing: it constructs K-solitons with logarithmically growing distances for the damped nonlinear Klein-Gordon equation in symmetric configurations (regular polygons with alternating signs, simplexes, orthoplexes, hypercubes), and it proves that same-sign multi-solitons cannot exist. The proof is a serious modulation/bootstrap argument with a topological fixed-point step, and it builds on the authors' earlier 2-soliton work without simply rehashing it. The non-existence theorem is a clean extension to arbitrary K.\n\nThat said, there is a load-bearing sign error in the statement of the main theorem. Condition (1.5), as printed, reads σ(ω)∑_{ϖ∈Ω_ω} σ(ϖ)(ω-ϖ) = γω, with γ>0. For the alternating square, the left side equals -2, so γ=-2, not √2 as Corollary 1.5 claims. For a tetrahedron with a center, it gives γ=-1. The proof of Proposition 3.2 actually computes with the opposite vector (ϖ-ω)/|ϖ-ω|, which is the version that gives positive γ for those examples. So the theorem as stated does not cover its own advertised configurations. This is almost certainly a typo—flip the order in (1.5) and the examples check out—but it is not cosmetic: the sign controls the ODE that produces the logarithmic law. A referee must require the correction before the main theorem can be accepted.\n\nTwo other soft spots, both minor by comparison. First, Corollary 1.5 asserts rigidity of regular polytopes without proof; that geometric fact is plausible but non-trivial and should be argued. Second, the bootstrap assumption (3.4) says q*(Ω) ≤ δ while the proof later needs q*(z(0)) ≈ δ²; this is fixable by rescaling the configuration, as the final step of Theorem 1.3 already does, but the statement should say so.\n\nOverall, the architecture is sound and the results are worth having once the sign is corrected. The paper deserves a serious referee, not a desk reject. I'd send it back for a revision that fixes (1.5), proves or references the rigidity claim, and cleans up the small-δ bookkeeping.","headline":"A substantial multi-soliton construction with a correctable but load-bearing sign error in the main hypothesis; worth refereeing after revision.","tokens_in":29978,"tokens_out":5150,"would_cite":true,"duration_ms":43895,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B40","35C08","35L71"],"pacs":[],"model":"deepseek-v4-flash","headline":"For the damped Klein-Gordon equation, the paper constructs symmetric multi-solitons with logarithmic spacing and proves every multi-soliton must contain both signs.","keywords":["damped Klein-Gordon equation","multi-solitons","logarithmic distance","regular polytopes","symmetry","modulation analysis","ground states","nonlinear dispersive equations"],"falsifier":"Run a high-precision numerical simulation of the damped nonlinear Klein-Gordon equation in dimension 2 with initial data close to two same-sign ground states placed far apart; if the centres spread apart at a logarithmic rate and the two-hump profile persists, then Theorem 1.8 is false.","tokens_in":28961,"feed_emoji":"🌊","tokens_out":7605,"duration_ms":69567,"temperature":0.7,"pith_summary":"The paper studies the damped nonlinear Klein-Gordon equation and asks whether solutions can look, for large times, like several solitary waves moving apart. It constructs such multi-solitons when the wave centres sit at the vertices of a rigidly symmetric expanding configuration, including regular polygons, polyhedra, and higher-dimensional regular polytopes, and it gives a precise law for the separation: the distance from the centre scales like $\\ln t - \\frac{d-1}{2}\\ln\\ln t$, with computable constants. The paper also proves a rigidity statement in the opposite direction: any multi-soliton with at least two components must contain solitons of both signs, so all-same-sign clusters are impossible. If correct, these results turn the heuristic that damping makes logarithmic spreading generic into a theorem for a large class of symmetric configurations.","feed_headline":"Multi-solitons spread like log t; mixed signs forced","feed_subtitle":"Damped Klein-Gordon clusters separate at a precise logarithmic rate, and same-sign clusters are ruled out.","key_machinery":"The argument is carried by a modulation decomposition near a sum of translated ground states, combined with an energy and bootstrap control of the remainder. The decisive object is the balance condition (1.5): for each vertex $\\omega$, the signed sum $\\sigma(\\omega)\\sum_{\\iota\\in\\Omega_\\omega}\\sigma(\\iota)(\\omega-\\iota)$ over nearest neighbours is required to equal $\\gamma\\omega$ for one constant $\\gamma>0$. This condition collapses the system of centre-of-mass ODEs into the single scalar equation $\\dot r(t)=\\frac{\\gamma}{2\\alpha}g(r(t))$, where $g$ is the leading interaction function, asymptotic to $g_0 q(r)$ with $q$ the radially decaying ground-state profile; solving this equation produces the logarithmic separation law. The unstable direction of the linearized flow is then controlled by choosing the initial unstable mode through a topological argument.","core_discovery":"The central claim is Theorem 1.3: under a rigidity assumption on a finite configuration $\\Omega$ with symmetry group $G$ and an algebraic balance condition on the nearest-neighbour vectors, there is a solution $u(t,x) = \\sum_{\\omega\\in\\Omega}\\sigma(\\omega)Q(x-d(t)\\omega)+\\varepsilon(t,x)$ of the damped Klein-Gordon equation, with the error bounded by $O(t^{-1})$ in $H^1\\times L^2$ and with $d(t)=\\lambda_\\Omega(\\ln t-\\frac{d-1}{2}\\ln\\ln t)+c_\\Omega+O(\\ln\\ln t/\\ln t)$. The companion claim is Theorem 1.8: every $K$-soliton with $K\\ge2$ contains both signs. The construction covers regular polygons with alternating signs, regular polyhedra with a centre, regular simplices, orthoplexes, and hypercubes, and it sharpens earlier existence results by identifying the exact logarithmic asymptotics.","pith_inferences":["If the logarithmic law is robust, the constants $\\lambda_\\Omega$ and $c_\\Omega$ should be observable in numerical simulations, and the $\\ln\\ln t$ correction should be detectable over long time windows.","The balance condition failure for regular polygons with seven or more sides suggests a transition: for the hexagon the interaction is critical, while for more sides the nearest-neighbour interaction should push vertices together rather than apart, which may explain a non-existence threshold.","The no-same-sign theorem suggests that repulsion between like-sign ground states is a structural phenomenon for damped scalar field equations; extending the argument to systems with several fields or to excited states may require new mechanisms."],"forward_implications":["In every configuration covered by Corollary 1.5, a genuine multi-soliton exists with the prescribed sign pattern and with centres expanding to infinity.","The inter-soliton interaction is asymptotically $\\ln t$, not linear in $t$, so the damped equation exhibits the strong-interaction regime generically rather than exceptionally.","The refined expansion $d(t)=\\lambda_\\Omega(\\ln t-\\frac{d-1}{2}\\ln\\ln t)+c_\\Omega+O(\\ln\\ln t/\\ln t)$ is a precise, testable prediction for the centre positions at large times.","No multi-soliton can have all components of the same sign, even if convergence to the multi-soliton structure is only assumed along a sequence of times.","The results generalize and sharpen earlier existence statements for alternating-sign planar polygons and for two-soliton damped Klein-Gordon configurations."],"supporting_citations":[{"why":"First construction of alternating-sign multi-solitons on planar polygons, which the present theorem generalizes and makes quantitative.","marker":"[13]"},{"why":"Supplies the modulation estimates, interaction asymptotics, and classification of 2-solitons that the paper extends to symmetric multi-solitons.","marker":"[7]"},{"why":"Provides the energy estimates and bootstrap structure for long-time asymptotics of the damped Klein-Gordon equation.","marker":"[6]"},{"why":"Gives local well-posedness, energy dissipation, and the Cauchy theory used throughout.","marker":"[3]"},{"why":"Provides spectral properties of the linearized operator around the ground state, including coercivity and the unstable mode.","marker":"[8]"},{"why":"Recent global dynamics around two solitons whose sign-alternation statement is generalized to arbitrary K.","marker":"[14]"},{"why":"Establishes existence and radial properties of the ground state Q.","marker":"[2]"},{"why":"Gives uniqueness of the positive ground state, used in the definition of the soliton profile.","marker":"[19]"}],"fun_headline_variants":["Damped KG solitons part at log t, signs must mix","Symmetric multi-solitons: log t spacing, sign forced mix","Polytope soliton clusters separate at log rate, not same sign","Damped Klein-Gordon multi-solitons: exact log t spread","Same-sign multi-solitons impossible; log t growth precise"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction rests on an exact algebraic balance: for every vertex, the signed sum of the vectors to its nearest neighbours must point exactly along the vertex's own position vector with one common positive constant; this condition fails for configurations such as a regular hexagon with a centre, and the whole logarithmic law depends on it.","fun_headline_variants_meta":{"raw":{"variants":["Damped KG solitons part at log t, signs must mix","Symmetric multi-solitons: log t spacing, sign forced mix","Polytope soliton clusters separate at log rate, not same sign","Damped Klein-Gordon multi-solitons: exact log t spread","Same-sign multi-solitons impossible; log t growth precise"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00017,"raw_usage":{"total_tokens":1286,"prompt_tokens":984,"completion_tokens":302,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":600,"completion_tokens_details":{"reasoning_tokens":208}},"tokens_in":600,"tokens_out":302,"duration_ms":2955,"temperature":1.0,"reasoning_tokens":208,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:14:36.553508+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a high-precision numerical simulation of the damped nonlinear Klein-Gordon equation in dimension 2 with initial data close to two same-sign ground states placed far apart; if the centres spread apart at a logarithmic rate and the two-hump profile persists, then Theorem 1.8 is false.","supporting_citations":[{"cited_title":"Finite energy travelling waves for no nlinear damped wave equations","cited_arxiv_id":null,"evidence_quote":"First construction of alternating-sign multi-solitons on planar polygons, which the present theorem generalizes and makes quantitative."},{"cited_title":"De scription and classification of 2-solitary waves for nonlinear damped Klein-Gordon equa tions","cited_arxiv_id":null,"evidence_quote":"Supplies the modulation estimates, interaction asymptotics, and classification of 2-solitons that the paper extends to symmetric multi-solitons."},{"cited_title":"Long-time asym ptotics of the one-dimensional damped nonlinear Klein-Gordon equation","cited_arxiv_id":null,"evidence_quote":"Provides the energy estimates and bootstrap structure for long-time asymptotics of the damped Klein-Gordon equation."},{"cited_title":"Lo ng time dynamics for damped Klein- Gordon equations","cited_arxiv_id":null,"evidence_quote":"Gives local well-posedness, energy dissipation, and the Cauchy theory used throughout."},{"cited_title":"Multi-solitons for nonlinear Klein-Gordon equations","cited_arxiv_id":null,"evidence_quote":"Provides spectral properties of the linearized operator around the ground state, including coercivity and the unstable mode."},{"cited_title":"Global dynamics around 2-solitons for the nonlinear damped klein-gordon equations","cited_arxiv_id":null,"evidence_quote":"Recent global dynamics around two solitons whose sign-alternation statement is generalized to arbitrary K."},{"cited_title":"Berestycki and P.-L","cited_arxiv_id":null,"evidence_quote":"Establishes existence and radial properties of the ground state Q."},{"cited_title":"Uniqueness of positive solutions of ∆ u − u + up = 0 in Rn","cited_arxiv_id":null,"evidence_quote":"Gives uniqueness of the positive ground state, used in the definition of the soliton profile."}],"review_version":1}