{"id":"a750a90f-36fd-4e9a-8958-bd8fa9bd4cb7","arxiv_id":"2604.16017","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Global existence, uniqueness, and stability hold for the 2D incompressible Navier-Stokes density patch problem at critical Besov regularity, with the Lipschitz boundary preserved and long-time dynamics reducing to rigid motion.","lead":"The authors prove global existence, uniqueness, and stability for solutions to the incompressible Navier-Stokes equations for a bounded Lipschitz density patch surrounded by vacuum in two dimensions, with initial velocity in the critical Besov space. A smart generalist might read it to see how mathematical analysis resolves questions about whether fluid interfaces can evolve without developing singularities over infinite time.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's identification of the critical regularity as the potential weak point is reasonable given the abstract-only access, but without the actual estimates no load-bearing concern can be confirmed or refuted. This leaves the UNVERDICTED status appropriate.","tokens_in":1642,"tokens_out":206,"duration_ms":42487,"concrete_test":"Re-read the full paradifferential estimates section (once accessible) and verify that the Lipschitz norm of the patch satisfies a closed Gronwall inequality controlled solely by the initial data in Ḃ^0_{2,1} without hidden smallness or geometric restrictions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The full manuscript text was not provided beyond the abstract and reader's summary, so no concrete technical flaw in the a priori estimates, commutator bounds, or boundary transport can be located. The central claim of global existence and Lipschitz preservation at the endpoint space appears internally consistent with the stated goals.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript studies Lions' density patch problem for the 2D incompressible Navier-Stokes equations at critical regularity. It claims to prove global existence, uniqueness, and stability of solutions for a fluid in a bounded Lipschitz domain surrounded by vacuum, with initial velocity in the homogeneous Besov space Ḃ⁰_{2,1}(ℝ²). The paper further asserts preservation of the Lipschitz regularity of the patch and that the long-time dynamics reduce to rigid motion, yielding an asymptotic domain.","tokens_in":1691,"tokens_out":363,"duration_ms":22411,"significance":"If the central claims hold, the result would constitute a notable advance in free-boundary Navier-Stokes theory by establishing global well-posedness at the endpoint critical space Ḃ⁰_{2,1} without smallness assumptions on the data. It would also supply new information on the asymptotic rigid-motion behavior of Lipschitz patches, extending earlier local or higher-regularity results in the literature.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction should explicitly state the precise functional setting for the density (or characteristic function of the patch) and confirm that the vacuum region is handled via the standard extension-by-zero outside the patch.","section":null},{"comment":"Notation for the Besov space Ḃ⁰_{2,1} and the associated Littlewood-Paley projections should be recalled or referenced in §2 to ensure the commutator estimates are self-contained.","section":null},{"comment":"The statement of the main theorem (presumably Theorem 1.1 or 1.2) would benefit from an explicit list of the conserved quantities or a priori bounds that close the global existence argument.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of our work on Lions' density patch problem at critical Besov regularity. The referee accurately captures the main contributions: global existence, uniqueness, and stability for the 2D incompressible Navier-Stokes equations with initial data in Ḃ⁰_{2,1}(ℝ²), preservation of the Lipschitz boundary, and long-time reduction to rigid motion yielding an asymptotic domain. We appreciate the recognition that this would represent a notable advance in free-boundary theory at the endpoint critical space without smallness assumptions. No specific major comments or requests for clarification were raised in the report.","responses":[],"tokens_in":1097,"tokens_out":139,"duration_ms":16552,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that this work settles the endpoint regularity question for the density patch problem. They obtain global existence, uniqueness, and stability for a bounded Lipschitz fluid region evolving under the incompressible Navier-Stokes equations in 2D, with initial velocity exactly in the critical space dot B^0_{2,1}. They also keep the patch Lipschitz for all time and show that the long-time motion becomes rigid, producing an asymptotic domain. That combination at the precise critical level is what was missing before. Earlier results handled smoother data, so reaching the endpoint without smallness assumptions on the data is the concrete advance. The stability statement and the asymptotic description are useful extras that go beyond bare existence. The technical side looks internally consistent with known 2D techniques for transport and commutator estimates, and the stress-test note found no obvious contradiction in the claims. The soft spots are the usual ones at critical regularity: the a priori bounds on the free boundary and the velocity must close without hidden logarithmic losses or extra geometric restrictions on the initial patch. Since the abstract is brief, it is not clear how much control they retain on the Lipschitz constant or whether the proof needs the domain to stay away from certain degeneracies. Those details matter because the critical space is exactly where standard energy methods lose derivatives. This is written for people already working on free-boundary Navier-Stokes or critical Besov estimates in fluids. A reader who knows the prior density-patch literature will see the gain immediately; outsiders will find it narrow. The paper deserves a serious referee to check the commutator bounds and the boundary transport estimates, even if revisions are needed. I would send it to peer review rather than desk-reject.","headline":"The paper closes the critical Besov case for Lions' density patch in 2D Navier-Stokes with global existence, Lipschitz preservation, and rigid-motion asymptotics.","tokens_in":2162,"tokens_out":413,"would_cite":false,"duration_ms":93585,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":null,"created_at":"2026-05-10T08:20:32.766751+00:00","model_set":{"reader":"grok-4.3"},"falsifier":null,"supporting_citations":[],"review_version":1}