Search
Workshop

Stochastic Exploration of Real Varieties and Applications

  • David Kahle (Baylor University, Waco, USA)
  • Guest
E1 05 (Leibniz-Saal)

Abstract

Nonlinear systems of polynomial equations arise naturally in many applied settings. The solution sets to these systems over the reals are often positive dimensional spaces that in general may be very complicated yet have very nice local behavior almost everywhere. Standard methods in real algebraic geometry for describing positive dimensional real solution sets include cylindrical algebraic decomposition and numerical cell decomposition, both of which can be costly to compute in many practical applications. In this talk, we communicate recent progress towards a Monte Carlo framework for exploring such real solution sets. After describing how to construct probability distributions whose mass focuses on a variety of interest, we use Hamiltonian Monte Carlo to sample points near the variety that may then be magnetized to the variety using endgames. We conclude by showcasing trial experiments and applications using implementations in R and Stan.

This work is joint with Jonathan Hauenstein.

Saskia Gutzschebauch

Max-Planck-Institut für Mathematik in den Naturwissenschaften Contact via Mail

Paul Breiding

Technische Universität Berlin

Jesus De Loera

University of California at Davis

Despina Stasi

Illinois Institute of Technology

Sonja Petrovic

Illinois Institute of Technology