I sketch how the set of pure quantum states forms a phase space, and then point out a curiousity concerning maximally entangled pure states: they form a minimal Lagrangian submanifold of the set of all pure states. I suggest that this curiousity should have an interesting physical interpretation.
A geometric framework for quantum mechanics arose during the mid 1970s when authors such as Cantoni explored the notion of generalized transition probabilities, and Kibble promoted the idea that the space of pure quantum states provides a natural quantum mechanical analogue for classical phase space. This central idea can be seen easily since the projection of Schrödinger's equation from a Hilbert space into the space of pure spaces is a set of Hamilton's equations. Over the intervening years considerable work has been carried out by a variety of authors and a mature description of quantum mechanics in geometric terms has emerged with many applications. This current offering would seem ideally placed to review the last thirty years of progress and relate this to the most recent work in quantum entanglement. Bengtsson and Zyczkowski's beautifully illustrated volume, Geometry of Quantum States (referred to as GQS from now on) attempts to cover considerable ground in its 466 pages. Its topics range from colour theory in Chapter 1 to quantum entanglement in Chapter 15—to say that this is a whirlwind tour is, perhaps, no understatement. The use of the work 'introduction' in the subtitle of GQS , might suggest to the reader that this work be viewed as a textbook and I think that this interpretation would be incorrect. The authors have chosen to present a survey of different topics with the specific aim to introduce entanglement in geometric terms—the book is not intended as a pedagogical introduction to the geometric approach to quantum mechanics. Each of the fifteen chapters is a short, and mostly self-contained, essay on a particular aspect or application of geometry in the context of quantum mechanics with entanglement being addressed specifically in the final chapter. The chapters fall into three classifications: those concerned with the mathematical background, those which discuss quantum theory and the foundational aspects of the geometric framework, and applications of the geometric approach. The first four chapters contain the standard mathematics required to understand the rest of the material presented: specific areas in colour theory, set theory, probability theory, differential geometry and projective geometry are all covered with an eye to the material that follows. Chapter 5 starts the first real discussion of quantum theory in GQS and serves as an elegant, succinct introduction to the geometry which underlies quantum theory. This may be the most worthwhile chapter for the casual reader who wants to understand the key ideas in this field. Chapter 6 builds on the discussion in Chapter 5, introducing a group theoretic approach to understand coherent states and Chapter 7 describes a geometric tool in the form of an approach to complex projective geometry called 'the stellar representation'. Chapter 8 returns to a more purely quantum mechanical discussion as the authors turn to study the space of density matrices. This chapter completes the discussion which started in Chapter 5. Chapter 9 begins the part of the book concerned with applications of the geometric approach. From this point on the book aims, specifically, to prepare the reader for the material in Chapter 15 beginning with a discussion on the purification of mixed quantum states. In the succeeding chapters a definite choice has been made to present a geometric approach to certain quantum information problems. For example, Chapter 10 contains an extremely well formulated discussion of measurement and positive operator-valued measures with several well illustrated examples and Chapter 11 reopens the discussion of density matrices. Entropy and majorization are again revisited in Chapter 12 in much greater detail than in previous chapters. Chapters 13 and 14 concern themselves with a discussion of various metrics and their relation to the problem of distinguishing between probability distributions and their suitability as probability measures.
We study the set of two-qubit pure states with real amplitudes and their geometrical representation onto a real projective space. In this representation, we show that the maximally entangled states --those locally equivalent to the Bell States --form two disjoint circles perpendicular to each other. We also show that, taking the natural Riemannian metric on this space, the set of states connected by local gates are equidistant to this pair of circles. Moreover, the unentangled, or so called product states, are π/4 units away to the maximally entangled states. This is, the unentangled states are the farthest away to the maximally entangled states. In this way, if we define two states to be equivalent if they are connected by local gates, we have that there are as many equivalent classes as points in the interval [0,π/4] with the point 0 corresponding to the maximally entangled states. The point π/4 corresponds to the unentangled states which geometrically are described by a Klein bottle. Finally, for every 0<d<π/4 the point d corresponds to a disjoint pair of Klein bottles. We also show that if a state is d units away from the maximally entangled states, then its entanglement entropy is S(d)=1−log2(1−sin2d)−1+sin2d(1+sin2d)1+sin2d. Finally, we also show how this geometrical interpretation allows to clearly see the known result that any pair of two-qubit states with real amplitudes can be connected with a circuit that only has single-qubit gates and one controlled-Z gate.
We study improper mixtures from a quantum logical and geometrical point of view. Taking into account the fact that improper mixtures do not admit an ignorance interpretation and must be considered as states in their own right, we do not follow the standard approach which considers improper mixtures as measures over the algebra of projections. Instead of it, we use the convex set of states in order to construct a new lattice whose atoms are all physical states: pure states and improper mixtures. This is done in order to overcome one of the problems which appear in the standard quantum logical formalism, namely, that for a subsystem of a larger system in an entangled state, the conjunction of all actual properties of the subsystem does not yield its actual state. In fact, its state is an improper mixture and cannot be represented in the von Neumann lattice as a minimal property which determines all other properties as is the case for pure states or classical systems. The new lattice also contains all propositions of the von Neumann lattice. We argue that this extension expresses in an algebraic form the fact that—alike the classical case—quantum interactions produce nontrivial correlations between the systems. Finally, we study the maps which can be defined between the extended lattice of a compound system and the lattices of its subsystems.