Diagonals of normal operators with finite spectrum

Let X be a finite set of complex numbers and let A be a normal operator with spectrum X that acts on a separable Hilbert space H. Relative to a fixed orthonormal basis e_1,e_2, ... for H, A gives rise to a matrix whose diagonal is a sequence d=(d_1,d_2,...) with the property that each of its terms d_n belongs to the convex hull of X. Not all sequences with that property can arise as the diagonal of a normal operator with spectrum X. The case where X is a set of real numbers has received a great deal of attention over the years, and is reasonably well (though incompletely) understood. In this paper we take up the case in which X is the set of vertices of a convex polygon in the complex plane. The critical sequences d turn out to be those that accumulate rapidly in X in the sense that $$\sum_{n=1}^\infty {\rm{dist}} (d_n,X)<\infty.$$ We show that there is an abelian group $\Gamma_X$ -- a quotient of $R^2$ by a countable subgroup with concrete arithmetic properties -- and a surjective mapping of such sequences $d\mapsto s(d)\in\Gamma_X$ with the following property: If s(d) is not 0, then d is not the diagonal of any such operator A. We also show that while this is the only obstruction when X contains two points, there are other (as yet unknown) obstructions when X contains more than two points

A Simple Proof of the Fundamental Theorem about Arveson Systems

With every Eo-semigroup (acting on the algebra of of bounded operators on a separable infinite-dimensional Hilbert space) there is an associated Arveson system. One of the most important results about Arveson systems is that every Arveson system is the one associated with an Eo-semigroup. In these notes we give a new proof of this result that is considerably simpler than the existing ones and allows for a generalization to product systems of Hilbert module (to be published elsewhere).Comment: Publication data added, acknowledgements and a note after acceptance added, corrects a number of inconveniences that have been produced in the published version during the publication proces

The noncommutative Kubo Formula: Applications to Transport in Disordered Topological Insulators with and without Magnetic Fields

The non-commutative theory of charge transport in mesoscopic aperiodic systems under magnetic fields, developed by Bellissard, Shulz-Baldes and collaborators in the 90's, is complemented with a practical numerical implementation. The scheme, which is developed within a $C^*$-algebraic framework, enable efficient evaluations of the non-commutative Kubo formula, with errors that vanish exponentially fast in the thermodynamic limit. Applications to a model of a 2-dimensional Quantum spin-Hall insulator are given. The conductivity tensor is mapped as function of Fermi level, disorder strength and temperature and the phase diagram in the plane of Fermi level and disorder strength is quantitatively derived from the transport simulations. Simulations at finite magnetic field strength are also presented.Comment: 10 figure

The Index of (White) Noises and their Product Systems

(See detailed abstract in the article.) We single out the correct class of spatial product systems (and the spatial endomorphism semigroups with which the product systems are associated) that allows the most far reaching analogy in their classifiaction when compared with Arveson systems. The main differences are that mere existence of a unit is not it sufficient: The unit must be CENTRAL. And the tensor product under which the index is additive is not available for product systems of Hilbert modules. It must be replaced by a new product that even for Arveson systems need not coincide with the tensor product

Operator theory and function theory in Drury-Arveson space and its quotients

The Drury-Arveson space $H^2_d$, also known as symmetric Fock space or the $d$-shift space, is a Hilbert function space that has a natural $d$-tuple of operators acting on it, which gives it the structure of a Hilbert module. This survey aims to introduce the Drury-Arveson space, to give a panoramic view of the main operator theoretic and function theoretic aspects of this space, and to describe the universal role that it plays in multivariable operator theory and in Pick interpolation theory.Comment: Final version (to appear in Handbook of Operator Theory); 42 page

The existence problem for dynamics of dissipative systems in quantum probability

Motivated by existence problems for dissipative systems arising naturally in lattice models from quantum statistical mechanics, we consider the following $C^{\ast}$-algebraic setting: A given hermitian dissipative mapping $\delta$ is densely defined in a unital $C^{\ast}$-algebra $\mathfrak{A}$. The identity element in ${\frak A}$ is also in the domain of $\delta$. Completely dissipative maps $\delta$ are defined by the requirement that the induced maps, $(a_{ij})\to (\delta (a_{ij}))$, are dissipative on the $n$ by $n$ complex matrices over ${\frak A}$ for all $n$. We establish the existence of different types of maximal extensions of completely dissipative maps. If the enveloping von Neumann algebra of ${\frak A}$ is injective, we show the existence of an extension of $\delta$ which is the infinitesimal generator of a quantum dynamical semigroup of completely positive maps in the von Neumann algebra. If $\delta$ is a given well-behaved *-derivation, then we show that each of the maps $\delta$ and $-\delta$ is completely dissipative.Comment: 24 pages, LaTeX/REVTeX v. 4.0, submitted to J. Math. Phys.; PACS 02., 02.10.Hh, 02.30.Tb, 03.65.-w, 05.30.-

Algebraic approach to quantum field theory on non-globally-hyperbolic spacetimes

The mathematical formalism for linear quantum field theory on curved spacetime depends in an essential way on the assumption of global hyperbolicity. Physically, what lie at the foundation of any formalism for quantization in curved spacetime are the canonical commutation relations, imposed on the field operators evaluated at a global Cauchy surface. In the algebraic formulation of linear quantum field theory, the canonical commutation relations are restated in terms of a well-defined symplectic structure on the space of smooth solutions, and the local field algebra is constructed as the Weyl algebra associated to this symplectic vector space. When spacetime is not globally hyperbolic, e.g. when it contains naked singularities or closed timelike curves, a global Cauchy surface does not exist, and there is no obvious way to formulate the canonical commutation relations, hence no obvious way to construct the field algebra. In a paper submitted elsewhere, we report on a generalization of the algebraic framework for quantum field theory to arbitrary topological spaces which do not necessarily have a spacetime metric defined on them at the outset. Taking this generalization as a starting point, in this paper we give a prescription for constructing the field algebra of a (massless or massive) Klein-Gordon field on an arbitrary background spacetime. When spacetime is globally hyperbolic, the theory defined by our construction coincides with the ordinary Klein-Gordon field theory on aComment: 21 pages, UCSBTH-92-4

Involutive Categories and Monoids, with a GNS-correspondence

This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. The core of the so-called Gelfand-Naimark-Segal (GNS) construction is identified as a bijective correspondence between states on involutive monoids and inner products. This correspondence exists in arbritrary involutive categories

Applications of Hilbert Module Approach to Multivariable Operator Theory

A commuting $n$-tuple $(T_1, \ldots, T_n)$ of bounded linear operators on a Hilbert space \clh associate a Hilbert module $\mathcal{H}$ over $\mathbb{C}[z_1, \ldots, z_n]$ in the following sense: $$\mathbb{C}[z_1, \ldots, z_n] \times \mathcal{H} \rightarrow \mathcal{H}, \quad \quad (p, h) \mapsto p(T_1, \ldots, T_n)h,$$where $p \in \mathbb{C}[z_1, \ldots, z_n]$ and $h \in \mathcal{H}$. A companion survey provides an introduction to the theory of Hilbert modules and some (Hilbert) module point of view to multivariable operator theory. The purpose of this survey is to emphasize algebraic and geometric aspects of Hilbert module approach to operator theory and to survey several applications of the theory of Hilbert modules in multivariable operator theory. The topics which are studied include: generalized canonical models and Cowen-Douglas class, dilations and factorization of reproducing kernel Hilbert spaces, a class of simple submodules and quotient modules of the Hardy modules over polydisc, commutant lifting theorem, similarity and free Hilbert modules, left invertible multipliers, inner resolutions, essentially normal Hilbert modules, localizations of free resolutions and rigidity phenomenon. This article is a companion paper to "An Introduction to Hilbert Module Approach to Multivariable Operator Theory".Comment: 46 pages. This is a companion paper to arXiv:1308.6103. To appear in Handbook of Operator Theory, Springe

Tensor products of subspace lattices and rank one density

We show that, if $M$ is a subspace lattice with the property that the rank one subspace of its operator algebra is weak* dense, $L$ is a commutative subspace lattice and $P$ is the lattice of all projections on a separable infinite dimensional Hilbert space, then the lattice $L\otimes M\otimes P$ is reflexive. If $M$ is moreover an atomic Boolean subspace lattice while $L$ is any subspace lattice, we provide a concrete lattice theoretic description of $L\otimes M$ in terms of projection valued functions defined on the set of atoms of $M$. As a consequence, we show that the Lattice Tensor Product Formula holds for \Alg M and any other reflexive operator algebra and give several further corollaries of these results.Comment: 15 page