pith. sign in

arxiv: 2605.31223 · v1 · pith:O2PZHNHGnew · submitted 2026-05-29 · 🧮 math.DG · math.AP

A Dynkin condition for manifolds with boundary

Pith reviewed 2026-06-28 21:03 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords manifolds with boundaryDynkin conditionbi-Lipschitz equivalenceBakry-Émery weightstime changedoubling propertyspectral gap
0
0 comments X

The pith

A Dynkin-type condition for manifolds with boundary implies bi-Lipschitz equivalence to a weighted manifold.

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

The paper introduces a Dynkin-type condition that applies to smooth Riemannian manifolds with boundary. When this condition holds, the manifold is bi-Lipschitz equivalent to a Bakry-Émery weighted Riemannian manifold produced by a time change. This equivalence produces a local doubling property, lower bounds on the Neumann spectral gap and logarithmic Sobolev constant, and a precompactness theorem for the class of such manifolds.

Core claim

The authors establish that their Dynkin-type condition on a manifold with boundary is sufficient to guarantee bi-Lipschitz equivalence with a Bakry-Émery weighted Riemannian manifold obtained via a time change, yielding analytic consequences including local doubling and spectral bounds.

What carries the argument

The Dynkin-type condition, which triggers the bi-Lipschitz equivalence to the time-changed Bakry-Émery weighted manifold.

If this is right

  • The manifold satisfies a local doubling property.
  • Lower bounds hold for the Neumann spectral gap.
  • Lower bounds hold for the logarithmic Sobolev constant.
  • A new precompactness theorem applies to manifolds with boundary.

Where Pith is reading between the lines

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

  • The equivalence may let results from weighted manifolds without boundary transfer to the boundary setting.
  • The condition could be checked on concrete domains such as Euclidean balls or other model spaces.
  • It may connect diffusion on manifolds with boundary to processes on the associated weighted space.

Load-bearing premise

The Dynkin-type condition is well-defined and can be assumed on the given smooth Riemannian manifold with boundary.

What would settle it

A manifold with boundary that satisfies the Dynkin condition but is not bi-Lipschitz equivalent to any time-changed Bakry-Émery weighted manifold.

read the original abstract

We propose a Dynkin-type condition for smooth Riemannian manifolds with boundary. We show that this condition implies bi-Lipschitz equivalence with a Bakry-\'Emery weighted Riemannian manifold obtained via a time change. As a consequence, we obtain various results, including a local doubling property as well as lower bounds on the Neumann spectral gap and logarithmic Sobolev constant. The local doubling property also yields a new precompactness theorem for manifolds with boundary.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper proposes a Dynkin-type condition for smooth Riemannian manifolds with boundary. It shows that this condition implies bi-Lipschitz equivalence with a Bakry-Émery weighted Riemannian manifold obtained via a time change. As consequences, the paper derives a local doubling property, lower bounds on the Neumann spectral gap and logarithmic Sobolev constant, and a new precompactness theorem for manifolds with boundary.

Significance. If the central implication holds, the work supplies a bridge between manifolds with boundary and weighted manifolds that transfers standard analytic and geometric controls (doubling, spectral gap, precompactness). This could be useful for extending Bakry-Émery techniques to boundary settings. The manuscript introduces a new condition and derives falsifiable consequences from it.

minor comments (1)
  1. The abstract states the main implication and consequences but supplies no definition of the proposed Dynkin condition, no outline of the time-change construction, and no indication of where the equivalence is proved.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript and for noting its potential to bridge techniques between manifolds with boundary and weighted manifolds. No specific major comments or objections were raised in the report, so we provide a brief general response below. The recommendation of 'uncertain' appears to stem from the absence of listed concerns rather than identified issues with the central implication.

read point-by-point responses
  1. Referee: The paper proposes a Dynkin-type condition for smooth Riemannian manifolds with boundary. It shows that this condition implies bi-Lipschitz equivalence with a Bakry-Émery weighted Riemannian manifold obtained via a time change. As consequences, the paper derives a local doubling property, lower bounds on the Neumann spectral gap and logarithmic Sobolev constant, and a new precompactness theorem for manifolds with boundary.

    Authors: We appreciate the accurate summary. The central implication (bi-Lipschitz equivalence) is established in Theorem 1.1 via the time-change construction and the Dynkin condition; the listed consequences then follow directly by transferring standard results from the Bakry-Émery setting. The proof is self-contained in Sections 2–4. revision: no

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proposes a Dynkin-type condition as an external assumption on a smooth Riemannian manifold with boundary, then derives the bi-Lipschitz equivalence to a time-changed Bakry-Émery manifold and subsequent analytic consequences (doubling, spectral gap bounds, precompactness) from that assumption using standard weighted geometry techniques. No step reduces a claimed prediction or result to a fitted parameter, self-referential definition, or load-bearing self-citation chain; the central implication is presented as a theorem whose inputs are independent of its outputs. The derivation chain remains self-contained against external benchmarks in Riemannian geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no explicit free parameters, axioms, or invented entities are described.

pith-pipeline@v0.9.1-grok · 5587 in / 1085 out tokens · 16962 ms · 2026-06-28T21:03:02.044306+00:00 · methodology

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

75 extracted references · 7 canonical work pages · 1 internal anchor

  1. [1]

    Ambrosio, A

    L. Ambrosio, A. Mondino, and G. Savar´ e. Nonlinear diffusion equations and curvature conditions in metric measure spaces.Mem. Amer. Math. Soc., 262(1270):v+121, 2019

  2. [2]

    Anderson, A

    M. Anderson, A. Katsuda, Y. Kurylev, M. Lassas, and M. Taylor. Boundary regularity for the Ricci equation, geometric convergence, and Gel’fand’s inverse boundary problem.Inventiones mathemat- icae, 158(2):261–321, 2004

  3. [3]

    D. Bakry. L’hypercontractivit´ e et son utilisation en th´ eorie des semigroupes. InLectures on probability theory (Saint-Flour, 1992), volume 1581 ofLecture Notes in Math., pages 1–114. Springer, Berlin, 1994

  4. [4]

    Bakry and M

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

  5. [5]

    Bakry, I

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

  6. [6]

    Bakry and Z

    D. Bakry and Z. Qian. Some new results on eigenvectors via dimension, diameter, and Ricci curva- ture.Adv. Math., 155(1):98–153, 2000

  7. [7]

    Bakry and Z

    D. Bakry and Z. Qian. Volume comparison theorems without Jacobi fields. InCurrent trends in potential theory, volume 4 ofTheta Ser. Adv. Math., pages 115–122. Theta, Bucharest, 2005

  8. [8]

    Bj¨ orn and J

    A. Bj¨ orn and J. Bj¨ orn.Nonlinear potential theory on metric spaces, volume 17. European Mathe- matical Society, 2011

  9. [9]

    Boldt, B

    S. Boldt, B. G¨ uneysu, and S. Pigola. Lower bounds on the normal injectivity radius of hypersurfaces and bounded geometries on manifolds with boundary.arXiv preprint: arXiv:2504.02687, 2025

  10. [10]

    M. Braun. Vector calculus for tamed Dirichlet spaces.Mem. Amer. Math. Soc., 303(1522):viii+135, 2024

  11. [11]

    G. Carron. Geometric inequalities for manifolds with Ricci curvature in the Kato class.Ann. Inst. Fourier (Grenoble), 69(7):3095–3167, 2019. DYNKIN CONDITION FOR MANIFOLDS WITH BOUNDARY 27

  12. [12]

    Carron, I

    G. Carron, I. Mondello, and D. Tewodrose. Torus stability under Kato bounds on the Ricci curvature. J. Lond. Math. Soc. (2), 107(3):943–972, 2023

  13. [13]

    Carron, I

    G. Carron, I. Mondello, and D. Tewodrose. Limits of manifolds with a Kato bound on the Ricci curvature.Geom. Topol., 28(6):2635–2745, 2024

  14. [14]

    Carron, I

    G. Carron, I. Mondello, and D. Tewodrose. Strong Kato limit can be branching.arXiv preprint arXiv:2411.18097, 2024

  15. [15]

    Carron, I

    G. Carron, I. Mondello, and D. Tewodrose. Kato meets Bakry- ´Emery.Calc. Var. Partial Differential Equations, 64(6):Paper No. 193, 29, 2025

  16. [16]

    Carron, I

    G. Carron, I. Mondello, and D. Tewodrose. Limits of manifolds with a Kato bound on the Ricci curvature. II.Ann. Fenn. Math., 50(2):623–663, 2025

  17. [17]

    Carron and C

    G. Carron and C. Rose. Geometric and spectral estimates based on spectral Ricci curvature assump- tions.J. Reine Angew. Math., 772:121–145, 2021

  18. [18]

    J. Cheeger. A lower bound for the smallest eigenvalue of the Laplacian. InProblems in analysis (Sympos. in honor of Salomon Bochner, Princeton Univ., Princeton, N.J., 1969), pages 195–199. Princeton Univ. Press, Princeton, NJ, 1970

  19. [19]

    Chen and F

    M. Chen and F. Wang. General formula for lower bound of the first eigenvalue on Riemannian manifolds.Sci. China Ser. A, 40(4):384–394, 1997

  20. [20]

    R. Chen. Neumann eigenvalue estimate on a compact Riemannian manifold.Proc. Amer. Math. Soc., 108(4):961–970, 1990

  21. [21]

    Chen and M

    Z.-Q. Chen and M. Fukushima.Symmetric Markov processes, time change, and boundary theory, vol- ume 35 ofLondon Mathematical Society Monographs Series. Princeton University Press, Princeton, NJ, 2012

  22. [22]

    F. R. K. Chung and S.-T. Yau. Logarithmic Harnack inequalities.Math. Res. Lett., 3(6):793–812, 1996

  23. [23]

    J. Dodziuk. Maximum principle for parabolic inequalities and the heat flow on open manifolds. Indiana Univ. Math. J., 32(5):703–716, 1983

  24. [24]

    Erbar, C

    M. Erbar, C. Rigoni, K.-T. Sturm, and L. Tamanini. Tamed spaces—Dirichlet spaces with distribution-valued Ricci bounds.J. Math. Pures Appl. (9), 161:1–69, 2022

  25. [25]

    Fukushima, Y

    M. Fukushima, Y. Oshima, and M. Takeda.Dirichlet forms and symmetric Markov processes, vol- ume 19 ofDe Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, extended edition, 2011

  26. [26]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger.Elliptic partial differential equations of second order. Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1998 edition

  27. [27]

    Gromov.Metric structures for Riemannian and non-Riemannian spaces, volume 152 ofProgress in Mathematics

    M. Gromov.Metric structures for Riemannian and non-Riemannian spaces, volume 152 ofProgress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1999. Based on the 1981 French original [ MR0682063 (85e:53051)], With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates

  28. [28]

    P. M. Gruber. Approximation of convex bodies. InConvexity and its applications, pages 131–162. Birkh¨ auser, Basel, 1983

  29. [29]

    G¨ uneysu.Covariant Schr¨ odinger semigroups on Riemannian manifolds, volume 264 ofOperator Theory: Advances and Applications

    B. G¨ uneysu.Covariant Schr¨ odinger semigroups on Riemannian manifolds, volume 264 ofOperator Theory: Advances and Applications. Birkh¨ auser/Springer, Cham, 2017

  30. [30]

    G¨ uneysu and K

    B. G¨ uneysu and K. Kuwae. Locally convex aspects of the Kato and the Dynkin classes on manifolds. Illinois J. Math., 68(4):685–702, 2024

  31. [31]

    G¨ uneysu and M

    B. G¨ uneysu and M. Marot. A note on the scattering theory of Kato-Ricci manifolds.arXiv preprint: arXiv:2411.03204, 2024

  32. [32]

    B.-X. Han. Ricci tensor on smooth metric measure space with boundary.arXiv preprint arXiv:1709.10143, 2017

  33. [33]

    Han and K.-T

    B.-X. Han and K.-T. Sturm. Curvature-dimension conditions under time change.Ann. Mat. Pura Appl. (4), 201(2):801–822, 2022

  34. [34]

    Impera, M

    D. Impera, M. Rimoldi, and G. Veronelli. Asymptotically non-negative Ricci curvature, elliptic Kato constant and isoperimetric inequalities.Calc. Var. Partial Differential Equations, 64(6):Paper No. 195, 35, 2025

  35. [35]

    D. Jerison. The Poincar´ e inequality for vector fields satisfying H¨ ormander’s condition.Duke Math. J., 53(2):503–523, 1986

  36. [36]

    A. Kasue. Convergence of metric measure spaces and energy forms [mr1962229]. InSelected papers on differential equations and analysis, volume 215 ofAmer. Math. Soc. Transl. Ser. 2, pages 79–96. Amer. Math. Soc., Providence, RI, 2005. 28 MARIE BORMANN AND DA VID TEWODROSE

  37. [37]

    K. S. Knox. A compactness theorem for riemannian manifolds with boundary and applications.arXiv preprint: 1211.6210, 2012

  38. [38]

    S. Kodani. Convergence theorem for Riemannian manifolds with boundary.Compositio Mathematica, 75(2):171–192, 1990

  39. [39]

    Kuwae and T

    K. Kuwae and T. Shioya. Convergence of spectral structures: a functional analytic theory and its applications to spectral geometry.Comm. Anal. Geom., 11(4):599–673, 2003

  40. [40]

    J. M. Lee.Introduction to smooth manifolds, volume 218 ofGraduate Texts in Mathematics. Springer, New York, second edition, 2013

  41. [41]

    M.-C. Lee. Ricci flow under Kato-type curvature lower bound.J. Geom. Anal., 34(3):Paper No. 71, 22, 2024

  42. [42]

    Li.Geometric analysis, volume 134 ofCambridge Studies in Advanced Mathematics

    P. Li.Geometric analysis, volume 134 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2012

  43. [43]

    Li and S.-T

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

  44. [44]

    Li and K

    X. Li and K. Wang. Sharp lower bound for the first eigenvalue of the weightedp-Laplacian I.J. Geom. Anal., 31(8):8686–8708, 2021

  45. [45]

    Li and K

    X. Li and K. Wang. Sharp lower bound for the first eigenvalue of the weightedp-Laplacian II.Math. Res. Lett., 28(5):1459–1479, 2021

  46. [46]

    G. M. Lieberman.Oblique derivative problems for elliptic equations. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2013

  47. [47]

    Lierl and K.-T

    J. Lierl and K.-T. Sturm. Neumann heat flow and gradient flow for the entropy on non-convex domains.Calc. Var. Partial Differential Equations, 57(1):Paper No. 25, 22, 2018

  48. [48]

    J. Lott. Some geometric properties of the Bakry-´ emery-Ricci tensor.Comment. Math. Helv., 78(4):865–883, 2003

  49. [49]

    Maheux and L

    P. Maheux and L. Saloff-Coste. Analyse sur les boules d’un op´ erateur sous-elliptique.Mathematische Annalen, 303(1):713–740, 1995

  50. [50]

    Mondino and R

    A. Mondino and R. Perales. Gromov-Hausdorff and intrinsic flat convergence of RCD (K, N) and Kato spaces.arXiv preprint arXiv:2602.03280, 2026

  51. [51]

    M¨ uller

    O. M¨ uller. Cheeger-Gromov compactness for manifolds with boundary.arXiv preprint: 1808.06458, 2018

  52. [52]

    V. G. Papanicolaou. The probabilistic solution of the third boundary value problem for second order elliptic equations.Probab. Theory Related Fields, 87(1):27–77, 1990

  53. [53]

    R. Perales. A survey on the convergence of manifolds with boundary.Contemp. Math, 657:179–188, 2016

  54. [54]

    R. Perales. Volumes and limits of manifolds with Ricci curvature and mean curvature bounds.Dif- ferential Geometry and its Applications, 48:23–37, 2016

  55. [55]

    R. Perales. Convergence of manifolds and metric spaces with boundary.Journal of Topology and Analysis, 12(03):735–774, 2020

  56. [56]

    Perales and C

    R. Perales and C. Sormani. Sequences of open Riemannian manifolds with boundary.Pacific Journal of Mathematics, 270(2):423–471, 2014

  57. [57]

    O. Post, X. Ramos Oliv´ e, and C. Rose. Quantitative Sobolev extensions and the Neumann heat kernel for integral Ricci curvature conditions.J. Geom. Anal., 33(2):Paper No. 70, 28, 2023

  58. [58]

    Z. Qian. Estimates for weighted volumes and applications.Quart. J. Math. Oxford Ser. (2), 48(190):235–242, 1997

  59. [59]

    T. Rajala. Local Poincar´ e inequalities from stable curvature conditions on metric spaces.Calc. Var. Partial Differential Equations, 44(3-4):477–494, 2012

  60. [60]

    Reed and B

    M. Reed and B. Simon.Methods of modern mathematical physics. I. Functional analysis. Academic Press, New York-London, 1972

  61. [61]

    C. Rose. Li-Yau gradient estimate for compact manifolds with negative part of Ricci curvature in the Kato class.Ann. Global Anal. Geom., 55(3):443–449, 2019

  62. [62]

    Rose and P

    C. Rose and P. Stollmann. The Kato class on compact manifolds with integral bounds on the negative part of Ricci curvature.Proc. Amer. Math. Soc., 145(5):2199–2210, 2017

  63. [63]

    Rose and P

    C. Rose and P. Stollmann. Manifolds with Ricci curvature in the Kato class: heat kernel bounds and applications. InAnalysis and geometry on graphs and manifolds, volume 461 ofLondon Math. Soc. Lecture Note Ser., pages 76–94. Cambridge Univ. Press, Cambridge, 2020

  64. [64]

    Rose and G

    C. Rose and G. Wei. Eigenvalue estimates for Kato-type Ricci curvature conditions.Anal. PDE, 15(7):1703–1724, 2022. DYNKIN CONDITION FOR MANIFOLDS WITH BOUNDARY 29

  65. [65]

    Stollmann and J

    P. Stollmann and J. Voigt. Perturbation of Dirichlet forms by measures.Potential Anal., 5(2):109– 138, 1996

  66. [66]

    K.-T. Sturm. Ricci tensor for diffusion operators and curvature-dimension inequalities under confor- mal transformations and time changes.J. Funct. Anal., 275(4):793–829, 2018

  67. [67]

    K.-T. Sturm. Distribution-valued Ricci bounds for metric measure spaces, singular time changes, and gradient estimates for Neumann heat flows.Geom. Funct. Anal., 30(6):1648–1711, 2020

  68. [68]

    Villani.Optimal Transport

    C. Villani.Optimal Transport. Springer Berlin Heidelberg, 2009

  69. [69]

    F. Y. Wang. Application of coupling methods to the Neumann eigenvalue problem.Probab. Theory Related Fields, 98(3):299–306, 1994

  70. [70]

    F.-Y. Wang. On estimation of the logarithmic Sobolev constant and gradient estimates of heat semigroups.Probab. Theory Related Fields, 108(1):87–101, 1997

  71. [71]

    F.-Y. Wang. Harnack inequalities for log-Sobolev functions and estimates of log-Sobolev constants. Ann. Probab., 27(2):653–663, 1999

  72. [72]

    F.-Y. Wang. Gradient estimates and the first Neumann eigenvalue on manifolds with boundary. Stochastic Process. Appl., 115(9):1475–1486, 2005

  73. [73]

    F.-Y. Wang. Estimates of the first Neumann eigenvalue and the log-Sobolev constant on non-convex manifolds.Math. Nachr., 280(12):1431–1439, 2007

  74. [74]

    Wei and W

    G. Wei and W. Wylie. Comparison geometry for the Bakry-´Emery Ricci tensor.J. Differential Geom., 83(2):377–405, 2009

  75. [75]

    J. Wong. An extension procedure for manifolds with boundary.Pacific Journal of Mathematics, 235(1):173–199, 2008. M. Bormann: Institute for Applied Mathematics, Hausdorff Center for Mathematics, Universit¨at Bonn, Endenicher Allee 60, 53115 Bonn Email address:mbormann@uni-bonn.de D. Tewodrose: Department of Mathematics and Data Science, Vrije Universiteit...