# Isolation and Connectivity in Random Geometric Graphs with Self-similar Intensity Measures

- 276 Downloads
- 1 Citations

## Abstract

Random geometric graphs consist of randomly distributed nodes (points), with pairs of nodes within a given mutual distance linked. In the usual model the distribution of nodes is uniform on a square, and in the limit of infinitely many nodes and shrinking linking range, the number of isolated nodes is Poisson distributed, and the probability of no isolated nodes is equal to the probability the whole graph is connected. Here we examine these properties for several self-similar node distributions, including smooth and fractal, uniform and nonuniform, and finitely ramified or otherwise. We show that nonuniformity can break the Poisson distribution property, but it strengthens the link between isolation and connectivity. It also stretches out the connectivity transition. Finite ramification is another mechanism for lack of connectivity. The same considerations apply to fractal distributions as smooth, with some technical differences in evaluation of the integrals and analytical arguments.

## Keywords

Random geometric graph Degree distribution Connectivity Fractals## 1 Introduction

Proposed by Gilbert [17], the random geometric graph (RGG) [40] was the original model of spatial networks [5], and remains popular. Nodes are distributed randomly in space, and links are formed between pairs of nodes with mutual distance less than a threshold \(r_0\). This is a continuum model of percolation, since, when the density \(\lambda \) increases, there is a sudden transition to a state containing a large connected component [34]. In a finite domain, typically a square or torus, under an appropriate combined limit of \(r_0\rightarrow 0\) and the expected number of nodes \(\bar{N}\rightarrow \infty \), the probability that the network is a single connected component has been widely studied. In particular, it was shown by Penrose [39] and by Gupta and Kumar [18] that in this limit, the number of isolated nodes (that is, nodes with no links) is Poisson distributed, and the probability of connectivity approaches that of no isolated nodes. As well as percolation and connectivity, other properties such as k-connectivity, clique number, chromatic number, and Hamiltonicity are reviewed in Ref. [44].

The soft random geometric graph (SRGG) [30, 35, 41] is a generalisation of the RGG with a second source of randomness: The links are formed independently with a probability that is a given function *H*(*r*) of the mutual distance *r*. There are several communities using different names for this and closely related models in the literature; see for example Waxman graphs [45], continuum percolation [1, 38] random connection models [8, 33] and spatially embedded random networks [4, 21, 36]. Connection functions can be constructed empirically with any spatial network for which the links can be assumed to be random [46]; several functions that have arisen from mathematical or physical arguments are given in Ref. [11].

Most research on RGG and SRGG models has adopted the simplest model of a uniform distribution of nodes on a square or torus domain. The main exceptions are as follows: Ref. [40] considers smooth densities that do not vanish supported on a cube, and normally distributed densities. Ref. [25] considers more general smooth densities on \(\mathbb {R}^2\) that decrease monotonically outwards. Ref. [20] considers (stretched) exponentially decaying density. Ref. [13] considers rectangular domains, and Refs. [9, 11] consider arbitrary convex polygons and some domains that are polyhedral or have curved boundaries. Poisson distribution of isolated nodes was proved in Refs. [20, 25, 40] and the asymptotic equivalence with connectivity in Ref. [40]; in none of this literature were exceptions to either statement observed or discussed.

One class of applications that has received substantial attention and for which physically motivated connection functions are available is that of wireless mesh networks, in which devices (nodes) link to each other rather than to a central router or base station [12]. Here, the assumption of uniform density on a square or torus is often unrealistic. One of the main sources of nonuniformity is node mobility. In the random waypoint mobility model [6, 42], nodes move from one random point in the domain to another at a fixed or random speed, then wait for a zero, fixed or random time. In this model the average density of nodes is nonuniform, varying with position in a smooth manner. If the wait time is zero, the average node density vanishes at the boundary, being roughly proportional to the distance from a smooth edge. More sophisticated human mobility models are even more nonuniform, for example the popular self-similar least action walk (SLAW) algorithm uses waypoints chosen from a fractal distribution [32].

The purpose of this paper is to explore the world of node distributions beyond the existing literature, to include smooth densities that vanish at the boundary, and fractal distributions. As well as intrinsic interest in such models, we have two other motivations: We ask whether the results regarding the distribution of isolated nodes and its link to connectivity remain true, in the limit of many nodes and for a small number, using analytical and numerical investigations. Also, as noted above, uniform distributions are often unrealistic for wireless communications; this paper is a first step in the understanding of various kinds of non-uniformity and fractality. Many interesting features can be described using a relatively tractable class of distributions, the self-similar measures. Extensions to other fractal measures are discussed in Sect. 7.

*r*centred on \(\mathbf{x}\). Both the name AU and the concept are from Ref. [43] except that here the \(\mathbf{x}\) and \(\mathbf{y}\) are not arbitrary points in the space but belong to the support of the measure. More discussion and context of this definition are found in Sect. 2.6 below.

The structure of this paper is as follows: In Sect. 2 we give the concepts needed later as found in the previous literature. In Sect. 3 we describe the examples and a first numerical simulation. Section 4 investigates the distribution of isolated nodes, whilst Sect. 5 considers its link to connectivity. Section 6 makes some further observations about scaling the intensity by a contact factor, and Sect. 7 concludes.

## 2 Preliminaries

### 2.1 Quantifying Non-Poissonness

*X*defined on the non-negative integers with probability mass function \(\mathbb {P}(X=j)=P_j\) is Poisson distributed with mean \(\mu \) if

### 2.2 Poisson Point Processes

*X*defined by the following two properties [23]:

- 1.
For all measurable \(A\subset \mathbb {R}^d\), \(\Phi (A)\) is Poisson distributed with mean \(\Lambda (A)\).

- 2.
For all finite collections \(\{A_i\}\) of mutually disjoint compact subsets of \(\mathbb {R}^d\), \(\Phi (A_i)\) are independent random variables.

*A*. If \(\Lambda (A)\) is infinite, \(\Phi (A)\) is almost surely infinite. Unless otherwise stated, we will take \(\Lambda (\mathbb {R}^d)=\bar{N}<\infty \) so that \(\bar{N}\) is the mean number of points, and \(\Lambda _1=\Lambda /\bar{N}\) is a probability measure. We obtain a realisation of this process by first choosing

*N*from a Poisson distribution with mean \(\bar{N}\), then a binomial point process with

*N*points, that is,

*N*points chosen independently with respect to \(\Lambda _1\).

### 2.3 Soft Random Geometric Graphs

*H*(

*r*) for points at mutual distance

*r*. Thus it has two sources of randomness, the point locations and the links. One application is that of a wireless network with a mesh architecture, that is, devices link to each other rather than to a central router or base station. Under the Rayleigh fading model (exponentially distributed channel gain, neglecting interference), we find [22]

*H*(

*r*) involving a number of special functions [11], however these can often be approximated by the above form [7]. Virtually all previous literature uses a uniform (Lebesgue) intensity measure, perhaps on a finite domain. Some smooth densities have also been considered, as noted in the introduction.

### 2.4 Isolation and Connectivity

*k*, then we have (using the same derivation as Eq. 5.1 of Ref. [37])

*H*) so that the limit is positive and finite. Finally, if all other mechanisms for disconnection (for example, clusters of size two, or two large clusters) become insignificant, the above expression is also the “full connection” probability:

*H*is a step function and the measure is uniform on a two or higher dimensional cube [44]. Penrose has made significant progress generalising both of these statements to the SRGG with different connection functions [41], and on the first condition where the measure can also be general [37]. There are some conditions in the above papers that are not met by typical connection functions such as those of Rayleigh fading, Eq. (6), but it is likely that these are merely technical obstructions, and that all results hold for these connection functions. In contrast, they rely nontrivially on some kind of uniformity condition, as in Eq. (1) above or Eq. (14) below. One of the main aims of this paper is to explore the effects of non-uniformity.

### 2.5 Self-similar Measures

*F*satisfying

*V*such that \(\cup _{i=1}^m T_i(V)\subseteq V\) and the \(T_i(V)\) are mutually disjoint. Under this condition the Hausdorff dimension

*D*(

*F*) is the unique positive solution of

*f*and arbitrary initial point \(\mathbf{x}_0\). The numerical computation is of course truncated to a finite depth

*n*. The numerical computations are somewhat inefficient compared with techniques for standard integrals; a cycle-based approach [2] may be more effective. Analytical integrals over fractal self-similar measures are rarely available in closed form; polynomial integrands are an exception [10].

### 2.6 Almost Uniformity

*H*to be \(\varepsilon \)-homogeneous if

We now discuss relations between the AU measures as defined in Eq. (1) and the literature. Requiring that the points *x* and *y* belong to the support of the measure means that, for example, the uniform measure on the Sierpinski carpet satisfies our definition, but not that of Ref. [43] unless the space is taken to be the carpet itself, with metric induced from its embedding into \(\mathbb {R}^2\). The AU definition is also similar to the quasi-uniform measures of Ref. [27], which are defined for symbol spaces. A further connection is that an AU measure satisfies the condition for a doubling measure [24], since the support of the measure within a ball of radius 2*r* may be covered by a bounded number of balls of radius *r* centred at points in the support, where the bound depends only on the dimension *d* of the ambient space. Finally, if the \(\varepsilon \) in the definition is replaced by unity, we obtain the widely studied uniformly distributed measures [28].

For a general self-similar measure with the open set condition, it is easy to see that small regions of equal size will have similar measure (and hence satisfy the AU condition) if and only if \(p_i=r_i^{D(F)}\) (see Eq. 13). The self-affine case is more subtle; see Ref. [16].

Defining transformations for the examples, using matrices \(I=\text{ diag }(1,1)\), \(M_x=\text{ diag }(-1,1)\), \(M_y=\text{ diag }(1,-1)\)

Name | \(p_i\) | \(R_i\) | \(\mathbf{d}_i\) | Smooth? | Almost uniform? | Finitely ramified? |
---|---|---|---|---|---|---|

Uniform square | Binomial square, \(p=1/2\) | Y | Y | N | ||

\(\lambda (x,y)=4xy\) | 1/16 |
| (0, 0) | Y | N | N |

1/8 |
| (1 / 2, 0) | ||||

1/16 | \(M_x/2\) | (1, 0) | ||||

1/8 |
| (0, 1 / 2) | ||||

1/4 |
| (1 / 2, 1 / 2) | ||||

1/8 | \(M_x/2\) | (1, 1 / 2) | ||||

1/16 | \(M_y/2\) | (0, 1) | ||||

1/8 | \(M_y/2\) | (1 / 2, 1) | ||||

1/16 | \(-I/2\) | (1, 1) | ||||

Binomial square | \(p^2\) |
| (0, 0) | N | N | N |

\(p(1-p)\) |
| (1 / 2, 0) | ||||

\(p(1-p)\) |
| (0, 1 / 2) | ||||

\((1-p)^2\) |
| (1 / 2, 1 / 2) | ||||

Sierpinski triangle | 1 / 3 |
| (0, 0) | N | Y | Y |

\(D=\ln 3/\ln 2\) | 1 / 3 |
| (1 / 2, 0) | |||

1 / 3 |
| \((1/4,\sqrt{3}/4)\) | ||||

Sierpinski carpet | 1 / 8 |
| (0, 0) | N | Y | N |

\(D=\ln 8/\ln 3\) | 1 / 8 |
| (1 / 3, 0) | |||

1 / 8 |
| (2 / 3, 0) | ||||

1 / 8 |
| (0, 1 / 3) | ||||

1 / 8 |
| (2 / 3, 1 / 3) | ||||

1 / 8 |
| (0, 2 / 3) | ||||

1 / 8 |
| (1 / 3, 2 / 3) | ||||

1 / 8 |
| (2 / 3, 2 / 3) | ||||

Power law, \(\lambda (x)=cx^\alpha \), \(x>0\) | Y | N | Y |

## 3 Examples

The examples of self-similar measures we consider are defined in Table 1 and (apart from the power law) are illustrated in Fig. 2 below. There are three characteristics that distinguish them, as expressed in Table 1, namely smoothness, almost uniformity (as defined above), and whether the support is finitely ramified.

With regard to smoothness, note that self-similar measures need not be fractal; the examples include the uniform measure on the unit square (the “control” example, extremely well studied in the literature) and the density 4*xy* on the unit square. The construction of the latter is illustrated in Fig. 1.

The 1D power law \(\lambda (x)=cx^\alpha \) is self-similar with respect to dilations about the origin, but is not defined by an IFS. It is also an infinite measure. For \(\alpha \in [-1,0]\) it has infinitely many isolated nodes at large *x*, irrespective of *c*, however for \(\alpha <-1\) or \(\alpha >0\) the expected number of isolated nodes is finite and hence interesting from our point of view. Note that the usual RGG limit of high density does not make sense here, since varying *c* (the quantity corresponding to density) is exactly equivalent to varying the connection range \(r_0\): If we replace the connection range \(r_0\) by \(ar_0\) and *c* by \(a^{-\alpha -1}c\) for \(a<1\), the system exactly scales and the distribution of all \(\mathcal{N}_k\) remain invariant. So, there is no sequence of graphs with which to define the above limits; in this sense the system is always finite, or for \(-1\le \alpha \le 0\), infinite but disconnected. For simulations the domain is truncated at very small or large *x* so as to give \(\bar{N}=10^3c\).

With regard to almost uniformity, the 4*xy* and 1D power law (with \(\alpha \ne 0\)) are non-AU, as is the binomial square (with \(p\ne 1/2\)).

Figure 2 is a direct numerical test of both Eqs. (8) and (9), except for the 1D power example as discussed above. The integral, performed directly by iterating the transformations, is compared with a simulation of the network, and in particular the probability of no isolated nodes and of connectivity. The computational time for the double integral is roughly proportional to \(m^{2\delta }\) where \(\delta \) is the depth of the computation, that is, the number of iterations used in representing the measure. The integral is performed with \(\delta =5\) for the smooth 4*xy* (\(m=9\)) and Sierpinski carpet (\(m=8\)), and with \(\delta =8\) for the uniform square (\(m=4\)), binomial square (\(m=4\)) and Sierpinski triangle (\(m=3\)). The smooth 4*xy* measure required \(\delta =6\) for the \(\eta =\infty \) case for convergence, although in this case other integration methods are clearly available. It is seen that Eq. (8) is well satisfied but Eq. (9) is not, showing that there are other mechanisms for connectivity than isolated nodes. The connection range \(r_0\) is of course not particularly close to zero, so this does not contradict the outcomes expected in the asymptotic limit discussed in the sections below. We now consider distribution of isolated nodes and connectivity properties separately, both theoretically and with further tailored numerical simulations.

## 4 Poisson Distribution of Isolated Nodes

### 4.1 Focus: 4*xy* Model

One existing and useful approach is that of Hsing and Rootzen [25]. Their Theorem 1 gives sufficient conditions for the number of isolated nodes in a RGG to be Poisson distributed in a limit of many nodes where the expected number of isolated nodes is positive and finite, so \(r_0\) decreases with \(\bar{N}\). This does not assume uniformity or smoothness of the measure, though non-smooth measures are not discussed explicitly in that paper. In rough terms, the assumption is that it is possible to cover almost all of the domain with blocks separated by twice the connection range so that the number of isolated nodes in each block is independent. In addition, the expected number of isolated nodes in each block is small, and the ratio of the expected number of pairs of isolated nodes with distance in \([r_0,2r_0]\) (hence, correlated) to the number of isolated nodes is also small. It is easy to see that for AU measures, including the relevant fractal examples, splitting the domain into blocks much larger than the connection range but much smaller than the system size satisfies these conditions. If a model does not satisfy the Hsing-Rootzen conditions, it may or may not have a Poisson distribution of isolated nodes; the nature of such failure may suggest a conjecture one way or the other, and avenues for future investigation.

*xy*model, we note that the density of isolated nodes is given from Eq. (7) by

*x*and

*y*are further from the edge than \(r_0\), and using the RGG (step function) connection function, the integral is

*x*. As a result, if \(\bar{N}r_0^4\not \rightarrow 0\), all isolated nodes are of order \(r_0\) from the origin with high probability and the conditions of the Hsing-Rootzen theorem fail. If there were an exact bound on the distance from the origin, it would imply a bound on the number of isolated nodes and hence failure of the Poisson distribution. We do not have a strict bound here, but still do not expect Poisson distribution to hold.

The above argument applies to many other smooth densities that vanish at the boundary, including a corner where the density vanishes as a power of distance. Exceptions, for which isolated nodes are Poisson distributed, include that of a symmetric disk (so there is no corner at which isolated nodes concentrate), and very slow vanishing at a corner such as \(\lambda (r)=-1/\ln r\) with radial coordinate *r*.

### 4.2 Focus: Binomial Square

For the binomial square it is challenging to do an accurate calculation, but we can see that for a small connection range \(r_0\), we have reached the iteration of the transformation at level \(k\approx -\frac{\ln r_0}{\ln 2}\). The corner at this level has measure \(p^{2k}\), and its vicinity has some expected number of isolated nodes depending on \(\bar{N}\). There are also 2*k* regions with measure \(p^{2k-1}(1-p)\) and \(2k(2k-1)/2\) regions with measure \(p^{2k-2}(1-p)^2\), and so on. In a limit of large \(\bar{N}\) and small \(r_0\), hence increasing *k*, any appreciable probability of an isolated node at the corner will be overwhelmed by the increasing number of regions with comparable probabilities of isolated nodes. Thus, if the total expected number of isolated nodes approaches a finite limit, we expect to construct blocks, none of which have a significant probability of an isolated node. So, the Hsing-Rootzen theorem appears to hold, and the number of isolated nodes should be Poisson in the limit. Note that *k* increases only logarithmically with \(\bar{N}\), so convergence may be slow. Also, this is only a sketch; careful estimates would be needed for a rigorous proof. It remains open how to construct non-AU fractal distributions for which the Poisson property does not hold.

*xy*model), or for what connection functions. The soft connection model introduces more randomness, so is likely to make the distribution of the number of isolated nodes closer to Poisson. Note, however, that whilst the Hsing-Rootzen approach does not strictly hold for soft connection models, the question as to whether there are an unbounded number of isolated nodes is a global question and so unaffected by short ranged connection functions. So, we do not expect that the soft model behaves differently to the hard model in the limit. We now turn to numerical simulations.

### 4.3 Numerical Results

Although Eq. (8) is well satisfied in Fig. 2, there must be a deviation from the Poisson distribution for the number of isolated nodes at some level; this is tested in Figs. 3 and 4, which plot the factorial cumulants against \(\bar{N}\) for the 2D models and against *c* for the 1D models. For large numbers of nodes, we see in Fig. 3 that \(q_1\) is well above the other curves as expected. We see that \(|q_2|\) decreases similarly in all cases, except the non-AU cases (4*xy* and the binomial square) at \(\eta =2\) in which it is smaller for small \(q_1\). Thus, the non-AU models have most extreme behaviour, most deviations from Poisson distribution for \(\eta =\infty \) (RGG) as predicted above, but also much smaller deviations than the AU models for \(\eta =2\). This difference between \(\eta =\infty \) and the still short-ranged model \(\eta =2\) is surprising, and conflicts with the rough argument given above, perhaps because we are unable to attain the limit \(\bar{N}\rightarrow \infty \) numerically. The 1D power law results in Fig. 4 are consistent with these observations, noting that \(|\alpha |\) gives an indication of the level of nonuniformity.

A related question to the distribution of the number of isolated nodes is whether the isolated nodes form a Poisson point process. We know that the isolated nodes beyond a distance of \(2r_0\) are independent (almost independent for the SRGG model), so the deviations from a PPP are of the form we already discussed here, namely that there are correlations for distances below \(2r_0\) and that if the isolated nodes are concentrated in a finite number of special points (for example corners), these correlations will invalidate the Poisson distribution (and hence PPP) of isolated nodes. Likewise, if they are not so concentrated, the independence will ensure that apart from short ranged correlations, the distribution of isolated nodes will look like a PPP. Because there are many possible ways of measuring deviation from a PPP, and because the results are expected to duplicate what we find for the number of isolated nodes, we have not investigated the spatial distribution of the isolated nodes.

## 5 From Isolation to Connectivity

### 5.1 Focus: 1D Power

Now, we consider Eq. (9) in more detail, namely the statement that in the limit, the presence of isolated nodes is the only non-negligible mechanism for lack of connectivity of the full network. Alternative mechanisms may be roughly categorised as small or large components. In the former case, clusters of two or three nodes become as significant as isolated nodes. In the latter, the network splits into two or more large pieces. In this section, we consider 2-clusters in a simple model without the AU property, and large clusters for a finitely ramified fractal.

*x*, we find

*x*and

*y*, specifically \(x<1\) and \(y-x<1\). Integrating, again using Laplace expansions, we find

But in terms of the usual limit, in which the number of nodes increases and the connection range decreases so that the expected number of isolated nodes reaches a finite limit, the system scales as discussed in Sect. 3. In particular, the expected number of 2-clusters is independent of the scale, and hence also non-negligible.

### 5.2 Focus: Sierpinski Triangle

The other example we consider in this context is the Sierpinski triangle. This set is finitely ramified, which means that many regions can be disconnected from the rest of the set by the removal of a finite number of points. Here, any of the small triangles may be isolated by the removal of at most three points. Thus if the regions of these points are empty in the PPP, it is quite feasible to expect very large connected components. It is very difficult to do precise calculations, but there are some bounds and general arguments through which we can gain insight into this effect.

The set has three outer corners. There are also infinitely many points which are vertices of small triangles which we call inner corners. A triangle containing an outer corner will be called an outer triangle, whilst others will be called inner triangles. The measure on a small triangle at level *k* is \(\bar{N}3^{-k}\). For \(r_0=2^{-k}\), it is sufficient to vacate two such triangles adjacent to an inner corner to prevent links near the corner; this has probability \(\exp (-2\bar{N}3^{-k})\). In order to isolate an inner triangle, we need to vacate its three corners, giving a probability \(\exp (-6\bar{N}3^{-k})\) whilst to isolate an outer triangle we vacate only its two inner corners, with probability \(\exp (-4\bar{N}3^{-k})\).

A triangle we isolate in this way must have level \(j<k-1\) in order not to be completely emptied. At level *j*, there are \(3^j-3\) inner triangles which are not empty with probability \(1-\exp \left[ -\bar{N}(3^{-j}-3^{-k+1})\right] \) and 3 outer triangles which are not empty with probability \(1-\exp \left[ -\bar{N}(3^{-j}-2\times 3^{-k})\right] \). For \(j<k-2\) the emptiness probabilities are close to unity, and the isolation probabilities do not depend on *j*, so it is more likely to find relatively small isolated inner clusters (that is, high *j*) simply because there are more of them.

Suppose there is a nontrivial probability that at least one of the outer triangles is isolated. Thus \(\left[ 1-\exp (-4\bar{N}3^{-k})\right] ^{3k-6}\) is of order unity, and hence \(4\bar{N}3^{-k}\approx \frac{1}{\ln k}\). Changing the prefactor from 4 to 6 for the inner triangles, we see that the number of such triangles, which is exponential in *k*, dominates, and many of the inner triangles will be isolated. Thus close to the connectivity transition, only the inner triangles are relevant. A similar argument shows that at this transition (in contrast to higher densities) the isolation of a node near the corner is not relevant compared to the bulk. This is completely analogous to the usual result in random geometric graphs on the uniform square, for which the corner nodes are not relevant at the connectivity transition (again, in contrast to much higher densities).

### 5.3 Numerical Results

The simulations in Figs. 5 and 6 are concerned with the formation of small clusters, which break the link between isolation and lack of connectivity, as observed above. Again we see that isolated nodes are more common than larger clusters, but there are significant differences between the various models. Soft connections reduce the number of larger clusters in all cases, whilst for the original RGG model (\(\eta =\infty \)) we see that the number of larger clusters decreases in the following order: Sierpinski triangle, uniform, Sierpinski carpet, binomial square, 4*xy*. Again, the non-AU property improves the link between isolated nodes and connectivity. The Sierpinski triangle is expected to have larger clusters in any case as discussed above, although note that \(r_0=0.1\) corresponds to \(k\approx 3\) which is far from the asymptotic behaviour. The 1D power law has many large clusters for the same reason, mostly at \(\alpha =1\) where it is most uniform.

## 6 Scaling the Intensity by a Constant Factor

We can also consider the probability of connection (and/or that there are no isolated nodes; the effects are similar) as a function of the number of nodes for models with differing nonuniformity, see the top two panels of Fig. 7. All the results are consistent with nonuniformity broadening the connectivity transition. This occurs because a very high probability of connectivity requires that even the most sparse regions of the measure are reasonably covered with nodes. But at smaller numbers of nodes, these regions are often vacant, and so do not contain the isolated nodes that would block connectivity. These numerical results clearly show that the AU models, whether smooth or fractal, have a similar width of transition, whilst the non-AU models have a much broader transition.

Actually, the story is more interesting than this. It is easy to see that multiplying the density \(\lambda (x)=e^x\) (which is not self-similar) by a constant is equivalent to translating it. Considered as a RGG on the whole real line, it has a nontrivial connection probability, since the nodes at large positive *x* are connected with very high probability, and there are no nodes at large negative *x* to disconnect, also with very high probability. So, multiplying this intensity measure by a constant leaves the connection probability invariant: There is no connectivity transition. Results for this model may be obtained from Refs. [19, 20].

Finally, if we take the power law density \(\lambda (x)=cx^\alpha \) for \(\alpha <-1\) then for small values of *c* there are probably no nodes for \(x>1\) and the infinite number of nodes in the unit interval are all connected. For larger *c*, nodes extend to large *x* with a gradually decreasing density and many of them will be isolated (and there will also be large gaps that prevent connectivity). Thus, increasing the density reduces the probability of both connection, and of having no isolated nodes. This is depicted in the lower panel of Fig. 7.

## 7 Outlook

We have seen both similarities and differences between uniform RGG and SRGG models and those with self-similar measures, both smooth and fractal, AU and non-AU and finitely ramified or otherwise. Whether isolated nodes are Poisson distributed depends on whether they are concentrated in a corner or similar small region of the fractal. Connectivity may be broken by small or large clusters as well as isolated nodes, particularly in the finitely ramified case. Strong nonuniformity can reverse the dependence of both of these on the intensity, making connectivity more likely at lower intensities. The soft connection function tends to randomise both properties, but may not lead to qualitative differences. As with the uniform case, finite systems may be far from the limiting behaviour.

The examples considered here have only scratched the surface of what is possible with self-similar measures, let alone self-affine measures, and statistically self-similar measures. The number of isolated nodes is only one of the simplest local graph properties; there are many others of interest including the whole degree distribution and assortativity. Connectivity is only one of the simplest global graph properties; there are many others of interest including betweenness centrality and spectrum of the adjacency matrix.

From a practical point of view, the broadening of the connectivity transition in non-AU networks means that it is not cost effective to add nodes until the connection probability is very close to unity; other means of ensuring connectivity such as adding them in specific locations, or of not requiring connectivity, as in delay tolerant networks, are likely to be needed. Of course, unless they are designed specifically in this manner, the intensity measure of real networks is not exactly self-similar. The big challenge is the development of accurate models of complex environments.

## Notes

### Acknowledgements

The author would like to thank J. Coon, E. Crane, O. Georgiou, J. Harrison, T. Jordan, G. Last, J. Mackay, M. Penrose and M. Wilkinson for helpful discussions. This work was supported by the EPSRC Grant Number EP/N002458/1 for the project Spatially Embedded Networks. All underlying data are provided in full within this paper.

## References

- 1.Alexander, K.S.: Finite clusters in high-density continuous percolation: compression and sphericality. Probab. Theory Relat. Fields
**97**, 35–63 (1993)MathSciNetCrossRefzbMATHGoogle Scholar - 2.Artuso, R., Aurell, E., Cvitanovic, P.: Recycling of strange sets: I. cycle expansions. Nonlinearity
**3**, 325 (1990)ADSMathSciNetCrossRefzbMATHGoogle Scholar - 3.Barbour, A.: Asymptotic expansions in the poisson limit theorem. Ann. Probab.
**15**(2), 748–766 (1987)MathSciNetCrossRefzbMATHGoogle Scholar - 4.Barnett, L., Di Paolo, E., Bullock, S.: Spatially embedded random networks. Phys. Rev. E
**76**, 056115 (2007)ADSMathSciNetCrossRefGoogle Scholar - 5.Barthélemy, M.: Spatial networks. Phys. Rep.
**499**, 1–101 (2011)ADSMathSciNetCrossRefGoogle Scholar - 6.Bettstetter, C., Resta, G., Santi, P.: The node distribution of the random waypoint mobility model for wireless ad hoc networks. IEEE Trans. Mob. Comput.
**2**, 257–269 (2003)CrossRefGoogle Scholar - 7.Bocus, M.Z., Dettmann, C.P., Coon, J.P.: An approximation of the first order Marcum Q-function with application to network connectivity analysis. IEEE Commun. Lett.
**17**, 499–502 (2013)CrossRefGoogle Scholar - 8.Bradonjić, M.: Outbreak of infectious diseases through the weighted random connection model. Math/. Model. Nat. Phenom.
**9**, 82–88 (2014)MathSciNetCrossRefzbMATHGoogle Scholar - 9.Coon, J., Dettmann, C.P., Georgiou, O.: Full connectivity: corners, edges and faces. J. Stat. Phys.
**147**, 758–778 (2012)ADSMathSciNetCrossRefzbMATHGoogle Scholar - 10.Dettmann, C.P., Frankel, N.E.: Potential theory and analytic properties of self-similar fractal and multifractal distributions. J. Stat. Phys.
**72**, 241–275 (1993)ADSMathSciNetCrossRefzbMATHGoogle Scholar - 11.Dettmann, C.P., Georgiou, O.: Random geometric graphs with general connection functions. Phys. Rev. E
**93**, 032313 (2016)ADSMathSciNetCrossRefGoogle Scholar - 12.de Morais Cordeiro, C., Agrawal, D.P.: Ad Hoc and Sensor Networks: Theory and Applications. World Scientific, Singapore (2011)CrossRefGoogle Scholar
- 13.Estrada, E., Sheerin, M.: Random rectangular graphs. Phys. Rev. E
**91**, 042805 (2015)ADSMathSciNetCrossRefGoogle Scholar - 14.Falconer, K.: Dimensions of self-affine sets: a survey. In: Barral, J., Seuret, S. (eds.) Further Developments in Fractals and Related Fields. Springer, Berlin (2013)Google Scholar
- 15.Falconer, K.: Fractal Geometry: Mathematical Foundations and Applications. Wiley, Aurora (2014)zbMATHGoogle Scholar
- 16.Feng, D.-J., Käenmäki, A.: Equilibrium states of the pressure function for products of matrices. Discrete Contin. Dyn. Syst. (DCDS-A)
**30**, 699–708 (2011)MathSciNetCrossRefzbMATHGoogle Scholar - 17.Gilbert, E.N.: Random plane networks. J. Soc. Indust. Appl. Math.
**9**, 533–543 (1961)MathSciNetCrossRefzbMATHGoogle Scholar - 18.Gupta, P., Kumar, P.R.: Critical power for asymptotic connectivity in wireless networks. In: McEneane, W.M., Yin, G., Zhang, Q. (eds.) Stochastic Analysis, Control, Optimization and Applications, pp. 547–566. Springer, New York (1999)CrossRefGoogle Scholar
- 19.Gupta, B., Iyer, S.K., Manjunath, D.: Topological properties of the one dimensional exponential random geometric graph. Random Struct. Algorithms
**32**, 181–204 (2008)MathSciNetCrossRefzbMATHGoogle Scholar - 20.Gupta, B., Iyer, S.K.: Criticality of the exponential rate of decay for the largest nearest-neighbor link in random geometric graphs. Adv. Appl. Probab.
**42**, 631–658 (2010)MathSciNetCrossRefzbMATHGoogle Scholar - 21.Hackl, J., Adey, B.T.: Generation of spatially embedded random networks to model complex transportation networks. In: 14th International Probabilistic Workshop. pp. 217–230 Springer (2017)Google Scholar
- 22.Haenggi, M., Andrews, J.G., Baccelli, F., Dousse, O., Franceschetti, M.: Stochastic geometry and random graphs for the analysis and design of wireless networks. IEEE J. Sel. Areas Commun.
**27**, 1029–1046 (2009)CrossRefGoogle Scholar - 23.Haenggi, M.: Stochastic Geometry for Wireless Networks. Cambridge University Press, New York (2012)CrossRefzbMATHGoogle Scholar
- 24.Heinonen, J.: Lectures on Analysis on Metric Spaces. Springer Science & Business Media, Heidelberg (2012)zbMATHGoogle Scholar
- 25.Hsing, T., Rootzén, H.: Extremes on trees. Ann. Probab.
**33**, 413–444 (2005)MathSciNetCrossRefzbMATHGoogle Scholar - 26.Hutchinson, J.E.: Fractals and Self Similarity. University of Melbourne (Department of Mathematics), Parkville (1979)zbMATHGoogle Scholar
- 27.Janvresse, E., De La Rue, T.: A class of pairwise-independent joinings. Ergod. Theory Dyn. Syst.
**28**, 1545–1557 (2008)MathSciNetCrossRefzbMATHGoogle Scholar - 28.Kirchheim, B., Preiss, D.: Uniformly distributed measures in euclidean spaces. Mathe. Scand.
**90**(1), 152–160 (2002)MathSciNetCrossRefzbMATHGoogle Scholar - 29.Krioukov, D., Papadopoulos, F., Kitsak, M., Vahdat, A., Boguná, M.: Hyperbolic geometry of complex networks. Phys. Rev. E
**82**, 036106 (2010)ADSMathSciNetCrossRefGoogle Scholar - 30.Krioukov, D.: Clustering implies geometry in networks. Phys. Rev. Lett.
**116**, 208302 (2016)ADSMathSciNetCrossRefGoogle Scholar - 31.Last, F.N.G., Schulte, M.: Second order properties and asymptotic normality of cluster sizes in the random connection model (Unpublished)Google Scholar
- 32.Lee, K., Hong, S., Kim, S.J., Rhee, I., Chong, S.: Slaw: A new mobility model for human walks. In: INFOCOM 2009, IEEE, 855–863 IEEE (2009)Google Scholar
- 33.Mao, G.: Connectivity of Communication Networks. Springer, Cham (2017)CrossRefzbMATHGoogle Scholar
- 34.Meester, R., Roy, R.: Continuum Percolation, vol. 119. Cambridge University Press, Cambridge (1996)CrossRefzbMATHGoogle Scholar
- 35.Müller, T., Prałat, P.: The acquaintance time of (percolated) random geometric graphs. Eur. J. Comb.
**48**, 198–214 (2015)MathSciNetCrossRefzbMATHGoogle Scholar - 36.Parsonage, E., Roughan, M.: Fast generation of spatially embedded random networks. IEEE Trans. Netw. Sci. Eng.
**4**, 112–119 (2017)MathSciNetCrossRefGoogle Scholar - 37.Penrose, M.D.: Inhomogeneous random graphs, isolated vertices, and Poisson approximation. J. Appl. Prob.
**75**, 112–136 (2018)MathSciNetCrossRefGoogle Scholar - 38.Penrose, M.D.: On a continuum percolation model. Adv. Appl. Probab.
**23**, 536–556 (1991)MathSciNetCrossRefzbMATHGoogle Scholar - 39.Penrose, M.D.: The longest edge of the random minimal spanning tree. Ann. Appl. Prob.
**7**(2), 340–361 (1997)MathSciNetCrossRefzbMATHGoogle Scholar - 40.Penrose, M.: Random Geometric Graphs. Oxford University Press, Oxford (2003)CrossRefzbMATHGoogle Scholar
- 41.Penrose, M.D.: Connectivity of soft random geometric graphs. Ann. Appl. Probab.
**26**, 986–1028 (2016)MathSciNetCrossRefzbMATHGoogle Scholar - 42.Pratt, P., Dettmann, C.P., Georgiou, O.: How does mobility affect the connectivity of interference-limited ad hoc networks?. In: Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt), 2016 14th International Symposium on. pp. 1–8 IEEE (2016)Google Scholar
- 43.Studenỳ, M.: On the differentiation theorem in metric groups. Comment. Math. Univ. Carolinae
**24**, 223–232 (1983)MathSciNetzbMATHGoogle Scholar - 44.Walters, M.: Random geometric graphs. Surv. Comb.
**392**, 365–402 (2011)MathSciNetzbMATHGoogle Scholar - 45.Waxman, B.M.: Routing of multipoint connections. Sel. Areas Commun. IEEE J.
**6**, 1617–1622 (1988)CrossRefGoogle Scholar - 46.Wiedermann, M., Donges, J.F., Kurths, J., Donner, R.V.: Spatial network surrogates for disentangling complex system structure from spatial embedding of nodes. Phys. Rev. E
**93**, 042308 (2016)ADSCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.