Didier Henrion

activity

20242026

most citedInfinite-dimensional Christoffel-Darboux polynomial kernels on Hilbert spaces

1 citations · 1 across the 10 of their papers we have counts for

collaborators

Showing 2025Show all

5 papers · 1 filter

math.OC2025

Solving Stengle's Example in Rational Arithmetic: Exact Values of the Moment-SOS Relaxations

Didier Henrion

We revisit Stengle's classical univariate polynomial optimization example $min 1 - x^{2} s . t . (1 - x^{2})^{3} \geq 0$ whose constraint description is degenerate at the minimizers. We pro…

math.OC2025

Density, Determinacy, Duality and a Regularized Moment-SOS Hierarchy

Didier Henrion

The standard moment-sum-of-squares (SOS) hierarchy is a powerful method for solving global polynomial optimization problems. However, its convergence relies on Putinar's Positivste…

math.OC2025

Positively not SOS: pseudo-moments and extreme rays in exact arithmetic

Didier Henrion

A polynomial that is a sum of squares (SOS) of other polynomials is evidently positive. The converse is not true, there are positive polynomials which are not SOS. This note focuse…

math.OC2025

Polyconvex double well functions

Didier Henrion, Martin Kružík

We investigate polyconvexity of the double well function $f (X) := ∣ X - X_1 ∣^{2} ∣ X - X_2 ∣^{2}$ for given matrices $X_1, X_2 \in R^{n \times n}$ . Such functions are fundamental in the…

math.OC2025

Maximal entropy in the moment body

Didier Henrion

A moment body is a linear projection of the spectraplex, the convex set of trace-one positive semidefinite matrices. Determining whether a given point lies within a given moment bo…