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...