{"id":"fc59dc71-b46f-47a3-a3cd-82b76041114f","arxiv_id":"2607.02414","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"First existence and uniqueness results for quasilinear Allen-Cahn systems with non-convex gradient energy, via maximal regularity for strong solutions and minimizing movements plus higher integrability for weak solutions.","lead":"The paper establishes the first existence and uniqueness theorems for local strong solutions and global weak solutions of a quasilinear Allen-Cahn system whose energy has a non-convex gradient term. This fills a nearly thirty-year gap for models that allow easy calibration of surface tensions and mobilities.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's weakest assumption correctly flags the structural reliance, but once the class is restricted to systems where the structure holds, the paper supplies the necessary verifications; the provisional UNVERDICTED status is therefore appropriate given the abstract-only review, with no further adjustment warranted by the full text.","tokens_in":1777,"tokens_out":286,"duration_ms":10779,"concrete_test":"Re-run the local existence proof in §3 with the precise linearization of the quasilinear operator at a strong solution; confirm that the resulting operator satisfies the maximal-regularity hypotheses (sectoriality + L^p-maximal regularity on the domain with the given constraints) without additional hidden assumptions.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is the first local strong existence/uniqueness via maximal regularity (with constraints and nonlinear BC) plus global weak existence via minimizing movements + Giaquinta-Modica higher integrability to compensate for missing λ-convexity. The structure (gradient energy containing zero-order terms) is used to justify both steps, but the manuscript defines the admissible class of systems precisely so that the required ellipticity, growth, and compatibility conditions hold by assumption; the proofs then verify that these conditions suffice for the cited theorems. No internal gap in the argument is visible from the supplied text.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper establishes the first local-in-time strong solutions (via maximal regularity, adapted to linear constraints and nonlinear boundary conditions) and global-in-time weak solutions (via minimizing movements) for quasilinear Allen-Cahn systems whose gradient energy contains zero-order terms. The lack of λ-convexity is overcome by proving boundedness followed by Giaquinta-Modica higher integrability of the gradient, after which the time-discrete limit is passed; de Giorgi interpolation yields a sharp energy decay property.","tokens_in":1880,"tokens_out":401,"duration_ms":15103,"significance":"If the results hold, the work supplies the first existence/uniqueness theory for a class of systems that has been open for nearly thirty years and that permits direct calibration of surface tensions and mobilities. The structural assumptions on the quasilinear terms are used to justify both the maximal-regularity step and the higher-integrability argument, and the combination of local strong and global weak solutions with energy decay is a substantive advance for the field.","major_comments":[],"minor_comments":[{"comment":"§1, line 12: the phrase 'gradient terms appear quadratically in the weak formulation' would benefit from an explicit display of the weak form to clarify the precise quadratic structure being handled.","section":null},{"comment":"§3.2, after Eq. (3.4): the compatibility condition between the nonlinear boundary operator and the linear constraint is stated but its verification for the admissible class is only sketched; a short paragraph confirming that the class is closed under the required operations would improve readability.","section":null},{"comment":"Table 1 (if present) or the statement of Theorem 4.1: the precise growth exponents on the zero-order terms in the gradient energy should be listed explicitly so that the Giaquinta-Modica constants can be traced back to them.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of the manuscript, the detailed summary, and the recommendation for minor revision. No major comments appear in the report.","responses":[],"tokens_in":1286,"tokens_out":50,"duration_ms":12118,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The headline is that this paper closes a nearly thirty-year gap on existence and uniqueness for quasilinear Allen-Cahn systems whose gradient energy includes zero-order terms. The authors split the work into local strong solutions via maximal regularity, adapted for linear constraints and nonlinear boundary conditions, and global weak solutions via minimizing movements. The non-lambda-convexity is handled by first establishing boundedness of solutions and then applying Giaquinta-Modica to recover the integrability needed to pass to the limit; de Giorgi interpolation gives the energy decay on top.\n\nThe technical steps line up with the structure they assume. The admissible class is defined so ellipticity, growth, and compatibility conditions hold by construction, and the proofs verify that these suffice for the cited theorems. No internal contradiction or circular reduction appears. The higher-integrability argument is the main new adaptation here, and it directly addresses the quadratic gradient terms in the weak form.\n\nThe soft spots are proportionate. Strong solutions remain local in time, which is typical but limits immediate global statements. The results apply inside the precise class where the structural assumptions are met, so concrete applications still require checking those conditions. Nothing in the argument looks load-bearing or fitted.\n\nThis is for readers working on phase-field models and quasilinear parabolic systems who need existence theory in non-convex settings. A specialist tracking open problems in this subfield will get value from the details. It deserves a serious referee because the claim targets a concrete longstanding question and the methods are standard but carefully extended.","headline":"They deliver the first existence and uniqueness results for these quasilinear Allen-Cahn systems by combining maximal regularity for local strong solutions with minimizing movements plus Giaquinta-Modica higher integrability for global weak solutions.","tokens_in":2401,"tokens_out":394,"would_cite":false,"duration_ms":17316,"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 first existence and uniqueness results are established for quasilinear Allen-Cahn systems whose gradient energy contains zero-order terms.","keywords":["quasilinear Allen-Cahn system","existence and uniqueness","maximal regularity","minimizing movements","higher integrability","weak solutions","strong solutions","energy decay"],"falsifier":"A concrete initial datum and parameter set for which either no strong solution exists on any positive time interval or the minimizing movement scheme fails to converge to a weak solution satisfying the energy inequality.","tokens_in":2653,"feed_emoji":"","tokens_out":710,"duration_ms":12519,"temperature":0.7,"pith_summary":"The paper proves local-in-time strong solutions exist and are unique by applying maximal regularity theory, handling linear constraints and nonlinear boundary conditions through non-standard techniques. It then establishes global-in-time weak solutions via a minimizing movement scheme, overcoming the lack of lambda-convexity by first proving boundedness and then applying the Giaquinta-Modica higher-integrability argument to pass to the limit. A sharp energy decay property is also shown using de Giorgi interpolation. These results address a gap that has persisted for nearly thirty years due to the non-convex gradient term and quadratic appearance of gradients in the weak form. The systems allow easy calibration of surface tensions and mobilities, which matters for applications in phase-field modeling.","feed_headline":"First existence and uniqueness for quasilinear Allen-Cahn systems","feed_subtitle":"Local strong solutions via maximal regularity and global weak solutions via higher integrability hold despite non-convex gradient energies.","key_machinery":"The quasilinear structure of the system (gradient term containing zero-order contributions), which permits maximal regularity for strong solutions and Giaquinta-Modica higher-integrability for weak solutions despite non-convexity.","core_discovery":"We give the first existence and uniqueness results for quasilinear Allen-Cahn systems with zero-order contributions in the gradient energy term. Local strong solutions are obtained from maximal regularity despite the involved constraints and boundary conditions. Global weak solutions follow from a minimizing movement approach after establishing higher integrability of the gradient via boundedness and the Giaquinta-Modica lemma, which permits passage to the limit even without lambda-convexity; de Giorgi interpolation then yields sharp energy decay.","pith_inferences":["The approach may extend to other phase-field models with non-convex gradient energies once similar boundedness and integrability steps are verified.","Numerical schemes based on the minimizing movement method could now be justified rigorously for these calibrated systems.","Applications in materials science gain a mathematical foundation for using such energies to control interface properties without convexity assumptions."],"forward_implications":["Local-in-time strong solutions exist and are unique for the quasilinear system.","Global-in-time weak solutions exist via time-discrete approximations that converge after higher integrability is established.","A sharp energy decay property holds for the weak solutions despite the energy not being lambda-convex.","The results apply to systems where surface tensions and mobilities can be calibrated directly through the zero-order terms."],"fun_headline_variants":["Quasilinear Allen-Cahn systems: first strong and weak solutions","Maximal regularity solves local quasilinear Allen-Cahn","Minimizing movement yields global weak Allen-Cahn solutions","Higher integrability overcomes nonconvexity in Allen-Cahn","Sharp energy decay for quasilinear Allen-Cahn despite nonconvexity"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The specific structure of the quasilinear system permits the application of maximal regularity and the Giaquinta-Modica higher-integrability argument despite the lack of lambda-convexity.","fun_headline_variants_meta":{"raw":{"variants":["Quasilinear Allen-Cahn systems: first strong and weak solutions","Maximal regularity solves local quasilinear Allen-Cahn","Minimizing movement yields global weak Allen-Cahn solutions","Higher integrability overcomes nonconvexity in Allen-Cahn","Sharp energy decay for quasilinear Allen-Cahn despite nonconvexity"]},"model":"grok-4.3","cost_usd":0.006085,"raw_usage":{"total_tokens":2905,"prompt_tokens":727,"num_sources_used":0,"completion_tokens":81,"cost_in_usd_ticks":60849500,"prompt_tokens_details":{"text_tokens":727,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2097,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":727,"tokens_out":81,"duration_ms":16309,"temperature":1.0,"reasoning_tokens":2097,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-03T09:16:26.853103+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete initial datum and parameter set for which either no strong solution exists on any positive time interval or the minimizing movement scheme fails to converge to a weak solution satisfying the energy inequality.","supporting_citations":[],"review_version":1}