An algorithmic approach to branching processes with countably - - PowerPoint PPT Presentation

an algorithmic approach to branching processes with
SMART_READER_LITE
LIVE PREVIEW

An algorithmic approach to branching processes with countably - - PowerPoint PPT Presentation

An algorithmic approach to branching processes with countably infinitely many types Peter Braunsteins Supervisors: Sophie Hautphenne and Peter Taylor 29 June, 2016 1 Material of the talk The material of this talk is taken from S. Hautphenne,


slide-1
SLIDE 1

An algorithmic approach to branching processes with countably infinitely many types

Peter Braunsteins Supervisors: Sophie Hautphenne and Peter Taylor 29 June, 2016

1

slide-2
SLIDE 2

Material of the talk

The material of this talk is taken from

  • S. Hautphenne, G. Latouche and G. Nguyen. Extinction probabilities of

branching processes with countably infinitely many types. Advances in Applied Probability, 45(4) : 1068-1082, 2013.

and

  • P. Braunsteins, G. Decrouez, and S. Hautphenne. A pathwise iterative

approach to the extinction of branching processes with countably many

  • types. arXiv preprint arXiv :1605.03069, 2016.

2

slide-3
SLIDE 3

Multi-type Galton-Watson process

Each individual has a type i ∈ S ≡ N The process initially contains a single individual of type ϕ0 Each individual lives for a single generation At death individuals of type i have children according to the progeny distribution : pi(r) : r = (r1, r2, . . .), where pi(r) = probability that a type i gives birth to r1 children of type 1, r2 children of type 2, etc. All individuals are independent

3

slide-4
SLIDE 4

Multi-type Galton-Watson process

Population size : Zn = (Zn1, Zn2, . . .), n ∈ N, where Zni : # of individuals of type i at the nth generation In this example Z3 = (0, 1, 1, 2, 1, 0, 0, . . . ). {Zn} : ∞-dim Markov process with state space (N0)∞ and an absorbing state 0 = (0, 0, . . .).

4

slide-5
SLIDE 5

Multi-type Galton-Watson process

Progeny generating vector G(s) = (G1(s), G2(s), G3(s), . . .), where Gi(s) is the progeny generating function of an individual of type i Gi(s) =

  • r∈(N0)∞

pi(r) sr =

  • r∈(N0)∞

pi(r)

  • k=1

srk

k ,

s ∈ [0, 1]∞ Mean progeny matrix M with elements Mij = ∂Gi(s) ∂sj

  • s=1

= expected number of direct offspring of type j born to a parent of type i There is a path from type i to j ⇔ there exists ℓ such that (Mℓ)ij > 0.

5

slide-6
SLIDE 6

Global extinction probability

Global extinction probability vector q = (q1, q2, q3, . . .), with entries qi = P

  • lim

n→∞ Zn = 0

  • ϕ0 = i
  • The vector q is the (componentwise) minimal nonnegative solution
  • f

s = G(s), s ∈ [0, 1]∞

6

slide-7
SLIDE 7

Partial extinction probability

Partial extinction probability vector q = ( q1, q2, q3, . . .), with

  • qi = P
  • ∀ℓ : lim

n→∞ Znℓ = 0

  • ϕ0 = i
  • We have

0 ≤ q ≤ q ≤ 1. The vector q also satisfies the fixed point equation s = G(s), s ∈ [0, 1]∞

7

slide-8
SLIDE 8

Example 1

Suppose p1(r) =      1/6, r = 3e1 1/6, r = 3e2 2/3, r = 0 and pi(r) =            1/75, r = 3ei−1 1/6, r = 3ei 1/6, r = 3ei+1 49/75, r = 0 for i ≥ 2.

8

slide-9
SLIDE 9

Example 1

The mean progeny matrix has entries M11 = M12 = 1/2 and Mi,i−1 = 1/25, Mi,i = Mi,i+1 = 1/2 for i ≥ 2.

Figure : A graphical representation of the mean progeny matrix.

9

slide-10
SLIDE 10

Example 1

10 20 30 40 50 60 70 80 90 100 110 120 130 140 150 160 170 180 190 50 100 150 200 250 300 350 400 450 Generation Population size type 10 type 20 type 30 type 40 type 50 type 60 total size

Question : How to compute q and q ?

10

slide-11
SLIDE 11

Example 1

The progeny generating vector, G(s), has the form G1(s) = s3

1

6 + s3

2

6 + 2 3 G2(s) = s3

1

75 + s3

2

6 + s3

3

6 + 49 75 . . . Gi(s) = s3

i−1

75 + s3

i

6 + s3

i+1

6 + 49 75 . . .

11

slide-12
SLIDE 12

Example 1

The fixed point equation, s = G(s), is s1 = s3

1

6 + s3

2

6 + 2 3 s2 = s3

1

75 + s3

2

6 + s3

3

6 + 49 75 . . . si = s3

i−1

75 + s3

i

6 + s3

i+1

6 + 49 75 . . .

12

slide-13
SLIDE 13

Example 1

Take the first k elements of G(s) s1 = s3

1

6 + s3

2

6 + 2 3 s2 = s3

1

75 + s3

2

6 + s3

3

6 + 49 75 . . . si = s3

i−1

75 + s3

i

6 + s3

i+1

6 + 49 75 . . . sk = s3

k−1

75 + s3

k

6 + s3

k+1

6 + 49 75

13

slide-14
SLIDE 14

Computing q

Define { Z

(k) n } by modifying {Zn} such that all types > k are sterile

14

slide-15
SLIDE 15

Computing q

Denote q(k) : the (global) extinction probability of { Z

(k) n }

  • q(k) ց

q as k → ∞ The proof is an application of the monotone convergence theorem For each k, q(k) can be computed, for instance using functional iteration

15

slide-16
SLIDE 16

Computing q

In Example 1 the progeny generating vector, ˜ G

(k)(s), is

˜ G (k)

1

(s) = s3

1

6 + s3

2

6 + 2 3 ˜ G (k)

2

(s) = s3

1

75 + s3

2

6 + s3

3

6 + 49 75 . . . ˜ G (k)

i

(s) = s3

i−1

75 + s3

i

6 + s3

i+1

6 + 49 75 . . . ˜ G (k)

k

(s) = s3

k−1

75 + s3

k

6 + 1 6 + 49 75

16

slide-17
SLIDE 17

Computing q

Define {Z(k)

n } by modifying {Zn} such that all types > k are

replaced by an immortal type ∆

17

slide-18
SLIDE 18

Computing q

Denote q(k) : the (global) extinction probability of {Z(k)

n }

q(k) ր q as k → ∞ The proof is again an application of the monotone convergence theorem For each k, q(k) can be computed, for instance using functional iteration

18

slide-19
SLIDE 19

Computing q

In Example 1 the progeny generating vector, G(k)(s), is G (k)

1

(s) = s3

1

6 + s3

2

6 + 2 3 G (k)

2

(s) = s3

1

75 + s3

2

6 + s3

3

6 + 49 75 . . . G (k)

i

(s) = s3

i−1

75 + s3

i

6 + s3

i+1

6 + 49 75 . . . G (k)

k

(s) = s3

k−1

75 + s3

k

6 + 0 + 49 75

19

slide-20
SLIDE 20

Random replacement

Define {¯ Z(k)

n } by modifying {Zn} such that

All types > k are replaced by a type in {1, 2 . . . , k} The types of the replaced individuals are selected independently using the probability distribution α(k) =

  • α(k)

1 , α(k) 2 , . . . , α(k) 3

  • For example

α(k) = e1 : replacement by type 1 α(k) = 1/k : replacement by a type uniformly distributed on {1, . . . , k} α(k) = ek : replacement by type k Denote ¯ q(k) : the (global) extinction probability of {¯ Z(k)

n }

20

slide-21
SLIDE 21

Random replacement

An illustration when α(k) = e1

21

slide-22
SLIDE 22

Random replacement

In Example 1 the progeny generating vector, ¯ G

(k)(s), is

¯ G (k)

1

(s) = s3

1

6 + s3

2

6 + 2 3 ¯ G (k)

2

(s) = s3

1

75 + s3

2

6 + s3

3

6 + 49 75 . . . ¯ G (k)

i

(s) = s3

i−1

75 + s3

i

6 + s3

i+1

6 + 49 75 . . . ¯ G (k)

k

(s) = s3

k−1

75 + s3

k

6 + k

ℓ=1 α(k) ℓ sℓ

3 6 + 49 75

22

slide-23
SLIDE 23

Random replacement

What conditions on {Zn} and {α(k)} are required for ¯ q(k) → q as k → ∞ ?

23

slide-24
SLIDE 24

Assumptions

Assumption (1) inf

i∈S qi > 0

Assumption (2) There exists constants N1, N2 ≥ 1 and a > 0, all independent of k, such that

min{N1,k}

  • i=1

α(k)

i

≥ a for all k ≥ N2.

24

slide-25
SLIDE 25

Main result

Theorem Suppose Assumptions 1 and 2 hold. In addition, assume that there exists N1 such that either ˜ qj < 1 for all j ∈ {1, . . . , N1}, or ˜ qj = 1 for all j ∈ {1, . . . , N1}, and there is a path from any j ∈ {1, . . . , N1} to the initial type i. Then lim

k→∞ ¯

q(k)

i

→ qi for any initial type i.

25

slide-26
SLIDE 26

Coupling of the branching processes

We place {Zn}, {Z(k)

n }, {

Z

(k) n }, and {¯

Z(k)

n } on the same

probability space, for all k ≥ 1.

26

slide-27
SLIDE 27

Coupling of the branching processes

We place {Zn}, {Z(k)

n }, {

Z

(k) n }, and {¯

Z(k)

n } on the same

probability space, for all k ≥ 1.

27

slide-28
SLIDE 28

Example 1

28

slide-29
SLIDE 29

Example 2

Consider the branching process with progeny generating function G(s) such that a, c > 0, d > 1 and G1(s) = cd t st

2 + 1 − cd

t , and for i ≥ 2, Gi(s) =      cd u su

i+1 + ad

u su

i−1 + 1 − d(a + c)

u when i is odd, c dv sv

i+1 + a

dv sv

i−1 + 1 − (a + c)

dv when i is even, where t = ⌈dc⌉ + 1, u = ⌈d(c + a)⌉ + 1 and v = ⌈(c + a)/d⌉ + 1.

29

slide-30
SLIDE 30

Example 2

When i ≥ 2 the mean progeny matrix M has entries, Mi,i−1 = ad and Mi,i+1 = cd for i odd and Mi,i−1 = a/d and Mi,i+1 = c/d for i even.

30

slide-31
SLIDE 31

Example 2

a = 1/6, c = 7/8 and d−1 = 0.95 a = 1/6, c = 7/8 and d−1 = 0.93

31

slide-32
SLIDE 32

Concluding remarks

Example 2 demonstrates that when α(k) = ek, limk→∞ ¯ q(k) does not necessarily exist For this example we can prove that when α(k) = ek for any a, c > 0 and d > 1, lim inf

k→∞ ¯

q(k) = q. Under Assumption 1 we believe this to be true in general. When α(k) = 1/k, we can construct an example where q < limk→∞ ¯ q(k) = q.

32

slide-33
SLIDE 33

Questions ?

33