Pith. sign in

REVIEW 2 major objections 2 minor 1 cited by

Edge-regular graphs satisfying a non-negative curvature condition have polynomial growth.

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 ↗

T0 review · grok-4.3

2026-06-27 12:33 UTC pith:RKYCGSDA

load-bearing objection The paper settles polynomial growth for edge-regular graphs under CD(0,∞) by showing a self-improvement from CD(κ,∞) to CD(κ,n) with explicit n. the 2 major comments →

arxiv 2606.11094 v1 pith:RKYCGSDA submitted 2026-06-09 math.CO math.PR

Edge-regular graphs with non-negative curvature have polynomial growth

Guy Blachar , Herv\'e Pajot , Justin Salez This is my paper
classification math.CO math.PR
keywords edge-regular graphscurvature conditionpolynomial growthvolume doublingdiscrete graphsgraph theory
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 paper establishes that any edge-regular graph satisfying the non-negative curvature condition has polynomial volume growth. The volume doubling constant depends only on the degree. This follows from a self-improvement that upgrades the condition to a finite-dimensional curvature condition with a universal dimension. Sympathetic readers care because it shows curvature controls expansion in discrete graphs under the edge-regular assumption.

Core claim

Any edge-regular graph satisfying CD(0,∞) has polynomial growth with volume doubling constant depending only on the degree; moreover any edge-regular graph satisfying CD(κ,∞) satisfies CD(κ,n) for some explicit universal n.

What carries the argument

The self-improvement phenomenon that upgrades CD(κ,∞) to CD(κ,n) for edge-regular graphs.

Load-bearing premise

The graphs must be edge-regular.

What would settle it

An edge-regular graph satisfying the non-negative curvature condition but exhibiting non-polynomial volume growth would disprove the claim.

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

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

2 major / 2 minor

Summary. The paper proves a long-standing conjecture in discrete Bakry-Émery theory for the subclass of edge-regular graphs: any edge-regular graph satisfying CD(0,∞) has polynomial growth, with an explicit volume-doubling constant depending only on the degree. The proof proceeds by establishing a self-improvement result that any edge-regular graph satisfying CD(κ,∞) for κ ∈ ℝ in fact satisfies the finite-dimensional condition CD(κ,n) for an explicit universal dimension n (claimed to be optimal).

Significance. If correct, the result resolves the conjecture on polynomial growth under non-negative curvature for all edge-regular graphs and supplies a dimension-independent volume-doubling estimate. The self-improvement phenomenon is presented as a new structural fact of independent interest that converts an infinite-dimensional curvature bound into a finite-dimensional one under the edge-regularity hypothesis.

major comments (2)
  1. [self-improvement section (likely §3–4)] The self-improvement from CD(κ,∞) to CD(κ,n) is load-bearing for both the volume-doubling claim and the polynomial-growth conclusion. The argument appears to rest on an algebraic identity in the discrete Γ₂ calculus that converts the ∞-dimensional bound into a dimension-dependent one; it is unclear whether this identity holds under the stated edge-regularity assumption alone or requires an additional constancy condition on the number of common neighbors per edge (beyond mere degree regularity).
  2. [Theorem 1.1 and the doubling estimate] Theorem 1.1 (main growth result) asserts a volume-doubling constant depending only on the degree. The dependence on the explicit universal n obtained from self-improvement must be tracked explicitly through the doubling argument; without a clear statement of how n is bounded independently of the graph, the degree-only claim is not yet verified.
minor comments (2)
  1. [§2 (preliminaries)] The precise definition of “edge-regular” used in the CD setting (number of common neighbors per edge, or a weaker condition) should be stated explicitly in the preliminaries and contrasted with ordinary regularity.
  2. [Introduction] Notation for the curvature operator and the Γ₂ calculus should be recalled or referenced at the first use of CD(κ,∞) to aid readers unfamiliar with the discrete Bakry-Émery literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. We address the major comments point-by-point below. We will revise the manuscript to improve clarity on the assumptions in the self-improvement argument and to make the dependence on the dimension parameter explicit in the doubling estimate.

read point-by-point responses

  1. Referee: [self-improvement section (likely §3–4)] The self-improvement from CD(κ,∞) to CD(κ,n) is load-bearing for both the volume-doubling claim and the polynomial-growth conclusion. The argument appears to rest on an algebraic identity in the discrete Γ₂ calculus that converts the ∞-dimensional bound into a dimension-dependent one; it is unclear whether this identity holds under the stated edge-regularity assumption alone or requires an additional constancy condition on the number of common neighbors per edge (beyond mere degree regularity).

    Authors: The self-improvement identity is derived using only the edge-regularity hypothesis (constant vertex degree). The relevant algebraic manipulations in the Γ₂ calculus rely on the fact that the degree is constant across vertices and do not invoke any further regularity on the number of common neighbors. We will add an explicit remark in the self-improvement section clarifying that edge-regularity alone suffices and indicating the precise step where this is used. revision: yes

  2. Referee: [Theorem 1.1 and the doubling estimate] Theorem 1.1 (main growth result) asserts a volume-doubling constant depending only on the degree. The dependence on the explicit universal n obtained from self-improvement must be tracked explicitly through the doubling argument; without a clear statement of how n is bounded independently of the graph, the degree-only claim is not yet verified.

    Authors: The dimension n produced by the self-improvement is universal and depends only on the curvature parameter and the (constant) degree; it is therefore independent of any particular graph. We will revise the proof of Theorem 1.1 to insert an explicit chain of inequalities showing how the doubling constant is controlled by this n and hence ultimately depends only on the degree. revision: yes

Circularity Check

0 steps flagged

No circularity: self-improvement from CD(κ,∞) to CD(κ,n) presented as new structural discovery for edge-regular graphs

full rationale

The paper's central result is a self-improvement phenomenon for edge-regular graphs under the discrete Bakry-Émery condition, stated explicitly as a new discovery that converts the infinite-dimensional curvature bound into a finite-dimensional one with universal n. The abstract and reader's summary give no indication that this step reduces by definition to the input assumptions or to prior self-citations; the volume-doubling and polynomial-growth conclusions are derived from this new fact rather than presupposing it. No load-bearing equations or citations are shown to collapse the derivation into a tautology or fitted renaming. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are visible from the abstract alone.

pith-pipeline@v0.9.1-grok · 5633 in / 1013 out tokens · 19038 ms · 2026-06-27T12:33:28.814593+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Edge-regular graphs with non-negative curvature have polynomial growth." pith.science (2026). https://pith.science/paper/RKYCGSDA

@misc{pith2026260611094,
  author       = {Pith},
  title        = {Pith review of: Edge-regular graphs with non-negative curvature have polynomial growth},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RKYCGSDA}},
  note         = {Machine review of arXiv:2606.11094}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

A long-standing conjecture in the emerging discrete Bakry-\'Emery theory asserts that bounded-degree graphs satisfying $\mathrm{CD}(0,\infty)$ have polynomial growth. In the present paper, we prove this conjecture for all edge-regular graphs, and even obtain a volume doubling estimate with a constant that depends only on the degree. This is made possible thanks to the discovery of a surprising self-improvement phenomenon, which seems of independent interest: any edge-regular graph satisfying $\mathrm{CD}(\kappa,\infty)$ for some $\kappa\in\mathbb R$ must in fact satisfy $\mathrm{CD}(\kappa,n)$ for some explicit, universal and optimal dimension parameter $n$.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

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

    math.DG 2026-07 conditional novelty 8.0

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

Reference graph

Works this paper leans on

26 extracted references · cited by 1 Pith paper

  1. [1]

    Bakry and Michel ´Emery

    D. Bakry and Michel ´Emery. Diffusions hypercontractives. InS´ eminaire de probabilit´ es, XIX, 1983/84, volume 1123 ofLecture Notes in Math., pages 177–206. Springer, Berlin, 1985

    1983

  2. [2]

    Springer, Cham, 2014

    Dominique Bakry, Ivan Gentil, and Michel Ledoux.Analysis and geometry of Markov diffusion operators, volume 348 ofGrundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Cham, 2014

    2014

  3. [3]

    Li-Yau inequality on graphs.J

    Frank Bauer, Paul Horn, Yong Lin, Gabor Lippner, Dan Mangoubi, and Shing-Tung Yau. Li-Yau inequality on graphs.J. Differential Geom., 99(3):359–405, 2015

    2015

  4. [4]

    Fan Chung, Yong Lin, and S.-T. Yau. Harnack inequalities for graphs with non-negative Ricci curvature.J. Math. Anal. Appl., 415(1):25–32, 2014

    2014

  5. [5]

    Bakry-´ emery and Ollivier Ricci curvature of Cayley graphs

    David Cushing, Supanat Kamtue, Riikka Kangaslampi, Shiping Liu, Florentin M¨ unch, and Norbert Peyerimhoff. Bakry-´ emery and Ollivier Ricci curvature of Cayley graphs. Electron. J. Combin., 32(3):Paper No. 3.21, 29, 2025

    2025

  6. [6]

    David Cushing, Riikka Kangaslampi, Valtteri Lipi¨ ainen, Shiping Liu, and George W. Stagg. The graph curvature calculator and the curvatures of cubic graphs.Exp. Math., 31(2):583–595, 2022

    2022

  7. [7]

    Bakry-´ emery curvature functions on graphs.Canad

    David Cushing, Shiping Liu, and Norbert Peyerimhoff. Bakry-´ emery curvature functions on graphs.Canad. J. Math., 72(1):89–143, 2020

    2020

  8. [8]

    Ricci curvature on birth-death processes.Axioms, 12(5):428, 2023

    Bobo Hua and Florentin M¨ unch. Ricci curvature on birth-death processes.Axioms, 12(5):428, 2023

    2023

  9. [9]

    Bounded-degree graphs of non-negative ollivier- ricci curvature have subexponential growth and diffusive random walk, 2025

    Tom Hutchcroft and Florentin M¨ unch. Bounded-degree graphs of non-negative ollivier- ricci curvature have subexponential growth and diffusive random walk, 2025

    2025

  10. [10]

    Gradient estimates, Bakry-Emery Ricci curvature and ellipticity for unbounded graph Laplacians.Comm

    Matthias Keller and Florentin M¨ unch. Gradient estimates, Bakry-Emery Ricci curvature and ellipticity for unbounded graph Laplacians.Comm. Anal. Geom., 32(2):343–364, 2024

    2024

  11. [11]

    Discrete curvature and abelian groups.Canad

    Bo’az Klartag, Gady Kozma, Peter Ralli, and Prasad Tetali. Discrete curvature and abelian groups.Canad. J. Math., 68(3):655–674, 2016. 9

    2016

  12. [12]

    Equivalent properties of CD inequalities on graphs.Acta Math

    Yong Lin and Shuang Liu. Equivalent properties of CD inequalities on graphs.Acta Math. Sinica (Chinese Ser.), 61(3):431–440, 2018

    2018

  13. [13]

    Ricci curvature and eigenvalue estimate on locally finite graphs.Math

    Yong Lin and Shing-Tung Yau. Ricci curvature and eigenvalue estimate on locally finite graphs.Math. Res. Lett., 17(2):343–356, 2010

    2010

  14. [14]

    Bakry-´ emery curvature and diameter bounds on graphs.Calc

    Shiping Liu, Florentin M¨ unch, and Norbert Peyerimhoff. Bakry-´ emery curvature and diameter bounds on graphs.Calc. Var. Partial Differential Equations, 57(2):Paper No. 67, 9, 2018

    2018

  15. [15]

    Remarks on curvature dimension conditions on graphs.Calc

    Florentin M¨ unch. Remarks on curvature dimension conditions on graphs.Calc. Var. Partial Differential Equations, 56(1):Paper No. 11, 8, 2017

    2017

  16. [16]

    Li-Yau inequality on finite graphs via non-linear curvature dimension conditions.J

    Florentin M¨ unch. Li-Yau inequality on finite graphs via non-linear curvature dimension conditions.J. Math. Pures Appl. (9), 120:130–164, 2018

    2018

  17. [17]

    Mixing time and expansion of non-negatively curved Markov chains.J

    Florentin M¨ unch and Justin Salez. Mixing time and expansion of non-negatively curved Markov chains.J. ´Ec. polytech. Math., 10:575–590, 2023

    2023

  18. [18]

    Li-yau inequality undercd(0, n) on graphs, 2019

    Florentin M¨ unch. Li-yau inequality undercd(0, n) on graphs, 2019

    2019

  19. [19]

    Ricci curvature of Markov chains on metric spaces.J

    Yann Ollivier. Ricci curvature of Markov chains on metric spaces.J. Funct. Anal., 256(3):810–864, 2009

    2009

  20. [20]

    A new cutoff criterion for non-negatively curved chains, 2025

    Francesco Pedrotti and Justin Salez. A new cutoff criterion for non-negatively curved chains, 2025

    2025

  21. [21]

    Infinite graphs satisfying the bakry-emery curvature condition cd(0, n): The modified heat equation and applications to geometric analysis, 2025

    Emmanuel Russ and Herv´ e Pajot. Infinite graphs satisfying the bakry-emery curvature condition cd(0, n): The modified heat equation and applications to geometric analysis, 2025

    2025

  22. [22]

    Sparse expanders have negative curvature.Geom

    Justin Salez. Sparse expanders have negative curvature.Geom. Funct. Anal., 32(6):1486–1513, 2022

    2022

  23. [23]

    Modern aspects of markov chains: entropy, curvature and the cutoff phenomenon, 2025

    Justin Salez. Modern aspects of markov chains: entropy, curvature and the cutoff phenomenon, 2025

    2025

  24. [24]

    Cutoff for non-negatively curved diffusions.Inventiones mathematicae, 2026

    Justin Salez. Cutoff for non-negatively curved diffusions.Inventiones mathematicae, 2026. 10

    2026

  25. [25]

    Intrinsic regularity in the discrete log-sobolev inequality, 2025

    Justin Salez and Pierre Youssef. Intrinsic regularity in the discrete log-sobolev inequality, 2025

    2025

  26. [26]

    Curvature of nonlocal Markov generators

    Michael Schmuckenschl¨ ager. Curvature of nonlocal Markov generators. InConvex geo- metric analysis (Berkeley, CA, 1996), volume 34 ofMath. Sci. Res. Inst. Publ., pages 189–197. Cambridge Univ. Press, Cambridge, 1999. 11

    1996