Ioan Manolescu Joint work with Demeter Kiss and Vladas...
Transcript of Ioan Manolescu Joint work with Demeter Kiss and Vladas...
![Page 1: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/1.jpg)
Planar lattices do not recover from forest fires
Ioan ManolescuJoint work with Demeter Kiss and Vladas Sidoravicius
23 June 2014
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 1 / 6
![Page 2: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/2.jpg)
Introduction The model
What is self-destructive percolation?
Let p, δ ∈ [0, 1].Two percolation configurations:
ω - intensity p (measure Pp).
σ - intensity δ (small).
ωclose ∞-cluster−−−−−−−−−→ ω
enhancement−−−−−−−→ ωδ = ω ∨ σ.
δc(p) = sup{δ : Pp,δ(0ωδ
←→∞) = 0}.
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 2 / 6
![Page 3: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/3.jpg)
Introduction The model
What is self-destructive percolation?
Let p, δ ∈ [0, 1].Two percolation configurations:
ω - intensity p (measure Pp).
σ - intensity δ (small).
ωclose ∞-cluster−−−−−−−−−→ ω
enhancement−−−−−−−→ ωδ = ω ∨ σ.
δc(p) = sup{δ : Pp,δ(0ωδ
←→∞) = 0}.
∞
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 2 / 6
![Page 4: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/4.jpg)
Introduction The model
What is self-destructive percolation?
Let p, δ ∈ [0, 1].Two percolation configurations:
ω - intensity p (measure Pp).
σ - intensity δ (small).
ωclose ∞-cluster−−−−−−−−−→ ω
enhancement−−−−−−−→ ωδ = ω ∨ σ.
δc(p) = sup{δ : Pp,δ(0ωδ
←→∞) = 0}.
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 2 / 6
![Page 5: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/5.jpg)
Introduction The model
What is self-destructive percolation?
Let p, δ ∈ [0, 1].Two percolation configurations:
ω - intensity p (measure Pp).σ - intensity δ (small).
ωclose ∞-cluster−−−−−−−−−→ ω
enhancement−−−−−−−→ ωδ = ω ∨ σ.
δc(p) = sup{δ : Pp,δ(0ωδ
←→∞) = 0}.
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 2 / 6
![Page 6: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/6.jpg)
Introduction The model
What is self-destructive percolation?
Let p, δ ∈ [0, 1].Two percolation configurations:
ω - intensity p (measure Pp).σ - intensity δ (small).
ωclose ∞-cluster−−−−−−−−−→ ω
enhancement−−−−−−−→ ωδ = ω ∨ σ.
δc(p) = sup{δ : Pp,δ(0ωδ
←→∞) = 0}.
∞
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 2 / 6
![Page 7: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/7.jpg)
Introduction The model
What is self-destructive percolation?
Let p, δ ∈ [0, 1].Two percolation configurations:
ω - intensity p (measure Pp).σ - intensity δ (small).
ωclose ∞-cluster−−−−−−−−−→ ω
enhancement−−−−−−−→ ωδ = ω ∨ σ.
δc(p) = sup{δ : Pp,δ(0ωδ
←→∞) = 0}.
∞
Question: δc(p)→ 0 as p ↘ pc?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 2 / 6
![Page 8: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/8.jpg)
Introduction The model
What is self-destructive percolation?
Let p, δ ∈ [0, 1].Two percolation configurations:
ω - intensity p (measure Pp).σ - intensity δ (small).
ωclose ∞-cluster−−−−−−−−−→ ω
enhancement−−−−−−−→ ωδ = ω ∨ σ.
δc(p) = sup{δ : Pp,δ(0ωδ
←→∞) = 0}.
∞
Theorem [Kiss, M., Sidoravicius] : There exists δ > 0 such that, for all p > pc ,
Pp,δ(infinite cluster in ωδ) = 0.
In particular limp→pc δc(p) > 0
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 2 / 6
![Page 9: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/9.jpg)
Reminders on planar percolation
Critical percolation facts
There exists pc ∈ [0, 1] such thatp < pc ⇒ Pp(infinite cluster) = 0,p > pc ⇒ Pp(infinite cluster) = 1.
At pc ..
Ppc2n
n[ ]≥ ε∀n,
Ppc
n
[ ]≤ n−α1 Ppc
n
[ ]≤ n−(2+λ)
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 3 / 6
![Page 10: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/10.jpg)
Reminders on planar percolation
Critical percolation facts
There exists pc ∈ [0, 1] such thatp < pc ⇒ Pp(infinite cluster) = 0,p > pc ⇒ Pp(infinite cluster) = 1.
At pc ..
Ppc2n
n[ ]≥ ε∀n,
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 3 / 6
![Page 11: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/11.jpg)
Reminders on planar percolation
Critical percolation facts
There exists pc ∈ [0, 1] such thatp < pc ⇒ Pp(infinite cluster) = 0,p > pc ⇒ Pp(infinite cluster) = 1.
At pc ..
Ppc2n
n[ ]≥ ε∀n,
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 3 / 6
![Page 12: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/12.jpg)
Reminders on planar percolation
Critical percolation facts
There exists pc ∈ [0, 1] such thatp < pc ⇒ Pp(infinite cluster) = 0,p > pc ⇒ Pp(infinite cluster) = 1.
At pc ..
Ppc2n
n[ ]≥ ε∀n,
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 3 / 6
![Page 13: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/13.jpg)
Reminders on planar percolation
Critical percolation facts
There exists pc ∈ [0, 1] such thatp < pc ⇒ Pp(infinite cluster) = 0,p > pc ⇒ Pp(infinite cluster) = 1.
At pc ..
Ppc2n
n[ ]≥ ε∀n,
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 3 / 6
![Page 14: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/14.jpg)
Reminders on planar percolation
Critical percolation facts
There exists pc ∈ [0, 1] such thatp < pc ⇒ Pp(infinite cluster) = 0,p > pc ⇒ Pp(infinite cluster) = 1.
At pc ..
Ppc2n
n[ ]≥ ε Ppc2n
n[ ]≥ ε∀n,
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 3 / 6
![Page 15: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/15.jpg)
Reminders on planar percolation
Critical percolation facts
There exists pc ∈ [0, 1] such that
p < pc ⇒ Pp(infinite cluster) = 0,p > pc ⇒ Pp(infinite cluster) = 1.
At pc ..
Ppc2n
n[ ]≥ ε Ppc2n
n[ ]≥ ε∀n,
Ppc
n
[ ]≤ n−α1 Ppc
n
[ ]≤ n−(2+λ)
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 3 / 6
![Page 16: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/16.jpg)
A crossing probability estimate
ω containing crossing
delete crossing cluster−−−−−−−−−−−−→ ω̃enhancement−−−−−−−→ ω̃δ
Proposition
For δ > 0 small enough, as n→∞,
Ppc,δ ( )4n nn
nω ω̃δand → 0
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 4 / 6
![Page 17: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/17.jpg)
A crossing probability estimate
ω containing crossingdelete crossing cluster−−−−−−−−−−−−→ ω̃
enhancement−−−−−−−→ ω̃δ
Proposition
For δ > 0 small enough, as n→∞,
Ppc,δ ( )4n nn
nω ω̃δand → 0
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 4 / 6
![Page 18: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/18.jpg)
A crossing probability estimate
ω containing crossingdelete crossing cluster−−−−−−−−−−−−→ ω̃
enhancement−−−−−−−→ ω̃δ
Proposition
For δ > 0 small enough, as n→∞,
Ppc,δ ( )4n nn
nω ω̃δand → 0
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 4 / 6
![Page 19: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/19.jpg)
A crossing probability estimate
ω containing crossingdelete crossing cluster−−−−−−−−−−−−→ ω̃
enhancement−−−−−−−→ ω̃δ
Proposition
For δ > 0 small enough, as n→∞,
Ppc,δ ( )4n nn
nω ω̃δand → 0
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 4 / 6
![Page 20: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/20.jpg)
A crossing probability estimate
ω containing crossingdelete crossing cluster−−−−−−−−−−−−→ ω̃
enhancement−−−−−−−→ ω̃δ
Proposition
For δ > 0 small enough, as n→∞,
Ppc,δ ( )4n nn
nω ω̃δand → 0
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 4 / 6
![Page 21: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/21.jpg)
Proof of crossing probability estimate
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 22: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/22.jpg)
Proof of crossing probability estimate
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 23: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/23.jpg)
Proof of crossing probability estimate
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 24: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/24.jpg)
Proof of crossing probability estimate
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 25: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/25.jpg)
Proof of crossing probability estimate
γ - vertical crossing with minimal number of enhanced points.
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 26: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/26.jpg)
Proof of crossing probability estimate
γ - vertical crossing with minimal number of enhanced points.
X = {enhanced points used by γ}. If no crossing X = ∅.
Ppc ,δ(vertical crossing in ω̃δ) =∑
X 6=∅Ppc ,δ(X = X ).
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 27: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/27.jpg)
Proof of crossing probability estimate
Annulus surrounding passage points but not containing passage points:6 arms or 4 half-plane arms in ω (possibly with one defect).
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 28: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/28.jpg)
Proof of crossing probability estimate
Annulus surrounding passage points but not containing passage points:6 arms or 4 half-plane arms in ω (possibly with one defect).
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 29: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/29.jpg)
Proof of crossing probability estimate
Annulus surrounding passage points but not containing passage points:6 arms or 4 half-plane arms in ω (possibly with one defect).
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 30: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/30.jpg)
Proof of crossing probability estimate
Annulus surrounding passage points but not containing passage points:6 arms or 4 half-plane arms in ω (possibly with one defect).
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 31: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/31.jpg)
Proof of crossing probability estimate
Annulus surrounding passage points but not containing passage points:6 arms or 4 half-plane arms in ω (possibly with one defect).
Ppc ( )R
≤(rR
)2+λr Ppc ( )R ≤
(rR
)2+λr
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 32: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/32.jpg)
Proof of crossing probability estimate
For a set X , what is Ppc ,δ(X = X )?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 33: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/33.jpg)
Proof of crossing probability estimate
For a set X , what is Ppc ,δ(X = X )?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 34: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/34.jpg)
Proof of crossing probability estimate
For a set X , what is Ppc ,δ(X = X )?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 35: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/35.jpg)
Proof of crossing probability estimate
For a set X , what is Ppc ,δ(X = X )?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 36: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/36.jpg)
Proof of crossing probability estimate
For a set X , what is Ppc ,δ(X = X )?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 37: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/37.jpg)
Proof of crossing probability estimate
d1 d2
d3
d4
d5
d6
For a set X , what is Ppc ,δ(X = X )?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 38: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/38.jpg)
Proof of crossing probability estimate
For a set X , what is Ppc ,δ(X = X )?
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 39: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/39.jpg)
Proof of crossing probability estimate
Pp,δ(X = X ) ≤ ckn−2−λ∏
j
d−2−λj × δk ,
where d1, . . . , dk are the merger times of X .
#{X with merger times d1, . . . , dk} ≤ C kn2∏
j
dj .
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 40: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/40.jpg)
Proof of crossing probability estimate
P(vetical crossing in ω̃δ) ≤ n−λ∑
k≥1d1,...,dk
(δkck
∏
k
d−1−λk
)
= n−λ∑
k≥1
δc
∑
d≥1d−1−λ
k
→ 0,
for δ > 0 small.
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 41: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/41.jpg)
Proof of crossing probability estimate
P(vetical crossing in ω̃δ) ≤ n−λ∑
k≥1d1,...,dk
(δkck
∏
k
d−1−λk
)
= n−λ∑
k≥1
δc
∑
d≥1d−1−λ
k
→ 0,
for δ > 0 small.
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 5 / 6
![Page 42: Ioan Manolescu Joint work with Demeter Kiss and Vladas ...people.bath.ac.uk/ados20/ris2014/slides/ioan_manolescu.pdf · Planar lattices do not recover from forest res Ioan Manolescu](https://reader036.fdocument.pub/reader036/viewer/2022070701/5e5abef06d9591288577397f/html5/thumbnails/42.jpg)
Proof of crossing probability estimate
Thank you!
Ioan Manolescu (University of Geneva) Subcritical phase of 2D SDP 23 June 2014 6 / 6