We show how the evolving set methodology of Morris and Peres can be used to show Cheeger inequalities for bounding the spectral gap of a finite Markov kernel. This leads to sharp versions of several previous Cheeger inequalities, including ones involving edge-expansion, vertex-expansion, and mixtures of both. A bound on the smallest eigenvalue also follows.
We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings.
In this paper, some new forms of the Cheeger's inequalities are established for general (maybe unbounded) symmetric forms, the resulting estimates improve and extend the ones obtained by Lawler and Sokal (1988) for bounded jump processes. Furthermore, some existence criteria for spectral gap of general symmetric forms or general reversible Markov processes are presented, based on the Cheeger's inequalities and a relationship between the spectral gap and the first Dirichlet and Neumann eigenvalues on local region.
In 1991, Persi Diaconis and Daniel Stroock obtained two canonical path bounds on the second largest eigenvalue for simple random walk on a connected graph, the Poincaré and Cheeger bounds, and they raised the question as to whether the Poincaré bound is always superior. In this paper, we present some background on these issues, provide an example where Cheeger beats Poincaré, establish some sufficient conditions on the canonical paths for the Poincaré bound to triumph, and show that there is always a choice of paths for which this happens.
We develop a theory of weak Poincaré inequalities to characterize convergence rates of ergodic Markov chains. Motivated by the application of Markov chains in the context of algorithms, we develop a relevant set of tools which enable the practical study of convergence rates in the setting of Markov chain Monte Carlo methods, but also well beyond.
We prove a lower bound for the $k$-th Steklov eigenvalues in terms of an isoperimetric constant called the $k$-th Cheeger-Steklov constant in three different situations: finite spaces, measurable spaces, and Riemannian manifolds. These lower bounds can be considered as higher order Cheeger type inequalities for the Steklov eigenvalues. In particular it extends the Cheeger type inequality for the first nonzero Steklov eigenvalue previously studied by Escobar in 1997 and by Jammes in 2015 to higher order Steklov eigenvalues. The technique we develop to get this lower bound is based on considerin…
We derive Cheeger inequalities for directed graphs and hypergraphs using the reweighted eigenvalue approach that was recently developed for vertex expansion in undirected graphs [OZ22,KLT22,JPV22]. The goal is to develop a new spectral theory for directed graphs and an alternative spectral theory for hypergraphs. The first main result is a Cheeger inequality relating the vertex expansion $\vecψ(G)$ of a directed graph $G$ to the vertex-capacitated maximum reweighted second eigenvalue $\vecλ_2^{v*}$: \[ \vecλ_2^{v*} \lesssim \vecψ(G) \lesssim \sqrt{\vecλ_2^{v*} \cdot \log (Δ/\vecλ_2^{v*})}. \] …
The classical Cheeger's inequality relates the edge conductance $ϕ$ of a graph and the second smallest eigenvalue $λ_2$ of the Laplacian matrix. Recently, Olesker-Taylor and Zanetti discovered a Cheeger-type inequality $ψ^2 / \log |V| \lesssim λ_2^* \lesssim ψ$ connecting the vertex expansion $ψ$ of a graph $G=(V,E)$ and the maximum reweighted second smallest eigenvalue $λ_2^*$ of the Laplacian matrix. In this work, we first improve their result to $ψ^2 / \log d \lesssim λ_2^* \lesssim ψ$ where $d$ is the maximum degree in $G$, which is optimal assuming the small-set expansion conjecture. Also…
We introduce a set of multi-way dual Cheeger constants and prove universal higher-order dual Cheeger inequalities for eigenvalues of normalized Laplace operators on weighted finite graphs. Our proof proposes a new spectral clustering phenomenon deduced from metrics on real projective spaces. We further extend those results to a general reversible Markov operator and find applications in characterizing its essential spectrum.
The goal of the paper is to sharpen and generalise bounds involving the Cheeger's isoperimetric constant $h$ and the first eigenvalue $λ_{1}$ of the Laplacian. A celebrated lower bound of $λ_{1}$ in terms of $h$, $λ_{1}\geq h^{2}/4$, was proved by Cheeger in 1970 for smooth Riemannian manifolds. An upper bound on $λ_{1}$ in terms of $h$ was established by Buser in 1982 (with dimensional constants) and improved (to a dimension-free estimate) by Ledoux in 2004 for smooth Riemannian manifolds with Ricci curvature bounded below. The goal of the paper is two fold. First: we sharpen the inequalities…
This paper is devoted to the study of probability measures with heavy tails. Using the Lyapunov function approach we prove that such measures satisfy different kind of functional inequalities such as weak Poincaré and weak Cheeger, weighted Poincaré and weighted Cheeger inequalities and their dual forms. Proofs are short and we cover very large situations. For product measures on $\R^n$ we obtain the optimal dimension dependence using the mass transportation method. Then we derive (optimal) isoperimetric inequalities. Finally we deal with spherically symmetric measures. We recover and improve …
We continue our investigation on the transportation-information inequalities $W_pI$ for a symmetric markov process, introduced and studied in \cite{GLWY}. We prove that $W_pI$ implies the usual transportation inequalities $W_pH$, then the corresponding concentration inequalities for the invariant measure $μ$. We give also a direct proof that the spectral gap in the space of Lipschitz functions for a diffusion process implies $W_1I$ (a result due to \cite{GLWY}) and a Cheeger type's isoperimetric inequality. Finally we exhibit relations between transportation-information inequalities and a fami…
We study functional inequalities (Poincaré, Cheeger, log-Sobolev) for probability measures obtained as perturbations. Several explicit results for general measures as well as log-concave distributions are given.The initial goal of this work was to obtain explicit bounds on the constants in view of statistical applications for instance. These results are then applied to the Langevin Monte-Carlo method used in statistics in order to compute Bayesian estimators.
Brascamp--Lieb-type, weighted Poincaré-type and related analytic inequalities are studied for multidimensional Cauchy distributions and more general $κ$-concave probability measures (in the hierarchy of convex measures). In analogy with the limiting (infinite-dimensional log-concave) Gaussian model, the weighted inequalities fully describe the measure concentration and large deviation properties of this family of measures. Cheeger-type isoperimetric inequalities are investigated similarly, giving rise to a common weight in the class of concave probability measures under consideration.
We study functional inequalities for Markov chains on discrete spaces with entropic Ricci curvature bounded from below. Our main results are that when curvature is non-negative, but not necessarily positive, the spectral gap, the Cheeger isoperimetric constant and the modified logarithmic Sobolev constant of the chain can be bounded from below by a constant that only depends on the diameter of the space, with respect to a suitable metric. These estimates are discrete analogues of classical results of Riemannian geometry obtained by Li and Yau, Buser and Wang.
This paper consists of four parts. In the first part, we explain what eigenvalues we are interested in and show the difficulties of the study on the first (non-trivial) eigenvalue through examples. In the second part, we present some (dual) variational formulas and explicit bounds for the first eigenvalue of Laplacian on Riemannian manifolds or Jacobi matrices (Markov chains). Here, a probabilistic approach--the coupling methods is adopted. In the third part, we introduce recent lower bounds of several basic inequalities; these are based on a generalization of Cheeger's approach which comes fr…
We study the radial parts of the Brownian motions on Kähler and quaternion Kähler manifolds. Thanks to sharp Laplacian comparison theorems, we deduce as a consequence a sharp Cheeger-Yau type lower bound for the heat kernels of such manifolds and also sharp Cheng's type estimates for the Dirichlet eigenvalues of metric balls.
We propose a new Borell-Brascamp-Lieb inequality which leads to novel sharp Euclidean inequalities such as Gagliardo-Nirenberg-Sobolev inequalities in R^n and in the half-space R^n\_+. This gives a new bridge between the geometric pont of view of the Brunn-Minkowski inequality and the functional point of view of the Sobolev type inequalities. In this way we unify, simplify and results by S. Bobkov-M. Ledoux, M. del Pino-J. Dolbeault and B. Nazaret.
The $L^p$ maximal inequalities for martingales are one of the classical results in probability theory. Here we establish the sharp moderate maximal inequalities for upward skip-free Markov chains, which include the $L^p$ maximal inequalities as special cases. Furthermore, we apply our theory to two specific examples and obtain their moderate maximal inequalities: the first one is the M/M/1 queue and the second one is an upward skip-free Markov chain with large death jumps. These two examples have the same total birth and death rates. However, the former exhibits a phase transition phenomenon w…
It is known that the couple formed by the two dimensional Brownian motion and its Lévy area leads to the heat kernel on the Heisenberg group, which is one of the simplest sub-Riemannian space. The associated diffusion operator is hypoelliptic but not elliptic, which makes difficult the derivation of functional inequalities for the heat kernel. However, Driver and Melcher and more recently H.-Q. Li have obtained useful gradient bounds for the heat kernel on the Heisenberg group. We provide in this paper simple proofs of these bounds, and explore their consequences in terms of functional inequal…
We prove sharp maximal inequalities for $L^q$-valued stochastic integrals with respect to any Hilbert space-valued local martingale. Our proof relies on new Burkholder-Rosenthal type inequalities for martingales taking values in an $L^q$-space.
Using some harmonic extensions on the upper-half plane, and probabilistic representations, and curvature-dimension inequalities with some negative dimensions, we obtain some new opimal functional inequalities of the Beckner type for the Cauchy type distributions on the Euclidean space. These optimal inequalities appear to be equivalent to some non tight optimal Beckner inequalities on the sphere, and the family appear to be a new form of the Sobolev inequality.
From simplex slicing to sharp reverse Hölder inequalities
Centro de Investigación en Matemáticas (CIMAT)(数学研究中心);Case Western Reserve University(凯斯西储大学);University of Cincinnati(辛辛那提大学);Carnegie Mellon University(卡内基梅隆大学)
We investigate links between the so-called Stein's density approach in dimension one and some functional and concentration inequalities. We show that measures having a finite first moment and a density with connected support satisfy a weighted Poincaré inequality with the weight being the Stein kernel, that indeed exists and is unique in this case. Furthermore, we prove weighted log-Sobolev and asymmetric Brascamp-Lieb type inequalities related to Stein kernels. We also show that existence of a uniformly bounded Stein kernel is sufficient to ensure a positive Cheeger isoperimetric constant. Th…
Using Bellman function approach, we present new proofs of weighted $L^2$ inequalities for square functions, with the optimal dependence on the $A_2$ characteristics of the weight and further explicit constants. We study the estimates both in the analytic and probabilistic context, and, as application, obtain related estimates for the classical Lusin and Littlewood-Paley square functions.