further exploring the parameter space of an ifsaldenwalker.org/slides/schottky_talk_2.pdf · here u...
TRANSCRIPT
![Page 1: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/1.jpg)
Further exploring the parameter space of an IFS
Alden Walker (UChicago)
Joint with Danny Calegari and Sarah Koch
November 3, 2014
![Page 2: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/2.jpg)
Recall: Sarah Koch spoke about this project on September 26. Iwill give essentially the same introduction, but I’ll discuss somedifferent topics in the second half.
Goal: Given dynamical systems parameterized by c ∈ C, connectfeatures of the dynamics to features of the parameter space C andto other areas of math.
![Page 3: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/3.jpg)
Our dynamical systems of interest are iterated function systems:
Iterated function systems (IFS):Let f1, · · · , fn : X → X , where X is a complete metric space, andall fi are contractions. Then {f1, . . . , fn} is an iterated functionsystem. We are interested in the semigroup generated by the fi .There is a unique invariant compact set Λ, the limit set of the IFS.(“Invariant” here means that Λ =
⋃ni=1 fiΛ).
(pictures from Wikipedia)
![Page 4: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/4.jpg)
Parameterized IFSFor c ∈ C with |c | < 1, consider the IFS generated by the dilations
I fc(z) = cz − 1; (centered at αf = −1/(1− c))
I gc(z) = cz + 1; (centered at αg = 1/(1− c))
The limit set Λc will have symmetry around (αf + αg )/2 = 0
Note Λc = fcΛc ∪ gcΛc ; we draw these sets in blue and orange.
![Page 5: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/5.jpg)
How to compute Λc
There are two simple ways to construct Λc . Let Gn be all words oflength n in fc , gc .
Method 1: Let p be any point in Λc (for example the fixed point offc , i.e. −1/(1− c)). Then
Λc =⋃n
Gnp
![Page 6: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/6.jpg)
How to compute Λc
Method 2: Let D be a disk at 0 which is sent inside itself under fcand gc . Let
GnD =⋃u∈Gn
uD
Then for any n, we have Λc ⊆ GnD, and
Λc =⋂n≥0
GnD
![Page 7: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/7.jpg)
Λc
D:
![Page 8: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/8.jpg)
Λc
D is sent inside itself under fc and gc :
![Page 9: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/9.jpg)
Λc
G1D, i.e. fcD ∪ gcD:
Here 0 = fc , 1 = gc
![Page 10: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/10.jpg)
Λc
G2D, i.e. fc fcD ∪ fcgcD ∪ gc fcD ∪ gcgcD:
![Page 11: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/11.jpg)
Λc
G3D:
![Page 12: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/12.jpg)
Λc
G4D:
![Page 13: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/13.jpg)
Λc
G8D:
![Page 14: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/14.jpg)
Λc
G12D:
![Page 15: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/15.jpg)
Λc
Consider GnD (here G3D). The limit set Λc is a union of copies ofΛc , one in each disk in GnD:
![Page 16: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/16.jpg)
Parameterized IFS
The parameter space for the IFS {fc , gc} is the open unit disk D.We define:
M = {c ∈ D |Λc is connected}M0 = {c ∈ D | 0 ∈ Λc}
LemmaM0 (M.
Note the distinction with the Mandlebrot set; sets M and M0 aredifferent.
Lemma (Bandt)c ∈M⇔ Λc connected
⇔ Λc is path connected
⇔ fcΛc ∩ gcΛc 6= ∅
![Page 17: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/17.jpg)
M0 (M
c = 0.22 + 0.66i is in M but not M0.
![Page 18: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/18.jpg)
Here is M:
![Page 19: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/19.jpg)
Here is M0:
![Page 20: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/20.jpg)
Sets M and M0 together:
![Page 21: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/21.jpg)
Set MSet M has many interesting features:
![Page 22: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/22.jpg)
HolesApparent holes in M are caused by fcΛc and gcΛc interlocking butnot touching.
(zoomed picture of Λc)
![Page 23: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/23.jpg)
Sets M and M0
![Page 24: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/24.jpg)
(fun with schottky)
![Page 25: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/25.jpg)
History
Barnsley and Harrington (1985) defined sets M and M0 andnoted apparent holes in M
Bousch 1988 Sets M and M0 are connected and locallyconnected
Odlyzko and Poonen 1993 Zeros of {0, 1} polynomials (related toM0) is connected and path connected
Bandt 2002 Proved a hole in M, conjectured that the interior ofM is dense away from the real axis
Solomyak and Xu 2003 Proved that the interior is dense in aneighborhood of the imaginary axis
Solomyak (several papers) proved interesting properties of Mand M0, including a self-similarity result.
Thurston 2013 Studied entropies of postcritically finite quadraticmaps and produced a picture which, inside the unitdisk, appears to be M0.
Tiozzo 2013 Proved Thurston’s set is M0 (inside the unit disk).
![Page 26: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/26.jpg)
Results
TheoremThere is an algorithm to certify that a point lies in the interior ofM(and consequently to certify holes in M; this is a very differentmethod than Bandt’s certification of a hole)
Theorem (Bandt’s Conjecture)
The interior of M is dense in M away from the real axis.
TheoremThere is an infinite spiral of holes in M around the pointω ≈ 0.371859 + 0.519411i .
There are many infinite spirals of holes, and our method shouldwork for any of them; we just happened to do it for ω.
![Page 27: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/27.jpg)
Properties of Λc
Recall:
Lemma (Bousch)
c ∈M (Λc is connected) ⇔ fcΛc ∩ gcΛc 6= ∅.
We prove:
Lemma (The short hop lemma - CKW)
If d(fcΛc , gcΛc) = δ, then for any two points p, q ∈ Λc , there is asequence of points p = s0, s1, . . . , sk = q such that si ∈ Λc andd(si , si+1) ≤ δ.
![Page 28: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/28.jpg)
The short hop lemmaIf d(fcΛc , gcΛc) = δ, then for any two points p, q ∈ Λc , there is asequence of points p = s0, s1, . . . , sk = q such that si ∈ Λc andd(si , si+1) ≤ δ.
![Page 29: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/29.jpg)
The short hop lemmaIf d(fcΛc , gcΛc) = δ, then for any two points p, q ∈ Λc , there is asequence of points p = s0, s1, . . . , sk = q such that si ∈ Λc andd(si , si+1) ≤ δ.
![Page 30: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/30.jpg)
The short hop lemmaIf d(fcΛc , gcΛc) = δ, then for any two points p, q ∈ Λc , there is asequence of points p = s0, s1, . . . , sk = q such that si ∈ Λc andd(si , si+1) ≤ δ.
![Page 31: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/31.jpg)
The short hop lemmaIf d(fcΛc , gcΛc) = δ, then for any two points p, q ∈ Λc , there is asequence of points p = s0, s1, . . . , sk = q such that si ∈ Λc andd(si , si+1) ≤ δ.
![Page 32: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/32.jpg)
The short hop lemmaIf d(fcΛc , gcΛc) = δ, then for any two points p, q ∈ Λc , there is asequence of points p = s0, s1, . . . , sk = q such that si ∈ Λc andd(si , si+1) ≤ δ.
![Page 33: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/33.jpg)
The short hop lemmaIf d(fcΛc , gcΛc) = δ, then for any two points p, q ∈ Λc , there is asequence of points p = s0, s1, . . . , sk = q such that si ∈ Λc andd(si , si+1) ≤ δ.
![Page 34: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/34.jpg)
Traps
TheoremThere is an algorithm to certify that a point lies in the interior ofM
We’ll show there is an easy-to-check condition which certifies thatfcΛc ∩ gcΛc 6= ∅, and thus that Λc is connected, and thiscondition is open.
This certificate is called a trap.
![Page 35: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/35.jpg)
TrapsSuppose that fcΛc and gcΛc cross “transversely”:
Note that any coarse paths p1 → p2 and q1 → q2 must cross.
![Page 36: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/36.jpg)
TrapsI Suppose that fcΛc and gcΛc cross transversely and that
d(fcΛc , gcΛc) = δ.I By lemma, there are short hop paths p1 → p2 in fcΛc and
q1 → q2 in gcΛc , and these paths have gaps ≤ δ.I The paths cross, so there is a pair of points, one in fcΛ and
one in gcΛc , with distance < δ. A contradiction unless δ = 0.
![Page 37: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/37.jpg)
Traps
Note the existence of a trap is an open condition, so it certifies aparameter c as being in the interior of set M.
![Page 38: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/38.jpg)
Trap loops
Since a trap is an open condition, each trap certifies a small ball asbeing in M. Using careful estimates, we can surround an apparenthole with these balls to rigorously certify it:
![Page 39: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/39.jpg)
Finding traps
To find a trap, we want to show that fcΛc is transverse to gcΛc . Itsuffices to find two words u, v starting with f , g such that uΛc istransverse to vΛc :
![Page 40: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/40.jpg)
Finding traps
It suffices to find two words u, v starting with f , g such that uΛc istransverse to vΛc . Here u = fffgffgfggfg , v = gggfgffgffgf
The center of the disk D is 0, so the displacement vector betweenuΛc and vΛc is u(0)− v(0).
![Page 41: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/41.jpg)
Finding trapsThe displacement vector between uΛc and vΛc is u(0)− v(0).Note that rescaling the displacement:
c−12(u(0)− v(0))
Gives us the displacement vector relative to the original limit setΛc :
![Page 42: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/42.jpg)
Finding traps
If we consider Λc , we can figure out what displacement vectorsmake it transverse:
These are trap-like vectors for Λc . We have shown: if u, v oflength n start with f , g , and c−n(u(0)− v(0)) is trap-like, thenthere is a trap for c .
![Page 43: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/43.jpg)
Finding trapsWe have shown: if u, v of length n start with f , g , andc−n(u(0)− v(0)) is trap-like, then there is a trap for c.
This is computationally useful, because trap-like vectors aretrap-like for a whole ball of parameters. To find traps in a region inM, we can find trap-like vectors once; then for a given parameter,find words u, v so c−n(u(0)− v(0)) is trap-like.
![Page 44: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/44.jpg)
Finding trapsWe find trap-like vectors for this (quite small) region in parameterspace. Then for every pixel, we search through pairs of words u, vtrying to find a pair so c−n(u(0)− v(0)) is trap-like.
Left, the result of searching words through length 20. Right,through length 35.
![Page 45: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/45.jpg)
SimilarityOn the left is M near c = 0.371859 + 0.519411i . On the right is a(zoomed) view of the set of differences between pairs of points inthe limit set Λc .
This similarity is analogous to the Mandelbrot/Julia set similarityat Misiurewicz points:
(picture by Tan Lei)
![Page 46: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/46.jpg)
SimilarityOn the left is M near the parameter 0.371859 + 0.519411i . Onthe right is a (zoomed) view of the set of differences between pairsof points in the limit set Λc .
Theorem (Solomyak)
These sets are asymptotically similar. (Small neighborhoodsHausdorff converge).
We can re-prove this theorem (with a bonus: asymptotic interior!)using traps.
![Page 47: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/47.jpg)
SimilarityFor parameters near ω ≈ 0.371859 + 0.519411i , the only possiblepairs of words that give traps are of the form
u = fgfffgggf nx , v = gfgggfffgny
for large n
The definition of ω is that it is the parameter such thatfgfffgggf∞ = gfgggfffg∞.
![Page 48: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/48.jpg)
Similarity
The dots show ω + C , ω + Cω, ω + Cω2...
Intuitively, moving from ω + Cωk to ω + Cωk+1 should correspondto zooming in on the spiral in the limit set. The orientation of thedisks fgfffgggf n, gfgggfffgn at parameter ω + Cω should look likethe orientation of the disks fgfffgggf n+1, gfgggfffgn+1 at ω + Cω2.
![Page 49: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/49.jpg)
Similarity
LemmaSuppose uf∞ = vg∞ for parameter ω. Let u, v have length a. Letx , y have length c. As n→∞, the expression
(ω + Cωn)−a+n+c(uf nx(0)− vgny(0))
converges to
V = ω−a−c(u(0)− v(0)) + ω−c(x(0)− y(0)) + Cω−a−cP ′(ω)
(where P ′(ω) is a constant depending only on ω).
Hence if V is trap-like for ω, then for all sufficiently large n, thewords uf nx ,vgny give a trap for ω+ Cωn. We call this a limit trap.
Note there is one computation required to prove infinitely manypoints have traps (are in the interior of M).
![Page 50: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/50.jpg)
Infinitely many holes in M
Here we found a loop of balls of limit traps. This certifies that forsufficiently large n, the image of this loop under the mapz 7→ ω(z − ω) + ω lies in the interior of M.We also prove there are points limiting to ω in the complement ofM. Together, this proves infinitely many holes.
![Page 51: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/51.jpg)
What does this have to do with differences?
If C is such that
V = ω−a−c(u(0)− v(0)) + ω−c(x(0)− y(0)) + Cω−a−cP ′(ω)
is trap-like, then ω + Cωn have traps. Let’s solve for the C valueswhich work. Let V range over all trap-like vectors; we get C values:
C =ωa+c
P ′(ω)V − 1
P ′(ω)(u(0)− v(0))− ωa
P ′(ω)(x(0)− y(0))
As c →∞, the first term → 0, and the second two become ascaled, translated copy of Γω, the set of all differences betweenpoints in Λω, i.e.
C ∈ A + BΓω
![Page 52: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/52.jpg)
Differences as limit sets
The set of differences Γc between points in Λc is a limit set itself!It is the limit set of the three-generator IFS:
z 7→ cz − 1, z 7→ cz , z 7→ cz + 1
![Page 53: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/53.jpg)
Hence:
The differences Γω of points in the limit set Λω (top) is a limit setitself (bottom left), and Γω is locally the same as M in aneighborhood of ω (bottom right).
![Page 54: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/54.jpg)
Hence:
We can’t help remarking that in addition, set M0 looks locally likeΛω!
![Page 55: Further exploring the parameter space of an IFSaldenwalker.org/slides/schottky_talk_2.pdf · Here u = fg gfggfg, v = gggfg g gf The center of the disk D is 0, so the displacement](https://reader030.vdocuments.net/reader030/viewer/2022020215/5b941e8d09d3f2130d8c1505/html5/thumbnails/55.jpg)
More pictures!