
Speaker: Justin MooreTitle: Homology, higher derived limits, and set theoryVenue: CMSA Room G10Colloquium Speaker: Justin Moore (Cornell University) Title: Homology, higher derived limits, and set theory Abstract: Singular homology has a number of wellknown defects when used to study spaces such as the Hawaiian earring and solenoids. It may not reflect the “shape” of the space and can give counterintuitive information about its dimension. One remedy of this is to develop a homology theory based on approximating spaces by polyhedra, computing their homologies, and then taking a limit. This is the approach taken by SteenrodSitnikov homology and Lisica and Mardesic’s strong homology. Even within the class of locally compact second countable spaces though, the properties of these homology theories — and the higher derived limits which underly them — are dependent on… 

Speaker: Xuwen ZhuTitle: Analysis of ALH* gravitational instantonsVenue: CMSA Room G10Speaker: Xuwen Zhu (Northeastern) Title: Analysis of ALH* gravitational instantons Abstract: Gravitational instantons are noncompact CalabiYau metrics with L^2 bounded curvature and are categorized into six types. We will discuss one such type called ALH* metrics which has a noncompact end modelled by the Calabi ansatz with inhomogeneous collapsing near infinity. Such metrics appeared recently in the works on SYZ conjecture, as well as the scaling bubble limits for codimension3 collapsing of K3 surfaces, where the study of its Laplacian played a central role. In this talk I will talk about the Fredholm mapping property and L^2 cohomology of such metrics. This is ongoing work joint with Rafe Mazzeo. 

Speaker: Dana BartosovaTitle: What do topological dynamics, combinatorics, and model theory have in common?Venue: CMSA Room G10Speaker: Dana Bartosova (University of Florida) Title: What do topological dynamics, combinatorics, and model theory have in common? Abstract: A striking correspondence between dynamics of automorphism groups of countable first order structures and Ramsey theory of finitary approximation of the structures was established in 2005 by Kechris, Pestov, and Todocevic. Since then, their work has been generalized and applied in many directions. It also struck a fresh wave of interest in finite Ramsey theory. Many classes of finite structures are shown to have the Ramsey property by encoding their problem in a known Ramsey class and translating a solution back. This is often a casebycase approach and naturally there is a great need for abstracting the process. There has been… 

Speaker: Jeff W. LichtmanTitle: The analytical challenges of connectomicsVenue: CMSA Room G10Speaker: Jeff W. Lichtman (Harvard University) Title: The analytical challenges of connectomics Abstract: Recent progress in generating synapselevel maps of brains, a field known as connectomics, brings both opportunities and challenges. The upside is that the biophysical instantiation of memories, behaviors, and knowledge will soon be before us. The downside is that no one knows exactly how to make sense of this data. I will show what connectomics data sets are and attempt to explain why it is so difficult to unravel their meaning. 

Speaker: Brian WilliamsTitle: Koszul duality in QFTVenue: CMSA Room G10Speaker: Brian Williams (Boston University) Title: Koszul duality in QFT Abstract: We will describe appearances of the algebraic phenomena of Koszul duality in the context of boundary conditions and defects in quantum field theory. Primarily motivated by topological string theory, this point of view was pioneered by Costello and Li in their proposal for a twisted version of the AdS/CFT correspondence. Since then, many important examples of (twisted) holographic dualities in string and Mtheory have been studied in work of Costello, Gaiotto, Paquette and many others. I will survey some of these examples and some current work with Raghavendran and Saberi which uses this formalism to predict exceptional symmetries present in Mtheory. 

Speaker: Matthew ForemanTitle: Impossibility results in classical dynamical systemsVenue: CMSA Room G10Speaker: Matthew Foreman (UC Irvine) Title: Impossibility results in classical dynamical systems Abstract: In 1932, motivated by questions in statistical and celestial mechanics, von Neumann proposed classifying the statistical behavior of dynamical systems. In the 1960’s, motivated by work of Poincaré, Smale proposed classifying the qualitative behavior of dynamical systems. These questions laid the groundwork for enormous amounts of work, but the fundamental questions remain open. This talk shows that they are impossible to answer in a rigorous sense. The talk will discuss various kinds of impossibility results and describe how they apply to von Neumann’s program and Smale’s program. 

Speaker: Manuel CortésIzurdiagaTitle: Homotopy categories of rings: some properties and consequences in module categoriesVenue: CMSA Room G10Speaker: Manuel CortésIzurdiaga (University of Malaga) Title: Homotopy categories of rings: some properties and consequences in module categories Abstract: Given a nonnecessarily commutative ring with unit and an additive subcategory of the category of right modules, one can consider complexes of modules in the subcategory and the corresponding homotopy category. Sometimes, these homotopy categories are the first step in studying other (algebraic) homotopy categories, such as those associated to a scheme. To study these categories, one can use results from the category of modules or the category of complexes. In the first part of the talk, we will see how some results of homotopy categories of complexes extend to homotopy categories of Ncomplexes, for a natural number N greater… 

Speaker: Boaz BarakTitle: On Provable Copyright Protection for Generative ModelVenue: CMSA Room G10Speaker: Boaz Barak (Harvard) Title: On Provable Copyright Protection for Generative Model Abstract: There is a growing concern that learned conditional generative models may output samples that are substantially similar to some copyrighted data C that was in their training set. We give a formal definition of near accessfreeness (NAF) and prove bounds on the probability that a model satisfying this definition outputs a sample similar to C, even if C is included in its training set. Roughly speaking, a generative model p is kNAF if for every potentially copyrighted data C, the output of p diverges by at most kbits from the output of a model q that did not access C at all. We also give generative model learning… 

Speaker: Joel D. HamkinsTitle: An exploration of infinite games—infinite Wordle and the Mastermind numbersVenue: CMSA Room G10Speaker: Joel D. Hamkins (Notre Dame and Oxford) Title: An exploration of infinite games—infinite Wordle and the Mastermind numbers Abstract: Let us explore the nature of strategic reasoning in infinite games, focusing on the cases of infinite Wordle and infinite Mastermind. The familiar game of Wordle extends naturally to longer words or even infinite words in an idealized language, and Mastermind similarly has natural infinitary analogues. What is the nature of play in these infinite games? Can the codebreaker play so as to win always at a finite stage of play? The analysis emerges gradually, and in the talk I shall begin slowly with some easy elementary observations. By the end, however, we shall engage with sophisticated ideas in descriptive… 

Speaker: YuShen LinTitle: Gravitational InstantonsVenue: CMSA Room G10Speaker: YuShen Lin (Boston University) Title: Gravitational Instantons Abstract: Gravitational instantons were introduced by Hawking as building blocks of his Euclidean quantum gravity theory back in the 1970s. These are noncompact CalabiYau surfaces with L2 curvature and thus can be viewed as the noncompact analogue of K3 surfaces. K3 surfaces are 2dimensional CalabiYau manifolds and are usually the testing stone before conquering the general CalabiYau problems. The moduli space of K3 surfaces and its compactification on their own form important problems in various branches in geometry. In this talk, we will discuss the Torelli theorem of gravitational instantons, how the cohomological invariants of a gravitational instanton determine them. As a consequence, this leads to a description of the… 

Speaker: Sean CoxTitle: Predicting noncontinuous functionsVenue: CMSA Room G10Speaker: Sean Cox, Virginia Commonwealth University Title: Predicting noncontinuous functions Abstract: One of the strangest consequences of the Axiom of Choice is the following HardinTaylor 2008 result: there is a “predictor” such that for every function $f$ from the reals to the reals—even nowhere continuous $f$—the predictor applied to $f \restriction (\infty,t)$ correctly predicts $f(t)$ for *almost every* $t \in R$. They asked how robust such a predictor could be, with respect to distortions in the time (input) axis; more precisely, for which subgroups $H$ of Homeo^+(R) do there exist $H$invariant predictors? BajpaiVelleman proved an affirmative answer when H=Affine^+(R), and a negative answer when H is (the subgroup generated by) C^\infty(R). They asked about the intermediate region; in particular,… 

Speaker: Tim AdamoTitle: An invitation to strongfield scatteringVenue: CMSA Room G10Speaker: Tim Adamo, University of Edinburgh Title: An invitation to strongfield scattering Abstract: Scattering amplitudes in strong background fields provide an arena where perturbative and nonperturbative physics meet, with important applications ranging from laser physics to black holes, but their study is hampered by the cumbersome nature of QFT in the background field formalism. In this talk, I will try to convince you that strongfield scattering amplitudes contain a wealth of physical information which cannot be obtained with standard perturbative techniques, ranging from allorder classical observables to constraints on exact solutions. Furthermore, I will discuss how amplitudes in certain chiral strong fields can be obtained to allmultiplicity twistor and string methods. 

Speaker: Xin GuoTitle: Generative Adversarial Networks (GANs): An Analytical PerspectiveVenue: CMSA Room G10Speaker: Xin Guo, UC Berkeley Title: Generative Adversarial Networks (GANs): An Analytical Perspective Abstract: Generative models have attracted intense interests recently. In this talk, I will discuss one class of generative models, Generative Adversarial Networks (GANs). I will first provide a gentle review of the mathematical framework behind GANs. I will then proceed to discuss a few challenges in GANs training from an analytical perspective. I will finally report some recent progress for GANs training in terms of its stability and convergence analysis. 

Speaker: Max MetlitskiTitle: Boundary behavior at classical and quantum phase transitionsVenue: CMSA Room G10Speaker: Max Metlitski (MIT) Title: Boundary behavior at classical and quantum phase transitions Abstract: There has been a lot of recent interest in the boundary behavior of materials. This interest is driven in part by the field of topological states of quantum matter, where exotic protected boundary states are ubiquitous. In this talk, I’ll ask: what happens at a boundary of a system, when the bulk goes through a phase transition. While this question was studied in the context of classical statistical mechanics in the 70s and 80s, basic aspects of the boundary phase diagram for the simplest classical phase transitions have been missed until recently. I’ll describe progress in this field, as well as some extensions to quantum phase transitions…. 

Speaker: Julio Parra MartinezTitle: Black hole collider physicsVenue: CMSA Room G10Speaker: Julio Parra Martinez, Caltech Title: Black hole collider physics Abstract: Despite more than a century since the development of Einstein’s theory, the general relativistic twobody problem remains unsolved. A precise description of its solution is now essential, as it is necessary for understanding the stronggravity dynamics of compact binaries observed at LIGO/VIRGO/KAGRA and in future gravitational wave observatories. In this talk, I will describe how considering the scattering of black holes and gravitons can shed new light on this problem. I will explain how using modern ideas from collider and particle physics we can calculate scattering observables in classical gravity, and extract the basic ingredients that describe the bound binary dynamics. Such calculations have produced stateofart predictions… 

Speaker: James HalversonTitle: Unexpected Uses of Neural Networks: Field Theory and Metric FlowsVenue: CMSA Room G10Speaker: James Halverson (Northeastern University) Title: Unexpected Uses of Neural Networks: Field Theory and Metric Flows Abstract: We are now quite used to the idea that deep neural networks may be trained in a variety of ways to tackle cuttingedge problems in physics and mathematics, sometimes leading to rigorous results. In this talk, however, I will argue that breakthroughs in deep learning theory are also useful for making progress, focusing on applications to field theory and metric flows. Specifically, I will introduce a neural network approach to field theory with a different statistical origin, that exhibits generalized free field behavior at infinite width and interactions at finite width, and that allows for the study of symmetries via the study of correlation functions… 

Speaker: Luca IliesiuTitle: Black hole microstate counting from the gravitational path integralVenue: CMSA Room G10Colloquium Speaker: Luca Iliesiu, Stanford Title: Black hole microstate counting from the gravitational path integral Abstract: Reproducing the integer count of black hole microstates from the gravitational path integral is an important problem in quantum gravity. In the first part of the talk, I will show that, by using supersymmetric localization, the gravitational path integral for 1/16BPS black holes in supergravity can reproduce the index obtained in the string theory construction of such black holes. A more refined argument then shows that not only the black hole index but also the total number of black hole microstates within an energy window above extremality that is polynomially suppressed in the charges also matches this string theory index. In the second part of the talk, I will… 

Speaker: Ruth BrittoTitle: Scattering amplitudes in quantum field theoryVenue: CMSA Room G10Speaker: Ruth Britto (Trinity College Dublin) Title: Scattering amplitudes in quantum field theory Abstract: Particle collider experiments require a detailed description of scattering events, traditionally computed through sums of Feynman diagrams. However, it is not practical to evaluate Feynman diagrams directly for all significant scattering processes. Moreover, adding all diagrams reveals many cancellations: scattering amplitudes in theories such as QCD take remarkably simple forms. This simplicity is a clue that the perturbative theory is perhaps best understood without reference to Feynman diagrams. In fact, it has recently become possible to explain some of this simplicity. I will show how to derive many amplitudes efficiently and elegantly, and propose taming the remaining complexity with ideas drawn from combinatorics and… 

Speaker: Mete SonerTitle: Synchronization in a Kuramoto Mean Field GameVenue: CMSA Room G10Speaker: Mete Soner (Princeton University) Title: Synchronization in a Kuramoto Mean Field Game Abstract: Originally motivated by systems of chemical and biological oscillators, the classical Kuramoto model has found an amazing range of applications from neuroscience to Josephson junctions in superconductors, and has become a key mathematical model to describe self organization in complex systems. These autonomous oscillators are coupled through a nonlinear interaction term which plays a central role in the long term behavior of the system. While the system is not synchronized when this term is not sufficiently strong, fascinatingly, they exhibit an abrupt transition to a full synchronization above a critical value of the interaction parameter. We explore this system in the mean field formalism. We treat the system… 

Speaker: Ning SuTitle: Conformal symmetry, Optimization algorithms and the Critical PhenomenaVenue: CMSA Room G10Speaker: Ning Su, University of Pisa Title: Conformal symmetry, Optimization algorithms and the Critical Phenomena Abstract: In the phase diagram of many substances, the critical points have emergent conformal symmetry and are described by conformal field theories. Traditionally, physical quantities near the critical point can be computed by perturbative field theory method, where conformal symmetry is not fully utilized. In this talk, I will explain how conformal symmetry can be used to determine certain physical quantities, without even knowing the fine details of the microscopic structure. To compute the observables precisely, one needs to develop powerful numerical techniques. In the last few years, we have invented many computational tools and algorithms, and predicted critical exponents of Helium4 superfluid… 