My nephew Jake is a prodigy, and is already tackling QM!
August 23, 2019 Incoherent ramblings No comments QM, Quantum Mechanics
June 11, 2019 phy1520 No comments phy1520, Quantum Mechanics
My notes for “Graduate Quantum Mechanics” (PHY1520H) taught by Prof. Arun Paramekanti, fall 2015. (435 pages), are now available on paper (black and white) through kindle-direct-publishing for $12 USD.
This book is dedicated to my siblings.
Kindle-direct-publishing is a print on demand service, and allows me to make the notes available for pretty close to cost (in this case, about $6 printing cost, $5 to amazon, and about $1 to me as a token royalty). The notes are still available for free in PDF form, and the latex sources are also available should somebody feel motivated enough to submit a merge request with corrections or enhancements.
This grad quantum course was especially fun. When I took this class, I had enjoyed the chance to revisit the subject. Of my three round match against QM, I came out much less bloody this time than the first two rounds.
These notes are no longer redacted and include whatever portions of the problem I completed, errors and all. In the event that any of the problem sets are recycled for future iterations of the course, students who are taking the course (all mature grad students pursuing science for the love of it, not for grades) are expected to act responsibly, and produce their own solutions, within the constraints provided by the professor.
phy1520.V0.1.9-3 (June 10, 2019)
September 23, 2018 phy2403 No comments action, canonical momentum, Canonical quantization, commutator, coupling, dimensional analysis, Euler-Lagrange equations, Hamiltonian, Klein Gordon equation, Lagrangian, Lagrangian density, Least action principle, locality, Lorentz invarient, marginal, Poisson bracket, Quantum Mechanics, relevant, scalar field, spacetime, upper critical dimension, variation
[Click here for a PDF of this post with nicer formatting]
These are notes for the UofT course PHY2403H, Quantum Field Theory I, taught by Prof. Erich Poppitz fall 2018.
These are the requirements for an action. We postulated an action that had the form
\begin{equation}\label{eqn:qftLecture4:20}
\int d^d x \partial_\mu \phi \partial^\mu \phi,
\end{equation}
called the “Kinetic term”, which mimics \( \int dt \dot{q}^2 \) that we’d see in quantum or classical mechanics. In principle there exists an infinite number of local Poincar\’e invariant terms that we can write. Examples:
It turns out that nature (i.e. three spatial dimensions and one time dimension) is described by a finite number of terms. We will now utilize dimensional analysis to determine some of the allowed forms of the action for scalar field theories in \( d = 2, 3, 4, 5 \) dimensions. Even though the real world is only \( d = 4 \), some of the \( d < 4 \) theories are relevant in condensed matter studies, and \( d = 5 \) is just for fun (but also applies to string theories.)
With \( [x] \sim \inv{M} \) in natural units, we must define \([\phi]\) such that the kinetic term is dimensionless in d spacetime dimensions
\begin{equation}\label{eqn:qftLecture4:40}
\begin{aligned}
[d^d x] &\sim \inv{M^d} \\
[\partial_\mu] &\sim M
\end{aligned}
\end{equation}
so it must be that
\begin{equation}\label{eqn:qftLecture4:60}
[\phi] = M^{(d-2)/2}
\end{equation}
It will be easier to characterize the dimensionality of any given term by the power of the mass units, that is
\begin{equation}\label{eqn:qftLecture4:80}
\begin{aligned}
[\text{mass}] &= 1 \\
[d^d x] &= -d \\
[\partial_\mu] &= 1 \\
[\phi] &= (d-2)/2 \\
[S] &= 0.
\end{aligned}
\end{equation}
Since the action is
\begin{equation}\label{eqn:qftLecture4:100}
S = \int d^d x \lr{ \LL(\phi, \partial_\mu \phi) },
\end{equation}
and because action had dimensions of \( \Hbar \), so in natural units, it must be dimensionless, the Lagrangian density dimensions must be \( [d] \). We will abuse language in QFT and call the Lagrangian density the Lagrangian.
Because \( [\partial_\mu \phi \partial^\mu \phi ] = 2 \), the scalar field must be dimension zero, or in symbols
\begin{equation}\label{eqn:qftLecture4:120}
[\phi] = 0.
\end{equation}
This means that introducing any function \( f(\phi) = 1 + a \phi + b\phi^2 + c \phi^3 + \cdots \) is also dimensionless, and
\begin{equation}\label{eqn:qftLecture4:140}
[f(\phi) \partial_\mu \phi \partial^\mu \phi ] = 2,
\end{equation}
for any \( f(\phi) \). Another implication of this is that the a potential term in the Lagrangian \( [V(\phi)] = 0 \) needs a coupling constant of dimension 2. Letting \( \mu \) have mass dimensions, our Lagrangian must have the form
\begin{equation}\label{eqn:qftLecture4:160}
f(\phi) \partial_\mu \phi \partial^\mu \phi + \mu^2 V(\phi).
\end{equation}
An infinite number of coupling constants of positive mass dimensions for \( V(\phi) \) are also allowed. If we have higher order derivative terms, then we need to compensate for the negative mass dimensions. Example (still for \( d = 2 \)).
\begin{equation}\label{eqn:qftLecture4:180}
\LL =
f(\phi) \partial_\mu \phi \partial^\mu \phi + \mu^2 V(\phi) + \inv{{\mu’}^2}\partial_\mu \phi \partial_\nu \partial^\nu \partial^\mu \phi + \lr{ \partial_\mu \phi \partial^\mu \phi }^2 \inv{\tilde{\mu}^2}.
\end{equation}
The last two terms, called \underline{couplings} (i.e. any non-kinetic term), are examples of terms with negative mass dimension. There is an infinite number of those in any theory in any dimension.
In QFT we are generally interested in the couplings that are measurable at long distances for some given energy. Classically irrelevant theories are generally not interesting in \( d > 2 \), so we are very lucky that we don’t live in three dimensional space. This means that we can get away with a finite number of classically marginal and relevant couplings in 3 or 4 dimensions. This was mentioned in the Wilczek’s article referenced in the class forum [1]\footnote{There’s currently more in that article that I don’t understand than I do, so it is hard to find it terribly illuminating.}
Long distance physics in any dimension is described by the marginal and relevant couplings. The irrelevant couplings die off at low energy. In two dimensions, a priori, an infinite number of marginal and relevant couplings are possible. 2D is a bad place to live!
Now we have
\begin{equation}\label{eqn:qftLecture4:200}
[\phi] = \inv{2}
\end{equation}
so that
\begin{equation}\label{eqn:qftLecture4:220}
[\partial_\mu \phi \partial^\mu \phi] = 3.
\end{equation}
A 3D Lagrangian could have local terms such as
\begin{equation}\label{eqn:qftLecture4:240}
\LL = \partial_\mu \phi \partial^\mu \phi + m^2 \phi^2 + \mu^{3/2} \phi^3 + \mu’ \phi^4
+ \lr{\mu”}{1/2} \phi^5
+ \lambda \phi^6.
\end{equation}
where \( m, \mu, \mu” \) all have mass dimensions, and \( \lambda \) is dimensionless. i.e. \( m, \mu, \mu” \) are relevant, and \( \lambda \) marginal. We stop at the sixth power, since any power after that will be irrelevant.
Now we have
\begin{equation}\label{eqn:qftLecture4:260}
[\phi] = 1
\end{equation}
so that
\begin{equation}\label{eqn:qftLecture4:280}
[\partial_\mu \phi \partial^\mu \phi] = 4.
\end{equation}
In this number of dimensions \( \phi^k \partial_\mu \phi \partial^\mu \) is an irrelevant coupling.
A 4D Lagrangian could have local terms such as
\begin{equation}\label{eqn:qftLecture4:300}
\LL = \partial_\mu \phi \partial^\mu \phi + m^2 \phi^2 + \mu \phi^3 + \lambda \phi^4.
\end{equation}
where \( m, \mu \) have mass dimensions, and \( \lambda \) is dimensionless. i.e. \( m, \mu \) are relevant, and \( \lambda \) is marginal.
Now we have
\begin{equation}\label{eqn:qftLecture4:320}
[\phi] = \frac{3}{2},
\end{equation}
so that
\begin{equation}\label{eqn:qftLecture4:340}
[\partial_\mu \phi \partial^\mu \phi] = 5.
\end{equation}
A 5D Lagrangian could have local terms such as
\begin{equation}\label{eqn:qftLecture4:360}
\LL = \partial_\mu \phi \partial^\mu \phi + m^2 \phi^2 + \sqrt{\mu} \phi^3 + \inv{\mu’} \phi^4.
\end{equation}
where \( m, \mu, \mu’ \) all have mass dimensions. In 5D there are no marginal couplings. Dimension 4 is the last dimension where marginal couplings exist. In condensed matter physics 4D is called the “upper critical dimension”.
From the point of view of particle physics, all the terms in the Lagrangian must be the ones that are relevant at long distances.
Now we want to study 4D scalar theories. We have some action
\begin{equation}\label{eqn:qftLecture4:380}
S[\phi] = \int d^4 x \LL(\phi, \partial_\mu \phi).
\end{equation}
Let’s keep an example such as the following in mind
\begin{equation}\label{eqn:qftLecture4:400}
\LL = \underbrace{\inv{2} \partial_\mu \phi \partial^\mu \phi}_{\text{Kinetic term}} – \underbrace{m^2 \phi – \lambda \phi^4}_{\text{all relevant and marginal couplings}}.
\end{equation}
The even powers can be justified by assuming there is some symmetry that kills the odd powered terms.
We will be integrating over a space time region such as that depicted in fig. 1, where a cylindrical spatial cross section is depicted that we allow to tend towards infinity. We demand that the field is fixed on the infinite spatial boundaries. The easiest way to demand that the field dies off on the spatial boundaries, that is
\begin{equation}\label{eqn:qftLecture4:420}
\lim_{\Abs{\Bx} \rightarrow \infty} \phi(\Bx) \rightarrow 0.
\end{equation}
The functional \( \phi(\Bx, t) \) that obeys the boundary condition as stated extremizes \( S[\phi] \).
Extremizing the action means that we seek \( \phi(\Bx, t) \)
\begin{equation}\label{eqn:qftLecture4:440}
\delta S[\phi] = 0 = S[\phi + \delta \phi] – S[\phi].
\end{equation}
How do we compute the variation?
\begin{equation}\label{eqn:qftLecture4:460}
\begin{aligned}
\delta S
&= \int d^d x \lr{ \LL(\phi + \delta \phi, \partial_\mu \phi + \partial_\mu \delta \phi) – \LL(\phi, \partial_\mu \phi) } \\
&= \int d^d x \lr{ \PD{\phi}{\LL} \delta \phi + \PD{(\partial_mu \phi)}{\LL} (\partial_\mu \delta \phi) } \\
&= \int d^d x \lr{ \PD{\phi}{\LL} \delta \phi
+ \partial_\mu \lr{ \PD{(\partial_mu \phi)}{\LL} \delta \phi}
– \lr{ \partial_\mu \PD{(\partial_mu \phi)}{\LL} } \delta \phi
} \\
&=
\int d^d x
\delta \phi
\lr{ \PD{\phi}{\LL}
– \partial_\mu \PD{(\partial_mu \phi)}{\LL} }
+ \int d^3 \sigma_\mu \lr{ \PD{(\partial_\mu \phi)}{\LL} \delta \phi }
\end{aligned}
\end{equation}
If we are explicit about the boundary term, we write it as
\begin{equation}\label{eqn:qftLecture4:480}
\int dt d^3 \Bx \partial_t \lr{ \PD{(\partial_t \phi)}{\LL} \delta \phi }
– \spacegrad \cdot \lr{ \PD{(\spacegrad \phi)}{\LL} \delta \phi }
=
\int d^3 \Bx \evalrange{ \PD{(\partial_t \phi)}{\LL} \delta \phi }{t = -T}{t = T}
– \int dt d^2 \BS \cdot \lr{ \PD{(\spacegrad \phi)}{\LL} \delta \phi }.
\end{equation}
but \( \delta \phi = 0 \) at \( t = \pm T \) and also at the spatial boundaries of the integration region.
This leaves
\begin{equation}\label{eqn:qftLecture4:500}
\delta S[\phi] = \int d^d x \delta \phi
\lr{ \PD{\phi}{\LL} – \partial_\mu \PD{(\partial_mu \phi)}{\LL} } = 0 \forall \delta \phi.
\end{equation}
That is
\begin{equation}\label{eqn:qftLecture4:540}
\boxed{
\PD{\phi}{\LL} – \partial_\mu \PD{(\partial_mu \phi)}{\LL} = 0.
}
\end{equation}
This are the Euler-Lagrange equations for a single scalar field.
Returning to our sample scalar Lagrangian
\begin{equation}\label{eqn:qftLecture4:560}
\LL = \inv{2} \partial_\mu \phi \partial^\mu \phi – \inv{2} m^2 \phi^2 – \frac{\lambda}{4} \phi^4.
\end{equation}
This example is related to the Ising model which has a \( \phi \rightarrow -\phi \) symmetry. Applying the Euler-Lagrange equations, we have
\begin{equation}\label{eqn:qftLecture4:580}
\PD{\phi}{\LL} = -m^2 \phi – \lambda \phi^3,
\end{equation}
and
\begin{equation}\label{eqn:qftLecture4:600}
\begin{aligned}
\PD{(\partial_\mu \phi)}{\LL}
&=
\PD{(\partial_\mu \phi)}{} \lr{
\inv{2} \partial_\nu \phi \partial^\nu \phi } \\
&=
\inv{2} \partial^\nu \phi
\PD{(\partial_\mu \phi)}{}
\partial_\nu \phi
+
\inv{2} \partial_\nu \phi
\PD{(\partial_\mu \phi)}{}
\partial_\alpha \phi g^{\nu\alpha} \\
&=
\inv{2} \partial^\mu \phi
+
\inv{2} \partial_\nu \phi g^{\nu\mu} \\
&=
\partial^\mu \phi
\end{aligned}
\end{equation}
so we have
\begin{equation}\label{eqn:qftLecture4:620}
\begin{aligned}
0
&=
\PD{\phi}{\LL} -\partial_\mu
\PD{(\partial_\mu \phi)}{\LL} \\
&=
-m^2 \phi – \lambda \phi^3 – \partial_\mu \partial^\mu \phi.
\end{aligned}
\end{equation}
For \( \lambda = 0 \), the free field theory limit, this is just
\begin{equation}\label{eqn:qftLecture4:640}
\partial_\mu \partial^\mu \phi + m^2 \phi = 0.
\end{equation}
Written out from the observer frame, this is
\begin{equation}\label{eqn:qftLecture4:660}
(\partial_t)^2 \phi – \spacegrad^2 \phi + m^2 \phi = 0.
\end{equation}
With a non-zero mass term
\begin{equation}\label{eqn:qftLecture4:680}
\lr{ \partial_t^2 – \spacegrad^2 + m^2 } \phi = 0,
\end{equation}
is called the Klein-Gordan equation.
If we also had \( m = 0 \) we’d have
\begin{equation}\label{eqn:qftLecture4:700}
\lr{ \partial_t^2 – \spacegrad^2 } \phi = 0,
\end{equation}
which is the wave equation (for a massless free field). This is also called the D’Alembert equation, which is familiar from electromagnetism where we have
\begin{equation}\label{eqn:qftLecture4:720}
\begin{aligned}
\lr{ \partial_t^2 – \spacegrad^2 } \BE &= 0 \\
\lr{ \partial_t^2 – \spacegrad^2 } \BB &= 0,
\end{aligned}
\end{equation}
in a source free region.
\begin{equation}\label{eqn:qftLecture4:740}
\LL = \inv{2} \dot{q} – \frac{\omega^2}{2} q^2
\end{equation}
This has solution \(\ddot{q} = – \omega^2 q\).
Let
\begin{equation}\label{eqn:qftLecture4:760}
p = \PD{\dot{q}}{\LL} = \dot{q}
\end{equation}
\begin{equation}\label{eqn:qftLecture4:780}
H(p,q) = \evalbar{p \dot{q} – \LL}{\dot{q}(p, q)}
= p p – \inv{2} p^2 + \frac{\omega^2}{2} q^2 = \frac{p^2}{2} + \frac{\omega^2}{2} q^2
\end{equation}
In QM we quantize by mapping Poisson brackets to commutators.
\begin{equation}\label{eqn:qftLecture4:800}
\antisymmetric{\hatp}{\hat{q}} = -i
\end{equation}
One way to represent is to say that states are \( \Psi(\hat{q}) \), a wave function, \( \hat{q} \) acts by \( q \)
\begin{equation}\label{eqn:qftLecture4:820}
\hat{q} \Psi = q \Psi(q)
\end{equation}
With
\begin{equation}\label{eqn:qftLecture4:840}
\hatp = -i \PD{q}{},
\end{equation}
so
\begin{equation}\label{eqn:qftLecture4:860}
\antisymmetric{ -i \PD{q}{} } { q} = -i
\end{equation}
Let’s introduce an explicit space time split. We’ll write
\begin{equation}\label{eqn:qftLecture4:880}
L = \int d^3 x \lr{
\inv{2} (\partial_0 \phi(\Bx, t))^2 – \inv{2} \lr{ \spacegrad \phi(\Bx, t) }^2 – \frac{m^2}{2} \phi
},
\end{equation}
so that the action is
\begin{equation}\label{eqn:qftLecture4:900}
S = \int dt L.
\end{equation}
The dynamical variables are \( \phi(\Bx) \). We define
\begin{equation}\label{eqn:qftLecture4:920}
\begin{aligned}
\pi(\Bx, t) = \frac{\delta L}{\delta (\partial_0 \phi(\Bx, t))}
&=
\partial_0 \phi(\Bx, t) \\
&=
\dot{\phi}(\Bx, t),
\end{aligned}
\end{equation}
called the canonical momentum, or the momentum conjugate to \( \phi(\Bx, t) \). Why \( \delta \)? Has to do with an implicit Dirac function to eliminate the integral?
\begin{equation}\label{eqn:qftLecture4:940}
\begin{aligned}
H
&= \int d^3 x \evalbar{\lr{ \pi(\bar{\Bx}, t) \dot{\phi}(\bar{\Bx}, t) – L }}{\dot{\phi}(\bar{\Bx}, t) = \pi(x, t) } \\
&= \int d^3 x \lr{ (\pi(\Bx, t))^2 – \inv{2} (\pi(\Bx, t))^2 + \inv{2} (\spacegrad \phi)^2 + \frac{m}{2} \phi^2 },
\end{aligned}
\end{equation}
or
\begin{equation}\label{eqn:qftLecture4:960}
H
= \int d^3 x \lr{ \inv{2} (\pi(\Bx, t))^2 + \inv{2} (\spacegrad \phi(\Bx, t))^2 + \frac{m}{2} (\phi(\Bx, t))^2 }
\end{equation}
In analogy to the momentum, position commutator in QM
\begin{equation}\label{eqn:qftLecture4:1000}
\antisymmetric{\hat{p}_i}{\hat{q}_j} = -i \delta_{ij},
\end{equation}
we “quantize” the scalar field theory by promoting \( \pi, \phi \) to operators and insisting that they also obey a commutator relationship
\begin{equation}\label{eqn:qftLecture4:980}
\antisymmetric{\pi(\Bx, t)}{\phi(\By, t)} = -i \delta^3(\Bx – \By).
\end{equation}
[1] Frank Wilczek. Fundamental constants. arXiv preprint arXiv:0708.4361, 2007. URL https://arxiv.org/abs/0708.4361.
December 15, 2015 phy1520, Uncategorized No comments Quantum Mechanics
I’ve posted a fourth (pre-exam) update of my aggregate notes for PHY1520H Graduate Quantum Mechanics, taught by Prof. Arun Paramekanti. In addition to what was noted previously, this contains the remainder of my lecture notes, more problem set solutions (not posted separately), and additional worked practice problems.
Most of the content was posted individually in the following locations, but those original documents will not be maintained individually any further.
November 10, 2015 math and physics play No comments calculus, Clifford Algebra, electrodynamics, Fourier series, Fourier transform, Geometric Algebra, geometry, Lorentz force, physics, projection, Quantum Mechanics, rejection, relativity, stress energy tensor
I’ve now split my (way too big) Exploring physics with Geometric Algebra into two volumes:
Each of these is now a much more manageable size, which should facilitate removing the redundancies in these notes, and making them more properly book like.
Also note I’ve also previously moved “Exploring Geometric Algebra” content related to:
into my classical mechanics collection (449 pages).
October 29, 2015 phy1520 No comments parity operator, Quantum Mechanics, symmetry
[Click here for a PDF of this post with nicer formatting]
Peeter’s lecture notes from class. These may be incoherent and rough.
These are notes for the UofT course PHY1520, Graduate Quantum Mechanics, taught by Prof. Paramekanti, covering \textchapref{{4}} [1] content.
In a classical context considering a Hamiltonian
\begin{equation}\label{eqn:qmLecture11:20}
H(q_i, p_i),
\end{equation}
a symmetry means that certain \( q_i \) don’t appear. In that case the rate of change of one of the generalized momenta is zero
\begin{equation}\label{eqn:qmLecture11:40}
\ddt{p_k} = – \PD{q_k}{H} = 0,
\end{equation}
so \( p_k \) is a constant of motion. This simplifies the problem by reducing the number of degrees of freedom. Another aspect of such a symmetry is that it \underline{relates trajectories}. For example, assuming a rotational symmetry as in fig. 1.
the trajectory of a particle after rotation is related by rotation to the trajectory of the unrotated particle.
Suppose that we have a symmetry operation that takes states from
\begin{equation}\label{eqn:qmLecture11:60}
\ket{\psi} \rightarrow \ket{U \psi}
\end{equation}
\begin{equation}\label{eqn:qmLecture11:80}
\ket{\phi} \rightarrow \ket{U \phi},
\end{equation}
we expect that
\begin{equation}\label{eqn:qmLecture11:100}
\Abs{\braket{ \psi}{\phi} }^2 = \Abs{\braket{ U\psi}{ U\phi} }^2.
\end{equation}
This won’t hold true for a general operator. Two cases where this does hold true is when
\begin{equation}\label{eqn:qmLecture11:120}
\braket{ U\psi}{ U\phi} = \bra{ \psi} U^\dagger U { \phi} = \bra{ \psi} 1 { \phi} = \braket{\psi}{\phi}.
\end{equation}
If an “observable” is not changed by a unitary operation representing a symmetry we must have
\begin{equation}\label{eqn:qmLecture11:140}
\bra{\psi} \hat{A} \ket{\psi}
\rightarrow
\bra{U \psi} \hat{A} \ket{U \psi}
=
\bra{\psi} U^\dagger \hat{A} U \ket{\psi},
\end{equation}
so
\begin{equation}\label{eqn:qmLecture11:160}
U^\dagger \hat{A} U = \hat{A},
\end{equation}
or
\begin{equation}\label{eqn:qmLecture11:180}
\boxed{
\hat{A} U = U \hat{A}.
}
\end{equation}
An observable that is unchanged by a unitary symmetry commutes \( \antisymmetric{\hat{A}}{U} \) with the operator \( U \) for that transformation.
Given
\begin{equation}\label{eqn:qmLecture11:200}
\antisymmetric{H}{U} = 0,
\end{equation}
\( H \) is invariant.
Given
\begin{equation}\label{eqn:qmLecture11:220}
H \ket{\phi_n} = \epsilon_n \ket{\phi_n} .
\end{equation}
\begin{equation}\label{eqn:qmLecture11:240}
\begin{aligned}
U H \ket{\phi_n}
&= H U \ket{\phi_n} \\
&= \epsilon_n U \ket{\phi_n}
\end{aligned}
\end{equation}
Such a state
\begin{equation}\label{eqn:qmLecture11:260}
\ket{\psi_n} = U \ket{\phi_n}
\end{equation}
is also an eigenstate with the \underline{same} energy.
Suppose this process is repeated, finding other states
\begin{equation}\label{eqn:qmLecture11:280}
U \ket{\psi_n} = \ket{\chi_n}
\end{equation}
\begin{equation}\label{eqn:qmLecture11:300}
U \ket{\chi_n} = \ket{\alpha_n}
\end{equation}
Because such a transformation only generates states with the initial energy, this process cannot continue forever. At some point this process will enumerate a fixed size set of states. These states can be orthonormalized.
We can say that symmetry operations are generators of a \underlineAndIndex{group}. For a set of symmetry operations we can
\begin{equation}\label{eqn:qmLecture11:320}
U_1 U_2 = U_3
\end{equation}
When \( H \) has a symmetry, then degenerate eigenstates form \underlineAndIndex{irreducible} representations (which cannot be further block diagonalized).
{example:qmLecture11:1}
Given a state and a parity operation \( \hat{\Pi} \), with the transformation
\begin{equation}\label{eqn:qmLecture11:380}
\ket{\psi} \rightarrow \hat{\Pi} \ket{\psi}
\end{equation}
In one dimension, the parity operation is just inversion. In two dimensions, this is a set of flipping operations on two axes fig. 2.
The operational effects of this operator are
\begin{equation}\label{eqn:qmLecture11:400}
\begin{aligned}
\hat{x} &\rightarrow – \hat{x} \\
\hat{p} &\rightarrow – \hat{p}.
\end{aligned}
\end{equation}
Acting again with the parity operator produces the original value, so it is its own inverse, and \( \hat{\Pi}^\dagger = \hat{\Pi} = \hat{\Pi}^{-1} \). In an expectation value
\begin{equation}\label{eqn:qmLecture11:420}
\bra{ \hat{\Pi} \psi } \hat{x} \ket{ \hat{\Pi} \psi } = – \bra{\psi} \hat{x} \ket{\psi}.
\end{equation}
This means that
\begin{equation}\label{eqn:qmLecture11:440}
\hat{\Pi}^\dagger \hat{x} \hat{\Pi} = – \hat{x},
\end{equation}
or
\begin{equation}\label{eqn:qmLecture11:460}
\hat{x} \hat{\Pi} = – \hat{\Pi} \hat{x},
\end{equation}
\begin{equation}\label{eqn:qmLecture11:480}
\begin{aligned}
\hat{x} \hat{\Pi} \ket{x_0}
&= – \hat{\Pi} \hat{x} \ket{x_0} \\
&= – \hat{\Pi} x_0 \ket{x_0} \\
&= – x_0 \hat{\Pi} \ket{x_0}
\end{aligned}
\end{equation}
so
\begin{equation}\label{eqn:qmLecture11:500}
\hat{\Pi} \ket{x_0} = \ket{-x_0}.
\end{equation}
Acting on a wave function
\begin{equation}\label{eqn:qmLecture11:520}
\begin{aligned}
\bra{x} \hat{\Pi} \ket{\psi}
&=
\braket{-x}{\psi} \\
&= \psi(-x).
\end{aligned}
\end{equation}
What does this mean for eigenfunctions. Eigenfunctions are supposed to form irreducible representations of the group. The group has just two elements
\begin{equation}\label{eqn:qmLecture11:540}
\setlr{ 1, \hat{\Pi} },
\end{equation}
where \( \hat{\Pi}^2 = 1 \).
Suppose we have a Hamiltonian
\begin{equation}\label{eqn:qmLecture11:560}
H = \frac{\hat{p}^2}{2m} + V(\hat{x}),
\end{equation}
where \( V(\hat{x}) \) is even ( \( \antisymmetric{V(\hat{x})}{\hat{\Pi} } = 0 \) ). The squared momentum commutes with the parity operator
\begin{equation}\label{eqn:qmLecture11:580}
\begin{aligned}
\antisymmetric{\hat{p}^2}{\hat{\Pi}}
&=
\hat{p}^2 \hat{\Pi}
– \hat{\Pi} \hat{p}^2 \\
&=
\hat{p}^2 \hat{\Pi}
– (\hat{\Pi} \hat{p}) \hat{p} \\
&=
\hat{p}^2 \hat{\Pi}
-(- \hat{p} \hat{\Pi}) \hat{p} \\
&=
\hat{p}^2 \hat{\Pi}
+ \hat{p} (-\hat{p} \hat{\Pi}) \\
&=
0.
\end{aligned}
\end{equation}
Only two functions are possible in the symmetry set \( \setlr{ \Psi(x), \hat{\Pi} \Psi(x) } \), since
\begin{equation}\label{eqn:qmLecture11:600}
\begin{aligned}
\hat{\Pi}^2 \Psi(x)
&= \hat{\Pi} \Psi(-x) \\
&= \Psi(x).
\end{aligned}
\end{equation}
This symmetry severely restricts the possible solutions, making it so there can be only one dimensional forms of this problem with solutions that are either even or odd respectively
\begin{equation}\label{eqn:qmLecture11:620}
\begin{aligned}
\phi_e(x) &= \psi(x ) + \psi(-x) \\
\phi_o(x) &= \psi(x ) – \psi(-x).
\end{aligned}
\end{equation}
[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.
October 2, 2015 phy1520 No comments phy1520, Quantum Mechanics
I’ve posted a first update of my aggregate notes for PHY1520H Graduate Quantum Mechanics, taught by Prof. Arun Paramekanti. This includes lecture notes up to lecture 5, my ungraded solutions for the first problem set, and a number of worked problems from chapter 1 and 2 of Sakurai done as review preparation for the course (since I hadn’t done QM since 2011).
Most of the content was posted individually in the following locations. Bug fixes and enhancements to the original documents will only be made in the aggregate notes.
September 17, 2015 phy1520 No comments bra, classical mechanics, delta function, ket, matrix element, momentum basis, natural units, phase space, position basis, position representation of momentum, probability, probability amplitude, probability density function, Quantum Mechanics, time evolution
[Click here for a PDF of this post with nicer formatting]
Peeter’s lecture notes from class. These may be incoherent and rough.
These are notes for the UofT course PHY1520, Graduate Quantum Mechanics, taught by Prof. Paramekanti, covering [1] chap. 1 content.
We’ll be talking about one body physics for most of this course. In classical mechanics we can figure out the particle trajectories using both of \( (\Br, \Bp \), where
\begin{equation}\label{eqn:qmLecture1:20}
\begin{aligned}
\ddt{\Br} &= \inv{m} \Bp \\
\ddt{\Bp} &= \spacegrad V
\end{aligned}
\end{equation}
A two dimensional phase space as sketched in fig. 1 shows the trajectory of a point particle subject to some equations of motion
For this lecture, we’ll work with natural units, setting
\begin{equation}\label{eqn:qmLecture1:480}
\boxed{
\Hbar = 1.
}
\end{equation}
In QM we are no longer allowed to think of position and momentum, but have to start asking about state vectors \( \ket{\Psi} \).
We’ll consider the state vector with respect to some basis, for example, in a position basis, we write
\begin{equation}\label{eqn:qmLecture1:40}
\braket{ x }{\Psi } = \Psi(x),
\end{equation}
a complex numbered “wave function”, the probability amplitude for a particle in \( \ket{\Psi} \) to be in the vicinity of \( x \).
We could also consider the state in a momentum basis
\begin{equation}\label{eqn:qmLecture1:60}
\braket{ p }{\Psi } = \Psi(p),
\end{equation}
a probability amplitude with respect to momentum \( p \).
More precisely,
\begin{equation}\label{eqn:qmLecture1:80}
\Abs{\Psi(x)}^2 dx \ge 0
\end{equation}
is the probability of finding the particle in the range \( (x, x + dx ) \). To have meaning as a probability, we require
\begin{equation}\label{eqn:qmLecture1:100}
\int_{-\infty}^\infty \Abs{\Psi(x)}^2 dx = 1.
\end{equation}
The average position can be calculated using this probability density function. For example
\begin{equation}\label{eqn:qmLecture1:120}
\expectation{x} = \int_{-\infty}^\infty \Abs{\Psi(x)}^2 x dx,
\end{equation}
or
\begin{equation}\label{eqn:qmLecture1:140}
\expectation{f(x)} = \int_{-\infty}^\infty \Abs{\Psi(x)}^2 f(x) dx.
\end{equation}
Similarly, calculation of an average of a function of momentum can be expressed as
\begin{equation}\label{eqn:qmLecture1:160}
\expectation{f(p)} = \int_{-\infty}^\infty \Abs{\Psi(p)}^2 f(p) dp.
\end{equation}
We have a problem, if we which to compute an average in momentum space such as \( \expectation{p} \), when given a wavefunction \( \Psi(x) \).
How do we convert
\begin{equation}\label{eqn:qmLecture1:180}
\Psi(p)
\stackrel{?}{\leftrightarrow}
\Psi(x),
\end{equation}
or equivalently
\begin{equation}\label{eqn:qmLecture1:200}
\braket{p}{\Psi}
\stackrel{?}{\leftrightarrow}
\braket{x}{\Psi}.
\end{equation}
Such a conversion can be performed by virtue of an the assumption that we have a complete orthonormal basis, for which we can introduce identity operations such as
\begin{equation}\label{eqn:qmLecture1:220}
\int_{-\infty}^\infty dp \ket{p}\bra{p} = 1,
\end{equation}
or
\begin{equation}\label{eqn:qmLecture1:240}
\int_{-\infty}^\infty dx \ket{x}\bra{x} = 1
\end{equation}
Some interpretations:
The delta function interpretation of the braket \( \braket{p}{p’} \) justifies the identity operator, since we recover any state in the basis when operating with it. For example, in momentum space
\begin{equation}\label{eqn:qmLecture1:260}
\begin{aligned}
1 \ket{p}
&=
\lr{ \int_{-\infty}^\infty dp’
\ket{p’}\bra{p’} }
\ket{p} \\
&=
\int_{-\infty}^\infty dp’
\ket{p’}
\braket{p’}{p} \\
&=
\int_{-\infty}^\infty dp’
\ket{p’}
\delta(p – p’) \\
&=
\ket{p}.
\end{aligned}
\end{equation}
This also the determination of an integral operator representation for the delta function
\begin{equation}\label{eqn:qmLecture1:500}
\begin{aligned}
\delta(x – x’)
&=
\braket{x}{x’} \\
&=
\int dp \braket{x}{p} \braket{p}{x’} \\
&=
\inv{V} \int dp e^{i p x} e^{-i p x’},
\end{aligned}
\end{equation}
or
\begin{equation}\label{eqn:qmLecture1:520}
\delta(x – x’)
=
\inv{V} \int dp e^{i p (x- x’)}.
\end{equation}
Here we used the fact that \( \braket{p}{x} = \braket{x}{p}^\conj \).
FIXME: do we have a justification for that conjugation with what was defined here so far?
The conversion from a position basis to momentum space is now possible
\begin{equation}\label{eqn:qmLecture1:280}
\begin{aligned}
\braket{p}{\Psi}
&= \Psi(p) \\
&= \int_{-\infty}^\infty \braket{p}{x} \braket{x}{\Psi} dx \\
&= \int_{-\infty}^\infty \frac{e^{-ip x}}{\sqrt{V}} \Psi(x) dx.
\end{aligned}
\end{equation}
The momentum space to position space conversion can be written as
\begin{equation}\label{eqn:qmLecture1:300}
\Psi(x)
= \int_{-\infty}^\infty \frac{e^{ip x}}{\sqrt{V}} \Psi(p) dp.
\end{equation}
Now we can go back and figure out the an expectation
\begin{equation}\label{eqn:qmLecture1:320}
\begin{aligned}
\expectation{p}
&=
\int \Psi^\conj(p) \Psi(p) p d p \\
&=
\int dp
\lr{
\int_{-\infty}^\infty \frac{e^{ip x}}{\sqrt{V}} \Psi^\conj(x) dx
}
\lr{
\int_{-\infty}^\infty \frac{e^{-ip x’}}{\sqrt{V}} \Psi(x’) dx’
}
p \\
&=\int dp dx dx’
\Psi^\conj(x)
\inv{V} e^{ip (x-x’)} \Psi(x’) p \\
&=
\int dp dx dx’
\Psi^\conj(x)
\inv{V} \lr{ -i\PD{x}{e^{ip (x-x’)}} }\Psi(x’) \\
&=
\int dp dx
\Psi^\conj(x) \lr{ -i \PD{x}{} }
\inv{V} \int dx’ e^{ip (x-x’)} \Psi(x’) \\
&=
\int dx
\Psi^\conj(x) \lr{ -i \PD{x}{} }
\int dx’ \lr{ \inv{V} \int dp e^{ip (x-x’)} } \Psi(x’) \\
&=
\int dx
\Psi^\conj(x) \lr{ -i \PD{x}{} }
\int dx’ \delta(x – x’) \Psi(x’) \\
&=
\int dx
\Psi^\conj(x) \lr{ -i \PD{x}{} }
\Psi(x)
\end{aligned}
\end{equation}
Here we’ve essentially calculated the position space representation of the momentum operator, allowing identifications of the following form
\begin{equation}\label{eqn:qmLecture1:380}
p \leftrightarrow -i \PD{x}{}
\end{equation}
\begin{equation}\label{eqn:qmLecture1:400}
p^2 \leftrightarrow – \PDSq{x}{}.
\end{equation}
Most of the above results followed from the claim that \( \braket{x}{p} = e^{i p x} \). Note that this position space representation of the momentum operator can also be taken as the starting point. Given that, the exponential representation of the position-momentum braket follows
\begin{equation}\label{eqn:qmLecture1:540}
\bra{x} P \ket{p}
=
-i \Hbar \PD{x}{} \braket{x}{p},
\end{equation}
but \( \bra{x} P \ket{p} = p \braket{x}{p} \), providing a differential equation for \( \braket{x}{p} \)
\begin{equation}\label{eqn:qmLecture1:560}
p \braket{x}{p} = -i \Hbar \PD{x}{} \braket{x}{p},
\end{equation}
with solution
\begin{equation}\label{eqn:qmLecture1:580}
i p x/\Hbar = \ln \braket{x}{p} + \text{const},
\end{equation}
or
\begin{equation}\label{eqn:qmLecture1:600}
\braket{x}{p} \propto e^{i p x/\Hbar}.
\end{equation}
\begin{equation}\label{eqn:qmLecture1:420}
\hat{p} \ket{\Psi} \rightarrow \ket{\Psi’}
\end{equation}
For a state subject to the equations of motion given by the Hamiltonian operator \( \hat{H} \)
\begin{equation}\label{eqn:qmLecture1:440}
i \PD{t}{} \ket{\Psi} = \hat{H} \ket{\Psi},
\end{equation}
the time evolution is given by
\begin{equation}\label{eqn:qmLecture1:460}
\ket{\Psi(t)} = e^{-i \hat{H} t} \ket{\Psi(0)}.
\end{equation}
We’ll need to introduce the concept of Density matrices. This will bring us to concepts like entanglement.
[1] Jun John Sakurai and Jim J Napolitano. Modern quantum mechanics. Pearson Higher Ed, 2014.
February 12, 2015 math and physics play No comments acceleration expectation, adjoint Dirac, angular momentum, angular momentum operator, boost, bra, braket, Cauchy-Schwartz identity, center of mass, commutator, continuous eigenvalues, continuous eigenvectors, density matrix, determinant, Dirac delta, displacement operator, eigenvalue, eigenvector, ensemble average, expectation, exponential, exponential sandwich, Feynman-Hellman relation, gauge invariance, generator rotation, Hamiltonian commutator, Hankel function, Harmonic oscillator, Hermitian, hydrogen atom, identity, infinitesimal rotation, ket, Kronecker delta, L^2, Laguerre polynomial, Laplacian, lowering, lowering operator, LxL, momentum operator, number operator, one spin, operator, outcome, outer product, phy356, position operator, position operator Heisenberg picture, probability, probability density, Quantum Mechanics, radial differential operator, radial directional derivative operator, raising, raising operator, Schwarz inequality, spectral decomposition, spherical harmonics, spherical identity, spherical polar coordinates, spin 1/2, spin matrix Pauli, spin up, step well, time evolution spin, trace, uncertainty principle, uncertainty relation, Unitary, unitary operator, Virial Theorem, Y_lm
It’s been a long time since I took QM I. My notes from that class were pretty rough, but I’ve cleaned them up a bit.
The main value to these notes is that I worked a number of introductory Quantum Mechanics problems.
These were my personal lecture notes for the Fall 2010, University of Toronto Quantum mechanics I course (PHY356H1F), taught by Prof. Vatche Deyirmenjian.
The official description of this course was:
The general structure of wave mechanics; eigenfunctions and eigenvalues; operators; orbital angular momentum; spherical harmonics; central potential; separation of variables, hydrogen atom; Dirac notation; operator methods; harmonic oscillator and spin.
This document contains a few things
• My lecture notes.
Typos, if any, are probably mine(Peeter), and no claim nor attempt of spelling or grammar correctness will be made. The first four lectures had chosen not to take notes for since they followed the text very closely.
• Notes from reading of the text. This includes observations, notes on what seem like errors, and some solved problems. None of these problems have been graded. Note that my informal errata sheet for the text has been separated out from this document.
• Some assigned problems. I have corrected some the errors after receiving grading feedback, and where I have not done so I at least recorded some of the grading comments as a reference.
• Some worked problems associated with exam preparation.