Qbit pure vs mixed state space

[cianfa72]

TL;DR

About the difference between Qbit quantum pure vs mixed states

According to this Wikipedia entry a quantum pure qbit state is a ray in the Hilbert space $\mathbb H_2$ of dimension 2. In other words a qbit pure quantum state is a point in the Hilbert projective line.

Now my question: is an arbitrary vector in $\mathbb H_2$ actually a "mixed" state for the qbit ? Thanks.

 

[gentzen]

Now my question: is an arbitrary vector in $\mathbb H_2$ actually a "mixed" state for the qbit ? Thanks.

No, a "mixed" state for the qbit is given by an arbirary density matrix (or density operator) on $\mathbb H_2$. It is actually quite well behaved and understandable, in many ways.

 

[cianfa72]

No, a "mixed" state for the qbit is given by an arbirary density matrix (or density operator) on $\mathbb H_2$. It is actually quite well behaved and understandable, in many ways.

So, what does a state vector in $\mathbb H_2$ represent ?

 

[gentzen]

So, what does a state vector in $\mathbb H_2$ represent ?

The zero vector represents nothing. A non-zero vector represent a pure state, because it represents a ray in the Hilbert space $\mathbb H_2$. But I guess you knew that already. So how can we help you?

 

[cianfa72]

The zero vector represents nothing. A non-zero vector represent a pure state, because it represents a ray in the Hilbert space $\mathbb H_2$.

Sorry, we said that a qbit pure state is a point in Hilbert projective line. So basically do all $\mathbb H_2$ non-null vectors on the same ray represent the same qbit pure state ?

 

[gentzen]

So basically do all $\mathbb H_2$ non-null vectors on the same ray represent the same qbit pure state ?

Yes.

 

[cianfa72]

all $\mathbb H_2$ non-null vectors on the same ray represent the same qbit pure state

Is the above a general statement ? In other words for any quantum system described by a separable Hilbert space (with a finite or countable basis), are the pure states points in the corresponding projective spaces (i.e. the set of rays) ?

 

[gentzen]

Is the above a general statement ? In other words for any quantum system described by a separable Hilbert space (with a finite or countable basis), are the pure states points in the corresponding projective spaces (i.e. the set of rays) ?

Yes.

 

[cianfa72]

Ok, suppose we have a quantum system and an hermitian operator on it. Then there exists a basis of orthonormal eigenvectors (even though a single eigenvalue may have geometric molteplicity greater than one). Now any Hilbert's space vector in a ray can be given as linear combination of the above basis eigenvectors.

As far as I know, a system's measurement represented by an hermitian operator basically projects/collaps the system's representative vector on one of the basis's orthonormal vectors.

Therefore a measurement of the qbit pure state projects vectors belonging to a $\mathbb H_2$ ray on one of the two basis orthonormal vectors $|0 \rangle$ or $|1\rangle$.

If the above is correct, then we can claim that a pure state is actually an "equivalent class" of Hilbert's space vectors on the same ray.

 

[cianfa72]

Sorry, I've not a clear understanding about the difference between pure and mixed states. A mixed qbit state is given by a density matrix on $\mathbb H_2$ while a pure qbit state is given by the "equivalence class" of vectors on $\mathbb H_2$'s rays.

Why this difference ? Why is an arbitrary qbit state not given by an arbitrary vector of $\mathbb H_2$ ?

 

[Morbert]

Why this difference ? Why is an arbitrary qbit state not given by an arbitrary vector of $\mathbb H_2$?

Mixed states have nonzero von Neumann entropy, and e.g. a pure state $|\psi\rangle\langle\psi|$ where $|\psi\rangle = \frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)$ will not give the same expectations and variances for all observables as a mixed state $\frac{1}{2}(|0\rangle\langle0| + |1\rangle\langle1|)$. Pure states are only a subset of all possible states.

[edit] - Made state examples more consistent

 

[Morbert]

For posterity: An old thread post discussing some general subtleties that might eventually be relevant here

https://www.physicsforums.com/threa...rtant-question-in-physics.979192/post-6252131

 

[cianfa72]

So, as far as I can tell, vectors in n-dimensional Hilbert space (possibly infinite-dimensional but separable - i.e. with a countable basis) represent just quantum system's pure states (actually points in the corresponding projective space built from it).

System's mixed states, instead, are just statistical ensemble of pure states described by a density operator/matrix. Of course even a pure state can be described by a particular density operator.

See also Quantum machine learning.

 

[cianfa72]

e.g. a pure state $|\psi\rangle\langle\psi|$ where $|\psi\rangle = \frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)$ will not give the same expectations for all observables as a mixed state $\frac{1}{2}(|0\rangle\langle0| + |1\rangle\langle1|)$. Pure states are only a subset of all possible states.

Sorry, why do you call $|\psi\rangle\langle\psi|$ a pure state ? As stated before a pure state is a normalized vector $|\psi\rangle$ in system's Hilbert space (i.e. a point in the corresponding projective space), while here you claim it is a density operator/matrix.

 

[gentzen]

System's mixed states, instead, are just statistical ensemble of pure states described by a density operator/matrix. Of course even a pure state can be described by a particular density operator.

See also Quantum machine learning.

Your link is good enough for learning important basics about density matrices.
It could have been more explicit about the significance of Lemma 3 that the density matrix allows to evaluate arbitrary expectation values. The significance is the following: Different statistical ensembles of pure states can lead to the same density matrix. But Lemma 3 shows that no measurement (of the considered type) would be able to distinguish those different statistical ensembles. This is because the probability generating function (discrete case) or the characteristic function (continuous case) allow to completely determine a probability distribution from its expectation values.

Sorry, why do you call $|\psi\rangle\langle\psi|$ a pure state ? As stated before a pure state is a normalized vector $|\psi\rangle$ in system's Hilbert space (i.e. a point in the corresponding projective space), while here you claim it is a density operator/matrix.

Because the density matrix corresponding to a pure state is just as good as the pure state itself. It tried to explain why above.

 

[Morbert]

Sorry, why do you call $|\psi\rangle\langle\psi|$ a pure state ? As stated before a pure state is a normalized vector $|\psi\rangle$ in system's Hilbert space (i.e. a point in the corresponding projective space), while here you claim it is a density operator/matrix.

From the message I linked

In standard quantum physics (i.e., that not using the $C^*$ algebra terminology), a state is a density operator (i.e., a Hermitian positive semidefinite trace 1 operator) $\rho$ on a Hilbert space $H$, and it is pure when it has rank one and mixed otherwise. In the pure case (only) it can be represented by a state vector $\psi$ as $\rho = \psi\psi^*$, uniquely up to a phase. Hence state vectors always represent pure states.

Both pure and mixed states are density operators/matrices. A density operator that is a projector onto a subspace of dimensionality 1 (and hence associated with an element $\psi$ of Hilbert space) is a pure state.

 

[cianfa72]

Both pure and mixed states are density operators/matrices. A density operator that is a projector onto a subspace of dimensionality 1 (and hence associated with an element $\psi$ of Hilbert space) is a pure state.

Ah ok so, from a formal point of view, a quantum system's state is a density/operator (and not a vector in the Hilbert space associated to the quantum system).

Then if a density operator is actually a projector (i.e. it is associated with a vector $|\psi\rangle$ in Hilbert space) then it will be a pure state.

 

[Morbert]

Ah ok so, from a formal point of view, a quantum system's state is a density/operator (and not a vector in the Hilbert space associated to the quantum system).

Then if a density operator is actually a projector (i.e. it is associated with a vector $|\psi\rangle$ in Hilbert space) then it will be a pure state.

Yes, with the caveat about your "i.e." A projector does not have to be rank 1, and hence does not have to be associated with a vector in Hilbert space. A mixed state can be a weighted sum of projectors of varying ranks, but a pure state is a projector of rank 1.

 

[gentzen]

A projector does not have to be rank 1

But because the trace of a projector is equal to its rank, a density matrix which happens to be a projector does have rank 1. (The trace of a density matrix is 1.)

 

[cianfa72]

Yes, with the caveat about your "i.e." A projector does not have to be rank 1, and hence does not have to be associated with a vector in Hilbert space. A mixed state can be a weighted sum of projectors of varying ranks, but a pure state is a projector of rank 1.

Ah ok, a projector $\rho$ of rank 1 (a pure state) is always of the form $\rho = |\psi\rangle \langle \psi|$ for a vector $|\psi\rangle$ in the system's Hilbert space.

 

[Morbert]

But because the trace of a projector is equal to its rank, a density matrix which happens to be a projector does have rank 1. (The trace of a density matrix is 1.)

Yeah. I wasn't sure if the "i.e." was pertaining to "density operator" or to "projector"

 

[Morbert]

Ah ok, a projector $\rho$ of rank 1 (a pure state) is always of the form $\rho = |\psi\rangle \langle \psi|$ for a vector $|\psi\rangle$ in the system's Hilbert space.

Yes, and as @gentzen mentioned: A projector that is of rank > 1 cannot by itself be a state, mixed or pure. If a state is a projector it must be rank 1, and hence pure.

 

[cianfa72]

Yes, and as @gentzen mentioned: A projector that is of rank > 1 cannot by itself be a state, mixed or pure. If a state is a projector it must be rank 1, and hence pure.

Ok, therefore a density matrix representing a mixed state is not a projector.
Basically a pure state is a dyadic tensor product of a vector times itself.

 

[cianfa72]

Sorry, is the notation $|\psi\rangle \langle \psi|$ actually a shorthand for $|\psi\rangle \otimes |\psi\rangle$ ?

 

[gentzen]

Sorry, is the notation $|\psi\rangle \langle \psi|$ actually a shorthand for $|\psi\rangle \otimes |\psi\rangle$ ?

No, it is more that if $\ket{\psi}$ would correspond to a vector $v$, then $\bra{\psi}$ corresponds to the dual vector $v^T$ (or rather $v^H$ i.e. transposed and complex conjugated). So $\ket{\psi}\bra{\psi}$ then corresponds to the matrix $v v^H$.

 

[cianfa72]

No, it is more that if $\ket{\psi}$ would correspond to a vector $v$, then $\bra{\psi}$ corresponds to the dual vector $v^T$ (or rather $v^H$ i.e. transposed and complex conjugated). So $\ket{\psi}\bra{\psi}$ then corresponds to the matrix $v v^H$.

Sorry, then $\ket{\psi}\bra{\psi}$ should be actually the (dyadic) product tensor of the ket $\ket{\psi}$ times the dual-vector (bra) $\bra{\psi}$ ?

Edit: it is a dyad according to Wikipedia (tensor of order two and rank 1).

 

[PeterDonis]

Ah ok so, from a formal point of view, a quantum system's state is a density/operator

If you're using the density operator formalism, yes.

(and not a vector in the Hilbert space associated to the quantum system).

A density operator corresponding to a pure state will have a corresponding Hilbert space vector (or ray if we want to ignore normalization). A density operator corresponding to a mixed state will not.

 

[cianfa72]

A density operator corresponding to a pure state will have a corresponding Hilbert space vector (or ray if we want to ignore normalization).

And from what said in previous posts, a density operator corresponding to a pure state will be in the form $\ket{\psi}\bra{\psi}$ for some normalized vector $\ket{\psi}$ in system's Hilbert space.

 

[PeterDonis]

And from what said in previous posts, a density operator corresponding to a pure state will be in the form $\ket{\psi}\bra{\psi}$ for some normalized vector $\ket{\psi}$ in system's Hilbert space.

You just said the same thing I said in different words.

 

[cianfa72]

I'm still confused about the meaning of a writing like this: $$\ket{0}$$
Is it an actual vector in qbit's 2-dimensional Hilbert space or is it the "column vector" of the coordinates/components in a given Hilbert space basis ?