The advancement in computing and storage capabilities of modern computational clusters fosters use of novel statistical techniques in machine learning and deep networks. Such data-driven techniques allow one to learn model features and characteristics that are difficult for mathematical methods alone to reveal. Many computational methods achieve model and complexity discovery using methods that lie at the nexus of mathematical, statistical, and computational disciplines. Statistical methods often employ “big data” approaches that glean predictive capability from diverse and enormous databases of information. Emerging methods in machine learning and deep networks can provide impressive results. This workshop gathers researchers at the frontier of large-scale statistical computation, data science, tensor decompositions and approximations, and data-driven model learning, to focus on modern challenges that use data to reduce complexity of models.

Mathematical advances that reduce the complexity of models are complemented by algorithms that achieve the desired reduction in computational effort. This workshop focuses on the synthesis and development of algorithmic approaches to model order reduction. These methods tackle fundamental problems in structure- and topology-preserving reductions, low-rank models and dimension reduction, multi-level approaches, and empirical interpolation and approximations, etc. Complementary approaches that target computational efficiency include strategies with offline and online phases and divide-and-conquer algorithms.

The purpose of this workshop is to bring together experts in representation theory, categorification, low-dimensional topology, mathematical physics, and combinatorics, in order to understand how categorifications of the braid groups and Hecke algebras allow one to compute and understand link invariants. Our concrete goals are to:

(a) develop and compare various algebro-geometric models for link homology, and use them to explicitly compute Khovanov-Rozansky homology of various links

(b) categorify various structures in the Hecke algebra (center, cocenter, Kazhdan-Lusztig cells, Jones-Wenzl projectors) using Soergel bimodules

(c) compare the geometric and algebraic constructions above, and understand the connection between the (co)center of the Soergel category and the Hilbert scheme of points on the plane

This workshop is fully funded by a Simons Foundation Targeted Grant to Institutes.

Mathematical models of scientific applications often involve simulations with a large number of degrees of freedom that strain even the most efficient of algorithms. A clear need is the rigorous development of models with reduced complexity that retain fidelity to the application. Mathematics-based reduced-order modeling applies techniques in nonlinear approximation, projection-based discretizations, sparse surrogate construction, and high-dimensional approximation, in order to construct a model surrogate with near-optimal approximation properties. This workshop focuses on theoretical and algorithmic advances in mathematics-based model order reduction of various types: reduced basis methods, projection-based methods for dynamical systems, and sparse and low-rank approximations in high dimensions.

Today's computational and experimental paradigms feature complex models along with disparate and, frequently, enormous data sets. This necessitates the development of theoretical and computational strategies for efficient and robust numerical algorithms that effectively resolve the important features and characteristics of these complex computational models. The desiderata for resolving the underlying model features is often application-specific and combines mathematical tasks like approximation, prediction, calibration, design, and optimization. Running simulations that fully account for the variability of the complexities of modern scientific models can be infeasible due to the curse of dimensionality, chaotic behavior or dynamics, and/or overwhelming streams of informative data.

This semester program focuses on both theoretical investigation and practical algorithm development for reduction in the complexity - the dimension, the degrees of freedom, the data - arising in these... (more)

Liquid crystals (LCs) are classic examples of partially ordered materials that combine the fluidity of liquids with the long-range order of solids, and have great potential to enable new materials and technological devices. A variety of LC phases exist, e.g. nematics, smectics, cholesterics, with a rich range of behavior when subjected to external fields, curved boundaries, mechanical strain, etc. Recently, new systems came into focus, such as bent-core LC phases, twist-bend-modulated nematics, chromonics and polymer-stabilized blue phases, with more to be discovered.

Best known for applications in displays, LCs have recently been proposed for new applications in biology, nanoscience and beyond, such as biosensors, actuators, drug delivery, and bacterial control (related to active matter). Indeed, it is believed that the LC nature of DNA once enabled the mother of all applications, namely life itself. New numerical methods and scientific computation is needed to guide new theory and... (more)

This panel discussion will explore the different ways in which artists and mathematicians approach mathematical concepts. We expect a dynamic conversation that will spark continued dialogue and future collaborations.

This workshop will focus on the theoretical insights developed via illustration, visualization, and computational experiment in dynamical systems and probability theory. Some topics from complex dynamics include: dynamical moduli spaces and their dynamically-defined subvarieties, degenerations of dynamical systems as one moves toward the boundary of moduli space, and the structure of algebraic data coming from a family of dynamical systems. In classical dynamical systems, some topics include: flows on hyperbolic spaces and Lorentz attractors, simple physical systems like billiards in two and three dimensional domains, and flows on moduli spaces. In probability theory, the workshop features: random walks and continuous time random processes like Brownian motion, SLE, and scaling limits of discrete systems.

This workshop is partially funded by the Alfred P. Sloan Foundation award G-2019-11406 and supported by a Simons Foundation Targeted Grant to Institutes.

Thurston maps are orientation-preserving branched covering maps of the two-sphere to itself for which the forward orbits of the branch points form a finite set. They arise in the classification of complex dynamical systems.

Recent work has shown close connections between the combinatorial, topological, and algebraic theory of Thurston maps and that of mapping class groups. The algorithmic and computational theories of mapping class groups are highly advanced and have reached the point of effective implementation via computer programs. However, such implementations for Thurston maps are significantly less advanced. The aim of the proposed Hot Topic workshop is to bring together researchers in the computational theory of mapping class groups and those in the combinatorial theory of Thurston maps in order to make headway on fundamental problems.

This workshop is fully funded by a Simons Foundation Targeted Grant to Institutes.

The symbiotic relationship between the illustration of mathematics and mathematical research is now flowering in algebra and number theory. This workshop aims to both showcase and develop these connections, including the development of new visualization tools for algebra and number theory. Topics are wide-ranging, and include Apollonian circle packings and the illustration of the arithmetic of hyperbolic manifolds more generally, the visual exploration of the statistics of integer sequences, and the illustrative geometry of such objects as Gaussian periods and Fourier coefficients of modular forms. Other topics may include expander graphs, abelian sandpiles, and Diophantine approximation on varieties. We will also focus on diagrammatic algebras and categories such as Khovanov-Lauda-Rouquier algebras, Soergel bimodule categories, spider categories, and foam categories. The ability to visualize complicated relations diagrammatically has led to important advances in representation theory... (more)

This panel discussion will explore the different ways in which artists and mathematicians approach mathematical concepts. We expect a dynamic conversation that will spark continued dialogue and future collaborations.