* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Relation Between Schrödinger and Polymer Quantum Mechanics
Quantum field theory wikipedia , lookup
Quantum teleportation wikipedia , lookup
Quantum entanglement wikipedia , lookup
Dirac bracket wikipedia , lookup
Interpretations of quantum mechanics wikipedia , lookup
Copenhagen interpretation wikipedia , lookup
Matter wave wikipedia , lookup
Coupled cluster wikipedia , lookup
Wave–particle duality wikipedia , lookup
Dirac equation wikipedia , lookup
History of quantum field theory wikipedia , lookup
Renormalization wikipedia , lookup
Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup
Coherent states wikipedia , lookup
Hidden variable theory wikipedia , lookup
Quantum group wikipedia , lookup
Density matrix wikipedia , lookup
Topological quantum field theory wikipedia , lookup
Probability amplitude wikipedia , lookup
Wave function wikipedia , lookup
Relativistic quantum mechanics wikipedia , lookup
Quantum state wikipedia , lookup
Molecular Hamiltonian wikipedia , lookup
Scalar field theory wikipedia , lookup
Path integral formulation wikipedia , lookup
Compact operator on Hilbert space wikipedia , lookup
Renormalization group wikipedia , lookup
Hilbert space wikipedia , lookup
Symmetry in quantum mechanics wikipedia , lookup
Self-adjoint operator wikipedia , lookup
Canonical quantum gravity wikipedia , lookup
Relation Between Schrödinger and Polymer Quantum Mechanics Alejandro Corichi UNAM [email protected] Work in collaboration with: T. Vukašinac and J.A. Zapata 1 MOTIVATION • What is the relation between the polymer and Schrödinger representations? • Can we consider a continuum limit? • What is then the continuum limit? • What if it exists? • What if there isn’t any? • SHO vs LQC, are they similar? 2 PLAN OF THE TALK 1. Motivation 2. From Schrödinger to Polymer 3. Polymer Representation 4. Continuum Limit 5. Simple Harmonic Oscillator 6. Free Particle 7. Polymer Quantum Cosmology 3 2. Preliminaries From loop quantum gravity, we have learned that the only way to construct diffeomorphism invariant theories is to start H with exponentiated objects, like holonomies: he(A) = P exp( A). Is there a price? Yes! The quantum theory becomes discontinuous. This means that for a system with p̂ and q̂ as fundamental coordinates, one of them becomes ill-defined. But if the Hamiltonian is of the form H = p2 + V (q), we can not define it on the Kinematical Hilbert space H. Can we do something about it? Not directly! 4 But we can attempt the next best thing: Regularize the operator! But, how? General strategy: approximate the non-existing operator by a different (finite) operator that does exist. In general, there will be a regulator that does not go away. If we don’t have diffeo invariance (as in LQG a la Thiemann), how can we get rid of the regulator? The objective of this talk is to explore this issue. Namely, can we take this regulator away and thus arrive at the ‘continuum limit’ ? Is there a generic result? Case by case? 5 From Schrödinger to Polymer Our starting point will be Γ = R2 with coordinates (q, p) thereon. Here the starting point is the algebra generated by the exponentiated versions of q̂ and p̂ that are denoted by, U (α) = ei(α q̂)/~ ; V (β) = ei(β p̂)/~ The CCR now become U (α) · V (β) = e(−iα β)/~V (β) · U (α) (1) and the rest of the product is, U (α1) · U (α2) = U (α1 + α2) ; V (β1) · V (β2) = V (β1 + β2) The Weyl algebra W is generated by taking finite linear combinations of the generators U (αi) and V (βi). Quantization means finding an unitary representation of the Weyl algebra W on a Hilbert space H0. A ‘Fock type’ representation involves a complex structure J, a linear mapping from Γ to itself such that J 2 = −1. In6 2 dimensions, all the freedom is in the choice of a parameter d with dimensions of length. For k = p/~, we have Jd : (q, k) 7→ (−d2 k, q/d2) This object together with the symplectic structure: Ω((q, p); (q 0, p0)) = q p0 − p q 0 define an inner product on Γ: gd(· ; ·) = Ω(· ; Jd ·) such that: 1 d2 0 0 gd((q, p); (q , p )) = 2 q q + 2 p p d ~ The representation of the Weyl algebra is then, when acting of functions φ(q): 0 0 Û (α) · φ(q) := (eiα q/~ φ)(q) and, V̂ (β) · φ(q) := e β (q−β/2) d2 φ(q − β) One defines an algebraic state (a positive linear functional) ωd : W → C, that must coincide with the vacuum expectation value in the Hilbert space: ωd(a) = hâi0, for all a ∈ W. In our case this the specification of J induces 7 such a unique state ωd that yields, 2 2 2 − 14 d 2α hÛ (α)ivac = e and ~ − 41 β2 hV̂ (β)ivac = e d Wave functions belong to the space L2(R, dµd), where the measure that dictates the inner product in this representation is given by, 1 − q22 dµd = √ e d dq d π In this representation, the vacuum is given by the identity function φ0(q) = 1 that is, just as any other plane wave, normalized. There is an isometric isomorphism K that maps the d-representation in Hd to the standard Schrödinger representation in Hschr by: ψ(q) = K · φ(q) = 2 −q2 e 2d 2 φ(q) ∈ H = L (R, dq) schr 1/4 d1/2π All d-representations are unitarily equivalent. Note also that the vacuum now 8 becomes 2 1 −q2 ψ0(q) = 1/2 1/4 e 2 d , d π The 1/d 7→ 0 limit. The measure behaves as: 1 1 − q22 d dµd = √ e dq 7→ √ dq d π d π The inner product between two such states is given by Z (λ−α)2 d2 iλq − − iαq hφα, φλid = dµd e ~ e ~ = e 4 ~2 It is immediate to see that in the 1/d 7→ 0 limit the inner product becomes, hφα, φλid 7→ δα,λ 9 (2) with δα,λ being Kronecker’s delta. We see then that the plane waves φα(q) become an orthonormal basis for the new Hilbert space. Let us see the action of the operator V̂ (β) on the basis φα(q): 2 − β 2 −i αβ ~ V̂ (β) · φα(q) = e 2d 2 +iα/~)q e(β/d which in the limit 1/d 7→ 0 goes to, i αβ ~ V̂ (β) · φα(q) 7→ e φα(q) that is continuous on β. Thus, in the limit, the operator p̂ = −i~∂q is well defined. Also, note that in this limit the operator p̂ has φα(q) as its eigenstate with eigenvalue given by α: p̂ · φα(q) 7→ α φα(q) 10 Polymer Quantum Mechanics: Kinematics Define abstract kets |µi labeled by a real number µ in the Hilbert space Hpoly . A generic ‘cylinder states’ corresponds to a choice of a finite collection of numbers νi ∈ R with i = 1, 2, . . . , N . Associated to this choice, there are N vectors |µii, so we can take a linear combination of them |ψi = N X ai |µii (3) i=1 The polymer inner product between the kets is given by, hν|µi = δν,µ (4) The kets are orthogonal to each other (when ν 6= µ) and they are normalized (hµ|µi = 1). Immediately, this implies that, given any two vectors |φi = PN PM i=1 ai |µi i, the inner product between them is given j=1 bj |νj i and |ψi = by, 11 hφ|ψi = XX i b̄j ai hνj |µii = j X b̄k ak k where the sum is over k that labels the intersection points between the set of labels {νj } and {µi}. The Hilbert space Hpoly is the Cauchy completion of finite linear combination of the form (3) with respect to the inner product (4). Hpoly is non-separable. There are two basic operators on this Hilbert space: the ‘label operator’ ε̂: ε̂ |µi := µ |µi and the displacement operator ŝ (λ), ŝ (λ) |µi := |µ − λi The operator ε̂ is symmetric and the operator(s) ŝ(λ) unitary but discontinuous. 12 Polymer Quantum Mechanics: Dynamics Consider the case of a particle of mass m in a potential V (q): 1 2 H= p + V (q) 2m We are in trouble. Why? In the polymer representation we can either represent q or p, but not both! What to do then? The only thing possible: approximate the non-existing term by a well defined function that can be quantized and hope for the best. Let us chose the position to be discrete, so p̂ does not exist. With this choice, the kinetic term p̂2/2m has to be approximated, for any potential. How is this done? The standard prescription is to define, on the configuration space C, a regular ‘graph’ γµ0 . This consists of a numerable set of points, equidistant, and characterized by a parameter µ0 that is the (constant) separation between points. The simplest example would be to consider the set γµ0 = {q ∈ R | q = n µ0 , ∀ n ∈ Z}. 13 The basic kets are: |µni that correspond to labels µn belonging to the graph γµ0 , that is, µn = n µ0. Thus, we shall only consider states of the form, X |ψi = an |µni . (5) n This ‘small’ Hilbert space Hγµ0 , the graph Hilbert space, belongs to the ‘large’ polymer Hilbert space Hpoly but is separable. The condition for a state of the P form (5) to belong to the Hilbert space Hγµ0 is that: n |an|2 < ∞. What about p̂2/2m? If we want to remain in the graph γ, and not create ‘new points’, then one is constrained to considering operators that displace the kets by just the right amount. That is we want the basic shift operator ŝ(λ) to be such that it maps the ket with label |µni to the next ket, namely |µn+1i. Fix, once and for all, the value of the allowed parameter λ to be λ = µ0. ŝ(−µ0) · |µni = |µn + µ0i = |µn+1i This basic ‘shift operator’ is the building block for approximating any (polyno14 mial) function of p. The function p is approximated by, µ p ~ ~ 0 p≈ sin = [s(µ0) − s(−µ0)] µ0 ~ 2iµ0 where the approximation is good for p << ~/µ0. Thus, the regulated operator p̂µ0 that depends on the ‘regulator’ µ0 is: i~ p̂µ0 · |µni := (|µn+1i − |µn−1i) (6) 2µ0 To regulate the operator p̂2, there is an operator that only involves shifting once again: 2 ~ p̂2µ0 · |µni := 2 (2|µni − |µn+1i − |µn−1i) (7) µ0 which corresponds to the approximation p2 ≈ 2~2 (1 µ20 − cos(µ0 p/~)), valid also in the regime p << ~/µ0. The operator Ĥµ0 , that ‘lives’ on Hγµ0 is, 1 2 Ĥµ0 := p̂µ0 + V̂ (q) 2m15 (8) Polarizations Let us now explore the two possible polarizations. In the q-polarization, the basis, labeled by n: hq|ni = χn(q) = δq,µn (9) That is, the wave functions will only have support on the set γµ0 . Alternatively, one can think of a state as completely characterized by the ‘Fourier coefficients’ an: ψ(q) ↔ an, which is the value that the wave function ψ(q) takes at the point q = µn = n µ0. Thus, the Hamiltonian is a difference equation when acting on ψ(q). Solving the time independent Schrödinger equation Ĥ · ψ = E ψ amounts to solving the difference equation for the coefficients an. 16 In the momentum polarization, the operator p̂2µ0 acts as a multiplication operator: µ p i 2h 2~ 0 p̂2µ0 · ψ(p) = 2 1 − cos ψ(p) µ0 ~ (10) The operator q̂ is a derivative: q̂ · ψ(p) := −i~ ∂p ψ(p). (11) A generic potential V (q) has to be defined by means of spectral theory defined now on a circle. Why on a circle? By restricting to a regular graph γµ0 , the functions of p that preserve it (when acting as shift operators) are of the form e(i m µ0 p/~) for m integer. 17 That is, what we have are the Fourier modes, labeled by m, of period 2π~/µ0 in the now periodic coordinate p. Can we pretend that the variable p is now compactified? Yes! The inner product on periodic functions ψµ0 (p) of p coming from the full Hilbert space Hpoly and given by: Z L 1 hφ(p)|ψ(p)ipoly = lim dp φ(p) ψ(p) L7→∞ 2L −L is equivalent to the inner product on the circle: Z π~/µ0 µ0 dp φ(p) ψ(p) hφ(p)|ψ(p)iµ0 = 2π~ −π~/µ0 with p ∈ (−π~/µ0, π~/µ0). 18 Remark: As long as one restrict attention to the graph γµ0 , one can work in this separable Hilbert space Hγµ0 of square integrable functions on S 1. Immediately, one can see the limitations (or not?) of this description: i) If the mechanical system has complete orbits for which this approximation is valid, then one could expect that both the effective classical and the polymeric quantum descriptions should approximate the standard one. ii) If, on the other hand, the mechanical system to be quantized is such that its orbits have values of the momenta p that are not small compared with π~/µ0 then the approximation taken will be very poor, and we don’t expect neither the effective classical description nor its quantization to be close to the standard one. 19 3. Continuum Limit The dynamical theory as presently defined has a regulator µ0 6= 0. Intuitively we expect that in the limit µ0 → 0 we recover the ‘continuum theory’. Do we? But exactly what does this mean? If we just make µ0 smaller we change the quantum theory, but in what sense can be sure that we are approaching ‘the’ continuum theory. If we just lie in Hpoly and refine the lattice, in the limit we would get a state as: X Ψ(q) = Ψ(µ) χµ(q) µ where the sum is over a continuous parameter µ. Its associated norm in Hpoly,x 20 is: |Ψ(q)|2poly = X |Ψ(µ)|2 → ∞ µ which blows up. This does not work. Next idea? We can define the notion of a scale defined by regular decomposition Cn, with intervals of length µn = µ0/2n, and approximate functions on the continuum by step functions. That is, we define an embedding, for each scale Cm from Hpoly to HSchr by means of a step function: X X Ψ(nµm) χnµm (q) → Ψ(nµm) χαn (q) ∈ HSchr n n with χαn (q) a characteristic function on the interval αn = (nµm, (n + 1)µm). 21 .... ... .. ... .. .................................... . . . . ... ... ..... . . ... ... . .... ... . ................... ....................... .. .. .. ... . .. . . ... .. .. ... . . . . . . ... . . .. .. .... . ... . .. . . . .... . . . . . ...................... . . . . ................... ....... . . . . . . . . ........ . ............... . . . . ......................... . . . . . . . . . . . ....... . ..................... . . . . . . . . . . . . . . . . . . . ....................... ........................... .... . . ................................................................................................................................................................................................................................................................. [ ) [ ) [ ) Ψ [ ) [ ) 0,SHO [ ) [ ) | | | | | | | | | | | | | Cm R Figure 1: The solid continuous line represents the graph of a Schrödinger state Ψ0,Sch and the piecewise constant function represents Ψren 0,Cm . We have to define the limit of the Hamiltonian ‘at scale’ Cm, and for Hamiltonians of the form H = p2 + V (q) it can be defined. Let us denote the kinematic polymeric Hilbert space at the scale Cn as HCn , and his basis elements as eαi,Cn , where αi = [ian, (i + 1)an) ∈ Cn. By construction this basis is orthonormal. The basis elements in the dual Hilbert space HC∗ n we denote by ωαi,Cn . They are also orthonormal. We define d∗m,n : HC∗ n → HC∗ m 22 as the ’coarse graining’ map between the dual Hilbert spaces, that sends the part of the elements of the dual basis to zero while keeping the information of the rest: d∗m,n(ωαi,Cn ) = ωβj ,Cm if i = j2n−m, in the opposite case d∗m,n(ωαi,Cn ) = 0. We define the quadratic form hn : HCn → R, given by hn(ψ) = λ2Cn (ψ, Hnψ), where λ2Cn is a normalizaton factor. We will see later that this rescaling of the inner product is necessary in order to guarantee the convergency of the renormalized theory. The completely renormalized theory at this scale is obtained as ? hren (12) m := lim dm,n hn . Cn →R and the renormalized Hamiltonians are compatible with each other, in the sense that ren d?m,nhren = h n m . In order to analyze the conditions for the convergence in (12) let us express the Hamiltonian in terms of its eigen covectors end eigen values. We will work with effective Hamiltonians that have a purely discrete spectrum (labelled by 23 ν) hn · Ψν,Cn = Eν,Cn Ψν,Cn . Thus, we can write νcut−off ν hmcut−off = X Eν,Cm Ψν,Cm ⊗ Ψν,Cm , (13) ν=0 where the eigen covectors Ψν,Cm ∈ HC? m are normalized according to the inner product rescaled by λ21 , and the cut-off can vary up to a scale dependent bound, Cn νcut−off ≤ νmax(Cm). In the presence of a cut-off, the convergence of the microscopically corrected Hamiltonians, equation (12) is equivalent to the existence of the following two limits. The first one is the convergence of the energy levels, lim Eν,Cn = Eνren . Cn →R (14) Second is the existence of the completely renormalized eigen covectors, ? ? ⊂ Cyl ∈ H lim d?m,n Ψν,Cn = Ψren x. ν,Cm Cm Cn →R 24 (15) When the completely renormalized eigen covectors exist, they form a collection that is d?-compatible. The collection of the d?-compatible Hamiltonians can be extended to act on ν ren Hpoly,x. In that case we can define the Hamiltonian (with cut-off) hRcut−off : Hpoly,x → R in the continuum as ν hRcut−off ren ν (δx0,q ) := lim hncut−off Cn →R ren ([δx0,q ]Cn ), (16) where x0 is a vertex of one of the intervals at some scale Cn. The normalization factors that lead to the convergences needed is λ2Cn = 2n, so that the renormalized inner product in Hn? is 1 = (ωαi , ωαj )ren δij . (17) Cn n 2 Let’s call HC?ren the resulting Hilbert space of covectors. n The sequence of d?-compatible normalizable covectors define an element of ←−?ren H R , which is the projective limit of the renormalized spaces of covectors 25 ←− ←−?ren H R = lim Cn →R HC?ren . n (18) The inner product in this space is defined by ren ({ΨCn }, {ΦCn })ren R := lim (ΨCn , ΦCn )Cn . Cn →R Since the inner product is degenerate, the physical Hilbert space is defined as ? Hphys ←−?ren := H R / ker(·, ·)ren R ?? Hphys := Hphys There exists an unitary anti-isomorphism from the Hilbert space in the Schrödinger representation L2(R, dx) to Hphys. The set of the completely renormalized proper covectors of the effective theories converge as Cn → R to a completely renormalized proper covector in the continuum. This covector when acting on the basis of Hpoly,x produces the shadow of the Schrödinger wave functions. Let’s see an example: 26 4. Simple Harmonic Oscillator In this part, let us consider the example of a Simple Harmonic Oscillator (SHO) with parameters m and ω, classically described by the following Hamiltonian 1 2 1 H= p + m ω 2 q 2. 2m 2 p Recall that from these parameters one can define a length scale D = ~/mω. In the standard treatment one uses this scale to define a complex structure JD (and an inner product from it), as we have described in detail that uniquely selects the standard Schrödinger representation. At scale Cn we have an effective Hamiltonian for the Simple Harmonic Oscillator (SHO) given by ~2 h an p i 1 2 2 HCn = 1 − cos + m ω q . (19) 2 man ~ 2 27 If we interchange position and momentum, this Hamiltonian is exactly that of a pendulum of mass m, length l and subject to a constant gravitational field g: ~2 d2 ĤCn = − + mgl(1 − cos θ) 2 2 2ml dθ where those quantities are related to our system by, ~ ~ω p an l= , g= , θ= m ω an m an ~ That is, we are approximating, for each scale Cn the SHO by a pendulum. The quantum system will have a spectrum for the energy that has two different asymptotic behaviors, the SHO for low energies and the planar rotor in the higher end. As we refine our scale and both the length of the pendulum and the height of the periodic potential increase, we expect to have an increasing number of oscillating states (for a given pendulum system, there is only a finite number of such states). 28 The relevant question is whether the conditions for the continuum limit to exist are satisfied. This question has been answered in the affirmative in gr-qc/0610072: The eigen-vectors and eigen functions of the discrete systems, which represent a discrete and non-degenerate set, approximate those of the continuum, namely, of the standard harmonic oscillator. For HCn · Ψν,n = Eν,n Ψν,n, we have Ψν,n → Ψν,SHO for n → ∞, and for all ν labeling the excited levels. Also, Eν,n → Eν,SHO In the sense explained before. This convergence implies that the continuum limit exists as we understand it. What happens then to other systems such as a free particle? 29 4. Free Polymer Particle The Hamiltonian of a free particle and the corresponding time independent Schrödinger equation, in the p−polarization, is given by 2 ~ anp (1 − cos ) − ECn ψ̃(p) = 0 2 man ~ π~ where we now have that p ∈ S 1, with p ∈ (− π~ , an an ). In this case the spectrum is continuum. There is an upper bound in the value of the energy: Emax = 2~2/ma2n. For the polymer free particle we have, ψ̃Cn (p) = c1δ(p − PCn ) + c2δ(p + PCn ) 30 The inverse Fourier transform yields, in the ‘x representation’, √ Z π~/an i an ~ 2π 1 ψ̃(p) e ~ p j dp = c1eixj PCn /~ + c2e−ixj PCn /~ . ψCn (xj ) = √ an 2π −π~/an with xj = an j for j ∈ Z. In the limit n → ∞, ECn → E = p2/2m so we can be certain that the eigenvalues for the energy converge (when fixing the value of p). The covectors are ?ren ΨCn = (ψCn , ·)ren Cn ∈ HCn . Then we can bring microscopic corrections to scale Cm and look for convergence of such corrections . Ψren = lim d?ΨCn . Cm n→∞ It is easy to see that given any basis vector eαi ∈ HCm the following limit Ψren Cm (eαi ) = lim ΨCn (d(eαi )) Cn →∞ exists and thus ansures that we do recover the standard theory. 31 5. Polymer Quantum Cosmology The is a mass-less scalar field ϕ. The metric is of the form: ds2 = −dt2 + a2(t) (dx2 + dy 2 + dz 2) In terms of the coordinates (a, pa, ϕ, pϕ) for the phase space Γ of the theory, all the dynamics is captured in the Hamiltonian constraint p2ϕ 3 p2a + 8πG ≈0 C := − 3 8 |a| 2|a| One can rewrite the equation as: p2ϕ 3 2 2 pa a = 8πG 8 2 At his point we have the freedom in choosing the variable that will be quantized and the variable that will not be well defined in the polymer representation. The 32 standard choice is that pa is not well defined and thus, a and any geometrical quantity derived from it, is quantized. Let us now consider this polymer description from the perspective of its effective classical theory. Let us replace pa 7→ sin(λ pa)/λ. The effective classical Hamiltonian constraint is: p2ϕ 3 sin(λ pa)2 Cλ := − + 8πG ≈0 8 λ2|a| 2|a|3 We can compute effective equations of motion by means of the equations: Ḟ := {F, Cλ}, for any observable F ∈ C ∞(Γ), and where we use the effective action: Z Sλ = dτ (pa ȧ + pϕ ϕ̇ − N Cλ) with the choice N = 1. For the WdW, if ȧ < 0 initially, it will remain negative and the universe collapses, reaching the singularity in a 33finite proper time. In the previous cases, one could have classical trajectories that remained, for a given choice of parameter λ, within the region where sin(λp)/λ is a good approximation to p. But in PQC, for any value of pϕ (that uniquely fixes the trajectory in the (a, pa) plane), there will be a bounce: Every classical trajectory will pass from a region where the approximation is good to a region where it is not; this is where the ‘quantum corrections’ kick in and the universes bounces. We shall have wave functions Ψ(a, ϕ). With this choice and a particular factor ordering we have, " # 2 1 ∂ 32π 2 ∂ 2 sin(λa) + `p · Ψ(a, ϕ) = 0 2 λ ∂a 3 ∂ϕ as the Polymer Wheeler-DeWitt equation. 34 Summary • One can obtain the kinematical structure of the polymer representation as a limit of Schrödinger (Dynamics?) • The continum limit can be defined for ’well defined’ systems. • Examples of these sytems are given by the harmonic oscillator and the free particle. • Polymer quantum cosmology has a classical behavior radically different. Continumm limit becomes much more subtle! • Stay tuned! 35 BIBLIOGRAPHY More details can be found in: gr-qc/0610072 and gr-qc/07-SOON 36