The techniques developed by Popescu, Muhly-Solel and Good for the study of algebras generated by weighted shifts are applied to generalize results of Sarkar and of Bhattacharjee-Eschmeier-Keshari-Sarkar concerning dilations and invariant subspaces for commuting tuples of operators. In that paper the authors prove Beurling-Lax-Halmos type results for commuting tuples $T=(T_1,\ldots,T_d)$ operators that are contractive and pure; that is $Φ_T(I)\leq I$ and $Φ_T^n(I)\searrow 0$ where $$Φ_T(a)=Σ_i T_iaT_i^*.$$ Here we generalize some of their results to commuting tuples $T$ satisfying similar conditions but for $$Φ_T(a)=Σ_{α\in \mathbb{F}^+_d} x_{|α|}T_αaT_α^*$$ where $\{x_k\}$ is a sequence of non negative numbers satisfying some natural conditions (where $T_α=T_{α(1)}\cdots T_{α(k)}$ for $k=|α|$). In fact, we deal with a more general situation where each $x_k$ is replaced by a $d^k\times d^k$ matrix. We also apply these results to subspaces of certain reproducing kernel correspondences $E_K$ (associated with maps-valued kernels $K$) that are invariant under the multipliers given by the coordinate functions.
Motivated by the theory of weighted shifts on directed trees and its multivariable counterpart, we address the question of identifying commutant and reflexivity of the multiplication $d$-tuple $\mathscr M_z$ on a reproducing kernel Hilbert space $\mathscr H$ of $E$-valued holomorphic functions on $Ω$, where $E$ is a separable Hilbert space and $Ω$ is a bounded domain in $\mathbb C^d$ admitting bounded approximation by polynomials. In case $E$ is a finite dimensional cyclic subspace for $\mathscr M_z$, under some natural conditions on the $B(E)$-valued kernel associated with $\mathscr H$, the c…
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.
In this paper, we study random sampling on reproducing kernel space $V$, which is a range of an idempotent integral operator. Under certain decay condition on the integral kernel, we show that any element in $V$ can be approximated by an element in a finite-dimensional subspace of $V$. Moreover, we prove with overwhelming probability that random points uniformly distributed over a cube $C$ is stable sample for the set of functions concentrated on $C$
Let T be a Cowen-Douglas tuple on a Banach space X. We use functional representations of T to associate with each T-invariant subspace Y of X an integer called the fiber dimension of Y. Among other results we prove a limit formula for the fiber dimension, show that it is invariant under suitable changes of Y and deduce a dimension formula for pairs of homogeneous invariant subspaces of graded Cowen-Douglas tuples on Hilbert spaces. We thus extend results proved by L. Chen, G. Cheng and X. Fang for single Cowen-Douglas operators on Hilbert spaces to the case of commuting operator systems on Ban…
A well-known theorem due to R. E. Curto and N. Salinas gives a necessary and sufficient condition for the unitary equivalence of commuting tuples of bounded linear operators acting on reproducing kernel Hilbert spaces. Inspired by this theorem, we obtain a different but equivalent criterion for the unitary equivalence of operators acting on reproducing kernel Hilbert spaces. As an application, we describe the structure of intertwining operator and prove that the decomposition of Cowen-Douglas operators is unique up to unitary equivalence.
This paper deals with representing in concrete fashion those Hilbert spaces that are vector subspaces of the Hardy spaces $H^p(\bb D^n) \ (1\le p\le \infty)$ that remain invariant under the action of coordinate wise multiplication by an $n$-tuple $(T_{B_1},\dots, T_{B_n})$ of operators where each $B_i, \ 1\le i\le n,$ is a finite Blaschke factor on the open unit disc. The critical point to be noted is that these $T_{B_i}$ are assumed to be weaker than isometries as operators. Thus our main theorem extends the principal result of \cite{LS} in the following three directions: $(i)$ from one to se…
In this article, we consider the random sampling in the image space $V$ of mixed Lebesgue space $L^{p,q}(\mathbb{R}^{n+1})$ under an idempotent integral operator. We assume some decay and regularity conditions of the kernel and approximate the unit sphere in $V$ on a bounded cube $C_{R,S}$ by a finite-dimensional subspace of $V$. Consequently, the set of concentrated functions is totally bounded. We prove with an overwhelming probability that the random sample set uniformly distributed over $C_{R,S}$ is a stable set of sampling for the set of concentrated functions on $C_{R,S}$. Moreover, we p…
Pick spaces are a class of reproducing kernel Hilbert spaces that generalize the classical Hardy space and the Drury--Arveson reproducing kernel spaces. We give characterizations of certain contractively included subspaces of Pick spaces. These generalize the characterization of closed invariant subspaces of Trent and McCullough, as well as results for the Drury--Arveson space obtained by Ball, Bolotnikov and Fang.
We study interpolating sequences of $d$-tuples of matrices, by looking at the commuting and the non-commuting case separately. In both cases, we will give a characterization of such sequences in terms of separation conditions on suitable reproducing kernel Hilbert spaces, and we will give sufficient conditions stated in terms of separation via analytic functions. Examples of such interpolating sequences will also be given
In this paper, we mainly study the random sampling stability for signals in a weighted reproducing kernel subspace of $L_ν^p(\mathbb{R}^d)$ without the additional requirement that the kernel function has symmetry. The sampling set is independently and randomly drawn from a general probability distribution over $\mathbb{R}^d$. Based on the frame characterization of weighted reproducing kernel subspaces, we first approximate the weighted reproducing kernel space by a finite dimensional subspace on any bounded domains. Then, we prove that the random sampling stability holds with high probability …
Inspired by natural classes of examples, we define generalized directed semi-tree and construct weighted shifts on the generalized directed semi-trees. Given an $n$-tuple of directed directed semi-trees with certain properties, we associate an $n$-tuple of multiplication operators on a Hilbert space $\mathscr{H}^2(β)$ of formal power series. Under certain conditions, $\mathscr{H}^2(β)$ turns out to be a reproducing kernel Hilbert space consisting of holomorphic functions on some domain in $\mathbb C^n$ and the $n$-tuple of multiplication operators on $\mathscr{H}^2(β)$ is unitarily equivalent …
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 a relation between brick $n$-tuples of subspaces of a finite dimensional linear space, and irreducible $n$-tuples of subspaces of a finite dimensional Hilbert (unitary) space such that a linear combination, with positive coefficients, of orthogonal projections onto these subspaces equals the identity operator. We prove that brick systems of one-dimensional subspaces and the systems obtained from them by applying the Coxeter functors (in particular, all brick triples and quadruples of subspaces) can be unitarized. For each brick triple and quadruple of subspaces, we describe sets of ch…
We obtain two results concerning the Feichtinger conjecture for systems of normalized reproducing kernels in the model subspace $K_Θ= H^2\ominus ΘH^2$ of the Hardy space $H^2$, where $Θ$ is an inner function. First, we verify the Feichtinger conjecture for the kernels $ \tilde k_{λ_n} = k_{λ_n}/\|k_{λ_n}\|$ under the assumption that $\sup_n |Θ(λ_n)|<1$. Secondly, we prove the Feichtinger conjecture in the case where $Θ$ is a one-component inner function, meaning that the set $\{z:|Θ(z)|<\varepsilon\}$ is connected for some $\varepsilon\in(0,1)$.
In this article we obtain some positive results about the existence of a common nontrivial invariant subspace for $N$-tuples of not necessarily commuting operators on Banach spaces with a Schauder basis. The concept of joint quasinilpotence plays a basic role. Our results complement recent work by Kosiek \cite{6} and Ptak \cite{8}.
In this paper, we consider sampling and reconstruction of signals in a reproducing kernel subspace of $L^p(\Rd), 1\le p\le \infty$, associated with an idempotent integral operator whose kernel has certain off-diagonal decay and regularity. The space of $p$-integrable non-uniform splines and the shift-invariant spaces generated by finitely many localized functions are our model examples of such reproducing kernel subspaces of $L^p(\Rd)$. We show that a signal in such reproducing kernel subspaces can be reconstructed in a stable way from its samples taken on a relatively-separated set with suffi…
An operator $T$ is called a 3-isometry if there exists operators $B_1(T^*,T)$ and $B_2(T^*,T)$ such that \[Q(n)=T^{*n}T^n=1+nB_1(T^*,T)+n^2 B_2(T^*,T)\] for all natural numbers $n$. An operator $J$ is a Jordan operator of order $2$ if $J=U+N$ where $U$ is unitary, $N$ is nilpotent order $2$, and $U$ and $N$ commute. An easy computation shows that $J$ is a $3$-isometry and that the restriction of $J$ to an invariant subspace is also a $3$-isometry. Those $3$-isometries which are the restriction of a Jordan operator to an invariant subspace can be identified, using the theory of completely posit…
Let T:=[T_1,..., T_n] be an n-tuple of operators on a Hilbert space such that T is a completely non-coisometric row contraction. We establish the existence of a "one-to-one" correspondence between the joint invariant subspaces under T_1,..., T_n, and the regular factorizations of the characteristic function associated with T. In particular, we prove that there is a non-trivial joint invariant subspace under the operators T_1,..., T_n, if and only if there is a non-trivial regular factorization of the characteristic function. We also provide a functional model for the joint invariant subspaces …
We study analytic models of operators of class $C_{\cdot 0}$ with natural positivity assumptions. In particular, we prove that for an $m$-hypercontraction $T \in C_{\cdot 0}$ on a Hilbert space $\mathcal{H}$, there exists a Hilbert space $\mathcal{E}$ and a partially isometric multiplier $θ\in \mathcal{M}(H^2(\mathcal{E}), A^2_m(\mathcal{H}))$ such that \[\mathcal{H} \cong \mathcal{Q}_θ = A^2_m(\mathcal{H}) \ominus θH^2(\mathcal{E}), \quad \quad \mbox{and} \quad \quad T \cong P_{\mathcal{Q}_θ} M_z|_{\mathcal{Q}_θ},\]where $A^2_m$ is the weighted Bergman space and $H^2$ is the Hardy space over …
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.
It is known that (i) a subspace ${\mathcal N}$ of the Hardy space $H^2$ which is invariant under the backward shift operator can be represented as the range of the observability operator of a conservative discrete-time linear system, (ii) the transfer-function of this conservative linear system in turn is the inner Beurling-Lax representer for the forward-shift invariant subspace ${\mathcal M} : = {\mathcal N}^\perp$, and (iii) this transfer function also serves as the Sz.-Nagy-Foias characteristic function of the pure contraction operator $T$ given by $T = P_{\mathcal N} M_z |_{\mathcal N}$. …
Let $Ω$ be an irreducible bounded symmetric domain of rank $r$ in $\mathbb C^d.$ Let $\mathbb K$ be the maximal compact subgroup of the identity component $G$ of the biholomorphic automorphism group of the domain $Ω$. The group $\mathbb K$ consisting of linear transformations acts naturally on any $d$-tuple $\boldsymbol T=(T_1,\ldots, T_d)$ of commuting bounded linear operators. If the orbit of this action modulo unitary equivalence is a singleton, then we say that $\boldsymbol T$ is $\mathbb{K}$-homogeneous. In this paper, we obtain a model for all $\mathbb{K}$-homogeneous $d$-tuple $\boldsym…
Motivated by a result on weak Markov dilations, we define a notion of characteristic function for ergodic and coisometric row contractions with a one-dimensional invariant subspace for the adjoints. This extends a definition given by G. Popescu. We prove that our characteristic function is a complete unitary invariant for such tuples and show how it can be computed.
We introduce a new concept of perturbation of closed linear subspaces and operators in Banach spaces called uniform lambda-adjustment which is weaker than perturbations by small gap, operator norm, q-norm, and K2-approximation. In arbitrary Banach spaces some of the classical Fredholm stability theorems remain true under uniform lambda-adjustment, while other fail. However, uniformly lambda-adjusted subspaces and linear operators retain their (semi--)Fredholm properties in a Banach space which dual is Fréchet-Urysohn in weak* topology. We also introduce another concept of perturbation called u…
Let $\mathbb{V}$ denote an $n$-tuple of shifts of finite multiplicity, and denote by $\mathrm{Ann}(\mathbb{V})$ the ideal consisting of polynomials $p$ in $n$ complex variables such that $p(\mathbb{V})=0$. If $\mathbb{W}$ on $\mathfrak{K}$ is another $n$-tuple of shifts of finite multiplicity, and there is a $\mathbb{W}$-invariant subspace $\mathfrak{K}'$ of finite codimension in $\mathfrak{K}$ so that $\mathbb{W}|\mathfrak{K}'$ is similar to $\mathbb{V}$, then we write $\mathbb{V}\lesssim \mathbb{W}$. If $\mathbb{W}\lesssim \mathbb{V}$ as well, then we write $\mathbb{W}\approx \mathbb{V}$. In…
We present two alternative proofs of Mandrekar's theorem, which states that an invariant subspaces of the Hardy space on the bidisc is of Beurling type precisely when the shifts satisfy a doubly commuting condition. The first proof uses properties of Toeplitz operators to derive a formula for the reproducing kernel of certain shift invariant subspaces, which can then be used to characterize them. The second proof relies on the reproducing property in order to show that the reproducing kernel at the origin must generate the entire shift invariant subspace.
Compressions of Toeplitz operators to coinvariant subspaces of $H^2$ are called truncated Toeplitz operators. We study two questions related to these operators. The first, raised by Sarason, is whether boundedness of the operator implies the existence of a bounded symbol; the second is the reproducing kernel thesis. We show that in general the answer to the first question is negative, and we exhibit some classes of spaces for which the answers to both questions are positive.
A natural class of weighted Bergman spaces on the symmetrized polydisc is isometrically embedded as a subspace in the corresponding weighted Bergman space on the polydisc. We find an orthonormal basis for this subspace. It enables us to compute the kernel function for the weighted Bergman spaces on the symmetrized polydisc using the explicit nature of our embedding. This family of kernel functions include the Szegö and the Bergman kernel on the symmetrized polydisc.
Doubly commutativity of invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc $\mathbb{D}^n$ (with $ n \geq 2$) is investigated. We show that for any non-empty subset $α=\{α_1,\dots,α_k\}$ of $\{1,\dots,n\}$ and doubly commuting invariant subspace $\s$ of the Bergman space or the Dirichlet space over $\D^n$, the tuple consists of restrictions of co-ordinate multiplication operators $M_α|_\s:=(M_{z_{α_1}}|_\s,\dots, M_{z_{α_k}}|_\s)$ always possesses wandering subspace of the form \[\bigcap_{i=1}^k(\s\ominus z_{α_i}\s). \]
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}(…
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…
Let $\{v_n\}$ be a complete minimal system in a Hilbert space $\mathcal{H}$ and let $\{w_m\}$ be its biorthogonal system. It is well known that $\{w_m\}$ is not necessarily complete. However the situation may change if we consider systems of reproducing kernels in a reproducing kernel Hilbert space $\mathcal{H}$ of analytic functions. We study the completeness problem for a class of spaces with a Riesz basis of reproducing kernels and for model subspaces $K_Θ$ of the Hardy space. We find a class of spaces where systems biorthogonal to complete systems of reproducing kernels are always complete…
A contraction $T$ on a Hilbert space $\mathcal{H}$ is said to be pure if the sequence $\lbrace T^{*n} \rbrace_{n}$ converges to $0$ in the strong operator topology. In this article, we prove that for contractions $T$, which commute with certain tractable tuples of commuting operators $X = (X_1,\ldots,X_n)$ on $\mathcal{H}$, the following statements are equivalent: (i) $T$ is a pure contraction on $\mathcal{H}$, (ii) the compression $P_{\mathcal{W}(X)}T|_{\mathcal{W}(X)}$ is a pure contraction, where $\mathcal{W}(X)$ is the wandering subspace corresponding to the tuple $X$. An operator-valued m…
A Schur-class function in $d$ variables is defined to be an analytic contractive-operator valued function on the unit polydisk. Such a function is said to be in the Schur--Agler class if it is contractive when evaluated on any commutative $d$-tuple of strict contractions on a Hilbert space. It is known that the Schur--Agler class is a strictly proper subclass of the Schur class if the number of variables $d$ is more than two. The Schur--Agler class is also characterized as those functions arising as the transfer function of a certain type (Givone--Roesser) of conservative multidimensional line…
We study unitary representations of groups in Krein spaces, irreducibility criteria and integral decompositions. Our main tool is the theory of Krein subspaces and their (reproducing) kernels and a variant of Choquet's theorem.
Let $\mathcal{H}$ be a reproducing kernel Hilbert space of functions on a set $X$. We study the problem of finding a minimal geodesic of the Grassmann manifold of $\mathcal{H}$ that joins two subspaces consisting of functions which vanish on given finite subsets of $X$. We establish a necessary and sufficient condition for existence and uniqueness of geodesics, and we then analyze it in examples. We discuss the relation of the geodesic distance with other known metrics when the mentioned finite subsets are singletons. We find estimates on the upper and lower eigenvalues of the unique self-adjo…
For graded Hilbert spaces $H$ and shift-like commuting tuples $T \in B(H)^n$, we show that each homogeneous joint invariant subspace $M$ of $T$ has finite index and is generated by its wandering subspace. Under suitable conditions on the grading $(H_k)_{k\geq 0}$ of $H$ the algebraic direct sum $\tilde{M} = \oplus_{k\geq 0} M \cap H_k$ becomes a finitely generated module over the polynomial ring $\mathbb C[z]$. We show that the wandering subspace $W_T(M)$ of $M$ is contained in $\tilde{M}$ and that each linear basis of $W_T(M)$ forms a minimal set of generators for the $\mathbb C[z]$-module $\…
For a commuting $d$- tuple of operators $\boldsymbol T$ defined on a complex separable Hilbert space $\mathcal H$, let $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ be the $d\times d$ block operator $\big (\!\!\big (\big [ T_j^* , T_i\big ]\big )\!\!\big )$ of the commutators $[T^*_j , T_i] := T^*_j T_i - T_iT_j^*$. We define the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \boldsymbol T \big ]\!\!\big ]$ by symmetrizing the products in the Laplace formula for the determinant of a scalar matrix. We prove that the determinant of $\big [ \!\!\big [ \boldsymbol T^*, \b…
This paper focuses on representations of contractively embedded invariant subspaces in several variables. We present a version of the de Branges theorem for $n$-tuples of multiplication operators by the coordinate functions on analytic reproducing kernel Hilbert spaces over the unit ball $\mathbb{B}^n$ and the Hardy space over the unit polydics $\mathbb{D}^n$ in $\mathbb{C}^n$.
We obtain a complete characterization for doubly commuting mixed invariant subspaces of the Hardy space over the unit polydisc. We say a closed subspace $\mathcal{Q}$ of $H^2(\mathbb{D}^n)$ is mixed invariant if $M_{z_{j}}(\mathcal{Q}) \subseteq \mathcal{Q}$ for $1 \leq j \leq k$ and $M_{z_{j}}^*(\mathcal{Q}) \subseteq \mathcal{Q}$, $k+1 \leq j \leq n$ for some integer $k \in \{1, 2, \ldots, n-1 \}$. We prove that a mixed invariant subspace $\mathcal{Q}$ of $H^2(\mathbb{D}^n)$ is doubly commuting if and only if \[ \mathcal{Q} = ΘH^2(\mathbb{D}^k) \otimes \mathcal{Q}_{θ_1} \otimes \cdots \otime…
In this paper, motivated by the Berger, Coburn and Lebow and Bercovici, Douglas and Foias theory for tuples of commuting isometries, we study analytic representations and joint invariant subspaces of a class of commuting $n$-isometries and prove that the $C^*$-algebra generated by the $n$-shift restricted to an invariant subspace of finite codimension in $H^2(\mathbb{D}^n)$ is unitarily equivalent to the $C^*$-algebra generated by the $n$-shift on $H^2(\mathbb{D}^n)$.
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 present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar multipliers of a vector-valued reproducing kernel Hilbert space. We use these to further develop a quantized function theory for various domains that extends and unifies Agler's theory of commuting contractions and the Arveson-Drury-Popescu theory of commuting row contractions. We obtain analogous factorization theorems, prove that the algebras that we obtain are …
This paper studies the construction of a refinement kernel for a given operator-valued reproducing kernel such that the vector-valued reproducing kernel Hilbert space of the refinement kernel contains that of the given one as a subspace. The study is motivated from the need of updating the current operator-valued reproducing kernel in multi-task learning when underfitting or overfitting occurs. Numerical simulations confirm that the established refinement kernel method is able to meet this need. Various characterizations are provided based on feature maps and vector-valued integral representat…
The goal of the paper is to study the structure of the k-tuples of doubly $Λ$-commuting row isometries and the $C^*$-algebras they generate from the point of view of noncommutative multivariable operator theory. We obtain Wold decompositions, in this setting, and use them to classify the $k$-tuples of doubly $Λ$-commuting row isometries up to a unitary equivalence. We introduce a universal model in this setting, describe its invariant subspaces, and develop a dilation theory on $Λ$-polyballs.
