5. Operators in quantum mechanics¶
The lecture on operators in quantum mechanics consists of the following parts:
and at the end of the lecture notes, there is a set the corresponding exercises:
The contents of this lecture are supplemented with the following videos:
The total length of the videos: ~5 minutes
In the previous lecture, we presented the mathematical language to describe the quantum states of a physical system. We saw that the state of a quantum system is described by its vector state , an element of a special complex vector space called the Hilbert space. We presented the Dirac notation and discussed that we can assign a probabilistic interpretation to vector states and their inner products. We also discussed their matrix representation and how we can express a state vector in terms of its components in a specific basis.
Now, we need to introduce a concept and a mathematical language required to extract information about the physical properties of a system from its state vector, which we will denote by observables. We emphasize that this distinction between the state of a quantum system (given by the wave function) and the observables, which we can extract from it, is the novelty of quantum mechanics with respect to classical physics where this notion is absent. With this motivation, in order to represent fundamental physical quantities of a quantum system that we can measure; such as position, momentum, or energy, we need to introduce a special mathematical entity known as an operator.
5.1. Definition and properties of operators¶
Operators in quantum mechanics are mathematical entities used to represent physical processes that result in the change of the state vector of the system, such as the evolution of these states with time. These operators can also represent physical properties of a system that can be experimentally measured (for example position, momentum, or energy), the observables associated to this quantum system. Note that each quantum system will have in general a different set of physical observables associated to it.
Operators in quantum mechanics
An operator is a mathematical object that acts on the state vector of the system and produces another state vector. To be precise, if we denote an operator by and is an element of the Hilbert space of the system, then where the state vector also belongs to the same Hilbert space.
There are many types of important operators in quantum mechanics. In this lecture, we will present some of these, such as the unitary operators that determine the time evolution of a quantum system and the Hermitian operators which can be assigned to physically observable properties of a system, such as momentum or energy. We will also discuss how we can manipulate operators and combine them in various ways.
Linear operators
In this course, we are interested in the so-called linear operators, which are those operators such that for any arbitrary pair of state vectors and and for any complex numbers and they satisfy associative and distributive properties, for instance
Linearity of operators has several important consequences. Recall that in the previous lecture we discussed that any state vector can be expressed as a linear combination of a complete set of basis states associated to this Hilbert space: where the values of the coefficients can be fixed thanks to the orthogonality properties of the basis, . Then one can see that for linear operators the following applies This result tells us that if we know the effects of the operator for each of the elements of the basis , we can easily determine its effect on a general state vector belonging to the same Hilbert space. In other words, the action of the operator on the basis vectors correlates with its action on any other state vector to which the operator was applied.
Some other important properties of the operators can be stated as follows.
Properties of the operators
- If two operators and are such that for all state vectors belonging to the Hilbert space of the system, then these two operators must be identical: Note that this is true only if the action of two operators is identical for all elements of the Hilbert space.
- Like in general vector spaces, in Hilbert spaces, we also have the identity (or unit) and zero (or null) operators defined as
- The unit (or identity) operator is the operator that satisfies
- The zero (or null) operator is the operator that satisfies In both cases, these relations hold for all state vectors of the Hilbert space .
5.2. Manipulating operators¶
We can combine and manipulate operators in various ways. In doing so, we should be careful because manipulations of operators can be quite different compared with manipulations of scalar complex numbers. For example, if you have two complex numbers, the result of their multiplication does not depend on the order in which you multiply them, but for operators it does! As we will show, in general, operators are non-commutative, meaning that the order in which they are applied will vary the result of the operation.
As mentioned above, in these lectures, we will be focusing only on linear operators. For this class of operators, following operations are possible:
Addition of operators:
The sum of two operators and is defined by for all state vectors . The sum of two operators defines another operator, : for all states , and so we can write Note that when we express operator relations, such as this one, we are implicitly stating that they hold when these operators are applied to any of the state vectors of the Hilbert space .
Multiplication of an operator by a complex number:
If we have an operator that acts on a state vector as then we can define the operator , where is a complex number as follows
Multiplication of operators
Assume that an operator acting on a ket vector maps it into another ket vector and that the operator acting on results in a third ket vector : One can then define the product of the two operators as a new operator, , such that its action on the initial ket vector is defined as Note that in general, multiplication of two operators is non-commutative, so the order in which we multiply and is important, and the operator will be different from .
Commutator of two operators
The difference between a product of operators and the product in the opposite order, namely , is defined as the commutator of these two operators: The commutator plays a fundamental role in the physical interpretation of quantum mechanics. In a nutshell, it tells us whether or not two observable properties of a system can be determined simultaneously with arbitrary precision according to the Heisenberg uncertainty relations.
Exercise
Using the properties of the addition and multiplication of operators that we just discussed, you can check that the commutator satisfies the following properties:
5.3. Projection operators¶
Projection operator:
An operator with the property which means that acting twice on a given state vector produces the same result as acting just once, is described as a projection operator. Let us give an explicit example of such operator. Assume that we have an -dimensional Hilbert space with a basis given by . We can then define the operator as
Recall that as demonstrated above, once we indicate the behaviour of an operator for the basis vectors, we automatically know how it will act for any general state vector of the Hilbert space.
Example
Let's demonstrate that this operator is a projection operator: From this we can conclude that , as expected for a projection operator, and where we have used that the square of the Kronecker delta is the same Kronecker delta itself.
This projection operator has one important property. Let's act with on an arbitrary vector expanded in terms of the basis vectors : which implies that In other words, the operator projects the state vector onto the direction given by the basis vector . We can clearly see in this case why these operators are called projection operators; They allow us to single out specific directions in the Hilbert space of our quantum system.
5.4. The Hermitian adjoint¶
When discussing vector spaces in quantum mechanics, we learned that for each vector state ket , there exists the corresponding bra vector which can be understood as its complex conjugate. When expressing as a column vector in terms of its components, was the associated row vector expressing the complex conjugate of its components. A similar discussion is required now in the case of operators.
Warning
For an operator such that holds true, the already familiar complex conjugation is in general not valid
Hermitian adjoint operator
We can introduce another operator related to and written as which has the following defining property The operator is known as the Hermitian adjoint of .
What is then the action of this Hermitian adjoint operator on a ket vector? We can consider the following product using that . The complex conjugate of the previous expression yields: and if , then
As we will see next, in quantum mechanics, we are interested in operators for which , that is where the operator coincides with its Hermitian adjoint.
5.5. Matrix representation of operators¶
In the previous lecture, we discussed the matrix representation of state vectors, a notation describing the elements of the Hilbert space assigned to a given quantum system. We will now show how one can also construct a matrix representation of operators.
The starting point is an operator equation of the form where and are state vectors. This equation can be rewritten using the identity operator given by the basis elements and rewritten as
We can now evaluate the inner product between the basis vector and the state vector to obtain which can also be expressed as a matrix multiplication equation in terms of its components using where we define
Matrix representation of operators
The derivation above demonstrates that an operation equation of the form can be expressed in terms of a matrix representation where the operator is represented by a (square) matrix
Like in the case of regular vector spaces, when we represent state vectors as operators in terms of components (matrix representation), we are implicitly or explicitly assuming a choice of basis. If we change the basis, the values of the components will change too. In other words, while the operator equation is identical in any chosen basis, once we express it as then the specific values of e.g. will be basis-dependent.
Having demonstrated that we can represent state vectors and operators in term of vectors and matrices, we can now highlight some of the most important properties of the matrix representation.
Properties of matrix representation of operators
-
Equality: two operators are said to be equal if their corresponding operator matrix elements are equal, for instance if for all possible values of and .
-
Identity operator: the unit (or identity) operator is represented by and satisfies for all possible state vectors . The diagonal elements of the matrix representation of the identity operator are all unity while the off-diagonal elements vanish: . This means that for a -dimensional Hilbert space the unit operator is the -dimensional identity matrix. Note that the unit operator has the same form in all representations irrespective of the specific choice of basis states.
-
Null operator: the zero operator is such as for all . Its matrix elements are all zero, .
-
Addition of operators: given two operators and with matrix elements and , then the matrix elements of their sum are given by
-
Multiplication by a complex number: if is a complex number, then the matrix elements of the operator are given by
-
Product of operators: given two operators and with matrix elements and , then the matrix elements of their operator product are given by which as you might recall is nothing but the standard rule for matrix multiplication. So once we express operators in their matrix representation, we can multiply them by following standard matrix multiplication.
-
Commutator: in the same way as matrix multiplication is not commutative, also operator multiplication is not commutative: As mentioned above, the difference, is known as the commutator of and and is represented by . In terms of the matrix representation, the components of the commutator of and (which is also a matrix itself) will be given by
Matrix representation of Hermitian operators¶
As discussed above, Hermitian operators play a central role in the physical interpretation of quantum systems. We can now provide the explicit expression of the Hermitian operators in the matrix representation.
Matrix representation of Hermitian operators
Let us assume that we have an operator in an -dimensional Hilbert space with matrix elements defined with respect to a set of orthonormal basis states, . From its matrix representation one can construct a new operator by taking the transpose and complex conjugate of the original matrix, that is: This new matrix corresponds to the matrix representation of a new operator that will be denoted by .
This new operator is called the Hermitian adjoint of the operator .
Hermitian operators are equal to their adjoint version
At the operator level, we can write that Hermitian operators satisfy . From the matrix representation giving the expression in terms of its components, the condition for a Hermitian operator will therefore read which can be expressed in a more compact way as Any operator which satisfies this condition will be a Hermitian operator. Note that the Hermiticity of an operator is a property which is independent of the specific choice of basis.
5.6. Problems¶
-
[] Commutator algebra
Prove that .
-
[] The commutator
Let
Do and commute?
-
[] Linear operators
Suppose that in an orthonormal basis given by an operator acts as follows: Determine the matrix representation of the operator .
-
[] Calculating expectation values of operators
The expectation value of an operator with respect to a state is given by A particle is in a state and an operator .
(The basis is orthonormal).
Find the expectation value in this state.
-
[] The Hermitian conjugate of an operator
Consider that the matrix representation of the operator is given by: and the following two state vectors from the same Hilbert space are given by:
(a) Find the result of and .
(b) Find the Hermitian conjugates and , and use these to calculate the inner products between the two state vectors and .
-
[] The Hadamard gate
An important operator used in quantum computation is the Hadamard gate, which is represented by the matrix: .
(a) Discuss whether or not is Hermitian or unitary.
(b) Evaluate how the Hadamard gate acts upon the up and down basis states of the system and discuss the interpretation of these results.
-
[] Spin- system
Consider two vectors where are the basis vectors for a spin-half system, and the operator defined by
Note: the basis states are
(a) Express the state vectors and as column vectors.
(b) Write down the corresponding bra vectors as row vectors.
(c) Calculate the inner products and .
(d) Write this operator as a matrix in the representation.
(e) Calculate using the matrix representation of and the column representation of .
(f) Calculate using the matrix representation of and the row representation of .