TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization
10 pages, 2 figures, 2 tables International audience The Julia library TSSOS aims at helping polynomial optimizers to solve large-scale problems with sparse input data. The underlying algorithmic framework is based on exploiting correlative and term sparsity to obtain a new moment-SOS hierarchy invo...
Main Authors: | , |
---|---|
Other Authors: | , , , , , , , , , , , , , , |
Format: | Conference Object |
Language: | English |
Published: |
HAL CCSD
2021
|
Subjects: | |
Online Access: | https://laas.hal.science/hal-03155742 |
id |
ftanrparis:oai:HAL:hal-03155742v1 |
---|---|
record_format |
openpolar |
spelling |
ftanrparis:oai:HAL:hal-03155742v1 2024-06-02T08:15:17+00:00 TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization Magron, Victor Wang, Jie Institut de Mathématiques de Toulouse UMR5219 (IMT) Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J) Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3) Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS) Équipe Méthodes et Algorithmes en Commande (LAAS-MAC) Laboratoire d'analyse et d'architecture des systèmes (LAAS) Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT) ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019) ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018) European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme) H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019) Tromso, Norway 2021-06-07 https://laas.hal.science/hal-03155742 en eng HAL CCSD info:eu-repo/semantics/altIdentifier/arxiv/2103.00915 info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA hal-03155742 https://laas.hal.science/hal-03155742 ARXIV: 2103.00915 Effective Methods in Algebraic Geometry https://laas.hal.science/hal-03155742 Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC] info:eu-repo/semantics/conferenceObject Conference papers 2021 ftanrparis 2024-05-07T03:26:07Z 10 pages, 2 figures, 2 tables International audience The Julia library TSSOS aims at helping polynomial optimizers to solve large-scale problems with sparse input data. The underlying algorithmic framework is based on exploiting correlative and term sparsity to obtain a new moment-SOS hierarchy involving potentially much smaller positive semidefinite matrices. TSSOS can be applied to numerous problems ranging from power networks to eigenvalue and trace optimization of noncommutative polynomials, involving up to tens of thousands of variables and constraints. Conference Object Tromso Tromso Portail HAL-ANR (Agence Nationale de la Recherche) Norway Tromso ENVELOPE(16.546,16.546,68.801,68.801) |
institution |
Open Polar |
collection |
Portail HAL-ANR (Agence Nationale de la Recherche) |
op_collection_id |
ftanrparis |
language |
English |
topic |
[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC] |
spellingShingle |
[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC] Magron, Victor Wang, Jie TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization |
topic_facet |
[MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC] |
description |
10 pages, 2 figures, 2 tables International audience The Julia library TSSOS aims at helping polynomial optimizers to solve large-scale problems with sparse input data. The underlying algorithmic framework is based on exploiting correlative and term sparsity to obtain a new moment-SOS hierarchy involving potentially much smaller positive semidefinite matrices. TSSOS can be applied to numerous problems ranging from power networks to eigenvalue and trace optimization of noncommutative polynomials, involving up to tens of thousands of variables and constraints. |
author2 |
Institut de Mathématiques de Toulouse UMR5219 (IMT) Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse) Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J) Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3) Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS) Équipe Méthodes et Algorithmes en Commande (LAAS-MAC) Laboratoire d'analyse et d'architecture des systèmes (LAAS) Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole) Université de Toulouse (UT) ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019) ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018) European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme) H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019) |
format |
Conference Object |
author |
Magron, Victor Wang, Jie |
author_facet |
Magron, Victor Wang, Jie |
author_sort |
Magron, Victor |
title |
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization |
title_short |
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization |
title_full |
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization |
title_fullStr |
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization |
title_full_unstemmed |
TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization |
title_sort |
tssos: a julia library to exploit sparsity for large-scale polynomial optimization |
publisher |
HAL CCSD |
publishDate |
2021 |
url |
https://laas.hal.science/hal-03155742 |
op_coverage |
Tromso, Norway |
long_lat |
ENVELOPE(16.546,16.546,68.801,68.801) |
geographic |
Norway Tromso |
geographic_facet |
Norway Tromso |
genre |
Tromso Tromso |
genre_facet |
Tromso Tromso |
op_source |
Effective Methods in Algebraic Geometry https://laas.hal.science/hal-03155742 Effective Methods in Algebraic Geometry, Jun 2021, Tromso, Norway |
op_relation |
info:eu-repo/semantics/altIdentifier/arxiv/2103.00915 info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA hal-03155742 https://laas.hal.science/hal-03155742 ARXIV: 2103.00915 |
_version_ |
1800739411607945216 |