We consider a family of norms (called operator E-norms) on the algebra $B(H)$ of all bounded operators on a separable Hilbert space $H$ induced by a positive densely defined operator $G$ on $H$. Each norm of this family produces the same topology on $B(H)$ depending on $G$. By choosing different generating operator $G$ one can obtain operator E-norms producing different topologies, in particular, the strong operator topology on bounded subsets of $B(H)$. We obtain a generalised version of the Kretschmann-Schlingemann-Werner theorem, which shows continuity of the Stinespring representation of CP linear maps w.r.t. the energy-constrained $cb$-norm (diamond norm) on the set of CP linear maps and the operator E-norm on the set of Stinespring operators. The operator E-norms induced by a positive operator $G$ are well defined for linear operators relatively bounded w.r.t. the operator $\sqrt{G}$ and the linear space of such operators equipped with any of these norms is a Banach space. We obtain explicit relations between the operator E-norms and the standard characteristics of $\sqrt{G}$-bounded operators. The operator E-norms allow to obtain simple upper bounds and continuity bounds for
We establish operator-valued versions of the earlier foundational factorization results for noncommutative polynomials due to Helton (Ann.~Math., 2002) and one of the authors (Linear Alg.~Appl., 2001). Specifically, we show that every positive operator-valued noncommutative polynomial $p$ admits a single-square factorization $p=r^{*}r$. An analogous statement holds for operator-valued noncommutative trigonometric polynomials. Our approach follows the now standard sum-of-squares (sos) paradigm but requires new results and constructions tailored to operator coefficients. Assuming a positive $p$ is not sos, Hahn--Banach separation yields a linear functional that is positive on the sos cone and negative on $p$; a Gelfand--Naimark--Segal (GNS) construction then produces a representing tuple $Y$ leading to contradiction since $p$ was assumed positive on $Y$. The main technical input is a canonical tuple $A$ of self-adjoint operators and, in the unitary case, a canonical tuple $U$ of unitaries, both constructed from the left-regular representation on Fock space. We prove that, up to a universal constant, the norms $\|p(A)\|$ and $\|p(U)\|$ bound the operator norm of any positive semidefin
A regular operator T on a Hilbert C^*-module is defined just like a closed operator on a Hilbert space, with the extra condition that the range of (I+T^*T) is dense. Semiregular operators are a slightly larger class of operators that may not have this property. It is shown that, like in the case of regular operators, one can, without any loss in generality, restrict oneself to semiregular operators on C^*-algebras. We then prove that for abelian C^*-algebras as well as for subalgebras of the algebra of compact operators, any closed semiregular operator is automatically regular. We also determine how a regular operator and its extensions (and restrictions) are related. Finally, using these results, we give a criterion for a semiregular operator on a liminal C^*-algebra to have a regular extension.
The purpose of this paper is to introduce a consistent notion of universal and reduced crossed products by actions and coactions of groups on operator systems and operator spaces. In particular we shall put emphasis to reveal the full power of the universal properties of the the universal crossed products. It turns out that to make things consistent, it seems useful to perform our constructions on some bigger categories which allow the right framework for studying the universal properties and which are stable under the construction of crossed products even for non-discrete groups. In the case of operator systems, this larger category is what we call a $C^*$-operator system, i.e., a selfadjoint subspace $X$ of some $\mathcal B(H)$ which contains a $C^*$-algebra $A$ such that $AX=X=XA$. In the case of operator spaces, the larger category is given by what we call $C^*$-operator bimodules. After we introduced the respective crossed products we show that the classical Imai-Takai and Katayama duality theorems for crossed products by group (co-)actions on $C^*$-algebras extend one-to-one to our notion of crossed products by $C^*$-operator systems and $C^*$-operator bimodules.
We exhibit a general class of unbounded operators in Banach spaces which can be shown to have the single-valued extension property, and for which the local spectrum at suitable points can be determined. We show that a local spectral radius formula holds, analogous to that for a globally defined bounded operator on a Banach space with the single-valued extension property. An operator of the class under consideration can occur in practice as (an extension of) a differential operator which, roughly speaking, can be diagonalised on its domain of smooth test functions via a discrete transform, such that the diagonalising transform establishes an isomorphism of topological vector spaces between the domain of the differential operator, in its own topology, and a sequence space. We give concrete examples of (extensions of) such operators (constant coefficient differential operators on the d-torus, Jacobi operators, the Hermite operator, Laguerre operators) and indicate further perspectives.
In this notes unbounded regular operators on Hilbert $C^*$-modules over arbitrary $C^*$-algebras are discussed. A densely defined operator $t$ possesses an adjoint operator if the graph of $t$ is an orthogonal summand. Moreover, for a densely defined operator $t$ the graph of $t$ is orthogonally complemented and the range of $P_FP_{G(t)^\bot}$ is dense in its biorthogonal complement if and only if $t$ is regular. For a given $C^*$-algebra $\mathcal A$ any densely defined $\mathcal A$-linear closed operator $t$ between Hilbert $C^*$-modules is regular, if and only if any densely defined $\mathcal A$-linear closed operator $t$ between Hilbert $C^*$-modules admits a densely defined adjoint operator, if and only if $\mathcal A$ is a $C^*$-algebra of compact operators. Some further characterizations of closed and regular modular operators are obtained. Changes 1: Improved results, corrected misprints, added references. Accepted by J. Operator Theory, August 2007 / Changes 2: Filled gap in the proof of Thm. 3.1, changes in the formulations of Cor. 3.2 and Thm. 3.4, updated references and address of the second author.
An operator *-algebra is a non-selfadjoint operator algebra with completely isometric involution. We show that any operator *-algebra admits a faithful representation on a Hilbert space in such a way that the involution coincides with the operator adjoint up to conjugation by a symmetry. We introduce operator *-correspondences as a general class of inner product modules over operator *-algebras and prove a similar representation theorem for them. From this we derive the existence of linking operator *-algebras for operator *-correspondences. We illustrate the relevance of this class of inner product modules by providing numerous examples arising from noncommutative geometry.
For a locally compact group $G$ we consider the algebra $CD(G)$ of convolution dominated operators on $L^{2}(G)$: An operator $A:L^2(G)\to L^2(G)$ is called convolution dominated if there exists $a\in L^1(G)$ such that for all $f \in L^2(G)$ $ |Af(x)| \leq a * |f| (x)$, for almost all $x \in G$. In the case of discrete groups those operators can be dealt with quite sufficiently if the group in question is rigidly symmetric. For non-discrete groups we investigate the subalgebra of regular convolution dominated operators $CD_{reg}(G)$. For amenable $G$ which is rigidly symmetric as a discrete group, we show that any element of $CD_{reg}(G)$ is invertible in $CD_{reg}(G)$ if it is invertible as a bounded operator on $L^2(G)$. We give an example of a symmetric group $E$ for which the convolution dominated operators are not inverse-closed in the bounded operators on $L^2(E)$.
Let $\varphi$ be a holomorphic self map of the bidisc that is Lipschitz on the closure. We show that the composition operator $C_{\varphi}$ is compact on the Bergman space if and only if $\varphi(\overline{\mathbb{D}^2})\cap \mathbb{T}^2=\emptyset$ and $\varphi(\overline{\mathbb{D}^2}\setminus \mathbb{T}^2)\cap b\mathbb{D}^2=\emptyset$.
Let B be a unital C*-subalgebra of a unital C*-algebra A, so that A/B is an abstract operator space. We show how to realize A/B as a concrete operator space by means of a completely contractive map from A into the algebra of operators on a Hilbert space, of the form a maps to [z, a] where z is a Hermitian unitary operator. We do not use Ruan's theorem concerning concrete realization of abstract operator spaces. Along the way we obtain corresponding results for abstract operator spaces of the form A/V where V is a closed subspace of A, and then for the more special cases in which V is a *-subspace or an operator system.
We develop important properties of the KK-functor on the basis of split exactness. In particular we discuss two slightly different short proofs for the existence of the Kasparov product and its associativity. We use the approach with quasihomomorphisms to obtain a short proof of the fact that operator homotopy implies homotopy . Using an idea of Gabe-Szabo we also deduce from this the 'stable uniqueness theorem' of Dadarlat-Eilers by a very short argument.
The present article is a review of recent developments concerning the notion of Følner sequences both in operator theory and operator algebras. We also give a new direct proof that any essentially normal operator has an increasing Følner sequence $\{P_n\}$ of non-zero finite rank projections that strongly converges to 1. The proof is based on Brown-Douglas-Fillmore theory. We use Følner sequences to analyze the class of finite operators introduced by Williams in 1970. In the second part of this article we examine a procedure of approximating any amenable trace on a unital and separable C*-algebra by tracial states $\mathrm{Tr}(\cdot P_n)/\mathrm{Tr}(P_n)$ corresponding to a Følner sequence and apply this method to improve spectral approximation results due to Arveson and Bédos. The article concludes with the analysis of C*-algebras admitting a non-degenerate representation which has a Følner sequence or, equivalently, an amenable trace. We give an abstract characterization of these algebras in terms of unital completely positive maps and define Følner C*-algebras as those unital separable C*-algebras that satisfy these equivalent conditions. This is analogous to Voiculescu's abstra
We introduce an analogue for Lip-normed operator systems of the second author's order-unit quantum Gromov-Hausdorff distance and prove that it is equal to the first author's complete distance. This enables us to consolidate the basic theory of what might be called operator Gromov-Hausdorff convergence. In particular we establish a completeness theorem and deduce continuity in quantum tori, Berezin-Toeplitz quantizations, and theta-deformations from work of the second author. We show that approximability by Lip-normed matrix algebras is equivalent to 1-exactness of the underlying operator space and, by applying a result of Junge and Pisier, that for n greater than or equal to 7 the set of isometry classes of n-dimensional Lip-normed operator systems is nonseparable. We also treat the question of generic complete order structure.
We show that the symmetrized product $AB+BA$ of two positive operators $A$ and $B$ is positive if and only if $f(A+B)\leq f(A)+f(B)$ for all non-negative operator monotone functions $f$ on $[0,\infty)$ and deduce an operator inequality. We also give a necessary and sufficient condition for that the composition $f\circ g$ of an operator convex function $f$ on $[0,\infty)$ and a non-negative operator monotone function $g$ on an interval $(a,b)$ is operator monotone and give some applications.
We show that the set of projections in an operator system can be detected using only the abstract data of the operator system. Specifically, we show that if $p$ is a positive contraction in an operator system $V$ which satisfies certain order-theoretic conditions, then there exists a complete order embedding of $V$ into $B(H)$ mapping $p$ to a projection operator. Moreover, every abstract projection in an operator system $V$ is an honest projection in the C*-envelope of $V$. Using this characterization, we provide an abstract characterization for operator systems spanned by two commuting families of projection-valued measures and discuss applications in quantum information theory.
We consider the weighted Bergman spaces HL^2(B^d,μ_λ), where dμ_λ(z)=c_λ(1-|z|^2)^lambda dτ, τbeing the hyperbolic volume measure. These spaces are nonzero if and only if λ>d. For 0<λ\leq d, spaces with the same formula for the reproducing kernel can be defined using a Sobolev-type norm. We define Toeplitz operators on these generalized Bergman spaces and investigate their properties. Specifically, we describe classes of symbols for which the corresponding Toeplitz operators can be defined as bounded operators or as a Hilbert--Schmidt operators on the generalized Bergman spaces.
An algebra A of operators on a Banach space X is called strictly semi-transitive if for all non-zero x,y in X there exists an operator S in A such that Sx=y or Sy=x. We show that if A is norm-closed and strictly semi-transitive, then every A-invariant linear subspace is norm-closed. Moreover, Lat A is totally and well ordered by reverse inclusion. If X is complex and A is transitive and strictly semi-transitive, then A is WOT-dense in L(X). It is also shown that if A is an operator algebra on a complex Banach space with no invariant operator ranges, then A is WOT-dense in L(X). This generalizes a similar result for Hilbert spaces proved by Foias.
Let $Ω_+$ be either the open unit disc or the open upper half plane or the open right half plane. In this paper, we compute the norm of the basic operator $A_α=Π_ΘT_{b_α}|_{\mathcal{H}(Θ)}$ in the vector valued model space $\mathcal{H}(Θ)=H^m_2 \ominus ΘH^m_2$ associated with an $m\times m$ matrix valued inner function $Θ$ in $Ω_+$ and show that the norm is attained. Here $Π_Θ$ denotes the orthogonal projection from the Lebesgue space $L^m_2$ onto $\mathcal{H}(Θ)$ and $T_{b_α}$ is the operator of multiplication by the elementary Blaschke factor $b_α$ of degree one with a zero at a point $α\in Ω_+$. We show that if $A_α$ is strictly contractive, then its norm may be expressed in terms of the singular values of $Θ(α)$. We then extend this evaluation to the more general setting of vector valued de Branges spaces.
In this paper, we study the linear dynamical properties of shift operators on some classes of Segal algebras. Moreover, we characterize hypercyclic generalized bilateral shift operators on the standard Hilbert module.
In this paper, we complete the study of mapping properties for a family of operators evaluating the difference between differentiation operators and conditional expectations acting on noncommutative $L_{p}$-spaces. To be more precise, we establish the weak type $(1,1)$ and $(L_{\infty},\mathrm{BMO})$ estimates of this difference. Consequently, in conjunction with interpolation and duality, we obtain all strong type $(p,p)$ estimates. This allows us to obtain a quick application to noncommutative differential transforms for averaging operators.