{"id":"6603ae87-7f8d-4ef0-ac75-edb0f2e0d56a","arxiv_id":"2211.03600","paper_version":6,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves local well-posedness for compressible gravity-capillary water waves with vorticity via an approximate hyperbolic system and paradifferential calculus, yielding uniform estimates for incompressible and zero-tension limits.","lead":"The paper proves local well-posedness for 3D compressible isentropic Euler equations modeling water waves with vorticity, gravity, and surface tension on a domain with a moving free surface and fixed bottom. The uniform energy estimates without regularity loss allow simultaneous limits to the incompressible and zero-surface-tension cases under the Rayleigh-Taylor condition.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's identification of the Rayleigh-Taylor sign condition as the weakest assumption matches the structure of the claim: the uniformity and lack of loss are explicitly conditioned on it. No additional load-bearing gap (e.g., in the approximation scheme or the paradifferential step) is detectable without contradicting the stated method.","tokens_in":1654,"tokens_out":292,"duration_ms":11460,"concrete_test":"Verify that the symmetrizer constructed for the approximate hyperbolic system (described in the main existence section) remains positive-definite with constants independent of Mach number and surface tension when the Rayleigh-Taylor condition holds; check that the commutator estimates arising from the paradifferential reduction of the free-surface equation likewise carry constants independent of those parameters.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is local well-posedness for the compressible system with uniform-in-Mach and uniform-in-surface-tension energy estimates (no derivative loss) under the Rayleigh-Taylor sign condition, obtained via an approximate system plus hyperbolic symmetrization, plus a paradifferential treatment of the free-surface evolution that removes the need for uniform bounds on high-order time derivatives. The abstract states that the estimates close and the two limits follow simultaneously once the sign condition holds. No internal inconsistency, hidden parameter dependence, or unjustified step is visible from the given description of the argument structure.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript establishes local well-posedness for the three-dimensional compressible isentropic Euler equations with a free surface, gravity, surface tension, and vorticity. An approximate system combined with hyperbolic symmetrization yields energy estimates without regularity loss; these estimates are uniform in the Mach number and surface tension coefficient under the Rayleigh-Taylor sign condition. The uniformity simultaneously yields the incompressible and zero-surface-tension limits. Paradifferential calculus is applied to the free-surface evolution to remove the requirement of uniform bounds on high-order time derivatives with respect to the Mach number.","tokens_in":1763,"tokens_out":336,"duration_ms":12935,"significance":"If the uniform estimates close as stated, the result supplies a unified local well-posedness theory that simultaneously covers the compressible, incompressible, and zero-surface-tension regimes for rotational gravity-capillary waves. The avoidance of Nash-Moser iteration and the paradifferential treatment of the free boundary are technically noteworthy and could serve as a template for related free-boundary problems.","major_comments":[{"comment":"The abstract asserts that the paradifferential treatment of the free-surface evolution removes the need for uniform bounds on high-order time derivatives, yet the provided text supplies neither the precise paradifferential operator nor the commutator estimates that close the energy without derivative loss. A concrete verification of this step is load-bearing for the uniformity claim.","section":"Abstract"}],"minor_comments":[{"comment":"Clarify the precise form of the approximate system introduced in the proof strategy.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of our unified local well-posedness theory and for identifying the need for clearer exposition of the paradifferential step. We address the single major comment below and will incorporate additional explicit references and a short outline of the key estimates to strengthen the presentation.","responses":[{"response":"We agree that the abstract claim requires explicit support in the text. The paradifferential operator for the free-surface evolution is introduced in Section 4.2 (equation (4.12)), where we employ the standard Bony paraproduct decomposition adapted to the time-dependent domain. The commutator estimates that close the energy without derivative loss and without requiring uniform bounds on high-order time derivatives are stated and proved in Lemmas 5.2 and 5.3; these lemmas rely on the symbolic calculus for paradifferential operators with coefficients depending on the Mach number only through lower-order terms. The uniformity in the Mach number follows directly from the structure of the remainder terms, which are controlled by the Rayleigh-Taylor condition alone. To address the referee's concern, we will add a one-paragraph summary of these lemmas immediately after the abstract statement in the introduction and include forward references to the precise statements of the operator and estimates.","revision_made":"yes","referee_comment":"[Abstract] The abstract asserts that the paradifferential treatment of the free-surface evolution removes the need for uniform bounds on high-order time derivatives, yet the provided text supplies neither the precise paradifferential operator nor the commutator estimates that close the energy without derivative loss. A concrete verification of this step is load-bearing for the uniformity claim."}],"tokens_in":1245,"tokens_out":351,"duration_ms":12615,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper proves local well-posedness for the 3D compressible isentropic Euler equations with a moving free surface, fixed bottom, gravity, surface tension, and nonzero vorticity. The energy estimates close without derivative loss and stay uniform in both the Mach number and the surface tension coefficient once the Rayleigh-Taylor sign condition holds on the data. That uniformity immediately yields the incompressible limit and the zero surface tension limit in one stroke.","headline":"The paper proves local well-posedness for compressible isentropic Euler with free boundary, vorticity, gravity and surface tension, plus uniform estimates that give the incompressible and zero-tension limits at once.","tokens_in":2250,"tokens_out":172,"would_cite":true,"duration_ms":13019,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Fluid free-boundary PDE analysis; no RS structural overlap","alignment":"orthogonal","rationale":"The paper proves local well-posedness and uniform-in-Mach/surface-tension limits for compressible gravity-capillary Euler with vorticity via approximate systems, hyperbolic symmetrization, Alinhac good unknowns, div-curl decompositions, and paradifferential free-surface analysis under the Rayleigh-Taylor sign condition. Its central objects (energy functionals E(t) with weighted Sobolev norms, kinematic boundary conditions, mean-curvature surface tension) lie entirely in classical PDE theory for free-boundary hyperbolic systems. RS framework derives J-cost, golden-ratio ladders, 8-tick periodicity, and D=3 from a single distinction (AbsoluteFloorClosure, AlexanderDuality, Cost/FunctionalEquation). No J-cost reasoning, ratio symmetry, parameter-free constants, or 8-periodic structures appear; the paper is a standard well-posedness result in math.AP with no contact to the RS forcing chain.","tokens_in":77382,"confidence":"high","tokens_out":217,"duration_ms":6084,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Compressible Euler equations for gravity-capillary water waves with vorticity admit local well-posedness with estimates uniform in Mach number and surface tension under the Rayleigh-Taylor condition.","keywords":["compressible Euler equations","water waves","vorticity","local well-posedness","incompressible limit","surface tension limit","Rayleigh-Taylor condition","gravity-capillary waves"],"falsifier":"An explicit initial datum satisfying all other hypotheses but violating the Rayleigh-Taylor sign condition for which the solution loses regularity in arbitrarily short time or the uniform bounds in Mach number fail.","tokens_in":2553,"feed_emoji":"🌊","tokens_out":704,"duration_ms":13763,"temperature":0.7,"pith_summary":"The paper establishes local well-posedness for the three-dimensional compressible isentropic Euler equations that model a liquid with a moving free surface, fixed flat bottom, gravity, surface tension, and nonzero vorticity. The argument proceeds by constructing an approximate system and applying a hyperbolic energy method that avoids Nash-Moser iteration, producing estimates that lose no derivatives and remain uniform as the Mach number and surface-tension coefficient vary. Uniformity immediately yields the existence of both the incompressible limit and the zero-surface-tension limit. Paradifferential calculus is used on the free-surface equation to remove the requirement of uniform bounds on high-order time derivatives with respect to the Mach number.","feed_headline":"Compressible water waves well-posed uniformly in Mach number","feed_subtitle":"Energy estimates without derivative loss yield simultaneous incompressible and zero-tension limits when the Rayleigh-Taylor condition holds.","key_machinery":"An approximate system together with a hyperbolic energy method that closes without Nash-Moser iteration, augmented by paradifferential calculus on the free-surface evolution.","core_discovery":"We prove local well-posedness for the 3D compressible isentropic Euler equations with free boundary, gravity, surface tension, and vorticity by combining a carefully designed approximate system and a hyperbolic approach. The energy estimates yield no regularity loss and are uniform in both Mach number and surface tension coefficient, provided the Rayleigh-Taylor sign condition is satisfied. We thus simultaneously obtain incompressible and zero surface tension limits. Moreover, we can drop the uniform boundedness on high-order time derivatives by applying the paradifferential calculus to the analysis of the free-surface evolution.","pith_inferences":["The result supplies a uniform framework that recovers both the incompressible gravity-capillary theory and the zero-tension compressible theory as special cases.","Vorticity can be retained throughout the limiting process without additional derivative loss once the Rayleigh-Taylor condition is met.","The method indicates that similar uniform estimates may be available for other free-boundary compressible systems that satisfy an analogous sign condition on the pressure gradient."],"forward_implications":["The incompressible limit of the compressible system exists locally in time.","The zero-surface-tension limit of the gravity-capillary system exists locally in time.","Local well-posedness holds without loss of derivatives for any fixed positive Mach number and surface tension.","The same energy estimates control the free-surface evolution even when high-order time derivatives are not uniformly bounded in Mach number."],"fun_headline_variants":["Compressible water waves well-posed uniformly in Mach and tension","No regularity loss for compressible Euler waves uniform in Mach","Uniform well-posedness for compressible vortical water waves","Local well-posedness uniform in Mach for gravity-capillary waves"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The Rayleigh-Taylor sign condition holds on the initial data.","fun_headline_variants_meta":{"raw":{"variants":["Compressible water waves well-posed uniformly in Mach and tension","No regularity loss for compressible Euler waves uniform in Mach","Uniform well-posedness for compressible vortical water waves","Local well-posedness uniform in Mach for gravity-capillary waves"]},"model":"grok-4.3","cost_usd":0.008175,"raw_usage":{"total_tokens":3696,"prompt_tokens":637,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":81749500,"prompt_tokens_details":{"text_tokens":637,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2992,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":637,"tokens_out":67,"duration_ms":16278,"temperature":1.0,"reasoning_tokens":2992,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T10:20:34.049327+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit initial datum satisfying all other hypotheses but violating the Rayleigh-Taylor sign condition for which the solution loses regularity in arbitrarily short time or the uniform bounds in Mach number fail.","supporting_citations":[],"review_version":1}