Yuan Zhou (U. Kentucky), Semialgebraic parametric analysis by metaprogramming (SPAM) and its applications in optimization

The Center for Applied Optimization invites you to a seminar on Thursday, January 26, 2023 at 3:00pm ET in the conference room in Weil 401E. Talk details are below.

Title: Semialgebraic parametric analysis by metaprogramming (SPAM) and its applications in optimization
Speaker: Yuan Zhou (University of Kentucky, Department of Mathematics)
Website: https://www.ms.uky.edu/~yzh392/

Abstract: We develop a metaprogramming technique that transforms algebraic programs for testing a property for a given input parameter into programs that compute the parameter region (proof-cell) of the input for which the property holds. The obtained proof-cells are semialgebraic sets. We borrow techniques from global optimization for the simplification and representation of proof-cells, and we investigate strategies that lead to shorter proofs. We discuss a few applications of the SPAM technique to portfolio optimization, solving multi-parametric mixed-integer programs and automated proofs of cutting plane theorems.
Bio: Yuan Zhou is an assistant professor in the Department of Mathematics at the University of Kentucky. She obtained her diplôme d’ingénieur from École Centrale Paris and a master’s degree from Université Paris-Dauphine in 2012 with a focus on Financial Mathematics. She received her Ph.D. in Applied Mathematics in 2017 from University of California, Davis under the supervision of Matthias Köppe. Her research expertise lies in the theory for mixed integer linear optimization, in particular modern cutting plane theory.