The stepwise path integral of the relativistic point particle

In this paper we present a stepwise construction of the path integral over relativistic orbits in Euclidean spacetime. It is shown that the apparent problems of this path integral, like the breakdown of the naive Chapman–Kolmogorov relation, can be solved by a careful analysis of the overcounting associated with local and global symmetries. Based on this, the direct calculation of the quantum propagator of the relativistic point particle in the path integral formulation results from a simple and purely geometric construction.


Introduction
Local Lagrangian symmetries and relativity are essential in modern quantum physics. However, the simplest unification attempt fails dramatically: Lagrangian path integrals of relativistic point particles are considered intractable. The novelty of this article is that by considering a previously unnoticed symmetry, those problems are overcome and an exact calculation of the full propagator of the relativistic point particle is achieved.
If one remembers that the relativistic point particle is the simplest system with general covariance, it becomes clear that its understanding will be crucial for the consistent fora e-mail: bkoch@fis.puc.cl mulation of more complex theories with the same (extended) symmetry such as quantum gravity or string theory.

The problem
Since the first applications in non-relativistic quantum mechanics [1], the path integral formulation of quantum theories has developed in huge steps towards a quantum field theory of fundamental interactions. A common consequence of advancing in huge steps is that one leaves obstacles and possible subtleties unexplored on the way. This happened with the Path Integral (PI) formulation of the relativistic point particle. It is the purpose of this paper to close that gap and to resolve some misconceptions and problems that persisted until today in the context of this fundamental topic.
Even though the PI of the relativistic point particle is the logical continuation of the non-relativistic PI it has been largely omitted on the way to quantum field theory. One reason is that attempts to realize the PI of the relativistic point particle has presented large complications [2][3][4]7,9]. Among them, one can distinguish between those that seem to be of technical nature and those that seem to be of conceptual nature.

Technical complications:
At the first sight a technical issue arises from the appearance of non-Gaussian integrals. This issue can be avoided by the use of auxiliary field variables in the Hamiltonian action, which allow one to relate (at least at the classical level) the original action to a quadratic action [5][6][7], which is sometimes called einbein formalism. Those methods allow one to obtain the expected Klein-Gordon propagator from the PI of the relativistic point particle in D dimensions As shown in Appendix A, a direct calculation of the PI with the Lagrangian action in D dimensions and without auxiliary fields is actually possible. The problem is, however, that it leads to a propagator Here, n is the number of intermediate slices. Apparently (2) does not have the expected form of (1). This difference was the first motivation for this study on the direct PI of the relativistic point particle. 2 Conceptual complications: Leaving the technical issues aside, there is a much more disturbing fact that complicates the understanding of the PI of the relativistic point particle: The Chapman-Kolmogorov (CK) equation for Markovian processes is not satisfied. This means that the standard notion of probability is not preserved in the process of free relativistic propagation. As an example, let us show this for the propagator (1) in position space where N is a normalization constant. The usual CK condition sates that: "Propagating from 0 to x 1 and then from x 1 to x 2 and finally integrating over all x 1 , must be equivalent to propagating from 0 to x 2 ". Applying this definition to the propagator (3) gives This is of course not the form of the original propagator (3), which is the well known and un-understood problem of the path integral of the relativistic point particle. In the literature there exist different stances on this embarrassing problem. Mostly, it is just taken as hint that at relativistic velocities the assumption of a single particle theory breaks down. It is argued that the energy available at such velocities would allow for interactions that again allow for the production of multi particle state [8]. This argument is, however, not very convincing since one was dealing with a free theory without interactions at the first place. Another stance is to try to fix this problem by the redefinition of the probability measure [11,12].
In this paper we propose an elegant solution to those two fundamental problems. In [13] it has been shown that for the case of the relativistic point particle action it is important to consider a particular local symmetry of the corresponding action. The preceding paper [13] further shows how formal symmetry considerations in Minkowski spacetime in combination with the Fadeev-Popov procedure [14] allow one to perform the full functional path integral of the relativistic point particle. The idea of this paper is to abstain from abstract technical formulations and to show instead that the problem can be perfectly understood and solved by very basic geometric considerations. Further, several additional explicit calculations and complementary examples are shown below.
The paper is organized as follows: The introduction is completed by making notion of the symmetries of the relativistic point particle and by a definition of the PI measure taking into account those symmetries. In Sect. 2 several Euclidean PIs with one intermediate step are calculated in arbitrary dimensions and in Sect. 3 it is proven that those one-step propagators are already the full propagators for the given theory. Section 4 contains a discussion on the CK relation and the conclusion. Throughout the paper all formulas and discussions will be given in the imaginary time formalism corresponding to the Euclidean metric.

The relativistic point particle
The action for a relativistic point particle in D dimensions is with x(λ i ) = x i and x(λ f ) = x f . This is simply the mass times the geometric length of a given path P. It is interesting to note that this action in Minkowski spacetime cannot be equivalent to the action in the einbein formalism [5][6][7], for spacelike and timelike paths. This can be seen from the fact that the integration over timelike and spacelike paths with (5) would involve both complex and real values for the action. Thus, the Euclidean path integral over (5) means probably a restriction on the type of paths that is allowed in the non-Euclidean version of the path integral. A detailed analysis of the corresponding integral in Minkowski spacetime will be given in [15]. This action and its corresponding Lagrangian are equipped with several symmetries which will be important for the formulation of a consistent path integral. is not a classical gauge symmetry, is actually important in this given context was given in [13]. (c) Weyl invariance: This means that the Lagrangian does not depend on the way that λ parametrizes a path P. The change to any other functionλ(λ) would leave the Lagrangian invariant.
In the following the symmetry (a) will be used to choose the coordinate system such that x i = 0 and that x f is different from zero in only one component. The symmetries (b) and (c) are symmetries which have to be treated with care when it comes to realizing an integral over different paths, since two seemingly different paths could be actually physically equivalent. The overcounting of physically equivalent paths would result in a wrong weight of some paths with respect to others.

General considerations on the explicit form of the PI measure
When one formally writes the functional integral Dx(λ) one has to give a clear definition of this measure. The common definition of the PI measure is where the normalization N D,n (t) is a function of the external time t, the number of time slicings n used, and of the dimensions D. Usually this normalization is fixed from imposing the Kolmogorov relations. However, there are several issues that arise when one tries to apply this naive measure (6) to the relativistic point particle which are all related to an overcounting of certain paths: It is easy to see that in the definition (6) one is not just counting any possible path between x i and x f . One actually counts paths which have straight sections multiple times. Let us exemplify this for the case of two slicings n = 2. All configurations where the position x 1 is on the classical path between x i → x 2 correspond actually to the same path x i → x 2 → x f as it is shown in Fig. 1.
Strictly speaking they should only be counted once but according to (6) this path would be counted multiple times. Usually, this type of overcounting is completely irrelevant, since the number of paths that are not overcounted grows much faster with n and D than the number of paths where this overcounting occurs. In simple words, it is very unlikely that x 1 happens to be on the classical path between x i → x 2 . However, in problems with local symmetries this might not necessarily be the case. In order to avoid overcounting of identical paths right from the start, one can improve (6) by where | NOC stands "integrate but without overcountig" in the sense described before. For example, when performing the two slicing integral one has to avoid overcounting of configurations which are equivalent to one slicing paths and when doing higher number of slicings ( j = n) one has to avoid all the configurations which are actually already counted in ( j < n) paths. Even thought this definition is morally superior to (6), it is in most cases highly impractical since one has to take into account numerous conditions when actually performing the integrals. Fortunately, in most cases, the term with the highest number of integrals j = n represents a D+n dimensional volume which dominates the sub-leading contribution which is a D + n − 1 dimensional volume and the definition (7) is equivalent to (6). Even though the overcounting issue seems to be settled by the definition (7), one has to be careful, since imposing a | NOC condition means in most practical cases a fixing of the symmetry. Different fixings can correspond to different restrictions of the measure, which would generate unphysical anomalies [16]. However, we expect that the symmetries of the action are also symmetries of the measure. This can be solved by redefining the measure with a multiplicative fac-tor i such that it is invariant under different configurations within the symmetry The external normalization factors N D, j (t) are fixed by a dimensional argument. Equation (9) is the definition of the measure Dx, which will now be used for the PI of the relativistic point particle.

Euclidean path integrals with one intermediate step
In this section we will discuss how the considerations on the measure, overcounting, and symmetries, are applied to the one slicing propagator K (1) . This will be explicitly done in one and two dimensions, before it is generalized to D dimensions. Before actually turning to the relativistic point particle it is instructive to discuss (9), in particular the meaning of the restriction | NOC , for the case of non-relativistic quantum mechanics.

The non-relativistic path integral in two dimensions
Some of the redundancies that will be important for the relativistic case are already present in the path integral of the non-relativistic point particle. It is therefore instructive to discuss this case first and to show that in the non-relativistic case the overcounting over equivalent paths does not do any harm since it can be absorbed into a constant normalization factor. For the classical Lagrangian v 2 /(2M) one can construct the propagator with one intermediate step by composing two propagations with time lapse t/2 each K (1) There are two Lagrangians and one action in this problem which are But this is actually not the case, since seemingly equivalent paths become distinguishable, when seen from a different Galilelian reference system. Thus, for non-relativistic paths with two spatial dimensions, there is no overcounting. However, when D ≥ 3, there is an additional freedom in the orientation of the vector x i + x 1 with respect to x i . This situation is shown in Fig. 2. This additional freedom corresponds to paths which are all redundant since they do not change any of the terms in (11). Thus, due to the | NOC condition in (9), those paths should not be included when integrating. The question that arises is: does this | NOC condition affect the usual propagator in non-relativistic quantum mechanics?
In order to see this redundant part of the integral more clearly one can perform a series of coordinate transformations. First one shifts the integration variables x = x−(x f − x i )/2, then one goes to radial coordinates in three dimensions {x , y , z } → {r, θ, α} with the Jacobian dx dy dz → dr sin(θ )dθ dα, and finally one changes the radial integration for an integration over the action dr → dS(dr/dS) according to (11). Integrating over θ gives Thus, where N 1 is assumed to be position independent and where . One observes from (13) that the volume corresponding to the overcounting of local rotations dα factors out nicely. Note that this coordinate transformation corresponds to the one slicing version of the Fadeev-Popov procedure. Finally, one sees from this relation that one can choose a simple normalization such that the classical propagator K (0) ∼ exp(−S c ) fulfills the Kolmogorov relation, The important point of this discussion is that instead of integrating over the equivalent configurations one could actually fix the angle α to some value which corresponds to dividing (13) by a factor of 2π . When one does this fixing, one also has to exclude those redundant configurations in the nonrelativistic Kolmogorov relation (15). However, since all this symmetry fixing at the end of the day results in a simple rescaling of the normalization (14) by a factor of 2π , one sees that considering the symmetry (b) actually leaves all results of non-relativistic quantum mechanics unchanged. The situation is different for the relativistic path integral, as shown in the following subsections.

The relativistic path integral in one dimension
Let us start the discussion of the relativistic PI with the most simple case, paths in one dimension. Already this case shows some non-trivial features since even though there is no global or local Lorentz symmetry, the Weyl symmetry (c) is already present in this case. As usual, one can fix this symmetry by choosing a unit length evolution parameter such that for each path for which the Lagrangian reads The fundamental building block of the path integral is the exponential of the classical action times some normalization constant which we will choose equal to M for the one dimensional case The next step towards constructing the relativistic path integral in one dimension consists in introducing one intermediate slice x 1 . According to (9), the one slicing propagator The normalization and the anomaly cancelation in one dimension is trivial N 1,1 (t) = 1 = 1 . Before integrating, one has still to take into account the redundancy explained in Fig. 1. Whenever x 1 is between x i and x f , the two-step propagation x i → x 1 → x f is physically exactly the same path as the direct connection x i → x f and should not be counted over and over again. Thus, according to (9) the right one-step propagator in one dimension K (1) where we assumed x f > x i . A trivial integration gives which means that for one dimension the initial expression (18) is equal to the one slicing propagator (21). This has important consequences for the generalization to n intermediate steps, as will be discussed in a later section.
Remember that due to the fact that the one dimensional case does not have the local symmetry b) it was possible to waive all length dependent normalization factors defined in (9) and choose N (t, 1, 1) = 1 = 1 . For the two dimensional case, the symmetry b) is present and thus one has to consider those non-trivial contributions.

The relativistic path integral in two dimensions
It is instructive to continue the discussion of the problem in two dimensions with one intermediate step. According to (9), the right one slice propagator K (1) Fig. 3 Left: Relativistic PI in two dimensions for paths with the same action S, where the red curve represents all equivalent points x 1 for a given action value S > S cl . Right: It is interesting to note that in the classical limit, when S → S cl , the elliptic contour of equivalent points x 1 collapses to the classical path. This means that the two local symmetries (b) and (c) are indistinguishable at the classical level In two Euclidean dimensions (x = (x(λ), y(λ))), the relativistic path integral (22) reads For simplicity let us choose the initial position as origin of the Cartesian coordinate system x i = 0. As part of this integral one can consider paths that all contribute with the same action to this path integral. One finds that the surface of points with equal action is shown by the ellipse in Fig. 3. This curve is generated by all different paths (x i → x 1 → x f ) with the same total length. However, the important feature of the relativistic case is that the Lagrangian (17) is the same for every single point along any of those paths with S = const. and x i , x f fixed. This is a reflection of the fact that local Lorentz symmetry (b) has not been fixed. Thus, if one naively counts all the points on the relativistic elliptic contour in Fig. 3, one is actually counting paths which are connected by a symmetry transformation. Instead, one should count only one point out of the elliptic contour by properly fixing the freedom introduced by the symmetry (b).
In order to cast the integral (23) in the equal-action form one can transform the Cartesian coordinates x 1 , y 1 into slightly modified elliptical coordinates χ i = (S, α), with Here, we have chosen the middle of the classical path 0 → x f as the origin of the elliptical coordinate system and α as the angle between the x axes and the vector x 1 − (x f − x i ), as shown in Fig. 3. Further, for the Cartesian choice x i = 0, x f = |x f − 0| stands for the length of the minimal classical path, while S stands for the length of the quantum path 0 → x 1 → x f . The Jacobian of the coordinate transformation is det Thus the one-step propagator K (1) One notes that the angular integral, which represents the redundancy, does not simply factorize like in the nonrelativistic case. This anomalous angular dependence in the numerator of (27) comes due to a naively defined measure dx 1 dy 1 and has to be canceled by a proper definition of the multiplicative factor −1 which is the simplest non-fractional term containing α. A dimensional analysis shows that the measure N 2,1 (t i, f ) = N 2,1 in two dimensions is actually independent of x f ≡ |x f − 0|. With this, one finds Please note that the redundant volume 2π 0 dα can now either be eliminated by fixing the angle α or by integrating over the angle and absorbing the factor in the normalization of the propagator. A two dimensional Fourier transformation of (31) returns again the expected propagator of the free scalar field in Fourier space.
By comparing the one slicing propagator K (1) , one notes that in contrast to the one dimensional case, the Kolmogorov relation is not fulfilled when going from zero to one slicing. This makes it necessary to study a higher number of intermediate steps, which will be done after discussing the one-step case in D dimensions.

The relativistic path integral in D dimensions
It is straightforward to repeat the discussion of the two dimensional case for the path integral of the relativistic point particle in higher dimensions. When changing to the modified elliptical coordinates in D dimensions χ i = (S, α 1 , ..., α D−1 ) one notes that for one slicing the Jacobian of the transformation takes the form det This determinant can be written as a product of three functions, one with the angle α 1 , one with the angles α i | i>1 , and of one function without angles. Here, g(α 1 ) and f (α 2 , . . . α N −1 ) are the typical angular dependencies in D dimensional spherical coordinates. Just like in the two dimensional case, the anomalous non-factorization of the angle α 1 , can be corrected by an appropriate choice of 1 . An anomaly free symmetry fixing choice is again ensured for the definition (29), independent of the dimension D. The remaining angular functions g(α 1 ) · f (α 2 , . . . α D−1 ) do not mix with S and give simply a solid angle. Further, in order to compensate the change in dimensionality induced by each additional spatial integral one has to choose the normalization with an inverse dimensional factor of (|x f − 0|) Note that the x f dependence of the normalization (33) can also be obtained from imposing a matching to the nonrelativistic limit of the resulting propagator. With this normalization and after integrating the factorized solid angle, the propagator reads By integrating over S one gets the one slicing propagator in D dimensions where K D/2−1 is the modified Bessel function.

Euclidean path integrals with n intermediate steps
Up to now we have calculated the relativistic propagator with one intermediate step K (1) D . However, according to (9) one still has to calculate infinitely many propagators with n intermediate steps K (n) D and than one has to sum them all up, taking again into account that no overcounting occurs. This sounds like a lot of work, unless one has some convenient relation (or theorem) that allows one to deduce all K (n) D and their sum just from the knowledge of K (1) D . In non-relativistic quantum mechanics, this powerful tool of simplification is given in terms of the Kolmogorov relation (15). It will now be shown that there exists a generalization of this relation for the relativistic PI in one dimension and that for the relativistic PI in higher dimensions there exists a "nothing new theorem" which also allows one to deduce K

One dimensional case
By taking into account the "no overcounting" condition it was previously shown that the one slicing propagator (21) has actually the same functional form as the fundamental infinitesimal propagator (18). Thus, by iterating this process one obtains that the n step propagator K (n) (x i , x f ) is also equal to (18) and that this propagator does fulfill the CK relation, as long as one avoids overcounting in the summation over intermediate steps x 1 . Thus, summing all K (n) still gives up to a normalization constant. It is instructive to study the one dimensional propagator in its Fourier representation. In order to get a relation in Fourier space one can operate on both sides of (20) with ∞ −∞ dx f exp(+ikx f ), which gives after a shift of integration variablesx f = x f − x 1 on the right hand side This is the relativistic CK relation in Fourier space in one dimension. The unusual but essential piece is the subtraction of the 2M M 2 −k 2 (k 2 +M 2 ) 2 term which comes from the missing piece (M ) on the right hand side in (20). The physical meaning of this subtraction is that in a naive ∞ −∞ dx 1 integration, the part from 0 to x f corresponds to overcounting of physically equivalent paths. Thus, the right hand side of (37) means that one can indeed combine two propagators ∼ 1/(k 2 + M 2 ) such that they give again the same form of a propagator ∼ 1/(k 2 + M 2 ), if one correctly subtracts the overcounting part ∼ (M 2 − k 2 )/(k 2 + M 2 ) 2 . The anomaly free relativistic propagator in two dimensions with two intermediate steps without overcounting is according to the definition (9) given by It is straightforward to see that the anomaly cancelation is provided by and that in general, for n intermediate steps The situation of two intermediate steps is shown in Fig. 4. We now give a geometrical proof that the symmetry-fixed two-step propagator (38) is given by the one-step propagator (31). This proof is to be understood within the "No-Over-Counting" definition of the path integral measure (9).
For any two points x 1 and x 2 in (38) one can distinguish three cases: 1. If x 1 is on the direct connection between x i and x 2 , the step x 1 does not contribute a new path to (38) and those paths do not contribute to dx 2 1 dx 2 2 | NOC . 2. If x 2 is on the direct connection between x 1 and x f , the step x 2 does not contribute a new path to (38) and those paths do not contribute to dx 2 1 dx 2 2 | NOC . 3. If none of the above cases applies, one knows that the path x 1 → x 2 → x f is equivalent (symmetry b) to the path x 1 → x 2 → x f as indicated by the dashed lines in Fig. 4, where x 2 is chosen such that x 1 lies on the direct line between x i and x 2 . As already shown, this different choice of α 2 does not change the measure contributed by this path. Thus, the total path x i → x 1 → x 2 → x f is equivalent to the total path x i → x 1 → x 2 → x f . Since x 1 lies on the direct line between x i and x 2 , one falls back to scenario 1).
Combining the outcome of those three possible scenarios one sees that the integration dx 2 1 dx 2 2 | NOC = ∅. It only contains paths which are already present in the one-step integration dx 1 | NOC . Thus one has shown that where the factor of 2π was absorbed in the normalization.  x i , x 1 , x f it still can happen that it is connected to an overcounting by a local rotation. Due to the rotational invariance explained in Fig. 2 one can always choose the arbitrary angle α 2 such that the transformed point x 2 lies in the plane defined by x i , x 1 , x f . If this point x 2 lies on the continuation of x i → x 1 one has an overcounting, otherwise not. All points x 2 , which correspond to an overcounting, lie on a cone who's tip is the point x 1 , who's symmetry axis is defined by the line x 1 → x f , and who's opening is given by the continuation of the line x i → x 1 . This configuration is shown by the green surface in Fig. 5. Again the volume of this overcounting is two dimensional which is negligible with respect to the three dimensional volume of d 3 x 2 .
As a result of those three scenarios, one can conclude that there is some overcounting in the higher dimensional nonrelativistic case with more than one slicing, but this overcounting is irrelevant since it is of lower dimension than the actual integral d 3 x 2 . Thus, in the non-relativistic case one has to actually construct the complete PI by the use of the Kolmogorov relation. This is in contrast to the relativistic case, where the entire volume d D x 2 turned out to be an overcounting. A generalization of this observation to higher number of dimensions and higher number of slicings is straightforward.

The Kolmogorov relation
It is interesting to discuss the results (35) and the D dimensional generalization of (41) in the context of the CK relation.
The usual way to state this relation in the non-relativistic case is based on the fact that the one-step propagator K (1) N R (x i , x f ) takes the same form as the infinitesimal propagator K where This allows one to construct the complete propagator K (x i , x f ) by iteration. Thus, (42) is also fulfilled by the complete propagator In the relativistic case the infinitesimal propagator where and it seems hopeless to construct a PI from an iterative relation. As already seen, the rescue comes when one takes into account the issue of overcounting over symmetry-equivalent intermediate steps when gluing together additional infinitesimal propagators. By virtue of (41) one finds that the iteration actually converges at one intermediate step, since all additional intermediate steps can be identified as symmetryequivalent to one intermediate step This is the building brick of the relativistic Kolmogorov relation (47) in analogy to the non-relativistic relation (42). The naive KG relation fails for the relativistic case since it ignores this issue of overcounting, and thus it is dominated by a summation over equivalent paths, which generates the "Tur Tur effect" [17] of increasingly deformed propagators as one continues to introduce intermediate steps.

Conclusion
The usual path integral formulation of relativistic quantum mechanics suffers from deep technical and conceptual problems. A first problem appears when one uses the Lagrangian action and calculates the propagator in a straightforward way. It turns out that such a calculation of the propagator gives a wrong result (see Appendix A). Even though one can to some degree circumvent this particular problem by applying techniques such as renormalization procedures combined with semi-classical approximations [9], or the introduction of auxiliary fields for the Hamiltonian action [5][6][7], there remains a much deeper conceptual problem. This second problem is that it is not understood how the combination of short time propagators K (0) gives long time propagators K (n) of the same functional form, in the spirit of the Chapman-Kolmogorov relation. This failure is typically taken as hint that it is impossible to consistently formulate the PI of the relativistic point particle and that one has to turn to QFT instead (at least if one does not want to redefine the usual notion of probability [11,12]). Those two long standing issues are resolved in this paper. For this purpose, we make notice of the symmetries (a), (b), and (c) which are present in this problem. Then the usual PI measure is defined in a precise and explicit way (9), taking into account the issue of overcounting of equivalent and identical paths. Based on this, the relativistic one slicing propagator is calculated in a very simple and geometric way (35). The crucial step of the paper was then to show that it is indeed possible to consistently relate the n slicing propagator to the one slicing propagator by proving the relation (41). Thus, the one-step propagator (35) already gives the right result for the full propagator. This proof makes again heavy use of the symmetries and overcounting conditions discussed before. The main part of this paper concludes with a discussion on the Chapman-Kolmogorov relation and a conjecture on other quantum theories with general covariance.
It is hoped and believed that the presented work allows one to finally reconcile the quantum mechanical PI formulation with the straight forward notion of a relativistic action (5).
The last integral is obtained analytically, thus giving Inserting this result into (52) one obtains the result stated in (2).