Poisson RCM: A Continuum Connection Model

• The Poisson RCM is a continuum random graph built on a Poisson point process where edges are added independently via a symmetric connection function.
• It encompasses various model classes—including marked, weighted, finite-range, and long-range variants—with applications in percolation theory, connectivity analysis, and stochastic geometry.
• Analysis of the model uses probabilistic tools such as limit theorems, percolation threshold theory, and lace expansion to study phase transitions and cluster connectivity.

The Poisson random connection model (RCM) is a continuum random graph built on a Poisson point process, with edges inserted independently between pairs of points according to a symmetric connection function. In its standard unmarked form, the vertex set is a homogeneous Poisson point process $\eta$ on $\mathbb R^d$ of intensity $\lambda>0$, and distinct vertices $x,y\in\eta$ are joined with probability $g(x,y)$, often in the translation-invariant form $g(x,y)=\varphi(x-y)$, where $\varphi:\mathbb R^d\to[0,1]$ is measurable, symmetric, and integrable. Marked versions replace $\mathbb R^d$ by $\mathbb R^d\times E$ or $\mathbb R^d\times M$, allowing the edge law to depend on both spatial displacement and vertex marks. This framework encompasses homogeneous, weighted, enhanced, finite-range, long-range, and marked continuum percolation models, and supports a substantial theory of percolation, connectivity, critical behavior, limit theorems, and stochastic-geometry applications (Can et al., 2020, Caicedo et al., 2023, Chebunin et al., 2024).

1. Definition and model classes

In the homogeneous Poisson RCM, $\mathbb R^d$0 is a homogeneous Poisson point process of intensity $\mathbb R^d$1 on $\mathbb R^d$2, and each unordered pair $\mathbb R^d$3 is connected independently with probability $\mathbb R^d$4, where $\mathbb R^d$5 and

$\mathbb R^d$6

Equivalent formulations use a radial kernel $\mathbb R^d$7 and write the connection probability as $\mathbb R^d$8 in $\mathbb R^d$9, or $\lambda>0$0 on a torus in finite-window connectivity problems (Can et al., 2020, Iyer et al., 2019, Iyer, 2015).

The integrability condition is the basic bounded-degree hypothesis. In the marked setting, the underlying space is $\lambda>0$1, with intensity measure

$\lambda>0$2

and a measurable symmetric adjacency kernel

$\lambda>0$3

For $\lambda>0$4-almost every pair of marks $\lambda>0$5, one assumes

$\lambda>0$6

so the expected number of $\lambda>0$7-marked neighbors of an $\lambda>0$8-marked vertex is finite. The unmarked RCM is recovered by taking $\lambda>0$9 (Caicedo et al., 2023).

Several important subclasses appear repeatedly. In the inhomogeneous weighted RCM on $x,y\in\eta$0, Poisson points carry i.i.d. weights with tail

$x,y\in\eta$1

and distinct weighted vertices at $x,y\in\eta$2 are connected with probability

$x,y\in\eta$3

In enhanced RCMs, present edges are viewed as straight line segments, and continuous paths are allowed to switch at geometric intersections of segments. In finite-range models, $x,y\in\eta$4 for $x,y\in\eta$5. In long-range models, one studies kernels with asymptotic decay such as $x,y\in\eta$6 or $x,y\in\eta$7 (Iyer et al., 2019, Penrose, 15 Aug 2025, Sönmez et al., 2019).

A further extension fixes deterministic endpoints $x,y\in\eta$8 and studies subgraphs in the RCM on $x,y\in\eta$9, with the same independent edge rule $g(x,y)$0. This produces rooted or terminal-constrained subgraph counts and explicit cumulant formulae (Liu et al., 2023).

2. Percolation thresholds, sharpness, and uniqueness

The basic percolation observable is the probability that a typical vertex belongs to an infinite cluster. In the planar homogeneous RCM,

$g(x,y)$1

Penrose (1991), as reported in later work, established that

$g(x,y)$2

so the model has a nontrivial phase transition under the standard integrability condition. For the enhanced planar model $g(x,y)$3, a nontrivial transition is proved under the stronger moment condition

$g(x,y)$4

and both the ordinary and enhanced models satisfy absence of percolation at criticality: $g(x,y)$5 For the weighted planar model, a nontrivial transition in the unenhanced graph occurs only if $g(x,y)$6 and $g(x,y)$7, while the enhanced weighted model requires $g(x,y)$8 and $g(x,y)$9, and again there is no percolation at criticality (Iyer et al., 2019).

Marked RCMs support a parallel threshold theory. Writing $g(x,y)=\varphi(x-y)$0 and $g(x,y)=\varphi(x-y)$1, one defines the percolation threshold

$g(x,y)=\varphi(x-y)$2

and the susceptibility threshold

$g(x,y)=\varphi(x-y)$3

Under bounded-degree and irreducibility assumptions, these thresholds coincide: $g(x,y)=\varphi(x-y)$4 This is the continuum marked analogue of sharpness (Caicedo et al., 2023).

A more refined susceptibility-type threshold was introduced through

$g(x,y)=\varphi(x-y)$5

alongside the percolation threshold

$g(x,y)=\varphi(x-y)$6

Always $g(x,y)=\varphi(x-y)$7. If $g(x,y)=\varphi(x-y)$8, then there exists $g(x,y)=\varphi(x-y)$9 such that

$\varphi:\mathbb R^d\to[0,1]$0

Under an exponential decay assumption on the connection function, one also obtains exponential tails for cluster diameters. In the stationary marked case, under a uniform moment condition on the connection function, one has

$\varphi:\mathbb R^d\to[0,1]$1

together with mean-field lower bounds below and above criticality (Chebunin et al., 28 Nov 2025).

Uniqueness of the infinite cluster in general Poisson-driven RCMs is tied to a deletion-stability property. For a graph $\varphi:\mathbb R^d\to[0,1]$2, deletion stability means that removing a Poisson point cannot split an infinite cluster into two or more infinite clusters. Under irreducibility, deletion stability implies that $\varphi:\mathbb R^d\to[0,1]$3 has at most one infinite cluster almost surely; conversely, uniqueness implies the stronger $\varphi:\mathbb R^d\to[0,1]$4-indivisibility property, hence deletion stability. In the stationary marked Euclidean case, differentiability and convexity properties of the cluster density are used to prove deletion stability, so an irreducible stationary marked RCM can have at most one infinite cluster (Chebunin et al., 2024).

3. Finite-window connectivity and isolated-node thresholds

A central finite-volume problem asks for the scale at which the RCM becomes connected. On the $\varphi:\mathbb R^d\to[0,1]$5-dimensional torus $\varphi:\mathbb R^d\to[0,1]$6, let $\varphi:\mathbb R^d\to[0,1]$7 be a Poisson point process of intensity $\varphi:\mathbb R^d\to[0,1]$8, let $\varphi:\mathbb R^d\to[0,1]$9 be non-increasing with

$\mathbb R^d$0

and define $\mathbb R^d$1 by connecting $\mathbb R^d$2 independently with probability $\mathbb R^d$3, where $\mathbb R^d$4 is the toroidal metric. If

$\mathbb R^d$5

and $\mathbb R^d$6 is the smallest radius for which there are no isolated vertices, then almost surely

$\mathbb R^d$7

Thus the isolated-node threshold occurs at the scale

$\mathbb R^d$8

For connectivity, define

$\mathbb R^d$9

where $\mathbb R^d\times E$0 is the volume of the unit ball in $\mathbb R^d\times E$1. If $\mathbb R^d\times E$2 and

$\mathbb R^d\times E$3

then

$\mathbb R^d\times E$4

When $\mathbb R^d\times E$5, one has $\mathbb R^d\times E$6, recovering the standard random geometric graph threshold (Iyer, 2015).

A related planar scaling theory considers a Poisson process of intensity $\mathbb R^d\times E$7 on the unit square $\mathbb R^d\times E$8, with connection radius

$\mathbb R^d\times E$9

Under rotational invariance, monotonicity, and integrability of $\mathbb R^d\times M$0, together with the tail condition

$\mathbb R^d\times M$1

the number $\mathbb R^d\times M$2 of isolated nodes satisfies

$\mathbb R^d\times M$3

Boundary effects do not alter this limit: if $\mathbb R^d\times M$4 denotes the number of extra isolates created by boundary artifacts, then $\mathbb R^d\times M$5. Since asymptotic connectivity requires the absence of isolated nodes, a necessary condition for asymptotic almost sure connectivity is $\mathbb R^d\times M$6, equivalently

$\mathbb R^d\times M$7

This places the RCM on the same logarithmic-over-density scale as the unit-disk model (Mao et al., 2010).

4. Stabilizing functionals, subgraph counts, and limit theorems

A large part of the modern theory concerns functionals of $\mathbb R^d\times M$8 in the thermodynamic regime. For a bounded window $\mathbb R^d\times M$9, a graph functional $\mathbb R^d$00, and the induced graph $\mathbb R^d$01, the add-one cost at the origin is

$\mathbb R^d$02

The functional is weakly stabilizing if there exists a random variable $\mathbb R^d$03 such that for every sequence of cubes $\mathbb R^d$04,

$\mathbb R^d$05

and if, for some $\mathbb R^d$06,

$\mathbb R^d$07

If $\mathbb R^d$08 is translation-invariant and these conditions hold, then for cubes with $\mathbb R^d$09,

$\mathbb R^d$10

with exact limiting-variance formula

$\mathbb R^d$11

This general theorem yields CLTs for induced subgraph counts, component counts, the number of connected components, Betti numbers of clique complexes, and, in the supercritical regime, the size of the largest component (Can et al., 2020).

For a fixed connected graph $\mathbb R^d$12 on $\mathbb R^d$13 vertices, the induced-copy count

$\mathbb R^d$14

satisfies

$\mathbb R^d$15

and the component count

$\mathbb R^d$16

obeys the same normalization and limit law. For clique complexes, the $\mathbb R^d$17th Betti number $\mathbb R^d$18 also satisfies a CLT, and if $\mathbb R^d$19, then the limiting variance is strictly positive. In the supercritical regime $\mathbb R^d$20, with radial $\mathbb R^d$21, $\mathbb R^d$22, and sufficiently fast decay, the largest cluster size $\mathbb R^d$23 satisfies

$\mathbb R^d$24

(Can et al., 2020).

An earlier CLT for isolated vertices in shrinking-range RCMs required correction. For sequences $\mathbb R^d$25 and $\mathbb R^d$26, the normalized isolated-vertex count $\mathbb R^d$27 in a bounded Borel set $\mathbb R^d$28 converges to $\mathbb R^d$29. The proof previously claimed by Roy and Sarkar was shown to contain errors; the corrected argument also extends to larger components when $\mathbb R^d$30 has bounded support (Brug et al., 2014).

Beyond stabilizing methods, subgraph counts admit exact combinatorial cumulant expansions. For connected graphs with fixed endpoints, the moments and cumulants are indexed by connected non-flat partitions of $\mathbb R^d$31, yielding explicit partition-sum formulae. Under translation-invariant integrable $\mathbb R^d$32, the cumulants satisfy

$\mathbb R^d$33

while the variance has matching lower order $\mathbb R^d$34. Consequently, the standardized count obeys a CLT, and the Kolmogorov distance satisfies the explicit bound

$\mathbb R^d$35

A second-moment bound gives

$\mathbb R^d$36

and this lower bound tends to $\mathbb R^d$37 as $\mathbb R^d$38 (Liu et al., 2023).

If the edge kernel is rescaled as $\mathbb R^d$39 with $\mathbb R^d$40, subgraph counts exhibit a normal-to-Poisson phase transition. For a graph $\mathbb R^d$41 with $\mathbb R^d$42 fixed endpoints, the critical decay rate is

$\mathbb R^d$43

Then the standardized count is asymptotically normal for $\mathbb R^d$44, has a Poisson limit at $\mathbb R^d$45, and vanishes in probability for $\mathbb R^d$46 (Liu et al., 2024). Related normal-approximation results based on connected partition diagrams and the Statulevičius condition also cover dense, dilute, and sparse tree-dominated regimes (Liu et al., 2023).

5. Critical exponents, lace expansion, and sharpness theory

High-dimensional and spread-out RCMs admit a mean-field theory based on the lace expansion. In the marked setting, one defines the two-point operator $\mathbb R^d$47 with kernel

$\mathbb R^d$48

and the triangle diagram

$\mathbb R^d$49

Under bounded-degree and irreducibility assumptions, one has $\mathbb R^d$50, where $\mathbb R^d$51 is the susceptibility threshold and $\mathbb R^d$52 the operator-critical value. If the triangle condition

$\mathbb R^d$53

holds, then the critical exponents exist and take their mean-field values: $\mathbb R^d$54 More precisely, there are matching upper and lower bounds showing

$\mathbb R^d$55

$\mathbb R^d$56

and at criticality

$\mathbb R^d$57

The proof uses differential inequalities for a magnetization function $\mathbb R^d$58, together with analyticity of $\mathbb R^d$59 (Caicedo et al., 2023).

A complementary high-dimensional theory for unmarked RCMs derives a continuum lace expansion with remainder term, proves convergence in sufficiently large dimension or sufficiently spread-out range, and establishes both an infra-red bound and the triangle condition. The results cover finite-variance, spread-out, and long-range connection functions. In particular, for sufficiently large $\mathbb R^d$60 or large spread-out parameter $\mathbb R^d$61, one obtains continuity of the percolation function at criticality and mean-field behavior. In the marked Euclidean setting, the lace-expansion analysis yields an infrared bound of the form

$\mathbb R^d$62

which implies finiteness of the triangle diagram at criticality. Under the stated kernel hypotheses, the mean-field regime holds for all $\mathbb R^d$63 (Heydenreich et al., 2019, Dickson et al., 2022).

Sharpness below criticality has two distinct forms. For bounded-edge models, randomized-algorithm methods show that if $\mathbb R^d$64, then

$\mathbb R^d$65

while for $\mathbb R^d$66,

$\mathbb R^d$67

These are continuum analogues of sharp-threshold inequalities familiar from discrete percolation (Faggionato et al., 2017). More recently, for non-increasing integrable connection functions with unbounded support, the subcritical cluster-size tail was shown to decay exponentially: $\mathbb R^d$68 The proof constructs the subcritical RCM as site percolation on a very high-intensity RCM and uses an “asymptotic transitivity” argument to transfer sharpness methods beyond bounded range (Higgs, 2 Sep 2025).

6. Related constructions and applications

The RCM functions as a unifying object across continuum percolation, stochastic geometry, Gibbsian point processes, and transport on random media. In enhanced planar models, ordinary graph edges are replaced by straight line segments, and continuous paths may switch at segment intersections. This changes the relevant moment assumptions for phase transitions but retains the critical-continuity phenomenon $\mathbb R^d$69 (Iyer et al., 2019).

In continuum statistical mechanics, the RCM provides a disagreement-percolation criterion for Gibbs uniqueness. Given a non-negative pair potential $\mathbb R^d$70, set

$\mathbb R^d$71

If the Poisson RCM with connection function $\mathbb R^d$72 and intensity $\mathbb R^d$73 is subcritical, then the Gibbs measure with pair potential $\mathbb R^d$74 and reference $\mathbb R^d$75 is unique. Equivalently, for every $\mathbb R^d$76, where $\mathbb R^d$77 is the RCM critical intensity associated with $\mathbb R^d$78, there is a unique Gibbs distribution in the sense of Dobrushin–Lanford–Ruelle (Betsch et al., 2021).

The geometry of the infinite cluster also governs dynamical behavior. For simple random walk on long-range Poisson RCMs, recurrence holds in $\mathbb R^d$79 when $\mathbb R^d$80 for large $\mathbb R^d$81 with $\mathbb R^d$82, for every intensity $\mathbb R^d$83. In contrast, transience holds on the unique infinite cluster for all sufficiently large $\mathbb R^d$84 when $\mathbb R^d$85 and $\mathbb R^d$86, and also for $\mathbb R^d$87 under the lower bound

$\mathbb R^d$88

again for sufficiently large $\mathbb R^d$89 (Sönmez et al., 2019).

In supercritical marked finite-range RCMs, crossing statistics support stochastic-homogenization results. If $\mathbb R^d$90 exceeds the supercritical parameter and the model has a unique infinite cluster, then there exist constants $\mathbb R^d$91 such that for all $\mathbb R^d$92,

$\mathbb R^d$93

where $\mathbb R^d$94 is the maximal number of vertex-disjoint left-to-right crossings of $\mathbb R^d$95 by the infinite cluster. Equipping each edge with conductance $\mathbb R^d$96, one obtains a deterministic homogenized matrix

$\mathbb R^d$97

and the crossing bound implies $\mathbb R^d$98, so $\mathbb R^d$99 is strictly positive-definite (Faggionato et al., 5 Jul 2025).

A recent supercritical result establishes a continuum analogue of Grimmett–Marstrand slab percolation. For $\lambda>0$00 and a nonincreasing finite-range connection function $\lambda>0$01, if $\lambda>0$02, then the RCM remains supercritical in sufficiently thick slabs

$\lambda>0$03

and

$\lambda>0$04

This identifies supercritical slab percolation as a stable feature of the full-space supercritical phase (Penrose, 15 Aug 2025).

Taken together, these results show that the Poisson RCM is not merely a single continuum graph model, but a general analytic framework in which percolation, connectivity, subgraph statistics, topological observables, Gibbs uniqueness, random-walk behavior, and homogenized transport can all be formulated in a common language of Poisson input and independently randomized edges.