##
Real Algebraic Geometry with a View toward Koopman Operator Methods

##
13-17 March 2023

Mathematisches Forschungsinstitut Oberwolfach (MFO),
Germany

## Scope

This is a workshop organized by Didier Henrion, Salma Kuhlmann, Igor Mezic and Victor Vinnikov, as a follow-up of a previous workshop.

## Date and venue

The workshop takes place on 13-17 March 2023
at MFO, Oberwolfach, Germany.

## Scientific programme

**Monday March 13**

9:10-10:10 Rainer Sinn - Real algebraic geometry and Positivstellensaetze (tutorial talk)
10:30-11:30 Alexandre Mauroy - Koopman operator methods (tutorial talk)
11:45-12:25 Thorsten Theobald - Relative entropy methods in real algebraic geometry
16:00-17:00 Etienne de Klerk - Semidefinite and polynomial optimization (tutorial talk)
17:20-18:00 Mareike Dressler - Algebraic perspectives on signomial optimization
18:05-18:25 Benoit Bonnet-Weill - Set-valued generalisations of Koopman operators
**Tuesday March 14**

9:10-10:10 Corbinian Schlosser - Moment-SOS hierarchy and Koopman operator methods (tutorial talk)
10:30-11:30 Bernard Mourrain - Moment-SOS hierarchy and the effective Positivstellensaetze (tutorial talk)
11:45-12:25 Lorenzo Baldi - Degree bounds for Putinar's Positivstellensatz on the hypercube
16:00-17:00 Rainer Nagel - Pure Koopmanism (tutorial talk)
17:20-18:00 Tobias Kuna - Moment problem for algebras generated by a nuclear space
18:05-18:25 David Sawall - Amalgamation of real zero polynomials
**Wednesday March 15**

9:10-9:50 Jurij Volcic - State polynomials: positivity, optimization and nonlinear Bell inequalities
10:05-10:45 Oliver Junge - Entropic transfer operators
11:05-11:45 Tobias Sutter - From infinite to finite programs: explicit error bounds with an application to approximate dynamic programming
12:05-12:25 Sarah Hess - Intermediate cones between the SOS and PSD Cones
20:00-20:25 Bruce Reznick - Odd powers of the Motzkin polynomial (online talk)
20:30-20:55 Mehdi Ghasemi - Community safety and optimization (online talk)
**Thursday March 16**

9:10-9:50 Maria Infusino - An intrinsic characterization of moment functionals in the compact case
10:00-10:40 Dimitris Giannakis - Embedding classical dynamics in a quantum computer
11:00-11:40 Igor Klep - Optimization of noncommutative polynomials and the trace
12:05-12:25 Moritz Schick - The Minkowski sum of sums of squares and
sums of nonnegative circuit forms
16:00-16:40 Konrad Schmuedgen - Positivstellensaetze for semirings
17:00-17:20 Patrick Hermle - A Halmos-von Neumann theorem for action of general groups
17:30-17:50 Alexander Taveira Blomenhofer - A semidefinite algorithm for powers-of-forms decomposition
18:05-18:25 Philipp di Dio - Time-dependent moments from PDEs - The heat equation and its interaction with polynomials
**Friday March 17**

9:00-9:30 Gary Froyland - An elementary view to transfer operators
9:40-10:10 Cynthia Vinzant - Determinantal polynomials and the principal minor map
10:20-10:40 Julian Weigert - ML-degree of statistical models and the beta-invariant of a matroid
10:45-11:05 Ngoc Hoang Anh Mai - Positivity certificates and polynomial optimization on non-compact semialgebraic sets
11:15-11:45 Simone Naldi - On the computation of certificates for the truncated moment problem
11:55-12:25 Greg Blekherman - Trace polynomials, symmetric polynomials and undecidability