Manifold structure of spaces of spherical tight frames
arXiv:math/0307367
Abstract
We consider the space F^E_{k,n} of all spherical tight frames of k vectors in real or complex n--dimensional Hilbert space E^n, i.e. E=R or E=C, and its orbit space G^E_{k,n}=F^E_{k,n}/O^E_n under the obvious action of the group O^E_n of structure preserving transformations of E^n. We show that the quotient map F^E_{k,n} -> G^E_{k,n} is a locally trivial fiber bundle (also in the more general case of ellipsoidal tight frames) and that there is a homeomorphism G^E_{k,n} -> G^E_{k,k-n}. We show that G^E_{k,n} and F^E_{k,n} are real manifolds whenever k and n are relatively prime, and we describe them as disjoint unions of finitely many manifolds (of various dimensions) when when k and n have a common divisor. We also prove that F^R_{k,2} is connected (k >= 4) and F^R_{n+2,n} is connected, (n >= 2). The spaces G^R_{4,2} and G^R_{5,2} are investigated in detail. The former is found to be a graph and the latter is the orientable surface of genus 25.
The new version corrects some typographical errors, including a misleading error in the abstract: we show connectedness of F^R_{k,2}, not of more general F^R_{k,n}
References in corpus (1)
Cited by in corpus (14)
- Symplectic Geometry and Connectivity of Spaces of Frames
- Moving Parseval frames for vector bundles
- Phase retrieval from very few measurements
- Admissibility and Frame Homotopy for Quaternionic Frames
- Toric Symplectic Geometry and Full Spark Frames
- Constructing all self-adjoint matrices with prescribed spectrum and diagonal
- Projections and idempotents with fixed diagonal and the homotopy problem for unit tight frames
- Moving finite unit tight frames for
- Frame potentials and the geometry of frames
- On the existence of Parseval frames for vector bundles
- The algebraic matroid of the funtf variety
- Connectivity and Irreducibility of Algebraic Varieties of Finite Unit Norm Tight Frames
- Auto-tuning unit norm frames
- Noncommutative Spherical Tight Frames in finitely generated Hilbert C*-modules