{"id":"32bc723b-e868-4473-8ead-26da55893df5","arxiv_id":"1908.03697","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"The paper derives explicit sup-norm gradient estimates for bounded positive Allen-Cahn solutions on Riemannian manifolds, and a Liouville theorem under nonnegative Ricci curvature.","lead":"This paper proves explicit gradient bounds for positive solutions of the Allen-Cahn equation on complete Riemannian manifolds with controlled Ricci curvature, and derives a Liouville theorem when the Ricci curvature is nonnegative. The Liouville statement was already known from earlier work by Ratto and Rigoli; the genuinely new part is the explicit quantitative bounds for manifolds with a nonzero negative Ricci lower bound.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the differential inequality in Lemma 2.1 checks out and the main argument is sound.","rationale":"The reader identifies Lemma 2.1 as the most fragile part, and I agree this is the most likely place for a hidden sign or coefficient error. However, on a full check the lemma is algebraically correct; the flagged notational issue and the missing 1/R² factor are presentation problems. No load-bearing flaw was found in the central claim: the maximum-principle setup, the parameter choices, and the final estimates all hold together. Since the reader's conditional verdict was based on non-critical issues, and my stress test does not reveal a deeper problem, the reader's CONDITIONAL verdict remains appropriate without change.","tokens_in":7573,"tokens_out":61864,"duration_ms":515275,"concrete_test":"Use a computer algebra system to symbolically expand ∆F from (2.5)–(2.8), apply the substitutions (2.6)–(2.9), and verify that the result reduces exactly to (2.14) with the stated coefficients. Additionally, solve the quadratic inequality in case (2) exactly to check the coefficient of C² in (3.11): the printed particular bound 54n√n only follows if that coefficient is s/q, not s·q; if a literal s·q appears, the proof still yields a stronger estimate and the printed particular bound remains valid but contains a typo.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I independently verified the algebra in Lemma 2.1. Starting from (2.5)–(2.8), combining the Hölder/Bochner estimates in (2.9), and using the gradient identity (2.10), the terms assemble exactly to (2.11); rewriting the potential terms via F then gives the stated (2.14). The notation '⟨∇F, log W⟩' in (2.14) should read '⟨∇F, ∇log W⟩', as is clear from (2.10), and this is a typesetting ambiguity rather than a mathematical error. The missing 1/R² factor in the definition of B in the proof is likewise a typesetting artifact, since the theorem statement and the surrounding inequalities require the /R² version. The maximum-principle argument in Section 3 is standard: the cut-off estimates, the sign of the Ricci term, and the Hölder steps all work as written. I found no internal inconsistency or unjustified step that would break the central estimate; the paper's quantitative gradient bounds and the Liouville consequence follow.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives explicit gradient estimates for bounded positive solutions of the Allen-Cahn equation Δu + (1-u^2)u = 0 on complete noncompact Riemannian manifolds with Ricci curvature bounded below. The main result, Theorem 1.1, bounds |∇u|^2/u^2 plus terms involving (1-u^2) on a geodesic ball B_p(R) in terms of n, R, the Ricci lower bound K(2R), and the upper bound C on u. From these estimates, the author obtains a Liouville theorem (Theorem 1.2) asserting that any positive solution with 0 < u ≤ 1 on a manifold with nonnegative Ricci curvature is identically 1. The technical core is a differential inequality (Lemma 2.1) for the auxiliary function F = |∇W|^2/W^2 + α(1-W^{-2/q}) with W = u^{-q}, derived via the Bochner formula and Hölder/Young inequalities, followed by a cut-off maximum principle argument.","tokens_in":51,"tokens_out":25721,"duration_ms":376927,"significance":"If the estimates are correct, the paper provides a quantitative supplement to the classical gradient bounds of Modica and Ratto-Rigoli for the Allen-Cahn equation, with explicit dependence on the Ricci lower bound and the sup-norm of the solution. The Liouville consequence on nonnegative Ricci curvature is a clean geometric application. The proof is self-contained and uses only standard tools (maximum principle, Bochner formula, Laplacian comparison). The algebraic part of Lemma 2.1 has been independently verified by the referee, and the main concerns are presentation and consistency errors in the statement of Theorem 1.1 and in the definition of B in the proof, which are correctable. The method may extend to other semilinear equations, as the author notes.","major_comments":[{"comment":"The quantity B is defined as B = 2C_1^2 + (n-1)C_1^2(1+R√K(2R)) + C_2/R^2, without an outer 1/R^2 factor on the first two terms. As printed, the estimates in Theorem 1.1 and equation (3.10) are dimensionally inconsistent, and the passage to the limit R→∞ in Corollary 1.1 is not justified. The proof requires B = [2C_1^2 + (n-1)C_1^2(1+R√K(2R)) + C_2]/R^2; this correction must be made in both the theorem statement and the proof.","section":"§3 (definition of B) and Theorem 1.1"},{"comment":"The displayed bound is missing the q^2 factor in the prefactor: it reads ns^2/(2(1−ε)) but the proof in (3.11) uses ns^2 q^2/(2(1−ε)). In addition, the expression 'C_1^2/R^2 2C_1^2 + ...' is missing plus signs and cannot be read unambiguously. The theorem statement should be checked against (3.11) and carefully corrected.","section":"§1, Theorem 1.1, case (2)"}],"minor_comments":[{"comment":"The term ⟨∇F, log W⟩ should read ⟨∇F, ∇ log W⟩; the intended meaning is clear from (2.10) and (2.11), but the notation is incorrect.","section":"§2, Lemma 2.1, equation (2.14)"},{"comment":"The reference 'By (3.4)' for the identity 2/q φ^2⟨∇F, log W⟩ = −2/q φF⟨∇φ, ∇W/W⟩ is incorrect; the identity follows from (3.1).","section":"§3, after (3.4)"},{"comment":"The hypothesis 'u is a bounded positive smooth solution ... u ≤ C' should state 0 < u ≤ C for clarity, since positivity is assumed but not explicitly stated in the bound.","section":"§1, Theorem 1.1"},{"comment":"The condition 'q > 0 small enough' should also require q < 1/2 so that the cross term in (3.3) has the sign needed for the bound in (3.6) to hold as written; otherwise the displayed inequality does not follow directly.","section":"§3, proof of Theorem 1.1, case (1)"},{"comment":"Reference [4] lists the page range '312-2330' for J. Funct. Anal. 265 (2013), which appears to be a typo; the correct page range should be verified.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The mathematical core of the paper appears sound; the referee's independent check of Lemma 2.1 found no algebraic error. However, the main theorem and the proof contain several nontrivial typographical and consistency errors (missing 1/R^2 factor, missing q^2 factor, ambiguous displays) that currently make the central statement unreliable as printed. These are correctable, so a major revision is appropriate rather than rejection. The author should also carefully re-read the entire manuscript for typesetting issues, as there are several places where formulas are garbled."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper is a modest but solid contribution. It gives explicit gradient estimates for bounded positive solutions of the Allen-Cahn equation on complete noncompact manifolds with Ric ≥ -K, using a maximum-principle argument in the style of Li and Ma. The Liouville-type corollary on nonnegative Ricci curvature is not new—the paper acknowledges that Ratto-Rigoli already covers it—but the explicit dependence of the gradient bound on the Ricci lower bound and the upper bound of the solution is not in the cited literature. That is the genuine new element.\n\nThe mathematics holds up. I checked the algebra in Lemma 2.1 and the maximum-principle section; the terms assemble correctly. The missing 1/R² factor in the definition of B and in the displayed Theorem 1.1 is a typesetting artifact—the cut-off estimates require it and the proof uses the /R² version. The notation `⟨∇F, log W⟩` should be `⟨∇F, ∇ log W⟩`, which is clear from the derivation. The parameter conditions are plausible, though the existence of q satisfying them for arbitrary allowed s and ε is asserted without a one-line justification.\n\nThe real weaknesses are presentation. Theorem 1.1 is hard to parse as printed, Lemma 2.1 compresses a lengthy Hessian computation that a referee will want expanded, and the constants in case (2) are handled loosely—the C^4 term from u ≤ C suggests the final bound is not optimal, but optimality is not claimed. None of these threaten the central estimate.\n\nWho is this for? Geometric analysts working on gradient estimates for semilinear elliptic equations. For that audience it is a useful, correctly proved reference. It does not oversell itself, and the acknowledgment of prior work is honest. I would send it to a serious referee, asking for corrected displays, an expanded Lemma 2.1, and a note fixing the notation. It is not a reject, but it is not a quick accept either.","headline":"A correct, modest extension of existing gradient-estimate machinery to the Allen-Cahn equation with negative Ricci; needs display and notation fixes, but the central estimate holds.","tokens_in":8265,"tokens_out":12448,"would_cite":true,"duration_ms":106356,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J91","53C21"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that on complete noncompact Riemannian manifolds with nonnegative Ricci curvature, every bounded positive solution of the Allen-Cahn equation with $0 < u \\le 1$ is the constant $u \\equiv 1$, via explicit gradient…","keywords":["Allen-Cahn equation","gradient estimate","Riemannian manifold","Ricci curvature","Liouville theorem","semilinear elliptic equation","bounded positive solution"],"falsifier":"Recompute Lemma 2.1 independently: the derivation displays $4-6s$ as the coefficient of $W^{-2/q}|\\nabla W|^2/W^2$, while the lemma states $2-6s$. A direct symbolic computation of $\\Delta F$ for $W = u^{-q}$ will settle which coefficient is correct; a wrong sign or value would change the admissible $(s,q)$ ranges and invalidate the theorem's estimates.","tokens_in":7331,"feed_emoji":"📏","tokens_out":15321,"duration_ms":143127,"temperature":0.7,"pith_summary":"This paper establishes quantitative gradient estimates for bounded positive solutions of the Allen-Cahn equation $\\Delta u + (1-u^2)u = 0$ on complete noncompact Riemannian manifolds without boundary. The estimates control $|\\nabla u|^2/u^2$, together with a lower-order term, inside a geodesic ball of radius $R$, in terms of the dimension, the radius, the upper bound $C$ of the solution, and a lower bound $-K(2R)$ on the Ricci curvature over a larger ball. When the curvature lower bound is global, the estimates become global and force rigidity: on a complete noncompact manifold with nonnegative Ricci curvature, any smooth solution with $0 < u \\le 1$ is identically $1$. This is the standard route by which gradient bounds yield Liouville-type theorems for a model phase-transition equation.","feed_headline":"On nonnegative Ricci, positive Allen-Cahn solutions must be constant","feed_subtitle":"The bounds force every positive solution with values at most 1 to be constant on nonnegative-Ricci manifolds.","key_machinery":"The load-bearing object is the auxiliary function $F = |\\nabla W|^2/W^2 + s q^2 (1 - W^{-2/q})$ with $W = u^{-q}$, where $q>0$ and $s>0$ are parameters chosen later. Lemma 2.1 proves a differential inequality for $\\Delta F$ that combines the Ricci lower bound, the lower bound $|\\nabla^2 W|^2 \\ge (\\Delta W)^2/n$, and Young-type estimates for cross terms. The maximum-principle argument on $\\varphi F$ turns this differential inequality into an algebraic quadratic inequality for $\\lambda = \\max(\\varphi F)$; solving that quadratic gives the theorem's constants. The specific parameter choices $s = 2/3$ (case $C \\le 1$) and $s > 1$ (case $C > 1$) are what make the lower-order terms absorbable.","core_discovery":"The central claim is Theorem 1.1: if $M$ is complete noncompact $n$-dimensional with $\\mathrm{Ric} \\ge -K(2R)$ on $B_p(2R)$ and $u$ is a bounded positive smooth solution with $u \\le C$, then on $B_p(R)$ the quantity $|\\nabla u|^2/u^2 + s(1-u^2)$ is bounded above by an explicit expression in $n,R,K(2R),C$. The proof chooses $s = 2/3$ when $C \\le 1$ and a parameter $s > 1$ when $C > 1$, and it obtains the bound by applying the maximum principle to the cut-off product $\\varphi F$, where $F$ is a specially chosen auxiliary function. Letting $R \\to \\infty$ gives the global bounds of Corollary 1.1. In the case $\\mathrm{Ric} \\ge 0$ and $0 < u \\le 1$, the global bound yields $|\\nabla u|^2/u^2 + \\frac{2}{3}(1-u^2) \\le 0$, so $u \\equiv 1$; this is Theorem 1.2. The paper notes the same conclusion also follows from a previously known gradient-bound result, but the new contribution is the explicit quantitative control.","pith_inferences":["Beyond the paper, the $R$-dependent bounds can be integrated along minimizing geodesics inside $B_p(R)$ to yield oscillation or Harnack-type inequalities for positive solutions, a consequence the paper does not spell out.","The same auxiliary-function construction with $W = u^{-q}$ should extend to other two-term semilinear equations, giving explicit constants rather than existence statements for a wider class than the one noted.","The discrepancy between the coefficient $4-6s$ appearing in the derivation and $2-6s$ stated in Lemma 2.1 suggests the parameter ranges in the theorem are not yet optimal; settling the algebra could improve the constants.","The factor $1/(1-\\varepsilon)$ in the curvature term hints that the global gradient constant proportional to $nk$ may not be sharp; a sharper inequality would likely replace it by $nk$ with a smaller prefactor."],"forward_implications":["On a complete noncompact manifold with $\\mathrm{Ric} \\ge -k$ and $u \\le C \\le 1$, every positive solution satisfies $|\\nabla u|^2/u^2 + \\frac{2}{3}(1-u^2) \\le 2nk$, and in particular $|\\nabla u|^2 \\le 2nk$.","When $\\mathrm{Ric} \\ge 0$, the only smooth solution with $0 < u \\le 1$ is $u \\equiv 1$; in particular, no entire solution with values strictly between $0$ and $1$ exists on such manifolds.","For solutions with $C > 1$, the special choice $s = 2$, $\\varepsilon = 1/2$ gives the explicit global control $|\\nabla u|^2/u^2 \\le 4nk + (54n\\sqrt{n} + 2)C^2$.","The bounds are local and quantitative: on a ball of radius $R$ they depend on $R\\sqrt{K(2R)}$ and $K(2R)$, so they tolerate curvature that is only bounded below locally.","The paper states the same method applies to the generalized equation $\\Delta u + u^p - u^q = 0$ for real $p,q$."],"supporting_citations":[{"why":"Supplies the substitution $W = u^{-q}$ and the form of the auxiliary function $F$ that the proof differentiates.","marker":"[9]"},{"why":"Provides the gradient-estimate and Laplacian comparison machinery used to control the cut-off function.","marker":"[5]"},{"why":"Provides the technique for absorbing the cross term involving $\\nabla \\varphi$ and $\\nabla W/W$.","marker":"[10]"},{"why":"Establishes the model gradient bound for $\\Delta u = f(u)$ on Euclidean space that the Liouville conclusion extends.","marker":"[12]"},{"why":"Extends the model gradient bound to manifolds with nonnegative Ricci curvature; the paper's Liouville theorem overlaps with this while adding explicit constants.","marker":"[15]"}],"fun_headline_variants":["Gradient bounds force constant positive Allen-Cahn solutions","Nonnegative Ricci means positive Allen-Cahn is constant","Explicit gradient estimates for Allen-Cahn on manifolds","Allen-Cahn gradient control yields Liouville theorem"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire argument rests on the exact differential inequality for the auxiliary function $F$ in Lemma 2.1; if a single coefficient in that long algebraic inequality is wrong, the admissible ranges of $s$ and $q$ change and the final gradient bounds do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Gradient bounds force constant positive Allen-Cahn solutions","Nonnegative Ricci means positive Allen-Cahn is constant","Explicit gradient estimates for Allen-Cahn on manifolds","Allen-Cahn gradient control yields Liouville theorem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000701,"raw_usage":{"total_tokens":3119,"prompt_tokens":858,"completion_tokens":2261,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":474,"completion_tokens_details":{"reasoning_tokens":2199}},"tokens_in":474,"tokens_out":2261,"duration_ms":16954,"temperature":1.0,"reasoning_tokens":2199,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:11:59.661715+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute Lemma 2.1 independently: the derivation displays $4-6s$ as the coefficient of $W^{-2/q}|\\nabla W|^2/W^2$, while the lemma states $2-6s$. A direct symbolic computation of $\\Delta F$ for $W = u^{-q}$ will settle which coefficient is correct; a wrong sign or value would change the admissible $(s,q)$ ranges and invalidate the theorem's estimates.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the substitution $W = u^{-q}$ and the form of the auxiliary function $F$ that the proof differentiates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the gradient-estimate and Laplacian comparison machinery used to control the cut-off function."},{"cited_title":"Ma, Gradient estimates for a simple elliptic equation on non-com pact Riemannian mani- folds, J","cited_arxiv_id":null,"evidence_quote":"Provides the technique for absorbing the cross term involving $\\nabla \\varphi$ and $\\nabla W/W$."},{"cited_title":"Modica, A gradient bound and a liouville theorem for nonlinear po isson equations, Com- mun","cited_arxiv_id":null,"evidence_quote":"Establishes the model gradient bound for $\\Delta u = f(u)$ on Euclidean space that the Liouville conclusion extends."},{"cited_title":"Ratto, M","cited_arxiv_id":null,"evidence_quote":"Extends the model gradient bound to manifolds with nonnegative Ricci curvature; the paper's Liouville theorem overlaps with this while adding explicit constants."}],"review_version":1}