BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.17.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://cmsa.fas.harvard.edu
X-WR-CALDESC:Events for CMSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART: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
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221005T140000
DTEND;TZID=America/New_York:20221005T160000
DTSTAMP:20240214T110102Z
CREATED:20230808T184616Z
LAST-MODIFIED:20240214T110102Z
UID:10001212-1664978400-1664985600@cmsa.fas.harvard.edu
SUMMARY:Minerva: Solving Quantitative Reasoning Problems with Language Models
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Guy Gur-Ari\, Google Research \nTitle: Minerva: Solving Quantitative Reasoning Problems with Language Models \nAbstract: Quantitative reasoning tasks which can involve mathematics\, science\, and programming are often challenging for machine learning models in general and for language models in particular. We show that transformer-based language models obtain significantly better performance on math and science questions when trained in an unsupervised way on a large\, math-focused dataset. Performance can be further improved using prompting and sampling techniques including chain-of-thought and majority voting. Minerva\, a model that combines these techniques\, achieves SOTA on several math and science benchmarks. I will describe the model\, its capabilities and limitations.
URL:https://cmsa.fas.harvard.edu/event/minerva-solving-quantitative-reasoning-problems-with-language-models/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/10.05.2022.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221005T160000
DTEND;TZID=America/New_York:20221005T170000
DTSTAMP:20240229T110447Z
CREATED:20230817T173038Z
LAST-MODIFIED:20240229T110447Z
UID:10001266-1664985600-1664989200@cmsa.fas.harvard.edu
SUMMARY:Quantum statistical mechanics of charged black holes and strange metals
DESCRIPTION:Colloquium \nPlease note this colloquium will be held at a special time:  4:00-5:00 pm. \nSpeaker: Subir Sachdev (Harvard) \nTitle: Quantum statistical mechanics of charged black holes and strange metals\n\nAbstract: The Sachdev-Ye-Kitaev model was introduced as a toy model of interacting fermions without any particle-like excitations. I will describe how this toy model yields the universal low energy quantum theory of generic charged black holes in asymptotically 3+1 dimensional Minkowski space. I will also discuss how extensions of the SYK model yield a realistic theory of the strange metal phase of correlated electron systems.\n\n\nSlides: cmsa22
URL:https://cmsa.fas.harvard.edu/event/colloquium_10522/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.05.22-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221007T110000
DTEND;TZID=America/New_York:20221007T120000
DTSTAMP:20240301T081713Z
CREATED:20240214T105028Z
LAST-MODIFIED:20240301T081713Z
UID:10002681-1665140400-1665144000@cmsa.fas.harvard.edu
SUMMARY:Principal flow\, sub-manifold and boundary
DESCRIPTION:Member Seminar  \nSpeaker: Zhigang Yao \nTitle: Principal flow\, sub-manifold and boundary \nAbstract: While classical statistics has dealt with observations which are real numbers or elements of a real vector space\, nowadays many statistical problems of high interest in the sciences deal with the analysis of data which consist of more complex objects\, taking values in spaces which are naturally not (Euclidean) vector spaces but which still feature some geometric structure. I will discuss the problem of finding principal components to the multivariate datasets\, that lie on an embedded nonlinear Riemannian manifold within the higher-dimensional space. The aim is to extend the geometric interpretation of PCA\, while being able to capture the non-geodesic form of variation in the data. I will introduce the concept of a principal sub-manifold\, a manifold passing through the center of the data\, and at any point on the manifold extending in the direction of highest variation in the space spanned by the eigenvectors of the local tangent space PCA. We show the principal sub-manifold yields the usual principal components in Euclidean space. We illustrate how to find\, use and interpret the principal sub-manifold\, by which a principal boundary can be further defined for data sets on manifolds.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-10722/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221012T123000
DTEND;TZID=America/New_York:20221012T133000
DTSTAMP:20240222T165414Z
CREATED:20230817T173346Z
LAST-MODIFIED:20240222T165414Z
UID:10001267-1665577800-1665581400@cmsa.fas.harvard.edu
SUMMARY:Complete disorder is impossible: Some topics in Ramsey theory
DESCRIPTION:Colloquium \nSpeaker: James Cummings\,Carnegie Mellon University \nTitle: Complete disorder is impossible: Some topics in Ramsey theory \nAbstract: The classical infinite Ramsey theorem states that if we colour pairs of natural numbers using two colours\, there is an infinite set all of whose pairs get the same colour. This is the beginning of a rich theory\, which touches on many areas of mathematics including graph theory\, set theory and dynamics. I will give an overview of Ramsey theory\, emphasizing the diverse ideas which are at play in this area.
URL:https://cmsa.fas.harvard.edu/event/collquium-101222/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.12.22-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221014T110000
DTEND;TZID=America/New_York:20221014T120000
DTSTAMP:20240301T081027Z
CREATED:20240214T103536Z
LAST-MODIFIED:20240301T081027Z
UID:10002676-1665745200-1665748800@cmsa.fas.harvard.edu
SUMMARY:Quantum magnet chains and Kashiwara crystals
DESCRIPTION:Speaker: Leonid Rybnikov\, Harvard CMSA/National Research University Higher School of Economics \nTitle: Quantum magnet chains and Kashiwara crystals \nAbstract: Solutions of the algebraic Bethe ansatz for quantum magnet chains are\, generally\, multivalued functions of the parameters of the integrable system. I will explain how to compute some monodromies of solutions of Bethe ansatz for the Gaudin magnet chain. Namely\, the Bethe eigenvectors in the Gaudin model can be regarded as a covering of the Deligne-Mumford moduli space of stable rational curves\, which is unramified over the real locus of the Deligne-Mumford space. The monodromy action of the fundamental group of this space (called cactus group) on the eigenlines can be described very explicitly in purely combinatorial terms of Kashiwara crystals — i.e. combinatorial objects modeling the tensor category of finite-dimensional representations of a semisimple Lie algebra g. More specifically\, this monodromy action is naturally equivalent to the action of the same group by commutors (i.e. combinatorial analog of a braiding) on a tensor product of Kashiwara crystals. This is joint work with Iva Halacheva\, Joel Kamnitzer\, and Alex Weekes.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-101422/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Member-Seminar-10.14.22.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221019T123000
DTEND;TZID=America/New_York:20221019T133000
DTSTAMP:20240214T113414Z
CREATED:20230817T173735Z
LAST-MODIFIED:20240214T113414Z
UID:10001268-1666182600-1666186200@cmsa.fas.harvard.edu
SUMMARY:The Mobility Edge of Lévy Matrices
DESCRIPTION:Colloquium \nSpeaker: Patrick Lopatto (Brown) \nTitle: The Mobility Edge of Lévy Matrices \nAbstract: Lévy matrices are symmetric random matrices whose entry distributions lie in the domain of attraction of an alpha-stable law; such distributions have infinite variance when alpha is less than 2. Due to the ubiquity of heavy-tailed randomness\, these models have been broadly applied in physics\, finance\, and statistics. When the entries have infinite mean\, Lévy matrices are predicted to exhibit a phase transition separating a region of delocalized eigenvectors from one with localized eigenvectors. We will discuss the physical context for this conjecture\, and describe a result establishing it for values of alpha close to zero and one. This is joint work with Amol Aggarwal and Charles Bordenave.
URL:https://cmsa.fas.harvard.edu/event/collquium-101922/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.19.22.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221019T140000
DTEND;TZID=America/New_York:20221019T150000
DTSTAMP:20240215T095357Z
CREATED:20230808T184955Z
LAST-MODIFIED:20240215T095357Z
UID:10001213-1666188000-1666191600@cmsa.fas.harvard.edu
SUMMARY:Towards Faithful Reasoning Using Language Models
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Antonia Creswell\, DeepMind \nTitle: Towards Faithful Reasoning Using Language Models \nAbstract: Language models are showing impressive performance on many natural language tasks\, including question-answering. However\, language models – like most deep learning models – are black boxes. We cannot be sure how they obtain their answers. Do they reason over relevant knowledge to construct an answer or do they rely on prior knowledge – baked into their weights – which may be biased? An alternative approach is to develop models whose output is a human interpretable\, faithful reasoning trace leading to an answer. In this talk we will characterise faithful reasoning in terms of logically valid reasoning and demonstrate where current reasoning models fall short. Following this\, we will introduce Selection-Inference\, a faithful reasoning model\, whose causal structure mirrors the requirements for valid reasoning. We will show that our model not only produces more accurate reasoning traces but also improves final answer accuracy. \n  \n 
URL:https://cmsa.fas.harvard.edu/event/nt-101922/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/10.19.2022.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221021T110000
DTEND;TZID=America/New_York:20221021T120000
DTSTAMP:20240301T080144Z
CREATED:20230809T110107Z
LAST-MODIFIED:20240301T080144Z
UID:10001226-1666350000-1666353600@cmsa.fas.harvard.edu
SUMMARY:Explicit Ramsey Graphs and Two Source Extractors
DESCRIPTION:Speaker: David Zuckerman\, Harvard CMSA/University of Texas at Austin \nTitle: Explicit Ramsey Graphs and Two Source Extractors \nAbstract: Ramsey showed that any graph on N nodes contains a clique or independent set of size (log N)/2.  Erdos showed that there exist graphs on N nodes with no clique or independent set of size 2 log N\, and asked for an explicit construction of such graphs.  This turns out to relate to the question of extracting high-quality randomness from two independent low-quality sources.  I’ll explain this connection and our recent exponential improvement in constructing two-source extractors.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-title-tba-5/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Member-Seminar-10.21.22.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221026T123000
DTEND;TZID=America/New_York:20221026T133000
DTSTAMP:20240121T174027Z
CREATED:20230817T174027Z
LAST-MODIFIED:20240121T174027Z
UID:10001269-1666787400-1666791000@cmsa.fas.harvard.edu
SUMMARY:Clique listing algorithms
DESCRIPTION:Speaker: Virginia Vassilevska Williams (MIT) \nTitle: Clique listing algorithms \nAbstract: A k-clique in a graph G is a subgraph of G on k vertices in which every pair of vertices is linked by an edge. Cliques are a natural notion of social network cohesiveness with a long history. \nA fundamental question\, with many applications\, is “How fast can one list all k-cliques in a given graph?”. \nEven just detecting whether an n-vertex graph contains a k-Clique has long been known to be NP-complete when k can depend on n (and hence no efficient algorithm is likely to exist for it). If k is a small constant\, such as 3 or 4 (independent of n)\, even the brute-force algorithm runs in polynomial time\, O(n^k)\, and can list all k-cliques in the graph; though O(n^k) time is far from practical. As the number of k-cliques in an n-vertex graph can be Omega(n^k)\, the brute-force algorithm is in some sense optimal\, but only if there are Omega(n^k) k-cliques. In this talk we will show how to list k-cliques faster when the input graph has few k-cliques\, with running times depending on the number of vertices n\, the number of edges m\, the number of k-cliques T and more. We will focus on the case when k=3\, but we will note some extensions. \n(Based on joint work with Andreas Bjorklund\, Rasmus Pagh\, Uri Zwick\, Mina Dalirrooyfard\, Surya Mathialagan and Yinzhan Xu)
URL:https://cmsa.fas.harvard.edu/event/collquium_102722/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Colloquium
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-Colloquium-10.26.22.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221026T140000
DTEND;TZID=America/New_York:20221026T150000
DTSTAMP:20240115T103149Z
CREATED:20230808T185319Z
LAST-MODIFIED:20240115T103149Z
UID:10001214-1666792800-1666796400@cmsa.fas.harvard.edu
SUMMARY:From Engine to Auto
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeakers: João Araújo\, Mathematics Department\, Universidade Nova de Lisboa and Michael Kinyon\, Department of Mathematics\, University of Denver \n\nTitle: From Engine to Auto \n\n\nAbstract: Bill McCune produced the program EQP that deals with first order logic formulas and in 1996 managed to solve Robbins’ Conjecture. This very powerful tool reduces to triviality any result that can be obtained by encoding the assumptions and the goals. The next step was to turn the program into a genuine assistant for the working mathematician: find ways to help the prover with proofs; reduce the lengths of the automatic proofs to better crack them;  solve problems in higher order logic; devise tools that autonomously prove results of a given type\, etc.\n\nIn this talk we are going to show some of the tools and strategies we have been producing. There will be real illustrations of theorems obtained for groups\, loops\, semigroups\, logic algebras\, lattices and generalizations\, quandles\, and many more.
URL:https://cmsa.fas.harvard.edu/event/nt-102622/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-10.26.2022.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20221028T110000
DTEND;TZID=America/New_York:20221028T120000
DTSTAMP:20240301T080243Z
CREATED:20230809T110603Z
LAST-MODIFIED:20240301T080243Z
UID:10001227-1666954800-1666958400@cmsa.fas.harvard.edu
SUMMARY:Some non-concave dynamic optimization problems in finance
DESCRIPTION:Member Seminar \nSpeaker: Shuaijie Qian (Harvard CMSA) \nTitle: Some non-concave dynamic optimization problems in finance \nAbstract: Non-concave dynamic optimization problems appear in many areas of finance and economics. Most of existing literature solves these problems using the concavification principle\, and derives equivalent\, concave optimization problems whose value functions are still concave. In this talk\, I will present our recent work on some non-concave dynamic optimization problems\, where the concavification principle may not hold and the resulting value function is indeed non-concave. \nThe first work is about the portfolio selection model with capital gains tax and a bitcoin mining model with exit options and technology innovation\, where the average tax basis and the average mining cost serves as an approximation\, respectively. This approximation results in a non-concave value function\, and the associated HJB equation problem turns out to admit infinitely many solutions. We show that the value function is the minimal (viscosity) solution of the HJB equation problem. Moreover\, the penalty method still works and converges to the value function. \nThe second work is about a non-concave utility maximization problem with portfolio constraints. We find that adding bounded portfolio constraints\, which makes the concavification principle invalid\, can significantly affect economic insights in the existing literature. As the resulting value function is likely discontinuous\, we introduce a new definition of viscosity solution\, prove the corresponding comparison principle\, and show that a monotone\, stable\, and consistent finite difference scheme converges to the solution of the utility maximization problem. \n 
URL:https://cmsa.fas.harvard.edu/event/member-seminar-title-tba-6/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:Member Seminar
END:VEVENT
END:VCALENDAR