-
The convergence and uniqueness of a discrete-time nonlinear Markov chain
Authors:
Ruowei Li,
Florentin Münch
Abstract:
In this paper, we prove the convergence and uniqueness of a general discrete-time nonlinear Markov chain with specific conditions. The results have important applications in discrete differential geometry. First, on a general finite weighted graph, we prove the discrete-time Ollivier Ricci curvature flow $d_{n+1}\coloneqq(1-ακ_{d_{n}})d_{n}$ converges to a constant curvature metric. Then the autho…
▽ More
In this paper, we prove the convergence and uniqueness of a general discrete-time nonlinear Markov chain with specific conditions. The results have important applications in discrete differential geometry. First, on a general finite weighted graph, we prove the discrete-time Ollivier Ricci curvature flow $d_{n+1}\coloneqq(1-ακ_{d_{n}})d_{n}$ converges to a constant curvature metric. Then the author in \cite[Theorem 5.1]{M23} proved a Laplacian separation principle on a locally finite graph with non-negative Ollivier curvature. Here we prove the Laplacian separation flow converges to the constant Laplacian solution and generalize the result to nonlinear $p$-Laplace operators. Moreover, our results can also be applied to study the long-time behavior in the nonlinear Dirichlet forms theory and nonlinear Perron--Frobenius theory. At last, we define the Ollivier Ricci curvature of nonlinear Markov chain which is consistent with the classical Ollivier Ricci curvature, sectional curvature \cite{CMS24}, coarse Ricci curvature on hypergraphs \cite{IKTU21} and the modified Ollivier Ricci curvature for $p$-Laplace. And we prove the convergence results for the nonlinear Markov chain with nonnegative Ollivier Ricci curvature.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Cheeger type inequalities associated with isocapacitary constants on graphs
Authors:
Bobo Hua,
Florentin Münch,
Tao Wang
Abstract:
In this paper, we introduce Cheeger type constants via isocapacitary constants introduced by May'za to estimate first Dirichlet, Neumann and Steklov eigenvalues on a finite subgraph of a graph. Moreover, we estimate the bottom of the spectrum of the Laplace operator and the Dirichlet-to-Neumann operator for an infinite subgraph. Estimates for higher-order Steklov eigenvalues on a finite or infinit…
▽ More
In this paper, we introduce Cheeger type constants via isocapacitary constants introduced by May'za to estimate first Dirichlet, Neumann and Steklov eigenvalues on a finite subgraph of a graph. Moreover, we estimate the bottom of the spectrum of the Laplace operator and the Dirichlet-to-Neumann operator for an infinite subgraph. Estimates for higher-order Steklov eigenvalues on a finite or infinite subgraph are also proved.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
A note on Steinerberger's curvature for graphs
Authors:
David Cushing,
Supanat Kamtue,
Erin Law,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
In this note, we provide Steinerberger curvature formulas for block graphs, discuss curvature relations between two graphs and the graph obtained by connecting them via a bridge, and show that self-centered Bonnet-Myers sharp graphs are precisely those which are antipodal. We also discuss similarities and differences between Steinerberger and Ollivier Ricci curvature results.
In this note, we provide Steinerberger curvature formulas for block graphs, discuss curvature relations between two graphs and the graph obtained by connecting them via a bridge, and show that self-centered Bonnet-Myers sharp graphs are precisely those which are antipodal. We also discuss similarities and differences between Steinerberger and Ollivier Ricci curvature results.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Entropic curvature not comparable to other curvatures -- or is it?
Authors:
Supanat Kamtue,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
In this paper we consider global $θ$-curvatures of finite Markov chains with associated means $θ$ in the spirit of the entropic curvature (based on the logarithmic mean) by Erbar-Maas and Mielke. As in the case of Bakry-Émery curvature, we also allow for a finite dimension parameter by making use of an adapted $Γ$ calculus for $θ$-curvatures. We prove explicit positive lower curvature bounds (both…
▽ More
In this paper we consider global $θ$-curvatures of finite Markov chains with associated means $θ$ in the spirit of the entropic curvature (based on the logarithmic mean) by Erbar-Maas and Mielke. As in the case of Bakry-Émery curvature, we also allow for a finite dimension parameter by making use of an adapted $Γ$ calculus for $θ$-curvatures. We prove explicit positive lower curvature bounds (both finite- and infinite-dimensional) for finite abelian Cayley graphs. In the case of cycles, we provide also an upper curvature bound which shows that our lower bounds are asymptotically sharp (up to a logarithmic factor). Moreover, we prove new universal lower curvature bounds for finite Markov chains as well as curvature perturbation results (allowing, in particular, to compare entropic and Bakry-Émery curvatures). Finally, we present examples where entropic curvature differs significantly from other curvature notions like Bakry-Émery curvature or Ollivier Ricci and sectional curvatures.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
Entropy and curvature: beyond the Peres-Tetali conjecture
Authors:
Pietro Caputo,
Florentin Münch,
Justin Salez
Abstract:
We study Markov chains with non-negative sectional curvature on finite metric spaces. Neither reversibility, nor the restriction to a particular combinatorial distance are imposed. In this level of generality, we prove that a 1-step contraction in the Wasserstein distance implies a 1-step contraction in relative entropy, by the same amount. Our result substantially strengthens a recent breakthroug…
▽ More
We study Markov chains with non-negative sectional curvature on finite metric spaces. Neither reversibility, nor the restriction to a particular combinatorial distance are imposed. In this level of generality, we prove that a 1-step contraction in the Wasserstein distance implies a 1-step contraction in relative entropy, by the same amount. Our result substantially strengthens a recent breakthrough of the second author, and has the advantage of being applicable to arbitrary scales. This leads to a time-varying refinement of the standard Modified Log-Sobolev Inequality (MLSI), which allows us to leverage the well-acknowledged fact that curvature improves at large scales. We illustrate this principle with several applications, including birth and death chains, colored exclusion processes, permutation walks, Gibbs samplers for high-temperature spin systems, and attractive zero-range dynamics. In particular, we prove a MLSI with constant equal to the minimal rate increment for the mean-field zero-range process, thereby answering a long-standing question.
△ Less
Submitted 9 February, 2024; v1 submitted 30 January, 2024;
originally announced January 2024.
-
Intertwining Curvature Bounds for Graphs and Quantum Markov Semigroups
Authors:
Florentin Münch,
Melchior Wirth,
Haonan Zhang
Abstract:
Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finit…
▽ More
Based on earlier work by Carlen-Maas and the second- and third-named author, we introduce the notion of intertwining curvature lower bounds for graphs and quantum Markov semigroups. This curvature notion is stronger than both Bakry-Émery and entropic Ricci curvature, while also computationally simpler than the latter. We verify intertwining curvature bounds in a number of examples, including finite weighted graphs and graphs with Laplacians admitting nice map** representations, as well as generalized dephasing semigroups and quantum Markov semigroups whose generators are formed by commuting jump operators. By improving on the best-known bounds for entropic curvature of depolarizing semigroups, we demonstrate that there can be a gap between the optimal intertwining and entropic curvature bound. In the case of qubits, this improved entropic curvature bound implies the modified logarithmic Sobolev inequality with optimal constant.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Bakry-Émery calculus for entropic curvature, new diameter estimates, and spectral gaps
Authors:
Supanat Kamtue,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
In this paper, we propose a generalization of Bakry-Émery's calculus which allows us to formulate both Bakry-Émery and entropic curvature simultaneously. This formulation represents both curvatures as an integral of the Bochner formula against some measure. This leads to a natural optimality criterion of measures, which we investigate in the Bakry-Émery setting. Moreover, our approach leads also t…
▽ More
In this paper, we propose a generalization of Bakry-Émery's calculus which allows us to formulate both Bakry-Émery and entropic curvature simultaneously. This formulation represents both curvatures as an integral of the Bochner formula against some measure. This leads to a natural optimality criterion of measures, which we investigate in the Bakry-Émery setting. Moreover, our approach leads also to a dimension parameter in the framework of entropic curvature.
We also present gradient estimate applications, that is, diameter estimates for Markov chains with strictly positive entropic curvature and a spectral gap estimate. The latter implies non-existence of non-negatively curved expanders.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Bakry-Émery and Ollivier Ricci Curvature of Cayley Graphs
Authors:
David Cushing,
Supanat Kamtue,
Riikka Kangaslampi,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
In this article we study two discrete curvature notions, Bakry-Émery curvature and Ollivier Ricci curvature, on Cayley graphs. We introduce Right Angled Artin-Coxeter Hybrids (RAACHs) generalizing Right Angled Artin and Coxeter groups (RAAGs and RACGs) and derive the curvatures of Cayley graphs of certain RAACHs. Moreover, we show for general finitely presented groups…
▽ More
In this article we study two discrete curvature notions, Bakry-Émery curvature and Ollivier Ricci curvature, on Cayley graphs. We introduce Right Angled Artin-Coxeter Hybrids (RAACHs) generalizing Right Angled Artin and Coxeter groups (RAAGs and RACGs) and derive the curvatures of Cayley graphs of certain RAACHs. Moreover, we show for general finitely presented groups $Γ= \langle S \, \mid\, R \rangle$ that addition of relators does not lead to a decrease the weighted curvatures of their Cayley graphs with adapted weighting schemes.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Neumann semigroup, subgraph convergence, form uniqueness, stochastic completeness and the Feller property
Authors:
Matthias Keller,
Florentin Münch,
Radosław K. Wojciechowski
Abstract:
We study heat kernel convergence of induced subgraphs with Neumann boundary conditions. We first establish convergence of the resulting semigroups to the Neumann semigroup in $\ell^2$. While convergence to the Neumann semigroup always holds, convergence to the Dirichlet semigroup in $\ell^2$ turns out to be equivalent to the coincidence of the Dirichlet and Neumann semigroups while convergence in…
▽ More
We study heat kernel convergence of induced subgraphs with Neumann boundary conditions. We first establish convergence of the resulting semigroups to the Neumann semigroup in $\ell^2$. While convergence to the Neumann semigroup always holds, convergence to the Dirichlet semigroup in $\ell^2$ turns out to be equivalent to the coincidence of the Dirichlet and Neumann semigroups while convergence in $\ell^1$ is equivalent to stochastic completeness. We then investigate the Feller property for the Neumann semigroup via generalized solutions and give applications to graphs satisfying a condition on the edges as well as birth-death chains.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Ollivier curvature, Isoperimetry, concentration, and Log-Sobolev inequalitiy
Authors:
Florentin Münch
Abstract:
We introduce a Laplacian separation principle for the the eikonal equation on Markov chains. As application, we prove an isoperimetric concentration inequality for Markov chains with non-negative Ollivier curvature. That is, every single point from the concentration profile yields an estimate for every point of the isoperimetric estimate. Applying to exponential and Gaussian concentration, we obta…
▽ More
We introduce a Laplacian separation principle for the the eikonal equation on Markov chains. As application, we prove an isoperimetric concentration inequality for Markov chains with non-negative Ollivier curvature. That is, every single point from the concentration profile yields an estimate for every point of the isoperimetric estimate. Applying to exponential and Gaussian concentration, we obtain affirmative answers to two open quesions by Erbar and Fathi. Moreover, we prove that the modified log-Sobolev constant is at least the minimal Ollivier Ricci curvature, assuming non-negative Ollivier sectional curvature, i.e., the Ollivier Ricci curvature when replacing the $\ell_1$ by the $\ell_\infty$ Wasserstein distance. This settles a recent open Problem by Pedrotti. We give a simple example showing that non-negative Ollivier sectional curvature is necessary to obtain a modified log-Sobolev inequality via positive Ollivier Ricci bound. This provides a counterexample to a conjecture by Peres and Tetali.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
Some variants of discrete positive mass theorems on graphs
Authors:
Bobo Hua,
Florentin Münch,
Haohang Zhang
Abstract:
Inspired by asymptotically flat manifolds, we introduce the concept of asymptotically flat graphs and define the discrete ADM mass on them. We formulate the discrete positive mass conjecture based on the scalar curvature in the sense of Ollivier curvature, and prove the positive mass theorem for asymptotically flat graphs that are combinatorially isomorphic to grid graphs. As a corollary, the disc…
▽ More
Inspired by asymptotically flat manifolds, we introduce the concept of asymptotically flat graphs and define the discrete ADM mass on them. We formulate the discrete positive mass conjecture based on the scalar curvature in the sense of Ollivier curvature, and prove the positive mass theorem for asymptotically flat graphs that are combinatorially isomorphic to grid graphs. As a corollary, the discrete torus does not admit positive scalar curvature. We prove a weaker version of the positive mass conjecture: an asymptotically flat graph with non-negative Ricci curvature is isomorphic to the standard grid graph. Hence the combinatorial structure of an asymptotically flat graph is determined by the curvature condition, which is a discrete analog of the rigidity part for the positive mass theorem. The key tool for the proof is the discrete harmonic function of linear growth associated with the salami structure.
△ Less
Submitted 18 February, 2024; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. II. Implementation
Authors:
David Cushing,
Supanat Kamtue,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff,
Ben Snodgrass
Abstract:
In this second part of a sequence of two papers, we discuss the implementation of a curvature flow on weighted graphs based on the Bakry-Émery calculus. This flow can be adapted to preserve the Markovian property and its limits as time goes to infinity turn out to be curvature sharp weighted graphs. After reviewing some of the main results of the first paper concerned with the theoretical aspects,…
▽ More
In this second part of a sequence of two papers, we discuss the implementation of a curvature flow on weighted graphs based on the Bakry-Émery calculus. This flow can be adapted to preserve the Markovian property and its limits as time goes to infinity turn out to be curvature sharp weighted graphs. After reviewing some of the main results of the first paper concerned with the theoretical aspects, we present various examples (random graphs, paths, cycles, complete graphs, wedge sums and Cartesian products of complete graphs, hypercubes) and exhibit further properties of this flow. One particular aspect in our investigations is asymptotic stability and instability of curvature flow equilibria. The paper ends with a description of the available Python functions and routines available in the ancillary file. We hope that the explanations of the Python implementation via examples will help users to carry out their own curvature flow experiments.
△ Less
Submitted 23 December, 2022;
originally announced December 2022.
-
Graphs with nonnegative curvature outside a finite subset, harmonic functions and number of ends
Authors:
Bobo Hua,
Florentin Münch
Abstract:
We study graphs with nonnegative Bakry-Émery curvature or Ollivier curvature outside a finite subset. For such a graph, via introducing the discrete Gromov-Hausdorff convergence we prove that the space of bounded harmonic functions is finite dimensional, and as a corollary the number of non-parabolic ends is finite.
We study graphs with nonnegative Bakry-Émery curvature or Ollivier curvature outside a finite subset. For such a graph, via introducing the discrete Gromov-Hausdorff convergence we prove that the space of bounded harmonic functions is finite dimensional, and as a corollary the number of non-parabolic ends is finite.
△ Less
Submitted 2 October, 2022;
originally announced October 2022.
-
Ollivier curvature, betweenness centrality and average distance
Authors:
Florentin Münch
Abstract:
We give a new upper bound for the average graph distance in terms of the average Ollivier curvature. Here, the average Ollivier curvature is weighted with the edge betweenness centrality. Moreover, we prove that equality is attained precisely for the reflective graphs which have been classified as Cartesian products of cocktail party graphs, Johnson graphs, halved cubes, Schläfli graphs, and Gosse…
▽ More
We give a new upper bound for the average graph distance in terms of the average Ollivier curvature. Here, the average Ollivier curvature is weighted with the edge betweenness centrality. Moreover, we prove that equality is attained precisely for the reflective graphs which have been classified as Cartesian products of cocktail party graphs, Johnson graphs, halved cubes, Schläfli graphs, and Gosset graphs.
△ Less
Submitted 30 September, 2022;
originally announced September 2022.
-
Mixing time and expansion of non-negatively curved Markov chains
Authors:
Florentin Münch,
Justin Salez
Abstract:
We establish three remarkable consequences of non-negative curvature for sparse Markov chains. First, their conductance decreases logarithmically with the number of states. Second, their displacement is at least diffusive until the mixing time. Third, they never exhibit the cutoff phenomenon. The first result provides a nearly sharp quantitative answer to a classical question of Ollivier, Milman a…
▽ More
We establish three remarkable consequences of non-negative curvature for sparse Markov chains. First, their conductance decreases logarithmically with the number of states. Second, their displacement is at least diffusive until the mixing time. Third, they never exhibit the cutoff phenomenon. The first result provides a nearly sharp quantitative answer to a classical question of Ollivier, Milman and Naor. The second settles a conjecture of Lee and Peres for graphs with non-negative curvature. The third offers a striking counterpoint to the recently established cutoff for non-negatively curved chains with uniform expansion.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Reflective Graphs, Ollivier curvature, effective diameter, and rigidity
Authors:
Florentin Münch
Abstract:
We give a discrete Bonnet Myers type theorem for the effective diameter assuming positive Ollivier curvature. We prove that this diameter bound is attained if and only if the graph is a cocktail party graph, a Johnson graph, a halved cube, a Schläfli graph, a Gosset graph, or a cartesian product of the mentioned graphs with same Ollivier curvature. As a key step in the proof, we introduce the noti…
▽ More
We give a discrete Bonnet Myers type theorem for the effective diameter assuming positive Ollivier curvature. We prove that this diameter bound is attained if and only if the graph is a cocktail party graph, a Johnson graph, a halved cube, a Schläfli graph, a Gosset graph, or a cartesian product of the mentioned graphs with same Ollivier curvature. As a key step in the proof, we introduce the notion of reflective graphs as graphs such that for any two neighbors there exists a certain self-inverse automorphism map** one neighbor to another. We classify these graphs as arbitrary cartesian products of the graphs mentioned before.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Extremal functions for the second-order Sobolev inequality on groups of polynomial growth
Authors:
Bobo Hua,
Ruowei Li,
Florentin Münch
Abstract:
In this paper, we prove the second-order Sobolev inequalities on Cayley graphs of groups of polynomial growth. We use the discrete Concentration-Compactness principle to prove the existence of extremal functions for best constants in supercritical cases. As applications, we get the existence of positive ground state solutions to the $p$-biharmonic equations and the Lane-Emden systems.
In this paper, we prove the second-order Sobolev inequalities on Cayley graphs of groups of polynomial growth. We use the discrete Concentration-Compactness principle to prove the existence of extremal functions for best constants in supercritical cases. As applications, we get the existence of positive ground state solutions to the $p$-biharmonic equations and the Lane-Emden systems.
△ Less
Submitted 29 April, 2022;
originally announced May 2022.
-
Bakry-Émery curvature sharpness and curvature flow in finite weighted graphs. I. Theory
Authors:
David Cushing,
Supanat Kamtue,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff,
Hugo Benedict Snodgrass
Abstract:
In this sequence of two papers, we introduce a curvature flow on (mixed) weighted graphs which is based on the Bakry-Émery calculus. The flow is described via a time-continuous evolution through the weighting schemes. By adapting this flow to preserve the Markovian property, its limits turn out to be curvature sharp. Our aim is to present the flow in the most general case of not necessarily revers…
▽ More
In this sequence of two papers, we introduce a curvature flow on (mixed) weighted graphs which is based on the Bakry-Émery calculus. The flow is described via a time-continuous evolution through the weighting schemes. By adapting this flow to preserve the Markovian property, its limits turn out to be curvature sharp. Our aim is to present the flow in the most general case of not necessarily reversible random walks allowing laziness, including vanishing transition probabilities along some edges ("degenerate" edges). This approach requires to extend all concepts (in particular, the Bakry-Émery curvature related notions) to this general case and it leads to a distinction between the underlying topology (a mixed combinatorial graph) and the weighting scheme (given by transition rates). We present various results about curvature sharp vertices and weighted graphs as well as some fundamental properties of this new curvature flow. This paper is accompanied by a second paper discussing the curvature flow implementation in Python for practical use. In this second paper we present examples and exhibit further properties of the flow.
△ Less
Submitted 26 December, 2022; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Characterizations of Forman curvature
Authors:
Jürgen Jost,
Florentin Münch
Abstract:
We characterize Forman curvature lower bounds via contractivity of the Hodge Laplacian semigroup. We prove that Ollivier and Forman curvature coincide on edges when maximizing the Forman curvature over the choice of 2-cells. To this end, we translate between 2-cells and transport plans. Moreover, we give improved diameter bounds. We explicitly warn the reader that our Forman curvature notion does…
▽ More
We characterize Forman curvature lower bounds via contractivity of the Hodge Laplacian semigroup. We prove that Ollivier and Forman curvature coincide on edges when maximizing the Forman curvature over the choice of 2-cells. To this end, we translate between 2-cells and transport plans. Moreover, we give improved diameter bounds. We explicitly warn the reader that our Forman curvature notion does not coincide with Forman's original definition, but can be seen as generalization of the latter one.
△ Less
Submitted 9 October, 2021;
originally announced October 2021.
-
Every Salami has two ends
Authors:
Bobo Hua,
Florentin Münch
Abstract:
A salami is a connected, locally finite, weighted graph with non-negative Ollivier Ricci curvature and at least two ends of infinite volume. We show that every salami has exactly two ends and no vertices with positive curvature. We moreover show that every salami is recurrent and admits harmonic functions with constant gradient. The proofs are based on extremal Lipschitz extensions, a variational…
▽ More
A salami is a connected, locally finite, weighted graph with non-negative Ollivier Ricci curvature and at least two ends of infinite volume. We show that every salami has exactly two ends and no vertices with positive curvature. We moreover show that every salami is recurrent and admits harmonic functions with constant gradient. The proofs are based on extremal Lipschitz extensions, a variational principle and the study of harmonic functions. Assuming a lower bound on the edge weight, we prove that salamis are quasi-isometric to the line, that the space of all harmonic functions has finite dimension, and that the space of subexponentially growing harmonic functions is two-dimensional. Moreover, we give a Cheng-Yau gradient estimate for harmonic functions on balls.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
Spectrally positive Bakry-Émery Ricci curvature on graphs
Authors:
Florentin Münch,
Christian Rose
Abstract:
We investigate analytic and geometric implications of non-constant Ricci curvature bounds. We prove a Lichnerowicz eigenvalue estimate and finiteness of the fundamental group assuming that $L+2 Ric$ is a positive operator where $L$ is the graph Laplacian. Assuming that the negative part of the Ricci curvature is small in Kato sense, we prove diameter bounds, elliptic Harnack inequality and Buser i…
▽ More
We investigate analytic and geometric implications of non-constant Ricci curvature bounds. We prove a Lichnerowicz eigenvalue estimate and finiteness of the fundamental group assuming that $L+2 Ric$ is a positive operator where $L$ is the graph Laplacian. Assuming that the negative part of the Ricci curvature is small in Kato sense, we prove diameter bounds, elliptic Harnack inequality and Buser inequality. This article seems to be the first one establishing these results while allowing for some negative curvature.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
Spectral gap of the largest eigenvalue of the normalized graph Laplacian
Authors:
Jürgen Jost,
Raffaella Mulas,
Florentin Münch
Abstract:
We offer a new method for proving that the maximal eigenvalue of the normalized graph Laplacian of a graph with $n$ vertices is at least $\frac{n+1}{n-1}$ provided the graph is not complete and that equality is attained if and only if the complement graph is a single edge or a complete bipartite graph with both parts of size $\frac{n-1}2$. With the same method, we also prove a new lower bound to t…
▽ More
We offer a new method for proving that the maximal eigenvalue of the normalized graph Laplacian of a graph with $n$ vertices is at least $\frac{n+1}{n-1}$ provided the graph is not complete and that equality is attained if and only if the complement graph is a single edge or a complete bipartite graph with both parts of size $\frac{n-1}2$. With the same method, we also prove a new lower bound to the largest eigenvalue in terms of the minimum vertex degree, provided this is at most $\frac{n-1}{2}$.
△ Less
Submitted 9 January, 2020; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Li-Yau inequality under $CD(0,n)$ on graphs
Authors:
Florentin Münch
Abstract:
We introduce a modified non-linear heat equation $\partial_t u = Δu + Γu$ as a substitute of $\log P_t f$ where $P_t$ is the heat semigroup. We prove an exponential decay of $Γu$ under the Bakry Emery curvature condition $CD(K,\infty)$ and prove the Li-Yau inequality $-Δu_t \leq \frac{n}{2t}$ under the Bakry Emery curvature condition $CD(0,n)$. From this, we deduce the volume doubling property whi…
▽ More
We introduce a modified non-linear heat equation $\partial_t u = Δu + Γu$ as a substitute of $\log P_t f$ where $P_t$ is the heat semigroup. We prove an exponential decay of $Γu$ under the Bakry Emery curvature condition $CD(K,\infty)$ and prove the Li-Yau inequality $-Δu_t \leq \frac{n}{2t}$ under the Bakry Emery curvature condition $CD(0,n)$. From this, we deduce the volume doubling property which solves a major open problem in discrete Ricci curvature. As an application, we show that there exist no expander graphs satisfying $CD(0,n)$.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Non-negative Ollivier curvature on graphs, reverse Poincaré inequality, Buser inequality, Liouville property, Harnack inequality and eigenvalue estimates
Authors:
Florentin Münch
Abstract:
We prove that for combinatorial graphs with non-negative Ollivier curvature, one has \[ \|P_t μ- P_t ν\|_1 \leq \frac{W_1(μ,ν)}{\sqrt{t}} \] for all probability measures $μ,ν$ where $P_t$ is the heat semigroup and $W_1$ is the $\ell_1$-Wasserstein distance. This turns out to be an equivalent formulation of a version of reverse Poincaré inequality. Furthermore, this estimate allows us to prove Buse…
▽ More
We prove that for combinatorial graphs with non-negative Ollivier curvature, one has \[ \|P_t μ- P_t ν\|_1 \leq \frac{W_1(μ,ν)}{\sqrt{t}} \] for all probability measures $μ,ν$ where $P_t$ is the heat semigroup and $W_1$ is the $\ell_1$-Wasserstein distance. This turns out to be an equivalent formulation of a version of reverse Poincaré inequality. Furthermore, this estimate allows us to prove Buser inequality, Liouville property and the the eigenvalue estimate $λ_1 \geq \log(2)/\operatorname{diam}^2$.
△ Less
Submitted 31 July, 2019;
originally announced July 2019.
-
Large scale Ricci curvature on graphs
Authors:
Mark Kempton,
Gabor Lippner,
Florentin Munch
Abstract:
We define a hybrid between Ollvier and Bakry Emery curvature on graphs with dependence on a variable neighborhood. The hexagonal lattice is non-negatively curved under this new curvature notion. Bonnet-Myers diameter bounds and Lichnerowicz eigenvalue estimates follow from the standard arguments. We prove gradient estimates similar to the ones obtained from Bakry Emery curvature allowing us to pro…
▽ More
We define a hybrid between Ollvier and Bakry Emery curvature on graphs with dependence on a variable neighborhood. The hexagonal lattice is non-negatively curved under this new curvature notion. Bonnet-Myers diameter bounds and Lichnerowicz eigenvalue estimates follow from the standard arguments. We prove gradient estimates similar to the ones obtained from Bakry Emery curvature allowing us to prove Harnack and Buser inequalities.
△ Less
Submitted 14 June, 2019;
originally announced June 2019.
-
Liouville property and non-negative Ollivier curvature on graphs
Authors:
Jürgen Jost,
Florentin Münch,
Christian Rose
Abstract:
For graphs with non-negative Ollivier curvature, we prove the Liouville property, i.e., every bounded harmonic function is constant. Moreover, we improve Ollivier's results on concentration of the measure under positive Ollivier curvature.
For graphs with non-negative Ollivier curvature, we prove the Liouville property, i.e., every bounded harmonic function is constant. Moreover, we improve Ollivier's results on concentration of the measure under positive Ollivier curvature.
△ Less
Submitted 26 March, 2019;
originally announced March 2019.
-
Perpetual cutoff method and discrete Ricci curvature bounds with exceptions
Authors:
Florentin Münch
Abstract:
One of the main obstacles regarding Barky Emery curvature on graphs is that the results require a global uniform lower curvature bounds where no exception sets are allowed. We overcome this obstacle by introducing the perpetual cutoff method. As applications, we prove gradient estimates only requiring curvature bounds on parts of the graph. Moreover, we sharply upper bound the distance to the exce…
▽ More
One of the main obstacles regarding Barky Emery curvature on graphs is that the results require a global uniform lower curvature bounds where no exception sets are allowed. We overcome this obstacle by introducing the perpetual cutoff method. As applications, we prove gradient estimates only requiring curvature bounds on parts of the graph. Moreover, we sharply upper bound the distance to the exception set for graphs having uniformly positive Bakry-Emery curvature everywhere but on the exception set.
△ Less
Submitted 20 January, 2024; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Gradient estimates, Bakry-Emery Ricci curvature and ellipticity for unbounded graph Laplacians
Authors:
Matthias Keller,
Florentin Münch
Abstract:
In this article, we prove gradient estimates under Bakry-Emery curvature bounds for unbounded graph Laplacians which satisfy an ellipticity assumption. As applications, we study completeness and finiteness of stochastically complete graphs under Bakry-Emery curvature bounds.
In this article, we prove gradient estimates under Bakry-Emery curvature bounds for unbounded graph Laplacians which satisfy an ellipticity assumption. As applications, we study completeness and finiteness of stochastically complete graphs under Bakry-Emery curvature bounds.
△ Less
Submitted 23 November, 2020; v1 submitted 26 July, 2018;
originally announced July 2018.
-
A discrete Hopf-Rinow-theorem
Authors:
Matthias Keller,
Florentin Münch
Abstract:
We prove a version of the Hopf-Rinow-theorem with respect to path metrics on discrete spaces. The novel aspect is that we do not a priori assume local finiteness but isolate a local finiteness type condition, called essential local finiteness, that is indeed necessary. As a side product we identify the maximal weight, called the geodesic weight, which generates the path metric in the situation whe…
▽ More
We prove a version of the Hopf-Rinow-theorem with respect to path metrics on discrete spaces. The novel aspect is that we do not a priori assume local finiteness but isolate a local finiteness type condition, called essential local finiteness, that is indeed necessary. As a side product we identify the maximal weight, called the geodesic weight, which generates the path metric in the situation when the space is complete with respect to any of the equivalent notions of completeness proven in the Hopf-Rinow theorem. As an application, we characterize the graphs for which the resistance metric is a path metric induced by the graph structure.
△ Less
Submitted 26 July, 2018;
originally announced July 2018.
-
Rigidity of the Bonnet-Myers inequality for graphs with respect to Ollivier Ricci curvature
Authors:
David Cushing,
Supanat Kamtue,
Jack Koolen,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
We introduce the notion of Bonnet-Myers and Lichnerowicz sharpness in the Ollivier Ricci curvature sense. Our main result is a classification of all self-centered Bonnet-Myers sharp graphs (hypercubes, cocktail party graphs, even-dimensional demi-cubes, Johnson graphs $J(2n,n)$, the Gosset graph and suitable Cartesian products). We also present a purely combinatorial reformulation of this result.…
▽ More
We introduce the notion of Bonnet-Myers and Lichnerowicz sharpness in the Ollivier Ricci curvature sense. Our main result is a classification of all self-centered Bonnet-Myers sharp graphs (hypercubes, cocktail party graphs, even-dimensional demi-cubes, Johnson graphs $J(2n,n)$, the Gosset graph and suitable Cartesian products). We also present a purely combinatorial reformulation of this result. We show that Bonnet-Myers sharpness implies Lichnerowicz sharpness. We also relate Bonnet-Myers sharpness to an upper bound of Bakry-Émery $\infty$-curvature, which motivates a generalconjecture about Bakry-Émery $\infty$-curvature.
△ Less
Submitted 6 July, 2018;
originally announced July 2018.
-
Coverings and the heat equation on graphs: stochastic incompleteness, the Feller property and uniform transience
Authors:
Bobo Hua,
Florentin Münch,
Radosław K. Wojciechowski
Abstract:
We study regular coverings of graphs and manifolds with a focus on properties of the heat equation. In particular, we look at stochastic incompleteness, the Feller property and uniform transience; and investigate the connection between the validity of these properties on the base space and its covering. For both graphs and manifolds, we prove the equivalence of stochastic incompleteness of the bas…
▽ More
We study regular coverings of graphs and manifolds with a focus on properties of the heat equation. In particular, we look at stochastic incompleteness, the Feller property and uniform transience; and investigate the connection between the validity of these properties on the base space and its covering. For both graphs and manifolds, we prove the equivalence of stochastic incompleteness of the base and that of its cover. Along the way we also give some new conditions for the Feller property to hold on graphs.
△ Less
Submitted 19 February, 2018;
originally announced February 2018.
-
Curvature calculations for antitrees
Authors:
David Cushing,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
In this article we prove that antitrees with suitable growth properties are examples of infinite graphs exhibiting strictly positive curvature in various contexts: in the normalized and non-normalized Bakry-Émery setting as well in the Ollivier-Ricci curvature case. We also show that these graphs do not have global positive lower curvature bounds, which one would expect in view of discrete analogu…
▽ More
In this article we prove that antitrees with suitable growth properties are examples of infinite graphs exhibiting strictly positive curvature in various contexts: in the normalized and non-normalized Bakry-Émery setting as well in the Ollivier-Ricci curvature case. We also show that these graphs do not have global positive lower curvature bounds, which one would expect in view of discrete analogues of the Bonnet-Myers theorem. The proofs in the different settings require different techniques.
△ Less
Submitted 29 January, 2018;
originally announced January 2018.
-
Ricci curvature on birth-death processes
Authors:
Bobo Hua,
Florentin Münch
Abstract:
In this paper, we study curvature dimension conditions on birth-death processes which correspond to linear graphs, i.e., weighted graphs supported on the infinite line or the half line. We give a combinatorial characterization of Bakry and Émery's $CD(K,n)$ condition for linear graphs and prove the triviality of edge weights for every linear graph supported on the infinite line $\mathbb{Z}$ with n…
▽ More
In this paper, we study curvature dimension conditions on birth-death processes which correspond to linear graphs, i.e., weighted graphs supported on the infinite line or the half line. We give a combinatorial characterization of Bakry and Émery's $CD(K,n)$ condition for linear graphs and prove the triviality of edge weights for every linear graph supported on the infinite line $\mathbb{Z}$ with non-negative curvature. Moreover, we show that linear graphs with curvature decaying not faster than $-R^2$ are stochastically complete. We deduce a type of Bishop-Gromov comparison theorem for normalized linear graphs. For normalized linear graphs with non-negative curvature, we obtain the volume doubling property and the Poincaré inequality, which yield Gaussian heat kernel estimates and parabolic Harnack inequality by Delmotte's result. As applications, we generalize the volume growth and stochastic completeness properties to weakly spherically symmetric graphs. Furthermore, we give examples of infinite graphs with a positive lower curvature bound.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
Ollivier Ricci curvature for general graph Laplacians: Heat equation, Laplacian comparison, non-explosion and diameter bounds
Authors:
Florentin Münch,
Radoslaw K. Wojciechowski
Abstract:
Discrete time random walks on a finite set naturally translate via a one-to-one correspondence to discrete Laplace operators. Typically, Ollivier curvature has been investigated via random walks. We first extend the definition of Ollivier curvature to general weighted graphs and then give a strikingly simple representation of Ollivier curvature using the graph Laplacian. Using the Laplacian as a g…
▽ More
Discrete time random walks on a finite set naturally translate via a one-to-one correspondence to discrete Laplace operators. Typically, Ollivier curvature has been investigated via random walks. We first extend the definition of Ollivier curvature to general weighted graphs and then give a strikingly simple representation of Ollivier curvature using the graph Laplacian. Using the Laplacian as a generator of a continuous time Markov chain, we connect Ollivier curvature with the heat equation which is strongly related to continuous time random walks. In particular, we prove that a lower bound on the Ollivier curvature is equivalent to a certain Lipschitz decay of solutions to the heat equation. This is a discrete analogue to a celebrated Ricci curvature lower bound characterization by Renesse and Sturm. Our representation of Ollivier curvature via the Laplacian allows us to deduce a Laplacian comparison principle by which we prove non-explosion and improved diameter bounds.
△ Less
Submitted 3 December, 2017;
originally announced December 2017.
-
Magnetic sparseness and Schrödinger operators on graphs
Authors:
Michel Bonnefont,
Sylvain Golénia,
Matthias Keller,
Shi** Liu,
Florentin Münch
Abstract:
We study magnetic Schrödinger operators on graphs. We extend the notion of sparseness of graphs by including a magnetic quantity called the frustration index. This notion of magnetic sparse turn out to be equivalent to the fact that the form domain is an $\ell^{2}$ space. As a consequence, we get criteria of discreteness for the spectrum and eigenvalue asymptotics.
We study magnetic Schrödinger operators on graphs. We extend the notion of sparseness of graphs by including a magnetic quantity called the frustration index. This notion of magnetic sparse turn out to be equivalent to the fact that the form domain is an $\ell^{2}$ space. As a consequence, we get criteria of discreteness for the spectrum and eigenvalue asymptotics.
△ Less
Submitted 28 November, 2017;
originally announced November 2017.
-
Relationships between cycle spaces, gain graphs, graph coverings, fundamental groups, path homology, and graph curvature
Authors:
Mark Kempton,
Florentin Munch,
Shing-Tung Yau
Abstract:
We prove a homology vanishing theorem for graphs with positive Bakry-Émery curvature, analogous to a classic result of Bochner on manifolds \cite{Bochner}. Specifically, we prove that if a graph has positive curvature at every vertex, then its first homology group is trivial, where the notion of homology that we use for graphs is the path homology developed by Grigor'yan, Lin, Muranov, and Yau \ci…
▽ More
We prove a homology vanishing theorem for graphs with positive Bakry-Émery curvature, analogous to a classic result of Bochner on manifolds \cite{Bochner}. Specifically, we prove that if a graph has positive curvature at every vertex, then its first homology group is trivial, where the notion of homology that we use for graphs is the path homology developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan2}. %\Hm{added the fundamental group curvature relation} We moreover prove that the fundamental group is finite for graphs with positive Bakry-Émery curvature, analogous to a classic result of Myers on manifolds \cite{Myers1941}. The proofs draw on several separate areas of graph theory. We study graph coverings, gain graphs, and cycle spaces of graphs, in addition to the Bakry-Émery curvature and the path homology. The main results follow as a consequence of several different relationships developed among these different areas. Specifically, we show that a graph with positive curvature can have no non-trivial infinite cover preserving 3-cycles and 4-cycles, and give a combinatorial interpretation of the first path homology in terms of the cycle space of a graph. We relate cycle spaces of graphs to gain graphs with abelian gain group, and relate these to coverings of graphs. Along the way, we prove other new facts about gain graphs, coverings, and cycles spaces that are of related interest. Furthermore, we relate gain graphs to graph homotopy and the fundamental group developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan_homotopy}, and obtain an alternative proof to their result that the abelianization of the fundamental group is isomorphic to the first path homology over the integers.
△ Less
Submitted 5 December, 2017; v1 submitted 3 October, 2017;
originally announced October 2017.
-
Distance bounds for graphs with some negative Bakry-Émery curvature
Authors:
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff,
Christian Rose
Abstract:
We prove distance bounds for graphs possessing positive Bakry-Émery curvature apart from an exceptional set, where the curvature is allowed to be non-positive. If the set of non-positively curved vertices is finite, then the graph admits an explicit upper bound for the diameter. Otherwise, the graph is a subset of the tubular neighborhood with an explicit radius around the non-positively curved ve…
▽ More
We prove distance bounds for graphs possessing positive Bakry-Émery curvature apart from an exceptional set, where the curvature is allowed to be non-positive. If the set of non-positively curved vertices is finite, then the graph admits an explicit upper bound for the diameter. Otherwise, the graph is a subset of the tubular neighborhood with an explicit radius around the non-positively curved vertices. Those results seem to be the first assuming non-constant Bakry-Émery curvature assumptions on graphs.
△ Less
Submitted 22 March, 2019; v1 submitted 23 May, 2017;
originally announced May 2017.
-
Rigidity properties of the hypercube via Bakry-Emery curvature
Authors:
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
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'…
▽ More
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.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
Ollivier-Ricci idleness functions of graphs
Authors:
David Bourne,
David Cushing,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
We study the Ollivier-Ricci curvature of graphs as a function of the chosen idleness. We show that this idleness function is concave and piecewise linear with at most $3$ linear parts, with at most $2$ linear parts in the case of a regular graph. We then apply our result to show that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness funct…
▽ More
We study the Ollivier-Ricci curvature of graphs as a function of the chosen idleness. We show that this idleness function is concave and piecewise linear with at most $3$ linear parts, with at most $2$ linear parts in the case of a regular graph. We then apply our result to show that the idleness function of the Cartesian product of two regular graphs is completely determined by the idleness functions of the factors.
△ Less
Submitted 4 July, 2017; v1 submitted 14 April, 2017;
originally announced April 2017.
-
Bakry-Emery curvature and diameter bounds on graphs
Authors:
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
We prove diameter bounds for graphs having positive Ricci-curvature bound in Bakry-Emery sense. One result using only curvature and maximal vertex degree is sharp in case of hypercubes. The other result depends on an additional dimension bound, but is independent of the vertex degree. In particular, the second result is the first Bonnet-Myers type theorem for unbounded graph Laplacians. Moreover,…
▽ More
We prove diameter bounds for graphs having positive Ricci-curvature bound in Bakry-Emery sense. One result using only curvature and maximal vertex degree is sharp in case of hypercubes. The other result depends on an additional dimension bound, but is independent of the vertex degree. In particular, the second result is the first Bonnet-Myers type theorem for unbounded graph Laplacians. Moreover, our results improve diameter bounds from [6] and [10].
△ Less
Submitted 18 November, 2016; v1 submitted 28 August, 2016;
originally announced August 2016.
-
Ricci curvature and eigenvalue estimates for the magnetic Laplacian on manifolds
Authors:
Michela Egidi,
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
In this paper, we present a Lichnerowicz type estimate and (higher order) Buser type estimates for the magnetic Laplacian on a closed Riemannian manifold with a magnetic potential. These results relate eigenvalues, magnetic fields, Ricci curvature, and Cheeger type constants.
In this paper, we present a Lichnerowicz type estimate and (higher order) Buser type estimates for the magnetic Laplacian on a closed Riemannian manifold with a magnetic potential. These results relate eigenvalues, magnetic fields, Ricci curvature, and Cheeger type constants.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Curvature and higher order Buser inequalities for the graph connection Laplacian
Authors:
Shi** Liu,
Florentin Münch,
Norbert Peyerimhoff
Abstract:
We study the eigenvalues of the connection Laplacian on a graph with an orthogonal group or unitary group signature. We establish higher order Buser type inequalities, i.e., we provide upper bounds for eigenvalues in terms of Cheeger constants in the case of nonnegative Ricci curvature. In this process, we discuss the concepts of Cheeger type constants and a discrete Ricci curvature for connection…
▽ More
We study the eigenvalues of the connection Laplacian on a graph with an orthogonal group or unitary group signature. We establish higher order Buser type inequalities, i.e., we provide upper bounds for eigenvalues in terms of Cheeger constants in the case of nonnegative Ricci curvature. In this process, we discuss the concepts of Cheeger type constants and a discrete Ricci curvature for connection Laplacians and study their properties systematically. The Cheeger constants are defined as mixtures of the expansion rate of the underlying graph and the frustration index of the signature. The discrete curvature, which can be computed efficiently via solving semidefinite programming problems, has a characterization by the heat semigroup for functions combined with a heat semigroup for vector fields on the graph.
△ Less
Submitted 26 December, 2015;
originally announced December 2015.
-
Note on short time behavior of semigroups associated to selfadjoint operators
Authors:
Matthias Keller,
Daniel Lenz,
Florentin Münch,
Marcel Schmidt,
Andras Telcs
Abstract:
We present a simple observation showing that the heat kernel on a locally finite graph behaves for short times $t$ roughly like $t^d$, where $d$ is the combinatorial distance. This is very different from the classical Varadhan type behavior on manifolds. Moreover, this also gives that short time behavior and global behavior of the heat kernel are governed by two different metrics whenever the degr…
▽ More
We present a simple observation showing that the heat kernel on a locally finite graph behaves for short times $t$ roughly like $t^d$, where $d$ is the combinatorial distance. This is very different from the classical Varadhan type behavior on manifolds. Moreover, this also gives that short time behavior and global behavior of the heat kernel are governed by two different metrics whenever the degree of the graph is not uniformly bounded.
△ Less
Submitted 23 September, 2015; v1 submitted 7 September, 2015;
originally announced September 2015.
-
Remarks on curvature dimension conditions on graphs
Authors:
Florentin Münch
Abstract:
We show a connection between the $CDE'$ inequality and the $CDψ$ inequality. In particular, we introduce a $CD_ψ^\varphi$ inequality as a slight generalization of $CDψ$ which turns out to be equivalent to $CDE'$ with appropriate choices of $\varphi$ and $ψ$. We use this to prove that the $CDE'$ inequality implies the classical $CD$ inequality on graphs, and that the $CDE'$ inequality with curvatur…
▽ More
We show a connection between the $CDE'$ inequality and the $CDψ$ inequality. In particular, we introduce a $CD_ψ^\varphi$ inequality as a slight generalization of $CDψ$ which turns out to be equivalent to $CDE'$ with appropriate choices of $\varphi$ and $ψ$. We use this to prove that the $CDE'$ inequality implies the classical $CD$ inequality on graphs, and that the $CDE'$ inequality with curvature bound zero holds on Ricci-flat graphs.
△ Less
Submitted 23 January, 2015;
originally announced January 2015.
-
Li-Yau inequality on finite graphs via non-linear curvature dimension conditions
Authors:
Florentin Münch
Abstract:
We introduce a new version of a curvature-dimension inequality for non-negative curvature. We use this inequality to prove a logarithmic Li-Yau inequality on finite graphs. To formulate this inequality, we introduce a non-linear variant of the calculus of Bakry and Émery. In the case of manifolds, the new calculus and the new curvature-dimension inequality coincide with the common ones. In the cas…
▽ More
We introduce a new version of a curvature-dimension inequality for non-negative curvature. We use this inequality to prove a logarithmic Li-Yau inequality on finite graphs. To formulate this inequality, we introduce a non-linear variant of the calculus of Bakry and Émery. In the case of manifolds, the new calculus and the new curvature-dimension inequality coincide with the common ones. In the case of graphs, they coincide in a limit. In this sense, the new curvature-dimension inequality gives a more general concept of curvature on graphs and on manifolds. We show that Ricci-flat graphs have a non-negative curvature in this sense. Moreover, a variety of non-logarithmic Li-Yau type gradient estimates can be obtained by using the new Bakry-Émery type calculus. Furthermore, we use these Li-Yau inequalities to derive Harnack inequalities on graphs.
△ Less
Submitted 10 December, 2014;
originally announced December 2014.
-
Geometry and spectrum of rapidly branching graphs
Authors:
Matthias Keller,
Felix Pogorzelski,
Florentin Münch
Abstract:
We study graphs whose vertex degree tends and which are, therefore, called rapidly branching. We prove spectral estimates, discreteness of spectrum, first order eigenvalue and Weyl asymptotics solely in terms of the vertex degree growth. The underlying techniques are estimates on the isoperimetric constant. Furthermore, we give lower volume growth bounds and we provide a new criterion for stochast…
▽ More
We study graphs whose vertex degree tends and which are, therefore, called rapidly branching. We prove spectral estimates, discreteness of spectrum, first order eigenvalue and Weyl asymptotics solely in terms of the vertex degree growth. The underlying techniques are estimates on the isoperimetric constant. Furthermore, we give lower volume growth bounds and we provide a new criterion for stochastic incompleteness.
△ Less
Submitted 7 November, 2014;
originally announced November 2014.