BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CMSA - ECPv6.16.3//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:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20231105T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20240310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20241103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20250309T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240301T110000
DTEND;TZID=America/New_York:20240301T120000
DTSTAMP:20260716T112129
CREATED:20240226T154224Z
LAST-MODIFIED:20240226T154224Z
UID:10002871-1709290800-1709294400@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Chen Wan\, Rutgers Newark \nTitle: Some examples of the relative Langlands duality \nAbstract: In this talk I will discuss some examples of the relative Langlands duality (introduced by Ben-Zvi—Sakellaridis—Venkatesh) for strongly tempered spherical varieties. In some cases\, I will introduce a relative trace formula comparison for the models and prove the fundamental lemma/smooth transfer. This is a joint work with Zhengyu Mao and Lei Zhang.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-3124/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240301T120000
DTEND;TZID=America/New_York:20240301T130000
DTSTAMP:20260716T112130
CREATED:20240123T192912Z
LAST-MODIFIED:20240227T161522Z
UID:10000675-1709294400-1709298000@cmsa.fas.harvard.edu
SUMMARY:Contract Design in Combinatorial Settings
DESCRIPTION:CMSA Member Seminar \nSpeaker: Tomer Ezra (Harvard CMSA) \nTitle: Contract Design in Combinatorial Settings \nAbstract: We study two combinatorial settings of the contract design problem\, in which a principal wants to delegate the execution of a costly task. In the first setting\, the principal delegates the task to an agent that can take any subset of a given set of unobservable actions\, each of which has an associated cost. The principal receives a reward which is a combinatorial function of the actions taken by the agent. In the second setting\, we study the single-principal multi-agent contract problem\, in which the principal motivates a team of agents to exert effort toward a given task. We design (approximately) optimal algorithms for both settings along with impossibility results for various classes of combinatorial functions. \nThis talk is based on joint works with Paul Duetting\, Michal Feldman\, Thomas Kesselheim and Maya Schlesinger.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-3124/
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-03.01.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240304T163000
DTEND;TZID=America/New_York:20240304T173000
DTSTAMP:20260716T112130
CREATED:20240130T150912Z
LAST-MODIFIED:20240228T213450Z
UID:10000810-1709569800-1709573400@cmsa.fas.harvard.edu
SUMMARY:Strong bounds for arithmetic progressions
DESCRIPTION:Colloquium \nSpeaker: Raghu Meka (UCLA) \nTitle: Strong bounds for arithmetic progressions \nAbstract: Suppose you have a set S of integers from {1\,2\,…\,N} that contains at least N / C elements. Then for large enough N\, must S contain three equally spaced numbers (i.e.\, a 3-term arithmetic progression)? \nIn 1953\, Roth showed this is the case when C is roughly (log log N). Behrend in 1946 showed that C can be at most exp(sqrt(log N)). Since then\, the problem has been a cornerstone of the area of additive combinatorics. Following a series of remarkable results\, a celebrated paper from 2020 due to Bloom and Sisask improved the lower bound on C to C = (log N)^(1+c) for some constant c > 0. \nThis talk will describe a new work showing that C can be much closer to Behrend’s construction. Based on joint work with Zander Kelley.
URL:https://cmsa.fas.harvard.edu/event/colloquium-3424/
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-03.04.2024-1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240305T123000
DTEND;TZID=America/New_York:20240305T133000
DTSTAMP:20260716T112130
CREATED:20240129T171138Z
LAST-MODIFIED:20240425T205458Z
UID:10000843-1709641800-1709645400@cmsa.fas.harvard.edu
SUMMARY:CMSA Q&A Seminar 3/5/2024
DESCRIPTION:CMSA Q and A Seminar\n\nSpeaker: Cumrun Vafa\n\nQuestion: What is swampland?
URL:https://cmsa.fas.harvard.edu/event/cmsaqa_35254/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240305T123000
DTEND;TZID=America/New_York:20240305T133000
DTSTAMP:20260716T112130
CREATED:20240304T180301Z
LAST-MODIFIED:20240813T155641Z
UID:10000847-1709641800-1709645400@cmsa.fas.harvard.edu
SUMMARY:CMSA Q&A Seminar 3/5/2024
DESCRIPTION:CMSA Q&A Seminar\n\nSpeaker: Yannai Gonczarowski\, Harvard University\n\nQuestion: What do people mean when they say ‘the intersection between theoretical computer science and economic theory’?
URL:https://cmsa.fas.harvard.edu/event/cmsaqa-3524/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240306T140000
DTEND;TZID=America/New_York:20240306T150000
DTSTAMP:20260716T112130
CREATED:20240108T153449Z
LAST-MODIFIED:20240306T221235Z
UID:10001129-1709733600-1709737200@cmsa.fas.harvard.edu
SUMMARY:LILO: Learning Interpretable Libraries by Compressing and Documenting Code
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Gabe Grand\, MIT CSAIL and Dept. of EE&CS \nTitle: LILO: Learning Interpretable Libraries by Compressing and Documenting Code \nAbstract: While large language models (LLMs) now excel at code generation\, a key aspect of software development is the art of refactoring: consolidating code into libraries of reusable and readable programs. In this paper\, we introduce LILO\, a neurosymbolic framework that iteratively synthesizes\, compresses\, and documents code to build libraries tailored to particular problem domains. LILO combines LLM-guided program synthesis with recent algorithmic advances in automated refactoring from Stitch: a symbolic compression system that efficiently identifies optimal lambda abstractions across large code corpora. To make these abstractions interpretable\, we introduce an auto-documentation (AutoDoc) procedure that infers natural language names and docstrings based on contextual examples of usage. In addition to improving human readability\, we find that AutoDoc boosts performance by helping LILO’s synthesizer to interpret and deploy learned abstractions. We evaluate LILO on three inductive program synthesis benchmarks for string editing\, scene reasoning\, and graphics composition. Compared to existing neural and symbolic methods – including the state-of-the-art library learning algorithm DreamCoder – LILO solves more complex tasks and learns richer libraries that are grounded in linguistic knowledge.
URL:https://cmsa.fas.harvard.edu/event/nt-3624/
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-03.06.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240307T133000
DTEND;TZID=America/New_York:20240307T143000
DTSTAMP:20260716T112130
CREATED:20240306T144722Z
LAST-MODIFIED:20240318T143738Z
UID:10002906-1709818200-1709821800@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: An Huang (Brandeis) \nTitle: Tate’s thesis and p-adic strings \nAbstract: I shall explain the relation between a family of deformations of genus zero p-adic string worldsheet action and Tate’s thesis\, which in particular\, gives rise to an attempt of physically deriving quadratic reciprocity. I shall then propose a genus one p-adic string worldsheet action\, where the key is an explicit definition of a p-adic Laplacian operator on a Tate curve\, and the computation of its Green’s function. I shall also mention a very recent attempt of developing a Lorentzian version of the p-adic worldsheet action.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-3724/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240307T150000
DTEND;TZID=America/New_York:20240307T160000
DTSTAMP:20260716T112130
CREATED:20240205T204006Z
LAST-MODIFIED:20240306T155525Z
UID:10001532-1709823600-1709827200@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: John Francis (Northwestern) \nTitle: Integrating braided categories over 3-manifolds \nAbstract: I’ll describe a form of factorization homology\, which gives an invariant of framed 3-manifolds given as input a rigid braided-monoidal category with duals. More generally\, the construction gives an invariant of framed n-manifolds from an E_{n-1}-monoidal category with duals. This construction relies on a form of the tangle hypothesis\, that a dualizable object in an E_{n-1}-monoidal category uniquely determines a functor from the category of tangles in n-space. This is joint work with David Ayala.
URL:https://cmsa.fas.harvard.edu/event/aqft-seminar-series-3724/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240308T120000
DTEND;TZID=America/New_York:20240308T130000
DTSTAMP:20260716T112130
CREATED:20240213T165030Z
LAST-MODIFIED:20240307T170714Z
UID:10000677-1709899200-1709902800@cmsa.fas.harvard.edu
SUMMARY:Symmetry in quantum field theory
DESCRIPTION:CMSA Member Seminar \nSpeaker: Dan Freed (Harvard Mathematics and CMSA) \nTitle: Symmetry in quantum field theory \nAbstract: In joint work with Greg Moore and Constantin Teleman we show how ideas and techniques in topological field theory apply to the study of symmetry in quantum field theory. I will discuss how this came about\, beginning with some discussion of symmetry in mathematics more generally\, and give some examples.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-3824/
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-03.08.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240308T130000
DTEND;TZID=America/New_York:20240308T140000
DTSTAMP:20260716T112130
CREATED:20240205T203920Z
LAST-MODIFIED:20240306T151121Z
UID:10001769-1709902800-1709906400@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Dihua Jiang (U Minnesota) \nTitle: Shalika Periods: Functoriality and Arithmetic \nAbstract: Shalika periods of automorphic forms were first used by H. Jacquet and J. Shalika (1990) in their construction of global zeta integrals for exterior square L-functions of GL(2n). They were also used by S. Friedberg and H. Jacquet (1993) in their construction of global zeta integrals for the standard L-functions with connections to the linear periods. A. Ash and D. Ginzburg (1994) used them in their study of p-adic L-functions of GL(2n). In this talk\, we will first review the implication of the Shalika periods to the Langlands functoriality and the connections with automorphic descents and theta correspondence. Then we turn to my recent work joint with B. Sun and F. Tian on an application of Shalika periods to algebraicity of critical L-values of cuspidal automorphic of GL(2n) of symplectic type.
URL:https://cmsa.fas.harvard.edu/event/aqft-seminar-series-3824pm/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240315T114500
DTEND;TZID=America/New_York:20240315T124500
DTSTAMP:20260716T112130
CREATED:20240229T143430Z
LAST-MODIFIED:20240312T141746Z
UID:10002885-1710503100-1710506700@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Baiying Liu (Purdue) \nTitle: Recent progress on certain problems related to local Arthur packets of classical groups \nAbstract: In this talk\, I will introduce recent progress on certain problems related to local Arthur packets of classical groups. First\, I will introduce a joint work with Freydoon Shahidi towards Jiang’s conjecture on the wave front sets of representations in local Arthur packets of classical groups\, which is a natural generalization of Shahidi’s conjecture\, confirming the relation between the structure of wave front sets and the local Arthur parameters. Then\, I will introduce a joint work with Alexander Hazeltine and Chi-Heng Lo on the intersection problem of local Arthur packets for symplectic and split odd special orthogonal groups\, with applications to the Enhanced Shahidi’s conjecture\, the closure relation conjecture\, and the conjectures of Clozel on unramified representations and on unramified components of automorphic representations. This intersection problem also has been worked out independently at the same time by Hiraku Atobe. In a recent joint work with Alexander Hazeltine\, Chi-Heng Lo\, and Freydoon Shahidi\, we made an upper bound conjecture on wavefront sets of admissible representations of connected reductive groups. In the last part of my talk\, I will introduce our recent progress towards this conjecture.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-31524/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240315T141500
DTEND;TZID=America/New_York:20240315T153000
DTSTAMP:20260716T112130
CREATED:20240313T152145Z
LAST-MODIFIED:20240318T143634Z
UID:10002910-1710512100-1710516600@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Tasho Kaletha (University of Michigan) \nTitle: Covers of reductive groups and functoriality \nAbstract: When studying problems arising from Langlands’ functoriality principle\, one often encounters groups that are extensions of complex reductive groups by Galois groups\, but that do not necessarily satisfy all properties to be L-groups of reductive groups. We will show\, in the case of a local base field F\, that such group can be understood as L-groups of covers of reductive groups. This generalizes to the case of arbitrary local fields work of Adams–Vogan for real groups. These covers\, for a fixed connected reductive group G\, can be understood either as arising from a certain “universal” cover of the topological group G(F) by a certain “fundamental” group \tilde\pi_1(G). We will present two concrete applications of this\, one that gives a characterization of the local Langlands correspondence for supercuspidal L-parameters when p is sufficiently large\, and one to the construction of transfer factors in the theory of endoscopy.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-31524-2/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240318T130000
DTEND;TZID=America/New_York:20240318T150000
DTSTAMP:20260716T112130
CREATED:20240314T151808Z
LAST-MODIFIED:20240318T143625Z
UID:10002911-1710766800-1710774000@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Xinwen Zhu (Stanford) \nTitle: The tame categorical local Langlands correspondence. \nAbstract: I will discuss a conjectural categorical form of the local Langlands correspondence for p-adic groups and establish the tame part of such correspondence (currently for unramified groups with connected center\, and for Q_l-coefficients). I will also explain how to extract a (n enhanced) discrete Langlands parameter for depth zero supercuspidal representations from the categorical equivalence.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-31824/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240318T163000
DTEND;TZID=America/New_York:20240318T173000
DTSTAMP:20260716T112130
CREATED:20240130T151005Z
LAST-MODIFIED:20240308T200603Z
UID:10000812-1710779400-1710783000@cmsa.fas.harvard.edu
SUMMARY:Koszul duality & twisted holography for asymptotically flat spacetimes
DESCRIPTION:Colloquium \nSpeaker: Natalie Paquette\, University of Washington \nTitle: Koszul duality & twisted holography for asymptotically flat spacetimes \nAbstract: Koszul duality has been understood in recent years to characterize order-type defects in twists of supersymmetric field theories. This notion has been generalized\, from a physical point of view\, by studying couplings between D-branes and closed string theories in the topological string. Computing the D-brane backreaction\, and studying the resulting open/closed string duality\, is the purview of the twisted holography program. Twisted holography seeks to study supersymmetric sectors of the AdS/CFT correspondence using these methods\, and leverage the appropriate generalization of Koszul duality to elucidate the bulk/boundary map. When applying these methods to a topological string configuration on twistor space\, one can construct an instance of twisted holography in which a 2d chiral algebra\, supported on the “celestial sphere”\, is dual to a 4d theory in an asymptotically flat spacetime. This is the first such top-down example of holography in a 4d asymptotically flat spacetime. This talk describes joint work done\, variously\, with Kevin Costello\, Brian Williams\, and Atul Sharma.
URL:https://cmsa.fas.harvard.edu/event/colloquium-31824/
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-03.18.2024.docx-2_Page_1.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240319T123000
DTEND;TZID=America/New_York:20240319T133000
DTSTAMP:20260716T112130
CREATED:20240206T175020Z
LAST-MODIFIED:20240425T205446Z
UID:10000845-1710851400-1710855000@cmsa.fas.harvard.edu
SUMMARY:CMSA Q&A Seminar 3/19/2024
DESCRIPTION:CMSA Q and A Seminar\n\nSpeaker: Arthur Jaffe\, Harvard University\n\nQuestion: What is mathematical picture language?
URL:https://cmsa.fas.harvard.edu/event/cmsaqa-31924/
LOCATION:Common Room\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:CMSA Q&A Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240320T110000
DTEND;TZID=America/New_York:20240320T121500
DTSTAMP:20260716T112130
CREATED:20240313T144657Z
LAST-MODIFIED:20240318T143700Z
UID:10002909-1710932400-1710936900@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Stephen D. Miller (Rutgers University) \nTitle: What 4-graviton scattering amplitudes had to say about the unitary dual \nAbstract: I’ll give an update on the problem of describing all unitary representations of a Lie group\, including joint work with Michael Green and Pierre Vanhove that used intuition from string theory to show the unitarity of the “next to minimal” representation of E8\, and more recent work with Joe Hundley and Jeff Adams\, Marc van Leeuwen\, and David Vogan.
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-32024/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240320T140000
DTEND;TZID=America/New_York:20240320T150000
DTSTAMP:20260716T112130
CREATED:20240130T215041Z
LAST-MODIFIED:20240321T140550Z
UID:10001519-1710943200-1710946800@cmsa.fas.harvard.edu
SUMMARY:Solving olympiad geometry without human demonstrations
DESCRIPTION:New Technologies in Mathematics Seminar \nSpeaker: Trieu H. Trinh\, Google Deepmind and NYU Dept. of Computer Science \nTitle: Solving olympiad geometry without human demonstrations \nAbstract: Proving mathematical theorems at the olympiad level represents a notable milestone in human-level automated reasoning\, owing to their reputed difficulty among the world’s best talents in pre-university mathematics. Current machine-learning approaches\, however\, are not applicable to most mathematical domains owing to the high cost of translating human proofs into machine-verifiable format. The problem is even worse for geometry because of its unique translation challenges\, resulting in severe scarcity of training data. We propose AlphaGeometry\, a theorem prover for Euclidean plane geometry that sidesteps the need for human demonstrations by synthesizing millions of theorems and proofs across different levels of complexity. AlphaGeometry is a neuro-symbolic system that uses a neural language model\, trained from scratch on our large-scale synthetic data\, to guide a symbolic deduction engine through infinite branching points in challenging problems. On a test set of 30 latest olympiad-level problems\, AlphaGeometry solves 25\, outperforming the previous best method that only solves ten problems and approaching the performance of an average International Mathematical Olympiad (IMO) gold medallist. Notably\, AlphaGeometry produces human-readable proofs\, solves all geometry problems in the IMO 2000 and 2015 under human expert evaluation and discovers a generalized version of a translated IMO theorem in 2004. \n 
URL:https://cmsa.fas.harvard.edu/event/nt-32024/
LOCATION:Virtual
CATEGORIES:New Technologies in Mathematics Seminar
ATTACH;FMTTYPE=image/png:https://cmsa.fas.harvard.edu/media/CMSA-NTM-Seminar-03.20.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240321T110000
DTEND;TZID=America/New_York:20240321T121500
DTSTAMP:20260716T112130
CREATED:20240318T143413Z
LAST-MODIFIED:20240318T143413Z
UID:10002913-1711018800-1711023300@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Ezra Getzler (Northwestern) \nTitle: Flat connections on derived stacks and the Gauss-Manin connection in derived algebraic geometry
URL:https://cmsa.fas.harvard.edu/event/aqft-lecture-series-32124/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240322T120000
DTEND;TZID=America/New_York:20240322T130000
DTSTAMP:20260716T112130
CREATED:20240213T165334Z
LAST-MODIFIED:20240321T200536Z
UID:10000681-1711108800-1711112400@cmsa.fas.harvard.edu
SUMMARY:Modularity and Fibrations in Mirror Symmetry
DESCRIPTION:CMSA Member Seminar \nSpeaker: Chuck Doran (Harvard CMSA) \nTitle: Modularity and Fibrations in Mirror Symmetry \nAbstract: We will introduce appearances of modularity in the study both of families of Calabi-Yau threefolds and of their enumerative invariants.  An important role is played by the structure of fibrations and the DHT fibration-degeneration mirror correspondence\, which clarifies how these notions of modularity are (and are not) related.  This is joint work with Boris Pioline and Thorsten Schimannek.
URL:https://cmsa.fas.harvard.edu/event/member-seminar-32224/
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-03.22.2024.png
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20240322T134500
DTEND;TZID=America/New_York:20240322T150000
DTSTAMP:20260716T112130
CREATED:20240205T204334Z
LAST-MODIFIED:20240318T130755Z
UID:10001534-1711115100-1711119600@cmsa.fas.harvard.edu
SUMMARY:AQFT Lecture Series
DESCRIPTION:AQFT Lecture Series \nSpeaker: Jayce Getz (Duke University) \nTitle: The Poisson summation conjecture and the fiber bundle method \nAbstract: The Poisson summation conjecture of Braverman-Kazhdan\, L. Lafforgue\, Ngo\, and Sakellaridis predicts that spherical varieties over a global field admit Schwartz spaces\, Fourier transforms\, and a generalized Poisson summation formula. In this talk I will state a rough form of the conjecture and explain how to deduce new cases of it from known cases using the fiber bundle method. Time permitting I will sketch an approach to proving the functional equation of triple product L-functions using this method. The approach is joint work with Pam Gu\, Chun-Hsien Hsu\, and Spencer Leslie.
URL:https://cmsa.fas.harvard.edu/event/aqft-seminar-series-32224/
LOCATION:CMSA Room G10\, CMSA\, 20 Garden Street\, Cambridge\, MA\, 02138\, United States
CATEGORIES:AQFT Lecture Series,Colloquia & Seminar
END:VEVENT
END:VCALENDAR