On Friday, Jan. 26,2024 the CMSA will host the CMSA/MATH Bi-Annual Gathering for Harvard CMSA and Math affiliates in the CMSA Common Room at 20 Garden Street, Cambridge MA 02138.
Abstract: I will describe some examples of the vigorous modern dialogue between mathematics and theoretical physics (especially high energy and condensed matter physics). I will begin by recalling Stokes’ phenomenon and explain how it is related to some notable developments in quantum field theory from the past 30 years. Time permitting, I might also say something about the dialogue between mathematicians working on the differential topology of four-manifolds and physicists working on supersymmetric quantum field theories. But I haven’t finished writing the talk yet, so I don’t know how it will end any more than you do.
Abstract: We discuss the algebraic geometry behind coupled cluster (CC) theory of quantum many-body systems. The high-dimensional eigenvalue problems that encode the electronic Schroedinger equation are approximated by a hierarchy of polynomial systems at various levels of truncation. The exponential parametrization of the eigenstates gives rise to truncation varieties. These generalize Grassmannians in their Pluecker embedding. We explain how to derive Hamiltonians, we offer a detailed study of truncation varieties and their CC degrees, and we present the state of the art in solving the CC equations. This is joint work with Fabian Faulstich and Svala Sverrisdóttir.
Title: ML, QML, and Dynamics: What mathematics can help us understand and advance machine learning?
Abstract: Vannila deep neural nets DNN repeatedly stretch and fold. They are reminiscent of the logistic map and the Smale horseshoe. What kind of dynamics is responsible for their expressivity and trainability. Is chaos playing a role? Is the Kolmogorov Arnold representation theorem relevant? Large language models are full of linear maps. Might we look for emergent tensor structures in these highly trained maps in analogy with emergent tensor structures at local minima of certain loss functions in high-energy physics.
Abstract: I will describe a new understanding of scattering amplitudes based on fundamentally combinatorial ideas in the kinematic space of the scattering data. I first discuss a toy model, the simplest theory of colored scalar particles with cubic interactions, at all loop orders and to all orders in the topological ‘t Hooft expansion. I will present a novel formula for loop-integrated amplitudes, with no trace of the conventional sum over Feynman diagrams, but instead determined by a beautifully simple counting problem attached to any order of the topological expansion. A surprisingly simple shift of kinematic variables converts this apparent toy model into the realistic physics of pions and Yang-Mills theory. These results represent a significant step forward in the decade-long quest to formulate the fundamental physics of the real world in a new language, where the rules of spacetime and quantum mechanics, as reflected in the principles of locality and unitarity, are seen to emerge from deeper mathematical structures.
12:30–2:00 pm
Lunch break
2:00–3:15 pm
Constantinos Daskalakis (MIT)
Title: How to train deep neural nets to think strategically
Abstract: Many outstanding challenges in Deep Learning lie at its interface with Game Theory: from playing difficult games like Go to robustifying classifiers against adversarial attacks, training deep generative models, and training DNN-based models to interact with each other and with humans. In these applications, the utilities that the agents aim to optimize are non-concave in the parameters of the underlying DNNs; as a result, Nash equilibria fail to exist, and standard equilibrium analysis is inapplicable. So how can one train DNNs to be strategic? What is even the goal of the training? We shed light on these challenges through a combination of learning-theoretic, complexity-theoretic, game-theoretic and topological techniques, presenting obstacles and opportunities for Deep Learning and Game Theory going forward.
Abstract: Mathematical models play a fundamental role in theoretical population genetics and, in turn, population genetics provides a wealth of mathematical challenges. In this lecture we investigate the interplay between a particular (ubiquitous) form of natural selection, spatial structure, and, if time permits, so-called genetic drift. A simple mathematical caricature will uncover the importance of the shape of the domain inhabited by a species for the effectiveness of natural selection.
Limited funding to help defray travel expenses is available for graduate students and recent PhDs. If you are a graduate student or postdoc and would like to apply for support, please register above and send an email to mathsci2023@cmsa.fas.harvard.edu no later than October 9, 2023.
Please include your name, address, current status, university affiliation, citizenship, and area of study. F1 visa holders are eligible to apply for support. If you are a graduate student, please send a brief letter of recommendation from a faculty member to explain the relevance of the conference to your studies or research. If you are a postdoc, please include a copy of your CV.
On August 24, 2021, the CMSA hosted our seventh annual Conference on Big Data. The Conference features many speakers from the Harvard community as well as scholars from across the globe, with talks focusing on computer science, statistics, math and physics, and economics.
The 2021 Big Data Conference took place virtually on Zoom.
Organizers:
Shing-Tung Yau, William Caspar Graustein Professor of Mathematics, Harvard University
Scott Duke Kominers, MBA Class of 1960 Associate Professor, Harvard Business
Horng-Tzer Yau, Professor of Mathematics, Harvard University
Title: Robustness and stability for multidimensional persistent homology
Abstract: A basic principle in topological data analysis is to study the shape of data by looking at multiscale homological invariants. The idea is to filter the data using a scale parameter that reflects feature size. However, for many data sets, it is very natural to consider multiple filtrations, for example coming from feature scale and density. A key question that arises is how such invariants behave with respect to noise and outliers. This talk will describe a framework for understanding those questions and explore open problems in the area.
Abstract: Many data analysis pipelines are adaptive: the choice of which analysis to run next depends on the outcome of previous analyses. Common examples include variable selection for regression problems and hyper-parameter optimization in large-scale machine learning problems: in both cases, common practice involves repeatedly evaluating a series of models on the same dataset. Unfortunately, this kind of adaptive re-use of data invalidates many traditional methods of avoiding overfitting and false discovery, and has been blamed in part for the recent flood of non-reproducible findings in the empirical sciences. An exciting line of work beginning with Dwork et al. in 2015 establishes the first formal model and first algorithmic results providing a general approach to mitigating the harms of adaptivity, via a connection to the notion of differential privacy. In this talk, we’ll explore the notion of differential privacy and gain some understanding of how and why it provides protection against adaptivity-driven overfitting. Many interesting questions in this space remain open.
Joint work with: Christopher Jung (UPenn), Seth Neel (Harvard), Aaron Roth (UPenn), Saeed Sharifi-Malvajerdi (UPenn), and Moshe Shenfeld (HUJI). This talk will draw on work that appeared at NeurIPS 2019 and ITCS 2020
Title: Towards Reliable and Robust Model Explanations
Abstract: As machine learning black boxes are increasingly being deployed in domains such as healthcare and criminal justice, there is growing emphasis on building tools and techniques for explaining these black boxes in an interpretable manner. Such explanations are being leveraged by domain experts to diagnose systematic errors and underlying biases of black boxes. In this talk, I will present some of our recent research that sheds light on the vulnerabilities of popular post hoc explanation techniques such as LIME and SHAP, and also introduce novel methods to address some of these vulnerabilities. More specifically, I will first demonstrate that these methods are brittle, unstable, and are vulnerable to a variety of adversarial attacks. Then, I will discuss two solutions to address some of the vulnerabilities of these methods – (i) a framework based on adversarial training that is designed to make post hoc explanations more stable and robust to shifts in the underlying data; (ii) a Bayesian framework that captures the uncertainty associated with post hoc explanations and in turn allows us to generate explanations with user specified levels of confidences. I will conclude the talk by discussing results from real world datasets to both demonstrate the vulnerabilities in post hoc explanation techniques as well as the efficacy of our aforementioned solutions.
Abstract: Many selection processes contain a “gatekeeper”. The gatekeeper’s goal is to examine an applicant’s suitability to a proposed position before both parties endure substantial costs. Intuitively, the introduction of a gatekeeper should reduce selection costs as unlikely applicants are sifted out. However, we show that this is not always the case as the gatekeeper’s introduction inadvertently reduces the applicant’s expected costs and thus interferes with her self-selection. We study the conditions under which the gatekeeper’s presence improves the system’s efficiency and those conditions under which the gatekeeper’s presence induces inefficiency. Additionally, we show that the gatekeeper can sometimes improve selection correctness by behaving strategically (i.e., ignore her private information with some probability).
Abstract: In geometry and physics it has proved useful to relate G2 and Calabi-Yau geometry via circle bundles. Contact Calabi-Yau 7-manifolds are, in the simplest cases, such circle bundles over Calabi-Yau 3-orbifolds. These 7-manifolds provide testing grounds for the study of geometric flows which seek to find torsion-free G2-structures (and thus Ricci flat metrics with exceptional holonomy). They also give useful backgrounds to examine the heterotic G2 system (also known as the G2-Hull-Strominger system), which is a coupled set of PDEs arising from physics that involves the G2-structure and gauge theory on the 7-manifold. I will report on recent progress on both of these directions in the study of contact Calabi-Yau 7-manifolds, which is joint work with H. Sá Earp and J. Saavedra.
Abstract: For a long stretch of time in the history of mathematics, Number Theory and Topology formed vast, but disjoint domains of mathematical knowledge. Origins of number theory can be traced back to the Babylonian clay tablet Plimpton 322 (about 1800 BC) that contained a list of integer solutions of the “Diophantine” equation $a^2+b^2=c^2$: archetypal theme of number theory, named after Diophantus of Alexandria (about 250 BC). Topology was born much later, but arguably, its cousin — modern measure theory, — goes back to Archimedes, author of Psammites (“Sand Reckoner”), who was approximately a contemporary of Diophantus. In modern language, Archimedes measures the volume of observable universe by counting the number of small grains of sand necessary to fill this volume. Of course, many qualitative geometric models and quantitative estimates of the relevant distances precede his calculations. Moreover, since the estimated numbers of grains of sand are quite large (about $10^{64}$), Archimedes had to invent and describe a system of notation for large numbers going far outside the possibilities of any of the standard ancient systems. The construction of the first bridge between number theory and topology was accomplished only about fifty years ago: it is the theory of spectra in stable homotopy theory. In particular, it connects $Z$, the initial object in the theory of commutative rings, with the sphere spectrum $S$. This connection poses the challenge: discover a new information in number theory using the developed independently machinery of homotopy theory. In this talk based upon the authors’ (Yu. Manin and M. Marcolli) joint research project, I suggest to apply homotopy spectra to the problem of distribution of rational points upon algebraic manifolds.
Title: Is relativity compatible with quantum theory?
Abstract: We review the background, mathematical progress, and open questions in the effort to determine whether one can combine quantum mechanics, special relativity, and interaction together into one mathematical theory. This field of mathematics is known as “constructive quantum field theory.” Physicists believe that such a theory describes experimental measurements made over a 70 year period and now refined to 13-decimal-point precision—the most accurate experiments ever performed.
Abstract: In mid-career, as an internationally renowned mathematician, Michael Atiyah discovered that some problems in physics responded to current work in algebraic geometry and this set him on a path to develop an active interface between mathematics and physics which was formative in the links which are so active today. The talk will focus, in a fairly basic fashion, on some examples of this interaction, which involved both applying physical ideas to solve mathematical problems and introducing mathematical ideas to physicists.
Title: Knot Invariants From Gauge Theory in Three, Four, and Five Dimensions
Abstract: I will explain connections between a sequence of theories in two, three, four, and five dimensions and describe how these theories are related to the Jones polynomial of a knot and its categorification.
Title: Why do some universities have separate departments of statistics? And are they all anachronisms, destined to follow the path of other dinosaurs?
The Center of Mathematical Sciences and Applications will be hosting a workshop on Quantum Information on April 23-24, 2018. In the days leading up to the conference, the American Mathematical Society will also be hosting a sectional meeting on quantum information on April 21-22. You can find more information here.
Title: Classical and quantum integrable systems in enumerative geometry
Abstract: For more than a quarter of a century, thanks to the ideas and questions originating in modern high-energy physics, there has been a very fruitful interplay between enumerative geometry and integrable system, both classical and quantum. While it is impossible to summarize even the most important aspects of this interplay in one talk, I will try to highlight a few logical points with the goal to explain the place and the role of certain more recent developments.
Title: Noncommutative Geometry, the Spectral Aspect
Abstract: This talk will be a survey of the spectral side of noncommutative geometry, presenting the new paradigm of spectral triples and showing its relevance for the fine structure of space-time, its large scale structure and also in number theory in connection with the zeros of the Riemann zeta function.
During the Spring 2021 Semester Artan Sheshmani (CMSA/ I.M. A.U.) will be teaching a CMSA special lecture series on Gromov-Witten/Donaldson Thomas theory and Birational/Symplectic invariants for algebraic surfaces.
Abstract: Kodaira’s motivation was to generalize the theory of Riemann surfaces in Weyl’s book to higher dimensions. After quickly recalling the chronology of Kodaira, I will review some of Kodaira’s works in three sections on topics of harmonic analysis, deformation theory and compact complex surfaces. Each topic corresponds to a volume of Kodaira’s collected works in three volumes, of which I will cover only tiny parts.
Abstract: Fano and Calabi-Yau varieties play a fundamental role in algebraic geometry, differential geometry, arithmetic geometry, mathematical physics, etc. The notion of log Calabi-Yau fibration unifies Fano and Calabi-Yau varieties, their fibrations, as well as their local birational counterparts such as flips and singularities. Such fibrations can be examined from many different perspectives. The purpose of this talk is to introduce the theory of log Calabi-Yau fibrations, to remind some known results, and to state some open problems.
Due to inclement weather on Sunday, the second half of the workshop has been moved forward one day. Sunday and Monday’s talks will now take place on Monday and Tuesday.
On January 18-21, 2019 the Center of Mathematical Sciences and Applications will be hosting a workshop on the Geometric Analysis Approach to AI.
This workshop will focus on the theoretic foundations of AI, especially various methods in Deep Learning. The topics will cover the relationship between deep learning and optimal transportation theory, DL and information geometry, DL Learning and information bottle neck and renormalization theory, DL and manifold embedding and so on. Furthermore, the recent advancements, novel methods, and real world applications of Deep Learning will also be reported and discussed.
The workshop will take place from January 18th to January 23rd, 2019. In the first four days, from January 18th to January 21, the speakers will give short courses; On the 22nd and 23rd, the speakers will give conference representations. This workshop is organized by Xianfeng Gu and Shing-Tung Yau.
On August 23-24, 2018 the CMSA will be hosting our fourth annual Conference on Big Data. The Conference will feature many speakers from the Harvard community as well as scholars from across the globe, with talks focusing on computer science, statistics, math and physics, and economics.
The talks will take place in Science Center Hall B, 1 Oxford Street.
Please note that lunch will not be provided during the conference, but a map of Harvard Square with a list of local restaurants can be found by clicking Map & Restaurants.
On August 18 and 20, 2018, the Center of Mathematic Sciences and Applications and the Harvard University Mathematics Department hosted a conference on From Algebraic Geometry to Vision and AI: A Symposium Celebrating the Mathematical Work of David Mumford. The talks took place in Science Center, Hall B.
Saturday, August 18th: A day of talks on Vision, AI and brain sciences
Just over a century ago, the biologist, mathematician and philologist D’Arcy Thompson wrote “On growth and form”. The book – a literary masterpiece – is a visionary synthesis of the geometric biology of form. It also served as a call for mathematical and physical approaches to understanding the evolution and development of shape. In the century since its publication, we have seen a revolution in biology following the discovery of the genetic code, which has uncovered the molecular and cellular basis for life, combined with the ability to probe the chemical, structural, and dynamical nature of molecules, cells, tissues and organs across scales. In parallel, we have seen a blossoming of our understanding of spatiotemporal patterning in physical systems, and a gradual unveiling of the complexity of physical form. So, how far are we from realizing the century-old vision that “Cell and tissue, shell and bone, leaf and flower, are so many portions of matter, and it is in obedience to the laws of physics that their particles have been moved, moulded and conformed” ?
To address this requires an appreciation of the enormous ‘morphospace’ in terms of the potential shapes and sizes that living forms take, using the language of mathematics. In parallel, we need to consider the biological processes that determine form in mathematical terms is based on understanding how instabilities and patterns in physical systems might be harnessed by evolution.
In Fall 2018, CMSA will focus on a program that aims at recent mathematical advances in describing shape using geometry and statistics in a biological context, while also considering a range of physical theories that can predict biological shape at scales ranging from macromolecular assemblies to whole organ systems. The first workshop will focus on the interface between Morphometrics and Mathematics, while the second will focus on the interface between Morphogenesis and Physics.The workshop is organized by L. Mahadevan (Harvard), O. Pourquie (Harvard), A. Srivastava (Florida).
As part of the program on Mathematical Biology a workshop on Morphogenesis: Geometry and Physics will take place on December 3-5, 2018. The workshop will be held inroom G10 of the CMSA, located at 20 Garden Street, Cambridge, MA.
The Center of Mathematical Sciences and Applications will be hosting a workshop on General Relativity from May 23 – 24, 2016. The workshop will be hosted in Room G10 of the CMSA Building located at 20 Garden Street, Cambridge, MA 02138. The workshop will start on Monday, May 23 at 9am and end on Tuesday, May 24 at 4pm.
Speakers:
Po-Ning Chen, Columbia University
Piotr T. Chruściel, University of Vienna
Justin Corvino, Lafayette College
Greg Galloway, University of Miami
James Guillochon, Harvard University
Lan-Hsuan Huang, University of Connecticut
Dan Kapec, Harvard University
Dan Lee, CUNY
Alex Lupsasca, Harvard University
Pengzi Miao, University of Miami
Prahar Mitra, Harvard University
Lorenzo Sironi, Harvard University
Jared Speck, MIT
Mu-Tao Wang, Columbia University
Please click Workshop Program for a downloadable schedule with talk abstracts.
Please note that lunch will not be provided during the conference, but a map of Harvard Square with a list of local restaurants can be found by clicking Map & Resturants.
On August 19-20, 2019 the CMSA will be hosting our fifth annual Conference on Big Data. The Conference will feature many speakers from the Harvard community as well as scholars from across the globe, with talks focusing on computer science, statistics, math and physics, and economics.
The talks will take place in Science Center Hall D, 1 Oxford Street.
Please note that lunch will not be provided during the conference, but a map of Harvard Square with a list of local restaurants can be found by clicking Map & Restaurants.
Videos can be found in this Youtube playlist or in the schedule below.
In Fall 2018, the CMSA will host a Program on Mathematical Biology, which aims to describe recent mathematical advances in using geometry and statistics in a biological context, while also considering a range of physical theories that can predict biological shape at scales ranging from macromolecular assemblies to whole organ systems.
The plethora of natural shapes that surround us at every scale is both bewildering and astounding – from the electron micrograph of a polyhedral virus, to the branching pattern of a gnarled tree to the convolutions in the brain. Even at the human scale, the shapes seen in a garden at the scale of a pollen grain, a seed, a sapling, a root, a flower or leaf are so numerous that “it is enough to drive the sanest man mad,” wrote Darwin. Can we classify these shapes and understand their origins quantitatively?
In biology, there is growing interest in and ability to quantify growth and form in the context of the size and shape of bacteria and other protists, to understand how polymeric assemblies grow and shrink (in the cytoskeleton), and how cells divide, change size and shape, and move to organize tissues, change their topology and geometry, and link multiple scales and connect biochemical to mechanical aspects of these problems, all in a self-regulated setting.
To understand these questions, we need to describe shape (biomathematics), predict shape (biophysics), and design shape (bioengineering).
For example, in mathematics there are some beautiful links to Nash’s embedding theorem, connections to quasi-conformal geometry, Ricci flows and geometric PDE, to Gromov’s h principle, to geometrical singularities and singular geometries, discrete and computational differential geometry, to stochastic geometry and shape characterization (a la Grenander, Mumford etc.). A nice question here is to use the large datasets (in 4D) and analyze them using ideas from statistical geometry (a la Taylor, Adler) to look for similarities and differences across species during development, and across evolution.
In physics, there are questions of generalizing classical theories to include activity, break the usual Galilean invariance, as well as isotropy, frame indifference, homogeneity, and create both agent (cell)-based and continuum theories for ordered, active machines, linking statistical to continuum mechanics, and understanding the instabilities and patterns that arise. Active generalizations of liquid crystals, polar materials, polymers etc. are only just beginning to be explored and there are some nice physical analogs of biological growth/form that are yet to be studied.
The CMSA will be hosting a Workshop on Morphometrics, Morphogenesis and Mathematics from October 22-24 at the Center of Mathematical Sciences and Applications, located at 20 Garden Street, Cambridge, MA.
The CMSA will be hosting an F-Theory workshop September 29-30, 2018. The workshop will be held in room G10 of the CMSA, located at 20 Garden Street, Cambridge, MA.
Abstract: The definition of angular momentum in general relativity has been a subtle issue since the 1960′, due to the discovery of “supertranslation ambiguity”: the angular momentums recorded by two distant observers of the same system may not be the same. In this talk, I shall show how the mathematical theory of optimal isometric embedding and quasilocal angular momentum identifies a correction term, and leads to a new definition of angular momentum that is free of any supertranslation ambiguity. This is based on joint work with Po-Ning Chen, Jordan Keller, Ye-Kai Wang, and Shing-Tung Yau.
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.
The Center of Mathematical Sciences and Applications will be having a conference on Big Data August 24-26, 2015, in Science Center Hall B at Harvard University. This conference will feature many speakers from the Harvard Community as well as many scholars from across the globe, with talks focusing on computer science, statistics, math and physics, and economics.
For more info, please contact Sarah LaBauve at slabauve@math.harvard.edu.
Registration for the conference is now closed.
Please click here for a downloadable version of this schedule.
Please note that lunch will not be provided during the conference, but a map of Harvard Square with a list of local restaurants can be found here.
Monday, August 24
Time
Speaker
Title
8:45am
Meet and Greet
9:00am
Sendhil Mullainathan
Prediction Problems in Social Science: Applications of Machine Learning to Policy and Behavioral Economics
9:45am
Mike Luca
Designing Disclosure for the Digital Age
10:30
Break
10:45
Jianqing Fan
Big Data Big Assumption: Spurious discoveries and endogeneity
The CMSA will be hosting a Workshop on Global Categorical Symmetries from May 7 – 12, 2023
Participation in the workshop is by invitation.
Public Lectures
There will be three lectures on Thursday, May 11, 2023, which are open to the public. Location: Room G-10, CMSA, 20 Garden Street, Cambridge MA 02138 Note: The public lectures will be held in-person only.
2:00 – 2:50 pm Speaker: Kantaro Ohmori (U Tokyo ) Title: Fusion Surface Models: 2+1d Lattice Models from Higher Categories Abstract: Generalized symmetry in general dimensions is expected to be described by higher categories. Conversely, one might expect that, given a higher category with appropriate structures, there exist models that admit the category as its symmetry. In this talk I will explain a construction of such 2+1d lattice models for fusion 2-categories defined by Douglas and Reutter, generalizing the work of Aasen, Fendley and Mong on anyon chains. The construction is by decorating a boundary of a topological Freed-Teleman-Moore sandwich into a non-topological boundary. In particular we can construct a family of candidate lattice systems for chiral topological orders.
3:00 – 3:50 pm Speaker: David Jordan (Edinburgh) Title: Langlands duality for 3-manifolds Abstract: Originating in number theory, and permeating representation theory, algebraic geometry, and quantum field theory, Langlands duality is a pattern of predictions relating pairs of mathematical objects which have no clear a priori mathematical relation. In this talk I’ll explain a new conjectural appearance of Langlands duality in the setting of 3-manifold topology, I’ll give some evidence in the form of special cases, and I’ll survey how the conjecture relates to both the arithmetic and geometric Langlands duality conjectures.
3:50 – 4:30 pm Tea/Snack Break
4:30 – 5:30 pm Speaker: Ken Intriligator (UCSD) Colloquium Title: QFT Aspects of Symmetry Abstract: Everything in the Universe, including the photons that we see and the quarks and electrons in our bodies, are actually ripples of quantum fields. Quantum field theory (QFT) is the underlying mathematical framework of Nature, and in the case of electrons and photons it is the most precisely tested theory in science. Strongly coupled aspects, e.g. the confinement of quarks and gluons at long distances, remain challenging. QFT also describes condensed matter systems, connects to string theory and quantum gravity, and describes cosmology. Symmetry has deep and powerful realizations and implications throughout physics, and this is especially so for the study of QFT. Symmetries play a helpful role in characterizing the phases of theories and their behavior under renormalization group flows (zooming out). Quantum field theory has also been an idea generating machine for mathematics, and there has been increasingly fruitful synergy in both directions. We are currently exploring the symmetry-based interconnections between QFT and mathematics in our Simons Collaboration on Global Categorical Symmetry, which is meeting here this week. I will try to provide an accessible, colloquium-level introduction to aspects of symmetries and QFT, both old and new.
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.
Title: Ising model, total positivity, and criticality
Abstract: The Ising model, introduced in 1920, is one of the most well-studied models in statistical mechanics. It is known to undergo a phase transition at critical temperature, and has attracted considerable interest over the last two decades due to special properties of its scaling limit at criticality. The totally nonnegative Grassmannian is a subset of the real Grassmannian introduced by Postnikov in 2006. It arises naturally in Lusztig’s theory of total positivity and canonical bases, and is closely related to cluster algebras and scattering amplitudes. I will give some background on the above objects and then explain a precise relationship between the planar Ising model and the totally nonnegative Grassmannian, obtained in our recent work with P. Pylyavskyy. Building on this connection, I will give a new boundary correlation formula for the critical Ising model
On May 16 – May 19, 2023 the CMSA hosted a four-day workshop on GRAMSIA: Graphical Models, Statistical Inference, and Algorithms. The workshop was held in room G10 of the CMSA, located at 20 Garden Street, Cambridge, MA. This workshop was organized by David Gamarnik (MIT), Kavita Ramanan (Brown), and Prasad Tetali (Carnegie Mellon).
The purpose of this workshop is to highlight various mathematical questions and issues associated with graphical models and message-passing algorithms, and to bring together a group of researchers for discussion of the latest progress and challenges ahead. In addition to the substantial impact of graphical models on applied areas, they are also connected to various branches of the mathematical sciences. Rather than focusing on the applications, the primary goal is to highlight and deepen these mathematical connections.
Location: Room G10, CMSA, 20 Garden Street, Cambridge MA 02138
Speakers:
Jake Abernethy (Georgia Tech)
Guy Bresler (MIT)
Florent Krzakala (Ecole Polytechnique Federale de Lausanne)
Lester Mackey (Microsoft Research New England)
Theo McKenzie (Harvard)
Andrea Montanari (Stanford)
Elchanan Mossel (MIT)
Yury Polyanskiy (MIT)
Patrick Rebeschini (Oxford)
Subhabrata Sen (Harvard)
Devavrat Shah (MIT)
Pragya Sur (Harvard)
Alex Wein (UC Davis)
Yihong Wu (Yale)
Sarath Yasodharan (Brown)
Horng-Tzer Yau (Harvard)
Christina Lee Yu (Cornell)
Ilias Zadik (MIT)
Schedule:
Tuesday, May 16, 2023
9:00 am
Breakfast
9:15 – 9:30 am
Introductory remarks by organizers
9:30 – 10:20 am
Subhabrata Sen (Harvard)
Title: Mean-field approximations for high-dimensional Bayesian regression
Abstract: Variational approximations provide an attractive computational alternative to MCMC-based strategies for approximating the posterior distribution in Bayesian inference. The Naive Mean-Field (NMF) approximation is the simplest version of this strategy—this approach approximates the posterior in KL divergence by a product distribution. There has been considerable progress recently in understanding the accuracy of NMF under structural constraints such as sparsity, but not much is known in the absence of such constraints. Moreover, in some high-dimensional settings, the NMF is expected to be grossly inaccurate, and advanced mean-field techniques (e.g. Bethe approximation) are expected to provide accurate approximations. We will present some recent work in understanding this duality in the context of high-dimensional regression. This is based on joint work with Sumit Mukherjee (Columbia) and Jiaze Qiu (Harvard University).
10:30 – 11:00 am
Coffee break
11:00 – 11:50 am
Elchanan Mossel (MIT)
Title: Some modern perspectives on the Kesten-Stigum bound for reconstruction on trees.
Abstract: The Kesten-Stigum bound is a fundamental spectral bound for reconstruction on trees. I will discuss some conjectures and recent progress on understanding when it is tight as well as some conjectures and recent progress on what it signifies even in cases where it is not tight.
12:00 – 2:00 pm
Lunch
2:00 – 2:50 pm
Christina Lee Yu (Cornell)
Title: Exploiting Neighborhood Interference with Low Order Interactions under Unit Randomized Design
Abstract: Network interference, where the outcome of an individual is affected by the treatment assignment of those in their social network, is pervasive in many real-world settings. However, it poses a challenge to estimating causal effects. We consider the task of estimating the total treatment effect (TTE), or the difference between the average outcomes of the population when everyone is treated versus when no one is, under network interference. Under a Bernoulli randomized design, we utilize knowledge of the network structure to provide an unbiased estimator for the TTE when network interference effects are constrained to low order interactions among neighbors of an individual. We make no assumptions on the graph other than bounded degree, allowing for well-connected networks that may not be easily clustered. Central to our contribution is a new framework for balancing between model flexibility and statistical complexity as captured by this low order interactions structure.
3:00 – 3:30 pm
Coffee break
3:30 – 4:20 pm
Theo McKenzie (Harvard)
Title: Spectral statistics for sparse random graphs
Abstract: Understanding the eigenvectors and eigenvalues of the adjacency matrix of random graphs is fundamental to many algorithmic questions; moreover, it is related to longstanding questions in quantum physics. In this talk we focus on random models of sparse graphs, giving some properties that are unique to these sparse graphs, as well as some specific obstacles. Based on this, we show some new results on spectral statistics of sparse random graphs, as well as some conjectures.
4:40 – 6:30 pm
Lightning talk session + welcome reception
Wednesday, May 17, 2023
9:00 am
Breakfast
9:30 – 10:20
Ilias Zadik (MIT)
Title: Revisiting Jerrum’s Metropolis Process for the Planted Clique Problem
Abstract: Jerrum in 1992 (co-)introduced the planted clique model by proving the (worst-case initialization) failure of the Metropolis process to recover any o(sqrt(n))-sized clique planted in the Erdos-Renyi graph G(n,1/2). This result is classically cited in the literature of the problem, as the “first evidence” the o(sqrt(n))-sized planted clique recovery task is “algorithmically hard”. In this work, we show that the Metropolis process actually fails to work (under worst-case initialization) for any o(n)-sized planted clique, that is the failure applies well beyond the sqrt(n) “conjectured algorithmic threshold”. Moreover we also prove, for a large number of temperature values, that the Metropolis process fails also under “natural initialization”, resolving an open question posed by Jerrum in 1992.
10:30 – 11:00
Coffee break
11:00 – 11:50
Florent Krzakala (Ecole Polytechnique Federale de Lausanne)
Title: Are Gaussian data all you need for machine learning theory?
Abstract: Clearly, no! Nevertheless, the Gaussian assumption remains prevalent among theoreticians, particularly in high-dimensional statistics and physics, less so in traditional statistical learning circles. To what extent are Gaussian features merely a convenient choice for certain theoreticians, or genuinely an effective model for learning? In this talk, I will review recent progress on these questions, achieved using rigorous probabilistic approaches in high-dimension and techniques from mathematical statistical physics. I will demonstrate that, despite its apparent limitations, the Gaussian approach is sometimes much closer to reality than one might expect. In particular, I will discuss key findings from a series of recent papers that showcase the Gaussian equivalence of generative models, the universality of Gaussian mixtures, and the conditions under which a single Gaussian can characterize the error in high-dimensional estimation. These results illuminate the strengths and weaknesses of the Gaussian assumption, shedding light on its applicability and limitations in the realm of theoretical statistical learning.
12:00 – 2:00 pm
Lunch
2:00 – 2:50 pm
Andrea Montanari (Stanford)
Title: Dimension free ridge regression
Abstract: Random matrix theory has become a widely useful tool in high-dimensional statistics and theoretical machine learning. However, random matrix theory is largely focused on the proportional asymptotics in which the number of columns grows proportionally to the number of rows of the data matrix. This is not always the most natural setting in statistics where columns correspond to covariates and rows to samples. With the objective to move beyond the proportional asymptotics, we revisit ridge regression. We allow the feature vector to be high-dimensional, or even infinite-dimensional, in which case it belongs to a separable Hilbert space and assume it to satisfy a certain convex concentration property. Within this setting, we establish non-asymptotic bounds that approximate the bias and variance of ridge regression in terms of the bias and variance of an ‘equivalent’ sequence model (a regression model with diagonal design matrix). Previously, such an approximation result was known only in the proportional regime and only up to additive errors: in particular, it did not allow to characterize the behavior of the excess risk when this converges to 0. Our general theory recovers earlier results in the proportional regime (with better error rates). As a new application, we obtain a completely explicit and sharp characterization of ridge regression for Hilbert covariates with regularly varying spectrum. Finally, we analyze the overparametrized near-interpolation setting and obtain sharp ‘benign overfitting’ guarantees.
[Based on joint work with Chen Cheng]
3:00 – 3:50 pm
Yury Polyanskiy (MIT)
Title: Recent results on broadcasting on trees and stochastic block model
Abstract: I will survey recent results and open questions regarding the q-ary stochastic block model and its local version (broadcasting on trees, or BOT). For example, establishing uniqueness of non-trivial solution to distribution recursions (BP fixed point) implies a characterization for the limiting mutual information between the graph and community labels. For q=2 uniqueness holds in all regimes. For q>2 uniqueness is currently only proved above a certain threshold that is asymptotically (for large q) is close to Kesten-Stigum (KS) threshold. At the same time between the BOT reconstruction and KS we show that uniqueness does not hold, at least in the presence of (arbitrary small) vertex-level side information. I will also discuss extension of the robust reconstruction result of Janson-Mossel’2004.
Based on joint works with Qian Yu (Princeton) and Yuzhou Gu (MIT).
4:00 – 4:30 pm
Coffee break
4:30 – 5:20 pm
Alex Wein (UC Davis)
Title: Is Planted Coloring Easier than Planted Clique?
Abstract: The task of finding a planted clique in the random graph G(n,1/2) is perhaps the canonical example of a statistical-computational gap: for some clique sizes, the task is statistically possible but believed to be computationally hard. Really, there are multiple well-studied tasks related to the planted clique model: detection, recovery, and refutation. While these are equally difficult in the case of planted clique, this need not be true in general. In the related planted coloring model, I will discuss the computational complexity of these three tasks and the interplay among them. Our computational hardness results are based on the low-degree polynomial model of computation.By taking the complement of the graph, the planted coloring model is analogous to the planted clique model but with many planted cliques. Here our conclusion is that adding more cliques makes the detection problem easier but not the recovery problem.
Thursday, May 18, 2023
9:00
Breakfast
9:30 – 10:20
Guy Bresler (MIT)
Title: Algorithmic Decorrelation and Planted Clique in Dependent Random Graphs
Abstract: There is a growing collection of average-case reductions starting from Planted Clique (or Planted Dense Subgraph) and mapping to a variety of statistics problems, sharply characterizing their computational phase transitions. These reductions transform an instance of Planted Clique, a highly structured problem with its simple clique signal and independent noise, to problems with richer structure. In this talk we aim to make progress in the other direction: to what extent can these problems, which often have complicated dependent noise, be transformed back to Planted Clique? Such a bidirectional reduction between Planted Clique and another problem shows a strong computational equivalence between the two problems. We develop a new general framework for reasoning about the validity of average-case reductions based on low sensitivity to perturbations. As a concrete instance of our general result, we consider the planted clique (or dense subgraph) problem in an ambient graph that has dependent edges induced by randomly adding triangles to the Erdos-Renyi graph G(n,p), and show how to successfully eliminate dependence by carefully removing the triangles while approximately preserving the clique (or dense subgraph). Joint work with Chenghao Guo and Yury Polyanskiy.
10:30 – 11:00
Coffee break
11:00 – 11:50
Sarath Yasodharan (Brown)
Title: A Sanov-type theorem for unimodular marked random graphs and its applications
Abstract: We prove a Sanov-type large deviation principle for the component empirical measures of certain sequences of unimodular random graphs (including Erdos-Renyi and random regular graphs) whose vertices are marked with i.i.d. random variables. Specifically, we show that the rate function can be expressed in a fairly tractable form involving suitable relative entropy functionals. As a corollary, we establish a variational formula for the annealed pressure (or limiting log partition function) for various statistical physics models on sparse random graphs. This is joint work with I-Hsun Chen and Kavita Ramanan.
12:00 – 12:15 pm
12:15 – 2:00 pm
Group Photo
Lunch
2:00 – 2:50 pm
Patrick Rebeschini (Oxford)
Title: Implicit regularization via uniform convergence
Abstract: Uniform convergence is one of the main tools to analyze the complexity of learning algorithms based on explicit regularization, but it has shown limited applicability in the context of implicit regularization. In this talk, we investigate the statistical guarantees on the excess risk achieved by early-stopped mirror descent run on the unregularized empirical risk with the squared loss for linear models and kernel methods. We establish a direct link between the potential-based analysis of mirror descent from optimization theory and uniform learning. This link allows characterizing the statistical performance of the path traced by mirror descent directly in terms of localized Rademacher complexities of function classes depending on the choice of the mirror map, initialization point, step size, and the number of iterations. We will discuss other results along the way.
3:00 – 3:50 pm
Pragya Sur (Harvard)
Title: A New Central Limit Theorem for the Augmented IPW estimator in high dimensions
Abstract: Estimating the average treatment effect (ATE) is a central problem in causal inference. Modern advances in the field studied estimation and inference for the ATE in high dimensions through a variety of approaches. Doubly robust estimators such as the augmented inverse probability weighting (AIPW) form a popular approach in this context. However, the high-dimensional literature surrounding these estimators relies on sparsity conditions, either on the outcome regression (OR) or the propensity score (PS) model. This talk will introduce a new central limit theorem for the classical AIPW estimator, that applies agnostic to such sparsity-type assumptions. Specifically, we will study properties of the cross-fit version of the estimator under well-specified OR and PS models, and the proportional asymptotics regime where the number of confounders and sample size diverge proportional to each other. Under assumptions on the covariate distribution, our CLT will uncover two crucial phenomena among others: (i) the cross-fit AIPW exhibits a substantial variance inflation that can be quantified in terms of the signal-to-noise ratio and other problem parameters, (ii) the asymptotic covariance between the estimators used while cross-fitting is non-negligible even on the root-n scale. These findings are strikingly different from their classical counterparts, and open a vista of possibilities for studying similar other high-dimensional effects. On the technical front, our work utilizes a novel interplay between three distinct tools—approximate message passing theory, the theory of deterministic equivalents, and the leave-one-out approach.
4:00 – 4:30 pm
Coffee break
4:30 – 5:20 pm
Yihong Wu (Yale)
Title: Random graph matching at Otter’s threshold via counting chandeliers Abstract: We propose an efficient algorithm for graph matching based on similarity scores constructed from counting a certain family of weighted trees rooted at each vertex. For two Erdős–Rényi graphs G(n,q) whose edges are correlated through a latent vertex correspondence, we show that this algorithm correctly matches all but a vanishing fraction of the vertices with high probability, provided that nq\to\infty and the edge correlation coefficient ρ satisfies ρ^2>α≈0.338, where α is Otter’s tree-counting constant. Moreover, this almost exact matching can be made exact under an extra condition that is information-theoretically necessary. This is the first polynomial-time graph matching algorithm that succeeds at an explicit constant correlation and applies to both sparse and dense graphs. In comparison, previous methods either require ρ=1−o(1) or are restricted to sparse graphs. The crux of the algorithm is a carefully curated family of rooted trees called chandeliers, which allows effective extraction of the graph correlation from the counts of the same tree while suppressing the undesirable correlation between those of different trees. This is joint work with Cheng Mao, Jiaming Xu, and Sophie Yu, available at https://arxiv.org/abs/2209.12313
Friday, May 19, 2023
9:00
Breakfast
9:30 – 10:20
Jake Abernethy (Georgia Tech)
Title: Optimization, Learning, and Margin-maximization via Playing Games
Abstract: A very popular trick for solving certain types of optimization problems is this: write your objective as the solution of a two-player zero-sum game, endow both players with an appropriate learning algorithm, watch how the opponents compete, and extract an (approximate) solution from the actions/decisions taken by the players throughout the process. This approach is very generic and provides a natural template to produce new and interesting algorithms. I will describe this framework and show how it applies in several scenarios, including optimization, learning, and margin-maximiation problems. Along the way we will encounter a number of novel tools and rediscover some classical ones as well.
10:30 – 11:00
Coffee break
11:00 – 11:50
Devavrat Shah (MIT)
Title: On counterfactual inference with unobserved confounding via exponential family
Abstract: We are interested in the problem of unit-level counterfactual inference with unobserved confounders owing to the increasing importance of personalized decision-making in many domains: consider a recommender system interacting with a user over time where each user is provided recommendations based on observed demographics, prior engagement levels as well as certain unobserved factors. The system adapts its recommendations sequentially and differently for each user. Ideally, at each point in time, the system wants to infer each user’s unknown engagement if it were exposed to a different sequence of recommendations while everything else remained unchanged. This task is challenging since: (a) the unobserved factors could give rise to spurious associations, (b) the users could be heterogeneous, and (c) only a single trajectory per user is available.
We model the underlying joint distribution through an exponential family. This reduces the task of unit-level counterfactual inference to simultaneously learning a collection of distributions of a given exponential family with different unknown parameters with single observation per distribution. We discuss a computationally efficient method for learning all of these parameters with estimation error scaling linearly with the metric entropy of the space of unknown parameters – if the parameters are an s-sparse linear combination of k known vectors in p dimension, the error scales as O(s log k/p). En route, we derive sufficient conditions for compactly supported distributions to satisfy the logarithmic Sobolev inequality.
Based on a joint work with Raaz Dwivedi, Abhin Shah and Greg Wornell (all at MIT) with manuscript available here: https://arxiv.org/abs/2211.08209
12:00 – 2:00 pm
Lunch
2:00 – 2:50 pm
Lester Mackey (Microsoft Research New England)
Title: Advances in Distribution Compression
Abstract: This talk will introduce two new tools for summarizing a probability distribution more effectively than independent sampling or standard Markov chain Monte Carlo thinning: 1. Given an initial n-point summary (for example, from independent sampling or a Markov chain), kernel thinning finds a subset of only square-root n-points with comparable worst-case integration error across a reproducing kernel Hilbert space. 2. If the initial summary suffers from biases due to off-target sampling, tempering, or burn-in, Stein thinning simultaneously compresses the summary and improves the accuracy by correcting for these biases. These tools are especially well-suited for tasks that incur substantial downstream computation costs per summary point like organ and tissue modeling in which each simulation consumes 1000s of CPU hours. Based on joint work with Raaz Dwivedi, Marina Riabiz, Wilson Ye Chen, Jon Cockayne, Pawel Swietach, Steven A. Niederer, Chris. J. Oates, Abhishek Shetty, and Carles Domingo-Enrich.
3:00 – 3:30 pm
Coffee break
3:30 – 4:20 pm
Horng-Tzer Yau (Harvard)
Title: On the spectral gap of mean-field spin glass models.
Abstract: We will discuss recent progress regarding spectral gaps for the Glauber dynamics of spin glasses at high temperature. In addition, we will also report on estimating the operator norm of the covariance matrix for the SK model.
Moderators: Benjamin McKenna, Harvard CMSA & Changji Xu, Harvard CMSA
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.
Title: Holomorphic Twists and Confinement in N=1 SYM
Abstract: Supersymmetric QFT’s are of long-standing interest for their high degree of solvability, phenomenological implications, and rich connections to mathematics. In my talk, I will describe how the holomorphic twist isolates the protected quantities which give SUSY QFTs their potency by restricting to the cohomology of one supercharge. I will briefly introduce infinite dimensional symmetry algebras, generalizing Virasoro and Kac-Moody symmetries, which emerge. Finally, I will explain a potential novel UV manifestation of confinement, dubbed “holomorphic confinement,” in the example of pure SU(N) super Yang-Mills. Based on arXiv:2207.14321 and 2 forthcoming works with Kasia Budzik, Davide Gaiotto, Brian Williams, Jingxiang Wu, and Matthew Yu.
On August 31-Sep 1, 2023 the CMSA will host the ninth annual Conference on Big Data. The Big Data Conference features speakers from the Harvard community as well as scholars from across the globe, with talks focusing on computer science, statistics, math and physics, and economics.
Location: Harvard University Science Center Hall D & via Zoom.
Title: From Network Medicine to the Foodome: The Dark Matter of Nutrition
Abstract: A disease is rarely a consequence of an abnormality in a single gene but reflects perturbations to the complex intracellular network. Network medicine offer a platform to explore systematically not only the molecular complexity of a particular disease, leading to the identification of disease modules and pathways, but also the molecular relationships between apparently distinct (patho) phenotypes. As an application, I will explore how we use network medicine to uncover the role individual food molecules in our health. Indeed, our current understanding of how diet affects our health is limited to the role of 150 key nutritional components systematically tracked by the USDA and other national databases in all foods. Yet, these nutritional components represent only a tiny fraction of the over 135,000 distinct, definable biochemicals present in our food. While many of these biochemicals have documented effects on health, they remain unquantified in any systematic fashion across different individual foods. Their invisibility to experimental, clinical, and epidemiological studies defines them as the ‘Dark Matter of Nutrition.’ I will speak about our efforts to develop a high-resolution library of this nutritional dark matter, and efforts to understand the role of these molecules on health, opening novel avenues by which to understand, avoid, and control disease.
Title: Differentially Private Algorithms for Statistical Estimation Problems
Abstract: Differential privacy (DP) is widely regarded as a gold standard for privacy-preserving computation over users’ data. It is a parameterized notion of database privacy that gives a rigorous worst-case bound on the information that can be learned about any one individual from the result of a data analysis task. Algorithmically it is achieved by injecting carefully calibrated randomness into the analysis to balance privacy protections with accuracy of the results. In this talk, we will survey recent developments in the development of DP algorithms for three important statistical problems, namely online learning with bandit feedback, causal interference, and learning from imbalanced data. For the first problem, we will show that Thompson sampling — a standard bandit algorithm developed in the 1930s — already satisfies DP due to the inherent randomness of the algorithm. For the second problem of causal inference and counterfactual estimation, we develop the first DP algorithms for synthetic control, which has been used non-privately for this task for decades. Finally, for the problem of imbalanced learning, where one class is severely underrepresented in the training data, we show that combining existing techniques such as minority oversampling perform very poorly when applied as pre-processing before a DP learning algorithm; instead we propose novel approaches for privately generating synthetic minority points.
Based on joint works with Marco Avella Medina, Vishal Misra, Yuliia Lut, Tingting Ou, Saeyoung Rho, and Ethan Turok.
Title: To split or not to split that is the question: From cross validation to debiased machine learning
Abstract: Data splitting is a ubiquitous method in statistics with examples ranging from cross-validation to cross-fitting. However, despite its prevalence, theoretical guidance regarding its use is still lacking. In this talk, we will explore two examples and establish an asymptotic theory for it. In the first part of this talk, we study the cross-validation method, a ubiquitous method for risk estimation, and establish its asymptotic properties for a large class of models and with an arbitrary number of folds. Under stability conditions, we establish a central limit theorem and Berry-Esseen bounds for the cross-validated risk, which enable us to compute asymptotically accurate confidence intervals. Using our results, we study the statistical speed-up offered by cross-validation compared to a train-test split procedure. We reveal some surprising behavior of the cross-validated risk and establish the statistically optimal choice for the number of folds. In the second part of this talk, we study the role of cross-fitting in the generalized method of moments with moments that also depend on some auxiliary functions. Recent lines of work show how one can use generic machine learning estimators for these auxiliary problems, while maintaining asymptotic normality and root-n consistency of the target parameter of interest. The literature typically requires that these auxiliary problems are fitted on a separate sample or in a cross-fitting manner. We show that when these auxiliary estimation algorithms satisfy natural leave-one-out stability properties, then sample splitting is not required. This allows for sample reuse, which can be beneficial in moderately sized sample regimes.
Abstract: Linear dynamical systems are the canonical model for time series data. They have wide-ranging applications and there is a vast literature on learning their parameters from input-output sequences. Moreover they have received renewed interest because of their connections to recurrent neural networks. But there are wide gaps in our understanding. Existing works have only asymptotic guarantees or else make restrictive assumptions, e.g. that preclude having any long-range correlations. In this work, we give a new algorithm based on the method of moments that is computationally efficient and works under essentially minimal assumptions. Our work points to several missed connections, whereby tools from theoretical machine learning including tensor methods, can be used in non-stationary settings.
Title: Algorithmic Thresholds for Spherical Spin Glasses
Abstract: High-dimensional optimization plays a crucial role in modern statistics and machine learning. I will present recent progress on non-convex optimization problems with random objectives, focusing on the spherical p-spin glass. This model is related to spiked tensor estimation and has been studied in probability and physics for decades. We will see that a natural class of “stable” optimization algorithms gets stuck at an algorithmic threshold related to geometric properties of the landscape. The algorithmic threshold value is efficiently attained via Langevin dynamics or by a second-order ascent method of Subag. Much of this picture extends to other models, such as random constraint satisfaction problems at high clause density.
Title: What Learning Algorithm is In-Context Learning?
Abstract: Neural sequence models, especially transformers, exhibit a remarkable capacity for “in-context” learning. They can construct new predictors from sequences of labeled examples (x,f(x)) presented in the input without further parameter updates. I’ll present recent findings suggesting that transformer-based in-context learners implement standard learning algorithms implicitly, by encoding smaller models in their activations, and updating these implicit models as new examples appear in the context, using in-context linear regression as a model problem. First, I’ll show by construction that transformers can implement learning algorithms for linear models based on gradient descent and closed-form ridge regression. Second, I’ll show that trained in-context learners closely match the predictors computed by gradient descent, ridge regression, and exact least-squares regression, transitioning between different predictors as transformer depth and dataset noise vary, and converging to Bayesian estimators for large widths and depths. Finally, we present preliminary evidence that in-context learners share algorithmic features with these predictors: learners’ late layers non-linearly encode weight vectors and moment matrices. These results suggest that in-context learning is understandable in algorithmic terms, and that (at least in the linear case) learners may rediscover standard estimation algorithms. This work is joint with Ekin Akyürek at MIT, and Dale Schuurmans, Tengyu Ma and Denny Zhou at Stanford.
Abstract: Rapidly advancing deep distributional modeling techniques offer a number of opportunities for complex generative tasks, from natural sciences such as molecules and materials to engineering. I will discuss generative approaches inspired from physical processes including diffusion models and more recent electrostatic models (Poisson flow), and how they relate to each other in terms of embedding dimension. From the point of view of applications, I will highlight our recent work on SE(3) invariant distributional modeling over backbone 3D structures with ability to generate designable monomers without relying on pre-trained protein structure prediction methods as well as state of the art image generation capabilities (Poisson flow). Time permitting, I will also discuss recent analysis of efficiency of sample generation in such models.
Abstract: Understanding biological and natural systems requires modeling data with underlying geometric relationships across scales and modalities such as biological sequences, chemical constraints, and graphs of 3D spatial or biological interactions. I will discuss unique challenges for learning from multimodal datasets that are due to varying inductive biases across modalities and the potential absence of explicit graphs in the input. I will describe a framework for structure-inducing pretraining that allows for a comprehensive study of how relational structure can be induced in pretrained language models. We use the framework to explore new graph pretraining objectives that impose relational structure in the induced latent spaces—i.e., pretraining objectives that explicitly impose structural constraints on the distance or geometry of pretrained models. Applications in genomic medicine and therapeutic science will be discussed. These include TxGNN, an AI model enabling zero-shot prediction of therapeutic use across over 17,000 diseases, and PINNACLE, a contextual graph AI model dynamically adjusting its outputs to contexts in which it operates. PINNACLE enhances 3D protein structure representations and predicts the effects of drugs at single-cell resolution.
Abstract: Uncertainty quantification for prediction is an intriguing problem with significant applications in various fields, such as biomedical science, economic studies, and weather forecasts. Numerous methods are available for constructing prediction intervals, such as quantile regression and conformal predictions, among others. Nevertheless, model misspecification (especially in high-dimension) or sub-optimal constructions can frequently result in biased or unnecessarily-wide prediction intervals. In this work, we propose a novel and widely applicable technique for aggregating multiple prediction intervals to minimize the average width of the prediction band along with coverage guarantee, called Universally Trainable Optimal Predictive Intervals Aggregation (UTOPIA). The method also allows us to directly construct predictive bands based on elementary basis functions. Our approach is based on linear or convex programming which is easy to implement. All of our proposed methodologies are supported by theoretical guarantees on the coverage probability and optimal average length, which are detailed in this paper. The effectiveness of our approach is convincingly demonstrated by applying it to synthetic data and two real datasets on finance and macroeconomics. (Joint work Jiawei Ge and Debarghya Mukherjee).
Title: Efficient OCR for Building a Diverse Digital History
Abstract: Many users consult digital archives daily, but the information they can access is unrepresentative of the diversity of documentary history. The sequence-to-sequence architecture typically used for optical character recognition (OCR) – which jointly learns a vision and language model – is poorly extensible to low-resource document collections, as learning a language-vision model requires extensive labeled sequences and compute. This study models OCR as a character-level image retrieval problem, using a contrastively trained vision encoder. Because the model only learns characters’ visual features, it is more sample-efficient and extensible than existing architectures, enabling accurate OCR in settings where existing solutions fail. Crucially, it opens new avenues for community engagement in making digital history more representative of documentary history.
Title:Area-minimizing integral currents and their regularity
Abstract: Caccioppoli sets and integral currents (their generalization in higher codimension) were introduced in the late fifties and early sixties to give a general geometric approach to the existence of area-minimizing oriented surfaces spanning a given contour. These concepts started a whole new subject which has had tremendous impacts in several areas of mathematics: superficially through direct applications of the main theorems, but more deeply because of the techniques which have been invented to deal with related analytical and geometrical challenges. In this lecture I will review the basic concepts, the related existence theory of solutions of the Plateau problem, and what is known about their regularity. I will also touch upon several fundamental open problems which still defy our understanding.
Title: Extracting the quantum Hall conductance from a single bulk wavefunction from the modular flow
Abstract: One question in the study of topological phases is to identify the topological data from the ground state wavefunction without accessing the Hamiltonian. Since local measurement is not enough, entanglement becomes an indispensable tool. Here, we use modular Hamiltonian (entanglement Hamiltonian) and modular flow to rephrase previous studies on topological entanglement entropy and motivate a natural generalization, which we call the entanglement linear response. We will show how it embraces a previous work by Kim&Shi et al on the chiral central charge, and furthermore, inspires a new formula for the quantum Hall conductance.
Speaker: Avner Karasik (University of Cambridge, UK)
Title: Candidates for Non-Supersymmetric Dualities
Abstract: In the talk I will discuss the possibility and the obstructions of finding non-supersymmetric dualities for 4d gauge theories. I will review consistency conditions based on Weingarten inequalities, anomalies and large N, and clarify some subtle points and misconceptions about them. Later I will go over some old and new examples of candidates for non-supersymmetric dualities. The will be based on 2208.07842
The workshop on coding and information theory will take place April 9-13, 2018 at the Center of Mathematical Sciences and Applications, located at 20 Garden Street, Cambridge, MA.
This workshop will focus on new developments in coding and information theory that sit at the intersection of combinatorics and complexity, and will bring together researchers from several communities — coding theory, information theory, combinatorics, and complexity theory — to exchange ideas and form collaborations to attack these problems.
Squarely in this intersection of combinatorics and complexity, locally testable/correctable codes and list-decodable codes both have deep connections to (and in some cases, direct motivation from) complexity theory and pseudorandomness, and recent progress in these areas has directly exploited and explored connections to combinatorics and graph theory. One goal of this workshop is to push ahead on these and other topics that are in the purview of the year-long program. Another goal is to highlight (a subset of) topics in coding and information theory which are especially ripe for collaboration between these communities. Examples of such topics include polar codes; new results on Reed-Muller codes and their thresholds; coding for distributed storage and for DNA memories; coding for deletions and synchronization errors; storage capacity of graphs; zero-error information theory; bounds on codes using semidefinite programming; tensorization in distributed source and channel coding; and applications of information-theoretic methods in probability and combinatorics. All these topics have attracted a great deal of recent interest in the coding and information theory communities, and have rich connections to combinatorics and complexity which could benefit from further exploration and collaboration.
Participation: The workshop is open to participation by all interested researchers, subject to capacity. Click here to register.
Abstract:In this talk I will discuss a couple of research directions for robust AI beyond deep neural networks. The first is the need to understand what we are learning, by shifting the focus from targeting effects to understanding causes. The second is the need for a hybrid neural/symbolic approach that leverages both commonsense knowledge and massive amount of data. Specifically, as an example, I will present some latest work at Microsoft Research on building a pre-trained grounded text generator for task-oriented dialog. It is a hybrid architecture that employs a large-scale Transformer-based deep learning model, and symbol manipulation modules such as business databases, knowledge graphs and commonsense rules. Unlike GPT or similar language models learnt from data, it is a multi-turn decision making system which takes user input, updates the belief state, retrieved from the database via symbolic reasoning, and decides how to complete the task with grounded response.
Abstract: The n-queens problem asks how many ways there are to place n queens on an n x n chessboard so that no two queens can attack one another, and the toroidal n-queens problem asks the same question where the board is considered on the surface of a torus. Let Q(n) denote the number of n-queens configurations on the classical board and T(n) the number of toroidal n-queens configurations. The toroidal problem was first studied in 1918 by Pólya who showed that T(n)>0 if and only if n is not divisible by 2 or 3. Much more recently Luria showed that T(n) is at most ((1+o(1))ne^{-3})^n and conjectured equality when n is not divisible by 2 or 3. We prove this conjecture, prior to which no non-trivial lower bounds were known to hold for all (sufficiently large) n not divisible by 2 or 3. We also show that Q(n) is at least ((1+o(1))ne^{-3})^n for all natural numbers n which was independently proved by Luria and Simkin and, combined with our toroidal result, completely settles a conjecture of Rivin, Vardi and Zimmerman regarding both Q(n) and T(n).
In this talk we’ll discuss our methods used to prove these results. A crucial element of this is translating the problem to one of counting matchings in a 4-partite 4-uniform hypergraph. Our strategy combines a random greedy algorithm to count `almost’ configurations with a complex absorbing strategy that uses ideas from the methods of randomised algebraic construction and iterative absorption.
Title: Hodge structures and the topology of algebraic varieties
Abstract: We review the major progress made since the 50’s in our understanding of the topology of complex algebraic varieties. Most of the results we will discuss rely on Hodge theory, which has some analytic aspects giving the Hodge and Lefschetz decompositions, and the Hodge-Riemann relations. We will see that a crucial ingredient, the existence of a polarization, is missing in the general Kaehler context. We will also discuss some results and problems related to algebraic cycles and motives.
On March 24-26, The Center of Mathematical Sciences and Applications will be hosting a workshop on Geometry, Imaging, and Computing, based off the journal of the same name. The workshop will take place in CMSA building, G10.
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
During the 2021–22 academic year, the CMSA will be hosting a seminar on Combinatorics, Physics and Probability, organized by Matteo Parisi and Michael Simkin. This seminar will take place on Tuesdays at 9:00 am – 10:00 am (Boston time). The meetings will take place virtually on Zoom. To learn how to attend, please fill out this form, or contact the organizers Matteo (mparisi@cmsa.fas.harvard.edu) and Michael (msimkin@cmsa.fas.harvard.edu).
The schedule below will be updated as talks are confirmed.
Spring 2022
Date
Speaker
Title/Abstract
1/25/2022 *note special time 9:00–10:00 AM ET
Jacob Bourjaily (Penn State University, Eberly College of Science
Abstract: Recent years have seen tremendous advances in our understanding of perturbative quantum field theory—fueled largely by discoveries (and eventual explanations and exploitation) of shocking simplicity in the mathematical form of the predictions made for experiment. Among the most important frontiers in this progress is the understanding of loop amplitudes—their mathematical form, underlying geometric structure, and how best to manifest the physical properties of finite observables in general quantum field theories. This work is motivated in part by the desire to simplify the difficult work of doing Feynman integrals. I review some of the examples of this progress, and describe some ongoing efforts to recast perturbation theory in terms that expose as much simplicity (and as much physics) as possible.
Abstract: The (tree) amplituhedron was introduced in 2013 by Arkani-Hamed and Trnka in their study of N=4 SYM scattering amplitudes. A central conjecture in the field was to prove that the m=4 amplituhedron is triangulated by the images of certain positroid cells, called the BCFW cells. In this talk I will describe a resolution of this conjecture. The seminar is based on a recent joint work with Chaim Even-Zohar and Tsviqa Lakrec.
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.
2/15/2022
Igor Balla, Hebrew University of Jerusalem
Title: Equiangular lines and regular graphs
Abstract: In 1973, Lemmens and Seidel asked to determine N_alpha(r), the maximum number of equiangular lines in R^r with common angle arccos(alpha). Recently, this problem has been almost completely settled when r is exponentially large relative to 1/alpha, with the approach both relying on Ramsey’s theorem, as well as being limited by it. In this talk, we will show how orthogonal projections of matrices with respect to the Frobenius inner product can be used to overcome this limitation, thereby obtaining significantly improved upper bounds on N_alpha(r) when r is polynomial in 1/alpha. In particular, our results imply that N_alpha(r) = Theta(r) for alpha >= Omega(1 / r^1/5).
Our projection method generalizes to complex equiangular lines in C^r, which may be of independent interest in quantum theory. Applying this method also allows us to obtain the first universal bound on the maximum number of complex equiangular lines in C^r with common Hermitian angle arccos(alpha), an extension of the Alon-Boppana theorem to dense regular graphs, which is tight for strongly regular graphs corresponding to r(r+1)/2 equiangular lines in R^r, an improvement to Welch’s bound in coding theory.
Fall 2021
Date
Speaker
Title/Abstract
9/21/2021
Nima Arkani-Hamed IAS (Institute for Advanced Study), School of Natural Sciences
Title: Surfacehedra and the Binary Positive Geometry of Particle and “String” Amplitudes
9/28/2021
Melissa Sherman-Bennett University of Michigan, Department of Mathematics
Title: The hypersimplex and the m=2 amplituhedron
Abstract: I’ll discuss a 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). Along the way, we prove the sign-flip 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 hypersimplex decomposition).
10/5/2021
Daniel Cizma, Hebrew University
Title: Geodesic Geometry on Graphs
Abstract: In a graph G = (V, E) we consider a system of paths S so that for every two vertices u,v in V there is a unique uv path in S connecting them. The path system is said to be consistent if it is closed under taking subpaths, i.e. if P is a path in S then any subpath of P is also in S. Every positive weight function w: E–>R^+ gives rise to a consistent path system in G by taking the paths in S to be geodesics w.r.t. w. In this case, we say w induces S. We say a graph G is metrizable if every consistent path system in G is induced by some such w.
We’ll discuss the concept of graph metrizability, and, in particular, we’ll see that while metrizability is a rare property, there exists infinitely many 2-connected metrizable graphs.
Joint work with Nati Linial.
10/12/2021
Lisa Sauermann, MIT
Title: On counting algebraically defined graphs
Abstract: For many classes of graphs that arise naturally in discrete geometry (for example intersection graphs of segments or disks in the plane), the edges of these graphs can be defined algebraically using the signs of a finite list of fixed polynomials. We investigate the number of n-vertex graphs in such an algebraically defined class of graphs. Warren’s theorem (a variant of a theorem of Milnor and Thom) implies upper bounds for the number of n-vertex graphs in such graph classes, but all the previously known lower bounds were obtained from ad hoc constructions for very specific classes. We prove a general theorem giving a lower bound for this number (under some reasonable assumptions on the fixed list of polynomials), and this lower bound essentially matches the upper bound from Warren’s theorem.
10/19/2021
Pavel Galashin UCLA, Department of Mathematics
Title: Ising model, total positivity, and criticality
Abstract: The Ising model, introduced in 1920, is one of the most well-studied models in statistical mechanics. It is known to undergo a phase transition at critical temperature, and has attracted considerable interest over the last two decades due to special properties of its scaling limit at criticality. The totally nonnegative Grassmannian is a subset of the real Grassmannian introduced by Postnikov in 2006. It arises naturally in Lusztig’s theory of total positivity and canonical bases, and is closely related to cluster algebras and scattering amplitudes. I will give some background on the above objects and then explain a precise relationship between the planar Ising model and the totally nonnegative Grassmannian, obtained in our recent work with P. Pylyavskyy. Building on this connection, I will give a new boundary correlation formula for the critical Ising model.
10/26/2021
Candida Bowtell, University of Oxford
Title: The n-queens problem
Abstract: The n-queens problem asks how many ways there are to place n queens on an n x n chessboard so that no two queens can attack one another, and the toroidal n-queens problem asks the same question where the board is considered on the surface of a torus. Let Q(n) denote the number of n-queens configurations on the classical board and T(n) the number of toroidal n-queens configurations. The toroidal problem was first studied in 1918 by Pólya who showed that T(n)>0 if and only if n is not divisible by 2 or 3. Much more recently Luria showed that T(n) is at most ((1+o(1))ne^{-3})^n and conjectured equality when n is not divisible by 2 or 3. We prove this conjecture, prior to which no non-trivial lower bounds were known to hold for all (sufficiently large) n not divisible by 2 or 3. We also show that Q(n) is at least ((1+o(1))ne^{-3})^n for all natural numbers n which was independently proved by Luria and Simkin and, combined with our toroidal result, completely settles a conjecture of Rivin, Vardi and Zimmerman regarding both Q(n) and T(n).
In this talk we’ll discuss our methods used to prove these results. A crucial element of this is translating the problem to one of counting matchings in a 4-partite 4-uniform hypergraph. Our strategy combines a random greedy algorithm to count `almost’ configurations with a complex absorbing strategy that uses ideas from the methods of randomised algebraic construction and iterative absorption.
This is joint work with Peter Keevash.
11/9/2021
Steven Karp Universite du Quebec a Montreal, LaCIM (Laboratoire de combinatoire et d’informatique mathématique)
Abstract: One can view a partial flag variety in C^n as an adjoint orbit inside the Lie algebra of n x n skew-Hermitian matrices. We use the orbit context to study the totally nonnegative part of a partial flag variety from an algebraic, geometric, and dynamical perspective. We classify gradient flows on adjoint orbits in various metrics which are compatible with total positivity. As applications, we show how the classical Toda flow fits into this framework, and prove that a new family of amplituhedra are homeomorphic to closed balls. This is joint work with Anthony Bloch.
Abstract: From each point of a Poisson point process start growing a balloon at rate 1. When two balloons touch, they pop and disappear. Will balloons reach the origin infinitely often or not? We answer this question for various underlying spaces. En route we find a new(ish) 0-1 law, and generalize bounds on independent sets that are factors of IID on trees. Joint work with Omer Angel and Gourab Ray.
Abstract: The Prague dimension of graphs was introduced by Nesetril, Pultr and Rodl in the 1970s: as a combinatorial measure of complexity, it is closely related to clique edges coverings and partitions. Proving a conjecture of Furedi and Kantor, we show that the Prague dimension of the binomial random graph is typically of order n/(log n) for constant edge-probabilities. The main new proof ingredient is a Pippenger-Spencer type edge-coloring result for random hypergraphs with large uniformities, i.e., edges of size O(log n).
Abstract: The last few decades have seen a surge of interest in building towards a theory of discrete curvature that attempts to translate the key properties of curvature in differential geometry to the setting of discrete objects and spaces. In the case of graphs there have been several successful proposals, for instance by Lin-Lu-Yau, Forman and Ollivier, that replicate important curvature theorems and have inspired applications in a variety of practical settings. In this talk, I will introduce a new notion of discrete curvature on graphs, which we call the resistance curvature, and discuss some of its basic properties. The resistance curvature is defined based on the concept of effective resistance which is a metric between the vertices of a graph and has many other properties such as a close relation to random spanning trees. The rich theory of these effective resistances allows to study the resistance curvature in great detail; I will for instance show that “Lin-Lu-Yau >= resistance >= Forman curvature” in a specific sense, show strong evidence that the resistance curvature converges to zero in expectation for Euclidean random graphs, and give a connectivity theorem for positively curved graphs. The resistance curvature also has a naturally associated discrete Ricci flow which is a gradient flow and has a closed-form solution in the case of vertex-transitive and path graphs. Finally, if time permits I will draw a connection with the geometry of hyperacute simplices, following the work of Miroslav Fiedler. This work was done in collaboration with Renaud Lambiotte.
Abstract: Let M_n be drawn uniformly from all n by n symmetric matrices with entries in {-1,1}. In this talk I’ll consider the following basic question: what is the probability that M_n is singular? I’ll discuss recent joint work with Marcelo Campos, Marcus Michelen and Julian Sahasrabudhe where we show that this probability is exponentially small. I hope to make the talk accessible to a fairly general audience.
Abstract: A long-standing problem in random graph theory has been to determine asymptotically the length of a longest induced path in sparse random graphs. Independent work of Luczak and Suen from the 90s showed the existence of an induced path of roughly half the optimal size, which seems to be a barrier for certain natural approaches. Recently, in joint work with Draganic and Krivelevich, we solved this problem. In the talk, I will discuss the history of the problem and give an overview of the proof.
12/21/2021
01/25/2022
Jacob Bourjaily Penn State University, Department of Physics
Speaker: Jennifer Cano (Stony Brook and Flatiron Institute)
Title: Engineering topological phases with a superlattice potential
Abstract: We propose an externally imposed superlattice potential as a platform for manipulating topological phases, which has both advantages and disadvantages compared to a moire superlattice. In the first example, we apply the superlattice potential to the 2D surface of a 3D topological insulator. The superlattice potential creates tunable van Hove singularities, which, when combined with strong spin-orbit coupling and Coulomb repulsion give rise to a topological meron lattice spin texture. Thus, the superlattice potential provides a new route to the long sought-after goal of realizing spontaneous magnetic order on the surface of a 3D TI. In the second example, we show that a superlattice potential applied to Bernal-stacked bilayer graphene can generate flat Chern bands, similar to in twisted bilayer graphene, whose bandwidth can be as small as a few meV. The superlattice potential offers flexibility in both lattice size and geometry, making it a promising alternative to achieve designer flat bands without a moire heterostructure.
Speaker: Jian Kang, School of Physical Science and Technology, ShanghaiTech University, Shanghai, China
Title: Continuum field theory of graphene bilayer system
Abstract: The Bistritzer-MacDonald (BM) model predicted the existence of the narrow bands in the magic-angle twisted bilayer graphene (MATBG), and nowadays is a starting point for most theoretical works. In this talk, I will briefly review the BM model and then present a continuum field theory [1] for graphene bilayer system allowing any smooth lattice deformation including the small twist angle. With the gradient expansion to the second order, the continuum theory for MATBG [2] produces the spectrum that almost perfectly matches the spectrum of the microscopic model, suggesting the validity of this theory. In the presence of the lattice deformation, the inclusion of the pseudo-vector potential does not destroy but shift the flat band chiral limit to a smaller twist angle. Furthermore, the continuum theory contains another important interlayer tunneling term that was overlooked in all previous works. This term non-negligibly breaks the particle-hole symmetry of the narrow bands and may be related with the experimentally observed particle-hole asymmetry.
1. O. Vafek and JK, arXiv: 2208.05933. 2. JK and O. Vafek, arXiv: 2208.05953.
Abstract: In 1973, Lemmens and Seidel asked to determine N_alpha(r), the maximum number of equiangular lines in R^r with common angle arccos(alpha). Recently, this problem has been almost completely settled when r is exponentially large relative to 1/alpha, with the approach both relying on Ramsey’s theorem, as well as being limited by it. In this talk, we will show how orthogonal projections of matrices with respect to the Frobenius inner product can be used to overcome this limitation, thereby obtaining significantly improved upper bounds on N_alpha(r) when r is polynomial in 1/alpha. In particular, our results imply that N_alpha(r) = Theta(r) for alpha >= Omega(1 / r^1/5).
Our projection method generalizes to complex equiangular lines in C^r, which may be of independent interest in quantum theory. Applying this method also allows us to obtain the first universal bound on the maximum number of complex equiangular lines in C^r with common Hermitian angle arccos(alpha), an extension of the Alon-Boppana theorem to dense regular graphs, which is tight for strongly regular graphs corresponding to r(r+1)/2 equiangular lines in R^r, an improvement to Welch’s bound in coding theory.
Title: Phase Fluctuations in Two-Dimensional Superconductors and Pseudogap Phenomenon
Abstract: We study the phase fluctuations in the normal state of a general two-dimensional (2d) superconducting system with s-wave pairing. The effect of phase fluctuations of the pairing fields can be dealt with perturbatively using disorder averaging, after we treat the local superconducting order parameter as a static disordered background. It is then confirmed that the phase fluctuations above the 2d Berenzinskii-Kosterlitz-Thouless (BKT) transition give birth to the pseudogap phenomenon, leading to a significant broadening of the single-particle spectral functions. Quantitatively, the broadening of the spectral weights at the BCS gap is characterized by the ratio of the superconducting coherence length and the spatial correlation length of the superconducting pairing order parameter. Our results are tested on the attractive-U fermion Hubbard model on the square lattice, using unbiased determinant quantum Monte Carlo method and stochastic analytic continuation. We also apply our method to 2d superconductors with d-wave pairing and observe that the phase fluctuations may lead to Fermi-arc phenomenon above the BKT transition.
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.
Title: Non-Invertible Symmetries from Holography and Branes
Abstract: The notion of global symmetry in quantum field theory (QFT) has witnessed dramatic generalizations in the past few years. One of the most exciting developments has been the identification of 4d QFTs possessing non-invertible symmetries, i.e. global symmetries whose generators exhibit fusion rules that are not group-like. In this talk, I will discuss realizations of non-invertible symmetries in string theory and holography. As a concrete case study, I will consider the Klebanov-Strassler setup for holographic confinement in Type IIB string theory. The global symmetries of the holographic 4d QFT (both invertible and non-invertible) can be accessed by studying the topological couplings of the low-energy effective action of the dual 5d supergravity theory. Moreover, non-invertible symmetry defects can be realized in terms of D-branes. The D-brane picture captures non-trivial aspects of the fusion of non-invertible symmetry defects, and of their action on extended operators of the 4d QFT.
Abstract: The (tree) amplituhedron was introduced in 2013 by Arkani-Hamed and Trnka in their study of N=4 SYM scattering amplitudes. A central conjecture in the field was to prove that the m=4 amplituhedron is triangulated by the images of certain positroid cells, called the BCFW cells. In this talk I will describe a resolution of this conjecture. The seminar is based on a recent joint work with Chaim Even-Zohar and Tsviqa Lakrec.
Title: Neutrino Masses from Generalized Symmetry Breaking
Abstract: We explore generalized global symmetries in theories of physics beyond the Standard Model. Theories of Z′ bosons generically contain ‘non-invertible’ chiral symmetries, whose presence indicates a natural paradigm to break this symmetry by an exponentially small amount in an ultraviolet completion. For example, in models of gauged lepton family difference such as the phenomenologically well-motivated U(1)Lμ−Lτ, there is a non-invertible lepton number symmetry which protects neutrino masses. We embed these theories in gauged non-Abelian horizontal lepton symmetries, e.g. U(1)Lμ−Lτ⊂SU(3)H, where the generalized symmetries are broken nonperturbatively by the existence of lepton family magnetic monopoles. In such theories, either Majorana or Dirac neutrino masses may be generated through quantum gauge theory effects from the charged lepton Yukawas e.g. yν∼yτexp(−Sinst). These theories require no bevy of new fields nor ad hoc additional global symmetries, but are instead simple, natural, and predictive: the discovery of a lepton family Z′ at low energies will reveal the scale at which Lμ−Lτ emerges from a larger gauge symmetry.
Speaker: Chao-Ming Lin (University of California, Irvine)
Title: On the convexity of general inverse $\sigma_k$ equations and some applications
Abstract: In this talk, I will show my recent work on general inverse $\sigma_k$ equations and the deformed Hermitian-Yang-Mills equation (hereinafter the dHYM equation). First, I will show my recent results. This result states that if a level set of a general inverse $\sigma_k$ equation (after translation if needed) is contained in the positive orthant, then this level set is convex. As an application, this result justifies the convexity of the Monge-Ampère equation, the J-equation, the dHYM equation, the special Lagrangian equation, etc. Second, I will introduce some semialgebraic sets and a special class of univariate polynomials and give a Positivstellensatz type result. These give a numerical criterion to verify whether the level set will be contained in the positive orthant. Last, as an application, I will prove one of the conjectures by Collins-Jacob-Yau when the dimension equals four. This conjecture states that under the supercritical phase assumption, if there exists a C-subsolution to the dHYM equation, then the dHYM equation is solvable.
Organizing Committee: Stephan Huckemann (Georg-August-Universität Göttingen) Ezra Miller (Duke University) Zhigang Yao (Harvard CMSA and Committee Chair)
Ian Dryden (Florida International University in Miami)
David Dunson (Duke)
Charles Fefferman (Princeton)
Stefanie Jegelka (MIT)
Sebastian Kurtek (OSU)
Lizhen Lin (Notre Dame)
Steve Marron (U North Carolina)
Ezra Miller (Duke)
Hans-Georg Mueller (UC Davis)
Nicolai Reshetikhin (UC Berkeley)
Wolfgang Polonik (UC Davis)
Amit Singer (Princeton)
Zhigang Yao (Harvard CMSA)
Bin Yu (Berkeley)
Moderator: Michael Simkin (Harvard CMSA)
SCHEDULE
Monday, Feb. 27, 2023 (Eastern Time)
8:30 am
Breakfast
8:45–8:55 am
Zhigang Yao
Welcome Remarks
8:55–9:00 am
Shing-Tung Yau*
Remarks
Morning Session Chair: Zhigang Yao
9:00–10:00 am
David Donoho
Title: ScreeNOT: Exact MSE-Optimal Singular Value Thresholding in Correlated Noise
Abstract: Truncation of the singular value decomposition is a true scientific workhorse. But where to Truncate?
For 55 years the answer, for many scientists, has been to eyeball the scree plot, an approach which still generates hundreds of papers per year.
I will describe ScreeNOT, a mathematically solid alternative deriving from the many advances in Random Matrix Theory over those 55 years. Assuming a model of low-rank signal plus possibly correlated noise, and adopting an asymptotic viewpoint with number of rows proportional to the number of columns, we show that ScreeNOT has a surprising oracle property.
It typically achieves exactly, in large finite samples, the lowest possible MSE for matrix recovery, on each given problem instance – i.e. the specific threshold it selects gives exactly the smallest achievable MSE loss among all possible threshold choices for that noisy dataset and that unknown underlying true low rank model. The method is computationally efficient and robust against perturbations of the underlying covariance structure.
The talk is based on joint work with Matan Gavish and Elad Romanov, Hebrew University.
10:00–10:10 am
Break
10:10–11:10 am
Steve Marron
Title: Modes of Variation in Non-Euclidean Spaces
Abstract: Modes of Variation provide an intuitive means of understanding variation in populations, especially in the case of data objects that naturally lie in non-Euclidean spaces. A variety of useful approaches to finding useful modes of variation are considered in several non-Euclidean contexts, including shapes as data objects, vectors of directional data, amplitude and phase variation and compositional data.
11:10–11:20 am
Break
11:20 am–12:20 pm
Zhigang Yao
Title: Manifold fitting: an invitation to statistics
Abstract: While classical statistics has dealt with observations which are real numbers or elements of a real vector space, nowadays many statistical problems of high interest in the sciences deal with the analysis of data which consist of more complex objects, taking values in spaces which are naturally not (Euclidean) vector spaces but which still feature some geometric structure. This manifold fitting problem can go back to H. Whitney’s work in the early 1930s (Whitney (1992)), and finally has been answered in recent years by C. Fefferman’s works (Fefferman, 2006, 2005). The solution to the Whitney extension problem leads to new insights for data interpolation and inspires the formulation of the Geometric Whitney Problems (Fefferman et al. (2020, 2021a)): Assume that we are given a set $Y \subset \mathbb{R}^D$. When can we construct a smooth $d$-dimensional submanifold $\widehat{M} \subset \mathbb{R}^D$ to approximate $Y$, and how well can $\widehat{M}$ estimate $Y$ in terms of distance and smoothness? To address these problems, various mathematical approaches have been proposed (see Fefferman et al. (2016, 2018, 2021b)). However, many of these methods rely on restrictive assumptions, making extending them to efficient and workable algorithms challenging. As the manifold hypothesis (non-Euclidean structure exploration) continues to be a foundational element in statistics, the manifold fitting Problem, merits further exploration and discussion within the modern statistical community. The talk will be partially based on a recent work Yao and Xia (2019) along with some on-going progress. Relevant reference:https://arxiv.org/abs/1909.10228
12:20–1:50 pm
12:20 pm Group Photo
followed by Lunch
Afternoon Session Chair: Stephan Huckemann
1:50–2:50 pm
Bin Yu*
Title: Interpreting Deep Neural Networks towards Trustworthiness
Abstract: Recent deep learning models have achieved impressive predictive performance by learning complex functions of many variables, often at the cost of interpretability. This lecture first defines interpretable machine learning in general and introduces the agglomerative contextual decomposition (ACD) method to interpret neural networks. Extending ACD to the scientifically meaningful frequency domain, an adaptive wavelet distillation (AWD) interpretation method is developed. AWD is shown to be both outperforming deep neural networks and interpretable in two prediction problems from cosmology and cell biology. Finally, a quality-controlled data science life cycle is advocated for building any model for trustworthy interpretation and introduce a Predictability Computability Stability (PCS) framework for such a data science life cycle.
2:50–3:00 pm
Break
3:00-4:00 pm
Hans-Georg Mueller
Title: Exploration of Random Objects with Depth Profiles and Fréchet Regression
Abstract: Random objects, i.e., random variables that take values in a separable metric space, pose many challenges for statistical analysis, as vector operations are not available in general metric spaces. Examples include random variables that take values in the space of distributions, covariance matrices or surfaces, graph Laplacians to represent networks, trees and in other spaces. The increasing prevalence of samples of random objects has stimulated the development of metric statistics, an emerging collection of statistical tools to characterize, infer and relate samples of random objects. Recent developments include depth profiles, which are useful for the exploration of random objects. The depth profile for any given object is the distribution of distances to all other objects (with P. Dubey, Y. Chen 2022).
These distributions can then be subjected to statistical analysis. Their mutual transports lead to notions of transport ranks, quantiles and centrality. Another useful tool is global or local Fréchet regression (with A. Petersen 2019) where random objects are responses and scalars or vectors are predictors and one aims at modeling conditional Fréchet means. Recent theoretical advances for local Fréchet regression provide a basis for object time warping (with Y. Chen 2022). These approaches are illustrated with distributional and other data.
4:00-4:10 pm
Break
4:10-5:10 pm
Stefanie Jegelka
Title: Some benefits of machine learning with invariances
Abstract: In many applications, especially in the sciences, data and tasks have known invariances. Encoding such invariances directly into a machine learning model can improve learning outcomes, while it also poses challenges on efficient model design. In the first part of the talk, we will focus on the invariances relevant to eigenvectors and eigenspaces being inputs to a neural network. Such inputs are important, for instance, for graph representation learning. We will discuss targeted architectures that can universally express functions with the relevant invariances – sign flips and changes of basis – and their theoretical and empirical benefits.
Second, we will take a broader, theoretical perspective. Empirically, it is known that encoding invariances into the machine learning model can reduce sample complexity. For the simplified setting of kernel ridge regression or random features, we will discuss new bounds that illustrate two ways in which invariances can reduce sample complexity. Our results hold for learning on manifolds and for invariances to (almost) any group action, and use tools from differential geometry.
This is joint work with Derek Lim, Joshua Robinson, Behrooz Tahmasebi, Lingxiao Zhao, Tess Smidt, Suvrit Sra, and Haggai Maron.
Tuesday, Feb. 28, 2023 (Eastern Time)
8:30-9:00 am
Breakfast
Morning Session Chair: Zhigang Yao
9:00-10:00 am
Charles Fefferman*
Title: Lipschitz Selection on Metric Spaces
Abstract: The talk concerns the problem of finding a Lipschitz map F from a given metric space X into R^D, subject to the constraint that F(x) must lie in a given compact convex “target” K(x) for each point x in X. Joint work with Pavel Shvartsman and with Bernat Guillen Pegueroles.
10:00-10:10 am
Break
10:10-11:10 am
David Dunson
Title: Inferring manifolds from noisy data using Gaussian processes
Abstract: In analyzing complex datasets, it is often of interest to infer lower dimensional structure underlying the higher dimensional observations. As a flexible class of nonlinear structures, it is common to focus on Riemannian manifolds. Most existing manifold learning algorithms replace the original data with lower dimensional coordinates without providing an estimate of the manifold in the observation space or using the manifold to denoise the original data. This article proposes a new methodology for addressing these problems, allowing interpolation of the estimated manifold between fitted data points. The proposed approach is motivated by novel theoretical properties of local covariance matrices constructed from noisy samples on a manifold. Our results enable us to turn a global manifold reconstruction problem into a local regression problem, allowing application of Gaussian processes for probabilistic manifold reconstruction. In addition to theory justifying the algorithm, we provide simulated and real data examples to illustrate the performance. Joint work with Nan Wu – see https://arxiv.org/abs/2110.07478
11:10-11:20 am
Break
11:20 am-12:20 pm
Wolfgang Polonik
Title: Inference in topological data analysis
Abstract: Topological data analysis has seen a huge increase in popularity finding applications in numerous scientific fields. This motivates the importance of developing a deeper understanding of benefits and limitations of such methods. Using this angle, we will present and discuss some recent results on large sample inference in topological data analysis, including bootstrap for Betti numbers and the Euler characteristics process.
12:20–1:50 pm
Lunch
Afternoon Session Chair: Stephan Huckemann
1:50-2:50 pm
Ezra Miller
Title: Geometric central limit theorems on non-smooth spaces
Abstract: The central limit theorem (CLT) is commonly thought of as occurring on the real line, or in multivariate form on a real vector space. Motivated by statistical applications involving nonlinear data, such as angles or phylogenetic trees, the past twenty years have seen CLTs proved for Fréchet means on manifolds and on certain examples of singular spaces built from flat pieces glued together in combinatorial ways. These CLTs reduce to the linear case by tangent space approximation or by gluing. What should a CLT look like on general non-smooth spaces, where tangent spaces are not linear and no combinatorial gluing or flat pieces are available? Answering this question involves figuring out appropriate classes of spaces and measures, correct analogues of Gaussian random variables, and how the geometry of the space (think “curvature”) is reflected in the limiting distribution. This talk provides an overview of these answers, starting with a review of the usual linear CLT and its generalization to smooth manifolds, viewed through a lens that casts the singular CLT as a natural outgrowth, and concluding with how this investigation opens gateways to further advances in geometric probability, topology, and statistics. Joint work with Jonathan Mattingly and Do Tran.
2:50-3:00 pm
Break
3:00-4:00 pm
Lizhen Lin
Title: Statistical foundations of deep generative models
Abstract: Deep generative models are probabilistic generative models where the generator is parameterized by a deep neural network. They are popular models for modeling high-dimensional data such as texts, images and speeches, and have achieved impressive empirical success. Despite demonstrated success in empirical performance, theoretical understanding of such models is largely lacking. We investigate statistical properties of deep generative models from a nonparametric distribution estimation viewpoint. In the considered model, data are assumed to be observed in some high-dimensional ambient space but concentrate around some low-dimensional structure such as a lower-dimensional manifold structure. Estimating the distribution supported on this low-dimensional structure is challenging due to its singularity with respect to the Lebesgue measure in the ambient space. We obtain convergence rates with respect to the Wasserstein metric of distribution estimators based on two methods: a sieve MLE based on the perturbed data and a GAN type estimator. Such an analysis provides insights into i) how deep generative models can avoid the curse of dimensionality and outperform classical nonparametric estimates, and ii) how likelihood approaches work for singular distribution estimation, especially in adapting to the intrinsic geometry of the data.
4:00-4:10 pm
Break
4:10-5:10 pm
Conversation session
Wednesday, March 1, 2023 (Eastern Time)
8:30-9:00 am
Breakfast
Morning Session Chair: Ezra Miller
9:00-10:00 am
Amit Singer*
Title: Heterogeneity analysis in cryo-EM by covariance estimation and manifold learning
Abstract: In cryo-EM, the 3-D molecular structure needs to be determined from many noisy 2-D tomographic projection images of randomly oriented and positioned molecules. A key assumption in classical reconstruction procedures for cryo-EM is that the sample consists of identical molecules. However, many molecules of interest exist in more than one conformational state. These structural variations are of great interest to biologists, as they provide insight into the functioning of the molecule. Determining the structural variability from a set of cryo-EM images is known as the heterogeneity problem, widely recognized as one of the most challenging and important computational problem in the field. Due to high level of noise in cryo-EM images, heterogeneity studies typically involve hundreds of thousands of images, sometimes even a few millions. Covariance estimation is one of the earliest methods proposed for heterogeneity analysis in cryo-EM. It relies on computing the covariance of the conformations directly from projection images and extracting the optimal linear subspace of conformations through an eigendecomposition. Unfortunately, the standard formulation is plagued by the exorbitant cost of computing the N^3 x N^3 covariance matrix. In the first part of the talk, we present a new low-rank estimation method that requires computing only a small subset of the columns of the covariance while still providing an approximation for the entire matrix. This scheme allows us to estimate tens of principal components of real datasets in a few minutes at medium resolutions and under 30 minutes at high resolutions. In the second part of the talk, we discuss a manifold learning approach based on the graph Laplacian and the diffusion maps framework for learning the manifold of conformations. If time permits, we will also discuss the potential application of optimal transportation to heterogeneity analysis. Based on joint works with Joakim Andén, Marc Gilles, Amit Halevi, Eugene Katsevich, Joe Kileel, Amit Moscovich, and Nathan Zelesko.
10:00-10:10 am
Break
10:10-11:10 am
Ian Dryden
Title: Statistical shape analysis of molecule data
Abstract: Molecular shape data arise in many applications, for example high dimension low sample size cryo-electron microscopy (cryo-EM) data and large temporal sequences of peptides from molecular dynamics simulations. In both applications it is of interest to summarize the shape evolution of the molecules in a succinct, low-dimensional representation. However, Euclidean techniques such as principal components analysis (PCA) can be problematic as the data may lie far from in a flat manifold. Principal nested spheres gives a fundamentally different decomposition of data from the usual Euclidean subspace based PCA. Subspaces of successively lower dimension are fitted to the data in a backwards manner with the aim of retaining signal and dispensing with noise at each stage. We adapt the methodology to 3D sub-shape spaces and provide some practical fitting algorithms. The methodology is applied to cryo-EM data of a large sliding clamp multi-protein complex and to cluster analysis of peptides, where different states of the molecules can be identified. Further molecular modeling tasks include resolution matching, where coarse resolution models are back-mapped into high resolution (atomistic) structures. This is joint work with Kwang-Rae Kim, Charles Laughton and Huiling Le.
11:10-11:20 am
Break
11:20 am-12:20 pm
Tamara Broderick
Title: An Automatic Finite-Sample Robustness Metric: Can Dropping a Little Data Change Conclusions?
Abstract: One hopes that data analyses will be used to make beneficial decisions regarding people’s health, finances, and well-being. But the data fed to an analysis may systematically differ from the data where these decisions are ultimately applied. For instance, suppose we analyze data in one country and conclude that microcredit is effective at alleviating poverty; based on this analysis, we decide to distribute microcredit in other locations and in future years. We might then ask: can we trust our conclusion to apply under new conditions? If we found that a very small percentage of the original data was instrumental in determining the original conclusion, we might not be confident in the stability of the conclusion under new conditions. So we propose a method to assess the sensitivity of data analyses to the removal of a very small fraction of the data set. Analyzing all possible data subsets of a certain size is computationally prohibitive, so we provide an approximation. We call our resulting method the Approximate Maximum Influence Perturbation. Our approximation is automatically computable, theoretically supported, and works for common estimators. We show that any non-robustness our method finds is conclusive. Empirics demonstrate that while some applications are robust, in others the sign of a treatment effect can be changed by dropping less than 0.1% of the data — even in simple models and even when standard errors are small.
12:20-1:50 pm
Lunch
Afternoon Session Chair: Ezra Miller
1:50-2:50 pm
Nicolai Reshetikhin*
Title: Random surfaces in exactly solvable models in statistical mechanics.
Abstract: In the first part of the talk I will be an overview of a few models in statistical mechanics where a random variable is a geometric object such as a random surface or a random curve. The second part will be focused on the behavior of such random surfaces in the thermodynamic limit and on the formation of the so-called “limit shapes”.
2:50-3:00 pm
Break
3:00-4:00 pm
Sebastian Kurtek
Title: Robust Persistent Homology Using Elastic Functional Data Analysis
Abstract: Persistence landscapes are functional summaries of persistence diagrams designed to enable analysis of the diagrams using tools from functional data analysis. They comprise a collection of scalar functions such that birth and death times of topological features in persistence diagrams map to extrema of functions and intervals where they are non-zero. As a consequence, variation in persistence diagrams is encoded in both amplitude and phase components of persistence landscapes. Through functional data analysis of persistence landscapes, under an elastic Riemannian metric, we show how meaningful statistical summaries of persistence landscapes (e.g., mean, dominant directions of variation) can be obtained by decoupling their amplitude and phase variations. This decoupling is achieved via optimal alignment, with respect to the elastic metric, of the persistence landscapes. The estimated phase functions are tied to the resolution parameter that determines the filtration of simplicial complexes used to construct persistence diagrams. For a dataset obtained under geometric, scale and sampling variabilities, the phase function prescribes an optimal rate of increase of the resolution parameter for enhancing the topological signal in a persistence diagram. The proposed approach adds to the statistical analysis of data objects with rich structure compared to past studies. In particular, we focus on two sets of data that have been analyzed in the past, brain artery trees and images of prostate cancer cells, and show that separation of amplitude and phase of persistence landscapes is beneficial in both settings. This is joint work with Dr. James Matuk (Duke University) and Dr. Karthik Bharath (University of Nottingham).
Abstract: There are several properties of closed geodesics which are proven using its Hamiltonian formulation, which has no analogue for minimal surfaces. I will talk about some recent progress in proving some of these properties for minimal surfaces.
Title: Exact Many-Body Ground States from Decomposition of Ideal Higher Chern Bands: Applications to Chirally Twisted Graphene Multilayers
Abstract: Motivated by the higher Chern bands of twisted graphene multilayers, we consider flat bands with arbitrary Chern number C with ideal quantum geometry. While C>1 bands differ from Landau levels, we show that these bands host exact fractional Chern insulator (FCI) ground states for short range interactions. We show how to decompose ideal higher Chern bands into separate ideal bands with Chern number 1 that are intertwined through translation and rotation symmetry. The decomposed bands admit an SU(C) action that combines real space and momentum space translations. Remarkably, they also allow for analytic construction of exact many-body ground states, such as generalized quantum Hall ferromagnets and FCIs, including flavor-singlet Halperin states and Laughlin ferromagnets in the limit of short-range interactions. In this limit, the SU(C) action is promoted to a symmetry on the ground state subspace. While flavor singlet states are translation symmetric, the flavor ferromagnets correspond to translation broken states and admit charged skyrmion excitations corresponding to a spatially varying density wave pattern. We confirm our analytic predictions with numerical simulations of ideal bands of twisted chiral multilayers of graphene, and discuss consequences for experimentally accessible systems such as monolayer graphene twisted relative to a Bernal bilayer.
Abstract: Recent years have seen tremendous advances in our understanding of perturbative quantum field theory—fueled largely by discoveries (and eventual explanations and exploitation) of shocking simplicity in the mathematical form of the predictions made for experiment. Among the most important frontiers in this progress is the understanding of loop amplitudes—their mathematical form, underlying geometric structure, and how best to manifest the physical properties of finite observables in general quantum field theories. This work is motivated in part by the desire to simplify the difficult work of doing Feynman integrals. I review some of the examples of this progress, and describe some ongoing efforts to recast perturbation theory in terms that expose as much simplicity (and as much physics) as possible.
Title: The Hull-Strominger system through conifold transitions
Abstract: In this talk I discuss the geometry of C-Y manifolds outside of the Kähler regime and especially describe the Hull-Strominger system through the conifold transitions.
10:00am – 10:45am
Chenglong Yu*
Title: Commensurabilities among Lattices in PU(1,n)
Abstract: In joint work with Zhiwei Zheng, we study commensurabilities among certain subgroups in PU(1,n). Those groups arise from the monodromy of hypergeometric functions. Their discreteness and arithmeticity are classified by Deligne and Mostow. Thurston also obtained similar results via flat conic metrics. However, the classification of the lattices among them up to conjugation and finite index (commensurability) is not completed. When n=1, it is the commensurabilities of hyperbolic triangles. The cases of n=2 are almost resolved by Deligne-Mostow and Sauter’s commensurability pairs, and commensurability invariants by Kappes-Möller and McMullen. Our approach relies on the study of some higher dimensional Calabi-Yau type varieties instead of complex reflection groups. We obtain some relations and commensurability indices for higher n and also give new proofs for existing pairs in n=2.
11:00am – 11:45am
Thomas Creutzig*
Title: Shifted equivariant W-algebras
Abstract: The CDO of a compact Lie group is a family of VOAs whose top level is the space of functions on the Lie group. Similar structures appear at the intersections of boundary conditions in 4-dimensional gauge theories, I will call these new families of VOAs shifted equivariant W-algebras. I will introduce these algebras, construct them and explain how they can be used to quickly prove the GKO-coset realization of principal W-algebras.
11:45am – 1:30 pm
Lunch
01:30pm – 02:15pm
Cumrun Vafa
Title: Reflections on Mirror Symmetry
Abstract: In this talk I review some of the motivations leading to the search and discovery of mirror symmetry as well as some of the applications it has had.
02:30pm – 03:15pm
Jonathan Mboyo Esole
Title: Algebraic topology and matter representations in F-theory
Abstract: Recently, it was observed that representations appearing in geometric engineering in F-theory all satisfy a unique property: they correspond to characteristic representations of embedding of Dynkin index one between Lie algebras. However, the reason why that is the case is still being understood. In this talk, I will present new insights, giving a geometric explanation for this fact using K-theory and the topology of Lie groups and their classifying spaces. In physics, this will be interpreted as conditions on the charge of instantons and the classifications of Wess-Zumino-Witten terms.
03:15pm – 03:45 pm
Break
03:45pm – 04:30pm
Weiqiang Wang
Title: A Drinfeld presentation of affine i-quantum groups
Abstract: A quantum symmetric pair of affine type (U, U^i) consists of a Drinfeld-Jimbo affine quantum group (a quantum deformation of a loop algebra) U and its coideal subalgebra U^i (called i-quantum group). A loop presentation for U was formulated by Drinfeld and proved by Beck. In this talk, we explain how i-quantum groups can be viewed as a generalization of quantum groups, and then we give a Drinfeld type presentation for the affine quasi-split i-quantum group U^i. This is based on joint work with Ming Lu (Sichuan) and Weinan Zhang (Virginia).
04:45pm – 05:30pm
Tony Pantev
Title: Decomposition, anomalies, and quantum symmetries
Abstract: Decomposition is a phenomenon in quantum physics which converts quantum field theories with non-effectively acting gauge symmetries into equivalent more tractable theories in which the fields live on a disconnected space. I will explain the mathematical content of decomposition which turns out to be a higher categorical version of Pontryagin duality. I will examine how this duality interacts with quantum anomalies and secondary quantum symmetries and will show how the anomalies can be canceled by homotopy coherent actions of diagrams of groups. I will discuss in detail the case of 2-groupoids which plays a central role in anomaly cancellation, and will describe a new duality operation that yields decomposition in the presence of anomalies. The talk is based on joint works with Robbins, Sharpe, and Vandermeulen.
11/29 (Tuesday)
Refreshments
09:00am – 09:45am
Robert MacRae*
Title: Rationality for a large class of affine W-algebras
Abstract: One of the most important results in vertex operator algebras is Huang’s theorem that the representation category of a “strongly rational” vertex operator algebra is a semisimple modular tensor category. Conversely, it has been conjectured that every (unitary) modular tensor category is the representation category of a strongly rational (unitary) vertex operator algebra. In this talk, I will describe my results on strong rationality for a large class of affine W-algebras at admissible levels. This yields a large family of modular tensor categories which generalize those associated to affine Lie algebras at positive integer levels, as well as those associated to the Virasoro algebra.
10:00am – 10:45am
Bailin Song*
Title: The global sections of chiral de Rham complexes on compact Calabi-Yau manifolds
Abstract: Chiral de Rham complex is a sheaf of vertex algebras on a complex manifold. We will describe the space of global sections of the chiral de Rham complexes on compact Calabi-Yau manifolds.
11:00am – 11:45am
Carl Lian*
Title: Curve-counting with fixed domain
Abstract: The fixed-domain curve-counting problem asks for the number of pointed curves of fixed (general) complex structure in a target variety X subject to incidence conditions at the marked points. The question comes in two flavors: one can ask for a virtual count coming from Gromov-Witten theory, in which case the answer can be computed (in principle) from the quantum cohomology of X, or one can ask for the “honest” geometric count, which tends to be more subtle. The answers are conjectured to agree in the presence of sufficient positivity, but do not always. I will give an overview of some recent results and open directions. Some of this work is joint with Alessio Cela, Gavril Farkas, and Rahul Pandharipande.
11:45am – 01:30pm
Lunch
01:30pm – 02:15pm
Chin-Lung Wang
Title: A blowup formula in quantum cohomology
Abstract: We study analytic continuations of quantum cohomology $QH(Y)$ under a blowup $\phi: Y \to X$ of complex projective manifolds along the extremal ray variable $q^{\ell}$. Under $H(Y) = \phi^* H(X) plus K$ where $K = \ker \phi_*$, we show that (i) the restriction of quantum product along the $\phi^*H(X)$ direction, denoted by $QH(Y)_X$, is meromorphic in $x := 1/q^\ell$, (ii) $K$ deforms uniquely to a quantum ideal $\widetilde K$ in $QH(Y)_X$, (iii) the quotient ring $QH(Y)_X/\widetilde K$ is regular over $x$, and its restriction to $x = 0$ is isomorphic to $QH(X)$. This is a joint work (in progress) with Y.-P. Lee and H.-W. Lin.
02:30pm – 03:15pm
Ivan Loseu
Title: Quantizations of nilpotent orbits and their Lagrangian subvarieties
Abstract: I’ll report on some recent progress on classifying quantizations of the algebras of regular functions of nilpotent orbits (and their covers) in semisimple Lie algebras, as well as the classification of quantizations of certain Lagrangian subvarieties. An ultimate goal here is to understand the classification of unitary representations of real semisimple Lie groups.
03:15pm – 03:45pm
Break
03:45pm – 04:30pm
Matt Kerr*
Title: $K_2$ and quantum curves
Abstract: The basic objects for this talk are motives consisting of a curve together with a $K_2$ class, and their mixed Hodge-theoretic invariants.
My main objective will be to explain a connection (recently proved in joint work with C. Doran and S. Sinha Babu) between (i) Hodge-theoretically distinguished points in the moduli of such motives and (ii) eigenvalues of operators on L^2(R) obtained by quantizing the equations of the curves.
By local mirror symmetry, this gives evidence for a conjecture in topological string theory (due to M. Marino, A. Grassi, and others) relating enumerative invariants of toric CY 3-folds to spectra of quantum curves.
04:45pm – 05:30pm
Flor Orosz Hunziker
Title: Tensor structures associated to the N=1 super Virasoro algebra
Abstract: We have recently shown that there is a natural category of representations associated to the N=1 super Virasoro vertex operator algebras that have braided tensor structure. We will describe this category and discuss the problem of establishing its rigidity at particular central charges. This talk is based on joint work in progress with Thomas Creutzig, Robert McRae and Jinwei Yang.
11/30 (Wednesday)
08:30am – 09:00am
Refreshments
09:00am – 09:45am
Tomoyuki Arakawa
Title: 4D/2D duality and representation theory
Abstract: This talk is about the 4D/2D duality discovered by Beem et al. rather recently in physics. It associates a vertex operator algebra (VOA) to any 4-dimensional superconformal field theory, which is expected to be a complete invariant of thl theory. The VOAs appearing in this manner may be regarded as chiralization of various symplectic singularities and their representations are expected to be closely related with the Coulomb branch of the 4D theory. I will talk about this remarkable 4D/2D duality from a representation theoretic perspective.
10:00am – 10:45am
Shashank Kanade
Title: Combinatorics of principal W-algebras of type A
Abstract: The combinatorics of principal W_r(p,p’) algebras of type A is controlled by cylindric partitions. However, very little seems to be known in general about fermionic expressions for the corresponding characters. Welsh’s work explains the case of Virasoro minimal models W_2(p,p’). Andrews, Schilling and Warnaar invented and used an A_2 version of the usual (A_1) Bailey machinery to give fermionic characters (up to a factor of (q)_\infty) of some, but not all, W_3(3,p’) modules. In a recent joint work with Russell, we have given a complete set of conjectures encompassing all of the remaining modules for W_3(3,p’), and proved our conjectures for small values of p’. In another direction, characters of W_r(p,p’) algebras also arise as appropriate limits of certain sl_r coloured Jones invariants of torus knots T(p,p’), and we expect this to provide further insights on the underlying combinatorics.
11:00am – 11:45am
Gufang Zhao
Title: Quasimaps to quivers with potentials
Abstract: This talk concerns non-compact GIT quotient of a vector space, in the presence of an abelian group action and an equivariant regular function (potential) on the quotient. We define virtual counts of quasimaps from prestable curves to the critical locus of the potential. The construction borrows ideas from the theory of gauged linear sigma models as well as recent development in shifted symplectic geometry and Donaldson-Thomas theory of Calabi-Yau 4-folds. Examples of virtual counts arising from quivers with potentials are discussed. This is based on work in progress, in collaboration with Yalong Cao.
11:45am – 01:30pm
Group Photo, Lunch
01:30pm – 02:15pm
Yaping Yang
Title: Cohomological Hall algebras and perverse coherent sheaves on toric Calabi-Yau 3-folds
Abstract: Let X be a smooth local toric Calabi-Yau 3-fold. On the cohomology of the moduli spaces of certain sheaves on X, there is an action of the cohomological Hall algebra (COHA) of Kontsevich and Soibelman via “raising operators”. I will discuss the “double” of the COHA that acts on the cohomology of the moduli space by adding the “lowering operators”. We associate a root system to X. The double COHA is expected to be the shifted Yangian of this root system. We also give a prediction for the shift in terms of an intersection pairing. We provide evidence of the aforementioned expectation in various examples. This is based on my joint work with M. Rapcak, Y. Soibelman, and G. Zhao
02:30pm – 03:15pm
Fei Han
Title: Graded T-duality with H-flux for 2d sigma models
Abstract: T-duality in string theory can be realised as a transformation acting on the worldsheet fields in the two-dimensional nonlinear sigma model. Bouwknegt-Evslin-Mathai established the T-duality in a background flux for the first time upon compactifying spacetime in one direction to a principal circle by constructing the T-dual maps transforming the twisted cohomology of the dual spacetimes. In this talk, we will describe our recent work on how to promote the T-duality maps of Bouwknegt-Evslin-Mathai in two aspects. More precisely, we will introduce (1) graded T-duality, concerning the graded T-duality maps of all levels of twistings; (2) the 2-dimensional sigma model picture, concerning the double loop space of spacetimes. This represents our joint work with Mathai.
03:15pm – 3:45pm
Break
03:45pm – 04:30pm
Mauricio Romo
Title: Networks and BPS Counting: A-branes view point
Abstract: I will review the countings of BPS invariants via exponential/spectral networks and present an interpretation of this counting as a count of certain points in the moduli space of A-branes corresponding to degenerate Lagrangians.
04:45pm – 05:30pm
Shinobu Hosono
Title: Mirror symmetry of abelian fibered Calabi-Yau manifolds with ρ = 2
Abstract: I will describe mirror symmetry of Calabi-Yau manifolds fibered by (1,8)-polarized abelian surfaces, which have Picard number two. Finding a mirror family over a toric variety explicitly, I observe that mirror symmetry of all related Calabi-Yau manifods arises from the corresponding boundary points, which are not necessarily toric boundary points. Calculating Gromov-Witten invariants up to genus 2, I find that the generating functions are expressed elliptic (quasi-)modular forms, which reminds us the modular anomaly equation found for elliptic surfaces. This talk is based on a published work with Hiromichi Takaki (arXiv:2103.08150).
06:00pm
Banquet @ Royal East Restaurant, 782 Main St, Cambridge, MA 02139
12/1 (Thursday)
08:30am – 09:00am
Refreshments
09:00am – 09:45am
Conan Nai Chung Leung*
Title: Quantization of Kahler manifolds
Abstract: I will explain my recent work on relationships among geometric quantization, deformation quantization, Berezin-Toeplitz quantization and brane quantization.
10:00am – 10:45am
Cuipo Jiang*
Title: Cohomological varieties associated to vertex operator algebras
Abstract: We define and examine the cohomological variety of a vertex algebra, a notion cohomologically dual to that of the associated variety, which measures the smoothness of the associated scheme at the vertex point. We study its basic properties. As examples, we construct a closed subvariety of the cohomological variety for rational affine vertex operator algebras constructed from finite dimensional simple Lie algebras. We also determine the cohomological varieties of the simple Virasoro vertex operator algebras. These examples indicate that, although the associated variety for a rational $C_2$-cofinite vertex operator algebra is always a simple point, the cohomological variety can have as large a dimension as possible. This talk is based on joint work with Antoine Caradot and Zongzhu Lin.
11:00am – 11:45am
Anne Moreau*
Title: Action of the automorphism group on the Jacobian of Klein’s quartic curve
Abstract: In a joint work with Dimitri Markouchevitch, we prove that the quotient variety of the 3-dimensional Jacobian of the plane Klein quartic curve by its full automorphism group of order 336 is isomorphic to the 3-dimensional weighted projective space with weights 1,2,4,7.
The latter isomorphism is a particular case of the general conjecture of Bernstein and Schwarzman suggesting that a quotient of the n-dimensional complex space by the action of an irreducible complex crystallographic group generated by reflections is a weighted projective space.
In this talk, I will explain this conjecture and the proof of our result. An important ingredient is the computation of the Hilbert function of the algebra of invariant theta-functions on the Jacobian.
Abstract: Eugene Wachspress introduced polypols as real bounded semialgebraic sets in the plane that generalize polygons. He aimed to generalize barycentric coordinates from triangles to arbitrary polygons and further to polypols. For this, he defined the adjoint curve of a rational polypol. In the study of scattering amplitudes in physics, positive geometries are real semialgebraic sets together with a rational canonical form. We combine these two worlds by providing an explicit formula for the canonical form of a rational polypol in terms of defining equations of the adjoint curve and the facets of the polypol. For the special case of polygons, we show that the adjoint curve is hyperbolic and provide an explicit description of its nested ovals. Finally, we discuss the map that associates the adjoint curve to a given rational polypol, in particular the cases where this map is finite. For instance, using monodromy we find that a general quartic curve is the adjoint of 864 heptagons.
This talk is based on joint work with R. Piene, K. Ranestad, F. Rydell, B. Shapiro, R. Sinn, M.-S. Sorea, and S. Telen.
Title: Topological Wick Rotation and Holographic duality
Abstract: I will explain a new type of holographic dualities between n+1D topological orders with a chosen boundary condition and nD (potentially gapless) quantum liquids. It is based on the idea of topological Wick rotation, a notion which was first used in arXiv:1705.01087 and was named, emphasized and generalized later in arXiv:1905.04924. Examples of these holographic dualities include the duality between 2+1D toric code model and 1+1D Ising chain and its finite-group generalizations (independently discovered by many others); those between 2+1D topological orders and 1+1D rational conformal field theories; and those between n+1D finite gauge theories with a gapped boundary and nD gapped quantum liquids. I will also briefly discuss some generalizations of this holographic duality and its relation to AdS/CFT duality.
Abstract: The random greedy algorithm for finding a maximal independent set in a graph has been studied extensively in various settings in combinatorics, probability, computer science, and chemistry. The algorithm builds a maximal independent set by inspecting the graph’s vertices one at a time according to a random order, adding the current vertex to the independent set if it is not connected to any previously added vertex by an edge.
In this talk, I will present a simple yet general framework for calculating the asymptotics of the proportion of the yielded independent set for sequences of (possibly random) graphs, involving a valuable notion of local convergence. I will demonstrate the applicability of this framework by giving short and straightforward proofs for results on previously studied families of graphs, such as paths and various random graphs, and by providing new results for other models such as random trees.
If time allows, I will discuss a more delicate (and combinatorial) result, according to which, in expectation, the cardinality of a random greedy independent set in the path is no larger than that in any other tree of the same order.
The talk is based on joint work with Michael Krivelevich, Tamás Mészáros and Clara Shikhelman.
Abstract: I will first review the construction of the moduli space of tropical curves (or metric graphs), and its relation to graph complexes. The graph Laplacian may be interpreted as a tropical version of the classical Torelli map and its determinant is the Kirchhoff graph polynomial (also called 1st Symanzik), which is one of the two key components in Feynman integrals in high energy physics.The other component is the so-called 2nd Symanzik polynomial, which is defined for graphs with external half edges and involves particle masses (edge colourings). I will explain how this too may be interpreted as the determinant of a generalised graph Laplacian, and how it leads to a volumetric interpretation of a certain class of Feynman integrals.
On March 4-6, 2020 the CMSA will be hosting a three-day workshop on Mirror symmetry, Gauged linear sigma models, Matrix factorizations, and related topics as part of the Simons Collaboration on Homological Mirror Symmetry. The workshop will be held in room G10 of the CMSA, located at 20 Garden Street, Cambridge, MA.
Abstract: Electromagnetic fields in a magneto-electric medium behave in close analogy to photons coupled to the hypothetical elementary particle, the axion. This emergent axion electrodynamics is expected to provide novel ways to detect and control material properties with electromagnetic fields. Despite having been studied intensively for over a decade, its theoretical understanding remains mostly confined to the static limit. Formulating axion electrodynamics at general optical frequencies requires resolving the difficulty of calculating optical magneto-electric coupling in periodic systems and demands a proper generalization of the axion field. In this talk, I will introduce a theory of optical axion electrodynamics that allows for a simple quantitative analysis. Then, I will move on to discuss the issue of the Kerr effect in axion antiferromagnets, refuting the conventional wisdom that the Kerr effect is a measure of the net magnetic moment. Finally, I will apply our theory to a topological antiferromagnet MnBi2Te4.
References: [1] Theory of Optical Axion Electrodynamics, J. Ahn, S.Y. Xu, A.Vishwanath, arXiv:2205.06843
Title: Kardar-Parisi-Zhang dynamics in integrable quantum magnets
Abstract: Although the equations of motion that govern quantum mechanics are well-known, understanding the emergent macroscopic behavior that arises from a particular set of microscopic interactions remains remarkably challenging. One particularly important behavior is that of hydrodynamical transport; when a quantum system has a conserved quantity (i.e. total spin), the late-time, coarse-grained dynamics of the conserved charge is expected to follow a simple, classical hydrodynamical description. However the nature and properties of this hydrodynamical description can depend on many details of the underlying interactions. For example, the presence of additional dynamical constraints can fundamentally alter the propagation of the conserved quantity and induce slower-than-diffusion propagation. At the same time, the presence of an extensive number of conserved quantities in the form of integrability, can imbue the system with stable quasi-particles that propagate ballistically through the system.
In this talk, I will discuss another possibility that arises from the interplay of integrability and symmetry; in integrable one dimensional quantum magnets with complex symmetries, spin transport is neither ballistic nor diffusive, but rather superdiffusive. Using a novel method for the simulation of quantum dynamics (termed Density Matrix Truncation), I will present a detailed analysis of spin transport in a variety of integrable quantum magnets with various symmetries. Crucially, our analysis is not restricted to capturing the dynamical exponent of the transport dynamics and enables us to fully characterize its universality class: for all superdiffusive models, we find that transport falls under the celebrated Kardar-Parisi-Zhang (KPZ) universality class.
Finally, I will discuss how modern atomic, molecular and optical platforms provide an important bridge to connect the microscopic interactions to the resulting hydrodynamical transport dynamics. To this end, I will present recent experimental results, where this KPZ universal behavior was observed using atoms confined to an optical lattice.
[1] Universal Kardar-Parisi-Zhang dynamics in integrable quantum systems B Ye†, FM*, J Kemp*, RB Hutson, NY Yao (PRL in press) – arXiv:2205.02853
[2] Quantum gas microscopy of Kardar-Parisi-Zhang superdiffusion D Wei, A Rubio-Abadal, B Ye, FM, J Kemp, K Srakaew, S Hollerith, J Rui, S Gopalakrishnan, NY Yao, I Bloch, J Zeiher Science (2022) — arXiv:2107.00038
Title: Kähler bands—Chern insulators, holomorphicity and induced quantum geometry
Abstract: The notion of topological phases has dramatically changed our understanding of insulators. There is much to learn about a band insulator beyond the assertion that it has a gap separating the valence bands from the conduction bands. In the particular case of two dimensions, the occupied bands may have a nontrivial topological twist determining what is called a Chern insulator. This topological twist is not just a mathematical observation, it has observable consequences—the transverse Hall conductivity is quantized and proportional to the 1st Chern number of the vector bundle of occupied states over the Brillouin zone. Finer properties of band insulators refer not just to the topology, but also to their geometry. Of particular interest is the momentum-space quantum metric and the Berry curvature. The latter is the curvature of a connection on the vector bundle of occupied states. The study of the geometry of band insulators can also be used to probe whether the material may host stable fractional topological phases. In particular, for a Chern band to have an algebra of projected density operators which is isomorphic to the W∞ algebra found by Girvin, MacDonald and Platzman—the GMP algebra—in the context of the fractional quantum Hall effect, certain geometric constraints, associated with the holomorphic character of the Bloch wave functions, are naturally found and they enforce a compatibility relation between the quantum metric and the Berry curvature of the band. The Brillouin zone is then endowed with a Kähler structure which, in this case, is also translation-invariant (flat). Motivated by the above, we will provide an overview of the geometry of Chern insulators from the perspective of Kähler geometry, introducing the notion of a Kähler band which shares properties with the well-known ideal case of the lowest Landau level. Furthermore, we will provide a prescription, borrowing ideas from geometric quantization, to generate a flat Kähler band in some appropriate asymptotic limit. Such flat Kähler bands are potential candidates to host and realize fractional Chern insulating phases. Using geometric quantization arguments, we then provide a natural generalization of the theory to all even dimensions.
References:
[1] Tomoki Ozawa and Bruno Mera. Relations between topology and the quantum metric for Chern insulators. Phys. Rev. B, 104:045103, Jul 2021. [2] Bruno Mera and Tomoki Ozawa. Kähler geometry and Chern insulators: Relations between topology and the quantum metric. Phys. Rev. B, 104:045104, Jul 2021. [3] Bruno Mera and Tomoki Ozawa. Engineering geometrically flat Chern bands with Fubini-Study Kähler structure. Phys. Rev. B, 104:115160, Sep 2021.
Title: Unorientable Quantum Field Theories: From crosscaps to holography
Abstract: In two dimensions, one can study quantum field theories on unorientable manifolds by introducing crosscaps. This defines a class of states called crosscap states which share a few similarities with the notion of boundary states. In this talk, I will show that integrable theories remain integrable in the presence of crosscaps, and this allows to exactly determine the crosscap state.
In four dimensions, the analog is to place the quantum field theory on the real projective space, the simplest unorientable 4-manifold. I will show how to do this in the example of N=4 Supersymmetric Yang-Mills, discuss its holographic description and present a new solvable setup of AdS/CFT.
Title: Insulating BECs and other surprises in dipole-conserving systems
Abstract: I will discuss recent work on bosonic models whose dynamics conserves both total charge and total dipole moment, a situation which can be engineered in strongly tilted optical lattices. Related models have received significant attention recently for their interesting out-of-equilibrium dynamics, but analytic and numeric studies reveal that they also possess rather unusual ground states. I will focus in particular on a dipole-conserving variant of the Bose-Hubbard model, which realizes an unusual phase of matter that possesses a Bose-Einstein condensate, but which is nevertheless insulating, and has zero superfluid weight. Time permitting, I will also describe the physics of a regime in which these models spontaneously fracture into an exotic type of glassy state.
Title: Diffusive growth sourced by topological defects
Abstract: In this talk, we develop a minimal model of morphogenesis of a surface where the dynamics of the intrinsic geometry is diffusive growth sourced by topological defects. We show that a positive (negative) defect can dynamically generate a cone (hyperbolic cone). We analytically explain features of the growth profile as a function of position and time, and predict that in the presence of a positive defect, a bump forms with height profile h(t) ~ t^(1/2) for early times t. To incorporate the effect of the mean curvature, we exploit the fact that for axisymmetric surfaces, the extrinsic geometry can be deduced entirely by the intrinsic geometry. We find that the resulting stationary geometry, for polar order and small bending modulus, is a deformed football. We apply our framework to various biological systems. In an ex-vivo setting of cultured murine neural progenitor cells, we show that our framework is consistent with the observed cell accumulation at positive defects and depletion at negative defects. In an in-vivo setting, we show that the defect configuration consisting of a bound +1 defect state, which is stabilized by activity, surrounded by two -1/2 defects can create a stationary ring configuration of tentacles, consistent with observations of a basal marine invertebrate Hydra
Title: On the six-dimensional origin of non-invertible symmetries
Abstract: I will present a review about recent progress in charting non-invertible symmetries for four-dimensional quantum field theories that have a six-dimensional origin. These include in particular N=4 supersymmetric Yang-Mills theories, and also a large class of N=2 supersymmetric theories which are conformal and do not have a conventional Lagrangian description (the so-called theories of “class S”). Among the main results, I will explain criteria for identifying examples of systems with intrinsic and non-intrinsic non-invertible symmetries, as well as explore their higher dimensional origin. This seminar is based on joint works with Vladimir Bashmakov, Azeem Hasan, and Justin Kaidi.
Speaker: Semyon Klevtsov, University of Strasbourg
Title: Geometric test for topological states of matter
Abstract: We generalize the flux insertion argument due to Laughlin, Niu-Thouless-Tao-Wu, and Avron-Seiler-Zograf to the case of fractional quantum Hall states on a higher-genus surface. We propose this setting as a test to characterise the robustness, or topologicity, of the quantum state of matter and apply our test to the Laughlin states. Laughlin states form a vector bundle, the Laughlin bundle, over the Jacobian – the space of Aharonov-Bohm fluxes through the holes of the surface. The rank of the Laughlin bundle is the
degeneracy of Laughlin states or, in presence of quasiholes, the dimension of the corresponding full many-body Hilbert space; its slope, which is the first Chern class divided by the rank, is the Hall conductance. We compute the rank and all the Chern classes of Laughlin bundles for any genus and any number of quasiholes, settling, in particular, the Wen-Niu conjecture. Then we show that Laughlin bundles with non-localized quasiholes are not projectively flat and that the Hall current is precisely quantized only for the states with localized quasiholes. Hence our test distinguishes these states from the full many-body Hilbert space. Based on joint work with Dimitri Zvonkine (CNRS, University of Paris-Versaille).
Abstract: Conditional independence (CI) is an important tool instatistical modeling, as, for example, it gives a statistical interpretation to graphical models. In general, given a list of dependencies among random variables, it is difficult to say which constraints are implied by them. Moreover, it is important to know what constraints on the random variables are caused by hidden variables. On the other hand, such constraints are corresponding to some determinantal conditions on the tensor of joint probabilities of the observed random variables. Hence, the inference question in statistics relates to understanding the algebraic and geometric properties of determinantal varieties such as their irreducible decompositions or determining their defining equations. I will explain some recent progress that arises by uncovering the link to point configurations in matroid theory and incidence geometry. This connection, in particular, leads to effective computational approaches for (1) giving a decomposition for each CI variety; (2) identifying each component in the decomposition as a matroid variety; (3) determining whether the variety has a real point or equivalently there is a statistical model satisfying a given collection of dependencies. The talk is based on joint works with Oliver Clarke, Kevin Grace, and Harshit Motwani.
The Center of Mathematical Sciences and Applications will be hosting a Mini-school on Nonlinear Equations on December 3-4, 2016. The conference will have speakers and will be hosted at Harvard CMSA Building: Room G1020 Garden Street, Cambridge, MA 02138.
The mini-school will consist of lectures by experts in geometry and analysis detailing important developments in the theory of nonlinear equations and their applications from the last 20-30 years. The mini-school is aimed at graduate students and young researchers working in geometry, analysis, physics and related fields.
Please click Mini-School Program for a downloadable schedule with talk abstracts.
Please note that lunch will not be provided during the conference, but a map of Harvard Square with a list of local restaurants can be found by clicking Map & Resturants.
Abstract: About 30 years ago, string theorists made remarkable discoveries of hidden structures in algebraic geometry. First, the usual cup-product on the cohomology of a complex projective variety admits a canonical multi-parameter deformation to so-called quantum product, satisfying a nice system of differential equations (WDVV equations). The second discovery, even more striking, is Mirror Symmetry, a duality between families of Calabi-Yau varieties acting as a mirror reflection on the Hodge diamond.
Later it was realized that the quantum product belongs to the realm of symplectic geometry, and a half of mirror symmetry (called Homological Mirror Symmetry) is a duality between complex algebraic and symplectic varieties. The search of correct definitions and possible generalizations lead to great advances in many domains, giving mathematicians new glasses, through which they can see familiar objects in a completely new way.
I will review the history of major mathematical advances in the subject of HMS, and the swirl of ideas around it.
On June 21–24, 2022, the Harvard Black Hole Initiative and the CMSA hosted the Joint BHI/CMSA Conference on Flat Holography (and related topics).
The recent discovery of infinitely-many soft symmetries for all quantum theories of gravity in asymptotically flat space has provided a promising starting point for a bottom-up construction of a holographic dual for the real world. Recent developments have brought together previously disparate studies of soft theorems, asymptotic symmetries, twistor theory, asymptotically flat black holes and their microscopic duals, self-dual gravity, and celestial scattering amplitudes, and link directly to AdS/CFT.
The conference was held in room G10 of the CMSA, 20 Garden Street, Cambridge, MA.
Organizers:
Daniel Kapec, CMSA
Andrew Strominger, BHI
Shing-Tung Yau, Harvard & Tsinghua
Confirmed Speakers:
Nima Arkani-Hamed, IAS
Shamik Banerjee, Bhubaneswar, Inst. Phys.
Miguel Campiglia, Republica U., Montevido
Geoffrey Compere, Brussels
Laura Donnay, Vienna
Netta Engelhardt, MIT
Laurent Freidel, Perimeter
Alex Lupsasca, Princeton
Juan Maldacena, IAS
Lionel Mason, Oxford
Natalie Paquette, U. Washington
Sabrina Pasterski, Princeton/Perimeter
Andrea Puhm, Ecole Polytechnique
Ana-Maria Raclariu, Perimeter
Marcus Spradlin, Brown
Tomasz Taylor, Northeastern
Herman Verlinde, Princeton
Anastasia Volovich, Brown
Bin Zhu, Northeastern
Short talks by: Gonçalo Araujo-Regado (Cambridge), Adam Ball (Harvard), Eduardo Casali (Harvard), Jordan Cotler (Harvard), Erin Crawley (Harvard), Stéphane Detournay (Brussels), Alfredo Guevara (Harvard), Temple He (UC Davis), Elizabeth Himwich (Harvard), Yangrui Hu (Brown), Daniel Kapec (Harvard), Rifath Khan (Cambridge), Albert Law (Harvard), Luke Lippstreu (Brown), Noah Miller (Harvard), Sruthi Narayanan (Harvard), Lecheng Ren (Brown), Francisco Rojas (UAI), Romain Ruzziconi (Vienna), Andrew Strominger (Harvard), Adam Tropper (Harvard), Tianli Wang (Harvard), Walker Melton (Harvard)
Schedule
Monday, June 20, 2022
Arrival
7:00–9:00 pm
Welcome Reception at Andy’s residence
Tuesday, June 21, 2022
9:00–9:30 am
Breakfast
light breakfast provided
Morning Session
Chair: Dan Kapec
9:30–10:00 am
Herman Verlinde
Title: Comments on Celestial Dynamics
10:00–10:30 am
Juan Maldacena
Title: What happens when you spend too much time looking at supersymmetric black holes?
10:30–11:00
Coffee break
11:00–11:30 am
Miguel Campiglia
Title: Asymptotic symmetries and loop corrections to soft theorems
11:30–12:00 pm
Geoffrey Compere
Title: Metric reconstruction from $Lw_{1+\infty}$ multipoles
Abstract: The most general vacuum solution to Einstein’s field equations with no incoming radiation can be constructed perturbatively from two infinite sets of canonical multipole moments, which are found to be exchanged under gravitational electric-magnetic duality at the non-linear level. We demonstrate that in non-radiative regions such spacetimes are completely determined by a set of conserved celestial charges, which uniquely label transitions among non-radiative regions caused by radiative processes. The algebra of the conserved celestial charges is derived from the real $Lw_{1+\infty}$ algebra. The celestial charges are expressed in terms of multipole moments, which allows to holographically reconstruct the metric in de Donder, Newman-Unti or Bondi gauge outside of sources.
12:00–2:00 pm
Lunch break
Afternoon Session
Chair: Eduardo Casali
2:00–2:30 pm
Natalie Paquette
Title: New thoughts on old gauge amplitudes
2:30–3:00 pm
Lionel Mason
Title: An open sigma model for celestial gravity
Abstract: A global twistor construction for conformally self-dual split signature metrics on $S2\times S2$ was developed 15 years ago by Claude LeBrun and the speaker. This encodes the conformal metric into the location of a finite deformation of the real twistor space inside the flat complex twistor space, $\mathbb{CP}3$. This talk adapts the construction to construct global SD Einstein metrics from conformal boundary data and perturbations around the self-dual sector. The construction entails determining a family of holomorphic discs in $\mathbb{CP}3$ whose boundaries lie on the deformed real slice and the (chiral) sigma model controls these discs in the Einstein case and provides amplitude formulae.
3:00–3:30 pm
Coffee break
3:30–4:30 pm
Short Talks
Daniel Kapec: Soft Scalars and the Geometry of the Space of Celestial CFTs
Albert Law: Soft Scalars and the Geometry of the Space of Celestial CFTs
Sruthi Narayanan: Soft Scalars and the Geometry of the Space of Celestial CFTs
Stéphane Detournay: Non-conformal symmetries and near-extremal black holes
Francisco Rojas: Celestial string amplitudes beyond tree level
Temple He: An effective description of energy transport from holography
4:30–5:00 pm
Nima Arkani-Hamed
(Dual) surfacehedra and flow particles know about strings
Wednesday, June 22, 2022
9:00–9:30 am
Breakfast
light breakfast provided
Morning Session
Chair: Alfredo Guevara
9:30–10:00 am
Laurent Freidel
Title: Higher spin symmetry in gravity
Abstract: In this talk, I will review how the gravitational conservation laws at infinity reveal a tower of symmetry charges in an asymptotically flat spacetime. I will show how the conservation laws, at spacelike infinity, give a tower of soft theorems that connect to the ones revealed by celestial holography. I’ll present the expression for the symmetry charges in the radiative phase space, which opens the way to reveal the structure of the algebra beyond the positive helicity sector. Then, if time permits I’ll browse through many questions that these results raise: such as the nature of the spacetime symmetry these charges represent, the nature of the relationship with multipole moments, and the insights their presence provides for quantum gravity.
10:00–10:30 am
Ana-Maria Raclariu
Title: Eikonal approximation in celestial CFT
10:30–11:00 am
Coffee break
11:00–11:30 am
Anastasia Volovich
Title: Effective Field Theories with Celestial Duals
11:30–12:00 pm
Marcus Spradlin
Title: Loop level gluon OPE’s in celestial holography
12:00–2:00 pm
Lunch break
Afternoon Session
Chair: Chiara Toldo
2:00–2:30 pm
Netta Engelhardt
Title: Wormholes from entanglement: true or false?
2:30–3:00 pm
Short Talks
Luke Lippstreu: Loop corrections to the OPE of celestial gluons
Yangrui Hu: Light transforms of celestial amplitudes
Lecheng Ren: All-order OPE expansion of celestial gluon and graviton primaries from MHV amplitudes
3:00–3:30 pm
Coffee break
3:30–4:30 pm
Short Talks
Noah Miller: C Metric Thermodynamics
Erin Crawley: Kleinian black holes
Rifath Khan: Cauchy Slice Holography: A New AdS/CFT Dictionary
Gonçalo Araujo-Regado: Cauchy Slice Holography: A New AdS/CFT Dictionary
Tianli Wang: Soft Theorem in the BFSS Matrix Model
Adam Tropper: Soft Theorem in the BFSS Matrix Model
Title: Celestial wave scattering on Kerr-Schild backgrounds
10:30–11:00 am
Coffee break
11:00–11:30 am
Sabrina Pasterski
Title: Mining Celestial Symmetries
Abstract: The aim of this talk is to delve into the common thread that ties together recent work with H. Verlinde, L. Donnay, A. Puhm, and S. Banerjee exploring, explaining, and exploiting the symmetries encoded in the conformally soft sector.
Come prepared to debate the central charge, loop corrections, contour prescriptions, and orders of limits!
11:30–12:00 pm
Shamik Banerjee
Title: Virasoro and other symmetries in CCFT
Abstract: In this talk I will briefly describe my ongoing work with Sabrina Pasterski. In this work we revisit the standard construction of the celestial stress tensor as a shadow of the subleading conformally soft graviton. In its original formulation, we find that there is an obstruction to reproducing the expected $TT$ OPE in the double soft limit. This obstruction is related to the existence of the $SL_2$ current algebra symmetry of the CCFT. We propose a modification to the definition of the stress tensor which circumvents this obstruction and also discuss its implications for the existence of other current algebra (w_{1+\infty}) symmetries in CCFT.
12:00–2:00 pm
Lunch break
Afternoon Session
Chair: Albert Law
2:00–2:30 pm
Tomasz Taylor
Title: Celestial Yang-Mills amplitudes and D=4 conformal blocks
2:30–3:00 pm
Bin Zhu
Title: Single-valued correlators and Banerjee-Ghosh equations
Abstract: Low-point celestial amplitudes are plagued with singularities resulting from spacetime translation. We consider a marginal deformation of the celestial CFT which is realized by coupling Yang-Mills theory to a background dilaton field, with the (complex) dilaton source localized on the celestial sphere. This picture emerges from the physical interpretation of the solutions of the system of differential equations discovered by Banerjee and Ghosh. We show that the solutions can be written as Mellin transforms of the amplitudes evaluated in such a dilaton background. The resultant three-gluon and four-gluon amplitudes are single-valued functions of celestial coordinates enjoying crossing symmetry and all other properties expected from standard CFT correlators.
3:00–3:30 pm
Coffee break
3:30–4:00 pm
Alex Lupsasca
Title: Holography of the Photon Ring
4:00–5:30 pm
Short Talks
Elizabeth Himwich: Celestial OPEs and w(1+infinity) symmetry of massless and massive amplitudes
Adam Ball: Perturbatively exact $w_{1+\infty}$ asymptotic symmetry of quantum self-dual gravity
Romain Ruzziconi: A Carrollian Perspective on Celestial Holography
Jordan Cotler: Soft Gravitons in 3D
Alfredo Guevara: Comments on w_1+\inf
Andrew Strominger: Top-down celestial holograms
Eduardo Casali: Celestial amplitudes as AdS-Witten diagrams
Don Zagier (Max Planck Institute for Mathematics and International Centre for Theoretical Physics)
Title: Quantum topology and new types of modularity
Abstract: The talk concerns two fundamental themes of modern 3-dimensional topology and their unexpected connection with a theme coming from number theory. A deep insight of William Thurston in the mid-1970s is that the vast majority of complements of knots in the 3-sphere, or more generally of 3-manifolds, have a unique metric structure as hyperbolic manifolds of constant curvature -1, so that 3-dimensional topology is in some sense not really a branch of topology at all, but of differential geometry. In a different direction, the work of Vaughan Jones and Ed Witten in the late 1980s gave rise to the field of Quantum Topology, in which new types of invariants of knot complements and 3-manifolds are introduced that have their origins in ideas coming from quantum field theory. These two themes then became linked by Kashaev’s famous Volume Conjecture, now some 25 years old, which says that the Kashaev invariant _N of a hyperbolic knot K (this is a quantum invariant defined for each positive integer N and whose values are algebraic numbers) grows exponentially as N tends to infinity with an exponent proportional to the hyperbolic volume of the knot complement. About 10 years ago, I was led by numerical experiments to the discovery that Kashaev’s invariant could be upgraded to an invariant having rational numbers as its argument (with the original invariant being the value at 1/N) and that the Volume Conjecture then became part of a bigger story saying that the new invariant has some sort of strange transformation property under the action x -> (ax+b)/(cx+d) of the modular group SL(2,Z) on the argument. This turned out to be only the beginning of a fascinating and multi-faceted story relating quantum invariants, q-series, modularity, and many other topics. In the talk, which is intended for a general mathematical audience, I would like to recount some parts of this story, which is joint work with Stavros Garoufalidis (and of course involving contributions from many other authors). The “new types of modularity” in the title refer to a specific byproduct of these investigations, namely that there is a generalization of the classical notion of holomorphic modular form – which plays an absolutely central role in modern number theory – to a new class of holomorphic functions in the upper half-plane that no longer satisfy a transformation law under the action of the modular group, but a weaker extendability property instead. This new class, called “holomorphic quantum modular forms”, turns out to contain many other functions of a more number-theoretical nature as well as the original examples coming from quantum invariants.
Abstract: The statistical analysis of genomic data has incubated many innovations for computational method development. This talk will discuss some simple algorithms that may be useful in analyzing such data. Examples include algorithms for efficient resampling-based hypothesis testing, minimizing the sum of truncated convex functions, and fitting equality-constrained lasso problems. These algorithms have the potential to be used in other applications beyond statistical genomics.
Bio: Hui Jiang is an Associate Professor in the Department of Biostatistics at the University of Michigan. He received his Ph.D. in Computational and Mathematical Engineering from Stanford University. Before joining the University of Michigan, he was a postdoc in the Department of Statistics and Stanford Genome Technology Center at Stanford University. He is interested in developing statistical and computational methods for analyzing large-scale biological data generated using modern high-throughput technologies.
Title: 60 Years of Matching: From Gale and Shapley to Trading Networks
Abstract: Gale and Shapley’s 1962 American Mathematical Monthly paper, “College Admissions and the Stability of Marriage,” is by now one of the most cited articles in the journal’s history, having served as the foundation for an entire branch of the field of market design. This success owes in large part to the beautiful, applicable, and surprisingly general theory of matching mechanisms uncovered in Gale and Shapley’s work. This talk traces the history and evolution of matching theory from that paper forward to the present day, along the way touching on real-world applications to everything from medical residency matching to electricity markets.
Moderator: Sergiy Verstyuk
Beginning in Spring 2020, the CMSA began hosting a lecture series on literature in the mathematical sciences, with a focus on significant developments in mathematics that have influenced the discipline, and the lifetime accomplishments of significant scholars.
Abstract: Introducing internal degrees of freedom in the description of crystalline insulators has led to a myriad of theoretical and experimental advances. Of particular interest are the effects of periodic perturbations, either in time or space, as they considerably enrich the variety of electronic responses. Here, we present a semiclassical approach to transport and accumulation of general spinor degrees of freedom in adiabatically driven, weakly inhomogeneous crystals of dimensions one, two and three under external electromagnetic fields. Our approach shows that spatio-temporal modulations of the system induce a spinor current and density that is related to geometrical and topological objects — the spinor-Chern fluxes and numbers — defined over the higher-dimensional phase-space of the system, i.e., its combined momentum-position-time coordinates.
Bio: Ioannis Petrides is a postdoctoral fellow at the School of Engineering and Applied Sciences at Harvard University. He received his Ph.D. from the Institute for Theoretical Physics at ETH Zurich. His research focuses on the topological and geometrical aspects of condensed matter systems.
Title: Statistical Mechanical theory for spatio-temporal evolution of Intra-tumor heterogeneity in cancers: Analysis of Multiregion sequencing data (https://arxiv.org/abs/2202.10595)
Abstract: Variations in characteristics from one region (sub-population) to another are commonly observed in complex systems, such as glasses and a collection of cells. Such variations are manifestations of heterogeneity, whose spatial and temporal behavior is hard to describe theoretically. In the context of cancer, intra-tumor heterogeneity (ITH), characterized by cells with genetic and phenotypic variability that co-exist within a single tumor, is often the cause of ineffective therapy and recurrence of cancer. Next-generation sequencing, obtained by sampling multiple regions of a single tumor (multi-region sequencing, M-Seq), has vividly demonstrated the pervasive nature of ITH, raising the need for a theory that accounts for evolution of tumor heterogeneity. Here, we develop a statistical mechanical theory to quantify ITH, using the Hamming distance, between genetic mutations in distinct regions within a single tumor. An analytic expression for ITH, expressed in terms of cell division probability (α) and mutation probability (p), is validated using cellular-automaton type simulations. Application of the theory successfully captures ITH extracted from M-seq data in patients with exogenous cancers (melanoma and lung). The theory, based on punctuated evolution at the early stages of the tumor followed by neutral evolution, is accurate provided the spatial variation in the tumor mutation burden is not large. We show that there are substantial variations in ITH in distinct regions of a single solid tumor, which supports the notion that distinct subclones could co-exist. The simulations show that there are substantial variations in the sub-populations, with the ITH increasing as the distance between the regions increases. The analytical and simulation framework developed here could be used in the quantitative analyses of the experimental (M-Seq) data. More broadly, our theory is likely to be useful in analyzing dynamic heterogeneity in complex systems such as supercooled liquids.
Bio: I am a postdoctoral fellow in Harvard SEAS (Applied Mathematics) and Dana Farber Cancer Institute (Data Science) beginning Feb 2022. I finished my PhD in Physics (Theoretical Biophysics) from UT Austin (Jan 2022) on “Theoretical and computational studies of growing tissue”. I pursued my undergraduate degree in Physics from the Indian Institute of Technology, Kanpur in India (2015). Boradly, I am interested in developing theoretical models, inspired from many-body statistical physics, for biological processes at different length and time scales.
In 2021, the CMSA hosted a lecture series on the literature of the mathematical sciences. This series highlights significant accomplishments in the intersection between mathematics and the sciences. Speakers include Edward Witten, Lydia Bieri, Simon Donaldson, Michael Freedman, Dan Freed, and many more.
Videos of these talks can be found in this Youtube playlist.
https://youtu.be/vb_JEhUW9t4
In the Spring 2021 semester, the CMSA hosted a sub-program on this series titled A Memorial Conference for the founders of index theory: Atiyah, Bott, Hirzebruch and Singer. Below is the schedule for talks in that subprogram
Abstract: I will review two famous papers of Ray and Singer on analytic torsion written approximately half a century ago. Then I will sketch the influence of analytic torsion in a variety of areas of physics including anomalies, topological field theory, and string theory.
This talk is part of a subprogram of the Mathematical Science Literature Lecture series, aMemorial Conference for the founders of index theory: Atiyah, Bott, Hirzebruch, and Singer.
Abstract: We will go over the fundamentals of quantum error correction and fault tolerance and survey some of the recent developments in the field. Talk chair: Zhengwei Liu
Eduard Jacob Neven Looijenga(Tsinghua University & Utrecht University)
Title: Theorems of Torelli type
Abstract: Given a closed manifold of even dimension 2n, then Hodge showed around 1950 that a kählerian complex structure on that manifold determines a decomposition of its complex cohomology. This decomposition, which can potentially vary continuously with the complex structure, extracts from a non-linear given, linear data. It can contain a lot of information. When there is essentially no loss of data in this process, we say that the Torelli theorem holds. We review the underlying theory and then survey some cases where this is the case. This will include the classical case n=1, but the emphasis will be on K3 manifolds (n=2) and more generally, on hyperkählerian manifolds. These cases stand out, since one can then also tell which decompositions occur.
Abstract: In the early 1980s Michael Atiyah and Raoul Bott wrote two influential papers, ‘The Yang-Mills equations over Riemann surfaces’ and ‘The moment map and equivariant cohomology’, bringing together ideas ranging from algebraic and symplectic geometry through algebraic topology to mathematical physics and number theory. The aim of this talk is to explain their key insights and some of the new directions towards which these papers led.
This talk is part of a subprogram of the Mathematical Science Literature Lecture series, aMemorial Conference for the founders of index theory: Atiyah, Bott, Hirzebruch and Singer.
On May 9–12, 2022, the CMSA hosted the conference Deformations of structures and moduli in geometry and analysis: A Memorial in honor of Professor Masatake Kuranishi.
Organizers: Tristan Collins (MIT) and Shing-Tung Yau (Harvard and Tsinghua)
Title:Gromov Hausdorff convergence of filtered A infinity category
Abstract: In mirror symmetry a mirror to a symplectic manifold is actually believed to be a family of complex manifold parametrized by a disk (of radius 0). The coordinate ring of the parameter space is a kind of formal power series ring the Novikov ring. Novikov ring is a coefficient ring of Floer homology. Most of the works on homological Mirror symmetry so far studies A infinity category over Novikov field, which corresponds to the study of generic fiber. The study of A infinity category over Novikov ring is related to several interesting phenomenon of Hamiltonian dynamics. In this talk I will explain a notion which I believe is useful to study mirror symmetry.
Abstract: The talk, largely historical, will focus on different deformation complexes I have encountered in my work, starting with instantons on 4-manifolds, but also monopoles, Higgs bundles and generalized complex structures. I will also discuss some speculative ideas related to surfaces of negative curvature.
Title:Projective Hulls, Projective Linking, and Boundaries of Varieties
Abstract: In 1958 John Wermer proved that the polynomial hull of a compact real analytic curve γ ⊂ Cn was a 1-dim’l complex subvariety of Cn − γ. This result engendered much subsequent activity, and was related to Gelfand’s spectrum of a Banach algebra. In the early 2000’s Reese Harvey and I found a projective analogue of these concepts and wondered whether Wermer’s Theorem could be generalized to the projective setting. This question turned out to be more subtle and quite intriguing, with unexpected consequences. We now know a great deal, a highpoint of which s a result with Harvey and Wermer. It led to conjectures (for Cω-curves in P2C) which imply several results. One says, roughly, that a (2p − 1)-cycle Γ in Pn bounds a positive holomorphic p-chain of mass ≤ Λ ⇐⇒ its normalized linking number with all positive (n − p)-cycles in Pn − |Γ| is ≥ −Λ. Another says that a class τ ∈ H2p(Pn,|Γ|;Z) with ∂τ = Γ contains a positive holomorphic p-chain ⇐⇒ τ•[Z]≥0 for all positive holomorphic (n−p)-cycles Z in Pn−|Γ|
Title:Singularities along the Lagrangian mean curvature flow.
Abstract:We study singularity formation along the Lagrangian mean curvature flow of surfaces. On the one hand we show that if a tangent flow at a singularity is the special Lagrangian union of two transverse planes, then the flow undergoes a “neck pinch”, and can be continued past the flow. This can be related to the Thomas-Yau conjecture on stability conditions along the Lagrangian mean curvature flow. In a different direction we show that ancient solutions of the flow, whose blow-down is given by two planes meeting along a line, must be translators. These are joint works with Jason Lotay and Felix Schulze.
Title: Glimpses of embeddings and deformations of CR manifolds
Abstract: Basic results on the embeddings and the deformations of CR manifolds will be reviewed with emphasis on the reminiscences of impressive moments with Kuranishi since his visit to Kyoto in 1975.
Abstract: Let X be your favorite Banach space of continuous functions on R^n. Given an (arbitrary) set E in R^n and an arbitrary function f:E->R, we ask: How can we tell whether f extends to a function F \in X? If such an F exists, then how small can we take its norm? What can we say about its derivatives (assuming functions in X have derivatives)? Can we take F to depend linearly on f? Suppose E is finite. Can we compute an F as above with norm nearly as small as possible? How many computer operations does it take? What if F is required to agree only approximately with f on E? What if we are allowed to discard a few data points (x, f(x)) as “outliers”? Which points should we discard?
The results were obtained jointly with A. Israel, B. Klartag, G.K. Luli and P. Shvartsman over many years.
Title: Deformations of K-trivial manifolds and applications to hyper-Kähler geometry
Summary: I will explain the Ran approach via the T^1-lifting principle to the BTT theorem stating that deformations of K-trivial compact Kähler manifolds are unobstructed. I will explain a similar unobstructedness result for Lagrangian submanifolds of hyper-Kähler manifolds and I will describe important consequences on the topology and geometry of hyper-Kähler manifolds.
Abstract: The world of semiclassical analysis is populated by objects of “Lagrangian type.” The topic of this talk however will be objects in semi-classical analysis that live instead on isotropic submanifolds. I will describe in my talk a lot of interesting examples of such objects.
Title: Symplectic deformations and the Type IIA flow
Abstract:The equations of flux compactification of Type IIA superstrings were written down by Tomasiello and Tseng-Yau. To study these equations, we introduce a natural geometric flow known as the Type IIA flow on symplectic Calabi-Yau 6-manifolds. We prove the wellposedness of this flow and establish the basic estimates. We show that the Type IIA flow can be applied to find optimal almost complex structures on certain symplectic manifolds. We prove the dynamical stability of the Type IIA flow, which leads to a proof of stability of Kahler property for Calabi-Yau 3-folds under symplectic deformations. This is based on joint work with Phong, Picard and Zhang.
Title: Canonical metrics and stability in mirror symmetry
Abstract: I will discuss the deformed Hermitian-Yang-Mills equation, its role in mirror symmetry and its connections to notions of stability. I will review what is known, and pose some questions for the future.
Title: $L^\infty$ estimates for the Monge-Ampere and other fully non-linear equations in complex geometry
Abstract: A priori estimates are essential for the understanding of partial differential equations, and of these, $L^\infty$ estimates are particularly important as they are also needed for other estimates. The key $L^\infty$ estimates were obtained by S.T. Yau in 1976 for the Monge-Ampere equation for the Calabi conjecture, and sharp estimates obtained later in 1998 by Kolodziej using pluripotential theory. It had been a long-standing question whether a PDE proof of these estimates was possible. We provide a positive answer to this question, and derive as a consequence sharp estimates for general classes of fully non-linear equations. This is joint work with B. Guo and F. Tong.
Title: The quantum connection: familiar yet puzzling
Abstract: The small quantum connection on a Fano variety is possibly the most basic piece of enumerative geometry. In spite of being really easy to write down, it is the subject of far-reaching conjectures (Dubrovin, Galkin, Iritani), which challenge our understanding of mirror symmetry. I will give a gentle introduction to the simplest of these questions.
Title:Higgs-Coulumb correspondence for abelian gauged linear sigma models
Abstract: The underlying geometry of a gauged linear sigma model (GLSM) consists of a GIT quotient of a complex vector space by the linear action of a reductive algebraic group G (the gauge group) and a polynomial function (the superpotential) on the GIT quotient. The Higgs-Coulomb correspondence relates (1) GLSM invariants which are virtual counts of curves in the critical locus of the superpotential (Higgs branch), and (2) Mellin-Barnes type integrals on the Lie algebra of G (Coulomb branch). In this talk, I will describe the correspondence when G is an algebraic torus, and explain how to use the correspondence to study dependence of GLSM invariants on the stability condition. This is based on joint work with Konstantin Aleshkin.
Title: Topological Transitions of Calabi-Yau Threefolds
Abstract: Conifold transitions were proposed in the works of Clemens, Reid and Friedman as a way to travel in the parameter space of Calabi-Yau threefolds with different Hodge numbers. This process may deform a Kahler Calabi-Yau threefold into a non-Kahler complex manifold with trivial canonical bundle. We will discuss the propagation of differential geometric structures such as balanced hermitian metrics, Yang-Mills connections, and special submanifolds through conifold transitions. This is joint work with T. Collins, S. Gukov and S.-T. Yau.
Title:Transverse coupled Kähler-Einstein metrics and volume minimization Abstract: We show that transverse coupled Kähler-Einstein metrics on toric Sasaki manifolds arise as a critical point of a volume functional. As a preparation for the proof, we re-visit the transverse moment polytopes and contact moment polytopes under the change of Reeb vector fields. Then we apply it to a coupled version of the volume minimization by Martelli-Sparks-Yau. This is done assuming the Calabi-Yau condition of the Kählercone, and the non-coupled case leads to a known existence result of a transverse Kähler-Einstein metric and a Sasaki-Einstein metric, but the coupled case requires an assumption related to Minkowski sum to obtain transverse coupled Kähler-Einstein metrics.Video
10:15 am–11:15 am
Yu-Shen Lin
Title: SYZ Mirror Symmetry of Log Calabi-Yau Surfaces
Abstract: Strominger-Yau-Zaslow conjecture predicts Calabi-Yau manifolds admits special Lagrangian fibrations. The conjecture serves as one of the guiding principles in mirror symmetry. In this talk, I will explain the existence of the special Lagrangian fibrations in some log Calabi-Yau surfaces and their dual fibrations in their expected mirrors. The journey leads us to the study of the moduli space of Ricci-flat metrics with certain asymptotics on these geometries and the discovery of new semi-flat metrics. If time permits, I will explain the application to the Torelli theorem of ALH^* gravitational instantons. The talk is based on joint works with T. Collins and A. Jacob.
Title: Deformations of singular Fano and Calabi-Yau varieties
Abstract: This talk will describe recent joint work with Radu Laza on deformations of generalized Fano and Calabi-Yau varieties, i.e. compact analytic spaces whose dualizing sheaves are either duals of ample line bundles or are trivial. Under the assumption of isolated hypersurface canonical singularities, we extend results of Namikawa and Steenbrink in dimension three and discuss various generalizations to higher dimensions.
The Center of Mathematical Sciences and Applications will be hosting a 3-day workshop on Homological Mirror Symmetry and related areas on May 6 – May 8, 2016 at Harvard CMSA Building: Room G1020 Garden Street, Cambridge, MA 02138
Please note that lunch will not be provided during the conference, but a map of Harvard Square with a list of local restaurants can be found by clicking Map & Resturants.
Schedule:
May 6 – Day 1
9:00am
Breakfast
9:35am
Opening remarks
9:45am – 10:45am
Si Li, “Quantum master equation, chiral algebra, and integrability”
Abstract: The story of the index theorem ties together the Gang of Four—Atiyah, Bott, Hirzebruch, and Singer—and lies at the intersection of analysis, geometry, and topology. In the first part of the talk I will recount high points in the early developments. Then I turn to subsequent variations and applications. Throughout I emphasize the role of the Dirac operator.
This talk is part of a subprogram of the Mathematical Science Literature Lecture series, aMemorial Conference for the founders of index theory: Atiyah, Bott, Hirzebruch and Singer.
On December 2-4, 2019 the CMSA will be hosting a workshop on Quantum Matter as part of our program on Quantum Matter in Mathematics and Physics. The workshop will be held in room G10 of the CMSA, located at 20 Garden Street, Cambridge, MA.
Title: The phenotype of the last universal common ancestor and the evolution of complexity
Abstract: A fundamental concept in evolutionary theory is the last universal common ancestor (LUCA) from which all living organisms originated. While some authors have suggested a relatively complex LUCA it is still widely assumed that LUCA must have been a very simple cell and that life has subsequently increased in complexity through time. However, while current thought does tend towards a general increase in complexity through time in Eukaryotes, there is increasing evidence that bacteria and archaea have undergone considerable genome reduction during their evolution. This raises the surprising possibility that LUCA, as the ancestor of bacteria and archaea may have been a considerably complex cell. While hypotheses regarding the phenotype of LUCA do exist, all are founded on gene presence/absence. Yet, despite recent attempts to link genes and phenotypic traits in prokaryotes, it is still inherently difficult to predict phenotype based on the presence or absence of genes alone. In response to this, we used Bayesian phylogenetic comparative methods to predict ancestral traits. Testing for robustness to horizontal gene transfer (HGT) we inferred the phenotypic traits of LUCA using two robust published phylogenetic trees and a dataset of 3,128 bacterial and archaeal species.
Our results depict LUCA as a far more complex cell than has previously been proposed, challenging the evolutionary model of increased complexity through time in prokaryotes. Given current estimates for the emergence of LUCA we suggest that early life very rapidly evolved cellular complexity.
The Center of Mathematical Sciences and Applications will be hosting a workshop on Optimization in Image Processing on June 27 – 30, 2016. This 4-day workshop aims to bring together researchers to exchange and stimulate ideas in imaging sciences, with a special focus on new approaches based on optimization methods. This is a cutting-edge topic with crucial impact in various areas of imaging science including inverse problems, image processing and computer vision. 16 speakers will participate in this event, which we think will be a very stimulating and exciting workshop. The workshop will be hosted in Room G10 of the CMSA Building located at 20 Garden Street, Cambridge, MA 02138.
Titles, abstracts and schedule will be provided nearer to the event.
Speakers:
Antonin Chambolle, CMAP, Ecole Polytechnique
Raymond Chan, The Chinese University of Hong Kong
Ke Chen, University of Liverpool
Patrick Louis Combettes, Université Pierre et Marie Curie
Mario Figueiredo, Instituto Superior Técnico
Alfred Hero, University of Michigan
Ronald Lok Ming Lui, The Chinese University of Hong Kong
Mila Nikolova, Ecole Normale Superieure Cachan
Shoham Sabach, Israel Institute of Technology
Martin Benning, University of Cambridge
Jin Keun Seo, Yonsei University
Fiorella Sgallari, University of Bologna
Gabriele Steidl, Kaiserslautern University of Technology
Joachim Weickert, Saarland University
Isao Yamada, Tokyo Institute of Technology
Wotao Yin, UCLA
Please click Workshop Program for a downloadable schedule with talk abstracts.
Please note that lunch will not be provided during the conference, but a map of Harvard Square with a list of local restaurants can be found by clicking Map & Resturants.
Abstract: The establishment of neural circuitry during early infancy is critical for developing visual, auditory, and motor functions. However, how cortical tissue develops postnatally is largely unknown. By combining T1 relaxation time from quantitative MRI and mean diffusivity (MD) from diffusion MRI, we tracked cortical tissue development in infants across three timepoints (newborn, 3 months, and 6 months). Lower T1 and MD indicate higher microstructural tissue density and more developed cortex. Our data reveal three main findings: First, primary sensory-motor areas (V1: visual, A1: auditory, S1: somatosensory, M1: motor) have lower T1 and MD at birth than higher-level cortical areas. However, all primary areas show significant reductions in T1 and MD in the first six months of life, illustrating profound tissue growth after birth. Second, significant reductions in T1 and MD from newborns to 6-month-olds occur in all visual areas of the ventral and dorsal visual streams. Strikingly, this development was heterogenous across the visual hierarchies: Earlier areas are more developed with denser tissue at birth than higher-order areas, but higher-order areas had faster rates of development. Finally, analysis of transcriptomic gene data that compares gene expression in postnatal vs. prenatal tissue samples showed strong postnatal expression of genes associated with myelination, synaptic signaling, and dendritic processes. Our results indicate that these cellular processes may contribute to profound postnatal tissue growth in sensory cortices observed in our in-vivo measurements. We propose a novel principle of postnatal maturation of sensory systems: development of cortical tissue proceeds in a hierarchical manner, enabling the lower-level areas to develop first to provide scaffolding for higher-order areas, which begin to develop more rapidly following birth to perform complex computations for vision and audition.