semidefinite programming

Exploiting Low-Rank Structure in Semidefinite Programming by Approximate Operator Splitting

  • Joaquim Dias Garcia
  • Mario Souto
  • Alvaro Viega
    • Categories Convex Optimization, Optimization Software and Modeling Systems, Semi-definite Programming Tags , , , , ,

    In contrast with many other convex optimization classes, state-of-the-art semidefinite programming solvers are yet unable to efficiently solve large scale instances. This work aims to reduce this scalability gap by proposing a novel proximal algorithm for solving general semidefinite programming problems. The proposed methodology, based on the primal-dual hybrid gradient method, allows the presence of … Read more

    Tight-and-cheap conic relaxation for the optimal reactive power dispatch problem

  • Miguel F. Anjos
  • Christian Bingane
  • Sébastien Le Digabel
    • Categories Linear, Cone and Semidefinite Programming Tags , , , ,

    The optimal reactive power dispatch (ORPD) problem is an alternating current optimal power flow (ACOPF) problem where discrete control devices for regulating the reactive power, such as shunt elements and tap changers, are considered. The ORPD problem is modelled as a mixed-integer nonlinear optimization problem and its complexity is increased compared to the ACOPF problem, … Read more

    An oracle-based projection and rescaling algorithm for linear semi-infinite feasibility problems and its application to SDP and SOCP

  • Tomonari Kitahara
  • Bruno F. Lourenço
  • Masakazu Muramatsu
  • Takashi Tsuchiya
  • Takayuki Okuno
    • Categories Linear, Cone and Semidefinite Programming, Semi-infinite Programming Tags , , ,

    We point out that Chubanov’s oracle-based algorithm for linear programming [5] can be applied almost as it is to linear semi-infinite programming (LSIP). In this note, we describe the details and prove the polynomial complexity of the algorithm based on the real computation model proposed by Blum, Shub and Smale (the BSS model) which is … Read more

    A Branch-and-Cut Algorithm for Solving Mixed-integer Semidefinite Optimization Problems

  • Ken Kobayashi
  • Yuichi Takano
    • Categories (Mixed) Integer Nonlinear Programming, Global Optimization, Semi-definite Programming Tags , , ,

    This paper is concerned with a cutting-plane algorithm for solving mixed-integer semidefinite optimization (MISDO) problems. In this algorithm, the positive semidefinite constraint is relaxed, and the resultant mixed-integer linear optimization problem is repeatedly solved with valid inequalities for the relaxed constraint. We prove convergence properties of the algorithm. Moreover, to speed up the computation, we … Read more

    Time-Varying Semidefinite Programs

  • Amir Ali Ahmadi
  • Bachir El Khadir
    • Categories Basic Sciences Applications, Infinite Dimensional Optimization, Semi-definite Programming Tags , , , , ,

    We study time-varying semidefinite programs (TV-SDPs), which are semidefinite programs whose data (and solutions) are functions of time. Our focus is on the setting where the data varies polynomially with time. We show that under a strict feasibility assumption, restricting the solutions to also be polynomial functions of time does not change the optimal value … Read more

    Semidenite Approximations of Invariant Measures for Polynomial Systems

  • Marcelo Forets
  • Didier Henrion
  • Victor Magron
    • Categories Semi-definite Programming, Systems governed by Differential Equations Optimization Tags , , , ,

    We consider the problem of approximating numerically the moments and the supports of measures which are invariant with respect to the dynamics of continuousand discrete-time polynomial systems, under semialgebraic set constraints. First, we address the problem of approximating the density and hence the support of an invariant measure which is absolutely continuous with respect to … Read more

    A multilevel analysis of the Lasserre hierarchy

  • Juan S. Campos
  • Panos Parpas
  • Ruth Misener
    • Categories Linear, Cone and Semidefinite Programming, Semi-definite Programming Tags ,

    This paper analyzes the relation between different orders of the Lasserre hierarchy for polynomial optimization (POP). Although for some cases solving the semidefinite programming relaxation corresponding to the first order of the hierarchy is enough to solve the underlying POP, other problems require sequentially solving the second or higher orders until a solution is found. … Read more

    Strict Complementarity in MaxCut SDP

  • Marcel K. de Carli Silva
  • Levent Tunçel
    • Categories Linear, Cone and Semidefinite Programming Tags , , , , ,

    The MaxCut SDP is one of the most well-known semidefinite programs, and it has many favorable properties. One of its nicest geometric/duality properties is the fact that the vertices of its feasible region correspond exactly to the cuts of a graph, as proved by Laurent and Poljak in 1995. Recall that a boundary point x … Read more

    Distributionally robust optimization with polynomial densities: theory, models and algorithms

  • Etienne de Klerk
  • Daniel Kuhn
  • Krzysztof Postek
    • Categories Robust Optimization, Semi-definite Programming Tags , , ,

    In distributionally robust optimization the probability distribution of the uncertain problem parameters is itself uncertain, and a fictitious adversary, e.g., nature, chooses the worst distribution from within a known ambiguity set. A common shortcoming of most existing distributionally robust optimization models is that their ambiguity sets contain pathological discrete distribution that give nature too much … Read more

    Moments and convex optimization for analysis and control of nonlinear partial differential equations

  • Didier Henrion
  • Jean-Bernard Lasserre
  • Milan Korda
    • Categories Distributed Control, Optimization of Systems modeled by PDEs, Semi-definite Programming Tags , , , ,

    This work presents a convex-optimization-based framework for analysis and control of nonlinear partial differential equations. The approach uses a particular weak embedding of the nonlinear PDE, resulting in a \emph{linear} equation in the space of Borel measures. This equation is then used as a constraint of an infinite-dimensional linear programming problem (LP). This LP is … Read more