Various problems concerning the geometry of the space of Hermitian operators on a Hilbert space are addressed. In particular, we study the canonical Poisson and Riemann–Jordan tensors and the corresponding foliations into Kähler submanifolds. It is also shown that the space of density states on an n -dimensional Hilbert space is naturally a manifold stratified space with the stratification induced by the the rank of the state. Thus the space of rank- k states, k = 1, ..., n , is a smooth manifold of (real) dimension 2 nk − k 2 − 1 and this stratification is maximal in the sense that every smooth curve in , viewed as a subset of the dual to the Lie algebra of the unitary group , at every point must be tangent to the strata it crosses. For a quantum composite system, i.e. for a Hilbert space decomposition , an abstract criterion of entanglement is proved.
Various problems concerning the geometry of the space u ∗ (H) of Hermitian operators on a Hilbert space H are addressed. In particular, we study the canonical Poisson and Riemann-Jordan tensors and the corresponding foliations into Kähler submanifolds. It is also shown that the space D(H) of density states on an n-dimensional Hilbert space H is naturally a manifold stratified space with the stratification induced by the the rank of the state. Thus the space D k (H) of rank-k states, k = 1,...,n, is a smooth manifold of (real) dimension 2nk −k 2 −1 and this stratification is maximal in the sense that every smooth curve in D(H), viewed as a subset of the dual u ∗ (H) to the Lie algebra of the unitary group U(H), at every point must be tangent to the strata D k (H) it crosses. For a quantum composite system, i.e. for a Hilbert space decomposition H = H 1 ⊗ H 2, an abstract criterion of entanglement is proved.
We review the geometry of the space of quantum states
S(H) of a finite-level quantum system with Hilbert space
H from a group-theoretical point of view. This space carries two stratifications generated by the action of two different Lie groups: the special unitary group
SU(H) and its complexification
SL(H), the complex special linear group. A stratum of the stratification generated by
SU(H) is composed of isospectral states, that is, density operators with the same spectrum, A stratum of the stratification generated by
SL(H) is composed of quantum states with the same rank. We prove that on every submanifold of isospectral quantum states there is also a canonical left action of
SL(H) which is related with the canonical Kähler structure on isospectral quantum states. The fundamental vector fields of this
SL(H)-action are divided into Hamiltonian and gradient vector fields. The former give rise to invertible maps on
S(H) that preserve the von Neumann entropy and the convex structure of
S(H), while the latter give rise to invertible maps on
S(H) that preserve the von Neumann entropy but not the convex structure of
S(H). A similar decomposition is given for the
SL(H)-action generating the stratification of
S(H) into manifolds of quantum states with the same rank, where gradient vector fields preserve the rank but do not preserve entropy. Some comments on multipartite quantum systems are made. It is proved that the sets of product states of a multipartite quantum system are homogeneous manifolds for the action of the complex special linear group associated with the partition.
Abstract The manifold structure of subsets of classical probability distributions and quantum density operators in infinite dimensions is investigated in the context of
C∗ C∗ -algebras and actions of Banach-Lie groups. Specificaly, classical probability distributions and quantum density operators may be both described as states (in the functional analytic sense) on a given
C∗ C∗ -algebra
A A which is Abelian for Classical states, and non-Abelian for Quantum states. In this contribution, the space of states
S S of a possibly infinite-dimensional, unital
C∗ C∗ -algebra
A A is partitioned into the disjoint union of the orbits of an action of the group
G G of invertible elements of
A A . Then, we prove that the orbits through density operators on an infinite-dimensional, separable Hilbert space
H H are smooth, homogeneous Banach manifolds of
G=GL(H) G=GL(H) , and, when
A A admits a faithful tracial state
τ τ like it happens in the Classical case when we consider probability distributions with full support, we prove that the orbit through
τ τ is a smooth, homogeneous Banach manifold for
G G .
Understanding the geometry of state space is of fundamental interest in the field of quantum information, in particular to study entanglement. The states of a d dimensional system form a convex set in the d2−1 dimensional Euclidean space Rd2−1. For a two dimensional system this convex set is nothing but a solid unit sphere (Bloch sphere) with centre at the origin. The surface S of this unit sphere consists of all the pure states of the system. Every unitary transformation U ∈ SU(2) of the Hilbert space corresponds to an associated SO(3) rotation of this space. This kind of correspondence becomes much richer when we go to higher dimension. For example, in the d = 3 case the corresponding unitary group is the eight parameter group SU(3) whereas the rotation group in R is the 28 parameter group SO(8). Therefore, not every point on or inside the sphere S in R will correspond to a state of the system. So, not every rotation in R will correspond to a valid unitary transformation of the 3 dimensional Hilbert space. This gives us a fairly complex convex object as the set of all states. In order to gain insight into the structure of this state space, we study its two dimensional and three dimensional cross-sections. In particular, we describe in detail the discrete symmetries of a non-trivial 3-section of the convex set of states (density matrices) for three dimensional systems. This group turns out to be the same as that of a tetrahedron.