For a shift operator $T$ with finite multiplicity acting on a separable infinite dimensional Hilbert space we represent its nearly $T^{-1}$ invariant subspaces in terms of invariant subspaces under the backward shift. Going further, given any finite Blaschke product $B$, we give a description of the nearly $T_{B}^{-1}$ invariant subspaces for the operator $T_B$ of multiplication by $B$ in a scale of Dirichlet-type spaces.
Let T be a C_{\cdot 0}-contraction on a Hilbert space H and S be a non-trivial closed subspace of H. We prove that S is a T-invariant subspace of H if and only if there exists a Hilbert space D and a partially isometric operator Π: H^2_D(\mathbb{D}) \raro H such that ΠM_z = T Πand that S = ran Π, or equivalently, P_S = ΠΠ^*. As an application we completely classify the shift-invariant subspaces of C_{\cdot 0}-contractive and analytic reproducing kernel Hilbert spaces over the unit disc. Our results also includes the case of weighted Bergman spaces over the unit disk.
We study the structure of the backward shift invariant and nearly invariant subspaces in weighted Fock-type spaces $\mathcal{F}_W^p$, whose weight $W$ is not necessarily radial. We show that in the spaces $\mathcal{F}_W^p$ which contain the polynomials as a dense subspace (in particular, in the radial case) all nontrivial backward shift invariant subspaces are of the form $\mathcal{P}_n$, i.e., finite dimensional subspaces consisting of polynomials of degree at most $n$. In general, the structure of the nearly invariant subspaces is more complicated. In the case of spaces of slow growth (up to…
We give necessary and sufficient conditions for the sum of n subspaces of a Hilbert space to be closed. We also present various properties of n-tuples of subspaces with closed sum.
By applying methods of Duhamel algebra and reproducing kernels, we prove that every linear bounded operator on the Hardy-Hilbert space H^{2}(D) has a nontrivial invariant subspace. This solves affirmatively the Invariant Subspace Problem in the Hilbert space.
We study finite systems of subspaces of a complex Hilbert space such that each pair of subspaces satisfies a certain condition as described in the following. For each subspace excepting the first one an angle between this subspace and the first one is fixed. The set of all subspaces excluding the first one is divided into disjoint subsets. Each such subset consists of one or two subspaces. Subspaces from different subsets are orthogonal and orthogonal projections onto subspaces from the same subset commute.
In this note, we describe the backward shift invariant subspaces for a large class of reproducing kernel Hilbert spaces. This class includes in particular de Branges-Rovnyak spaces (the non-extreme case) and the range space of co-analytic Toeplitz operators.
A regular generalized sampling theory in some structured T-invariant subspaces of a Hilbert space H, where T denotes a bounded invertible operator in H, is established in this paper. This is done by walking through the most important cases which generalize the usual sampling settings.
We provide a sufficient condition for a finite number of closed subspaces of a Hilbert space to be linearly independent and their sum to be closed. Under this condition a formula for the orthogonal projection onto the sum is given. We also show that this condition is sharp (in a certain sense).
This paper is a follow-up contribution to our work [20] where we discussed some invariant subspace results for contractions on Hilbert spaces. Here we extend the results of [20] to the context of n-tuples of bounded linear operators on Hilbert spaces. Let T = (T_1, \ldots, T_n) be a pure commuting co-spherically contractive n-tuple of operators on a Hilbert space \mathcal{H} and \mathcal{S} be a non-trivial closed subspace of \mathcal{H}. One of our main results states that: \mathcal{S} is a joint T-invariant subspace if and only if there exists a partially isometric operator Π\in \mathcal{B}(…
We prove that the nearly invariant subspaces of a de Branges space which have no common zeros are precisely of the form an exponential function times a de Branges space.
The translation of an operator is defined by using conjugation with time-frequency shifts. Thus, one can define $Λ$-shift-invariant subspaces of Hilbert-Schmidt operators, finitely generated, with respect to a lattice $Λ$ in $\mathbb{R}^{2d}$. These spaces can be seen as a generalization of classical shift-invariant subspaces of square integrable functions. Obtaining sampling results for these subspaces appears as a natural question that can be motivated by the problem of channel estimation in wireless communications. These sampling results are obtained in the light of the frame theory in a se…
In the setting of operators on Hilbert spaces, we prove that every quasinilpotent operator has a non-trivial closed invariant subspace if and only if every pair of idempotents with a quasinilpotent commutator has a non-trivial common closed invariant subspace. We also present a geometric characterization of invariant subspaces of idempotents and classify operators that are essentially idempotent.
In this article, we briefly describe nearly $T^{-1}$ invariant subspaces with finite defect for a shift operator $T$ having finite multiplicity acting on a separable Hilbert space $\mathcal{H}$ as a generalization of nearly $T^{-1}$ invariant subspaces introduced by Liang and Partington in \cite{YP}. In other words we characterize nearly $T^{-1}$ invariant subspaces with finite defect in terms of backward shift invariant subspaces in vector-valued Hardy spaces by using Theorem 3.5 in \cite{CDP}. Furthermore, we also provide a concrete representation of the nearly $T_B^{-1}$ invariant subspaces…
We study the relative position of four subspaces in a Hilbert space. For any positive integer n, we give an example of exotic indecomposable system of four subspaces in a Hilbert space whose defect is (2n+1)/3. By an exotic system, we mean a system which is not isomorphic to any closed operator system under any permutation of subspaces. We construct the examples by a help of certain nice sequences used by Jiang and Wang in their study of strongly irreducible operators.
The concept of translation of an operator allows to consider the analogous of shift-invariant subspaces in the class of Hilbert-Schmidt operators. Thus, we extend the concept of average sampling to this new setting, and we obtain the corresponding sampling formulas. The key point here is the use of the Weyl transform, a unitary mapping between the space of square integrable functions in the phase space $\mathbb{R}^d\times \widehat{\mathbb{R}}^d$ and the Hilbert space of Hilbert-Schmidt operators on $L^2(\mathbb{R}^d)$, which permits to take advantage of some well established sampling results.
Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomplemented poset of orthogonally closed linear subspaces of $S$, closed w.r.t. finite dimensional perturbations, (i.e. if $M\in\el$ and $F$ is a finite dimensional linear subspace of $S$, then $M+F\in \el$). We study the order topology $τ_o(\el)$ on $\el$ and show that completeness of $S$ can by characterized by the separation properties of the topological space $(\el,τ_o(\el))$. It will be seen that the remarkable lack …
We study the relative position of three subspaces in a separable infinite-dimensional Hilbert space. In the finite-dimensional case, Brenner described the general position of three subspaces completely. We extend it to a certain class of three subspaces in an infinite-dimensional Hilbert space. We also give a partial result which gives a condition on a system to have a (dense) decomposition containing a pentagon.
Given a family of subspaces we investigate existence, quantity and quality of common complements in Hilbert spaces and Banach spaces. In particular we are interested in complements for countable families of closed subspaces of finite codimension. Those families naturally appear in the context of exponential type splittings like the multiplicative ergodic theorem, which recently has been proved in various infinite-dimensional settings. In view of these splittings, we show that common complements with subexponential decay of quality are generic in Hilbert spaces. Moreover, we prove that the exis…
Controlled g-atomic subspace for a bounded linear operator is being presented and a characterization has been given. We give an example of controlled K-g-fusion frame. We construct a new controlled K-g-fusion frame for the Hilbert space H ? X using the controlled K-g-fusion frames of the Hilbert spaces H and X. Several useful resolutions of the identity operator on a Hilbert space using the theory of controlled g-fusion frames have been discussed. Frame operator for a pair of controlled g-fusion Bessel sequences has been introduced.
The relative position of one subfactor of a factor has been proved quite rich since the work of Jones. We shall show that the theory of relative position of several subspaces of a separable infinite-dimensional Hilbert space is also rich. In finite-dimensonal case, Gelfand and Ponomarev gave a complete classification of indecomposable systems of four subspaces. We construct exotic examples of indecomposable systems of four subspaces in infinite-dimensional Hilbert spaces. We extend their Coxeter functors and defect using Fredholm index. There exist close connections with strongly irreducible o…
In this paper we first study the structure of the scalar and vector-valued nearly invariant subspaces with a finite defect. We then subsequently produce some fruitful applications of our new results. We produce a decomposition theorem for the vector-valued nearly invariant subspaces with a finite defect. More specifically, we show every vector-valued nearly invariant subspace with a finite defect can be written as the isometric image of a backwards shift invariant subspace. We also show that there is a link between the vector-valued nearly invariant subspaces and the scalar-valued nearly invar…
We construct a weak Hilbert Banach space such that for every block subspace $Y$ every bounded linear operator on Y is of the form D+S where S is a strictly singular operator and D is a diagonal operator. We show that this yields a weak Hilbert space whose block subspaces are not isomorphic to any of their proper subspaces.
Methods of *-representations in Hilbert space are applied to study of systems of $n$ subspaces in a linear space. It is proved that the problem of description of $n$-transitive subspaces in a finite-dimensional linear space is *-wild for $n \geq 5$.
We characterize the frames on an infinite dimensional separable Hilbert space that can be projected to a tight frame for an infinite dimensional subspace. A result of Casazza and Leon states that an arbitrary frame for a 2N- or (2N-1)-dimensional Hilbert space can be projected to a tight frame for an N-dimensional subspace. Surprisingly, we demonstrate a large class of frames for infinite dimensional Hilbert spaces which cannot be projected to a tight frame for any infinite dimensional subspace.
Let $\{T(t)\}_{t\geq0}$ be a $C_0$-semigroup on an infinite dimensional separable Hilbert space; a suitable definition of near $\{T(t)^*\}_{t\geq0}$ invariance of a subspace is presented in this paper. A series of prototypical examples for minimal nearly $\{S(t)^*\}_{t\geq0}$ invariant subspaces for the shift semigroup $\{S(t)\}_{t\geq0}$ on $L^2(0,\infty)$ are demonstrated, which have close links with nearly $T_θ^*$ invariance on Hardy spaces of the unit disk for Toeplitz operators associated with an inner function $θ$. Especially, the corresponding subspaces on Hardy spaces of the right half…
We study two subspace systems in a separable infinite-dimensional Hilbert space up to (bounded) isomorphism. One of the main result of this paper is the following: Isomorphism classes of two subspace systems given by graphs of bounded operators are determined by unitarily equivalent classes of the operator ranges and the nullity of the original bounded operators giving graphs. We construct several non-isomorphic examples of two subspace systems in an infinite-dimensional Hilbert space.
It is well known that the kernel of a Toeplitz operator is nearly invariant under the backward shift $S^*$. This paper shows that kernels of finite-rank perturbations of Toeplitz operators are nearly $S^*$-invariant with finite defect. This enables us to apply a recent theorem by Chalendar--Gallardo--Partington to represent the kernel in terms of backward shift-invariant subspaces, which we identify in several important cases.
Following Davie's example of a Banach space failing the approximation property [D], we show how to construct a Banach space E which is asymptotically Hilbertian and fails the approximation property. Moreover, the space E is shown to be a subspace of a space with an unconditional basis which is ``almost'' a weak Hilbert space and which can be written as the direct sum of two subspaces all of whose subspaces have the approximation property.
If $\left(\h,\langle\cdot,\cdot\rangle\right)$ is a Hilbert space and on it we consider the sesquilinear form $\langle\,W\cdot,\cdot\rangle$ so-called $W$-metric, where $W^{*}=W\in\BH$, and $\ker\,W=\{0\}$, then the space $\left(\h,\langle\,W\cdot,\cdot\rangle\right)$ is called Hilbert space with $W$-metric or simply $W$-space. In this paper we investigate the dynamic of frames of subspace on these spaces, where the sense of dynamics refers to the behavior of frames of subspace in $\h_{W}$ (the completion of $\left(\h,\langle\,W\cdot,\cdot\rangle\right)$) comparing with $\h$ and vice versa. Th…
In a wide class of weighted Bergman spaces, we construct invertible non-cyclic elements. These are then used to produce z-invariant subspaces of index higher than one. In addition, these elements generate nontrivial bilaterally invariant subspaces in anti-symmetrically weighted Hilbert spaces of sequences.
This paper demonstrates that random, independently chosen equi-dimensional subspaces with a unitarily invariant distribution in a real Hilbert space provide nearly tight, nearly equiangular fusion frames. The angle between a pair of subspaces is measured in terms of the Hilbert-Schmidt inner product of the corresponding orthogonal projections. If the subspaces are selected at random, then a measure concentration argument shows that these inner products concentrate near an average value. Overwhelming success probability for near tightness and equiangularity is guaranteed if the dimension of the…
Extending Meshulam's result on the boundedness of orbits of relaxed projections onto affine subspaces from finite to infinite-dimensional Hilbert spaces
Wigner's classical theorem on symmetry transformations plays a fundamental role in quantum mechanics. It can be formulated, for example, in the following way: Every bijective transformation on the set L of all 1-dimensional subspaces of a Hilbert space H which preserves the angle between the elements of L is induced by either a unitary or an antiunitary operator on H. The aim of this paper is to extend Wigner's result from the 1-dimensional case to the case of n-dimensional subspaces of H with n fixed.
In this note we prove that the reproducing kernel of a Hilbert space satisfying the division property has integrable form, is locally of trace class, and the Hilbert space itself is a Hilbert space of holomorphic functions.
We use shift-invariant subspaces of the Hardy space on the bidisk to provide an elementary proof of the Agler Decomposition Theorem. We observe that these shift-invariant subspaces are specific cases of Hilbert spaces that can be defined from Agler decompositions and analyze the properties of such Hilbert spaces. We then restrict attention to rational inner functions and show that the shift-invariant subspaces provide easy proofs of several known results about decompositions of rational inner functions. We use our analysis to obtain a result about stable polynomials on the polydisk.
Let $G$ be a finite pseudoreflection group, $Ω\subseteq \mathbb C^n$ be a bounded domain which is a $G$-space and $\mathcal H\subseteq\mathcal O(Ω)$ be an analytic Hilbert module possessing a $G$-invariant reproducing kernel. We study the structure of joint reducing subspaces of the multiplication operator $\mathbf M_{\boldsymbolθ}$ on $\mathcal H,$ where $\{θ_i\}_{i=1}^n$ is a homogeneous system of parameters associated to $G$ and $\boldsymbolθ= (θ_1, \ldots, θ_n)$ is a polynomial map of $\mathbb C^n$. We show that it admits a family $\{\mathbb P_\varrho\mathcal H:\varrho\in\widehat G\}$ of n…
Our aim in this paper is to obtain necessary and sufficient conditions for weighted shift operators on the Hilbert spaces $\ell^{2}(\mathbb Z)$ and $\ell^{2}(\mathbb N)$ to be subspace-transitive, consequently, we show that the Herrero question (D. A. Herrero. Limits of hypercyclic and supercyclic operators, J. Funct. Anal., 99 (1991)179-190) holds true even on a subspace of a Hilbert space, i.e. there exists an operator $T$ such that both $T$ and $T^*$ are subspace-hypercyclic operators for some subspaces. We display the conditions on the direct sum of two invertable bilateral forward weighte…
Let $ E $ be a space of holomorphic functions on the unit ball $ B_X $ of a Banach space $ X.$ In this work, we introduce a Banach structure associated to $ E $ on the linear space $ WE(Y) $ containing $ Y$-valued holomorphic functions on $ B_X $ such that $ w \circ f \in E $ for every $ w \in W, $ a separating subspace of the dual $ Y' $ of a Banach $ Y. $ We establish the relation between the boundedness, the (weak) compactness of the weighted composition operators $ W_{ψ,φ}: f\mapsto ψ\cdot(f \circ φ) $ on $ E $ and $ \widetilde{W}_{ψ,φ}: g\mapsto ψ\cdot(g \circ φ) $ on $ WE(Y)$ via some ch…
A complete characterization of nearly-invariant subspaces of finite defect for the backward shift operator acting on the Hardy space is provided in the spirit of Hitt and Sarason's theorem. As a corollary we describe the almost-invariant subspaces for the shift and its adjoint.
In this article, we characterize nearly invariant subspaces of finite defect for the backward shift operator acting on the vector-valued Hardy space which is a vectorial generalization of a result of Chalendar-Gallardo-Partington (C-G-P). Using this characterization of nearly invariant subspace under the backward shift we completely describe the almost invariant subspaces for the shift and its adjoint acting on the vector valued Hardy space.
The objective of this paper is to study wandering subspaces for commuting tuples of bounded operators on Hilbert spaces. It is shown that, for a large class of analytic functional Hilbert spaces $\mathcal{H}_K$ on the unit ball in $\mathbb C^n$, wandering subspaces for restrictions of the multiplication tuple $M_z = (M_{z_1}, \ldots ,M_{z_n})$ can be described in terms of suitable $\mathcal{H}_K$-inner functions. We prove that $\mathcal{H}_K$-inner functions are contractive multipliers and deduce a result on the multiplier norm of quasi-homogenous polynomials as an application. Along the way w…
This monograph is centred at the intersection of three mathematical topics, that are theoretical in nature, yet with motivations and relevance deep rooted in applications: the linear inverse problems on abstract, in general infinite-dimensional Hilbert space; the notion of Krylov subspace associated to an inverse problem, i.e., the cyclic subspace built upon the datum of the inverse problem by repeated application of the linear operator; the possibility to solve the inverse problem by means of Krylov subspace methods, namely projection methods where the finite-dimensional truncation is made wi…
Let $S$ be the shift operator on the Hardy space $H^2$ and let $S^*$ be its adjoint. A closed subspace $\FF$ of $H^2$ is said to be nearly $S^*$-invariant if every element $f\in\FF$ with $f(0)=0$ satisfies $S^*f\in\FF$. In particular, the kernels of Toeplitz operators are nearly $S^*$-invariant subspaces. Hitt gave the description of these subspaces. They are of the form $\FF=g (H^2\ominus u H^2)$ with $g\in H^2$ and $u$ inner, $u(0)=0$. A very particular fact is that the operator of multiplication by $g$ acts as an isometry on $H^2\ominus uH^2$. Sarason obtained a characterization of the func…
Let $H$ be a Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$. Denote by $P_k$ the orthogonal projection onto $H_k$, $k=1,2,...,n$. Following Patrick L. Combettes and Noli N. Reyes, we will say that the system of subspaces $H_1,...,H_n$ possesses the inverse best approximation property (IBAP) if for arbitrary elements $x_1\in H_1,...,x_n\in H_n$ there exists an element $x\in H$ such that $P_k x=x_k$ for all $k=1,2,...,n$. We provide various new necessary and sufficient conditions for a system of $n$ subspaces to possess the IBAP. Using the main characterization theorem, we study prop…
Let $H$ be a separable real Hilbert space. Denote by ${\mathcal G}_{\infty}(H)$ the Grassmannian consisting of closed subspaces with infinite dimension and codimension. This Grassmannian is partially ordered by the inclusion relation. We show that every order preserving transformation of ${\mathcal G}_{\infty}(H)$ can be extended to an automorphism of the lattice of closed subspaces of $H$. It follows from Mackey's result \cite{Mackey} that automorphisms of this lattice are induced by invertible bounded linear operators.
In this paper, we answer a question posed in the introduction of \cite{sub hyp} positively, i.e, we show that if $T$ is $\mathcal M$-hypercyclic operator with $\mathcal M$-hypercyclic vector $x$ in a Hilbert space $\mathcal H$, then $P(Orb(T,x))$ is dense in the subspace $\mathcal M$ where $P$ is the orthogonal projection onto $\mathcal M$. Furthermore, we give some relations between ${\mathcal M}^{\perp}$-hypercyclicity and the orthogonal projection onto ${\mathcal M}^{\perp}$. We also give sufficient conditions for a bilateral weighted shift operators on a Hilbert space $\ell^{2}(\mathbb Z)$…
In this paper we study subspaces which are invariant under squares and cubes (separately as well as jointly) of unicellular backward weighted shift operators on a separable Hilbert space. The finite-dimensional subspaces are characterized for all weights and the infinite-dimensional subspaces are characterized for two classes of weights.
