arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · math/0508646

The Schur-Horn theorem for operators and frames with prescribed norms and frame operator

J. Antezana·P. Massey·M. Ruiz·D. Stojanoff
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $\mathcal H$ be a Hilbert space. Given a bounded positive definite operator $S$ on $\mathcal H$, and a bounded sequence $\mathbf{c} = \{c_k \}_{k \in \mathbb N}$ of non negative real numbers, the pair $(S, \mathbf{c})$ is frame admissible, if there exists a frame $\{f_k \}_{k \in \mathbb{N}} $ on $\mathcal H$ with frame operator $S$, such that $\|f_k \|^2 = c_k$, $k \in \mathbb {N}$. We relate the existence of such frames with the Schur-Horn theorem of majorization, and give a reformulation of the extended version of Schur-Horn theorem, due to A. Neumann. We use it to get necessary conditions (and to generalize known sufficient conditions) for a pair $(S, \mathbf{c})$, to be frame admissible.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

J. Antezana, P. Massey, M. Ruiz, D. Stojanoff. 2005-09-02. The Schur-Horn theorem for operators and frames with prescribed norms and frame operator. https://arxiv.org/abs/math/0508646

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

O-segments on topological measure spaces

Let $μ$ be a finite non-atomic measure on a set $X$. A \emph{segment} for $μ$ is an increasing family $u(t)$, $t\in[0,1]$, of measurable sets with $u(0)=\emptyset$, $u(1)=X$ and $μ(u(t))=t\,μ(X)$; by a theorem of Fryszkowski, finitely many measures $f\,dμ$ admit a common segment. We study \emph{open segments}, i.e.\ segments consisting of open sets, when $X$ carries a topology. We show that weak outer regularity of $μ$ is equivalent to the approximability of measurable sets by open sets, and that it holds for every finite Borel measure on a metrizable space. Our main result states that if $μ$ is finite, non-atomic and weakly outer regular, then for all $f,g\in L^1(μ)$ with $(\int f\,dμ,\int g\,dμ)\neq(0,0)$ there is a common open segment for $f\,dμ$ and $g\,dμ$; in particular, for every $f\in L^1(μ)$ there is an open segment for $μ$ which is simultaneously a segment for $f\,dμ$. Relative versions allow one to prescribe an initial set. We also characterize open segments as upper semicontinuous functions with uniform distribution and show that on separable metrizable spaces a single measure admits such a function which is continuous.

math.FA↗
arXiv2026

A Note On Majorizing Norms on Majorized Spaces

We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of normed Riesz spaces, we also present necessary completeness conditions and describe the completed norm. Finally, we define a particular family of well-behaving sets. Spaces majorized by the cone generated by these sets display surprisingly interesting structural properties. In particular, we generalize two famous standard results in Banach lattice theory. Namely, every principal ideal in a Banach lattice is an AM-space and every Banach lattice having a generating cone with a compact base admits an equivalent L-norm.

math.FA↗
arXiv2026

The Cesàro Operator, Rhaly operators, and the Toeplitz Algebra

Barr\'ıa and Halmos [\emph{Trans. Amer. Math. Soc.} (1982), (10) Example] asked whether the Cesàro operator belongs to the Toeplitz algebra. We answer this question affirmatively and prove that the Cesàro operator is the product of a Toeplitz operator and a continuous function of a self-adjoint Toeplitz operator. Rhaly operators are a natural generalization of the Cesàro operator. We give necessary and sufficient conditions for a Rhaly operator to belong to the Toeplitz algebra or the Hankel algebra. The main approach is to use the Fejér kernels to get localized estimates for operators. This yields a necessary condition for an operator to belong to the Hankel algebra. As an application, we find a class of Rhaly operators that are asymptotic Toeplitz operators and essentially commute with the unilateral shift, but are not in the Hankel algebra. This answers (17) Question in the same paper.

math.FA↗