BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20221106T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231025T140000
DTEND;TZID=America/New_York:20231025T150000
DTSTAMP:20240223T105453Z
CREATED:20240223T105453Z
LAST-MODIFIED:20240223T105453Z
UID:10002853-1698242400-1698246000@cmsa.fas.harvard.edu
SUMMARY:Llemma: an open language model for mathematics
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Sean Welleck\, CMU\, Language Technologies Institute \nTitle: Llemma: an open language model for mathematics \nAbstract: 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 mathematical web data\, code\, and scientific papers. The resulting models show improved mathematical capabilities\, and can be adapted to various tasks. For instance\, Llemma outperforms the unreleased Minerva model suite on an equi-parameter basis\, and is capable of tool use and formal theorem proving without any further fine-tuning. We openly release all artifacts\, including the Llemma models\, the Proof-Pile II\, and code to replicate our experiments. We hope that Llemma serves as a platform for new research and tools at the intersection of generative models and mathematics. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/nt-102523/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/NTM-10.25.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231027T120000
DTEND;TZID=America/New_York:20231027T130000
DTSTAMP:20240223T110834Z
CREATED:20240223T110834Z
LAST-MODIFIED:20240223T110834Z
UID:10002858-1698408000-1698411600@cmsa.fas.harvard.edu
SUMMARY:Extension of pluricanonical forms in positive and mixed characteristics
DESCRIPTION:Member Seminar \nSpeaker: Iacopo Brivio (CMSA) \nTitle: Extension of pluricanonical forms in positive and mixed characteristics \nAbstract: 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 projective family of complex manifolds\, then every pluricanonical form on $X_0$ extends to the whole of $X$. Both this theorem and the tools used in its proof had a deep impact in higher dimensional birational geometry and moduli theory. In this talk I am going to give an overview of the extension problem for pluricanonical forms when $D$ is the spectrum of a positive or mixed characteristic discrete valuation ring. \n 
URL:https://cmsa.fas.harvard.edu/event/member-seminar-102723/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231030T163000
DTEND;TZID=America/New_York:20231030T173000
DTSTAMP:20240223T084547Z
CREATED:20240223T084547Z
LAST-MODIFIED:20240223T084547Z
UID:10002840-1698683400-1698687000@cmsa.fas.harvard.edu
SUMMARY:Homotopy categories of rings: some properties and consequences in module categories
DESCRIPTION:Speaker: Manuel Cortés-Izurdiaga (University of Malaga) \nTitle:  Homotopy categories of rings: some properties and consequences in module categories \nAbstract: 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 first step in studying other (algebraic) homotopy categories\, such as those associated to a scheme. To study these categories\, one can use results from the category of modules or the category of complexes. In the first part of the talk\, we will see how some results of homotopy categories of complexes extend to homotopy categories of N-complexes\, for a natural number N greater than or equal to 2\, using some techniques from module categories\, such us the deconstruction of a class of modules. \nAnother approximation is to use other methods for studying homotopy categories\, like those coming from triangulated categories. In some cases\, the results obtained in homotopy categories imply some consequences in the category of modules. In the second part of the talk\, we will see how to prove the existence of Gorenstein-projective precovers for some specific rings using this approach.
URL:https://cmsa.fas.harvard.edu/event/colloquium-103023/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.30.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231103T120000
DTEND;TZID=America/New_York:20231103T130000
DTSTAMP:20240227T113702Z
CREATED:20240227T113702Z
LAST-MODIFIED:20240227T113702Z
UID:10002880-1699012800-1699016400@cmsa.fas.harvard.edu
SUMMARY:Deformations of Landau-Ginzburg models and their fibers
DESCRIPTION:Member Seminar \nSpeaker: Zi Yang Kang \nTitle: Deformations of Landau-Ginzburg models and their fibers \nAbstract: 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 very natural question to ask is: Which Landau-Ginzburg models are mirror to Fano varieties? In this talk\, I will discuss a cohomological characterization of mirrors of (semi-)Fano varieties\, focusing on the case of threefolds. I’ll discuss how this characterization relates to the deformation and Hodge theory of (Y\,w)\, and in particular\, how the classification of (semi-)Fano threefolds is related to questions about moduli spaces of lattice polarized K3 surfaces.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-11323/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231106T163000
DTEND;TZID=America/New_York:20231106T173000
DTSTAMP:20240223T083208Z
CREATED:20240223T083208Z
LAST-MODIFIED:20240223T083208Z
UID:10002838-1699288200-1699291800@cmsa.fas.harvard.edu
SUMMARY:Impossibility results in classical dynamical systems
DESCRIPTION:Speaker: Matthew Foreman (UC Irvine) \nTitle: Impossibility results in classical dynamical systems \nAbstract: 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 the fundamental questions remain open. This talk shows that they are impossible to answer in a rigorous sense. The talk will discuss various kinds of impossibility results and describe how they apply to von Neumann’s program and Smale’s program. \n 
URL:https://cmsa.fas.harvard.edu/event/colloquium-11623/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-11.06.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231107T123000
DTEND;TZID=America/New_York:20231107T133000
DTSTAMP:20240223T083628Z
CREATED:20240223T083628Z
LAST-MODIFIED:20240223T083628Z
UID:10002839-1699360200-1699363800@cmsa.fas.harvard.edu
SUMMARY:CMSA Q and A Seminar 11/7/2023
DESCRIPTION:CMSA Q and A Seminar \nSpeakers: Michael Hopkins (Harvard Math) and Minhea Popa (Harvard Math) \nTopics: \nMike Hopkins: What are topological modular forms? \nMihnea Popa: What is the abundance conjecture and why should it to be true? \n 
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_11723/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231108T140000
DTEND;TZID=America/New_York:20231108T150000
DTSTAMP:20240222T095919Z
CREATED:20240222T095919Z
LAST-MODIFIED:20240222T095919Z
UID:10002798-1699452000-1699455600@cmsa.fas.harvard.edu
SUMMARY:Peano: Learning Formal Mathematical Reasoning Without Human Data
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Gabriel Poesia\, Dept. of Computer Science\, Stanford University \nTitle: Peano: Learning Formal Mathematical Reasoning Without Human Data \nAbstract: 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 actions. Gabriel will describe the system\, present case studies on learning to solve simple algebra problems from the Khan Academy platform\, and describe work on progress on learning the Natural Number Game\, a popular introduction to theorem proving in Lean for mathematicians. \n 
URL:https://cmsa.fas.harvard.edu/event/nt-11823/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/NTM-11.08.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231113T163000
DTEND;TZID=America/New_York:20231113T173000
DTSTAMP:20240223T081522Z
CREATED:20240223T081522Z
LAST-MODIFIED:20240223T081522Z
UID:10002834-1699893000-1699896600@cmsa.fas.harvard.edu
SUMMARY:Koszul duality in QFT
DESCRIPTION:Speaker: Brian Williams (Boston University) \nTitle: Koszul duality in QFT \nAbstract: We will describe appearances of the algebraic phenomena of Koszul duality in the context of boundary conditions and defects in quantum field theory. Primarily motivated by topological string theory\, this point of view was pioneered by Costello and Li in their proposal for a twisted version of the AdS/CFT correspondence. Since then\, many important examples of (twisted) holographic dualities in string and M-theory have been studied in work of Costello\, Gaiotto\, Paquette and many others. I will survey some of these examples and some current work with Raghavendran and Saberi which uses this formalism to predict exceptional symmetries present in M-theory. \n 
URL:https://cmsa.fas.harvard.edu/event/colloquium-111323/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-11.13.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231115T140000
DTEND;TZID=America/New_York:20231115T150000
DTSTAMP:20240222T095355Z
CREATED:20240222T094758Z
LAST-MODIFIED:20240222T095355Z
UID:10002797-1700056800-1700060400@cmsa.fas.harvard.edu
SUMMARY:On the Power of Forward pass through Transformer Architectures
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Abhishek Panigrahi\, Dept. of Computer Science\, Princeton University \nTitle: On the Power of Forward pass through Transformer Architectures \nAbstract: Highly trained transformers are capable of interesting computations as they infer for an input. The exact mechanism that these models use during forward passes is an interesting area of study. This talk studies two interesting phenomena. \nIn the first half\, we explore how and why pre-trained language models\, specifically BERT of moderate sizes\, can effectively learn linguistic structures like parse trees during pre-training. Specifically\, using synthetic data through PCFGs\, we show how moderate-sized transformers can perform forward-backward parsing\, also known as the inside-outside algorithm\, during inference. We further understand the role of the pre-training loss for the model to learn to parse during pre-training. \nIn the second half\, we consider in-context learning of large language models\, where they learn to reason on the fly. An ongoing hypothesis is that transformers simulate gradient descent at inference to perform in-context learning. We propose the Transformer in Transformer (TinT) framework\, which creates explicit transformer architectures that can simulate and fine-tune a small pre-trained transformer model during inference. E.g. a 1.3B parameter TINT model can simulate and fine-tune a 125 million parameter model in a single forward pass. This framework suggests that large transformers might execute intricate sub-routines during inference\, and provides insights for enhancing their capabilities through intelligent design considerations. \n 
URL:https://cmsa.fas.harvard.edu/event/nt-111523/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/NTM-11.15.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231117T120000
DTEND;TZID=America/New_York:20231117T130000
DTSTAMP:20240227T113251Z
CREATED:20240227T113236Z
LAST-MODIFIED:20240227T113251Z
UID:10002879-1700222400-1700226000@cmsa.fas.harvard.edu
SUMMARY:A quasi-local mass in general relativity
DESCRIPTION:Member Seminar \nSpeaker: Aghil Alaee \nTitle: A quasi-local mass in general relativity \nAbstract: One of the fundamental open problems in geometric analysis and mathematical relativity is constructing a (universal) energy/mass quantity to compute the energy/mass of a finite region of spacetime\, which can include a star\, black hole\, or galaxy. We define a new gauge-independent quasi-local mass and energy with respect to the Minkowski spacetime\, and show its relation to the Brown-York Hamilton-Jacobi analysis. A quasi-local proof of the positivity\, based on spacetime harmonic functions\, is given for admissible closed spacelike 2-surfaces which enclose an initial data set satisfying the dominant energy condition.  Rigidity is also established in that vanishing energy implies that the 2-surface arises from an embedding into Minkowski space\, and conversely\, the mass vanishes for any such surface. This is joint work with M. Khuri and S.T. Yau. \n 
URL:https://cmsa.fas.harvard.edu/event/member-seminar-111723/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231120T163000
DTEND;TZID=America/New_York:20231120T173000
DTSTAMP:20240223T080617Z
CREATED:20240223T080617Z
LAST-MODIFIED:20240223T080617Z
UID:10002833-1700497800-1700501400@cmsa.fas.harvard.edu
SUMMARY:The analytical challenges of connectomics
DESCRIPTION:Speaker: Jeff W. Lichtman (Harvard University) \nTitle: The analytical challenges of connectomics \nAbstract: Recent progress in generating synapse-level maps of brains\, a field known as connectomics\, brings both opportunities and challenges. The upside is that the biophysical instantiation of memories\, behaviors\, and knowledge will soon be before us. The downside is that no one knows exactly how to make sense of this data. I will show what connectomics data sets are and attempt to explain why it is so difficult to unravel their meaning.
URL:https://cmsa.fas.harvard.edu/event/colloquium-112023/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-11.20.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231127T163000
DTEND;TZID=America/New_York:20231127T173000
DTSTAMP:20240223T080018Z
CREATED:20240223T080018Z
LAST-MODIFIED:20240223T080018Z
UID:10002831-1701102600-1701106200@cmsa.fas.harvard.edu
SUMMARY:What do topological dynamics\, combinatorics\, and model theory have in common?
DESCRIPTION:Speaker: Dana Bartosova (University of Florida) \nTitle: What do topological dynamics\, combinatorics\, and model theory have in common? \nAbstract: A striking correspondence between dynamics of automorphism groups of countable first order structures and Ramsey theory of finitary approximation of the structures was established in 2005 by Kechris\, Pestov\, and Todocevic. Since then\, their work has been generalized and applied in many directions. It also struck a fresh wave of interest in finite Ramsey theory.  Many classes of finite structures are shown to have the Ramsey property by encoding their problem in a known Ramsey class and translating a solution back. This is often a case-by-case approach and naturally there is a great need for abstracting the process. There has been much success on this front\, however\, none of the tools captures every situation. We will discuss one such encoding via a model-theoretic notion of semi-retraction introduced by Lynn Scow in 2012. In a joint work\, we showed that a semi-retraction transfers the Ramsey property from one class of structures to another under quite general conditions. We compare semi-retractions to a category-theoretical notion of pre-adjunction revived by Mašulović in 2016. If time permits\, I will mention a transfer theorem of the Ramsey property from a class of finite structures to their uncountable ultraproducts\, which is an AIMSQuaRE project with Džamonja\, Patel\, and Scow.
URL:https://cmsa.fas.harvard.edu/event/colloquium-112723/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-11.27.2023_Page_1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231201T120000
DTEND;TZID=America/New_York:20231201T130000
DTSTAMP:20240227T112731Z
CREATED:20240227T112716Z
LAST-MODIFIED:20240227T112731Z
UID:10002878-1701432000-1701435600@cmsa.fas.harvard.edu
SUMMARY:An introduction to mixture of experts in deep learning
DESCRIPTION:Member Seminar \nSpeaker: Samy Jelassi \nTitle: An introduction to mixture of experts in deep learning \nAbstract: Scale has opened new frontiers in natural language processing – but at a high cost. Mixture-of-Experts (MoE) have been proposed as a path to even larger and more capable language models. They select different parameters for each incoming example. By doing so\, the parameter count is decoupled from the compute per example leading to very large\, but efficient models. In this talk\, I will review the concept of mixture of experts\, provide a basic description of the Switch Transformers model\, characterize some of their behaviors and conclude by highlighting some open problems in the field. This talk is mainly based on the following papers: https://arxiv.org/pdf/2101.03961.pdf\, https://arxiv.org/pdf/2209.01667.pdf .
URL:https://cmsa.fas.harvard.edu/event/member-seminar-12123/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231204T163000
DTEND;TZID=America/New_York:20231204T173000
DTSTAMP:20240223T075301Z
CREATED:20240223T075301Z
LAST-MODIFIED:20240223T075301Z
UID:10002830-1701707400-1701711000@cmsa.fas.harvard.edu
SUMMARY:Analysis of ALH* gravitational instantons
DESCRIPTION:Speaker: Xuwen Zhu (Northeastern) \nTitle: Analysis of ALH* gravitational instantons \nAbstract: Gravitational instantons are non-compact Calabi-Yau metrics with L^2 bounded curvature and are categorized into six types. We will discuss one such type called ALH* metrics which has a non-compact end modelled by the Calabi ansatz with inhomogeneous collapsing near infinity. Such metrics appeared recently in the works on SYZ conjecture\, as well as the scaling bubble limits for codimension-3 collapsing of K3 surfaces\, where the study of its Laplacian played a central role. In this talk I will talk about the Fredholm mapping property and L^2 cohomology of such metrics. This is ongoing work joint with Rafe Mazzeo.
URL:https://cmsa.fas.harvard.edu/event/colloquium-12423/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-12.04.2023.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231205T123000
DTEND;TZID=America/New_York:20231205T133000
DTSTAMP:20240223T084615Z
CREATED:20240223T084615Z
LAST-MODIFIED:20240223T084615Z
UID:10002841-1701779400-1701783000@cmsa.fas.harvard.edu
SUMMARY:CMSA Q and A Seminar 12/5/2023
DESCRIPTION:CMSA Q and A Seminar \nSpeakers: Mike Douglas (Harvard CMSA) and Anurag Anshu (Harvard Computer Science) \nTopics:  \nMike Douglas: What are scaling laws in deep learning? \nAnurag Anshu: What’s the difference between classical information theory and quantum information theory (or classical computation vs quantum computation)? \n 
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_12523/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231208T120000
DTEND;TZID=America/New_York:20231208T130000
DTSTAMP:20240227T112426Z
CREATED:20240227T112413Z
LAST-MODIFIED:20240227T112426Z
UID:10002877-1702036800-1702040400@cmsa.fas.harvard.edu
SUMMARY:Open Problems in Physics and Novel Solutions from Math
DESCRIPTION:Member Seminar \nSpeaker: Juven Wang \nTitle: Open Problems in Physics and Novel Solutions from Math \n  \nAbstract: (1) How do neutrinos obtain tiny mass and oscillate between e\, \mu\, \tau three flavors? What consists of Dark Matter? What causes leptogenesis and baryogenesis? \n(2) Why the Parity Symmetry is violated in the weak interaction? How do we quantum mechanically regularize and numerically simulate the Standard Model (chiral fermion/gauge theory) on the lattice in 3+1 spacetime dimensions? \n(3) Strong CP problem: Why is the neutron electric dipole moment nearly zero and QCD respects the CP = T symmetry? \n(4) Family/Generation problem: Why are there three families/generations of quarks and leptons? \nIn my talk\, I will sketch and propose novel solutions to these challenging open problems in physics based on my own work (available on arXiv\, some jointly with my collaborators). \nI will show that the eclectic cross-disciplinary fertilization of ideas between the Math-Physics geometry and topology\, Quantum Condensed Matter\, and High-Energy Physics (theory\, pheno\, lattice) can help solving these big problems. \nThe (1) answer relates to Ultra Unification: a Z_{16} class Atiyah-Patodi-Singer eta invariant (Baryon – Lepton)-protected topological superconductor and a symmetry-extended anomalous topological quantum field theory. \nThe (2) and (3) answers relate to a trivial cobordism class and Symmetric Mass Generation\, and disordering and removing the Pecci-Quinn axions. \nThe (4) answer has to do with the Hirzebruch signature and Atiyah-Singer index theorem\, gravitational Chern-Simons theory\, and 3 E8 quantum Hall states. \n 
URL:https://cmsa.fas.harvard.edu/event/member-seminar-12823/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231211T163000
DTEND;TZID=America/New_York:20231211T173000
DTSTAMP:20240223T074431Z
CREATED:20240223T074431Z
LAST-MODIFIED:20240223T074431Z
UID:10002828-1702312200-1702315800@cmsa.fas.harvard.edu
SUMMARY:Homology\, higher derived limits\, and set theory
DESCRIPTION:Colloquium \nSpeaker: Justin Moore (Cornell University) \nTitle: Homology\, higher derived limits\, and set theory \nAbstract: Singular homology has a number of well-known defects when used to study spaces such as the Hawaiian earring and solenoids. It may not reflect the “shape” of the space and can give counterintuitive information about its dimension. One remedy of this is to develop a homology theory based on approximating spaces by polyhedra\, computing their homologies\, and then taking a limit. This is the approach taken by Steenrod-Sitnikov homology and Lisica and Mardesic’s strong homology. Even within the class of locally compact second countable spaces though\, the properties of these homology theories — and the higher derived limits which underly them — are dependent on axioms of set theory beyond ZFC. Recently it was shown that it is consistent with (and therefore independent of) ZFC that strong homology and Steenrod Sitnikov homology coincide in the class of locally compact second countable spaces — and therefore each of these homology theories enjoys the desirable properties of the other. These results also point to how we might develop variants of these homology theories which enjoy their desirable properties\, but which are less sensitive to set theory. This is joint work with Nathaniel Bannister\, Jeff Bergfalk\, and Stevo Todorcevic.
URL:https://cmsa.fas.harvard.edu/event/colloquium-121123/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-12.11.2023.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20231215T120000
DTEND;TZID=America/New_York:20231215T130000
DTSTAMP:20240227T111152Z
CREATED:20240227T111152Z
LAST-MODIFIED:20240227T111152Z
UID:10002876-1702641600-1702645200@cmsa.fas.harvard.edu
SUMMARY:On compactness phenomena
DESCRIPTION:Member Seminar \nSpeaker: Alejandro Poveda \nTitle: On compactness phenomena \nAbstract: In this presentation I shall be preoccupied with compactness phenomena in set theory. Compactness is the phenomenon by which the local properties of a mathematical structure determine its global behavior. This phenomenon is intrinsic to the very architecture of the mathematical universe and manifests to us in a cornucopia of forms. Over the past fifty years\, the study of compactness phenomena has been a cornerstone of research in set theory. This talk will present recent discoveries regarding compactness principles\, spanning classical themes like the tree property and stationary reflection\, while also forging novel connections with other topics\, such as Woodin’s HOD Conjecture.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-121523/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240124T140000
DTEND;TZID=America/New_York:20240124T150000
DTSTAMP:20240125T165049Z
CREATED:20240102T163450Z
LAST-MODIFIED:20240125T165049Z
UID:10000148-1706104800-1706108400@cmsa.fas.harvard.edu
SUMMARY:Approaches to the formalization of differential geometry
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Heather Macbeth\, Fordham University \nTitle: Approaches to the formalization of differential geometry \nAbstract: In the last five years\, there has been early work on the computer formalization of differential geometry. I will survey the projects I am aware of. I will also describe two projects of my own\, as case studies for typical challenges. The first (joint with Floris van Doorn) is an exercise in developing suitable abstractions\, the second (joint with Mario Carneiro) is an exercise in developing suitable automation.
URL:https://cmsa.fas.harvard.edu/event/nt-12424/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-01.24.2024.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240126T120000
DTEND;TZID=America/New_York:20240126T130000
DTSTAMP:20240125T174129Z
CREATED:20240102T203315Z
LAST-MODIFIED:20240125T174129Z
UID:10000803-1706270400-1706274000@cmsa.fas.harvard.edu
SUMMARY:Anti-Iitaka conjecture in positive characteristic
DESCRIPTION:CMSA Member Seminar \nSpeaker: Iacopo Brivio (Harvard) \nTitle: Anti-Iitaka conjecture in positive characteristic \nAbstract: Given a smooth projective variety\, its Kodaira dimension kappa(K_X) is an important invariant that measures the rate of growth of m-pluricanonical forms as a function of m. It serves as an higher-dimensional generalization of the genus of a Riemann surface. If f : X –> Y is a fibration with general fiber F\, a famous conjecture of Iitaka predicts the inequality kappa(K_X) \geq kappa(K_Y) + kappa(K_F). More recently it was shown by Chang that\, if the stable base locus of -K_X is vertical\, then the inequality kappa(-K_X) \leq kappa(-K_Y) + kappa(-K_F) holds. Both Iitaka’s conjecture and Chang’s theorem are known to fail in positive characteristic. In this talk I will explain how one can recover Chang’s theorem for a class of “tame” fibrations in characteristic p > 0. This is based on joint work with M. Benozzo and C.-K. Chang.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-12624/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Member-Seminar-01.26.24.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240202T120000
DTEND;TZID=America/New_York:20240202T130000
DTSTAMP:20240201T171531Z
CREATED:20240123T192516Z
LAST-MODIFIED:20240201T171531Z
UID:10000667-1706875200-1706878800@cmsa.fas.harvard.edu
SUMMARY:On complete Calabi-Yau metrics and Monge-Ampere equations
DESCRIPTION:CMSA Member Seminar \nSpeaker: Freid Tong (Harvard CMSA) \nTitle: On complete Calabi-Yau metrics and Monge-Ampere equations \nAbstract: Calabi-Yau metrics are central objects in K\”ahler geometry and also string theory. The existence of Calabi-Yau metrics on compact manifolds was answered by Yau in his solution of the Calabi conjecture\, but the situation in the non-compact setting is much more delicate\, and many questions related to the existence and uniqueness of non-compact Calabi-Yau metrics remain unanswered. I will give an introduction to this subject and discuss some ongoing joint work with T. Collins and S.-T. Yau\, on a new relationship between complete Calabi-Yau metrics and a new Monge-Ampere equation.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-2224/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Member-Seminar_2224.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240205T110000
DTEND;TZID=America/New_York:20240205T120000
DTSTAMP:20240215T214244Z
CREATED:20240125T171625Z
LAST-MODIFIED:20240215T214244Z
UID:10001351-1707130800-1707134400@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series | Minhyong Kim
DESCRIPTION:Arithmetic Quantum Field Theory Program Lecture Series\nSpeaker: Minhyong Kim\, University of Edinburgh \nTopic: Arithmetic topology and field theory \nAbstract: The setup of arithmetic topology as a bridge between the background of QFT to that of arithmetic (both “global” and “local”)\, including the “middle realm” of positive characteristic function fields. \nSlides (pdf)
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-minhyong-kim-2524/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
ATTACH;FMTTYPE=application/pdf:https://cmsa.fas.harvard.edu/media/AQFt_LectureSeries_Poster.pdf
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240205T133000
DTEND;TZID=America/New_York:20240205T143000
DTSTAMP:20240206T180632Z
CREATED:20240125T173623Z
LAST-MODIFIED:20240206T180632Z
UID:10001357-1707139800-1707143400@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series | Brian Williams
DESCRIPTION:Arithmetic Quantum Field Theory Program Lecture Series\nSpeaker: Brian Williams\, Boston University \nTopic: Algebraic quantum field theory \nAbstract: Questions and structures in arithmetic that have been / might be amenable to inspiration from QFT\, in particular the theory of L-functions and the Langlands program.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-brian-williams-2524/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/AQFT_LectureSeries.image_.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240205T143000
DTEND;TZID=America/New_York:20240205T153000
DTSTAMP:20240206T180606Z
CREATED:20240125T174645Z
LAST-MODIFIED:20240206T180606Z
UID:10001360-1707143400-1707147000@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series | David Ben-Zvi
DESCRIPTION:Arithmetic Quantum Field Theory Program Lecture Series\nSpeaker: David Ben-Zvi \nTopic: The Langlands program via arithmetic QFT \nAbstract: Structures in QFT (like factorization for observables and functorial QFT for states and their relation to geometric / deformation quantization) that are sufficiently algebraic and formal to allow for arithmetic analogs.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-david-ben-zvi-2524/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/AQFT_LectureSeries.image_.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240206T123000
DTEND;TZID=America/New_York:20240206T133000
DTSTAMP:20240425T205546Z
CREATED:20240205T214553Z
LAST-MODIFIED:20240425T205546Z
UID:10000839-1707222600-1707226200@cmsa.fas.harvard.edu
SUMMARY:CMSA Q&A Seminar 2/6/2024
DESCRIPTION:CMSA Q and A Seminar \nSpeaker: Greg Moore\, Rutgers University \nQuestion: What is supersymmetry?
URL:https://cmsa.fas.harvard.edu/event/cmsaqa-2624/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240207T110000
DTEND;TZID=America/New_York:20240207T120000
DTSTAMP:20240215T214328Z
CREATED:20240125T172253Z
LAST-MODIFIED:20240215T214328Z
UID:10001355-1707303600-1707307200@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series | Minhyong Kim
DESCRIPTION:Arithmetic Quantum Field Theory Program Lecture Series\nSpeaker: Minhyong Kim\, University of Edinburgh \nTopic: Arithmetic topology and field theory \nAbstract: The setup of arithmetic topology as a bridge between the background of QFT to that of arithmetic (both “global” and “local”)\, including the “middle realm” of positive characteristic function fields. \nSlides (pdf)
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-minhyong-kim-2724/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240207T130000
DTEND;TZID=America/New_York:20240207T140000
DTSTAMP:20240207T220617Z
CREATED:20240102T163838Z
LAST-MODIFIED:20240207T220617Z
UID:10000149-1707310800-1707314400@cmsa.fas.harvard.edu
SUMMARY:Large language models\, mathematical discovery\, and search in the space of strategies: an anecdote
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Jordan Ellenberg (UW Madison) \nTitle: Large language models\, mathematical discovery\, and search in the space of strategies: an anecdote \nAbstract: I spent a portion of 2023 working with a team at DeepMind on the “cap set problem” – how large can a subset of (Z/3Z)^n be which contains no three terms which sum to zero? (I will explain\, for those not familiar with this problem\, something about the role it plays in combinatorics\, its history\, and why number theorists care about it a lot.) By now\, there are many examples of machine learning mechanisms being used to help generate interesting mathematical knowledge\, and especially interesting examples. This project used a novel protocol; instead of searching directly for large cap sets\, we used LLMs trained on code to search the space of short programs for those which\, when executed\, output large cap sets. One advantage is that a program is much more human-readable than a large collection of vectors over Z/3Z\, bringing us closer to the not-very-well-defined-but-important goal of “interpretable machine learning.” I’ll talk about what succeeded in this project (more than I expected!) what didn’t\, and what role I can imagine this approach to the math-ML interface playing in near-future mathematical practice. \nThe paper: https://www.nature.com/articles/s41586-023-06924-6 \n 
URL:https://cmsa.fas.harvard.edu/event/nt2724/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-02.07.24.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240207T143000
DTEND;TZID=America/New_York:20240207T153000
DTSTAMP:20240206T180625Z
CREATED:20240125T174235Z
LAST-MODIFIED:20240206T180625Z
UID:10001358-1707316200-1707319800@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series | Brian Williams
DESCRIPTION:Arithmetic Quantum Field Theory Program Lecture Series\nSpeaker: Brian Williams\, Boston University \nTopic: Algebraic quantum field theory \nAbstract: Questions and structures in arithmetic that have been / might be amenable to inspiration from QFT\, in particular the theory of L-functions and the Langlands program.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-brian-williams-2724/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240208T143000
DTEND;TZID=America/New_York:20240208T153000
DTSTAMP:20240215T214528Z
CREATED:20240125T172519Z
LAST-MODIFIED:20240215T214528Z
UID:10001356-1707402600-1707406200@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series | Minhyong Kim
DESCRIPTION:Arithmetic Quantum Field Theory Program Lecture Series\nSpeaker: Minhyong Kim\, University of Edinburgh \nTopic: Arithmetic topology and field theory \nAbstract: The setup of arithmetic topology as a bridge between the background of QFT to that of arithmetic (both “global” and “local”)\, including the “middle realm” of positive characteristic function fields. \nSlides (pdf)
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-minhyong-kim-2824/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240208T160000
DTEND;TZID=America/New_York:20240208T170000
DTSTAMP:20240206T180559Z
CREATED:20240125T174851Z
LAST-MODIFIED:20240206T180559Z
UID:10001361-1707408000-1707411600@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series | David Ben-Zvi
DESCRIPTION:Arithmetic Quantum Field Theory Program Lecture Series\nSpeaker: David Ben-Zvi \nTopic: The Langlands program via arithmetic QFT \nAbstract: Structures in QFT (like factorization for observables and functorial QFT for states and their relation to geometric / deformation quantization) that are sufficiently algebraic and formal to allow for arithmetic analogs.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-david-ben-zvi-2824/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
END:VCALENDAR