Product numerical range

Given a Hilbert space with a tensor product structure a product numerical range is defined as a numerical range with respect to the subset of product vectors. In some situations, especially in the context of quantum mechanics product numerical range is known as local numerical range

Introduction

Let be an operator acting on an -dimensional Hilbert space . Let denote its numerical range, i.e. the set of all such that there exists a normalized state , , which satisfies .

An analogous notion can be defined for operators acting on a composite Hilbert space with a tensor product structure. Consider first a bipartite Hilbert space, of a composite dimension .

Let be an operator acting on the composite Hilbert space. We define the product numerical range of , with respect to the tensor product structure of , as where and are normalized.

Product numerical radius

Let be a tensor product Hilbert space. We define the product numerical radius of , with respect to this tensor product structure, as

Notation

The notion of numerical range of a given operator, also called "field of values", has been extensively studied during the last few decades and its usefulness in quantum theory has been emphasized. Several generalizations of numerical range are known. In particular, Marcus introduced the notion of ’’’decomposable numerical range’’’, the properties of which are a subject of considerable interest.

The product numerical range can be considered as a particular case of the decomposable numerical range defined for operators acting on a tensor product Hilbert space. This notion may also be considered as a numerical range relative to the proper subgroup of the full unitary group .

General case

It is not difficult to establish the basic properties of the product numerical range which are independent of the partition of the Hilbert space and of the structure of the operator. We list them below leaving some simple items without a proof.

Basic properties

Topological facts concerning product numerical range for general operators.

  1. Product numerical range forms a connected set in the complex plane. This is true because product numerical range is a continuous image of a connected set.
  2. Product numerical range is subadditive. For all
  3. For all and
  4. For all and
  5. For all for unitary and .
  6. Let and
  • If one of them is normal then the numerical range of their tensor product coincides with the convex hull of the product numerical range,
  • If is positive semidefinite for some , then
  • Let and .
  1. For all , we have and

Convexity

The product numerical range does not need to be convex. Consider the following simple example. Let

Matrix defined above is matrix with eigenvalues . It is easy to see that and , but . Actually, by direct computation we have

Product numerical range of matrix is presented below.

The comparison of the numerical range (gray triangle) and the product numerical range (dashed set) for matrix A.

Product numerical range forms a nonempty set for a general operator. In particular it contains the barycenter of the spectrum.

Barycenter

Product numerical range of includes the barycenter of the spectrum,

Product numerical radius is a vector norm on matrices, but it is not a matrix norm. Product numerical radius is invariant with respect to local unitaries, which have the tensor product structure.

References

This article is issued from Wikipedia - version of the 7/30/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.