arXiv subjects

Jameson Cahill

Publications and source records attributed to Jameson Cahill.

24 records · Page 2Linked to original sources

arXiv2012

Full Spark Frames

Finite frame theory has a number of real-world applications. In applications like sparse signal processing, data transmission with robustness to erasures, and reconstruction without phase, there is a pressing need for deterministic constructions of frames with the following property: every size-M subcollection of the M-dimensional frame elements is a spanning set. Such frames are called full spark frames, and this paper provides new constructions using the discrete Fourier transform. Later, we prove that full spark Parseval frames are dense in the entire set of Parseval frames, meaning full spark frames are abundant, even if one imposes an additional tightness constraint. Finally, we prove that testing whether a given matrix is full spark is hard for NP under randomized polynomial-time reductions, indicating that deterministic full spark constructions are particularly significant because they guarantee a property which is otherwise difficult to check.

math.FA↗

arXiv2011

Fusion Frames and the Restricted Isometry Property

We will show that tight frames satisfying the restricted isometry property give rise to nearly tight fusion frames which are nearly orthogonal and hence are nearly equi-isoclinic. We will also show how to replace parts of the RIP frame with orthonormal sets while maintaining the RIP property.

math.FA↗

arXiv2011

Constructing finite frames of a given spectrum and set of lengths

When constructing finite frames for a given application, the most important consideration is the spectrum of the frame operator. Indeed, the minimum and maximum eigenvalues of the frame operator are the optimal frame bounds, and the frame is tight precisely when this spectrum is constant. Often, the second-most important design consideration is the lengths of frame vectors: Gabor, wavelet, equiangular and Grassmannian frames are all special cases of equal norm frames, and unit norm tight frame-based encoding is known to be optimally robust against additive noise and erasures. We consider the problem of constructing frames whose frame operator has a given spectrum and whose vectors have prescribed lengths. For a given spectrum and set of lengths, the existence of such frames is characterized by the Schur-Horn Theorem---they exist if and only if the spectrum majorizes the squared lengths---the classical proof of which is nonconstructive. Certain construction methods, such as harmonic frames and spectral tetris, are known in the special case of unit norm tight frames, but even these provide but a few examples from the manifold of all such frames, the dimension of which is known and nontrivial. In this paper, we provide a new method for explicitly constructing any and all frames whose frame operator has a prescribed spectrum and whose vectors have prescribed lengths. The method itself has two parts. In the first part, one chooses eigensteps---a sequence of interlacing spectra---that transform the trivial spectrum into the desired one. The second part is to explicitly compute the frame vectors in terms of these eigensteps; though nontrivial, this process is nevertheless straightforward enough to be implemented by hand, involving only arithmetic, square roots and matrix multiplication.

math.FA↗

arXiv2011

The Paulsen Problem in Operator Theory

The Paulsen Problem in Hilbert space frame theory has proved to be one of the most intractable problems in the field. We will help explain why by showing that this problem is equivalent to a fundamental, deep problem in operator theory. Along the way we will give a new exact computation for chordal distances, we will give a generalization of these problems and we will spell out exactly the complementary versions of the problem.

math.FA↗

arXiv2010

Non-orthogonal fusion frames and the sparsity of fusion frame operators

Fusion frames have become a major tool in the implementation of distributed systems. The effectiveness of fusion frame applications in distributed systems is reflected in the efficiency of the end fusion process. This in turn is reflected in the efficiency of the inversion of the fusion frame operator $S_{\cW}$, which in turn is heavily dependent on the sparsity of $S_{\cW}$. We will show that sparsity of the fusion frame operator naturally exists by introducing a notion of {\it non-orthogonal fusion frames}. We show that for a fusion frame $\{W_i,v_i\}_{i\in I}$, if $\text{dim}(W_i)=k_i$, then the matrix of the non-orthogonal fusion frame operator $\cSw$ has in its corresponding location at most a $k_i\times k_i$ block matrix. We provide necessary and sufficient conditions for which the new fusion frame operator $\cSw$ is diagonal and/or a multiple of an identity. A set of other critical questions are also addressed. A scheme of {\it multiple fusion frames} whose corresponding fusion frame operator becomes an diagonal operator is also examined.

math.FA↗

arXiv2010

A quantitative notion of redundancy for infinite frames

Bodmann, Casazza and Kutyniok introduced a quantitative notion of redundancy for finite frames - which they called {\em upper and lower redundancies} - that match better with an intuitive understanding of redundancy for finite frames in a Hilbert space. The objective of this paper is to see how much of this theory generalizes to infinite frames.

math.FA↗