Arxiv:1911.04248V3 [Gr-Qc] 10 Jan 2020
Total Page:16
File Type:pdf, Size:1020Kb
Modified commutators are not sufficient to determine a quantum gravity minimal length scale Michael Bishop∗ Mathematics Department, California State University Fresno, Fresno, CA 93740 Jaeyeong Leey and Douglas Singletonz Physics Department, California State University Fresno, Fresno, CA 93740 (Dated: January 13, 2020) Abstract In quantum gravity it is generally thought that a modified commutator of the form [^x; p^] = 2 i~(1 + βp ) is sufficient to give rise to a minimum length scale. We test this assumption and find that different pairs of modified operators can lead to the same modified commutator and yet give different or even no minimal length. The conclusion is that the modification of the operators is the main factor in determining whether there is a minimal length. This fact - that it is the specific form of the modified operators which determine the existence or not of a minimal length scale - can be used to keep or reject specific modifications of the position and momentum operators in theory of quantum gravity . arXiv:1911.04248v3 [gr-qc] 10 Jan 2020 ∗Electronic address: [email protected] yElectronic address: [email protected] zElectronic address: [email protected] 1 I. QUANTUM GRAVITY MINIMAL LENGTH SCALE There are generic and broad arguments that any theory of quantum gravity should have some fixed fundamental minimal length scale [1{5]. As pointed out in [6], a fundamental length scale can be obtained generically from many different approaches to quantum grav- ity (e.g. string theory, loop quantum gravity, path integral quantum gravity) and would have many important observable consequences for cosmology such as the smoothing of the ultraviolet behavior of particle physics and the small distance structure of the Lorentz trans- formations. At low momentum, the relationship between the uncertainty in position and const: momentum should take the standard form, namely ∆x∆p ∼ const: ) ∆x ∼ ∆p . At large enough momentum, quantum gravity arguments indicate a linear relationship between ∆x and ∆p, namely ∆x ∼ ∆p [1] [5]. These physically motivated arguments imply the following generalized uncertainty principle (GUP) [7] " # ∆x∆p ≥ ~ 1 + β(∆p)2 ; (1) 2 where β is a phenomenological parameter that is assumed to be connected with the scale 1 of quantum gravity. The GUP in (1) leads to the relationship ∆x ∼ ∆p + β∆p which, as p shown in [8], leads to a minimum length of order β. Good reviews of the appearance of a minimal length scale in quantum gravity can be found in [9, 10]. One important feature of this phenomenological GUP approach to a minimal length scale from quantum gravity is that these models open up the possibility of experimental tests. A recent overview of the status of experimental tests and experiment limits in GUP models can be found in [11]. Any uncertainty principle between position and momentum is connected with a commu- tator between position and momentum operators. In reference [8], Kempf, Mangano, and Mann (KMM) connected the GUP in equation (1) with the following modified commutator 0 0 2 [^x ; p^ ] = i~(1 + βp ) : (2) The primes on the position and momentum operators on the left hand side of (2) indicate that these operators are modified versions of the standard quantum position operator (^x = i~@p in momentum space orx ^ = x in coordinate space) and momentum operator (^p = −i~@x in coordinate space orp ^ = p in momentum space). In this work, primed operators will indicate modified operators and unprimed will be the usual operators. On the right hand side 2 of (2), the p2 term is the standard quantum momentum and not the modified momentum. In the following section, we show that there are a host of different ways to modify the operators, x^0 andp ^0, which yield the exact same modified commutator in equation (2). However, these different ways to modify the position and momentum operators do not all lead to the GUP in (1) and do not all lead to a minimum length. This is the main point of this work { that it is the modification of the position and momentum operators, more than the modification of the commutator, which determines if there is a minimum length scale. II. MODIFIED UNCERTAINTY RELATIONSHIP For two generic operators A and B, the connection between their uncertainties ∆A and ∆B and their commutator [A; B] is given by [12] 1 ∆A∆B ≥ j h[A; B]i j : (3) 2 We now apply the relationship in (3) to the various operators in the previous section and show that despite all the operators having the same modified commutator, the uncertainty relationship is qualitatively different for the different operators. We begin by examining the original KMM modified operators [8] wherex ^0 = i~(1 + βp2) andp ^0 =p ^,(i.e. the momentum operator is not modified). Inserting these into (3) yields ∆x0∆p ≥ ~ 1 + β(∆p)2 + βhp^i2 ; (4) 2 where we have used (∆p)2 = hp^2i−hp^i2. An important point to note is that we have written ∆p rather than ∆p0 since the momentum operator just is the standard one. This is not the case for all the other modified operators. One can write ∆x0 as a function of ∆p and find 0 1 that ∆x ∼ ∆p + β∆p. As shown in [8], this leads to a minimal uncertainty in position of p ∆x0 = ~ β. A key point in obtaining this minimal distance, connected with the modified position and momentum operators of [8], is that the momentum operator is simply the regular momentum operator from quantum mechanics. Thus, the ∆p which appears on the left hand side and right hand side of (4) are the same. This is what allows one to write a direct lower bound on 0 1 ∆x . The competition between a decreasing ∆p and an increasing ∆p term leads a strictly positive lower bound on ∆x0 and a minimum length scale. When the modified momentum 3 operator is different from the usual momentum operator then equation (4) is replaced by ∆x0∆p0 ≥ ~ 1 + β(∆p)2 + βhp^i2 ; (5) p 2 0 0 where pp indicates that the p (the modified momentum operator) is a function of p (the 0 standard momentum operator). This function ∆pp will in general be different for each 0 0 different modified momentum operatorp ^ . Depending on the specific form of pp, (5) may still have a global minimum for ∆x0, or it may have only a local minimum for ∆x0, or may 0 0 not lead to a minimum for ∆x at all. For example, if the functional dependence of ∆pp on 0 γ 0 const: β ∆p is of the form ∆pp / (∆p) then the relationship in (5) would yield ∆x ∼ (∆p)γ + ∆pγ−2 . If 0 ≤ γ ≤ 2 then there exists a minimum length scale, although for γ = 0 this minimum scale occurs at ∆p = 0, which is unphysical. Thus the existence or not of a minimum length 0 scale depends crucially on the functional form of ∆pp in terms of ∆p, which ultimately depends on the relationship betweenp ^0 andp ^. In general, (5) can be used to put a lower bound on ∆x0 of the form 2 2 0 ~ (1 + β(∆p) + βhp^i ) ∆x = 0 : (6) 2 ∆pp The difficulty in the above approach in finding whether or not there is a minimum length 0 is that it is hard to write down the functional relationship between ∆pp and ∆p, i.e. to find 0 ∆pp as a function of ∆p. To deal with this issue, we will examine (6) for specific states, 0 jΨtesti in the following section. This will allow the explicit calculations of ∆pp and ∆p. We then investigate whether or not the generalized uncertainty principle (GUP) in equation (6) gives a minimum length. III. DETERMINATION OF MINIMAL LENGTHS FOR VARIOUS MODIFIED POSITION AND MOMENTUM OPERATORS There is a large family of modified operators which all have the commutation relation [x0; p0] = i~(1 + βp2). The modification of the position and momentum operator of reference [8] which gave the modified commutator in (2) was 0 2 0 x^ = i~(1 + βp )@p ;p ^ = p : (7) The modified operators in (7) are in momentum space andx ^ = i~@p is the usual position operator. The momentum operator is not altered from the standard form. 4 A simple way to get the position space versions of the momentum space modified operators in (7) is to make the simple change i~@p 7! x and p 7! −i~@x so that (7) becomes 0 2 2 0 x^ = (1 − β~ @x)x ;p ^ = −i~@x : (8) There is some freedom in (8) in that one could also write the modified position operator as 0 2 2 x^ = x(1 − β~ @x) i.e. with x leading the derivative operator. Both (7) and (8) lead to the same modified commutator as can be seen by explicitly pluggingx ^0 andp ^0, from either (7) or (8), into the commutator in (2). Equations (7) (8) are not the only ways to write down the modified operators. A different set of modified operators which treat the modified position and momentum equally and still lead to the modified commutator in (2) is given by [13] 0 −βp2=2 0 βp2=2 x^ = i~e @p ;p ^ = e p : (9) One can obtain the position space version of the modified operators in (9) by again making the simple replacement i~@p 7! x and p 7! −i~@x to give 2 2 2 2 0 β~ @x=2 0 −β~ @x=2 x^ = e x ; ;p ^ = −i~ e @x : (10) Substituting the operators from either (9) or (10) into [^x0; p^0] leads to the modified commu- tator in (2).