Rigidity properties of the hypercube via Bakry–Émery curvature

We give rigidity results for the discrete Bonnet-Myers diameter bound and the Lichnerowicz eigenvalue estimate. Both inequalities are sharp if and only if the underlying graph is a hypercube. The proofs use well-known semigroup methods as well as new direct methods which translate curvature to combinatorial properties. Our results can be seen as first known discrete analogues of Cheng's and Obata's rigidity theorems.

[1]  S. Foldes,et al.  A characterization of hypercubes , 1977, Discret. Math..

[2]  Jean-Marie Laborde,et al.  Another characterization of hypercubes , 1982, Discret. Math..

[3]  C. Villani,et al.  Ricci curvature for metric-measure spaces via optimal transport , 2004, math/0412127.

[4]  Y. Ollivier.  Ricci curvature of Markov chains on metric spaces , 2007, math/0701886.

[5]  Equivalent Properties of CD Inequality on Graph , 2015, 1512.02677.

[6]  Radoslaw K. Wojciechowski,et al.  Volume growth, spectrum and stochastic completeness of infinite graphs , 2011, 1105.0395.

[7]  S. Yau,et al.  Volume doubling, Poincaré inequality and Guassian heat kernel estimate for nonnegative curvature graphs , 2014, 1411.5087.

[8]  F. Harary,et al.  A survey of the theory of hypercube graphs , 1988 .

[9]  Shiping Liu,et al.  Eigenvalue Ratios of Non-Negatively Curved Graphs , 2018, Comb. Probab. Comput..

[10]  S. Myers,et al.  Riemannian manifolds with positive mean curvature , 1941 .

[11]  Florentin Münch,et al.  Bakry–Émery curvature and diameter bounds on graphs , 2016, 1608.07778.

[12]  F. Chung,et al.  Curvature aspects of graphs , 2017 .

[13]  Karl-Theodor Sturm,et al.  On the geometry of metric measure spaces , 2006 .

[14]  Dominique Bakry,et al.  Functional Inequalities for Markov semigroups , 2009 .

[15]  M. Schmuckenschläger.  Curvature of Nonlocal Markov Generators , 1998 .

[16]  M. Gromov.  Metric Structures for Riemannian and Non-Riemannian Spaces , 1999 .

[17]  Max Fathi,et al.  Curvature and transport inequalities for Markov chains in discrete spaces , 2015, 1509.07160.

[18]  Shiping Liu,et al.  Bakry–Émery Curvature Functions on Graphs , 2016, Canadian Journal of Mathematics.

[19]  Y. Ollivier.  A survey of Ricci curvature for metric spaces and Markov chains , 2010 .

[20]  Shiping Liu,et al.  Curvature and Higher Order Buser Inequalities for the Graph Connection Laplacian , 2015, SIAM J. Discret. Math..

[21]  M. Obata.  Certain conditions for a Riemannian manifold to be isometric with a sphere , 1962 .

[22]  J. Maas,et al.  Ricci Curvature of Finite Markov Chains via Convexity of the Entropy , 2011, 1111.2687.

[23]  Paul-Marie Samson,et al.  Displacement convexity of entropy and related inequalities on graphs , 2012, Probability Theory and Related Fields.

[24]  P. Tetali,et al.  Discrete Curvature and Abelian Groups , 2015, Canadian Journal of Mathematics.

[25]  Feng-Yu Wang.  Equivalent semigroup properties for the curvature-dimension condition , 2010, 1012.5686.

[26]  Karl-Theodor Sturm,et al.  On the geometry of metric measure spaces. II , 2006 .

[27]  Yann Ollivier,et al.  A Curved Brunn-Minkowski Inequality on the Discrete Hypercube, Or: What Is the Ricci Curvature of the Discrete Hypercube? , 2010, SIAM J. Discret. Math..

[28]  C. Villani.  Synthetic theory of Ricci curvature bounds , 2015 .

[29]  Shiu-yuen Cheng,et al.  Eigenvalue comparison theorems and its geometric applications , 1975 .