Many problems that arise in mathematics, science, and engineering can be formulated as solving a parameterized system of polynomial equations which must be solved for given instances of the parameters. One way to solve these systems is to use a common technique within numerical algebraic geometry called homotopy continuation. My talk will start with background on homotopy continuation and parametrized polynomial systems, followed by applications to problems in computer vision and kinematics. Of these, I will first present a new approach which uses locally adaptive methods and sparse matrix calculations to solve parameterized overdetermined systems in projective space. Examples will be provided in 2D image reconstruction to compare the new methods with traditional approaches in numerical algebraic geometry. Second, I will discuss a new definition of monodromy action over the real numbers which encodes tiered characteristics regarding real solutions. Examples will be given to show the benefits of this definition over a naive extension of the monodromy group (over the complex numbers). In addition, an application in kinematics will be discussed to highlight the computational method and impact on calibration.

I will give an informal overview of the history and status of my field. Local invariants of Riemannian metrics are called curvature, the weakest of which is known as "scalar curvature." The study of metrics with positive scalar curvature is very rich with >100 year old connections to General Relativity and smooth topology. Does this geometric condition have topological implications? The answer turns out to be "yes," but mathematicians continue to search for the true heart of the positive scalar curvature conditions.

An emerging way to protect privacy is to replace true data by synthetic data. Medical records of artificial patients, for example, could retain meaningful statistical information while preserving privacy of the true patients. But what is synthetic data, and what is privacy? How do we define these concepts mathematically? Is it possible to make synthetic data that is both useful and private? I will tie these questions to a simple-looking problem in probability theory: how much information about a random vector X is lost when we take conditional expectation of X with respect to some sigma-algebra? This talk is based on a series of papers with March Boedihardjo and Thomas Strohmer.

Talk given at SEPC 2021 in honor of Elizabeth Meckes

Many modern problems in data science aim to efficiently and accurately extract important features and make predictions from high dimensional and large data sets. Naturally occurring structure in the data underpins the success of many contemporary approaches, but large gaps between theory and practice remain. In this talk, I will present recent progress on two different methods for nonparametric regression that can be viewed as the projection of a lifted formulation of the problem with a simple stochastic or convex geometric description, allowing the projection to encapsulate the data structure. In particular, I will first describe how the theory of stationary random tessellations in stochastic geometry can address the computational and theoretical challenges of random decision forests with non-axis-aligned splits. Second, I will present a new approach to convex regression that returns non-polyhedral convex estimators compatible with semidefinite programming. These works open many directions of future work at the intersection of stochastic and convex geometry, machine learning, and optimization.

David Aldous, Probability Seminar Sept 30, 2021 TITLE: Can one prove existence of an infectiousness threshold (for a pandemic) in very general models of disease spread? ABSTRACT: Intuitively, in any kind of disease transmission model with an infectiousness parameter, there should exist a critical value of the parameter separating a very likely from a very unlikely resulting pandemic. But even formulating a general conjecture is challenging. In the most simplistic model (SI) of transmission, one can prove this for an essentially arbitrary large weighted contact network. The proof for SI depends on a simple lemma concerning hitting times for increasing set-valued Markov processes. Can one extend to SIR or SIS models over similarly general networks, where the lemma is no longer applicable?

We call a non-trivial homology 3-sphere a Kirby-Ramanujam sphere if it bounds a homology plane, an algebraic complex smooth surface with the same homology groups of the complex plane. In this talk, we present several infinite families of Kirby-Ramanujam spheres bounding Mazur type 4-manifolds, compact contractible smooth 4-manifolds built with only 0-, 1-, and 2-handles. Such an interplay between complex surfaces and 4-manifolds was first observed by Ramanujam and Kirby around nineteen-eighties. This is upcoming joint work with Rodolfo Aguilar Aguilar.