{"id":"a3f02ef1-cf04-4849-993a-e6c5d22774d2","arxiv_id":"2606.31618","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves comparison principle for non-negative weak solutions to doubly nonlinear parabolic fractional PDEs, yielding uniqueness for the Cauchy-Dirichlet problem under the stated boundary condition.","lead":"This paper proves a comparison principle for non-negative weak solutions of doubly nonlinear parabolic fractional PDEs in a cylinder, with one solution time-independent outside the domain. A smart generalist might read it to see how uniqueness follows for the associated Cauchy-Dirichlet problem in fractional settings.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption matches the explicit hypothesis in the abstract. With the full text available and no technical gap identified in the central construction, the UNVERDICTED verdict requires no adjustment.","tokens_in":1603,"tokens_out":199,"duration_ms":17388,"concrete_test":"Confirm that the comparison principle directly implies uniqueness by substituting the same initial-boundary data into both solutions and verifying that the time-independence assumption is preserved under the flow.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a comparison principle for non-negative weak solutions of the doubly nonlinear parabolic fractional equation under the explicit standing assumption that at least one solution is time-independent in the exterior. The abstract states that this yields uniqueness for the Cauchy-Dirichlet problem. No internal inconsistency, hidden assumption in the weak formulation, or unjustified passage to the limit is apparent from the stated result.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript establishes a comparison principle for non-negative weak solutions to a class of doubly nonlinear parabolic fractional PDEs in the cylinder Ω_T = Ω × (0,T), under the standing assumption that at least one solution is time-independent in the exterior Ω^c. The result is applied to deduce uniqueness of non-negative weak solutions to the corresponding Cauchy-Dirichlet problem.","tokens_in":1654,"tokens_out":237,"duration_ms":26753,"significance":"If the comparison principle holds under the stated assumptions and weak-solution framework, it supplies a useful tool for uniqueness in doubly nonlinear fractional parabolic equations, where nonlocal effects and the exterior condition must be handled carefully. The explicit standing assumption on time-independence in Ω^c is a concrete way to close the comparison argument for the fractional operator.","major_comments":[],"minor_comments":[{"comment":"The abstract states the standing assumption clearly but does not indicate the precise form of the doubly nonlinear operator or the fractional kernel; adding a brief equation display would improve readability for readers outside the immediate subfield.","section":"Abstract"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment and recommendation to accept the manuscript.","responses":[],"tokens_in":1063,"tokens_out":34,"duration_ms":11370,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper establishes a comparison principle for non-negative weak solutions of doubly nonlinear parabolic fractional equations in a space-time cylinder, with the standing assumption that at least one solution is time-independent in the exterior of the spatial domain. The comparison then yields uniqueness for the corresponding Cauchy-Dirichlet problem.\n\nThe result is new in the sense that it targets the specific mix of doubly nonlinear structure, fractional diffusion, and parabolic evolution; the abstract presents it as a direct argument rather than a routine extension. The explicit statement of the exterior assumption is helpful and avoids hidden conditions.\n\nThe main limitation is the strength of that exterior time-independence requirement. It restricts the comparison to cases where at least one solution does not evolve in time outside Ω, so the uniqueness statement does not cover fully time-dependent exterior data. The abstract gives no details on the weak-solution definition or how the fractional term is handled in the proof, so technical gaps cannot be ruled out from the given text.\n\nFor readers working on uniqueness questions in fractional nonlinear parabolic equations this is a focused, usable tool. It is an incremental but honest contribution that fits the existing literature. I would bring it to a reading group focused on comparison methods. I would not cite it in my own work in the next year unless I needed exactly this uniqueness result. It deserves peer review because the claim is narrow, the application is immediate, and the central argument appears free of circularity or obvious inconsistency.","headline":"Paper proves a comparison principle for doubly nonlinear parabolic fractional PDEs under the assumption that one solution is time-independent outside the domain, which gives uniqueness for the Cauchy-Dirichlet problem.","tokens_in":2143,"tokens_out":371,"would_cite":false,"duration_ms":31858,"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":"A comparison principle holds for non-negative weak solutions of doubly nonlinear parabolic fractional PDEs when at least one solution is time-independent outside the domain.","keywords":["comparison principle","doubly nonlinear","parabolic fractional PDE","weak solutions","uniqueness","Cauchy-Dirichlet problem","space-time cylinder"],"falsifier":"Two non-negative weak solutions, one of which is time-independent outside Ω, that satisfy the PDE inside Ω_T yet cross each other inside the cylinder.","tokens_in":2484,"feed_emoji":"","tokens_out":640,"duration_ms":28294,"temperature":0.7,"pith_summary":"The paper establishes a comparison principle stating that if two non-negative weak solutions satisfy the PDE in a space-time cylinder, then one is less than or equal to the other provided at least one is constant in time outside the spatial domain. This principle is proved for a class of equations that combine doubly nonlinear diffusion with fractional time derivatives. The result matters because comparison principles are the standard route to uniqueness statements in nonlinear PDE theory. Here the comparison immediately yields uniqueness for the Cauchy-Dirichlet problem associated with the same equation. The argument applies inside any bounded spatial domain and up to any finite time T.","feed_headline":"Comparison principle established for doubly nonlinear fractional parabolic PDEs","feed_subtitle":"One solution time-independent outside the domain yields uniqueness for the Cauchy-Dirichlet problem.","key_machinery":"The comparison principle for non-negative weak solutions, which produces the ordering u≤v (or v≤u) inside the cylinder under the standing time-independence assumption outside Ω.","core_discovery":"We establish a comparison principle for non-negative weak solutions to a class of doubly nonlinear parabolic fractional partial differential equations within a space-time cylinder Ω_T=Ω×(0,T)⊂R^{n+1}. For the two solutions considered, we assume that at least one of them is time-independent outside the spatial domain, i.e. in Ω^c=R^n∖Ω. As an application of this result, we readily infer the uniqueness of a non-negative weak solution to the corresponding Cauchy-Dirichlet problem.","pith_inferences":["The same ordering argument could be tested on solutions that remain bounded at spatial infinity rather than strictly time-independent.","Numerical approximations that enforce time-independence on the exterior might inherit uniqueness from this comparison.","The result separates the fractional time derivative from the spatial non-locality, suggesting the proof technique may adapt to other combinations of local and non-local terms."],"forward_implications":["Uniqueness of the non-negative weak solution to the Cauchy-Dirichlet problem follows at once from the comparison.","The ordering holds throughout the entire space-time cylinder Ω_T.","The principle applies to any pair of non-negative weak solutions meeting the time-independence condition on the complement of Ω."],"fun_headline_variants":["Doubly nonlinear fractional PDEs: comparison principle for weak solutions","Comparison principle yields uniqueness in fractional parabolic PDEs","Weak solutions comparison for doubly nonlinear parabolic fractional PDEs","PDE comparison principle implies Cauchy-Dirichlet uniqueness"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"At least one of the two solutions is time-independent outside the spatial domain.","fun_headline_variants_meta":{"raw":{"variants":["Doubly nonlinear fractional PDEs: comparison principle for weak solutions","Comparison principle yields uniqueness in fractional parabolic PDEs","Weak solutions comparison for doubly nonlinear parabolic fractional PDEs","PDE comparison principle implies Cauchy-Dirichlet uniqueness"]},"model":"grok-4.3","cost_usd":0.005256,"raw_usage":{"total_tokens":2490,"prompt_tokens":560,"num_sources_used":0,"completion_tokens":63,"cost_in_usd_ticks":52562000,"prompt_tokens_details":{"text_tokens":560,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1867,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":560,"tokens_out":63,"duration_ms":21830,"temperature":1.0,"reasoning_tokens":1867,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-01T04:26:46.407103+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Two non-negative weak solutions, one of which is time-independent outside Ω, that satisfy the PDE inside Ω_T yet cross each other inside the cylinder.","supporting_citations":[],"review_version":1}