Jul 01 2020
Speaker: Albert Fathi5:30pm | Remote Access Only
Jun 24 2020
Speaker: Lisa Piccirillo5:30pm | Remote Access Only
Jun 17 2020
Speaker: Gigliola Staffilani5:30pm | Remote Access Only
Jun 10 2020
Speaker: Michael Hutchings5:30pm | Remote Access Only
Jun 03 2020
Speaker: Patrick Massot5:30pm | Remote Access Only
A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. For instance, together with Kevin Buzzard and Johan Commelin, I recently formalized enough topology and algebra to define Scholze's...
May 27 2020
Speaker: Hugo Duminil-Copin5:30pm | Remote Access Only
A great achievement of physics in the second half of the twentieth century has been the prediction of conformal symmetry of the scaling limit of critical statistical physics systems. Around the turn of the millenium, the mathematical understanding of this fact has progressed tremendously...
May 20 2020
Speaker: Amie Wilkinson5:30pm | Remote Access Only
In 1978, Charles Conley classified all continuous dynamical systems. His theorem, dubbed the "fundamental theorem of dynamical systems" states that the orbits of any continuous map on a compact metric space fall into two classes: gradient-like and recurrent. When the recurrent part is...
May 13 2020
Speaker: Daniel Cristofaro-Gardiner5:30pm | Remote Access Only
In the 60s and 70s, there was a flurry of activity concerning the question of whether or not various subgroups of homeomorphism groups of manifolds are simple, with beautiful contributions by Fathi, Kirby, Mather, Thurston, and many others. A funnily stubborn case that...
May 06 2020
Speaker: Daniel Spielman5:30pm | Remote Access Only
Discrepancy theory tells us that it is possible to partition vectors into sets so that each set looks surprisingly similar to every other. By "surprisingly similar" we mean much more similar than a random partition. Randomized Controlled Trials are used to test the effectiveness of...
Apr 29 2020
Musings about a 10-year collaboration with biological morphologists, or how to make biologists comfortable with fiber bundles.
Speaker: Ingrid Daubechies5:30pm | Remote Access Only
In the course of this collaboration, both sides learned about the other field; to my surprise, the biologists learned to "speak" some mathematics. Also, when they saw how we approached answering their initial questions, the questions changed. And finally, the collaboration led to interesting...