{"id":"3265ace3-3075-42d9-862b-e99815f4937f","arxiv_id":"2507.19235","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Infinite bounded-geometry graphs satisfying CD(0,n) admit volume doubling, proven via Li-Yau and Harnack inequalities for a modified heat equation.","lead":"This paper proves that infinite weighted graphs with bounded geometry satisfying the Bakry-Emery curvature-dimension condition CD(0,n) have the doubling volume property. The key new tool is a modified nonlinear heat equation whose solutions replace logarithms of heat semigroup solutions in the discrete setting.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorems 1.4 and 1.5 omit the small-gradient hypothesis their proofs require; the Li-Yau proof uses |u(t)(x)-u(t)(y)|≤1, which is only justified under ||Γu0||∞<α/2.","rationale":"Reading in good faith, the paper's central theorem is Theorem 1.1: CD(0,n) plus bounded geometry implies volume doubling. The proof is a substantial infinite-graph adaptation of Munch's finite-graph strategy, with considerable new technical work in the local existence theory, gradient decay, and the exhaustion-by-balls arguments. I checked the main analytic steps and did not find a flaw that threatens Theorem 1.1 itself. The identified overclaim in Theorems 1.4 and 1.5 is a genuine internal inconsistency: the statements are broader than what the proofs establish. The specific spot is the use of |u(tj)(y)-u(tj)(xj)|≤1 in the Li-Yau proof, which is supplied by Lemma 6.1 only under ||Γu0||∞<α/2. The reader's rationale already flags this as the main issue, though the reader's formal weakest_assumption points to uniform ellipticity (A1). I regard the missing small-gradient hypothesis as the more load-bearing concern because it is a concrete gap in the statements and proofs of two principal results, whereas (A1) is an explicit assumption that the paper correctly identifies as essential. Since the volume-doubling application chooses initial data satisfying the small-gradient condition, the central claim remains defensible. The paper should be accepted after the statements of Theorems 1.4 and 1.5 are amended to include the small-gradient hypothesis, or after a proof of the pointwise Lipschitz bound for arbitrary solutions is supplied. Therefore the reader's conditional verdict is appropriate and no change in verdict is needed.","tokens_in":34714,"tokens_out":22347,"duration_ms":190870,"concrete_test":"Check whether the estimate |u(tj)(y)-u(tj)(xj)|≤1 used in the proof of Theorem 1.4 (Section 7.1, before (7.6)) can be derived without Lemma 6.1. To test the claim on a concrete graph, use the Cayley graph of Z with p(x,x±1)=1/2 and μ(x)=1, which satisfies CD(0,2) and has α=1/2. Take initial data u0(k)=C for k≥0 and u0(k)=0 for k<0, with C>2, so ||Γu0||∞=C^2/2>α/2. Compute the local solution u(t) from Theorem 5.2 for small t; by continuity from u0, the neighbouring difference |u(t)(1)-u(t)(0)| remains >1 for t sufficiently small. This contradicts the bound assumed in the proof of Theorem 1.4 and confirms that the small-gradient hypothesis is indispensable for the proof as written. If the check reproduces this failure, Theorems 1.4 and 1.5 must be restated with ||Γu0||∞<α/2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The statements of Theorems 1.4 and 1.5 are overbroad: they apply to any solution of the modified heat equation (1.2), but their proofs rely on the small-gradient condition ||Γu0||∞ < α/2. In the proof of Theorem 1.4 (Section 7.1), immediately before estimate (7.6), the authors write 'Recall that |u(tj)(y)-u(tj)(xj)| ≤ 1'. This bound is exactly the content of Lemma 6.1, which is proved only under condition (6.1), i.e. ||Γu0||∞ < α/2, using Theorem 1.3 and Proposition 2.19. For an arbitrary solution of (1.2) with large initial gradient, the local solution given by Theorem 5.2 can have neighbouring values differing by more than 1 at arbitrarily small positive times; the pointwise Lipschitz bound is simply false without the small-gradient hypothesis. Once this estimate is lost, the sign analysis in (7.6)-(7.8) collapses, because factors 1+u(tj)(y)-u(tj)(xj) may be negative or larger than 2. The same missing hypothesis propagates to Theorem 1.5, whose proof invokes Theorem 1.4. This is an internal inconsistency, not a matter of convention. It does not invalidate the main volume-doubling theorem, because Proposition 8.1 explicitly chooses u0 with ||Γu0||∞ ≤ C^2/(2r^2) < α/2 and applies the auxiliary results to the resulting global solution; for that solution the missing hypothesis holds. The required correction is to state Theorems 1.4 and 1.5 with the hypothesis ||Γu0||∞ < α/2 (or, equivalently, that u is the solution from Theorem 1.3).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that any connected weighted graph with bounded geometry satisfying the Bakry-Emery curvature-dimension condition CD(0,n) has the doubling volume property (Theorem 1.1). The strategy is to solve a modified nonlinear heat equation ∂u/∂t = Δu + Γu on the graph (Theorems 1.3 and 5.2), establish gradient estimates and semigroup comparisons, derive Li-Yau and Harnack inequalities for its solutions (Theorems 1.4 and 1.5), and then apply them to suitable initial data supported on a ball (Propositions 8.1 and 8.2). The paper also proves Bochner-type formulas and gives explicit classes of Cayley graphs (Abelian groups, symmetric groups with transposition generators) satisfying CD(0,n).","tokens_in":35074,"tokens_out":11283,"duration_ms":102524,"significance":"If corrected, this is a substantial contribution: it extends Munch's finite-graph result to infinite graphs, with constants that depend only on the dimension parameter n and the ellipticity constant α, and it provides a workable replacement for the chain rule via the modified heat equation. The proof of the main volume-doubling theorem is detailed and appears sound; the auxiliary Li-Yau and Harnack results are plausible and would be valuable tools. The main concern is a statement/proof mismatch in Theorems 1.4 and 1.5, which is local and does not affect Theorem 1.1.","major_comments":[{"comment":"The theorem is stated for an arbitrary solution u_t of (1.2), but the proof uses the bound |u(t_j)(y)-u(t_j)(x_j)| ≤ 1 at Eq. (7.6), justified by Lemma 6.1 and hence by the hypothesis ||Γu_0||∞ < α/2. For an arbitrary solution with large initial gradient, this bound is not available and the sign analysis in (7.7)-(7.8) collapses because the factors 1+u(t_j)(y)-u(t_j)(x_j) may be negative or larger than 2. The statement should be restricted to the global solution of Theorem 1.3, or the hypothesis ||Γu_0||∞ < α/2 should be added.","section":"Section 7.1, Theorem 1.4"},{"comment":"The proof invokes Theorem 1.4, so the same missing small-gradient hypothesis propagates. As stated, the Harnack inequality is not established for arbitrary solutions. This is a load-bearing gap for the theorem statements, although it does not invalidate the main volume-doubling result: Proposition 8.1 constructs u_0 with ||Γu_0||∞ ≤ C^2/(2r^2) < α/2, so the corrected version of Theorems 1.4-1.5 would apply there.","section":"Section 7.2, Theorem 1.5"}],"minor_comments":[{"comment":"There are several typos ('attemps', 'SA TISFYING', 'Nniversity') and some LaTeX artifacts such as '/llbracket1,N/rrbracket' in Section 3; the text should be proofread before publication.","section":"Abstract and Introduction"},{"comment":"The example defines p(i,j)=ω_{ij}/μ(i), which is not a Markov kernel; since Definitions 2.2 and 2.5 require a Markov kernel, the example should be explicitly tied to the generalized setting of Remark 2.14 rather than the main framework.","section":"Example 2.15"},{"comment":"The bound |u_t(x)-u_t(y)| ≤ sqrt(2Γu_t(y)/α) for y∼x should cite Proposition 2.19 with the roles of x and y exchanged, using the two-sided ellipticity p(y,x)≥α that follows from (A1)-(A2).","section":"Proof of Theorem 1.5"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's central theorem is likely correct, but the overbroad statements of Theorems 1.4 and 1.5 need to be corrected in revision. No concerns about novelty or attribution; the dependence on Munch's work is methodological and properly cited."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main result is the real thing: volume doubling under classical CD(0,n) for infinite bounded-geometry graphs, where the only prior results needed finiteness or a stronger modified curvature condition. The paper does the infinite-graph work properly — existence and uniqueness for the modified heat equation, gradient decay, semigroup comparison, then Li-Yau/Harnack — and the Cayley-graph improvement on abelian groups (CD(0,2N) instead of CD(0,∞)) is a nice bonus. The Bochner formula and the commutation terms are handled carefully. This is a good paper.\n\nThe soft spot is real but contained. Theorems 1.4 and 1.5 are stated for arbitrary solutions of the modified heat equation. The proofs rely on the bound |u(t)(y)−u(t)(x)| ≤ 1 across edges, which follows from Lemma 6.1 only under the small-gradient hypothesis ||Γu0||∞ < α/2. Without it, the sign analysis in (7.6)–(7.8) does not go through. The stress-test note is accurate on this point. The overclaim is in the theorem statements, not just the proofs. The fix is straightforward: add the small-gradient hypothesis (or specify that u is the global solution given by Theorem 1.3) to Theorems 1.4 and 1.5. This does not damage the paper's central contribution, because the doubling application explicitly chooses u0 with small gradient and only uses the estimates for the corresponding global solution. Proposition 8.1 is safe. The mistake is local, but it needs correction before publication.\n\nThe exponential gradient decay in Theorem 1.3 and the semigroup comparisons look sound. The iteration argument to extend local solutions to global ones is standard and works because the gradient bound gives a uniform time step. Use of the ellipticity constant α is explicit and honest, though it means the constants are not purely dimensional — that is acknowledged in the introduction. The citation pattern is appropriate, with Munch's finite-graph paper as the methodological source and no sign of circularity.\n\nRecommendation: send to a serious referee. This is a theorem-proving paper with a clear and important advance, and the gap is repairable. I would accept a revised version that fixes the statements of Theorems 1.4 and 1.5.","headline":"Solid paper with a real result and one fixable overstatement: The main volume-doubling theorem stands, but Theorems 1.4 and 1.5 need the small-gradient hypothesis their proofs require.","tokens_in":35645,"tokens_out":2044,"would_cite":true,"duration_ms":19703,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","58J35","05C81","35K55"],"pacs":[],"model":"deepseek-v4-flash","headline":"Infinite weighted graphs with bounded geometry and Bakry-Emery curvature CD(0,n) must satisfy the doubling volume inequality.","keywords":["Bakry-Emery curvature-dimension","doubling volume property","weighted graphs","modified heat equation","Li-Yau inequality","Harnack inequality","Cayley graphs","carré du champ"],"falsifier":"Evaluate the Bakry-Emery curvature inequality directly on the infinite 3-regular tree with the simple random walk: for a fixed $n$, compute the infimum over finitely supported functions $f$ of $\\Gamma_2 f(x) - (\\Delta f(x))^2/n$ at a vertex $x$, using larger and larger shells. This is a finite linear algebra computation. If the infimum is negative for every $n$, the tree is excluded by the curvature hypothesis, consistent with Theorem 1.1; if some $n$ made it nonnegative, Theorem 1.1 would be false because this tree's balls fail volume doubling.","tokens_in":34475,"feed_emoji":"🧮","tokens_out":10388,"duration_ms":103783,"temperature":0.7,"pith_summary":"This paper proves that an infinite weighted graph—a countable set of vertices with a reversible Markov kernel and a measure—obeys the doubling volume inequality as soon as it satisfies the Bakry-Emery curvature-dimension condition $\\mathrm{CD}(0,n)$ and has bounded geometry. Concretely, for every vertex $x$ and every radius $r>0$, the measure of the ball of radius $2r$ is at most a constant times the measure of the ball of radius $r$, with the constant depending only on the dimension parameter $n$ and the ellipticity constant $\\alpha$. This matters because volume doubling is a basic input for analysis on metric measure spaces: Poincaré inequalities, heat kernel estimates, and Sobolev embeddings rest on it. The proof works by studying a modified nonlinear heat equation whose solutions behave like logarithms of the usual heat kernel, then deriving Li-Yau and Harnack estimates for those solutions.","feed_headline":"Nonnegative curvature forces volume doubling on infinite graphs","feed_subtitle":"A nonlinear heat flow forces the measure of every ball to grow at most by a fixed factor when the radius doubles.","key_machinery":"The load-bearing object is the modified heat equation $\\partial u_t/\\partial t = \\Delta u_t + \\Gamma u_t$, where $\\Gamma u(x)=\\frac{1}{2}\\sum_{y\\sim x} p(x,y)(u(x)-u(y))^2$ is the carré du champ, the discrete analogue of squared gradient length. The argument constructs a small-time solution by semigroup iteration: solve $\\partial u_k/\\partial t = \\Delta u_k + \\Gamma u_{k-1}$ with the same initial datum, prove that the gradient bounds propagate, and pass to the limit; global existence follows by iterating in time, with the condition $\\|\\Gamma u_0\\|_\\infty < \\alpha/2$ ensuring uniqueness through the neighbour-difference bound of Proposition 2.19. The curvature assumption $\\mathrm{CD}(K,\\infty)$ enters through the estimate $\\Gamma(P_t f) \\le e^{-2Kt}P_t(\\Gamma f)$, which yields the exponential gradient decay. The final doubling proof feeds a truncated distance function $u_0(y)=\\max(-C/r\\, d(x,y), -C)$ into the modified flow and compares $e^{\\gamma u_t}$ with the linear heat semigroup acting on $e^{\\gamma u_0}$, using the Li-Yau and Harnack inequalities to control the comparison.","core_discovery":"The central claim, Theorem 1.1, is that the classical Bakry-Emery condition $\\mathrm{CD}(0,n)$ on a weighted graph with bounded geometry forces the doubling volume property. The mechanism is a nonlinear replacement for the heat equation: with $\\Gamma$ the carré du champ operator, the Cauchy problem $\\partial u_t/\\partial t = \\Delta u_t + \\Gamma u_t$ has a unique global solution for any initial datum with $\\|\\Gamma u_0\\|_\\infty < \\alpha/2$, and under $\\mathrm{CD}(K,\\infty)$ its gradient decays as $\\|\\Gamma u(t)\\|_\\infty \\le e^{-2Kt}\\|\\Gamma u_0\\|_\\infty$. Solutions of this modified equation satisfy the Li-Yau inequality $-\\Delta u_t \\le n/(2t)$ and a Harnack inequality, and these in turn control ball growth when the initial datum is built from the distance to a point. The authors treat the modified equation as the discrete substitute for $\\log w$, where $w$ is a positive solution of the linear heat equation, because the chain rule needed to handle $\\log w$ is absent on graphs.","pith_inferences":["Inference: because the doubling constant arises from estimates that all degrade as $\\alpha \\to 0$, one would expect to find families of graphs with ellipticity tending to zero whose doubling ratios grow without bound; constructing such a family would show that the $\\alpha$-dependence is not an artifact.","Inference: the two-sided semigroup comparison $e^{\\gamma u(t)}$ versus $P_t e^{\\gamma u_0}$ for the two explicit ranges of $\\gamma$ suggests a route toward two-sided heat kernel bounds on $\\mathrm{CD}(0,n)$ graphs by choosing $\\gamma$ adaptively, a direction the paper does not pursue.","Inference: for discretizations of Riemannian manifolds with bounded geometry, the ellipticity constant is controlled by geometric quantities, so the theorem yields a discrete comparison inequality for volumes; whether the constants survive a continuum limit as the mesh scale goes to zero is a natural test that the paper leaves open."],"forward_implications":["Every weighted graph with bounded geometry satisfying $\\mathrm{CD}(0,n)$ has a uniform doubling constant, so its volume growth is at most polynomial with an exponent depending only on $n$ and $\\alpha$.","The modified heat equation has a unique global solution for small-gradient initial data, with exponential gradient decay, giving a parabolic tool on infinite graphs where the chain rule fails.","The Li-Yau inequality $-\\Delta u_t \\le n/(2t)$ and the Harnack inequality $u_{T_1}(x)-u_{T_2}(y) \\le \\tfrac{n}{2}\\log(T_2/T_1)+2d(x,y)^2/(\\alpha(T_2-T_1))$ hold for these solutions with explicit constants.","Cayley graphs of finitely generated Abelian groups with a symmetric generating set satisfy $\\mathrm{CD}(0,2N)$, so they are concrete infinite graphs to which the theorem applies; symmetric groups generated by all transpositions satisfy $\\mathrm{CD}(0,n(n-1))$.","A positive-curvature version of the diameter bound makes the graph finite, so the genuinely infinite-graph difficulty is precisely the $K=0$ case treated here."],"supporting_citations":[{"why":"Introduces the $\\Gamma_2$ formalism and the curvature-dimension condition $\\mathrm{CD}(K,n)$ that is the curvature hypothesis of the paper.","marker":"[3]"},{"why":"Supplies the viscous Hamilton-Jacobi semigroup iteration scheme adapted here to prove local existence and uniqueness for the modified heat equation.","marker":"[1]"},{"why":"Provides the classical Riemannian Li-Yau inequality that Theorem 1.4 transplants to solutions of the modified heat equation.","marker":"[21]"},{"why":"Gives the finite-graph analogue of the main theorem and the strategy of deriving volume doubling from the modified heat equation.","marker":"[28]"},{"why":"Provides the semigroup theory used to solve the inhomogeneous Cauchy problem and to extend solutions globally in time.","marker":"[31]"},{"why":"States the elementary minimization lemma used to turn neighbour estimates into the Harnack inequality.","marker":"[27]"},{"why":"Discusses modified curvature-dimension conditions on graphs and explains why the standard heat equation needs to be replaced by a nonlinear one.","marker":"[17]"}],"fun_headline_variants":["CD(0,n) on graphs yields doubling volume property","Modified heat equation enforces volume doubling on graphs","Nonlinear heat flow proves Li-Yau on weighted graphs","Graph curvature bound forces controlled ball growth","Discrete Bakry-Emery implies volume doubling behavior"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is uniform ellipticity: along every edge, the transition probability $p(x,y)$ is at least some fixed $\\alpha>0$; if this fails, the graph may have unbounded valences and the small-gradient condition $\\|\\Gamma u_0\\|_\\infty < \\alpha/2$ used at every step has no room to operate.","fun_headline_variants_meta":{"raw":{"variants":["CD(0,n) on graphs yields doubling volume property","Modified heat equation enforces volume doubling on graphs","Nonlinear heat flow proves Li-Yau on weighted graphs","Graph curvature bound forces controlled ball growth","Discrete Bakry-Emery implies volume doubling behavior"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000202,"raw_usage":{"total_tokens":1361,"prompt_tokens":906,"completion_tokens":455,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":522,"completion_tokens_details":{"reasoning_tokens":380}},"tokens_in":522,"tokens_out":455,"duration_ms":4993,"temperature":1.0,"reasoning_tokens":380,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:57:12.798512+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the Bakry-Emery curvature inequality directly on the infinite 3-regular tree with the simple random walk: for a fixed $n$, compute the infimum over finitely supported functions $f$ of $\\Gamma_2 f(x) - (\\Delta f(x))^2/n$ at a vertex $x$, using larger and larger shells. This is a finite linear algebra computation. If the infimum is negative for every $n$, the tree is excluded by the curvature hypothesis, consistent with Theorem 1.1; if some $n$ made it nonnegative, Theorem 1.1 would be false because this tree's balls fail volume doubling.","supporting_citations":[{"cited_title":"Bakry and M","cited_arxiv_id":null,"evidence_quote":"Introduces the $\\Gamma_2$ formalism and the curvature-dimension condition $\\mathrm{CD}(K,n)$ that is the curvature hypothesis of the paper."},{"cited_title":"Amour and M","cited_arxiv_id":null,"evidence_quote":"Supplies the viscous Hamilton-Jacobi semigroup iteration scheme adapted here to prove local existence and uniqueness for the modified heat equation."},{"cited_title":"Li and S","cited_arxiv_id":null,"evidence_quote":"Provides the classical Riemannian Li-Yau inequality that Theorem 1.4 transplants to solutions of the modified heat equation."},{"cited_title":"Li-Yau inequality under $CD(0,n)$ on graphs","cited_arxiv_id":"1909.10242","evidence_quote":"Gives the finite-graph analogue of the main theorem and the strategy of deriving volume doubling from the modified heat equation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the semigroup theory used to solve the inhomogeneous Cauchy problem and to extend solutions globally in time."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the elementary minimization lemma used to turn neighbour estimates into the Harnack inequality."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Discusses modified curvature-dimension conditions on graphs and explains why the standard heat equation needs to be replaced by a nonlinear one."}],"review_version":1}