In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Cheeger bound is a bound of the second largest eigenvalue of the
transition matrix of a finite-state, discrete-time, reversible stationary
Markov chain
In probability theory and statistics, a Markov chain or Markov process is a stochastic process describing a sequence of possible events in which the probability of each event depends only on the state attained in the previous event. Informally ...
. It can be seen as a special case of
Cheeger inequalities in
expander graph
In graph theory, an expander graph is a sparse graph that has strong connectivity properties, quantified using vertex, edge or spectral expansion. Expander constructions have spawned research in pure and applied mathematics, with several appli ...
s.
Let
be a finite set and let
be the transition probability for a reversible Markov chain on
. Assume this chain has
stationary distribution Stationary distribution may refer to:
* and , a special distribution for a Markov chain such that if the chain starts with its stationary distribution, the marginal distribution of all states at any time will always be the stationary distribution. ...
.
Define
:
and for
define
:
Define the constant
as
:
The operator
acting on the
space of functions from
to
, defined by
:
has
eigenvalue
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s
. It is known that
. The Cheeger bound is a bound on the second largest eigenvalue
.
Theorem (Cheeger bound):
:
See also
*
Stochastic matrix
In mathematics, a stochastic matrix is a square matrix used to describe the transitions of a Markov chain. Each of its entries is a nonnegative real number representing a probability. It is also called a probability matrix, transition matrix, ''s ...
*
Cheeger constant
In Riemannian geometry, the Cheeger isoperimetric constant of a compact Riemannian manifold ''M'' is a positive real number ''h''(''M'') defined in terms of the minimal area of a hypersurface that divides ''M'' into two disjoint pieces. In 1971, ...
*
Conductance
References
*
*
Probabilistic inequalities
Stochastic processes
Statistical inequalities
{{statistics-stub