{"id":"bfb30e57-1d36-4f6e-9be3-2f5171504b94","arxiv_id":"2606.30353","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Existence proofs via variational methods for traveling waves in 2D FPUT lattices, plus numerical characterization of direction-dependent line DSWs whose speeds and amplitudes match KdV predictions for small jumps.","lead":"The paper proves existence of solitary and periodic traveling waves in a 2D Fermi-Pasta-Ulam-Tsingou lattice using variational methods and numerically studies line dispersive shock waves, comparing them to KdV approximations. A smart generalist might read it to see how nonlinear wave behavior in lattices extends from one to two dimensions, with implications for modeling materials and granular systems.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the convexity/unimodality premise required for the direct method; this is the explicit hypothesis of the theorem rather than a hidden gap. The abstract-only review already flags the low-confidence status, and the described numerical-KdV comparisons do not alter the variational existence argument.","tokens_in":1833,"tokens_out":239,"duration_ms":33404,"concrete_test":"Locate the statement of the existence theorem (likely §2) and verify that the proof explicitly checks coercivity and weak lower semicontinuity of the functional under the stated unimodal assumption; if the argument reduces to a standard reference without additional 2D-specific estimates, the claim holds as conditional.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central existence claim is explicitly conditional on convexity (or unimodality for the relaxed case) to guarantee that the variational functional attains a minimum via the direct method. The abstract states that the authors invoke this premise and relax convexity under unimodality; no internal inconsistency or misapplication of the method is indicated in the described strategy.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves the existence of periodic and solitary traveling waves in a two-dimensional Fermi-Pasta-Ulam-Tsingou lattice via variational methods, first assuming convex potentials and then relaxing convexity for unimodal profiles. It supplies a variational numerical scheme to compute these waves and compares the results to KdV approximations for quasi-one-dimensional propagation. The second part examines line dispersive shock waves generated by quasi-one-dimensional jump initial data, reporting that shape depends on propagation direction while speed and amplitude do not, and compares trailing/leading edge speeds and amplitudes to both the KdV equation and a DSW fitting procedure, obtaining good agreement in the small-jump limit.","tokens_in":1917,"tokens_out":467,"duration_ms":46771,"significance":"If the central claims hold, the work supplies rigorous variational existence results for traveling waves in a 2D lattice setting together with a clean technical relaxation of convexity under unimodality. The systematic numerical study of line DSWs and their comparison to reduced KdV models and DSW fitting provides concrete, falsifiable benchmarks for higher-dimensional dispersive shock phenomena. The explicit statement of validity limits for the KdV approximation and the use of independent numerics to test it are strengths.","major_comments":[],"minor_comments":[{"comment":"Abstract: the statement that 'properties such as the speed and amplitude do not' depend on direction is presented without a supporting symmetry argument or forward reference to the relevant numerical figure; a single clarifying sentence would improve readability.","section":"Abstract"},{"comment":"The numerical section on traveling-wave computations: while the variational algorithm is described as 'natural,' the precise discretization, boundary conditions, and convergence criteria used to generate the solitary and periodic profiles are not stated explicitly; adding these details would aid reproducibility.","section":"Numerical computations of traveling waves"},{"comment":"DSW section: the claim of 'even better agreement' between DSW fitting and numerics versus KdV is asserted for various jump heights; reporting the quantitative error measures (e.g., relative differences in edge speeds) in a table would make the improvement precise.","section":"Dispersive shock waves"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of our manuscript on traveling and dispersive shock waves in a 2D FPUT lattice. The report correctly summarizes our variational existence proofs (with convexity relaxation for unimodal profiles), the numerical scheme, and the comparison of line DSWs to KdV predictions and DSW fitting. We appreciate the recognition of the work's strengths in providing rigorous results and falsifiable benchmarks. No specific major comments were provided in the report.","responses":[],"tokens_in":1396,"tokens_out":111,"duration_ms":17958,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper proves existence of periodic and solitary traveling waves in a 2D FPUT lattice using variational methods for convex potentials, relaxes convexity for unimodal profiles, and then numerically studies line dispersive shock waves under quasi-1D jumps, comparing them to KdV approximations.\n\nWhat is new is the 2D existence proofs and the systematic look at how line DSW shape changes with direction while speed and amplitude stay the same. The numerics draw on the variational setup for computation and test the KdV limit explicitly for small jumps, with DSW fitting giving tighter matches.\n\nThe work does well by applying the direct method in the calculus of variations in a straightforward way and by stating the range where the approximations hold. Removing the convexity requirement under unimodality is a clean technical move that widens the result without extra machinery.\n\nThe soft spots are the reliance on convexity or unimodality to guarantee a minimum, which is necessary for the proof strategy but keeps the result conditional. The DSW analysis is restricted to line solutions constant in one direction, so it does not address fully two-dimensional spreading or oblique propagation. Agreement with KdV is solid only in the small-jump regime, which follows directly from the derivation and is not unexpected.\n\nThis is for people working on nonlinear lattices and modulated waves who already know the 1D FPUT and KdV literature. A reader wanting concrete 2D benchmarks and existence statements would find it useful.\n\nIt deserves peer review because the proofs rest on standard techniques, the numerics are presented with clear validity limits, and the directional observations add measurable 2D content.","headline":"This paper proves existence of 2D FPUT traveling waves variationally and runs numerics on line DSWs with KdV checks, but the 2D content stays quasi-1D and the assumptions are standard.","tokens_in":2428,"tokens_out":421,"would_cite":false,"duration_ms":38141,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Variational techniques prove existence of traveling waves in two-dimensional Fermi-Pasta-Ulam-Tsingou lattices","keywords":["Fermi-Pasta-Ulam-Tsingou lattice","traveling waves","dispersive shock waves","variational methods","KdV approximation","two-dimensional lattice","solitary waves","periodic waves"],"falsifier":"A numerical search for traveling waves that fails to converge for a non-convex non-unimodal potential, or a physical experiment showing a line DSW whose speed depends on direction.","tokens_in":2744,"feed_emoji":"🌊","tokens_out":631,"duration_ms":53624,"temperature":0.7,"pith_summary":"The paper establishes the existence of periodic and solitary traveling waves in a two-dimensional Fermi-Pasta-Ulam-Tsingou lattice using variational methods for convex interaction potentials, with the convexity condition relaxed to unimodality for certain profiles. It further investigates line dispersive shock waves arising from jump initial conditions, revealing that while their shape varies with propagation direction, their speed and amplitude remain the same regardless of direction. These findings are supported by numerical computations and compared against approximations derived from the Korteweg-de Vries equation, showing close agreement especially for small jump heights, with an additional fitting method yielding even better matches. A reader cares because this work provides both rigorous proofs and practical numerical tools for understanding nonlinear wave propagation in discrete two-dimensional systems.","feed_headline":"Variational proof finds traveling waves in 2D lattice","feed_subtitle":"Periodic and solitary waves exist for convex potentials; line DSW speeds and amplitudes stay independent of direction","key_machinery":"Variational minimization of an action functional for traveling wave profiles, which establishes existence and supplies a numerical algorithm.","core_discovery":"Using variational techniques we prove the existence of both periodic and solitary traveling waves for convex potentials. In the case of unimodal profiles we are able to remove the assumption of convexity. The variational formulation also provides a natural algorithm for the numerical computation of traveling waves. For dispersive shock waves we focus on line DSWs which form from quasi-one-dimensional jump initial data, finding that the shape depends on the direction of travel but properties such as the speed and amplitude do not, with good agreement to KdV in the limit of vanishing jump height and better agreement using DSW fitting.","pith_inferences":["The direction independence of DSW speed may indicate a broader invariance in higher-dimensional discrete shock dynamics.","The variational numerical scheme could be extended to compute wave interactions or stability in 2D lattices.","For large jumps fully two-dimensional initial data may require models beyond the quasi-1D KdV reduction.","These existence results enable systematic study of long-time asymptotics in 2D nonlinear lattices."],"forward_implications":["Existence of traveling waves holds under convexity or unimodality conditions on the potential.","Line DSWs have speeds and amplitudes independent of travel direction.","KdV approximates DSW edge speeds well for small jump heights.","DSW fitting improves predictions over KdV for finite jumps.","Quasi-one-dimensional data allows reduction to effective one-dimensional models."],"fun_headline_variants":["Variational proof establishes traveling waves in 2D lattice","Waves proven in 2D lattice for unimodal profiles without convexity","Line DSW speeds and amplitudes unchanged by direction in 2D lattice","KdV approximates DSW edges in 2D lattice for small jumps"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The lattice potential must be convex or the profile unimodal so that the variational functional attains a minimum.","fun_headline_variants_meta":{"raw":{"variants":["Variational proof establishes traveling waves in 2D lattice","Waves proven in 2D lattice for unimodal profiles without convexity","Line DSW speeds and amplitudes unchanged by direction in 2D lattice","KdV approximates DSW edges in 2D lattice for small jumps"]},"model":"grok-4.3","cost_usd":0.005029,"raw_usage":{"total_tokens":2525,"prompt_tokens":812,"num_sources_used":0,"completion_tokens":74,"cost_in_usd_ticks":50287000,"prompt_tokens_details":{"text_tokens":812,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1639,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":812,"tokens_out":74,"duration_ms":24589,"temperature":1.0,"reasoning_tokens":1639,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T02:51:52.556230+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A numerical search for traveling waves that fails to converge for a non-convex non-unimodal potential, or a physical experiment showing a line DSW whose speed depends on direction.","supporting_citations":[],"review_version":1}