Source author record

Peter G. Casazza

Peter G. Casazza appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

38works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

38 published item(s)

preprint2022arXiv

Piecewise scalable frames

In this paper we define "piecewise scalable frames". This new scaling process allows us to alter many frames to Parseval frames which is impossible by the previous standard scaling. We give necessary and sufficient conditions for a frame to be piecewise scalable. We show that piecewise scalability is preserved under unitary transformations. Unlike standard scaling, we show that all frames in $\RR^2$ and $\RR^3$ are piecewise scalable. We also show that if the frame vectors are close to each other, then they might not be piecewise scalable. Several properties of scaling constants are also presented.

preprint2022arXiv

The core of a Grassmannian frame

Let $X=\{x_i\}_{i=1}^m$ be a set of unit vectors in $\RR^n$. The coherence of $X$ is $\coh(X):=\max_{i\not=j}|\langle x_i, x_j\rangle|$. A vector $x\in X$ is said to be isolable if there are no unit vectors $x'$ arbitrarily close to $x$ such that $|\langle x', y\rangle|<\coh(X)$ for all other vectors $y$ in $X$. We define the {\bf core} of a Grassmannian frame $X=\{x_i\}_{i=1}^m$ in $\RR^n$ at angle $α$ as a maximal subset of $X$ which has coherence $α$ and has no isolable vectors. In other words, if $Y$ is a subset of $X$, $\coh(Y)=α$, and $Y$ has no isolable vectors, then $Y$ is a subset of the core. We will show that every Grassmannian frame of $m>n$ vectors for $\RR^n$ has the property that each vector in the core makes angle $α$ with a spanning family from the core. Consequently, the core consists of $\ge n+1$ vectors. We then develop other properties of Grassmannian frames and of the core.

preprint2016arXiv

The Unconditional Constants for Hilbert Space Frame Expansions

The most fundamental notion in frame theory is the frame expansion of a vector. Although it is well known that these expansions are unconditionally convergent series, no characterizations of the unconditional constant were known. This has made it impossible to get accurate quantitative estimates for problems which require using subsequences of a frame. We will prove some new results in frame theory by showing that the unconditional constants of the frame expansion of a vector in a Hilbert space are bounded by $\sqrt{\frac{B}{A}}$, where $A,B$ are the frame bounds of the frame. Tight frames thus have unconditional constant one, which we then generalize by showing that Bessel sequences have frame expansions with unconditional constant one if and only if the sequence is an orthogonal sum of tight frames. We give further results concerning frame expansions, in which we examine when $\sqrt{\frac BA}$ is actually attained or not. We end by discussing the connections of this work to {\it frame multipliers}. These results hold in both real and complex Hilbert spaces.

preprint2016arXiv

Weak phase retrieval and phaseless reconstruction

Phase retrieval and phaseless reconstruction for Hilbert space frames is a very active area of research. Recently, it was shown that these concepts are equivalent. In this paper, we make a detailed study of a weakening of these concepts to weak phase retrieval and weak phaseless reconstruction. We will give several necessary and/or sufficient conditions for frames to have these weak properties. We will prove three surprising results: (1) Weak phaseless reconstruction is equivalent to phaseless reconstruction. I.e. It never was "weak"; (2) Weak phase retrieval is not equivalent to weak phaseless reconstruction; (3) Weak phase retrieval requires at least $2m-2$ vectors in an m-dimensional Hilbert space. We also gives several examples illustrating the relationship between these concepts.

preprint2015arXiv

Consequences of the Marcus/Spielman/Stivastava solution to the Kadison-Singer Problem

It is known that the famous, intractible 1959 Kadison-Singer problem in $C^{*}$-algebras is equivalent to fundamental unsolved problems in a dozen areas of research in pure mathematics, applied mathematics and Engineering. The recent surprising solution to this problem by Marcus, Spielman and Srivastava was a significant achievement and a significant advance for all these areas of research. We will look at many of the known equivalent forms of the Kadison-Singer Problem and see what are the best new theorems available in each area of research as a consequence of the work of Marcus, Spielman and Srivastave. In the cases where {\it constants} are important for the theorem, we will give the best constants available in terms of a {\it generic constant} taken from \cite{MSS}. Thus, if better constants eventually become available, it will be simple to adapt these new constants to the theorems.

preprint2015arXiv

Integer Frames

Finite frame theory has become a powerful tool for many applications of mathematics. In this paper we introduce a new area of research in frame theory: Integer frames. These are frames having all integer coordinates with respect to a fixed orthonormal basis for a Hilbert space. Integer frames have potential to mitigate quantization errors and transmission losses as well as speeding up computation times. This paper gives the first systematic study of this important class of finite Hilbert space frames.

preprint2015arXiv

Phase retrieval

We answer a number of open problems concerning phase retrieval and phase retrieval by projections. In particular, one main theorem classifies phase retrieval by projections via collections of sequences of vectors allowing norm retrieval. Another key result computes the minimal number of vectors needed to add to a frame in order for it to possess the complement property and hence allow phase retrieval. In furthering this idea, in a third main theorem we show that when a collection of subspaces is one subspace short from allowing phase retrieval, then any partition of orthonormal bases from these subspaces into two sets which fail to span, then each spans a hyperplane. We offer many more results in this area as well as provide a large number of examples showing the limitations of the theory.

preprint2015arXiv

Phase Retrieval Versus Phaseless Reconstruction

In 2006, Balan/Casazza/Edidin \cite{BCE} introduced the frame theoretic study of phaseless reconstruction. Since then, this has turned into a very active area of research. Over the years, many people have replaced the term {\it phaseless reconstruction} with {\it phase retrieval}. Casazza then asked: {\it Are these really the same?} In this paper, we will show that phase retrieval is equivalent to phaseless reconstruction. We then show, more generally, that phase retrieval by projections is equivalent to phaseless reconstruction by projections. Finally, we study {\it weak phase retrieval} and discover that it is very different from phaseless reconstruction.

preprint2015arXiv

The Distributions of Hilbert Space Frame Vectors and Frame Coefficients

The most fundamental notion for Hilbert space frames is the sequence of frame coefficients for a vector x in the space. Yet, we know little about the distribution of these coefficient sequences. In this paper, we make the first detailed study of the distribution of the frame coefficients for vectors in a Hilbert space, as well as the related notion of the square sums of the distances of vectors in the space from the frame vectors. We will give some surprisingly exact calculations for special frames such as unit norm tight frames and equiangular frames. This is a study which should have been done 20 years ago.

preprint2015arXiv

Weaving Frames

We study an intriguing question in frame theory we call "Weaving Frames" that is partially motivated by preprocessing of Gabor frames. Two frames $\{φ_i\}_{i\in I}$ and $\{ψ_i \}_{i\in I}$ for a Hilbert space ${\mathbb H}$ are woven if there are constants $0<A \le B $ so that for every subset $σ\subset I$, the family $\{φ_i\}_{i\in σ} \cup \{ψ_i\}_{i\in σ^c}$ is a frame for $\mathbb H$ with frame bounds $A,B$. Fundamental properties of woven frames are developed and key differences between weaving Riesz bases and weaving frames are considered. In particular, it is shown that a Riesz basis cannot be woven with a redundant frame. We also introduce an apparently weaker form of weaving but show that it is equivalent to weaving. Weaving frames has potential applications in wireless sensor networks that require distributed processing under different frames, as well as preprocessing of signals using Gabor frames.

preprint2015arXiv

Weaving Schauder frames

We extend the concept of weaving Hilbert space frames to the Banach space setting. Similar to frames in a Hilbert space, we show that for any two approximate Schauder frames for a Banach space, every weaving is an approximate Schauder frame if and only if there is a uniform constant $C\geq 1$ such that every weaving is a $C$-approximate Schauder frame. We also study weaving Schauder bases, where it is necessary to introduce two notions of weaving. On one hand, we can ask if two Schauder bases are woven when considered as Schauder frames with their biorthogonal functionals, and alternatively, we can ask if each weaving of two Schauder bases remains a Schauder basis. We will prove that these two notions coincide when all weavings are unconditional, but otherwise they can be different. Lastly, we prove two perturbation theorems for approximate Schauder frames.

preprint2014arXiv

Phase retrieval and norm retrieval

Phase retrieval has become a very active area of research. We will classify when phase retrieval by Parseval frames passes to the Naimark complement and when phase retrieval by projections passes to the orthogonal complements. We introduce a new concept we call norm retrieval and show that this is what is necessary for passing phase retrieval to complements. This leads to a detailed study of norm retrieval and its relationship to phase retrieval. One fundamental result: a frame $\{φ_i\}_{i=1}^M$ yields phase retrieval if and only if $\{Tφ_i\}_{i=1}^M$ yields norm retrieval for every invertible operator $T$.

preprint2014arXiv

Riesz Outer Product Hilbert Space Frames: Quantitative Bounds, Topological Properties, and Full Geometric Characterization

Outer product frames are important objects in Hilbert space frame theory. But very little is known about them. In this paper, we make the first detailed study of the family of outer product frames induced directly by vector sequences. We are interested in both the quantitative attributs of these outer product sequences (in particular, their Riesz and frame bounds), as well as their independence and spanning properties. We show that Riesz sequences of vectors yield Riesz sequences of outer products with the same (or better) Riesz bounds. Equiangular tight frames are shown to produce Riesz sequences with optimal Riesz bounds for outer products. We provide constructions of frames which produce Riesz outer product bases with "good" Riesz bounds. We show that the family of unit norm frames which yield independent outer product sequences is open and dense (in a Euclidean-analytic sense) within the topological space $ \otimes_{i=1}^M S_{N - 1}$ where $M$ is less than or equal to the dimension of the space of symmetric operators on $\mathbb{H}^N$; that is to say, almost every frame with such a bound on its cardinality will induce a set of independent outer products. Thus, this would mean that finding the necessary and sufficient conditions such that the induced outer products are dependent is a more interesting question. For the coup de grace, we give a full analytic and geometric classification of such sequences which produce dependent outer products.

preprint2014arXiv

The fundamentals of Spectral Tetris frame constructions

The landmark paper "Constructing tight fusion frames" by Casazza, Fickus, Mixon, Wang and Zhou introduced a fundamental method for constructing unit norm tight frames, which they called Spectral Tetris. This was a significant advancement for finite frame theory - especially constructions of finite frames. This paper then generated a vast amount of literature as Spectral Tetris was steadily developed, refined, and generalized until today we have a complete picture of what are the broad applications as well as the limitations of Spectral Tetris. In this paper, we will put this vast body of literature into a coherent theory.

preprint2013arXiv

Every Hilbert space frame has a Naimark complement

Naimark complements for Hilbert space Parseval frames are one of the most fundamental and useful results in the field of frame theory. We will show that actually all Hilbert space frames have Naimark complements which possess all the usual properties for Naimark complements with one notable exception. So these complements can be used for equiangular frames, RIP property, fusion frames etc. Along the way, we will correct a mistake in a recent fusion frame paper where chordal distances for Naimark complements are computed incorrectly.

preprint2013arXiv

Phase Retrieval By Projections

The problem of recovering a vector from the absolute values of its inner products against a family of measurement vectors has been well studied in mathematics and engineering. A generalization of this phase retrieval problem also exists in engineering: recovering a vector from measurements consisting of norms of its orthogonal projections onto a family of subspaces. There exist semidefinite programming algorithms to solve this problem, but much remains unknown for this more general case. Can families of subspaces for which such measurements are injective be completely classified? What is the minimal number of subspaces required to have injectivity? How closely does this problem compare to the usual phase retrieval problem with families of measurement vectors? In this paper, we answer or make incremental steps toward these questions. We provide several characterizations of subspaces which yield injective measurements, and through a concrete construction, we prove the surprising result that phase retrieval can be achieved with $2M-1$ projections of arbitrary rank in $\HH_M$. Finally we present several open problems as we discuss issues unique to the phase retrieval problem with subspaces.

preprint2013arXiv

Tight and random nonorthogonal fusion frames

First we show that tight nonorthogonal fusion frames a relatively easy to com by. In order to do this we need to establish a classification of how to to wire a self adjoint operator as a product of (nonorthogonal) projection operators. We also discuss the link between nonorthogonal fusion frames and positive operator valued measures, we define and study a nonorthogonal fusion frame potential, and we introduce the idea of random nonorthogonal fusion frames.

preprint2012arXiv

Spectral Tetris Fusion Frame Constructions

Spectral tetris is a fexible and elementary method to construct unit norm frames with a given frame operator, having all of its eigenvalues greater than or equal to two. One important application of spectral tetris is the construction of fusion frames. We first show how the assumption on the spectrum of the frame operator can be dropped and extend the spectral tetris algorithm to construct unit norm frames with any given spectrum of the frame operator. We then provide a suffcient condition for using this generalization of spectral tetris to construct fusion frames with prescribed spectrum for the fusion frame operator and with prescribed dimensions for the subspaces. This condition is shown to be necessary in the tight case of redundancy greater than two.

preprint2012arXiv

The simplified version of the Spielman and Srivastava algorithm for proving the Bourgain-Tzafriri restricted invertiblity theorem

By giving up the best constants, we will see that the original argument of Spielman and Srivastava for proving the Bourgain-Tzafriri Restricted Invertibility Theorem \cite{SS} still works - and is much simplier than the final version. We do not intend on publishing this since it is their argument with just a trivial modification, but we want to make it available to the mathematics community since several people have requested it already.

preprint2012arXiv

Weighted Fusion Frame Construction via Spectral Tetris

Fusion frames consist of a sequence of subspaces from a Hilbert space and corresponding positive weights so that the sum of weighted orthogonal projections onto these subspaces is an invertible operator on the space. Given a spectrum for a desired fusion frame operator and dimensions for subspaces, one existing method for creating unit-weight fusion frames with these properties is the flexible and elementary procedure known as spectral tetris. Despite the extensive literature on fusion frames, until now there has been no construction of fusion frames with prescribed weights. In this paper we use spectral tetris to construct more general, arbitrarily weighted fusion frames. Moreover, we provide necessary and sufficient conditions for when a desired fusion frame can be constructed via spectral tetris.

preprint2011arXiv

An elementary, illustrative proof of the Rado-Horn Theorem

The Rado-Horn theorem provides necessary and sufficient conditions for when a collection of vectors can be partitioned into a fixed number of linearly independent sets. Such partitions exist if and only if every subset of the vectors satisfies the so-called Rado-Horn inequality. Today there are at least six proofs of the Rado-Horn theorem, but these tend to be extremely delicate or require intimate knowledge of matroid theory. In this paper we provide an elementary proof of the Rado-Horn theorem as well as elementary proofs for several generalizations including results for the redundant case when the hypotheses of the Rado-Horn theorem fail. Another problem with the existing proofs of the Rado-Horn Theorem is that they give no information about how to actually partition the vectors. We start by considering a specific partition of the vectors, and the proof consists of showing that this is an optimal partition. We further show how certain structures we construct in the proof are at the heart of the Rado-Horn theorem by characterizing subsets of vectors which maximize the Rado-Horn inequality. Lastly, we demonsrate how these results may be used to select an optimal partition with respect to spanning properties of the vectors.

preprint2011arXiv

Optimally Sparse Frames

Frames have established themselves as a means to derive redundant, yet stable decompositions of a signal for analysis or transmission, while also promoting sparse expansions. However, when the signal dimension is large, the computation of the frame measurements of a signal typically requires a large number of additions and multiplications, and this makes a frame decomposition intractable in applications with limited computing budget. To address this problem, in this paper, we focus on frames in finite-dimensional Hilbert spaces and introduce sparsity for such frames as a new paradigm. In our terminology, a sparse frame is a frame whose elements have a sparse representation in an orthonormal basis, thereby enabling low-complexity frame decompositions. To introduce a precise meaning of optimality, we take the sum of the numbers of vectors needed of this orthonormal basis when expanding each frame vector as sparsity measure. We then analyze the recently introduced algorithm Spectral Tetris for construction of unit norm tight frames and prove that the tight frames generated by this algorithm are in fact optimally sparse with respect to the standard unit vector basis. Finally, we show that even the generalization of Spectral Tetris for the construction of unit norm frames associated with a given frame operator produces optimally sparse frames.

preprint2011arXiv

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.

preprint2010arXiv

Auto-tuning unit norm frames

Finite unit norm tight frames provide Parseval-like decompositions of vectors in terms of redundant components of equal weight. They are known to be exceptionally robust against additive noise and erasures, and as such, have great potential as encoding schemes. Unfortunately, up to this point, these frames have proven notoriously difficult to construct. Indeed, though the set of all unit norm tight frames, modulo rotations, is known to contain manifolds of nontrivial dimension, we have but a small finite number of known constructions of such frames. In this paper, we present a new iterative algorithm---gradient descent of the frame potential---for increasing the degree of tightness of any finite unit norm frame. The algorithm itself is trivial to implement, and it preserves certain group structures present in the initial frame. In the special case where the number of frame elements is relatively prime to the dimension of the underlying space, we show that this algorithm converges to a unit norm tight frame at a linear rate, provided the initial unit norm frame is already sufficiently close to being tight. By slightly modifying this approach, we get a similar, but weaker, result in the non-relatively-prime case, providing an explicit answer to the Paulsen problem: "How close is a frame which is almost tight and almost unit norm to some unit norm tight frame?"

preprint2010arXiv

Spanning and independence properties of frame partitions

We answer a number of open problems in frame theory concerning the decomposition of frames into linearly independent and/or spanning sets. We prove that in finite dimensional Hilbert spaces, Parseval frames with norms bounded away from 1 can be decomposed into a number of sets whose complements are spanning, where the number of these sets only depends on the norm bound. We also prove, assuming the Kadison-Singer conjecture is true, that this holds for infinite dimensional Hilbert spaces. Further, we prove a stronger result for Parseval frames whose norms are uniformly small, which shows that in addition to the spanning property, the sets can be chosen to be independent, and the complement of each set to contain a number of disjoint, spanning sets.

preprint2010arXiv

The Bourgain-Tzafriri conjecture and concrete constructions of non-pavable projections

It is known that the Kadison-Singer Problem (KS) and the Paving Conjecture (PC) are equivalent to the Bourgain-Tzafriri Conjecture (BT). Also, it is known that (PC) fails for $2$-paving projections with constant diagonal $1/2$. But the proofs of this fact are existence proofs. We will use variations of the discrete Fourier Transform matrices to construct concrete examples of these projections and projections with constant diagonal $1/r$ which are not $r$-pavable in a very strong sense. In 1989, Bourgain and Tzafriri showed that the class of zero diagonal matrices with small entries (on the order of $\le 1/log^{1+ε}n$, for an $n$-dimensional Hilbert space) are {\em pavable}. It has always been assumed that this result also holds for the BT-Conjecture - although no one formally checked it. We will show that this is not the case. We will show that if the BT-Conjecture is true for vectors with small coefficients (on the order of $\le C/\sqrt{n}$) then the BT-Conjecture is true and hence KS and PC are true.

preprint1999arXiv

Bracket products for Weyl-Heisenberg frames

We provide a detailed development of a function valued inner product known as the bracket product and used effectively by de Boor, Devore, Ron and Shen to study translation invariant systems. We develop a version of the bracket product specifically geared to Weyl-Heisenberg frames. This bracket product has all the properties of a standard inner product including Bessel's inequality, a Riesz Representation Theorem, and a Gram-Schmidt process which turns a sequence of functions $(g_{n})$ into a sequence $(e_{n})$ with the property that $(E_{mb}e_{n})_{m,n\in \Bbb Z}$ is orthonormal in $L^{2}(\Bbb R)$. Armed with this inner product, we obtain several results concerning Weyl-Heisenberg frames. First we see that fiberization in this setting takes on a particularly simple form and we use it to obtain a compressed representation of the frame operator. Next, we write down explicitly all those functions $g\in L^{2}(\Bbb R)$ and $ab=1$ so that the family $(E_{mb}T_{na}g)$ is complete in $L^{2}(\Bbb R)$. One consequence of this is that for functions $g$ supported on a half-line $[α,\infty)$ (in particular, for compactly supported $g$), $(g,1,1)$ is complete if and only if $\text{sup}_{0\le t< a}|g(t-n)|\not= 0$ a.e. Finally, we give a direct proof of a result hidden in the literature by proving: For any $g\in L^{2}(\Bbb R)$, $A\le \sum_{n} |g(t-na)|^{2}\le B$ is equivalent to $(E_{m/a}g)$ being a Riesz basic sequence.

preprint1995arXiv

Frames containing a Riesz basis and preservation of this property under perturbation

Aldroubi has shown how one can construct any frame $\gtu$ starting with one frame $\ftu $,using a bounded operator $U$ on $l^2(N)$. We study the overcompleteness of the frames in terms of properties of $U$. We also discuss perturbation of frames in the sense that two frames are ``close'' if a certain operator is compact. In this way we obtain an equivalence relation with the property that members of the same equivalence class have the same overcompleteness. On the other hand we show that perturbation in the Paley-Wiener sense does not have this property. \\ Finally we construct a frame which is norm-bounded below, but which does not contain a Riesz basis.The construction is based on the delicate difference between the unconditional convergence of the frame representation, and the fact that a convergent series in the frame elements need not converge unconditionally.

preprint1994arXiv

Self-Induced Compactness in Banach Spaces

The question which led to the title of this note is the following: {\it If $X$ is a Banach space and $K$ is a compact subset of $X$, is it possible to find a compact, or even approximable, operator $v:X\to X$ such that $K\subset\ol{v(B_X)}$?} This question was first posed by P.G.Dixon [6] in connection with investigating the problem of the existence of approximate identities in certain operator algebras. We shall provide a couple of observations related to the above question and give in particular a negative answer in case of approximable operators. We shall also provide the first examples of Banach spaces having the approximation property but failing the bounded compact approximation property though all of their duals do even have the metric compact approximation property.

preprint1992arXiv

Some Questions Arising from the Homogeneous Banach Space Problem

We review the current state of the homogeneous Banach space problem. We then formulate several questions which arise naturally from this problem, some of which seem to be fundamental but new. We give many examples defining the bounds on the problem. We end with a simple construction showing that every infinite dimensional Banach space contains a subspace on which weak properties have become stable (under passing to further subspaces). Implications of this construction are considered.