{"id":"454c1984-42cb-4c27-a213-6f3db66a7830","arxiv_id":"2501.16493","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The paper proves the constant-curvature nonlocal Hamiltonian conditions announced in earlier work, classifies the separable case, and gives new KdV, additive-separable, and Lieb-Liniger examples.","lead":"This mathematics paper proves necessary conditions for a class of nonlocal Hamiltonian structures on polychromatic reductions of the soliton gas kinetic equation. It gives explicit structures for KdV and separable kernels and shows the Lieb-Liniger reduction admits only the local structure.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 10 rests on an unverified Christoffel-symbol formula and a sign-inconsistent curvature component; a direct symbolic check is needed before (34a)-(34b) can be accepted.","rationale":"The reader's weakest-assumption analysis identifies exactly the same load-bearing point: Theorem 10 is proved via a self-cited, un-derived Christoffel-symbol formula (37), and the printed sign in (35) is inconsistent with the convention in (25). My reading of the full text confirms this. The proof is the main novel contribution, since the constant-curvature conditions were only announced in the earlier paper [43] and are here asserted to be proved in detail. The only substantive derivation offered is the single-component computation leading to (37), and that computation is not actually shown. Because the subsequent examples (KdV, additive separable, Lieb-Liniger) all rest on solving (34a)-(34b), an error in (37) would propagate directly to the classification claims. I do not think the paper is wrong in concept: the framework of Mokhov-Ferapontov operators is standard, the flat c=0 case is known, and the examples are plausible. But correctness of Theorem 10 as a proof is untestable from the printed argument. A symbolic-algebra rederivation would settle the issue quickly. This does not change the reader's conditional verdict: the paper should be accepted only with the indicated repair or verification, so I mark the verdict as unchanged. I do not see a separate more serious concern: the sign of c is absorbable by redefinition, and the self-citation is not itself a flaw. The concrete test I propose is minimal and would either validate (34) or localize the error in (37).","tokens_in":15546,"tokens_out":4131,"duration_ms":39571,"concrete_test":"Independently compute the Christoffel symbols of the metric (20) and the relevant curvature component, then compare with (35)-(38). Concretely: (i) re-derive the Christoffel symbols from (20) without invoking [43, Theorem 1]; (ii) evaluate R^{ri}_{ri ηi ri} and R^{ri}_{ri ri ηi} for a generic kernel with n=2 and n=3 in a symbolic algebra system; (iii) verify that the printed formula (37) matches one of these components exactly; (iv) extract the coefficients in r_i and confirm they give (34a)-(34b) with signs consistent with (25); (v) set c=0 and check that the result reduces precisely to Theorem 4's flatness conditions (21a)-(21b). If any of these checks fails, Theorem 10's proof needs correction or replacement before the nonlocal structures in Examples 14-16 can be regarded as established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is Theorem 10, which asserts that conditions (34a) and (34b) are necessary for the metric (20) to have constant curvature c. The proof reduces the constant-curvature condition to a single component (35), R^{ri}_{ri ri ηi} = -c g_{ri ηi}. Under the convention stated in (24)-(25), substituting i=j=ri, k=ri, l=ηi gives R^{ri}_{ri ri ηi} = +c g_{ri ηi}; the printed sign matches a different index order, e.g. R^{ri}_{ri ηi ri}. Since the constants are arbitrary, the sign discrepancy alone could be repaired by redefining c, but it shows the printed component is inconsistent with the stated convention. More importantly, the crucial explicit expression (37) for this curvature component is quoted from [43, Theorem 1] without derivation, and as printed its numerator/denominator structure is ambiguous because of missing parentheses. The proof then uses 'one can easily see as [43, Theorem 1]' to conclude independence from r_i and to extract (34a)-(34b) by coefficient comparison. If (37) contains a sign or factor error, both necessary conditions change. This is load-bearing because Examples 14-15 use (34) to exhibit operators (22) for KdV and additive-separable cases, and Example 16 uses (34a) to reject the Lieb-Liniger case. Neither a computer-algebra verification nor an independent rederivation of (37) is supplied, so the central proof is not checkable from the printed text.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies polychromatic reductions of the kinetic equation for soliton gas and investigates nonlocal Hamiltonian structures for the resulting quasilinear systems. After reviewing the delta-functional reduction, the local Dubrovin-Novikov formalism, and the Ferapontov-Mokhov nonlocal operators, the paper states Theorem 10, which gives necessary conditions (34a)-(34b) for the block metric (20) to have constant curvature c. Corollaries 11-12 classify the corresponding interaction kernels into separable and non-separable cases. Examples 14-16 apply the conditions to the KdV, additive-separable, and Lieb-Liniger kernels, and Examples 17-18 construct operators with two nonlocal tails related to conformally flat metrics. The stated goal is to provide a second, compatible Hamiltonian structure in the nonlocal case, thereby restoring bi-Hamiltonianity for n>2.","tokens_in":15844,"tokens_out":11687,"duration_ms":102533,"significance":"If the central theorem is correct, the paper would give a meaningful extension of the local Hamiltonian results in [43] and [44]: constant-curvature metrics produce nonlocal operators of the form (22), and the KdV and additive-separable reductions would admit a second compatible structure for n>2, while the Lieb-Liniger case would not for nonzero curvature. The paper also makes a useful connection to conformally flat metrics and Ferapontov operators. Its strengths are the explicitness of the examples and the clear use of the standard Ferapontov-Mokhov criterion. I do not see a circularity problem: the reliance on [43, Theorem 1] is a checkability issue rather than a logical circularity. However, the proof of Theorem 10 is not independently verifiable from the printed text: the key curvature component (37) is quoted from a self-cited source without derivation, and Eq. (35) is sign-inconsistent with the stated convention (25). These issues are load-bearing because the examples rest on conditions (34a)-(34b).","major_comments":[{"comment":"Under the convention stated in Eq. (25), the component with i=j=r_i, k=r_i, l=η_i equals +c g_{r_i η_i}, not -c g_{r_i η_i}. The negative sign in Eq. (35) corresponds to the index order i=j=r_i, k=η_i, l=r_i, which is not the component expanded in Eq. (36). Since Eq. (35) is the starting point of the proof of Theorem 10, this sign error must be corrected and the derivation of Eqs. (34a)-(34b) rechecked; if the sign is absorbed by redefining c, the c-terms in (34a)-(34b) change sign accordingly.","section":"Section 3.1, Eqs. (25), (35), (36)"},{"comment":"The displayed expression for the curvature component is un-derived and typographically malformed: the numerator and denominator are not clearly separated, and the cofactor notation A_{i,k} alone does not make the expression unambiguous. The following sentence invokes [43, Theorem 1] to conclude that this expression is independent of r_i, and then extracts (34a)-(34b) by coefficient comparison. Since [43, Theorem 1] is not reproduced, the central computation of the paper is not checkable from the text. A complete derivation of Eq. (37), or a computer-algebra verification, together with an explicit statement of the r_i-dependence that justifies the coefficient comparison, should be supplied.","section":"Section 3.1, Eq. (37)"},{"comment":"Theorem 10 proves only necessity of conditions (34a)-(34b). In Example 14 the n=2 case is checked against the full constant-curvature condition (25), but the claimed generalization to arbitrary n, and the whole of Example 15, use only the necessary conditions. Unless sufficiency is proved for these families, the displayed s_i, ψ_i, and χ_i do not establish that the metric (20) has constant curvature c, and hence do not establish the existence of the nonlocal Hamiltonian operator (22) for n>2. The paper should either prove sufficiency in these cases or verify the full condition (25) directly.","section":"Section 4, Examples 14 and 15"}],"minor_comments":[{"comment":"The derivation from Eq. (34b) to Eq. (40) is not reproducible as stated: differentiating twice with respect to η_k and then once with respect to η_i does not produce the displayed identity; the computation works, modulo factors, with one derivative in η_k and one in η_i. In addition, Eq. (39) rewrites (34b) with the opposite sign on the right-hand side; this is harmless because c is arbitrary but should be corrected.","section":"Section 3.1, Corollary 11"},{"comment":"The formula for χ_i contains a typo: the last term should be c(η_i)^2, not c(η_1)^2.","section":"Section 4, Example 14, Eq. (57b)"},{"comment":"The display for h_i is typographically broken; the cases and the integration variable should be typeset unambiguously so that the formula can be checked.","section":"Section 4, Example 14, Eq. (58)"},{"comment":"The KdV interaction kernel is written with an absolute value in Table 1 but without one in Eq. (55); please make the notation consistent.","section":"Table 1 and Example 14"},{"comment":"There are numerous typos and OCR artifacts, including 'fo r', 'ensamble', 'S chroedinger', and 'Gauss-Peterson-Codazzi'; a careful proofread is needed.","section":"Throughout"},{"comment":"The notation 'Rri ririηi' is visually overloaded; explicitly marking upper and lower indices, for example R^{r_i}_{r_i r_i η_i}, would prevent index-order ambiguities.","section":"Section 3.1, Eqs. (35)-(37)"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the manuscript is largely an elaboration of results already announced in the author's own paper [43], and this provenance is disclosed. The main gap is the proof of Theorem 10, which depends on an unquoted formula from [43] and contains a sign inconsistency with Eq. (25). These issues are fixable in revision, so I recommend major revision rather than rejection. I also note that the examples for n>2 assert existence of nonlocal structures based on conditions the paper explicitly states are only necessary; this gap should be closed by a direct verification or a sufficiency statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe thing to know: this paper gives the first written proof of Theorem 10, a result announced without proof in the author's earlier paper with Ferapontov, and it adds a clean dichotomy (separable kernels vs. φ_i = 0) plus explicit examples. The core claim is plausible and the examples are useful. But the proof of Theorem 10 is not self-contained: formula (37) is quoted from [43] without derivation and looks malformed, and equation (35) has a sign opposite to the convention stated in (25). Both are repairable, but as printed the central argument cannot be checked from the text.\n\nWhat is genuinely new: the written proof (such as it is), Corollaries 11 and 12, and the examples for the KdV and additive-separable cases with the nonlocal structure (22). Example 16, showing the Lieb-Liniger kernel does not admit such a structure for nonzero curvature, is also useful. The author is honest that Theorem 10 only gives necessary conditions and that the examples need to be checked separately—for n=2 they do solve the full curvature condition, so those are fine.\n\nThe soft spots: formula (37) is load-bearing and unverified. The jump from (35)–(37) to the coefficient comparisons (34a)–(34b) is compressed into \"one can easily see,\" which is not enough when the formula it relies on is in a self-cited paper. There is also a minor sign typo in equation (39) in the proof of Corollary 11: it writes +c instead of −c from (34b). For the arbitrary-n examples (57) and (61), the constant-curvature condition is asserted without showing the check; that is a gap, but not a huge one if the n=2 cases are backed by direct computation.\n\nWhom is this for? Researchers working on Hamiltonian structures of hydrodynamic-type systems, especially the soliton gas reductions. The results are incremental but real. It deserves a serious referee, not a desk reject. The referee should ask for a rederivation or symbolic verification of (37), a fix of the sign typos, and a clearer statement of which examples are verified as sufficient.\n\nMy recommendation: send to peer review, with revision expected.\n\nBest","headline":"Useful proof and examples for constant-curvature nonlocal structures, but the main calculation is quoted rather than derived and has sign typos.","tokens_in":16426,"tokens_out":4273,"would_cite":false,"duration_ms":37830,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37K10","35Q51","53B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"The polychromatic reductions of the soliton-gas kinetic equation admit nonlocal Hamiltonian structures when their metric has constant curvature, and the paper gives necessary conditions on the interaction kernel for this to happen.","keywords":["soliton gas","kinetic equation","polychromatic reduction","nonlocal Hamiltonian operators","constant-curvature metrics","bi-Hamiltonian structures","Dubrovin-Novikov operators","Korteweg-de Vries soliton gas"],"falsifier":"Compute the full Riemann tensor of the metric (20) for the $n=3$ KdV solution of Example 14, with the stated $s_i,\\chi_i,\\psi_i$, and verify directly whether every component satisfies $R^i_{jkl}=c(\\delta^i_k g_{jl}-\\delta^i_l g_{jk})$ for the same $c$; if any independent component fails, the single-component argument in Theorem 10 is insufficient or the example is inconsistent.","tokens_in":15275,"feed_emoji":"🌊","tokens_out":9676,"duration_ms":85902,"temperature":0.7,"pith_summary":"The paper claims that the polychromatic (delta-functional) reductions of the kinetic equation for a soliton gas, which are quasilinear first-order systems, carry nonlocal Hamiltonian operators of constant-curvature type, and it derives necessary conditions on the interaction kernel for such operators to exist. The key geometric requirement is that the metric naturally associated with the reduction have constant curvature; Theorem 10 translates this into the two algebraic conditions (34a) and (34b) on the kernel and the free functions. If these conditions hold, the reduced system gains a second Hamiltonian structure alongside the local one, and for reductions with more than two spectral components this is what restores bi-Hamiltonian integrability. The paper shows the conditions are met by the KdV and additive-separable kernels and are violated for the Lieb-Liniger kernel except in the flat case, and it also constructs nonlocal operators of conformally-flat type for KdV and Lieb-Liniger.","feed_headline":"Soliton-gas reductions gain nonlocal Hamiltonian structures","feed_subtitle":"For KdV and separable kernels a second structure appears; the Lieb-Liniger case stays local.","key_machinery":"The load-bearing object is the nonlocal first-order Hamiltonian operator (22), $g^{ij}\\partial_x + b^{ij}_k u^k_x + c\\,u^i_x \\partial_x^{-1} u^j_x$, whose Hamiltonianity is equivalent to the leading coefficient $g^{ij}$ being a semi-Riemannian metric of constant curvature $c$ with $b^{ij}_k$ tied to its Christoffel symbols. The metric is the one determined in (20) by the compatibility conditions for hydrodynamic-type systems applied to the reduced Jordan-block system, so the Hamiltonian question becomes a curvature question. Theorem 10 answers it by evaluating the constant-curvature identity (25) on the component $R^{r_i}_{r_i r_i \\eta_i}$ and reading off the coefficients of monomials in the fields $r_i$, producing (34a)-(34b). For the conformally flat branch, the machinery is the Ferapontov operator (26) and its two-tail specialisation (31), whose Hamiltonianity is equivalent to conformal flatness of the metric, with the affinor $w^i_j$ required to be a hydrodynamic-type symmetry of the system.","core_discovery":"The central claim is Theorem 10: for the metric (20) obtained from the polychromatic reduction of the soliton-gas kinetic equation, conditions (34a) and (34b) are necessary for the metric to have constant curvature $c$. The proof extracts this from the single Riemann-curvature component $R^{r_i}_{r_i r_i \\eta_i}$, using an explicit Christoffel-symbol formula for the metric (20). The theorem splits the admissible kernels into two families: multiplicatively separable kernels, which Corollary 12 sharpens to kernels depending essentially on one spectral variable, and kernels with $\\phi_i=0$ and $\\psi_i=-c$. For the KdV kernel and additive-separable kernels, the paper exhibits explicit functions $s_i,\\chi_i,\\psi_i$ that satisfy these conditions, so the nonlocal operator (22) furnishes a second compatible Hamiltonian structure even when the number of components exceeds two; for the Lieb-Liniger kernel the conditions force $c=0$, leaving only the local Dubrovin-Novikov structure. The paper also constructs operators of form (31) tied to conformally flat metrics and commuting flows for the KdV and Lieb-Liniger cases, which reduce to the flat case when the affinor vanishes.","pith_inferences":["Because Theorem 10 states only necessity, a symbolic check of the remaining curvature components for the KdV $n=3$ solution would test whether these conditions are sufficient; the paper does not perform that check.","The same constant-curvature ansatz can be applied to the other kernels in the paper's Table 1, such as the sinh-Gordon, DNLS, and hard-rod kernels, which are not computed and therefore remain open candidates for nonlocal Hamiltonian structures.","Taking the number of spectral components to infinity would convert the polychromatic nonlocal operators into nonlocal Hamiltonian structures for the full integro-differential soliton-gas kinetic equation, the direction the paper flags as future work."],"forward_implications":["For reductions with $n>2$, the constant-curvature operator restores a second compatible Hamiltonian structure for the KdV and additive-separable kernels, a role the local Dubrovin-Novikov structure alone cannot play.","The necessary conditions (34) partition the interaction kernels into two classes—multiplicatively separable kernels, which then reduce to essentially one-variable kernels by Corollary 12, and kernels with $\\phi_i=0$, $\\psi_i=-c$—so any kernel outside these classes admits no constant-curvature nonlocal operator of form (22).","The Lieb-Liniger kernel admits only the flat, purely local structure, since the nonlocal condition forces $c=0$.","For conformally flat metrics, nonlocal operators of form (31) exist for the KdV and Lieb-Liniger kernels with the affinor built from commuting flows; setting the affinor to zero recovers the local flat structures.","The explicit Hamiltonian densities (58) and (62) complete the nonlocal structures with their full data, not just the operators."],"supporting_citations":[{"why":"States the theorem that an operator of form (22) is Hamiltonian if and only if its leading metric has constant curvature $c$, the criterion Theorem 10 feeds into.","marker":"[30]"},{"why":"Supplies the metric (20), the flat-case Hamiltonian conditions (21), and the Christoffel-symbol formula quoted in the proof of Theorem 10.","marker":"[43]"},{"why":"Introduced the delta-functional polychromatic reduction that turns the integro-differential kinetic equation into the quasilinear system (3).","marker":"[34]"},{"why":"Gives the Hamiltonianity conditions for Ferapontov operators with nonlocal tails, used for the conformally-flat discussion.","marker":"[14]"},{"why":"States the Hamiltonianity criterion for the two-tail operator (31) in terms of conformally flat metrics, used in Examples 17 and 18.","marker":"[20]"},{"why":"Provides the compatibility conditions between nonlocal operators and hydrodynamic-type systems invoked as Theorem 8.","marker":"[45]"}],"fun_headline_variants":["Soliton gas gets nonlocal Hamiltonian partners","Nonlocal Hamiltonian structures for polychromatic soliton gas","KdV and separable kernels gain second Hamiltonian structure","Soliton gas: nonlocal Hamiltonian beyond the local case","Polychromatic soliton gas gets nonlocal Hamiltonian structure"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's necessary conditions are extracted from a single component of the curvature tensor, using a Christoffel-symbol formula quoted from an earlier paper without being re-derived; if that quoted formula or the computed component is wrong, conditions (34) do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Soliton gas gets nonlocal Hamiltonian partners","Nonlocal Hamiltonian structures for polychromatic soliton gas","KdV and separable kernels gain second Hamiltonian structure","Soliton gas: nonlocal Hamiltonian beyond the local case","Polychromatic soliton gas gets nonlocal Hamiltonian structure"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000364,"raw_usage":{"total_tokens":1933,"prompt_tokens":889,"completion_tokens":1044,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":966}},"tokens_in":505,"tokens_out":1044,"duration_ms":7700,"temperature":1.0,"reasoning_tokens":966,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T12:53:17.069524+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the full Riemann tensor of the metric (20) for the $n=3$ KdV solution of Example 14, with the stated $s_i,\\chi_i,\\psi_i$, and verify directly whether every component satisfies $R^i_{jkl}=c(\\delta^i_k g_{jl}-\\delta^i_l g_{jk})$ for the same $c$; if any independent component fails, the single-component argument in Theorem 10 is insufficient or the example is inconsistent.","supporting_citations":[{"cited_title":"Surveys 45, no","cited_arxiv_id":null,"evidence_quote":"States the theorem that an operator of form (22) is Hamiltonian if and only if its leading metric has constant curvature $c$, the criterion Theorem 10 feeds into."},{"cited_title":"Hamiltonian aspects of the kinetic equation for soliton gas","cited_arxiv_id":"2403.20162","evidence_quote":"Supplies the metric (20), the flat-case Hamiltonian conditions (21), and the Christoffel-symbol formula quoted in the proof of Theorem 10."},{"cited_title":"and Math","cited_arxiv_id":null,"evidence_quote":"Introduced the delta-functional polychromatic reduction that turns the integro-differential kinetic equation into the quasilinear system (3)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Hamiltonianity conditions for Ferapontov operators with nonlocal tails, used for the conformally-flat discussion."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the Hamiltonianity criterion for the two-tail operator (31) in terms of conformally flat metrics, used in Examples 17 and 18."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the compatibility conditions between nonlocal operators and hydrodynamic-type systems invoked as Theorem 8."}],"review_version":1}