https://youtu.be/a2S_-pl6onM New Technologies in Mathematics Seminar Speaker: Gabriel Poesia, Dept. of Computer Science, Stanford University Title: Peano: Learning Formal Mathematical Reasoning Without Human Data Abstract: Peano is a theorem proving environment in which a computational agent can start tabula rasa in a new domain, learn to solve problems through curiosity-driven exploration, and create its own higher level […]
Quantum Matter Seminar Speaker: Cameron Krulewski (MIT) and Leon Liu (Harvard) Title: A Long Exact Sequence in Symmetry Breaking Abstract: We study defects in symmetry breaking phases, such as domain walls, vortices, and hedgehogs. In particular, we focus on the localized gapless excitations that sometimes occur at the cores of these objects. These are topologically protected by an ’t […]
Speaker: Matthew Foreman (UC Irvine) Title: Impossibility results in classical dynamical systems Abstract: In 1932, motivated by questions in statistical and celestial mechanics, von Neumann proposed classifying the statistical behavior of dynamical systems. In the 1960's, motivated by work of Poincaré, Smale proposed classifying the qualitative behavior of dynamical systems. These questions laid the groundwork for enormous amounts of work, but […]
Algebraic Geometry in String Theory Seminar Speaker: Andrew Harder, Lehigh University Title: Deformations of Landau-Ginzburg models and their fibers Abstract: In mirror symmetry, the dual object to a Fano variety is a Landau-Ginzburg model. Broadly, a Landau-Ginzburg model is quasi-projective variety Y with a superpotential function w, but not all such pairs correspond to Fano varieties […]
Member Seminar Speaker: Zi Yang Kang Title: Deformations of Landau-Ginzburg models and their fibers Abstract: In mirror symmetry, the dual object to a Fano variety is a Landau-Ginzburg model. Broadly, a Landau-Ginzburg model is quasi-projective variety Y with a superpotential function w, but not all such pairs correspond to Fano varieties under mirror symmetry, so a […]
Joint Quantum Matter in Mathematics and Physics and Topological Quantum Matter Seminar Speaker: Liujun Zou (Perimeter Institute) Title: Landscape of quantum phases in quantum materials Abstract: A central goal of condensed matter physics is to understand which quantum phases of matter can emerge in a quantum material. For this purpose, one should be able to not […]
Probability Seminar Speaker: Nicola Kistler (Johann Wolfgang Goethe-Universität Frankfurt am Main) Title: Solving spin systems, the Babylonian way Abstract: The replica method, together with Parisi’s symmetry breaking mechanism, is an extremely powerful tool to compute the limiting free energy of virtually any mean field disordered system. Unfortunately, the tool is dramatically flawed from a mathematical point […]
Probability Seminar Speaker: Youngtak Sohn (MIT) Title: Universality of max-margin classifiers Abstract: Many modern learning methods, such as deep neural networks, are so complex that they perfectly fit the training data. Despite this, they generalize well to the unseen data. Motivated by this phenomenon, we consider high-dimensional binary classification with linearly separable data. First, we […]
Speaker: Manuel Cortés-Izurdiaga (University of Malaga) Title: Homotopy categories of rings: some properties and consequences in module categories Abstract: Given a non-necessarily commutative ring with unit and an additive subcategory of the category of right modules, one can consider complexes of modules in the subcategory and the corresponding homotopy category. Sometimes, these homotopy categories are the […]
Member Seminar Speaker: Iacopo Brivio (CMSA) Title: Extension of pluricanonical forms in positive and mixed characteristics Abstract: The geometry of a complex manifold $X$ is to a large extent determined by its pluricanonical forms, i.e. global sections of $(\Omega^{\dim X}_X)^{\otimes m}$ for $m\geq 0$. A famous theorem of Siu states that when $X\to D$ is a smooth […]
Active Matter Seminar Speaker: Nicolas Romeo (UChicago) Title: Scaling behavior and control of nuclear wrinkling Abstract: The cell nucleus is enveloped by a complex membrane, whose wrinkling has been implicated in disease and cellular aging. The biophysical dynamics and spectral evolution of nuclear wrinkling during multicellular development remain poorly understood due to a lack of […]
https://youtu.be/bRHb-MVExJ4 New Technologies in Mathematics Seminar Speaker: Sean Welleck, CMU, Language Technologies Institute Title: Llemma: an open language model for mathematics Abstract: We present Llemma: 7 billion and 34 billion parameter language models for mathematics. The Llemma models are initialized with Code Llama weights, then trained on the Proof-Pile II, a 55 billion token dataset of […]