Paul Breiding
Max Planck Institute for Mathematics in the Sciences
Time: Monday, May 31, 2021, 10:30

What is Homotopy Continuation?

Taylor Brysiewicz
Max Planck Institute for Mathematics in the Sciences
Time: Tuesday, June 01, 2021, 12:00

Monodromy

Taylor Brysiewicz
Max Planck Institute for Mathematics in the Sciences
Time: Wednesday, June 02, 2021, 10:30

Witness Sets

Timothy Duff
Georgia Institute of Technology
Time: Tuesday, June 01, 2021, 17:00

Tale of Two Homographies

This is a talk about symmetries in polynomial systems. Once we know what they look like, we can exploit them in various ways (e.g. inside of parameter homotopies, monodromy, etc.) How do we know if they exist? One reasonable answer comes via the monodromy group itself -- viewed as a subgroup of the symmetric group, the centralizer of the monodromy group is isomorphic to a group of rational deck transformations. These deck transformations are typically the symmetries we seek. In general, the equations defining them might be complicated. A notable example of such a deck transformation is the "twisted pair" map which appears when estimating the relative pose between two cameras. Two solutions to this problem which differ up to a twisted pair map to the same essential matrix. The ideal of polynomials that vanish on all essential matrices is minimally generated by ten cubic equations. I will introduce an analogous problem involving 3 cameras and the interesting equations we discovered. (Joint work with Viktor Korotynskiy, Tomas Pajdla, and Maggie Regan.)

Alexander Heaton
The Fields Institute
Time: Tuesday, June 01, 2021, 16:30

Logarithmic Voronoi Cells

Using both Monodromy (Taylor's lecture) and Parameter Homotopies (Sascha's lecture) we will apply Numerical Nonlinear Algebra to statistics. Usually, a Voronoi cell is the subset of points closest to your favorite point, as measured by Euclidean distance. If your favorite point lies on a statistical model, the log-likelihood function (of maximum likelihood estimation) can replace Euclidean distance, and the resulting Voronoi cells are called logarithmic. All points in a logarithmic Voronoi cell have the same maximum likelihood estimate on the statistical model. We will use Numerical Nonlinear Algebra to compute the logarithmic Voronoi cells of our favorite point on a statistical model, and observe directly their (sometimes) nonlinear boundaries.

Julia Lindberg
University of Wisconsin-Madison
Time: Wednesday, June 02, 2021, 17:00

Method of Moments for Gaussian Mixture Models

The method of moments is a statistical method for density estimation that equates sample moments to moment equations for a given family of densities. When the underlying distribution is assumed to be a convex combination of Gaussian densities, the resulting moment equations are polynomial in the density parameters. Using monodromy, polyhedral and parameter homotopy methods, we examine the asymptotic behavior of the variety stemming from these equations as the number of components and the dimension of each component increases. This is joint work with Jose Israel Rodriguez and Carlos Amendola.

Margaret Regan
Duke University
Time: Monday, May 31, 2021, 17:00

Applications of Parameter Homotopies

Many problems in applications such as computer vision and engineering can be formulated as solving a parameterized system of polynomial equations for various instances of the parameters. By using homotopy continuation (Paul’s lecture) within numerical algebraic geometry, one can solve these parameterized polynomial systems using parameter homotopies (Sascha’s lecture). In computer vision, parameter homotopies can be naturally overdetermined which can lead to challenges when performing numerical computations. It can also be worthwhile to construct real parameter homotopies in order to more efficiently compute the real solutions for the particular application. This talk will use examples to discuss methods to overcome various challenges as well as discuss methods for constructing parameter homotopies that only compute real solutions.

Simon Telen
Max Planck Institute for Mathematics in the Sciences
Time: Tuesday, June 01, 2021, 10:30

Total Degree and Polyhedral Homotopy

Sascha Timme
Technical University Berlin
Time: Monday, May 31, 2021, 12:00

Parameter Homotopies

Sascha Timme
Technical University Berlin
Time: Wednesday, June 02, 2021, 12:00

Certification