This semester, the Analysis Seminar will meet on Tuesdays 3:30 – 4:20 pm in Keller 402.
What are the possible shapes of polynomial Julia sets?
Ever since the digital revolution and the emergence of computers, mathematicians have been fascinated by fractals, those geometric figures showing self-similar patterns and irregular structures. A well-known family of fractals introduced by Gaston Julia and Pierre Fatou in the early 20th century are the so-called Julia sets, obtained from the iteration of a polynomial of one complex variable. It has been known for a long time how rich and diverse the geometry of these Julia sets are, from Cantor sets to smooth curves as well as highly irregular figures.
But what exactly are the possible shapes of polynomial Julia sets? This question, raised by Bill Thurston shortly before he passed away, has a rather surprising answer : they can have any shape, except some trivial topological obstructions. In this talk, I will present the ideas underlying the proof of this result, which gives an explicit construction. In particular, we will see how potential theory comes into play. I will also discuss some related computational aspects.
Title: A Simple Proof of a Theorem of Woodin
Abstract: In a similar spirit as my talk last semester about computing
and non-standard models, I will relay Joel David Hamkins’ new proof of a
theorem of Woodin: that there is a function that enumerates any finite
set (if computed in the correct model M of arithmetic), and which can
enumerate any extension of that set (if run in the correct end-extension
Speaker: Monique Chyba
Title: Is control theory loosing control?
Abstract: We live in an era of exciting scientific advances such as discovering new planets and black holes far away in the universe or gaining a better understanding of our own biological system. Unsurprisingly, mathematics plays a dominant role in almost all of them. Control theory models, analyzes and synthesizes the behavior of dynamical systems. Those systems are described by sets of ordinary differential equations that include an additional parameter referred to as the ‘control’. It can be viewed as the ship’s wheel of the system in analogy to the navigation of a boat. A vast area of work takes place in optimal control theory. Indeed, since by using different controls we can achieve the same goal, optimization with respect to a given cost such as energy or time becomes a primary interest. I will present three specific examples to illustrate the field of control theory and its current limitations that call for an innovative way of thinking.
Kiran Kedlaya (UCSD)
Title: Measure-Risking Arguments in Recursion Theory
Abstract: By way of introducing the idea of measure-risking, I will present a proof of Kurtz’s theorem that the Turing upward closure of the set of 1-generic reals is of full Lebesgue measure. Then I will show how a stronger form of the theorem (due originally to Kautz) can be obtained by framing the proof as a “fireworks argument”, following a recent paper of Bienvenu and Patey.
Continuation of last week’s talk