Optimization and the Topology of Spaces of Parseval Frames
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909617878990848 |
|---|---|
| author | Caine, Anthony Needham, Tom Shonkwiler, Clayton |
| author_facet | Caine, Anthony Needham, Tom Shonkwiler, Clayton |
| contents | A Parseval frame is a spanning set for a Hilbert space which satisfies the Parseval identity: a vector can be expressed as a linear combination of the frame whose coefficients are inner products with the frame vectors. There is considerable interest within the signal processing community in the structural properties of the space of finite-dimensional Parseval frames whose vectors all have the same norm, or which satisfy more general prescribed norm constraints. In this paper, we introduce a function on the space of arbitrary spanning sets that jointly measures the failure of a spanning set to satisfy both the Parseval identity and given norm constraints. We show that, despite its nonconvexity, this function has no spurious local minimizers, thereby extending the Benedetto--Fickus theorem to this non-compact setting. In particular, this shows that gradient descent converges to an equal norm Parseval frame when initialized within a dense open set in the associated matrix space. We then apply this result to study the topology of frame spaces. Using our Benedetto--Fickus-type result, we realize spaces of Parseval frames with prescribed norms as deformation retracts of simpler spaces, leading to explicit conditions which guarantee the vanishing of their homotopy groups. These conditions yield new path-connectedness results for spaces of real Parseval frames, generalizing the Frame Homotopy Theorem, which has seen significant interest in recent years. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_14860 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Optimization and the Topology of Spaces of Parseval Frames Caine, Anthony Needham, Tom Shonkwiler, Clayton Functional Analysis Optimization and Control Symplectic Geometry A Parseval frame is a spanning set for a Hilbert space which satisfies the Parseval identity: a vector can be expressed as a linear combination of the frame whose coefficients are inner products with the frame vectors. There is considerable interest within the signal processing community in the structural properties of the space of finite-dimensional Parseval frames whose vectors all have the same norm, or which satisfy more general prescribed norm constraints. In this paper, we introduce a function on the space of arbitrary spanning sets that jointly measures the failure of a spanning set to satisfy both the Parseval identity and given norm constraints. We show that, despite its nonconvexity, this function has no spurious local minimizers, thereby extending the Benedetto--Fickus theorem to this non-compact setting. In particular, this shows that gradient descent converges to an equal norm Parseval frame when initialized within a dense open set in the associated matrix space. We then apply this result to study the topology of frame spaces. Using our Benedetto--Fickus-type result, we realize spaces of Parseval frames with prescribed norms as deformation retracts of simpler spaces, leading to explicit conditions which guarantee the vanishing of their homotopy groups. These conditions yield new path-connectedness results for spaces of real Parseval frames, generalizing the Frame Homotopy Theorem, which has seen significant interest in recent years. |
| title | Optimization and the Topology of Spaces of Parseval Frames |
| topic | Functional Analysis Optimization and Control Symplectic Geometry |
| url | https://arxiv.org/abs/2505.14860 |