Spatial Random Processes

advertisement
Spatial Random Processes
Introduction
Literature
-
R. van der Hofstad: Random graphs and complex nerworks.
www.win.tue.nl/~hofstad/NotesRGCN2009.pdf
B.Bollobas: Random graphs
For probability background – R.Durrett, probability theory and examples (2005)
Main subject
We will look at the Erdos-Renyi random graph (1960)
๐‘›
Consider n vertices, let each one of the ( ) possible edges appear independently with
2
possibility ๐‘ ∈ [0,1]
Such a graph is referred to as ๐บ(๐‘›, ๐‘).
Question: What is the size of the largest component? Denote it as ๐ถ๐‘š๐‘Ž๐‘ฅ of ๐บ(๐‘›, ๐‘).
๐œ†
๐‘›
We define: ๐‘ = , ๐œ† > 0
Exercise: Prove that ๐ธ[๐‘‘๐‘’๐‘”๐‘Ÿ๐‘’๐‘’(๐‘ฃ)] =
๐‘›−1
๐œ†
๐‘›
We will see that:
๐‘›→∞
If ๐œ† < 1, than ∃๐ถ๐œ† > 0 ๐‘ . ๐‘ก. ∀๐œ– > 0. ๐‘ƒ[(๐ถ๐œ† − ๐œ–) log ๐‘› ≤ |๐ถ๐‘š๐‘Ž๐‘ฅ | ≤ (๐ถ๐œ† + ๐œ–) log ๐‘›] →
๐‘›→∞
If ๐œ† > 1, then ∃๐ถ′๐œ† > 0 ๐‘ . ๐‘ก. ∀๐œ– > 0 ๐‘ƒ[(๐‘ ′๐œ† − ๐œ–)๐‘›] ≤ |๐ถ๐‘š๐‘Ž๐‘ฅ | ≤ (๐ถ ′๐œ† + ๐œ–)๐‘›] →
1
1
Fix vertex v. Do breadth first exploration of component ๐ถ(๐‘ฃ) of ๐บ(๐‘›, ๐‘) containing v vertices.
Can be either N (neutral), A(Active) or I(Inactive).
At time ๐‘ก = 0, ๐‘ฃ ∈ ๐ด and all other vertices are in N.
At time ๐‘ก ≥ 1, if ๐ด = ๐œ™, terminate.
Otherwise, choose ๐‘ค ∈ ๐ด.
Put all N neighbors of ๐‘Š in ๐ด. Put ๐‘Š in ๐ผ.
Note: Algorithm terminates after |๐ถ(๐‘ฃ)| steps.
Suppose at time ๐‘ก,
|๐‘| = ๐‘› − ๐‘˜ vertices are left and |๐ด| ≥ 1.
The number of vertices that go from N to A in stem ๐‘ก has the distribution:
๐œ†
๐œ†
๐ต๐‘–๐‘›(๐‘› − ๐‘˜, ๐‘) = ๐ต๐‘–๐‘› (๐‘› − ๐‘˜, ) ≈ ๐ต๐‘–๐‘›(๐‘›, )
๐‘›
๐‘›
๐‘›
Recall that ๐‘‹~๐ต(๐‘›, ๐‘), ๐‘ ∈ [0,1] ↔ ๐‘ƒ[๐‘‹ = ๐‘˜] = ( ) ๐‘๐‘˜ (1 − ๐‘)๐‘›−๐‘˜ , 0 ≤ ๐‘˜ ≤ ๐‘›
๐‘˜
Expect similarity with a branching process!
Branching Process
t=0
t=1
๐œ†
๐ต๐‘–๐‘›(๐‘›, )
๐‘›
๐œ†
๐ต๐‘–๐‘›(๐‘›, )
๐‘›
t=2
๐‘ƒ๐‘œ๐‘–(๐œ†)
๐‘Œ~๐‘ƒ๐‘œ๐‘–(๐œ†), ๐œ† ∈ (0, ∞)๐‘–๐‘“ ๐‘ƒ[๐‘Œ = ๐‘˜] =
๐œ†๐‘˜ ----−๐œ†
๐‘’
, ๐‘˜∈โ„ค
๐‘˜!
๐‘›→∞ ๐œ†๐‘˜
๐‘’ −๐œ† ,
๐‘˜!
๐œ†
Exercise: If ๐‘‹~๐ต๐‘–๐‘›(๐‘›, ๐‘›), then ๐‘ƒ[๐‘‹ = ๐‘˜] →
๐‘˜∈โ„ค
We will see that:
If ๐œ† < 1, then branching process (๐‘ƒ๐‘œ๐‘ (๐œ†)) dies out almost surely.
If ๐œ† > 1, then it lives forever with probability >0.
Further Questions
2
-
๐œ† = 1 → |๐ถ๐‘š๐‘Ž๐‘ฅ | ≈ ๐‘›3
-
If ๐œ† = 1 + ๐›ฟ๐‘› , ๐›ฟ๐‘› → 0
Other properties of ๐บ(๐‘›, ๐‘)
Add geometry to the graph
Fix a large graph ๐บ๐‘›
Retain (delete) every edge independently with probability ๐‘.
If ๐บ๐‘› = ๐‘˜๐‘› (the full graph), we get ๐บ(๐‘›, 1 − ๐‘)
Consider a random walk on ๐บ๐‘› , study the components ๐บ๐‘› \ {๐‘‹๐‘ก1 , … , ๐‘‹๐‘ก๐‘› }, ๐‘ก๐‘› ≥ 0
Study random graphs s.t. ๐‘ƒ[๐‘‘๐‘’๐‘”๐‘Ÿ๐‘’๐‘’(๐‘ฃ) ≥ ๐‘˜] ≈ ๐‘˜ −๐œ , ๐œ > 0
-
๐‘›→∞
Branching Processes
Time ๐‘› = 0, 1, …
๐‘‹1,1
t=0
๐‘‹2,1
๐‘‹2,๐‘‹1,1
t=1
t=2
In generation ๐‘› ≥ 0, individual ๐‘– gives birth to ๐‘‹๐‘›+1,๐‘– children, then dies.
Formally, we define {๐‘‹๐‘›,๐‘– |๐‘› ≥ 1, ๐‘– ≥ 1} as independent, identically distributed (iid) random
variables with values in โ„ค > 0
Define ๐‘๐‘› , (๐‘› ≥ 0) recursively by
๐‘0 = 1
โ‹ฎ
๐‘๐‘›=∑๐‘๐‘› −1 ๐‘‹
๐‘–=1
๐‘›,๐‘–
๐‘0 = to the total number of individuals in generation 1.
Notation ๐‘‹ = ๐‘‹1,1 (since all distribute identically)
๐‘ƒ๐‘– = ๐‘ƒ[๐‘‹ = ๐‘–] =probability that individual has ๐‘– children.
๐œ‚ = ๐‘ƒ [โ‹ƒ{๐‘๐‘› = 0}] = ๐‘ƒ[๐‘๐‘Ÿ๐‘œ๐‘๐‘’๐‘ ๐‘  ๐‘‘๐‘–๐‘’๐‘  ๐‘œ๐‘ข๐‘ก]
๐‘›≥1
For ๐‘  ∈ [0,1]
๐บ๐‘ฅ (๐‘ ) = ๐ธ[๐‘† ๐‘ฅ ]
“offspring generation function”
Theorem 1.1:
- If ๐ธ[๐‘ฅ] < 1, ๐‘กโ„Ž๐‘’๐‘› ๐œ‚ = 1
- If ๐ธ[๐‘ฅ] > 1, ๐‘กโ„Ž๐‘’๐‘› ๐œ‚ < 1
- If ๐ธ[๐‘ฅ] = 1, ๐‘Ž๐‘›๐‘‘ ๐‘ƒ[๐‘‹ = 1] < 1, ๐‘กโ„Ž๐‘’๐‘› ๐œ‚ = 1
Moreover, ๐œ‚ is the smallest solution in [0,1] of ๐œ‚ = ๐บ๐‘ฅ (๐œ‚)
Exercise 1.1: Prove ๐ธ[๐‘๐‘› ] = ๐œ‡๐‘› , where ๐œ‡ = ๐ธ[๐‘‹]
Exercise 1.2: For ๐œ‡ < 1, prove ๐ธ[๐‘‡] =
--------End of lesson 1
1
1−๐œ‡
where ๐‘‡ = ∑∞
๐‘›=0 ๐‘๐‘›
Reminder
-
{๐‘ฅ๐‘›,๐‘– }๐‘›,๐‘–≥1 ๐‘–๐‘–๐‘‘, โ„ค ≥ 0 − ๐‘ฃ๐‘Ž๐‘™๐‘ข๐‘’๐‘‘
๐‘๐‘›−1
- ๐‘0 = 1, ๐‘๐‘› = ∑๐‘–=1
๐‘‹๐‘›,๐‘–
- ๐‘‹ = ๐‘‹1,1
- ๐‘ƒ๐‘– = ๐‘ƒ[๐‘‹ = ๐‘–], ๐‘– = ๐‘–๐‘› โ„ค ≥ 0
- ๐œ‚ = ๐‘ƒ[โ‹ƒ๐‘›≥0{๐‘๐‘› = 0}]
- ๐บ๐‘ฅ (๐‘ ) = ๐ธ[๐‘  ๐‘ฅ ], ๐‘  ∈ [0,1]
Theorem 1.1 (survival vs. extinction):
if ๐ธ[๐‘‹] < 1 then ๐œ‚ = 1,
If ๐ธ[๐‘‹] > 1 then ๐œ‚ < 1,
If ๐ธ[๐‘‹] = 1 and ๐‘ƒ[๐‘‹ = 1] < 1 then ๐œ‚ = 1
๐œ‚ is the smallest solution in [0,1] of ๐œ‚ = ๐บ๐‘ฅ (๐œ‚)
Example:
๐‘‹~๐‘ƒ๐‘œ๐‘–(๐œ†), ๐œ† > 0
∞
๐‘–
๐บ๐‘ฅ (๐‘ ) = ∑∞
๐‘–=0 ๐‘  ๐‘๐‘– = ∑๐‘–=0
๐‘ ๐‘– ๐œ†๐‘– −๐œ†
๐‘’
๐‘–!
= ๐‘’ ๐œ†(๐‘ −1)
Proof: First prove that ๐œ‚ = ๐บ๐‘ฅ (๐œ‚)
Set ๐œ‚๐‘› = ๐‘ƒ [
๐‘๐‘› = 0 ]
โŸ
๐‘–๐‘›๐‘๐‘Ÿ๐‘’๐‘Ž๐‘ ๐‘–๐‘›๐‘” ๐‘–๐‘› ๐‘›
By ๐œŽ additivity, ๐œ‚๐‘› ↑ ๐œ‚ as ๐‘› → ∞.
Let ๐บ๐‘› (๐‘ ) = ๐ธ[๐‘  ๐‘๐‘› ], ๐‘  ∈ [0,1]
(↑ means that ๐œ‚๐‘› ≤ ๐œ‚๐‘›+1 , ๐œ‚๐‘› → ๐œ‚)
Note that is we set ๐บ๐‘› (0) = ๐œ‚๐‘›
๐‘–
๐บ๐‘› (0) = ∑∞
๐‘–=1 0 ๐‘ƒ[๐‘๐‘› = ๐‘–] = ๐œ‚๐‘› + 0 + 0 + โ‹ฏ + 0 = ๐œ‚๐‘› .
๐‘๐‘›
๐บ๐‘› (๐‘ ) = ∑∞
๐‘–=0 ๐ธ[๐‘  1{๐‘๐‘› =๐‘–} ] , where 1๐ด (๐‘ค) = {
TODO: Draw the full drawing
๐‘ก=1
๐‘ก=๐‘›
1 ๐‘–๐‘“ ๐‘ค ∈ ๐ด
0 ๐‘–๐‘“ ๐‘ค ∈ Ω\๐ด
(๐‘1 )
(1)
๐‘๐‘› = ๐‘๐‘› + โ‹ฏ + ๐‘๐‘›
(๐‘–)
where ๐‘๐‘› Is the number of generation n-individuals descending from
(๐‘–) (๐‘‘)
generation 1-individual ๐‘– and ๐‘๐‘› = ๐‘๐‘›−1
(๐‘–)
(๐‘๐‘› )
๐‘–≥0
๐‘–
๐‘–
๐‘๐‘›−1 ]
๐‘๐‘›−1 ]
are independent of ๐‘1 hence ๐บ๐‘› (๐‘ ) = ∑∞
๐‘๐‘– = ∑∞
๐‘๐‘– =
๐‘–=0 ๐ธ[๐‘ 
๐‘–=0 ๐ธ[๐‘ 
๐‘–
∑∞
๐‘–=0 ๐บ๐‘›−1 (๐‘ ) ๐‘๐‘– = ๐บ๐‘ฅ (๐บ๐‘›−1 (๐‘ )).
= ๐บ1 (๐บ๐‘›−1 (๐‘ ))
๐‘  = 0: ๐œ‚๐‘› = ๐บ1 (๐œ‚๐‘›−1 ), ๐‘› → ∞
๐œ‚ → ๐บ1 (๐œ‚)
By the dominated convergence theorem.
๐บ1 (๐œ‚๐‘›−1 ) = ๐ธ[(๐œ‚๐‘›−1 )๐‘1 ]
๐‘›→∞
(๐œ‚๐‘›−1 ) ๐‘ง1 →
๐œ‚ ๐‘1
Let ๐œ“ ∈ [0,1], ๐œ“ = ๐บ๐‘ฅ (๐œ“)
Now we need to show that ๐œ‚ ≤ ๐œ“, or equivalently, ๐œ‚๐‘› ≤ ๐œ“ ∀๐‘›.
Indeed: ๐œ‚0 = 0 ≤ ๐œ“ ∈ [0,1], if ๐œ‚๐‘›−1 ≤ ๐œ“, then ๐œ‚๐‘› = ๐บ๐‘ฅ (๐œ‚๐‘›−1 ) ≤ ๐บ๐‘ฅ (๐œ“)
๐‘๐‘ฆ ๐‘Ž๐‘ ๐‘ ๐‘ข๐‘š๐‘๐‘ก๐‘–๐‘œ๐‘›
=
๐œ“.
Case ๐‘ƒ[๐‘‹ ∈ {0,1}] = 1
๐‘ƒ[๐‘‹ = 0] = ๐‘ > 0
๐‘›→∞
๐œ‚๐‘› = 1 − ๐‘ƒ[๐‘๐‘› > 0] = 1 − (1 − ๐‘)๐‘› →
1.
Now assume ๐‘ƒ[๐‘ฅ ≤ 1] < 1.
๐บ๐‘ฅ′ (๐‘ ) = ๐ธ[๐‘‹๐‘  ๐‘‹−1 ] > 0
๐บ๐‘ฅ′′ (๐‘ ) = ๐ธ[๐‘‹(๐‘‹ − 1)๐‘  ๐‘‹−2 ] > 0, ๐‘  ∈ (0,1).
(Ex: Prove this by using the mean value theorem and the dominant convergence theorem.)
๐บ๐‘ฅ (1) = 1
TODO: Draw the graph of the function ๐บ๐‘ฅ (๐‘ )
Either ๐‘  = ๐บ๐‘ฅ (๐‘ ) has one or two solutions in [0,1].
One solution ↔ ๐บ๐‘ฅ′ (1) ≤ 1
๐บ๐‘ฅ′ (1) = ๐ธ[๐‘‹]
Exercise 1.4:
Compute ๐œ‚
If ๐‘0 = 1 − ๐‘, ๐‘2 = ๐‘, ๐‘ ∈ [0,1]
“Binary branching”.
Exercise 1.5: Prove ๐‘ƒ[๐‘๐‘› > 0] ≤ ๐œ‡๐‘› , ๐œ‡ = ๐ธ[๐‘‹].
Hint: use the Chebishev inequality and the previous exercise.
Dominated Convergence Theorem
๐‘›→∞
Let (๐‘‹๐‘› )๐‘›≥1 be a sequence of random variables, ๐‘‹๐‘› → ๐‘‹ a.s.
Assume that ∃ a random variable ๐‘Œ ≥ 0 almost surely ๐ธ[๐‘Œ] < ∞ such that |๐‘‹๐‘› | ≤ ๐‘Œ ∀๐‘› almost
๐‘›→∞
surely, Then ๐ธ[๐‘‹๐‘› ] →
๐ธ[๐‘‹].
Exercise 1.6:
Use the Dominated Convergence Theorem to fill in the details of the proof of theorem 1.1.
Change of Notation (random walk perspective)
TODO: Draw the drawing
๐‘ก=0
๐‘ก =n
Redenote ๐‘‹๐‘›,๐‘– as they appear in breadth-first search exploration of the tree.
๐‘–. ๐‘’. (๐‘‹1,1 , ๐‘‹2,1 , … , ๐‘‹2,2 , ๐‘‹3,1 , … ) =: (๐‘‹1 , ๐‘‹2 , ๐‘‹3 , … )
Define the random variables ๐‘๐‘˜ , ๐ผ๐‘˜ , ๐‘˜ ≥ 0 such that ๐‘‹๐‘˜ = ๐‘‹(๐‘๐‘˜ ,๐ผ๐‘˜)
Observation: (๐‘๐‘˜ , ๐ผ๐‘˜ ) depend only on (๐‘‹1 , … , ๐‘‹๐‘˜−1 )
Lemma 1.7:
(๐‘‹๐‘˜ )๐‘˜≥1 are iid with the same distribution as ๐‘‹.
Proof: Let ๐‘‹1 , … , ๐‘‹๐‘˜ ∈ โ„ค ≥ 0
๐‘ƒ[๐‘‹1 = ๐‘ฅ1, … , ๐‘‹๐‘˜ = ๐‘ฅ๐‘˜ ] = ∑ ∑ ๐‘ƒ [(๐‘‹1 = ๐‘ฅ1 , … , ๐‘‹๐‘˜−1 = ๐‘ฅ๐‘˜−1 , ๐‘๐‘˜ = ๐‘›, ๐ผ๐‘˜ = ๐‘– ) ๐‘‹๐‘›,๐‘– = ๐‘ฅ๐‘˜ ]
๐‘›≥1 ๐‘–≥1
๐‘›−1 ∞
๐ด
๐‘–−1
๐ด depends only on ๐œŽ ({๐‘‹๐‘š,๐‘— }๐‘š=1,๐‘–=1 {๐‘‹๐‘›,๐‘— }๐‘—=1 )
∑๐‘› ∑๐‘– ๐‘ƒ[๐ด]๐‘ƒ[๐‘‹ = ๐‘ฅ๐‘˜ ] = ๐‘ƒ[๐‘‹1 = ๐‘ฅ1 , … , ๐‘‹๐‘˜−1 = ๐‘ฅ๐‘˜−1 ]๐‘ƒ[๐‘‹ = ๐‘ฅ๐‘˜ ]
๐‘ƒ[๐‘‹ = ๐‘ฅ๐‘˜ ]
๐‘–๐‘›๐‘‘๐‘ข๐‘๐‘ก๐‘–๐‘œ๐‘›
=
๐‘ƒ[๐‘‹ = ๐‘ฅ1 ] โˆ™ … โˆ™
Independence of ๐‘‹๐‘›,๐‘–
Notation (ctd): (๐‘†๐‘– )๐‘–≥0 equals to the number of active individuals at stage ๐‘–.
๐‘†0 = 1
๐‘†๐‘– = ๐‘†๐‘–−1 + (๐‘‹๐‘– − 1), ๐‘– ≥ 1 = (๐‘‹1 , … , ๐‘‹๐‘– ) − (๐‘– − 1) = number of active individuals.
๐‘‡ = (∑๐‘›≥0 ๐‘๐‘› ) = inf{๐‘– ≥ 0 โˆถ ๐‘†๐‘– = 0}
๐‘†0 = 1
๐‘†1 = 1 + (2 − 1)
๐‘†2 = 2 + (2 − 1)
๐‘†3 = 3 + (0 − 1)
๐‘†4 = 2 + (0 − 1) = 1
๐‘ 5 = 1 + (0 − 1) = 0
------- end of lesson 2
In the proof of theorem 1.1 we showed: ๐บ๐‘› (๐‘ ) = ๐ธ[๐‘†๐‘๐‘› ] = ๐บ๐‘‹ (๐บ๐‘›−1 (๐‘ )), ๐‘  ∈ [0,1]
Exercise 1.7: Set ๐บ๐‘‡ (๐‘ ) = ๐ธ[๐‘† ๐‘‡ ], ๐‘  ∈ [0,1]
Prove that ๐บ๐‘‡ (๐‘ ) = ๐‘  โˆ™ ๐บ๐‘‹ (๐บ๐‘‡ (๐‘ )), where ๐บ๐‘‹ (๐‘ ) = ๐ธ[๐‘† ๐‘‹ ]
Exercise 1.8: Prove the following :
If ๐œ‡ = ๐ธ[๐‘‹] = 1, then ๐ธ[๐‘‡] = ∞
(hint: Prove first that ๐ธ[๐‘‡] = 1 + ๐ธ[๐‘‡])
Exercize 1.9: Recall ๐ธ[๐‘๐‘› ] = ๐œ‡๐‘›
-
๐‘
Prove that (๐‘€๐‘› = ๐œ‡๐‘›๐‘› )
๐‘›≥0
is a martingale (w.r.t. natural filtration). Show that:
lim ๐‘€๐‘› = ๐‘€∞ exists and 0 ≤ ๐‘€๐‘› ≤ ∞ almost surely.
๐‘›→∞
-
For ๐œ‡ > 1and ๐ธ[๐‘‹ 2 ] < ∞ show that (๐‘€๐‘› )๐‘›≥0 is bounded in ๐ฟ2 . Use theorem 1.1 and
onvergence theorem (๐ฟ2 ) to prove that ๐‘ƒ[๐‘€∞ = 0] = ๐œ‚ = ๐‘ƒ[๐‘‡ < ∞]. Deduce that
{๐‘€∞ = 0} = {๐‘‡ < ∞} almost surely.
(⇒ ๐‘๐‘› ~(๐‘€∞ โˆ™ ๐œ‡๐‘› )๐‘œ๐‘› {๐‘‡=∞} )
Theorem 1.10: (Extinction with large total progeny)
๐‘’ −๐ผ๐‘˜
If ๐œ‡ = ๐ธ[๐‘‹] > 1, then ๐‘ƒ[๐‘˜ ≤ ๐‘‡ < ∞] ≤ 1−๐‘’ ๐ผ where ๐ผ = sup(๐‘ก − log ๐ธ[๐‘’ ๐‘ก๐‘‹ ]) > 0
๐œ†
Remark: In ๐บ (๐‘›, ๐‘›) , ๐œ† > 1, we will see that ∃๐‘˜ > 0 ๐‘ . ๐‘ก. there are no components of size
1
between ๐‘˜ log ๐‘› and ๐‘˜ โˆ™ ๐‘›, with high probability as ๐‘› → ∞.
Lemma 1.11: (Cramer/Chernoff bound):
Let {๐‘‹๐‘– }∞
๐‘–=1 be iid.
1. For any ๐‘Ž ∈ (๐ธ[๐‘‹1 ], ∞), ๐‘ƒ[∑๐‘›๐‘–=1 ๐‘‹๐‘– ≥ ๐‘›๐‘Ž] ≤ ๐‘’ −๐‘›๐ผ(๐‘Ž)
2. For any ๐‘Ž ∈ (−∞, ๐ธ[๐‘‹1 ]), ๐‘ƒ[∑๐‘›๐‘–=1 ๐‘‹๐‘– ≤ ๐‘›๐‘Ž] ≤ ๐‘’ −๐‘›๐ผ(๐‘Ž)
Where ๐ผ(๐‘Ž) = sup(๐‘ก๐‘Ž − log ๐ธ[๐‘’ ๐‘ก๐‘‹1 ]) in (1)
t≥0
and ๐ผ(๐‘Ž) = sup(๐‘ก๐‘Ž − log ๐ธ[๐‘’ ๐‘ก๐‘‹1 ]) in (2)
t≤0
Proof of Lemma 1.11:
๐‘›
๐‘›
๐‘›
๐‘ƒ [∑ ๐‘‹๐‘– ≥ ๐‘›๐‘Ž] = ๐‘ƒ [exp (−๐‘ก๐‘›๐‘Ž + ๐‘ก ∑ ๐‘‹๐‘– ) ≥ 1] = ๐ธ[1๐ด ] ≤ ๐ธ 1๐ด โˆ™ exp (−๐‘ก๐‘›๐‘Ž + ๐‘ก ∑ ๐‘‹๐‘– )
โŸ
๐‘–=1
๐‘–=1
๐‘–=1
∀๐‘ก≥0
[
]
≥1
๐‘›
๐‘›
≤ ๐ธ exp (−๐‘ก๐‘›๐‘Ž + ๐‘ก ∑ ๐‘‹๐‘– ) = ๐‘’
โŸ
๐‘–=1
[
]
≥0
๐‘ก๐‘‹๐‘– ])
= exp(−๐‘›(๐‘ก๐‘Ž − log ๐ธ[๐‘’
)
Now optimize over ๐‘ก ≥ 0 ⇒(1).
−๐‘ก๐‘›๐‘Ž
๐ธ [∏ ๐‘’
๐‘›
๐‘ก๐‘‹๐‘–
]=๐‘’
−๐‘ก๐‘›๐‘Ž
๐‘–=1
∏ ๐ธ[๐‘’ ๐‘ก๐‘‹๐‘– ]
๐‘–=1
(2) is left as an exercise!
Proof of theorem 1.10:
∞
∞
∞
๐‘ƒ[๐‘˜ ≤ ๐‘‡ < ∞] = ∑ ๐‘ƒ [ ๐‘‡
โŸ= ๐‘› ] ≤ ∑ ๐‘ƒ[๐‘‹1 + โ‹ฏ + ๐‘‹๐‘› = ๐‘› − 1] = ∑ ๐‘ƒ[๐‘‹1 + โ‹ฏ + ๐‘‹๐‘› ≤ ๐‘›]
๐‘›=๐‘˜
⊆{๐‘†๐‘› =0}
๐‘›=๐‘˜
๐‘›=๐‘˜
๐‘†๐‘› = (๐‘‹1 + โ‹ฏ + ๐‘‹๐‘› ) − (๐‘› − 1)
๐‘™๐‘’๐‘š๐‘š๐‘Ž 1.11,(2),๐‘Ž=1
๐‘ƒ[๐‘˜ ≤ ๐‘‡ < ∞]
≤
∞
∑ ๐‘’ −๐‘›๐ผ(1)
๐‘›=๐‘˜
Define – ๐‘“(๐‘ก) = ๐‘ก − log ๐ธ[๐‘’ ๐‘ก๐‘‹ ] , ๐‘ก ≤ 0
๐‘“(0) = 0 − log 1 = 0
1
๐‘“ ′ (๐‘ก) | = 1 −
โˆ™ ๐ธ[๐‘‹๐‘’ 0๐‘‹ ] = 1 − ๐ธ[๐‘‹] < 0
0๐‘‹ ]
๐ธ[๐‘’
๐‘ก=0
Since the derivative is negative, there is some negative value where ๐‘“(๐‘ก) approaches from
above.
So ∃๐‘ก < 0: ๐‘“(๐‘ก) > 0 ⇒ ๐ผ(1) > 0
Duality Principle
Assume ๐œ‚ ∈ (0,1)
(๐œ‚ = ๐‘ƒ[๐‘‡ < ∞])
Condition the branching process to die out. (only consider the probability ๐‘ƒ[๐ด|๐‘‡ < ∞] =
๐‘ƒ[๐ด∩{๐‘‡<∞}]
๐‘ƒ[๐‘‡<∞]
(A event)
Question: How does this change the branching process?
Definition 1.12: (Conjugate Distribution)
Let ๐‘๐‘ฅ = ๐‘ƒ[๐‘‹ = ๐‘ฅ], ๐‘ฅ ∈ โ„ค≥0 and assume ๐‘0 > 0 (⇔ ๐œ‚ > 0).
Then the conjugate distribution (๐‘๐‘ฅ′ )๐‘ฅ∈โ„ค≥0 associated to ๐‘ is defined as ๐‘๐‘ฅ′ = ๐œ‚ ๐‘ฅ−1 ๐‘๐‘ฅ , ๐‘ฅ ∈ โ„ค≥0
Lemma 1.13:
∑ ๐‘๐‘ฅ′ = 1
๐‘ฅ≥0
Proof:
∑ ๐‘๐‘ฅ′ = ∑ ๐œ‚ ๐‘ฅ−1 ๐‘๐‘ฅ =
๐‘ฅ≥0
๐‘ฅ≥0
1
1
1
∑ ๐œ‚ ๐‘ฅ ๐‘๐‘ฅ = ๐บ๐‘‹ (๐œ‚) = โˆ™ ๐œ‚ = 1
๐œ‚
๐œ‚
๐œ‚
๐‘ฅ≥0
Denote the branching process with offspring distribution ๐‘′ (๐‘′ branching process) by
′
{๐‘‹๐‘›,๐‘–
}๐‘›≥1,๐‘–≥1
Lemma 1.14 (๐œ‚ > 0) ๐‘ƒ[๐‘‡ ′ < ∞] = 1
Proof: Let ๐‘  ∈ [0,1], assume that ๐บ๐‘‹ ′ (๐‘ ) = ๐‘ . Want to show ⇒ ๐‘  = 1, use theorem 1.1.
∞
∞
1
๐บ๐‘‹ ′ (๐‘ ) = ∑ ๐‘  ๐‘ƒ[๐‘‹ = ๐‘–] = ∑ ๐‘  ๐‘– (๐œ‚ ๐‘–−1 ๐‘๐‘– ) = ๐บ๐‘‹ (๐‘ ๐œ‚) = ๐‘ 
๐œ‚
๐‘–
′
๐‘–=0
๐‘–=0
So
๐‘ ๐œ‚≥๐œ‚
๐บ๐‘‹ (๐‘ ๐œ‚) = ๐‘ ๐œ‚ ⇒
โˆŽ
------ End of lesson 3
๐‘ ๐œ‚ ≥ ๐œ‚ ⇒ ๐‘  = 1
Duality Principle
Assume that ๐œ‚๐‘ƒ[๐‘‡ < ∞] ∈ (0,1)
Given ๐‘๐‘ฅ = ๐‘ƒ[๐‘‹ = ๐‘ฅ], ๐‘ฅ ≥ 0, ๐‘0 > 0
Define conjugate distribution ๐‘′ by ๐‘๐‘ฅ′ = ๐œ‚ ๐‘ฅ−1 ๐‘๐‘ฅ , ๐‘ฅ ∈ โ„ค≥0
′
{๐‘‹๐‘›,๐‘–
}๐‘›≥1,๐‘–≥1 ๐‘′ - A branching process
(๐‘‡ ′ , ๐‘๐‘›′ , ๐‘‹1′ , ๐‘‹2′ … ) then ๐‘ƒ[๐‘‡ ′ < ∞] = 1
Theorem 1.15: (duality princinple)
Let ๐‘ = (๐‘๐‘ฅ )๐‘ฅ∈โ„ค≥0 be a distribution on โ„ค≥0 with ๐‘0 > 0 and let ๐‘′ be its conjugate distribution.
Let (๐‘‹๐‘˜ )๐‘˜≥1 be a branching process.
Let (๐‘‹๐‘˜′ )๐‘˜≥1 be a branching process
Then ๐‘ƒ[(๐‘‹1 , … , ๐‘‹ ๐‘‡ ′ ) = (๐‘ฅ1 , … , ๐‘ฅ๐‘ก )|๐‘‡ < ∞] = ๐‘ƒ[(๐‘‹1′ , … , ๐‘‹๐‘‡′ ) = (๐‘ฅ1 , … , ๐‘ฅ๐‘ก )|๐‘‡ < ∞]
For ๐‘ฅ1 , … , ๐‘ฅ๐‘› ∈ โ„ค≥0 .
In words, ๐‘-branching process conditioned to die out is distributed as a ๐‘′ branching process.
Proof: Denote ๐ป = (๐‘‹1 , … , ๐‘‹๐‘‡ ), ๐ป ′ = (๐‘‹1′ , … , ๐‘‹๐‘‡′ ′ ), โ„Ž = (๐‘ฅ1 , … , ๐‘ฅ๐‘ก )
Recall:
๐‘†๐‘– = (๐‘‹1 + โ‹ฏ + ๐‘‹๐‘– ) − (๐‘– − 1)
๐‘‡ = inf{๐‘– ≥ 1|๐‘†๐‘– = 0}
๐‘ ๐‘– = (๐‘ฅ1 , … , ๐‘ฅ๐‘– ) − (๐‘– − 1)
Assume that ๐‘†๐‘– > 0 for 1 ≤ ๐‘– < ๐‘ก and ๐‘†๐‘ก = 0.
Otherwise (1) otherwise the equation is true trivially (0 = 0)
๐‘ก
๐‘ก
๐‘–=1
๐‘–=1
๐‘ƒ[๐ป = โ„Ž, ๐‘‡ < ∞] ๐ต๐‘ฆ ๐‘™๐‘’๐‘š๐‘š๐‘Ž 1.7 1
1
๐‘ƒ[๐ป = โ„Ž|๐‘‡ < ∞] =
=
∏ ๐‘๐‘ฅ๐‘– = ∏ ๐‘๐‘ฅ′ ๐‘– ๐œ‚1−๐‘ฅ๐‘–
๐‘ƒ[๐‘‡ < ∞]
๐œ‚
๐œ‚
๐‘ก
=
1 ๐‘ก−∑๐‘ก ๐‘ฅ
โˆ™ ๐œ‚ ๐‘–=1 ๐‘– ∏ ๐‘๐‘ฅ′ ๐‘–
๐œ‚
โŸ
๐‘–=1
๐‘ƒ[๐ป ′ =โ„Ž]
∑๐‘ก๐‘–=1 ๐‘ฅ๐‘–
But ๐‘ก −
= ๐‘ก − (๐‘ ๐‘ก + (๐‘ก − 1)) = ๐‘ก − ๐‘ก + 1 = 1
′
So it equals: ๐‘ƒ[๐ป = โ„Ž]
Which is what we needed to prove.
Exercise 1.16:
Let ๐‘‹ be ๐‘ƒ๐‘œ๐‘–(๐œ†) - distributed, ๐œ† > 0.
Recall from Lemma 1.11
๐ผ(๐‘Ž) = sup(๐‘ก๐‘Ž − log ๐ธ[๐‘’ ๐‘ก๐‘ฅ ]) , ๐‘Ž > 0
(๐‘ก ≥ 0 if ๐‘Ž > ๐œ†)
(๐‘ก ≤ 0 if ๐‘Ž < ๐œ†)
Show that in both cases (๐‘Ž > ๐œ†, ๐‘Ž < ๐œ†)
๐‘Ž
๐ผ(๐‘Ž) = sup (๐‘ก๐‘Ž − log ๐ธ[๐‘’ ๐‘ก๐‘ฅ ]) = ๐œ† − ๐‘Ž + ๐‘Ž log ( )
๐œ†
t∈Rโ„
Exercise 1.17 (coupling)
Let (๐‘๐‘ฅ )๐‘ฅ∈โ„ค , (๐‘ž๐‘ฅ )๐‘ฅ∈โ„ค be different probability distributions on โ„ค.
We want a random variable (๐‘‹, ๐‘Œ), โ„ค2 valued, such that
๐‘ƒ[๐‘‹ = ๐‘ฅ] = ๐‘๐‘ฅ , ๐‘ฅ ∈ โ„ค≥0
๐‘ƒ[๐‘Œ = ๐‘ฅ] = ๐‘ž๐‘ฅ , ๐‘ฅ ∈ โ„ค≥0
๐‘ƒ[๐‘‹ ≠ ๐‘Œ] as small as possible.
Prove that:
1
2
(๐‘๐‘ฅ −min{๐‘๐‘ฅ ,๐‘ž๐‘ฅ })(๐‘ž๐‘ฅ −min{๐‘๐‘ฅ ,๐‘ž๐‘ฅ })
๐‘‘๐‘‡๐‘‰ (๐‘,๐‘ž)
(i)
∑๐‘ฅ∈โ„ค(๐‘๐‘ฅ − min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ }) = ∑๐‘ฅ∈โ„ค(๐‘ž๐‘ฅ − min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ }) = ∑๐‘ฅ∈โ„ค|๐‘๐‘ฅ − ๐‘ž๐‘ฅ | = ๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž)
(ii)
๐‘๐‘ฅ,๐‘ฆ = min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ } if ๐‘ฅ = ๐‘ฆ, and
(iii)
otherwise. Is a
distribution on โ„ค2
With ๐‘ƒ[(๐‘‹, ๐‘Œ) = (๐‘ฅ, ๐‘ฆ)] = ๐‘๐‘ฅ,๐‘ฆ , (๐‘ฅ, ๐‘ฆ) ∈ โ„ค2
get ๐‘ƒ[๐‘‹ ≠ ๐‘Œ] = ๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž) and this is the best.
if ๐‘ƒ[(๐‘‹, ๐‘Œ) = (๐‘ฅ, ๐‘ฆ)] = ๐‘′๐‘ฅ,๐‘ฆ , ๐‘ƒ[๐‘‹ = ๐‘ฅ] = ๐‘๐‘ฅ , ๐‘ƒ[๐‘Œ = ๐‘ฅ] = ๐‘ž๐‘ฅ ⇒ ๐‘ƒ[๐‘‹ ≠ ๐‘Œ] ≥
๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž)
Possible for any random variable (๐‘‹ ′ , ๐‘Œ′) with values in โ„ค2 , with ๐‘ƒ[๐‘‹ ′ = ๐‘ฅ] =
๐‘๐‘ฅ , ๐‘ƒ[๐‘Œ ′ = ๐‘ฅ] = ๐‘ž๐‘ฅ ⇒ ๐‘ƒ[๐‘‹ ′ ≠ ๐‘Œ ′ ] > ๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž)
Poisson branching processes
Notation: Use superscript “*” for Poisson branching processes.
(๐‘‹๐‘›∗ , ๐‘‹๐‘–∗ , ๐‘‡ ∗ , … )
Recall:
๐œ†๐‘˜ −๐œ†
๐‘’ ,
๐‘˜!
-
๐‘ƒ[๐‘‹ ∗ = ๐‘˜] =
-
๐ธ[๐‘‹ ∗ ] = ๐œ†
๐บ๐‘‹ ∗ (๐‘ ) = ๐‘’ ๐œ†(๐‘ −1) , ๐‘  ≥ 0
๐‘˜ ∈ โ„ค≥0
Definition 2.1: Call 0 < ๐œ‡ < 1 < ๐œ† a conjugate pair if ๐œ‡๐‘’ −๐œ‡ = ๐œ†๐‘’ −๐œ†
Note:
๐‘“: ๐‘ฅ → ๐‘ฅ๐‘’ −๐‘ฅ is strictly increasing on [0,1]
It is strictly decreasing on [1, ∞]
๐‘“(0) = 0, ๐‘“(∞) = 0
TODO: Draw function…
So for any ๐œ† > 1, there is a unique conjugate ๐œ‡ ∈ [0,1) and vice-versa.
Theorem 2.2: (Poisson duality principle):
Let ๐œ‡ < 1 < ๐œ† be a conjugate pair
The ๐‘ƒ๐‘œ๐‘–(๐œ†) - a branching process conditioned on extinction is distributed as ๐‘ƒ๐‘œ๐‘–(๐œ‡) - a
branching process.
Proof: By theorem 1.15, The conditioned process is a branching process with offspring
distribution ๐‘๐‘ฅ′ = ๐œ‚๐œ†๐‘ฅ−1
๐œ†๐‘ฅ −๐œ†
๐‘’ ,
๐‘ฅ!
๐‘ฅ > 0 where ๐œ‚๐œ† = extinction probability for ๐‘ƒ๐‘œ๐‘–(๐œ†)- branching
process. ๐œ‚๐œ† ∈ (0,1)
i.e.
(๐œ†๐œ‚๐œ† )๐‘ฅ −๐œ† 1
๐‘๐‘ฅ′ =
๐‘’ ( )
๐‘ฅ!
๐œ‚๐œ†
By theorem 1.1:
๐œ‚๐œ† = ๐บ๐‘‹ ∗ (๐œ‚๐œ† ) = ๐‘’ ๐œ†(๐œ‚๐œ† −1)
So ๐‘๐‘ฅ′ =
(๐œ†๐œ‚๐œ† )๐‘ฅ
๐‘ฅ!
๐‘’ −๐œ† โˆ™
1
๐‘’
๐œ†(๐œ‚๐œ† −1)
=
(๐œ†๐œ‚๐œ† )๐‘ฅ
๐‘ฅ!
๐‘’ −๐œ†๐œ‚๐œ† , ๐‘ฅ ≥ 0
Hence, ๐‘′ = ๐‘ƒ๐‘œ๐‘–(๐œ†๐œ‚๐œ† )
?
๐œ†๐œ‚๐œ† ๐‘’ −๐œ†๐œ‚๐œ† = ๐œ‡๐‘’ −๐œ‡
Have to prove ๐œ†๐œ‚๐œ† = ๐œ‡
๐œ†๐œ‚๐œ† ๐‘’ −๐œ†๐œ‚๐œ† = ๐œ†๐‘’ ๐œ†(๐œ‚๐œ† −1) ๐‘’ −๐œ†๐œ‚๐œ† = ๐œ†๐‘’ −๐œ†
So, ๐œ†๐œ‚๐œ† ≠ ๐œ† (since ๐œ† > ๐‘ž (theorem 1.1) ⇒ ๐ธ[๐‘‹ ∗ ] > 1 ⇒ ๐œ‚๐œ† > 1)
And (๐œ†๐œ‚๐œ† )๐‘’ −(๐œ†๐œ‚๐œ† ) = ๐œ†๐‘’ −๐œ†
Since ๐‘ฅ๐‘’ −๐‘ฅ ↑ on [0,1], ↓ on [1, ∞]
There is at most 1 ๐‘ฅ diferent from ๐œ† such that ๐‘ฅ๐‘’ −๐‘ฅ = ๐œ†๐‘’ −๐œ† = ๐œ‡
Hence, ๐œ†๐œ‚๐œ† = ๐œ‡ โˆŽ
Theorem (Cayley’s formula):
The number of labeled trees on ๐‘› vertices is equal to ๐‘›๐‘›−2
TODO: Draw a tree
Theorem 3.15: In reference
---- End of lesson 4
∞
∗
๐‘‡ = ∑ ๐‘๐‘›∗ = inf{๐‘– ≥ 0: (๐‘‹1 + โ‹ฏ + ๐‘‹๐‘– ) − (๐‘– − 1) = 0}
๐‘›=1
Theorem 2.3 (Total Progeny of Poisson Branching Process):
For ๐‘ƒ๐‘œ๐‘–(๐œ†) - branching process. ๐œ† > 0
(๐œ†๐‘› )๐‘›−1 −๐œ†๐‘›
๐‘ƒ[๐‘‡ ∗ = ๐‘›] =
๐‘’
,
๐‘›!
๐‘›≥1
Proof: By Induction on ๐‘›.
∗
Check for ๐‘› = 1: ๐‘ƒ[๐‘‡ ∗ = 1] = ๐‘ƒ[๐‘‹1,1
= 0] = ๐‘’ −๐œ† which fully agrees with the formula.
๐‘› ≥ 2, assume the result holds for all ๐‘›′ < ๐‘›.
๐‘›−1
∗
๐‘ƒ[๐‘‡ = ๐‘›] = ∑ ๐‘ƒ[๐‘‡ ∗ = ๐‘›, ๐‘‹1,1
= ๐‘–]
∗
๐‘–=1
If we observe the children that “sprung” from all children of the first one, the sum of all vertices
is their sum + 1 (for the root) equals the sum of all vertices in the graph.
∗
๐‘‡ ∗ is distributed as 1 + ๐‘‡ (1) + โ‹ฏ + ๐‘‡ (๐‘‹1,1 ) , where {๐‘‡ (2) }๐‘–≥1 are iid with the same distribution as
๐‘‡∗
๐‘›−1
∗
๐‘ƒ[๐‘‡ = ๐‘›] = ∑ ๐‘ƒ[๐‘‡ (1) + โ‹ฏ + ๐‘‡ (๐‘–) = ๐‘› − 1, ๐‘‹1,1
= ๐‘–]
∗
๐‘–=1
But these random variables are independent (by our assumption)
๐‘›−1
=∑
∗
๐‘ƒ[๐‘‡ (1) = ๐‘›1 , … , ๐‘‡ (๐‘–) = ๐‘›๐‘– , ๐‘‹1,1
= ๐‘–] =
∑
๐‘–=1 (๐‘›1 ,…,๐‘›๐‘– )
๐‘›๐‘˜ ≥1,
∑๐‘˜ ๐‘›๐‘˜ =๐‘›−1
๐‘›−1
∑
∑
∗
๐‘ƒ[๐‘‡ (1) = ๐‘›1 ] โˆ™ … โˆ™ ๐‘ƒ[๐‘‡ (๐‘–) = ๐‘›๐‘– ] โˆ™ ๐‘ƒ[๐‘‹1,1
= ๐‘–]
๐‘–=1 (๐‘›1 ,…,๐‘›๐‘– )
๐‘›๐‘˜ ≥1,
∑๐‘˜ ๐‘›๐‘˜ =๐‘›−1
Now we can use our induction hypothesis!
Each of the ๐‘›๐‘– ’s is smaller than ๐‘›.
๐‘›−1
∑
๐‘–
∑
๐‘›−1−๐‘– −๐œ†(๐‘›−1)
๐œ†
๐‘’
โˆ™ ∏(
๐‘–=1 (๐‘›1 ,…,๐‘›๐‘– )
๐‘›๐‘˜ ≥1,
∑๐‘˜ ๐‘›๐‘˜ =๐‘›−1
So, so far we have shown that:
๐‘˜=1
(๐‘›๐‘˜ )๐‘›๐‘˜−1 ๐œ†๐‘– −๐œ†
)โˆ™ ๐‘’
๐‘›๐‘˜ !
๐‘–!
๐‘›−1
∗
๐‘›−1 −๐œ†๐‘›
๐‘ƒ[๐‘‡ = ๐‘›] = ๐œ†
๐‘’
1
∑
๐‘–!
๐‘–=1
โŸ
๐‘–
∑
∏(
(๐‘›1 ,…,๐‘›๐‘– ) ๐‘˜=1
๐‘›๐‘˜ ≥1
∑๐‘˜ ๐‘›๐‘˜ =๐‘›−1
(๐‘›๐‘˜ )๐‘›๐‘˜ −1
) = ๐œ†๐‘›−1 ๐‘’ −๐œ†๐‘› โˆ™ ๐‘Ž๐‘›
๐‘›๐‘˜ !
=:๐‘Ž๐‘›
Lemma 2.4: Let ๐ฟ๐‘› be the number of labeled trees on ๐‘› vertices.
Then, ๐ฟ๐‘› = ๐‘›๐‘›−2 = (๐‘› − 1)! ๐‘Ž๐‘›
๐‘›๐‘›−2
With the lemma 2.4, we get ๐‘ƒ[๐‘‡ ∗ = ๐‘›] = ๐œ†๐‘›−1 ๐‘’ −๐œ†๐‘› โˆ™ (๐‘›−1)! =
(๐œ†๐‘›)๐‘›−1
๐‘›!
๐‘’ −๐œ†๐‘› โˆŽ (theorem 2.3).
How do we prove lemma 2.4? We use lemma 2.5.
Lemma 2.5 (Cayley’s Formula):
๐ฟ๐‘› = ๐‘›๐‘›−2
Example:
๐‘›=5
TODO: Draw graph
Proof that lemma 2.5 ⇒ Lemma 2.4:
For ๐‘– ≥ 1, ๐‘›1 , … , ๐‘›๐‘– , ๐‘›๐‘˜ ≥ 1,
∑๐‘˜ ๐‘›๐‘˜ = ๐‘› − 1, define ๐‘ก(๐‘›1 ,…,๐‘›๐‘–) =number of labeled trees of ๐‘› vertices such that ๐‘ฃ1 has ๐‘–
neighbors, (tree\{๐‘ฃ1 }) – has components with ๐‘›1 , … , ๐‘›๐‘– vertices.
To choose such a tree:
1. Split {๐‘ฃ2 , … , ๐‘ฃ๐‘› } into sets of size ๐‘›1 , … , ๐‘›๐‘–
2. Choose ๐‘– labeled trees of size ๐‘›1 , … , ๐‘›๐‘–
3. Choose a vertex in each of the ๐‘– trees, and connect it to ๐‘ฃ1
๐‘–
๐‘ก(๐‘›1 ,…,๐‘›๐‘–)
(๐‘›๐‘˜ )๐‘›๐‘˜−1
๐‘›−1
๐‘› −2
๐‘› −2
=(
) โˆ™ (๐‘›1 1 โˆ™ … โˆ™ ๐‘›๐‘– ๐‘– ) โˆ™ (๐‘›1 โˆ™ … โˆ™ ๐‘›๐‘– ) = (๐‘› − 1)! ∏ (
)
๐‘›1 , … , ๐‘›๐‘–
๐‘›๐‘˜ !
๐‘˜=1
Hence,
๐‘›−1
๐ฟ๐‘› = ∑
๐‘›−1
∑
๐‘›๐‘˜ ≥1
๐‘–=1
∑๐‘˜ ๐‘›๐‘˜ =๐‘›−1
(๐‘ˆ๐‘›๐‘œ๐‘Ÿ๐‘‘๐‘’๐‘Ÿ๐‘’๐‘‘!)
Now we’re done!
⇒ ๐ฟ๐‘› = (๐‘› − 1)! โˆ™ ๐‘Ž๐‘›
๐‘ก(๐‘›1 ,…,๐‘›๐‘–) = ∑
๐‘–=1
1
๐‘–!
∑
๐‘›๐‘˜ ≥1
∑๐‘˜ ๐‘›๐‘˜ =๐‘›−1
๐‘‚๐‘Ÿ๐‘‘๐‘’๐‘Ÿ๐‘’๐‘‘!
๐‘ก(๐‘›1 ,…,๐‘›๐‘–)
Lemma 2.5 (๐ฟ๐‘› = ๐‘›๐‘›−2 , ๐‘› ≥ 1):
Definition: A rooted tree is a tree with one distinguished vertex called “the root” and the edges
are all oriented, and oriented away from the root.
Example:
TODO: Draw an oriented tree
It’s not possible that a vertex will have 2 incoming edges. So a vertex has 1 incoming degree.
For labeled vertices ๐‘ฃ1 , … , ๐‘ฃ๐‘› , ๐ธ = {⟨๐‘ฃ๐‘– , ๐‘ฃ๐‘— ⟩, ๐‘– ≠ ๐‘—}
๐‘ ๐‘› = |{(๐‘’1 , … , ๐‘’๐‘› ) ∈ ๐ธ ๐‘›−1 |({๐‘ฃ1 , … , ๐‘ฃ๐‘› }, {๐‘’1 , … , ๐‘’๐‘›−1 }) − ๐‘–๐‘  ๐‘Ž ๐‘Ÿ๐‘œ๐‘œ๐‘ก๐‘’๐‘‘ ๐‘ก๐‘Ÿ๐‘’๐‘’}|
Example:
TODO: Draw vertices example
To choose such a sequence as (was supposed to be drawn) above:
1. Choose a labeled tree on {๐‘ฃ1 , … , ๐‘ฃ๐‘› }
2. Choose a root
3. Choose order in which to add the ๐‘› − 1 edges.
Hence, ๐‘ ๐‘› = ๐ฟ๐‘› โˆ™ ๐‘› โˆ™ (๐‘› − 1)! = ๐ฟ๐‘› โˆ™ ๐‘›!
Alternatively, ๐‘ ๐‘› = ๐‘ ๐‘›′ , where ๐‘†๐‘›′ is the number of rooted trees after you remove the last ๐‘˜
edges.
๐‘ ๐‘›′
= |{(๐‘’1 , … , ๐‘’๐‘› ) ∈ ๐ธ ๐‘›−1 |({๐‘ฃ1 , … , ๐‘ฃ๐‘› }, {๐‘’1 , … , ๐‘’๐‘›−1−๐‘˜ }) − ๐‘–๐‘  ๐‘Ž ๐‘Ÿ๐‘œ๐‘œ๐‘ก๐‘’๐‘‘ ๐‘“๐‘œ๐‘Ÿ๐‘’๐‘ ๐‘ก ๐‘ค๐‘–๐‘กโ„Ž ๐‘˜ + 1 ๐‘๐‘œ๐‘š๐‘๐‘œ๐‘›๐‘’๐‘›๐‘ก๐‘  ∀๐‘˜ = 0, … , ๐‘› − 1}|
๐‘ ๐‘› ≤ ๐‘ ๐‘›′ obviously (every sequence in a set of ๐‘ ๐‘› can generate a sequence in ๐‘ ๐‘›′ )
But also ๐‘ ๐‘›′ ≤ ๐‘ ๐‘› , since for ๐‘˜ = 1, every forest is a rooted tree.
Suppose edges ๐‘’1 , … , ๐‘’๐‘›−1−๐‘˜ have been added.
Number of choices for ๐‘’๐‘›−๐‘˜ = (๐‘ข, ๐‘ฃ)
โŸ
๐‘›
โˆ™
โŸ
๐‘˜
๐‘ข ๐‘Ž๐‘Ÿ๐‘๐‘–๐‘ก๐‘Ÿ๐‘Ž๐‘Ÿ๐‘ฆ ๐‘ฃ ๐‘Ž๐‘›๐‘ฆ ๐‘Ÿ๐‘œ๐‘œ๐‘ก ๐‘œ๐‘กโ„Ž๐‘’๐‘Ÿ ๐‘กโ„Ž๐‘Ž๐‘› ๐‘กโ„Ž๐‘’ ๐‘œ๐‘›๐‘’ ๐‘œ๐‘“ ๐ถ(๐‘ข)
Hence
๐‘›−1
๐‘†๐‘› =
๐‘ ๐‘›′
= ∏(๐‘›๐‘˜) = ๐‘›๐‘›−1 โˆ™ (๐‘› − 1)! = ๐‘›๐‘›−2 ๐‘›! = ๐ฟ๐‘› (๐‘›!)
๐‘˜=1
--- end of lesson 5
Theorem 2.3: For ๐‘ƒ๐‘œ๐‘–(๐œ†) = ๐ต. ๐‘ƒ.
๐‘ƒ[๐‘‡ ∗ = ๐‘›] =
(๐œ† > 0),
(๐œ†๐‘› )๐‘›−1 −๐œ†๐‘›
๐‘’
,
๐‘›!
๐‘›≥1
Proof of Lemma 2.4:
(Correction):
๐‘– ≥ 1,
๐‘›1 , … , ๐‘›๐‘– ,
๐‘›๐‘˜ ≥ 1,
∑ ๐‘›๐‘˜ = ๐‘› − 1
๐‘˜
TODO: Draw correction drawing
๐‘ก(๐‘›1 , … , ๐‘›๐‘– ) = number of labeled trees on ๐‘› vertices {๐‘ฃ1 , … , ๐‘ฃ๐‘› }, where ๐‘ฃ1 belongs to labeled
edges 1, … , ๐‘–.
And ๐‘ฃ1 has ๐‘›๐‘˜ descendants attached to edge ๐‘˜, ๐‘˜ ∈ {1, … , ๐‘–}
Reminder of what we did last time:
๐‘›−1
(
)
โŸ๐‘›1 , … , ๐‘›๐‘–
๐‘ก(๐‘›1 , … , ๐‘›๐‘– ) =
๐‘œ๐‘“ ๐‘ค๐‘Ž๐‘ฆ๐‘  ๐‘ก๐‘œ
๐‘๐‘Ž๐‘Ÿ๐‘ก๐‘–๐‘ก๐‘–๐‘œ๐‘› {๐‘ฃ2 ,…,๐‘ฃ๐‘› }
๐‘–๐‘›๐‘ก๐‘œ ๐‘”๐‘Ÿ๐‘œ๐‘ข๐‘๐‘  ๐‘œ๐‘“
๐‘ ๐‘–๐‘ง๐‘’ ๐‘›1 ,…,๐‘›๐‘–
๐‘›1 −2
๐‘› −2
=
๐‘›
× … × ๐‘›๐‘– ๐‘–
โŸ1
๐‘œ๐‘“ ๐‘โ„Ž๐‘œ๐‘–๐‘๐‘’๐‘  ๐‘œ๐‘“
๐‘™๐‘Ž๐‘๐‘’๐‘™๐‘’๐‘‘ ๐‘ ๐‘ข๐‘๐‘ก๐‘Ÿ๐‘’๐‘’๐‘ 
×
(๐‘›1 × … × ๐‘›๐‘– )
โŸ
๐‘œ๐‘“ ๐‘โ„Ž๐‘œ๐‘–๐‘๐‘’๐‘  ๐‘œ๐‘“
๐‘›๐‘’๐‘–๐‘”โ„Ž๐‘๐‘œ๐‘Ÿ๐‘  ๐‘œ๐‘“ ๐‘ฃ1
๐‘Ž
Remark: (๐‘ , … , ๐‘ ) - is the number of ways to partition ๐‘Ž objects into ๐‘˜ labeled bins of sizes
1
๐‘˜
๐‘1 , … , ๐‘๐‘˜
And the number of labeled trees on ๐‘› vertices equals
๐‘›−1
∑
๐‘–=1
1
๐‘–!
∑
๐‘ก(๐‘›1 ,…,๐‘›๐‘–) โˆŽ
(๐‘›1 ,…,๐‘›๐‘– )
โŸ๐‘›๐‘˜≥1,∑๐‘˜ ๐‘›−1
# ๐‘œ๐‘“ ๐‘ก๐‘Ÿ๐‘’๐‘’๐‘  ๐‘ค๐‘–๐‘กโ„Ž deg(๐‘ฃ1 )=๐‘–
Corollary 2.6 (differentiability of the extinction probability):
Let ๐œ‚(๐œ†) = ๐‘ƒ๐œ† [๐‘‡ ∗ < ∞], ๐œ† > 1
And let 0 < ๐œ‡ < 1 be the conjugate of ๐œ† (cf. definition 2.1)
So ๐œ‡๐‘’ −๐œ‡ = ๐œ†๐‘’ −๐œ†
Then
−๐œ‚′ (๐œ†) =
๐œ‚(๐œ†)(๐œ† − ๐œ‡)
<∞
๐œ†(1 − ๐œ‡)
Proof: Assume ๐œ† > 1 + ๐œ–, ๐œ– > 0
By theorem 2.3:
∞
๐œ‚(๐œ†) = ∑
๐‘›=1
(๐œ†๐‘›)๐‘›−1 −๐œ†๐‘›
๐‘’
๐‘›!
By using the mean-value theorem, and the dominant convergence theorem, we can check that
we can differentiate term-by-term.
So:
∞
๐œ‚
′ (๐œ†)
=∑
๐‘›=1
(๐œ†๐‘›)๐‘›−1 −๐œ†๐‘› (๐‘› − 1)๐œ†๐‘›−2 ๐‘›๐‘›−1 −๐œ†๐‘›
๐‘›๐‘’
−
๐‘’
=
๐‘›!
๐‘›!
๐‘๐‘ฆ ๐‘กโ„Ž๐‘’๐‘œ๐‘Ÿ๐‘’๐‘š
1.15 (๐‘‘๐‘ข๐‘Ž๐‘™๐‘–๐‘ก๐‘ฆ)
1
1
1
1
๐ธ๐œ† [๐‘‡ 1{๐‘‡ ∗ <∞} ] (1 − ) + ๐œ‚(๐œ†) = ๐ธ๐œ† [๐‘‡ ∗ |๐‘‡ ∗ < ∞] โˆ™ ๐œ‚(๐œ†) (1 − ) + ๐œ‚(๐œ†)
=
๐œ†
๐œ†
๐œ†
๐œ†
1
1
๐œ‚(๐œ†) ๐‘๐‘ฆ ๐ธ๐‘ฅ.1.3(?) ๐œ‡(๐œ†) (1 − ๐œ†) ๐œ‚(๐œ†) ๐œ‚(๐œ†)(๐œ† − 1) + ๐œ‚(๐œ†)(1 − ๐œ‡)
∗
๐ธ๐œ‡ [๐‘‡ ] โˆ™ ๐œ‚(๐œ†) (1 − ) +
=
+
=
๐œ†
๐œ†
1−๐œ‡
๐œ†
๐œ†(1 − ๐œ‡)
๐œ‚(๐œ†)(๐œ† − ๐œ‡)
=
โˆŽ
๐œ†(1 − ๐œ‡)
∗
Recall exercise 1.17:
๐‘, ๐‘ž be different distributions on โ„ค, then there exists a distribution ๐‘ on โ„ค2 such that if
(๐‘‘)
(๐‘‘)
(๐‘‘)
(๐‘‹, ๐‘Œ) = ๐‘, then ๐‘‹ = ๐‘, ๐‘Œ = ๐‘ž and ๐‘ƒ[๐‘‹ ≠ ๐‘Œ] = ๐‘‘ ๐‘‡๐‘‰ (๐‘, ๐‘ž) = 1 − ∑๐‘ฅ∈โ„ค min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ }
Exercise 2.7: Let (๐‘‹๐‘– )๐‘›๐‘–=1 be iid ๐‘ฅ๐‘– ~๐ต๐‘’(๐‘), i.e. ๐‘ƒ[๐‘‹๐‘– = 1] = ๐‘, ๐‘ƒ[๐‘‹๐‘– = 0] = 1 − ๐‘, ๐‘ ∈ [0,1],
then show that ∑๐‘›๐‘–=1 ๐‘ฅ๐‘– ~๐ต๐‘–๐‘›(๐‘›, ๐‘)
Exercise 2.8: Let (๐‘‹๐‘– )๐‘›๐‘–=1 be independent, ๐‘ฅ๐‘– ~๐‘ƒ๐‘œ๐‘– (๐œ†๐‘– ), ๐œ†๐‘– > 0
Show that ∑๐‘›๐‘–=1 ๐‘‹๐‘– ~๐‘ƒ๐‘œ๐‘–(∑๐‘›๐‘–=1 ๐œ†๐‘– )
Theorem 2.9: (coupling of Binomial and Poisson random variables)
For ๐œ† > 0, there exists a โ„ค2 values random variable (๐‘‹, ๐‘Œ) such that:
๐œ†
-
๐‘‹~๐ต๐‘–๐‘› (๐‘›, ๐‘›)
-
๐‘Œ~๐‘ƒ๐‘œ๐‘–(๐œ†)
-
๐‘ƒ[๐‘‹ ≠ ๐‘Œ] ≤
๐œ†2
๐‘›
Proof: By Ex.1.17, there are iid random variables {(๐ผ๐‘˜ , ๐ฝ๐‘˜ )}๐‘›๐‘˜=1 such that:
๐œ†
-
๐ผ๐‘˜ ~๐ต๐‘’ (๐‘›)
-
๐ฝ๐‘˜ ~๐‘ƒ๐‘œ๐‘– (๐‘›)
-
๐‘ƒ[๐ผ๐‘˜ = ๐ฝ๐‘˜ ] = ∑๐‘ฅ∈โ„ค≥0 min{๐‘ƒ[๐ผ1 = ๐‘ฅ], ๐‘ƒ[๐ฝ1 = ๐‘ฅ]} =
๐œ†
๐œ†
๐œ† ๐œ† ๐œ† 1−๐‘ฅ≤๐‘’ −๐‘ฅ
๐œ† ๐œ† ๐œ†
min {1 − , ๐‘’ −๐‘› } + min { , ๐‘’ −๐‘› } = 1 − + ๐‘’ −๐‘›
๐‘›
๐‘› ๐‘›
๐‘› ๐‘›
Define:
๐œ†
๐‘›
(๐‘‹, ๐‘Œ) = ∑(๐ผ๐‘˜ , ๐ฝ๐‘˜ )
๐‘˜=1
๐œ†
By exercise 2.7, ๐‘‹~๐ต๐‘–๐‘› (๐‘›, ๐‘›)
By exercise 2.8: ๐‘Œ~๐‘ƒ๐‘œ๐‘–(๐œ†)
Finally:
๐‘›
๐œ† ๐œ† ๐œ†
๐œ†
๐‘ƒ[๐‘‹ ≠ ๐‘Œ] ≤ ∑ ๐‘ƒ[๐ผ๐‘˜ ≠ ๐ฝ๐‘˜ ] = ๐‘› โˆ™ ( − ๐‘’ −๐‘› ) ≤ ๐œ† โˆ™
๐‘› ๐‘›
๐‘›
๐‘˜=1
๐œ†
๐‘›
Exercise 2.10: Let (๐‘‹๐‘› )๐‘›≥1 , ๐‘‹๐‘› ~๐ต๐‘–๐‘› (๐‘›, ) , ๐‘Œ~๐‘ƒ๐‘œ๐‘–(๐œ†), ๐œ† ≥ 0.
(๐‘‘)
๐‘›→∞
Prove that ๐‘‹๐‘› → ๐‘Œ, meaning: For any ๐ด ⊆ โ„ค, ๐‘ƒ[๐‘‹๐‘› ∈ ๐ด] →
๐‘ƒ[๐‘Œ ∈ ๐ด]
Theorem 2.11 (Poisson and Binomial branching processes):
๐œ†
๐‘›
Let ๐‘‡ and ๐‘‡ ∗ be the total progenies of a ๐ต๐‘–๐‘› (๐‘›, ) - branching process ๐‘‡ and of a ๐‘ƒ๐‘œ๐‘–(๐œ†) branching process ๐‘‡ ∗, ๐œ† > 0. Then for ๐‘˜ ≥ 1 ๐‘ƒ[๐‘‡ ≥ ๐‘˜] = ๐‘ƒ[๐‘‡ ∗ ≥ ๐‘˜] + ๐‘’(๐‘˜, ๐‘›)
Where |๐‘’(๐‘˜, ๐‘›)| ≤
2๐œ†2 ๐‘˜−1
∑๐‘ =1 ๐‘ƒ[๐‘‡ ∗
๐‘›
> ๐‘ ] ≤
2๐œ†2 ๐‘˜
๐‘›
Proof: By theorem 2.9, we can define the branching processes:
(๐‘‹1 , ๐‘‹2 , … ) (Bin)
(๐‘‹1∗ , ๐‘‹2∗ , … ) (Poi)
(random walk perspective)
Such that ๐‘ƒ[๐‘‹๐‘– ≠ ๐‘‹๐‘–∗ ] ≤
๐œ†2
,
๐‘›
๐‘–≥1
๐‘˜ ≥ 1:
{๐‘‡ ≥ ๐พ} depends only on {๐‘‹1 , … , ๐‘‹๐‘˜−1 } - A key observation!
Now:
๐‘˜−1
๐‘ƒ[๐‘‡ ≥ ๐‘˜, ๐‘‡ < ๐‘˜] ≤ ∑ ๐‘ƒ[๐‘‹๐‘– = ๐‘‹๐‘–∗ ๐‘“๐‘œ๐‘Ÿ 1 ≤ ๐‘– ≤ ๐‘  − 1, ๐‘‹๐‘  ≠ ๐‘‹๐‘ ∗ ๐‘‡ ≥ ๐‘˜ ≥ ๐‘ ]
∗
๐‘ =1
We can deduce from ๐‘‡ ≥ ๐‘˜ ≥ ๐‘  that ๐‘‡ ∗ ≥ ๐‘ !
๐‘˜−1
≤ ∑ ๐‘ƒ[๐‘‹๐‘  ≠ ๐‘‹๐‘ ∗ , ๐‘‡ ∗ ≥ ๐‘ ]
๐‘ =1
But these two events are independent
๐‘˜−1
= ∑ ๐‘ƒ[๐‘‹๐‘  ≠
๐‘ =1
Similarly:
๐‘˜−1
๐‘‹๐‘ ∗ ]๐‘ƒ[๐‘‡ ∗
๐œ†2
≥ ๐‘ ] ≤ ∑ ๐‘ƒ[๐‘‡ ∗ ≥ ๐‘ ]
๐‘›
๐‘ =1
๐‘˜−1
๐‘ƒ[๐‘‡ ≥ ๐‘˜, ๐‘‡ < ๐‘˜] ≤ ∑ ๐‘ƒ[๐‘‹๐‘– = ๐‘‹๐‘–∗ , ๐‘“๐‘œ๐‘Ÿ ๐‘– ≤ ๐‘  − 1, ๐‘‹๐‘– ≠ ๐‘‹๐‘–∗ , ๐‘‡ ∗ ≥ ๐‘˜ ≥ ๐‘ ] ≤
∗
๐‘ =1
๐‘˜−1
∑โŸ
๐‘ƒ[๐‘‹๐‘  ≠ ๐‘‹๐‘ ∗ ] ๐‘ƒ[๐‘‡ ∗ ≥ ๐‘ ]
๐‘ =1
≤
๐œ†2
๐‘›
We are interested in: |๐‘ƒ[๐‘‡ ≥ ๐‘˜] − ๐‘ƒ[๐‘‡ ∗ ≥ ๐‘˜]| ≤
|๐‘ƒ[๐‘‡ ≥ ๐‘˜, ๐‘‡ ∗ ≥ ๐‘˜] + ๐‘ƒ[๐‘‡ ≥ ๐‘˜, ๐‘‡ ∗ < ๐‘˜] − ๐‘ƒ[๐‘‡ ∗ ≥ ๐‘˜, ๐‘‡ ≥ ๐‘˜] − ๐‘ƒ[๐‘‡ ∗ ≥ ๐‘˜, ๐‘‡ < ๐‘˜]| ≤
๐‘˜−1
2๐œ†2
∑ ๐‘ƒ[๐‘‡ ∗ ≥ ๐‘ ] โˆŽ
๐‘›
๐‘ =1
--- end of lesson 6
Exercise 1.17 ๐‘, ๐‘ž different distributions on โ„ค
(๐‘๐‘ฅ − min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ })(๐‘ž๐‘ฆ − min{๐‘๐‘ฆ , ๐‘ž๐‘ฆ })
๐‘œ๐‘“ ๐‘ฅ = ๐‘ฆ
๐‘๐‘ฅ,๐‘ฆ = {
๐‘‘ ๐‘‡๐‘‰ (๐‘, ๐‘ž)
min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ } ๐‘–๐‘“ ๐‘ฅ = ๐‘ฆ
(๐‘ฅ, ๐‘ฆ) ∈ โ„ค2
1
1
๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž) = ∑|๐‘๐‘ฅ − ๐‘ž๐‘ฅ | = ( ∑ (๐‘๐‘ฅ − ๐‘ž๐‘ฅ ) + ∑ (๐‘ž๐‘ฅ − ๐‘๐‘ฅ )) =
2
2
๐‘ฅ∈โ„ค
๐‘ฅ:๐‘๐‘ฅ ≥๐‘ž๐‘ฅ
๐‘ฅ:๐‘ž๐‘ฅ <๐‘๐‘ฅ
1
(∑ ๐‘๐‘ฅ − ∑ ๐‘๐‘ฅ − ∑ ๐‘ž๐‘ฅ + ∑ ๐‘ž๐‘ฅ − ∑ ๐‘๐‘ฅ ) =
2
๐‘ฅ∈โ„ค
๐‘ฅ:๐‘๐‘ฅ <๐‘ž๐‘ฅ
๐‘ฅ:๐‘๐‘ฅ ≥๐‘ž๐‘ฅ
๐‘ฅ:๐‘๐‘ฅ <๐‘ž๐‘ฅ
๐‘ฅ:๐‘๐‘ฅ <๐‘๐‘ฅ
1
(1 − ∑ ๐‘๐‘ฅ − ∑ ๐‘ž๐‘ฅ + ∑ ๐‘ž๐‘ฅ − ∑ ๐‘ž๐‘ฅ − ∑ ๐‘๐‘ฅ ) =
2
๐‘ฅ:๐‘๐‘ฅ <๐‘๐‘ฅ
๐‘ฅ:๐‘๐‘ฅ ≥๐‘ž๐‘ฅ
๐‘ฅ∈โ„ค
๐‘ฅ:๐‘ž๐‘ฅ ≤๐‘๐‘ฅ
๐‘ฅ:๐‘๐‘ฅ <๐‘ž๐‘ฅ
1
(2 − 2 ∑ min{๐‘๐‘ฅ − ๐‘ž๐‘ฅ }) = 1 − ∑ min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ }
2
๐‘ฅ∈โ„ค
๐‘ฅ∈โ„ค
๐‘ is a distribution on โ„ค2 :
∑ ∑ ๐‘๐‘ฅ,๐‘ฆ = ∑ ๐‘๐‘ง,๐‘ง + ∑ ∑ ๐‘๐‘ฅ,๐‘ฆ = ∑ min{๐‘๐‘ง , ๐‘๐‘ง } + ∑(๐‘๐‘ฅ − min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ }) = 1
๐‘ฅ
๐‘ฆ
๐‘ง∈โ„ค
๐‘ƒ[๐‘‹ = ๐‘ฅ] = ∑ ๐‘๐‘ฅ,๐‘ฆ
๐‘ฆ∈โ„ค
๐‘ฅ∈โ„ค ๐‘ฆ≠๐‘ฅ
๐‘ง∈โ„ค
๐‘ฅ∈โ„ค
(๐‘‹, ๐‘Œ)~๐‘
(๐‘๐‘ฅ − min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ })๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž)
= min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ } +
= ๐‘๐‘ฅ
๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž)
Similarly, ๐‘ƒ[๐‘Œ = ๐‘ฅ] = ๐‘ž๐‘ฅ
๐‘ƒ[๐‘‹ ≠ ๐‘Œ] = 1 − ๐‘ƒ[๐‘‹ = ๐‘Œ] = 1 − ∑ ๐‘๐‘ฅ,๐‘ฅ = 1 − ∑ min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ } = ๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž)
๐‘ฅ∈โ„ค
๐‘ฅ∈โ„ค
Cannot do better!
Assume (๐‘‹ ′ , ๐‘Œ ′ ): ๐‘‹ ′ ~๐‘, ๐‘Œ ′ ~๐‘ž
๐‘ƒ[๐‘‹ ′ = ๐‘Œ ′ ] = ∑ ๐‘ƒ[๐‘‹ ′ = ๐‘Œ ′ = ๐‘ฅ]
๐‘ฅ∈โ„ค
But ๐‘ƒ[๐‘‹ ′ = ๐‘Œ ′ = ๐‘ฅ] ≤ ๐‘ƒ[๐‘‹ ′ = ๐‘ฅ] = ๐‘๐‘ฅ
And also ๐‘ƒ[๐‘‹ ′ = ๐‘Œ ′ = ๐‘ฅ] ≤ ๐‘ƒ[๐‘Œ ′ = ๐‘ฅ] = ๐‘ž๐‘ฅ
And both are smaller or equal to min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ } ⇒
๐‘ƒ[๐‘‹ ′ ≠ ๐‘Œ ′ ] = 1 − ๐‘ƒ[๐‘‹ ′ = ๐‘Œ ′ ] ≥ 1 − ∑ min{๐‘๐‘ฅ , ๐‘ž๐‘ฅ } = ๐‘‘๐‘‡๐‘‰ (๐‘, ๐‘ž)
๐‘ฅ∈โ„ค
3. The Eedos-Renyi random graph
Definition 3.1: E.R. random graphs, ๐บ(๐‘›, ๐‘) for ๐‘› ≥ 1, ๐‘ ∈ [0,1].
Let (๐ผ{๐‘–,๐‘—} )1≤๐‘–<๐‘—≤๐‘› be iid random variables with distribution ๐ต๐‘’(๐‘).
Then ๐บ(๐‘›, ๐‘) = ([๐‘›], ๐ธ)
Where [๐‘›] = {1, … , ๐‘›}, ๐ธ = {{๐‘–, ๐‘—} ≤ [๐‘›]: ๐‘– ≠ ๐‘—, ๐ผ{๐‘–,๐‘—} = 1}
Exercise 3.2:
Let ๐‘‹ โ‰” number of triangles in ๐บ(๐‘›, ๐‘)
๐‘›
๐ธ[๐‘‹] = ( ) ๐‘3
3
1
Let ๐‘ = ๐‘›๐›ผ , ๐›ผ > 0
Show that:
-
๐‘›→∞
For ๐›ผ > 1, ๐‘ƒ[๐‘‹ > 0] →
๐‘›→∞
For ๐›ผ < 1, ๐‘ƒ[๐‘‹ > 0] →
๐›ผ = 1?
What about ๐พ๐‘™ , ๐‘™ ≥ 4?
(hint, prove that
๐‘ฃ๐‘Ž๐‘Ÿ(๐‘‹) ๐‘›→∞
→ 0
๐ธ[๐‘‹]2
0 (can be proven using a chebishev inequality)
1 (should use a second moment method! – the variant of ๐‘‹)
and use chebishev).
Notation:
- For ๐‘ข, ๐‘ฃ ∈ [๐‘›], "๐‘ข ↔ ๐‘ฃ” means “There is a nearest-neighbor path from ๐‘ข to ๐‘ฃ in
๐บ(๐‘›, ๐‘)”
- For ๐‘ฃ ∈ [๐‘›], ๐ถ(๐‘ฃ) = {๐‘ค ∈ [๐‘›]: ๐‘ฃ ↔ ๐‘ค}
Consider the following exploration algorithm for ๐ถ(1) set ๐ด0 = {1}, ๐‘1 = [๐‘›]\{1}
-
For ๐‘ก > 0, if ๐ด๐‘ก−1 = ∅, then ๐ด๐‘ก = ∅, ๐‘๐‘ก = ∅ (terminate)
If ๐ด๐‘ก−1 ≠ ∅, let ๐‘ค๐‘ก−1 be the smallest vertex in ๐ด๐‘ก−1 and define:
๐‘ฃ๐‘ก = {๐‘ค ∈ ๐‘๐‘ก−1 |{๐‘ค๐‘ก−1 , ๐‘ค} ∈ ๐ธ}
๐ด๐‘ก โ‰” (๐ด๐‘ก−1 \{๐‘ค๐‘ก−1 }) ∪ ๐‘‰๐‘ก
๐‘๐‘ก โ‰” ๐‘๐‘ก−1 \๐‘‰๐‘ก
Example:
Draw graphical example.
Note that:
- |๐ด0 | = 1, |๐ด๐‘ก | = |๐ด๐‘ก−1 | + |๐‘‰๐‘ก | − 1 for ๐‘ก ≥ 1
- |๐‘‡๐‘ก | = ๐‘› − |๐ด๐‘ก | − ๐‘ก, ๐‘ก ≥ 0
- |๐ถ(1)| = inf{๐‘ก ≥ 1 | |๐ด๐‘ก | = 0}
Lemma 3.3: For ๐‘ฅ1 , … , ๐‘ฅ๐‘˜ ∈ โ„ค≥0 , let:
- ๐‘ 0 = 1, ๐‘ ๐‘ก = ๐‘ ๐‘ก−1 + ๐‘ฅ๐‘ก − 1 for ๐‘ก ≥ 1
- ๐‘›๐‘ก = ๐‘› − ๐‘ ๐‘ก − ๐‘ก
If ๐‘ 1 , ๐‘ 2 , … , ๐‘ ๐‘˜ ≥ 1, ๐‘›0 , ๐‘›1 , … , ๐‘›๐‘˜−1 ≥ 0
Then
๐‘˜
๐‘ƒ[|๐‘‰1 | = ๐‘ฅ1 , … , |๐‘‰๐‘˜ | = ๐‘ฅ๐‘˜ ] = ∏(๐‘(๐‘›๐‘ก−1 , ๐‘, ๐‘ฅ๐‘ก ))
๐‘›
Where ๐‘(๐‘›, ๐‘, ๐‘˜) = ( ) ๐‘๐‘˜ (1 − ๐‘)๐‘›−๐‘˜
๐‘˜
๐‘ก=1
Proof: By picture.
TODO: Draw picture proof.
๐‘ƒ[|๐‘‰1 | = ๐‘ฅ1 , … , |๐‘‰๐‘˜ | = ๐‘ฅ๐‘˜ ] =
∑ ∑ ๐‘ƒ [|๐‘‰1 | = ๐‘ฅ1 , … , |๐‘‰๐‘˜−1 | = ๐‘ฅ๐‘˜−1 , ๐ด๐‘˜−1 = ๐ด, ๐‘๐‘˜−1 = ๐‘, ∑ ๐ผ{๐‘Ž,๐‘ค} = ๐‘ฅ๐‘˜ ]
๐ด⊆[๐‘›] ๐‘⊆[๐‘›]
๐ด≠∅
๐‘ค∈๐‘
๐‘Ž is the smallest vertex in ๐ด.
{|๐‘‰1 } = ๐‘ฅ1 , … , ๐‘๐‘ก−1 = ๐‘} ∈ ๐œŽ(๐ผ๐‘’ : ๐‘’ ๐‘›๐‘œ๐‘ก ๐‘Ž๐‘› ๐‘’๐‘‘๐‘”๐‘’ ๐‘“๐‘Ÿ๐‘œ๐‘š ๐‘Ž ๐‘ก๐‘œ ๐‘)
{ ∑ ๐ผ{๐‘Ž,๐‘ค} = ๐‘ฅ๐‘˜ } ∈ ๐œŽ(๐ผ๐‘’ : ๐‘’ ๐‘’๐‘‘๐‘”๐‘’ ๐‘“๐‘Ÿ๐‘œ๐‘š {๐‘Ž} ๐‘ก๐‘œ ๐‘)
๐‘ค∈๐‘
So these two events must be independent!
So:
๐‘ƒ[|๐‘‰1 | = ๐‘ฅ1 , … , |๐‘‰๐‘˜ | = ๐‘ฅ๐‘˜ ] = ∑ ∑ ๐‘ƒ[|๐‘‰1 | = ๐‘ฅ1 , … , ๐‘๐‘˜−1 = ๐‘] โˆ™ ๐‘(๐‘›๐‘˜−1 , ๐‘, ๐‘ฅ๐‘˜ )
If the probability of ๐‘ƒ[|๐‘‰1 | = ๐‘ฅ1 , … , ๐‘๐‘˜−1 = ๐‘] is positive then necessarily |๐‘| = |๐‘๐‘˜−1 | = ๐‘›๐‘˜−1
⇒ ๐‘ƒ[|๐‘‰1 | = ๐‘ฅ1 , … , |๐‘‰๐‘˜ | = ๐‘ฅ๐‘˜ ] = ๐‘ƒ[๐‘‰1 = ๐‘ฅ! , … , |๐‘‰๐‘˜−1 | = ๐‘ฅ๐‘˜−1 ] × ๐‘(๐‘›๐‘˜−1 , ๐‘, ๐‘ฅ๐‘˜ )
So now we can use induction to complete the proof.
--- end of lesson
Definition: 3.4:
๐‘Œ
๐‘ก−1
Let (๐ผ๐‘ก,๐‘– )๐‘ก,๐‘–≥1 be iid ๐ต๐‘’(๐‘). Define ๐‘Œ0 = ๐‘› − 1, for ๐‘ก ≥ 1 : ∑๐‘–=1
๐ผ๐‘ก,๐‘– , ๐‘Œ๐‘ก = ๐‘Œ๐‘ก − ๐‘‹๐‘ก , ๐‘†๐‘ก =
(๐‘‹1 + โ‹ฏ + ๐‘‹๐‘ก ) − (๐‘ก − 1)
๐‘‹๐‘ก ~|๐‘‰๐‘ก |,
๐‘Œ๐‘ก ~|๐‘๐‘ก |,
๐‘†๐‘ก ~|๐ด๐‘ก |
Lemma 3.5 For ๐‘ฅ๐‘– , ๐‘ ๐‘– , ๐‘›๐‘– as in lemma 3.3,
๐‘˜
∏ ๐‘(๐‘›๐‘ก−1 , ๐‘, ๐‘ฅ๐‘ก ) ,
๐‘ƒ[๐‘‹1 = ๐‘ฅ1 , … , ๐‘‹๐‘˜ = ๐‘ฅ๐‘˜ ] = {
๐‘–๐‘“ ๐‘›1 , … , ๐‘›๐‘ก−1 ≥ 0
๐‘ก=0
0,
๐‘œ๐‘กโ„Ž๐‘’๐‘Ÿ๐‘ค๐‘–๐‘ ๐‘’
Proof: {๐‘‹1 = ๐‘ฅ1 , … , ๐‘‹๐‘˜ = ๐‘ฅ๐‘˜ } ⊆ {๐‘Œ1 = ๐‘›1 , … , ๐‘Œ๐‘˜−1 = ๐‘›๐‘˜−1 }
So if ๐‘›๐‘– < 0, then ๐‘ƒ[… ] = 0. Otherwise:
๐‘ƒ[๐‘‹1 = ๐‘ฅ1 , … , ๐‘‹๐‘˜−1 = ๐‘ฅ๐‘˜−1 , ๐‘‹๐‘˜ = ๐‘ฅ๐‘˜ ] = ๐‘ƒ[๐‘‹1 = ๐‘ฅ1 , … , ๐‘‹๐‘˜−1 = ๐‘ฅ๐‘˜−1 ] โˆ™ ๐‘(๐‘›๐‘˜−1 , ๐‘, ๐‘ฅ๐‘˜ )
๐‘๐‘ฆ ๐‘‘๐‘’๐‘“
๐‘›๐‘˜−1
Because ๐‘‹๐‘˜ = ∑๐‘–=1
๐ผ๐‘˜,๐‘–
We can continue by induction. And that finishes the proof. โˆŽ
Corollary 3.6: For ๐‘˜ ≥ 1, and any ๐‘“: โ„ค๐‘˜≥0 → โ„
๐ธ[๐‘“(|๐‘‰1 |, … , |๐‘‰๐‘˜ |)1{|๐ด1 |>0,…,|๐ด๐‘˜−1 |>0} ] = ๐ธ[๐‘“(๐‘‹1 , … , ๐‘‹๐‘˜ )1{๐‘†1 >0,…,๐‘†๐‘˜−1 >0} ]
Proof: Combine Lemma 3.3 and Lemma 3.5. โˆŽ
Theorem 3.7: Let ๐‘‡ − and ๐‘‡ + be the total progenies of a ๐ต๐‘–๐‘›(๐‘› − ๐‘˜, ๐‘) and ๐ต๐‘–๐‘›(๐‘›, ๐‘) branching
processes.
Where 1 ≤ ๐‘˜ ≤ ๐‘› and ๐‘ ∈ [0,1] then ๐‘ƒ[๐‘‡ − ≥ ๐‘˜] ≤ ๐‘ƒ[|๐ถ(1)| ≥ ๐‘˜] ≤ ๐‘ƒ[๐‘‡ + ≥ ๐‘˜].
+/−
Proof: For (๐ผ๐‘ก,๐‘– ) as in Definition 3.4, define ๐‘‹๐‘ก
+/−
Then (๐‘‹๐‘ก ) are iid~๐ต๐‘–๐‘›(๐‘›/๐‘› − ๐‘˜, ๐‘).
๐‘ก≥1
+/−
+/−
+/−
๐‘†๐‘ก : = (๐‘‹1 + โ‹ฏ + ๐‘‹๐‘ก ) − (๐‘ก − 1),
(๐‘‘)
+/−
Then ๐‘‡ +/− = inf {๐‘ก ≥ 1|๐‘†๐‘ก = 0}
๐‘›/๐‘›−๐‘˜
= ∑๐‘–=1
๐‘ก ≥ 1,
๐ผ๐‘ก,๐‘– , ๐‘ก ≥ 1.
+/−
๐‘†0
=1
๐‘ƒ[|๐ถ(1)| ≥ ๐‘˜] = ๐‘ƒ[|๐ด1 | > 0, … , |๐ด๐‘˜−1 | > 0] = ๐‘ƒ[๐‘†1 > 0, … , ๐‘†๐‘˜−1 > 0] ≤
+
๐‘ƒ[๐‘†1+ > 0, … , ๐‘†๐‘˜−1
> 0] = ๐‘ƒ[๐‘‡ + ≥ ๐‘˜]
(by cor 3.6 if ๐‘“ ≡ 1) ๐‘†๐‘ก ≤ ๐‘†๐‘ก+ , ๐‘ก ≤ ๐‘˜ − 1
On the other hand, ๐‘ƒ[|๐ถ(1)| ≤ ๐‘˜] = ๐‘ƒ[โ‹ƒ๐‘˜๐‘ก=1{|๐‘‰๐‘ก | = 0, |๐ด๐‘ก−1 | = 1, |๐ด๐‘ก−2 | > 0, … , |๐ด1 | > 0}]
(exploration stops at ๐‘ก)
๐‘˜
= ∑ ๐‘ƒ[๐‘‹๐‘ก = 0, ๐‘†๐‘ก−1 = 1, ๐‘†๐‘ก−2 > 0, … , ๐‘†1 > 0]
๐‘ก=1
(by Cor 3.6)
= ๐‘ƒ[๐‘‡ ≤ ๐‘˜] where ๐‘‡ = inf{๐‘ก ≥ 1|๐‘†๐‘ก = 0}
Claim: If {๐‘‡ ≤ ๐‘˜} ⊆ {๐‘‡ − ≤ ๐‘˜}
Indeed, if ๐‘‡ ≤ ๐‘˜ ๐‘Œ๐‘‡ = ๐‘› − 1 − ๐‘‹1 − โ‹ฏ − ๐‘‹๐‘‡ = ๐‘› − ๐‘‡ − ๐‘†๐‘‡ ≥ ๐‘› − ๐‘˜
So ๐‘Œ1 ≥ ๐‘Œ2 ≥ โ‹ฏ ≥ ๐‘Œ๐‘‡ ≥ ๐‘› − ๐‘˜
Hence, ๐‘‹๐‘ก− ≤ ๐‘‹๐‘ก , ๐‘ก ≤ ๐‘‡
๐‘†๐‘ก− ≤ ๐‘†๐‘ก ,
๐‘ก ≤ ๐‘‡ ⇒ ๐‘‡− ≤ ๐‘˜
Which proves this claim. โˆŽ
Exercise 3.8:
Consider random variables ๐‘, ๐‘€ such that ๐‘~๐ต๐‘–๐‘›(๐‘›, ๐‘) and conditionally on ๐‘,
๐‘€~๐ต๐‘–๐‘›(๐‘, ๐‘ž), ๐‘› ≥ 1, ๐‘, ๐‘ž ∈ [0,1]
๐‘˜
I.e. ๐‘ƒ[๐‘€ = ๐‘™|๐‘ = ๐‘˜] = ( ) ๐‘ž ๐‘™ (1 − ๐‘ž)๐‘˜−๐‘™
๐‘™
(0 ≤ ๐‘™ ≤ ๐‘˜ ≤ ๐‘›)
Prove that ๐‘€~๐ต๐‘–๐‘›(๐‘›, ๐‘๐‘ž)
It would be probable to assume: |๐‘๐‘ก |~๐ต๐‘–๐‘›(๐‘› − 1, (1 − ๐‘)๐‘ก )
But this is not correct…
Proposition 3.9:
For 0 ≤ ๐‘ก ≤ ๐‘›, ๐‘Œ๐‘ก ~๐ต๐‘–๐‘›(๐‘› − 1, (1 − ๐‘)๐‘ก )
Proof: By induction.
๐‘Œ0 = ๐‘› − 1. This is true.
Assume that ๐‘Œ๐‘ก ~๐ต๐‘–๐‘›(๐‘› − 1, (1 − ๐‘)๐‘ก )
Need to check that conditionally on ๐‘Œ๐‘ก , ๐‘Œ๐‘ก+1 ~๐ต๐‘–๐‘›(๐‘Œ๐‘ก , 1 − ๐‘)
(By Ex 3.6) 0 ≤ ๐‘™ ≤ ๐‘˜ ≤ ๐‘› − 1
๐‘ƒ[๐‘Œ๐‘ก+1 = ๐‘™. ๐‘Œ๐‘ก = ๐‘˜],
๐‘Œ๐‘ก+1 = ๐‘Œ๐‘ก − ๐‘‹๐‘ก+1
= ๐‘ƒ[ ๐‘‹
โŸ
๐‘ก+1
= ๐‘˜ − ๐‘™, ๐‘Œ๐‘ก = ๐‘˜]
๐‘–๐‘›๐‘‘๐‘’๐‘๐‘’๐‘›๐‘‘๐‘’๐‘›๐‘๐‘’
=
๐‘(๐‘˜, ๐‘, ๐‘˜ − ๐‘™)๐‘ƒ[๐‘Œ๐‘ก = ๐‘˜] =
=∑๐‘˜
๐‘–=1 ๐ผ๐‘ก+1,๐‘–
๐‘(๐‘˜, (1 − ๐‘), ๐‘™)๐‘ƒ[๐‘Œ๐‘ก = ๐‘˜] โˆŽ
๐‘˜
(
) ๐‘๐‘˜−๐‘™ (1 − ๐‘)๐‘™
๐‘˜−๐‘™
๐ผ๐œ† = ๐œ† − 1 − log ๐œ† ,
(see Ex. 1.16, ๐ผ(๐œ†))
๐œ†>0
๐œ†
Lemma 3.8: For ๐‘ = ๐‘› , ๐œ† ∈ (0,1)
๐‘˜ ≥ 1,
๐‘ƒ[|๐ถ(1)| > ๐‘˜] ≤ ๐‘’ −๐ผ๐œ† ๐‘˜
Proof: Let ๐‘Ÿ > 0, ๐‘Ÿ = − log ๐œ† > 0
๐‘ƒ[|๐ถ(1)| > ๐‘˜] = ๐‘ƒ[|๐ด1 | > 0, … , |๐ด๐‘˜ | > 0]
๐ถ๐‘œ๐‘Ÿ 3.6
= ≤ ๐‘ƒ[๐‘†1 > 0, … , ๐‘†๐‘˜ > 0] ≤ ๐‘ƒ[๐‘†๐‘˜ > 0] =
๐‘ƒ ๐‘†
โŸ๐‘˜ + ๐‘˜ − 1 ≥ ๐‘˜
๐‘’๐‘ž๐‘ข๐‘–๐‘ฃ๐‘Ž๐‘™๐‘’๐‘›๐‘ก ๐‘ก๐‘œ:
[
]
๐‘†๐‘˜ + ๐‘˜ − 1 = ๐‘‹1 + โ‹ฏ + ๐‘‹๐‘˜ = ๐‘› − 1 − ๐‘Œ๐‘˜ ~๐ต๐‘–๐‘›(๐‘› − 1,1 − (1 − ๐‘)๐‘˜ )
๐‘’ ๐‘Ÿ(๐‘†๐‘˜ +๐‘˜−1) ≥๐‘’ ๐‘Ÿ๐‘˜
So ๐‘ƒ[|๐ถ(1)| > ๐‘˜] ≤ ๐‘ƒ[๐‘’ ๐‘Ÿ(๐‘†๐‘˜ +๐‘˜−1) ≥ ๐‘’ ๐‘Ÿ๐‘˜ ]
๐‘๐‘ฆ ๐‘€๐‘Ž๐‘Ÿ๐‘˜๐‘œ๐‘ฃ
≤
๐‘’ −๐‘Ÿ๐‘˜ ๐ธ[๐‘’ ๐‘Ÿ(๐‘†๐‘˜ +๐‘˜−1) ]
๐‘›−1
๐ธ[๐‘’ ๐‘Ÿ(๐‘†๐‘˜ +๐‘˜−1) ] = ((1 − ๐‘ž) + ๐‘ž๐‘’ ๐‘Ÿ )
(๐‘‘)
๐‘†๐‘˜ + ๐‘˜ − 1 = ๐œ‰1 + โ‹ฏ + ๐œ‰๐‘›−1 , ๐œ‰๐‘– iid ~๐ต๐‘’(๐‘ž)
๐‘›−1
⇒ ๐ธ[๐‘’
๐‘Ÿ(๐‘†๐‘˜ +๐‘˜−1)
] = ๐ธ [๐‘’
๐‘Ÿ(∑๐‘›−1
๐‘–=1 ๐œ‰๐‘– )
๐‘›−1
] = ∏(๐ธ[๐‘’ ๐‘Ÿ๐œ‰๐‘– ]) = (๐ธ[๐‘’ ๐‘Ÿ๐œ‰1 ])
๐‘›−1
= ((1 − ๐‘ž) + ๐‘ž๐‘’ ๐‘Ÿ )
๐‘–=1
So
๐‘ƒ[|๐ถ(1)| > ๐‘˜] ≤ ๐‘’
−๐‘Ÿ๐‘˜
๐‘Ÿ ๐‘›−1
((1 − ๐‘ž) + ๐‘ž๐‘’ )
(1−๐‘ฅ)≤๐‘’ −๐‘ฅ
≤
๐‘Ÿ
exp(−๐‘Ÿ๐‘˜ + ๐‘ž(๐‘’ − 1)(๐‘› − 1)) ≤ exp(−๐‘Ÿ๐‘˜ + ๐‘ž(๐‘’ ๐‘Ÿ − 1)๐‘›)
๐‘ž = 1 − (1 − ๐‘)๐‘˜ ≤ ๐‘๐‘˜ (∗)
(comment: Seems like ๐‘ก turned into ๐‘˜)
⇒ ๐‘ƒ[|๐ถ(1)| > ๐‘˜] ≤ exp(−๐‘Ÿ๐‘˜ + ๐‘ž(๐‘’ ๐‘Ÿ − 1)๐‘›) ≤ exp(−๐‘Ÿ๐‘˜ + ๐‘˜๐‘(๐‘’ ๐‘Ÿ − 1)๐‘›) =
๐‘Ÿ
๐‘=
๐œ†
๐‘›
exp (−๐‘˜(๐‘Ÿ − ๐‘๐‘›(๐‘’ − 1))) = exp (−๐‘˜(๐‘Ÿ − ๐œ†(๐‘’ ๐‘Ÿ − 1)))
If we try to minimize the expression, we get that ๐‘Ÿ = − log ๐œ†
So let’s just set it in:
๐‘’ −๐‘˜๐ผ๐œ†
Why is (*) true? Show that at zero they are equal, and the derivative of the right hand side is
always larger then the derivative of the left hand side.
--- end of lesson
Theorem 3.9 (Upper bound on the largest sub-critical component):
๐œ†
1
Fix ๐œ† ∈ (0,1), ๐‘ = ๐‘› , ๐‘Ž > ๐ผ
๐œ†
Then there is a ๐›ฟ = ๐›ฟ(๐‘Ž, ๐œ†) such that ๐‘ƒ[|๐ถ๐‘š๐‘Ž๐‘ฅ | > ๐‘Ž log ๐‘›] < ๐‘›−๐›ฟ
Proof:
๐‘ƒ[|๐ถ๐‘š๐‘Ž๐‘ฅ | > ๐‘Ž log ๐‘›] = ๐‘ƒ [ โ‹ƒ {|๐ถ(๐‘ฃ)| > ๐‘Ž log ๐‘›}] ≤ ∑ ๐‘ƒ[|๐ถ(๐‘ฃ)| > ๐‘Ž log ๐‘›] =
๐‘ฃ∈[๐‘›]
๐‘๐‘ฆ ๐ฟ๐‘’๐‘š๐‘š๐‘Ž 3.8
๐‘›๐‘ƒ[|๐ถ(1)| > ๐‘Ž log ๐‘›]
≤
๐‘ฃ∈[๐‘›]
๐‘› โˆ™ ๐‘›−๐ผ๐œ†๐‘Ž ,
๐ผ๐œ† ๐‘Ž > 1 = โˆŽ
Next, lower bound:
Lemma 3.10:
Let ๐‘≥๐‘˜ = ∑๐‘›๐‘ฃ=1 1{|๐ถ(๐‘ฃ)|≥๐‘˜}
๐œ’≥๐‘˜ = ๐ธ[|๐ถ(1)|1{|๐ถ(1)|≥๐‘˜} ]
Then ๐‘ฃ๐‘Ž๐‘Ÿ(๐‘≥๐‘˜ ) ≤ ๐‘›๐œ’≥๐‘˜
2
2
Proof: ๐‘ฃ๐‘Ž๐‘Ÿ(๐‘≥๐‘˜ ) = ๐ธ [(∑๐‘›๐‘ฃ=1 1{|๐ถ(๐‘ฃ)|≥๐‘˜} ) ] − ๐ธ[∑๐‘›๐‘ฃ=1 1{|๐ถ(๐‘ฃ)|≥๐‘˜} ] =
๐‘›
๐‘›
∑ ∑ ๐‘ƒ[|๐ถ(๐‘–)| ≥ ๐‘˜, |๐ถ(๐‘—)| ≥ ๐‘˜] − ๐‘ƒ[|๐ถ(๐‘–)| ≥ ๐‘˜]๐‘ƒ[|๐ถ(๐‘—)| ≥ ๐‘˜]
๐‘–=1 ๐‘—=1
Split according to ๐‘– ↔ ๐‘— and ๐‘– ↔ ๐‘—
๐‘– connected to ๐‘— and ๐‘– not connected to ๐‘—
๐‘›
๐‘›
๐‘ƒ[|๐ถ(๐‘–)| ≥ ๐‘˜, |๐ถ(๐‘—)| ≥ ๐‘˜, ๐‘– ↔ ๐‘—] = ∑ ∑ ๐‘ƒ[|๐ถ(๐‘–)| = ๐‘™, ๐‘– ↔ ๐‘—, |๐ถ(๐‘—)| = ๐‘š] =
๐‘™=๐‘˜ ๐‘š=๐‘˜
๐‘›
∑ ๐‘ƒ[|๐ถ(๐‘–) = ๐‘™|, ๐‘– ↔ ๐‘—] โˆ™ ๐‘ƒ [|๐ถ(๐‘—)| = ๐‘š] = ∑ ๐‘ƒ[|๐ถ(๐‘–)| = ๐‘™, ๐‘– ↔ ๐‘—] โˆ™ ๐‘ƒ [|๐ถ(๐‘—)| ≥ ๐‘˜] ≤
(๐‘›−๐‘™)
๐‘™,๐‘š
๐‘›
(๐‘›−๐‘™)
๐‘™=๐‘˜
๐‘›
∑ ๐‘ƒ[|๐ถ(๐‘–)| = ๐‘™, ๐‘– ↔ ๐‘—] โˆ™ ๐‘ƒ [|๐ถ(๐‘—)| ≥ ๐‘˜] = ∑ ๐‘ƒ[|๐ถ(๐‘–)| = ๐‘™] โˆ™ ๐‘ƒ[|๐ถ(๐‘—)| ≥ ๐‘˜]
(๐‘›−๐‘™)
๐‘™=๐‘˜
๐‘™=๐‘˜
(we can strike these out since it only increases the probability of the event)
So let’s go back to the entire variance:
The term we just calculated cancels the second term! So we are only left with the case where
they are connected:
๐‘›
๐‘›
๐‘ฃ๐‘Ž๐‘Ÿ(๐‘≥๐‘˜ ) ≤ ∑ ∑ ๐‘ƒ[|๐ถ(๐‘–)| ≥ ๐‘˜, ๐ถ(๐‘—) ≥ ๐‘˜, ๐‘– ↔ ๐‘—]
๐‘–=1 ๐‘—=1
๐‘–↔๐‘—⇒
๐‘‡โ„Ž๐‘’๐‘ ๐‘’ ๐‘ ๐‘๐‘’๐‘๐‘–๐‘“๐‘ฆ ๐‘›
๐‘กโ„Ž๐‘’ ๐‘ ๐‘Ž๐‘š๐‘’ ๐‘’๐‘ฃ๐‘’๐‘›๐‘ก
=
๐‘›
∑ ∑ ๐‘ƒ[|๐ถ(๐‘–)| ≥ ๐‘˜] =
๐‘–=1 ๐‘—=1
๐‘›
๐‘›
∑ ๐ธ 1{|๐ถ(๐‘–)|≥๐‘˜} โˆ™ ∑ 1{๐‘—∈๐ถ(๐‘–)} = ๐‘›๐œ’≥๐‘˜
๐‘–=1
๐‘—=1
โŸ
[
]
=|๐ถ(๐‘–)|
Theorem 3.11 (lower bound on largest subcritical component):
๐œ†
Fix ๐œ† ∈ (0,1), ๐‘œ = ๐‘›
1
Then for every ๐‘Ž < ๐ผ there exists ๐›ฟ = ๐›ฟ(๐‘Ž, ๐œ†), and ๐‘ = ๐‘(๐‘Ž, ๐œ†) such that
๐œ†
๐‘ƒ[|๐ถ๐‘š๐‘Ž๐‘ฅ | ≤ ๐‘Ž log ๐‘›] ≤ ๐‘๐‘›−๐›ฟ
Proof: Let ๐‘˜ = ⌊๐‘Ž log ๐‘›⌋, ๐‘ denotes a constant depending only on ๐œ†, ๐‘Ž changing from place to
place.
Claim 1: For any 0 < ๐›ผ < 1 − ๐ผ๐œ† ๐‘Ž
๐ธ[๐‘≥๐‘˜ ] ≥ ๐‘›๐›ผ , for ๐‘› ≥ ๐‘
Claim 2: ๐‘ฃ๐‘Ž๐‘Ÿ(๐‘≥๐‘˜ ) ≤ ๐‘๐‘˜๐‘›1−๐‘Ž๐ผ๐œ†
From these claims, it follows that we can prove this theorem.
Why?
๐‘ƒ[|๐ถ๐‘š๐‘Ž๐‘ฅ | ≤ ๐‘Ž log ๐‘›] = ๐‘ƒ[๐‘≥๐‘˜ = 0] ≤ ๐‘ƒ[|๐‘๐‘˜≥0 − ๐ธ[๐‘≥๐‘˜ ]| ≥ ๐ธ[๐‘≥๐‘˜ ]] =
๐‘๐‘ฆ ๐‘กโ„Ž๐‘’
๐‘ƒ[|๐‘๐‘˜≥0 − ๐ธ[๐‘≥๐‘˜
]|2
≥ ๐ธ[๐‘≥๐‘˜
]2 ]
๐‘ฃ๐‘Ž๐‘Ÿ(๐‘≥๐‘˜ ) ๐‘๐‘™๐‘Ž๐‘–๐‘š๐‘  ๐‘๐‘˜๐‘›1−๐‘Ž๐ผ๐œ†
≤
≤
๐ธ[๐‘≥๐‘˜ ]2
๐‘›2๐›ผ
2
(For instance, if ๐›ผ = 3 (1 − ๐‘Ž๐ผ๐œ† ) then it’s ≤
๐‘ log ๐‘›
๐‘›
(1−๐‘Ž๐ผ๐œ† )
3
)
Let’s prove claim 1:
๐œ†
Let ๐‘‡, ๐‘‡ ∗ be the total progenies of ๐ต๐‘–๐‘› (๐‘› − ๐‘˜, ๐‘›) branching process, and ๐‘ƒ๐‘œ๐‘–(๐œ†๐‘› ) branching
process wher ๐œ†๐‘› =
๐œ†(๐‘›−๐‘˜)
๐‘›
By theorem 3.7, ๐‘ƒ[|๐ถ(1)| ≥ ๐‘˜] ≥ ๐‘ƒ[๐‘‡ ≥ ๐‘˜]
๐‘๐‘ฆ
๐‘กโ„Ž๐‘’๐‘œ๐‘Ÿ๐‘’๐‘š 2.11
≥
๐œ†
1
๐œ†(๐‘› − ๐‘˜)
=
(
)
๐‘› ๐‘›−๐‘˜โŸ ๐‘›
๐œ†๐‘›
∗
∗
๐‘ƒ[๐‘‡ ≥ ๐‘˜] ≥ ๐‘ƒ[๐‘‡ = ๐‘˜]
๐‘๐‘ฆ
๐‘กโ„Ž๐‘’๐‘œ๐‘Ÿ๐‘’๐‘š 2.3
=
We can use sterling’s formula:
(๐œ†๐‘› ๐‘˜)๐‘˜−1 −๐œ† ๐‘˜
๐‘’ ๐‘›
๐‘˜!
๐‘ƒ[๐‘‡ ∗ ≥ ๐‘˜] −
2๐œ†2๐‘› ๐‘˜
๐‘›
๐‘˜ ๐‘˜
๐‘˜! = ( ) โˆ™ √2๐œ‹๐‘˜(1 + ๐‘œ(1))
๐‘’
And then:
≥
๐œ†๐‘˜๐‘›
๐‘’
−๐œ†๐‘› ๐‘˜ ๐‘˜
๐‘’ (1 + ๐‘œ(1)) ≥ ๐‘’
−๐ผ๐œ†๐‘› ๐‘˜(1+๐œ–)
๐‘“๐‘œ๐‘Ÿ ๐‘ ๐‘ข๐‘“๐‘“๐‘–๐‘๐‘–๐‘’๐‘›๐‘ก๐‘™๐‘ฆ
๐‘™๐‘Ž๐‘Ÿ๐‘”๐‘’ ๐‘›
๐‘˜√2๐œ‹๐‘˜๐œ†๐‘›
(๐ผ๐œ† = ๐œ† − 1 − log ๐œ†)
=
๐‘’ −๐ผ๐œ† ๐‘˜(1+๐œ–)
For ๐œ– ≥ 0: 1 − ๐‘Ž๐ผ๐œ† (1 + ๐œ–) > ๐›ผ
for ๐‘› ≥ ๐‘(๐‘Ž, ๐œ†, ๐œ–)
>๐›ผ
∗
๐ธ[๐‘≥๐‘˜ ] = ๐‘›๐‘ƒ[|๐ถ(1)| ≥ ๐‘˜] ≥ ๐‘›๐‘ƒ[๐‘‡ ≥ ๐‘˜] −
๐‘๐‘˜
๐‘›
≥ ๐‘› (๐‘’
−๐ผ๐œ† ๐‘˜(1+๐œ–)
−
๐‘๐‘˜
)
๐‘›
=๐‘›
โž
1−๐ผ๐œ† ๐‘Ž(1+๐œ–)
− ๐‘ log ๐‘› ≥
๐‘›๐›ผ for ๐‘› ≥ ๐‘.
(For ๐œ– chosen sufficiently small)
Now let’s prove claim 2:
Proof of claim 2:
|๐ถ(1)|
We can write |๐ถ(1)| = ∑๐‘–=1 1{|1|>๐‘–} = ∑๐‘›๐‘–=1 1{|1|>๐‘–}
So:
๐‘›
๐‘›
๐œ’≥๐‘˜ = ∑ ๐‘ƒ[|๐ถ(1)| ≥ 1, |๐ถ(1)| ≥ ๐‘˜] = ๐‘˜๐‘ƒ[|๐ถ(1)| ≥ ๐‘˜] + ∑ ๐‘ƒ[|๐ถ(1)| ≥ ๐‘–]
๐‘–=1
๐‘–=๐‘˜+1
∞
๐‘˜๐‘’ −๐ผ๐œ† (๐‘˜−1) + ∑ ๐‘’ −๐ผ๐œ† (๐‘–−1) ≤ ๐‘๐‘˜๐‘›−๐‘Ž๐ผ๐œ† + ๐‘๐‘’
โŸ −๐ผ๐œ† ๐‘˜ ≤ ๐‘๐‘˜๐‘›−๐‘Ž๐ผ๐œ†
≤๐‘›−๐‘Ž๐ผ๐œ†
๐‘–=๐‘˜+1
So by lemma 3.10 get claim 2. โˆŽ
Exercise 3.12 (second moment method):
Let ๐‘‹ be a random variable such that 0 ≤ ๐ธ[๐‘‹] < ∞ and 0 < ๐ธ[๐‘‹ 2 ] < ∞
Let 0 ≤ ๐œ† < 1.
๐ธ[๐‘ฅ]2
Prove that: ๐‘ƒ[๐‘‹ > ๐œ†๐ธ[๐‘‹]] ≥ (1 − ๐œ†)2 ๐ธ[๐‘ฅ 2 ]
In our proof, we used it with ๐œ† = 0.
Hint: Prove first that (1 − ๐œ†)๐ธ[๐‘‹] ≤ ๐ธ[๐‘‹ โˆ™ 1{๐‘‹>๐œ†๐ธ[๐‘‹]} ]
๐‘๐‘ฆ
๐‘™๐‘’๐‘š๐‘š๐‘Ž 3.8
≤
Download