| A tight frame is a sequence in a separable Hilbert space satisfying the frame inequality with equal upper and lower bounds and possessing a simple reconstruction formula. We define and study the theory of frame multiplication in finite dimensions. A frame multiplication for a frame is a binary operation on the frame elements that extends to a bilinear vector product on the entire Hilbert space. This is made possible, in part, by the reconstruction property of frames.;The motivation for this work is the desire to define meaningful vector-valued versions of the discrete Fourier transform and the discrete ambiguity function. We make these definitions and prove several familiar harmonic analysis results in this context. These definitions beget the questions we answer through developing frame multiplication theory.;For certain binary operations, those with the Latin square property, we give a characterization of the frames, in terms of their Gramians, that have these frame multiplications. Combining finite dimensional representation theory and Naimark's theorem, we show frames possessing a group frame multiplication are the projections of an orthonormal basis onto the isotypic components of the regular representations. In particular, for a finite group G, we prove there are only finitely many inequivalent frames possessing the group operation of G as a frame multiplication, and we give an explicit formula for the dimensions in which these frames exist. Finally, we connect our theory to a recently studied class of frames; we prove that frames possessing a group frame multiplication are the central G-frames, a class of frames generated by groups of operators on a Hilbert space. |
