Abstract
Einstein’s Equivalence Principle implies that the Lorentz force equation can be derived from a geodesic equation by imposing a certain (necessary) condition on the electromagnetic potential (Trzetrzelewski, EPL 120:4, 2018). We analyze the quantization of that constraint and find the corresponding differential equations for the phase of the wave function. We investigate these equations in the case of Coulomb potential and show that physically acceptable solutions do not exist. This result signals an inconsistency between Einstein’s Equivalence Principle and Relativistic Quantum Mechanics at an atomic level.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In our previous work [1] we considered a certain generalization of Einstein’s elevator experiment when the elevator is charged. Due to the screening effect, an observer inside the elevator cannot detect the electromagnetic field that surrounds it. This, together with Einstein Equivalence Principle, implies that the observer may identify his trajectory with a geodesic line in some curved space–time, even though the trajectory is given by the Lorentz force law.
In the original formulation of Einstein’s Equivalence Principle [2] one assumes a complete physical equivalence of a reference frame K and K\('\) where K corresponds to a uniform gravitational field and K\('\) has no gravitational field but is uniformly accelerated. This equivalence is only to be understood locally i.e. in an arbitrary small neighbourhood of the observer in K (and K\('\)) since uniform gravitational fields are only idealisations therefore imperfections of real uniform fields could in principle be detected in terms of the tidal forces.
The equivalence stated in this way is based on another equivalence between passive-gravitational mass \(m_{G}\) and inertial mass \(m_{I}\) of a body (also known as the Galilean Equivalence Principle) which has been confirmed by a number of experiments (see [3, 4] or [5] for a comprehensive review), most recently by the Eöt-Wash experiment [6] and the MICROSCOPE experiment [7, 8]. If \(m_{G}\) and \(m_{I}\) were not equal, one would be able to perform local experiments (such as dropping test bodies) in the accelerating frame K\('\) which would produce differences between the outcomes of the same experiments performed in the reference K.
The charged elevator thought experiment may be considered as a specific case of Einstein’s Equivalence Principle in which the source of the uniform acceleration of K\('\) is given by the surrounding electromagnetic field. For that to work, it is also needful to assume that the observer is isolated from the charge. Finding the value of the electric field E that mimics the gravitational one in the above experiment is straightforward. If m and q are the mass and the charge of the elevator (we assume that the mass of the observer is negligible), then we must have \(|q| E = m g\) where g is the value of the constant gravitational field. This would close the discussion if it were not for the fact that according to General Relativity, gravitational force is described completely by the metric tensor \(g_{\mu \nu }\) and particles’ trajectories are described by geodesic lines corresponding to \(g_{\mu \nu }.\) On the other hand, the only real field in the charged elevator experiment is the electromagnetic potential \(A'_{\mu }.\) How can these two views coincide? This apparent conundrum could only be solved if there existed a metric that depends on the electromagnetic potential \(A'_{\mu },\) for which the geodesic equation results in the Lorentz force equation. That metric turns out to be of a very simple form [1]
where q and m are the charge and the mass of the body and k is some dimensionless constant (in \(c=1\) units). However to obtain the complete equivalence of equations of motion one must impose a constraint for the potential on the particle’s trajectory as
Only when such constraint is satisfied is the Lorentz force equation with \(A'_{\mu }\) equivalent to the geodesic equation with metric (1).
The choice of the dimensional constants q and m in (1) is made to cancel the dimension of the \(A'_{\mu }A'_{\nu }\) term. This choice is convenient, however, it makes the metric observer dependent. On the other hand the thought experiment with the charged elevator does not imply that there should be a unique metric for all observers. It only requires the existence of such metric for a given observer. Moreover, one can find a universal metric for all observers, and hence avoid such concerns, by noting that since k in (1) is an arbitrary dimensionless number, and since the factor \(q^{2}/m^{2}\) has the same dimension as the Newton constant G (\([G] = [q^{2}/m^{2}] = {\text {g cm}}\) in cgs units with \(c = 1\)), one can replace \(q^{2}/m^{2}\) with G with no changes of the conclusions we have reached in [1]. If we do so, the metric and the necessary constraint for the electromagnetic potential will be
However, in the remaining part of the paper we will use the original choice as in (1) and (2), keeping in mind that we can always substitute \(k \rightarrow k G m^{2}/q^{2}.\)
It is worth noting that extensions of the metric (1) involving first order derivatives of \(A'_{\mu }\)
result in equations of motion equivalent in the leading order to the Landau–Lifshitz proposal of the radiation reaction force [1]. However in such case the counterpart of (2) is more complicated.
In this paper we investigate the consequences of (2) at the quantum level. We will write the operator counterpart of (2) and confront it with the Dirac equation. Clearly, one expects certain nontrivial constraints coming from quantum mechanics due to a standard argument: relativity and quantum mechanics imply the lower bound on the measurement of the position of a particle \(\varDelta x \ge \lambda _{C}/4\pi\) where \(\lambda _{C} = 2\pi /m\) is the Compton wavelength [9]. In the elevator (charged or not) thought experiment we assume that the observer is the entire time inside the elevator. If however there is a fundamental limitation concerning the observer’s position, we cannot say that this assumption is still valid for distances compared to the Compton wavelength. Therefore it is no longer clear if Einstein’s Equivalence Principle is maintained below these scales because the corresponding experiment cannot even be performed. However, condition (2) is an equation of which the quantum counterpart clearly may be considered at any scale—in particular, in the case of ground state levels of the hydrogen atom which is the aim of this paper. We will show that quantum counterpart of (2) cannot be achieved in the relativistic treatment of any hydrogen-like atoms.
It should be stressed here that our approach to confront the equivalence principle with quantum mechanics is non-standard since it involves the electromagnetic field by design as well as its formulation is relativistically invariant (i.e. condition (2) is the same in all reference frames). On the other hand, in the existing literature [10,11,12,13,14,15,16,17,18,19,20,21,22,23], one is typically looking for an agreement between the equivalence principle and non-relativistic quantum theory with no electromagnetic field involved (although see [24, 25] for a discussion involving relativistic effects). A representative example for this matter is a neutral particle freely falling in a uniform gravitational field. In the framework of non-relativistic quantum mechanics one can easily show that there is full agreement between Einstein’s Equivalence Principle and quantum theory, by considering the Schrödinger equation for a particle freely falling in a uniform and constant gravitational field. According to the equivalence principle this problem should be equivalent to considering a free particle in the particle’s rest frame. The equivalence is indeed achievable by a suitable choice of the wave-function phase difference between the two reference frames. That phase difference should be the source of quantum interference in a suitably prepared experiment, and indeed in one of the most remarkable experiments of this type, Colella, Overhauser and Werner [11,12,13,14, 21] detected quantum interference due to gravity, which agrees with the theoretical predictions.
2 Classical Constraints
Before considering quantum theory let us recall that (2) is compatible with gauge invariance i.e. it can be obtained from gauge transformation. If \(A_{\mu }\) is an arbitrary potential then it follows that \(A'_{\mu }\) defined as
where \(\gamma\) is the particle’s worldline, satisfies (2). Therefore for any \(A_{\mu }\) there exists a gauge phase \(\chi\) such that \(A'_{\mu }\) satisfies (2). However (2) is required by the equivalence principle and hence one concludes that the equivalence principle fixes the gauge marginally i.e. only on the trajectory \(\gamma .\) Outside of \(\gamma\) there is no requirement on \(A'_{\mu }\) other than continuity conditions coming from equations of motion (\(F'_{\mu \nu }\) has to be continuous everywhere). At the quantum level this constraint will be stronger as will be shown in the next section.
The choice of the metric (1) is unique up to the dimensionless parameter k, which can be seen as follows. The metric should depend on \(A'_{\mu }\) and not its derivatives because 1st order derivatives of \(A'_{\mu }\) in the metric would produce 2nd order derivatives in the corresponding geodesic equation which are not present in the Lorentz force. Therefore the most general choice of the metric is
where \(A'^{2}= \eta ^{\mu \nu }A'_{\mu } A'_{\nu }\) and where f and h are such that \(g_{\mu \nu } \rightarrow \eta _{\mu \nu }\) in the \(A'_{\mu } \rightarrow 0\) limit. The f factor can be removed by introducing new co-ordinates \(y^{\mu }\) such that \(dy^{\mu } = \sqrt{f} dx^{\mu }.\) Therefore in the remaining part we will set \(f=1\) with no loss. The equations of motion following from the variation of the action \(S=-m\int \sqrt{g_{\mu \nu }u^{\mu } u^{\nu }}\) will become
with
where \(u^{\mu }\) are particles’ 4-velocities and where for simplicity we used reparametrization invariance and set \(g_{\mu \nu }u^{\mu } u^{\nu }=const.\) Compatibility with the Lorentz force requires that
Equations (7) and (8) both imply that \(h' A'^{\alpha } \partial _{\mu } A'_{\alpha } =0 .\) Therefore either \(h'=0\) or we have \(A'^{\alpha } \partial _{\mu } A'_{\alpha } =0\) which implies \((A'^{2})^{\cdot }=0\) and hence \(A'^{2}=const.\) Both cases imply that \(h=const.\) and therefore imply that the metric (1) is general for our problem.
Although in this paper we only consider Abelian gauge fields, it is clear the one may in general consider non-Abelian extensions such as
where \(B_{\mu }\) is a matrix belonging to some Lie algebra. Let us note however that the equivalence principle, in the context used in this paper, cannot be considered for non-Abelian gauge fields because the corresponding charged elevator experiment, with colour charge, cannot be performed.
3 Quantum Constraints
Let us write (2) in terms of the generalized momentum for the charged particle \(\pi _{\mu } = p_{\mu } + qA'_{\mu }.\) A quantum counterpart of that constraint will be
where \(\psi '\) is the particle’s wave-function and \(\{\cdot ,\cdot \}\) is the anti-commutator. The relation between the primed and unprimed quantities is as usual
so that for both, the Dirac equation has the same form
In our notation the pair \((A'_{\mu }, \psi ')\) satisfies the constraint (9) i.e. a quantum counterpart of (2). Therefore, given an arbitrary field \(A_{\mu }\) we are looking for a scalar function \(\chi\) such that the gauge transformation (10) results in the pair \((A'_{\mu }, \psi ').\) The existence of such \(\chi\) is a necessary condition for the equivalence principle to hold at the quantum level.
Let us now write the constraint (9) as
where we introduced the operator \(T_{A'}.\) This operator does not involve any gamma matrices and acts on each component of the spinor \(\psi .\) Therefore it is also true that \(T^{*}_{A'}{{\bar{\psi }}}'=0\) where \(T^{*}_{A'}\) is a complex conjugate of \(T_{A'}\) and \(T^{*}_{A',q}= T_{A',-q}\) (we also have \(T^{*}_{A'} \psi '^{*} =0\) but it is more convenient to use \(T^{*}_{A'} {{\bar{\psi }}}' =0\)). Substituting (10) into (11) we obtain
Multiplying the above equation and its complex conjugate, by \({{\bar{\psi }}}\) or \(\psi\) and then taking their sum or difference respectively we find two real equations
and
where we substituted the definition of \(T_{A}.\) Introducing a 4-vector
we observe that (13) and (14) considerably simplify
Hence \(J_{\mu }\) satisfies the continuity equation and an additional linear (algebraic) constraint. Equations (16) and (17) are central in this manuscript. Accordingly, the phase of the corresponding wave function, i.e. of \(\psi \exp {(iq\chi )},\) is also constrained since that phase is the only one that satisfies the condition (9). However, we note that (16) and (17) are only necessary conditions for (12) to hold, and may not be sufficient. A good example to see this more clearly is to consider left-handed (or right-handed) Dirac spinors. In Weyl basis they are \(\psi ^{T} = (\psi ^{T}_{L} , 0),\) where \(\psi ^{T}_{L}\) is the transpose of the two component left-handed Weyl spinor. With this choice we have \({{\bar{\psi }}}\psi =0\) and hence \(J_{\mu }=0\) and therefore (16) and (17) are satisfied trivially with no constraints on \(\chi .\) However non-trivial constraints on \(\chi\) are still there at the level of Eq. (12).
We observe that (17) contains the phase part of the Dirac current \(j_{\mu }^{D}={{\bar{\psi }}}\gamma _\mu \psi\) i.e. \(j^{P}_{\mu }\) in the Gordon decomposition
where \(j^{\mu }_{S}\) is the spin part. This observation may prove useful in attempts to solve (16) and (17) for general \(A_{\mu },\) in the following way. Since \(j_{\mu }^{P}\) and \(j_{\mu }^{S}\) satisfy the continuity equation independently, we may consider the Ansatz
where A and B are some constants. The above Ansatz automatically satisfies Eq. (16) but whether (17) is also satisfied needs to be checked independently.
4 Free Particle
Equations (16) and (17) should hold for arbitrary \(A_{\mu }\) i.e. for any \(A_{\mu }\) there should exist \(\chi\) such that Eqs. (16) and (17) are satisfied. In particular we can take \(A_{\mu }\) to a very small level. By continuity there should exist a solution for a free particle \(A_{\mu }=0,\) even though in such case the thought experiment with charged elevator is trivial.
Let us start with the continuity equation. There are several expressions in the Dirac theory that satisfy (16). An obvious choice is the phase part of the Dirac current
Not only does it satisfy the continuity equation but such expression also appears in the second equation i.e. in (17).
The solution of the Dirac equation of a free particle with four-momentum \(p_{\mu }\) can be written as \(\psi =u e^{-i p\cdot x}\) where u is a constant spinor, in which case we have
and therefore condition (17) implies \(C=i/2k.\) Now, returning to the definition of the current (15), we find that
As mentioned previously, this does not yet show that Eq. (12) is satisfied. The LHS of (12) with \(A_{\mu }=0\) is \(T_{A}\psi = -\frac{m^{2}}{k}\psi\) while the RHS becomes \(\frac{m^{2}}{k}\psi\) when using \(\chi = \frac{1}{kq}p\cdot x.\) Therefore the solution is satisfied only for a massless case.
5 Semi-classical Limit
For the purposes of the semi-classical limit let us introduce the Planck constant \(\hbar\) and consider the wave function of the following form
where u is a slowly-varying bispinor [9]. It is well-known that substitution of (19) to the “square” of the Dirac equation results in the Hamilton–Jacobi equation for the 0th order term \(S_{0}.\) Explicitly
where \(\pi _{\mu } = -i \partial _{\mu }.\) It is worth noting that the 0th-order equation does not involve the spin matrices, they appear only starting from the 1st order terms. This is of course expected since the fermion spin is essentially a quantum concept and hence should not appear in the \(\hbar \rightarrow 0\) limit.
Let us now see what the corresponding semi-classical limit of Eqs. (16) and (17) is (introduction of \(\hbar\) in these equations is by rescaling \(\partial _{\mu } \rightarrow \hbar \partial _{\mu }\) and \(\chi \rightarrow \chi /\hbar\)). The continuity equation (16) becomes
which, given that u is slowly-varying, implies a Lorenz gauge condition \(\partial ^{\mu } A'_{\mu }=0\) for \(A'_{\mu } = A_{\mu } + \partial _{\mu } \chi .\) The second Eq. (17) becomes
where \(u_{\mu } := \frac{i}{2}\frac{{{\bar{u}}}\partial _{\mu } u - (\partial _{\mu } {{\bar{u}}}) u}{{{\bar{u}}}u},\) and we see that we recover the Hamilton–Jacobi equation in the \(\hbar \rightarrow 0\) limit provided \(q \chi\) is identified with the Hamilton–Jacobi function S and \(k=-1.\) Therefore in the semi-classical limit, constraints (16) and (17) are consistent with classical equations.
6 Coulomb Potential
Let us now consider the Coulomb potential for the hydrogen-like atom
where e is the charge of the electron, \(Z = 1,2,3, \ldots\)
The Hamiltonian for the Coulomb potential has a discrete spectrum hence a priori we would have to verify (16) and (17) for an infinite set of wave functions satisfying the corresponding spectral problem. For each such wave function there should exist a solution \(\chi\) for (16) and (17). Let us concentrate on the ground state of the problem. When using the Dirac representation of gamma matrices, the corresponding wave function is [26]
where \({{\mathcal {N}}}\) is the normalization constant, \(m_{e}\) is the mass of the electron and \(\alpha =e^{2}\) is the fine structure constant. Using these explicit expressions we find
hence (17) for \(q=-e\) becomesFootnote 1
Let us now consider an Ansatz
where a and b are constants. Substituting (23) to (22) we find that
The 1/r terms cancel only if we take \(a=E/e\) which in turn fixes b and k as well, we have
Therefore, the value of k is fixed uniquely. Using the formula for the ground state energy \(E=m_{e}\sqrt{1-Z^{2}\alpha ^{2}}\) we find
In order to find \(c(r,\theta )\) we will use the remaining continuity equation (16). The current components are
hence \(\partial ^{0}J_{0}=0\) and hence the continuity equation is \(\partial ^{i}J_{i} =0\) or
In spherical co-ordinates, using (23) and the fact that \({{\bar{\psi }}}\psi\) depends only on r, the continuity equation becomes
where \(\varDelta _{\theta } = \frac{1}{ \sin \theta }\partial _{\theta }(\sin \theta \partial _{\theta }).\) Many solutions exist to Eq. (25) e.g.
One can also look for a general solution for \(c(r,\theta )\) by separating variables \(c(r,\theta ) = c_{1}(r)c_{2}(\theta )\)—although this is not needed here as we are only interested in the existence of the solution to Eqs. (16) and (17). However, general dependence on t and \(\phi\) is important for our considerations since it will be crucial in the next section. Below we find general form of \(\chi\) satisfying conditions (16) and (17).
6.1 General Solution
Without any loss of generality we first write \(\chi\) as
where \({{\bar{\chi }}}\) is arbitrary and d is a convenient constant. Substituting (26) to (22) we obtain
A general solution of (27) can be obtained using the method of characteristics, we find that \(\chi\) must be of the following functional form
where \(f(\cdot )\) is an arbitrary differentiable function. Therefore we have obtained a general solution of (17) however there is still a crucial constraint coming from the continuity equation (16). Substituting (28) to (15) we obtain
where we use the abbreviation \(f' = f'(\xi )|_{\xi =C_{1} \phi - C_{2} t}.\) With the above current components we have
and
where \(\varDelta _{\theta \phi }\) is standard \(\varDelta _{\theta \phi } = \frac{1}{ \sin \theta }\partial _{\theta }(\sin \theta \partial _{\theta }) + \frac{1}{\sin ^{2}\phi }\partial ^{2}_{\phi }.\) Using
(and similar for \(\partial _{\theta }\) derivatives) and \(\partial _{\phi }^{2} {{\bar{\chi }}} = C_{1}^{2} f''\) we observe that the continuity equation \(\partial ^{\mu } J_{\mu }=0\) will contain terms of order \(t^{2}\) and \(\phi ^{2}.\) The only way to cancel them is by a condition \(f''=0\) i.e.
by using which the continuity equation becomes
The above equation needs to be satisfied for all t and \(\phi\) therefore we have in fact three independent equations. Solving the first two we find
substituting to the third we obtain
There is still the remaining k parameter in \(C_{3}\) and so we can set \(C_{3}=0\) as in (24). Therefore we obtain a general solution for \({{\bar{\chi }}}\) (and hence \(\chi\)) which is
6.2 Consistency Check
From (16) we deduce that \(\int dV J_{0}\) is conserved. That conserved quantity is quadratic in the fermion field. On the other hand, in the Dirac theory we already have conserved quantities which involve quadratic fermion terms—the Dirac current \(j_{\mu }^{D}\) and the phase part of the Dirac current \(j_{\mu }^{P}\) (and the spin current \(j_{\mu }^{S}=mj_{\mu }^{D}-j_{\mu }^{P}\)). It is therefore reasonable to ask if they are dependent i.e. if there exist constants C and D such that
To verify if the above identity takes place we calculate the RHS of (30) for the ground state (21). For \(\mu =1,2,3\) we have
where
Because for the Coulomb potential we have \(A_{i}=0,\) Eq. (30) implies the following set of equations
These equations have no solutions, which can be seen as follows: the third equation implies that \(\chi\) does not depend on the z coordinate. Then taking the z derivative of the first two equations we find that \(\partial _{3} f = 0\)—which is not the case. Therefore we have shown that the identity (30) cannot hold for all \(\mu .\)
On the other hand, in order to argue that the conserved quantity \(\int dV J_{0}\) is dependent on the conserved charges of the Dirac theory, it is sufficient to show that (30) is true for \(\mu =0.\) That turns out to be achievable. We have
therefore (30) for \(\mu =0\) becomes
which is solved by
The above solution needs to be equal to the one obtained previously i.e. (26) with (29). However this can be achieved only if \(D=1,\) \(C=0\) and \(d=0\) which gives \(J_{0}=j^{P}_{0}.\) Only then is the conserved charge coming from \(\partial _{\mu } J^{\mu }=0\) equal to the conserved charge of the Dirac theory. Note that in this case the general solution (26) simplifies into our original Ansatz (23)
6.3 Final Phase Constraints
The existence of the scalar function \(\chi\) is a necessary condition for the equivalence principle to hold at quantum level. As previously mentioned, that principle fixes (albeit not completely) the phase of the wave function. If \((A_{\mu }, \psi )\) is an arbitrary pair satisfying the Dirac equation then, in order to make the condition (9) hold, there must exist a scalar \(\chi\) such that a pair \((A_{\mu }+ \partial _{\mu }\chi , e^{iq\chi }\psi )\) satisfies (9) on top of the Dirac equation. One immediately notices that there is something disturbing with the phase (26): the coefficient next to \(\phi\) is a function of r, \(\theta\) and \(\alpha .\) For spinors the transformation \(\phi \rightarrow \phi + 4\pi\) should leave the wave function invariant, however, that can be achieved only if \(d=0\) and
The condition \(d=0\) is consistent with the previous discussion where we demanded that the conserved charge \(\int J_{0} dV\) is precisely the Dirac charge. However the additional relation (32) is new. It can be written as
where \(n \in {{\mathbf {Z}}}\) and where we substituted B. The only Z independent solution of (33) is \(\alpha =0\) (with \(n=0\)). Other solutions of the above equation are Z dependent with
where for each Z the range of n is such that \(\alpha _{\pm }\) is positive.
This result clearly contradicts the existence of the physically acceptable phase \(\chi .\) While the phase exists, i.e. the solution of Eqs. (16), (17) exists, it is true only for \(\alpha =0\) or \(\alpha _{\pm }\) that depend on Z. Therefore we conclude that in this sense Einstein’s Equivalence Principle is inconsistent with constraints coming from relativistic quantum mechanics.
6.4 Sufficient Condition
As a final check, just like we did in the case of the free particle, we now also verify the original condition (12). Because the only non-zero component of \(A_{\mu }\) is \(A_{0}\) we may write (12) as
Using the explicit formula for \(\psi\) (21) and \(\chi\) (23) we can write the above condition as
where a, b and c are as in (23), g is as in (21), \(\varDelta\) is the Laplace operator, \(q=-e,\) spinors \(\psi _{1},\) \(\psi _{2}\) are
Spinors \(\psi ,\) \(\psi _{1}\) and \(\psi _{2}\) are linearly independent therefore coefficients standing next to them in (34), should be 0. For \(\psi _{1}\) and \(\psi _{2}\) we obtain \(\partial _{\theta } c =0\) and \(b=0.\) For \(\psi\) the coefficient is a complex number hence we have two conditions in this case. The one corresponding to the imaginary part can be made 0 by a suitable choice of c(r). However, the real part [i.e. the first line in (34)] can never be 0 for a Coulomb potential due to the \(A_{0}^{2}\) term unless \(q=0\) hence \(\alpha =0.\) This result is consistent with the conclusion made in the previous section based on the phase constraints.
The above calculation uncovers also the main reason for the non-existence of \(\chi\) satisfying (12). A crucial step in the above proof is related to the linear independence of \(\psi ,\) \(\psi _{1}\) and \(\psi _{2}\) which results in three independent conditions that in the end cannot be met. Independence of \(\psi ,\) \(\psi _{1}\) and \(\psi _{2}\) is possible thanks to the spin-1/2 degrees of freedom—this would not have been possible if \(\psi\) was a spin-0 complex valued function. Therefore is seems very plausible that non-existence of \(\chi\) satisfying (12) is a rather generic feature due to spin-1/2 degrees of freedom of the wave function.
7 Discussion
Generalization of Einstein’s elevator thought experiment to the case of charged objects implies a constraint involving electromagnetic potential and momentum (2). Quantization of (2) results in equations which need to be satisfied by the wave-function and the electromagnetic potential. These differential equations in fact fix the phase of the wave function strongly (but not completely). For binding potentials, the phase will in general depend on the azimuthal angle, therefore the coefficient next to that angle needs to be a half-integer in order to make the wave function unambiguous. This procedure applied to the Coulomb potential results in certain algebraic equations that need to be satisfied by the fine structure constant. We have verified that all the solutions of those equations are different from the experimental value of \(\alpha\) implying that the Equivalence Principle is inconstant with those quantum mechanical systems (Coulomb interaction). In our view such inconsistencies will always appear in the case of binding potentials, they certainly appear for all Hydrogen-like potentials.
We have concluded above that in the simplest theoretical treatment of the hydrogen-like potentials, the condition (32) coming from the phase constraints of the wave-function, cannot be satisfied. However there are several approximations that we are using to arrive at this result. To be more specific we are neglecting the magnetic moment of the nucleus, radiative corrections, nuclear effects (finite charge-radius of the nucleon) and two body relativistic effects. In principle we should be considering the above corrections and in fact any other, albeit very small, contributions. Therefore in a more complete framework we would obtain a generalization of condition (32) which could be written as
where \(\varDelta\) represents all possible corrections and therefore may depend on many other dimensionless constants such as \(m_{e}/m_{n},\) \(\alpha ,\) corrections coming from quantum electrodynamics etc. In our view it is unlikely that these corrections would help to meet the condition (35), mainly because the left hand side of (35) depends explicitly on Z while the right hand side is a half-integer. With no loss we can conclude that (35), if true, would imply that
where f is some function such that for all Zs, \(f=0\) if \(\alpha\) is numerically equal to the fine structure constant. One cannot exclude the existence of such f based on the considerations set forth in the paper however we find such possibility unlikely. Therefore, if only phase constraints are considered, a more careful conclusion would be to say that either Einstein’s Equivalence Principle is inconstant with the quantum theory already at atomic level, or there exists some quite unexpected relation involving \(\alpha\) and all other dimensionless constants that that appear in \(\varDelta .\)
In our view a more likely explanation of the apparent disagreement lies in the notion of spin for fermions, as it does not have a classical realization, whereas the equivalence principle is a statement from classical physics. We have made this statement more explicit in the last section. Indeed, the quantum constraint (9) that we are considering, does not contain any spin operators but has to be satisfied by all spinor components of \(\psi\) separately. In the end, this is the consequence of the fact that the formulation of the Einstein’s Equivalence Principle makes no mention at all of the spin of the particle.
Finally, we would like to comment on potential relevance of the result presented in this paper in modern approaches to unify Quantum Mechanics and General Relativity. It is a general belief that since gravitational interaction is much weaker than all the Standard Model interactions, there is no point in including gravity into the picture as long as we are considering distances much bigger than the Planck scale. That approach, where the dynamics at smaller scales is ignored as long as only larger scales are considered, is in fact common to all branches of Physics and it seems very reasonable. However, given the main result advocated in this paper, we may ask what is the purpose of trying to unify gravity and quantum mechanics at Planck scale when it seems that they disagree already at atomic scale? The current paper certainly does not give an answer to this question. However, as mentioned above, we would like to indicate that a possible direction to resolve the above disagreement may require an extension of the equivalence principle to the case of particles with half-integer spin. That does not simply mean adding new fermion fields to the theory but would rather require a certain extension of the classical geometry in such a way that spin variables appear there naturally.
Notes
We use standard spherical co-ordinates \(x=r\sin \theta \cos \phi ,\) \(y=r\sin \theta \sin \phi ,\) \(z=r\cos \theta .\)
References
Trzetrzelewski, M.: On the equivalence principle and electrodynamics of moving bodies. EPL 120, 4 (2018)
Einstein, A.: Jahrbuch der Radioaktivität und Elektronik 4, 411–462 (1907). In: Stachel, J., Cassidy, D., Renn, J., Schulmann, R. (eds) Reprinted in The Collected Papers of Albert Einstein. The Swiss Years: Writings, 1900–1909, vol 2. Princeton University Press, Princeton (1907)
Will, C.M.: The confrontation between general relativity and experiment. Living Rev. Relativ. 17, 4 (2014)
Will, C.M.: Theory and Experiment in Gravitational Physics. Cambridge University Press, Cambridge (2018)
Tino, G.M., Cacciapuoti, L., Capozziello, S., Lambiase, G., Sorrentino, F.: Precision gravity tests and the Einstein equivalence principle. Prog. Part. Nucl. Phys. 112, 103772 (2020)
Wagner, T.A., Schlamminger, S., Gundlach, J.H., Adelberger, E.G.: Torsion-balance tests of the weak equivalence principle. Class. Quantum Gravity 29, 184002 (2012)
Touboul, P., et al.: MICROSCOPE Mission: first results of a space test of the equivalence principle. Phys. Rev. Lett. 119, 231101 (2017)
Touboul, P., et al.: Space test of the Equivalence Principle: first results of the MICROSCOPE Mission. Class. Quantum Gravity 36, 225006 (2019)
Bierestecki, W.B., Lifszyc, J.M., Pitajewski, L.P.: Elektrodynamika Kwantowa (Quantum Electrodynamics), 2nd edn. PWN, Warszawa (2011)
Bargmann, U.: On unitary ray representations of continuous groups. Ann. Math. 59, 1 (1954)
Overhauser, A.W., Collela, R.: Experimental test of gravitationally induced quantum interference. Phys. Rev. Lett. 33, 1237–1239 (1974)
Colella, R., Overhauser, A.W., Werner, S.A.: Observation of gravitationally induced quantum interference. Phys. Rev. Lett. 34, 1472 (1975)
Greenberger, D.M., Overhauser, A.W.: Coherence effects in neutron diffraction and gravity experiments. Rev. Mod. Phys. 51, 43–78 (1979)
Colella, R., Overhauser, A.W.: Neutrons, Gravity, and Quantum Mechanics: is it possible to observe gravitational effects in experiments in which quantum theory plays a dominant role? Am. Sci. 68(1), 70–75 (1980)
Beyer, H., Nitsch, J.: The non-relativistic cow experiment in the uniformly accelerated reference frame. Phys. Lett. B 182(2), 18, 211–215 (1986)
Lämmerzahl, C.: On the equivalence principle in quantum theory. Gen. Relativ. Gravit. 28, 1043 (1996)
Rosu, H.C.: Classical and quantum inertia: a matter of principle. Gravit. Cosmol. 5, 81–91 (1999)
Davies, P.C.W.: Quantum mechanics and the equivalence principle. Class. Quantum Gravity 21(11), 2761–2771 (2004)
Giulini, D.: In: Finster, F., Müller, O., Nardmann, M., Tolksdorf, J., Zeidler, E. (eds.) Quantum Field Theory and Gravity, pp. 345–370. Springer, Basel (2012)
Penrose, R.: On the gravitization of quantum mechanics 1: quantum state reduction. Found. Phys. 44, 557–575 (2014)
Rauch, H., Werner, S.A.: Neutron Interferometry: Lessons in Experimental Quantum Mechanics, Wave-Particle Duality, and Entanglement. Oxford University Press, Oxford (2015)
Nauenberg, M.: Einstein’s equivalence principle in quantum mechanics revisited. Am. J. Phys. 84, 879 (2016)
Penrose, R.: Fashion, Faith and Fantasy. Princeton University Press, Princeton (2016)
Greenberger, D.M., Schleich, W.P., Rasel, E.M.: Relativistic effects in atom and neutron interferometry and the differences between them. Phys. Rev. A 86, 063622 (2012)
Philipp, D., Hackmann, E., Lämmerzahl, C., Müller, J.: Relativistic geoid: gravity potential and relativistic effects. Phys. Rev. D 101, 064032 (2020)
Bjorken, J.D., Drell, S.D.: Relativistic Quantum Mechanics. McGraw-Hill, Inc., New York (1964)
Acknowledgements
I would like to thank the referees for comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
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://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Trzetrzelewski, M. On the Equivalence Principle and Relativistic Quantum Mechanics. Found Phys 50, 1253–1269 (2020). https://doi.org/10.1007/s10701-020-00388-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10701-020-00388-8