Table of Contents
Fetching ...

Post-Processing with Projection and Rescaling Algorithms for Semidefinite Programming

Shin-ichi Kanoh, Akiko Yoshise

TL;DR

Numerical results show that the proposed algorithm can obtain approximate optimal solutions more accurately than the solvers and be used as a post-processing step for interior point methods of the solvers implementing interior point methods.

Abstract

We propose the algorithm that solves the symmetric cone programs (SCPs) by iteratively calling the projection and rescaling methods the algorithms for solving exceptional cases of SCP. Although our algorithm can solve SCPs by itself, we propose it intending to use it as a post-processing step for interior point methods since it can solve the problems more efficiently by using an approximate optimal (interior feasible) solution. We also conduct numerical experiments to see the numerical performance of the proposed algorithm when used as a post-processing step of the solvers implementing interior point methods, using several instances where the symmetric cone is given by a direct product of positive semidefinite cones. Numerical results show that our algorithm can obtain approximate optimal solutions more accurately than the solvers. When at least one of the primal and dual problems did not have an interior feasible solution, the performance of our algorithm was slightly reduced in terms of optimality. However, our algorithm stably returned more accurate solutions than the solvers when the primal and dual problems had interior feasible solutions.

Post-Processing with Projection and Rescaling Algorithms for Semidefinite Programming

TL;DR

Numerical results show that the proposed algorithm can obtain approximate optimal solutions more accurately than the solvers and be used as a post-processing step for interior point methods of the solvers implementing interior point methods.

Abstract

We propose the algorithm that solves the symmetric cone programs (SCPs) by iteratively calling the projection and rescaling methods the algorithms for solving exceptional cases of SCP. Although our algorithm can solve SCPs by itself, we propose it intending to use it as a post-processing step for interior point methods since it can solve the problems more efficiently by using an approximate optimal (interior feasible) solution. We also conduct numerical experiments to see the numerical performance of the proposed algorithm when used as a post-processing step of the solvers implementing interior point methods, using several instances where the symmetric cone is given by a direct product of positive semidefinite cones. Numerical results show that our algorithm can obtain approximate optimal solutions more accurately than the solvers. When at least one of the primal and dual problems did not have an interior feasible solution, the performance of our algorithm was slightly reduced in terms of optimality. However, our algorithm stably returned more accurate solutions than the solvers when the primal and dual problems had interior feasible solutions.
Paper Structure (40 sections, 24 theorems, 59 equations, 17 figures, 32 tables, 7 algorithms)

This paper contains 40 sections, 24 theorems, 59 equations, 17 figures, 32 tables, 7 algorithms.

Key Result

Proposition 2.2

Figures (17)

  • Figure 1: Experiment flow
  • Figure 2: Numreical results for the well-posed group with Mosek
  • Figure 7: Numreical results for the well-posed group with SDPA
  • Figure 12: Numreical results for the well-posed group with SDPT3
  • Figure 17: Numreical results for the ill-posed group with Mosek
  • ...and 12 more figures

Theorems & Definitions (46)

  • Example 1.1
  • Definition 2.1: Strongly feasible
  • Proposition 2.2
  • proof
  • Definition 2.3: Strongly infeasible
  • Proposition 2.4
  • proof
  • Definition 2.5: Weak status
  • Proposition 2.6: Spectral theorem (cf. Theorem III.1.2 of Faraut1994)
  • Proposition 2.7
  • ...and 36 more