This will be more of a mini-course than a traditional seminar. I will provide details about the (core) entropy algorithms for quadratic polynomials from my work with Tiozzo and Wu....
Read more
Instanton homology was first introduced by Floer in 1980s. It has many important applications in the study of 3-manifolds and knots, especially in studying the SU(2) representations of fundamental groups....
Read more
In this talk I will discuss our recent work that reproduces and extends the famous work of Lehner and Pretorius on the end point of the Gregory-Laflamme instability of black...
Read more
A natural speculation is that incompleteness is simply a by-product of infinity. Perhaps one can avoid incompleteness by simply restricting our mathematical scope to the finite. Do we lose anything...
Read more
This seminar will be held in Science Center 530 at 4:00pm on Wednesday, September 15th. Please see the seminar page for more details: https://math.harvard.edu/~ctm/sem/.
Read more
Many of the quantities appearing in the conjecture of Birch and Swinnerton-Dyer look suspiciously like squares. Motivated by this and related examples, we may ask if the central value of...
Read more
In this talk I will argue that formal verification helps break the one-mind-barrier in mathematics. Indeed, formal verification allows a team of mathematicians to collaborate on a project, without one person understanding all...
Read more
One of the crowning achievements of the field of Mechanism Design has been the design and usage of the so-called "Deferred Acceptance" matching algorithm. Designed in 1962 and awarded the...
Read more
In this talk, I will discuss non-invertible symmetries in familiar 3+1d quantum field theories describing our Nature. In massless QED, the classical U(1) axial symmetry is not completely broken by the ABJ anomaly....
Read more