Pith. sign in

REVIEW 1 major objections 3 minor 39 references

On connected bounded-degree graphs, the dimension-free Bakry–Emery condition CD(0,infinity) implies volume doubling and a scale-invariant Poincare inequality with dilation two, settling a polynomial-growth conjecture in stronger form.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Connected bounded-degree graphs satisfying CD(0,∞) for the unnormalised Laplacian are volume doubling and satisfy scale-invariant L² Poincaré inequalities with dilation two.

T0 review reviewed 2026-08-01 challenge →

load-bearing objection The main theorems are likely right and settle the conjecture, but the written proof has a wrong Gamma-scaling in (27), an exponent slip in Corollary 1.2, and an unverifiable footnote; all are repairable. the 1 major comments →

arxiv 2607.15522 v1 pith:BX7OJZG5 submitted 2026-07-17 math.DG math.COmath.PR

Nonnegative Bakry--\'Emery Curvature on Bounded-Degree Graphs Implies Volume Doubling and Poincar\'e Inequalities

Qi Guo , Xueping Huang , Yi C. Huang This is my paper
classification math.DG math.COmath.PR MSC 05C5060J2758J35
keywords Bakry-Emery curvatureCD(0,infinity)volume doublingPoincare inequalitymodified heat equationgraph Laplacianpolynomial growthheat-kernel localisation
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that a single local curvature inequality, Gamma2(f)(x) >= 0 for every function and vertex, forces strong large-scale geometry on every connected simple graph whose vertex degrees are bounded. Under that hypothesis alone, balls double in volume up to a constant depending only on the maximum degree, and every ball supports an L2 Poincare inequality with a fixed dilation, again with a degree-only constant. This settles the polynomial-growth conjecture in a stronger doubling form. The proof works without any finite-dimensional curvature bound by extracting point-mass consequences of the positive semidefinite form Gamma2(.,.)(x) and by localising the heat kernel through a censored-chain argument.

Core claim

The central claim is that the classical dimension-free curvature condition CD(0,infinity), i.e. Gamma2(f)(x) >= 0 for the unnormalised Laplacian, is itself sufficient to force the two structural properties that in Riemannian geometry are equivalent to Gaussian heat-kernel estimates: uniform volume doubling and a scale-invariant L2 Poincare inequality on metric balls. On a connected simple graph with maximum degree d*, the paper proves #B(x,2r) <= K(d*) #B(x,r) and sum_{z in B(x,r)} |f(z)-f_{B(x,r)}|^2 <= C_P(d*) r^2 E_{B(x,2r)}(f) for all integer radii r >= 1. The constants depend only on d*. The proof replaces the missing finite-dimensional reduction by two projections of the same positive-

What carries the argument

The load-bearing object is the pointwise quadratic form Q_x(f,g) = Gamma2(f,g)(x), which CD(0,infinity) makes positive semidefinite. Testing Q_x against the point mass e_x gives the identity 4Gamma2(f,e_x)(x) = Delta^2 f(x) - 2Delta f(x) and the coercivity (Delta^2 f - 2Delta f)^2 <= 4 d_x(d_x+3) Gamma2(f)(x); Cauchy-Schwarz for Q_x then yields an effective dimension bound at local minima of Delta f. Inverting the factor A(A+2I) through the positive resolvent R = (A+2I)^{-1} turns that local control into the semigroup estimate |Delta P_t f|^2 <= (N/t) R(P_t Gamma(f) - Gamma(P_t f)), which supplies displacement and exit-time control. Around these sit the modified nonlinear heat flow partial_t

Load-bearing premise

The load-bearing premise is the uniform degree bound sup_x deg(x) < infinity: it makes the Laplacian a bounded operator on l^infinity, so the heat semigroup, the nonlinear-flow ODE, and the finite-volume censored chains are all well defined; without it the conclusion is false, since normalised antitrees have nonnegative curvature yet fail polynomial growth.

What would settle it

Find a connected simple graph with uniformly bounded degrees that satisfies CD(0,infinity) for the unnormalised Laplacian but whose balls violate #B(x,2r) <= K #B(x,r) for any fixed K, for example by exhibiting exponential volume growth along a sequence of radii. The known exponentially growing antitrees do not qualify because their degrees are unbounded; a bounded-degree counterexample would disprove the theorem, and a computational search on bounded-degree families with Gamma2 >= 0 could look for ratio blow-up.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Iterating the doubling bound gives polynomial growth #B(x,r) <= r^{D(d*)} with D(d*) = ceil(2 log_2 K(d*)), the conjectured bound in explicit form.
  • Because the lazy walk with kernel I + Delta/(2d*) has Dirichlet form proportional to edge energy, the standard equivalence upgrades the two theorems to two-sided Gaussian heat-kernel estimates and a parabolic Harnack inequality on bounded-degree CD(0,infinity) graphs.
  • The conclusion-level package previously known under the stronger finite-dimensional exponential curvature-dimension condition is recovered from the weaker dimension-free classical curvature hypothesis.
  • The Poincare inequality holds with the conventional dilation two and with constants depending only on d*; the volume-doubling theorem is used only to reduce a general degree-dependent dilation to two.
  • Finite-dimensional self-improvement (CD(0,n) for some finite n) is not needed; the proof works even on graphs that admit no finite CD(0,n), as the authors note.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Inference: the point-mass coercivity identity likely extends to other positive-semidefinite bilinear forms associated with graph generators, so analogous semigroup smoothing estimates may hold for weighted or directed Laplacians with bounded edge weight.
  • Inference: because the proof treats the Laplacian as a bounded operator on l^infinity, it should carry over to weighted graphs with uniformly bounded total edge weight per vertex; whether unbounded-degree graphs with sufficiently slow degree growth admit the same conclusion is an open question the paper does not address.
  • Inference: the explicit constants are built from comfortable parameter choices, so a natural next step is to seek optimal or near-optimal K(d*) and C_P(d*), perhaps via higher-order point-mass identities beyond the two-ball.
  • Inference: a direct parabolic Harnack inequality for the standard heat kernel, without passing through the lazy-kernel equivalence, may be within reach of the same localisation machinery.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. The paper studies connected simple graphs with bounded degree whose unnormalised graph Laplacian satisfies the classical dimension-free Bakry--Émery condition CD(0,∞), i.e. Γ2≥0. It claims two main results: Theorem 1.1 establishes volume doubling, #B(x,2r) ≤ K(d*) #B(x,r), and Theorem 1.3 establishes a scale-invariant L2 Poincaré inequality with dilation two, for all integer radii and with constants depending only on the maximum degree. Corollary 1.2 derives polynomial growth, resolving the Cushing--Liu--Peyerimhoff conjecture in a stronger form. The proof combines the modified nonlinear heat flow of Münch and Pajot--Russ with new point-mass consequences of Γ2≥0, a positive-resolvent smoothing estimate, a modified Li--Yau/Harnack bound, and a finite-volume heat-kernel localisation argument.

Significance. If correct, these are substantial results: they remove the finite-dimensional CD(0,n), CDE, and edge-regularity assumptions appearing in earlier volume-growth and doubling theorems, and they add a metric-ball Poincaré inequality under the classical dimension-free condition. The proof strategy is original and the constants are explicit. The bounded-degree hypothesis is convincingly shown to be necessary via the normalised-antitree counterexamples, so Assumption A is not merely a technical convenience. The manuscript also gives a useful comparison table separating CD, CDE, CDE′, and related conditions.

major comments (1)
  1. [§3.2, Theorem 3.6, Eq. (27)] Equation (27) and its proof line are dimensionally inconsistent. From (26), ∥ΔP_s f∥∞ ≤ sqrt(N/(2s)) sqrt(∥Γ(f)∥∞); integrating gives ∥P_t f−f∥∞ ≤ sqrt(2N t ∥Γ(f)∥∞). The manuscript displays sqrt(2Nt)∥Γ(f)∥∞ and in the proof integrates sqrt(N/(2s))∥Γ(f)∥∞, treating Γ(f) as if it were already square-rooted. This is load-bearing: with the printed (27), the step at (67) would give (C²d*/(2r²))√(2Nt), not the stated C√(Nd*t)/r, and Lemma 6.2's displacement bound does not follow. The repair is purely local — replace the display and the integration line by the sqrt-Γ version — and then (67) and (82) are restored exactly. Because (27) is used in the proofs of Theorems 1.1 and 1.3, the manuscript needs this correction before acceptance.
minor comments (3)
  1. [§1.4, footnote] The footnote referring to a private preprint 'available upon request' is not independently verifiable and is not needed for the main theorems; it should either be removed or replaced by a public reference.
  2. [§5, proof of Corollary 1.2] The inequality chain #B(x,r) ≤ K^k ≤ K r^{log2 K} ≤ r^{2 log2 K} is correct but terse; please spell out the separate treatment of r=1 and the use of r≥2 and K≥2 so the exponent ceiling is unambiguous.
  3. [§6.2--§7] The finite-volume localisation uses balls B(o,Λr) with a real dilation Λ in (85), while the main theorems are stated for integer radii. Since the paper already defines open balls for real radii, please state explicitly that balls of real radius are used throughout Sections 6--7 to avoid a perceived mismatch.

Circularity Check

0 steps flagged

No significant circularity: central theorems are derived from Assumptions A and B with explicit non-fitted constants; the only flagged issue is a non-circular scaling error in Eq. (27).

full rationale

The paper's derivation is self-contained. Theorem 1.1 is proved from the bounded-degree assumption (A) and CD(0,∞) (B) via algebraic point-mass identities (Lemma 3.1), Cauchy-Schwarz coercivity (Prop. 3.2), an extremal dimension estimate (Prop. 3.3), resolvent smoothing (Thm. 3.6), a Banach-space ODE proof of the modified heat flow (Prop. 4.1), a proved Li-Yau inequality (Thm. 4.4), and a Harnack estimate (Cor. 4.6). The constants N, C, Q0, r0, Lambda, R* are explicitly chosen from inequalities, not fitted to any output. Theorem 1.3 uses heat-kernel row contraction, exit-time control from the same semigroup estimates, censored finite-volume comparison, and a finite-dimensional Dobrushin/localisation lemma (Lemmas 6.1-6.4); Section 7 uses Theorem 1.1 only to reduce the dilation. Citations to Münch and Pajot-Russ supply the modified-heat architecture but the estimates are re-proved in the paper, so no load-bearing step reduces to an unverified self-citation. The footnote in Section 1.4 citing a private preprint of the authors to disprove Conjecture 2 of [5] is self-referential and unavailable for verification, but it is not used in the proofs of the main theorems. One genuine issue is non-circular: Eq. (27) as displayed has wrong Gamma-scaling; from (26) the correct bound is sqrt(2Nt ||Gamma(f)||_inf), not sqrt(2Nt) ||Gamma(f)||_inf, and the proof line integrates sqrt(N/(2s)) ||Gamma(f)||_inf as if pulling ||Gamma||_inf outside the square root. This is a repairable proof gap affecting subsequent uses, not a circular reduction, so it does not raise the circularity score.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No empirical or fitted parameters appear; the constants N, C, Q0, Λ, R*, M_cov are explicit proof devices. The only hypotheses are the stated degree bound and CD(0,∞) curvature condition, plus standard mathematical background. The paper introduces no new particles, forces, dimensions, or other entities.

axioms (6)
  • domain assumption Assumption A: sup_x deg(x) = d* < ∞.
    Stated in Section 1. Makes Δ bounded on ℓ∞(V), all balls finite, and all constants functions of d*. Essential for the semigroup, ODE, and finite-volume arguments.
  • domain assumption Assumption B: Γ2(f)(x) ≥ 0 for every f and x (CD(0,∞) for the unnormalised Laplacian).
    Stated in Section 1. The entire theorem is conditional on this curvature hypothesis.
  • standard math Heat semigroup Pt = e^{tΔ} and the uniformisation formula (4) give Markov properties.
    Section 2 uses d*<∞ to sum the Poissonisation series. These are standard semigroup facts.
  • standard math Banach-space Picard–Lindelöf theorem for ordinary differential equations in ℓ∞(V).
    Used in Proposition 4.1 for global existence and uniqueness of the modified heat flow.
  • standard math Strong Markov property and coupling characterisation of total variation for continuous-time Markov chains.
    Used in Lemmas 6.2–6.3 for exit-time estimates and the censored-chain coupling.
  • standard math Spectral calculus for finite self-adjoint operators.
    Used in Section 6.3 to turn one-step semigroup dissipation into Dirichlet-form energy.

reviewed 2026-08-01 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Nonnegative Bakry--\'Emery Curvature on Bounded-Degree Graphs Implies Volume Doubling and Poincar\'e Inequalities." pith.science (2026). https://pith.science/paper/BX7OJZG5

@misc{pith2026260715522,
  author       = {Pith},
  title        = {Pith review of: Nonnegative Bakry--\'Emery Curvature on Bounded-Degree Graphs Implies Volume Doubling and Poincar\'e Inequalities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BX7OJZG5}},
  note         = {Machine review of arXiv:2607.15522}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We prove that every connected simple graph of bounded degree satisfying the classical dimension-free Bakry--\'Emery condition $\mathrm{CD}(0,\infty)$ for the unnormalised Laplacian is volume doubling and supports, at all integer graph scales, a scale-invariant $L^2$-Poincar\'e inequality with dilation two, with constants depending only on the maximum degree. This settles the polynomial-growth conjecture of Cushing, Liu, and Peyerimhoff in a stronger form. The main novelty is a dimension-free adaptation of the graph-theoretic modified nonlinear heat-flow method introduced by M\"unch and extended to infinite weighted graphs by Pajot and Russ: point-mass consequences of $\Gamma_2\geq0$ and positive-resolvent smoothing replace any global $\mathrm{CD}(0,n)$ reduction, while diffusive exit-time control and finite-volume localisation yield the Poincar\'e inequality.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 6 canonical work pages

  1. [1]

    Ambrosio, N

    L. Ambrosio, N. Gigli, and G. Savaré,Bakry–Émery curvature-dimension condition and Riemannian Ricci curvature bounds, Ann. Probab. 43 (2015), no. 1, 339–404. arXiv:1209.5786

    Pith/arXiv arXiv 2015

  2. [2]

    Bakry and M

    D. Bakry and M. Èmery,Diffusions hypercontractives, inSéminaire de Probabilités XIX, 1983/84, Lecture Notes in Mathematics 1123, Springer, Berlin, 1985, pp. 177–206. doi:10.1007/BFb0075847

    doi:10.1007/bfb0075847 1983

  3. [3]

    Bakry, I

    D. Bakry, I. Gentil, and M. Ledoux,Analysis and Geometry of Markov Diffusion Operators, Grundlehren der mathematischen Wissenschaften 348, Springer, Cham, 2014. doi:10.1007/978-3-319-00227-9

    doi:10.1007/978-3-319-00227-9 2014

  4. [4]

    Bauer, P

    F. Bauer, P. Horn, Y. Lin, G. Lippner, D. Mangoubi, and S.-T. Yau,Li–Yau inequality on graphs, J. Differential Geom. 99 (2015), no. 3, 359–405. doi:10.4310/jdg/1424880980; arXiv:1306.2561

    arXiv 2015

  5. [5]

    Blachar, H

    G. Blachar, H. Pajot, and J. Salez,Edge-regular graphs with non-negative curvature have polynomial growth, preprint, June 2026. arXiv:2606.11094

    Pith/arXiv arXiv 2026

  6. [6]

    Cushing, S

    D. Cushing, S. Liu, F. Münch, and N. Peyerimhoff,Curvature calculations for antitrees, inAnalysis and Geometry on Graphs and Manifolds, London Math. Soc. Lecture Note Ser. 461, Cambridge Univ. Press, 2020, pp. 21–54. doi:10.1017/9781108615259.003; arXiv:1801.09400

    Pith/arXiv arXiv 2020

  7. [7]

    Cushing, S

    D. Cushing, S. Liu, and N. Peyerimhoff,Bakry–Émery curvature functions on graphs, Canad. J. Math. 72 (2020), no. 1, 89–143. doi:10.4153/CJM-2018-015-4; arXiv:1606.01496

    Pith/arXiv arXiv 2020

  8. [8]

    Deimling,Ordinary Differential Equations in Banach Spaces, Lecture Notes in Mathematics 596, Springer- Verlag, Berlin, 1977

    K. Deimling,Ordinary Differential Equations in Banach Spaces, Lecture Notes in Mathematics 596, Springer- Verlag, Berlin, 1977. doi:10.1007/BFb0091636

    work page doi:10.1007/bfb0091636 1977

  9. [9]

    Delmotte,Parabolic Harnack inequality and estimates of Markov chains on graphs, Rev

    T. Delmotte,Parabolic Harnack inequality and estimates of Markov chains on graphs, Rev. Mat. Iberoam. 15 (1999), no. 1, 181–232. doi:10.4171/RMI/254. NONNEGATIVE BAKRY–ÉMERY CURVATURE IMPLIES DOUBLING AND POINCARÉ 33

    work page doi:10.4171/rmi/254 1999

  10. [10]

    D. Dier, M. Kassmann, and R. Zacher,Discrete versions of the Li–Yau gradient estimate, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 22 (2021), no. 2, 691–744. doi:10.2422/2036-2145.201807_005; arXiv:1701.04807

    arXiv 2021

  11. [11]

    Erbar, K

    M. Erbar, K. Kuwada, and K.-T. Sturm,On the equivalence of the entropic curvature-dimension condition and Bochner’s inequality on metric measure spaces, Invent. Math. 201 (2015), no. 3, 993–1071. arXiv:1303.4382

    Pith/arXiv arXiv 2015

  12. [12]

    Erbar and J

    M. Erbar and J. Maas,Ricci curvature of finite Markov chains via convexity of the entropy, Arch. Ration. Mech. Anal. 206 (2012), no. 3, 997–1038. arXiv:1111.2687

    Pith/arXiv arXiv 2012

  13. [13]

    Gaubert and Z

    S. Gaubert and Z. Qu,Dobrushin’s ergodicity coefficient for Markov operators on cones, Integral Equations Operator Theory 81 (2015), no. 1, 127–150. doi:10.1007/s00020-014-2193-2; arXiv:1307.4649

    Pith/arXiv arXiv 2015

  14. [14]

    Grigor’yan,The heat equation on noncompact Riemannian manifolds, Math

    A. Grigor’yan,The heat equation on noncompact Riemannian manifolds, Math. USSR-Sb. 72 (1992), no. 1, 47–77

    1992

  15. [15]

    Grigor’yan, S

    A. Grigor’yan, S. Ishiwata, and L. Saloff-Coste,Poincaré constant on manifolds with ends, Proc. London Math. Soc. (3) 126 (2023), no. 6, 1961–2012. doi:10.1112/plms.12522; arXiv:2205.06100

    Pith/arXiv arXiv 2023

  16. [16]

    P. Horn, Y. Lin, S. Liu, and S.-T. Yau,Volume doubling, Poincaré inequality and Gaussian heat kernel estimate for non-negatively curved graphs, J. Reine Angew. Math. 757 (2019), 89–130. doi:10.1515/crelle-2017-0038; arXiv:1411.5087

    Pith/arXiv arXiv 2019

  17. [17]

    Jerison,The Poincaré inequality for vector fields satisfying Hörmander’s condition, Duke Math

    D. Jerison,The Poincaré inequality for vector fields satisfying Hörmander’s condition, Duke Math. J. 53 (1986), no. 2, 503–523. doi:10.1215/S0012-7094-86-05329-9

    work page doi:10.1215/s0012-7094-86-05329-9 1986

  18. [18]

    Keller and F

    M. Keller and F. Münch,Gradient estimates, Bakry–Emery Ricci curvature and ellipticity for unbounded graph Laplacians, Comm. Anal. Geom. 32 (2024), no. 2, 343–364. doi:10.4310/CAG.241015004626; arXiv:1807.10181

    Pith/arXiv arXiv 2024

  19. [19]

    Klartag, G

    B. Klartag, G. Kozma, P. Ralli, and P. Tetali,Discrete curvature and Abelian groups, Canad. J. Math. 68 (2016), no. 3, 655–674. doi:10.4153/CJM-2015-046-8; arXiv:1501.00516

    Pith/arXiv arXiv 2016

  20. [20]

    Kühn and R

    F. Kühn and R. L. Schilling,Maximal inequalities and some applications, Probab. Surv. 20 (2023), 382–485. doi:10.1214/23-PS17; arXiv:2204.04690

    Pith/arXiv arXiv 2023

  21. [21]

    Kusuoka and D

    S. Kusuoka and D. Stroock,Applications of the Malliavin calculus, Part III, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 34 (1987), no. 2, 391–442. doi:10.15083/00039484

    work page doi:10.15083/00039484 1987

  22. [22]

    Lakzian and Z

    S. Lakzian and Z. McGuirk,A global Poincaré inequality on graphs via a conical curvature-dimension condition, Anal. Geom. Metr. Spaces 6 (2018), 32–47. doi:10.1515/agms-2018-0002; arXiv:1605.05432

    Pith/arXiv arXiv 2018

  23. [23]

    D. A. Levin and Y. Peres,Markov Chains and Mixing Times, 2nd ed., with contributions by E. L. Wilmer, American Mathematical Society, Providence, RI, 2017

    2017

  24. [24]

    Li and S.-T

    P. Li and S.-T. Yau,On the parabolic kernel of the Schrödinger operator, Acta Math. 156 (1986), no. 3–4, 153–201

    1986

  25. [25]

    Lin and S

    Y. Lin and S. Liu,Equivalent properties ofCD inequality on graph, Acta Math. Sinica (Chinese Ser.) 61 (2018), no. 3, 431–440. doi:10.12386/A2018sxxb0036; arXiv:1512.02677

    Pith/arXiv arXiv 2018

  26. [26]

    Lin and S.-T

    Y. Lin and S.-T. Yau,Ricci curvature and eigenvalue estimate on locally finite graphs, Math. Res. Lett. 17 (2010), no. 2, 343–356. doi:10.4310/MRL.2010.v17.n2.a13

    work page doi:10.4310/mrl.2010.v17.n2.a13 2010

  27. [27]

    Liu,Buser’s inequality on infinite graphs, J

    S. Liu,Buser’s inequality on infinite graphs, J. Math. Anal. Appl. 475 (2019), no. 2, 1416–1426. doi:10.1016/j.jmaa.2019.03.028; arXiv:1810.12003

    Pith/arXiv arXiv 2019

  28. [28]

    Lott and C

    J. Lott and C. Villani,Ricci curvature for metric-measure spaces via optimal transport, Ann. of Math. (2) 169 (2009), no. 3, 903–991. arXiv:math/0412127

    Pith/arXiv arXiv 2009

  29. [29]

    Münch,Remarks on curvature dimension conditions on graphs, Calc

    F. Münch,Remarks on curvature dimension conditions on graphs, Calc. Var. Partial Differential Equations 56 (2017), Paper No. 11. doi:10.1007/s00526-016-1104-6; arXiv:1501.05839

    Pith/arXiv arXiv 2017

  30. [30]

    Münch,Li–Yau inequality on finite graphs via non-linear curvature dimension conditions, J

    F. Münch,Li–Yau inequality on finite graphs via non-linear curvature dimension conditions, J. Math. Pures Appl. 120 (2018), 130–164. doi:10.1016/j.matpur.2018.10.006; arXiv:1412.3340

    Pith/arXiv arXiv 2018

  31. [31]

    Münch,Li–Yau inequality underCD(0, n)on graphs, preprint, 2019

    F. Münch,Li–Yau inequality underCD(0, n)on graphs, preprint, 2019. arXiv:1909.10242

    Pith/arXiv arXiv 2019

  32. [32]

    Murugan and L

    M. Murugan and L. Saloff-Coste,Harnack inequalities and Gaussian estimates for random walks on metric measure spaces, Electron. J. Probab. 28 (2023), paper no. 64, 1–81. doi:10.1214/23-EJP954; arXiv:1506.07539

    Pith/arXiv arXiv 2023

  33. [33]

    Ollivier,Ricci curvature of Markov chains on metric spaces, J

    Y. Ollivier,Ricci curvature of Markov chains on metric spaces, J. Funct. Anal. 256 (2009), no. 3, 810–864. arXiv:math/0701886

    Pith/arXiv arXiv 2009

  34. [34]

    Pajot and E

    H. Pajot and E. Russ,Infinite graphs satisfying the Bakry–Emery curvature conditionCD(0, n): the modified heat equation and applications to geometric analysis, preprint, 2025. arXiv:2507.19235

    Pith/arXiv arXiv 2025

  35. [35]

    Salez,Sparse expanders have negative curvature, Geom

    J. Salez,Sparse expanders have negative curvature, Geom. Funct. Anal. 32 (2022), no. 6, 1486–1513. doi:10.1007/s00039-022-00618-3; arXiv:2101.08242

    Pith/arXiv arXiv 2022

  36. [36]

    Saloff-Coste,A note on Poincaré, Sobolev, and Harnack inequalities, Int

    L. Saloff-Coste,A note on Poincaré, Sobolev, and Harnack inequalities, Int. Math. Res. Not. 1992, no. 2, 27–38. doi:10.1155/S1073792892000047

    doi:10.1155/s1073792892000047 1992

  37. [37]

    Saloff-Coste,Aspects of Sobolev-Type Inequalities, London Math

    L. Saloff-Coste,Aspects of Sobolev-Type Inequalities, London Math. Soc. Lecture Note Ser. 289, Cambridge University Press, Cambridge, 2002. doi:10.1017/CBO9780511549762. 34 Q. GUO, X. HUANG, AND Y. C. HUANG

    work page doi:10.1017/cbo9780511549762 2002

  38. [38]

    Sturm,On the geometry of metric measure spaces

    K.-T. Sturm,On the geometry of metric measure spaces. I, Acta Math. 196 (2006), no. 1, 65–131. doi:10.1007/s11511-006-0002-8

    doi:10.1007/s11511-006-0002-8 2006

  39. [39]

    Sturm,On the geometry of metric measure spaces

    K.-T. Sturm,On the geometry of metric measure spaces. II, Acta Math. 196 (2006), no. 1, 133–177. doi:10.1007/s11511-006-0003-7. School of Mathematics, Renmin University of China, Beijing, 100872, P.R. China Email address:qguo@ruc.edu.cn School of Mathematics and Statistics, Nanjing University of Information Science and Technol- ogy, Nanjing 210044, P.R. C...

    doi:10.1007/s11511-006-0003-7 2006

This paper was first reviewed by deepseek-v4-flash on August 1, 2026.