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: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:20210401T090000
DTEND;TZID=America/New_York:20210401T100000
DTSTAMP:20260507T001621
CREATED:20240126T080152Z
LAST-MODIFIED:20240126T080152Z
UID:10001400-1617267600-1617271200@cmsa.fas.harvard.edu
SUMMARY:4/1/2021 Strongly Correlated Quantum Materials
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/4-1-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:20210331T150000
DTEND;TZID=America/New_York:20210331T160000
DTSTAMP:20260507T001621
CREATED:20240126T083143Z
LAST-MODIFIED:20240515T195507Z
UID:10001412-1617202800-1617206400@cmsa.fas.harvard.edu
SUMMARY:Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL
DESCRIPTION:Speaker: Lawrence Paulson\, University of Cambridge Computer Laboratory  \nTitle: Doing Mathematics with Simple Types: Infinitary Combinatorics in Isabelle/HOL  \nAbstract: Are proof assistants relevant to mathematics? One approach to this question is to explore the breadth of mathematical topics that can be formalised. The partition calculus was introduced by Erdös and R. Rado in 1956 as the study of “analogues and extensions of Ramsey’s theorem”. Highly technical results were obtained by Erdös-Milner\, Specker and Larson (among many others) for the particular case of ordinal partition relations\, which is concerned with countable ordinals and order types. Much of this material was formalised last year (with the assistance of Džamonja and Koutsoukou-Argyraki). Some highlights of this work will be presented along with general observations about the formalisation of mathematics\, including ZFC\, in simple type theory. \n\n\n\n\n\n\n\n\n 
URL:https://cmsa.fas.harvard.edu/event/3-31-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-03.31.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210331T140000
DTEND;TZID=America/New_York:20210331T150000
DTSTAMP:20260507T001621
CREATED:20240212T073957Z
LAST-MODIFIED:20240212T073957Z
UID:10001877-1617199200-1617202800@cmsa.fas.harvard.edu
SUMMARY:Random Matrix & Probability Theory Seminar
DESCRIPTION:Beginning immediately\, until at least December 31\, all seminars will take place virtually\, through Zoom.\nIn the 2020-2021 AY\, the Random Matrix and Probability Theory Seminar will take place on select Wednesdays from 2:00 – 3:00pm virtually. This seminar is organized by Christian Brennecke (brennecke@math.harvard.edu ). \nTo learn how to attend this seminar\, please fill out this form. \nThe schedule below will be updated as the details are confirmed. \nSpring 2021:\n\n\n\n\nDate\nSpeaker\nTitle/Abstract\n\n\n\n\n3/31/2021\nPhilippe Sosoe\, Cornell University\nTitle:  Fluctuation bounds for O’Connell-Yor type systems \nAbstract: The O’Connell-Yor polymer is a fundamental model of a polymer in a random environment. It corresponds to the positive temperature version of Brownian Last Passage percolation. Although much is known about this model thanks to remarkable algebraic structure uncovered by O’Connell\, Yor and others\, basic estimates for the behavior of the tails of the centered partition function for finite N that are available for zero temperature models are missing. I will present an iterative estimate to obtain strong concentration and localization bounds  for the O’Connell-Yor polymer on an almost optimal scale N^{1/3+\epsilon}. \nIn the second part of the talk\, I will introduce a system of interacting diffusions describing the successive increments of partition functions of different sizes. For this system\, the N^{2/3} variance upper bound known for the OY polymer can be proved for a general class of interactions which are not expected to correspond to integrable models. \nJoint work with Christian Noack and Benjamin Landon.\n\n\n4/7/2021\nYue M. Lu\, Harvard\nTitle: Householder Dice: A Matrix-Free Algorithm for Simulating Dynamics on Random Matrices\n\nAbstract: In many problems in statistical learning\, random matrix theory\, and statistical physics\, one needs to simulate dynamics on random matrix ensembles. A classical example is to use iterative methods to compute the extremal eigenvalues/eigenvectors of a (spiked) random matrix. Other examples include approximate message passing on dense random graphs\, and gradient descent algorithms for solving learning and estimation problems with random initialization. We will show that all such dynamics can be simulated by an efficient matrix-free scheme\, if the random matrix is drawn from an ensemble with translation-invariant properties. Examples of such ensembles include the i.i.d. Gaussian (i.e. the rectangular Ginibre) ensemble\, the Haar-distributed random orthogonal ensemble\, the Gaussian orthogonal ensemble\, and their complex-valued counterparts.A “direct” approach to the simulation\, where one first generates a dense n × n matrix from the ensemble\, requires at least O(n^2) resource in space and time. The new algorithm\, named Householder Dice (HD)\, overcomes this O(n^2) bottleneck by using the principle of deferred decisions: rather than fixing the entire random matrix in advance\, it lets the randomness unfold with the dynamics. At the heart of this matrix-free algorithm is an adaptive and recursive construction of (random) Householder reflectors. These orthogonal transformations exploit the group symmetry of the matrix ensembles\, while simultaneously maintaining the statistical correlations induced by the dynamics. The memory and computation costs of the HD algorithm are O(nT) and O(n T^2)\, respectively\, with T being the number of iterations. When T ≪ n\, which is nearly always the case in practice\, the new algorithm leads to significant reductions in runtime and memory footprint.Finally\, the HD algorithm is not just a computational trick. I will show how its construction can serve as a simple proof technique for several problems in high-dimensional estimation\n\n\n4/14/2021\nCanceled\n\n\n\n4/16/2021\nFriday\nPatrick Lopatto (IAS)\nTitle: Fluctuations in local quantum unique ergodicity for generalized Wigner matrices \nAbstract: In a disordered quantum system\, delocalization can be understood in many ways. One of these is quantum unique ergodicity\, which was proven in the random matrix context by Bourgade and Yau. It states that for a given eigenvector and set of coordinates J\, the mass placed on J by the eigenvector tends to N^{-1}|J|\, the mass placed on those coordinates by the uniform distribution. Notably\, this convergence holds for any size of J\, showing that the eigenvectors distribute evenly on all scales. \nI will present a result which establishes that the fluctuations of these averages are Gaussian on scales where |J| is asymptotically less than N\, for generalized Wigner matrices with smooth entries. The proof uses new eigenvector observables\, which are analyzed dynamically using the eigenvector moment flow and the maximum principle. \nThis is joint work with Lucas Benigni.\n\n\n4/21/2021\nJean-Christophe Mourrat\, Courant Institute\, NYU\nTitle: Mean-field spin glasses: beyond Parisi’s formula?\n\nAbstract: Spin glasses are models of statistical mechanics encoding disordered interactions between many simple units. One of the fundamental quantities of interest is the free energy of the model\, in the limit when the number of units tends to infinity. For a restricted class of models\, this limit was predicted by Parisi\, and later rigorously proved by Guerra and Talagrand. I will first show how to rephrase this result using an infinite-dimensional Hamilton-Jacobi equation. I will then present partial results suggesting that this new point of view may allow to understand limit free energies for a larger class of models\, focusing in particular on the case in which the units are organized over two layers\, and only interact across layers.\n\n\n\n\n\nFall 2020:\n\n\n\n\nDate\nSpeaker\nTitle/Abstract\n\n\n\n\n9/9/2020\nYukun He (Zurich)\nTitle: Single eigenvalue fluctuations of sparse Erdős–Rényi graphs \nAbstract: I discuss the fluctuations of individual eigenvalues of the adjacency matrix of the Erdös-Rényi graph $G(N\,p)$. I show that if $N^{-1}\ll p \ll N^{-2/3}\, then all nontrivial eigenvalues away from 0 have asymptotically Gaussian fluctuations. These fluctuations are governed by a single random variable\, which has the interpretation of the total degree of the graph. The main technical tool of the proof is a rigidity bound of accuracy $N^{-1-\varepsilon}p^{-1/2}$ for the extreme eigenvalues\, which avoids the $(Np)^{-1}$-expansions from previous works. Joint work with Antti Knowles.\n\n\n10/14/2020\nDavid Belius (University of Basel)\nTitle: The TAP approach to mean field spin glasses \nAbstract: The Thouless-Anderson-Palmer (TAP) approach to the Sherrington-Kirkpatrick mean field spin glass model was proposed in one of the earliest papers on this model. Since then it has complemented subsequently elaborated methods  in theoretical physics and mathematics\, such as the replica method\, which are largely orthogonal to the TAP approach. The TAP approach has the advantage of being interpretable as a variational principle optimizing an energy/entropy trade-off\, as commonly encountered in statistical physics and large deviations theory\, and potentially allowing for a more direct characterization of the Gibbs measure and its “pure states”. In this talk I will recall the TAP approach\, and present preliminary steps towards a solution of mean field spin glass models entirely within a TAP framework.\n\n\n10/28/2020\nGiuseppe Genovese (University of Basel)\nTitle: Non-convex variational principles for the RS free energy of restricted Boltzmann machines \nAbstract: From the viewpoint of spin glass theory\, restricted Boltzmann machines represent a veritable challenge\, as to the lack of convexity prevents us to use Guerra’s bounds. Therefore even the replica symmetric approximation for the free energy presents some challenges. I will present old and new results around the topic along with some open problems.\n\n\n11/4/2020\nBenjamin Landon (MIT)\nTitle:  Fluctuations of the spherical Sherrington-Kirkpatrick model \nAbstract:  The SSK model was introduced by Kosterlitz\, Thouless and Jones as a simplification of the usual SK model with Ising spins. Fluctuations of its observables may be related to quantities from random matrix theory using integral representations.  In this informal talk we discuss some results on fluctuations of this model at critical temperature and with a magnetic field\n\n\n11/11/2020\n3:00 – 4:00pm\nLucas Benigni (University of Chicago)\nTitle:  Optimal delocalization for generalized Wigner matrices \nAbstract: We consider eigenvector statistics of large symmetric random matrices. When the matrix entries are sampled from independent Gaussian random variables\, eigenvectors are uniformly distributed on the sphere and numerous properties can be computed exactly. In particular\, we can bound their extremal coordinates with high probability. There has been an extensive amount of work on generalizing such a result\, known as delocalization\, to more general entry distributions. After giving a brief overview of the previous results going in this direction\, we present an optimal delocalization result for matrices with sub-exponential entries for all eigenvectors. The proof is based on the dynamical method introduced by Erdos-Yau\, an analysis of high moments of eigenvectors as well as new level repulsion estimates which will be presented during the talk. This is based on a joint work with P. Lopatto.\n\n\n11/18/2020\nSimone Warzel (Technical University of Munich)\nTitle:  Hierarchical quantum spin glasses\n\nAbstract: Hierarchical spin glasses such as the generalised random energy model are known to faithfully model typical energy landscapes in the classical theory of mean-field spin glasses. Their built-in hierarchical structure is known to emerge spontaneously in the spin-glass phase of\, e.g.\, the Sherrington-Kirkpatrick model. In this talk\, I will review recent results on the effects of a transversal magnetic field on such hierarchical quantum spin glasses.\nIn particular\, I will present a formula of Parisi-type for their free energy which allows to make predictions about the phase diagram.\n\n\n12/2/2020\nSabine Jansen (LMU Munich)\nTitle: Thermodynamics of a hierarchical mixture of cubes\n\nAbstract: The talk discusses a toy model for phase transitions in mixtures of incompressible droplets. The model consists of non-overlapping hypercubes of side-lengths 2^j\, j\in \N_0. Cubes belong to an admissible set such that if two cubes overlap\, then one cube is contained in the other\, a picture reminiscent of Mandelbrot’s fractal percolation model. I will present exact formulas for the entropy and pressure\, discuss phase transitions from a fluid phase with small cubes towards a condensed phase with a macroscopic cube\, and briefly sketch some broader questions on renormalization and cluster expansions that motivate the model. Based on arXiv:1909.09546 (J. Stat. Phys. 179 (2020)\, 309-340).\n\n\n\n\nFor information on previous seminars\, click here \nThe schedule will be updated as details are confirmed.
URL:https://cmsa.fas.harvard.edu/event/random-matrix-probability-theory-seminar/
LOCATION:MA
CATEGORIES:Random Matrix & Probability Theory Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210331T140000
DTEND;TZID=America/New_York:20210331T150000
DTSTAMP:20260507T001621
CREATED:20240126T075915Z
LAST-MODIFIED:20240126T191807Z
UID:10001399-1617199200-1617202800@cmsa.fas.harvard.edu
SUMMARY:3/31/2021 Random Matrix and Probability Theory Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-31-2021-random-matrix-and-probability-theory-seminar/
LOCATION:MA
CATEGORIES:Random Matrix & Probability Theory Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210331T103000
DTEND;TZID=America/New_York:20210331T120000
DTSTAMP:20260507T001621
CREATED:20240126T080956Z
LAST-MODIFIED:20240126T080956Z
UID:10001405-1617186600-1617192000@cmsa.fas.harvard.edu
SUMMARY:3/31/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-31-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210330T090000
DTEND;TZID=America/New_York:20210330T223000
DTSTAMP:20260507T001621
CREATED:20230707T115407Z
LAST-MODIFIED:20250305T210259Z
UID:10000906-1617094800-1617143400@cmsa.fas.harvard.edu
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://cmsa.fas.harvard.edu/event/cmsa-math-science-literature-lecture_kontsevich/
LOCATION:Virtual
CATEGORIES:Event,Math Science Literature Lecture Series
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/Lecture_Kontsevich-.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210325T103000
DTEND;TZID=America/New_York:20210325T120000
DTSTAMP:20260507T001621
CREATED:20240126T080731Z
LAST-MODIFIED:20240126T080731Z
UID:10001403-1616668200-1616673600@cmsa.fas.harvard.edu
SUMMARY:3/25/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-25-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210324T150000
DTEND;TZID=America/New_York:20210324T160000
DTSTAMP:20260507T001621
CREATED:20240126T083019Z
LAST-MODIFIED:20240515T195432Z
UID:10001411-1616598000-1616601600@cmsa.fas.harvard.edu
SUMMARY:Word and Graph Embeddings for Machine Learning
DESCRIPTION:Speaker: Steve Skiena\, Dept. of Computer Science and AI Insititute\, Stony Brook University \nTitle: Word and Graph Embeddings for Machine Learning \nAbstract: DeepWalk is an approach we have developed to construct vertex embeddings: vector representations of vertices which be applied to a very general class of problems in data mining and information retrieval. DeepWalk exploits an appealing analogy between sentences as sequences of words and random walks as sequences of vertices to transfer deep learning (unsupervised feature learning) techniques from natural language processing to network analysis. It has become extremely popular\, having been cited by over 4600 research papers since its publication at KDD 2014. In this talk\, I will introduce the notion of graph embeddings\, and demonstrate why they make such powerful features for machine learning applications. I will focus on more recent efforts concerning (1) fast embedding methods for very large networks\, (2) techniques for embedding dynamic graphs\, and (3) embedding spaces as models for knowledge generation. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/3-24-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-03.24.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210324T120000
DTEND;TZID=America/New_York:20210324T133000
DTSTAMP:20260507T001621
CREATED:20240126T080852Z
LAST-MODIFIED:20240126T080852Z
UID:10001404-1616587200-1616592600@cmsa.fas.harvard.edu
SUMMARY:3/24/2021 Quantum Matter seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-24-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210323T113000
DTEND;TZID=America/New_York:20210323T123000
DTSTAMP:20260507T001621
CREATED:20240126T081109Z
LAST-MODIFIED:20240126T081109Z
UID:10001406-1616499000-1616502600@cmsa.fas.harvard.edu
SUMMARY:3/23/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-23-2021-computer-science-for-mathematicians/
LOCATION:MA
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210322T100000
DTEND;TZID=America/New_York:20210322T110000
DTSTAMP:20260507T001621
CREATED:20240126T081458Z
LAST-MODIFIED:20240126T081458Z
UID:10001409-1616407200-1616410800@cmsa.fas.harvard.edu
SUMMARY:3/22/2021 Mathematical Physics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-22-2021-mathematical-physics-seminar/
LOCATION:Virtual
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210318T120000
DTEND;TZID=America/New_York:20210318T133000
DTSTAMP:20260507T001621
CREATED:20240126T081218Z
LAST-MODIFIED:20240126T081239Z
UID:10001407-1616068800-1616074200@cmsa.fas.harvard.edu
SUMMARY:3/18/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-18-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210317T103000
DTEND;TZID=America/New_York:20210318T120000
DTSTAMP:20260507T001621
CREATED:20240126T081353Z
LAST-MODIFIED:20240126T081353Z
UID:10001408-1615977000-1616068800@cmsa.fas.harvard.edu
SUMMARY:Exact symmetries and threshold states in two-dimensional models for QCD
DESCRIPTION:Speaker: Silviu Pufu (Princeton University) \nTitle: Exact symmetries and threshold states in two-dimensional models for QCD \nAbstract: Two-dimensional QCD models form an interesting playground for studying phenomena such as confinement and screening.  In this talk I will describe one such model\, namely a 2d SU(N) gauge theory with an adjoint and a fundamental fermion\, and explain how to compute the spectrum of bound states using discretized light-cone quantization at large N.  Surprisingly\, the spectrum of the discretized theory exhibits a large number of exact degeneracies\, for which I will provide two different explanations.  I will also discuss how these degeneracies provide a physical picture of confinement in 2d QCD with just a massless adjoint fermion.  This talk is based on joint work with R. Dempsey and I. Klebanov.
URL:https://cmsa.fas.harvard.edu/event/3-17-2021-quantum-in-mathematics-and-physics/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210311T103000
DTEND;TZID=America/New_York:20210311T120000
DTSTAMP:20260507T001621
CREATED:20240126T082804Z
LAST-MODIFIED:20240126T082804Z
UID:10001410-1615458600-1615464000@cmsa.fas.harvard.edu
SUMMARY:3/11/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-11-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210310T193000
DTEND;TZID=America/New_York:20210310T210000
DTSTAMP:20260507T001621
CREATED:20240213T090317Z
LAST-MODIFIED:20240213T090317Z
UID:10002282-1615404600-1615410000@cmsa.fas.harvard.edu
SUMMARY:3/10/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-10-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210310T150000
DTEND;TZID=America/New_York:20210310T160000
DTSTAMP:20260507T001621
CREATED:20240126T083441Z
LAST-MODIFIED:20240517T194750Z
UID:10001414-1615388400-1615392000@cmsa.fas.harvard.edu
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://cmsa.fas.harvard.edu/event/3-10-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-03.10.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210309T113000
DTEND;TZID=America/New_York:20210310T123000
DTSTAMP:20260507T001621
CREATED:20240213T090036Z
LAST-MODIFIED:20240227T111850Z
UID:10002280-1615289400-1615379400@cmsa.fas.harvard.edu
SUMMARY:3/9/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-9-2021-computer-science-for-mathematicians/
LOCATION:MA
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210308T100000
DTEND;TZID=America/New_York:20210308T110000
DTSTAMP:20260507T001621
CREATED:20240213T085724Z
LAST-MODIFIED:20240213T085724Z
UID:10002275-1615197600-1615201200@cmsa.fas.harvard.edu
SUMMARY:3/8/2021 Math Physics Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-8-2021-math-physics-seminar/
LOCATION:MA
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210304T103000
DTEND;TZID=America/New_York:20210304T120000
DTSTAMP:20260507T001621
CREATED:20240126T083259Z
LAST-MODIFIED:20240126T083259Z
UID:10001413-1614853800-1614859200@cmsa.fas.harvard.edu
SUMMARY:3/4/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-4-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210303T150000
DTEND;TZID=America/New_York:20210303T160000
DTSTAMP:20260507T001621
CREATED:20240126T084416Z
LAST-MODIFIED:20240517T194704Z
UID:10001419-1614783600-1614787200@cmsa.fas.harvard.edu
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://cmsa.fas.harvard.edu/event/3-3-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-03.03.21.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210303T103000
DTEND;TZID=America/New_York:20210303T120000
DTSTAMP:20260507T001621
CREATED:20240126T083602Z
LAST-MODIFIED:20240131T002532Z
UID:10001415-1614767400-1614772800@cmsa.fas.harvard.edu
SUMMARY:3/3/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-3-2021-quantum-matter-seminar/
LOCATION:Virtual
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210302T113000
DTEND;TZID=America/New_York:20210302T123000
DTSTAMP:20260507T001621
CREATED:20240126T083705Z
LAST-MODIFIED:20240126T083705Z
UID:10001416-1614684600-1614688200@cmsa.fas.harvard.edu
SUMMARY:3/2/2021 Computer Science for Mathematicians
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/3-2-2021-computer-science-for-mathematicians/
LOCATION:MA
CATEGORIES:Computer Science for Mathematicians Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210301T100000
DTEND;TZID=America/New_York:20210301T110000
DTSTAMP:20260507T001621
CREATED:20240126T083833Z
LAST-MODIFIED:20240126T083848Z
UID:10001417-1614592800-1614596400@cmsa.fas.harvard.edu
SUMMARY:Mathematical supergravity and its applications to differential geometry
DESCRIPTION:Speaker: Carlos S. Shahbazi (Hamburg University) \nTitle: Mathematical supergravity and its applications to differential geometry \nAbstract: I will discuss the recent developments in the mathematical theory of supergravity that lay the mathematical foundations of the universal bosonic sector of four-dimensional ungauged supergravity and its Killing spinor equations in a differential-geometric framework.  I will provide the necessary context and background. explaining the results pedagogically from scratch and highlighting several open mathematical problems which arise in the mathematical theory of supergravity\, as well as some of its potential mathematical applications. Work in collaboration with Vicente Cortés and Calin Lazaroiu.
URL:https://cmsa.fas.harvard.edu/event/3-1-2021-mathematical-physics-seminar/
LOCATION:Hybrid
CATEGORIES:Mathematical Physics Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210225T103000
DTEND;TZID=America/New_York:20210225T120000
DTSTAMP:20260507T001621
CREATED:20240126T084943Z
LAST-MODIFIED:20240126T084943Z
UID:10001421-1614249000-1614254400@cmsa.fas.harvard.edu
SUMMARY:2/25/2021 Quantum Matter Seminar
DESCRIPTION:
URL:https://cmsa.fas.harvard.edu/event/2-25-2021-quantum-matter-seminar/
LOCATION:MA
CATEGORIES:Quantum Matter
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T150000
DTEND;TZID=America/New_York:20210224T160000
DTSTAMP:20260507T001621
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
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20210224T113000
DTEND;TZID=America/New_York:20210224T123000
DTSTAMP:20260507T001621
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:20210224T103000
DTEND;TZID=America/New_York:20210224T120000
DTSTAMP:20260507T001621
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:20210223T090000
DTEND;TZID=America/New_York:20210223T103000
DTSTAMP:20260507T001621
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:20210222T100000
DTEND;TZID=America/New_York:20210222T110000
DTSTAMP:20260507T001621
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:20210218T103000
DTEND;TZID=America/New_York:20210218T120000
DTSTAMP:20260507T001621
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
END:VCALENDAR