Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Wang, Jie, Magron, Victor, Lasserre, Jean-Bernard
Format: Preprint
Published: 2020
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866929249169965056
author Wang, Jie
Magron, Victor
Lasserre, Jean-Bernard
author_facet Wang, Jie
Magron, Victor
Lasserre, Jean-Bernard
contents This work is a follow-up and a complement to arXiv:1912.08899 [math.OC] for solving polynomial optimization problems (POPs). The chordal-TSSOS hierarchy that we propose is a new sparse moment-SOS framework based on term-sparsity and chordal extension. By exploiting term-sparsity of the input polynomials we obtain a two-level hierarchy of semidefinite programming relaxations. The novelty and distinguishing feature of such relaxations is to obtain quasi block-diagonal matrices obtained in an iterative procedure that performs chordal extension of certain adjacency graphs. The graphs are related to the terms arising in the original data and not to the links between variables. Various numerical examples demonstrate the efficiency and the scalability of this new hierarchy for both unconstrained and constrained POPs. The two hierarchies are complementary. While the former TSSOS arXiv:1912.08899 [math.OC] has a theoretical convergence guarantee, the chordal-TSSOS has superior performance but lacks this theoretical guarantee.
format Preprint
id arxiv_https___arxiv_org_abs_2003_03210
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension
Wang, Jie
Magron, Victor
Lasserre, Jean-Bernard
Optimization and Control
14P10, 90C25, 12D15, 12Y05
This work is a follow-up and a complement to arXiv:1912.08899 [math.OC] for solving polynomial optimization problems (POPs). The chordal-TSSOS hierarchy that we propose is a new sparse moment-SOS framework based on term-sparsity and chordal extension. By exploiting term-sparsity of the input polynomials we obtain a two-level hierarchy of semidefinite programming relaxations. The novelty and distinguishing feature of such relaxations is to obtain quasi block-diagonal matrices obtained in an iterative procedure that performs chordal extension of certain adjacency graphs. The graphs are related to the terms arising in the original data and not to the links between variables. Various numerical examples demonstrate the efficiency and the scalability of this new hierarchy for both unconstrained and constrained POPs. The two hierarchies are complementary. While the former TSSOS arXiv:1912.08899 [math.OC] has a theoretical convergence guarantee, the chordal-TSSOS has superior performance but lacks this theoretical guarantee.
title Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension
topic Optimization and Control
14P10, 90C25, 12D15, 12Y05
url https://arxiv.org/abs/2003.03210