{"id":"fa05cd34-cb1e-4db1-863e-19bd8b7fe9f3","arxiv_id":"2504.05722","paper_version":4,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":4.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Under Poincaré inequality and convexity of V, the weighted porous medium equation has unique non-negative weak solutions in L1(π) that satisfy an L1-Lp smoothing effect with super-exponential then exponential decay of the normalized Lp norm.","lead":"The paper proves well-posedness, uniqueness, and an L1-to-Lp smoothing effect for non-negative weak solutions of a weighted porous medium equation on the real line, assuming a Poincaré inequality on the Gibbs measure and convexity of the potential. This result shows that solutions instantly gain higher integrability even from merely integrable initial data.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Poincaré inequality and convexity of V may not suffice to justify the nonlinear adaptation needed for the claimed super-exponential then exponential decay in the L1-Lp smoothing","rationale":"The reader's weakest assumption correctly isolates the Poincaré-plus-convexity pair as the key hypothesis. The concrete_test above directly checks whether that hypothesis is applied in a manner compatible with the nonlinearity; a negative outcome would force the smoothing statement to be stated under stronger assumptions (e.g., uniform convexity or additional regularity on V). This moves the verdict from UNVERDICTED to CONDITIONAL rather than outright rejection, because the remainder might still be controllable once written explicitly.","tokens_in":1746,"tokens_out":419,"duration_ms":29537,"concrete_test":"In the section deriving the differential inequality for φ(t) = log(‖u(t)‖_p / M), recompute the time derivative of the L^p norm using the weak form of the equation; verify that the resulting dissipation term reduces exactly to the Poincaré form ∫ |∇f|^2 dπ minus a remainder controlled by convexity of V alone, with no residual factor depending on inf u or on the exponent m of the porous-medium nonlinearity. If the remainder is nonzero and not absorbed, the claimed decay rates fail.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that the Poincaré inequality for π directly controls the dissipation of a suitable entropy or L^p functional for the nonlinear porous-medium operator. Because the diffusion coefficient vanishes with u, the effective generator acting on powers of u is not the linear weighted Laplacian; an extra commutator or lower-order term appears when integrating by parts against the weighted measure. Convexity of V controls the tails of π but does not automatically cancel these terms uniformly in time or for arbitrary p. If the proof invokes the linear Poincaré constant without an explicit interpolation or comparison argument that absorbs the degeneracy, the transition from super-exponential to exponential decay rests on an unverified passage from the linear spectral gap to the nonlinear setting.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript proves well-posedness and uniqueness of non-negative weak solutions to the Cauchy problem for the weighted porous medium equation on R associated to the Gibbs measure π = e^{-V}, for initial data in L^1(R, π). Under a Poincaré inequality for π and convexity of V, it further establishes an L^1-L^p smoothing effect: for every admissible p > 1 the logarithm of the ratio between the L^p(R, π) norm of the solution and its conserved L^1 mass decays first super-exponentially and then exponentially to zero, implying immediate entry into all L^p spaces for t > 0.","tokens_in":1906,"tokens_out":439,"duration_ms":49054,"significance":"If the central claims hold, the work supplies quantitative smoothing estimates for a degenerate nonlinear diffusion equation in a weighted setting, extending linear spectral-gap techniques to the porous-medium case. The super-exponential-to-exponential transition in the decay rate is a distinctive feature that could inform long-time asymptotics and regularization questions for related nonlinear Fokker-Planck models.","major_comments":[{"comment":"The adaptation of the linear Poincaré inequality to obtain the claimed super-exponential then exponential decay for the nonlinear porous-medium operator is load-bearing for the smoothing theorem. Because the diffusion coefficient vanishes with u, integration by parts against the weighted measure π produces commutator terms whose control is not automatic from convexity of V alone. An explicit estimate or interpolation argument showing uniform absorption of these lower-order terms (independent of the degeneracy) is required to justify the rate transition; without it the passage from the linear spectral gap to the nonlinear dissipation remains unclear.","section":null}],"minor_comments":[{"comment":"The range of admissible p > 1 should be stated explicitly in the main smoothing theorem rather than left as 'admissible'.","section":null},{"comment":"A short comparison paragraph in the introduction with known L^1-L^p smoothing results for the unweighted porous-medium equation would clarify the novelty contributed by the weight and the Poincaré assumption.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading of the manuscript and for the constructive comment. We address the major point below and indicate the revisions we will make to improve clarity.","responses":[{"response":"We appreciate the referee's emphasis on the need for a transparent control of the commutator terms. In the proof of the L^1-L^p smoothing (Section 4), convexity of V is used to obtain monotonicity of the drift, which permits absorption of the lower-order terms generated by integration by parts against π. After applying the weighted Poincaré inequality to a power of the solution, the cross terms are estimated via Young's inequality with a parameter chosen small enough to be absorbed by the principal dissipation; the resulting remainder is then bounded uniformly by the conserved L^1(π) mass and the super-exponential decay phase already established for small times. An interpolation argument between the degenerate and non-degenerate regimes appears in the derivation of the differential inequality for log(‖u(t)‖_p / M). Nevertheless, we agree that the passage could be made more explicit. In the revised manuscript we will insert a short auxiliary lemma that isolates the uniform absorption estimate, independent of the degeneracy, together with a remark clarifying how the linear spectral gap is transferred to the nonlinear setting.","revision_made":"yes","referee_comment":"The adaptation of the linear Poincaré inequality to obtain the claimed super-exponential then exponential decay for the nonlinear porous-medium operator is load-bearing for the smoothing theorem. Because the diffusion coefficient vanishes with u, integration by parts against the weighted measure π produces commutator terms whose control is not automatic from convexity of V alone. An explicit estimate or interpolation argument showing uniform absorption of these lower-order terms (independent of the degeneracy) is required to justify the rate transition; without it the passage from the linear spectral gap to the nonlinear dissipation remains unclear."}],"tokens_in":1349,"tokens_out":400,"duration_ms":26769,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this paper proves well-posedness and uniqueness of non-negative weak solutions to the weighted porous medium equation from L1 data with respect to the Gibbs measure, plus an L1-Lp smoothing effect where the log of the Lp norm over the conserved mass decays first at a super-exponential rate and then exponentially to zero, for every p > 1 and t > 0. The assumptions are a Poincaré inequality for π = e^{-V} together with convexity of V. This combination of well-posedness and explicit rates looks like a direct but useful extension of existing techniques for degenerate parabolic equations in weighted spaces. The abstract states the claims cleanly and the focus on quantitative smoothing from minimal initial data is a solid organizing principle. The work appears to adapt linear spectral gap ideas to the nonlinear setting without introducing new functional inequalities from scratch. One place that needs checking is the passage from the linear Poincaré constant to the nonlinear dissipation. Because the diffusion coefficient vanishes with u, integration by parts against the weighted measure produces extra lower-order terms that the linear case does not have. Convexity of V controls tails but does not automatically cancel those terms uniformly in time or across p. If the proof supplies an explicit interpolation or comparison that absorbs the degeneracy while preserving the two-stage rate, the argument holds; otherwise the transition from super-exponential to exponential decay rests on an unverified step. This is a technical paper aimed at people working on smoothing estimates and well-posedness for nonlinear diffusions with weights. A reader already familiar with Poincaré inequalities and degenerate parabolic equations would get concrete rates to compare against other models. I would send it to peer review so that specialists can verify the details of the nonlinear estimates.","headline":"The paper shows well-posedness for L1 initial data and a two-stage super-exponential then exponential decay in the normalized Lp norm for the weighted porous medium equation under Poincaré and convexity of V.","tokens_in":2380,"tokens_out":428,"would_cite":false,"duration_ms":41887,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"Theorem 1 … under Poincaré inequality with constant λ>0 … Dp(μ(t)) ≤ −log(…) / β (super-exponential) then exponential decay"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean","rs_theorem":"absolute_floor_iff_bare_distinguishability","paper_passage":"Poincaré inequality (7) … convexity of V … L1-Lp smoothing"}],"headline":"Standard weighted PME analysis via Poincaré + convexity; no RS cost or forcing structure","alignment":"orthogonal","rationale":"The paper's core machinery (weighted porous-medium operator L, Dp functional, super-exponential-to-exponential decay under Poincaré for Gibbs measure π=e^{-V}, barrier constructions, Aronson-Bénilan-type estimates) is classical PDE analysis. It invokes the linear Poincaré inequality directly on powers of the solution and uses convexity of V only for tail control; no J-cost, reciprocal-cost functional equation, φ-ladder, 8-tick periodicity, or parameter-free derivation appears. RS theorems (e.g., washburn_uniqueness_aczel in Cost/FunctionalEquation, reality_from_one_distinction, alexander_duality_circle_linking) are not paralleled.","tokens_in":61065,"confidence":"high","tokens_out":342,"duration_ms":14114,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The weighted porous medium equation has unique L1 weak solutions that instantly smooth into all Lp spaces under a Poincaré inequality.","keywords":["porous medium equation","Poincaré inequality","smoothing effect","well-posedness","weak solutions","Gibbs measure","L1-Lp estimates","weighted spaces"],"falsifier":"An explicit L1 initial datum together with a convex V obeying Poincaré for which the corresponding solution either fails to be unique or does not belong to some Lp at a positive time would disprove the claims.","tokens_in":2636,"feed_emoji":"","tokens_out":657,"duration_ms":33797,"temperature":0.7,"pith_summary":"This paper proves that the weighted porous medium equation linked to a Gibbs measure is well-posed in L1 with respect to that measure. It establishes uniqueness for non-negative weak solutions from integrable initial data. The work also shows a smoothing property where the solution gains membership in all higher Lp norms immediately after time zero. The rate is given by a decay that begins super-exponentially and then switches to exponential.","feed_headline":"Weighted porous media equation smooths L1 data to Lp instantly","feed_subtitle":"Poincaré inequality gives uniqueness plus super-exponential then exponential decay of Lp-to-L1 norm ratios.","key_machinery":"The Poincaré inequality for the Gibbs measure π combined with convexity of V, which together enable the well-posedness proof and the quantitative L1-Lp smoothing estimates.","core_discovery":"Under the Poincaré inequality for the Gibbs probability measure π = e^{-V} and the convexity assumption on V, the Cauchy problem for the weighted porous medium equation on the real line admits unique non-negative weak solutions when the initial datum is in L1(R, π). Moreover, these solutions exhibit an L1-Lp smoothing effect for every p > 1: the logarithm of the ratio of the Lp norm to the L1 mass first decays super-exponentially and subsequently decays exponentially to zero. Consequently, the solution lies in Lp(R, π) for all finite p > 1 and all t > 0 even if the initial datum is only L1.","pith_inferences":["The same Poincaré-plus-convexity combination could be tested on other nonlinear diffusion equations to obtain comparable instant regularization.","The explicit decay rates supply a concrete benchmark for numerical schemes tracking convergence speed to equilibrium.","If analogous inequalities are available on higher-dimensional domains, the well-posedness and smoothing conclusions are likely to carry over."],"forward_implications":["The total L1 mass with respect to π is conserved by the evolution.","Every solution starting in L1 enters Lp(R, π) for every p > 1 at every positive time.","The log ratio of Lp norm to L1 mass obeys an explicit two-stage decay: super-exponential followed by exponential.","These statements hold for the non-negative weak solutions whose existence and uniqueness are proved."],"fun_headline_variants":["Weighted porous media eq smooths L1 data to Lp under Poincaré","Poincaré inequality ensures well-posedness for weighted porous media eq","L1 to Lp smoothing effect shown for weighted PME with Poincaré","Unique weak solutions for weighted PME with L1-Lp smoothing"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The Gibbs measure π satisfies a Poincaré inequality and the potential V is convex.","fun_headline_variants_meta":{"raw":{"variants":["Weighted porous media eq smooths L1 data to Lp under Poincaré","Poincaré inequality ensures well-posedness for weighted porous media eq","L1 to Lp smoothing effect shown for weighted PME with Poincaré","Unique weak solutions for weighted PME with L1-Lp smoothing"]},"model":"grok-4.3","cost_usd":0.010457,"raw_usage":{"total_tokens":4638,"prompt_tokens":695,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":104574500,"prompt_tokens_details":{"text_tokens":695,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3877,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":695,"tokens_out":66,"duration_ms":33121,"temperature":1.0,"reasoning_tokens":3877,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-22T20:38:58.358272+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit L1 initial datum together with a convex V obeying Poincaré for which the corresponding solution either fails to be unique or does not belong to some Lp at a positive time would disprove the claims.","supporting_citations":[],"review_version":1}