{"id":"15dffed7-6c65-4098-a7d3-231e0e7f9cd7","arxiv_id":"2606.20207","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes local strong solutions and conditional global solutions for 3D inhomogeneous NS with data in C¹ × (L² ∩ VMO^{-1}) using density transport regularity and a new freezing-coefficient approach for momentum.","lead":"This paper proves local existence of strong solutions to the 3D inhomogeneous incompressible Navier-Stokes equations for initial density in C¹ with positive lower bound and velocity in L² ∩ VMO^{-1}. It also shows global existence under smallness of density deviation from 1 and velocity in BMO^{-1} via transport estimates and a freezing-coefficient method.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's identification of the freezing-coefficient method and lower bound as key assumptions aligns with the novel element of the argument. However, these are not internally inconsistent with the claim, and the positive lower bound is a routine non-degeneracy condition rather than a fragile one. Since the full text was to be consulted but yields no visible contradiction or unclosed estimate in the abstract-level description, the verdict remains UNVERDICTED with no adjustment warranted.","tokens_in":1719,"tokens_out":341,"duration_ms":25089,"concrete_test":"Re-derive the local existence time T* from the a priori estimates in the momentum equation section; confirm that T* depends only on the C¹ norm of ρ₀, the L² ∩ VMO^{-1} norm of u₀, and the positive lower bound, without hidden dependence on higher norms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on local existence via transport estimates for density (preserving C¹ regularity and positive lower bound) combined with a new freezing-coefficient technique to obtain a priori bounds on the momentum equation in L² ∩ VMO^{-1}. Both steps are standard in structure for inhomogeneous NS; the positive lower bound on ρ₀ prevents degeneracy in the coefficients, and VMO^{-1} is a natural space for local well-posedness results extending Koch-Tataru-type theory. Without internal inconsistencies visible in the claim or method description, and given that the small-data global result uses the expected BMO^{-1} norm, no load-bearing gap is apparent from the provided information.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper establishes local existence of strong solutions to the 3D inhomogeneous incompressible Navier-Stokes equations with initial data (ρ₀, u₀) in C¹ × (L² ∩ VMO^{-1}), where ρ₀ is bounded below by a positive constant. It further proves global existence when ρ₀ ∈ C² and ||ρ₀ − 1||_{L^∞} + ||u₀||_{BMO^{-1}} is sufficiently small. The argument relies on transport estimates to control the density and a new freezing-coefficient method to obtain a priori bounds on the momentum equation.","tokens_in":1833,"tokens_out":304,"duration_ms":23918,"significance":"If the claims hold, the work extends Koch-Tataru-type local well-posedness results from the homogeneous case to the inhomogeneous setting in the space VMO^{-1}, which sits between BMO^{-1} and spaces with better continuity properties. The small-data global existence result follows the expected pattern once the local theory is in place. The new freezing-coefficient technique, if correctly implemented and reproducible, would be a useful tool for other variable-coefficient parabolic systems.","major_comments":[],"minor_comments":[{"comment":"The abstract invokes a 'new freezing-coefficient method' without indicating the section in which its details and error estimates appear; this makes it difficult for a reader to locate the central technical step.","section":null}],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their summary of the manuscript and for recognizing the potential significance of extending Koch-Tataru-type results to the inhomogeneous Navier-Stokes system via the freezing-coefficient approach. The report does not list any specific major comments, so we have no point-by-point responses to provide. We remain available to supply additional details or clarifications should the referee wish to elaborate on the 'uncertain' recommendation.","responses":[],"tokens_in":1195,"tokens_out":101,"duration_ms":16332,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is local existence of strong solutions to the 3D inhomogeneous incompressible Navier-Stokes when density starts in C^1 with positive lower bound and velocity is in L^2 ∩ VMO^{-1}, plus global existence when density is C^2, close to 1 in L^∞, and velocity small in BMO^{-1}. They reach this with transport estimates on the density and a new freezing-coefficient method for the velocity equation.\n\nThe work extends existing well-posedness programs to these spaces for the inhomogeneous case. VMO^{-1} sits a bit beyond the usual critical spaces, so the local result is a genuine but limited advance. The positive lower bound on density is the standard way to keep coefficients non-degenerate, and the smallness condition for the global part matches what one expects from BMO^{-1} theory. The stress-test finds no load-bearing gaps in the claimed structure.\n\nThe soft spot is that the freezing-coefficient step is described only at the level of the abstract. Without seeing the actual a priori estimates or how the method closes the bounds on the variable-coefficient momentum equation, it is difficult to judge whether the new technique is robust or just rearranges existing estimates. If the details hold up, the argument is fine; if they do not, the local result would need more work.\n\nThis paper is aimed at specialists in mathematical fluid dynamics who care about critical-space well-posedness for systems with variable density. A reader already familiar with Koch-Tataru-type results and transport estimates for inhomogeneous NS would get the most out of it. The thinking is clear and the claims are stated without obvious internal contradictions, so the paper deserves a serious referee even if revisions are likely.","headline":"This gives local well-posedness for inhomogeneous NS with velocity in L2 ∩ VMO^{-1} and a small-data global result, using transport plus a freezing-coefficient trick on the momentum equation.","tokens_in":2332,"tokens_out":438,"would_cite":false,"duration_ms":18707,"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":"The three-dimensional inhomogeneous incompressible Navier-Stokes equations admit local strong solutions for initial density in C^1 with positive lower bound and initial velocity in L^2 cap VMO^{-1}.","keywords":["inhomogeneous Navier-Stokes","VMO^{-1}","strong solutions","local existence","global existence","freezing-coefficient method","transport equation"],"falsifier":"A concrete counterexample where a solution fails to exist locally despite satisfying the initial data conditions would falsify the existence claim.","tokens_in":2613,"feed_emoji":"","tokens_out":649,"duration_ms":33015,"temperature":0.7,"pith_summary":"The paper establishes local existence of strong solutions to the 3D inhomogeneous incompressible Navier-Stokes equations when the initial density is in C^1 and bounded away from zero, and the initial velocity lies in L^2 intersect VMO^{-1}. This allows for initial velocities with limited regularity in a space that captures certain oscillations. Additionally, global existence is shown when the density is in C^2 and both the deviation of density from one and the BMO^{-1} norm of velocity are small. The approach uses transport equation estimates to control density regularity and introduces a freezing-coefficient method to manage the variable density in the momentum equation.","feed_headline":"Local strong solutions for inhomogeneous NS with VMO velocity","feed_subtitle":"Initial data in C1 x (L2 cap VMO^{-1}) with density bounded away from zero yields local existence, and small data gives global solutions.","key_machinery":"New freezing-coefficient method for handling the momentum equation with variable density, combined with transport equation estimates for density regularity.","core_discovery":"We establish local existence of strong solutions for the three-dimensional inhomogeneous incompressible Navier-Stokes equations with initial data (ρ₀,u₀) lying in C¹ × (L² ∩ VMO^{-1}), where ρ₀ has a positive lower bound. Furthermore, if ρ₀ ∈ C² and ||ρ₀−1||_{L^∞} + ||u₀||_{BMO^{-1}} is sufficiently small, we prove global existence of the solution. To achieve this, we employ an estimate for the transport equation to obtain regularity for the density and apply a new freezing-coefficient method for the momentum equation.","pith_inferences":["The result indicates that VMO^{-1} may be suitable for other fluid systems with variable coefficients.","Numerical simulations could check behavior as the density lower bound approaches zero.","The freezing method might apply to related variable-coefficient PDEs in fluid dynamics."],"forward_implications":["Local strong solutions exist for the specified initial data.","Global strong solutions exist under smallness assumptions on density deviation and velocity norm.","Density regularity is obtained from the transport structure.","The method extends the class of allowable initial velocities beyond previous spaces."],"fun_headline_variants":["Local strong solutions for inhomogeneous NS with VMO^{-1} velocity","Global existence for small data in inhomogeneous NS","Local existence for 3D inhomogeneous NS with VMO^{-1} initial velocity","Strong solutions for NS with C1 density and VMO velocity in 3D","Inhomogeneous NS strong solutions with VMO^{-1} initial velocity data"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The initial density is bounded below by a positive constant to control coefficients in the momentum equation.","fun_headline_variants_meta":{"raw":{"variants":["Local strong solutions for inhomogeneous NS with VMO^{-1} velocity","Global existence for small data in inhomogeneous NS","Local existence for 3D inhomogeneous NS with VMO^{-1} initial velocity","Strong solutions for NS with C1 density and VMO velocity in 3D","Inhomogeneous NS strong solutions with VMO^{-1} initial velocity data"]},"model":"grok-4.3","cost_usd":0.008064,"raw_usage":{"total_tokens":3651,"prompt_tokens":636,"num_sources_used":0,"completion_tokens":84,"cost_in_usd_ticks":80637000,"prompt_tokens_details":{"text_tokens":636,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2931,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":636,"tokens_out":84,"duration_ms":16442,"temperature":1.0,"reasoning_tokens":2931,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T16:31:54.862564+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete counterexample where a solution fails to exist locally despite satisfying the initial data conditions would falsify the existence claim.","supporting_citations":[],"review_version":1}