What is Mathematical Consciousness Science?
2022-04-06 09:30 - 10:30 (America/New_York)
Speaker: 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.

Late time von Neumann entropy and measurement-induced phase transition
2022-04-06 10:30 - 12:00 | Virtual
Youtube Video

Abstract: Characterizing many-body entanglement is one of the most important problems in quantum physics. We present our studies on the steady state von Neumann entropy and its transition in Brownian SYK models. For unitary evolution, we show that the correlations between different replicas account for the Page curve at late time, and a permutation group structure emerges in the large-N calculation. In the presence of measurements, we find a transition of von Neumann entropy from volume-law to area-law by increasing the measurement rate. We show that a proper replica limit can be taken, which shows that the transition occurs at the point of replica symmetry breaking.

On the wave turbulence theory for a stochastic KdV type equation
2022-04-06 13:30 - 14:30 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Random Matrix & Probability Theory Seminar

Speaker: Minh-Binh TRAN (SMU & MIT)

Location: CMSA, Room G02
Title: On the wave turbulence theory for a stochastic KdV type equation
Abstract: We report recent progress, in collaboration with Gigliola Staffilani (MIT), on the problem of deriving kinetic equations from dispersive equations. To be more precise, starting from the stochastic Zakharov-Kuznetsov equation, a multidimensional KdV type equation on a hypercubic lattice, we provide a derivation of the 3-wave kinetic equation. We show that the two point correlation function can be asymptotically expressed as the solution of the 3-wave kinetic equation at the kinetic limit under very general assumptions: the initial condition is out of equilibrium, the dimension is $dge 2$, the smallness of the nonlinearity $lambda$ is allowed to be independent of the size of the lattice, the weak noise is chosen not to compete with the weak nonlinearity and not to inject energy into the equation. Unlike the cubic nonlinear Schrodinger equation, for which such a general result is commonly expected without the noise, the kinetic description of the deterministic lattice ZK equation is unlikely to happen. One of the key reasons is that the dispersion relation of the lattice ZK equation leads to a singular manifold, on which not only 3-wave interactions but also all m-wave interactions are allowed to happen. This phenomenon has been first observed by Lukkarinen as a counterexample for which one of the main tools to derive kinetic equations from wave equations (the suppression of crossings) fails to hold true.

Gopakumar-Vafa type invariants of holomorphic symplectic 4-folds
2022-04-06 21:30 - 22:30 | Virtual
Abstract: Gromov-Witten invariants of holomorphic symplectic 4-folds vanish and one can consider the corresponding reduced theory. In this talk, we will explain a definition of Gopakumar-Vafa type invariants for such a reduced theory. These invariants are conjectured to be integers and have alternative interpretations using sheaf theoretic moduli spaces. Our conjecture is proved for the product of two K3 surfaces, which naturally leads to a closed formula of Fujiki constants of Chern classes of tangent bundles of Hilbert schemes of points on K3 surfaces. On a very general holomorphic symplectic 4-folds of K3^[2] type, our conjecture provides a Yau-Zaslow type formula for the number of isolated genus 2 curves of minimal degree. Based on joint works with Georg Oberdieck and Yukinobu Toda.

Lattice Gauge Theory View of Toric Codes, X-cube, and More
2022-04-07 09:30 - 11:00 | Virtual
Youtube Video

Abstract: Exactly solvable spin models such as toric codes and X-cube model have heightened our understanding of spin liquids and topological matter in two and three dimensions. Their exact solvability, it turns out, is rooted in the existence of commuting generators in their parent lattice gauge theory (LGT). We can understand the toric codes as Higgsed descendants of the rank-1 U(1) LGT in two and three dimensions, and the X-cube model as that of rank-2 U(1) LGT in three dimensions. Furthermore, the transformation properties of the gauge fields in the respective LGT is responsible for, and nearly determines the structure of the effective field theory (EFT) of the accompanying matter fields. We show how to construct the EFT of e and m particles in the toric codes and of fractons and lineons in the X-cube model by following such an idea. Recently we proposed some stabilizer Hamiltonians termed rank-2 toric code (R2TC) and F3 model (3D). We will explain what they are, and construct their EFTs using the gauge principle as guidance. The resulting field theory of the matter fields are usually highly interacting and exhibit unusual conservation laws. Especially for the R2TC, we demonstrate the existence of what we call the “dipolar braiding statistics” and outline the accompanying field theory which differs from the usual BF field theory of anyon braiding.
References:
[1] “Model for fractions, fluxons, and free verte excitations”, JT Kim, JH Han, Phys. Rev. B 104, 115128 (2021)
[1] “Rank-2 toric code in two dimensions”, YT Oh, JT Kim, EG Moon, JH Han, Phys. Rev. B 105, 045128 (2022)
[2] “Effective field theory for the exactly solvable stabilizer spin models”, JT Kim, YT Oh, JH Han, in preparation.
[3] “Effective field theory of dipolar braiding statistics in two dimensions”, YT Oh, JT Kim, JH Han, in preparation.

Theories of branching morphogenesis
2022-04-07 13:00 - 14:26
Abstract: The morphogenesis of branched tissues has been a subject of long-standing debate. Although much is known about the molecular pathways that control cell fate decisions, it remains unclear how macroscopic features of branched organs, including their size, network topology and spatial pattern are encoded. Based on large-scale reconstructions of the mouse mammary gland and kidney, we begin by showing that statistical features of the developing branched epithelium can be explained quantitatively by a local self-organizing principle based on a branching and annihilating random walk (BARW). In this model, renewing tip-localized progenitors drive a serial process of ductal elongation and stochastic tip bifurcation that terminates when active tips encounter maturing ducts. Then, based on reconstructions of the developing mouse salivary gland, we propose a generalisation of BARW model in which tips arrested through steric interaction with proximate ducts reactivate their branching programme as constraints become alleviated through the expansion of the underlying mesenchyme. This inflationary branching-arresting random walk model offers a more general paradigm for branching morphogenesis when the ductal epithelium grows cooperatively with the tissue into which it expands.

The space of vector bundles on spheres: algebra, geometry, topology
2022-04-07 15:22 - 17:22
Abstract: Bott periodicity relates vector bundles on a topological space X to vector bundles on X “times a sphere”. I’m not a topologist, so I will try to explain an algebraic or geometric incarnation, in terms of vector bundles on the Riemann sphere. I will attempt to make the talk introductory, and (for the most part) accessible to those in all fields, at the expense of speaking informally and not getting far. This relates to recent work of Hannah Larson, as well as joint work with (separately) Larson and Jim Bryan.

Synthetic Regression Discontinuity: Estimating Treatment Effects using Machine Learning
2022-04-08 08:45 - 10:15 | Virtual
Speaker: Jörn Boehnke
Title: Synthetic Regression Discontinuity: Estimating Treatment Effects using Machine Learning
Abstract: In the standard regression discontinuity setting, treatment assignment is based on whether a unit’s observable score (running variable) crosses a known threshold. We propose a two-stage method to estimate the treatment effect when the score is unobservable to the econometrician while the treatment status is known for all units. In the first stage, we use a statistical model to predict a unit’s treatment status based on a continuous synthetic score. In the second stage, we apply a regression discontinuity design using the predicted synthetic score as the running variable to estimate the treatment effect on an outcome of interest. We establish conditions under which the method identifies the local treatment effect for a unit at the threshold of the unobservable score, the same parameter that a standard regression discontinuity design with known score would identify. We also examine the properties of the estimator using simulations, and propose the use machine learning algorithms to achieve high prediction accuracy. Finally, we apply the method to measure the effect of an investment grade rating on corporate bond prices by any of the three largest credit ratings agencies. We find an average 1% increase in the prices of corporate bonds that received an investment grade as opposed to a non-investment grade rating.

Type IIB flux compactifications with $h^{1,1}=0$
2022-04-11 10:00 - 11:00 | Virtual
Abstract: We revisit type IIB flux compactification that are mirror dual to type IIA on rigid Calabi-Yau manifolds. We find a variety of interesting new solutions, like fully stabilized Minkowski vacua and infinite families of AdS$_4$ solutions with arbitrarily large numbers of spacetime filling D3 branes. We discuss how these solutions fit into the web of swampland conjectures.

BCFW recursion relations and non-planar positive geometry
2022-04-12 09:30 - 10:30
Abstract: There is a close connection between the scattering amplitudes in planar N=4 SYM theory and the cells in the positive Grassmannian. In the context of BCFW recursion relations the tree-level S-matrix is represented as a sum of planar on-shell diagrams (aka plabic graphs) and associated with logarithmic forms on the Grassmannian cells of certain dimensionality. In this talk, we explore non-adjacent BCFW shifts which naturally lead to non-planar on-shell diagrams and new interesting subspaces inside the real Grassmannian.
**This talk will be hybrid. Talk will be held at CMSA (20 Garden St) Room G10.
All non-Harvard affiliated visitors to the CMSA building will need to complete this covid form prior to arrival.
LINK TO FORM

Applications of Higher Determinant Map
2022-04-12 11:58 - 12:58 | Virtual
Abstract: In this talk I will explain the construction of a determinant map for Tate objects and two applications: (i) to construct central extensions of iterated loop groups and (ii) to produce a determinant theory on certain ind-schemes. For that I will introduce some aspects of the theory of Tate objects in a couple of contexts.

Quantisation in monoidal categories and quantum operads
2022-04-13 09:30 - 10:30
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.

Why is the mission impossible? Decoupling the mirror Ginsparg-Wilson fermions in the lattice models for two-dimensional abelian chiral gauge theories
2022-04-13 20:30 - 22:00 | Virtual
Youtube Video
Abstract: It has been known that the four-dimensional abelian chiral gauge theories of an anomaly-free set of Wely fermions can be formulated on the lattice preserving the exact gauge invariance and the required locality property in the framework of the Ginsparg- Wilson relation. This holds true in two dimensions. However, in the related formulation including the mirror Ginsparg-Wilson fermions, it has been argued that the mirror fermions do not decouple: in the 3450 model with Dirac- and Majorana-Yukawa couplings to XY-spin field, the two- point vertex function of the (external) gauge field in the mirror sector shows a singular non-local behavior in the so-called ParaMagnetic Strong-coupling(PMS) phase.
We re-examine why the attempt seems a “Mission: Impossible” in the 3450 model. We point out that the effective operators to break the fermion number symmetries (’t Hooft operators plus others) in the mirror sector do not have sufficiently strong couplings even in the limit of large Majorana-Yukawa couplings. We also observe that the type of Majorana-Yukawa term considered there is singular in the large limit due to the nature of the chiral projection of the Ginsparg-Wilson fermions, but a slight modification without such singularity is allowed by virtue of the very nature.
We then consider a simpler four-flavor axial gauge model, the 14(-1)4 model, in which the U(1)A gauge and Spin(6)( SU(4)) global symmetries prohibit the bilinear terms, but allow the quartic terms to break all the other continuous mirror-fermion symmetries. This model in the weak gauge-coupling limit is related to the eight-flavor Majorana Chain with a reduced SO(6)xSO(2) symmetry in Euclidean path-integral formulation. We formulate the model so that it is well-behaved and simplified in the strong-coupling limit of the quartic operators. Through Monte-Carlo simulations in the weak gauge-coupling limit, we show a numerical evidence that the two-point vertex function of the gauge field in the mirror sector shows a regular local behavior.
Finally, by gauging a U(1) subgroup of the U(1)A× Spin(6)(SU(4)) of the previous model, we formulate the 21(−1)3 chiral gauge model and argue that the induced effective action in the mirror sector satisfies the required locality property. This gives us “A New Hope” for the mission to be accomplished.

SIMPLEs: a single-cell RNA sequencing imputation strategy preserving gene modules and cell clusters variation
2022-04-14 09:00 - 10:00
Abstract: A main challenge in analyzing single-cell RNA sequencing (scRNA-seq) data is to reduce technical variations yet retain cell heterogeneity. Due to low mRNAs content per cell and molecule losses during the experiment (called ‘dropout’), the gene expression matrix has a substantial amount of zero read counts. Existing imputation methods treat either each cell or each gene as independently and identically distributed, which oversimplifies the gene correlation and cell type structure. We propose a statistical model-based approach, called SIMPLEs (SIngle-cell RNA-seq iMPutation and celL clustErings), which iteratively identifies correlated gene modules and cell clusters and imputes dropouts customized for individual gene module and cell type. Simultaneously, it quantifies the uncertainty of imputation and cell clustering via multiple imputations. In simulations, SIMPLEs performed significantly better than prevailing scRNA-seq imputation methods according to various metrics. By applying SIMPLEs to several real datasets, we discovered gene modules that can further classify subtypes of cells. Our imputations successfully recovered the expression trends of marker genes in stem cell differentiation and can discover putative pathways regulating biological processes.

Global existence and stability of de Sitter-like solutions to the Einstein-Yang-Mills equations in spacetime dimensions n≥4
2022-04-14 09:30 - 10:30 | Virtual
Abstract: In this talk, we briefly introduce our recent work on establishing the global existence and stability to the future of non-linear perturbation of de Sitter-like solutions to the Einstein-Yang-Mills system in n≥4 spacetime dimension. This generalizes Friedrich’s (1991) Einstein-Yang-Mills stability results in dimension n=4 to all higher dimensions. This is a joint work with Todd A. Oliynyk and Jinhua Wang.

Cancellation of the vacuum energy and Weyl anomaly in the standard model, and a two-sheeted, CPT-symmetric universe
2022-04-14 09:30 - 11:00 | Virtual
Youtube video

Abstract: I will explain a mechanism to cancel the vacuum energy and both terms in the Weyl anomaly in the standard model of particle physics, using conformally-coupled dimension-zero scalar fields. Remarkably, given the standard model gauge group SU(3)xSU(2)xU(1), the cancellation requires precisely 48 Weyl spinors — i.e. three generations of standard model fermions, including right-handed neutrinos. Moreover, the scalars possess a scale-invariant power spectrum, suggesting a new explanation for the observed primordial density perturbations in cosmology (without the need for inflation).
As context, I will also introduce a related cosmological picture in which this cancellation mechanism plays an essential role. Our universe seems to be dominated by radiation at early times, and positive vacuum energy at late times. Taking the symmetry and analyticity properties of such a universe seriously suggests a picture in which spacetime has two sheets, related by a symmetry that, in turn, selects a preferred (CPT-symmetric) vacuum state for the quantum fields that live on the spacetime. This line of thought suggests new explanations for a number of observed properties of the universe, including: its homogeneity, isotropy and flatness; the arrow of time; several properties of the primordial perturbations; and the nature of dark matter (which, in this picture, is a right-handed neutrino, radiated from the early universe like Hawking radiation from a black hole). It also makes a number of testable predictions.
(Based on recent, and ongoing, work with Neil Turok: arXiv:1803.08928, arXiv:2109.06204, arXiv:2110.06258, arXiv:2201.07279.)

Workshop on Machine Learning and Mathematical Conjecture
2022-04-15 09:00 - 13:00 | CMSA Room G10, CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
On April 15, 2022, the CMSA will hold a one-day workshop, Machine Learning and Mathematical Conjecture, related to the New Technologies in Mathematics Seminar Series.
Location: Room G10, 20 Garden Street, Cambridge, MA 02138.
Organizers: Michael R. Douglas (CMSA/Stony Brook/IAIFI) and Peter Chin (CMSA/BU).
Machine learning has driven many exciting recent scientific advances. It has enabled progress on long-standing challenges such as protein folding, and it has helped mathematicians and mathematical physicists create new conjectures and theorems in knot theory, algebraic geometry, and representation theory.
At this workshop, we will bring together mathematicians, theoretical physicists, and machine learning researchers to review the state of the art in machine learning, discuss how ML results can be used to inspire, test and refine precise conjectures, and identify mathematical questions which may be suitable for this approach.
Speakers:

James Halverson, Northeastern University Dept. of Physics and IAIFI
Fabian Ruehle, Northeastern University Dept. of Physics and Mathematics and IAIFI
Andrew Sutherland, MIT Department of Mathematics

CMSA/Tsinghua Math-Science Literature Lecture: Three Introductory Lectures on Game Theory for Mathematicians: Game Theory Basics and Classical Existence Theorems
2022-04-18 09:30 - 11:00 | Virtual
Eric Maskin (Harvard University) Three Introductory Lectures on Game Theory for Mathematicians
April 18, 2022 | 9:30 – 11:00 am ET
Title: Game Theory Basics and Classical Existence Theorems
Abstract: Games in extensive and normal form. Equilibrium existence theorems by Nash, von Neumann, and Zermelo
Talk chairs: Scott Kominers, Sergiy Verstyuk
SLIDES | VIDEO

4/18/2022 Swampland Seminar
2022-04-18 13:00 - 14:00 | Virtual
Open mic Swampland Discussion
Topic: Cobordism

Equivariant Verlinde algebra and quantum K-theory of the moduli space of vortices
2022-04-19 09:30 - 10:30 | Virtual
Abstract: In studying complex Chern-Simons theory on a Seifert manifold, Gukov-Pei proposed an equivariant Verlinde formula, a one-parameter deformation of the celebrated Verlinde formula. It computes, among many things, the graded dimension of the space of holomorphic sections of (powers of) a natural determinant line bundle over the Hitchin moduli space. Gukov-Pei conjectured that the equivariant Verlinde numbers are equal to the equivariant quantum K-invariants of a non-compact (Kahler) quotient space studied by Hanany-Tong.
In this talk, I will explain the setup of this conjecture and its proof via wall-crossing of moduli spaces of (parabolic) Bradlow-Higgs triples. It is based on work in progress with Wei Gu and Du Pei.

Some combinatorics of Wilson loop diagrams
2022-04-19 09:30 - 10:30 | Hybrid
Abstract: Wilson loop diagrams can be used to study amplitudes in N=4 SYM. I will set them up and talk about some of their combinatorial aspects, such as how many Wilson loop diagrams give the same positroid and how to combinatorially read off the dimension and the denominators for the integrands.
**This talk will be hybrid. Talk will be held at CMSA (20 Garden St) Room G10.
All non-Harvard affiliated visitors to the CMSA building will need to complete this covid form prior to arrival.
LINK TO FORM

CMSA/Tsinghua Math-Science Literature Lecture: Three Introductory Lectures on Game Theory for Mathematicians: Mechanism Design
2022-04-20 09:30 - 11:00 | Virtual
Eric Maskin (Harvard University) Three Introductory Lectures on Game Theory for Mathematicians
April 20, 2022 | 9:30 – 11:00 am ET
Title: Mechanism Design
Abstract: Given a social goal, under what circumstances can we design a game to achieve that goal?
Talk chairs: Scott Kominers, Sergiy Verstyuk
SLIDES | VIDEO

Superconductivity in infinite-layer nickelates
2022-04-20 10:30 - 13:00
Abstract: Since its discovery, unconventional superconductivity in cuprates has motivated the search for materials with analogous electronic or atomic structure. We have used soft chemistry approaches to synthesize superconducting infinite layer nickelates from their perovskite precursor phase. We will present the synthesis and transport properties of the nickelates, observation of a doping-dependent superconducting dome, and our current understanding of their electronic and magnetic structure.

Secure Multi-Party Computation: from Theory to Practice
2022-04-21 09:00 - 10:00
Abstract:
Encryption is the backbone of cybersecurity. While encryption can secure data both in transit and at rest, in the new era of ubiquitous computing, modern cryptography also aims to protect data during computation. Secure multi-party computation (MPC) is a powerful technology to tackle this problem, which enables distrustful parties to jointly perform computation over their private data without revealing their data to each other. Although it is theoretically feasible and provably secure, the adoption of MPC in real industry is still very much limited as of today, the biggest obstacle of which boils down to its efficiency.
My research goal is to bridge the gap between the theoretical feasibility and practical efficiency of MPC. Towards this goal, my research spans both theoretical and applied cryptography. In theory, I develop new techniques for achieving general MPC with the optimal complexity, bringing theory closer to practice. In practice, I design tailored MPC to achieve the best concrete efficiency for specific real-world applications. In this talk, I will discuss the challenges in both directions and how to overcome these challenges using cryptographic approaches. I will also show strong connections between theory and practice.
Biography:
Peihan Miao is an assistant professor of computer science at the University of Illinois Chicago (UIC). Before coming to UIC, she received her Ph.D. from the University of California, Berkeley in 2019 and had brief stints at Google, Facebook, Microsoft Research, and Visa Research. Her research interests lie broadly in cryptography, theory, and security, with a focus on secure multi-party computation — especially in incorporating her industry experiences into academic research.

Future stability of the $1+3$ Milne model for the Einstein-Klein-Gordon system
2022-04-21 10:00 - 11:00
Abstract: We study the small perturbations of the $1+3$-dimensional Milne model for the Einstein-Klein-Gordon (EKG) system. We prove the nonlinear future stability, and show that the perturbed spacetimes are future causally geodesically complete. For the proof, we work within the constant mean curvature (CMC) gauge and focus on the $1+3$ splitting of the Bianchi-Klein-Gordon equations. Moreover, we treat the Bianchi-Klein-Gordon equations as evolution equations and establish the energy scheme in the sense that we only commute the Bianchi-Klein-Gordon equations with spatially covariant derivatives while normal derivative is not allowed. We propose some refined estimates for lapse and the hierarchies of energy estimates to close the energy argument.

CMSA/Tsinghua Math-Science Literature Lecture: Three Introductory Lectures on Game Theory for Mathematicians: Auction Theory
2022-04-22 09:30 - 23:00 | Virtual
Eric Maskin (Harvard University) Three Introductory Lectures on Game Theory for Mathematicians
April 22, 2022 | 9:30 – 11:00 am ET
Title: Auction Theory
Abstract: Equivalences among four standard auctions: the high-bid auction (the high bidder wins and pays her bid); the second-bid auction (the high bidder wins and pays the second-highest bid); the Dutch auction (the auctioneer lowers the price successively until some bidder is willing to pay); and the English auction (bidders raise their bids successively until no one wants to bid higher).
Talk chairs: Scott Kominers, Sergiy Verstyuk
SLIDES | VIDEO Answers to Questions from Talks 2 and 3

Higgs = SPT
2022-04-22 15:30 - 17:00 | CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
Speaker: Ruben Verresen
Title: Higgs = SPT
Abstract: The Higgs phase of a gauge theory is important to both fundamental physics (e.g., electroweak theory) as well as condensed matter systems (superconductors and other emergent phenomena). However, such a charge condensate seems subtle and is sometimes described as the spontaneous breaking of gauge symmetry (or a global subgroup). In this talk, I will argue that the Higgs phase is best understood as a symmetry-protected topological (SPT) phase. The concept of SPT phases arose out of the condensed matter community, to describe systems with short-range entanglement and edge modes which cannot be removed in the presence of certain symmetries. The perspective that the Higgs phase is an SPT phase recovers known properties of the Higgs phase and provides new insights. In particular, we revisit the Fradkin-Shenker model and the distinction between the Higgs and confined phases of a gauge theory.

Algebraic Statistics with a View towards Physics
2022-04-26 09:00 - 10:00
Abstract: We discuss the algebraic geometry of maximum likelihood estimation from the perspective of scattering amplitudes in particle physics. A guiding examples the moduli space of n-pointed rational curves. The scattering potential plays the role of the log-likelihood function, and its critical points are solutions to rational function equations. Their number is an Euler characteristic. Soft limit degenerations are combined with certified numerical methods for concrete computations.
**This talk will be hybrid. Talk will be held at CMSA (20 Garden St) Room G10.
All non-Harvard affiliated visitors to the CMSA building will need to complete this covid form prior to arrival.
LINK TO FORM

Modularity of mirror families of log Calabi–Yau surfaces
2022-04-26 09:30 - 10:30 | Virtual
Abstract: In “Mirror symmetry for log Calabi–Yau surfaces I,” given a smooth log Calabi–Yau surface pair (Y,D), Gross–Hacking–Keel constructed its mirror family as the spectrum of an explicit algebra whose structure coefficients are determined by the enumerative geometry of (Y,D). As a follow-up of the work of Gross–Hacking–Keel, when (Y,D) is positive, we prove the modularity of the mirror family as the universal family of log Calabi-Yau surface pairs deformation equivalent to (Y,D) with at worst du Val singularities. As a corollary, we show that the ring of regular functions of a smooth affine log Calabi–Yau surface has a canonical basis of theta functions. The key step towards the proof of the main theorem is the application of the tropical construction of singular cycles and explicit formulas of period integrals given in the work of Helge–Siebert. This is joint work with Jonathan Lai.

Workshop on Nonlinear Algebra and Combinatorics from Physics
2022-04-27 09:00 - 2022-04-29 17:00 | CMSA, 20 Garden Street, Cambridge, MA, 02138, United States
On April 27–29, 2022, the CMSA hosted a workshop on Nonlinear Algebra and Combinatorics.
Organizers: Bernd Sturmfels (MPI Leipzig) and Lauren Williams (Harvard).
In recent years, ideas from integrable systems and scattering amplitudes have led to advances in nonlinear algebra and combinatorics. In this short workshop, aimed at younger participants in the field, we will explore some of the interactions between the above topics.
Speakers:

Federico Ardila (San Francisco State)
Nima Arkani-Hamed (IAS)
Madeline Brandt (Brown)
Nick Early (Max Planck Institute)
Chris Eur (Harvard)
Claudia Fevola (Max Planck Institute)
Christian Gaetz (Harvard)
Yuji Kodama (Ohio State University)
Yelena Mandelshtam (Berkeley)
Sebastian Mizera (IAS)
Matteo Parisi (Harvard CMSA)
Emma Previato (Boston University)
Anna Seigal (Harvard)
Melissa Sherman-Bennett (University of Michigan)
Simon Telen (Max Planck Institute)
Charles Wang (Harvard)

Schedule
Wednesday, April 27, 2022

9:30 am–10:30 am
Federico Ardila
Title: Nonlinear spaces from linear spaces
Abstract: Matroid theory provides a combinatorial model for linearity, but it plays useful roles beyond linearity. In the classical setup, a linear subspace V of an n-dimensional vector space gives rise to a matroid M(V) on {1,…,n}. However, the matroid M(V) also knows about some nonlinear geometric spaces related to V. Conversely, those nonlinear spaces teach us things we didn’t know about matroids. My talk will discuss some examples.

10:30 am–11:00 am
COFFEE BREAK

11:00 am–11:45 am
Chris Eur
Title: Tautological classes of matroids
Abstract: Algebraic geometry has furnished fruitful tools for studying matroids, which are combinatorial abstractions of hyperplane arrangements. We first survey some recent developments, pointing out how these developments remained partially disjoint. We then introduce certain vector bundles (K-classes) on permutohedral varieties, which we call “tautological bundles (classes)” of matroids, as a new framework that unifies, recovers, and extends these recent developments. Our framework leads to new questions that further probe the boundary between combinatorics and geometry. Joint work with Andrew Berget, Hunter Spink, and Dennis Tseng.

11:45 am–2:00 pm
LUNCH BREAK

2:00 pm–2:45 pm
Nick Early
Title: Biadjoint Scalars and Associahedra from Residues of Generalized Amplitudes
Abstract: The associahedron is known to encapsulate physical properties such as the notion of tree-level factorization for one of the simplest Quantum Field Theories, the biadjoint scalar, which has only cubic interactions. I will discuss novel instances of the associahedron and the biadjoint scalar in a class of generalized amplitudes, discovered by Cachazo, Early, Guevara and Mizera, by taking certain limits thereof. This connection leads to a simple proof of a new realization of the associahedron involving a Minkowski sum of certain positroid polytopes in the second hypersimplex.

2:45 pm–3:30 pm
Anna Seigal
Title: Invariant theory for maximum likelihood estimation
Abstract: I will talk about work to uncover connections between invariant theory and maximum likelihood estimation. I will describe how norm minimization over a torus orbit is equivalent to maximum likelihood estimation in log-linear models. We will see the role played by polytopes and discuss connections to scaling algorithms. Based on joint work with Carlos Améndola, Kathlén Kohn, and Philipp Reichenbach.

3:30 pm–4:00 pm
COFFEE BREAK

4:00 pm–4:45 pm
Matteo Parisi
Title: Amplituhedra, Scattering Amplitudes, and Triangulations
Abstract: In this talk I will discuss about Amplituhedra – generalizations of polytopes inside the Grassmannian – introduced by physicists to encode 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. I will discuss how the combinatorics of triangulations interplays with T-duality from String Theory, in connection with the Momentum Amplituhedron. A generalization of T-duality led us to discover a striking duality between Amplituhedra of “m=2” type and a seemingly unrelated object – the Hypersimplex. The latter is a polytope which appears in many contexts, from matroid theory to tropical geometry.
Based on joint works with Lauren Williams, Melissa Sherman-Bennett, Tomasz Lukowski.

4:45 pm–5:30 pm
Melissa Sherman-Bennett
Title: The hypersimplex and the m=2 amplituhedron
Abstract: In this talk, I’ll continue where Matteo left off. I’ll give some more details about the curious correspondence between the m=2 amplituhedron, a 2k-dimensional subset of Gr(k, k+2), and the hypersimplex, an (n-1)-dimensional polytope in R^n. The amplituhedron and hypersimplex are both images of the totally nonnegative Grassmannian under some map (the amplituhedron map and the moment map, respectively), but are different dimensions and live in very different ambient spaces. I’ll talk about joint work with Matteo Parisi and Lauren Williams in which we give a bijection between decompositions of the amplituhedron and decompositions of the hypersimplex (originally conjectured by Lukowski–Parisi–Williams). The hypersimplex decompositions are closely related to matroidal subdivisions. Along the way, we prove a nice description of the m=2 amplituhedron conjectured by Arkani-Hamed–Thomas–Trnka and give a new decomposition of the m=2 amplituhedron into Eulerian-number-many chambers, inspired by an analogous triangulation of the hypersimplex into Eulerian-number-many simplices.

Thursday, April 28, 2022

9:30 am–10:30 am
Claudia Fevola
Title: Nonlinear Algebra meets Feynman integrals
Abstract: Feynman integrals play a central role in particle physics in the theory of scattering amplitudes. They form a finite-dimensional vector space and the elements of a basis are named “master integrals” in the physics literature. The number of master integrals has been interpreted in different ways: it equals the dimension of a twisted de Rham cohomology group, the Euler characteristic of a very affine variety, and the holonomic rank of a D-module. In this talk, we are interested in a more general family of integrals that contains Feynman integrals as a special case. We explore this setting using tools coming from nonlinear algebra. This is an ongoing project with Daniele Agostini, Anna-Laura Sattelberger, and Simon Telen.

10:30 am–11:00 am
COFFEE BREAK

11:00 am–11:45 am
Simon Telen
Title: Landau discriminants
Abstract: The Landau discriminant is a projective variety containing kinematic parameters for which a Feynman integral can have singularities. We present a definition and geometric properties. We discuss how to compute Landau discriminants using symbolic and numerical methods. Our methods can be used, for instance, to compute the Landau discriminant of the pentabox diagram, which is a degree 12 hypersurface in 6-space. This is joint work with Sebastian Mizera.

11:45 am–2:00 pm
LUNCH BREAK

2:00 pm–2:45 pm
Christian Gaetz
Title: 1-skeleton posets of Bruhat interval polytopes
Abstract: Bruhat interval polytopes are a well-studied class of generalized permutohedra which arise as moment map images of various toric varieties and totally positive spaces in the flag variety. I will describe work in progress in which I study the 1-skeleta of these polytopes, viewed as posets interpolating between weak order and Bruhat order. In many cases these posets are lattices and the polytopes, despite not being simple, have interesting h-vectors. In a special case, work of Williams shows that Bruhat interval polytopes are isomorphic to bridge polytopes, so that chains in the 1-skeleton poset correspond to BCFW-bridge decompositions of plabic graphs.

2:45 pm–3:30 pm
Madeleine Brandt
Title: Top Weight Cohomology of $A_g$
Abstract: I will discuss a recent project in computing the top weight cohomology of the moduli space $A_g$ of principally polarized abelian varieties of dimension $g$ for small values of $g$. This piece of the cohomology is controlled by the combinatorics of the boundary strata of a compactification of $A_g$. Thus, it can be computed combinatorially. This is joint work with Juliette Bruce, Melody Chan, Margarida Melo, Gwyneth Moreland, and Corey Wolfe.

3:30 pm–4:00 pm
COFFEE BREAK

4:00 pm–5:00 pm
Emma Previato
Title: Sigma function on curves with non-symmetric semigroup
Abstract: We start with an overview of the correspondence between spectral curves and commutative rings of differential operators, integrable hierarchies of non-linear PDEs and Jacobian vector fields. The coefficients of the operators can be written explicitly in terms of the Kleinian sigma function: Weierstrass’ sigma function was generalized to genus greater than one by Klein, and is a ubiquitous tool in integrability. The most accessible case is the sigma function of telescopic curves. In joint work with J. Komeda and S. Matsutani, we construct a curve with non-symmetric Weierstrass semigroup (equivalently, Young tableau), consequently non-telescopic, and its sigma function. We conclude with possible applications to commutative rings of differential operators.

6:00 pm

Dinner Banquet, Gran Gusto Trattoria

Friday, April 29, 2022

9:00 am–10:00 am
Yuji Kodama
Title: KP solitons and algebraic curves
Abstract: It is well-known that soliton solutions of the KdV hierarchy are obtained by singular limits of hyper-elliptic curves. However, there is no general results for soliton solutions of the KP hierarchy, KP solitons. In this talk, I will show that some of the KP solitons are related to the singular space curves associated with certain class of numerical semigroups.

10:00 am–10:30 am
COFFEE BREAK

10:30 am–11:15 am
Yelena Mandelshtam
Title: Curves, degenerations, and Hirota varieties
Abstract: The Kadomtsev-Petviashvili (KP) equation is a differential equation whose study yields interesting connections between integrable systems and algebraic geometry. In this talk I will discuss solutions to the KP equation whose underlying algebraic curves undergo tropical degenerations. In these cases, Riemann’s theta function becomes a finite exponential sum that is supported on a Delaunay polytope. I will introduce the Hirota variety which parametrizes all KP solutions arising from such a sum. I will then discuss a special case, studying the Hirota variety of a rational nodal curve. Of particular interest is an irreducible subvariety that is the image of a parameterization map. Proving that this is a component of the Hirota variety entails solving a weak Schottky problem for rational nodal curves. This talk is based on joint work with Daniele Agostini, Claudia Fevola, and Bernd Sturmfels.

11:15 am–12:00 pm
Charles Wang
Title: Differential Algebra of Commuting Operators
Abstract: In this talk, we will give an overview of the problem of finding the centralizer of a fixed differential operator in a ring of differential operators, along with connections to integrable hierarchies and soliton solutions to e.g. the KdV or KP equations. Given these interesting connections, it is important to be able to compute centralizers of differential operators, and we discuss how to use techniques from differential algebra to approach this question, as well as how having these computational tools can help in understanding the structure of soliton solutions to these equations.

12:00 pm–2:00 pm
LUNCH BREAK

2:00 pm–3:00 pm
Sebastian Mizera
Title: Feynman Polytopes
Abstract: I will give an introduction to a class of polytopes that recently emerged in the study of scattering amplitudes in quantum field theory.

3:00 pm–3:30 pm
COFFEE BREAK

3:30 pm–4:30 pm
Nima Arkani-Hamed
Title: Spacetime, Quantum Mechanics and Combinatorial Geometries at Infinity
