HOME

TheInfoList



OR:

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 X be a finite set and let K(x,y) be the transition probability for a reversible Markov chain on X. 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. ...
\pi. Define :Q(x,y) = \pi(x) K(x,y) and for A,B \subset X define : Q(A \times B) = \sum_ Q(x,y). Define the constant \Phi as : \Phi = \min_ \frac. The operator K, acting on the space of functions from , X, to \mathbb, defined by : (K \phi)(x) = \sum_y K(x,y) \phi(y) 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 \lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_n . It is known that \lambda_1 = 1. The Cheeger bound is a bound on the second largest eigenvalue \lambda_2. Theorem (Cheeger bound): : 1 - 2 \Phi \leq \lambda_2 \leq 1 - \frac.


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