{"id":"2e246e0b-1454-400d-8b45-aaf06edd6ca4","arxiv_id":"2606.29353","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Global strong solutions exist and are unique for 1D compressible NS/CH with vacuum without compatibility conditions via singular-in-time weighted estimates.","lead":"The paper proves global existence and uniqueness of strong solutions for the 1D compressible Navier-Stokes/Cahn-Hilliard system allowing vacuum, without initial compatibility conditions, by using time-weighted energy estimates that tolerate initial regularity loss. A smart generalist might read it to see how mathematical techniques handle coupled fluid-phase models relevant to materials and multiphase flows.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly isolates the technical step (Gronwall closure via the weighted estimates) that must hold for the claim. Since the full manuscript details are not supplied and no contradiction appears in the abstract, no load-bearing concern is identified. The approach is consistent with known 1D techniques for vacuum problems.","tokens_in":1624,"tokens_out":261,"duration_ms":28375,"concrete_test":"Re-derive the Gronwall inequality for the difference of two solutions using only the stated singular weights and growth estimates; confirm that all vacuum-induced terms remain controlled without invoking extra compatibility or higher initial regularity.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is global existence and uniqueness of strong solutions to the 1D compressible NS/CH system with vacuum, without any initial compatibility conditions, via time-weighted techniques that permit loss of regularity near t=0. Uniqueness is closed in Eulerian coordinates by refined growth estimates and singular-in-time weighted energies that induce a Gronwall structure. The 1D structure and specific weights are invoked to handle vacuum. No internal inconsistency, hidden assumption, or gap in the logical chain is detectable from the abstract description of the method.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves global existence and uniqueness of strong solutions to the 1D compressible Navier-Stokes/Cahn-Hilliard initial-boundary value problem with vacuum. No initial compatibility conditions are imposed; time-weighted techniques are used, accepting a loss of regularity near t=0. Uniqueness is closed directly in Eulerian coordinates by deriving refined growth estimates together with singular-in-time weighted energy estimates that produce a Gronwall structure.","tokens_in":1720,"tokens_out":496,"duration_ms":35730,"significance":"If the estimates close as claimed, the result would advance the theory of strong solutions for coupled compressible fluid-phase-field models by removing the standard compatibility requirement at vacuum. The time-weighted approach for handling initial singularities in 1D could be of interest for related systems where Lagrangian coordinates are inconvenient.","major_comments":[{"comment":"§4 (uniqueness argument): the claim that the singular-in-time weighted energies induce a closed Gronwall inequality requires explicit verification that every nonlinear term (including those from the Cahn-Hilliard chemical potential and the convective terms) remains integrable under the chosen weights near vacuum states and t=0; the current sketch does not display the coefficient bounds or absorption steps needed to confirm this control.","section":"§4"},{"comment":"Theorem 1.1 and the a-priori estimate section: the global existence statement asserts that the weighted energies remain finite for all t>0 without compatibility, yet the passage from local to global solutions via continuation relies on a uniform bound whose dependence on the initial data (especially the vacuum set) is not quantified; this bound is load-bearing for the global claim.","section":"Theorem 1.1"}],"minor_comments":[{"comment":"The phrase 'No any initial compatibility conditions' in the abstract should be corrected to 'No initial compatibility conditions are required'.","section":"Abstract"},{"comment":"Notation for the weights (e.g., the precise form of the singular time factor) should be introduced once in §2 and used consistently thereafter to avoid repeated re-definition.","section":"§2"}],"recommendation":"major_revision","confidential_remarks":"The soundness assessment remains provisional because the key weighted-energy calculations are only summarized; a revised version supplying the missing coefficient estimates would allow a definitive check."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive comments. We address the two major comments point by point below.","responses":[{"response":"We agree that the uniqueness argument in Section 4 would benefit from more explicit verification. The manuscript derives refined growth estimates for solution differences followed by singular-in-time weighted energies that close via Gronwall, but the coefficient bounds and absorption for terms involving the chemical potential and convection are only sketched. In the revision we will insert the full integrability estimates under the chosen weights, confirming each nonlinear contribution is controlled near vacuum and t=0.","revision_made":"yes","referee_comment":"[§4] §4 (uniqueness argument): the claim that the singular-in-time weighted energies induce a closed Gronwall inequality requires explicit verification that every nonlinear term (including those from the Cahn-Hilliard chemical potential and the convective terms) remains integrable under the chosen weights near vacuum states and t=0; the current sketch does not display the coefficient bounds or absorption steps needed to confirm this control."},{"response":"The a-priori estimates already yield a uniform bound controlled by the initial weighted norms, which encode the vacuum behavior. We acknowledge, however, that the explicit dependence on the measure of the initial vacuum set is not stated. We will revise the statement of Theorem 1.1 and the continuation argument to display this dependence explicitly.","revision_made":"yes","referee_comment":"[Theorem 1.1] Theorem 1.1 and the a-priori estimate section: the global existence statement asserts that the weighted energies remain finite for all t>0 without compatibility, yet the passage from local to global solutions via continuation relies on a uniform bound whose dependence on the initial data (especially the vacuum set) is not quantified; this bound is load-bearing for the global claim."}],"tokens_in":1251,"tokens_out":407,"duration_ms":36723,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this paper gets global strong solutions with uniqueness for the 1D compressible Navier-Stokes/Cahn-Hilliard system including vacuum states, and crucially without any initial compatibility conditions on the data. They achieve this by applying time-weighted techniques that tolerate some drop in regularity near t=0, then use refined growth estimates and singular weighted energies to set up a Gronwall structure for uniqueness directly in Eulerian coordinates.\n\nWhat is new here is the removal of the compatibility condition for this particular coupled system, along with staying in Eulerian coords instead of switching to Lagrangian. The time weights seem to be the key tool to manage the initial time singularity while still closing the estimates.\n\nThe paper does well in handling the vacuum and the coupling between the fluid and the phase field in one dimension. The approach builds on existing energy methods but adapts them to avoid common restrictions.\n\nThe soft spots are that the whole thing rests on those weighted estimates actually working out without additional assumptions, especially near the vacuum regions. In 1D this is often manageable due to the simpler structure, but if the weights don't fully control the cross terms between NS and CH, it could be an issue. The abstract doesn't show the calculations, so the strength is in the claim rather than visible verification.\n\nThis is aimed at people doing mathematical fluid dynamics in one dimension, especially those interested in global existence for systems with vacuum and phase transitions. A reader who follows papers on well-posedness for compressible NS with extra equations would find it relevant.\n\nI would recommend sending it to peer review so the details of the estimates can be checked by experts in the area.","headline":"They get global strong solutions and uniqueness for the 1D NS/CH system with vacuum without compatibility conditions by using time-weighted estimates that close in Eulerian coordinates.","tokens_in":2205,"tokens_out":413,"would_cite":false,"duration_ms":41504,"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":"Global strong solutions exist and are unique for the 1D compressible Navier-Stokes/Cahn-Hilliard system with vacuum without initial compatibility conditions.","keywords":["Navier-Stokes equations","Cahn-Hilliard equation","strong solutions","vacuum","global existence","uniqueness","1D compressible flow","time-weighted estimates"],"falsifier":"An explicit pair of distinct strong solutions for some initial data with vacuum that both satisfy the equations and boundary conditions for positive times.","tokens_in":2526,"feed_emoji":"","tokens_out":585,"duration_ms":25294,"temperature":0.7,"pith_summary":"The paper establishes global existence and uniqueness of strong solutions for the initial-boundary value problem of the 1D compressible Navier-Stokes/Cahn-Hilliard equations when the initial density may vanish. Time-weighted techniques are used to remove the requirement of any initial compatibility conditions, which produces a loss of regularity near the initial time and makes the uniqueness proof more difficult. Refined growth estimates together with singular-in-time weighted energy estimates are derived to obtain a Gronwall-type structure that closes the uniqueness argument directly in Eulerian coordinates rather than Lagrangian ones.","feed_headline":"1D NS/CH system has global unique strong solutions with vacuum","feed_subtitle":"Time-weighted estimates eliminate compatibility conditions and close uniqueness in Eulerian coordinates.","key_machinery":"Time-weighted techniques and singular-in-time weighted energy estimates that induce a Gronwall-type structure for uniqueness in Eulerian coordinates.","core_discovery":"The central claim is that the 1D compressible Navier-Stokes/Cahn-Hilliard system with vacuum admits a unique global strong solution for the initial-boundary value problem, obtained without imposing initial compatibility conditions by means of time-weighted techniques, with uniqueness established through refined growth estimates and singular-in-time weighted energy estimates that produce a Gronwall-type structure allowing closure in Eulerian coordinates.","pith_inferences":["The weighted-energy method may apply to other one-dimensional fluid systems that permit vacuum states.","Numerical schemes for such equations could be initialized directly from vacuum data without artificial smoothing.","The loss of initial regularity might influence short-time behavior in approximation schemes."],"forward_implications":["Strong solutions exist globally for initial data satisfying only basic integrability without extra compatibility requirements.","Uniqueness holds even though regularity may be lost near the initial time.","The proof remains in Eulerian coordinates and does not require a change to Lagrangian coordinates.","The estimates control the solution uniformly away from vacuum states while handling vacuum regions."],"fun_headline_variants":["Unique global strong solutions exist for 1D NS/CH with vacuum","1D NS/CH with vacuum has unique global strong solutions","Time-weighted estimates yield 1D NS/CH global strong solutions","Uniqueness established for 1D NS/CH strong solutions with vacuum"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The specific structure of the one-dimensional system combined with the chosen weights allows the estimates to close without compatibility conditions.","fun_headline_variants_meta":{"raw":{"variants":["Unique global strong solutions exist for 1D NS/CH with vacuum","1D NS/CH with vacuum has unique global strong solutions","Time-weighted estimates yield 1D NS/CH global strong solutions","Uniqueness established for 1D NS/CH strong solutions with vacuum"]},"model":"grok-4.3","cost_usd":0.010507,"raw_usage":{"total_tokens":4588,"prompt_tokens":555,"num_sources_used":0,"completion_tokens":75,"cost_in_usd_ticks":105074500,"prompt_tokens_details":{"text_tokens":555,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3958,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":555,"tokens_out":75,"duration_ms":46778,"temperature":1.0,"reasoning_tokens":3958,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T02:25:15.407343+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit pair of distinct strong solutions for some initial data with vacuum that both satisfy the equations and boundary conditions for positive times.","supporting_citations":[],"review_version":1}