# Workshop on Software and Applications of Numerical Nonlinear Algebra

## Abstracts for the talks

**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**

## Date and Location

**May 31 - June 02, 2021**

Max Planck Institute for Mathematics in the Sciences

Virtual event - Videobroadcast

## Scientific Organizers

**Paul Breiding**, MPI for Mathematics in the Sciences**Taylor Brysiewicz**, MPI for Mathematics in the Sciences**Simon Telen**, MPI for Mathematics in the Sciences**Sascha Timme**, Technical University Berlin

## Administrative Contact

**Saskia Gutzschebauch**

MPI for Mathematics in the Sciences

Contact by Email