1. Size of giant component in Random Geometric Graphs
-G. Ganesan
Indian Statistical Institute, Delhi.

2. Random Geometric Graph
n nodes uniformly distributed in S = [-½, ½]2
Two nodes u and v connected by an edge if
d(u, v) < rn
Resulting graph
 random geometric graph (RGG)

3. Figure 1: Random Geometric Graph

4. Radius of Connectivity

5. Giant Component Regime
Intermediate,
Has giant component
Sparse, no
Giant Comp.
Dense,
fully connected r n

6. Intermediate range

7. Theorem 1 (Ganesan, 2012)

8. Proof Sketch of Theorem 1
Divide S into small squares {Si}i
each of size
Choose 4 < ∆ < 5 so that nodes in adjacent squares are joined by an edge.
Say that Si is occupied if it contains at least one node and vacant otherwise.

9. Also, divide the unit square S into ``horizontal” rect. each of size
where
Fix the bottom rectangle R R

10. Say that a sequence of occupied squares
L = (S1,…,St) form a occupied left-right crossing of R if:
Si and Si+1 share an edge for each i.
S1 intersects left edge of R.
St intersects right edge of R. S St S1

11. 1

12. Probability of left-right crossing
Let LR(R) denote the event that R has an occupied left-right crossing…
Lemma (Ganesan, 2012): We have that
for some positive constant δ.
The constant delta here is independent of the choices of m1 and m2…this is the key…Hence we can fix m1 sufficiently large…to get arbitrarily high probabilities….

13. if M is sufficiently large.
Thus we have that
if M is sufficiently large. 1

14. What is the advantage of identifying occupied left-right crossings..
Ans: We get a path of edges from left to right…

15. 1

16. 1

17. Thus

18. What is the probability that each rectangle has such a path?
Ans:

19. Number of rectangles is
The number of rectangles is less than
since by our choice of rn, we have

20. Thus…
The event that each rectangle has an occupied left-right crossing occurs with prob.
And we then get a network of paths from left to right…

21. 1

22. Thus

23. Perform an analogous procedure vertically…

24. 1

25. Thus

26. Why is this useful?
We have obtained a connected “backbone” of paths in G…
We have essentially “trapped” isolated components of G in boxes of size…

27. Isolated
component

28. So, we know that if backbone occurs…
then all components not attached to backbone are “boxable” ,i.e.,
can be fitted in a
box…

29. Let X denote the sum of size of all components of G that are boxable…
for some positive constants
(1)
Recall that backbone occurs with prob..

30. Thus
Note: Whenever backbone occurs, X denotes total sum of sizes of components not attached to the backbone…
Therefore

31. We need to prove the estimate (1) regarding sum of sizes of boxable components…
i.e. to prove that
Recall: X sum of size of all components of G that are boxable

32. Proof of (1)
How to compute the size of a component that can be fitted in a
size box?
Main idea…count the number of vacant squares attached to the component…

34. Observation from figure…
“Boxable” components have a circuit of vacant squares attached to them…
For any square Si
(proved using standard binomial estimates)

35. We therefore cannot have large boxable components…
Because, such components have a lot of vacant squares ``attached” to them…

36. More precise computation
Let S0 be the square containing the origin…
Define C0 to be the maximal connected set of occupied squares containing S0…
We say that C0 is the cluster containing S0…

37. S0 C0

38. S0

39. We count the number of vacant squares Vs attached to C0
Suppose C0 contains k squares
and the outermost boundary
∂C0 of C0 contains
L edges…(thick line in fig.)
C0 is empty if S0 is vacant…

40. The following hold:
(1) The number of distinct vacant squares attached to ∂C0 is at least Vs > L/8…
(2) Since ∂C0 contains k squares in its interior, we must have

41. (3) Also, the ``last edge” of ∂C0 can cut the X axis at at most L distinct points…
(4) And ∂C0 has a self-avoiding path of L-1 steps.
(5) The number of choices of ∂C0 is therefore at most L.4L-1

42. Last
edge S0

43. Thus (1)-(5) implies

44. Thus….
And if N(C0) denotes the number of nodes is C0, we also have

45. Recall C0 is the occupied cluster containing S0…
Define Ci for each square Si
Same conclusion holds…

46. Use Markov’s inequality to get…
for θ sufficiently small…
But is the sum of size of all boxable components…
And we are done…

47. Main summary of steps
(1) We constructed a backbone of paths with high prob..…
(2) We deduced that each component not attached to the backbone is “boxable”
(3) We showed that the sum of sizes of all “boxable” components is less than
with high prob…

48. References
M. Franceschetti, O. Dousse, D. N. C. Tse and P. Thiran. (2007). Closing Gap in the Capacity of Wireless Networks via Percolation Theory. IEEE Trans. Inform. Theory, 53, 1009–1018.
G. Ganesan. (2012). Size of the giant component in a random geometric graph. Accepted for publ. Ann. Inst. Henri Poincare.
A. Gopalan, S. Banerjee, A. K. Das and S. Shakottai. (2011). Random Mobility and the Spread of Infection. Proc. IEEE Infocomm, pp. 999–1007.

49. P. Gupta and P. R. Kumar. (1998). Critical Power for Asymptotic Connectivity in Wireless Networks. Stoch. Proc. and Appl., 2203–2214.
M. Penrose. (2003). Random Geometric Graphs. Oxford.