CMSA

Colloquium 2021–22
2021-12-21 09:30 - 10:30 (America/New_York) | MA
During the 2021–22 academic year, the CMSA will be hosting a Colloquium, organized by Du Pei, Changji Xu, and Michael Simkin. It will take place on Wednesdays at 9:30am – 10:30am (Boston time). The meetings will take place virtually on Zoom. All CMSA postdocs/members are required to attend the weekly CMSA Members’ Seminars, as well as the weekly CMSA Colloquium series. The schedule below will be updated as talks are confirmed.
Spring 2022

Date
Speaker
Title/Abstract

1/26/2022
Samir Mathur (Ohio State University)
Title: The black hole information paradox
Abstract: In 1975, Stephen Hawking showed that black holes radiate away in a manner that violates quantum theory. Starting in 1997, it was observed that black holes in string theory did not have the form expected from general relativity: in place of “empty space will all the mass at the center,” one finds a “fuzzball” where the mass is distributed throughout the interior of the horizon. This resolves the paradox, but opposition to this resolution came from groups who sought to extrapolate some ideas in holography. In 2009 it was shown, using some theorems from quantum information theory, that these extrapolations were incorrect, and the fuzzball structure was essential for resolving the puzzle. Opposition continued along different lines, with a postulate that information would leak out through wormholes. Recently, it was shown that this wormhole idea had some basic flaws, leaving the fuzzball paradigm as the natural resolution of Hawking’s puzzle.
Video

2/2/2022
Adam Smith (Boston University)
Title: Learning and inference from sensitive data
Abstract: Consider an agency holding a large database of sensitive personal information—say, medical records, census survey answers, web searches, or genetic data. The agency would like to discover and publicly release global characteristics of the data while protecting the privacy of individuals’ records.
I will discuss recent (and not-so-recent) results on this problem with a focus on the release of statistical models. I will first explain some of the fundamental limitations on the release of machine learning models—specifically, why such models must sometimes memorize training data points nearly completely. On the more positive side, I will present differential privacy, a rigorous definition of privacy in statistical databases that is now widely studied, and increasingly used to analyze and design deployed systems. I will explain some of the challenges of sound statistical inference based on differentially private statistics, and lay out directions for future investigation.

2/8/2022
Wenbin Yan (Tsinghua University)
(special time: 9:30 pm ET)
Title: Tetrahedron instantons and M-theory indices
Abstract: We introduce and study tetrahedron instantons. Physically they capture instantons on $mathbb{C}^{3}$ in the presence of the most general intersecting codimension-two supersymmetric defects. In this talk, we will review instanton moduli spaces, explain the construction, moduli space and partition functions of tetrahedron instantons. We will also point out possible relations with M-theory index which could be a generalization of Gupakuma-Vafa theory.
Video

2/16/2022
Takuro Mochizuki (Kyoto University)
Title: Kobayashi-Hitchin correspondences for harmonic bundles and monopoles
Abstract: In 1960’s, Narasimhan and Seshadri discovered the equivalence
between irreducible unitary flat bundles and stable bundles of degree $0$ on compact Riemann surfaces. In 1980’s, Donaldson, Uhlenbeck and Yau generalized it to the equivalence between irreducible Hermitian-Einstein bundles
and stable bundles on smooth projective varieties. This is a surprising bridge connecting differential geometry and algebraic geometry. Since then, many interesting generalizations have been studied.
In this talk, we would like to review a stream in the study of such correspondences for Higgs bundles, integrable connections, $D$-modules and periodic monopoles.

2/23/2022
Bartek Czech (Tsinghua University)
Title: Holographic Cone of Average Entropies and Universality of Black Holes
Abstract: In the AdS/CFT correspondence, the holographic entropy cone, which identifies von Neumann entropies of CFT regions that are consistent with a semiclassical bulk dual, is currently known only up to n=5 regions. I explain that average
entropies of p-partite subsystems can be checked for consistency with a semiclassical bulk dual far more easily, for an arbitrary number of regions n. This analysis defines the “Holographic Cone of Average
Entropies” (HCAE). I conjecture the exact form of HCAE, and find that it has the following properties: (1) HCAE is the simplest it could be, namely it is a simplicial cone. (2) Its extremal rays represent stages of thermalization (black hole formation). (3) In a time-reversed picture, the extremal rays of HCAE represent stages of unitary black hole evaporation, as stipulated by the island solution of the black hole information paradox. (4) HCAE is bound by a novel, infinite family of holographic entropy inequalities. (5) HCAE is the simplest it could be also in its dependence on the number of regions n, namely its bounding inequalities are n-independent. (6) In a precise sense I describe, the bounding inequalities of HCAE unify (almost) all previously discovered holographic inequalities and strongly constrain future inequalities yet to be discovered. I also sketch an interpretation of HCAE in terms of error correction and the holographic Renormalization Group. The big lesson that HCAE seems to be teaching us is about the universality of black hole physics.

3/2/2022
Richard Kenyon (Yale University)
Title: Dimers and webs
Abstract: We consider SL_n-local systems on graphs on surfaces and show how the associated Kasteleyn matrix can be used to compute probabilities of various topological events involving the overlay of n independent dimer covers (or “n-webs”).
This is joint work with Dan Douglas and Haolin Shi.

3/9/2022
Yen-Hsi Richard Tsai (UT Austin)
Title: Side-effects of Learning from Low Dimensional Data Embedded in an Euclidean Space
Abstract: The low dimensional manifold hypothesis posits that the data found in many applications, such as those involving natural images, lie (approximately) on low dimensional manifolds embedded in a high dimensional Euclidean space. In this setting, a typical neural network defines a function that takes a finite number of vectors in the embedding space as input. However, one often needs to consider evaluating the optimized network at points outside the training distribution. We analyze the cases where the training data are distributed in a linear subspace of Rd. We derive estimates on the variation of the learning function, defined by a neural network, in the direction transversal to the subspace. We study the potential regularization effects associated with the network’s depth and noise in the codimension of the data manifold.

3/23/2022
Joel Cohen (University of Maryland)
Title: Fluctuation scaling or Taylor’s law of heavy-tailed data, illustrated by U.S. COVID-19 cases and deaths
Abstract: Over the last century, ecologists, statisticians, physicists, financial quants, and other scientists discovered that, in many examples, the sample variance approximates a power of the sample mean of each of a set of samples of nonnegative quantities. This power-law relationship of variance to mean is known as a power variance function in statistics, as Taylor’s law in ecology, and as fluctuation scaling in physics and financial mathematics. This survey talk will emphasize ideas, motivations, recent theoretical results, and applications rather than detailed proofs. Many models intended to explain Taylor’s law assume the probability distribution underlying each sample has finite mean and variance. Recently, colleagues and I generalized Taylor’s law to samples from probability distributions with infinite mean or infinite variance and higher moments. For such heavy-tailed distributions, we extended Taylor’s law to higher moments than the mean and variance and to upper and lower semivariances (measures of upside and downside portfolio risk). In unpublished work, we suggest that U.S. COVID-19 cases and deaths illustrate Taylor’s law arising from a distribution with finite mean and infinite variance. This model has practical implications. Collaborators in this work are Mark Brown, Richard A. Davis, Victor de la Peña, Gennady Samorodnitsky, Chuan-Fa Tang, and Sheung Chi Phillip Yam.

3/30/2022
Rob Leigh (UIUC)
Title: Edge Modes and Gravity
Abstract: In this talk I first review some of the many appearances of localized degrees of freedom — edge modes — in a variety of physical systems. Edge modes are implicated for example in quantum entanglement and in various topological and holographic dualities. I then review recent work in which it has been realized that a careful treatment of such modes, paying attention to relevant symmetries, is required in order to properly understand such basic physical quantities as Noether charges. From many points of view, it is conjectured that this physics may be pointing at basic properties of quantum spacetimes and gravity.

4/6/2022
Johannes Kleiner (LMU München)
Title: What is Mathematical Consciousness Science?
Abstract: In the last three decades, the problem of consciousness – how and why physical systems such as the brain have conscious experiences – has received increasing attention among neuroscientists, psychologists, and philosophers. Recently, a decidedly mathematical perspective has emerged as well, which is now called Mathematical Consciousness Science. In this talk, I will give an introduction and overview of Mathematical Consciousness Science for mathematicians, including a bottom-up introduction to the problem of consciousness and how it is amenable to mathematical tools and methods.

4/13/2022
Yuri Manin (Max-Planck-Institut für Mathematik)
Title: Quantisation in monoidal categories and quantum operads
Abstract: The standard definition of symmetries of a structure given on a set S (in the sense of Bourbaki) is the group of bijective maps S to S, compatible with this structure. But in fact, symmetries of various structures related to storing and transmitting information (such as information spaces) are naturally embodied in various classes of loops such as Moufang loops, – nonassociative analogs of groups.
The idea of symmetry as a group is closely related to classical physics, in a very definite sense, going back at least to Archimedes. When quantum physics started to replace classical, it turned out that classical symmetries must also be replaced by their quantum versions, e.g. quantum groups.
In this talk we explain how to define and study quantum versions of symmetries, relevant to information theory and other contexts

4/27/2022
Venkatesan Guruswami (UC Berkeley)
Title: Long common subsequences between bit-strings and the zero-rate threshold of deletion-correcting codes
Abstract: Suppose we transmit n bits on a noisy channel that deletes some fraction of the bits arbitrarily. What’s the supremum p* of deletion fractions that can be corrected with a binary code of non-vanishing rate? Evidently p* is at most 1/2 as the adversary can delete all occurrences of the minority bit. It was unknown whether this simple upper bound could be improved, or one could in fact correct deletion fractions approaching 1/2.
We show that there exist absolute constants A and delta > 0 such that any subset of n-bit strings of size exp((log n)^A) must contain two strings with a common subsequence of length (1/2+delta)n. This immediately implies that the zero-rate threshold p* of worst-case bit deletions is bounded away from 1/2.
Our techniques include string regularity arguments and a structural lemma that classifies bit-strings by their oscillation patterns. Leveraging these tools, we find in any large code two strings with similar oscillation patterns, which is exploited to find a long common subsequence.
This is joint work with Xiaoyu He and Ray Li.

5/18/2022
David Nelson (Harvard)
Title: Statistical Mechanics of Mutilated Sheets and Shells
Abstract: Understanding deformations of macroscopic thin plates and shells has a long and rich history, culminating with the Foeppl-von Karman equations in 1904, a precursor of general relativity characterized by a dimensionless coupling constant (the “Foeppl-von Karman number”) that can easily reach vK = 10^7 in an ordinary sheet of writing paper. However, thermal fluctuations in thin elastic membranes fundamentally alter the long wavelength physics, as exemplified by experiments that twist and bend individual atomically-thin free-standing graphene sheets (with vK = 10^13!) A crumpling transition out of the flat phase for thermalized elastic membranes has been predicted when kT is large compared to the microscopic bending stiffness, which could have interesting consequences for Dirac cones of electrons embedded in graphene. It may be possible to lower the crumpling temperature for graphene to more readily accessible range by inserting a regular lattice of laser-cut perforations, an expectation an confirmed by extensive molecular dynamics simulations. We then move on to analyze the physics of sheets mutilated with puckers and stitches. Puckers and stitches lead to Ising-like phase transitions riding on a background of flexural phonons, as well as an anomalous coefficient of thermal expansion. Finally, we argue that thin membranes with a background curvature lead to thermalized spherical shells that must collapse beyond a critical size at room temperature, even in the absence of an external pressure.

Fall 2021

Date
Speaker
Title/Abstract

9/15/2021
Tian Yang, Texas A&M
Title: Hyperbolic Geometry and Quantum Invariants
Abstract: There are two very different approaches to 3-dimensional topology, the hyperbolic geometry following the work of Thurston and the quantum invariants following the work of Jones and Witten. These two approaches are related by a sequence of problems called the Volume Conjectures. In this talk, I will explain these conjectures and present some recent joint works with Ka Ho Wong related to or benefited from this relationship.

9/29/2021
David Jordan, University of Edinburgh
Title: Langlands duality for 3 manifolds
Abstract: Langlands duality began as a deep and still mysterious conjecture in number theory, before branching into a similarly deep and mysterious conjecture of Beilinson and Drinfeld concerning the algebraic geometry of Riemann surfaces. In this guise it was given a physical explanation in the framework of 4-dimensional super symmetric quantum field theory by Kapustin and Witten. However to this day the Hilbert space attached to 3-manifolds, and hence the precise form of Langlands duality for them, remains a mystery.
In this talk I will propose that so-called “skein modules” of 3-manifolds give natural candidates for these Hilbert spaces at generic twisting parameter Psi , and I will explain a Langlands duality in this setting, which we have conjectured with Ben-Zvi, Gunningham and Safronov.
Intriguingly, the precise formulation of such a conjecture in the classical limit Psi=0 is still an open question, beyond the scope of the talk.

10/06/2021
Piotr Sulkowski, U Warsaw
Title: Strings, knots and quivers
Abstract: I will discuss a recently discovered relation between quivers and knots, as well as – more generally – toric Calabi-Yau manifolds. In the context of knots this relation is referred to as the knots-quivers correspondence, and it states that various invariants of a given knot are captured by characteristics of a certain quiver, which can be associated to this knot. Among others, this correspondence enables to prove integrality of LMOV invariants of a knot by relating them to motivic Donaldson-Thomas invariants of the corresponding quiver, it provides a new insight on knot categorification, etc. This correspondence arises from string theory interpretation and engineering of knots in brane systems in the conifold geometry; replacing the conifold by other toric Calabi-Yau manifolds leads to analogous relations between such manifolds and quivers.

10/13/2021
Alexei Oblomkov, University of Massachusetts
Title: Knot homology and sheaves on the Hilbert scheme of points on the plane.
Abstract: The knot homology (defined by Khovavov, Rozansky) provide us with a refinement of the knot polynomial knot invariant defined by Jones. However, the knot homology are much harder to compute compared to the polynomial invariant of Jones. In my talk I present recent developments that allow us to use tools of algebraic geometry to compute the homology of torus knots and prove long-standing conjecture on the Poincare duality the knot homology. In more details, using physics ideas of Kapustin-Rozansky-Saulina, in the joint work with Rozansky, we provide a mathematical construction that associates to a braid on n strands a complex of sheaves on the Hilbert scheme of n points on the plane. The knot homology of the closure of the braid is a space of sections of this sheaf. The sheaf is also invariant with respect to the natural symmetry of the plane, the symmetry is the geometric counter-part of the mentioned Poincare duality.

10/20/2021
Peng Shan, Tsinghua U
Title: Categorification and applications
Abstract: I will give a survey of the program of categorification for quantum groups, some of its recent development and applications to representation theory.

10/27/2021
Karim Adiprasito, Hebrew University and University of Copenhagen
Title: Anisotropy, biased pairing theory and applications
Abstract: Not so long ago, the relations between algebraic geometry and combinatorics were strictly governed by the former party, with results like log-concavity of the coefficients of the characteristic polynomial of matroids shackled by intuitions and techniques from projective algebraic geometry, specifically Hodge Theory. And so, while we proved analogues for these results, combinatorics felt subjugated to inspirations from outside of it.
In recent years, a new powerful technique has emerged: Instead of following the geometric statements of Hodge theory about signature, we use intuitions from the Hall marriage theorem, translated to algebra: once there, they are statements about self-pairings, the non-degeneracy of pairings on subspaces to understand the global geometry of the pairing. This was used to establish Lefschetz type theorems far beyond the scope of algebraic geometry, which in turn established solutions to long-standing conjectures in combinatorics.
I will survey this theory, called biased pairing theory, and new developments within it, as well as new applications to combinatorial problems. Reporting on joint work with Stavros Papadaki, Vasiliki Petrotou and Johanna Steinmeyer.

11/03/2021
Tamas Hausel, IST Austria
Title: Hitchin map as spectrum of equivariant cohomology
Abstract: We will explain how to model the Hitchin integrable system on a certain Lagrangian upward flow as the spectrum of equivariant cohomology of a Grassmannian.

11/10/2021
Peter Keevash, Oxford
Title: Hypergraph decompositions and their applications

Abstract: Many combinatorial objects can be thought of as a hypergraph decomposition, i.e. a partition of (the edge set of) one hypergraph into (the edge sets of) copies of some other hypergraphs. For example, a Steiner Triple System is equivalent to a decomposition of a complete graph into triangles. In general, Steiner Systems are equivalent to decompositions of complete uniform hypergraphs into other complete uniform hypergraphs (of some specified sizes). The Existence Conjecture for Combinatorial Designs, which I proved in 2014, states that, bar finitely many exceptions, such decompositions exist whenever the necessary ‘divisibility conditions’ hold. I also obtained a generalisation to the quasirandom setting, which implies an approximate formula for the number of designs; in particular, this resolved Wilson’s Conjecture on the number of Steiner Triple Systems. A more general result that I proved in 2018 on decomposing lattice-valued vectors indexed by labelled complexes provides many further existence and counting results for a wide range of combinatorial objects, such as resolvable designs (the generalised form of Kirkman’s Schoolgirl Problem), whist tournaments or generalised Sudoku squares. In this talk, I plan to review this background and then describe some more recent and ongoing applications of these results and developments of the ideas behind them.

11/17/2021
Andrea Brini, U Sheffield
Title: Curve counting on surfaces and topological strings
Abstract: Enumerative geometry is a venerable subfield of Mathematics, with roots dating back to Greek Antiquity and a present inextricably linked with developments in other domains. Since the early 90s, in particular, the interaction with String Theory has sent shockwaves through the subject, giving both unexpected new perspectives and a remarkably powerful, physics-motivated toolkit to tackle several traditionally hard questions in the field.
I will survey some recent developments in this vein for the case of enumerative invariants associated to a pair (X, D), with X a complex algebraic surface and D a singular anticanonical divisor in it. I will describe a surprising web of correspondences linking together several a priori distant classes of enumerative invariants associated to (X, D), including the log Gromov-Witten invariants of the pair, the Gromov-Witten invariants of an associated higher dimensional Calabi-Yau variety, the open Gromov-Witten invariants of certain special Lagrangians in toric Calabi–Yau threefolds, the Donaldson–Thomas theory of a class of symmetric quivers, and certain open and closed Gopakumar-Vafa-type invariants. I will also discuss how these correspondences can be effectively used to provide a complete closed-form solution to the calculation of all these invariants.

12/01/2021
Richard Wentworth, University of Maryland
Title: The Hitchin connection for parabolic G-bundles
Abstract: For a simple and simply connected complex group G, I will discuss some elements of the proof of the existence of a flat projective connection on the bundle of nonabelian theta functions on the moduli space of semistable parabolic G-bundles over families of smooth projective curves with marked points. Under the isomorphism with the bundle of conformal blocks, this connection is equivalent to the one constructed by conformal field theory. This is joint work with Indranil Biswas and Swarnava Mukhopadhyay.

12/08/2021
Maria Chudnovsky, Princeton
Title: Induced subgraphs and tree decompositions
Abstract: Tree decompositions are a powerful tool in both structural
graph theory and graph algorithms. Many hard problems become tractable if the input graph is known to have a tree decomposition of bounded “width”. Exhibiting a particular kind of a tree decomposition is also a useful way to describe the structure of a graph.
Tree decompositions have traditionally been used in the context of forbidden graph minors; bringing them into the realm of forbidden induced subgraphs has until recently remained out of reach. Over the last couple of years we have made significant progress in this direction, exploring both the classical notion of bounded tree-width, and concepts of more structural flavor. This talk will survey some of these ideas and results.

12/15/21
Constantin Teleman (UC Berkeley)
Title: The Kapustin-Rozanski-Saulina “2-category” of a holomorphic integrable system
Abstract: I will present a construction of the object in the title which, applied to the classical Toda system, controls the theory of categorical representations of compact Lie groups, along with applications (some conjectural, some rigorous) to gauged Gromov-Witten theory. Time permitting, we will review applications to Coulomb branches and the categorified Weyl character formula.

Light strings, strong coupling, and the Swampland
2022-01-14 09:30 - 10:30 | MA
Member Seminar
Speaker: Max Wiesner

Title: Light strings, strong coupling, and the Swampland
Abstract: In this talk, I will start by reviewing central ideas of the so-called Swampland Program. The Swampland Program aims to identify criteria that distinguish low-energy effective field theories, that can be consistently coupled to quantum gravity, from those theories that become inconsistent in the presence of quantum gravity.
In my talk I will specialize to four-dimensional effective field theories with N=2 and N=1 supersymmetry. In weakly-coupled regions of the scalar field space of such theories, it has been shown that light strings are crucial to realize certain Swampland criteria. Complementary to that, the focus of this talk will be on the role of such light strings away from these weak-coupling regimes. In this context, I will first discuss a relation between light perturbative strings and strong coupling singularities in the Kähler moduli space of 4d N=1 compactifications of F-theory. More precisely, in regions of moduli space, in which a critical string classically becomes light, I will show that non-perturbative corrections yield to strong coupling singularities for D7-brane gauge theories which obstruct weak-coupling limits. Moreover, I will demonstrate that in the vicinity of this strong coupling singularity, the critical, light string in fact leaves the spectrum of BPS strings thereby providing an explanation for the obstruction of the weak coupling limit.
I will then move on and discuss the backreaction of perturbative strings in 4d EFTs. Away from the string core, the backreaction of such strings necessarily leads to strong coupling regions where naively the energy stored in the backreaction diverges. I will show how the introduction of additional non-critical strings can regulate this backreaction and how this can be used to study the spectrum of BPS strings and their tensions even beyond weak coupling regions. In this context, I will demonstrate how the requirement, that the total string tension should not exceed the Planck scale, constrains the possible BPS string charges.

AdS with Scale Separation
2022-01-21 09:30 - 10:30 | MA
Member Seminar
Speaker: Daniel Junghans

Title: AdS with Scale Separation
Abstract: I will talk about Anti-de Sitter solutions in string theory with a parametric separation between the AdS curvature scale and the Kaluza-Klein scale. In particular, I will discuss recent progress on computing backreaction corrections in such solutions, and I will explain how to construct solutions without Romans mass that can be lifted to M-theory.

11/7/2018 Hodge Seminar
2022-01-25 01:30 - 15:00 | MA

CMSA Colloquium
2022-01-26 09:30 - 10:30 | MA
During the 2021–22 academic year, the CMSA will be hosting a Colloquium, organized by Du Pei, Changji Xu, and Michael Simkin. It will take place on Wednesdays at 9:30am – 10:30am (Boston time). The meetings will take place virtually on Zoom. All CMSA postdocs/members are required to attend the weekly CMSA Members’ Seminars, as well as the weekly CMSA Colloquium series. The schedule below will be updated as talks are confirmed.
Spring 2022

Date
Speaker
Title/Abstract

1/26/2022
Samir Mathur (Ohio State University)
Title: The black hole information paradox
Abstract: In 1975, Stephen Hawking showed that black holes radiate away in a manner that violates quantum theory. Starting in 1997, it was observed that black holes in string theory did not have the form expected from general relativity: in place of “empty space will all the mass at the center,” one finds a “fuzzball” where the mass is distributed throughout the interior of the horizon. This resolves the paradox, but opposition to this resolution came from groups who sought to extrapolate some ideas in holography. In 2009 it was shown, using some theorems from quantum information theory, that these extrapolations were incorrect, and the fuzzball structure was essential for resolving the puzzle. Opposition continued along different lines, with a postulate that information would leak out through wormholes. Recently, it was shown that this wormhole idea had some basic flaws, leaving the fuzzball paradigm as the natural resolution of Hawking’s puzzle.
Video

2/2/2022
Adam Smith (Boston University)
Title: Learning and inference from sensitive data
Abstract: Consider an agency holding a large database of sensitive personal information—say, medical records, census survey answers, web searches, or genetic data. The agency would like to discover and publicly release global characteristics of the data while protecting the privacy of individuals’ records.
I will discuss recent (and not-so-recent) results on this problem with a focus on the release of statistical models. I will first explain some of the fundamental limitations on the release of machine learning models—specifically, why such models must sometimes memorize training data points nearly completely. On the more positive side, I will present differential privacy, a rigorous definition of privacy in statistical databases that is now widely studied, and increasingly used to analyze and design deployed systems. I will explain some of the challenges of sound statistical inference based on differentially private statistics, and lay out directions for future investigation.

2/8/2022
Wenbin Yan (Tsinghua University)
(special time: 9:30 pm ET)
Title: Tetrahedron instantons and M-theory indices
Abstract: We introduce and study tetrahedron instantons. Physically they capture instantons on $mathbb{C}^{3}$ in the presence of the most general intersecting codimension-two supersymmetric defects. In this talk, we will review instanton moduli spaces, explain the construction, moduli space and partition functions of tetrahedron instantons. We will also point out possible relations with M-theory index which could be a generalization of Gupakuma-Vafa theory.
Video

2/16/2022
Takuro Mochizuki (Kyoto University)
Title: Kobayashi-Hitchin correspondences for harmonic bundles and monopoles
Abstract: In 1960’s, Narasimhan and Seshadri discovered the equivalence
between irreducible unitary flat bundles and stable bundles of degree $0$ on compact Riemann surfaces. In 1980’s, Donaldson, Uhlenbeck and Yau generalized it to the equivalence between irreducible Hermitian-Einstein bundles
and stable bundles on smooth projective varieties. This is a surprising bridge connecting differential geometry and algebraic geometry. Since then, many interesting generalizations have been studied.
In this talk, we would like to review a stream in the study of such correspondences for Higgs bundles, integrable connections, $D$-modules and periodic monopoles.

2/23/2022
Bartek Czech (Tsinghua University)

3/2/2022
Richard Kenyon (Yale University)

3/9/2022
Richard Tsai (UT Austin)

3/23/2022
Joel Cohen (University of Maryland)

3/30/2022
Rob Leigh (UIUC)

4/6/2022
Johannes Kleiner (LMU München)

4/13/2022
Yuri Manin (Max-Planck-Institut für Mathematik)

4/20/2022
TBA

4/27/2022
TBA

5/4/2022
Melody Chan (Brown University)

5/11/2022
TBA

5/18/2022
TBA

5/25/2022
Heeyeon Kim (Rutgers University)

Fall 2021

Date
Speaker
Title/Abstract

9/15/2021
Tian Yang, Texas A&M
Title: Hyperbolic Geometry and Quantum Invariants
Abstract: There are two very different approaches to 3-dimensional topology, the hyperbolic geometry following the work of Thurston and the quantum invariants following the work of Jones and Witten. These two approaches are related by a sequence of problems called the Volume Conjectures. In this talk, I will explain these conjectures and present some recent joint works with Ka Ho Wong related to or benefited from this relationship.

9/29/2021
David Jordan, University of Edinburgh
Title: Langlands duality for 3 manifolds
Abstract: Langlands duality began as a deep and still mysterious conjecture in number theory, before branching into a similarly deep and mysterious conjecture of Beilinson and Drinfeld concerning the algebraic geometry of Riemann surfaces. In this guise it was given a physical explanation in the framework of 4-dimensional super symmetric quantum field theory by Kapustin and Witten. However to this day the Hilbert space attached to 3-manifolds, and hence the precise form of Langlands duality for them, remains a mystery.
In this talk I will propose that so-called “skein modules” of 3-manifolds give natural candidates for these Hilbert spaces at generic twisting parameter Psi , and I will explain a Langlands duality in this setting, which we have conjectured with Ben-Zvi, Gunningham and Safronov.
Intriguingly, the precise formulation of such a conjecture in the classical limit Psi=0 is still an open question, beyond the scope of the talk.

10/06/2021
Piotr Sulkowski, U Warsaw
Title: Strings, knots and quivers
Abstract: I will discuss a recently discovered relation between quivers and knots, as well as – more generally – toric Calabi-Yau manifolds. In the context of knots this relation is referred to as the knots-quivers correspondence, and it states that various invariants of a given knot are captured by characteristics of a certain quiver, which can be associated to this knot. Among others, this correspondence enables to prove integrality of LMOV invariants of a knot by relating them to motivic Donaldson-Thomas invariants of the corresponding quiver, it provides a new insight on knot categorification, etc. This correspondence arises from string theory interpretation and engineering of knots in brane systems in the conifold geometry; replacing the conifold by other toric Calabi-Yau manifolds leads to analogous relations between such manifolds and quivers.

10/13/2021
Alexei Oblomkov, University of Massachusetts
Title: Knot homology and sheaves on the Hilbert scheme of points on the plane.
Abstract: The knot homology (defined by Khovavov, Rozansky) provide us with a refinement of the knot polynomial knot invariant defined by Jones. However, the knot homology are much harder to compute compared to the polynomial invariant of Jones. In my talk I present recent developments that allow us to use tools of algebraic geometry to compute the homology of torus knots and prove long-standing conjecture on the Poincare duality the knot homology. In more details, using physics ideas of Kapustin-Rozansky-Saulina, in the joint work with Rozansky, we provide a mathematical construction that associates to a braid on n strands a complex of sheaves on the Hilbert scheme of n points on the plane. The knot homology of the closure of the braid is a space of sections of this sheaf. The sheaf is also invariant with respect to the natural symmetry of the plane, the symmetry is the geometric counter-part of the mentioned Poincare duality.

10/20/2021
Peng Shan, Tsinghua U
Title: Categorification and applications
Abstract: I will give a survey of the program of categorification for quantum groups, some of its recent development and applications to representation theory.

10/27/2021
Karim Adiprasito, Hebrew University and University of Copenhagen
Title: Anisotropy, biased pairing theory and applications
Abstract: Not so long ago, the relations between algebraic geometry and combinatorics were strictly governed by the former party, with results like log-concavity of the coefficients of the characteristic polynomial of matroids shackled by intuitions and techniques from projective algebraic geometry, specifically Hodge Theory. And so, while we proved analogues for these results, combinatorics felt subjugated to inspirations from outside of it.
In recent years, a new powerful technique has emerged: Instead of following the geometric statements of Hodge theory about signature, we use intuitions from the Hall marriage theorem, translated to algebra: once there, they are statements about self-pairings, the non-degeneracy of pairings on subspaces to understand the global geometry of the pairing. This was used to establish Lefschetz type theorems far beyond the scope of algebraic geometry, which in turn established solutions to long-standing conjectures in combinatorics.
I will survey this theory, called biased pairing theory, and new developments within it, as well as new applications to combinatorial problems. Reporting on joint work with Stavros Papadaki, Vasiliki Petrotou and Johanna Steinmeyer.

11/03/2021
Tamas Hausel, IST Austria
Title: Hitchin map as spectrum of equivariant cohomology
Abstract: We will explain how to model the Hitchin integrable system on a certain Lagrangian upward flow as the spectrum of equivariant cohomology of a Grassmannian.

11/10/2021
Peter Keevash, Oxford
Title: Hypergraph decompositions and their applications

Abstract: Many combinatorial objects can be thought of as a hypergraph decomposition, i.e. a partition of (the edge set of) one hypergraph into (the edge sets of) copies of some other hypergraphs. For example, a Steiner Triple System is equivalent to a decomposition of a complete graph into triangles. In general, Steiner Systems are equivalent to decompositions of complete uniform hypergraphs into other complete uniform hypergraphs (of some specified sizes). The Existence Conjecture for Combinatorial Designs, which I proved in 2014, states that, bar finitely many exceptions, such decompositions exist whenever the necessary ‘divisibility conditions’ hold. I also obtained a generalisation to the quasirandom setting, which implies an approximate formula for the number of designs; in particular, this resolved Wilson’s Conjecture on the number of Steiner Triple Systems. A more general result that I proved in 2018 on decomposing lattice-valued vectors indexed by labelled complexes provides many further existence and counting results for a wide range of combinatorial objects, such as resolvable designs (the generalised form of Kirkman’s Schoolgirl Problem), whist tournaments or generalised Sudoku squares. In this talk, I plan to review this background and then describe some more recent and ongoing applications of these results and developments of the ideas behind them.

11/17/2021
Andrea Brini, U Sheffield
Title: Curve counting on surfaces and topological strings
Abstract: Enumerative geometry is a venerable subfield of Mathematics, with roots dating back to Greek Antiquity and a present inextricably linked with developments in other domains. Since the early 90s, in particular, the interaction with String Theory has sent shockwaves through the subject, giving both unexpected new perspectives and a remarkably powerful, physics-motivated toolkit to tackle several traditionally hard questions in the field.
I will survey some recent developments in this vein for the case of enumerative invariants associated to a pair (X, D), with X a complex algebraic surface and D a singular anticanonical divisor in it. I will describe a surprising web of correspondences linking together several a priori distant classes of enumerative invariants associated to (X, D), including the log Gromov-Witten invariants of the pair, the Gromov-Witten invariants of an associated higher dimensional Calabi-Yau variety, the open Gromov-Witten invariants of certain special Lagrangians in toric Calabi–Yau threefolds, the Donaldson–Thomas theory of a class of symmetric quivers, and certain open and closed Gopakumar-Vafa-type invariants. I will also discuss how these correspondences can be effectively used to provide a complete closed-form solution to the calculation of all these invariants.

12/01/2021
Richard Wentworth, University of Maryland
Title: The Hitchin connection for parabolic G-bundles
Abstract: For a simple and simply connected complex group G, I will discuss some elements of the proof of the existence of a flat projective connection on the bundle of nonabelian theta functions on the moduli space of semistable parabolic G-bundles over families of smooth projective curves with marked points. Under the isomorphism with the bundle of conformal blocks, this connection is equivalent to the one constructed by conformal field theory. This is joint work with Indranil Biswas and Swarnava Mukhopadhyay.

12/08/2021
Maria Chudnovsky, Princeton
Title: Induced subgraphs and tree decompositions
Abstract: Tree decompositions are a powerful tool in both structural
graph theory and graph algorithms. Many hard problems become tractable if the input graph is known to have a tree decomposition of bounded “width”. Exhibiting a particular kind of a tree decomposition is also a useful way to describe the structure of a graph.
Tree decompositions have traditionally been used in the context of forbidden graph minors; bringing them into the realm of forbidden induced subgraphs has until recently remained out of reach. Over the last couple of years we have made significant progress in this direction, exploring both the classical notion of bounded tree-width, and concepts of more structural flavor. This talk will survey some of these ideas and results.

12/15/21
Constantin Teleman (UC Berkeley)
Title: The Kapustin-Rozanski-Saulina “2-category” of a holomorphic integrable system
Abstract: I will present a construction of the object in the title which, applied to the classical Toda system, controls the theory of categorical representations of compact Lie groups, along with applications (some conjectural, some rigorous) to gauged Gromov-Witten theory. Time permitting, we will review applications to Coulomb branches and the categorified Weyl character formula.

The black hole information paradox
2022-01-26 09:30 - 10:30 | MA
Speaker: Samir Mathur (Ohio State University)
Title: The black hole information paradox
Abstract: In 1975, Stephen Hawking showed that black holes radiate away in a manner that violates quantum theory. Starting in 1997, it was observed that black holes in string theory did not have the form expected from general relativity: in place of “empty space will all the mass at the center,” one finds a “fuzzball” where the mass is distributed throughout the interior of the horizon. This resolves the paradox, but opposition to this resolution came from groups who sought to extrapolate some ideas in holography. In 2009 it was shown, using some theorems from quantum information theory, that these extrapolations were incorrect, and the fuzzball structure was essential for resolving the puzzle. Opposition continued along different lines, with a postulate that information would leak out through wormholes. Recently, it was shown that this wormhole idea had some basic flaws, leaving the fuzzball paradigm as the natural resolution of Hawking’s puzzle.

Machine learning with mathematicians
2022-01-26 14:00 - 15:00 | MA
Speaker: Alex Davies, DeepMind
Title: Machine learning with mathematicians
Abstract: Can machine learning be a useful tool for research mathematicians? There are many examples of mathematicians pioneering new technologies to aid our understanding of the mathematical world: using very early computers to help formulate the Birch and Swinnerton-Dyer conjecture and using computer aid to prove the four colour theorem are among the most notable. Up until now there hasn’t been significant use of machine learning in the field and it hasn’t been clear where it might be useful for the questions that mathematicians care about. In this talk we will discuss the results of our recent Nature paper, where we worked together with top mathematicians to use machine learning to achieve two new results – proving a new connection between the hyperbolic and geometric structure of knots, and conjecturing a resolution to a 50-year problem in representation theory, the combinatorial invariance conjecture. Through these examples we demonstrate a way that machine learning can be used by mathematicians to help guide the development of surprising and beautiful new conjectures.

Singular Calabi-Yau mirror symmetry
2022-01-28 09:30 - 10:30 | MA
Speaker: Bong Lian
Title: Singular Calabi-Yau mirror symmetry
Abstract: We will consider a class of Calabi-Yau varieties given by cyclic branched covers of a fixed semi Fano manifold. The first prototype example goes back to Euler, Gauss and Legendre, who considered 2-fold covers of P1 branched over 4 points. Two-fold covers of P2 branched over 6 lines have been studied more recently by many authors, including Matsumoto, Sasaki, Yoshida and others, mainly from the viewpoint of their moduli spaces and their comparisons. I will outline a higher dimensional generalization from the viewpoint of mirror symmetry. We will introduce a new compactification of the moduli space cyclic covers, using the idea of ‘abelian gauge fixing’ and ‘fractional complete intersections’. This produces a moduli problem that is amenable to tools in toric geometry, particularly those that we have developed jointly in the mid-90’s with S. Hosono and S.-T. Yau in our study of toric Calabi-Yau complete intersections. In dimension 2, this construction gives rise to new and interesting identities of modular forms and mirror maps associated to certain K3 surfaces. We also present an essentially complete mirror theory in dimension 3, and discuss generalization to higher dimensions. The lecture is based on joint work with Shinobu Hosono, Tsung-Ju Lee, Hiromichi Takagi, Shing-Tung Yau.

Learning and inference from sensitive data
2022-02-02 09:30 - 10:30 | Virtual
Speaker: Adam Smith (Boston University)
Title: Learning and inference from sensitive data
Abstract: Consider an agency holding a large database of sensitive personal information—say, medical records, census survey answers, web searches, or genetic data. The agency would like to discover and publicly release global characteristics of the data while protecting the privacy of individuals’ records.
I will discuss recent (and not-so-recent) results on this problem with a focus on the release of statistical models. I will first explain some of the fundamental limitations on the release of machine learning models—specifically, why such models must sometimes memorize training data points nearly completely. On the more positive side, I will present differential privacy, a rigorous definition of privacy in statistical databases that is now widely studied, and increasingly used to analyze and design deployed systems. I will explain some of the challenges of sound statistical inference based on differentially private statistics, and lay out directions for future investigation.

Neural diffusion PDEs, differential geometry, and graph neural networks
2022-02-02 14:00 - 15:00 | MA
Speaker: Michael Bronstein, University of Oxford and Twitter
Title: Neural diffusion PDEs, differential geometry, and graph neural networks
Abstract: In this talk, I will make connections between Graph Neural Networks (GNNs) and non-Euclidean diffusion equations. I will show that drawing on methods from the domain of differential geometry, it is possible to provide a principled view on such GNN architectural choices as positional encoding and graph rewiring as well as explain and remedy the phenomena of oversquashing and bottlenecks.

Survey on stability of the positive mass theorem
2022-02-04 09:30 - 10:30 | MA
Member Seminar
Speaker: Dan Lee
Title: Survey on stability of the positive mass theorem
Abstract: The Riemannian positive mass theorem states that a complete asymptotically flat manifold with nonnegative scalar curvature must have nonnegative ADM mass. This inequality comes with a rigidity statement that says that if the mass is zero, then the manifold must be Euclidean space. This naturally leads to the question of stability. In this talk, I will discuss various results related to this question.

CMSA Colloquium
2022-02-08 09:30 - 22:30 | MA
During the 2021–22 academic year, the CMSA will be hosting a Colloquium, organized by Du Pei, Changji Xu, and Michael Simkin. It will take place on Wednesdays at 9:30am – 10:30am (Boston time). The meetings will take place virtually on Zoom. All CMSA postdocs/members are required to attend the weekly CMSA Members’ Seminars, as well as the weekly CMSA Colloquium series. The schedule below will be updated as talks are confirmed.
Spring 2022

Date
Speaker
Title/Abstract

1/26/2022
Samir Mathur (Ohio State University)
Title: The black hole information paradox
Abstract: In 1975, Stephen Hawking showed that black holes radiate away in a manner that violates quantum theory. Starting in 1997, it was observed that black holes in string theory did not have the form expected from general relativity: in place of “empty space will all the mass at the center,” one finds a “fuzzball” where the mass is distributed throughout the interior of the horizon. This resolves the paradox, but opposition to this resolution came from groups who sought to extrapolate some ideas in holography. In 2009 it was shown, using some theorems from quantum information theory, that these extrapolations were incorrect, and the fuzzball structure was essential for resolving the puzzle. Opposition continued along different lines, with a postulate that information would leak out through wormholes. Recently, it was shown that this wormhole idea had some basic flaws, leaving the fuzzball paradigm as the natural resolution of Hawking’s puzzle.
Video

2/2/2022
Adam Smith (Boston University)
Title: Learning and inference from sensitive data
Abstract: Consider an agency holding a large database of sensitive personal information—say, medical records, census survey answers, web searches, or genetic data. The agency would like to discover and publicly release global characteristics of the data while protecting the privacy of individuals’ records.
I will discuss recent (and not-so-recent) results on this problem with a focus on the release of statistical models. I will first explain some of the fundamental limitations on the release of machine learning models—specifically, why such models must sometimes memorize training data points nearly completely. On the more positive side, I will present differential privacy, a rigorous definition of privacy in statistical databases that is now widely studied, and increasingly used to analyze and design deployed systems. I will explain some of the challenges of sound statistical inference based on differentially private statistics, and lay out directions for future investigation.

2/8/2022
Wenbin Yan (Tsinghua University)
(special time: 9:30 pm ET)
Title: Tetrahedron instantons and M-theory indices
Abstract: We introduce and study tetrahedron instantons. Physically they capture instantons on $mathbb{C}^{3}$ in the presence of the most general intersecting codimension-two supersymmetric defects. In this talk, we will review instanton moduli spaces, explain the construction, moduli space and partition functions of tetrahedron instantons. We will also point out possible relations with M-theory index which could be a generalization of Gupakuma-Vafa theory.
Video

2/16/2022
Takuro Mochizuki (Kyoto University)
Title: Kobayashi-Hitchin correspondences for harmonic bundles and monopoles
Abstract: In 1960’s, Narasimhan and Seshadri discovered the equivalence
between irreducible unitary flat bundles and stable bundles of degree $0$ on compact Riemann surfaces. In 1980’s, Donaldson, Uhlenbeck and Yau generalized it to the equivalence between irreducible Hermitian-Einstein bundles
and stable bundles on smooth projective varieties. This is a surprising bridge connecting differential geometry and algebraic geometry. Since then, many interesting generalizations have been studied.
In this talk, we would like to review a stream in the study of such correspondences for Higgs bundles, integrable connections, $D$-modules and periodic monopoles.

2/23/2022
Bartek Czech (Tsinghua University)
Title: Holographic Cone of Average Entropies and Universality of Black Holes
Abstract: In the AdS/CFT correspondence, the holographic entropy cone, which identifies von Neumann entropies of CFT regions that are consistent with a semiclassical bulk dual, is currently known only up to n=5 regions. I explain that average
entropies of p-partite subsystems can be checked for consistency with a semiclassical bulk dual far more easily, for an arbitrary number of regions n. This analysis defines the “Holographic Cone of Average
Entropies” (HCAE). I conjecture the exact form of HCAE, and find that it has the following properties: (1) HCAE is the simplest it could be, namely it is a simplicial cone. (2) Its extremal rays represent stages of thermalization (black hole formation). (3) In a time-reversed picture, the extremal rays of HCAE represent stages of unitary black hole evaporation, as stipulated by the island solution of the black hole information paradox. (4) HCAE is bound by a novel, infinite family of holographic entropy inequalities. (5) HCAE is the simplest it could be also in its dependence on the number of regions n, namely its bounding inequalities are n-independent. (6) In a precise sense I describe, the bounding inequalities of HCAE unify (almost) all previously discovered holographic inequalities and strongly constrain future inequalities yet to be discovered. I also sketch an interpretation of HCAE in terms of error correction and the holographic Renormalization Group. The big lesson that HCAE seems to be teaching us is about the universality of black hole physics.

3/2/2022
Richard Kenyon (Yale University)

3/9/2022
Richard Tsai (UT Austin)

3/23/2022
Joel Cohen (University of Maryland)

3/30/2022
Rob Leigh (UIUC)

4/6/2022
Johannes Kleiner (LMU München)

4/13/2022
Yuri Manin (Max-Planck-Institut für Mathematik)

4/20/2022
TBA

4/27/2022
TBA

5/4/2022
Melody Chan (Brown University)

5/11/2022
TBA

5/18/2022
TBA

5/25/2022
Heeyeon Kim (Rutgers University)

Fall 2021

Date
Speaker
Title/Abstract

9/15/2021
Tian Yang, Texas A&M
Title: Hyperbolic Geometry and Quantum Invariants
Abstract: There are two very different approaches to 3-dimensional topology, the hyperbolic geometry following the work of Thurston and the quantum invariants following the work of Jones and Witten. These two approaches are related by a sequence of problems called the Volume Conjectures. In this talk, I will explain these conjectures and present some recent joint works with Ka Ho Wong related to or benefited from this relationship.

9/29/2021
David Jordan, University of Edinburgh
Title: Langlands duality for 3 manifolds
Abstract: Langlands duality began as a deep and still mysterious conjecture in number theory, before branching into a similarly deep and mysterious conjecture of Beilinson and Drinfeld concerning the algebraic geometry of Riemann surfaces. In this guise it was given a physical explanation in the framework of 4-dimensional super symmetric quantum field theory by Kapustin and Witten. However to this day the Hilbert space attached to 3-manifolds, and hence the precise form of Langlands duality for them, remains a mystery.
In this talk I will propose that so-called “skein modules” of 3-manifolds give natural candidates for these Hilbert spaces at generic twisting parameter Psi , and I will explain a Langlands duality in this setting, which we have conjectured with Ben-Zvi, Gunningham and Safronov.
Intriguingly, the precise formulation of such a conjecture in the classical limit Psi=0 is still an open question, beyond the scope of the talk.

10/06/2021
Piotr Sulkowski, U Warsaw
Title: Strings, knots and quivers
Abstract: I will discuss a recently discovered relation between quivers and knots, as well as – more generally – toric Calabi-Yau manifolds. In the context of knots this relation is referred to as the knots-quivers correspondence, and it states that various invariants of a given knot are captured by characteristics of a certain quiver, which can be associated to this knot. Among others, this correspondence enables to prove integrality of LMOV invariants of a knot by relating them to motivic Donaldson-Thomas invariants of the corresponding quiver, it provides a new insight on knot categorification, etc. This correspondence arises from string theory interpretation and engineering of knots in brane systems in the conifold geometry; replacing the conifold by other toric Calabi-Yau manifolds leads to analogous relations between such manifolds and quivers.

10/13/2021
Alexei Oblomkov, University of Massachusetts
Title: Knot homology and sheaves on the Hilbert scheme of points on the plane.
Abstract: The knot homology (defined by Khovavov, Rozansky) provide us with a refinement of the knot polynomial knot invariant defined by Jones. However, the knot homology are much harder to compute compared to the polynomial invariant of Jones. In my talk I present recent developments that allow us to use tools of algebraic geometry to compute the homology of torus knots and prove long-standing conjecture on the Poincare duality the knot homology. In more details, using physics ideas of Kapustin-Rozansky-Saulina, in the joint work with Rozansky, we provide a mathematical construction that associates to a braid on n strands a complex of sheaves on the Hilbert scheme of n points on the plane. The knot homology of the closure of the braid is a space of sections of this sheaf. The sheaf is also invariant with respect to the natural symmetry of the plane, the symmetry is the geometric counter-part of the mentioned Poincare duality.

10/20/2021
Peng Shan, Tsinghua U
Title: Categorification and applications
Abstract: I will give a survey of the program of categorification for quantum groups, some of its recent development and applications to representation theory.

10/27/2021
Karim Adiprasito, Hebrew University and University of Copenhagen
Title: Anisotropy, biased pairing theory and applications
Abstract: Not so long ago, the relations between algebraic geometry and combinatorics were strictly governed by the former party, with results like log-concavity of the coefficients of the characteristic polynomial of matroids shackled by intuitions and techniques from projective algebraic geometry, specifically Hodge Theory. And so, while we proved analogues for these results, combinatorics felt subjugated to inspirations from outside of it.
In recent years, a new powerful technique has emerged: Instead of following the geometric statements of Hodge theory about signature, we use intuitions from the Hall marriage theorem, translated to algebra: once there, they are statements about self-pairings, the non-degeneracy of pairings on subspaces to understand the global geometry of the pairing. This was used to establish Lefschetz type theorems far beyond the scope of algebraic geometry, which in turn established solutions to long-standing conjectures in combinatorics.
I will survey this theory, called biased pairing theory, and new developments within it, as well as new applications to combinatorial problems. Reporting on joint work with Stavros Papadaki, Vasiliki Petrotou and Johanna Steinmeyer.

11/03/2021
Tamas Hausel, IST Austria
Title: Hitchin map as spectrum of equivariant cohomology
Abstract: We will explain how to model the Hitchin integrable system on a certain Lagrangian upward flow as the spectrum of equivariant cohomology of a Grassmannian.

11/10/2021
Peter Keevash, Oxford
Title: Hypergraph decompositions and their applications

Abstract: Many combinatorial objects can be thought of as a hypergraph decomposition, i.e. a partition of (the edge set of) one hypergraph into (the edge sets of) copies of some other hypergraphs. For example, a Steiner Triple System is equivalent to a decomposition of a complete graph into triangles. In general, Steiner Systems are equivalent to decompositions of complete uniform hypergraphs into other complete uniform hypergraphs (of some specified sizes). The Existence Conjecture for Combinatorial Designs, which I proved in 2014, states that, bar finitely many exceptions, such decompositions exist whenever the necessary ‘divisibility conditions’ hold. I also obtained a generalisation to the quasirandom setting, which implies an approximate formula for the number of designs; in particular, this resolved Wilson’s Conjecture on the number of Steiner Triple Systems. A more general result that I proved in 2018 on decomposing lattice-valued vectors indexed by labelled complexes provides many further existence and counting results for a wide range of combinatorial objects, such as resolvable designs (the generalised form of Kirkman’s Schoolgirl Problem), whist tournaments or generalised Sudoku squares. In this talk, I plan to review this background and then describe some more recent and ongoing applications of these results and developments of the ideas behind them.

11/17/2021
Andrea Brini, U Sheffield
Title: Curve counting on surfaces and topological strings
Abstract: Enumerative geometry is a venerable subfield of Mathematics, with roots dating back to Greek Antiquity and a present inextricably linked with developments in other domains. Since the early 90s, in particular, the interaction with String Theory has sent shockwaves through the subject, giving both unexpected new perspectives and a remarkably powerful, physics-motivated toolkit to tackle several traditionally hard questions in the field.
I will survey some recent developments in this vein for the case of enumerative invariants associated to a pair (X, D), with X a complex algebraic surface and D a singular anticanonical divisor in it. I will describe a surprising web of correspondences linking together several a priori distant classes of enumerative invariants associated to (X, D), including the log Gromov-Witten invariants of the pair, the Gromov-Witten invariants of an associated higher dimensional Calabi-Yau variety, the open Gromov-Witten invariants of certain special Lagrangians in toric Calabi–Yau threefolds, the Donaldson–Thomas theory of a class of symmetric quivers, and certain open and closed Gopakumar-Vafa-type invariants. I will also discuss how these correspondences can be effectively used to provide a complete closed-form solution to the calculation of all these invariants.

12/01/2021
Richard Wentworth, University of Maryland
Title: The Hitchin connection for parabolic G-bundles
Abstract: For a simple and simply connected complex group G, I will discuss some elements of the proof of the existence of a flat projective connection on the bundle of nonabelian theta functions on the moduli space of semistable parabolic G-bundles over families of smooth projective curves with marked points. Under the isomorphism with the bundle of conformal blocks, this connection is equivalent to the one constructed by conformal field theory. This is joint work with Indranil Biswas and Swarnava Mukhopadhyay.

12/08/2021
Maria Chudnovsky, Princeton
Title: Induced subgraphs and tree decompositions
Abstract: Tree decompositions are a powerful tool in both structural
graph theory and graph algorithms. Many hard problems become tractable if the input graph is known to have a tree decomposition of bounded “width”. Exhibiting a particular kind of a tree decomposition is also a useful way to describe the structure of a graph.
Tree decompositions have traditionally been used in the context of forbidden graph minors; bringing them into the realm of forbidden induced subgraphs has until recently remained out of reach. Over the last couple of years we have made significant progress in this direction, exploring both the classical notion of bounded tree-width, and concepts of more structural flavor. This talk will survey some of these ideas and results.

12/15/21
Constantin Teleman (UC Berkeley)
Title: The Kapustin-Rozanski-Saulina “2-category” of a holomorphic integrable system
Abstract: I will present a construction of the object in the title which, applied to the classical Toda system, controls the theory of categorical representations of compact Lie groups, along with applications (some conjectural, some rigorous) to gauged Gromov-Witten theory. Time permitting, we will review applications to Coulomb branches and the categorified Weyl character formula.

Tetrahedron instantons and M-theory indices
2022-02-08 21:30 - 22:30 | Virtual
Colloquium
Speaker: Wenbin Yan (Tsinghua University)
Title: Tetrahedron instantons and M-theory indices
Abstract: We introduce and study tetrahedron instantons. Physically they capture instantons on $mathbb{C}^{3}$ in the presence of the most general intersecting codimension-two supersymmetric defects. In this talk, we will review instanton moduli spaces, explain the construction, moduli space and partition functions of tetrahedron instantons. We will also point out possible relations with M-theory index which could be a generalization of Gupakuma-Vafa theory.

Toward Demystifying Transformers and Attention
2022-02-09 14:00 - 15:00 | Virtual
Speaker: Ben Edelman, Harvard Computer Science
Title: Toward Demystifying Transformers and Attention
Abstract: Over the past several years, attention mechanisms (primarily in the form of the Transformer architecture) have revolutionized deep learning, leading to advances in natural language processing, computer vision, code synthesis, protein structure prediction, and beyond. Attention has a remarkable ability to enable the learning of long-range dependencies in diverse modalities of data. And yet, there is at present limited principled understanding of the reasons for its success. In this talk, I’ll explain how attention mechanisms and Transformers work, and then I’ll share the results of a preliminary investigation into why they work so well. In particular, I’ll discuss an inductive bias of attention that we call sparse variable creation: bounded-norm Transformer layers are capable of representing sparse Boolean functions, with statistical generalization guarantees akin to sparse regression.

Amplituhedra, Scattering Amplitudes and Triangulations
2022-02-11 09:30 - 10:30 | MA
Member Seminar
Speaker: Matteo Parisi
Title: Amplituhedra, Scattering Amplitudes and Triangulations
Abstract: In this talk I will discuss about Amplituhedra – generalizations of polytopes inside the Grassmannian – recently introduced by physicists as new geometric constructions encoding interactions of elementary particles in certain Quantum Field Theories. In particular, I will explain how the problem of finding triangulations of Amplituhedra is connected to computing scattering amplitudes of N=4 super Yang-Mills theory. Triangulations of polygons are encoded in the associahedron studied by Stasheff in the sixties; in the case of polytopes, triangulations are captured by secondary polytopes constructed by Gelfand et al. in the nineties. Whereas a “secondary” geometry describing triangulations of Amplituhedra is still not known, and we pave the way for such studies. We will discuss how the combinatorics of triangulations interplays with T-duality from String Theory, in connection with a dual object we define – the Momentum Amplituhedron. A generalization of T-duality led us to discover a striking duality between triangulations of Amplituhedra of “m=2” type and the ones of a seemingly unrelated object – the Hypersimplex. The latter is a polytope which has been central in many contexts, such as matroid theory, torus orbits in the Grassmannian, and tropical geometry. Based on joint works with Lauren Williams, Melissa Sherman-Bennett, Tomasz Lukowski [arXiv:2104.08254, arXiv:2002.06164].

Kobayashi-Hitchin correspondences for harmonic bundles and monopoles
2022-02-16 09:30 - 10:30 | Virtual
Speaker: Takuro Mochizuki (Kyoto University)
Title: Kobayashi-Hitchin correspondences for harmonic bundles and monopoles
Abstract: In 1960’s, Narasimhan and Seshadri discovered the equivalence between irreducible unitary flat bundles and stable bundles of degree $0$ on compact Riemann surfaces. In 1980’s, Donaldson, Uhlenbeck and Yau generalized it to the equivalence between irreducible Hermitian-Einstein bundles and stable bundles on smooth projective varieties. This is a surprising bridge connecting differential geometry and algebraic geometry. Since then, many interesting generalizations have been studied.
In this talk, we would like to review a stream in the study of such correspondences for Higgs bundles, integrable connections, $D$-modules and periodic monopoles.

Bootstrapping hyperbolic manifolds
2022-02-16 14:00 - 15:00 | Virtual
Speaker: James Bonifacio, Cambridge DAMTP
Title: Bootstrapping hyperbolic manifolds
Abstract: Hyperbolic manifolds are a class of Riemannian manifolds that are important in mathematics and physics, playing a prominent role in topology, number theory, and string theory. Associated with a given hyperbolic metric is a sequence of numbers corresponding to the discrete eigenvalues of the Laplace-Beltrami operator. While these eigenvalues usually cannot be calculated exactly, they can be found numerically and must also satisfy various bounds. In this talk, I will discuss a new approach for finding numerical bounds on the eigenvalues of closed hyperbolic manifolds using general consistency conditions and semidefinite programming, inspired by the approach of the conformal bootstrap from physics. Although these bootstrap bounds follow from seemingly trivial consistency conditions, they are surprisingly strong and are sometimes almost saturated by actual manifolds; for example, one such bound implies that the first nonzero eigenvalue of a closed hyperbolic surface must be less than 3.83890, and this is very close to being saturated by a particular genus-2 surface called the Bolza surface. I will show how to derive this and other bounds and will discuss some possible future directions for this approach.

Quadratic reciprocity from a family of adelic conformal field theories
2022-02-18 09:30 - 10:30 | MA
Member Seminar
Speaker:An Huang
Title: Quadratic reciprocity from a family of adelic conformal field theories
Abstract: This talk aims to provide a physics framework to understand quadratic reciprocity. Specifically, we consider a deformation of the two-dimensional free scalar field theory by raising the Laplacian to a positive real power. It turns out that the resulting non-local generalized free action is invariant under two commuting actions of the global conformal symmetry algebra, although it is no longer invariant under the full Witt algebra. The deformation is also closely related to dimensional regularization. Furthermore, there is an adelic version of this family of conformal field theories, parameterized by the choice of a number field, together with a Hecke character. Tate’s thesis gives the Green’s functions of these theories, and ensures that these Green’s functions satisfy an adelic product formula. In particular, the local L-factors contribute to the prefactors of these Green’s functions. Quadratic reciprocity turns out to be a consequence of an adelic version of a holomorphic factorization property of this family of theories on a quadratic extension of Q. At the Archimedean place, the desired holomorphic factorization follows from the global conformal symmetry.

Holographic Cone of Average Entropies and Universality of Black Holes
2022-02-23 09:30 - 10:30 | Virtual
Speaker: Bartek Czech, Tsinghua University
Title: Holographic Cone of Average Entropies and Universality of Black Holes
Abstract: In the AdS/CFT correspondence, the holographic entropy cone, which identifies von Neumann entropies of CFT regions that are consistent with a semiclassical bulk dual, is currently known only up to n=5 regions. I explain that average
entropies of p-partite subsystems can be checked for consistency with a semiclassical bulk dual far more easily, for an arbitrary number of regions n. This analysis defines the “Holographic Cone of Average
Entropies” (HCAE). I conjecture the exact form of HCAE, and find that it has the following properties: (1) HCAE is the simplest it could be, namely it is a simplicial cone. (2) Its extremal rays represent stages of thermalization (black hole formation). (3) In a time-reversed picture, the extremal rays of HCAE represent stages of unitary black hole evaporation, as stipulated by the island solution of the black hole information paradox. (4) HCAE is bound by a novel, infinite family of holographic entropy inequalities. (5) HCAE is the simplest it could be also in its dependence on the number of regions n, namely its bounding inequalities are n-independent. (6) In a precise sense I describe, the bounding inequalities of HCAE unify (almost) all previously discovered holographic inequalities and strongly constrain future inequalities yet to be discovered. I also sketch an interpretation of HCAE in terms of error correction and the holographic Renormalization Group. The big lesson that HCAE seems to be teaching us is about the universality of black hole physics.

Dimers and webs
2022-03-02 09:30 - 10:30 | Virtual
Speaker: Richard Kenyon (Yale)
Title: Dimers and webs
Abstract: We consider SL_n-local systems on graphs on surfaces and show how the associated Kasteleyn matrix can be used to compute probabilities of various topological events involving the overlay of n independent dimer covers (or “n-webs”).
This is joint work with Dan Douglas and Haolin Shi.

Scaling Laws and Their Implications for Coding AI
2022-03-02 14:00 - 15:00 | Virtual
Speaker: Jared Kaplan, Johns Hopkins Dept. of Physics & Astronomy
Title: Scaling Laws and Their Implications for Coding AI
Abstract: Scaling laws and associated downstream trends can be used as an organizing principle when thinking about current and future ML progress. I will briefly review scaling laws for generative models in a number of domains, emphasizing language modeling. Then I will discuss scaling results for transfer from natural language to code, and results on python programming performance from “codex” and other models. If there’s time I’ll discuss prospects for the future — limitations from dataset sizes, and prospects for RL and other techniques.

Positive Mass, Density, and Scalar Curvature on Noncompact Manifolds
2022-03-04 09:30 - 10:30 | Hybrid – G10
Member Seminar
Speaker: Martin Lesourd
Title: Positive Mass, Density, and Scalar Curvature on Noncompact Manifolds
Abstract: I’ll describe some recent work spanning a couple of different papers on the topics mentioned in the title: Positive Mass, Density, and Scalar Curvature on Noncompact Manifolds. Two of these are with R. Unger, Prof. S-T. Yau, and two others are with R. Unger, and Prof. D. A. Lee.

Side-effects of Learning from Low Dimensional Data Embedded in an Euclidean Space
2022-03-09 09:30 - 10:30 | MA
Abstract: The low dimensional manifold hypothesis posits that the data found in many applications, such as those involving natural images, lie (approximately) on low dimensional manifolds embedded in a high dimensional Euclidean space. In this setting, a typical neural network defines a function that takes a finite number of vectors in the embedding space as input. However, one often needs to consider evaluating the optimized network at points outside the training distribution. We analyze the cases where the training data are distributed in a linear subspace of Rd. We derive estimates on the variation of the learning function, defined by a neural network, in the direction transversal to the subspace. We study the potential regularization effects associated with the network’s depth and noise in the codimension of the data manifold.

Machine Learning 30 STEM Courses in 12 Departments
2022-03-09 14:00 | MA
Speaker: Iddo Drori, MIT EE&CS and Columbia School of Engineering
Title: Machine Learning 30 STEM Courses in 12 Departments
Abstract: We automatically solve, explain, and generate university-level course problems from thirty STEM courses (at MIT, Harvard, and Columbia) for the first time.
We curate a new dataset of course questions and answers across a dozen departments: Aeronautics and Astronautics, Chemical Engineering, Chemistry, Computer Science, Economics, Electrical Engineering, Materials Science, Mathematics, Mechanical Engineering, Nuclear Science, Physics, and Statistics.
We generate new questions and use them in a Columbia University course, and perform A/B tests demonstrating that these machine generated questions are indistinguishable from human-written questions and that machine generated explanations are as useful as human-written explanations, again for the first time.
Our approach consists of five steps:
(i) Given course questions, turn them into programming tasks;
(ii) Automatically generate programs from the programming tasks using a Transformer model, OpenAI Codex, pre-trained on text and fine-tuned on code;
(iii) Execute the programs to obtain and evaluate the answers;
(iv) Automatically explain the correct solutions using Codex;
(v) Automatically generate new questions that are qualitatively indistinguishable from human-written questions.
This work is a significant step forward in applying machine learning for education, automating a considerable part of the work involved in teaching.
Our approach allows personalization of questions based on difficulty level and student backgrounds, and scales up to a broad range of courses across the schools of engineering and science.
This is joint work with students and colleagues at MIT, Harvard University, Columbia University, Worcester Polytechnic Institute, and the University of Waterloo.

Moduli Space of Metric SUSY Graphs
2022-03-18 09:30 - 10:30 | Virtual
Member Seminar
Speaker: Yingying Wu
Title: Moduli Space of Metric SUSY Graphs
Abstract: SUSY curves are algebraic curves with additional supersymmetric or supergeometric structures. In this talk, I will present the construction of dual graphs of SUSY curves with Neveu–Schwarz and Ramond punctures. Then, I will introduce the concept of the metrized SUSY graph and the moduli space of the metric SUSY graphs. I will outline its geometric and topological properties, followed by a discussion on the connection with the classical case.

Fluctuation scaling or Taylor’s law of heavy-tailed data, illustrated by U.S. COVID-19 cases and deaths
2022-03-23 09:30 - 10:30 | MA
Speaker: Joel E. Cohen (Rockefeller University and Columbia University)
Title: Fluctuation scaling or Taylor’s law of heavy-tailed data, illustrated by U.S. COVID-19 cases and deaths
Abstract: Over the last century, ecologists, statisticians, physicists, financial quants, and other scientists discovered that, in many examples, the sample variance approximates a power of the sample mean of each of a set of samples of nonnegative quantities. This power-law relationship of variance to mean is known as a power variance function in statistics, as Taylor’s law in ecology, and as fluctuation scaling in physics and financial mathematics. This survey talk will emphasize ideas, motivations, recent theoretical results, and applications rather than detailed proofs. Many models intended to explain Taylor’s law assume the probability distribution underlying each sample has finite mean and variance. Recently, colleagues and I generalized Taylor’s law to samples from probability distributions with infinite mean or infinite variance and higher moments. For such heavy-tailed distributions, we extended Taylor’s law to higher moments than the mean and variance and to upper and lower semivariances (measures of upside and downside portfolio risk). In unpublished work, we suggest that U.S. COVID-19 cases and deaths illustrate Taylor’s law arising from a distribution with finite mean and infinite variance. This model has practical implications. Collaborators in this work are Mark Brown, Richard A. Davis, Victor de la Peña, Gennady Samorodnitsky, Chuan-Fa Tang, and Sheung Chi Phillip Yam.

Formal Mathematics Statement Curriculum Learning
2022-03-23 14:00 - 15:00 | MA
Speaker: Stanislas Polu, OpenAI
Title: Formal Mathematics Statement Curriculum Learning
Abstract: We explore the use of expert iteration in the context of language modeling applied to formal mathematics. We show that at same compute budget, expert iteration, by which we mean proof search interleaved with learning, dramatically outperforms proof search only. We also observe that when applied to a collection of formal statements of sufficiently varied difficulty, expert iteration is capable of finding and solving a curriculum of increasingly difficult problems, without the need for associated ground-truth proofs. Finally, by applying this expert iteration to a manually curated set of problem statements, we achieve state-of-the-art on the miniF2F benchmark, automatically solving multiple challenging problems drawn from high school olympiads.

Periods for singular CY families and Riemann–Hilbert correspondence
2022-03-25 09:30 - 10:30 | MA
Member Seminar
Speaker: Tsung-Ju Lee
Title: Periods for singular CY families and Riemann–Hilbert correspondence
Abstract: A GKZ system, introduced by Gelfand, Kapranov, and Zelevinsky, is a system of partial differential equations generalizing the hypergeometric structure studied by Euler and Gauss. The solutions to GKZ systems have been found applications in various branches of mathematics including number theory, algebraic geometry and mirror symmetry. In this talk, I will explain the details and demonstrate how to find the Riemann–Hilbert partner of the GKZ system with a fractional parameter which arises from the B model of singular CY varieties. This is a joint work with Dingxin Zhang.

Edge Modes and Gravity
2022-03-30 09:30 - 10:30 | MA
Speaker: Rob Leigh, UIUC
Title: Edge Modes and Gravity
Abstract: In this talk I first review some of the many appearances of localized degrees of freedom — edge modes — in a variety of physical systems. Edge modes are implicated for example in quantum entanglement and in various topological and holographic dualities. I then review recent work in which it has been realized that a careful treatment of such modes, paying attention to relevant symmetries, is required in order to properly understand such basic physical quantities as Noether charges. From many points of view, it is conjectured that this physics may be pointing at basic properties of quantum spacetimes and gravity.

Memorizing Transformers
2022-03-30 14:00 - 15:00 | Virtual
Speaker: Yuhuai Wu, Stanford and Google
Title: Memorizing Transformers
Abstract: Language models typically need to be trained or fine-tuned in order to acquire new knowledge, which involves updating their weights. We instead envision language models that can simply read and memorize new data at inference time, thus acquiring new knowledge immediately. In this talk, I will discuss how we extend language models with the ability to memorize the internal representations of past inputs. We demonstrate that an approximate NN lookup into a non-differentiable memory of recent (key, value) pairs improves language modeling across various benchmarks and tasks, including generic webtext (C4), math papers (arXiv), books (PG-19), code (Github), as well as formal theorems (Isabelle). We show that the performance steadily improves when we increase the size of memory up to 262K tokens. We also find that the model is capable of making use of newly defined functions and theorems during test time.
