{"id":"49cc35b0-d011-495d-90a9-b50bd80571fb","arxiv_id":"2507.13230","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Uniqueness of zero solutions to the density heat equation on non-compact weighted manifolds is established in weighted L^p spaces, with model-manifold examples showing the density decay conditions are optimal.","lead":"This paper proves that solutions to a heat equation with density on complete Riemannian manifolds must be identically zero if they lie in certain weighted exponential or polynomial Lebesgue spaces. The authors also show on model manifolds that the decay thresholds on the density are sharp, with infinitely many bounded solutions once the thresholds are crossed.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The p>1 uniqueness claims rest entirely on Theorem 4.1, whose weighted generalization is quoted without proof; the omitted energy estimate for Δω must control a drift term that is absent in the unweighted case.","rationale":"The reader's weakest-assumption identifies the same load-bearing gap: Theorem 4.1 is the single theorem from which all p>1 uniqueness statements follow, and its weighted version is asserted without proof. My independent reading confirms that this is the most fragile point of the paper. In the conformal reduction, problem (1.3) becomes ∂_t u = \tildeΔ u on (M,\tilde g, ρdμ), and the paper needs \tildeΔ to satisfy the weighted energy estimates of [34]. Since \tildeΔ = (1/ρ)Δ_g is itself a weighted Laplacian with drift (the weight is \tildeω=(N/2−1)logρ relative to dvol_{\tilde g}), the omitted proof is genuinely nontrivial. I checked that for power-like ρ the conformal drift |∇_{\tilde g}\tildeω| is bounded when 0≤θ≤2, which suggests the statement may be repairable, but the paper never states or proves the required condition on ∇ω. Meanwhile, the proof of Theorem 2.2 contains a clearly false monotonicity assertion about φ, reinforcing that the route to Theorems 2.2–2.4 is not fully rigorous as written. Neither issue appears to invalidate the main mathematical claims beyond repair; they show that the paper needs a conditional rather than unconditional acceptance. Since the reader already arrived at CONDITIONAL, my stress-test does not change the verdict.","tokens_in":27538,"tokens_out":32638,"duration_ms":369609,"concrete_test":"Write out the full proof of Theorem 4.1 by adapting [34, Theorem 2.2] to Δω on a weighted manifold. In the energy estimate, isolate the drift term ∫ |u|^p (∇ω·∇η_R) η_R^{p−1} dμω and determine exactly which hypothesis on ∇ω is needed to absorb it with the standard cutoff η_R. Then verify that hypothesis for the conformal weight \tildeω=(N/2−1)logρ with ρ satisfying (2.1) or (2.3). If the needed hypothesis is not implied by the stated assumptions of Theorem 4.1, then Theorems 2.2–2.4 are unsupported as stated; if it is implied, state the verification explicitly in the paper.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Every p>1 theorem (2.2, 2.3, 2.4) is obtained by a conformal change and then invoking Theorem 4.1. Theorem 4.1 is stated for an arbitrary weighted manifold (M,g,μω), but its proof is not given: the paper says the proof of [34, Theorem 2.2] 'can be adapted also to the weighted setting'. This is not a formality. The weighted Laplacian Δω=Δ−∇ω·∇ introduces a first-order drift term, and the usual energy estimate for ∫|u|^p η_R^p dμω contains an extra term of the form ∫ |u|^p (∇ω·∇η_R) η_R^{p−1} dμω. In the unweighted case this term is absent; in the weighted case it is controlled only if ∇ω is suitably bounded or decays near infinity. The theorem as stated imposes no condition on ∇ω, so the quoted adaptation may fail for admissible weighted manifolds. In the conformal applications the relevant weight is \tildeω=(N/2−1)logρ, for which |∇_{\tilde g}\tildeω| is O(r^{θ/2−1}) when ρ~(1+r)^{−θ}, hence bounded for 0≤θ≤2; this suggests the results may be true, but it is precisely the missing verification that carries the argument. A secondary, more concrete flaw is that in the proof of Theorem 2.2 the function φ in (4.5) is claimed to be increasing 'since ψ and the function log are increasing'; but log(c2(1+r)^{−θ}) is decreasing, and no analogue of assumption (2.7) appears in Theorem 2.2, so the applicability of Theorem 4.1 is not actually established for all ψ satisfying (2.2).","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies uniqueness, in weighted Lebesgue spaces $L^p_{e^{-\\psi}}$, of classical solutions to the heat equation with density $\\rho\\partial_t u=\\Delta u$ on complete non-compact Riemannian manifolds. After a conformal change $\\tilde g=\\rho g$, $d\\tilde\\mu=\\rho d\\mu$, the equation is rewritten as $\\partial_t u=\\tilde\\Delta u$ with $\\tilde\\Delta=\\rho^{-1}\\Delta$. For $p>1$ the authors state uniqueness Theorems 2.2--2.4 under two-sided power-like bounds on $\\rho$ and an integral divergence condition on $\\psi$; for $p=1$ they state analogous Theorems 2.6--2.8 under additional pole, radial-density and Laplacian-comparison assumptions. The proof strategy is to verify a general weighted-manifold uniqueness criterion: Theorem 4.1 for $p>1$ and Theorem 5.1 for $p=1$. On model manifolds the authors show that crossing the decay threshold $\\theta=2$ (or $\\theta=2-\\beta$ in the exponential-volume case) produces infinitely many bounded nonzero solutions, thereby demonstrating sharpness.","tokens_in":27936,"tokens_out":18156,"duration_ms":179473,"significance":"The conformal representation is elegant, and the sharp counterexamples in Section 7 are a useful contribution: they show that the integral conditions (2.2) and (2.4) are not redundant. The paper also makes good use of existing machinery (Punzo's uniqueness theorems, Laplacian comparison) and gives concrete model manifolds, including hyperbolic space, to which the theorems apply. However, the central $p>1$ theorems are conditional on an unproved weighted generalization of an unweighted theorem, and the proof of Theorem 2.2 contains a monotonicity error that affects the main claims. The manuscript needs further work before it can be accepted.","major_comments":[{"comment":"The theorem is stated for an arbitrary weighted manifold $(M,g,\\mu_\\omega)$, but no proof is given. The text says that [34, Theorem 2.2] \"can be adapted also to the weighted setting\", but this adaptation is not a formality: replacing $\\Delta$ by $\\Delta_\\omega=\\Delta-\\nabla\\omega\\cdot\\nabla$ introduces a first-order drift term in the energy estimate for $\\int |u|^p \\eta_R^p\\,d\\mu_\\omega$, and the resulting additional term involving $\\nabla\\omega$ is not controlled in the generality of Theorem 4.1. Since every $p>1$ result (Theorems 2.2, 2.3, 2.4) is obtained by invoking Theorem 4.1 after a conformal change, the main $p>1$ claims rest on an unproved statement. Please provide either a self-contained proof of Theorem 4.1 in the weighted setting or an explicit extra assumption on $\\omega$, for instance a growth condition on $|\\nabla\\omega|$, and verify it in each conformal application.","section":"§4.1, Theorem 4.1"},{"comment":"The function $\\phi$ in (4.5) is claimed to be increasing \"since $\\psi$ and the function log are increasing\". However, $\\log(c_2(1+r)^{-\\theta})$ is decreasing for $\\theta>0$, and Theorem 2.2 does not impose an analogue of assumption (2.7). For a concrete counterexample to the monotonicity claim, take $0<\\theta<2$ and $\\psi(r)=\\log\\log r$: all hypotheses of Theorem 2.2 are satisfied, but $\\phi'(r)=1/(r\\log r)-\\theta/(1+r)<0$ for all sufficiently large $r$. Therefore Theorem 4.1, which requires $\\phi$ increasing, cannot be applied with this $\\phi$. The same construction is used in Theorem 2.3 and, by reference, in the $p=1$ proofs, so the monotonicity issue affects several statements. Theorem 2.4 avoids the problem because it assumes (2.7), but Theorems 2.2 and 2.3 need a corrected argument or an additional hypothesis.","section":"§4, proof of Theorem 2.2, Eq. (4.5)"},{"comment":"The $p=1$ uniqueness Theorem 5.1 is concluded by invoking Lemma 5.2, which the paper states without proof and attributes to [10, Theorem 9.2] and [34, Lemma 3.1]. Since [10] treats $p=2$ and [34] is unweighted, the weighted $p=1$ version used here is not literally contained in those references. The proof of Proposition 5.3 involves $\\Delta_\\omega$ and a drift term, so the transfer to the weighted setting is not purely notational. Please include a proof of Lemma 5.2 or a precise reference to a weighted version, or state the additional assumptions under which the weighted statement holds.","section":"§5.1, Lemma 5.2"}],"minor_comments":[{"comment":"In the proof of Theorem 2.6, \"by means of (2.13)\" should refer to (2.10); in the proof of Theorem 2.7, \"by means of (2.10)\" should refer to (2.13).","section":"§5, proofs of Theorems 2.6 and 2.7"},{"comment":"In the long chain estimate, the reference \"due to (2.3)\" should be to (2.1), since (2.3) is the $\\theta=2$ assumption used in Theorem 2.3.","section":"§4, proof of Theorem 2.2"},{"comment":"The notation $\\tilde\\Delta$ is ambiguous: in Section 3 it is the weighted Laplacian (3.6) satisfying $\\tilde\\Delta=\\rho^{-1}\\Delta$, while in the proofs of Theorems 2.6--2.8 the displayed identity for $\\tilde\\Delta\\tilde r$ holds for the Laplace--Beltrami operator of the conformal metric. Please state explicitly which operator is meant in assumption (H)(ii) of Theorem 5.1.","section":"§3 and §5"},{"comment":"There are several typos in Proposition 5.3: in (5.8), $\\partial_\\omega\\zeta$ should be $\\partial_t\\zeta$; \"$d\\mu f$\" should be \"$d\\mu_\\omega$\"; and the notation $B_R$ versus $\\tilde B_R$ in the boundary terms is inconsistent.","section":"§5.1, Proposition 5.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and the sharpness results are valuable. The main gap, the unproved weighted generalization of Punzo's Theorem 4.1, is likely repairable, but the current version should not be accepted as is. The monotonicity error in the proof of Theorem 2.2 is also fixable, but it is load-bearing for the stated $p>1$ theorems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read. The paper does something genuinely useful: it gives L^p_{e^{-\\psi}} uniqueness criteria for the heat equation with density, handles the critical exponent θ=2, and constructs matching counterexamples on model manifolds. The conformal change is a known technique, but applying it to turn ρ ∂_t u = Δu into a weighted heat equation is clean, and the p=1 part is proved in detail via Theorem 5.1 and its lemmas. The counterexample machinery in Section 6 is elementary but credible. Within the subfield this is a real step forward, not a rehash.\n\nThat said, there are two soft spots. The serious one is that every p>1 theorem reduces to Theorem 4.1, a uniqueness result for the weighted heat equation that is quoted from Punzo [34] with the sentence that the proof \"can be adapted.\" This is not a routine citation. The weighted Laplacian has a drift term, and the energy estimate for ∫|u|^p η^p dμω contains an extra term of the form ∫ |u|^p (∇ω·∇η) η^{p−1} dμω, which is absent in the unweighted case. The authors never verify that this term is controlled for the full generality of Theorem 4.1. In the conformal applications the drift is well-behaved for θ≤2, so the theorem is probably true, but the paper as written omits that verification. A referee should ask for it.\n\nThe second soft spot is in the proof of Theorem 2.2. The function φ in (4.5) is claimed to be increasing because ψ and log are increasing, but log(c2(1+r)^{-θ}) is decreasing for θ>0. No analogue of assumption (2.7) is stated in Theorems 2.2–2.3, so the monotonicity needed to apply Theorem 4.1 is not actually established. This is likely repairable by adding (2.7) or using a monotone envelope, but as written the proof has a gap.\n\nThere is also a minor typo: the identity for Δ~ r~ has coefficient (N−1)/2 instead of 1/2. Because the hypotheses are written with the same extra factor and ρ′≤0, the argument still goes through with the corrected identity, so I do not think it is load-bearing.\n\nThe citation pattern is fine: self-citations are confined to the literature review, and Punzo is properly credited for the key tool. The math is not circular.\n\nBottom line: the paper deserves a serious referee, but the referee should require a full proof or a precise reference for the weighted Theorem 4.1, and a fix of the monotonicity gap, before acceptance.","headline":"Useful results and a clean framework, but the p>1 uniqueness theorems lean on an unproved weighted adaptation of Punzo's theorem, and there is a fixable monotonicity gap in the proof of Theorem 2.2.","tokens_in":28459,"tokens_out":7938,"would_cite":false,"duration_ms":81094,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A02","35B53","35J10","58J05"],"pacs":[],"model":"deepseek-v4-flash","headline":"On complete non-compact manifolds, a heat equation with density has only the zero solution in $L^p_{e^{-\\psi}}$ exactly when a radial integral of $\\psi$ and the density decay diverges; crossing the decay threshold yields infinitely many…","keywords":["uniqueness theorems","weighted Lebesgue spaces","weighted Riemannian manifolds","heat equations with density","conformal change of metric","model manifolds","sharp thresholds","Cauchy problem"],"falsifier":"On a model manifold with $f(r)=e^{r^\\beta/(N-1)}$ and $\\rho=(1+r^2)^{-\\theta/2}$, the paper predicts no bounded nonzero solutions for $\\theta<2-\\beta$ and infinitely many for $\\theta>2-\\beta$; exhibiting one bounded nonzero solution, or one positive supersolution of $\\Delta h=-\\rho$ with $h\\to0$, for $\\theta<2-\\beta$ would falsify the claimed sharp threshold.","tokens_in":27345,"feed_emoji":"🔥","tokens_out":11069,"duration_ms":111600,"temperature":0.7,"pith_summary":"On a complete, non-compact weighted Riemannian manifold of infinite volume, the heat equation with density $\\rho\\partial_t u=\\Delta u$ with zero initial data can still have nonzero solutions; this paper seeks the exact weight-class that rules them out. For densities with power-like decay $\\rho(x)\\asymp(1+r(x))^{-\\theta}$, $0\\le\\theta<2$, and solutions in $L^p_{e^{-\\psi}}$, uniqueness is proved to hold when $\\int^\\infty r^{1-\\theta}/\\psi(r)\\,dr=+\\infty$; the critical case $\\theta=2$ is governed by $\\int^\\infty \\log r/(r\\psi(r))\\,dr=+\\infty$. The same pattern is extended to $p=1$ under additional geometric hypotheses (a pole, radial $\\rho$, and a lower bound on $\\Delta r$). The proof works through a conformal change of metric, $\\tilde g=\\rho g$, $d\\tilde\\mu=\\rho\\,d\\mu$, in which the weighted Laplacian $\\tilde\\Delta$ satisfies $\\tilde\\Delta=\\rho^{-1}\\Delta$, so the problem becomes a standard heat equation on a weighted manifold. On model manifolds the paper constructs explicit supersolutions to show the threshold is sharp: once the decay of $\\rho$ crosses the critical exponent, infinitely many bounded nonzero solutions appear.","feed_headline":"Divergent weight integral forces zero solution to heat flow","feed_subtitle":"Rescale the metric to turn the weighted heat equation into a standard one; a divergent weight integral forces zero.","key_machinery":"The machinery is the conformal change $\\tilde g=\\rho g$, $d\\tilde\\mu=\\rho\\,d\\mu$, under which the weighted Laplacian obeys $\\tilde\\Delta=\\frac1\\rho\\Delta$. This identity turns the density equation into $\\partial_tu=\\tilde\\Delta u$ on a complete weighted manifold, and the ambient integral condition $u\\in L^p_{e^{-\\psi}}$ becomes a growth estimate for the weighted $L^p$-norm on geodesic balls in the new metric. The proof then invokes a general uniqueness criterion (Theorem 4.1, adapted from [34]): if $\\int_0^T\\int_{B_R}|u|^p\\,d\\mu\\,dt\\le e^{\\varphi(R)}$ with $\\int^\\infty r/\\varphi(r)\\,dr=+\\infty$, then $u\\equiv0$. The paper chooses $\\varphi$ out of $\\psi$ and the radial bounds on $\\rho$ so this criterion applies exactly when the displayed integral conditions on $\\psi$ diverge.","core_discovery":"The central claim is a rigidity dichotomy controlled by the decay rate of the density and the growth of the weight. In Theorem 2.2, if $\\rho$ obeys $c_1(r+1)^{-\\theta}\\le\\rho(x)\\le c_2(r+1)^{-\\theta}$ with $0\\le\\theta<2$, and $\\psi$ is positive, increasing, continuous with $\\int^\\infty r^{1-\\theta}/\\psi(r)\\,dr=+\\infty$, then any classical solution of $\\rho\\partial_tu=\\Delta u$ with zero initial data lying in $L^p_{e^{-\\psi}}(M\\times(0,T))$ is identically zero. Theorem 2.3 replaces the integrand by $\\log r/(r\\psi(r))$ at $\\theta=2$. Theorem 2.4 is the general version for arbitrary two-sided radial bounds on $\\rho$, with the integral condition (2.6) and the monotonicity condition (2.7). The $p=1$ analogues (Theorems 2.6--2.8) require a pole and radial density, and use a lower Laplacian bound to keep the distance function well behaved. Sharpness is shown on model manifolds: with $f(r)=e^{r^\\beta/(N-1)}$, uniqueness of bounded solutions holds for $\\theta<2-\\beta$ and fails for $\\theta>2-\\beta$; with $f(r)=r^{\\beta/(N-1)}$, uniqueness holds for $\\theta\\le2$ and fails for $\\theta>2$.","pith_inferences":["The same conformal reduction should apply to drift or potential terms, replacing the density condition with analogous radial bounds on the lower-order coefficients; the paper does not pursue this extension.","The explicit supersolutions $h$ built in Lemmas 7.6 and 7.8 could be used as test functions in numerical or symbolic experiments on rotationally symmetric manifolds to check where the uniqueness threshold begins to fail.","The $p=1$ restrictions to manifolds with a pole and radial $\\rho$ look technical rather than essential; if the quoted ball-growth lemma can be proved under weaker Laplacian bounds, the $L^1$ results should extend to more general complete manifolds."],"forward_implications":["For $p>1$ and power-like density decay with exponent $\\theta\\in[0,2)$, uniqueness in $L^p_{e^{-\\psi}}$ holds whenever $\\int^\\infty r^{1-\\theta}/\\psi(r)\\,dr=+\\infty$.","At the borderline $\\theta=2$, any weight with $\\int^\\infty \\log r/(r\\psi(r))\\,dr=+\\infty$ still forces $u\\equiv0$, so slowly growing weights remain admissible at critical decay.","On model manifolds with $f(r)=e^{r^\\beta/(N-1)}$, bounded solutions are unique when $\\theta<2-\\beta$ and infinitely many bounded solutions appear when $\\theta>2-\\beta$.","On model manifolds with $f(r)=r^{\\beta/(N-1)}$, bounded solutions are unique for $0\\le\\theta\\le2$ and non-unique for $\\theta>2$.","In every non-uniqueness case, for each $\\gamma>0$ there is a bounded solution whose time average over $(0,T)$ tends to $\\gamma$ at infinity, so the failure of uniqueness is massive rather than isolated."],"supporting_citations":[{"why":"Supplies the base uniqueness theorem for the heat equation on Riemannian manifolds that the paper adapts to the weighted setting; Theorem 4.1 is quoted from it.","marker":"[34]"},{"why":"Provides Theorem 9.2 and the ball-growth uniqueness argument used as the engine of the p=2 and p=1 proofs, including Lemma 5.2.","marker":"[10]"},{"why":"Gives the earlier sharp weighted L2 uniqueness result for heat equations with density whose thresholds motivate the present optimality analysis.","marker":"[14]"},{"why":"Contains the conformal-change identities and Laplacian comparison tools used to pass from the density equation to a standard heat equation on the transformed manifold.","marker":"[8]"},{"why":"Establishes the Euclidean weighted L1 uniqueness result that sets the template for the p=1 weighted-space statements.","marker":"[2]"},{"why":"Shows a graph analogue where uniqueness of bounded solutions is equivalent to stochastic completeness, cited as a parallel sharpness phenomenon.","marker":"[13]"}],"fun_headline_variants":["Conformal change turns weighted heat problem into standard one","Weighted heat flow vanishes when weight integral diverges","Rigidity theorem: zero solution for heat equation with density","Sharp density conditions ensure unique heat solution","Conformal metric rescaling yields heat rigidity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that Theorem 4.1, stated in Section 4.1 and quoted from [34] with the remark that its proof adapts to weighted manifolds, is true exactly as stated; the paper does not prove this adaptation, and if it fails the $p>1$ uniqueness results collapse.","fun_headline_variants_meta":{"raw":{"variants":["Conformal change turns weighted heat problem into standard one","Weighted heat flow vanishes when weight integral diverges","Rigidity theorem: zero solution for heat equation with density","Sharp density conditions ensure unique heat solution","Conformal metric rescaling yields heat rigidity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000529,"raw_usage":{"total_tokens":2582,"prompt_tokens":1009,"completion_tokens":1573,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":625,"completion_tokens_details":{"reasoning_tokens":1500}},"tokens_in":625,"tokens_out":1573,"duration_ms":13128,"temperature":1.0,"reasoning_tokens":1500,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:28:39.098696+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a model manifold with $f(r)=e^{r^\\beta/(N-1)}$ and $\\rho=(1+r^2)^{-\\theta/2}$, the paper predicts no bounded nonzero solutions for $\\theta<2-\\beta$ and infinitely many for $\\theta>2-\\beta$; exhibiting one bounded nonzero solution, or one positive supersolution of $\\Delta h=-\\rho$ with $h\\to0$, for $\\theta<2-\\beta$ would falsify the claimed sharp threshold.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the base uniqueness theorem for the heat equation on Riemannian manifolds that the paper adapts to the weighted setting; Theorem 4.1 is quoted from it."},{"cited_title":"Grigoryan","cited_arxiv_id":null,"evidence_quote":"Provides Theorem 9.2 and the ball-growth uniqueness argument used as the engine of the p=2 and p=1 proofs, including Lemma 5.2."},{"cited_title":"Ishige, M","cited_arxiv_id":null,"evidence_quote":"Gives the earlier sharp weighted L2 uniqueness result for heat equations with density whose thresholds motivate the present optimality analysis."},{"cited_title":"Grigoryan","cited_arxiv_id":null,"evidence_quote":"Contains the conformal-change identities and Laplacian comparison tools used to pass from the density equation to a standard heat equation on the transformed manifold."},{"cited_title":"Aronson, P","cited_arxiv_id":null,"evidence_quote":"Establishes the Euclidean weighted L1 uniqueness result that sets the template for the p=1 weighted-space statements."}],"review_version":1}