Path Integrals for Multiply Connected Spaces by Matthew Scholte-van de Vorst B.Sc., University of Manitoba, 2006 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The Faculty of Graduate Studies (Physics) THE UNIVERSITY OF BRITISH COLUMBIA (Vancouver) August 2009 c© Matthew Scholte-van de Vorst 2009 Abstract We derive the propagator for a particle constrained to a torus and to a Klein Bottle. This is accomplished by considering relative symmetries between the desired system and a system for which the propagator is known. This result is checked against the propagator derived via the method of stationary state construction, for which the entire spectrum of the Hamiltonian is required. We also briefly consider the application of further constraints to the systems, and the implications of different symmetries on the same constraint. ii Table of Contents Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii List of Tables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v List of Figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi Acknowledgements . . . . . . . . . . . . . . . . . . . . . . . . . . . vii Dedication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Circle Propagator . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.1 Circle Stationary State Propagator . . . . . . . . . . . . . . . 3 2.2 Circle Symmetry Propagator . . . . . . . . . . . . . . . . . . 5 3 Torus and Klein Bottle Foundations . . . . . . . . . . . . . . 7 3.1 Torus Foundations . . . . . . . . . . . . . . . . . . . . . . . . 7 3.2 Klein Bottle Foundations . . . . . . . . . . . . . . . . . . . . 8 4 Torus Propagator . . . . . . . . . . . . . . . . . . . . . . . . . . 12 4.1 Torus Symmetry Propagator . . . . . . . . . . . . . . . . . . 12 4.2 Torus Stationary State Propagator . . . . . . . . . . . . . . . 13 5 Klein Bottle Propagator . . . . . . . . . . . . . . . . . . . . . . 15 5.1 Klein Bottle Symmetry Propagator . . . . . . . . . . . . . . . 15 5.2 Klein Bottle Stationary State Propagator . . . . . . . . . . . 18 6 Additional Constraints . . . . . . . . . . . . . . . . . . . . . . . 23 6.1 Constraint Applied to Torus . . . . . . . . . . . . . . . . . . . 23 6.2 Constraint Applied to Klein Bottle . . . . . . . . . . . . . . . 24 iii Table of Contents 7 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 A Jacobi Theta Function Identities . . . . . . . . . . . . . . . . 28 iv List of Tables 3.1 Klein Bottle eigenstates and eigenvalues. . . . . . . . . . . . . 9 v List of Figures 3.1 Torus Construction . . . . . . . . . . . . . . . . . . . . . . . . 7 3.2 Klein Bottle Construction . . . . . . . . . . . . . . . . . . . . 9 vi Acknowledgements My thanks to the faculty and staff of UBC who have assisted me throughout my degree, especially Dr. van Raamsdonk. I thank my supervisors Drs. Schleich and Witt whose questions, answers, and feedback have been invaluable in the completion of both my thesis and degree as a whole. Special thanks to my family for their support and encouragement over the years. vii Dedication To Oma & Opa viii Chapter 1 Introduction The propagator is a powerful tool in quantum mechanics, as knowing the propagator for a system means knowing the solution to the time dependent Schrodinger equation. If we know the state ψ(x0, t0) at some initial point (x0, t0), then the state at some later point (x, t) is given by: ψ(x, t) = G(x, t;x0, t0)ψ(x0, t0) (1.1) where G(x, t;x0, t0) is the propagator associated with the system. Path integrals arise in determining the form of the propagator: Schul- man [6] derives the propagator for a free particle with time independent Hamiltonian (which allows us to set t0 = 0) to be: G(x, t;x0, 0) = lim N→∞ ( m 2pii~ )(N+1)/2 ∫ dx1 . . . dxNexp[ im 2~ N∑ j=0 (xj+1 − xj)2] (1.2) where xN+1 = x and = t/(N + 1). This can be simplified to the closed form: G(x, t;x0, 0) = √ m 2pii~t exp[ im 2~t (x− x0)2] (1.3) where the phase is the classical action divided by ~. Determining the propagator becomes more complicated on multiply con- nected spaces, as it is possible to generate two paths having the same end- points which cannot be continuously deformed into each other. In this situa- tion, it is useful to define a winding number which separates these paths into homotopy classes, within which it is possible to perform this deformation continuously. However, care must be taken in determining the propagator to account for these winding numbers. These complications mean that one must often return to the definition in order to account for them properly. One method of determining the propagator in any space is to perform a sum over states. If (ψn(x), En) is a pair of stationary states and ener- 1 Chapter 1. Introduction gies satisfying the Hamiltonian for the space, then the propagator can be expressed as: G(xf , t;xi, 0) = ∞∑ n=−∞ ψn(xf )ψ∗n(xi)exp(−iEnt) (1.4) However, it is possible that simplifying the propagator to a useful form from this expression can still be quite complicated, as performing the sum on multiply connected spaces is not straight-forward. One might wish to ob- tain a simpler procedure to construct the propagator more quickly, without having to determine explicitly the entire spectrum for the Hamiltonian. Alternatively, one can make use of the homotopy classes as outlined in various papers [2, 4, 5]. If one can find a projection p to the desired space M from a simply connected covering space M̃ , the problem becomes much simpler. Paths in M from m to n (m,n ∈M) correspond to paths in M̃ from some fixed m̃ ∈ p−1(m) to each ñi ∈ p−1(n), where i runs over all pre-images of n. Then we carry out the path integral in M̃ (using the projection p to carry over the Lagrangian from M) and sum over i, including phase factors determined by the system. This is one method we will use to determine the propagator for the circle. If we can relate the desired space to a simpler one (not necessarily a sim- ply connected covering space) through various symmetries that are either preserved or lost between the two spaces, perhaps it is possible to construct the propagator without solving for the entire spectrum or concerning our- selves with mapping to a covering space. In this fashion, we will construct the propagator for a particle constrained to a torus and to a Klein Bottle, beginning with the propagator for a particle constrained to a circle. As a check, we will also explicitly construct the propagator from the spectrum using the method of stationary states (1.4). We will also examine briefly the question of applying further constraints to these systems which correspond to the particle model of a gauge theory. 2 Chapter 2 Circle Propagator 2.1 Circle Stationary State Propagator We begin by considering the derivation of the propagator for a particle on the circle S1 presented by Schulman [5]. This will facilitate the symmetry construction of the torus propagator, as the torus is the tensor product of two circles. Construction of the circle is achieved by identification of x = 0 and x = 2pi on the interval [0, 2pi]. Alternatively, the circle is constructed via the identification x = x+ 2pi on the real line <, which is more convenient as it preserves the geometry of <. On the circle, the local Schrodinger equation for a free particle is (taking ~=1, M=1): −1 2 ∂2xψ(x) = Eψ(x) (2.1) The condition that the system is on the circle is enforced by requiring the state ψ(x) also obey the boundary condition: SS 1 ψ(x) = ψ(x+ 2pi) (2.2) where SS 1 is a unitary symmetry operator which commutes with the Hamil- tonian, [SS 1 , H] = 0. Hence, ψ(x) can be simultaneously diagonalized with respect to both operators. If we write Sψ = cψ (where superscripts and arguments have been sup- pressed), then since: Snψ(x) = ψ(x+ 2npi) (2.3) and: SnSm = Sn+m (2.4) it follows that c = eiσ (for σ a real constant) and Bloch’s theorem states that: 3 Chapter 2. Circle Propagator ψ(x) = exp( iσx 2pi )u(x) (2.5) where u(x) = u(x+2pi) is a periodic function. The solution of Schrodinger’s equation (2.1) for ψ(x) of this form yields the complete set of eigenstates: ψS 1 n (x) = 1√ 2pi exp(inx+ iσx 2pi ) (2.6) ES 1 n = 1 2 (n+ σ 2pi )2 (2.7) Thus, instead of a unique quantization, one obtains a set of inequivalent quantizations parameterized by σ, and perfect periodicity corresponds to the unique quantization σ = 0. As a result, stationary state construction of the propagator (1.4) takes the form: GS 1 (xf , t;xi, 0) = ∑ n 1 2pi exp(inx+ iσx 2pi − it 2 (n+ σ 2pi )2) (2.8) where x = xf − xi, and the propagator argument shall henceforth be sup- pressed. In order to facilitate comparison with the propagator as derived from symmetry considerations, it is useful to introduce the Jacobi theta function defined by: Θ3(Z, T ) = ∞∑ n=−∞ exp(ipin2T + 2inZ) (2.9) As a trivial result of the definition, Θ3(−Z, T ) = Θ3(Z, T ). Furthermore, two useful identities of the theta function are: Θ3(Z + api + bpiT, T ) = exp(−ipib2T − 2ibZ)Θ3(Z, T ) (2.10) Θ3(Z, T ) = (−iT )−1/2exp(Z2/ipiT )Θ3(Z/T,−1/T ) (2.11) for (a, b) ∈ Z, the proof of which can be found in Appendix A. Substituting the theta function (2.9) yields: GS 1 = 1 2pi exp(i( σx 2pi − σ 2t 8pi2 ))Θ3( x 2 − σt 4pi ,− t 2pi ) (2.12) 4 Chapter 2. Circle Propagator which, if we apply the Jacobi identity (2.11) becomes: GS 1 = 1 2pi (i t 2pi )−1/2exp(i( σx 2pi − σ 2t 8pi2 ))∗ exp(( x 2 − σt 4pi )2/ipi(− t 2pi ))Θ3(( x 2 − σt 4pi )/(− t 2pi ), 2pi t ) =( 1 2piit )1/2exp( ix2 2t )Θ3( σ 2 − pix t , 2pi t ) (2.13) 2.2 Circle Symmetry Propagator As a comparison with the stationary state construction, we can also use sym- metry considerations to construct the propagator. Since two paths having the same winding number and fixed endpoints can be continuously deformed into each other, we write the full propagator as a sum over the winding num- ber n: GS 1 (xf , t;xi, 0) = ∞∑ n=−∞ AnG S1 n (xf , t;xi, 0) (2.14) for some non-trivial set of An’s. By varying one endpoint (say xf ) through a full circle, we find that the full propagator is unchanged up to a phase factor, while we have translated GS 1 n → GS 1 n−1. This, combined with (2.14), tells us that: An+1 = eiσAn (2.15) Furthermore, we know that ‖A0‖ = 1, and so fixing the arbitrary phase of A0 to 0 yields: GS 1 = ∑ n einσGS 1 n (2.16) where the argument of the propagator shall again be suppressed. Since one can (locally) define a smooth mapping f : < → S1 and inverse between the real line and circle for fixed endpoints, for each value of the winding number the propagator is that of a free particle (1.3). Substituting for GS 1 n into (2.16) yields: GS 1 = ∑ n ( 1 2piit )1/2exp(inσ + i(x− 2pin)2 2t ) (2.17) 5 Chapter 2. Circle Propagator Substituting the theta function (2.9) into our expression for the propa- gator on the circle (2.17) yields: GS 1 = ( 1 2piit )1/2exp( ix2 2t )Θ3( σ 2 − pix t , 2pi t ) (2.18) in agreement with the stationary state propagator (2.13). 6 Chapter 3 Torus and Klein Bottle Foundations 3.1 Torus Foundations Figure 3.1: Torus Construction We begin by generating the torus T 2 from a rectangle of side lengths a and b, seen in Fig. 3.1. Opposite sides (of equal length) are identified and connected, with the x-direction denoting motion parallel to side length b and y-direction parallel to side length a. In this way we construct a torus with boundary conditions: (x, y) = (x, y + a) (x, y) = (x+ b, y) (3.1) Locally, Schrodinger’s equation for a free particle is just: 7 Chapter 3. Torus and Klein Bottle Foundations −1 2 (∂2x + ∂ 2 y)ψ = Eψ (3.2) Eigenstates (non-normalized) and corresponding eigenvalues obeying the boundary conditions (3.1) are: ψT 2 rs = exp(2pii(rx/b+ sy/a)) (3.3) ET 2 rs = 1 2 (( 2pir b )2 + ( 2pis a )2) (3.4) for (r, s) ∈ Z, where ψT 2rs (x, y) = ψT 2 rs (x+ nb, y +ma) for (n,m) ∈ Z. However, as seen on the circle, perfect periodicity corresponds to the specific quantization in which σ = 0. The more general quantization is implemented by unitary symmetry operators generated by the fundamental region: ST 2 x f(x, y) = f(x+ b, y) ST 2 y f(x, y) = f(x, y + a) (3.5) Simultaneous normalized eigenstates and eigenvalues of H, ST 2 x , and S T 2 y are then: ψT 2 rs = 1√ ab exp(2pii(rx/b+ sy/a) + iσx b + iδy a ) (3.6) ET 2 rs = 1 2 (( 2pir + σ b )2 + ( 2pis+ δ a )2) (3.7) for (r, s) ∈ Z, where σ and δ are the phases picked up in completing a full circuit in the x and y directions respectively (eg: x goes to x+b). 3.2 Klein Bottle Foundations Beginning with the same identifications on the rectangle as for the torus, we join opposite ends. However, to obtain the Klein Bottle K2 we intro- duce a twist before joining the ends, as shown in Fig. 3.2. Note that the construction used here is non-standard: the second twist has been included to introduce symmetry between x and y, whereas the standard (one twist) construction is asymmetrical (the untwisted direction behaves similarly to 8 Chapter 3. Torus and Klein Bottle Foundations Figure 3.2: Klein Bottle Construction the torus). For this construction, the boundary conditions are: (x, y) = (−x, y + a) (x, y) = (x+ b,−y) (3.8) Locally, Schrodinger’s equation is the same for the Klein Bottle as for the torus (3.2). However, solutions are much different as a result of the boundary conditions. In terms of restricted integers (k,l) there are four groups of solutions given in Table 3.1. ψK 2 kl E K2 kl k parity l parity cos(pikxb )cos( pily a ) pi2 2 (( k b ) 2 + ( la) 2) even even sin(pikxb )cos( pily a ) pi2 2 (( k b ) 2 + ( la) 2) even odd cos(pikxb )sin( pily a ) pi2 2 (( k b ) 2 + ( la) 2) odd even sin(pikxb )sin( pily a ) pi2 2 (( k b ) 2 + ( la) 2) odd odd Table 3.1: Klein Bottle eigenstates and eigenvalues. Comparison of the Klein Bottle and torus states is easiest if we rewrite the torus states in terms of the restricted integers (k,l): 9 Chapter 3. Torus and Klein Bottle Foundations ψT 2 kl = exp(pii(kx/b+ ly/a)) (3.9) ET 2 kl = pi2 2 (( k b )2 + ( l a )2) (3.10) where k and l are both even. Comparing this to Table 3.1, we see that the energy spectrum has the same form for both spaces with a denser spectrum for the Klein Bottle. Expanding the exponential states for the torus, we see that the four states of the Klein Bottle are all present, but with different energies. From this, we can see that the particle on the Klein Bottle is the same as on the torus, but with the degeneracy in energy lifted by the symmetric twists introduced in the construction. Before continuing, we first simplify the Klein Bottle states into a compact form, allowing us to lift the restrictions on k and l. In order to do so, we first note that 1 + (−1)k evaluates to 0 if k is odd, and 2 if k is even. Applying this, the states can be written as: ψK 2 kl = sin( pikx b + pi 4 (1 + (−1)l))sin(pily a + pi 4 (1 + (−1)k)) (3.11) while the energies remain unchanged. As with the circle and torus before, this is the specific quantization assuming perfect periodicity. The unitary symmetry operators generated by the fundamental region are: SK 2 x f(x, y) = f(x+ b,−y) SK 2 y f(x, y) = f(−x, y + a) (3.12) Simultaneous normalized eigenstates and eigenvalues of H, SK 2 x , and SK 2 y are then: ψK 2 kl = √ 4 ab sin( pikx b + σx 2b + pi 4 (1 + (−1)l))∗ sin( pily a + δy 2a + pi 4 (1 + (−1)k)) (3.13) EK 2 kl = 1 2 (( pik b + σ 2b )2 + ( pil a + δ 2a )2) (3.14) 10 Chapter 3. Torus and Klein Bottle Foundations for (k, l) ∈ Z, where σ and δ are the phases picked up in completing two full circuits in the x and y directions respectively (eg: x goes to x+2b). 11 Chapter 4 Torus Propagator 4.1 Torus Symmetry Propagator Consider a particle on the torus, which is subject to no further constraints. We wish to find the propagator describing that particle’s motion: as with the circle it is possible to construct this propagator by a purely symmetry- based argument. Namely, consider the particle to be further constrained to travel in only the x-direction. The propagator, under this further constraint, should be identical to that of the particle on a circle, for this new constraint physically replicates exactly that. Likewise, constraining the particle to travel in the y-direction should also yield the propagator for a circle. This is reflected in the decomposition of the torus space, which can be expressed as T 2 = S1 × S1. Generalizing the derivation of the circle propagator with this in mind, we can express the torus propagator as a sum over winding numbers in each direction: GT 2 = ∑ r,s ArBsG T 2 rs (4.1) where the coefficients, as for the circle, become phase factors and the indi- vidual propagators those of a free particle. Since we are now dealing with the general period b, we must rescale the coordinate by 2pib in the free particle state, carrying it through to the final form of the propagator. The modified states (2.6), energies (2.7), and finally propagator (2.18) become: ψS 1 n = 1√ b exp(i 2pi b nx+ iσx b ) (4.2) ES 1 n = 1 2 ( 2pin b + σ b )2 (4.3) GS 1 = ( 1 2piit )1/2exp( ix2 2t )Θ3( σ 2 − xb 2t , b2 2pit ) (4.4) 12 Chapter 4. Torus Propagator Making these substitutions into the torus propagator (4.1): GT 2 = ∑ r,s 1 2piit exp( i 2t (x2 + y2) + ir(σ − xb t ) + is(δ − ya t ) + ib2r2 2t + ia2s2 2t ) (4.5) which, when we substitute the theta function (2.9), becomes: GT 2 = 1 2piit exp( i 2t (x2 + y2))Θ3( σ 2 − xb 2t , b2 2pit )Θ3( δ 2 − ya 2t , a2 2pit ) (4.6) We recognize this as simply being the product of two propagators for the circle, as we expect given the relationship between the two spaces. 4.2 Torus Stationary State Propagator Now, as with the circle, we can check our result for the symmetry propagator (4.6) against the stationary state form. Beginning from the definition for the propagator as a sum over stationary states: G(xf , yf , t;xi, yi, 0) = ∞∑ r,s=−∞ ψrs(xf , yf )ψ∗rs(xi, yi)exp(−iErst) (4.7) and substituting the normalized states (3.6) and energies (3.7), we find that the propagator for the torus is: GT 2 = ∑ r,s 1 ab exp(2pii(rx/b+ sy/a) + iσx b + iδy a − it 2 (( 2pir + σ b )2 + ( 2pis+ δ a )2)) (4.8) where x = xf − xi, y = yf − yi, and the argument of the propagator shall once more be suppressed. Substituting the theta function (2.9) into the above propagator (4.8) yields: 13 Chapter 4. Torus Propagator GT 2 = 1 ab exp( iσx b + iδy a − itσ 2 2b2 − itδ 2 2a2 )∗ Θ3( pix b − piσt b2 ,−2pit b2 )Θ3( piy a − piδt a2 ,−2pit a2 ) (4.9) Applying the Jacobi identity (2.11), we find: GT 2 = 1 ab ( 2piit b2 )−1/2( 2piit a2 )−1/2exp( iσx b + iδy a − itσ 2 2b2 − itδ 2 2a2 )∗ exp(( pix b − piσt b2 )2/− 2pi 2it b2 )exp(( piy a − piδt a2 )2/− 2pi 2it a2 )∗ Θ3(( pix b − piσt b2 )/− 2pit b2 , b2 2pit )Θ3(( piy a − piδt a2 )/− 2pit a2 , a2 2pit ) (4.10) which simplifies to: GT 2 = 1 2piit exp( i 2t (x2 + y2))Θ3( σ 2 − xb 2t , b2 2pit )Θ3( δ 2 − ya 2t , a2 2pit ) (4.11) in agreement with the symmetry propagator (4.6). 14 Chapter 5 Klein Bottle Propagator 5.1 Klein Bottle Symmetry Propagator Now that we have a procedure for deriving the propagator through symme- try considerations, let us apply it to the Klein Bottle and compare with the stationary state result. We begin by recalling the symmetry for the Klein Bottle (3.12), and notice that two successive applications of the same sym- metry operator looks like a single application of the torus symmetry (3.5) with twice the period: (SK 2 x ) 2f(x, y) = SK 2 x f(x+ b,−y) = f(x+ 2b, y) (5.1) Since the Klein Bottle chosen is symmetric in x and y, it suffices to discuss only one direction: the other follows immediately. This suggests that the Klein Bottle propagator should contain a similar structure as the torus propagator with twice the period, which we will call ǴT 2 . If we take as an initial guess some combination of ǴT 2 and SK 2 , we can check certain properties. First, the propagator should only pick up a phase when the symmetry operator is applied (namely σ/2, since that would produce the required phase for two applications, ie: x goes to x+2b): SK 2 xf GK 2 (xf , yf , t;xi, yi, 0) = exp(iσ/2)GK 2 (xf , yf , t;xi, yi, 0) (5.2) and second, the propagator is unitary (ie: the propagator should preserve the norm of the states), since we can write: ψK 2 kl (xf , yf , t) = G K2(xf , yf , t;xi, yi, 0)ψK 2 kl (xi, yi, 0) (5.3) In satisfying the first property (5.2), let us successively apply SK 2 to ǴT 2 until we are left with a phase factor: 15 Chapter 5. Klein Bottle Propagator SK 2 xf ǴT 2 =SK 2 xf ∑ r,s 1 2piit exp( i 2t ((x− 2rb)2 + (y − 2sa)2) + irσ + isδ) = ∑ r,s 1 2piit exp( i 2t ((x+ b− 2rb)2 + (−ȳ − 2sa)2) + irσ + isδ) = ∑ r,s 1 2piit exp( i 2t ((x− b− 2(r − 1)b)2 + (−ȳ − 2sa)2)+ iσ + i(r − 1)σ + isδ) =exp(iσ) ∑ r,s 1 2piit exp( i 2t ((x− b− 2rb)2 + (−ȳ − 2sa)2)+ irσ + isδ) (5.4) (SK 2 xf )2ǴT 2 =(SK 2 xf )2 ∑ r,s 1 2piit exp( i 2t ((x− 2rb)2 + (y − 2sa)2) + irσ + isδ) = ∑ r,s 1 2piit exp( i 2t ((x+ 2b− 2rb)2 + (y − 2sa)2) + irσ + isδ) = ∑ r,s 1 2piit exp( i 2t ((x− 2(r − 1)b)2 + (y − 2sa)2)+ iσ + i(r − 1)σ + isδ) =exp(iσ) ∑ r,s 1 2piit exp( i 2t ((x− 2rb)2 + (y − 2sa)2) + irσ + isδ) =exp(iσ)ǴT 2 (5.5) where ȳ = yf + yi. Therefore, as an initial propagator, take: GK 2 =4(ǴT 2 + exp(−iσ/2)SK2xf ǴT 2 + exp(−iδ/2)SK2yf ǴT 2+ exp(−iσ/2)exp(−iδ/2)SK2xf SK 2 yf ǴT 2) (5.6) where the norm has been chosen to satisfy the unitarity property (5.3), and the symmetry property (5.2) is obeyed as a result of (5.5): 16 Chapter 5. Klein Bottle Propagator SK 2 xf GK 2 =4(SK 2 xf ǴT 2 + exp(−iσ/2)(SK2xf )2ǴT 2 + exp(−iδ/2)SK2xf SK 2 yf ǴT 2+ exp(−iσ/2)exp(−iδ/2)(SK2xf )2SK 2 yf ǴT 2) =4(SK 2 xf ǴT 2 + exp(iσ/2)ǴT 2 + exp(−iδ/2)SK2xf SK 2 yf ǴT 2+ exp(iσ/2)exp(−iδ/2)SK2yf ǴT 2) =exp(iσ/2)GK 2 (5.7) Substituting for the torus propagator (4.6) and applying the symmetry operators, the Klein Bottle propagator becomes: GK 2 = 2 piit (exp( i 2t (x2 + y2))Θ3( σ 2 − xb 2t , b2 2pit )Θ3( δ 2 − ya 2t , a2 2pit )+ exp( i 2t ((x+ b)2 + (−ȳ)2)− iσ 2 )∗ Θ3( σ 2 − (x+ b)b 2t , b2 2pit )Θ3( δ 2 + ȳa 2t , a2 2pit )+ exp( i 2t ((−x̄)2 + (y + a)2)− iδ 2 )∗ Θ3( σ 2 + x̄b 2t , b2 2pit )Θ3( δ 2 − (y + a)a 2t , a2 2pit )+ exp( i 2t ((−x̄+ b)2 + (−ȳ + a)2)− iσ 2 − iδ 2 )∗ Θ3( σ 2 + (x̄− b)b 2t , b2 2pit )Θ3( δ 2 + (ȳ − a)a 2t , a2 2pit )) (5.8) Applying the boundary conditions (3.8) associated with the symmetry operators to the final endpoints, we can transform x+ b = (xf + b)− xi −ȳ = −yf − yi } → { xf − xi = x yf − yi = y (5.9) Applying this transformation to individual terms in the propagator (5.8) and factoring yields: 17 Chapter 5. Klein Bottle Propagator GK 2 = 2 piit (1 + exp( −iσ 2 ) + exp( −iδ 2 ) + exp(− iσ 2 − iδ 2 ))∗ exp( i 2t (x2 + y2))Θ3( σ 2 − xb 2t , b2 2pit )Θ3( δ 2 − ya 2t , a2 2pit ) (5.10) 5.2 Klein Bottle Stationary State Propagator Now, as with the torus, we substitute the normalized states (3.13) and energies (3.14) into the stationary state expression for the propagator (4.7) which yields: GK 2 = ∑ k,l 4 ab sin( pikxf b + σxf 2b + pi 4 (1 + (−1)l))∗ sin( pikxi b + σxi 2b + pi 4 (1 + (−1)l)) ∗ ((Y )) ∗ exp(−iEK2kl t) (5.11) where ((Y)) denotes the equivalent function of x for y (y replaces x, l replaces k, δ replaces σ, etc.). Applying the product formula for sine, we have: GK 2 = ∑ k,l 1 ab (cos( pikx̄ b + σx̄ 2b + pi 2 (1 + (−1)l))− cos( pikx b + σx 2b )) ∗ ((Y )) ∗ exp(−iEK2kl t) (5.12) Rewriting as exponentials via Euler’s formula, and using: exp(i pi 2 (1 + (−1)l)) = exp(ipi(l + 1)) (5.13) the propagator becomes: 18 Chapter 5. Klein Bottle Propagator GK 2 = ∑ k,l 1 4ab ((exp(i(pik + σ 2 ) x̄ b + ipi(l + 1))+ exp(−i(pik + σ 2 ) x̄ b + ipi(l + 1)))− (exp(i(pik + σ 2 ) x b ) + exp(−i(pik + σ 2 ) x b )))∗ ((Y )) ∗ exp(−iEK2kl t) (5.14) Applying exp(ipi) = −1 and cancelling the resulting overall -1 factor on both ((X)) and ((Y)), with (3.14) substituted the propagator becomes: GK 2 = ∑ k,l 1 4ab (exp(i(pik + σ 2 ) x̄ b + ipil) + exp(−i(pik + σ 2 ) x̄ b + ipil)+ exp(i(pik + σ 2 ) x b ) + exp(−i(pik + σ 2 ) x b ))∗ exp(−it( σ 2 8b2 + σpik 2b2 + pi2k2 2b2 )) ∗ ((Y )) (5.15) Carrying out the cross-multiplication and substituting the theta function (2.9) yields 16 terms of similar structure, so it is useful to define the following function: F (u, v, w, z) =exp(i( σu 2b − σ 2t 8b2 + δv 2a − δ 2t 8a2 ))∗ Θ3( −σpit 4b2 + piw 2b ,− pit 2b2 ) ∗Θ3(−δpit4a2 + piz 2a ,− pit 2a2 ) (5.16) Substituting this into the propagator yields: 19 Chapter 5. Klein Bottle Propagator GK 2 = 1 4ab (F (x̄, ȳ, x̄+ b, ȳ + a) + F (x̄,−ȳ, x̄+ b,−ȳ + a)+ F (−x̄, ȳ,−x̄+ b, ȳ + a) + F (−x̄,−ȳ,−x̄+ b,−ȳ + a)+ F (x̄, y, x̄, y + a) + F (x̄,−y, x̄,−y + a)+ F (−x̄, y,−x̄, y + a) + F (−x̄,−y,−x̄,−y + a)+ F (x, ȳ, x+ b, ȳ) + F (x,−ȳ, x+ b,−ȳ)+ F (−x, ȳ,−x+ b, ȳ) + F (−x,−ȳ,−x+ b,−ȳ)+ F (x, y, x, y) + F (x,−y, x,−y)+ F (−x, y,−x, y) + F (−x,−y,−x,−y)) (5.17) Now, as with the symmetry propagator, we can apply the boundary conditions to transform individual terms. Recalling (5.9): x+ b = (xf + b)− xi −ȳ = −yf − yi } → { xf − xi = x yf − yi = y We can also write: x+ b = xf − (xi − b) ȳ = yf + yi } → { xf − xi = x yf − yi = y (5.18) Applying these transformations to the propagator (5.17) yields: GK 2 = 1 4ab (4F (x− b, y − a, x, y) + 2F (x, y − a, x, y)+ 2F (x,−y − a, x,−y) + 2F (x− b, y, x, y)+ 2F (−x− b, y,−x, y) + F (x, y, x, y)+ F (x,−y, x,−y) + F (−x, y,−x, y) + F (−x,−y,−x,−y)) (5.19) There is one last type of transformation we can generate from applying the boundary condition twice, once on each endpoint: x = (xf + b)− (xi + b) −y = −yf + yi } → { xf − xi = x yf − yi = y (5.20) which allows us to further collapse the propagator into: 20 Chapter 5. Klein Bottle Propagator GK 2 = 1 ab (F (x− b, y − a, x, y) + F (x, y − a, x, y)+ F (x− b, y, x, y) + F (x, y, x, y)) (5.21) Applying the Jacobi identity (2.11) to our function F, we can rewrite it as: F (u, v, w, z) =( 2ab ipit )exp(i( σu 2b − σ 2t 8b2 + δv 2a − δ 2t 8a2 ))∗ exp(i( −σpit 4b2 + piw 2b )2/ pi2t 2b2 )exp(i( −δpit 4a2 + piz 2a )2/ pi2t 2a2 )∗ Θ3(( −σpit 4b2 + piw 2b )/− pit 2b2 , 2b2 pit )∗ Θ3(( −δpit 4a2 + piz 2a )/− pit 2a2 , 2a2 pit ) (5.22) which simplifies to: F (u, v, w, z) =( 2ab ipit )exp(i( σ(u− w) 2b + w2 2t + δ(v − z) 2a + z2 2t ))∗ Θ3(( σ 2 − wb t ), 2b2 pit )Θ3(( δ 2 + za t ), 2a2 pit ) (5.23) Substituting this into our expression for the propagator (5.21) yields: GK 2 = 2 ipit (exp(i( −σ 2 + x2 2t + −δ 2 + y2 2t ))+ exp(i( x2 2t + −δ 2 + y2 2t )) + exp(i( −σ 2 + x2 2t + y2 2t ))+ exp(i( x2 2t + y2 2t )))Θ3(( σ 2 − xb t ), 2b2 pit )Θ3(( δ 2 + ya t ), 2a2 pit ) (5.24) which can be rewritten as: 21 Chapter 5. Klein Bottle Propagator GK 2 = 2 piit (1 + exp( −iσ 2 ) + exp( −iδ 2 ) + exp(− iσ 2 − iδ 2 ))∗ exp( i 2t (x2 + y2))Θ3( σ 2 − xb 2t , b2 2pit )Θ3( δ 2 − ya 2t , a2 2pit ) (5.25) in agreement with the symmetry propagator (5.10). 22 Chapter 6 Additional Constraints 6.1 Constraint Applied to Torus Suppose we wish to apply additional constraints to the systems, such as the constraint: pyψ = 0 (6.1) Imposition of such a constraint corresponds to the particle model of a gauge theory that is a simple analog of the one in [3]. Because of the phase that appears in the states we cannot simply use the old momentum operator py = −i∂y, but must instead determine a new momentum operator which includes the phase. As a first step in determining the new form, consider the effect of our old momentum operator on the state: pyψ T 2 rs = ( 2pis a + δ a )ψT 2 rs (6.2) Therefore a momentum operator of the form: pT 2C y = 1 i ∂y − δ a (6.3) will eliminate the constant factor and allow us to satisfy the constraint (6.1) which becomes: pT 2C y ψ T 2 rs = 2pis a ψT 2 rs = 0 (6.4) with the condition s=0. With the new momentum operator, the energy spectrum becomes: ET 2C rs = 1 2 (( 2pir b )2 + ( 2pis a )2) (6.5) and the constrained states and energies become: 23 Chapter 6. Additional Constraints ψT 2C r0 = 1√ ab exp( 2piirx b + iσx b + iδy a ) (6.6) ET 2C r0 = 1 2 ( 2pir b )2 (6.7) Note that the constrained system matches that of the circle with peri- odicity b, as is reasonable to expect given the nature of the constraint we’ve imposed. While the y coordinate still appears in the constrained state, the constraint implies that this term merely contributes an overall identical phase factor to the individual states. By redefining our coordinate system to shift the x-axis to position y, this phase factor can be eliminated. 6.2 Constraint Applied to Klein Bottle Now consider applying the same constraint (6.1) to the Klein Bottle. The old momentum operator py = −i∂y acting on our eigenstates (3.13) yields: pyψ K2 kl =− i √ 4 ab ( pil a + δ 2a )sin( pikx b + σx 2b + pi 4 (1 + (−1)l))∗ cos( pily a + δy 2a + pi 4 (1 + (−1)k)) =− i(pil a + δ 2a )ψ̃K 2 kl (6.8) so we see that our eigenstates of the Hamiltonian are not eigenstates of the old momentum operator. To see why that is, consider the commutator of py and SK 2 x : [py, SK 2 x ]f(x, y) =(−i∂ySK 2 x + S K2 x i∂y)f(x, y) =− i∂yf(x+ b,−y) + iSK2x ∂f(x, y) ∂y =− i∂f(x+ b,−y) ∂y − i∂f(x+ b,−y) ∂y 6= 0 (6.9) Since the operators do not commute, unlike on the torus, it is not possible to simultaneously diagonalize the states. Eigenstates of the Hamiltonian must also be eigenstates of the symmetry operator, so it is not possible to form eigenstates of the momentum operator. As such, we cannot impose 24 Chapter 6. Additional Constraints the constraint (6.1) on the Klein Bottle, since any candidate for a new momentum operator would also not commute with the symmetry operator. 25 Chapter 7 Conclusion By considering relative symmetries between two systems, one for which the propagator is known and one for which we wish to find the propagator, we have derived the desired propagator without applying any knowledge of the states of the target system. For the torus, we began with the circle and the knowledge that in both the x and y directions, motion around the torus replicates motion around the circle. For the non-standard (double-twist) Klein Bottle, we began with the torus and the knowledge that motion twice around the Klein Bottle in either direction replicates motion once around the torus. Armed with these relationships and the symmetries obeyed on each space, we have found the propagator for the torus and Klein Bottle. In each case, we have checked our result against the stationary state construction and found the propagators to agree. In this way, it should be possible to construct the propagator for more complex systems, provided one can relate the desired system to a simpler one for which the propagator is known. For example, the standard (single- twist) Klein Bottle is a mix between the two systems solved here, and as such its propagator would be a blend between the torus propagator in one dimension and the non-standard Klein Bottle in the other. One can treat composite systems in much the same way, eg: the torus is composed of two circles, one in each dimension x and y. Furthermore, we have also treated briefly the topic of applying further constraints to these systems. As a result, we have shown that not all con- straints are viable candidates to be applied, they must commute with the symmetry operators of the system. On the torus, the constraint pyψ = 0 does commute with the symmetries, and the resulting constrained states re- semble those of the circle as expected. On the Klein Bottle, the momentum operator does not commute with one of the symmetries (namely, SK 2 x ), and so the constraint cannot be applied. Attempting to do so exposed the fact that the eigenstates of the Hamiltonian are not eigenstates of the momentum operator. 26 Bibliography [1] T. M. Apostol. Mathematical Analysis. Addison-Wesley, 2nd edition, 1974. [2] J. S. Dowker. Quantum mechanics and field theory on multiply con- nected and on homogeneous spaces. J. Phys. A: Gen. Phys., 5(936), 1972. [3] R. Friedberg et al. A soluble gauge model with gribov-type copies. An- nals Phys., 246(381), 1996. [4] M. G. G. Laidlaw and C. M. DeWitt. Feynman functional integrals for systems of indistinguishable particles. Phys. Rev. D, 3(1375), 1971. [5] L. S. Schulman. A path integral for spin. Phys. Rev., 176(1558), 1968. [6] L. S. Schulman. Techniques and Applications of Path Integration. Wiley, 1981. 27 Appendix A Jacobi Theta Function Identities Beginning with the definition of the Jacobi theta function (2.9): Θ3(Z, T ) = ∞∑ n=−∞ exp(ipin2T + 2inZ) (A.1) we first prove the periodicity identity (2.10), where for (a, b) ∈ Z: Θ3(Z + api + bpiT, T ) = ∑ n exp(ipin2T + 2in(Z + api + bpiT )) = ∑ n exp(ipin2T + 2inZ + 2inbpiT )exp(2piina) (A.2) The second factor in the sum is unity for all values of n and a, and completing the square on b yields: Θ3(Z + api + bpiT, T ) = ∑ n exp(ipin2T + 2inZ + 2inbpiT + ipib2T − ipib2T ) = ∑ n exp(ipi(n+ b)2T + 2inZ − ipib2T ) (A.3) Finally, we re-index the sum from n to n+b, continuing to write it as being over n (since it goes from -∞ to ∞): 28 Appendix A. Jacobi Theta Function Identities Θ3(Z + api + bpiT, T ) = ∑ n exp(ipin2T + 2i(n− b)Z − ipib2T ) = ∑ n exp(ipin2T + 2inZ)exp(−2ibZ − ipib2T ) = Θ3(Z, T )exp(−2ibZ − ipib2T ) (A.4) which gives us the identity (2.10). Proving the second required identity for the Jacobi theta function (2.11), we begin by applying the Poisson summation formula to the theta function in a more general form than presented by Apostol [1], for which only the Z=0 case is proven: Θ3(Z, T ) = ∞∑ n=−∞ eipin 2T+2inZ = ∞∑ n=−∞ ∫ ∞ −∞ eipix 2T+2ixZe2piixndx (A.5) Recognizing the integral on the right as the Fourier transform of the theta function, we find: Θ3(Z, T ) = ∞∑ n=−∞ (−iT )−1/2exp(−i(Z + pin) 2 piT ) = (−iT )−1/2e−iZ2/piT ∞∑ n=−∞ exp(−2iZn T − ipin 2 T ) (A.6) which, using Θ3(−Z, T ) = Θ3(Z, T ), gives us the second identity (2.11): Θ3(Z, T ) = (−iT )−1/2exp(Z2/ipiT )Θ3(Z/T,−1/T ) (A.7) 29
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Path integrals for multiply connected spaces
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Path integrals for multiply connected spaces Scholte-van de Vorst, Matthew 2009
pdf
Notice for Google Chrome users:
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
Page Metadata
Item Metadata
Title | Path integrals for multiply connected spaces |
Creator |
Scholte-van de Vorst, Matthew |
Publisher | University of British Columbia |
Date Issued | 2009 |
Description | We derive the propagator for a particle constrained to a torus and to a Klein Bottle. This is accomplished by considering relative symmetries between the desired system and a system for which the propagator is known. This result is checked against the propagator derived via the method of stationary state construction, for which the entire spectrum of the Hamiltonian is required. We also briefly consider the application of further constraints to the systems, and the implications of different symmetries on the same constraint. |
Extent | 234478 bytes |
Genre |
Thesis/Dissertation |
Type |
Text |
FileFormat | application/pdf |
Language | eng |
Date Available | 2009-08-31 |
Provider | Vancouver : University of British Columbia Library |
Rights | Attribution-NonCommercial-NoDerivatives 4.0 International |
DOI | 10.14288/1.0070863 |
URI | http://hdl.handle.net/2429/12635 |
Degree |
Master of Science - MSc |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
GraduationDate | 2009-11 |
Campus |
UBCV |
Scholarly Level | Graduate |
Rights URI | http://creativecommons.org/licenses/by-nc-nd/4.0/ |
AggregatedSourceRepository | DSpace |
Download
- Media
- 24-ubc_2009_fall_scholte_van_de_vorst_matthew.pdf [ 228.98kB ]
- Metadata
- JSON: 24-1.0070863.json
- JSON-LD: 24-1.0070863-ld.json
- RDF/XML (Pretty): 24-1.0070863-rdf.xml
- RDF/JSON: 24-1.0070863-rdf.json
- Turtle: 24-1.0070863-turtle.txt
- N-Triples: 24-1.0070863-rdf-ntriples.txt
- Original Record: 24-1.0070863-source.json
- Full Text
- 24-1.0070863-fulltext.txt
- Citation
- 24-1.0070863.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
data-media="{[{embed.selectedMedia}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.24.1-0070863/manifest