The qubit is the workhorse in quantum computation. Since it is based on an actual physical system, it uses the full technology of quantum mechanics: complex numbers and a 2-dimensional complex Hilbert space. A 1-qubit quantum state is given by
Here a and b are complex numbers that satisfy
So instead of four real degrees of freedom, you have three. Actually, if you also allow quantum states to be equivalent up to a constant phase factor, then you only have two real degrees of freedom.
Consider restricting the coefficients to be real instead of complex. Then, instead of unitary matrices (members of the group U(2)), then you have orthogonal matrices (members of the group O(2)). These are matrices M that satisfy the identity
The 2-by-2 orthogonal matrices come in two kinds:
Members of O+(2) have determinant +1, and have the form:
Similarly, members of O−(2) have determinant −1, and have the form:
Note that
Also
However,
You can write a member of O+(2) in exponential form
In this form, it is clear that
This also means that
That is, the elements of O+(2) commute with each other.
You can also check that
The last identity implies that the elements of O−(2) do not commute with each other:
Indeed, you can use J to write elements of one kind in terms of elements of the other kind:
Instead of two real degrees of freedom, a (normalized) state vector can only have one real degree of freedom:
Instead of being equivalent up to a complex phase factor, now states are equivalent up to a sign. Thus, the angle θ above is restricted to
Note that
The inner product between two state vectors is
Other interesting invariants are
In particular, the last one means that Q|θ⟩ is orthogonal to |θ⟩.