Functions or distributions used to sample and to reconstruct signals often occur in different domains, like the Dirac delta and a band-limited bump function in classical sampling. Oblique dual frames generalize this phenomenon. In this paper, we provide new tools to study oblique dual frames and introduce a probabilistic variant of oblique dual frames. We first present the oblique dual frame potential and show that it is minimized precisely when the oblique dual coincides with the canonical oblique dual. We then define oblique dual probabilistic frames and oblique approximately dual probabilistic frames. In particular, we prove that for a given oblique dual probabilistic frame, the associated oblique dual probabilistic frame potential is minimized if and only if the frame is tight and the oblique dual is canonical. Moreover, the tightness assumption can be removed when the minimization is restricted to oblique dual probabilistic frames of pushforward type. Finally, we investigate perturbations of oblique dual probabilistic frames and show that if a probability measure is sufficiently close to an oblique dual probabilistic frame pair in the $2$-Wasserstein topology, then it forms an
Frames are the most natural generalization of orthonormal bases that allow the inclusion of redundant systems. In this article, we introduce the concept of frames generated by graphs in finite-dimensional spaces and study their properties. Let $G$ be a simple graph of $n$ vertices with Laplacian matrix $L$. We define the notions of $G(n,k)$-frames and $L_G(n,k)$-frames associated with the graph $G$. We obtain the family of dual frames of $L_G(n,k)$-frames and $G(n,k)$-frames. It is shown that non-regular graphs cannot generate tight frames. Then we establish a characterization of tight $G(n,k)$-frames in terms of the adjacency spectra of regular graphs. Besides, we provide a frame theoretic proof of an existing graph property. Finally, we show that one can use complete graphs to generate tight frames.
The relationship between the frame bounds of frames (Gabor) for the space $L^2(\mathbb{R})$ with several generators from the Weyl-Heisenberg group and the scalars linked to the sum of frames is examined in this paper. We give sufficient conditions for the finite sum of frames of the space $L^2(\mathbb{R})$ from the Weyl-Heisenberg group, with explicit frame bounds, in terms of frame bounds and scalars involved in the finite sum of frames, to be a frame for $L^2(\mathbb{R})$. It is shown that if a series of square roots of upper frame bounds of countably infinite frames from the Weyl-Heisenberg group is convergent and some lower frame bound majorizes the sum of all other frame bounds, then the infinite sum of frames for $L^2(\mathbb{R})$ space turns out to be a frame for the space $L^2(\mathbb{R})$. We show that the sum of frames from the Weyl-Heisenberg group and its dual frame always constitutes a frame. We provide sufficient conditions for the sum of images of frames under bounded linear operators acting on $L^2(\mathbb{R})$ in terms of lower bounds of their Hilbert adjoint operator to be a frame. The finite sum of frames where frames are perturbed by bounded sequences of scalars
This paper studies properties of dual probabilistic frames -- in particular in relation to redundancy -- and introduces both approximately dual probabilistic frames and pseudo-dual probabilistic frames. We show that the canonical dual probabilistic frame is the only dual frame of pushforward type of a probabilistic frame with zero redundancy. Furthermore, we show that probabilistic frames with finite redundancy are atomic and finite. Approximately dual probabilistic frames generalize duality, with pseudo-duality being a further generalization. We introduce these concepts and prove certain structural results. In particular, every probabilistic frame has a discrete finite frame as an approximate dual.
A common criterion in the design of finite Hilbert space frames is minimal coherence, as this leads to error reduction in various signal processing applications. Frames that achieve minimal coherence relative to all unit-norm frames are called Grassmannian frames, a class which includes the well-known equiangular tight frames. However, the notion of "coherence minimization" varies according to the constraints of the ambient optimization problem, so there are other types of "minimally coherent" frames one can speak of. In addition to Grassmannian frames, we consider the class of frames which minimize coherence over the space of frames which are both unit-norm and tight, which we call 1-Grassmannian frames. We observe that these two types of frames coincide in many settings, but not all; accordingly, we investigate some of the differences between the resulting theories. For example, one noteworthy advantage enjoyed by 1-Grassmannian frames is that their optimality properties are preserved under the Naimark complement.
Finite frames, or spanning sets for finite-dimensional Hilbert spaces, are a ubiquitous tool in signal processing. There has been much recent work on understanding the global structure of collections of finite frames with prescribed properties, such as spaces of unit norm tight frames. We extend some of these results to the more general setting of fusion frames -- a fusion frame is a collection of subspaces of a finite-dimensional Hilbert space with the property that any vector can be recovered from its list of projections. The notion of tightness extends to fusion frames, and we consider the following basic question: is the collection of tight fusion frames with prescribed subspace dimensions path connected? We answer (a generalization of) this question in the affirmative, extending the analogous result for unit norm tight frames proved by Cahill, Mixon and Strawn. We also extend a result of Benedetto and Fickus, who defined a natural functional on the space of unit norm frames (the frame potential), showed that its global minimizers are tight, and showed that it has no spurious local minimizers, meaning that gradient descent can be used to construct unit-norm tight frames. We pro
Frames in a Hilbert space that are generated by operator orbits are vastly studied because of the applications in dynamic sampling and signal recovery. We demonstrate in this paper a representation theory for frames generated by operator orbits that provides explicit constructions of the frame and the operator when the operators are not surjective. It is known that the Kaczmarz algorithm for stationary sequences in Hilbert spaces generates a frame that arises from an operator orbit where the operator is not surjective. In this paper, we show that every frame generated by a not surjective operator in any Hilbert space arises from the Kaczmarz algorithm. Furthermore, we show that the operators generating these frames are similar to rank one perturbations of unitary operators. After this, we describe a large class of operator orbit frames that arise from Fourier expansions for singular measures. Moreover, we classify all measures that possess frame-like Fourier expansions arising from two-sided operator orbit frames. Finally, we show that measures that possess frame-like Fourier expansions arising from two-sided operator orbits are weighted Lebesgue measure with weight satisfying a we
In this chapter we survey two topics that have recently been investigated in frame theory. First, we give an overview of the class of scalable frames. These are (finite) frames with the property that each frame vector can be rescaled in such a way that the resulting frames are tight. This process can be thought of as a preconditioning method for finite frames. In particular, we: (1) describe the class of scalable frames; (2) formulate various equivalent characterizations of scalable frames, and relate the scalability problem to the Fritz John ellipsoid theorem. Next, we discuss some results on a probabilistic interpretation of frames. In this setting, we: (4) define probabilistic frames as a generalization of frames and as a subclass of continuous frames; (5) review the properties of certain potential functions whose minimizers are frames with certain optimality properties. The chapter is based on a lecture given by the author at the AMS 2015 Short Course on Finite Frame Theory: A Complete Introduction to Overcompleteness.
Nonstationary Gabor frames, recently introduced in adaptive signal analysis, represent a natural generalization of classical Gabor frames by allowing for adaptivity of windows and lattice in either time or frequency. Due to the lack of a complete lattice structure, perfect reconstruction is in general not feasible from coefficients obtained from nonstationary Gabor frames. In this paper it is shown that for nonstationary Gabor frames that are related to some known frames for which dual frames can be computed, good approximate reconstruction can be achieved by resorting to approximately dual frames. In particular, we give constructive examples for so-called almost painless nonstationary frames, that is, frames that are closely related to nonstationary frames with compactly supported windows. The theoretical results are illustrated by concrete computational and numerical examples.
This paper studies probabilistic dual frames and the associated dual frame potentials from the perspective of optimal mass transport. The main contribution of this work shows that given a probabilistic frame, its associated dual frame potential is minimized if and only if the probabilistic frame is tight and the probabilistic dual frame is the canonical dual. In particular, the tightness condition can be dropped if the probabilistic dual frame potential is minimized only among probabilistic dual frames of pushforward type.
The context of this work is that of partial frames; these are meet-semilattices where not all subsets need have joins. A selection function, S, specifies, for all meet-semilattices, certain subsets under consideration, which we call the ``designated'' ones; an S-frame then must have joins of (at least) all such subsets and binary meet must distribute over these. A small collection of axioms suffices to specify our selection functions; these axioms are sufficiently general to include as examples of partial frames, bounded distributive lattices, sigma-frames, kappa-frames and frames. We consider right and left adjoints of S-frame maps, as a prelude to the introduction of closed and open maps. Then we look at what might be an appropriate notion of Booleanness for partial frames. The obvious candidate is the condition that every element be complemented; this concept is indeed of interest, but we pose three further conditions which, in the frame setting, are all equivalent to it. However, in the context of partial frames, the four conditions are distinct. In investigating these, we make essential use of the free frame over a partial frame and the congruence frame of a partial frame. We
We introduce a new class of frames with strong symmetry properties called geometrically uniform frames (GU), that are defined over an abelian group of unitary matrices and are generated by a single generating vector. The notion of GU frames is then extended to compound GU (CGU) frames which are generated by an abelian group of unitary matrices using multiple generating vectors. The dual frame vectors and canonical tight frame vectors associated with GU frames are shown to be GU and therefore generated by a single generating vector, which can be computed very efficiently using a Fourier transform defined over the generating group of the frame. Similarly, the dual frame vectors and canonical tight frame vectors associated with CGU frames are shown to be CGU. The impact of removing single or multiple elements from a GU frame is considered. A systematic method for constructing optimal GU frames from a given set of frame vectors that are not GU is also developed. Finally, the Euclidean distance properties of GU frames are discussed and conditions are derived on the abelian group of unitary matrices to yield GU frames with strictly positive distance spectrum irrespective of the generatin
This paper concerns the geometric structure of optimizers for frame potentials. We consider finite, real or complex frames and rotation or unitarily invariant potentials, and mostly specialize to Parseval frames, meaning the frame potential to be optimized is a function on the manifold of Gram matrices belonging to finite Parseval frames. Next to the known classes of equal-norm and equiangular Parseval frames, we introduce equidistributed Parseval frames, which are more general than the equiangular type but have more structure than equal-norm ones. We also provide examples where this class coincides with that of Grassmannian frames, the minimizers for the maximal magnitude among inner products between frame vectors. These different types of frames are characterized in relation to the optimization of frame potentials. Based on results by Lojasiewicz, we show that the gradient descent for a real analytic frame potential on the manifold of Gram matrices belonging to Parseval frames always converges to a critical point. We then derive geometric structures associated with the critical points of different choices of frame potentials. The optimal frames for families of such potentials are
One approach to ease the construction of frames is to first construct local components and then build a global frame from these. In this paper we will show that the study of the relation between a frame and its local components leads to the definition of a frame of subspaces. We introduce this new notion and prove that it provides us with the link we need. It will also turn out that frames of subspaces behave as a generalization of frames. In particular, we can define an analysis, a synthesis and a frame operator for a frame of subspaces, which even yield a reconstruction formula. Also concepts such as completeness, minimality, and exactness are introduced and investigated. We further study several constructions of frames of subspaces, and also of frames and Riesz frames using the theory of frames of subspaces. An important special case are harmonic frames of subspaces which generalize harmonic frames. We show that wavelet subspaces coming from multiresolution analysis belong to this class.
We discuss the concepts of pseudo-dual frames and approximately dual frames, and illuminate their relationship to classical frames. Approximately dual frames are easier to construct than the classical dual frames, and might be tailored to yield almost perfect reconstruction. For approximately dual frames constructed via perturbation theory, we provide a bound on the deviation from perfect reconstruction. An alternative bound is derived for the rich class of Gabor frames, by using the Walnut representation of the frame operator to estimate the deviation from equality in the duality conditions. As illustration of the results, we construct explicit approximate duals of Gabor frames generated by the Gaussian; these approximate duals yield almost perfect reconstruction. Amazingly, the method applies also to certain Gabor frames that are far from being tight.
Warning: Contents of this paper may be upsetting. Public attitudes towards key societal issues, expressed on online media, are of immense value in policy and reform efforts, yet challenging to understand at scale. We study one such social issue: homelessness in the U.S., by leveraging the remarkable capabilities of large language models to assist social work experts in analyzing millions of posts from Twitter. We introduce a framing typology: Online Attitudes Towards Homelessness (OATH) Frames: nine hierarchical frames capturing critiques, responses and perceptions. We release annotations with varying degrees of assistance from language models, with immense benefits in scaling: 6.5x speedup in annotation time while only incurring a 3 point F1 reduction in performance with respect to the domain experts. Our experiments demonstrate the value of modeling OATH-Frames over existing sentiment and toxicity classifiers. Our large-scale analysis with predicted OATH-Frames on 2.4M posts on homelessness reveal key trends in attitudes across states, time periods and vulnerable populations, enabling new insights on the issue. Our work provides a general framework to understand nuanced public at
The main purpose is to introduce the so-called bicomplex (bc)-frames which is a special extension to bicomplex infinite Hilbert spaces of the classical frames. The crucial result is the characterization of bc-frames in terms of their idempotent components, giving rise to generalization of certain results to bc-frames. Although the extension is natural, many basic properties satisfied by classical frames do not remain valid for bc-frames, unless we restrict ourself to complex-valued Hilbert space on bicomplex numbers. By benefiting from insight provided by the classical frame theory, we discuss the construction of bc-frame operator and Weyl--Heisenberg bc-frames and we provide some new ones which are appropriate for bc-frames.
In this investigation, we introduce the class of non-archimedean frames in spirit with the topological notion of non-archimedean spaces. We explore various properties of these frames - particularly their spaciality. We attach a base that constitutes a tree to each non-archimedean frame, and then we observe that every non-archimedean frame is a quotient of the frame of opens of the tree's branch space. Moreover, we give a partial answer to when these frames are canonically isomorphic; this leads to considering some choice principles of the resulting tree.
Weighted and controlled frames have been introduced recently to improve the numerical efficiency of iterative algorithms for inverting the frame operator. In this paper we develop systematically these notions, including their mutual relationship. We will show that controlled frames are equivalent to standard frames and so this concept gives a generalized way to check the frame condition, while offering a numerical advantage in the sense of preconditioning. Next, we investigate weighted frames, in particular their relation to controlled frames. We consider the special case of semi-normalized weights, where the concepts of weighted frames and standard frames are interchangeable. We also make the connection with frame multipliers. Finally we analyze weighted frames numerically. First we investigate three possibilities for finding weights in order to tighten a given frame, i.e., decrease the frame bound ratio. Then we examine Gabor frames and how well the canonical dual of a weighted frame is approximated by the inversely weighted dual frame.
We study an intriguing question in frame theory we call "Weaving Frames" that is partially motivated by preprocessing of Gabor frames. Two frames $\{\varphi_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 $\{\varphi_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.