Factorization of positive-semidefinite operators with absolutely summable entries
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866918488692490240 |
|---|---|
| author | Balan, Radu Jiang, Fushuai |
| author_facet | Balan, Radu Jiang, Fushuai |
| contents | A problem by Feichtinger, Heil, and Larson asks whether every infinite matrix $A$ with $\sum_{k,l}|A_{kl}| < \infty$ (an equivalent substitute for the Feichtinger algebra) that is positive-semidefinite admits a symmetric rank-one decomposition $A = \sum_k f_k^*\otimes f_k$ with $\sum_k \|f_k\|_{1}^2 < \infty$. In the finite-dimensional setting, we analyze the corresponding quantitative $\ell_1^n$ optimization problem by an exact reformulation as a linear program over measures, derive its dual, and prove strong duality. We then obtain an equivalent adjoint formulation regarding the quality of a convex relaxation. In the infinite-dimensional setting, we first provide a negative answer to this question using a concurrent finite-dimensional result by Bandeira-Mixon-Steinerberger. We further study the collection of operators for which such decomposition exists, showing that they are dense in a suitable topology and invariant under the action of the positive-coefficient analytic Wiener subalgebra. In addition, we give a sufficient condition for successful rank-one decomposition in terms of $2$-summing factorization, and we characterize exactly when $A^{1/2}$ is $2$-summing. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_20372 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Factorization of positive-semidefinite operators with absolutely summable entries Balan, Radu Jiang, Fushuai Functional Analysis Classical Analysis and ODEs 15A60, 47B10, 42C15 (Secondary) A problem by Feichtinger, Heil, and Larson asks whether every infinite matrix $A$ with $\sum_{k,l}|A_{kl}| < \infty$ (an equivalent substitute for the Feichtinger algebra) that is positive-semidefinite admits a symmetric rank-one decomposition $A = \sum_k f_k^*\otimes f_k$ with $\sum_k \|f_k\|_{1}^2 < \infty$. In the finite-dimensional setting, we analyze the corresponding quantitative $\ell_1^n$ optimization problem by an exact reformulation as a linear program over measures, derive its dual, and prove strong duality. We then obtain an equivalent adjoint formulation regarding the quality of a convex relaxation. In the infinite-dimensional setting, we first provide a negative answer to this question using a concurrent finite-dimensional result by Bandeira-Mixon-Steinerberger. We further study the collection of operators for which such decomposition exists, showing that they are dense in a suitable topology and invariant under the action of the positive-coefficient analytic Wiener subalgebra. In addition, we give a sufficient condition for successful rank-one decomposition in terms of $2$-summing factorization, and we characterize exactly when $A^{1/2}$ is $2$-summing. |
| title | Factorization of positive-semidefinite operators with absolutely summable entries |
| topic | Functional Analysis Classical Analysis and ODEs 15A60, 47B10, 42C15 (Secondary) |
| url | https://arxiv.org/abs/2409.20372 |