BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.15.20//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
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:20190310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20191103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20201101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20211107T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20201216T120000
DTEND;TZID=America/New_York:20201216T130000
DTSTAMP:20260506T180936
CREATED:20240126T094639Z
LAST-MODIFIED:20250305T192329Z
UID:10001442-1608120000-1608123600@cmsa.fas.harvard.edu
SUMMARY:The Inside View: Raymarching and the Thurston Geometries
DESCRIPTION:On Wednesday\, December 16 at 12:00 p.m. EST\, WAM and CMSA will host a holiday seminar featuring Sabetta Matsumoto\, Georgia Institute of Technology who will present The Inside View: Raymarching and the Thurston Geometries. \nThe properties of euclidean space seem natural and obvious to us\, to the point that it took mathematicians over two thousand years to see an alternative to Euclid’s parallel postulate. The eventual discovery of hyperbolic geometry in the 19th century shook our assumptions\, revealing just how strongly our native experience of the world blinded us from consistent alternatives\, even in a field that many see as purely theoretical. Non-euclidean spaces are still seen as unintuitive and exotic\, but with direct immersive experiences we can get a better intuitive feel for them. The latest wave of virtual reality hardware\, in particular the HTC Vive\, tracks both the orientation and the position of the headset within a room-sized volume\, allowing for such an experience. We create realtime rendering to explore the three-dimensional geometries of the Thurston/Perelman geometrization theorem. In this talk\, we use the “inside view” of each manifold to try to understand its geometry and what life might be like on the inside. Joint work with Rémi Coulon\, Henry Segerman and Steve Trettel. \nVisit the event page
URL:https://cmsa.fas.harvard.edu/event/the-inside-view-raymarching-and-the-thurston-geometries/
LOCATION:MA
CATEGORIES:Colloquia & Seminar,Seminars
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/image002-1-600x338-1.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20201217T103000
DTEND;TZID=America/New_York:20201217T120000
DTSTAMP:20260506T180936
CREATED:20240126T100154Z
LAST-MODIFIED:20240126T100154Z
UID:10001447-1608201000-1608206400@cmsa.fas.harvard.edu
SUMMARY:12/17/2020 Strongly Correlated Quantum Materials
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/12-17-2020-strongly-correlated-quantum-materials/
LOCATION:MA
CATEGORIES:Strongly Correlated Quantum Materials and High-Temperature Superconductors
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20201222T103000
DTEND;TZID=America/New_York:20201222T120000
DTSTAMP:20260506T180936
CREATED:20240126T095549Z
LAST-MODIFIED:20240126T095549Z
UID:10001444-1608633000-1608638400@cmsa.fas.harvard.edu
SUMMARY:12/23/2020 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/12-23-2020-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210113T090000
DTEND;TZID=America/New_York:20210113T100000
DTSTAMP:20260506T180936
CREATED:20240215T093336Z
LAST-MODIFIED:20240529T173823Z
UID:10002720-1610528400-1610532000@cmsa.fas.harvard.edu
SUMMARY:A universal triangulation for flat tori
DESCRIPTION:Speaker:Francis Lazarus\, CNRS / Grenoble University \nTitle: A universal triangulation for flat tori \nAbstract: A celebrated theorem of Nash completed by Kuiper implies that every smooth Riemannian surface has a C¹ isometric embedding in the Euclidean 3-space E³. An analogous result\, due to Burago and Zalgaller\, states that every polyhedral surface\, obtained by gluing Euclidean triangles\, has an isometric PL embedding in E³. In particular\, this provides PL isometric embeddings for every flat torus (a quotient of E² by a rank 2 lattice). However\, the proof of Burago and Zalgaller is partially constructive\, relying on the Nash-Kuiper theorem. In practice\, it produces PL embeddings with a huge number of vertices\, moreover distinct for every flat torus. Based on a construction of Zalgaller and on recent works by Arnoux et al. we exhibit a universal triangulation with less than 10.000 vertices\, admitting for any flat torus an isometric embedding that is linear on each triangle. Based on joint work with Florent Tallerie.
URL:https://cmsa.fas.harvard.edu/event/1-13-2022-interdisciplinary-science-seminar/
LOCATION:Virtual
CATEGORIES:Interdisciplinary Science Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Interdisciplinary-Science-Seminar-01.13.22.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210113T090000
DTEND;TZID=America/New_York:20210113T103000
DTSTAMP:20260506T180936
CREATED:20230707T114651Z
LAST-MODIFIED:20250305T210038Z
UID:10000903-1610528400-1610533800@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Quantum topology and new types of modularity
DESCRIPTION:Don Zagier (Max Planck Institute for Mathematics and International Centre for Theoretical Physics) \nTitle: Quantum topology and new types of modularity \nAbstract: The talk concerns two fundamental themes of modern 3-dimensional topology and their unexpected connection with a theme coming from number theory. A deep insight of William Thurston in the mid-1970s is that the vast majority of complements of knots in the 3-sphere\, or more generally of 3-manifolds\, have a unique metric structure as hyperbolic manifolds of constant curvature -1\, so that 3-dimensional topology is in some sense not really a branch of topology at all\, but of differential geometry. In a different direction\, the work of Vaughan Jones and Ed Witten in the late 1980s gave rise to the field of Quantum Topology\, in which new types of invariants of knot complements and 3-manifolds are introduced that have their origins in ideas coming from quantum field theory. These two themes then became linked by Kashaev’s famous Volume Conjecture\, now some 25 years old\, which says that the Kashaev invariant _N of a hyperbolic knot K (this is a quantum invariant defined for each positive integer N and whose values are algebraic numbers) grows exponentially as N tends to infinity with an exponent proportional to the hyperbolic volume of the knot complement. About 10 years ago\, I was led by numerical experiments to the discovery that Kashaev’s invariant could be upgraded to an invariant having rational numbers as its argument (with the original invariant being the value at 1/N) and that the Volume Conjecture then became part of a bigger story saying that the new invariant has some sort of strange transformation property under the action x -> (ax+b)/(cx+d) of the modular group SL(2\,Z) on the argument. This turned out to be only the beginning of a fascinating and multi-faceted story relating quantum invariants\, q-series\, modularity\, and many other topics. In the talk\, which is intended for a general mathematical audience\, I would like to recount some parts of this story\, which is joint work with Stavros Garoufalidis (and of course involving contributions from many other authors). The “new types of modularity” in the title refer to a specific byproduct of these investigations\, namely that there is a generalization of the classical notion of holomorphic modular form – which plays an absolutely central role in modern number theory – to a new class of holomorphic functions in the upper half-plane that no longer satisfy a transformation law under the action of the modular group\, but a weaker extendability property instead. This new class\, called “holomorphic quantum modular forms”\, turns out to contain many other functions of a more number-theoretical nature as well as the original examples coming from quantum invariants. \nTalk chair: Mark Kisin \nVideo
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_zagier/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/Lecture_-Zagier.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210113T150000
DTEND;TZID=America/New_York:20210113T160000
DTSTAMP:20260506T180936
CREATED:20240126T093843Z
LAST-MODIFIED:20240517T201031Z
UID:10001441-1610550000-1610553600@cmsa.fas.harvard.edu
SUMMARY:AI and Theorem Proving
DESCRIPTION:Speaker: Josef Urban\, Czech Technical University \nTitle: AI and Theorem Proving \nAbstract: The talk will discuss the main approaches that combine machine learning with automated theorem proving and automated formalization. This includes learning to choose relevant facts for “hammer” systems\, guiding the proof search of tableaux and superposition automated provers by interleaving learning and proving (reinforcement learning) over large ITP libraries\, guiding the application of tactics in interactive tactical systems\, and various forms of lemmatization and conjecturing. I will also show some demos of the systems\, and discuss autoformalization approaches such as learning probabilistic grammars from aligned informal/formal corpora\, combining them with semantic pruning\, and using neural methods to learn direct translation from Latex to formal mathematics.
URL:https://cmsa.fas.harvard.edu/event/1-13-2021-new-technologies-in-mathematics/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-01.13.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210120T150000
DTEND;TZID=America/New_York:20210120T160000
DTSTAMP:20260506T180936
CREATED:20240126T093733Z
LAST-MODIFIED:20240515T191339Z
UID:10001440-1611154800-1611158400@cmsa.fas.harvard.edu
SUMMARY:Language Modeling for Mathematical Reasoning
DESCRIPTION:Speaker: Christian Szegedy \nTitle: Language Modeling for Mathematical Reasoning \nAbstract: In this talk\, I will summarize the current state of the art of transformer based language models and give examples on non-trivial reasoning task language models can solve in higher order logic reasoning. I will also discuss how to inject injective bias into transformer networks via pretraining on very simple synthetic tasks and representing graph structures for transformer networks. \n 
URL:https://cmsa.fas.harvard.edu/event/1-20-2021-new-tech-in-math/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-01.20.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210121T083000
DTEND;TZID=America/New_York:20210121T100000
DTSTAMP:20260506T180936
CREATED:20240126T093048Z
LAST-MODIFIED:20240126T093048Z
UID:10001438-1611217800-1611223200@cmsa.fas.harvard.edu
SUMMARY:1/21/2021 Quantum Matter
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/1-21-2021-quantum-matter/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210125T080000
DTEND;TZID=America/New_York:20210125T090000
DTSTAMP:20260506T180936
CREATED:20240126T095809Z
LAST-MODIFIED:20240126T095909Z
UID:10001445-1611561600-1611565200@cmsa.fas.harvard.edu
SUMMARY:Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces
DESCRIPTION:During the Spring 2021 Semester Artan Sheshmani (CMSA/ I.M. A.U.) will be teaching a CMSA special lecture series on Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces. \nIn order to attend this series\, please fill out this form. \nThe lectures will be held Mondays from 8:00 – 9:30 AM ET and Wednesdays from 8:00 – 9:00 AM ET beginning January 25 on Zoom. \nYou can watch Prof. Sheshmani describe the series here. 
URL:https://cmsa.fas.harvard.edu/event/gromov-witten-donaldson-thomas-theory-and-birational-symplectic-invariants-for-algebraic-surfaces/
LOCATION:Virtual
CATEGORIES:Special Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210127T090000
DTEND;TZID=America/New_York:20210127T103000
DTSTAMP:20260506T180936
CREATED:20230707T114914Z
LAST-MODIFIED:20250328T200938Z
UID:10000904-1611738000-1611743400@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Discrepancy Theory and Randomized Controlled Trials
DESCRIPTION:Dan Spielman (Yale University) \nTitle: Discrepancy Theory and Randomized Controlled Trials \nAbstract: Discrepancy theory tells us that it is possible to partition vectors into sets so that each set looks surprisingly similar to every other.  By “surprisingly similar” we mean much more similar than a random partition. I will begin by surveying fundamental results in discrepancy theory\, including Spencer’s famous existence proofs and Bansal’s recent algorithmic realizations of them. Randomized Controlled Trials are used to test the effectiveness of interventions\, like medical treatments. Randomization is used to ensure that the test and control groups are probably similar.  When we know nothing about the experimental subjects\, uniform random assignment is the best we can do. When we know information about the experimental subjects\, called covariates\, we can combine the strengths of randomization with the promises of discrepancy theory. This should allow us to obtain more accurate estimates of the effectiveness of treatments\, or to conduct trials with fewer experimental subjects. I will introduce the Gram-Schmidt Walk algorithm of Bansal\, Dadush\, Garg\, and Lovett\, which produces random solutions to discrepancy problems. I will then explain how Chris Harshaw\, Fredrik Sävje\, Peng Zhang\, and I use this algorithm to improve the design of randomized controlled trials. Our Gram-Schmidt Walk Designs have increased accuracy when the experimental outcomes are correlated with linear functions of the covariates\, and are comparable to uniform random assignments in the worst case. \nTalk chair: Salil Vadhan \nVideo
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_spielman/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lecture_-Spielman-1-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210127T103000
DTEND;TZID=America/New_York:20210127T120000
DTSTAMP:20260506T180936
CREATED:20240126T092614Z
LAST-MODIFIED:20240126T092614Z
UID:10001436-1611743400-1611748800@cmsa.fas.harvard.edu
SUMMARY:1/27/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/1-27-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210127T150000
DTEND;TZID=America/New_York:20210127T160000
DTSTAMP:20260506T180936
CREATED:20240126T092449Z
LAST-MODIFIED:20240515T191649Z
UID:10001435-1611759600-1611763200@cmsa.fas.harvard.edu
SUMMARY:Knowledge graph representation: From recent models towards a theoretical understanding
DESCRIPTION:Speaker: Carl Allen and Ivana Balažević – University of Edinburgh School of Informatics \nTitle: Knowledge graph representation: From recent models towards a theoretical understanding \nAbstract: Knowledge graphs (KGs)\, or knowledge bases\, are large repositories of facts in the form of triples (subject\, relation\, object)\, e.g. (Edinburgh\, capital_of\, Scotland). Many models have been developed to succinctly represent KGs such that known facts can be recalled (question answering) and\, more impressively\, previously unknown facts can be inferred (link prediction). Subject and object entities are typically represented as vectors in R^d and relations as mappings (e.g. linear transformations) between them. Such representation can be interpreted as positioning entities in a space such that relations are implied by their relative locations. In this talk we give an overview of knowledge graph representation including select recent models; and\, by drawing a connection to word embeddings\, explain a theoretical model for how semantic relationships can correspond to geometric structure.
URL:https://cmsa.fas.harvard.edu/event/1-27-2021-new-tech-in-math-seminar/
LOCATION:MA
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-01.27.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210128T103000
DTEND;TZID=America/New_York:20210129T000000
DTSTAMP:20260506T180936
CREATED:20240213T101813Z
LAST-MODIFIED:20240213T101813Z
UID:10002410-1611829800-1611878400@cmsa.fas.harvard.edu
SUMMARY:1/28/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/1-28-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210201T100000
DTEND;TZID=America/New_York:20210201T110000
DTSTAMP:20260506T180936
CREATED:20240126T092134Z
LAST-MODIFIED:20240126T092151Z
UID:10001433-1612173600-1612177200@cmsa.fas.harvard.edu
SUMMARY:2/1/2021 Math Physics
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-1-2021-math-physics/
LOCATION:MA
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210202T113000
DTEND;TZID=America/New_York:20210202T123000
DTSTAMP:20260506T180936
CREATED:20240126T091359Z
LAST-MODIFIED:20240126T091359Z
UID:10001431-1612265400-1612269000@cmsa.fas.harvard.edu
SUMMARY:2/2/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-2-2021-computer-science-for-mathematicians/
LOCATION:MA
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210203T103000
DTEND;TZID=America/New_York:20210203T120000
DTSTAMP:20260506T180936
CREATED:20240126T093215Z
LAST-MODIFIED:20240126T093215Z
UID:10001439-1612348200-1612353600@cmsa.fas.harvard.edu
SUMMARY:2/3/2021 Strongly Correlated Quantum Materials
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-3-2021-strongly-correlated-quantum-materials/
LOCATION:MA
CATEGORIES:Strongly Correlated Quantum Materials and High-Temperature Superconductors
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210204T103000
DTEND;TZID=America/New_York:20210204T120000
DTSTAMP:20260506T180936
CREATED:20240126T091509Z
LAST-MODIFIED:20240126T091509Z
UID:10001432-1612434600-1612440000@cmsa.fas.harvard.edu
SUMMARY:2/4/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-4-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210209T113000
DTEND;TZID=America/New_York:20210209T123000
DTSTAMP:20260506T180936
CREATED:20240126T091127Z
LAST-MODIFIED:20240126T091127Z
UID:10001429-1612870200-1612873800@cmsa.fas.harvard.edu
SUMMARY:2/9/2021 Computer Science for Math
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-9-2021-computer-science-for-math/
LOCATION:MA
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210210T100000
DTEND;TZID=America/New_York:20210210T120000
DTSTAMP:20260506T180936
CREATED:20240126T091253Z
LAST-MODIFIED:20240126T091253Z
UID:10001430-1612951200-1612958400@cmsa.fas.harvard.edu
SUMMARY:2/10/2021 Strongly Correlated Quantum Materials
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-10-2021-strongly-correlated-quantum-materials/
LOCATION:Virtual
CATEGORIES:Strongly Correlated Quantum Materials and High-Temperature Superconductors
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210210T150000
DTEND;TZID=America/New_York:20210210T160000
DTSTAMP:20260506T180936
CREATED:20240126T092338Z
LAST-MODIFIED:20240515T195824Z
UID:10001434-1612969200-1612972800@cmsa.fas.harvard.edu
SUMMARY:A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks
DESCRIPTION:Speaker: Nikunj Saunshi\, Dept. of Computer Science\, Princeton University \nTitle: A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks \nAbstract: Autoregressive language models pretrained on large corpora have been successful at solving downstream tasks\, even with zero-shot usage. However\, there is little theoretical justification for their success. This paper considers the following questions: (1) Why should learning the distribution of natural language help with downstream classification tasks? (2) Why do features learned using language modeling help solve downstream tasks with linear classifiers? For (1)\, we hypothesize\, and verify empirically\, that classification tasks of interest can be reformulated as next word prediction tasks\, thus making language modeling a meaningful pretraining task. For (2)\, we analyze properties of the cross-entropy objective to show that eps-optimal language models in cross-entropy (log-perplexity) learn features that are O(sqrt{eps}) good on such linear classification tasks\, thus demonstrating mathematically that doing well on language modeling can be beneficial for downstream tasks. We perform experiments to verify assumptions and validate our theoretical results. Our theoretical insights motivate a simple alternative to the cross-entropy objective that performs well on some linear classification tasks. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/2-10-2021-new-tech-in-math/
LOCATION:MA
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-02.10.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210211T103000
DTEND;TZID=America/New_York:20210211T120000
DTSTAMP:20260506T180936
CREATED:20240126T090540Z
LAST-MODIFIED:20240126T090540Z
UID:10001428-1613039400-1613044800@cmsa.fas.harvard.edu
SUMMARY:2/11/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-11-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210215T100000
DTEND;TZID=America/New_York:20210215T110000
DTSTAMP:20260506T180936
CREATED:20240126T090436Z
LAST-MODIFIED:20240126T090436Z
UID:10001427-1613383200-1613386800@cmsa.fas.harvard.edu
SUMMARY:2/15/2021 Math Physics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-15-2021-math-physics-seminar/
LOCATION:MA
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210216T133000
DTEND;TZID=America/New_York:20210216T143000
DTSTAMP:20260506T180936
CREATED:20240126T090101Z
LAST-MODIFIED:20240126T090101Z
UID:10001424-1613482200-1613485800@cmsa.fas.harvard.edu
SUMMARY:2/16/2021 Computer Science for Mathematicians
DESCRIPTION:Speaker: Michael P. Kim (UC Berkeley) \nTitle: Outcome Indistinguishability \nAbstract: Prediction algorithms assign numbers to individuals that are popularly understood as individual “probabilities” — e.g.\, what is the probability of 5-year survival after cancer diagnosis? — and which increasingly form the basis for life-altering decisions. The understanding of individual probabilities in the context of such unrepeatable events has been the focus of intense study for decades within probability theory\, statistics\, and philosophy. Building off of notions developed in complexity theory and cryptography\, we introduce and study Outcome Indistinguishability (OI). OI predictors yield a model of probabilities that cannot be efficiently refuted on the basis of the real-life observations produced by Nature. \nWe investigate a hierarchy of OI definitions\, whose stringency increases with the degree to which distinguishers may access the predictor in question.  Our findings reveal that OI behaves qualitatively differently than previously studied notions of indistinguishability.  First\, we provide constructions at all levels of the hierarchy.  Then\, leveraging recently-developed machinery for proving average-case fine-grained hardness\, we obtain lower bounds on the complexity of the more stringent forms of OI.  The hardness result provides scientific grounds for the political argument that\, when inspecting algorithmic risk prediction instruments\, auditors should be granted oracle access to the algorithm\, not simply historical predictions. \nJoint work with Cynthia Dwork\, Omer Reingold\, Guy N. Rothblum\, Gal Yona; to appear at STOC 2021.
URL:https://cmsa.fas.harvard.edu/event/2-16-2021-computer-science-for-mathematicians/
LOCATION:Virtual
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210217T103000
DTEND;TZID=America/New_York:20210217T120000
DTSTAMP:20260506T180936
CREATED:20240126T090325Z
LAST-MODIFIED:20240126T090340Z
UID:10001426-1613557800-1613563200@cmsa.fas.harvard.edu
SUMMARY:Global Anomalies on the Hilbert Space
DESCRIPTION:Speaker:  Jaume Gomis (Perimeter PI) \nTitle: Global Anomalies on the Hilbert Space \nAbstract: We will discuss an elementary way of detecting some global anomalies from the way the symmetry algebra is realized on the torus Hilbert space of the anomalous theory\, give a physical description of the imprint of the “layers” that enter in the cobordism classification of anomalies and discuss applications\, including how anomalies can imply a supersymmetric spectrum in strongly coupled (nonsupersymmetric) gauge theories.
URL:https://cmsa.fas.harvard.edu/event/2-17-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210218T103000
DTEND;TZID=America/New_York:20210218T120000
DTSTAMP:20260506T180936
CREATED:20240126T090220Z
LAST-MODIFIED:20240126T090220Z
UID:10001425-1613644200-1613649600@cmsa.fas.harvard.edu
SUMMARY:2/18/2021 Quantum Matter Seminar
DESCRIPTION:Speaker:  Xiao-Gang Wen (MIT) \nTitle: A solution to the chiral fermion problem \nAbstract: Motivated by the relation between anomaly and topological/SPT order in one higher dimension\, we propose a solution to the chiral fermion problem. In particular\, we find several sufficient conditions\, such that a chiral fermion field theory can be regularized by an interacting lattice model in the same dimension. We also discuss some related issues\, such as mass without mass term\, and why ‘topological’ phase transitions are usually not “topological” phase transitions.
URL:https://cmsa.fas.harvard.edu/event/2-18-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210222T100000
DTEND;TZID=America/New_York:20210222T110000
DTSTAMP:20260506T180936
CREATED:20240126T085809Z
LAST-MODIFIED:20240126T085809Z
UID:10001423-1613988000-1613991600@cmsa.fas.harvard.edu
SUMMARY:Full SYZ Conjecture for del Pezzo Surfaces and Rational Elliptic Surfaces
DESCRIPTION:Speaker: Yu-Shen Lin (Boston University) \nTitle: Full SYZ Conjecture for del Pezzo Surfaces and Rational Elliptic Surfaces \nAbstract: Strominger-Yau-Zaslow conjecture predicts the existence of special Lagrangian fibrations on Calabi-Yau manifolds. The conjecture inspires the development of mirror symmetry while the original conjecture has little progress. In this talk\, I will confirm the conjecture for the complement of a smooth anti-canonical divisor in del Pezzo surfaces. Moreover\, I will also construct the dual torus fibration on its mirror. As a consequence\, the special Lagrangian fibrations detect a non-standard semi-flat metric and some Ricci-flat metrics that don’t obviously appear in the literature. This is based on a joint work with T. Collins and A. Jacob.
URL:https://cmsa.fas.harvard.edu/event/2-22-2021-math-physics-seminar/
LOCATION:MA
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210223T090000
DTEND;TZID=America/New_York:20210223T103000
DTSTAMP:20260506T180936
CREATED:20230707T115234Z
LAST-MODIFIED:20240103T093827Z
UID:10000905-1614070800-1614076200@cmsa.fas.harvard.edu
SUMMARY:CMSA Math-Science Literature Lecture: Homological (homotopical) algebra and moduli spaces in Topological Field theories
DESCRIPTION:Kenji Fukaya (Simons Center for Geometry and Physics) \nTitle: Homological (homotopical) algebra and moduli spaces in Topological Field theories \nAbstract: Moduli spaces of various gauge theory equations and of various versions of (pseudo) holomorphic curve equations have played important role in geometry in these 40 years. Started with Floer’s work people start to obtain more sophisticated object such as groups\, rings\, or categories from (system of) moduli spaces. I would like to survey some of those works and the methods to study family of moduli spaces systematically. \nTalk chair: Peter Kronheimer \nSlides | Video
URL:https://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_fukaya/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/jpeg:https://cmsa.fas.harvard.edu/media/Lecture_Fukaya-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T103000
DTEND;TZID=America/New_York:20210224T120000
DTSTAMP:20260506T180936
CREATED:20240126T084756Z
LAST-MODIFIED:20240126T084821Z
UID:10001420-1614162600-1614168000@cmsa.fas.harvard.edu
SUMMARY:2/24/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-24-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T113000
DTEND;TZID=America/New_York:20210224T123000
DTSTAMP:20260506T180936
CREATED:20240126T084225Z
LAST-MODIFIED:20240126T084225Z
UID:10001418-1614166200-1614169800@cmsa.fas.harvard.edu
SUMMARY:2/23/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-23-2021-computer-science-for-mathematicians/
LOCATION:Virtual
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T150000
DTEND;TZID=America/New_York:20210224T160000
DTSTAMP:20260506T180936
CREATED:20240126T085540Z
LAST-MODIFIED:20240517T194101Z
UID:10001422-1614178800-1614182400@cmsa.fas.harvard.edu
SUMMARY:A Mathematical Language
DESCRIPTION:  \nSpeaker: Thomas Hales\, Univ. of Pittsburgh Dept. of Mathematics \nTitle: A Mathematical Language \nAbstract: A controlled natural language for mathematics is an artificial language that is designed in an explicit way with precise computer-readable syntax and semantics.  It is based on a single natural language (which for us is English) and can be broadly understood by mathematically literate English speakers.  This talk will describe the design of a controlled natural language for mathematics that has been influenced by the Lean theorem prover\, by TeX\, and by earlier controlled natural languages. The semantics are provided by dependent type theory.
URL:https://cmsa.fas.harvard.edu/event/2-24-2021-new-technologies-in-mathematics/
LOCATION:MA
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-New-Technologies-in-Mathematics-02.24.21.png
END:VEVENT
END:VCALENDAR