Title: Moment polynomial optimization and application to nonlinear Bell inequalities
Victor Magron, CNRS, LAAS
Abstract: This talk is about the algebraic framework of moment polynomials, which are polynomial expressions in commuting variables and their formal mixed moments. Their positivity and optimization over probability measures supported on semialgebraic sets and subject to moment polynomial constraints is investigated.
This result gives rise to a converging hierarchy of semidefinite programs for moment polynomial optimization. As an application, two nonlinear Bell inequalities from quantum physics are settled.
This talk will start gently with the case of polynomial optimization problems in real variables.
Time: Fri 2026-08-14 14.00 - 15.00
Location: Seminar rrom 3721
Language: English
Participating: Victor Magron, CNRS, LAAS.
Bio: Victor Magron is a senior CNRS researcher at the Laboratoire d’analyse et d’architecture des systèmes (LAAS-CNRS), in the department of Decision and Optimization, in Toulouse, France. He did a PhD about formal proofs for global optimization at Ecole Polytechnique, France, under the supervision of Benjamin Werner and Stéphane Gaubert. One of the main purposes was to certify nonlinear inequalities used in the proof of the Kepler Conjecture by Thomas Hales (Flyspeck Project), completed in 2014. In 2014, he was a Postdoc in the Methods and Algorithms for Control (MAC) team from LAAS-CNRS under the supervision of Didier Henrion and Jean-Bernard Lasserre. In 2014-2015, he was a Research Associate in the Circuits and Systems group at Imperial College, in collaboration with George A. Constantinides and Alastair Donaldson. From 2015 to 2018, he was a CNRS junior researcher affiliated to VERIMAG in Grenoble. In 2019, he was affiliated to LAAS-CNRS, in the MAC team, located in Toulouse. He has been also associated researcher to the Institute of Mathematics from Toulouse since 2020. Since 2022 he has taken the lead of a new team in LAAS focusing on polynomial and moment optimization, called POP.