12 events found.
CMSA Math-Science Literature Lecture: Homological (homotopical) algebra and moduli spaces in Topological Field theories
Kenji Fukaya (Simons Center for Geometry and Physics) Title: Homological (homotopical) algebra and moduli spaces in Topological Field theories Abstract: Moduli spaces of various gauge theory equations and of various versions of (pseudo) holomorphic curve equations have played important role in geometry in these 40 years. Started with Floer’s work people start to obtain more […]
2/18/2021 Quantum Matter Seminar
Speaker: Xiao-Gang Wen (MIT) Title: A solution to the chiral fermion problem Abstract: Motivated by the relation between anomaly and topological/SPT order in one higher dimension, we propose a solution to the chiral fermion problem. In particular, we find several sufficient conditions, such that a chiral fermion field theory can be regularized by an interacting […]
Global Anomalies on the Hilbert Space
Speaker: Jaume Gomis (Perimeter PI) Title: Global Anomalies on the Hilbert Space Abstract: We will discuss an elementary way of detecting some global anomalies from the way the symmetry algebra is realized on the torus Hilbert space of the anomalous theory, give a physical description of the imprint of the “layers” that enter in the […]
2/16/2021 Computer Science for Mathematicians
Speaker: Michael P. Kim (UC Berkeley) Title: Outcome Indistinguishability Abstract: Prediction algorithms assign numbers to individuals that are popularly understood as individual “probabilities” — e.g., what is the probability of 5-year survival after cancer diagnosis? — and which increasingly form the basis for life-altering decisions. The understanding of individual probabilities in the context of such unrepeatable events […]
1/28/2021 Quantum Matter Seminar
CMSA Math-Science Literature Lecture: Discrepancy Theory and Randomized Controlled Trials
Dan Spielman (Yale University) Title: Discrepancy Theory and Randomized Controlled Trials Abstract: 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. I will begin by surveying fundamental results in […]
Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces
During the Spring 2021 Semester Artan Sheshmani (CMSA/ I.M. A.U.) will be teaching a CMSA special lecture series on Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces. In order to attend this series, please fill out this form. The lectures will be held Mondays from 8:00 – 9:30 AM ET and Wednesdays from 8:00 – 9:00 AM ET beginning January 25 on […]
Language Modeling for Mathematical Reasoning
Speaker: Christian Szegedy Title: Language Modeling for Mathematical Reasoning Abstract: In this talk, I will summarize the current state of the art of transformer based language models and give examples on non-trivial reasoning task language models can solve in higher order logic reasoning. I will also discuss how to inject injective bias into transformer networks via pretraining on […]
AI and Theorem Proving
https://youtu.be/UnYrWuOzOlc Speaker: Josef Urban, Czech Technical University Title: AI and Theorem Proving Abstract: The talk will discuss the main approaches that combine machine learning with automated theorem proving and automated formalization. This includes learning to choose relevant facts for “hammer” systems, guiding the proof search of tableaux and superposition automated provers by interleaving learning and […]