# Relativistic invariance of the vacuum

- First Online:

- Received:

DOI: 10.1140/epjc/s10052-013-2654-9

- Cite this article as:
- Bednorz, A. Eur. Phys. J. C (2013) 73: 2654. doi:10.1140/epjc/s10052-013-2654-9

## Abstract

Relativistic invariance of the vacuum is (or follows from) one of the Wightman axioms, which is commonly believed to be true. Without these axioms, here we present a direct and general proof of continuous relativistic invariance of all real-time vacuum correlations of fields, not only scattering (forward in time), based on closed time path formalism. The only assumptions are basic principles of relativistic quantum field theories: the relativistic invariance of the Lagrangian, of the form including known interactions (electromagnetic, weak and strong), and standard rules of quantization. The proof is in principle perturbative leaving a possibility of spontaneous violation of invariance. Time symmetry is, however, manifestly violated.

## 1 Introduction

Relativistic invariance of the vacuum is a basic property of all quantum field theories based on relativistically invariant dynamics, directly following from one of Wightman axioms [1]. The (third) Wightman postulate assumes the existence of a single ground state with zero energy-momentum eigenvalue [2]. The postulate is generally accepted by high energy community [3] although the problem is more sophisticated than it looks and the validity of the axiom itself has been questioned [4, 5]. However, to postulate zero energy is in conflict with renormalization which may add indefinite contribution. Moreover, this postulate should be redundant since the vacuum is already determined by the Lagrangian and the rules of quantization. Indeed, without the Wightman axiom, the invariance has been already proved for special cases of relativistic quantum field theories: single fields (electromagnetic, current, etc.), free theories, Feynman (forward) time-ordered (in–out) correlations of fields, scattering processes, second order and some other classes of correlations [6, 7, 8, 9, 10, 11], but never in general (for arbitrarily time-ordered correlations). A large part of high energy community wrongly claim it is already proved in general [12]. For instance, a naive proof by reconstruction of vacuum wavefunction out of Feynman correlations fails because such a reconstruction is incomplete and not unique. A general proof requires to show Lorentz invariance of all arbitrarily ordered correlations at real spacetime points. The invariance could be certainly proved only if the underlying dynamics is invariant and conserved charges are zero. It has been suggested that Nature may violate the invariance directly (by non-invariant dynamics) or spontaneously (by a Higgs-like mechanism) [13]. We do not discuss these two last possibilities here.

In this paper, we confirm the common intuition by a direct proof, not relying on Wightman axioms. Although formally general, it is better to understand it as perturbative. We show that zero-temperature vacuum correlations of fields at real spacetime points are invariant under continuous transformations of a reference frame. We shall use the framework of the closed time path formalism (CTP) [14, 15, 16] where correlations are defined on the complex path (going downwards with respect to imaginary part). It is defined in a particular reference frame, hence the invariance is not manifest. We only assume basic, accepted principles of relativistic quantum field theories: (i) relativistically invariant Lagrangian, including known interactions (electromagnetic, weak and strong, specified in detail later in the paper) and (ii) rules of quantization (standard construction of field expectation values, consistent with CTP). However, the discrete transformations like time reversal and parity have to be treated separately. If the underlying dynamics is invariant under charge conjugation or parity reflection then the proof remains valid for these transformations [1]. Unfortunately, even if the dynamics is symmetric with respect to time reversal, then CTP is not (except special cases, e.g. at space-like points or in scattering problems). In the same way, CTP is in general not invariant under joint charge–parity–time reversal in contrast to dynamics. It closely related to violation of time symmetry in quantum noninvasive measurements [17].

The paper is organized as follows. We first recall the construction of the complex-time path correlations, defining relevant correlations of fields. Next, we show that the correlations are independent of the particular shape of the path. Then we prove the Lorentz invariance of the zero-temperature no-charge vacuum for continuous transformations. Then we discuss possible pitfalls in other attempts of the proof based e.g. on momentum representation, which is dedicated to all who claim that the invariance is trivial or easy extension of existing proofs [12]. Finally, we will see that time symmetry is absent in CTP. Throughout the paper, we use the convention *ħ*=*c*=1 and *β*=1/*k*_{B}*T* (inverse temperature).

## 2 Closed time path formalism and definitions

*C*is a specially chosen curve of time

*t*in the complex plane as a function of a real parameter

*s*. The curve is continuous with nonincreasing \(\operatorname{Im}t\) (important for convergence of integrals, involving energies bounded from below and open from above) except a jump of i

*β*, which becomes imaginary infinity at zero temperature, see Fig. 1. The physical part of the contour is located on the real axis (both upper and lower). In particular, the curve in Fig. 1a is parametrized by real

*s*∈[

*s*

_{i},

*s*

_{f}]→

*t*(

*s*) with

*t*,

*θ*(

*s*−

*s*′)=1 for

*s*>

*s*′ and 0 otherwise while ∫d

*sδ*(

*s*−

*s*′)=1 and

*δ*(

*s*−

*s*′)=0 for

*s*≠

*s*′. Therefore

*θ*defines a special order of times along the path, and it may be converse to the usual order. This is important since only

*s*is the real, ordering parameter, while

*t*is complex and thus has no natural ordering. Note that in all contour time-integrals we essentially integrate over

*s*.

*c*-) field

*χ*(

*χχ*′=

*χ*′

*χ*) and anticommuting Grassmann field

*η*(

*ηη*′=−

*η*′

*η*). Here

*t*

_{k}can be located everywhere on the path (upper real, lower real, left complex part). In the above,

*A*and

*ϕ*are generic bosonic and fermionic (Grassmann) fields, respectively, and the Lagrangian is a time-local function of fields and their time derivatives, namely \(L=L[A,\dot{A},\phi,\dot{\phi}]\). The integral ∫

_{C}d

*t*is over the just defined time path, and should be read as an integral over real

*s*, ∫d

*s*(d

*t*/d

*s*). The boundary conditions for fields are

*A*(

*t*

_{i})=

*A*(

*t*

_{f}) and

*ϕ*(

*t*

_{i})=−

*ϕ*(

*t*

_{f}), for bosonic and fermionic field, respectively (Kubo–Martin–Schwinger condition [32, 33, 34]). Standard (in–out) correlations are obtained for the auxiliary fields nonzero only on the upper real part of the contour. General correlations involve both parts of the contour (in–out–in or in–in) or even more (in–in–in, etc.). The path-integral formulation of CTP is equivalent to Hamiltonian formulation, as we show in Appendix A. The standard issues such as Wick theorem, conservation laws and renormalization are resolved in CTP analogously to in–out correlations, see Appendix B.

## 3 Contour shape independence

*DA*and

*Dϕ*under infinitesimal transformation

*δt*(

*s*) parametrized by real

*s*(the variation may change endpoints but the jump must be kept constant)

*L*(

*t*+

*δt*)=exp(

*δt∂*

_{t})

*L*(

*t*). This means that the effect of the contour changes can be absorbed into a shift under time integral and a such it disappears (analogously to an integral over a total derivative). We stress that this proof is valid only if do not change the shape of the real part of the contour, except shifting

*t*

_{0}if it lies beyond all relevant times. It is essential that the fields are smooth.

*ψ*instead of real

*ϕ*and distinguished the linear time derivative bosonic field

*A*from the quadratic

*B*. The two-point Green function for

*B*reads

*t*′−

*t*|=(

*t*−

*t*′)

*θ*(

*t*−

*t*′)+(

*t*′−

*t*)

*θ*(

*t*′−

*t*). For

*A*we get (A.7) and for

*ψ*(A.8).

*L*=

*L*

_{0}+

*L*

_{I}, and

*L*

_{I}depends on fields appearing in

*L*

_{0}, the generating function (4)—by virtue of the Wick theorem (B.1)—will be a sum of integrals represented by Feynman diagrams, with lines (propagators) corresponding to free Green functions (A.7), (A.8) and (7) and vertices corresponding to

*L*

_{I}. Suppose that

*t*(

*s*) is varied by infinitesimal

*δt*. Let us consider the variation of Green functions. Note that

*X*=

*A*,

*B*,

*ψ*and subscript 0 denotes averaging (3) with respect to

*L*

_{0}. The free Green function depends only on endpoint times

*t*,

*t*′, not the shape of CTP between them.

*X*=

*ψ*,

*A*,

*B*and

*t*

_{k}lie in the real (right hand) part of the contour for

*k*>

*N*. So we get

*δ*(

*AB*)=

*BδA*+

*AδB*,

*δ*d

*t*=d

*δt*=d

*s∂*

_{s}

*δt*, (8), inverse Leibniz rule applied to

*∂*

_{s}and back Wick-coupling. The final result of the shape variation integral is zero, which completes the proof.

## 4 Lorentz invariance

It is natural to expect that Green functions are invariant under relativistic Lorentz transformations at zero temperature if the Lagrangian is Lorentz-invariant. However, starting from CTP makes it not obvious because the contour prefers some time direction. Intuitively, we expect that this should not bring about any problem but the warning light comes already from the non-invariance due to finite temperatures, which enters only as a jump in the contour. Below, we show that the Green functions at real times in zero-temperature vacuum are indeed invariant under continuous Lorentz transformations in Lorentz-invariant field theories but not necessarily under time reversal.

### 4.1 Relativistic notation in CTP

*x*

^{μ},

*μ*=0,1,2,3, with time

*x*

^{0}=

*t*and three spatial coordinates

*x*

^{k},

*k*=1,2,3. Fields, functions of position will be denoted as

*f*(

*x*) where

*x*=(

*x*

^{0},

*x*

^{1},

*x*

^{2},

*x*

^{3}). The derivatives are denoted by

*∂*

_{μ}=

*∂*/

*∂x*

^{μ}. From now on, Greek indices are reserved for four-vectors and higher Lorentz-like tensors and structures. It is extremely important for the purpose of this paper that the time

*x*

^{0}(

*s*) is here a complex function of the real parameter

*s*. In particular the time derivative

*∂*

_{0}is translated into the real derivative

*∂*

_{s}by

_{C}d

^{4}

*x*with d

^{4}

*x*=d

*x*

^{0}d

*x*

^{1}d

*x*

^{2}d

*x*

^{3}and d

*x*

^{0}=(d

*t*/d

*s*) d

*s*. For a compact notation of relative four position including the complex-time component of the four-vector on CTP we will denote |

*x*−

*x*′|

^{μ}with |

*x*−

*x*′|

^{1,2,3}=(

*x*−

*x*′)

^{1,2,3}but

*θ*(

*x*

^{0}−

*x*

^{′0})=

*θ*(

*s*−

*s*′) applies to complex

*x*

^{0}and

*x*

^{′0}along CTP.

The rest of conventions, including Lorentz generators *J*, spinors and Lagrangian density \(\mathcal{L}\) (becomes Lagrangian *L* when space-integrated) are consistent with textbooks [7, 8, 10, 40], which we recall in Appendix C for completeness.

*postulate*of QFT is that the Lagrangian density is a Lorentz-invariant. It means that the generating functional (4) can be written now as

*η*

_{k}(

*x*) with complex time

*x*

^{0}=

*t*, \(\mathcal{L}\) transforms as a scalar field and normalization imposes constraint

*S*[0,0,0]=0. Here

*A*

_{k}denotes Lorentz scalars and \(B^{\mu}_{k}\)—four-vectors with the dot ⋅ denoting Minkowski scalar product. In our convention, assuming that \(\mathcal{L}\) is a scalar we also assumed that average charge densities are zero. The first Minkowski coordinate (time) has the jump \(x^{0}_{i}-x^{0}_{f}=i\beta\).

The great advantage of Lagrangian and path-integral formalism is that it seems to be perfectly Lorentz-invariant at first sight. However, the possible caveats are hidden in the shape of CTP, which is bent into imaginary time but not spatial coordinates. The common sense intuition tells us that the Lorentz invariance must be broken by finite temperatures, which essentially dictate the contour jump. Moreover, even at zero temperature, the contour retains preferred time direction so Lorentz invariance is not manifest and self-evident.

### 4.2 Formal proof of invariance

*k*

_{B}

*T*=0 or

*β*=+∞. Note that a zero temperature makes the jump on CTP between

*t*

_{i}and

*t*

_{f}infinite. Due to the freedom of choice of the shape, we assume the contour in Fig. 1 with

*t*

_{i}→i∞ and

*t*

_{f}→−i∞, see Fig. 2. Applying a boost

*Λ*to the fields

*A*→

*ΛA*,

*B*→

*ΛB*,

*ψ*→

*Λψ*we have the complex-time invariance of Lagrangian

^{4}

*x*and the integration boundary is invariant under Lorentz transformations and

*Λ*

_{0}

*f*(

*x*)=

*f*(

*Λ*

^{−1}

*x*). Moreover

*D*(

*ΛA*)=

*DA*,

*D*(

*ΛB*)=

*DB*and

*D*(

*Λψ*)=

*Dψ*. All the exponent in the generating functional (14) is a Lorentz scalar so the above reasoning remains valid. We write

*Λ*acts on functions of complex arguments, not just real domain, as time is complex. To be correct we should work only in the real domain (

*s*,

*x*

^{1},

*x*

^{2},

*x*

^{3}) and define

*Λ*by Taylor expansion of generator exponential

Lorentz transformations are analytically continued to complex spacetime.

We ignored possible problems for

*x*^{0}→±i∞.Convergence and renormalization is not discussed.

To give more insight to the proof, dispel possible objections and make it robust, we will now reformulate it in terms of perturbative diagrams showing that each diagram separately is Lorentz-invariant.

It is enough to prove that *JG*=0 for all Lorentz generators *J* and all Green functions *G*—defined by (3) at real times, because every finite continuous transformation can be written as *Λ*=exp*wJ* and (d/d*w*)*ΛG*=*JΛG*=*JG*_{w} where *ΛG*=*G*_{w} is always some Green function at real times.

### 4.3 Free theories

*m*is the mass of the field. The Green function (propagator) satisfies Klein–Gordon equation

*∂*acts on

*x*(we shall write

*∂*′ if acting on

*x*′). The solution reads

*p*

^{μ}is the four momentum with \(p^{0}=\sqrt{{\mathbf{p}}^{2}+m^{2}}\). It is important that (21) is valid for time components,

*x*

^{0}and

*x*

^{′0}along the CTP contour as defined in Fig. 1 and (13). For the Dirac field,

*c*and

*m*

_{ab}=

*mδ*

_{ab}. Now, we get two cases. If

*X*=

*A*(bosonic field, unphysical, usually appearing in renormalization) then

*A*(

*t*

_{i})=

*A*(

*t*

_{f}) but if

*X*=

*ψ*(fermionic field) then

*ψ*(

*t*

_{i})=−

*ψ*(

*t*

_{f}). The general solution reads

*B*

^{μ}, the internal Lorentz structure is simply added by metric tensor 〈

*B*

^{μ}(

*x*)

*B*

^{ν}(

*x*′)〉

_{0}=

*ag*

^{μν}

*G*

_{0}(

*x*,

*x*′). Possible problems occur for expressions of the type \(\partial_{\mu}\partial'_{\nu}G_{0}\) because the derivative produces unphysical contact terms ∼

*δ*(

*x*

^{0}−

*x*

^{′0}) [40]. Fortunately, they appear always in pairs with a renormalization field, which cancels the singularity.

Nonzero temperature *β*<∞ will break Lorentz invariance, which means that there is a four-vector related to temperature. There is no unique choice. One can define *β*^{μ} [41, 42] with *β*^{0}=*β* and *β*^{k}=0, *k*=1,2,3 in a particular reference frame. However, good alternatives are *k*_{B}*T*^{μ}=*β*^{μ}/*β*⋅*β* or \(u^{\mu}=\beta^{\mu}/\sqrt{\beta\cdot\beta}\), see also a general discussion [43]. However, one has to remember that the zero temperature limit means *infinitely time-like**β*^{μ}. The zero four-vector *β* limit, when Lorentz invariance might be obvious, corresponds unfortunately to infinite temperature so this is not what we are looking for.

*β*→+∞, (21) and (25) take the form

*x*and

*x*′ by

*J*

_{0x}and

*J*

_{0x′}, respectively, one can check explicitly (a lengthy textbook exercise) that

*JG*=0 (so

*ΛG*=

*G*) when applied to (26), so the free theory is indeed Lorentz-invariant (there are no additional problems with transformation of internal vector or spinor structure). Remember that the time derivative in

*J*is always taken along the contour, namely with complex-time derivative

*∂*

_{0}(11).

### 4.4 Interaction

*k*(not integrated), internal vertices (integrated) corresponding to the interaction part of the Lagrangian density \(\mathcal{L}_{I}\) and connecting lines corresponding to free Green functions (21) and (25). We want to show that

*J*vanishes when applied to the whole diagram. Suppose that the diagram has fixed number

*N*of internal vertices 1..

*N*and

*K*external ones

*N*+1..

*N*+

*K*. then we have to show that

*X*

_{k}represent fields whose expectation value define the Green function,

*J*

^{m}acts on all fields meeting at the vertex

*m*. The average is taken with respect to free Lagrangian density \(\mathcal{L}_{0}\). We decouple (29) into free Green functions using Wick theorem and use Leibniz rule. Since Lorentz transformations do not affect free Green functions, we have

*n*≤

*N*(

*x*=

*x*

_{n}), which yields only boundary values due to ∫d

*t*

*x*

^{k}

*∂*

_{0}=∫d

*s*

*x*

^{k}

*∂*

_{s}, see Eq. (C.7). However, free propagators vanish exponentially at large distances and, at zero temperature, with

*x*

^{0}→±i∞. Hence (31) vanishes along with the left hand side of (29), which completes the proof.

This is our main result. The proof has been obtained in the time domain, without stretching the real time to infinities. Note the analogy to contour shape independence. The heart of the proof is the fact that analytic continuation of time does not hurt the generating function. It is quite intuitive but never before shown explicitly.

## 5 Incomplete proofs

It is tempting to ask: Why not to prove Lorentz invariance using simply energy-momentum representation [44, 45, 46, 47, 48]? This approach seems attractive and practical but it has to be supplemented by arguments following from spacetime CTP representation. The main problems arise for off-shell Green functions (not describing scattering processes) and field mass/strength renormalization. They cannot be resolved without returning to spacetime representation.

*t*

_{0}→+∞ and

*t*(

*s*

_{±})→−∞), taking separately its upper and lower branch, as Fourier transform is only defined in real axis. The Green function gets additional indices to keep track of the branch, \(G_{uv}(x,x')=G(x_{u},x'_{v})\) where

*u*,

*v*=± and \(x^{0}_{\pm}=x^{0}\pm \mathrm{i}\epsilon\),

*ϵ*→0

_{+}. We have

*δ*

_{±}(

*p*

^{2}−

*m*

^{2})=

*θ*(±

*p*

^{0})

*δ*(

*p*

^{2}−

*m*

^{2}), the upper index +/− denotes bosonic/fermionic field with

*n*

^{±}(

*q*)=(e

^{βq}∓1)

^{−1}. We denoted

*ε*→0

_{+}defined for momenta to distinguish it from

*ϵ*defined in spacetime.

*n*→0 and the free Green functions are manifestly Lorentz-invariant. The problems arise for interactions. Now, the interacting Green function takes on renormalization corrections,

*Z*(

*p*) is regular at

*p*

^{2}=

*M*

^{2}. The renormalization is obtained by summation of Dyson series of self-energy contributions. However, such step is ill-defined for

*p*

^{2}=

*M*

^{2}because

*ε*dominates in this regime. This can be cured by a slight tilt of the real-time contour as in Fig. 3 [10]. In fact, the new contour contains the essential feature of Fig. 2—the endpoints in ±i∞. However, for

*G*

_{±∓}the trick with the contour does not help. We are forced to simply accept

*p*

^{2}=

*M*

^{2}. One can circumvent the problem by

*ad hoc*defining extrapolation of

*G*

_{±±}to

*G*

_{±∓}and the

*p*

^{2}=

*M*

^{2}case. Another argument is the fluctuation dissipation theorem, which imposes relations between elements of

*G*[49, 50], or mass derivative [36]. However, this is only the case of elementary particles like electron and photon. Composed bound states like nucleons, atoms, and molecules get their renormalization corrections, too, but they cannot be simply reduced to a single dressed propagator line. In the time domain, bound states do not lead to any problems because the poles/deltas in propagators appear only in the infinite time limit and we do not have to sum infinite series of diagrams.

*p*

^{2}−

*m*

^{2}+i

*ε*)(

*p*

^{2}−

*m*

^{2}−i

*ε*)]

^{−1}. Fortunately, a careful analysis makes them always cancel [46, 47]. Having the invariance of in–out correlations, it would be easy to prove Lorentz invariance if all the Green functions factorized at zero temperature [41, 48], namely

*k*± denotes fields defined on the upper(+)/lower(−) branch by the Fourier transform \(X_{\pm}(p)= \int \mathrm{d}^{4}x_{\pm} \mathrm{e}^{\mathrm{i}p^{\mu}x_{\mu\pm}}X_{\pm}(x_{\pm})\). An attempt to prove the factorization requires generalization of CTP to the contours like that in Fig. 4 with varying

*σ*[41, 44, 45, 48]. If

*σ*=

*β*/2 then the factorization occurs indeed for

*β*→∞. However, not every Green function is

*σ*-independent [52, 53]. From translational invariance the nonvanishing Green functions satisfy ∑

*p*=0. The new vertical part of the contour gives additional factors \(\mathrm{e}^{\pm\sigma p^{0}}\) to each propagator from lower to upper branch (+) or vice versa (−). These factors cancel only if

*separately*add up to zero as seen in Fig. 5. This situation is common to scattering processes but not in general. It holds e.g. for in–out correlations when all times are on the upper real part due to time shift invariance but not necessarily for in–in correlations when times are located on both real parts (upper and lower).

Having presented above the complications in energy-momentum space, we conclude that the proof is fully correct in the spacetime domain, while in the momentum/Fourier space it would require assuming at best several additional technical rules and may not be general (for very complicated diagrams). Still, most of practical calculations are easier performed in the latter case, with spacetime arguments used only when the momentum rules are ambiguous.

Another attempt of proof requires reconstruction of vacuum wavefunction out of in–out Green functions. This is possible in simple quantum models, including free theories, finite and harmonic systems but not in fully interacting relativistic theory because renormalizing fields, especially for fermions, make the information in in–out functions incomplete and insufficient to uniquely reconstruct vacuum wavefunction. On the other hand, dimensional regularization is useless when proving Lorentz invariance because Lorentz transformations are defined only for integer dimensions. Lastly, an often heard argument is analyticity of Green functions [12], but how to define it on CTP? The condition of nonincreasing imaginary part makes it impossible to define analytic conditions (Cauchy–Riemann) because for free real times the middle one is pinched—the imaginary part of the derivative is not allowed. One cannot allow the contour to go upwards in imaginary direction because the energy spectrum is bounded from below and open form above, making integrals nonrenormalizably divergent. On the other hand analyticity with respect to real *s* is questionable because of turning points *t*_{0}(*s*_{0}) and crossings (*t*_{n}≃*t*_{m}). Such a proof will be restricted to a particular branch of CTP, e.g. upper/lower real or vertical imaginary part, but not general. One cannot also use Gell-Mann and Low theorem [54], which could simply extend the proof from free theories to interacting ones by adiabatic switching, because it works itself in a preferred frame. Any attempt to prove Lorentz invariance in general will ultimately fail or arrive at the proof here presented.

## 6 Absence of time-reversal symmetry

The momentum representation hides the fact that the Lorentz invariance is not necessarily valid for time reversal, which is only true for second order correlations or if the factorization (36) holds for higher order correlations. Note that the reversal *p*^{0}→−*p*^{0} break the time symmetry because of *θ*(±*p*^{0}) factors in *G*_{±∓}. Trying to reverse branches +↔− does not help either, because then *G*_{±±} gets conjugated, so there is no way to restore original Green function. If we both reverse *p*^{0} and make conjugation then we will return to the original Green function but the time will be also twice reversed which is again not what we wanted to have. The time (generally charge–parity–time) symmetry is valid only for scattering processes or space-like separated points. This lack of symmetry is fundamental and especially surprising in context of noninvasive measurements which are naturally defined on CTP [17].

## 7 Conclusions

We have shown that the closed time path formalism is consistent with relativistic invariance at zero temperature. The presented picture path-integral Lagrangian fits well into covariant relativistic framework with the analytic continuation of time as the only nontrivial extra element. It is remarkable that complex time glues statistical mechanics, time evolution and relativistic symmetry without any problems. The fact that CTP is invariant only under continuous transformations, not time reversal, shows that there the properties of CTP still differ from scattering processes. An open issue is whether the Lorentz symmetry can be shown nonperturbatively (what about spontaneous breaking?) and for quantum gravity.

## Acknowledgements

I thank W. Belzig, A. Neumaier, S. Mrówczyński and P. Chankowski for fruitful discussions and motivation and for hospitality of University of Konstanz, where part of this work has been completed.

### Open Access

This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.