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
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 bi–partite 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
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 .
Properties of product numerical range
|This section is empty. You can help by adding to it. (April 2012)|
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.
Topological facts concerning product numerical range for general operators.
- 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.
- Product numerical range is subadditive. For all
- For all and
- For all and
- For all for unitary and .
- 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 .
- For all , we have and
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.
Product numerical range forms a nonempty set for a general operator. In particular it contains the barycenter of the spectrum.
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.
- Z. Puchała, P. Gawron, J.A. Miszczak, Ł. Skowronek, M.-. Choi, K. Życzkowski, "Product numerical range in a space with tensor product structure", Linear Algebra Appl., 434 (2011) 327-342. doi:10.1016/j.laa.2010.08.026 arXiv:1008.3482.
- P. Gawron, Z. Puchała, J. A. Miszczak, Ł. Skowronek, K. Życzkowski, "Restricted numerical range: a versatile tool in the theory of quantum information", J. Math. Phys. 51, 102204 (2010). doi:10.1063/1.3496901 arXiv:0905.3646.