CMSA Math-Science Literature Lecture: Isadore Singer’s Work on Analytic Torsion
Edward Witten (IAS) Title: Isadore Singer’s Work on Analytic Torsion Abstract: I will review two famous papers of Ray and Singer on analytic torsion written approximately half a century ago. Then I will sketch the influence of analytic torsion in a variety of areas of physics including anomalies, topological field theory, and string theory. This talk is […]
Type theory from the perspective of artificial intelligence
https://youtu.be/79ymkGQW3b4 Speaker: David McAllester - Toyota Technological Institute at Chicago Title: Type theory from the perspective of artificial intelligence Abstract: This talk will discuss dependent type theory from the perspective of artificial intelligence and cognitive science. From an artificial intelligence perspective it will be argued that type theory is central to defining the "game" of mathematics […]
CMSA Math-Science Literature Lecture: Quantum error correcting codes and fault tolerance
Peter Shor (MIT) Title: Quantum error correcting codes and fault tolerance Abstract: We will go over the fundamentals of quantum error correction and fault tolerance and survey some of the recent developments in the field. Talk chair: Zhengwei Liu Video
A Bayesian neural network predicts the dissolution of compact planetary systems
https://youtu.be/VhseP2V3NXg Speaker: Miles Cranmer - Princeton University Title: A Bayesian neural network predicts the dissolution of compact planetary systems Abstract: Despite over three hundred years of effort, no solutions exist for predicting when a general planetary configuration will become unstable. I will discuss our deep learning architecture (arxiv:2101.04117) which pushes forward this problem for compact systems. […]