Source author record

Jean B. Lasserre

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.OC math.FA math.AG math.PR Systems and Control

Catalog footprint

Research overview

10works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Certifying Global Optimality of AC-OPF Solutions via sparse polynomial optimization

We report the experimental results on certifying 1% global optimality of solutions of AC-OPF instances from PGLiB via the CS-TSSOS hierarchy -- a moment-SOS based hierarchy that exploits both correlative and term sparsity, which can provide tighter SDP relaxations than Shor's relaxation. Our numerical experiments demonstrate that the CS-TSSOS hierarchy scales well with the problem size and is indeed useful in certifying global optimality of solutions for large-scale real world problems, e.g., the AC-OPF problem. In particular, we are able to certify 1% global optimality for a challenging AC-OPF instance with 6515 buses involving 14398 real variables and 63577 constraints.

preprint2022arXiv

Non-negative forms, volumes of sublevel sets, complete monotonicity and moment matrices

Let $\mathcal{C}_{d,n}$ be the convex cone consisting of real $n$ -variate degree $d$ forms that are strictly positive on $\mathbb{R}^n\setminus \{\mathbf{0}\}$ . We prove that the Lebesgue volume of the sublevel set $\{g\leq 1\}$ of $g\in \mathcal{C}_{d,n}$ is a completely monotone function on $\mathcal{C}_{d,n}$ and investigate the related properties. Furthermore, we provide (partial) characterization of forms, whose sublevel sets have finite Lebesgue volume. Finally, we discover an interesting property of a centered Gaussian distribution, establishing a connection between the matrix of its degree $d$ moments and the quadratic form given by the inverse of its covariance matrix.

preprint2015arXiv

Moments and Legendre-Fourier Series for Measures Supported on Curves

Some important problems (e.g., in optimal transport and optimal control) have a relaxed (or weak) formulation in a space of appropriate measures whichis much easier to solve. However, an optimal solution $μ$ of the latter solves the former if and only if the measure $μ$ is supported on a "trajectory" $\{(t,x(t))\colon t\in [0,T]\}$ for some measurable function $x(t)$ . We provide necessary and sufficient conditions on moments $(γ\_{ij})$ of a measure $dμ(x,t)$ on $[0,1]^2$ to ensure that $μ$ is supported on a trajectory $\{(t,x(t))\colon t\in [0,1]\}$ . Those conditions are stated in terms of Legendre-Fourier coefficients ${\mathbf f}\_j=({\mathbf f}\_j(i))$ associated with some functions $f\_j\colon [0,1]\to {\mathbb R}$ , $j=1,\ldots$ , where each ${\mathbf f}\_j$ is obtained from the moments $γ\_{ji}$ , $i=0,1,\ldots$ , of $μ$ .

preprint2014arXiv

Tractable approximations of sets defined with quantifiers

Given a compact basic semi-algebraic set $K\subset R^n\times R^m$ , a simple set $B$ (box or ellipsoid), and some semi-algebraic function $f$ , we consider sets defined with quantifiers, of the form $R_f:=\{x\in B: \mbox{$f(x,y)\leq 0 $for all$ y $such that$ (x,y)\in K$}\}$ and $D_f:=\{x\in B: \mbox{$f(x,y)\geq 0 $for some$ y $such that$ (x,y)\in K$}\}$. The former set $R_f$ is particularly useful to qualify "robust" decisions $x$ versus noise parameter $y$ (e.g. in robust optimization on some set $\mathbfΩ\subset B$ ) whereas the latter set $D_f$ is useful (e.g. in optimization) when one does not want to work with its lifted representation $\{(x,y)\in K: f(x,y)\geq 0\}$ . Assuming that $K_x:=\{y:(x,y)\in K\}\neq\emptyset$ for every $x\in B$ , we provide a systematic procedure to obtain a sequence of explicit inner (resp. outer) approximations that converge to $R_f$ (resp. $D_f$ ) in a strong sense. Another (and remarkable) feature is that each approximation is the sublevel set of a single polynomial whose vector of coefficients is an optimal solution of a semidefinite program. Several extensions are also proposed, and in particular, approximations for sets of the form $R_F:=\{x\in B:\mbox{$(x,y)\in F $for all$ y $such that$ (x,y)\in K$}\}$, where $F$ is some other basic-semi algebraic set, and also sets defined with two quantifiers.

preprint2014arXiv

Volume of slices and sections of the simplex in closed form

Given a vector a $\in$ Rn, we provide an alternative and direct proof for the formula of the volume of sections delta $\cap$ {x : a T x \textless{}= t} and slices $\cap$ {x : a T x = t}, t $\in$ R, of the simplex delta. For slices the formula has already been derived but as a by-product of the construction of univariate B-Splines. One goal of the paper is to also show how simple and powerful can be the Laplace transform technique to derive closed form expression for some multivariate integrals. It also complements some previous results obtained for the hypercube [0, 1] n .

preprint2012arXiv

Exploiting symmetries in SDP-relaxations for polynomial optimization

In this paper we study various approaches for exploiting symmetries in polynomial optimization problems within the framework of semi definite programming relaxations. Our special focus is on constrained problems especially when the symmetric group is acting on the variables. In particular, we investigate the concept of block decomposition within the framework of constrained polynomial optimization problems, show how the degree principle for the symmetric group can be computationally exploited and also propose some methods to efficiently compute in the geometric quotient.

preprint2011arXiv

A new look at nonnegativity on closed sets and polynomial optimization

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $dν=fdμ$ with support equal to K, are all positive semidefinite (if $K$ is compact $μ$ is an arbitrary finite Borel measure with support equal to K. In particular, we obtain a convergent explicit hierarchy of semidefinite (outer) approximations with {\it no} lifting, of the cone of nonnegative polynomials of degree at most $d$ . Wen used in polynomial optimization on certain simple closed sets $\K$ (like e.g., the whole space $\R^n$ , the positive orthant, a box, a simplex, or the vertices of the hypercube), it provides a nonincreasing sequence of upper bounds which converges to the global minimum by solving a hierarchy of semidefinite programs with only one variable. This convergent sequence of upper bounds complements the convergent sequence of lower bounds obtained by solving a hierarchy of semidefinite relaxations.

preprint2010arXiv

Certificates of convexity for basic semi-algebraic sets

We provide two certificates of convexity for arbitrary basic semi-algebraic sets of $\R^n$ . The first one is based on a necessary and sufficient condition whereas the second one is based on a sufficient (but simpler) condition only. Both certificates are obtained from any feasible solution of a related semidefinite program and so can be obtained numerically (however, up to machine precision).

preprint2010arXiv

Lp-norms, Log-barriers and Cramer transform in Optimization

We show that the Laplace approximation of a supremum by Lp-norms has interesting consequences in optimization. For instance, the logarithmic barrier functions (LBF) of a primal convex problem P and its dual appear naturally when using this simple approximation technique for the value function g of P or its Legendre-Fenchel conjugate. In addition, minimizing the LBF of the dual is just evaluating the Cramer transform of the Laplace approximation of g. Finally, this technique permits to sometimes define an explicit dual problem in cases when the Legendre-Fenchel conjugate of g cannot be derived explicitly from its definition.

preprint2007arXiv

The moment problem with bounded density

Let $μ$ be a given Borel measure on $\K\subseteq\R^n$ and let $y=(y_α)$ , $α\in\N^n$ , be a given sequence. We provide several conditions linking $y$ and the moment sequence $z=(z_α)$ of $μ$ , for $y$ to be the moment sequence of a Borel measure $ν$ on $\K$ which is absolutely continuous with respect to $μ$ and such that its density is in $L_\infty(\K,μ)$. The conditions are necessary and sufficient if $\K$ is a compact basic semi-algebraic set, and sufficient if $\K\equiv\R^n$. Moreover, arbitrary finitely many of these conditions can be checked by solving either a semidefinite program or a linear program with a single variable

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.