How can Spin-up z and spin-down z span the space?

[mike1000]

##\def \sqx{\frac{1}{\sqrt{2}}}##
If S_zu represents spin-up in the z-direction and S_zd represents spin-down in the z-direction then the vector which represents spin-up in the x-direction is given by the superposition of the z states \begin{equation}|S_{zu}\rangle =\begin{bmatrix}1 \\ 0\end{bmatrix}, |S_{zd}\rangle =\begin{bmatrix}0 \\1\end{bmatrix} \end{equation} and

\begin{equation}|S_{xu}\rangle =\begin{pmatrix} \sqx \\ \sqx\end{pmatrix} = \sqx \left[ |S_{zu}\rangle + |S_{zd}\rangle\right]\end{equation}

How can the two z-vectors span the entire space? How can the spin in the x-direction be a linear combination of the spin vectors in only the z-direction?

 

[ShayanJ]

These are not vectors in the 3 dimensional space we live in. These are quantum states, vectors in a Hilbert space. In this case the Hilbert space is two dimensional and any two orthonormal vectors can serve as a basis for it. So you can either use S_zu and S_zd or S_xu and S_xd, etc.

 

[SergioPL]

The two dimensions complex spinor can be projected to the three dimensional space through the Pauli matrices, σ_x, σ_y and σ_z.

if you have the spinor |S> and you want the probability to find a spin up (or down) for the x direction you just have to do: |S_x> = σ_x|S>.

If the amplitudes are properly normalized ||S_x>|² = 1

 

[mike1000]

These are not vectors in the 3 dimensional space we live in. These are quantum states, vectors in a Hilbert space. In this case the Hilbert space is two dimensional and any two orthonormal vectors can serve as a basis for it. So you can either use S_zu and S_zd or S_xu and S_xd, etc.

Three dimensional euclidean space is a Hilbert Space so just saying the vectors are in a Hilbert Space is not really illuminating. Saying it is a two dimensional Hilbert space is a little more illuminating. What 2-dimensional Hilbert Space is it? What are the dimensions? And why could't you use the more familiar 3-dimensional Euclidean space?

 

[ShayanJ]

Three dimensional euclidean space is a Hilbert Space so just saying the vectors are in a Hilbert Space is not really illuminating.

Fair point. So let's say its a different Hilbert space than the 3 dimensional Euclidean space.

What 2-dimensional Hilbert Space is it? What are the dimensions? And why could't you use the more familiar 3-dimensional Euclidean space?

Its a two dimensional complex Hilbert space with the inner product that you know for different spin states.
The dimensions are + and - in any direction you want.
Because we're not talking about vectors in 3-dimensional Euclidean space,we're talking about the spin state of a spin-1/2 particle. A spin-1/2 particle has 2 orthogonal spin states so we should use a 2-dimensional Hilbert space for describing it. Also we never use the Euclidean space as the Hilbert space for the state for any degrees of freedom of any quantum system, simply because northwest is not a quantum state, but pointing towards northwest is! Its the same reason the Euclidean space is not the Hilbert space for the translational degrees of freedom.

 

[edguy99]

I like to visualize an axis of spin on a bloch sphere. When viewed from the front, an axis of spin that is up (ie. above the equator), may be on the left side of vertical or the right side of vertical. If that same axis of spin is viewed from the top, the ones on the left side of the vertical will be spin down (from the viewpoint of the top) and the ones on the right side of the vertical will be spin up.

The axis of spin of a spin up particle, has a 50% chance of being up when viewed from the top and a 50% chance of being down when viewed from the top.

 

[stevendaryl]

It might be helpful to look at the explicit relationship between vectors and spinors.

Let [itex]\hat{A}[/itex] be a unit vector in some direction, and let [itex]\psi[/itex] be the two-component spinor corresponding to the spin state of a particle that is spin-up in direction [itex]\hat{A}[/itex], and let [itex]\chi[/itex] be the spinor for spin-down relative to [itex]\hat{A}[/itex]. These relationships can be summarized in terms of the Pauli spin matrices [itex]\sigma_x, \sigma_y, \sigma_z[/itex] by:

[itex](\hat{A} \cdot \vec{\sigma}) \psi = \psi[/itex]
[itex](\hat{A} \cdot \vec{\sigma}) \chi = - \chi[/itex]

It's convenient to rewrite this in terms of projection operator:

[itex]P_{\hat{A}} = \frac{1}{2} (1 + \hat{A} \cdot \vec{\sigma})[/itex]

In terms of [itex]P_{\hat{A}}[/itex], we can write:

[itex]P_{\hat{A}} \psi= \psi[/itex]
[itex]P_{\hat{A}} \chi = 0[/itex]

So [itex]P_{\hat{A}}[/itex] "projects out" the component of a spinor that is spin-up relative to [itex]\hat{A}[/itex].

Here's a cool fact about [itex]P_{\hat{A}}[/itex] and [itex]\psi[/itex]:

[itex]\psi \psi^\dagger = P_{\hat{A}}[/itex]

where [itex]\dagger[/itex] means the complex-conjugate of the transpose. So there is a strange sense in which [itex]\psi = \sqrt{P_{\hat{A}}}[/itex] (sort of).

If you use the Pauli spin matrices, then you can find the components of [itex]\hat{A}[/itex] in terms of the components of [itex]\psi[/itex]. Letting [itex]\psi = \left( \begin{array} \\ a \\ b \end{array} \right)[/itex], then

[itex]A_z = |a|^2 - |b|^2 = 2 |a|^2 - 1[/itex] (the spinor is normalized so that [itex]|a|^2 + |b|^2 = 1[/itex]
[itex]A_x = a^* b + a b^*[/itex]
[itex]A_y = i (a^* b - b^* a)[/itex]

You can invert these to find [itex]a[/itex] and [itex]b[/itex] in terms of [itex]\hat{A}[/itex]. This is easier if you represent [itex]\hat{A}[/itex] in spherical coordinates:

[itex]A_z = cos(\theta), A_x = sin(\theta) cos(\phi), A_y = sin(\theta) sin(\phi)[/itex]

Then in terms of [itex]\theta[/itex] and [itex]\phi[/itex],

[itex]a = cos(\theta/2) e^{-i \phi/2}[/itex]
[itex]b = sin(\theta/2) e^{+i \phi/2}[/itex]

The relationship is two-to-one, in the sense that if you rotate [itex]\hat{A}[/itex] through [itex]2\pi[/itex] about any axis, you get back to the same vector, but the corresponding spinor [itex]\psi[/itex] changes sign. This can be seen easily from the above relationship if you choose the z-axis. Then rotating corresponds to changing [itex]\phi[/itex], so if you rotate by [itex]2 \pi[/itex], that means changing the phase of [itex]a[/itex] by [itex]e^{-i (2\pi)/2} = -1[/itex] and changing the phase of [itex]b[/itex] by [itex]e^{+i (2\pi)/2} = -1[/itex]

So as far as how a two-component spinor can represent arbitrary directions in 3-D space, it sort of makes sense: They both are characterized (up to a normalization and overall phase) by the pair of real numbers [itex]\theta[/itex] and [itex]\phi[/itex].

 

[Talisman]

How can the two z-vectors span the entire space?

When the outcome of a measurement of a particular observable can take on only one of two values, we represent the underlying state as a vector in C² (and the distinct possible measurements as orthogonal vectors, and thus a basis).

How can the spin in the x-direction be a linear combination of the spin vectors in only the z-direction?

You can discover, experimentally, that x-direction spin and y-direction spin are non-commuting. This suggests they share a state space. And indeed, one discovers vectors (and corresponding projectors) in C² that model the results of measuring spin in the three physical axes.

 

[mike1000]

First of all, thanks to everyone for the really great responses. I do appreciate them. I have already learned so much by investigating each of the answers which I am continuing to do.

I have many questions, but the simplest is regarding this response...

When you say above "that x-direction spin and y-direction spin are non-commuting. This suggests they share a state space.". What do you mean by they "share a state space? and why does not commuting suggest that?

 

[Talisman]

IANAP. Hopefully others will correct me for any imprecisions.

By "state space" we mean the Hilbert space used to represent a state vector. If the measurement of observable A and observable B commute, it means that we can simultaneously get well-defined values for each of them. In that case, the state space for observable A and observable B can be considered separately. They're two unrelated vector spaces (and if we want to represent the pair of observables, we use the tensor product of those spaces). This "allows" them to evolve independently. (I put "allow" in quotes because obviously the math does not make anything happen, but it's a good way of thinking about things.)

If they cannot be measured simultaneously, it is because there is a state vector in some space that encodes both properties in some way. When observable A is measured, this projects the state vector onto one of the eigenstates of A (i.e., one of the two orthogonal vectors representing distinct measurements). This can in general change the distribution of outcomes for B (whose probabilities can be calculated by projecting the state vector onto B's eigenstates).

Maybe this can be put more simply. I can give you the space C², and three different basis sets {x+, x-}, {y+, y-}, {z+, z-}, and when you take the projection of x+ onto y- (for example) you will get a vector whose length will help you predict how likely an electron in x+ will be measured in y- (as confirmed by experiment). This suggests that the model I gave you is indeed a good model for electron spin.