Global Anomalies on the Hilbert Space
VirtualSpeaker: 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 […]
12 events found.
2/18/2021 Quantum Matter Seminar
VirtualSpeaker: 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 […]
Full SYZ Conjecture for del Pezzo Surfaces and Rational Elliptic Surfaces
Speaker: Yu-Shen Lin (Boston University) Title: Full SYZ Conjecture for del Pezzo Surfaces and Rational Elliptic Surfaces Abstract: Strominger-Yau-Zaslow conjecture predicts the existence of special Lagrangian fibrations on Calabi-Yau manifolds. […]
CMSA Math-Science Literature Lecture: Homological (homotopical) algebra and moduli spaces in Topological Field theories
VirtualKenji 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 […]
A Mathematical Language
Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an […]
Mathematical supergravity and its applications to differential geometry
HybridSpeaker: Carlos S. Shahbazi (Hamburg University) Title: Mathematical supergravity and its applications to differential geometry Abstract: I will discuss the recent developments in the mathematical theory of supergravity that lay […]
3/3/2021 Quantum Matter Seminar
Virtual
Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models
Virtualhttps://youtu.be/EXpmbAfBNnw Speaker: Jason Rute, CIBO Technologies Title: Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models Abstract: Labeled data for imitation learning of theorem proving in large libraries […]