Uncertainty principle in quantum mechanics with Newton’s gravity

A new derivation is given of the known generalized position–momentum uncertainty relation, which takes into account gravity. The problem of two massive particles, the relative motion of which is described by the Schrödinger equation, is considered. The potential energy is defined as a sum of ‘standard’ non-gravitational term and the second one, which corresponds to gravitational attraction of particles as in Newton’s theory of gravity. The Green’s function method is applied to solve the Schrödinger equation. It is assumed that the solution of the problem in the case, when the gravitational interaction is turned off, is known. Gravity is taken into account in linear approximation with respect to the gravitational coupling constant made dimensionless. Dimensional coefficients at additional squares of mean-square deviations of position and momentum are written explicitly. The minimum length, determined as minimal admissible distance between two quantum particles, and the minimum momentum appear to be depending on the energy of particles’ relative motion. The theory allows one to present the generalized position–momentum uncertainty relation in a new compact form.


Introduction
The Heisenberg uncertainty relation is a fundamental principle of quantum theory. It imposes restriction on accuracy of simultaneous measurement of two observables which do not commute [1,2]. At first, gravity was not taken into account. The studies conducted by a number of researchers that used different approaches and methods have shown that account of gravity leads to nontrivial results, which are consistent The present work was partially supported by The National Academy of Sciences of Ukraine (Projects nos. 0117U000237 and 0116U003191). a e-mail: specrada@bitp.kiev.ua b e-mail: vkuzmichev@bitp.kiev.ua (corresponding author) between themselves (see the reviews of the articles published prior to 1995 in Ref. [3] and of the articles published later in Refs. [4,5]). It was demonstrated, in the context of string theories, that there must exist so-called minimum physical length, which is of order of Planck's length [6][7][8] (see also Refs. [9,10]). This result was confirmed by other authors. In Ref. [11], the limit to the measurement of the black-holehorizon area was discussed, bringing one to the conclusion that a minimum observable length emerges naturally from a quantum theory of gravity. The effect of gravity was investigated by studying the interaction of the electron with the photon using Newtonian gravity and general relativity, and one arrives at the generalized uncertainty principle in the form known from string theories [12]. The discussion of consequences of the generalized uncertainty relation is also contained in Refs. [13][14][15][16][17][18]. The question of the existence of the so-called maximum length was raised in connection with the cosmological particle horizon as the maximum measurable length in the Universe [5].
In the present paper, the effects of gravity are studied on the example of the quantum problem on relative motion of two massive particles feeling no external forces. It is supposed that the two-particle quantum system is described by the stationary Schrödinger equation with the potential energy, which in addition to 'standard' non-gravitational interaction also takes into account gravitational attraction of particles as in Newtonian theory. It is assumed that the solution of the problem in the case, when gravity is neglected, is known and hence the standard Heisenberg position-momentum uncertainty relation can be written. The problem is to determine the influence of gravity on the mean-square deviations of position and momentum and thus to obtain the generalized position-momentum uncertainty relation. The Green's function method is applied to solving the Schrödinger equation.
The setting of a problem and the basic equations are given in Sect. 2. The particles interaction potential is chosen in the form of two summands: one is responsible for the non-gravitational part, while the another is described by the Newtonian gravitational potential of the mutual attraction of two particles. The method of taking gravity into account is described in Sect. 3. Here, the gravitational coupling constant made dimensionless is introduced and the normalization condition of the wave function of the system, which takes into consideration Newtonian gravity, is written in a linear approximation with respect to this coupling constant. In Sect. 4, the generalized position-momentum uncertainty relation is obtained and presented in the form allowing its direct comparison with the known relation. The restrictions imposed by the minimum length and the minimum momentum on the dimensional coefficients at additional squares of mean-square deviations of position and momentum are discussed in Sects. 5 and 6. In Sect. 7, the generalized uncertainty relation is given in a new compact form in which the gravitational effects are combined into a single summand having a clear physical meaning. A comment on the Coulomb problem is given here.

Basic concepts and equations
We consider the quantum system of two non-relativistic particles with the masses m 1 and m 2 and the respective positions r 1 and r 2 , which interact between themselves. We also assume that the system feels no external forces. As is wellknown [2], the transition to the center-of-mass system allows one to split up the problem into two: that of a free particle with the mass M = m 1 + m 2 , and that of a particle with the reduced mass m = m 1 m 2 /M in some static potential. We take the interaction potential energy in the form of a sum V (r) + U (r ), where V (r) is the non-gravitational potential energy, which depends only upon the relative position r = r 1 − r 2 , and U (r ) is the potential energy of gravitational attraction of particles, where r = |r|, Φ(r ) = −G M/r is the gravitational potential created by the mass M acting on the particle of mass m at a distance r from the force-center, and G is Newton's gravitational constant. The Schrödinger equation for relative motion of the particles has the form where r|ψ = ψ(r) is the wave function (in the coordinate representation), E is the energy of relative motion, and is the Hamiltonian of a particle of mass m and momentum p = ( p x , p y , p z ), which is canonically conjugate to position r = (x, y, z). This Hamiltonian does not take into account the gravitational impact of the force-center on this particle. As it follows from Eq. (1) to (3), in quantum mechanics the mass m no longer cancels, in contrast to classical theory of gravity, where the mass of a body does not appear in the equation describing its motion in external gravitational field. 1 In quantum theory, this fact can be used for transition from the dimensional constant of gravitational interaction G to the dimensionless coupling constant so that Eq. (1) takes the form The condition of "smallness" of the constant G reduces to a mathematically correct condition: g 1, which is equivalent to inequalities, where l pl = Gh c 3 is Planck's length, m pl =h l pl c is Planck's mass, m =h mc is Compton's wavelength of a particle with the mass m (the same is for M). This restriction means that the masses m and/or M (and correspondingly m 1 and m 2 ) must be smaller than Planck's mass.

Account of gravity
We suppose that the solution of Eq. (2) without right-hand side is known, as well as the Heisenberg uncertainty relation, for example, for a particle that moves along the x-direction, where δx = x2 −x 2 and δp x = p2 x −p x 2 are the rootmean-square deviations of position and momentum respectively, and the over-bar denotes averaging over the state |ϕ . This relation does not account for the gravitation attraction of particles.
Let us calculate the gravitational correction to the relation (8), using the solution of Eq. (2) for this purpose. The general solution of Eq. (2) can be written as where |ϕ is the general solution of Eq. (7), and the function |χ has a form where is the Green's function for outgoing waves, δ is a small positive addition, and the Hermitian-conjugate function G † E describes incoming waves. Here, the wave function |ϕ n and the corresponding energy E n are the solutions of the equation for eigenvalues and eigenvectors. In Eq. (11), the summation over discrete states and integration over continuum states of the two-particle system in which gravity is not taken into account is implied. We assume that the wave functions |ϕ n form a complete orthonormalized set: n |ϕ n ϕ n | = 1, ϕ n |ϕ n = δ nn . Using these conditions, one can calculate the norm of the state |ϕ . From the obvious expansion it follows that since | ϕ n |ϕ | 2 is the probability to find the system with the Hamiltonian (3) in the state described by the wave function |ϕ n . Using Eqs. (9), (10), and (14), we obtain an exact expression for the norm ψ|ψ , By substituting the wave function (9) into Eq. (15), we obtain the series in the form of expansion in powers of a coupling constant g. Keeping only the linear term in this expansion, with an accuracy up to ∼ O(g 2 ) we find where the over-bar denotes averaging over the state |ϕ as above. We rewrite the nontrivial part of Eq. (16) in an explicit form, where a dash denotes that the term with E = E n is absent in the summation. Since the left-hand side of Eq. (17) is a real number, then in the right-hand side the contributions from incoming and outgoing waves should cancel mutually. As a result, we obtain the expression which does not contain a singularity at the point E = E n . As U < 0 for all r , the norm (16) is less than unity: ψ|ψ < 1.

Generalized uncertainty relation
Let us calculate the root-mean-square deviations of position x, Δx = x 2 − x 2 , and momentum p x , Δp x = p 2 x − p x 2 , where the brackets denote averaging over the state |ψ (9). For the mean value of some Hermitian operator A, with an accuracy up to terms ∼ O(g 2 ), we have By setting A equal to x, x 2 , p x , and p 2 x sequentially, we get where we denote and (the same expression is for R p x ). Neglecting the term αβ ∼ O(g 2 ), one can write Bearing in mind the equations (20) and the uncertainty relation (8), we obtain the following inequality, with the accuracy mentioned above, After taking the root, we arrive at the required positionmomentum uncertainty relation, which takes into account the gravitational corrections in linear approximation with respect to the coupling constant g, The constant ᾱ h 2 has dimension of inverse length squared, and β is measured in units of length squared. The inequality (25) has the same form as the generalized uncertainty relation proposed previously by many authors (see introduction to this paper). In our approach, the coefficients α and β can be calculated by the formulas (21) and (22). We shall consider these coefficients in detail.
Keeping in mind the mean value theorem, let us suppose that there exist x c and (x 2 ) c such that an exact expression for the integrals in Eq. (22) can be written as The same is for the Hermitian conjugates. Then where denotations are as in Eq. (18). Assuming that ( where (δx) 2 c = (x c − x) 2 . The same expressions can be written for R p x as well, where (δp x ) 2 c = ( p c − p x ) 2 . Since the deviations (δx) c and (δp x ) c are not directly related to each other through the Heisenberg uncertainty principle, they can become arbitrarily small simultaneously. Then, in a good approximation, we get

Minimum length
Let us consider the case, when the summand containing α is much smaller than the one containing β. From the uncertainty condition (8) and an obvious condition it follows that Using an explicit form of the coupling constant g (4), we obtain is a dimensionless coefficient which depends on the free parameters of the two-particle system under consideration. Then, using the Eq. (33), the uncertainty relation (25) can be reduced to the form From this inequality, it follows that for the system of two massive particle under consideration, there exists the minimal value of deviation Δx, which is determined by the coefficient β , , in a rough approximation. The relation (35) has two limits (cf. Ref. [15]). The quantum-mechanical limit is achieved when The standard Heisenberg relation is recovered in the case Δx l pl . The quantum-gravity limit is reached when This limit means that, according to Eq. (35), which transforms into the relation (38) for Δx ∼ l pl .

Minimum momentum
When the summand containing β is much smaller than the one with α, the uncertainty relation (25) takes the form where it is denoted α = 2αl 2 pl h 2 . One obtains the quantummechanical limit of this relation in the case α l 2 pl (Δx) 2 1, or Δx l pl √ α . (41) One gets the quantum-gravity limit when For For masses m m pl and a finite value of √ β , one finds that √ α 1. The equation (42) can be rewritten as The quantum gravitational effects will manifest themselves at very large distances [20] (cf. Ref. [15]) for particles with masses m m pl . Let us make a few estimates. Taking l min ∼ l pl , one finds that Δx ∼ 10 5 cm for mc 2 ∼ 1 GeV. On the other hand, under the assumption that the size of fluctuations are of order the observable part of the Universe (the maximum measurable length in the Universe) Δx ∼ 10 28 cm, one obtains that masses of particles mc 2 ∼ 10 −3 eV. Current upper limits on neutrino mass [21] agrees with this estimate.
From the uncertainty relation (40) in a lower limit, it follows that Thus, there exists a minimum momentum (Δp x ) min = m pl c √ α .

Discussion
In this paper, it is shown how, using the Schrödinger equation for two massive particles with Newton's gravity, one can obtain the generalized uncertainty relation in the form which became known since the second half of 1980s [see Eqs. (25) and (35)]. In linear approximation with respect to the dimensionless coupling constant g (4) of gravitational interaction, according to Eqs. (33) and (34), the coefficients α and β are expressed in the form of quadratures containing the Green's function and the gravitational potential, and they depend on the energy of relative motion of the particles. The minimum length of the order of the Planck length can be achieved for some values of the energy E, which is a free parameter of the theory. In the framework under consideration, the uncertainty relation can be cast into a new form. Starting from Eq. (23), using the coefficient definitions (21) and the Heisenberg uncertainty relation (8), we arrive at the inequality This relation, in turn, can be reduced to a compact form by taking into account the normalization condition (16) in linear approximation with respect to the coupling constant g, The potential energy of gravitational attraction of two massive particles (1) is similar to the potential energy of two oppositely charged point particles interacting according to the Coulomb law.
Applying the method given above to the Coulomb problem in non-relativistic approximation, we demonstrate that an addition to 1 2 in Eq. (46) is negligibly small and does not affect the Heisenberg uncertainty relation. Bearing in mind Eq. (18), we denote this addition as Then the coefficient β (33) takes the form Therefore, in order to analyze the contribution from the longrange part of interaction between particles, it is sufficient to estimate the contribution from a dimensionless coefficient γ . As a specific example, we consider the finite motion of an electron with the charge −e in the field of an atomic nucleus with the charge Ze (a hydrogen-like atom). For the light nuclei with Z 10, the dimensionless coupling constant of the Coulomb interaction is small: g = Ze 2 hc = Z 137 1. As is well-known (see, e.g. Ref. [22]) the energy of electron-nucleus interaction can be written as where Θ(x) = 1 at x > 0, and Θ(x) = 0 at x < 0. The first term describes the potential energy inside the nucleus with the radius R, in which an electric charge is distributed homogeneously over its volume. We identify this term with V (r) in Eq. (3). The second term corresponds to an additional Coulomb attraction at distances exceeding the size of a nucleus. We set it equal to U (r ).
For the specific problem under consideration, using Eqs. (18), (48), and (50), one can write The wave functions ϕ(r) and ϕ n (r) are defined over all space of r = (x, y, z). Since the radius of a nucleus R 2 fm is much smaller than the Bohr radius of an electron a =h 2 me = 5.3 × 10 4 fm, the electron remains mostly outside the nucleus. In the region r > R, the function ϕ has the Coulomb asymptotics, while the function ϕ n decreases outside the nucleus in a standard way. We restrict ourselves to consideration of the 1s states. Then, For the Coulomb problem, according to Eq. (9), the wave function ψ describes exactly, while the wave function ϕ describes approximately the bound states of an electron and a nucleus.
The spectrum of the states of E is close to the spectrum of the states of a hydrogen-like atom. Then, the following estimation is valid: ≈ 1.9 Z ν × 10 −5 fm −1 , where ν = 1, 2, 3 . . . is the number of a state. The nuclear potential in Eq. (50) is cut off at r = R < √ 3R. Therefore, the spectrum of the states of E n can be approximated by the spectrum of the states of a particle in a square well with a radius R. In this case, for the values of n not large enough, we have the estimation: n ≈ π 2 n R . Substituting the wave functions (52) into Eq. (51), we obtain where we introduce the dimensionless parameters λ = R = 3.8 Z ν ×10 −5 , λ n = n R ≈ π 2 n. For Z ≤ 10, we have λ λ n and the following formula for γ can be written, The summand with n = 1 gives the main contribution to the sum in Eq. (54), while the summands with n > 1 are exponentially small. After substituting the numerical values for the parameters, we get the following expression for the lowest state with ν = 1 which gives the main contribution to γ , For Z ≤ 10, it follows an upper bound Such an addition may be neglected in comparison with 1 2 in Eq. (46). As a consequence, the standard Heisenberg uncertainty relation remains valid. It is not violated by the longrange action of the Coulomb attraction between an electron and a nucleus.
Let us note that Eq. (2) with the Hamiltonian (3), where V (r) = 0, has an exact solution (a hydrogen-like atom or electron-atomic nucleus scattering). The wave function ψ can be normalized to unity (for scattering problem, ψ is represented by the wave packet formed by superposition of unbound states [2]). Then, from Eq. (47), it follows immediately the Heisenberg uncertainty relation in its standard form.
In conclusion, we mention that the main difference between the gravitational problem and the Coulomb problem is that in the first case the expected new quantum effects are to be observed, first of all, at Planck scale, whereas in the second case the relevant scales are atomic or nuclear scales, where such effects do not manifest themselves on the fluctuations of observed quantities.

Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors' comment: This is a theoretical paper. There are no datasets associated with this article.] Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecomm ons.org/licenses/by/4.0/. Funded by SCOAP 3 .