On the $p$-order Semismoothness of the Metric Projection onto Slices of the Positive Semidefinite Cone
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_ | 1866915478715236352 |
|---|---|
| author | Chen, Ruoning Ma, Jiaming Sun, Defeng |
| author_facet | Chen, Ruoning Ma, Jiaming Sun, Defeng |
| contents | The metric projection onto the positive semidefinite (PSD) cone is strongly semismooth, a property that guarantees local quadratic convergence for many powerful algorithms in semidefinite programming. In this paper, we investigate whether this essential property holds for the metric projection onto an affine slice of the PSD cone, which is the operator implicitly used by many algorithms that handle linear constraints directly. Although this property is known to be preserved for the second-order cone, we conclusively demonstrate that this is not the case for the PSD cone. Specifically, we provide a constructive example that for any $p > 0$, there exists an affine slice of a PSD cone for which the metric projection operator fails to be $p$-order semismooth. This finding establishes a fundamental difference between the geometry of the second-order cone and the PSD cone and necessitates new approaches for both analysis and algorithm design for linear semidefinite programming problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_03977 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On the $p$-order Semismoothness of the Metric Projection onto Slices of the Positive Semidefinite Cone Chen, Ruoning Ma, Jiaming Sun, Defeng Optimization and Control 49J52, 49M15, 90C22 The metric projection onto the positive semidefinite (PSD) cone is strongly semismooth, a property that guarantees local quadratic convergence for many powerful algorithms in semidefinite programming. In this paper, we investigate whether this essential property holds for the metric projection onto an affine slice of the PSD cone, which is the operator implicitly used by many algorithms that handle linear constraints directly. Although this property is known to be preserved for the second-order cone, we conclusively demonstrate that this is not the case for the PSD cone. Specifically, we provide a constructive example that for any $p > 0$, there exists an affine slice of a PSD cone for which the metric projection operator fails to be $p$-order semismooth. This finding establishes a fundamental difference between the geometry of the second-order cone and the PSD cone and necessitates new approaches for both analysis and algorithm design for linear semidefinite programming problems. |
| title | On the $p$-order Semismoothness of the Metric Projection onto Slices of the Positive Semidefinite Cone |
| topic | Optimization and Control 49J52, 49M15, 90C22 |
| url | https://arxiv.org/abs/2509.03977 |