BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CMSA
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: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: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
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210210T100000
DTEND;TZID=America/New_York:20210210T120000
DTSTAMP:20240126T091253Z
CREATED:20240126T091253Z
LAST-MODIFIED:20240126T091253Z
UID:10001430-1612951200-1612958400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:2/10/2021 Strongly Correlated Quantum Materials
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/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:20210128T103000
DTEND;TZID=America/New_York:20210129T000000
DTSTAMP:20240213T101813Z
CREATED:20240213T101813Z
LAST-MODIFIED:20240213T101813Z
UID:10002410-1611829800-1611878400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:1/28/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/1-28-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210127T090000
DTEND;TZID=America/New_York:20210127T103000
DTSTAMP:20250328T200938Z
CREATED:20230707T114914Z
LAST-MODIFIED:20250328T200938Z
UID:10000904-1611738000-1611743400@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/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://live-hu-cmsa-222.pantheonsite.io/media/Lecture_-Spielman-1-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210125T080000
DTEND;TZID=America/New_York:20210125T090000
DTSTAMP:20240126T095909Z
CREATED:20240126T095809Z
LAST-MODIFIED:20240126T095909Z
UID:10001445-1611561600-1611565200@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/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:20210120T150000
DTEND;TZID=America/New_York:20210120T160000
DTSTAMP:20240515T191339Z
CREATED:20240126T093733Z
LAST-MODIFIED:20240515T191339Z
UID:10001440-1611154800-1611158400@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/1-20-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-01.20.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210113T150000
DTEND;TZID=America/New_York:20210113T160000
DTSTAMP:20240517T201031Z
CREATED:20240126T093843Z
LAST-MODIFIED:20240517T201031Z
UID:10001441-1610550000-1610553600@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/1-13-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-01.13.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210113T090000
DTEND;TZID=America/New_York:20210113T103000
DTSTAMP:20250305T210038Z
CREATED:20230707T114651Z
LAST-MODIFIED:20250305T210038Z
UID:10000903-1610528400-1610533800@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_zagier/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_-Zagier.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210113T090000
DTEND;TZID=America/New_York:20210113T100000
DTSTAMP:20240529T173823Z
CREATED:20240215T093336Z
LAST-MODIFIED:20240529T173823Z
UID:10002720-1610528400-1610532000@live-hu-cmsa-222.pantheonsite.io
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://live-hu-cmsa-222.pantheonsite.io/event/1-13-2022-interdisciplinary-science-seminar/
LOCATION:Virtual
CATEGORIES:Interdisciplinary Science Seminar
ATTACH;FMTTYPE=image/png:https://live-hu-cmsa-222.pantheonsite.io/media/CMSA-Interdisciplinary-Science-Seminar-01.13.22.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20201209T150000
DTEND;TZID=America/New_York:20201209T160000
DTSTAMP:20240515T200218Z
CREATED:20240127T015429Z
LAST-MODIFIED:20240515T200218Z
UID:10001466-1607526000-1607529600@live-hu-cmsa-222.pantheonsite.io
SUMMARY:Machine learning and su(3) structures on six manifolds
DESCRIPTION:Speaker: James Gray – Virginia Tech \nTitle: Machine learning and su(3) structures on six manifolds \nAbstract: In this talk we will discuss the application of Machine Learning techniques to obtain numerical approximations to various metrics of SU(3) structure on six manifolds. More precisely\, we will be interested in SU(3) structures whose torsion classes make them suitable backgrounds for various string compactifications. A variety of aspects of this topic will be covered. These will include learning moduli dependent Ricci-Flat metrics on Calabi-Yau threefolds and obtaining numerical approximations to torsional SU(3) structures. \n 
URL:https://live-hu-cmsa-222.pantheonsite.io/event/12-9-2020-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-12.09.20.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20201204T080000
DTEND;TZID=America/New_York:20201204T093000
DTSTAMP:20240216T211848Z
CREATED:20230707T114517Z
LAST-MODIFIED:20240216T211848Z
UID:10000902-1607068800-1607074200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Michael Atiyah: Geometry and Physics
DESCRIPTION:Nigel Hitchin (University of Oxford) \nTitle: Michael Atiyah: Geometry and Physics \nAbstract: In mid-career\, as an internationally renowned mathematician\, Michael Atiyah discovered that some problems in physics responded to current work in algebraic geometry and this set him on a path to develop an active interface between mathematics and physics which was formative in the links which are so active today. The talk will focus\, in a fairly basic fashion\, on some examples of this interaction\, which involved both applying physical ideas to solve mathematical problems and introducing mathematical ideas to physicists. \nTalk chair: Peter Kronheimer \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_hitchin/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Hitchin-pdf.jpeg
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20201202T140000
DTEND;TZID=America/New_York:20201202T150000
DTSTAMP:20240127T015810Z
CREATED:20240127T015810Z
LAST-MODIFIED:20240127T015810Z
UID:10001469-1606917600-1606921200@live-hu-cmsa-222.pantheonsite.io
SUMMARY:12/2/2020 Random Matrix and Probability Theory
DESCRIPTION:
URL:https://live-hu-cmsa-222.pantheonsite.io/event/12-2-2020-random-matrix-and-probability-theory/
LOCATION:Virtual
CATEGORIES:Random Matrix & Probability Theory Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20201202T080000
DTEND;TZID=America/New_York:20201202T093000
DTSTAMP:20250409T192441Z
CREATED:20230707T114306Z
LAST-MODIFIED:20250409T192441Z
UID:10000901-1606896000-1606901400@live-hu-cmsa-222.pantheonsite.io
SUMMARY:CMSA Math-Science Literature Lecture: Is relativity compatible with quantum theory?
DESCRIPTION:Arthur Jaffe (Harvard University) \nTitle: Is relativity compatible with quantum theory? \nAbstract: We review the background\, mathematical progress\, and open questions in the effort to determine whether one can combine quantum mechanics\, special relativity\, and interaction together into one mathematical theory. This field of mathematics is known as “constructive quantum field theory.”  Physicists believe that such a theory describes experimental measurements made over a 70 year period and now refined to 13-decimal-point precision—the most accurate experiments ever performed. \nTalk chair: Zhengwei Liu \nVideo
URL:https://live-hu-cmsa-222.pantheonsite.io/event/cmsa-math-science-literature-lecture_jaffe/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series,Special Lectures
ATTACH;FMTTYPE=image/jpeg:https://live-hu-cmsa-222.pantheonsite.io/media/Lecture_Jaffe-pdf.jpeg
END:VEVENT
END:VCALENDAR