Random%20Geometric%20Graph%20Diameter%20in%20the%20Unit%20Disk

1
Random Geometric Graph Diameter in the Unit Disk

• Robert B. Ellis, Texas AM UniversitycoauthorsJ
  eremy L. Martin, University of MinnesotaCatherine
  Yan, Texas AM University

2
Definition of Gp(?,n)

• Fix 1 p 8.

• Randomly place vertices Vn v1,v2,,vn in
  unit disk D (independent identical uniform
  distributions)
• u,v is an edge iff u-vp ?.

u
B1(u,?)
B2(u,?)
B8(u,?)
3
Motivation

• Simulate wireless multi-hop networks, Mobile ad
  hoc networks
• Provide an alternative to the Erdos-Rényi model
  for testing heuristics Traveling salesman,
  minimal matching, minimal spanning tree,
  partitioning, clustering, etc.
• Model systems with intrinsic spatial
  relationships

4
Sample of History

• Clark, Colbourn, Johnson (1990) independent set
  (NPC), maximum clique (P), case p2 and
  non-random
• Appel, Russo (1997) distribution of max/min
  vertex degree
• Penrose (1999) k-connectivity ?? min degree k.
• Diaz, Penrose, Petit, Serna (2000-01) asymptotic
  optimal cost in minimum bisection, minimum vertex
  separation, other layout problems
• An authority Random Geometric Graphs, Penrose
  (2003)

5
Connectivity Regime
If then Gp(?,n)
is superconnected
If then Gp(?,n) is
subconnected/disconnected
From now on, we take ? of the form where c is
constant.
Notation. Almost Always (a.a.), Gp(?,n) has
property P means
6
Threshold for Connectivity

• Thm (Penrose, 99). Connectivity threshold min
  degree 1 threshold. Specifically,

Second moment method
7
Major Question Diameter of Gp(?,n)

• Assume Gp(?,n) is connected. Determine

Assume Gp(?,n) is connected. Then almost always,
Lower bound. Define diamp(D) lp-diameter of
unit disk D
8
Sharpened Lower Bound

• Prop. Let cgtap-1/2, and choose h(n) such that
  h(n)/n-2/3 ? 8. Then a.a.,

9
Diameter Upper Bound, cgtap-1/2
Lozenge Lemma (extended from Penrose). Let
cgtap-1/2. There exists a kgt0 such that a.a., for
all u,v in Gp(?,n), u and v are connected inside
the convex hull of B2(u,k?) U B2(v,k?).
k?
v
u
u-vp
Corollary. Let cgtap-1/2. There exists a Kgt0
(independent of p) such that almost always, for
all u,v in Gp(?,n),
10
Diameter Upper Bound A Spoke Construction
Vertices in consecutive gray regions are
joined by an edge.
Ap(r, ?/2)min area of intersection of two
lp-balls of radius ?/2 with centers at
Euclidean distance r
lp-balls in spoke 2/r
11
Diameter Upper Bound A Spoke Construction (cont)

• Building a path from u to v
• Instantiate T(log n) spokes.
• Suppose every gray region has a vertex.
• Use lozenge lemma to get from u to u, and
  v to v on nearby spokes.
• Use spokes to meet at center.

u
v
12
A Diameter Upper Bound

• Theorem. Let 1p8 and r min?2-1/2-1/p,
  ?/2. Suppose that
• Then almost always, diam(Gp(?,n))
  (2diamp(D)o(1)) / ?.
• Proof Sketch. M gray regions in all spokes
  T((2/r)log n).
• Pra single gray region has no vertex
  (1-Ap(r, ?/2)/p)n.

13
Two Improvements

1. Increase average distance of two gray regions in
   spoke, letting r?min?21/2-1/p, ?.
2. Allow o(1/?) gray regions to have novertex and
   use lozenge lemma to take K-step detours
   around empty regions.

Theorem. Let 1p8, h(n)/n-2/3 ? 8, and c gt
ap-1/2. Then almost always,
diamp(D)(1-h(n))/? diam(Gp(?,n))
diamp(D)(1o(1))/?.
rellis_at_math.tamu.edu http//www.math.tamu.edu/rel
lis/ martin_at_math.umn.edu http//www.math.umn.edu/
martin/ cyan_at_math.tamu.edu http//www.math.tamu.
edu/cyan/