BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jean B. Lasserre

Jean B. Lasserre appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OCmath.FAmath.AGmath.PRSystems and Control

Catalog footprint

What is connected

10works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

10 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 $μ$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 .

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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

0 citations0 reviewsNo code linkedOpen access