Any set of pure states living in a given Hilbert space possesses a natural and unique metric—the Haar measure—on the group U(N) of unitary matrices. However, there is no specific measure induced on the set of eigenvalues, Δ, of any density matrix ρ. Therefore, a general approach to the global properties of mixed states depends on the specific metric defined on Δ. In the present work we shall employ a simple measure on Δ that has the advantage of possessing a clear geometric visualization whenever discussing how arbitrary states are distributed according to some measure of mixedness. The degree of mixture will be that of the participation ratio R=1/Tr(ρ2) and the concomitant maximum eigenvalue, λm. The cases studied will be the qubit–qubit system and the qubit–qutrit system, whereas some discussion will be made on higher-dimensional bipartite cases in both the R-domain and the λm-domain.
Any set of pure states living in a given Hilbert space possesses a natural and unique metric—the Haar measure—on the group U(N) of unitary matrices. However, there is no specific measure induced on the set of eigenvalues, Δ, of any density matrix ρ. Therefore, a general approach to the global properties of mixed states depends on the specific metric defined on Δ. In the present work we shall employ a simple measure on Δ that has the advantage of possessing a clear geometric visualization whenever discussing how arbitrary states are distributed according to some measure of mixedness. The degree of mixture will be that of the participation ratio R=1/Tr(ρ2) and the concomitant maximum eigenvalue, λm. The cases studied will be the qubit–qubit system and the qubit–qutrit system, whereas some discussion will be made on higher-dimensional bipartite cases in both the R-domain and the λm-domain.
This paper presents an introduction to geometric representations of quantum states in which each distinct quantum state, pure and mixed, corresponds to a unique point in a Euclidean space. Beginning with a review of some underappreciated properties of the most commonly used geometric representation, the Bloch sphere visualization of qubit states, we show how concepts, algorithms, and spatial relations viewable on this geometric representation can be extended to representations of qudit states of any finite quantum dimension d and on to the infinite-dimensional limit. A primary goal of the work is helping the reader develop a visual intuition of these spaces, which can complement the understanding of the algebraic formalism of quantum mechanics for learners, teachers, and researchers at any level. Particular emphasis is given both to understanding states in a basis-independent way and to understanding how probability amplitudes and density matrix elements used to algebraically represent states in a particular basis correspond to line segments and angles in the geometric representations. In addition to providing visualizations for such concepts as superpositions, mixtures, decoherence, and measurement, we demonstrate how the representations can be used to substitute simple geometrical calculations for more cumbersome linear algebra ones, which may be of particular use in introducing mixed states and density matrices to beginning quantum students at an early stage. The work concludes with the geometrical interpretation of some commonly used metrics such as the purity of states and their relation to real, Euclidean vectors in the infinite-dimensional limit of the space, which contains all lower-dimensional qudit spaces as subspaces.
Entanglement for pure bipartite states is most commonly quantified in a state-by-state manner to each pure state of a bipartite system a scalar quantity, such as the von Neumann entropy of a reduced density matrix. This provides a precise local characterization of how entangled a given state is. At the same time, this local description naturally invites a set of complementary, more global questions about the structure of the space of pure states: How abundant are the states with a given amount of entanglement within the full state space? Do the manifolds of constant entanglement exhibit distinct geometric regimes? These questions shift the focus from assigning an entanglement value to a single state to understanding the global organization and geometry of entanglement across the entire manifold of pure states.
In this work, we develop a geometric framework in which these questions become natural. We regard the projective Hilbert space of pure states, endowed with the Fubini-Study metric, as a Riemannian manifold and promote bipartite entanglement to a macroscopic functional on this manifold. Its level sets stratify the space of pure states into hypersurfaces of constant entanglement, and we define a geometric entanglement entropy as the log-volume of these hypersurfaces, weighted by the Fubini-Study gradient of entanglement. This quantity plays the role of a microcanonical entropy in entanglement space: it measures the degeneracy of a given entanglement value in the natural quantum geometry.
The framework is illustrated first in the simplest case of a single spin-1/2 and then for bipartite entanglement of spin systems, including a two-qubit example where explicit calculations can be carried out, along with a sketch of the extension to spin chains.
A mixed state may be represented in many different ways as a mixture of pure states ρ=∑pi∣ψi⟩⟨ψi∣. The mixing problem in quantum mechanics asks the characterization of the probability distribution (pi) and the mixed states (ρi) such that ρ=∑piρi for any given mixed state ρ. Some constraints based on eigenvalues of the mixed states are established in uni-party case [see Nielsen, Phys. Rev. A. 63, 052308 (2000), 63, 022144 (2000), Nielsern and Vidal Quantum Inf. Comput. 1 76 (2001)]. We develop some new invariant sets for bipartite mixed states under local unitary operations, which are independent of eigenvalues, and prove some strong constraints based on these invariant sets for the mixing problem in bipartite case. This exhibits a remarkable difference from the uni-party case.
The density matrix ρ is defined and its basic properties are derived in detail: ρ is a Hermitian non-negative operator with unit trace, its eigenvalues are non-negative and lie in the closed interval [0, 1]; if ρ is a projector, it projects onto a one-dimensional sub-space, the trace of ρ 2 is ≤ 1, the equality holding only if ρ is a projector. A necessary and sufficient condition for ρ to be a projector is that all vectors in its definition are identical up to a phase. Pure cases are sets that can be described by a state vector, unlike mixtures . The density matrix of a mixture is not a projection operator, and this may be viewed as its distinguishing feature with respect to pure cases. The mean value of an observable can be reexpressed with the help of the density matrix, and a Schrödinger equation for density matrices holds. Last, but not least, pure cases cannot unitarily evolve into mixtures . The applications of the formalism presented in this chapter deal with orientation of spin-½ particles, polarization of pairs of photons, thermal-equilibrium states. In the second part, quantum entanglement is presented, with emphasis on the existence of state vectors for entangled pairs of particles that belong to the tensor product of Hilbert spaces H 1 ⊗ H 2 , but are not of the simple product form ψ 1 ⊗ ψ 2 . The only correct interpretation of such states has a statistical nature, associated to series of repeated measurements performed by two observers on the constituents of the entangled pair. Hidden-variable theories, with the associated Bell inequalities, are introduced, and a way of using entangled quantum states is described which makes it possible to transfer the polarization state of a photon to another photon. This property provides the foundation of the modern investigations of quantum teleportation.
Nonlocality and quantum entanglement constitute two special aspects of the quantum correlations existing in quantum systems, which are of paramount importance in quantum-information theory. Traditionally, they have been regarded as identical (equivalent, in fact, for pure two qubit states, that is, Gisin's Theorem ), yet they constitute different resources. Describing nonlocality by means of the violation of several Bell inequalities, we obtain by direct optimization those states of two qubits that maximally violate a Bell inequality, in terms of their degree of mixture as measured by either their participation ratio R = 1/Tr(ρ 2 ) or their maximum eigenvalue λ max . This optimum value is obtained as well, which coincides with previous results. Comparison with entanglement is performed too. An example of an application is given in the XY model. In this novel approximation, we also concentrate on the nonlocality for linear combinations of pure states of two qubits, providing a closed form for their maximal nonlocality measure. The case of Bell diagonal mixed states of two qubits is also extensively studied. Special attention concerning the connection between nonlocality and entanglement for mixed states of two qubits is paid to the so-called maximally entangled mixed states. Additional aspects for the case of two qubits are also described in detail. Since we deal with qubit systems, we will perform an analogous study for three qubits, employing similar tools. Relation between distillability and nonlocality is explored quantitatively for the whole space of states of three qubits. We finally extend our analysis to four-qubit systems, where nonlocality for generalized Greenberger–Horne–Zeilinger states of arbitrary number of parties is computed.
The minimal Bures distance of a quantum state of a bipartite system AB to the set of classical states for subsystem A defines a geometric measure of quantum discord. When A is a qubit, we show that this geometric quantum discord is given in terms of the eigenvalues of a (2 n B ) × (2 n B ) Hermitian matrix, n B being the Hilbert space dimension of the other subsystem B . As a first application, we calculate the geometric discord for the output state of the DQC1 algorithm. We find that it takes its highest value when the unitary matrix from which the algorithm computes the trace has its eigenvalues uniformly distributed on the unit circle modulo a symmetry with respect to the origin. As a second application, we derive an explicit formula for the geometric discord of a two-qubit state ρ with maximally mixed marginals and compare it with other measures of quantum correlations. We also determine the closest classical states to ρ.