Pith. sign in

REVIEW 2 major objections 1 minor 1 cited by

Reverse inequalities for super-Riesz transforms on graphs with a slow diffusion

T0 review · 2 major / 1 minor · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read On the D-dimensional Vicsek graph the Riesz inequality ||∇f||_p ≤ C ||Δ^γ f||_p holds for γ below a threshold strictly larger than 1/2.

desk verdict This paper gives the first explicit super-Riesz example with γ > 1/2 on the Vicsek graph by linking the inequality range to diffusion escape rate and ball Poincaré inequality. read the letter →

arxiv 2606.05475 v2 pith:RTR2IYAP submitted 2026-06-03 math.FA math.PR

Joseph Feneuil This is my paper · ORCID
classification math.FAmath.PR
keywords VicsekgraphRiesztransformsreverseinequalitiesfractionalLaplaciandiffusionescaperatePoincaréinequalityL^pboundednessgraphs
verification ladder T0 review T1 audit T2 compute T3 formal

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 establishes that in the D-dimensional Vicsek graph the inequality relating the gradient to a fractional Laplacian holds for all p in (1,∞) when the exponent γ stays below the critical value γ*(p) = 1/(D+1) + (D-1)/(D+1)·(1/p). This threshold exceeds the Euclidean value of 1/2, and the inequality fails for larger γ up to 1. The result supplies the first concrete example of an L^p-bounded super-Riesz transform with γ > 1/2. The proof rests on a general theorem that connects the diffusion escape rate and Poincaré inequalities on balls to the validity of the reverse inequality.

What carries the argument

The diffusion escape rate together with the Poincaré inequality on balls, which fix the critical exponent γ*(p) for the reverse Riesz inequality.

What would settle it

A direct verification or counter-example at the exact critical value γ = γ*(p) on the Vicsek graph would decide whether the inequality holds or fails at the boundary.

Watch

Extended reading notes

Core claim

In the D-dimensional Vicsek graph the Riesz-like inequality ||∇f||_p ≤ C ||Δ^γ f||_p holds for every p ∈ (1,∞) and every 0 < γ < γ*(p) := 1/(D+1) + (D-1)/(D+1)·(1/p), while it fails whenever γ*(p) < γ < 1. The validity remains open only at the critical exponent γ = γ*(p). This is obtained from a general result linking the diffusion escape rate and a Poincaré inequality on balls to the validity of the reverse inequality ||Δ^γ f||_p ≤ C ||∇f||_p.

Load-bearing premise

The D-dimensional Vicsek graph satisfies the diffusion escape rate and Poincaré inequality on balls required by the general theorem.

Editorial extensions

If this is right

  • The super-Riesz transform is L^p bounded exactly when γ lies below the critical value γ*(p).
  • The inequality fails for all γ in the open interval (γ*(p), 1).
  • The result supplies the first L^p-bounded example with γ strictly larger than 1/2.
  • Only the boundary case γ = γ*(p) stays unresolved.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same critical exponent may govern other graphs that share the same escape-rate and Poincaré properties.
  • Applying the general theorem to additional fractal graphs could produce further examples with γ > 1/2.
  • The construction indicates that anomalous diffusion permits stronger fractional smoothing than Euclidean space allows.
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 / 1 minor

Summary. The paper proves that on the D-dimensional Vicsek graph the reverse Riesz inequality ||∇f||_p ≤ C ||Δ^γ f||_p holds for all p ∈ (1,∞) and 0 < γ < γ*(p) := 1/(D+1) + (D-1)/(D+1)·(1/p), while the inequality fails for γ*(p) < γ < 1 (critical case open). It derives this from a general theorem that obtains the reverse inequality ||Δ^γ f||_p ≤ C ||∇f||_p from a quantitative diffusion escape rate and a Poincaré inequality on balls.

Significance. If the derivations hold, the result supplies the first explicit example of an L^p-bounded super-Riesz transform (γ > 1/2) on a graph with slow diffusion, together with a matching negative result. The general criterion linking escape rate and ball Poincaré constants to the admissible range of γ could be reusable on other graphs once the hypotheses are verified.

major comments (2)
  1. [Vicsek graph application (general theorem application)] The central positive and negative claims for the Vicsek graph rest on the assertion that this graph satisfies the quantitative diffusion escape rate and ball Poincaré inequality needed to produce exactly the stated γ*(p). No explicit verification, constant computation, or reference to the required estimates appears in the provided abstract or visible sections; without this check the general theorem does not directly yield the claimed range on the Vicsek graph.
  2. [Failure result for γ > γ*(p)] The abstract states that both the positive result below γ*(p) and the failure above it are obtained on the Vicsek graph, yet the general theorem is formulated only for the reverse inequality ||Δ^γ f||_p ≤ C ||∇f||_p. The manuscript must therefore contain a separate argument for the failure when γ > γ*(p); the precise location and hypotheses of that argument are not indicated.
minor comments (1)
  1. [General theorem statement] Notation for the escape rate and the precise form of the ball Poincaré inequality should be stated explicitly in the general theorem statement so that the reader can check the constants without searching the proofs.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed report. We address each major comment below and will revise the manuscript to improve the clarity of the presentation and cross-references.

read point-by-point responses

  1. Referee: The central positive and negative claims for the Vicsek graph rest on the assertion that this graph satisfies the quantitative diffusion escape rate and ball Poincaré inequality needed to produce exactly the stated γ*(p). No explicit verification, constant computation, or reference to the required estimates appears in the provided abstract or visible sections; without this check the general theorem does not directly yield the claimed range on the Vicsek graph.

    Authors: The explicit verification of the quantitative diffusion escape rate and the ball Poincaré inequality for the Vicsek graph, together with the computation of the resulting constants, is carried out in Section 4. These estimates are shown to produce precisely the threshold γ*(p). We will revise the introduction to include a direct pointer to Section 4 and a brief summary of how the constants enter the general theorem. revision: yes

  2. Referee: The abstract states that both the positive result below γ*(p) and the failure above it are obtained on the Vicsek graph, yet the general theorem is formulated only for the reverse inequality ||Δ^γ f||_p ≤ C ||∇f||_p. The manuscript must therefore contain a separate argument for the failure when γ > γ*(p); the precise location and hypotheses of that argument are not indicated.

    Authors: The failure for γ > γ*(p) is proved by a direct construction of test functions on the Vicsek graph in Section 5; this argument is independent of the general theorem and shows that the ratio ||∇f||_p / ||Δ^γ f||_p is unbounded. We will add an explicit reference to Section 5 in the introduction and abstract to clarify the separation between the two parts of the Vicsek analysis. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; general theorem applied to fixed graph with independent assumptions

full rationale

The paper establishes a general theorem that derives the reverse Riesz inequality from two external assumptions (quantitative diffusion escape rate and ball Poincaré inequality). It then applies this to the Vicsek graph. No quoted step reduces a claimed result to a fitted parameter, self-definition, or self-citation chain by construction. The derivation chain remains self-contained against the stated hypotheses without renaming or smuggling ansatzes.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are identified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Reverse inequalities for super-Riesz transforms on graphs with a slow diffusion." pith.science (2026). https://pith.science/paper/RTR2IYAP

@misc{pith2026260605475,
  author       = {Pith},
  title        = {Pith review of: Reverse inequalities for super-Riesz transforms on graphs with a slow diffusion},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RTR2IYAP}},
  note         = {Machine review of arXiv:2606.05475}
}
abstract

In the $D$-dimensional Vicsek graph, we prove that the Riesz-like inequality $ \|\nabla f\|_p \leq C \|\Delta^\gamma f\|_p $ holds for every $p\in(1,\infty)$ and every $ 0<\gamma<\gamma^*(p):=\frac{1}{D+1}+\frac{D-1}{D+1}\,\frac{1}{p}, $ while it fails whenever $p\in(1,\infty)$ and $\gamma^*(p)<\gamma<1$. Thus, the validity of the inequality remains open only at the critical exponent $\gamma=\gamma^*(p)$. This provides the first example of an $L^p$-bounded ``super-Riesz transform'', namely an operator of the form $\nabla \Delta^{-\gamma}$ with $\gamma$ strictly larger than the Euclidean threshold $\frac12$. To achieve this, we establish a more general result linking the diffusion escape rate and a Poincar\'e inequality on balls to the validity of the reverse Riesz-like inequality $\|\Delta^\gamma f\|_p \leq C \|\nabla f\|_p.$

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. A reverse Riesz estimate combined with a spectral gap implies a Poincar\'e inequality

    math.FA 2026-07 accept novelty 6.5 of 10

    A reverse Riesz estimate plus the spectral gap 0∈ρ(A0) for an Abel-ergodic sectorial operator implies a Poincaré inequality with respect to the ergodic projection.

Reference graph

Works this paper leans on

40 extracted references · 2 canonical work pages · cited by 1 Pith paper

  1. [1]

    Riesz transform on manifolds and Poincar\'e inequalities

    Pascal Auscher and Thierry Coulhon. Riesz transform on manifolds and Poincar\'e inequalities. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 4 (2005), no. 3, 531--555

    2005

  2. [2]

    Riesz transform on manifolds and heat kernel regularity

    Pascal Auscher, Thierry Coulhon, Xuan Thinh Duong and Steve Hofmann. Riesz transform on manifolds and heat kernel regularity. Ann. Sci. \'Ec. Norm. Sup\'er. (4), 37 (2004), no. 6, 911--957

    2004

  3. [3]

    Dilation of Ritt operators on L^p -spaces

    C\'edric Arhancet and Christian Le Merdy. Dilation of Ritt operators on L^p -spaces. Isr. J. Math. 201 (2014), Part A, 373-414

    2014

  4. [4]

    Hardy spaces of differential forms and Riesz transforms on Riemannian manifolds

    Pascal Auscher, Alan McIntosh and Emmanuel Russ. Hardy spaces of differential forms and Riesz transforms on Riemannian manifolds. J. Geom. Anal., 18 (2008), no. 1, 192--248

    2008

  5. [5]

    Martin T. Barlow. Which values of the volume growth and escape time exponent are possible for a graph? Rev. Mat. Iberoamericana, 20 (2004), no. 1, 1--31

    2004

  6. [6]

    Barlow and Richard F

    Martin T. Barlow and Richard F. Bass. Transition densities for Brownian motion on the Sierpinski carpet. Probab. Theory Relat. Fields, 91 (1992), no. 3--4, 307--330

    1992

  7. [7]

    Sobolev spaces and Poincar\'e inequalities on the Vicsek fractal

    Fabrice Baudoin and Li Chen. Sobolev spaces and Poincar\'e inequalities on the Vicsek fractal. Ann. Fenn. Math., 48 (2023), no. 1, 3--26

    2023

  8. [8]

    Heat kernel gradient estimates for the Vicsek set

    Fabrice Baudoin and Li Chen. Heat kernel gradient estimates for the Vicsek set. Math. Nachr., 297 (2024), no. 12, 4450--4477

    2024

Show all 40 references
  1. [9]

    Hardy spaces associated to the discrete Laplacians on graphs and boundedness of singular integrals

    The Anh Bui and Xuan Thinh Duong. Hardy spaces associated to the discrete Laplacians on graphs and boundedness of singular integrals. Trans. Amer. Math. Soc., 366 (2014), no. 7, 3451--3485

    2014

  2. [10]

    Riesz transforms through reverse H\"older and Poincar\'e inequalities

    Fr\'ed\'eric Bernicot and Dorothee Frey. Riesz transforms through reverse H\"older and Poincar\'e inequalities. Math. Z., 284 (2016), no. 3--4, 791--826

    2016

  3. [11]

    o ran and L \

    Bergh, J \"o ran and L \"o fstr \"o m, J \"o rgen. Interpolation spaces. An introduction. Grundlehren Math. Wiss., Vol. 223, Springer, Cham, 1976

    1976

  4. [12]

    Barlow and Edwin A

    Martin T. Barlow and Edwin A. Perkins. Brownian motion on the Sierpinski gasket. Probab. Theory Relat. Fields, 79 (1988), no. 4, 543--623

    1988

  5. [13]

    Interpolation of Sobolev spaces, Littlewood--Paley inequalities and Riesz transforms on graphs

    Nadine Badr and Emmanuel Russ. Interpolation of Sobolev spaces, Littlewood--Paley inequalities and Riesz transforms on graphs. Publ. Mat., 53 (2009), 273--328

    2009

  6. [14]

    Riesz transform for 1 p 2 without Gaussian heat kernel bound

    Li Chen, Thierry Coulhon, Joseph Feneuil and Emmanuel Russ. Riesz transform for 1 p 2 without Gaussian heat kernel bound. J. Geom. Anal., 27 (2017), no. 2, 1489--1514

    2017

  7. [15]

    Riesz transforms for 1 p 2

    Thierry Coulhon and Xuan Thinh Duong. Riesz transforms for 1 p 2 . Trans. Amer. Math. Soc., 351 (1999), no. 3, 1151--1169

    1999

  8. [16]

    Riesz transform and related inequalities on noncompact Riemannian manifolds

    Thierry Coulhon and Xuan Thinh Duong. Riesz transform and related inequalities on noncompact Riemannian manifolds. Comm. Pure Appl. Math., 56 (2003), no. 12, 1728--1751

    2003

  9. [17]

    Quasi Riesz transforms, Hardy spaces and generalized sub-Gaussian heat kernel estimates

    Li Chen. Quasi Riesz transforms, Hardy spaces and generalized sub-Gaussian heat kernel estimates. Ph.D. thesis, Universit\'e Paris-Sud XI and Australian National University, 2014, available at https://theses.hal.science/tel-01001868v1

    2014

  10. [18]

    Coifman, Yves Meyer and Elias M

    Ronald R. Coifman, Yves Meyer and Elias M. Stein. Some new function spaces and their applications to harmonic analysis. J. Funct. Anal., 62 (1985), 304--335

    1985

  11. [19]

    Puissances d'un op\'erateur r\'egularisant

    Thierry Coulhon and Laurent Saloff-Coste. Puissances d'un op\'erateur r\'egularisant. Ann. Inst. H. Poincar\'e Probab. Statist., 26 (1990), no. 3, 419--436

    1990

  12. [20]

    Reverse inequality for the Riesz transforms on Riemannian manifolds

    Baptiste Devyver and Emmanuel Russ. Reverse inequality for the Riesz transforms on Riemannian manifolds. Preprint, arXiv:2209.05083, 2022

    2022

  13. [21]

    Reverse inequality for quasi-Riesz transforms on cable systems

    Baptiste Devyver and Emmanuel Russ. Reverse inequality for quasi-Riesz transforms on cable systems. J. Geom. Anal., 36 (2026), no. 1, Art. 2

    2026

  14. [22]

    Gradient estimate for the heat kernel on some fractal-like cable systems and quasi-Riesz transforms

    Baptiste Devyver, Emmanuel Russ and Meng Yang. Gradient estimate for the heat kernel on some fractal-like cable systems and quasi-Riesz transforms. Int. Math. Res. Not., 2023 (2023), no. 18, 15537--15583

    2023

  15. [23]

    A note on time regularity for discrete time heat kernels

    Nick Dungey. A note on time regularity for discrete time heat kernels. Semigroup Forum, 72 (2006), no. 3, 404--410

    2006

  16. [24]

    Duality of Hardy and BMO spaces associated with operators with heat kernel bounds

    Xuan Thinh Duong and Lixin Yan. Duality of Hardy and BMO spaces associated with operators with heat kernel bounds. J. Amer. Math. Soc., 18 (2005), no. 4, 943--973

    2005

  17. [25]

    Ben Efraim and F

    L. Ben Efraim and F. Lust-Piquard. Poincar\'e type inequalities on the discrete cube and in the CAR algebra. Probab. Theory Relat. Fields 141 (2008) 569--602

    2008

  18. [26]

    Analyse harmonique sur les graphes et les groupes de Lie : fonctionnelles quadratiques, transformées de Riesz et espaces de Besov

    Joseph Feneuil. Analyse harmonique sur les graphes et les groupes de Lie : fonctionnelles quadratiques, transformées de Riesz et espaces de Besov. Ph.D. thesis, Universit\'e Grenoble-Alpes, 2015, available at https://theses.hal.science/tel-01260290

    2015

  19. [27]

    Littlewood--Paley functionals on graphs

    Joseph Feneuil. Littlewood--Paley functionals on graphs. Math. Nachr., 288 (2015), no. 11--12, 1254--1285

    2015

  20. [28]

    Hardy and BMO spaces on graphs, application to Riesz transform

    Joseph Feneuil. Hardy and BMO spaces on graphs, application to Riesz transform. Potential Anal., 45 (2016), no. 1, 1--54

    2016

  21. [29]

    About the L^2 analyticity of Markov operators on graphs

    Joseph Feneuil. About the L^2 analyticity of Markov operators on graphs. Proc. Amer. Math. Soc., 146 (2018), no. 4, 1793--1805

    2018

  22. [30]

    In spaces with a slow diffusion, the Riesz transform is unbounded on L^p , p (2, )

    Joseph Feneuil. In spaces with a slow diffusion, the Riesz transform is unbounded on L^p , p (2, ) . J. Geom. Anal., 36 (2026), no. 2, Art. 61

    2026

  23. [31]

    Sub-Gaussian estimates of heat kernels on infinite graphs

    Alexander Grigor'yan and Andr\' as Telcs. Sub-Gaussian estimates of heat kernels on infinite graphs. Duke Math. J., 109 (2001), no. 3, 451--510

    2001

  24. [32]

    Hardy spaces associated to non-negative self-adjoint operators satisfying Davies--Gaffney estimates

    Steve Hofmann, Guozhen Lu, Dorina Mitrea, Marius Mitrea and Lixin Yan. Hardy spaces associated to non-negative self-adjoint operators satisfying Davies--Gaffney estimates. Mem. Amer. Math. Soc., 214 (2011), no. 1007

    2011

  25. [33]

    A harmonic calculus on the Sierpinski spaces

    Jun Kigami. A harmonic calculus on the Sierpinski spaces. Japan J. Appl. Math., 6 (1989), no. 2, 259--290

    1989

  26. [34]

    Maximal theorems and square functions for analytic operators on L^p -spaces

    Christian Le Merdy and Quanhua Xu. Maximal theorems and square functions for analytic operators on L^p -spaces. J. Lond. Math. Soc. (2), 86 (2012), no. 2, 343--365

    2012

  27. [35]

    A multiplicative inequality of Riesz transform type on general Riemannian manifolds

    El Maati Ouhabaz. A multiplicative inequality of Riesz transform type on general Riemannian manifolds. Preprint, arXiv:2406.01097, 2024

    2024

  28. [36]

    Riesz transforms on graphs for 1 p 2

    Emmanuel Russ. Riesz transforms on graphs for 1 p 2 . Math. Scand., 87 (2000), no. 1, 133--160

    2000

  29. [37]

    Elias M. Stein. Singular integrals and differentiability properties of functions. Princeton Math. Ser., Vol. 30, Princeton University Press, Princeton, NJ, 1970

    1970

  30. [38]

    Elias M. Stein. Topics in harmonic analysis related to the Littlewood--Paley theory. Ann. of Math. Stud., Princeton University Press, Princeton, NJ, 1970

    1970

  31. [39]

    Elias M. Stein. Harmonic analysis: Real-variable methods, orthogonality, and oscillatory integrals. Princeton Math. Ser., Vol. 43, Princeton University Press, Princeton, NJ, 1993

    1993

  32. [40]

    Strichartz

    S. Strichartz. Analysis of the Laplacian on the complete Riemannian manifold. J. Funct. Anal. 52 (1983), no. 1, 48--79

    1983

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.