Last time we discussed some of the mathematical basics for understanding quantum mechanics. Today, we will discuss the last parts of the mathematics needed including how operators in Hilbert spaces are constructed and how they work. We can then sashay into a little discussion about tensor products of quantum systems, and then understand what quantum entanglement is.
These are all really cool things, and it’s pretty neat to see how these physically realizable phenomena directly follow from the simple structure of Hilbert spaces and the algebraic idea of a tensor product. After that, I will talk more about two-level systems, where we will fully understand what the Bloch sphere is and how spin works. Time permitting, I will work out the canonical example of the hydrogen atom and then derive the structure of the periodic table, which in my opinion is one of the most amazing results of introductory quantum physics.
Recall from last time that the outer product of two vectors in a Hilbert space in terms of bras and kets is given by
If we think of a simple vector space, the outer product of vectors gives a matrix. Likewise, the outer product of bras and kets gives a matrix in , or more precisely it gives the matrix representation of an operator in
. The operator
maps
.
This is of course the vector multiplied by the scalar
. Since operators are constructed from elements in
, we can derive the following properties of operators
on
:
Recall that we assume our Hilbert space has a basis (apologies to anyone who prefers ZF over ZFC) and that this basis is orthonormal:
. We can construct the identity in our Hilbert space by considering the following expression:
.
It is easy to show that this operating on any vector returns the same vector back. Let us write a ket in its basis expansion:
.
Applying the operator above gives
.
This is pretty neat since now we have all the things we care about in a Hilbert space. We have elements in that space, we have things that map elements to other elements, and we have ways of representing the identity in terms of elements in the Hilbert space. Our Hilbert space is pretty much all grown up, and now it can face the world and do cool things like explain reality reasonably well.
Lets show this by considering a set that has an integral measure
, and suppose that we have a basis set
. This is an uncountably infinite set, and so the Hilbert space has uncountably infinite dimension. We want to define the inner product so
.
Here, the left-hand side is the Dirac delta function which isn’t really a function, but a functional. It maps functions to vectors in the complex Hilbert space via some integral. First, we need to understand that in the uncountably infinite Hilbert space, the basis expansion is no longer countable (obviously) and so instead of the basis expansion
,
where we have a set of “weights” that tell us how much of each basis vector the state
occupies, we have some continuous function on
that for each infinitesimal increment
, the function maps “how much” of the basis vector
the state takes up. We call this continuous function the “wave function” and denote it by
. It is a beautiful thing.
To summarize, when going from the countable Hilbert space to the continuous Hilbert space, the basis expansion looks like
We can now see that using the Dirac delta function as the inner product, we get
This is exactly what we want! We know that corresponds to (the dual of) a single point in
, and so the inner product with
should give us the part of the vector
that corresponds to the part of the basis that is
. This is exactly
.
This gives us our first interpretation of the wavefunction. It is the continuous analogue of a basis expansion of a countable Hilbert space. We have the following “mappings” (if you want to call them that) from when we go from countable to uncountable:
where the last “mapping” is the definition of the identity in each setting.
Now that we have seen the first mathematical motivation of what the wavefunction is, let’s switch gears and discuss how to combine quantum systems to form new ones. Let’s consider two systems in Hilbert spaces and
respectively. The state of the composite system, where we look at both systems as a single one, is given by the tensor product
. The basis of this space is given by all possible tensor products of basis vectors
of
and
of
. The set of basis vectors explicitly is
,
where runs from 1 to dim(
) and
runs from 1 to dim(
). The most general state expansion in this basis is