BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.20//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: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
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20261101T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251017T130000
DTEND;TZID=America/New_York:20251017T160000
DTSTAMP:20260610T115026
CREATED:20250930T134721Z
LAST-MODIFIED:20251014T133421Z
UID:10003800-1760706000-1760716800@cmsa.fas.harvard.edu
SUMMARY:Freedman Seminar: Michael Freedman\, CMSA & Bowen Yang\, CMSA
DESCRIPTION:Freedman Seminar \nSpeaker: Michael Freedman\, Harvard CMSA \nTitle: Sullivan’s work on Lipschitz structures \nAbstract: I’ll begin with an elementary\, but now little known\, piece of PL topology: engulfing. John Stalling used it to give an alternative proof of the high dimensional Poincare conjecture. Then I’ll explain Dennis Sullivan’s enhancement of Kirby’s torus trick (which relies on engulfing.) I’ll note an open question regarding Lipschitz structures on 4-manifolds. \n  \nSpeaker: Bowen Yang\, CMSA \nTitle: Quantum Cellular Automata and Algebraic L-Theory \nAbstract: Quantum cellular automata (QCAs) are models of reversible quantum dynamics that preserve locality; they can be thought of as quantum analogues of classical cellular automata\, but with much richer structure. I will describe a classification of the Clifford subclass of QCAs using methods from algebraic L-theory. The main result identifies the group of Clifford QCAs\, up to natural equivalences\, with L-theory homology of the underlying space. This gives a conceptual explanation of previously observed periodic patterns in lattice models and extends the picture to more general spaces. I will outline the ideas behind the construction and indicate how the framework connects topology\, operator algebras\, and quantum information. If time permits\, I will also comment on what is known — and unknown — about the general (non-Clifford) case.
URL:https://cmsa.fas.harvard.edu/event/freedman_101725/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-10.17.25.docx-1-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251016T140000
DTEND;TZID=America/New_York:20251016T150000
DTSTAMP:20260610T115026
CREATED:20250911T184527Z
LAST-MODIFIED:20251006T162709Z
UID:10003790-1760623200-1760626800@cmsa.fas.harvard.edu
SUMMARY:Lech's inequality and stability of local rings
DESCRIPTION:Algebra Seminar \nSpeaker: Linquan Ma (Purdue University) \nTitle: Lech’s inequality and stability of local rings \nAbstract: We explore Lech’s inequality relating the colength and multiplicity of m-primary ideals in a Noetherian local ring (R\,m). We introduce a natural invariant that measures the sharpness of Lech’s inequality and show its connections with singularities of asymptotically semistable varieties and singularities arising from the MMP. We compute this invariant in various examples. This is joint work with Ilya Smirnov. \n 
URL:https://cmsa.fas.harvard.edu/event/algebra-seminar_101625/
LOCATION:Virtual
CATEGORIES:Algebra Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Algebra-Seminar-10.16.25.docx-1-1-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251006T150000
DTEND;TZID=America/New_York:20251006T160000
DTSTAMP:20260610T115026
CREATED:20250924T182709Z
LAST-MODIFIED:20251006T144221Z
UID:10003796-1759762800-1759766400@cmsa.fas.harvard.edu
SUMMARY:Non-perturbative aspects of self-dual gauge theory
DESCRIPTION:Quantum Field Theory and Physical Mathematics Seminar \nSpeaker: Kevin Costello (Perimeter Institute)\n\nTitle: Non-perturbative aspects of self-dual gauge theory\n\nAbstract: Self-dual gauge theory is conformal in perturbation theory\, but has a non-trivial beta-function when instanton effects are included. I will give two computations of this beta-function\, one based on the Grothendieck-Riemann-Roch formula and one using holography in the topological string.   This leads to two new ways to compute the standard QCD beta-function at one loop\, without using Feynman diagrams.  If time permits\, I will also discuss how instantons effect scattering amplitudes.\n\n 
URL:https://cmsa.fas.harvard.edu/event/qft_100625/
LOCATION:Virtual
CATEGORIES:Quantum Field Theory and Physical Mathematics
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-QFT-and-Physical-Mathematics-10.6.25-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20251001T140000
DTEND;TZID=America/New_York:20251001T150000
DTSTAMP:20260610T115026
CREATED:20250128T214901Z
LAST-MODIFIED:20251002T140605Z
UID:10003710-1759327200-1759330800@cmsa.fas.harvard.edu
SUMMARY:Tropicalized quantum field theory
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Michael Borinsky\, Perimeter Institute  \nTitle: Tropicalized quantum field theory \nAbstract: Quantum field theory (QFT) is one of the most accurate methods for making phenomenological predictions in physics\, but it has a significant drawback: obtaining concrete predictions from it is computationally very demanding. The standard perturbative approach expands an interacting QFT around a free QFT\, using Feynman diagrams. However\, the number of these diagrams grows superexponentially\, making the approach quickly infeasible. \nI will talk about arXiv:2508.14263\, which introduces an intermediate layer between free and interacting field theories: a tropicalized QFT. Often\, this tropicalized QFT can be solved exactly. The exact solution manifests as a non-linear recursion equation fulfilled by the expansion coefficients of the quantum effective action. Geometrically\, this recursion computes volumes of moduli spaces of metric graphs and is thereby analogous to Mirzakhani’s volume recursions on the moduli space of curves. Building on this exact solution\, an algorithm can be constructed that samples points from the moduli space of graphs approximately proportional to their perturbative contribution. Via a standard Monte Carlo approach we can evaluate the original QFT using this algorithm. Remarkably\, this algorithm requires only polynomial time and memory\, suggesting that perturbative quantum field theory computations actually lie in the polynomial-time complexity class\, while all known algorithms for evaluating individual Feynman integrals are at least exponential in time and memory. The (potential) capabilities of this approach are remarkable: For instance\, we can compute perturbative expansions of massive scalar D=3 phi^3 and D=4 phi^4 quantum field theories up to loop orders between 20 and 50 using a basic proof-of-concept implementation. These perturbative orders are completely inaccessible using a naive approach.
URL:https://cmsa.fas.harvard.edu/event/newtech_10125/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-10.1.2025.docx-1-scaled.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250522T100000
DTEND;TZID=America/New_York:20250522T110000
DTSTAMP:20260610T115026
CREATED:20250417T165226Z
LAST-MODIFIED:20250519T144738Z
UID:10003742-1747908000-1747911600@cmsa.fas.harvard.edu
SUMMARY:Higher Gauge Theory and Integrability
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \nSpeaker: Joaquin Liniado\, Instituto de Física La Plata \nTitle: Higher Gauge Theory and Integrability \nAbstract: Integrable field theories are remarkable for possessing an infinite number of conserved quantities\, which often allow for their exact solvability. In two dimensions\, this structure is elegantly captured by the existence of a Lax connection\, whose path ordered exponential allows for the systematic construction of an infinite number of conserved quantities. In 2019\, Costello\, Witten and Yamazaki introduced a four-dimensional holomorphic extension of Chern-Simons theory that provides the first attempt at explaining the appearance of the Lax connection\, whose origin had remained somewhat mysterious until then. \nIn this talk\, we present a generalization of these ideas to three-dimensional field theories\, guided by the so-called “categorical ladder = dimensional ladder” principle. The central idea is that conserved quantities arise from surface-ordered exponentials of higher-rank tensors\, defining a higher categorical notion of the Lax connection. We show that such a structure naturally emerges from a five-dimensional holomorphic extension of higher Chern-Simons theory. This work\, carried out in collaboration with Hank Chen\, provides a framework that enables the systematic construction of integrable field theories in three dimensions. \n  \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathphys_52225/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-5.22.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250508T100000
DTEND;TZID=America/New_York:20250508T110000
DTSTAMP:20260610T115026
CREATED:20250312T185317Z
LAST-MODIFIED:20250501T191129Z
UID:10003728-1746698400-1746702000@cmsa.fas.harvard.edu
SUMMARY:Residues and homotopy Lie algebras
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \nSpeaker: Zhenping Gui\, Shanghai Institute for Mathematics and Interdisciplinary Sciences \nTitle: Residues and homotopy Lie algebras \nAbstract: I will introduce the notion of a chiral operad for any compact Riemann surface. This operad consists of compositions of residue operations\, which give rise to the Chevalley-Cousin complex and lead to the definition of chiral homology (derived conformal blocks). I will explain how to use this machinery to rigorously define certain Feynman integrals in 2D chiral CFTs. Subsequently\, I will present a polysimplicial construction of a series of chain models for the configuration space of points in an affine space and study residue operations. These residue operations can be described by a homotopy Lie algebra structure\, and the latter defines a higher-dimensional analog of the Chevalley-Cousin complex. This is based on joint work in progress with Charles Young and Laura Felder. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathphys_5825/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-5.8.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250425T030000
DTEND;TZID=America/New_York:20250425T160000
DTSTAMP:20260610T115026
CREATED:20250422T134510Z
LAST-MODIFIED:20250422T140503Z
UID:10003713-1745550000-1745596800@cmsa.fas.harvard.edu
SUMMARY:Adversarial KA
DESCRIPTION:Freedman CMSA Seminar \nSpeaker: Slava Dzhenzher\, MIPT \nTitle: Adversarial KA \nAbstract: Regarding the representation theorem of Kolmogorov and Arnold (KA) as an algorithm for representing or «expressing» functions\, we test its robustness by analyzing its ability to withstand adversarial attacks. We find KA to be robust to countable collections of continuous adversaries\, but unearth a question about the equi-continuity of the outer functions that\, so far\, obstructs taking limits and defeating continuous groups of adversaries. This question on the regularity of the outer functions is relevant to the debate over the applicability of KA to the general theory of NNs. Based on  https://arxiv.org/abs/2504.05255 \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_42525/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-4.25.25.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250410T100000
DTEND;TZID=America/New_York:20250410T110000
DTSTAMP:20260610T115026
CREATED:20250128T191238Z
LAST-MODIFIED:20250404T155809Z
UID:10003684-1744279200-1744282800@cmsa.fas.harvard.edu
SUMMARY:3d Mirror Symmetry is 2d Mirror Symmetry
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \nSpeaker: Ki Fung Chan (Chinese University of Hong Kong) \nTitle: 3d Mirror Symmetry is 2d Mirror Symmetry \nAbstract: We introduce an approach to studying 3d mirror symmetry via 2d mirror symmetry. The main observations are: (1) 3d brane transforms are given by SYZ-type transforms; (2) the exchange of symplectic and complex structures in 2d mirror symmetry induces the exchange of Kähler and equivariant parameters in 3d mirror symmetry; and (3) the functionalities of 2d mirror symmetry control the gluing of 3d mirrors. If time permits\, we will also discuss some applications to 2d mirror symmetry at the end of the talk. Joint works with Naichung Conan Leung. \n  \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathphys_41025/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-4.10.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250401T110000
DTEND;TZID=America/New_York:20250401T120000
DTSTAMP:20260610T115026
CREATED:20250128T213541Z
LAST-MODIFIED:20250331T195936Z
UID:10003702-1743505200-1743508800@cmsa.fas.harvard.edu
SUMMARY:Low-regularity Local Well-posedness of the Elastic Wave System
DESCRIPTION:General Relativity Seminar \nSpeaker: Sifan Yu\, National University of Singapore \nTitle: Low-regularity Local Well-posedness of the Elastic Wave System \nAbstract: In this talk\, I will present a recent work on the elastic wave system in three spatial dimensions. For admissible harmonic elastic materials\, we prove a low-regularity local well-posedness result for the corresponding elastic wave equations. For such materials\, we can split the dynamics into the “divergence-part” and the “curl-part\,” and each part satisfies a distinct coupled quasilinear wave system with respect to different acoustical metrics. Our main result is that the Sobolev norm H^{3+} of the “divergence-part” (the “faster-wave part”) and the H^{4+} of the “curl-part” (the “slower-wave part”) can be controlled in terms of initial data for short times. We note that the Sobolev norm assumption H^{3+} is optimal for the “divergence-part.” This is a joint work with Xinliang An and Haoyang Chen.
URL:https://cmsa.fas.harvard.edu/event/general-relativity-seminar-4125/
LOCATION:Virtual
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-4.1.2025.docx_11-am.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250327T100000
DTEND;TZID=America/New_York:20250327T110000
DTSTAMP:20260610T115026
CREATED:20250128T214249Z
LAST-MODIFIED:20250327T192309Z
UID:10003666-1743069600-1743073200@cmsa.fas.harvard.edu
SUMMARY:AlphaProof: when reinforcement learning meets formal mathematics
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Thomas Hubert (Google DeepMind) \nTitle: AlphaProof: when reinforcement learning meets formal mathematics \nAbstract: Galileo\, the renowned Italian astronomer\, physicist\, and mathematician\, famously described mathematics as the language of the universe. Progress since only confirmed his intuition as the world we live in can be described with extreme precision with just a few mathematical equations.\nIn the last 70 years\, the rise of computers has also enriched our understanding of and revolutionized the world we live in. Mathematics tremendously benefited from this digital revolution as well: while Gauss had to compute primes by hand\, computers and computation are now routinely used in research mathematics and contribute to grand problems like the Birch and Swinnerton-Dyer conjecture\, one of the Millennium Prize Problems.\nToday\, computers are entering a new age\, one in which computation can be transformed into reasoning. In this talk\, I would like to discuss two such developments that will undoubtedly have an integral role to play in the future of mathematics: the concurrent rise of formal mathematics and of machine intelligence.
URL:https://cmsa.fas.harvard.edu/event/newtech_32625/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-3.27.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250327T100000
DTEND;TZID=America/New_York:20250327T110000
DTSTAMP:20260610T115026
CREATED:20250128T172102Z
LAST-MODIFIED:20250324T152627Z
UID:10003682-1743069600-1743073200@cmsa.fas.harvard.edu
SUMMARY:From quantum difference equations to Maulik-Okounkov quantum affine algebra
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \n*via Zoom only* \nSpeaker: Tianqing Zhu (Tsinghua University) \nTitle: From quantum difference equations to Maulik-Okounkov quantum affine algebra \nAbstract: Capping operator is one the core subject in the K-theoretic quasimap counting to quiver varieties. It has been shown by Okounkov and Smirnov that it satisfies a system of q-difference equations governed by the MO quantum affine algebras. In this talk we will show how to construct the similar quantum difference equation via the shuffle algebras. Then we will show how to use the monodromy data of these quantum difference equations to prove the isomorphism of the positive half of the MO quantum affine algebras of affine type A and the positive half of the quantum toroidal algebras. If time permits\, I will also give a brief explanation on how to extend the proof to the general case. \n  \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathphys_32725/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-3.27.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250325T160000
DTEND;TZID=America/New_York:20250325T170000
DTSTAMP:20260610T115026
CREATED:20250128T213506Z
LAST-MODIFIED:20250326T194012Z
UID:10003701-1742918400-1742922000@cmsa.fas.harvard.edu
SUMMARY:Unstable Fluids in Expanding Cosmologies
DESCRIPTION:General Relativity Seminar \nSpeaker: Elliot Marshal\, School of Mathematics at Monash University \nTitle: Unstable Fluids in Expanding Cosmologies \nAbstract: The FLRW solution is the simplest cosmological model in general relativity\, describing a fluid-filled\, spatially homogeneous universe. While there is extensive literature in the physics community on cosmological models with a linear equation of state \, rigorous stability results have\, until recently\, been limited to FLRW models with accelerated expansion and small sound speeds. In this talk\, I will discuss numerical work on two types of instabilities which can occur in non-linearly perturbed FLRW models outside of this regime. The first concerns a longstanding conjecture of Alan Rendall on FLRW models with positive cosmological constant and super-radiative (K>1/3) equations of state. Our numerical work\, in collaboration with F. Beyer and T.A. Oliynyk\, supports Rendall’s conjecture and highlights the underlying mechanism for the instability. In the second case\, I will discuss evidence that perturbations of slowly expanding (decelerated) FLRW models generically form shocks in finite time. This contrasts with known results for accelerated models where shock formation is suppressed for suitably small perturbations.
URL:https://cmsa.fas.harvard.edu/event/general-relativity-seminar-32525/
LOCATION:Virtual
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-3.25.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250226T140000
DTEND;TZID=America/New_York:20250226T150000
DTSTAMP:20260610T115026
CREATED:20250124T154400Z
LAST-MODIFIED:20250623T124501Z
UID:10003663-1740578400-1740582000@cmsa.fas.harvard.edu
SUMMARY:Datasets for Math: From AIMO Competitions to Math Copilots for Research
DESCRIPTION:  \nNew Technologies in Mathematics Seminar \nSpeaker: Simon Frieder\, Oxford \nTitle: Datasets for Math: From AIMO Competitions to Math Copilots for Research \nAbstract: This talk begins with a brief exposition of the AI Mathematical Olympiad (AIMO) on Kaggle\, now in its second iteration\, outlining datasets and models available to contestants. Taking a broader perspective\, I then examine 1) the overarching issues the current datasets suffer from—such as binary evaluation or constrained sets of use cases— and 2) the trajectory they set for competition-style mathematical problem-solving\, which is different from mathematical research practice. I argue for a fundamental shift in dataset structure and composition\, both for training and evaluation\, and introduce the idea of mapping mathematical workflows to data\, a key example underscoring the need for this shift. I touch upon new thinking LLMs and their role in redefining LLM math evaluation\, highlighting their implications for dataset design. Finally\, I propose general improvements to the current state of mathematical datasets\, including mathematical adaptations of dataset documentation (e.g.\, datasheets). \n 
URL:https://cmsa.fas.harvard.edu/event/newtech_22625/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/1740494700974-e6086db9-08ab-4681-9ecd-580092fe27b62025-1_1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250220T100000
DTEND;TZID=America/New_York:20250220T110000
DTSTAMP:20260610T115026
CREATED:20250128T171842Z
LAST-MODIFIED:20250218T155455Z
UID:10003678-1740045600-1740049200@cmsa.fas.harvard.edu
SUMMARY:The geometry of pure spinor superfield formalism 
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \nSpeaker: Simone Noja (Heidelberg University) \nTitle: The geometry of pure spinor superfield formalism \nAbstract: In this talk I will present a mathematical perspective on the pure spinor superfield formalism. In particular\, I will discuss how field multiplets in supersymmetric theories can be constructed mathematically from geometric data associated with certain algebraic varieties—namely\, the nilpotence variety of the (super)symmetry algebra of the theory. After discussing key examples\, I will\, time permitting\, outline a possible generalization of the formalism within the framework of derived geometry.
URL:https://cmsa.fas.harvard.edu/event/mathphys_22025/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-2.20.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250218T110000
DTEND;TZID=America/New_York:20250218T120000
DTSTAMP:20260610T115026
CREATED:20240903T191953Z
LAST-MODIFIED:20250219T144101Z
UID:10003426-1739876400-1739880000@cmsa.fas.harvard.edu
SUMMARY:General Relativity Seminar
DESCRIPTION:General Relativity Seminar \nSpeaker: Maximilian Ofner\, University of Vienna \nTitle: Stability and Instability of Relativistic Fluids in Slowly Expanding Spacetimes \nAbstract: Homogeneous and isotropic solutions to the relativistic Euler equations are known to be unstable on a Minkowski background. However\, for FLRW models with a fast expansion rate\, relativistic fluids stabilize. This scenario suggests a transition between stable and unstable behavior\, somewhere along a family of spacetimes parametrized by their expansion rate. In this talk we will discuss this phase transition for various equations of state\, focusing on the regime of linear and decelerated expansion. This is based on recent analytical results\, complemented by numerical analysis.
URL:https://cmsa.fas.harvard.edu/event/general-relativity-seminar-21825/
LOCATION:Virtual
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-2.18.25.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250212T140000
DTEND;TZID=America/New_York:20250212T150000
DTSTAMP:20260610T115026
CREATED:20250123T194306Z
LAST-MODIFIED:20250228T212617Z
UID:10003661-1739368800-1739372400@cmsa.fas.harvard.edu
SUMMARY:Discovering Data Structures: Nearest Neighbor Search and Beyond
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Omar Salemohamed\, Mila \nTitle: Discovering Data Structures: Nearest Neighbor Search and Beyond \nAbstract: As neural networks learn increasingly sophisticated tasks—from image recognition to mastering the game of Go—we ask: can deep learning discover data structures entirely from scratch? We introduce a general framework for data structure discovery\, which adapts to the underlying data distribution and provides fine-grained control over query and space complexity. For nearest neighbor (NN) search\, our model (re)discovers classic algorithms like binary search in one dimension and learns structures reminiscent of k-d trees and locality-sensitive hashing in higher dimensions. Additionally\, the model learns useful representations of high-dimensional data such as images and exploits them to design effective data structures. Beyond NN search\, we believe the framework could be a powerful tool for data structure discovery for other problems and adapt our framework to the problem of estimating frequencies over a data stream. To encourage future work in this direction\, we conclude with a discussion on some of the opportunities and remaining challenges of learning data structures end-to-end.
URL:https://cmsa.fas.harvard.edu/event/newtech_21225/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-2.12.2025.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250210T110000
DTEND;TZID=America/New_York:20250210T120000
DTSTAMP:20260610T115026
CREATED:20250128T192122Z
LAST-MODIFIED:20250203T191001Z
UID:10003687-1739185200-1739188800@cmsa.fas.harvard.edu
SUMMARY:On 5d conformal matter
DESCRIPTION:Quantum Field Theory and Physical Mathematics Seminar \nSpeaker: Mario De Marco (UL Brussels) \nTitle: On 5d conformal matter \nAbstract: SCFTs with 8 supercharges lie at the sweet spot of the classification program of susy scale-invariant theories: with this amount of susy\, the classification is in principle achievable\, despite being non-trivial. In this talk\, I will present the geometric approach to the classification of 5d SCFTs\, based on geometric engineering on non-compact Calabi-Yau manifolds. The strategy is to imagine a 5d SCFT as a non-Lagrangian generalization of a quiver\, and to build this generalised quiver by gauging together indecomposable blocks\, called  “5d conformal matter theories”. In this talk\, I will start with a recap of the geometric construction of [2311.04984]. I will then present some forthcoming results\, concerning the (p\,q) web realization of 5d conformal matter theories\, their reduction to 4d\, their magnetic quiver\, and the discovery of exotic “trifundamental” and “quadrifundamental” 5d indecomposable blocks (with flavor group at least SO(4k+2)^3 or SO(4k)^4). \nIn collaboration with M. Del Zotto\, M. Graffeo\, J. Grimminger\, and A. Sangiovanni. \n 
URL:https://cmsa.fas.harvard.edu/event/qft_21025/
LOCATION:Virtual
CATEGORIES:Quantum Field Theory and Physical Mathematics
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-QFT-and-Physical-Mathematics-2.10.25-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250207T140000
DTEND;TZID=America/New_York:20250207T154500
DTSTAMP:20260610T115026
CREATED:20250127T151529Z
LAST-MODIFIED:20250127T155730Z
UID:10003673-1738936800-1738943100@cmsa.fas.harvard.edu
SUMMARY:Is every knot isotopic to the unknot?
DESCRIPTION:Freedman CMSA Seminar \n*via Zoom* \nSpeaker: Sergey Melikhov\, Steklov Math Institute \nTitle: Is every knot isotopic to the unknot? \nAbstract: The following problem was stated by D. Rolfsen in his 1974 paper; according to R. Daverman it was being discussed since the mid-60s. Is every knot in $S^3$ isotopic (=homotopic through embeddings) to a PL knot — or\, equivalently\, to the unknot? In particular\, is the Bing sling isotopic to a PL knot? We show that the Bing sling $B$ is not isotopic to any PL knot by an isotopy which extends to an isotopy of any 2-component link obtained from $B$ by adding a disjoint component $Q$ such that $lk(B\,Q)=1$. Moreover\, the assertion remains true if the additional component is allowed to self-intersect\, and even to get replaced by a new one at any time instant $t$\, as long as it remains disjoint from the original component $K_t$ and represents the same conjugacy class as the old one in $G/[G’\,G”]$\, where $G=\pi_1(S^3\setminus K_t)$. The are examples showing that the latter result cannot be improved in certain ways. I plan to present a sketch of the proof\, modulo some ingredients. The details can be found in arXiv:2406.09365 and the main ingredients in arXiv:2406.09331 and arXiv:math/0312007v3. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_2725/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-2.7.25.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250206T100000
DTEND;TZID=America/New_York:20250206T110000
DTSTAMP:20260610T115026
CREATED:20241017T135403Z
LAST-MODIFIED:20250131T173042Z
UID:10003594-1738836000-1738839600@cmsa.fas.harvard.edu
SUMMARY:Quantum algebras and R-matrices from the equivariant affine Grassmannians
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \nSpeaker: Wenjun Niu\, Perimeter Institute \nTitle: Quantum algebras and R-matrices from the equivariant affine Grassmannians \nAbstract: In this talk\, I will explain my joint work with R. Abedin\, in which we construct\, for each Lie algebra g\, a Hopf algebra and a spectral R-matrix satisfying quantum Yang-Baxter equation. This Hopf algebra is a quantization of the Lie bi-algebra structure on T^*g[t] defined by Yang’s r-matrix\, and therefore we call it the Yangian of T^*g. The construction is based on the category of coherent sheaves on the equivariant affine Grassmannian associated to the formal group of g\, and is motivated by the study of the category of line defects in a 4 dimensional holomorphic-topological field theory. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathphys_2625/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-2.6.2025.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20250204T110000
DTEND;TZID=America/New_York:20250204T120000
DTSTAMP:20260610T115026
CREATED:20240903T192049Z
LAST-MODIFIED:20250130T190257Z
UID:10003428-1738666800-1738670400@cmsa.fas.harvard.edu
SUMMARY:The mass angular momentum inequality
DESCRIPTION:General Relativity Seminar \nSpeaker: Gilbert Weinstein\, Ariel University \nTitle: The mass angular momentum inequality \nAbstract: We show that either there is a counterexample to black hole uniqueness\, in the form of a regular axisymmetric stationary vacuum spacetime with an asymptotically flat end and multiple degenerate horizons which is ‘ADM stable’\, or the following statement holds. Complete\, simply connected\, maximal initial data sets for the Einstein equations with multiple ends that are either asymptotically flat or asymptotically cylindrical\, admit an ADM mass lower bound given by the square root of total angular momentum\, under the assumption of nonnegative energy density and axisymmetry. Moreover\, equality is achieved bound only for a constant time slice of an extreme Kerr spacetime. The proof is based on a novel flow of singular harmonic maps with hyperbolic plane target\, under which the renormalized harmonic energy is monotonically nonincreasing. Relevant properties of the flow are achieved through a refined asymptotic analysis of solutions to the linearized harmonic map equations.
URL:https://cmsa.fas.harvard.edu/event/general-relativity-seminar-2425/
LOCATION:Virtual
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-2.4.25.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241219T100000
DTEND;TZID=America/New_York:20241219T110000
DTSTAMP:20260610T115026
CREATED:20241203T214207Z
LAST-MODIFIED:20241219T193235Z
UID:10003600-1734602400-1734606000@cmsa.fas.harvard.edu
SUMMARY:Tyurin degenerations\, Relative Lagrangian foliations and categorification of DT invariants
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \nSpeaker: Artan Sheshmani (BIMSA) \nTitle: Tyurin degenerations\, Relative Lagrangian foliations and categorification of DT invariants \nAbstract: We discuss construction of a derived Lagrangian intersection theory of moduli spaces of perfect complexes\, with support on divisors on compact Calabi-Yau threefolds. Our goal is to compute deformation invariants associated to a fixed linear system of divisors in CY3. We apply a Tyurin degeneration of the CY3 into a normal-crossing singular variety composed of Fano threefolds meeting along their anti-canonical divisor. We show that the moduli space over the Fano 4 fold given by total space of degeneration family satisfies a relative Lagrangian foliation structure which leads to realizing the moduli space as derived critical locus of a global (-1)-shifted potential function. We construct a flat Gauss-Manin connection to relate the periodic cyclic homology induced by matrix factorization category of such function to the derived Lagrangian intersection of the corresponding “Fano moduli spaces”. The later provides one with categorification of DT invariants over the special fiber (of degenerating family). The alternating sum of dimensions of the categorical DT invariants of the special fiber induces numerical DT invariants. If there is time\, we show how in terms of “non-derived” virtual intersection theory\, these numerical DT invariants relate to counts of D4-D2-D0 branes which are expected to have modularity property by the S-duality conjecture. This talk is based on joint work with Ludmil Katzarkov\, Maxim Kontsevich\, recent work with Jacob Krykzca\, and former work with Vladimir Baranovsky. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathphys_121924/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-12.19.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241206T160000
DTEND;TZID=America/New_York:20241206T170000
DTSTAMP:20260610T115026
CREATED:20240923T164849Z
LAST-MODIFIED:20241202T185723Z
UID:10003603-1733500800-1733504400@cmsa.fas.harvard.edu
SUMMARY:A simple model for universal quantum computation
DESCRIPTION:Freedman CMSA Seminar \nSpeaker: Michael Freedman \nTitle: A simple model for universal quantum computation \nAbstract: I’ll present joint (unpublished) work with Charlie Marcus on a surprisingly simple – and potentially practical (?)– model for universal quantum computation whose only quantum primitive is the ability to measure a pair of adjacent electrons into either singlet (spin=0) or triplet (spin=1) sectors according to the Born rule. The electrons are located on quantum dots arranged in a triangular lattice whose edges are tiny strips of s-wave superconductor. \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_12624/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-12.06.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241120T100000
DTEND;TZID=America/New_York:20241120T230000
DTSTAMP:20260610T115026
CREATED:20241017T153402Z
LAST-MODIFIED:20241115T183929Z
UID:10003614-1732096800-1732143600@cmsa.fas.harvard.edu
SUMMARY:Thinking Like Transformers - A Practical Session
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Gail Weiss\, EPFL \nTitle: Thinking Like Transformers – A Practical Session \nAbstract: With the help of the RASP programming language\, we can better imagine how transformers—the powerful attention based sequence processing architecture—solve certain tasks. Some tasks\, such as simply repeating or reversing an input sequence\, have reasonably straightforward solutions\, but many others are more difficult. To unlock a fuller intuition of what can and cannot be achieved with transformers\, we must understand not just the RASP operations but also how to use them effectively.\nIn this session\, I would like to discuss some useful tricks with you in more detail. How is the powerful selector_width operation yielded from the true RASP operations? How can a fixed-depth RASP program perform arbitrary length long-addition\, despite the equally large number of potential carry operations such a computation entails? How might a transformer perform in-context reasoning? And are any of these solutions reasonable\, i.e.\, realisable in practice? I will begin with a brief introduction of the base RASP operations to ground our discussion\, and then walk us through several interesting task solutions. Following this\, and armed with this deeper intuition of how transformers solve several tasks\, we will conclude with a discussion of what this implies for how knowledge and computations must spread out in transformer layers and embeddings in practice.
URL:https://cmsa.fas.harvard.edu/event/newtech_112024/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-11.20.24.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241115T143000
DTEND;TZID=America/New_York:20241115T173000
DTSTAMP:20260610T115026
CREATED:20240923T164810Z
LAST-MODIFIED:20241112T153736Z
UID:10003602-1731681000-1731691800@cmsa.fas.harvard.edu
SUMMARY:Freedman CMSA Seminar
DESCRIPTION:Freedman CMSA Seminar \n*Note: via Zoom only* \n  \n2:00-3:30 pm ET \nSpeaker: Michael Freedman\, Harvard CMSA \nTitle: Some questions and theorems about closed 3 manifolds embedded in S^4 \nAbstract: Much is unknown about smooth embeddings of 3-manifolds in S^4; the Schoenflies problem  (Is there only one smoothly embedded 3-sphere in S^4 up to isotopy?) is the best-known example. There has long been a hope that 3-manifold reasoning applied to level-sets will be helpful.  I’ll mention some successes and failures of this method and revisit a classical theorem of Hantzsche in this light. (Hantzsche: If a 3-manifold embeds in S^4 its linking form is hyperbolic.) \n  \n3:30-4:00 pm ET \nBreak/Discussion \n  \n4:00-5:30 pm ET \nSpeaker: Slava Krushkal\, University of Virginia \nTitle: A higher order torsion linking form for 3-manifolds \nAbstract: This talk is based on a joint work with Mike Freedman defining a triple linking form for rational homology spheres\, assuming that the classical torsion linking pairing of three classes pairwise vanishes. I will discuss its vanishing for 3-manifolds in S^4\, and its relation to the Matsumoto triple intersection form on 4-manifolds. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_11824/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-11.15.2024.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241113T100000
DTEND;TZID=America/New_York:20241113T230000
DTSTAMP:20260610T115026
CREATED:20241017T141250Z
LAST-MODIFIED:20241115T175125Z
UID:10003613-1731492000-1731538800@cmsa.fas.harvard.edu
SUMMARY:Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Huajian Xin\, DeepSeek \nTitle: Frontier of Formal Theorem Proving with Large Language Models: Insights from the DeepSeek-Prover Series \nAbstract: Recent advances in large language models have markedly influenced mathematical reasoning and automated theorem proving within artificial intelligence. Yet\, despite their success in natural language tasks\, these models face notable obstacles in formal theorem proving environments such as Lean and Isabelle\, where exacting derivations must adhere to strict formal specifications. Even state-of-the-art models encounter difficulty generating accurate and complex formal proofs\, revealing the unique blend of mathematical rigor required in this domain. In the DeepSeek-Prover series (V1 and V1.5)\, we have explored specialized methodologies aimed at addressing these challenges. This talk will delve into three foundational areas: the synthesis of training data through autoformalization\, reinforcement learning that utilizes feedback from proof assistants\, and test-time optimization using Monte Carlo tree search. I will also provide insights into current model capabilities\, persistent challenges\, and the future potential of large language models in automated theorem proving.
URL:https://cmsa.fas.harvard.edu/event/newtech_111324/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-11.13.24.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241108T100000
DTEND;TZID=America/New_York:20241108T113000
DTSTAMP:20260610T115026
CREATED:20240907T194143Z
LAST-MODIFIED:20241104T181059Z
UID:10003470-1731060000-1731065400@cmsa.fas.harvard.edu
SUMMARY:Representations of minimal W-algebras: unitarity and modular invariance
DESCRIPTION:Quantum Field Theory and Physical Mathematics Seminar \nSpeaker: Victor Kac (MIT) \nTitle: Representations of minimal W-algebras: unitarity and modular invariance \nAbstract: The minimal W-algebras\, obtained by quantum Hamiltonian reduction from affina vertex algebras\, form the most interesting class of vertex algebras\, which includes all superconformal algebras: Virasoro\, Neveu-Scharz\, N=2\, 3\, 4\, and big N=4. I will explain a unified classification of their unitary representations\, and their character formulas. For N=0\, 1\, and 2 these vertex algebras are modular invariant (meaning that tr q^L_0-c/24 is a modular function). However for all other minimal W-algebra modular invariance fails\, and one needs the “modification” of characters to restore modular invariance. Unfortunately the representation-theoretical or physical meaning of the modification is not known (at least to me).
URL:https://cmsa.fas.harvard.edu/event/qm_11824/
LOCATION:Virtual
CATEGORIES:Quantum Field Theory and Physical Mathematics
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-QFT-and-Physical-Mathematics-11.8.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241029T110000
DTEND;TZID=America/New_York:20241029T120000
DTSTAMP:20260610T115026
CREATED:20240903T183326Z
LAST-MODIFIED:20241026T192248Z
UID:10003425-1730199600-1730203200@cmsa.fas.harvard.edu
SUMMARY:Formation of Trapped Surfaces in Geodesic Foliation
DESCRIPTION:General Relativity Seminar \nSpeaker: Xuantao Chen\, Johns Hopkins University \nTitle: Formation of Trapped Surfaces in Geodesic Foliation \nAbstract: We reprove the formation of trapped surfaces for the Einstein vacuum equation using the incoming geodesic foliation. All previous results\, starting with the seminal work of Christodoulou\, make use of the double null foliation. In the new proof\, all Ricci coefficients are estimated by transport equations in the incoming null direction\, and the incoming initial data is only used in the curvature (energy) estimates. The result is based on a version of the non-integrable PT frame\, which was introduced in the proof of Kerr stability with small angular momentum. \n 
URL:https://cmsa.fas.harvard.edu/event/general-relativity-seminar-102224/
LOCATION:Virtual
CATEGORIES:General Relativity Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-GR-Seminar-10.29.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241025T143000
DTEND;TZID=America/New_York:20241025T173000
DTSTAMP:20260610T115026
CREATED:20240907T191539Z
LAST-MODIFIED:20241010T152044Z
UID:10003466-1729866600-1729877400@cmsa.fas.harvard.edu
SUMMARY:Freedman CMSA Seminar
DESCRIPTION:Freedman CMSA Seminar \n*Note: via Zoom only* \n2:00-3:30 pm ET \nSpeaker: Matt Hastings\, Microsoft Quantum Program \nTitle: Invertible Phases of Matter and Quantum Cellular Automata: Dimensions One to Three \nAbstract: A Quantum Cellular Automaton (QCA) is a *-automorphism of the algebra of local operators. While local quantum circuits provide one example of QCA\, we are most interested in nontrivial QCA which are those which cannot be written as conjugation by a local quantum circuit. For systems in one and two spatial dimensions\, all nontrivial QCA are shifts (i.e.\, translations by some amount)\, up to conjugation by a quantum circuit\, but in three and higher dimensions\, other examples are known. I’ll explain the relation between QCA and a certain “boundary algebra” of operators in one lower spatial dimension\, and also the relation to invertible phases of matter on the boundary\, and use this to explain and motivate some of these results in dimensions one through three. \n  \n3:30-4:00 pm ET \nBreak/Discussion \n  \n4:00-5:30 pm ET \nSpeaker: Lukasz Fidkowski\, U Washington\, Physics \nTitle: Invertible Phases of Matter and Quantum Cellular Automata: Higher dimensions \nAbstract: We discuss the explicit construction of a non-trivial QCA in 3 dimensions\, one which takes the form of multiplication by a discrete Chern-Simons functional in an appropriate basis for the Hilbert space. We relate the non-trivialness of the QCA to the fact that the Chern-Simons action is not the integral of a gauge invariant local quantity. One property of this QCA is that it creates a specific non-trivial time reversal symmetry protected topological (SPT) phase when acting on a non-trivial tensor product state. Motivated by this\, we construct a general class of QCA in arbitrary dimensions based on time reversal protected SPTs\, and conjecture a general correspondence between unoriented cobordism (which classifies such SPTs) and QCA. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/freedman_102524/
LOCATION:Virtual
CATEGORIES:Freedman Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Freedman-Seminar-10.25.2024.docx-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20241024T100000
DTEND;TZID=America/New_York:20241024T110000
DTSTAMP:20260610T115026
CREATED:20241018T143428Z
LAST-MODIFIED:20241018T144254Z
UID:10003595-1729764000-1729767600@cmsa.fas.harvard.edu
SUMMARY:Heterotic Little String Theories and Inequivalent Genus-One Fibrations
DESCRIPTION:Mathematical Physics and Algebraic Geometry Seminar \nSpeaker: Hamza Ahmed\, Northeastern University \nTitle: Heterotic Little String Theories and Inequivalent Genus-One Fibrations \nAbstract: Little String Theories (LSTs) are 6D Supersymmetric quantum field theories (SQFTs) with an additional physical relation called T-duality. This enables us to arrange them into equivalence classes\, where each equivalence class has 6D LSTs that lead to the same 5D effective theory when compactified on a circle. The problem of finding T-dual LSTs can be mapped to the problem of finding inequivalent genus-one fibrations of the same non-compact Calabi-Yau (CY) threefold. For T-dual theories\, certain field theory data is expected to match\, which then implies certain invariants of inequivalent fibrations. Focusing on theories with 8 supercharges (Heterotic LSTs)\, we use this geometry-field theory equivalence to study the T-duality landscape\, particularly in the case where the genus-one fiber does not have a section\, leading to what are called twisted T-dual theories. Based on the excellent agreement we find between the geometry and field theory arguments\, we conjecture the existence of a new class of twisted T-duals for which no geometric construction is known. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/mathphys_102424/
LOCATION:Virtual
CATEGORIES:Mathematical Physics and Algebraic Geometry
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Mathematical-Physics-and-Algebraic-Geometry-10.24.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240918T090000
DTEND;TZID=America/New_York:20240918T103000
DTSTAMP:20260610T115026
CREATED:20240904T181255Z
LAST-MODIFIED:20250328T150446Z
UID:10003442-1726650000-1726655400@cmsa.fas.harvard.edu
SUMMARY:CMSA/Tsinghua Math-Science Literature Lecture: Marc Lackenby
DESCRIPTION:CMSA/Tsinghua Math-Science Literature Lecture \nDate: Wednesday\, September 18\, 2024 \nTime: 9:00 – 10:30 am ET \nLocation: Via Zoom Webinar \nSpeaker: Marc Lackenby\, University of Oxford \nTitle: The complexity of knots \nAbstract: In his final paper in 1954\, Alan Turing wrote `No systematic method is yet known by which one can tell whether two knots are the same.’ Within the next 20 years\, Wolfgang Haken and Geoffrey Hemion had discovered such a method. However\, the computational complexity of this problem remains unknown. In my talk\, I will give a survey on this area\, that draws on the work of many low-dimensional topologists and geometers. Unfortunately\, the current upper bounds on the computational complexity of the knot equivalence problem remain quite poor. However\, there are some recent results indicating that\, perhaps\, knots are more tractable than they first seem. Specifically\, I will explain a theorem that provides\, for each knot type K\, a polynomial p_K with the property that any two diagrams of K with n_1 and n_2 crossings differ by at most p_K(n_1) + p_K(n_2) Reidemeister moves. \n\nBeginning in Spring 2020\, the CMSA began hosting a lecture series on literature in the mathematical sciences\, with a focus on significant developments in mathematics that have influenced the discipline\, and the lifetime accomplishments of significant scholars.
URL:https://cmsa.fas.harvard.edu/event/mathscilit2024_ml/
LOCATION:Virtual
CATEGORIES:Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Mathlit_Lackenby_8.5x11.jpg
END:VEVENT
END:VCALENDAR