Continuum percolation theory

In mathematics and probability theory, continuum percolation theory is a branch of mathematics that extends discrete percolation theory to continuous space (often Euclidean space ℝ). More specifically, the underlying points of discrete percolation form types of lattices whereas the underlying points of continuum percolation are often randomly positioned in some continuous space and form a type of point process. For each point, a random shape is frequently placed on it and the shapes overlap each with other to form clumps or components. As in discrete percolation, a common research focus of continuum percolation is studying the conditions of occurrence for infinite or giant components. Other shared concepts and analysis techniques exist in these two types of percolation theory as well as the study of random graphs and random geometric graphs.

Continuum percolation arose from an early mathematical model for wireless networks, which, with the rise of several wireless network technologies in recent years, has been generalized and studied in order to determine the theoretical bounds of information capacity and performance in wireless networks. In addition to this setting, continuum percolation has gained application in other disciplines including biology, geology, and physics, such as the study of porous material and semiconductors, while becoming a subject of mathematical interest in its own right.

Early history

In the early 1960s Edgar Gilbert proposed a mathematical model in wireless networks that gave rise to the field of continuum percolation theory, thus generalizing discrete percolation. The underlying points of this model, sometimes known as the Gilbert disk model, were scattered uniformly in the infinite plane ℝ according to a homogeneous Poisson process. Gilbert, who had noticed similarities between discrete and continuum percolation, then used concepts and techniques from the probability subject of branching processes to show that a threshold value existed for the infinite or "giant" component.

Definitions and terminology

The exact names, terminology, and definitions of these models may vary slightly depending on the source, which is also reflected in the use of point process notation.

Common models

A number of well-studied models exist in continuum percolation, which are often based on homogeneous Poisson point processes.

Disk model

Consider a collection of points {x_i} in the plane ℝ that form a homogeneous Poisson process Φ with constant (point) density λ. For each point of the Poisson process (i.e. x_i ∈ Φ), place a disk D_i with its center located at the point x_i. If each disk D_i has a random radius R_i (from a common distribution) that is independent of all the other radii and all the underlying points {x_i}, then the resulting mathematical structure is known as a random disk model.

Boolean model

Given a random disk model, if the set union of all the disks {D_i} is taken, then the resulting structure ⋃_i D_i is known as a Boolean–Poisson model (also known as simply the Boolean model), which is a commonly studied model in continuum percolation as well as stochastic geometry. If all the radii are set to some common constant, say, r > 0, then the resulting model is sometimes known as the Gilbert disk (Boolean) model.

Percolation in the Boolean–Poisson (constant disk) model. — Simulation of 4 Poisson–Boolean (constant-radius or Gilbert disk) models as the density increases with largest clusters in red.

Germ-grain model

The disk model can be generalized to more arbitrary shapes where, instead of a disk, a random compact (hence bounded and closed in ℝ) shape S_i is placed on each point x_i. Again, each shape S_i has a common distribution and independent to all other shapes and the underlying (Poisson) point process. This model is known as the germ–grain model where the underlying points {x_i} are the germs and the random compact shapes S_i are the grains. The set union of all the shapes forms a Boolean germ-grain model. Typical choices for the grains include disks, random polygon and segments of random length.

Boolean models are also examples of stochastic processes known as coverage processes. The above models can be extended from the plane ℝ to general Euclidean space ℝ.

Components and criticality

In the Boolean–Poisson model, disks there can be isolated groups or clumps of disks that do not contact any other clumps of disks. These clumps are known as components. If the area (or volume in higher dimensions) of a component is infinite, one says it is an infinite or "giant" component. A major focus of percolation theory is establishing the conditions when giant components exist in models, which has parallels with the study of random networks. If no big component exists, the model is said to be subcritical. The conditions of giant component criticality naturally depend on parameters of the model such as the density of the underlying point process.

Excluded area theory

The excluded area of a placed object is defined as the minimal area around the object into which an additional object cannot be placed without overlapping with the first object. For example, in a system of randomly oriented homogeneous rectangles of length l, width w and aspect ratio r = ⁠l/w⁠, the average excluded area is given by:

A_{r}=2lw\left(1+{\frac {4}{\pi ^{2}}}\right)+{\frac {2}{\pi }}\left(l^{2}+w^{2}\right)=2l^{2}\left

In a system of identical ellipses with semi-axes a and b and ratio r = ⁠a/b⁠, and perimeter C, the average excluded areas is given by:

A_{r}=2\pi ab+{\frac {C^{2}}{2\pi }}

The excluded area theory states that the critical number density (percolation threshold) N_c of a system is inversely proportional to the average excluded area A_r:

N_{\mathrm {c} }\propto A_{r}^{-1}

It has been shown via Monte-Carlo simulations that percolation threshold in both homogeneous and heterogeneous systems of rectangles or ellipses is dominated by the average excluded areas and can be approximated fairly well by the linear relation

N_{\mathrm {c} }-N_{\mathrm {c} 0}\propto A_{r}^{-1}

with a proportionality constant in the range 3.1–3.5.

Applications

Possible coverage model. — A Boolean model as a coverage model in a wireless network.

The applications of percolation theory are various and range from material sciences to wireless communication systems. Often the work involves showing that a type of phase transition occurs in the system.

Wireless networks

Wireless networks are sometimes best represented with stochastic models owing to their complexity and unpredictability, hence continuum percolation have been used to develop stochastic geometry models of wireless networks. For example, the tools of continuous percolation theory and coverage processes have been used to study the coverage and connectivity of sensor networks. One of the main limitations of these networks is energy consumption where usually each node has a battery and an embedded form of energy harvesting. To reduce energy consumption in sensor networks, various sleep schemes have been suggested that entail having a subcollection of nodes go into a low energy-consuming sleep mode. These sleep schemes obviously affect the coverage and connectivity of sensor networks. Simple power-saving models have been proposed such as the simple uncoordinated 'blinking' model where (at each time interval) each node independently powers down (or up) with some fixed probability. Using the tools of percolation theory, a blinking Boolean Poisson model has been analyzed to study the latency and connectivity effects of such a simple power scheme.

References

^ Meester, R. (1996). Continuum Percolation. Vol. 119. Cambridge University Press.
^ Franceschetti, M.; Meester, R. (2007). Random Networks for Communication: From Statistical Physics to Information Systems. Vol. 24. Cambridge University Press.
^ Gilbert, E. N. (1961). "Random plane networks". Journal of the Society for Industrial and Applied Mathematics. 9 (4): 533–543. doi:10.1137/0109045.
Dousse, O.; Baccelli, F.; Thiran, P. (2005). "Impact of interferences on connectivity in ad hoc networks". IEEE/ACM Transactions on Networking. 13 (2): 425–436. CiteSeerX 10.1.1.5.3971. doi:10.1109/tnet.2005.845546. S2CID 1514941.
Dousse, O.; Franceschetti, M.; Macris, N.; Meester, R.; Thiran, P. (2006). "Percolation in the signal to interference ratio graph". Journal of Applied Probability. 2006 (2): 552–562. doi:10.1239/jap/1152413741.
Balberg, I. (1987). "Recent developments in continuum percolation". Philosophical Magazine B. 56 (6): 991–1003. Bibcode:1987PMagB..56..991B. doi:10.1080/13642818708215336.
Hall, P. (1985). "On continuum percolation". The Annals of Probability. 13 (4): 1250–1266. doi:10.1214/aop/1176992809.
^ Stoyan, D.; Kendall, W. S.; Mecke, J.; Ruschendorf, L. (1995). Stochastic Geometry and Its Applications. Vol. 2. Wiley Chichester.
Balister, Paul; Sarkar, Amites; Bollobás, Béla (2008). "Percolation, connectivity, coverage and colouring of random geometric graphs". Handbook of Large-Scale Random Networks. pp. 117–142.
Hall, P. (1988). Introduction to the theory of coverage processes. Vol. 1. New York: Wiley.
^ Li, Jiantong; Östling, Mikael (2013). "Percolation thresholds of two-dimensional continuum systems of rectangles". Physical Review E. 88 (1): 012101. Bibcode:2013PhRvE..88a2101L. doi:10.1103/PhysRevE.88.012101. ISSN 1539-3755. PMID 23944408. S2CID 21438506.
^ Li, Jiantong; Östling, Mikael (2016). "Precise percolation thresholds of two-dimensional random systems comprising overlapping ellipses". Physica A: Statistical Mechanics and Its Applications. 462: 940–950. Bibcode:2016PhyA..462..940L. doi:10.1016/j.physa.2016.06.020. ISSN 0378-4371.
^ Dousse, O.; Mannersalo, P.; Thiran, P. (2004). "Latency of wireless sensor networks with uncoordinated power saving mechanisms". Proceedings of the 5th ACM International Symposium on Mobile Ad Hoc Networking and Computing. ACM. pp. 109–120.
Gui, C.; Mohapatra, P. (2004). "Power conservation and quality of surveillance in target tracking sensor networks". Proceedings of the 10th Annual International Conference on Mobile Computing and Networking. ACM. pp. 129–143.

v t e Stochastic processes
Discrete time	Bernoulli process Branching process Chinese restaurant process Galton–Watson process Independent and identically distributed random variables Markov chain Moran process Random walk Loop-erased Self-avoiding Biased Maximal entropy
Continuous time	Additive process Bessel process Birth–death process pure birth Brownian motion Bridge Excursion Fractional Geometric Meander Cauchy process Contact process Continuous-time random walk Cox process Diffusion process Dyson Brownian motion Empirical process Feller process Fleming–Viot process Gamma process Geometric process Hawkes process Hunt process Interacting particle systems Itô diffusion Itô process Jump diffusion Jump process Lévy process Local time Markov additive process McKean–Vlasov process Ornstein–Uhlenbeck process Poisson process Compound Non-homogeneous Schramm–Loewner evolution Semimartingale Sigma-martingale Stable process Superprocess Telegraph process Variance gamma process Wiener process Wiener sausage
Both	Branching process Gaussian process Hidden Markov model (HMM) Markov process Martingale Differences Local Sub- Super- Random dynamical system Regenerative process Renewal process Stochastic chains with memory of variable length White noise
Fields and other	Dirichlet process Gaussian random field Gibbs measure Hopfield model Ising model Potts model Boolean network Markov random field Percolation Pitman–Yor process Point process Cox Poisson Random field Random graph
Time series models	Autoregressive conditional heteroskedasticity (ARCH) model Autoregressive integrated moving average (ARIMA) model Autoregressive (AR) model Autoregressive–moving-average (ARMA) model Generalized autoregressive conditional heteroskedasticity (GARCH) model Moving-average (MA) model
Financial models	Binomial options pricing model Black–Derman–Toy Black–Karasinski Black–Scholes Chan–Karolyi–Longstaff–Sanders (CKLS) Chen Constant elasticity of variance (CEV) Cox–Ingersoll–Ross (CIR) Garman–Kohlhagen Heath–Jarrow–Morton (HJM) Heston Ho–Lee Hull–White Korn-Kreer-Lenssen LIBOR market Rendleman–Bartter SABR volatility Vašíček Wilkie
Actuarial models	Bühlmann Cramér–Lundberg Risk process Sparre–Anderson
Queueing models	Bulk Fluid Generalized queueing network M/G/1 M/M/1 M/M/c
Properties	Càdlàg paths Continuous Continuous paths Ergodic Exchangeable Feller-continuous Gauss–Markov Markov Mixing Piecewise-deterministic Predictable Progressively measurable Self-similar Stationary Time-reversible
Limit theorems	Central limit theorem Donsker's theorem Doob's martingale convergence theorems Ergodic theorem Fisher–Tippett–Gnedenko theorem Large deviation principle Law of large numbers (weak/strong) Law of the iterated logarithm Maximal ergodic theorem Sanov's theorem Zero–one laws (Blumenthal, Borel–Cantelli, Engelbert–Schmidt, Hewitt–Savage, Kolmogorov, Lévy)
Inequalities	Burkholder–Davis–Gundy Doob's martingale Doob's upcrossing Kunita–Watanabe Marcinkiewicz–Zygmund
Tools	Cameron–Martin formula Convergence of random variables Doléans-Dade exponential Doob decomposition theorem Doob–Meyer decomposition theorem Doob's optional stopping theorem Dynkin's formula Feynman–Kac formula Filtration Girsanov theorem Infinitesimal generator Itô integral Itô's lemma Karhunen–Loève theorem Kolmogorov continuity theorem Kolmogorov extension theorem Lévy–Prokhorov metric Malliavin calculus Martingale representation theorem Optional stopping theorem Prokhorov's theorem Quadratic variation Reflection principle Skorokhod integral Skorokhod's representation theorem Skorokhod space Snell envelope Stochastic differential equation Tanaka Stopping time Stratonovich integral Uniform integrability Usual hypotheses Wiener space Classical Abstract
Disciplines	Actuarial mathematics Control theory Econometrics Ergodic theory Extreme value theory (EVT) Large deviations theory Mathematical finance Mathematical statistics Probability theory Queueing theory Renewal theory Ruin theory Signal processing Statistics Stochastic analysis Time series analysis Machine learning
List of topics Category

Categories:

Misplaced Pages