BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Peter G. Casazza

Peter G. Casazza contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAInformation Theorymath.ITmath.NAmath.OA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

11 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.

0 citations0 reviewsNo code linkedOpen access
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&#39;$ arbitrarily close to $x$ such that $|\langle x&#39;, 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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: &#34;How close is a frame which is almost tight and almost unit norm to some unit norm tight frame?&#34;

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access