Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2406.13980 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912169667330048 |
|---|---|
| author | Huang, Lei |
| author_facet | Huang, Lei |
| contents | This paper studies the complexity of matrix Putinar's Positivstellens{ä}tz on the semialgebraic set that is given by the polynomial matrix inequality. \rev{When the quadratic module generated by the constrained polynomial matrix is Archimedean}, we prove a polynomial bound on the degrees of terms appearing in the representation of matrix Putinar's Positivstellens{ä}tz. Estimates on the exponent and constant are given. As a byproduct, a polynomial bound on the convergence rate of matrix sum-of-squares relaxations is obtained, which resolves an open question raised by Dinh and Pham. When the constraining set is unbounded, we also prove a similar bound for the matrix version of Putinar--Vasilescu's Positivstellens{ä}tz by exploiting homogenization techniques. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_13980 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the complexity of matrix Putinar's Positivstellensatz Huang, Lei Optimization and Control This paper studies the complexity of matrix Putinar's Positivstellens{ä}tz on the semialgebraic set that is given by the polynomial matrix inequality. \rev{When the quadratic module generated by the constrained polynomial matrix is Archimedean}, we prove a polynomial bound on the degrees of terms appearing in the representation of matrix Putinar's Positivstellens{ä}tz. Estimates on the exponent and constant are given. As a byproduct, a polynomial bound on the convergence rate of matrix sum-of-squares relaxations is obtained, which resolves an open question raised by Dinh and Pham. When the constraining set is unbounded, we also prove a similar bound for the matrix version of Putinar--Vasilescu's Positivstellens{ä}tz by exploiting homogenization techniques. |
| title | On the complexity of matrix Putinar's Positivstellensatz |
| topic | Optimization and Control |
| url | https://arxiv.org/abs/2406.13980 |