Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

CRC Press eBooks

Matrix Aspects of Quantum Mechanics

F.J. Duarte

Published Oct 29, 2013• 0 citations
Publisher

Abstract

As mentioned in Chapter 1 , the Heisenberg matrix mechanics provides one of the three main avenues to quantum mechanics. This approach to quantum mechanics was disclosed in three papers authored by Heisenberg (1925) , Born and Jordan (1925) , and Born et al. (1926) . An iconic result from the Heisenberg–Born–Jordan contribution was the commutation rule ( 14.1 ) p q − q p = h 2 π i https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315216720/70121b16-f2c6-4331-b1ba-eecb806b93da/content/eq595.tif"/>

DOI
10.1201/b16055-14

Related papers

Commutation Rules and Uncertainty Relations

Steven A. Adelman

In this chapter, we develop results that will prove to be very important later. First, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0001.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0002.tif"/> are compatible , that is, if their Hermitian operator representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0003.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0004.tif"/> commute, then these representatives have a complete orthonormal set of common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0005.tif"/> which are the solutions of the simultaneous eigenvalue problem A ^ Ψ a n , b m ( r ) = a n Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0006.tif"/> and B ^ Ψ a n , b m ( r ) = b n Ψ a n , b m ( r ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0007.tif"/> Consequently, from the discussion at the end of Section 4.5 , when the system is in a quantum state specified by one of the common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0008.tif"/> , both A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0009.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0010.tif"/> have definite values, a n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0011.tif"/> for A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0012.tif"/> and b m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0013.tif"/> for B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0014.tif"/> In contrast, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0015.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0016.tif"/> are incompatible , that is, if their representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0279.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0017.tif"/> do not commute, then these representatives have few if any common eigenfunctions. As a consequence rarely if ever can one find quantum states for which two incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0018.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0019.tif"/> both have definite values rather than spreads of values. Therefore, two incompatible observables cannot (with rare exceptions) be simultaneously precisely measured. Rather, in analogy to the Heisenberg uncertainty relation Δ x Δ p x ≥ ℏ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0020.tif"/> which exists between the incompatible position and momentum observables, a Heisenberg uncertainty relation exists between any pair of incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0021.tif"/> and B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0022.tif"/>

CRC Press eBooks•May 31, 2021•0 citations

From matrix mechanics to quantum mechanics

Guido Bacciagaluppi, Antony Valentini

The report by Born and Heisenberg on ‘quantum mechanics’ may seem surprisingly difficult to the modern reader. This is partly because Born and Heisenberg are describing various stages of development of the theory that are quite different from today's quantum mechanics. Among these, it should be noted in particular that the theory developed by Heisenberg, Born and Jordan in the years 1925–6 and known today as matrix mechanics (Heisenberg 1925b [1], Born and Jordan 1925 [2], Born, Heisenberg and Jordan 1926 [4]) a differs from standard quantum mechanics in several important respects. At the same time, the interpretation of the theory (the topic of Section II of the report) also appears to have undergone important modifications, in particular regarding the notion of the state of a system. Initially, Born and Heisenberg insist on the notion that a system is always in a stationary state (performing quantum jumps between different stationary states). Then the notion of the wave function is introduced and related to probabilities for the stationary states. At a later stage, probabilistic notions (in particular, what one now calls transition probabilities) are extended to arbitrary observables, but it remains somewhat unclear whether the wave function itself should be regarded as a fundamental entity or merely as an effective one. This may reflect the different routes followed by Born and by Heisenberg in the development of their ideas. The common position presented by Born and Heisenberg emphasises the probabilistic aspect of the theory as fundamental, and the conclusion of the report expresses strong confidence in the resulting picture.

Cambridge University Press eBooks•Oct 22, 2009•0 citations

Quantum mechanics

Steven Weinberg

Our modern understanding of atoms, molecules, solids, atomic nuclei, and elementary particles is largely based on quantum mechanics. Quantum mechanics grew in the mid-1920s out of two independent developments: the matrix mechanics of Werner and the wave mechanics of Erwin Schrödinger. For the most part this chapter follows the path of wave mechanics, which is more convenient for all but the simplest calculations. The general principles of the wave mechanical formulation of quantum mechanics are laid out and provide a basis for the discussion of spin, identical particles. and scattering processes. The general principles are supplemented with the canonical formalism to work out the Schrödinger equation for charged particles in a general electromagnetic field. The chapter ends with the unification of the approaches of wave and matrix mechanics by Paul Dirac, and a modern approach, known as Hilbert space, is briefly described.

Cambridge University Press eBooks•Apr 21, 2021•0 citations

Angular Momenta

K. Kong Wan

Q36(1) The spherical harmonics Y 1,1 ( θ , φ ), Y 1,0 ( θ , φ ), Y 1, −1( θ , φ ) are given by Eqs. (16.65) to (16.67). In Cartesian coordinates, these functions are given by 1 Y 1 , − 1 ( x , y , z ) = 3 8 π x − i y r , Y 1 , 0 ( x , y , z ) = 3 4 π z r , Y 1 , 1 ( x , y , z ) = − 3 8 π x + i y r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0667.tif"/> (a) Using the expression in Cartesian coordinates for the quantised orbital angular momentum operator L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1694.tif"/> in Eq. (27.86), verify by explicit calculations that Y 1,1 ( x , y , z ), Y 1,0 ( x , y , z )and Y 1,-1 ( x , y , z ) are the eigenfunctions of L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1695.tif"/> corresponding to eigenvalues ħ , 0 and – ħ . (b) Consider the following coordinate transformations: x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0668.tif"/> (1) 202 Show that the component of the orbital angular momentum operator along the z ′-direction is the same as that along the x -direction, i.e., show that L ^ c z ′ = L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1696.tif"/> . (2) Show that the simultaneous eigenfunctions of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1697.tif"/> and L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1698.tif"/> corresponding to eigenvalues of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1699.tif"/> equal to 2 ħ 2 are given in Cartesian coordinates by X 1 , − 1 ( x , y , z ) = 3 8 π y − i z r , X 1 , 0 ( x , y , z ) = 3 4 π x r , X 1 , 1 ( x , y , z ) = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0669.tif"/> SQ36(1)(a) In Cartesian coordinates we have 2 : p ^ x Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ x x − i y r = − i ℏ 3 8 π ( 1 r − x − i y r 2 ∂ ∂ x r ) = − i ℏ 3 8 π ( 1 r − x − i y r 2 x r ) = − i ℏ 3 8 π 1 r 3 ( r 2 − x 2 + i x y ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0670.tif"/> p ^ y Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ y x − i y r = − i ℏ 3 8 π ( − i r − x − i y r 2 ∂ ∂ y r ) = − i ℏ 3 8 π ( − i r − x − i y r 2 y r ) = − i ℏ 3 8 π 1 r 3 ( − i r 2 − x y + i y 2 ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0671.tif"/> L ^ z Y → 1 , − 1 : = ( x p ^ y − y p ^ x ) Y 1 , − 1 = − i ℏ 3 8 π 1 r 3 ( ( − i x r 2 − x 2 y + i x y 2 ) − ( y r 2 − y x 2 + i x y 2 ) ) = − i ℏ 3 8 π 1 r 3 ( − i x r 2 − y r 2 ) = − ℏ 3 8 π 1 r { x − i y } = − ℏ Y 1 , − 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0672.tif"/> 203 Next we have p ^ x Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ x z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ x r ) = i ℏ 3 4 π z x r 3 . p ^ y Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ y z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ y r ) = i ℏ 3 4 π z y r 3 . L ^ z Y → 1 , 0 : = ( x p ^ y − y p ^ x ) Y 1 , 0 = x ( i ℏ 3 4 π z y r 3 ) − y ( i ℏ 3 4 π z x r 3 ) = 0. https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0673.tif"/> Finally we have p ^ x Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ x x + i y r = − i ℏ 3 8 π ( 1 r − x + i y r 2 ∂ ∂ x r ) = i ℏ 3 8 π ( 1 r − x + i y r 2 x r ) = i ℏ 3 8 π 1 r 3 ( r 2 − x 2 − i x y ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0674.tif"/> p ^ y Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ y x + i y r = i ℏ 3 8 π ( i r − x + i y r 2 ∂ ∂ y r ) = i ℏ 3 8 π ( i r − x + i y r 2 y r ) = i ℏ 3 8 π 1 r 3 ( i r 2 − x y − i y 2 ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0675.tif"/> L ^ z Y → 1 , 1 : = ( x p ^ y − y p ^ x ) Y 1 , 1 = i ℏ 3 8 π 1 r 3 { ( i x r 2 − x 2 y − i x y 2 ) = − ( y r 2 − y x 2 − i x y 2 ) } = i ℏ 3 8 π 1 r 3 { i x r 2 − y r 2 } = − ℏ 3 8 π 1 r ( x + i y ) = ℏ Y 1 , 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0676.tif"/> 204 SQ36(1)(b) (1) Consider a transformation from the original coordinate system ( x , y , z ) to a new coordinate system ( x ′, y ′, z ′): x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0677.tif"/> We can see that the new z ′-axis coincides with the original x -axis, and that r = x 2 + y 2 + z 2 = x ′ 2 + y ′ 2 + z ′ 2 = r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0678.tif"/> Physically we expect the angular momentum about the x -axis to be the same as the angular momentum about the z′ -axis. We can confirm this mathematically by showing that L ^ x = y p ^ z − z p ^ y = − i ℏ ( y ∂ ∂ z − z ∂ ∂ y ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0679.tif"/> is equal to L ^ z ′ = x ′ p ^ y ′ − y ′ p ^ x ′ = − i ℏ ( x ′ ∂ ∂ y ′ − y ′ ∂ ∂ x ′ ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0680.tif"/> This is obvious since x′ = y , y′ = z . It follows that the eigenfunctions and eigenvalues of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1700.tif"/> are the same in terms of the dashed coordinates as that of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1701.tif"/> . (2) We know the eigenfunctions Y ℓ , m ℓ ′ ( x ′ , y ′ , z ′ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1702.tif"/> and eigenvalues of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1703.tif"/> in the transformed coordinates (x′, y′, z′) as they are of the same form as those of the eigenfunctions and eigenvalues of L ^ z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1704.tif"/> in the original coordinates, i.e., we have Y 1 , − 1 ′ ( x ′ , y ′ , z ′ ) = 3 8 π x ′ − i y ′ r ′ , Y 1 , 0 ′ ( x ′ , y ′ , z ′ ) = 3 4 π z ′ r ′ Y 1 , 1 ′ ( x ′ , y ′ , z ′ ) = − 3 8 π x ′ + i y ′ r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0681.tif"/> 205 Since L ^ z ′ = L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1705.tif"/> these are also eigenfunctions of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1706.tif"/> Written in terms of the original coordinates these functions become Y 1 , − 1 ′ = 3 8 π y − i z r , Y 1 , 0 ′ = 3 4 π x r , Y 1 , 1 ′ = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0682.tif"/> We can conclude that the required eigenfunctions L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1707.tif"/> denoted more conveniently by X 1,1 , X 1,0 , X 1, −1 are X 1 , − 1 = 3 8 π y − i z r , X 1 , 0 = 3 4 π x r , X 1 , 1 = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0683.tif"/> Q36(2) Suppose L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1708.tif"/> and L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1709.tif"/> are measured giving the eigenvalues 2 ħ 2 and – ħ , respectively. A measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1710.tif"/> is then made. What are the possible results of the measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1711.tif"/> ? Find the probability of each of these possible results.

•Aug 27, 2020•0 citations

Quantum gravity with photon interactions, cavity resonators with inhomogeneities, classical and quantum optimal control of fields

Harish Parthasarathy

We wish j t ( X ) to track the noiseless trajectory X d ( t )∈ L ( h ). Assume non-demoltion measurements Y o ( t )= U ( t )* Y i ( t ) U ( t ) are made and the Belavkin filter for π t ( X ) =  j t ( X ) | η t ) , η t = σ ( Y 0 ( s ) : s ≤ t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1006.tif"/> has been constructed as d π t ( X ) = F t ( X ) d t + G t ( X ) d Y o ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1007.tif"/> trajectory estimation error X d ( t )− π t ( X ) is given as feedback to the state equations in the form d j t ( X ) = j t ( θ 0 ( X ) ) d t ⁢ + ⁢ j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + ⁢ j t ( θ 3 ( X ) ) d Λ ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1008.tif"/> 192 + ⁢ K ( t ) ( X d ( t ) − π t ( X ) ) d t https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1009.tif"/> Alternately, if we assume that X d follows a noiseless trajectory, ie, it evolves according to the equation X d ( t ) , = j t ( 0 ) ( X d ) = U 0 ( t ) * X d U 0 ( t ) , U 0 ( t ) = e x p ( − i t H 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1010.tif"/> then we can give as feedback the estimation error E ( t ) = X d ( t ) − T r 2 ( π t ( X ) ( I ⊗ | ϕ ( u ) > < ϕ ( u ) | ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1011.tif"/> which is a system observable. This error feedback is given to the above state equations, ie, to the Evans-Hudson flow resulting in the dynamics d j t ( X ) = j t ( θ 0 ( X ) ) d t + j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + j t ( θ 3 ( X ) ) d Λ ( t ) + K ( t ) E ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1012.tif"/> Alternately, we can incorporate this error feedback in the original HP equation as d U ( t ) ⁢ = ⁢ ( - ( i H + ⁢ P + ⁢ K ( t ) E ( t ) ) d t + L 1 d A ( t ) ⁢ + ⁢ L 2 d A ( t ) * ⁢ + ⁢ S d Λ ( t ) ) U ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1013.tif"/> resulting in the Evans-Hudson flow the same as above but with θ 0 (X) replaced by θ 0 ( X )+ iK ( t )[ E ( t ), X ]. Luc-Bouten’s method of control is slightly different. Here, we choose a system observable Z and give an infinitesimal control unitary U c ( t , t ⁢ + ⁢ d t ) ⁢ = ⁢ U ( t ⁢ + ⁢ d t ) * e x p ( - i Z d Y i ( t ) ) U ( t + d t ) ⁢ = ⁢ e x p ( i Z ( t + d t ) d Y o ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1014.tif"/> Note that Y o ( t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t ) U ( t + d t ) , Y o ( t + d t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t + d t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1015.tif"/> and hence, forming the difference, we get d Y 0 ( t ) = U ( t + d t ) * d Y i ( t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1016.tif"/> Also, Z commutes with dY i ( t ) and hence Z ( t + dt )= U ( t + dt )* ZU ( t + dt ) commutes with U ( t + dt )* dY o ( t ) U ( t + dt ). Let ρ c ( t ) denote the controlled state at time t, ie after applying the Belavkin filter and control upto time t to the HP evolved state. Then, we apply the Belavkin filter from t to t + dt , via ρ B ( t + d t ) - ρ c ( t ) + δ ρ B ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1017.tif"/> where δ ρ B ( t ) = L t * ( ρ c ( t ) ) d t + ( M t ρ c ( t ) + ρ c ( t ) M t * - T r ( M t + M t * ) ρ c ( t ) ) ρ c ( t ) ) ( d Y o ( t ) - T r ( ρ c ( t ) ( M t + M t * ) ) d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1018.tif"/> Finally, the filtered and controlled state at time t + dt is given by ρ c ( t + d t ) - ρ c ( t ) ⁢ + ⁢ δ ρ c ( t ) = https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1019.tif"/>

CRC Press eBooks•Feb 3, 2021•0 citations

A glimpse of matrix mechanics via the harmonic oscillator

Elina Palmgren, Ricardo Karam

In this paper, we provide a glimpse of the original formulation of quantum mechanics (a.k.a. matrix mechanics), as proposed by Heisenberg, Born, and Jordan in 1925, by showing how it solves the quantum harmonic oscillator. This presentation can shed light on the relationship between different formulations and give students a deeper understanding of quantum mechanics.

American Journal of Physics•Dec 23, 2024•0 citations
As mentioned in Chapter 1 , the Heisenberg matrix mechanics provides one of the three main avenues to quantum mechanics. This approach to quantum mechanics was disclosed in three papers authored by Heisenberg (1925) , Born and Jordan (1925) , and Born et al. (1926) . An iconic result from the Heisenberg–Born–Jordan contribution was the commutation rule ( 14.1 ) p q − q p = h 2 π i https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781315216720/70121b16-f2c6-4331-b1ba-eecb806b93da/content/eq595.tif"/>
In this chapter, we develop results that will prove to be very important later. First, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0001.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0002.tif"/> are compatible , that is, if their Hermitian operator representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0003.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0004.tif"/> commute, then these representatives have a complete orthonormal set of common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0005.tif"/> which are the solutions of the simultaneous eigenvalue problem A ^ Ψ a n , b m ( r ) = a n Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0006.tif"/> and B ^ Ψ a n , b m ( r ) = b n Ψ a n , b m ( r ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0007.tif"/> Consequently, from the discussion at the end of Section 4.5 , when the system is in a quantum state specified by one of the common eigenfunctions Ψ a n , b m ( r ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0008.tif"/> , both A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0009.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0010.tif"/> have definite values, a n https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0011.tif"/> for A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0012.tif"/> and b m https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0013.tif"/> for B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0014.tif"/> In contrast, we show that if two observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0015.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0016.tif"/> are incompatible , that is, if their representatives A ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0279.tif"/> and B ^ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0017.tif"/> do not commute, then these representatives have few if any common eigenfunctions. As a consequence rarely if ever can one find quantum states for which two incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0018.tif"/> and B https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0019.tif"/> both have definite values rather than spreads of values. Therefore, two incompatible observables cannot (with rare exceptions) be simultaneously precisely measured. Rather, in analogy to the Heisenberg uncertainty relation Δ x Δ p x ≥ ℏ 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0020.tif"/> which exists between the incompatible position and momentum observables, a Heisenberg uncertainty relation exists between any pair of incompatible observables A https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0021.tif"/> and B . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429155741/5d159368-dc20-4763-957b-88b0e101c959/content/C005_equ_0022.tif"/>
The report by Born and Heisenberg on ‘quantum mechanics’ may seem surprisingly difficult to the modern reader. This is partly because Born and Heisenberg are describing various stages of development of the theory that are quite different from today's quantum mechanics. Among these, it should be noted in particular that the theory developed by Heisenberg, Born and Jordan in the years 1925–6 and known today as matrix mechanics (Heisenberg 1925b [1], Born and Jordan 1925 [2], Born, Heisenberg and Jordan 1926 [4]) a differs from standard quantum mechanics in several important respects. At the same time, the interpretation of the theory (the topic of Section II of the report) also appears to have undergone important modifications, in particular regarding the notion of the state of a system. Initially, Born and Heisenberg insist on the notion that a system is always in a stationary state (performing quantum jumps between different stationary states). Then the notion of the wave function is introduced and related to probabilities for the stationary states. At a later stage, probabilistic notions (in particular, what one now calls transition probabilities) are extended to arbitrary observables, but it remains somewhat unclear whether the wave function itself should be regarded as a fundamental entity or merely as an effective one. This may reflect the different routes followed by Born and by Heisenberg in the development of their ideas. The common position presented by Born and Heisenberg emphasises the probabilistic aspect of the theory as fundamental, and the conclusion of the report expresses strong confidence in the resulting picture.
Our modern understanding of atoms, molecules, solids, atomic nuclei, and elementary particles is largely based on quantum mechanics. Quantum mechanics grew in the mid-1920s out of two independent developments: the matrix mechanics of Werner and the wave mechanics of Erwin Schrödinger. For the most part this chapter follows the path of wave mechanics, which is more convenient for all but the simplest calculations. The general principles of the wave mechanical formulation of quantum mechanics are laid out and provide a basis for the discussion of spin, identical particles. and scattering processes. The general principles are supplemented with the canonical formalism to work out the Schrödinger equation for charged particles in a general electromagnetic field. The chapter ends with the unification of the approaches of wave and matrix mechanics by Paul Dirac, and a modern approach, known as Hilbert space, is briefly described.
Q36(1) The spherical harmonics Y 1,1 ( θ , φ ), Y 1,0 ( θ , φ ), Y 1, −1( θ , φ ) are given by Eqs. (16.65) to (16.67). In Cartesian coordinates, these functions are given by 1 Y 1 , − 1 ( x , y , z ) = 3 8 π x − i y r , Y 1 , 0 ( x , y , z ) = 3 4 π z r , Y 1 , 1 ( x , y , z ) = − 3 8 π x + i y r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0667.tif"/> (a) Using the expression in Cartesian coordinates for the quantised orbital angular momentum operator L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1694.tif"/> in Eq. (27.86), verify by explicit calculations that Y 1,1 ( x , y , z ), Y 1,0 ( x , y , z )and Y 1,-1 ( x , y , z ) are the eigenfunctions of L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1695.tif"/> corresponding to eigenvalues ħ , 0 and – ħ . (b) Consider the following coordinate transformations: x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0668.tif"/> (1) 202 Show that the component of the orbital angular momentum operator along the z ′-direction is the same as that along the x -direction, i.e., show that L ^ c z ′ = L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1696.tif"/> . (2) Show that the simultaneous eigenfunctions of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1697.tif"/> and L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1698.tif"/> corresponding to eigenvalues of L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1699.tif"/> equal to 2 ħ 2 are given in Cartesian coordinates by X 1 , − 1 ( x , y , z ) = 3 8 π y − i z r , X 1 , 0 ( x , y , z ) = 3 4 π x r , X 1 , 1 ( x , y , z ) = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0669.tif"/> SQ36(1)(a) In Cartesian coordinates we have 2 : p ^ x Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ x x − i y r = − i ℏ 3 8 π ( 1 r − x − i y r 2 ∂ ∂ x r ) = − i ℏ 3 8 π ( 1 r − x − i y r 2 x r ) = − i ℏ 3 8 π 1 r 3 ( r 2 − x 2 + i x y ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0670.tif"/> p ^ y Y → 1 , − 1 : = − i ℏ 3 8 π ∂ ∂ y x − i y r = − i ℏ 3 8 π ( − i r − x − i y r 2 ∂ ∂ y r ) = − i ℏ 3 8 π ( − i r − x − i y r 2 y r ) = − i ℏ 3 8 π 1 r 3 ( − i r 2 − x y + i y 2 ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0671.tif"/> L ^ z Y → 1 , − 1 : = ( x p ^ y − y p ^ x ) Y 1 , − 1 = − i ℏ 3 8 π 1 r 3 ( ( − i x r 2 − x 2 y + i x y 2 ) − ( y r 2 − y x 2 + i x y 2 ) ) = − i ℏ 3 8 π 1 r 3 ( − i x r 2 − y r 2 ) = − ℏ 3 8 π 1 r { x − i y } = − ℏ Y 1 , − 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0672.tif"/> 203 Next we have p ^ x Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ x z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ x r ) = i ℏ 3 4 π z x r 3 . p ^ y Y → 1 , 0 : = − i ℏ 3 4 π ∂ ∂ y z r = − i ℏ 3 4 π ( − z r 2 ∂ ∂ y r ) = i ℏ 3 4 π z y r 3 . L ^ z Y → 1 , 0 : = ( x p ^ y − y p ^ x ) Y 1 , 0 = x ( i ℏ 3 4 π z y r 3 ) − y ( i ℏ 3 4 π z x r 3 ) = 0. https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0673.tif"/> Finally we have p ^ x Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ x x + i y r = − i ℏ 3 8 π ( 1 r − x + i y r 2 ∂ ∂ x r ) = i ℏ 3 8 π ( 1 r − x + i y r 2 x r ) = i ℏ 3 8 π 1 r 3 ( r 2 − x 2 − i x y ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0674.tif"/> p ^ y Y → 1 , 1 : = i ℏ 3 8 π ∂ ∂ y x + i y r = i ℏ 3 8 π ( i r − x + i y r 2 ∂ ∂ y r ) = i ℏ 3 8 π ( i r − x + i y r 2 y r ) = i ℏ 3 8 π 1 r 3 ( i r 2 − x y − i y 2 ) , https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0675.tif"/> L ^ z Y → 1 , 1 : = ( x p ^ y − y p ^ x ) Y 1 , 1 = i ℏ 3 8 π 1 r 3 { ( i x r 2 − x 2 y − i x y 2 ) = − ( y r 2 − y x 2 − i x y 2 ) } = i ℏ 3 8 π 1 r 3 { i x r 2 − y r 2 } = − ℏ 3 8 π 1 r ( x + i y ) = ℏ Y 1 , 1 . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0676.tif"/> 204 SQ36(1)(b) (1) Consider a transformation from the original coordinate system ( x , y , z ) to a new coordinate system ( x ′, y ′, z ′): x → z ′ , y → x ′ , z → y ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0677.tif"/> We can see that the new z ′-axis coincides with the original x -axis, and that r = x 2 + y 2 + z 2 = x ′ 2 + y ′ 2 + z ′ 2 = r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0678.tif"/> Physically we expect the angular momentum about the x -axis to be the same as the angular momentum about the z′ -axis. We can confirm this mathematically by showing that L ^ x = y p ^ z − z p ^ y = − i ℏ ( y ∂ ∂ z − z ∂ ∂ y ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0679.tif"/> is equal to L ^ z ′ = x ′ p ^ y ′ − y ′ p ^ x ′ = − i ℏ ( x ′ ∂ ∂ y ′ − y ′ ∂ ∂ x ′ ) . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0680.tif"/> This is obvious since x′ = y , y′ = z . It follows that the eigenfunctions and eigenvalues of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1700.tif"/> are the same in terms of the dashed coordinates as that of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1701.tif"/> . (2) We know the eigenfunctions Y ℓ , m ℓ ′ ( x ′ , y ′ , z ′ ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1702.tif"/> and eigenvalues of L ^ z ′ https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1703.tif"/> in the transformed coordinates (x′, y′, z′) as they are of the same form as those of the eigenfunctions and eigenvalues of L ^ z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1704.tif"/> in the original coordinates, i.e., we have Y 1 , − 1 ′ ( x ′ , y ′ , z ′ ) = 3 8 π x ′ − i y ′ r ′ , Y 1 , 0 ′ ( x ′ , y ′ , z ′ ) = 3 4 π z ′ r ′ Y 1 , 1 ′ ( x ′ , y ′ , z ′ ) = − 3 8 π x ′ + i y ′ r ′ . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0681.tif"/> 205 Since L ^ z ′ = L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1705.tif"/> these are also eigenfunctions of L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1706.tif"/> Written in terms of the original coordinates these functions become Y 1 , − 1 ′ = 3 8 π y − i z r , Y 1 , 0 ′ = 3 4 π x r , Y 1 , 1 ′ = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0682.tif"/> We can conclude that the required eigenfunctions L ^ x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1707.tif"/> denoted more conveniently by X 1,1 , X 1,0 , X 1, −1 are X 1 , − 1 = 3 8 π y − i z r , X 1 , 0 = 3 4 π x r , X 1 , 1 = − 3 8 π y + i z r . https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/eqn0683.tif"/> Q36(2) Suppose L ^ c 2 https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1708.tif"/> and L ^ c z https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1709.tif"/> are measured giving the eigenvalues 2 ħ 2 and – ħ , respectively. A measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1710.tif"/> is then made. What are the possible results of the measurement of L ^ c x https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9780429296475/bdc73243-97dc-4cf5-9624-109e4c3275b1/content/ieq1711.tif"/> ? Find the probability of each of these possible results.
We wish j t ( X ) to track the noiseless trajectory X d ( t )∈ L ( h ). Assume non-demoltion measurements Y o ( t )= U ( t )* Y i ( t ) U ( t ) are made and the Belavkin filter for π t ( X ) =  j t ( X ) | η t ) , η t = σ ( Y 0 ( s ) : s ≤ t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1006.tif"/> has been constructed as d π t ( X ) = F t ( X ) d t + G t ( X ) d Y o ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1007.tif"/> trajectory estimation error X d ( t )− π t ( X ) is given as feedback to the state equations in the form d j t ( X ) = j t ( θ 0 ( X ) ) d t ⁢ + ⁢ j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + ⁢ j t ( θ 3 ( X ) ) d Λ ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1008.tif"/> 192 + ⁢ K ( t ) ( X d ( t ) − π t ( X ) ) d t https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1009.tif"/> Alternately, if we assume that X d follows a noiseless trajectory, ie, it evolves according to the equation X d ( t ) , = j t ( 0 ) ( X d ) = U 0 ( t ) * X d U 0 ( t ) , U 0 ( t ) = e x p ( − i t H 0 ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1010.tif"/> then we can give as feedback the estimation error E ( t ) = X d ( t ) − T r 2 ( π t ( X ) ( I ⊗ | ϕ ( u ) > < ϕ ( u ) | ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1011.tif"/> which is a system observable. This error feedback is given to the above state equations, ie, to the Evans-Hudson flow resulting in the dynamics d j t ( X ) = j t ( θ 0 ( X ) ) d t + j t ( θ 1 ( X ) ) d A ( t ) + j t ( θ 2 ( X ) ) d A ( t ) * + j t ( θ 3 ( X ) ) d Λ ( t ) + K ( t ) E ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1012.tif"/> Alternately, we can incorporate this error feedback in the original HP equation as d U ( t ) ⁢ = ⁢ ( - ( i H + ⁢ P + ⁢ K ( t ) E ( t ) ) d t + L 1 d A ( t ) ⁢ + ⁢ L 2 d A ( t ) * ⁢ + ⁢ S d Λ ( t ) ) U ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1013.tif"/> resulting in the Evans-Hudson flow the same as above but with θ 0 (X) replaced by θ 0 ( X )+ iK ( t )[ E ( t ), X ]. Luc-Bouten’s method of control is slightly different. Here, we choose a system observable Z and give an infinitesimal control unitary U c ( t , t ⁢ + ⁢ d t ) ⁢ = ⁢ U ( t ⁢ + ⁢ d t ) * e x p ( - i Z d Y i ( t ) ) U ( t + d t ) ⁢ = ⁢ e x p ( i Z ( t + d t ) d Y o ( t ) ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1014.tif"/> Note that Y o ( t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t ) U ( t + d t ) , Y o ( t + d t ) ⁢ = ⁢ U ( t + d t ) * Y i ( t + d t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1015.tif"/> and hence, forming the difference, we get d Y 0 ( t ) = U ( t + d t ) * d Y i ( t ) U ( t + d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1016.tif"/> Also, Z commutes with dY i ( t ) and hence Z ( t + dt )= U ( t + dt )* ZU ( t + dt ) commutes with U ( t + dt )* dY o ( t ) U ( t + dt ). Let ρ c ( t ) denote the controlled state at time t, ie after applying the Belavkin filter and control upto time t to the HP evolved state. Then, we apply the Belavkin filter from t to t + dt , via ρ B ( t + d t ) - ρ c ( t ) + δ ρ B ( t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1017.tif"/> where δ ρ B ( t ) = L t * ( ρ c ( t ) ) d t + ( M t ρ c ( t ) + ρ c ( t ) M t * - T r ( M t + M t * ) ρ c ( t ) ) ρ c ( t ) ) ( d Y o ( t ) - T r ( ρ c ( t ) ( M t + M t * ) ) d t ) https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1018.tif"/> Finally, the filtered and controlled state at time t + dt is given by ρ c ( t + d t ) - ρ c ( t ) ⁢ + ⁢ δ ρ c ( t ) = https://s3-euw1-ap-pe-df-pch-content-public-p.s3.eu-west-1.amazonaws.com/9781003163626/7a1b5c8e-5b02-4966-b7fd-03fb766469c4/content/math1019.tif"/>