* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Representation Theory: Applications in Quantum Mechanics
Coherent states wikipedia , lookup
Measurement in quantum mechanics wikipedia , lookup
Quantum electrodynamics wikipedia , lookup
Quantum teleportation wikipedia , lookup
Quantum machine learning wikipedia , lookup
Perturbation theory wikipedia , lookup
Renormalization group wikipedia , lookup
Hydrogen atom wikipedia , lookup
Renormalization wikipedia , lookup
Quantum key distribution wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Quantum field theory wikipedia , lookup
Copenhagen interpretation wikipedia , lookup
Quantum chromodynamics wikipedia , lookup
Many-worlds interpretation wikipedia , lookup
Bell's theorem wikipedia , lookup
Quantum state wikipedia , lookup
Orchestrated objective reduction wikipedia , lookup
Path integral formulation wikipedia , lookup
Topological quantum field theory wikipedia , lookup
EPR paradox wikipedia , lookup
History of quantum field theory wikipedia , lookup
Interpretations of quantum mechanics wikipedia , lookup
Scalar field theory wikipedia , lookup
Quantum group wikipedia , lookup
Canonical quantization wikipedia , lookup
Representation Theory:
Tackling Problems in Quantum Mechanics
KRISTINA CHANG
PROJECT ADVISOR: RAMIN NAIMI
SENIOR COMPREHENSIVE IN MATHEMATICS, SPRING 2016
Meet the wavefunction
wavefunction ๐ ๐, ๐ก
1) Wavefunctions are solutions toโฆ
t-dependent Schrodinger Eq:
๐ฏ ฿ฐ(r,t)=๐โ
๐
๐
๐๐ก
where ๐ฏ is the Hamiltonian Operator:
๐ซ, t
H=T+V
2) Stationary states (special ๐โs) are solutions toโฆ
t-independent Schrodinger Eq:
where E is a constant
๐ฏ ๐ ๐ = ๐ธ๐ ๐
Symmetry?
GOAL: Solve for ๐ in cases were H has intrinsic symmetry using Representation Theory.
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
2
Roadmap
Roadmap
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
3
Representing a mathematical entity A with a
mathematical entity B.
What is a
representation?
Group
A
(H)
Matrices
B
Why is this useful?
โขTranslate problems in QM involving H (symmetrygroup) into a linear algebra
4
What is a representation?
Def. A representation of a group G is a group homomorphism ฯ: G โ GL(n,C).
Group homomorphism:
ฯ(g1 g2) = ฯ(g1) ฯ(g2)
g1
g2
g3
ฯ
๐ ๐
๐ ๐
๐ ๐
๐ ๐
G
KRISTINA CHANG
โฆ
๐
๐
๐
๐
GL(2,C)
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
5
What groups can we represent?
Symmetry group:
The symmetry of an object can be classified by a set of โactionsโ โ symmetry operations โ which
preserve its position, shape, and orientation.
y
2
CC44CC4
Composition of rotations forms a closed group.
4
1
2
x
4
KRISTINA CHANG
Notation:
โฆ ๐๐ง
rotate by ๐
/n
โฆ ( Cn )m = ๐๐ง๐ฆ rotate by (๐
/n), m times
3
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
6
What groups can we represent?
Considerโฆ
< Cn > = {Cn0 , Cn1 , โฆ , Cnnโ1 }
y
โPure Rotation Groupsโ ๏ Cyclic!!!
1
2
How can we represent < Cn > with matrices?
x
Rotations are linear transformations!
Rฮธ โ
๐๐๐ ๐
๐ ๐๐ ๐
4
โ ๐ ๐๐ ๐
๐๐๐ ๐
3
Intuitive representation: Let ฯ: <C4> โ GL(2,C) be given by
๐ถ4๐ โ
KRISTINA CHANG
๐๐๐ ๐๐
๐ ๐๐ ๐๐
โ ๐ ๐๐ ๐๐
๐๐๐ ๐๐
where ๐๐ = m ๐/4
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
7
At this point, we have
1) seen a formal definition of a representation
Irreducible
representations
2) explored one intuitive way to construct a
representation
We will soon introduce reducibility (a property of a
representation).
But firstโฆ weโll need a few important concepts:
๏ง New notation
๏งWays to generate new repโs from old ones
8
Sizes
and
Sums
A note about
notation:
Suppose G = { g1, g2, g3, โฆ, gn }, and let ฯ be a representation of G.
We will often refer to ฯ by the image set of ฯ:
{ ฮโ | โ =1, 2, โฆ, n }
where ฮi = ฯ(gi) for all i.
For convenience, we will abbreviate โ { ฮโ } โ
Remember:
{ ฮโ } =
๐ ๐
,
๐ ๐
KRISTINA CHANG
๐ ๐
,
๐ ๐
โฆ,
REPRESENTATION THEORY IN QUANTUM MECHANICS
๐ ๐
๐ ๐
SPRING 2016
9
Let a representation ฯ of G be given by ฯ: G โ GL(n,C).
Sizes
Sums
Def 1. The and
dimensionality
of the representation ฯ is n.
Suppose
โ: G โ GL(n,C) and
{ [โ (๐1 )],
[โ (๐2 )], โฆ, [โ (๐ ๐บ )] }
Def.
ฮฒ: G โ GL(m,C) are representations of G.
{ [ฮฒ(๐1 )],
[ฮฒ(๐2 )], โฆ, [ฮฒ(๐ ๐บ )] }
The direct sum of โ and ฮฒ is the homomorphism โโฮฒ: G โ GL(n+m,C) given by (โโฮฒ)(g) =
[โ (๐)]
00
โ g ๐โ๐บ G
[โ (๐1 )] (โโฮฒ)(g)
0
[โ
๐2 ]
=
for
all
,
, โฆ,
0
[ฮฒ(๐)]
0
[ฮฒ(๐1 )]
0
[ฮฒ(๐2 )]
0
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
0
ฮฒ ๐๐บ
SPRING 2016
10
Reducibility
Th. Suppose ฯ: G โ GL(n,C) is a representation of G.
If ฯ = โโฮฒ, for some functions โ and ฮฒ, then โ and ฮฒ are themselves
representations of G.
Def. us
If there
matrix P such that for all g in G,
Leads
to ideaisofsome
reducibility:
-1
ฯ(g)sum
= P ofโ(g)โฮฒ(g)
P
Rep ฯ can be decomposed into a direct
lower-dimensional
repโs โ and ฮฒ
for some nontrivial functions โ and ฮฒ, then ฯ is a reducible representation of G.
Else, ฯ is an irreducible representation of G.
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
11
Practice using def. of irreducibility:
Reducibility
All 1-dimensional representations of a group are irreducible.
Th.
โProof.โ
There are no representations with a dimension less than 1.
๏ 1-dimensional representation can never be decomposed as a direct sum
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
12
Consequences of Irreducibility
Groups have a complete set of irreducible representations.
(basis for reducible representations)
Linear algebra applied to the def. of irreducibilityโฆ
Great Orthogonality Theorem - stringent criteria on irreducible repโs
๏ Allows us to derive a complete set of all irreducible representations for most common
symmetry groupsโฆ
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
13
Irreducible representations for < ๐ถ๐ >
where ๐ = ๐ 2๐๐/๐
Complete Table of Irreducible Repโs
Matrices in
the image
set of the
irr. rep.
KRISTINA CHANG
๐ธ
๐ถ๐
ฮ1
ฮ2
1
1
1
๐ถ๐ 2
1
๐
๐2
โฆ
โฆ
โฎ
ฮ๐
โฎ
1
๐๐โ1
๐๐โ2
โฆ
REPRESENTATION THEORY IN QUANTUM MECHANICS
โฆ
๐ถ๐ ๐โ1
1
Elements of group
๐๐โ1
2
(๐โ1)
๐
SPRING 2016
14
So farโฆ
Quantum
Mechanics
โข We showed how a symmetry group can be
represented using matrices
โข Presented a complete set of irreducible
representations for cyclic groups
Whatโs this got to do with Quantum Mechanics?
Recall:
We want to utilize symmetries in H to make solving for
๐ โฒ ๐ easier. (Hint: H belongs to a symmetry group!)
15
Group of the Hamiltonian
The Symmetry of the Hamiltonian
Suppose R is an operation under which H is invariant:
R-1 H R = H
Eq. 6.2
If R satisfies Eq. 6.2, we say that R is a symmetry operation of the Hamiltonian H.
The Group of the Hamiltonian
Th.
The set of all symmetry operations {๐น๐ถ } of a Hamiltonian forms a group.
This means we can represent {๐น๐ถ } !
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
16
Time-independent SE:
H๐=E๐
The Schrödinger Equations
โข Eigenvalue equation!
eigenvalue E, eigenfunction ๐ ๐
Properties: (parallels to Linear Algebra!)
1) Distinct Eโs have orthogonal ๐โs
2) E may have multiple orthogonal ๐โs.
If E does not have multiple orthogonal ๐โs, then E is non-degenerate.
If E has exactly n distinct eigenfunctions, E is n-degenerate.
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
17
We are now almost ready to prove โThe Bridging
Theorem:โ
โThe Bridging
Theoremโ
Representation
Theory
Quantum
Mechanics
But first, we need a few lemmasโฆ
18
Lemmas
Lemma 1. Symmetry operations generate eigenfunctions.
Suppose H ๐ = E๐.
If ๐
๐ is a symmetry operation of H, then
H (๐
๐ ๐) = E (๐
๐ ๐)
Lemma 2. Symmetry operations phase shift ๐ for non-degenerate E.
Suppose E is non-degenerate, then
๐
๐ ๐ = ๐ ๐๐๐ผ ๐
KRISTINA CHANG
for some complex number ๐ ๐๐๐ผ .
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
19
The โBridging Theoremโ:
non-degenerate case
Hamiltonian eigenfunctions form a basis for irreducible representations.
๏ง Suppose {๐น๐ถ } is the group of the Hamiltonian H.
๏ง Suppose H๐= E๐, where E is non-degenerate. (We will consider the
degenerate case separately)
๏ง Consider the set of complex numbers
{ ๐ ๐๐๐ผ | ๐
๐ผ ๐ = ๐๐ ๐๐๐ผ where ๐
๐ผ is a symmetry op.}
Th 6.3a.
KRISTINA CHANG
{ ๐๐๐ฝ๐ถ }
{ ๐๐๐ฝ๐ถ } is an irreducible representation of ๐น๐ถ .
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
20
Hamiltonian eigenfunctions form a basis for irreducible representations.
{ ๐๐๐ฝ } is an
irreducible representation of
The โBridging
Theoremโ
Th 6.3a.
๐ถ
๐น๐ถ .
Proof. ๐: {๐
๐ผ } โ GL(1,C),
๐ ๐
๐ผ = ๐ ๐๐๐ผ where ๐
๐ผ ๐ = ๐๐ ๐๐๐ผ .
Show ๐ is a homomorphism.
By defโฆ
๐(๐
๐ ๐
๐ ) ๐ = ๐ ๐๐๐๐ ๐ = ๐
๐ ๐
๐ ๐ = ๐
๐ ๐ ๐๐๐ ๐ = ๐ ๐๐๐ ๐ ๐๐๐ ๐ = ๐(๐
๐ )๐(๐
๐ )๐
Since, ๐(๐
๐ ๐
๐ ) = ๐(๐
๐ )๐(๐
๐ ), the image set { ๐๐๐ฝ๐ถ } is a representation.
Since it is 1-dimensional, it is irreducible.
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
21
The โBridging Theoremโ:
degenerate case
Suppose H๐ = E๐, and that E is n-degenerate.
Let {Rโ} be the group of the Hamiltonian H.
Consider the set of eigenfunctions { Ra ๐ | Raโ {Rโ} } of E.
Def. If { Ra ๐ | Ra โ {Rโ} } contains all n distinct eigenfunctions of E, then its
eigenfunctions are said to be normal degenerate.
Repeated application of Ra on ๐ ๏จ complete set of normal degenerate ๐โs
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
22
The โBridging Theoremโ:
degenerate case
๏ง Suppose {๐น๐ถ } is the group of the Hamiltonian H.
๏ง Suppose E is an eigenvalue of H with n normal degenerate eigenfunctions
๐ = (ฯ1 , ฯ2 , โฆ , ฯ๐ ).
๏ง For a given symmetry operation ๐
๐ โฆ
Let ฮ ๐
๐ be the nxn matrix which satisfies
๐
๐ ๐ = ๐ ฮ ๐
๐
Th 6.3b. The set of nxn matrices { ๐ช ๐น๐ถ } is an n-dimensional
irreducible representation of {๐น๐ถ }.
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
23
The โBridging Theoremโ
Th 6.3b. The set of nxn matrices { ๐ช ๐น๐ถ } is an n-dimensional irreducible
representation of {๐น๐ถ }.
Proof.
(i) Show that { ๐ ๐น๐ถ } is a representation.
Show ฮ R ๐ R ๐ = ฮ R ๐ ฮ R ๐ .
Recall def. of ๐ช:
๐น๐ ๐ = ๐ ๐ช ๐น๐
๐ ฮ R๐ R๐ = R ๐ R๐ ๐ = R ๐ ๐ ฮ R๐ = ๐ ฮ R๐ ฮ R๐ .
Since the matrices in { ฮ R ๐ผ } are all nxn, { ฮ R ๐ผ } is an n-dimensional representation.
(ii) Show that { ๐ ๐น๐ถ } is irreducible.
(given)
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
24
In Summaryโฆ
Application of
Representation
Theory
Normal degenerate families of eigenfunctions ๐
โinteractโ with the group of the Hamiltonian {๐น๐ถ }
to generate irreducible repโs { ๐ช ๐น๐ถ } .
We will use this result to derive Blochโs Th:
๏ form of eigenfunctions for electrons in a crystal
1. find group of the Hamiltonian {๐น๐ถ }
2. already know irreducible repโs { ๐ช ๐น๐ถ }
3. decide what eigenfunctions ๐ must look like
25
1-D crystal
1-D lattice of positive ions
V(x)
+
a
+
+
+
x
N ions in the unit cell spaced a distance a apart
โBuild crystalโ by applying periodic boundary condition ๏ N discrete symmetries
Now, H is symmetric under any operator ๐
๐ such that
๐
๐ ๐ ๐ฅ = ๐ ๐ฅ + ๐ , and (๐
๐ )๐ = ๐
0 = ๐ธ
< ๐น๐ > = group of the Hamiltonian
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
26
Blochโs Theorem: 1-D
What are the irreducible representations of < ๐
๐ > ?
Recall: For a cyclic group < ๐น๐ > of order Nโฆ
where ๐ = ๐ 2๐๐/๐
Table of Irreducible repโs of < ๐น๐ >
๐ธ
๐
๐
ฮ1
ฮ2
1
1
1
๐
๐ 2
1
๐
๐2
โฆ
โฆ
โฎ
ฮ๐
โฎ
1
๐๐โ1
๐๐โ2
โฆ
KRISTINA CHANG
โฆ
REPRESENTATION THEORY IN QUANTUM MECHANICS
๐
๐ ๐โ1
1
๐๐โ1
๐
(๐โ1)2
SPRING 2016
27
Blochโs Theorem: 1-D
Recall: (๐
๐ )๐ ๐ ๐ฅ = ๐ ๐ฅ + ๐๐
What does ๐๐ ๐ look like?
Suppose ๐๐ is the eigenfunction which generates { ฮ๐ }.
Then ๐
๐ ๐๐ ๐ฅ = ๐๐ ๐ฅ ฮ๐ ๐
๐ = ๐๐ ๐ฅ ๐๐โ1 . We know ๐
๐ ๐๐ ๐ฅ = ๐๐ ๐ฅ + ๐ ,
So,
๐๐ ๐ฅ ๐๐โ1 = ๐๐ ๐ฅ + ๐ .
Then,
|๐๐ ๐ฅ + ๐ |2 = |๐๐ ๐ฅ ๐๐โ1 |2 = |๐๐ ๐ฅ |2
Eq. 6.5
General solution to Eq. 6.5:
๐๐ ๐ฅ = ๐ ๐๐๐ (๐ฅ) ๐ข๐ ๐ฅ
Phase function
๐ ๐๐๐ (๐ฅ)
Periodic function ๐ข๐ ๐ฅ = ๐ข๐ ๐ฅ + ๐
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
28
Blochโs Theorem: 1-D
๐๐ ๐ฅ = ๐ ๐๐๐ (๐ฅ) ๐ข๐ ๐ฅ
General solution:
Now apply boundary conditions to ๐๐ ๐ฅ โฆ
๐
๐ ๐ ๐๐ ๐ฅ
= ๐๐ ๐ฅ + ๐๐ = ๐๐ ๐ฅ ๐ ๐(๐โ1) ,
โ ๐ ๐๐๐ (๐ฅ+๐๐) ๐ข๐ ๐ฅ + ๐๐ = ๐ ๐๐๐ (๐ฅ) ๐ข๐ ๐ฅ ๐ ๐(๐โ1)
โ ๐ ๐๐๐ (๐ฅ+๐๐) ๐ข๐ ๐ฅ = ๐ ๐๐๐ (๐ฅ) ๐ข๐ ๐ฅ ๐ ๐(๐โ1)
โ ๐ ๐๐๐ (๐ฅ+๐๐) = ๐ ๐๐๐ (๐ฅ) ๐ ๐(๐โ1)
โ
๐ ๐๐๐ (๐ฅ+๐๐)
=
๐ ๐๐๐ (๐ฅ)
๐
2๐๐
๐
โ ๐ฝ๐ ๐ + ๐๐ = ๐ฝ๐ ๐ +
KRISTINA CHANG
๐(๐โ1)
๐๐
๐ต
๐(๐ โ ๐)
REPRESENTATION THEORY IN QUANTUM MECHANICS
condition on ๐ฝ๐ (๐)
SPRING 2016
29
Blochโs Theorem: 1-D
Given: ๐๐ ๐ฅ = ๐ต + ๐๐ ๐ฅ ,
๐๐ =
2๐
๐๐
๐ โ 1 , some constant B
Substitute ๐๐ ๐ฅ into general solution for ๐๐ ๐ฅ :
๐๐ ๐ฅ = ๐ ๐๐๐ (๐ฅ) ๐ข๐ ๐ฅ
= ๐ ๐(๐ต+๐๐ ๐ฅ) ๐ข๐ ๐ฅ
= ๐ ๐๐๐ ๐ฅ ๐ข๐ ๐ฅ
Bloch functions
๐๐ ๐ = ๐๐๐๐ ๐ ๐๐ ๐
The eigenstates of a 1-D crystal lattice (periodic function modulated by a plane wave)
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
30
Representation Theory:
We showed that symmetry groups can be represented by
matrices.
Cyclic groups have special sets of irreducible representations.
Summary
Quantum Mechanics:
Hamiltonian belong to symmetry groups.
We can map eigenfunctions (wavefunctions) to irreducible
representations in the Hamiltonian.
This helps us to solve for eigenfunctions (wavefunctions) of a
1-D crystal with only a knowledge of Hamiltonian symmetry.
31
Acknowledgements
Professor Naimi
Friends
Faculty
Professor Buckmire
All of you!
References
[1] Vedensky, Dimitri. โGroup Theory: Course Notesโ (2001).
http://www.cmth.ph.ic.ac.uk/people/d.vvedensky/courses.html
[2] Cotton, Albert. Chemical Applications of Group Theory (2003). John Wiley and Sons, Inc.
[3] Saracino, Dan. Abstract Algebra: A First Introduction (2008). Waveland Pr, Inc.
KRISTINA CHANG
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
33
Blochโs Theorem: 1-D
What does ๐๐ (๐ฅ) look like? We knowโฆ
๐ฝ๐ ๐ + ๐๐ = ๐ฝ๐ ๐ +
Cute trick:
๐๐
๐ต
๐ ๐โ๐
Eq. 6.10
If we hold x and n constant, ๐ฝ๐ looks like a linear function of m.
So ๐ฝ๐ is a linear function of am + ๐ฅ.
So we can write
๐ฝ๐ ๐ = ๐ฉ + ๐จ๐
๐๐ ๐ฅ = ๐ด am + ๐ฅ + ๐ต
๏ Substitute into Eq. 6.10:
๐ต + ๐ด ๐ฅ + ๐๐ = ๐ต + ๐ด๐ฅ +
Solve for A:
KRISTINA CHANG
๐ด=
2๐
๐๐
๐โ1
2๐
๐ ๐โ1
๐
= ๐๐
REPRESENTATION THEORY IN QUANTUM MECHANICS
SPRING 2016
34