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
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.
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.
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.
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.
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$.
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.
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 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.
Let $K$ be an absolutely convex infinite-dimensional compact in a Banach space $\mathcal{X}$. The set of all bounded linear operators $T$ on $\mathcal{X}$ satisfying $TK\supset K$ is denoted by $G(K)$. Our starting point is the study of the closure $WG(K)$ of $G(K)$ in the weak operator topology. We prove that $WG(K)$ contains the algebra of all operators leaving $\overline{\lin(K)}$ invariant. More precise results are obtained in terms of the Kolmogorov $n$-widths of the compact $K$. The obtained results are used in the study of operator ranges and operator equations.
Let $T$ be a power-bounded operator on a Banach space $X$, $\mathcal{A}$ be a Banach algebra of bounded holomorphic functions on the unit disc $\mathbb{D}$, and assume that there is a bounded functional calculus for the operator $T$, so there is a bounded algebra homomorphism mapping functions $f \in \mathcal{A}$ to bounded operators $f(T)$ on $X$. Theorems of Katznelson-Tzafriri type establish that $\lim_{n\to\infty} \|T^n f(T)\| = 0$ for functions $f \in \mathcal{A}$ whose boundary functions vanish on the unitary spectrum $σ(T)\cap \mathbb{T}$ of $T$, or sometimes satisfy a stronger assumption of spectral synthesis. We consider the case when $\mathcal{A}$ is the Banach algebra $\mathcal{B}(\mathbb{D})$ of analytic Besov functions on $\mathbb{D}$. We prove a Katznelson-Tzafriri theorem for the $\mathcal{B}(\mathbb{D})$-calculus which extends several previous results.
Operators conserving the indefinite scalar product on a Krein space $(K,J)$ are called $J$-unitary. Such an operator $T$ is defined to be $S^1$-Fredholm if $T-z$ is Fredholm for all $z$ on the unit circle $S^1$, and essentially $S^1$-gapped if there is only discrete spectrum on $S^1$. For paths in the $S^1$-Fredholm operators an intersection index similar to the Conley-Zehnder index is introduced. The strict subclass of essentially $S^1$-gapped operators has a countable number of components which can be distinguished by a homotopy invariant given by the signature of $J$ restricted to the eigenspace of all eigenvalues on $S^1$. These concepts are illustrated by several examples.
We investigate the spectrum for partial sums of m position (or gaussian) operators on monotone Fock space based on $\ell^2(\mathbb{N})$. In the basic case of the first consecutive operators, we prove it coincides with the support of the vacuum distribution. Thus, the right endpoint of the support gives their norm. In the general case, we get the last property for norm still holds. As the single position operator has the vacuum symmetric Bernoulli law, and the whole of them is a monotone independent family of random variables, the vacuum distribution for partial sums of $n$ operators can be seen as the monotone binomial with $n$ trials. It is a discrete measure supported on a finite set, and we exhibit recurrence formulas to compute its atoms and probability function as well. Moreover, lower and upper bounds for the right endpoints of the supports are given.
Starting from the definition of A-Fredholm and semi-A-Fredholm operator on the standard module over a unital C*- algebra A, introduced in [8] and [4], we construct various generalizations of these operators and obtain several results as an analogue or a generalization of the results in [1], [2], [3],[7]. Moreover, we study also non-adjointable semi-A-Fredholm operators as a natural continuation of the work in [6] on non-adjointable A-Fredholm operators and obtain an analogue or a generalization in this setting of the results in [4], [5].
The wave operators $W_\pm(H_1,H_0)$ of two selfadjoint operators $H_0$ and $H_1$ are analyzed at asymptotic spectral values. Sufficient conditions for $\|(W_\pm(H_1,H_0)-P_{1}^\mathrm{ac}P_{0}^\mathrm{ac})f(H_0)\| <\infty$ are given, where $P_{j}^\mathrm{ac}$ projects onto the subspace of absolutely continuous spectrum of $H_j$ and $f$ is an unbounded function ($f$-boundedness), both in the case of trace-class perturbations and in terms of the high-energy behaviour of the boundary values of the resolvent of $H_0$ (smooth method). Examples include $f$-boundedness for the perturbed polyharmonic operator and for Schrödinger operators with matrix-valued potentials. We discuss an application to the problem of quantum backflow.
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.