08.10.2016 Views

Foundations of Data Science

2dLYwbK

2dLYwbK

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

√<br />

Thus, the probability for all such u is (1 − 2p 2 ) n−3 ln n<br />

. Substituting c<br />

n<br />

(<br />

1 − 2c2 ln n<br />

n<br />

) n−3<br />

∼= e<br />

−2c 2 ln n = n −2c2 ,<br />

for p yields<br />

which is an upper bound on E(I ij I kl ) for one i, j, k, and l with a = 3. Summing over all<br />

distinct triples yields n 3−2c2 for the second summation in (4.2).<br />

For the third summation, since the value <strong>of</strong> I ij is zero or one, E ( I 2 ij)<br />

= E (Iij ). Thus,<br />

∑<br />

E ( Iij) 2 = E (x) .<br />

ij<br />

Hence, E (x 2 ) ≤ n 4−2c2 + n 3−2c2 + n 2−c2 and E (x) ∼ = n 2−c2 , from which it follows that<br />

for c < √ 2, E (x 2 ) ≤ E 2 (x) (1 + o(1)). By a second moment argument, Corollary 4.4, a<br />

graph almost surely has at least one bad pair <strong>of</strong> vertices and thus has diameter greater<br />

than two. Therefore, the property that the diameter <strong>of</strong> G(n, p) is less than or equal to<br />

two has a sharp threshold at p = √ √<br />

2<br />

Disappearance <strong>of</strong> Isolated Vertices<br />

ln n<br />

n<br />

The disappearance <strong>of</strong> isolated vertices in G (n, p) has a sharp threshold at ln n.<br />

At n<br />

this point the giant component has absorbed all the small components and with the<br />

disappearance <strong>of</strong> isolated vertices, the graph becomes connected.<br />

Theorem 4.6 The disappearance <strong>of</strong> isolated vertices in G (n, p) has a sharp threshold <strong>of</strong><br />

ln n<br />

n .<br />

Pro<strong>of</strong>: Let x be the number <strong>of</strong> isolated vertices in G (n, p). Then,<br />

E (x) = n (1 − p) n−1 .<br />

Since we believe the threshold to be ln n<br />

ln n<br />

, consider p = c . Then,<br />

n n<br />

lim E (x) = lim n ( )<br />

1 − c ln n n<br />

n→∞ n→∞ n = lim ne −c ln n = lim n 1−c .<br />

n→∞ n→∞<br />

If c >1, the expected number <strong>of</strong> isolated vertices, goes to zero. If c < 1, the expected<br />

number <strong>of</strong> isolated vertices goes to infinity. If the expected number <strong>of</strong> isolated vertices<br />

goes to zero, it follows that almost all graphs have no isolated vertices. On the other<br />

hand, if the expected number <strong>of</strong> isolated vertices goes to infinity, a second moment argument<br />

is needed to show that almost all graphs have an isolated vertex and that the<br />

isolated vertices are not concentrated on some vanishingly small set <strong>of</strong> graphs with almost<br />

all graphs not having isolated vertices.<br />

85

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!