* 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