Mathematical Conversations

Jul 01 2020


Speaker: Albert Fathi
5:30pm | Remote Access Only
Jun 24 2020


Speaker: Lisa Piccirillo
5:30pm | Remote Access Only
Jun 17 2020


Speaker: Gigliola Staffilani
5:30pm | Remote Access Only
Jun 10 2020


Speaker: Michael Hutchings
5:30pm | Remote Access Only
Jun 03 2020

Mathematics formalization for mathematicians

Speaker: Patrick Massot
5: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

Emerging symmetries in statistical physics systems

Speaker: Hugo Duminil-Copin
5: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

Conley's fundamental theorem of dynamical systems

Speaker: Amie Wilkinson
5: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

The Simplicity Conjecture

Speaker: Daniel Cristofaro-Gardiner
5: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

Discrepancy Theory and Randomized Controlled Trials

Speaker: Daniel Spielman
5: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 Daubechies
5: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...