what to do when all you have is brownian motionrenang/pdfs/presentation... · 2019-05-12 · what...
TRANSCRIPT
![Page 1: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/1.jpg)
What to doWhen all you have is
Brownian motion
Renan Gross, WIS
Student probability day VII, 16/05/19
Conformal mapping
![Page 2: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/2.jpg)
Warning
This presentation shows graphical images of Brownian motion.
Viewer discretion is advised.
![Page 3: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/3.jpg)
The Skorokhod embedding problem
![Page 4: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/4.jpg)
• Life gives you Brownian motion.
The Skorokhod embedding problem
![Page 5: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/5.jpg)
• Life gives you Brownian motion.
• But you do not want Brownian motion. You want to sample from a distribution 𝜇.
• How do you sample from 𝜇 using your Brownian motion?
The Skorokhod embedding problem
![Page 6: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/6.jpg)
• A natural thing to do is wait for some time 𝑇 and then stop the Brownian motion.
• If you choose 𝑇 in a special way, then perhaps 𝐵𝑇 distributes as 𝜇?
The Skorokhod embedding problem
![Page 7: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/7.jpg)
• A natural thing to do is wait for some time 𝑇 and then stop the Brownian motion.
• If you choose 𝑇 in a special way, then perhaps 𝐵𝑇 distributes as 𝜇?
The Skorokhod embedding problem
This is Skorokhod’sembedding problem.
![Page 8: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/8.jpg)
• A natural thing to do is wait for some time 𝑇 and then stop the Brownian motion.
• If you choose 𝑇 in a special way, then perhaps 𝐵𝑇 distributes as 𝜇?
The Skorokhod embedding problem
This is Skorokhod’sembedding problem.
(This is Skorokhod)
![Page 9: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/9.jpg)
Examples
![Page 10: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/10.jpg)
• Gaussian distribution: Brownian motion is just a fancy name for Gaussians: 𝑩𝒕 ~𝑵 𝟎, 𝒕 .
Examples
![Page 11: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/11.jpg)
• Gaussian distribution: Brownian motion is just a fancy name for Gaussians: 𝑩𝒕 ~𝑵 𝟎, 𝒕 .
• Stop at the deterministic time 𝑇 = 1 to get 𝑁 0,1 .
Examples
![Page 12: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/12.jpg)
• Gaussian distribution: Brownian motion is just a fancy name for Gaussians: 𝑩𝒕 ~𝑵 𝟎, 𝒕 .
• Stop at the deterministic time 𝑇 = 1 to get 𝑁 0,1 .
• Bernoulli distribution: How to get ±1, each with probability 1/2?
Examples
![Page 13: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/13.jpg)
• Gaussian distribution: Brownian motion is just a fancy name for Gaussians: 𝑩𝒕 ~𝑵 𝟎, 𝒕 .
• Stop at the deterministic time 𝑇 = 1 to get 𝑁 0,1 .
• Bernoulli distribution: How to get ±1, each with probability 1/2?
Examples
![Page 14: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/14.jpg)
• Gaussian distribution: Brownian motion is just a fancy name for Gaussians: 𝑩𝒕 ~𝑵 𝟎, 𝒕 .
• Stop at the deterministic time 𝑇 = 1 to get 𝑁 0,1 .
• Bernoulli distribution: How to get ±1, each with probability 1/2?
Examples
Uniform distribution on −1,1 ?
![Page 15: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/15.jpg)
Theorem statement
![Page 16: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/16.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
![Page 17: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/17.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:
![Page 18: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/18.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:• Skorokhod 61,
![Page 19: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/19.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:• Skorokhod 61, Dubins 68,
![Page 20: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/20.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:• Skorokhod 61, Dubins 68, Root 68,
![Page 21: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/21.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:• Skorokhod 61, Dubins 68, Root 68, Hall 68,
![Page 22: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/22.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:• Skorokhod 61, Dubins 68, Root 68, Hall 68,
Rost 71, Monroe 72, Chacon-Walsh 74,
![Page 23: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/23.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:• Skorokhod 61, Dubins 68, Root 68, Hall 68,
Rost 71, Monroe 72, Chacon-Walsh 74, Azema Yor 79, Bass 83, Vallois 83, Perkins 85,
![Page 24: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/24.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:• Skorokhod 61, Dubins 68, Root 68, Hall 68,
Rost 71, Monroe 72, Chacon-Walsh 74, Azema Yor 79, Bass 83, Vallois 83, Perkins 85, Jacka 88, Bertoin and Le Jan 93, Vallois 94, FGPP 00, Cox and Hobson 04, Obloj-Yor 04,…
![Page 25: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/25.jpg)
Theorem statement• This is a theorem!
Theorem: Let 𝜇 have 0 mean and finite variance. Then there exists a stopping time 𝑇with 𝔼𝑇 < ∞ such that 𝐵𝑇~𝜇.
• This was proved more than once:•
• Also Gross 19.
Skorokhod 61, Dubins 68, Root 68, Hall 68, Rost 71, Monroe 72, Chacon-Walsh 74, Azema Yor 79, Bass 83, Vallois 83, Perkins 85, Jacka 88, Bertoin and Le Jan 93, Vallois 94, FGPP 00, Cox and Hobson 04, Obloj-Yor 04,…
![Page 26: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/26.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 27: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/27.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 28: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/28.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 29: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/29.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 30: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/30.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 31: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/31.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 32: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/32.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 33: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/33.jpg)
Solution 1: Dubins
• A clever generalization of the Bernoulli ±1 method.
![Page 34: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/34.jpg)
• Another clever generalization of the Bernoulli ±1method.
• The hitting time of the graph 𝑋𝑡 , 𝑡 with some barrier.
Solution 2: Root
![Page 35: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/35.jpg)
• Another clever generalization of the Bernoulli ±1method.
• The hitting time of the graph 𝑋𝑡 , 𝑡 with some barrier.
Solution 2: Root
![Page 36: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/36.jpg)
• Another clever generalization of the Bernoulli ±1method.
• The hitting time of the graph 𝑋𝑡 , 𝑡 with some barrier.
Solution 2: Root
![Page 37: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/37.jpg)
• Another clever generalization of the Bernoulli ±1method.
• The hitting time of the graph 𝑋𝑡 , 𝑡 with some barrier.
Solution 2: Root
![Page 38: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/38.jpg)
A conformal solution
![Page 39: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/39.jpg)
A conformal solution
• Not a clever generalization of the Bernoulli ±1method.
• Rather, uses conformal mappings
![Page 40: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/40.jpg)
A conformal solution
• Not a clever generalization of the Bernoulli ±1method.
• Rather, uses conformal mappings
Theorem: Let 𝜇 have 0 mean and finite variance. Let 𝐵𝑡 be a planar Brownian motion. There exists a simply connected domain Ω such that when 𝐵𝑡 exits Ω, its 𝑥 coordinate distributes as 𝜇.
![Page 41: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/41.jpg)
• The idea is simple, actually.
A conformal solution
![Page 42: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/42.jpg)
• The idea is simple, actually.
• Here is the cdf of mu, 𝐹𝜇.
A conformal solution
![Page 43: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/43.jpg)
• The idea is simple, actually.
• Here is the cdf of mu, 𝐹𝜇.
• Here is its inverse cdf, 𝐹𝜇−1.
A conformal solution
![Page 44: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/44.jpg)
• The idea is simple, actually.
• Here is the cdf of mu, 𝐹𝜇.
• Here is its inverse cdf, 𝐹𝜇−1.
• The inverse mapping theorem says that if 𝑈 is uniform, then
𝐹𝜇−1 𝑈 ~𝜇
A conformal solution
𝐹𝜇 𝑥 = ℙ 𝑋 ≤ 𝑥 = ℙ 𝑇 𝑈 ≤ 𝑥 = ℙ 𝑈 ≤ 𝑇−1 𝑥 = 𝑇−1 𝑥 ]]
[[Any T satisfying 𝑇 𝑈 ~𝜇 must satisfy
![Page 45: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/45.jpg)
A conformal solution
![Page 46: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/46.jpg)
A conformal solution
• If only there was some way of using 𝐵𝑡 to sample 𝐹𝜇
−1 uniformly!
![Page 47: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/47.jpg)
A conformal solution
• If only there was some way of using 𝐵𝑡 to sample 𝐹𝜇
−1 uniformly!
• How convenient! Brownian motion is uniform on the circle
![Page 48: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/48.jpg)
A conformal solution
• If only there was some way of using 𝐵𝑡 to sample 𝐹𝜇
−1 uniformly!
• How convenient! Brownian motion is uniform on the circle
• How convenient! Brownian motion is conformally invariant
• That is, the image of Brownian motion under a conformal map is a (time-changed) Brownian motion as well
![Page 49: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/49.jpg)
A conformal solution
• How convenient! Brownian motion is uniform on the circle
• How convenient! Brownian motion is conformally invariant
s• That is, the image of Brownian motion under a
conformal map is a (time-changed) Brownian motion as well
𝑓(𝑧) conformal
![Page 50: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/50.jpg)
A conformal solution
![Page 51: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/51.jpg)
A conformal solution
• Since arg 𝐵𝑇𝑐𝑖𝑟𝑐𝑙𝑒 is uniform, all we need is a conformal map 𝜓 which has
Re 𝜓 𝑒𝑖𝜃 = 𝐹𝜇−1 𝜃
![Page 52: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/52.jpg)
A conformal solution
• Since arg 𝐵𝑇𝑐𝑖𝑟𝑐𝑙𝑒 is uniform, all we need is a conformal map 𝜓 which has
Re 𝜓 𝑒𝑖𝜃 = 𝐹𝜇−1 𝜃
• Luckily for us, on the unit circle, a Fourier series and a power series are the same thing.
𝑓 𝑧 =
𝑛=0
∞
𝑎𝑛𝑧𝑛 =
𝑖=0
∞
𝑎𝑛𝑒𝑖𝑛𝜃 =
𝑖=0
∞
𝑎𝑛 cos 𝑛𝜃 + 𝑖 sin 𝑛𝜃
![Page 53: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/53.jpg)
A conformal solution
• Let 𝜑𝜇 𝜃 = 𝐹𝜇−1(
|𝜃|
𝜋)
![Page 54: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/54.jpg)
A conformal solution
• Let 𝜑𝜇 𝜃 = 𝐹𝜇−1(
|𝜃|
𝜋)
• Expand 𝜑𝜇 𝜃 as an even Fourier series:
𝜑𝜇 𝜃 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 cos 𝑛𝜃
![Page 55: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/55.jpg)
A conformal solution
• Let 𝜑𝜇 𝜃 = 𝐹𝜇−1(
|𝜃|
𝜋)
• Expand 𝜑𝜇 𝜃 as an even Fourier series:
𝜑𝜇 𝜃 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 cos 𝑛𝜃
• Let 𝜓𝜇 𝑧 be the extension to the plane:
𝜓𝜇 𝑧 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 𝑧𝑛
![Page 56: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/56.jpg)
A conformal solution
• Let 𝜑𝜇 𝜃 = 𝐹𝜇−1(
|𝜃|
𝜋)
• Expand 𝜑𝜇 𝜃 as an even Fourier series:
𝜑𝜇 𝜃 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 cos 𝑛𝜃
• Let 𝜓𝜇 𝑧 be the extension to the plane:
𝜓𝜇 𝑧 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 𝑧𝑛
• On the unit circle, the x-coordinate (i.e real part) of 𝜓𝜇 agrees with 𝜑𝜇
𝑅𝑒 𝜓𝜇 𝑒𝑖𝜃 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 cos 𝑛𝜃 = 𝜑𝜇 𝜃
![Page 57: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/57.jpg)
A conformal solution
• Let 𝜑𝜇 𝜃 = 𝐹𝜇−1(
|𝜃|
𝜋)
• Expand 𝜑𝜇 𝜃 as an even Fourier series:
𝜑𝜇 𝜃 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 cos 𝑛𝜃
• Let 𝜓𝜇 𝑧 be the extension to the plane:
𝜓𝜇 𝑧 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 𝑧𝑛
• On the unit circle, the x-coordinate (i.e real part) of 𝜓𝜇 agrees with 𝜑𝜇
𝑅𝑒 𝜓𝜇 𝑒𝑖𝜃 =
𝑛=0
∞
ෞ𝜑𝜇 𝑛 cos 𝑛𝜃 = 𝜑𝜇 𝜃
• The Fourier coefficients decay, so 𝜓𝜇 is analytic inside the unit disc
![Page 58: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/58.jpg)
A potential problem
• Even though Brownian motion is preserved under analytic maps, in order to transform boundary to boundary we must be one-to-one
• Otherwise:
𝑓 𝑧 = 𝑧2
![Page 59: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/59.jpg)
A potential problem
• For “nice” enough 𝜇, this is not a problem
• If 𝜇 is bounded and 𝐹𝜇 is strictly monotone increasing then 𝐹𝜇
−1 is continuous and bounded.
• 𝜓𝜇 then maps the circle’s boundary to a simple closed loop, which is the boundary of Ω
![Page 60: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/60.jpg)
A potential problem
• For nasty 𝜇, we don’t have that luxury• E.g: an atomic distribution with finite weight on every
rational)
• E.g: The Cantor distribution
![Page 61: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/61.jpg)
A potential problem
• For nasty 𝜇, we don’t have that luxury• E.g: an atomic distribution with finite weight on every
rational)
• E.g: The Cantor distribution
![Page 62: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/62.jpg)
A potential problem
• For nasty 𝜇, we don’t have that luxury• E.g: an atomic distribution with finite weight on every
rational)
• E.g: The Cantor distribution
• In this case the mapping may diverge
![Page 63: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/63.jpg)
• Theorem: Let 𝑓𝑘 𝑧 be a series of one-to-one functions on a domain 𝐷 which converge uniformly on every compact subset of 𝐷 to a function 𝑓. Then 𝑓 is
either one-to-one or constant.
• If we take nice smooth functions 𝐹𝑘 (not necessarily CDFs) which converge to 𝐹𝑘, we’ll get 𝜓𝑘s which are one-to-one and which will converge to 𝜓𝜇.
A solution
![Page 64: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/64.jpg)
Examples
Gaussian
Uniform
![Page 65: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/65.jpg)
Examples
𝑃 𝑘 ~1
2𝑘
Cantor
![Page 66: What to do When all you have is Brownian motionrenang/pdfs/presentation... · 2019-05-12 · What to do When all you have is Brownian motion Renan Gross, WIS Student probability day](https://reader033.vdocuments.net/reader033/viewer/2022041911/5e676a2483f76440ab2de550/html5/thumbnails/66.jpg)
For more information, call
1-800-https://arxiv.org/abs/1905.00852
Thanks!