In mathematics, percolation theory describes the behavior of connected clusters in a random graph. The applications of percolation theory to materials science and other domains are discussed in the article percolation.
A representative question (and the source of the name) is as follows. Assume we have some porous material and we pour some liquid on top. Will the liquid be able to make its way from hole to hole and reach the bottom? We model the physical question mathematically as a three-dimensional network of points (or vertices) the connections (or edges) between each two neighbors may be open (allowing the liquid through) with probability p, or closed with probability 1–p, and we assume they are independent. We ask: for a given p, what is the probability that an open path exists from the top to the bottom? Mostly we are interested in the behavior for large n.
As is quite typical, it is actually easier to examine infinite networks than just large ones. In this case the corresponding question is: does an infinite open cluster exist? That is, is there a path of connected points of infinite length "through" the network. In this case we may use Kolmogorov's zero-one law to see that, for any given p, the probability that an infinite cluster exists is either zero or one. Since this probability is increasing (this is obvious intuitively, but mathematicians need a coupling argument to prove it), there must be a critical p (denoted by ) below which the probability is always 0 and above which the probability is always 1. In practice, this criticality is very easy to observe. Even for n as small as 100, the probability of an open path from the top to the bottom increases sharply from very close to zero to very close to one in a short span of values of p.
In some cases may be calculated explicitly. For example, for the square lattice in two dimensions, , a fact which was an open question for more than 20 years and was finally resolved by Harry Kesten in the early '80s. More often than not, cannot be calculated. For example, is not known in three dimensions. However, it turns out that calculating is not necessarily the most interesting thing to do. The universality principle states that the value of is connected to the local structure of the graph, while the behavior of clusters below, at and above are invariants of the local structure, and therefore, in some sense are more natural quantities to consider.
The subcritical and supercritical phases
For , the probability that a specific point (for example, zero) is contained in an open cluster of size r drops exponentially in r. There is, with probability one, one infinite closed cluster. The finite closed clusters, like the open clusters, have exponential tails and thus are very small. Thus the subcritical phase may be described as open islands in a closed sea. The base of the exponent converges to one as p approaches .
The critical phase
- There are no infinite clusters (open or closed)
- The probability that there is an open path from some fixed point (say zero) to a distance of r decreases polynomially, i.e. is on the order of for some α
- α does not depend on the particular lattice chosen, or on other local parameters. It depends only on the dimension (this is an instance of the universality principle).
- decreases from d = 2 until d = 6 and then stays fixed.
- The stochastic behavior of large clusters in two dimensions is conformally invariant.
In dimension ≥ 19, these facts (except universality) are proved. In dimension 2, the first fact ("no percolation in the critical phase") is proved for all lattices, but the rest have only been proved for site percolation on the honeycomb or hexagonal lattice, and of course, universality is not proved. In dimensions 3 to 18, even the first conjecture is still open.
The different models
- The first model studied was Bernoulli percolation. In this model all bonds are independent. This model is called bond percolation by physicists.
- A generalization next was introduced as the Fortuin–Kasteleyn random cluster model, which has many connections with the Ising model and other Potts models.
- Bernoulli (bond) percolation on complete graphs is an example of a random graph. The critical probability is p=1/N.
- Directed percolation, which has connections with the contact process.
- First passage percolation.
- Invasion percolation.
- Percolation, by G.R. Grimmett
- Percolation for mathematicians by H. Kesten
- Interactive Percolation
- Introduction to Percolation Theory by Junqiao Wu
- Random Walk on Percolation Clusters
- Kesten, Harry (May 2006), "What Is ... Percolation?" (PDF), Notices of the American Mathematical Society, Providence, RI: American Mathematical Society, 53 (5): 572–573, ISSN 1088-9477