{"id":"02df9654-dfde-4038-b3d9-5af6bb55092b","arxiv_id":"2608.07296","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"Local balance laws from Rational Extended Thermodynamics generate the Love-Rosenau equation in a singular limit, with a necessary and sufficient realizability condition and an exact supersonic solitary pulse.","lead":"This paper derives the dispersive Love-Rosenau wave equation from local first-order balance laws, rather than postulating higher spatial gradients. It finds a strict inequality that the equation's coefficients must satisfy and discovers an exact smooth solitary pulse in the nonlinear case.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 7.1's necessity direction rests on the unproved normal-form assertion (7.3); if some linear reversible two-field RET systems cannot be brought to that form, the inequality beta > (rho/mu) alpha may not be necessary in general.","rationale":"The paper's strongest claim is the exact Love-Rosenau reduction from a local RET hierarchy and the necessary-and-sufficient realizability inequality. The derivations in Sections 5-6 and the sufficiency construction in Theorem 7.1 are careful and internally consistent: the algebra in Theorem 6.1 checks out, the characteristic-polynomial manipulations in Theorem 7.1 are correct, and the canonical hierarchy does realize the full admissible domain. The numerical evidence in Section 10.2 supports the singular-limit interpretation and includes a resolution check, so the lack of deposited code is a lesser concern. The load-bearing soft spot is exactly the unproved normal-form assertion in Theorem 7.1: the necessity direction would collapse if some linear reversible two-field RET systems with one vanishing inertia cannot be brought to (7.3). The paper asserts this with no derivation, and the surrounding text does not explain how the exactness condition (4.9) eliminates possible F_z couplings. Because this is the only gap in the central claim, and because a positive resolution is plausible, the appropriate verdict remains conditional. I agree with the reader's identification of this weakest assumption, and I do not see a stronger objection that would justify rejection.","tokens_in":21290,"tokens_out":29698,"duration_ms":281869,"concrete_test":"Independently derive the most general linear reversible two-field RET system by linearizing the compatibility theorem around a homogeneous state, allowing an arbitrary quadratic energy with cross-terms Psi_FP and Psi_FQ and arbitrary linear fluxes satisfying the exactness condition (4.9). Transform to the variables (v,F,Lambda) and check whether the system always reduces to (7.3) with no F_z term in the internal equation, with C0 diagonalizable to diag(0,tau), B symmetric, and A a scalar multiple of the skew matrix. If a residual F_z term or an F-dependent Lambda survives, recompute the finite acoustic branch and test whether beta - (rho/mu) alpha can be negative for some admissible parameters; if no residual term survives, the normal-form assertion is verified and Theorem 7.1 stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central realizability claim is that beta > (rho/mu) alpha is necessary and sufficient for a convex reversible two-field RET realization of the Love-Rosenau equation. The necessity proof in Theorem 7.1 assumes, without proof, that every linear reversible two-field RET system with one vanishing internal inertia can be written in the normal form (7.3) after a nonsingular linear change of the internal main-field components, with C0 = diag(0,tau), B symmetric, and A antisymmetric. This is not a purely cosmetic normalization: it encodes the absence of any F_z term in the internal balance and a specific coupling structure. In the general compatibility framework of Theorem 4.1, the internal main field Lambda can depend linearly on F through energy cross-terms, and the internal flux can depend on F; the exactness condition (4.9) may force the F_z coefficient to vanish after transforming to (v,F,Lambda) variables, but the paper does not show this. If a residual F_z term or an F-dependent Lambda remains, the characteristic polynomial acquires extra terms and the coefficient comparison leading to (7.16) no longer applies. The sufficiency direction is explicit and correct, and the canonical hierarchy realizes the admissible domain, but the necessity direction is incomplete. This is a gap in the argument, not a demonstrated counterexample; the claimed inequality may still hold for all systems in the intended class, but that remains to be proved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a one-dimensional Rational Extended Thermodynamics (RET) framework for dispersive elasticity, promoting a generalized stress σ and a higher internal field Q to independent balance laws in addition to velocity v and deformation gradient F. The Ruggeri–Strumia main-field formalism fixes the admissible stress, fluxes, and production from a supplementary mechanical-energy law. A canonical two-field hierarchy is shown to be symmetric hyperbolic under explicit convexity conditions and to contain nonlinear elasticity and a one-field generalized-stress theory as principal subsystems. In the quadratic reversible specialization, the singular fast-stress limit τσ→0 eliminates σ and Q and reproduces the Love–Rosenau equation exactly, with coefficients α=μa^2/κ^2 and β=(ρa^2+τQ)/κ^2. The paper then states a normal-form theorem asserting that β>ρα/μ is necessary and sufficient for any convex reversible two-field realization of the singular type, proves sufficiency by explicit construction, and derives the inequality from the normal form. The nonlinear extension yields an exact reduced equation with the same fourth-order structure, a travelling-wave first integral, an exact parametric supersonic solitary pulse for the leading cubic elastic correction, exclusion of the truncated-cosine compacton, and direct numerical simulations of pulse persistence in the parent hyperbolic system.","tokens_in":21704,"tokens_out":32853,"duration_ms":278360,"significance":"If the normal-form generality is established, the paper gives a local, symmetric-hyperbolic parent theory for a known dispersive wave equation, with an explicit and falsifiable realizability restriction on the Love–Rosenau coefficients. The strengths are substantial: the linear and nonlinear reductions (Theorems 6.1 and 8.1) are derived explicitly with consistent algebra; the canonical hierarchy realizes the whole admissible coefficient domain; the convexity conditions are explicit; the solitary-pulse construction is exact and parametric; and the numerical section reports a resolution check and distinguishes reversible persistence from dissipative metastability. The discussion of the relation between the parent energy flux k and the reduced interstitial-working flux is careful and conceptually useful. The main weakness is the unproved normal-form assertion in Section 7.1, on which the necessity direction of the central realizability theorem rests.","major_comments":[{"comment":"The necessity direction of Theorem 7.1 rests on the assertion that every linear reversible two-field RET system with one vanishing internal inertia can be written in the normal form (7.3) after a nonsingular linear change of the internal main-field components. This assertion is stated without proof. In particular, the paper does not show that the exactness condition (4.9) eliminates any F-dependence of the internal fluxes at linear order and that all energy cross-terms are encoded in the coupling vector c=(γ,δ). If a residual F_z term or an F-dependent Λ survived the transformation, the characteristic polynomial (7.13) and the coefficient comparison leading to (7.16) would not apply to the full class, and the 'if and only if' in Corollary 7.2 would be conditional on the normal form. I recommend adding a lemma that derives (7.3) from the RET potential structure, or explicitly restricting the theorem and its corollaries to the normal-form class.","section":"Section 7.1, Eq. (7.3)"},{"comment":"The constructed realization has C0=diag(0,τ), so the temporal matrix is positive semidefinite with a zero eigenvalue and is not strictly convex in the sense of (2.11). The sufficiency claim is therefore meaningful only as a singular limit of strictly convex systems, such as the canonical hierarchy with τσ>0. The theorem and Corollary 7.2 should be rephrased to state that the Love–Rosenau coefficients are realized by a one-parameter family of strictly convex reversible two-field RET systems in the limit τσ→0, rather than by a strictly convex system at the singular point.","section":"Section 7.1, proof of Theorem 7.1 (converse)"}],"minor_comments":[{"comment":"The phrase 'exactparametricsmoothsolitarypulseinasupersonicvelocitywindow, whilethetruncated- cosinecompactonisexcluded' is missing spaces; please correct the typesetting.","section":"Abstract"},{"comment":"The characteristic polynomial is presented as the result of 'direct elimination' without a derivation; a short derivation or an explicit reference to the elimination steps would make the proof easier to check.","section":"Section 7.1, Eq. (7.13)"},{"comment":"The repository link and DOI are promised for the final version but are absent from the arXiv version, so the numerical results are not independently reproducible from the manuscript as submitted.","section":"Section 10.2, Data accessibility"},{"comment":"The cancellation of the R_z terms when applying (κ-a∂z) to the differentiated Q-equation is not shown; adding the intermediate line would improve clarity.","section":"Section 6.3, proof of Theorem 6.1"},{"comment":"The statement that the non-vanishing of A0+A2U^2 follows from the window condition is terse; a short verification of U_m^2 < -A0/A2 under (10.18) would strengthen the claim.","section":"Section 10.1, Proposition 10.1"}],"recommendation":"major_revision","confidential_remarks":"The normal-form gap in Section 7.1 is the main substantive issue; the rest of the paper is technically sound and the derivations check out. I recommend asking the authors to supply the missing normal-form lemma or to confine the necessity claim to the normal-form class, and to clarify the convexity wording of the converse. Once these points are addressed, the paper should be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper does something concrete and useful: it constructs a local first-order RET hierarchy whose fast-stress singular limit reproduces the Love-Rosenau equation exactly, and it turns the existence question into a coefficient inequality. The linear reduction (Theorem 6.1), the exact nonlinear reduction (Theorem 8.1), and the parametric solitary-pulse formula for the cubic stress correction are all derived explicitly; the algebra checks out. The canonical hierarchy has the right nested structure, with nonlinear elasticity and one-field viscoelasticity as genuine principal subsystems. The authors also carefully separate the parent energy flux from the interstitial-working term that appears only after reduction. That is real progress, not a repackaging.\n\nThe serious soft spot is the necessity direction of Theorem 7.1. The proof relies on the assertion that every linear reversible two-field RET system with one zero internal inertia can be written in the normal form (7.3) via a nonsingular linear change of the internal main-field components. That assertion is not proved, and it is doing real work: it excludes an F_z term in the internal balance and an F-dependent internal main field. The general compatibility theorem (Theorem 4.1) leaves room for both. So the claim that beta > (rho/mu) alpha is necessary for every realization in the intended class is not established. This is a gap in the proof, not a known counterexample; the sufficiency construction is correct and covers the whole admissible domain.\n\nMinor issues: the numerical code for the persistence runs is promised but not yet deposited, and the non-vanishing condition in Proposition 10.1 is asserted rather than fully demonstrated. Neither affects the main reductions.\n\nI think this paper deserves a serious referee. The necessity gap should be closed or the theorem scoped to the normal-form class. I would cite it, and it is worth a reading-group slot.","headline":"Solid RET derivation of Love-Rosenau with a real gap in the necessity proof of the realizability theorem; worth refereeing.","tokens_in":22127,"tokens_out":4413,"would_cite":true,"duration_ms":39899,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35L60","35Q74","74B20","74J30"],"pacs":[],"model":"deepseek-v4-flash","headline":"By letting the inertia of an independent fast stress mode vanish, this paper derives the Love–Rosenau dispersive equation from a local symmetric-hyperbolic parent theory, and proves a sharp necessary-and-sufficient realizability condition.","keywords":["Rational Extended Thermodynamics","dispersive elasticity","Love–Rosenau equation","main field","symmetric hyperbolicity","solitary waves","singular limit","convex supplementary energy"],"falsifier":"A direct test is to enumerate all linear reversible two-field systems with one vanishing inertia that cannot be transformed to the normal form $C_0=\\mathrm{diag}(0,\\tau)$, $B=B^T$, $A=-A^T$, and compute the acoustic branch of each; if any genuinely coupled such system has an exact Love–Rosenau branch with $\\beta\\le\\rho\\alpha/\\mu$, the necessity claim fails, while otherwise the normal-form assumption gains support for this class.","tokens_in":21070,"feed_emoji":"🌊","tokens_out":15421,"duration_ms":127894,"temperature":0.7,"pith_summary":"This paper aims to show that the one-dimensional Love–Rosenau equation, a dispersive wave equation usually written with fourth-order spatial and mixed space-time derivatives, can be generated from a local first-order system of balance laws rather than postulated as a higher-gradient continuum theory. The construction promotes a generalized stress and a higher internal field to independent balance variables, in the style of Rational Extended Thermodynamics, and fixes their admissible fluxes and productions through a supplementary energy law and the main-field principle. In the linear reversible case, letting the inertia of the fast stress mode vanish eliminates the internal fields and recovers the Love–Rosenau equation exactly; the coefficient inequality $\\beta>\\rho\\alpha/\\mu$ turns out to be necessary and sufficient for such a realization under strict convexity. If the derivation is correct, it grounds a phenomenological dispersive equation in a local, symmetric-hyperbolic parent theory and explains why the high-frequency limiting speed must lie below the elastic sound speed. The same architecture also produces an exact nonlinear reduction, a smooth supersonic solitary pulse for a cubic elastic correction, and numerical evidence of finite-time pulse persistence.","feed_headline":"Local balance laws yield the Love–Rosenau wave equation exactly","feed_subtitle":"A sharp convexity condition decides which Love–Rosenau models are realizable, and a smooth supersonic pulse follows.","key_machinery":"The load-bearing object is the canonical two-field balance hierarchy of Rational Extended Thermodynamics: $$\\rho v_t-\\partial_z[T(F)+\\$\\sigma$]=0,\\quad F_t-v_z=0,\\quad \\partial_t[Z(\\$\\sigma$)-F]-a\\partial_z\\chi=P_1,\\quad \\partial_t Y(Q)-a\\partial_z\\$\\sigma$=P_2,$$ with main field $(v,T(F)+\\sigma,\\sigma,\\chi(Q))$ and $\\chi(Q)=E'_Q(Q)/Y'(Q)$. In the reversible quadratic case $Z(\\sigma)=\\tau_\\sigma\\sigma$, $Y(Q)=\\tau_Q Q$, $\\chi=Q$, $P_1=-\\kappa Q$, $P_2=\\kappa\\sigma$, and the strict convexity of the supplementary energy reduces to $\\rho>0$, $W''(F)>0$, $\\tau_\\sigma>0$, $\\tau_Q>0$. The singular fast-stress limit $\\tau_\\sigma\\to0$ turns the first internal balance into an algebraic constraint, and elimination of $\\sigma$ and $Q$ reproduces the Love–Rosenau equation with $\\alpha=\\mu a^2/\\kappa^2$, $\\beta=(\\rho a^2+\\tau_Q)/\\kappa^2$. The realizability theorem works by bringing an arbitrary linear reversible two-field system with one vanishing inertia to a normal form with inertia matrix $\\mathrm{diag}(0,\\tau)$, symmetric flux matrix $B$, and antisymmetric production $A$; the characteristic-polynomial computation then yields the identity $\\beta-\\rho\\alpha/\\mu=\\gamma^2\\tau/\\kappa^2$.","core_discovery":"The central discovery is that dispersive elasticity need not be introduced through spatial gradients: a local first-order hierarchy with a convex supplementary energy can reproduce the Love–Rosenau family in a singular limit. For the quadratic reversible specialization, the canonical two-field hierarchy with balance densities $(\\rho v, F, \\tau_\\sigma\\sigma-F, \\tau_Q Q)$ and reversible production $(-\\kappa Q,\\kappa\\sigma)$ is symmetric hyperbolic whenever $\\rho,\\mu,\\tau_\\sigma,\\tau_Q>0$. Setting $\\tau_\\sigma=0$ and eliminating $\\sigma$ and $Q$ yields $\\rho u_{tt}-\\mu u_{zz}+\\frac{\\mu a^2}{\\kappa^2}u_{zzzz}-\\frac{\\rho a^2+\\tau_Q}{\\kappa^2}u_{zztt}=0$, with $\\alpha=\\mu a^2/\\kappa^2$ and $\\beta=(\\rho a^2+\\tau_Q)/\\kappa^2$, so $\\beta-\\rho\\alpha/\\mu=\\tau_Q/\\kappa^2>0$. The paper proves that this inequality is not an artifact of the chosen fluxes: for any genuinely coupled convex reversible two-field realization of the singular type, $\\beta>\\rho\\alpha/\\mu$ is necessary, and conversely every pair $(\\alpha,\\beta)$ satisfying it is realizable. For nonlinear elastic stress, the same elimination yields $\\rho u_{tt}-[T(u_z)]_z+\\frac{a^2}{\\kappa^2}[T(u_z)]_{zzz}-\\frac{\\rho a^2+\\tau_Q}{\\kappa^2}u_{zztt}=0$, whose travelling-wave first integral gives an exact smooth supersonic pulse for the leading cubic correction and excludes the truncated-cosine compacton.","pith_inferences":["A testable open question left by the paper is whether the normal-form assumption used in the necessity proof covers every linear reversible two-field system with one vanishing inertia; a counterexample with $\\beta\\le\\rho\\alpha/\\mu$ would break the necessity half.","The same RET architecture might generate other fourth-order dispersive equations, such as Boussinesq-type chains, from local first-order parents; the sign of the mixed-derivative coefficient would then be controlled by the inertia of the highest internal field.","Because the local parent energy flux is distinct from the reduced interstitial-working flux, apparently non-local higher-gradient energy balances may be reinterpretable as reductions of local hierarchies; this could guide multidimensional extensions of the present one-dimensional construction.","The solitary-pulse analysis covers only hardening corrections ($\\mu_n>0$); softening branches, periodic and kink waves, and spectral stability of the pulse remain open and could be approached with the same exact first integral."],"forward_implications":["The Love–Rosenau equation acquires a local, first-order, symmetric-hyperbolic parent theory, and its realizable coefficient domain is exactly $\\alpha>0$, $\\beta>\\rho\\alpha/\\mu$; the canonical hierarchy attains every admissible pair.","Nonlinear elasticity and the one-field generalized-stress model are principal subsystems of the two-field hierarchy, so the reduced dispersive model inherits the convex supplementary law and subcharacteristic ordering of the parent system.","The strict inequality $\\beta>\\rho\\alpha/\\mu$ forces the high-frequency limiting phase speed below the elastic sound speed, giving a structural explanation of normal dispersion without any assumption about material length scales.","For the first cubic elastic correction, the reduced equation admits an exact smooth solitary-pulse branch for supersonic speeds, and the truncated-cosine compacton is excluded by the same first integral.","Direct simulations of the full parent hierarchy show the reduced pulse persists over finite times with shape error decreasing as the fast-stress inertia tends to zero; weak dissipation produces slow metastable decay."],"supporting_citations":[{"why":"Supplies the main-field and dual-potential construction that determines the admissible stress, internal fluxes, and convexity condition of the whole hierarchy.","marker":"[20]"},{"why":"Supplies the principal-subsystem theorem used to place nonlinear elasticity and the one-field generalized-stress model inside the two-field hierarchy and to enforce subcharacteristic inequalities.","marker":"[15]"},{"why":"Supplies the one-field viscoelastic balance-density structure $\\psi_1=Z(\\sigma)-F$ that the canonical two-field hierarchy extends.","marker":"[12]"},{"why":"Provides the phenomenological dispersive continuum model with an inherent material length that motivates the Love–Rosenau target equation.","marker":"[4]"},{"why":"Modern reconsideration of the Love rod mechanism that sets the dispersive equation whose one-dimensional reduction is reproduced here.","marker":"[1]"},{"why":"Defines the interstitial-working flux used to interpret the reduced energy identity of the Love–Rosenau equation.","marker":"[28]"},{"why":"Provides comparison solitary and compact-like shear-wave solutions in dispersive solids, against which the present travelling-wave results are discussed.","marker":"[5]"}],"fun_headline_variants":["Local laws, not gradients, give exact Love–Rosenau waves","Supersonic pulse emerges in local elasticity theory","Sharp condition for realizable Love–Rosenau models","Exact reduction of dispersive elasticity to Love–Rosenau"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The necessity part of the realizability theorem rests on the assumption that every linear reversible two-field system with one vanishing inertia can be rewritten, using only a linear change of internal variables, in a single canonical form; if some systems cannot be rewritten that way, the inequality might be a feature of the canonical form rather than a universal requirement.","fun_headline_variants_meta":{"raw":{"variants":["Local laws, not gradients, give exact Love–Rosenau waves","Supersonic pulse emerges in local elasticity theory","Sharp condition for realizable Love–Rosenau models","Exact reduction of dispersive elasticity to Love–Rosenau"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000353,"raw_usage":{"total_tokens":2007,"prompt_tokens":1115,"completion_tokens":892,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":731,"completion_tokens_details":{"reasoning_tokens":822}},"tokens_in":731,"tokens_out":892,"duration_ms":8310,"temperature":1.0,"reasoning_tokens":822,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T10:51:36.337013+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct test is to enumerate all linear reversible two-field systems with one vanishing inertia that cannot be transformed to the normal form $C_0=\\mathrm{diag}(0,\\tau)$, $B=B^T$, $A=-A^T$, and compute the acoustic branch of each; if any genuinely coupled such system has an exact Love–Rosenau branch with $\\beta\\le\\rho\\alpha/\\mu$, the necessity claim fails, while otherwise the normal-form assumption gains support for this class.","supporting_citations":[{"cited_title":"1981 Main field and convex covariant density for quasi-linear hy- perbolic systems: relativistic fluid dynamics.Ann","cited_arxiv_id":null,"evidence_quote":"Supplies the main-field and dual-potential construction that determines the admissible stress, internal fluxes, and convexity condition of the whole hierarchy."},{"cited_title":"1997 Hyperbolic principal subsystems: entropy convex- ity and subcharacteristic conditions.Arch","cited_arxiv_id":null,"evidence_quote":"Supplies the principal-subsystem theorem used to place nonlinear elasticity and the one-field generalized-stress model inside the two-field hierarchy and to enforce subcharacteristic inequalities."},{"cited_title":"2024 A nonlinear approach to viscoelasticity via Rational Extended Thermo- dynamics.Int","cited_arxiv_id":null,"evidence_quote":"Supplies the one-field viscoelastic balance-density structure $\\psi_1=Z(\\sigma)-F$ that the canonical two-field hierarchy extends."},{"cited_title":"1995 Continuum model of dispersion caused by an inherent material characteristic length.J","cited_arxiv_id":null,"evidence_quote":"Provides the phenomenological dispersive continuum model with an inherent material length that motivates the Love–Rosenau target equation."},{"cited_title":"2024 Revisiting the Love hypothesis for introducing dispersion of longitudinal waves in elastic rods.Eur","cited_arxiv_id":null,"evidence_quote":"Modern reconsideration of the Love rod mechanism that sets the dispersive equation whose one-dimensional reduction is reproduced here."},{"cited_title":"1985 On the thermomechanics of interstitial working.Arch","cited_arxiv_id":null,"evidence_quote":"Defines the interstitial-working flux used to interpret the reduced energy identity of the Love–Rosenau equation."},{"cited_title":"2006 Solitary and compactlike shear waves in the bulk of solids.Phys","cited_arxiv_id":null,"evidence_quote":"Provides comparison solitary and compact-like shear-wave solutions in dispersive solids, against which the present travelling-wave results are discussed."}],"review_version":1}