1. Exponential Dynamics and (Crazy) Topology Cantor bouquetsIndecomposable continua

2. Cantor bouquetsIndecomposable continua These are Julia sets of Exponential Dynamics and (Crazy) Topology

3. Example 1: Cantor Bouquets with Clara Bodelon Michael Hayes Gareth Roberts Ranjit Bhattacharjee Lee DeVille Monica Moreno Rocha Kreso Josic Alex Frumosu Eileen Lee

4. Orbit of z: Question: What is the fate of orbits?

5. Julia set of J = closure of {orbits that escape to } = closure {repelling periodic orbits} = {chaotic set} Fatou set = complement of J = predictable set * * not the boundary of {orbits that escape to }

6. For polynomials, it was the orbit of the critical points that determined everything. But has no critical points.

7. For polynomials, it was the orbit of the critical points that determined everything. But has no critical points. But 0 is an asymptotic value; any far left half-plane is wrapped infinitely often around 0, just like a critical value. So the orbit of 0 for the exponential plays a similar role as in the quadratic family (only what happens to the Julia sets is very different in this case).

8. Example 1: is a “Cantor bouquet”

9. Example 1: is a “Cantor bouquet”

10. Example 1: is a “Cantor bouquet” attracting fixed point q

11. Example 1: is a “Cantor bouquet” attracting fixed point q The orbit of 0 always tends this attracting fixed point

12. Example 1: is a “Cantor bouquet” qp repelling fixed point

13. Example 1: is a “Cantor bouquet” qpx0x0

14. Example 1: is a “Cantor bouquet” qpx0x0 And for all

15. So where is J?

17. in this half plane

18. So where is J? Green points lie in the Fatou set

19. So where is J? Green points lie in the Fatou set

20. So where is J? Green points lie in the Fatou set

21. So where is J? Green points lie in the Fatou set

22. So where is J? Green points lie in the Fatou set

23. hairs stems endpoints The Julia set is a collection of curves (hairs) in the right half plane, each with an endpoint and a stem.

24. A “Cantor bouquet” p q

25. Colored points escape to and so now are in the Julia set. p q

30. One such hair lies on the real axis. stem repelling fixed point

31. hairs Orbits of points on the stems all tend to.

32. hairs So bounded orbits lie in the set of endpoints.

33. hairs So bounded orbits lie in the set of endpoints. Repelling cycles lie in the set of endpoints.

34. hairs So bounded orbits lie in the set of endpoints. Repelling cycles lie in the set of endpoints. So the endpoints are dense in the bouquet.

35. hairs So bounded orbits lie in the set of endpoints. Repelling cycles lie in the set of endpoints. So the endpoints are dense in the bouquet.

36. S Some Facts:

37. S The only accessible points in J from the Fatou set are the endpoints; you cannot touch the stems

38. S Some Crazy Facts: The only accessible points in J from the Fatou set are the endpoints; you cannot touch the stems The set of endpoints together with the point at infinity is connected...

39. S Some Crazy Facts: The only accessible points in J from the Fatou set are the endpoints; you cannot touch the stems The set of endpoints together with the point at infinity is connected... but the set of endpoints is totally disconnected (Mayer)

40. S Some Crazy Facts: The only accessible points in J from the Fatou set are the endpoints; you cannot touch the stems The set of endpoints together with the point at infinity is connected... but the set of endpoints is totally disconnected (Mayer) Hausdorff dimension of {stems} = 1...

41. S Some Crazy Facts: The only accessible points in J from the Fatou set are the endpoints; you cannot touch the stems The set of endpoints together with the point at infinity is connected... but the set of endpoints is totally disconnected (Mayer) Hausdorff dimension of {stems} = 1... but the Hausdorff dimension of {endpoints} = 2! (Karpinska)

42. Another example: Looks a little different, but still a pair of Cantor bouquets

43. Another example: The interval [-, ] is contracted inside itself, and all these orbits tend to 0 (so are in the Fatou set)

44. Another example: The real line is contracted onto the interval, and all these orbits tend to 0 (so are in the Fatou set)

45. Another example: The vertical lines x = n  +  /2 are mapped to either [, ∞) or (-∞, - ], so these lines are in the Fatou set.... -  /2  /2

46. Another example: The lines y = c are both wrapped around an ellipse with foci at c -c

47. Another example: The lines y = c are both wrapped around an ellipse with foci at, and all orbits in the ellipse tend to 0 if c is small enough c -c

48. Another example: So all points in the ellipse lie in the Fatou set c -c

49. Another example: So do all points in the strip c -c

50. Another example: c -c The vertical lines given by x = n  +  /2 are also in the Fatou set.

51. And all points in the preimages of the strip lie in the Fatou set...

52. And so on to get another Cantor bouquet.

53. The difference here is that the Cantor bouquet for the sine function has infinite Lebesgue measure, while the exponential bouquet has zero measure.

54. Example 2: Indecomposable Continua with Nuria Fagella Xavier Jarque Monica Moreno Rocha

55. When,undergoes a “saddle node” bifurcation, The two fixed points coalesce and disappear from the real axis when goes above 1/e.

56. And now the orbit of 0 goes off to ∞....

57. And as increases through 1/e, explodes.

282. (Sullivan, Goldberg, Keen) Theorem: If the orbit of 0 goes to ∞, then the Julia set is the entire complex plane.

283. As increases through,; however:

284. As increases through No new periodic cycles are born;,; however:

285. As increases through No new periodic cycles are born;,; however: All move continuously to fill in the plane densely;

286. As increases through No new periodic cycles are born;,; however: All move continuously to fill in the plane; Infinitely many hairs suddenly become “indecomposable continua.”

287. An indecomposable continuum is a compact, connected set that cannot be broken into the union of two (proper) compact, connected subsets. For example:

288. An indecomposable continuum is a compact, connected set that cannot be broken into the union of two (proper) compact, connected subsets. For example: indecomposable? 01

289. An indecomposable continuum is a compact, connected set that cannot be broken into the union of two (proper) compact, connected subsets. For example: No, decomposable. (subsets need not be disjoint) 01

290. An indecomposable continuum is a compact, connected set that cannot be broken into the union of two (proper) compact, connected subsets. For example: indecomposable?

291. An indecomposable continuum is a compact, connected set that cannot be broken into the union of two (proper) compact, connected subsets. For example: No, decomposable.

292. An indecomposable continuum is a compact, connected set that cannot be broken into the union of two (proper) compact, connected subsets. For example: indecomposable?

293. An indecomposable continuum is a compact, connected set that cannot be broken into the union of two (proper) compact, connected subsets. For example: No, decomposable.

294. Knaster continuum Start with the Cantor middle-thirds set A well known example of an indecomposable continuum

295. Knaster continuum Connect symmetric points about 1/2 with semicircles

296. Knaster continuum Do the same below about 5/6

297. Knaster continuum And continue....

298. Knaster continuum

299. Properties of K: There is one curve that passes through all the endpoints of the Cantor set.

300. There is one curve that passes through all the endpoints of the Cantor set. It accumulates everywhere on itself and on K. Properties of K:

301. There is one curve that passes through all the endpoints of the Cantor set. It accumulates everywhere on itself and on K. And is the only piece of K that is accessible from the outside. Properties of K:

302. There is one curve that passes through all the endpoints of the Cantor set. It accumulates everywhere on itself and on K. And is the only piece of K that is accessible from the outside. But there are infinitely many other curves in K, each of which is dense in K. Properties of K:

303. There is one curve that passes through all the endpoints of the Cantor set. It accumulates everywhere on itself and on K. And is the only piece of K that is accessible from the outside. But there are infinitely many other curves in K, each of which is dense in K. So K is compact, connected, and.... Properties of K:

304. Indecomposable! Try to write K as the union of two compact, connected sets.

305. Indecomposable! Can’t divide it this way.... subsets are closed but not connected.

306. Or this way... again closed but not connected. Indecomposable!

307. Or the union of the outer curve and all the inaccessible curves... not closed. Indecomposable!

308. How the hairs become indecomposable:............ attracting fixed pt repelling fixed pt stem

309. How the hairs become indecomposable:............................ 2 repelling fixed points Now all points in R escape, so the hair is much longer

310. But the hair is even longer! 0

311. 0

312. But the hair is even longer! And longer. 0

313. But the hair is even longer! And longer... 0

314. But the hair is even longer! And longer....... 0

315. But the hair is even longer! And longer............. 0

316. Compactify to get a single curve in a compact region in the plane that accumulates everywhere on itself. The closure is then an indecomposable continuum. 0

317. The dynamics on this continuum is very simple: one repelling fixed point all other orbits either tend to or accumulate on the orbit of 0 and But the topology is not at all understood: Conjecture: the continuum for each parameter is topologically distinct. sin(z)

319. Julia set of sin(z) A pair of Cantor bouquets

320. Julia set of sin(z) A pair of Cantor bouquets A similar explosion occurs for the sine family (1 + ci) sin(z)

321. sin(z)

324. (1+.2i) sin(z)

325. (1+ ci) sin(z)

526. Questions: Do the hairs become indecomposable continua as in the exponential case? If so, what is the topology of these sets?

527. Parameter plane for To plot the parameter plane (the analogue of the Mandelbrot set), for each plot the corresponding orbit of 0. If 0 escapes, the color ; J is the entire plane. If 0 does not escape, leave black; J is usually a “pinched” Cantor bouquet.

528. Parameter plane for

531. has an attracting fixed point in this cardioid 1 Parameter plane for

532. Period 2 region1 2 Parameter plane for

533. 1 2 3 3 4 4 5 5

534. Period 2 region Parameter plane for 1 2 So undergoes a period doubling bifurcation along this path in the parameter plane at Fixed point bifurcations

535. The Cantor bouquet

536. A repelling 2-cycle at two endpoints

557. The hairs containing the 2-cycle meet at the neutral fixed point, and then remain attached. Meanwhile an attracting 2 cycle emerges. We get a “pinched” Cantor bouquet

558. Period 3 region Other bifurcations Parameter plane for 1 2 3

559. Period tripling bifurcation Other bifurcations Parameter plane for 1 2 3

560. Three hairs containing a 3-cycle meet at the neutral fixed point, and then remain attached We get a different “pinched” Cantor bouquet

561. Period 5 bifurcation Other bifurcations Parameter plane for 1 2 3 5

562. Five hairs containing a 5-cycle meet at the neutral fixed point, and then remain attached We get a different “pinched” Cantor bouquet

563. Lots of explosions occur.... 1 3

565. 1 4 5

566. On a path like this, we pass through infinitely many regions where there is an attracting cycle, so J is a pinched Cantor bouquet..... and infinitely many hairs where J is the entire plane.

601. slower

638. Paul Blanchard Toni Garijo Matt Holzer U. Hoomiforgot Dan Look Sebastian Marotta Mark Morabito Monica Moreno Rocha Kevin Pilgrim Elizabeth Russell Yakov Shapiro David Uminsky with: Example 3: Sierpinski Curves

639. A Sierpinski curve is any planar set that is homeomorphic to the Sierpinski carpet fractal. The Sierpinski Carpet Sierpinski Curve

640. The Sierpinski Carpet Topological Characterization Any planar set that is: 1. compact 2. connected 3. locally connected 4. nowhere dense 5. any two complementary domains are bounded by simple closed curves that are pairwise disjoint is a Sierpinski curve.

641. Any planar, one-dimensional, compact, connected set can be homeomorphically embedded in a Sierpinski curve. More importantly.... A Sierpinski curve is a universal plane continuum: For example....

642. The topologist’s sine curve can be embedded inside

643. The topologist’s sine curve can be embedded inside

644. The topologist’s sine curve can be embedded inside

645. The Knaster continuum can be embedded inside

646. The Knaster continuum can be embedded inside

647. The Knaster continuum can be embedded inside

648. The Knaster continuum can be embedded inside

649. The Knaster continuum can be embedded inside

650. The Knaster continuum can be embedded inside

651. The Knaster continuum can be embedded inside

652. The Knaster continuum can be embedded inside

653. The Knaster continuum can be embedded inside

654. The Knaster continuum can be embedded inside

655. The Knaster continuum can be embedded inside

656. The Knaster continuum can be embedded inside

657. The Knaster continuum can be embedded inside

658. The Knaster continuum can be embedded inside

659. The Knaster continuum can be embedded inside

660. The Knaster continuum can be embedded inside

661. The Knaster continuum can be embedded inside

662. The Knaster continuum can be embedded inside

663. The Knaster continuum can be embedded inside

664. The Knaster continuum can be embedded inside

665. The Knaster continuum can be embedded inside

666. The Knaster continuum can be embedded inside

667. The Knaster continuum can be embedded inside

668. The Knaster continuum can be embedded inside

669. The Knaster continuum can be embedded inside

670. The Knaster continuum can be embedded inside

671. The Knaster continuum can be embedded inside

672. The Knaster continuum can be embedded inside

673. The Knaster continuum can be embedded inside

674. The Knaster continuum can be embedded inside

675. The Knaster continuum can be embedded inside

676. The Knaster continuum can be embedded inside

677. The Knaster continuum can be embedded inside

678. The Knaster continuum can be embedded inside

679. Even this “curve”

680. Some easy to verify facts:

681. Have an immediate basin of infinity B Some easy to verify facts:

682. Have an immediate basin of infinity B 0 is a pole so have a “trap door” T (the preimage of B) Some easy to verify facts:

683. Have an immediate basin of infinity B 0 is a pole so have a “trap door” T (the preimage of B) 2n critical points given by but really only one critical orbit due to symmetry Some easy to verify facts:

684. J is now the boundary of the escaping orbits (not the closure) Have an immediate basin of infinity B 0 is a pole so have a “trap door” T (the preimage of B) 2n critical points given by but really only one critical orbit due to symmetry Some easy to verify facts:

685. When, the Julia set is the unit circle

686. But when, the Julia set explodes A Sierpinski curve When, the Julia set is the unit circle

687. But when, the Julia set explodes A Sierpinski curve When, the Julia set is the unit circle B T

688. But when, the Julia set explodes When, the Julia set is the unit circle Another Sierpinski curve

689. But when, the Julia set explodes When, the Julia set is the unit circle Also a Sierpinski curve

690. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

691. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

692. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

693. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

694. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

695. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

696. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

697. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

698. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

699. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

700. Sierpinski curves arise in lots of different ways in these families: 1. If the critical orbits eventually fall into the trap door (which is disjoint from B), then J is a Sierpinski curve.

701. Lots of ways this happens: parameter plane when n = 3

702. Lots of ways this happens: T parameter plane when n = 3 J is a Sierpinski curve lies in a Sierpinski hole

703. Lots of ways this happens: T parameter plane when n = 3 J is a Sierpinski curve lies in a Sierpinski hole

704. Lots of ways this happens: T parameter plane when n = 3 J is a Sierpinski curve lies in a Sierpinski hole

705. Lots of ways this happens: T parameter plane when n = 3 J is a Sierpinski curve lies in a Sierpinski hole

706. Theorem: Two maps drawn from the same Sierpinski hole have the same dynamics, but those drawn from different holes are not conjugate (except in very few symmetric cases). n = 4, escape time 4, 24 Sierpinski holes,

707. Theorem: Two maps drawn from the same Sierpinski hole have the same dynamics, but those drawn from different holes are not conjugate (except in very few symmetric cases). n = 4, escape time 4, 24 Sierpinski holes, but only five conjugacy classes

708. Theorem: Two maps drawn from the same Sierpinski hole have the same dynamics, but those drawn from different holes are not conjugate (except in very few symmetric cases). n = 4, escape time 12: 402,653,184 Sierpinski holes, but only 67,108,832 distinct conjugacy classes Sorry. I forgot to indicate their locations.

709. Sierpinski curves arise in lots of different ways in these families: 2. If the parameter lies in the main cardioid of a buried baby Mandelbrot set, J is again a Sierpinski curve. parameter plane when n = 4

710. Sierpinski curves arise in lots of different ways in these families: 2. If the parameter lies in the main cardioid of a buried baby Mandelbrot set, J is again a Sierpinski curve. parameter plane when n = 4

711. Sierpinski curves arise in lots of different ways in these families: 2. If the parameter lies in the main cardioid of a buried baby Mandelbrot set, J is again a Sierpinski curve. parameter plane when n = 4

712. Sierpinski curves arise in lots of different ways in these families: 2. If the parameter lies in the main cardioid of a buried baby Mandelbrot set, J is again a Sierpinski curve. Black regions are the basin of an attracting cycle.

713. Sierpinski curves arise in lots of different ways in these families: 3. If the parameter lies at a buried point in the “Cantor necklaces” in the parameter plane, J is again a Sierpinski curve. parameter plane n = 4

714. Sierpinski curves arise in lots of different ways in these families: 3. If the parameter lies at a buried point in the “Cantor necklaces” in the parameter plane, J is again a Sierpinski curve. parameter plane n = 4

715. Sierpinski curves arise in lots of different ways in these families: 3. If the parameter lies at a buried point in the “Cantor necklaces” in the parameter plane, J is again a Sierpinski curve. parameter plane n = 4

716. Sierpinski curves arise in lots of different ways in these families: 4. There is a Cantor set of circles in the parameter plane on which each parameter corresponds to a Sierpinski curve. n = 3

717. Sierpinski curves arise in lots of different ways in these families: 4. There is a Cantor set of circles in the parameter plane on which each parameter corresponds to a Sierpinski curve. n = 3

718. Sierpinski curves arise in lots of different ways in these families: 4. There is a Cantor set of circles in the parameter plane on which each parameter corresponds to a Sierpinski curve. n = 3

719. Theorem: All these Julia sets are the same topologically, but they are all (except for symmetrically located parameters) VERY different from a dynamics point of view (i.e., the maps are not conjugate). Problem: Classify the dynamics on these Sierpinski curve Julia sets.

720. Corollary:

721. Yes, those planar topologists are crazy, but I sure wish I were one of them!

722. Corollary: Yes, those planar topologists are crazy, but I sure wish I were one of them! The End!

723. math.bu.edu/DYSYS website: