Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911136089112576 |
|---|---|
| author | Handa, Marouan Tyburec, Marek Fantuzzi, Giovanni Magron, Victor Kočvara, Michal |
| author_facet | Handa, Marouan Tyburec, Marek Fantuzzi, Giovanni Magron, Victor Kočvara, Michal |
| contents | The Arrow Decomposition (AD) technique, initially introduced in [Mathematical Programming 190(1-2) (2021), pp 105-134], demonstrated superior scalability over the classical chordal decomposition in the context of Linear Matrix Inequalities (LMIs) if the matrix in question satisfied suitable assumptions. The primary objective of this paper is to extend the AD method to address Polynomial Optimization Problems (POPs) involving large-scale Polynomial Matrix Inequalities (PMIs), with the solution framework relying on moment-sum of square (mSOS) hierarchies. As a first step, we revisit the LMI case and weaken the conditions necessary for the key AD theorem presented in [Mathematical Programming 190(1-2) (2021), pp 105-134]. This modification allows the method to be applied to a broader range of problems. Next, we propose a practical procedure that reduces the number of additional variables, drawing on physical interpretations often found in structural optimization applications. For the PMI case, we explore two distinct approaches to combine the AD technique with mSOS hierarchies. One approach involves applying AD to the original POP before implementing the mSOS relaxation. The other approach applies AD directly to the mSOS relaxations of the POP. We establish convergence guarantees for both approaches and prove that theoretical properties extend to the polynomial case. Finally, we illustrate the significant computational advantages offered by the application of AD, particularly in the context of structural optimization problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_02849 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization Handa, Marouan Tyburec, Marek Fantuzzi, Giovanni Magron, Victor Kočvara, Michal Optimization and Control The Arrow Decomposition (AD) technique, initially introduced in [Mathematical Programming 190(1-2) (2021), pp 105-134], demonstrated superior scalability over the classical chordal decomposition in the context of Linear Matrix Inequalities (LMIs) if the matrix in question satisfied suitable assumptions. The primary objective of this paper is to extend the AD method to address Polynomial Optimization Problems (POPs) involving large-scale Polynomial Matrix Inequalities (PMIs), with the solution framework relying on moment-sum of square (mSOS) hierarchies. As a first step, we revisit the LMI case and weaken the conditions necessary for the key AD theorem presented in [Mathematical Programming 190(1-2) (2021), pp 105-134]. This modification allows the method to be applied to a broader range of problems. Next, we propose a practical procedure that reduces the number of additional variables, drawing on physical interpretations often found in structural optimization applications. For the PMI case, we explore two distinct approaches to combine the AD technique with mSOS hierarchies. One approach involves applying AD to the original POP before implementing the mSOS relaxation. The other approach applies AD directly to the mSOS relaxations of the POP. We establish convergence guarantees for both approaches and prove that theoretical properties extend to the polynomial case. Finally, we illustrate the significant computational advantages offered by the application of AD, particularly in the context of structural optimization problems. |
| title | Moment-SOS hierarchies for arrow-type polynomial matrix inequalities with applications to structural optimization |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2509.02849 |