BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://live-hu-cmsa-222.pantheonsite.io
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: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:20210722T090000
DTEND;TZID=America/New_York:20210722T100000
DTSTAMP:20240227T090807Z
CREATED:20240213T085509Z
LAST-MODIFIED:20240227T090807Z
UID:10002271-1626944400-1626948000@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Moduli spaces of stable pairs on algebraic surfaces
DESCRIPTION:Interdisciplinary Science Seminar \nSpeaker: Yinbang Lin (Tongji University) \nTitle: Moduli spaces of stable pairs on algebraic surfaces \nAbstract: As a variant of Grothendieck’s Quot schemes\, we introduce the moduli space of limit stable pairs. We show an example over a smooth projective algebraic surface where there is a virtual fundamental class. We are able to describe this class explicitly. We will also show an application towards moduli of sheaves.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/7-22-2021-interdisciplinary-science-seminar/
LOCATION:Virtual
CATEGORIES:Interdisciplinary Science Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210715T103000
DTEND;TZID=America/New_York:20210715T123000
DTSTAMP:20240125T164707Z
CREATED:20240125T164550Z
LAST-MODIFIED:20240125T164707Z
UID:10001338-1626345000-1626352200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Hybrid Fracton Orders
DESCRIPTION:Nathanan Tantivasadakarn (Harvard) \nVideo\nTitle: Hybrid Fracton Orders \nAbstract: I will introduce a family of gapped quantum phases that exhibit the phenomenology of both conventional three-dimensional topological orders and fracton orders called “Hybrid Fracton Orders”.  First\, I will present the simplest example of such an order: the “Hybrid X-cube” model\, where excitations can be labeled identically to those of the Z2 toric code tensored with the Z2 X-cube model\, but exhibit fusion and braiding properties between the two sets of excitations. Next\, I will provide a general construction of hybrid fracton orders which inputs a finite group G and an abelian normal subgroup N and produces an exactly solvable model. Such order can host non-abelian fracton excitations when G is non-abelian. Furthermore\, the mobilities of a general excitation is dictated by the choice of N\, from which by varying\, one can view as “interpolating” between a pure 3D topological order and a pure fracton order. \nBased on 2102.09555 and 2106.03842\n\n\n\n  \n  \n 
URL:https://live-hu-cmsa-222.pantheonsite.io/event/hybrid-fracton-orders/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210707T103000
DTEND;TZID=America/New_York:20210707T120000
DTSTAMP:20240125T165153Z
CREATED:20240125T165153Z
LAST-MODIFIED:20240125T165153Z
UID:10001341-1625653800-1625659200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:7/7/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/7-7-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210615T110000
DTEND;TZID=America/New_York:20210615T123000
DTSTAMP:20240216T211240Z
CREATED:20230707T173422Z
LAST-MODIFIED:20240216T211240Z
UID:10001814-1623754800-1623760200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Nonlinear stability of Kerr black holes for small angular momentum
DESCRIPTION:Sergiu Klainerman (Princeton University) \nTitle: Nonlinear stability of Kerr black holes for small angular momentum \nAbstract: According to a well-known conjecture\,  initial data sets\,  for the Einstein vacuum equations\, sufficiently close to a Kerr solution with parameters $a\, m$\, $|a|/m <1$\, have maximal developments with complete future null infinity and with domain of outer communication (i.e complement of a future event horizon)   which approaches  (globally)  a nearby Kerr solution. I will describe the main ideas in my recent joint work with Jeremie Szeftel concerning the resolution of the conjecture for small angular momentum\, i.e. $\, $|a|/m $ sufficiently small. The work\, ArXiv:2104.11857v1\,  also depends on forthcoming work on solutions of nonlinear wave equations in realistic perturbations of Kerr\,  with Szeftel and Elena Giorgi\,  which I will also describe. \nTalk chair: Lydia Bieri  \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_klainerman/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Klainerman-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210507T110000
DTEND;TZID=America/New_York:20210509T204500
DTSTAMP:20250328T144404Z
CREATED:20230707T173106Z
LAST-MODIFIED:20250328T144404Z
UID:10000915-1620385200-1620593100@live-hu-cmsa-222.pantheonsite.io
SUMMARY:FRG Workshop on Geometric Methods for Analyzing Discrete Shapes
DESCRIPTION:This workshop will take place May 7-9 (Friday-Sunday)\, 2021 virtually on Zoom\nThe aim of the workshop is to bring together a community of researchers in mathematics\, computer science\, and data science who develop theoretical and computational models to characterize shapes and analysis of image data. \nThis workshop is part of the NSF FRG project: Geometric and Topological Methods for Analyzing Shapes. \nThe first half of the workshop will feature talks aimed at graduate students\, newcomers\, and a broad spectrum of audiences. Christopher Bishop (Stony Brook) and Keenan Crane (Carnegie Mellon) will each give two featured talks. The remaining part will have both background and research talks. There will also be organized discussions of open problems and potential applications. \nFor the discussions\, we are soliciting open problems in mathematical theory and applications of shape analysis. You are encouraged to post problems by sending an email to geometricproblemsfrg@gmail.com. \nWe invite junior researchers to present a short talk in the workshop. The session will be held on Friday\, May 7th or Saturday\, May 8th at 4pm and are expected to be 15-20 minutes in length. It is a great opportunity to share your work and get to know others at the workshop. Depending on the number of contributed talks\, the organizers will review the submissions and let you know if you have been selected. If you are interested please send your title and abstract to tianqi@cmsa.fas.harvard.edu by the end of May 2nd. \n  \nOrganizers: \n\nDavid Glickenstein\, University of Arizona\nJoel Hass\, University of California\, Davis\nPatrice Koehl\, University of California\, Davis\nFeng Luo\, Rutgers University\, New Brunswick\nTianqi Wu\, Harvard University\nShing-Tung Yau\, Harvard University\n\nFeatured lectures: \n\nChristopher Bishop\, Stony Brook\nKeenan Crane\, Carnegie Mellon\n\nSpeakers include: \n\nMiri Ben-Chen\, Technion – Israel Institute of Technology\nAlexander Bobenko\, Technische Universität Berlin\, Germany\nUlrike Buecking\, Free University\, Germany\nNadav Dym\, Duke University\nIvan Izmestiev\, Vienna University of Technology\nYanwen Luo\, Rutgers\nStephan Tillmann\, The University of Sydney\nMax Wardetzky\, University of Goettingen\nXu Xu\, Wuhan University
URL:https://live-hu-cmsa-222.pantheonsite.io/event/frg-workshop-on-geometric-methods-for-analyzing-discrete-shapes/
LOCATION:Virtual
CATEGORIES:Event,Workshop
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/FRG-Workshop-On-Geometric-Methods-For-Analyzing-Discrete-Shapes.jpg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210427T090000
DTEND;TZID=America/New_York:20210427T103000
DTSTAMP:20250305T174246Z
CREATED:20230707T172620Z
LAST-MODIFIED:20250305T174246Z
UID:10000913-1619514000-1619519400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Moment maps and the Yang-Mills functional
DESCRIPTION:Frances Kirwan (University of Oxford) \nTitle: Moment maps and the Yang-Mills functional \nAbstract: In the early 1980s Michael Atiyah and Raoul Bott wrote two influential papers\, ‘The Yang-Mills equations over Riemann surfaces’ and ‘The moment map and equivariant cohomology’\, bringing together ideas ranging from algebraic and symplectic geometry through algebraic topology to mathematical physics and number theory. The aim of this talk is to explain their key insights and some of the new directions towards which these papers led. \nThis talk is part of a subprogram of the Mathematical Science Literature Lecture series\, a Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch and Singer. \nTalk chair: Peter Kronheimer \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_kirwan/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Kirwan.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210426T100000
DTEND;TZID=America/New_York:20210426T110000
DTSTAMP:20240126T064113Z
CREATED:20240126T064113Z
LAST-MODIFIED:20240126T064113Z
UID:10001381-1619431200-1619434800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:4/26/2021 Math Physics Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-26-2021-math-physics-seminar/
LOCATION:Virtual
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210423T160000
DTEND;TZID=America/New_York:20210423T183000
DTSTAMP:20250328T185338Z
CREATED:20230707T172354Z
LAST-MODIFIED:20250328T185338Z
UID:10000912-1619193600-1619202600@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Indistinguishability Obfuscation: How to Hide Secrets within Software
DESCRIPTION:Amit Sahai  (UCLA) \nTitle: Indistinguishability Obfuscation: How to Hide Secrets within Software \nAbstract: At least since the initial public proposal of public-key cryptography based on computational hardness conjectures (Diffie and Hellman\, 1976)\, cryptographers have contemplated the possibility of a “one-way compiler” that translates computer programs into “incomprehensible” but equivalent forms. And yet\, the search for such a “one-way compiler” remained elusive for decades. \nIn this talk\, we look back at our community’s attempts to formalize the notion of such a compiler\, culminating in our 2001 work with Barak\, Goldreich\, Impagliazzo\, Rudich\, Vadhan\, and Yang\, which proposed the notion of indistinguishability obfuscation (iO). Roughly speaking\, iO requires that the compiled versions of any two equivalent programs (with the same size and running time) be indistinguishable to any efficient adversary. Leveraging the notion of punctured programming\, introduced in our work with Waters in 2013\, well over a hundred papers have explored the remarkable power of iO. \nWe’ll then discuss the intense effort that recently culminated in our 2020 work with Jain and Lin\, finally showing how to construct iO in such a way that\, for the first time\, we can prove the security of our iO scheme based on well-studied computational hardness conjectures in cryptography. \nTalk chair: Sergiy Verstyuk \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_sahai/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Sahai-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210422T103000
DTEND;TZID=America/New_York:20210422T120000
DTSTAMP:20240126T064439Z
CREATED:20240126T064439Z
LAST-MODIFIED:20240126T064439Z
UID:10001383-1619087400-1619092800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:4/22/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-22-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210421T150000
DTEND;TZID=America/New_York:20210421T160000
DTSTAMP:20240515T192602Z
CREATED:20240126T065403Z
LAST-MODIFIED:20240515T192602Z
UID:10001388-1619017200-1619020800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Homotopy type theory and the quest for extensionality
DESCRIPTION:Speaker: Michael Shulman – Dept. of Mathematics\, University of San Diego \nTitle: Homotopy type theory and the quest for extensionality \nAbstract: Over the past decades\, dependent type theory has proven to be a powerful framework for verified software and formalized mathematics.  However\, its treatment of equality has always been somewhat uncomfortable.  Recently\, homotopy type theory has made progress towards a more useful notion of equality\, which natively implements both isomorphism-invariance in mathematics and representation-independence in programming. This progress is based on ideas from abstract homotopy theory and higher category theory\, and with the development of cubical type theories it can be implemented as a true programming language.  In this talk\, I will survey these developments and their potential applications\, and suggest some directions for further improvement. \n 
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-21-2021-new-tech-in-math-seminar/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/CMSA-New-Technologies-in-Mathematics-04.21.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210421T103000
DTEND;TZID=America/New_York:20210421T120000
DTSTAMP:20240126T063939Z
CREATED:20240126T063939Z
LAST-MODIFIED:20240126T063939Z
UID:10001380-1619001000-1619006400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:4/21/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-21-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210420T090000
DTEND;TZID=America/New_York:20210420T103000
DTSTAMP:20250328T201355Z
CREATED:20230707T172100Z
LAST-MODIFIED:20250328T201355Z
UID:10000911-1618909200-1618914600@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: The Atiyah-Singer Index Theorem
DESCRIPTION:Dan Freed (The University of Texas at Austin) \nTitle: The Atiyah-Singer Index Theorem \nAbstract: The story of the index theorem ties together the Gang of Four—Atiyah\, Bott\, Hirzebruch\, and Singer—and lies at the intersection of analysis\, geometry\, and topology. In the first part of the talk I will recount high points in the early developments. Then I turn to subsequent variations and applications. Throughout I emphasize the role of the Dirac operator. \nThis talk is part of a subprogram of the Mathematical Science Literature Lecture series\, a Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch and Singer. \nTalk chair: Cumrun Vafa \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_freed/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Freed-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210419T100000
DTEND;TZID=America/New_York:20210419T110000
DTSTAMP:20240126T065219Z
CREATED:20240126T065219Z
LAST-MODIFIED:20240126T065219Z
UID:10001387-1618826400-1618830000@live-hu-cmsa-222.pantheonsite.io
SUMMARY:4/19/2021 Mathematical Physics Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-19-2021-mathematical-physics-seminar/
LOCATION:Virtual
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210416T140000
DTEND;TZID=America/New_York:20210416T150000
DTSTAMP:20240126T064234Z
CREATED:20240126T064234Z
LAST-MODIFIED:20240126T064234Z
UID:10001382-1618581600-1618585200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:4/16/2021 Random Matrix and Probability Theory Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-16-2021-random-matrix-and-probability-theory-seminar/
LOCATION:Virtual
CATEGORIES:Random Matrix & Probability Theory Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210416T130000
DTEND;TZID=America/New_York:20210416T143000
DTSTAMP:20250328T201348Z
CREATED:20230707T171834Z
LAST-MODIFIED:20250328T201348Z
UID:10000910-1618578000-1618583400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Deep Networks from First Principles
DESCRIPTION:Yi MaPhoto Copyright Noah Berger / 2019\n  \nYi Ma (University of California\, Berkeley) \nTitle: Deep Networks from First Principles \nAbstract: In this talk\, we offer an entirely “white box’’ interpretation of deep (convolution) networks from the perspective of data compression (and group invariance). In particular\, we show how modern deep layered architectures\, linear (convolution) operators and nonlinear activations\, and even all parameters can be derived from the principle of maximizing rate reduction (with group invariance). All layers\, operators\, and parameters of the network are explicitly constructed via forward propagation\, instead of learned via back propagation. All components of so-obtained network\, called ReduNet\, have precise optimization\, geometric\, and statistical interpretation. There are also several nice surprises from this principled approach: it reveals a fundamental tradeoff between invariance and sparsity for class separability; it reveals a fundamental connection between deep networks and Fourier transform for group invariance – the computational advantage in the spectral domain (why spiking neurons?); this approach also clarifies the mathematical role of forward propagation (optimization) and backward propagation (variation). In particular\, the so-obtained ReduNet is amenable to fine-tuning via both forward and backward (stochastic) propagation\, both for optimizing the same objective. This is joint work with students Yaodong Yu\, Ryan Chan\, Haozhi Qi of Berkeley\, Dr. Chong You now at Google Research\, and Professor John Wright of Columbia University. \nTalk chair: Harry Shum \nSlides | Video
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_ma/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Ma-1-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210415T090000
DTEND;TZID=America/New_York:20210415T100000
DTSTAMP:20240126T065040Z
CREATED:20240126T065040Z
LAST-MODIFIED:20240126T065040Z
UID:10001386-1618477200-1618480800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:4/15/2021 Interdisciplinary Science Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-15-2021-interdisciplinary-science-seminar/
LOCATION:Virtual
CATEGORIES:Interdisciplinary Science Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210414T150000
DTEND;TZID=America/New_York:20210414T160000
DTSTAMP:20240517T194855Z
CREATED:20240126T064644Z
LAST-MODIFIED:20240517T194855Z
UID:10001384-1618412400-1618416000@live-hu-cmsa-222.pantheonsite.io
SUMMARY:A Bayesian neural network predicts the dissolution of compact planetary systems
DESCRIPTION:Speaker: Miles Cranmer – Princeton University \nTitle: A Bayesian neural network predicts the dissolution of compact planetary systems \nAbstract: Despite over three hundred years of effort\, no solutions exist for predicting when a general planetary configuration will become unstable. I will discuss our deep learning architecture (arxiv:2101.04117) which pushes forward this problem for compact systems. While current machine learning algorithms in this area rely on scientist-derived instability metrics\, our new technique learns its own metrics from scratch\, enabled by a novel internal structure inspired from dynamics theory. The Bayesian neural network model can accurately predict not only if\, but also when a compact planetary system with three or more planets will go unstable. Our model\, trained directly from short N-body time series of raw orbital elements\, is more than two orders of magnitude more accurate at predicting instability times than analytical estimators\, while also reducing the bias of existing machine learning algorithms by nearly a factor of three. Despite being trained on three-planet configurations\, the model demonstrates robust generalization to five-planet systems\, even outperforming models designed for that specific set of integrations. I will also discuss some work on recovering symbolic representations of such models using arxiv:2006.11287.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/4-14-2021-new-technologies-in-mathematics/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/CMSA-New-Technologies-in-Mathematics-04.14.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210408T090000
DTEND;TZID=America/New_York:20210408T103000
DTSTAMP:20250328T201342Z
CREATED:20230707T171436Z
LAST-MODIFIED:20250328T201342Z
UID:10000909-1617872400-1617877800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Quantum error correcting codes and fault tolerance
DESCRIPTION:Peter Shor (MIT) \nTitle: Quantum error correcting codes and fault tolerance \nAbstract: We will go over the fundamentals of quantum error correction and fault tolerance and survey some of the recent developments in the field.\n\nTalk chair: Zhengwei Liu \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_shor/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Shor.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210406T090000
DTEND;TZID=America/New_York:20210427T103000
DTSTAMP:20250409T192611Z
CREATED:20230707T171215Z
LAST-MODIFIED:20250409T192611Z
UID:10000908-1617699600-1619519400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch\, and Singer
DESCRIPTION:In 2021\, the CMSA hosted a lecture series on the literature of the mathematical sciences. This series highlights significant accomplishments in the intersection between mathematics and the sciences. Speakers include Edward Witten\, Lydia Bieri\, Simon Donaldson\, Michael Freedman\, Dan Freed\, and many more. \nVideos of these talks can be found in this Youtube playlist. \n \nIn the Spring 2021 semester\, the CMSA hosted a sub-program on this series titled A Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch and Singer. Below is the schedule for talks in that subprogram \nApril 6\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nEdward Witten (IAS) \nTitle: Isadore Singer’s Work on Analytic Torsion\n\n\n\n\n\nApril 13\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nClaire Voisin (College de France) \nTitle: K-theory and characteristic classes in topology and complex geometry  (a tribute to Atiyah and Hirzebruch)\n\n\n\n\n\nApril 20\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nDan Freed (the University of Texas at Austin) \nTitle: The Atiyah-Singer Index Theorem\n\n\n\n\n\nApril 27\, 2021 | 9:00 – 10:30am ET\n\n\n\n\nFrances Kirwan (University of Oxford) \nTitle: Moment maps and the Yang-Mills functional
URL:https://live-hu-cmsa-222.pantheonsite.io/event/memorial-conference-for-the-founders-of-index-theory-atiyah-bott-hirzebruch-and-singer/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Special Lectures
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210406T090000
DTEND;TZID=America/New_York:20210406T103000
DTSTAMP:20250328T201336Z
CREATED:20230707T115709Z
LAST-MODIFIED:20250328T201336Z
UID:10000907-1617699600-1617705000@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Isadore Singer’s Work on Analytic Torsion
DESCRIPTION:Edward Witten (IAS) \nTitle: Isadore Singer’s Work on Analytic Torsion \nAbstract:  I will review two famous papers of Ray and Singer on analytic torsion written approximately half a century ago. Then I will sketch the influence of analytic torsion in a variety of areas of physics including anomalies\, topological field theory\, and string theory. \nThis talk is part of a subprogram of the Mathematical Science Literature Lecture series\, a Memorial Conference for the founders of index theory: Atiyah\, Bott\, Hirzebruch\, and Singer. \nTalk chair: Cumrun Vafa \nSlides | Video
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_witten-2/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Public Lecture,Special Lectures
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Witten.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210330T090000
DTEND;TZID=America/New_York:20210330T223000
DTSTAMP:20250305T210259Z
CREATED:20230707T115407Z
LAST-MODIFIED:20250305T210259Z
UID:10000906-1617094800-1617143400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: On the History of quantum cohomology and homological mirror symmetry
DESCRIPTION:Maxim Kontsevich  (IHÉS) \nTitle: On the History of quantum cohomology and homological mirror symmetry \nAbstract: About 30 years ago\, string theorists made remarkable discoveries of hidden structures in algebraic geometry.  First\, the usual cup-product on the cohomology of a complex projective variety admits a canonical multi-parameter deformation to so-called quantum product\, satisfying a nice system of differential equations (WDVV equations).  The second discovery\, even more striking\,  is Mirror Symmetry\, a duality between families of Calabi-Yau varieties acting as a mirror reflection on the Hodge diamond. \nLater it was realized that the quantum product belongs to the realm of symplectic geometry\, and a half of mirror symmetry (called Homological Mirror Symmetry) is a duality between complex algebraic and symplectic varieties. The search of correct definitions and possible generalizations lead to great advances in many domains\, giving mathematicians new glasses\, through which they can see familiar objects in a completely new way. \nI will review the history of major mathematical advances in the subject of HMS\, and the swirl of ideas around it. \nTalk chair: Paul Seidel \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_kontsevich/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Kontsevich-.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210322T100000
DTEND;TZID=America/New_York:20210322T110000
DTSTAMP:20240126T081458Z
CREATED:20240126T081458Z
LAST-MODIFIED:20240126T081458Z
UID:10001409-1616407200-1616410800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:3/22/2021 Mathematical Physics Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/3-22-2021-mathematical-physics-seminar/
LOCATION:Virtual
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210310T150000
DTEND;TZID=America/New_York:20210310T160000
DTSTAMP:20240517T194750Z
CREATED:20240126T083441Z
LAST-MODIFIED:20240517T194750Z
UID:10001414-1615388400-1615392000@live-hu-cmsa-222.pantheonsite.io
SUMMARY:The Ramanujan Machine: Using Algorithms for the Discovery of Conjectures on Mathematical Constants
DESCRIPTION:Speaker: Ido Kaminer\, Technion – Israel Institute of Technology\, Faculty of Electrical Engineering \nTitle: The Ramanujan Machine: Using Algorithms for the Discovery of Conjectures on Mathematical Constants \nAbstract: In the past\, new conjectures about fundamental constants were discovered sporadically by famous mathematicians such as Newton\, Euler\, Gauss\, and Ramanujan. The talk will present a different approach – a systematic algorithmic approach that discovers new mathematical conjectures on fundamental constants. We call this approach “the Ramanujan Machine”. The algorithms found dozens of well-known formulas as well as previously unknown ones\, such as continued fraction representations of π\, e\, Catalan’s constant\, and values of the Riemann zeta function. Part of the conjectures were in retrospect simple to prove\, whereas others remained so far unproved. We will discuss these puzzles and wider open questions that arose from this algorithmic investigation – specifically\, a newly-discovered algebraic structure that seems to generalize all the known formulas and connect between fundamental constants. We will also discuss two algorithms that proved useful in finding conjectures: a variant of the meet-in-the-middle algorithm and a gradient descent algorithm tailored to the recurrent structure of continued fractions. Both algorithms are based on matching numerical values; consequently\, they conjecture formulas without providing proofs or requiring prior knowledge of the underlying mathematical structure. This way\, our approach reverses the conventional usage of sequential logic in formal proofs; instead\, using numerical data to unveil mathematical structures and provide leads to further mathematical research.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/3-10-2021-new-tech-in-math/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/CMSA-New-Technologies-in-Mathematics-03.10.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210303T150000
DTEND;TZID=America/New_York:20210303T160000
DTSTAMP:20240517T194704Z
CREATED:20240126T084416Z
LAST-MODIFIED:20240517T194704Z
UID:10001419-1614783600-1614787200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models
DESCRIPTION:Speaker: Jason Rute\, CIBO Technologies \nTitle: Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models \nAbstract: Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built. This is particularly challenging when applying large Transformer language models to tactic prediction\, because the scaling of performance with respect to model size is quickly disrupted in the data-scarce\, easily-overfitted regime. We propose PACT ({\bf P}roof {\bf A}rtifact {\bf C}o-{\bf T}raining)\, a general methodology for extracting abundant self-supervised data from kernel-level proof terms for co-training alongside the usual tactic prediction objective. We apply this methodology to Lean\, an interactive proof assistant which hosts some of the most sophisticated formalized mathematics to date. We instrument Lean with a neural theorem prover driven by a Transformer language model and show that PACT improves theorem proving success rate on a held-out suite of test theorems from 32% to 48%.
URL:https://live-hu-cmsa-222.pantheonsite.io/event/3-3-2021-new-tech-in-math/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/CMSA-New-Technologies-in-Mathematics-03.03.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210303T103000
DTEND;TZID=America/New_York:20210303T120000
DTSTAMP:20240131T002532Z
CREATED:20240126T083602Z
LAST-MODIFIED:20240131T002532Z
UID:10001415-1614767400-1614772800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:3/3/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/3-3-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T113000
DTEND;TZID=America/New_York:20210224T123000
DTSTAMP:20240126T084225Z
CREATED:20240126T084225Z
LAST-MODIFIED:20240126T084225Z
UID:10001418-1614166200-1614169800@live-hu-cmsa-222.pantheonsite.io
SUMMARY:2/23/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/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:20210223T090000
DTEND;TZID=America/New_York:20210223T103000
DTSTAMP:20240103T093827Z
CREATED:20230707T115234Z
LAST-MODIFIED:20240103T093827Z
UID:10000905-1614070800-1614076200@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_fukaya/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Fukaya-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210218T103000
DTEND;TZID=America/New_York:20210218T120000
DTSTAMP:20240126T090220Z
CREATED:20240126T090220Z
LAST-MODIFIED:20240126T090220Z
UID:10001425-1613644200-1613649600@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/2-18-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210217T103000
DTEND;TZID=America/New_York:20210217T120000
DTSTAMP:20240126T090340Z
CREATED:20240126T090325Z
LAST-MODIFIED:20240126T090340Z
UID:10001426-1613557800-1613563200@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/2-17-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210216T133000
DTEND;TZID=America/New_York:20210216T143000
DTSTAMP:20240126T090101Z
CREATED:20240126T090101Z
LAST-MODIFIED:20240126T090101Z
UID:10001424-1613482200-1613485800@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/2-16-2021-computer-science-for-mathematicians/
LOCATION:Virtual
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
END:VCALENDAR