Source author record

Pedro Massey

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
4topics
4close collaborators

Published work

12 publications

preprint2020arXiv

Majorization bounds for Ritz values of self-adjoint matrices

A priori, a posteriori, and mixed type upper bounds for the absolute change in Ritz values of self-adjoint matrices in terms of submajorization relations are obtained. Some of our results prove recent conjectures by Knyazev, Argentati, and Zhu, which extend several known results for one dimensional subspaces to arbitrary subspaces. In addition, we improve Nakatsukasa's version of the tan⁡Θ\tan Θ theorem of Davis and Kahan. As a consequence, we obtain new quadratic a posteriori bounds for the absolute change in Ritz values.

preprint2020arXiv

Optimal frame designs for multitasking devices with weight restrictions

Let d=(dj)j∈Im∈Nm\mathbf d=(d_j)_{j\in\mathbb I_m}\in\mathbb N^m be a finite sequence (of dimensions) and α=(αi)i∈Inα=(α_i)_{i\in\mathbb I_n} be a sequence of positive numbers (of weights), where Ik={1,…,k}\mathbb I_k=\{1,\ldots,k\} for k∈Nk\in\mathbb N. We introduce the (α , d)(α\, , \,\mathbf d)-designs i.e., mm-tuples Φ=(Fj)j∈ImΦ=(\mathcal F_j)_{j\in\mathbb I_m} such that Fj={fij}i∈In\mathcal F_j=\{f_{ij}\}_{i\in\mathbb I_n} is a finite sequence in Cdj\mathbb C^{d_j}, j∈Imj\in\mathbb I_m, and such that the sequence of non-negative numbers (∥fij∥2)j∈Im(\|f_{ij}\|^2)_{j\in\mathbb I_m} forms a partition of αiα_i, i∈Ini\in\mathbb I_n. We characterize the existence of (α , d)(α\, , \, \mathbf d)-designs with prescribed properties in terms of majorization relations. We show, by means of a finite-step algorithm, that there exist (α , d)(α\, , \, \mathbf d)-designs Φop=(Fjop)j∈ImΦ^{\rm op}=(\mathcal F_j^{\rm op})_{j\in\mathbb I_m} that are universally optimal; that is, for every convex function φ:[0,∞)→[0,∞)φ:[0,\infty)\rightarrow [0,\infty) then ΦopΦ^{\rm op} minimizes the joint convex potential induced by φφ among (α , d)(α\, , \, \mathbf d)-designs, namely ∑j∈ImPφ(Fjop)≤∑j∈ImPφ(Fj) \sum_{j\in\mathbb I_m}\text{P}_φ(\mathcal F_j^{\rm op})\leq \sum_{j\in \mathbb I_m}\text{P}_φ(\mathcal F_j) for every (α , d)(α\, , \, \mathbf d)-design Φ=(Fj)j∈ImΦ=(\mathcal F_j)_{j\in\mathbb I_m}, where Pφ(F)=tr(φ(SF))\text{P}_φ(\mathcal F)=tr(φ(S_{\mathcal F})); in particular, ΦopΦ^{\rm op} minimizes both the joint frame potential and the joint mean square error among (α , d)(α\, , \, \mathbf d)-designs. We show that in this case Fjop\mathcal F_j^{\rm op} is a frame for Cdj\mathbb C^{d_j}, for j∈Imj\in\mathbb I_m. This corresponds to the existence of optimal encoding-decoding schemes for multitasking devices with energy restrictions.

preprint2016arXiv

Convex potentials and optimal shift generated oblique duals in shift invariant spaces

We introduce an extension of the convex potentials for finite frames (e.g. the frame potential defined by Benedetto and Fickus) in the framework of Bessel sequences of integer translates of finite sequences in L2(Rk)L^2(\R^k). We show that under a natural normalization hypothesis, these convex potentials detect tight frames as their minimizers. We obtain a detailed spectral analysis of the frame operators of shift generated oblique duals of a fixed frame of translates. We use this result to obtain the spectral and geometrical structure of optimal shift generated oblique duals with norm restrictions, that simultaneously minimize every convex potential; we approach this problem by showing that the water-filling construction in probability spaces is optimal with respect to submajorization (within an appropriate set of functions) and by considering a non-commutative version of this construction for measurable fields of positive operators.

preprint2016arXiv

Frames of translates with prescribed fine structure in shift invariant spaces

For a given finitely generated shift invariant (FSI) subspace $\cW\subset L^2(\R^k)$ we obtain a simple criterion for the existence of shift generated (SG) Bessel sequences $E(\cF)$ induced by finite sequences of vectors $\cF\in \cW^n$ that have a prescribed fine structure i.e., such that the norms of the vectors in $\cF$ and the spectra of $S_{E(\cF)}$ is prescribed in each fiber of $\text{Spec}(\cW)\subset \T^k$. We complement this result by developing an analogue of the so-called sequences of eigensteps from finite frame theory in the context of SG Bessel sequences, that allows for a detailed description of all sequences with prescribed fine structure. Then, given 0<α1≤…≤αn0<α_1\leq \ldots\leq α_n we characterize the finite sequences $\cF\in\cW^n$ such that ∥fi∥2=αi\|f_i\|^2=α_i, for 1≤i≤n1\leq i\leq n, and such that the fine spectral structure of the shift generated Bessel sequences $E(\cF)$ have minimal spread (i.e. we show the existence of optimal SG Bessel sequences with prescribed norms); in this context the spread of the spectra is measured in terms of the convex potential $P^\cW_φ$ induced by $\cW$ and an arbitrary convex function φ:R+→R+φ:\R_+\rightarrow \R_+.

preprint2014arXiv

Aliasing and oblique dual pair designs for consistent sampling

In this paper we study some aspects of oblique duality between finite sequences of vectors $\cF$ and $\cG$ lying in finite dimensional subspaces $\cW$ and $\cV$, respectively. We compute the possible eigenvalue lists of the frame operators of oblique duals to $\cF$ lying in $\cV$; we then compute the spectral and geometrical structure of minimizers of convex potentials among oblique duals for $\cF$ under some restrictions. We obtain a complete quantitative analysis of the impact that the relative geometry between the subspaces $\cV$ and $\cW$ has in oblique duality. We apply this analysis to compute those rigid rotations UU for $\cW$ such that the canonical oblique dual of $U\cdot \cF$ minimize every convex potential; we also introduce a notion of aliasing for oblique dual pairs and compute those rigid rotations UU for $\cW$ such that the canonical oblique dual pair associated to $U\cdot \cF$ minimize the aliasing. We point out that these two last problems are intrinsic to the theory of oblique duality.

preprint2013arXiv

Optimal frame completions with prescribed norms for majorization

Given a finite sequence of vectors F0\mathcal F_0 in $\C^d$ we characterize in a complete and explicit way the optimal completions of F0\mathcal F_0 obtained by adding a finite sequence of vectors with prescribed norms, where optimality is measured with respect to majorization (of the eigenvalues of the frame operators of the completed sequence). Indeed, we construct (in terms of a fast algorithm) a vector - that depends on the eigenvalues of the frame operator of the initial sequence $\cF_0$ and the sequence of prescribed norms - that is a minimum for majorization among all eigenvalues of frame operators of completions with prescribed norms. Then, using the eigenspaces of the frame operator of the initial sequence $\cF_0$ we describe the frame operators of all optimal completions for majorization. Hence, the concrete optimal completions with prescribed norms can be obtained using recent algorithmic constructions related with the Schur-Horn theorem. The well known relation between majorization and tracial inequalities with respect to convex functions allow to describe our results in the following equivalent way: given a finite sequence of vectors F0\mathcal F_0 in $\C^d$ we show that the completions with prescribed norms that minimize the convex potential induced by a strictly convex function are structural minimizers, in the sense that they do not depend on the particular choice of the convex potential.

preprint2011arXiv

Robust dual reconstruction systems and fusion frames

We study the duality of reconstruction systems, which are gg-frames in a finite dimensional setting. These systems allow redundant linear encoding-decoding schemes implemented by the so-called dual reconstruction systems. We are particularly interested in the projective reconstruction systems that are the analogue of fusion frames in this context. Thus, we focus on dual systems of a fixed projective system that are optimal with respect to erasures of the reconstruction system coefficients involved in the decoding process. We consider two different measures of the reconstruction error in a blind reconstruction algorithm. We also study the projective reconstruction system that best approximate an arbitrary reconstruction system, based on some well known results in matrix theory. Finally, we present a family of examples in which the problem of existence of a dual projective system of a reconstruction system of this type is considered.

preprint2010arXiv

Duality in reconstruction systems

We consider the notion of finite dimensional reconstructions systems (RS's), which includes the fusion frames as projective RS's. We study erasures, some geometrical properties of these spaces, the spectral picture of the set of all dual systems of a fixed RS, the spectral picture of the set of RS operators for the projective systems with fixed weights and the structure of the minimizers of the joint potential in this setting. We give several examples.

preprint2010arXiv

Injective Envelopes and Local Multiplier Algebras of Some Spatial Continuous Trace C*-Algebras

A precise description of the injective envelope of a spatial continuous trace C*-algebra A over a Stonean space Delta is given. The description is based on the notion of a weakly continuous Hilbert bundle, which we show to be a Kaplansky--Hilbert module over the abelian AW*-algebra C(Delta). We then use the description of the injective envelope of A to study the first- and second-order local multiplier algebras of A. In particular, we show that the second-order local multiplier algebra of A is precisely the injective envelope of A.

preprint2008arXiv

Towards the Carpenter's Theorem

Let M be a II_1 factor, A a masa in M and E the unique conditional expectation on A. Under some technical assumptions on the inclusion of A in M, which hold true for any semiregular masa of a separable factor, we show that for every discrete a in the positive part of the unit ball of A it is possible to find a projection p in M such that E(p)=a$. We also show an example of a diffuse operator x in A such that there exists a projection q in M with E(q)=x. These results show a new family of instances of a conjecture by Kadison, the so-called "Carpenter's Theorem".

preprint2006arXiv

The local form of doubly stochastic maps and joint majorization in II1_1 factors

We find a description of the restriction of doubly stochastic maps to separable abelian C∗C^*-subalgebras of a II1_1 factor $\cM$. We use this local form of doubly stochastic maps to develop a notion of joint majorization between nn-tuples of mutually commuting self-adjoint operators that extends those of Kamei (for single self-adjoint operators) and Hiai (for single normal operators) in the II1_1 factor case. Several characterizations of this joint majorization are obtained. As a byproduct we prove that any separable abelian C∗C^*-subalgebra of $\cM$ can be embedded into a separable abelian C∗C^*-subalgebra of $\cM$ with diffuse spectral measure.

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.