Physics With Two Time Dimensions

Jacob G. Foster1 and Berndt M¨uller2 1Complexity Science Group, Department of Physics, University of Calgary, Calgary, Alberta, Canada T2N 1N4 2Department of Physics & Center for Theoretical and Mathematical Science, Duke University, Durham, NC 27708, USA (Dated: January 25, 2010) We explore the properties of physical theories in space-times with two time dimensions. We show that the common arguments used to rule such theories out do not apply if the dynamics associated with the additional time dimension is thermal or chaotic and does not permit long-lived time-like excitations. We discuss several possible realizations of such theories, including holographic representations and the possibility that quantum dynamics emerges as a consequence of a second time dimension.

I. INTRODUCTION field theory, constructed as the boundary field theory of a six-dimensional Anti-deSitter space-time with two time dimensions containing a Schwarzschild black-hole. Modern unified theories of the fundamental interac- In Sect. IV we point out that, once the notion of field tions generally posit that we live, at microscopic scales, theories in space-times with two time dimensions is ac- in a universe with more than three spatial dimensions. cepted as physically viable, the quantum dynamics of the Following Kaluza’s [1] and Klein’s [2] original idea, the reduced field theory in Minkowski space can be gener- extraneous dimensions are assumed to be compactified ated by the mechanism of micro-canonical quantization so that excited modes of the elementary particle fields from the underlying classical dynamics of a field in a involving nontrivial dynamics in these dimensions are ex- higher-dimensional space-time that contains two time di- ceedingly massive and therefore not directly observable. mensions. Finally, we summarize our results and present The sole exception to this rule may be gravity [3]. some thoughts about the possible cosmological context The Kaluza-Klein concept is naturally realized within of a second time dimension. superstring theory, which requires at least six additional dimensions for internal consistency [4]. It has been noted in recent years that the additional spatial dimensions do II. MULTIPLE TIME DIMENSIONS not have to be aspects of a genuine space-time contin- uum, but could be artefacts of the algebraic structure of A. The case against multiple time dimensions some underlying quantum mechanical system [5]. One common feature of most theoretical speculations Let us briefly review why the basic principles of causal- of this kind is that the additional dimensions are as- ity, unitarity, and vacuum stability are thought to be vi- sumed to be spatial. The reason for this restriction is olated in the presence of additional time dimensions. that physics in the presence of more than one temporal dimension is generally considered to violate several fun- 1. Causality: In space-times with at least two time di- damental and well established properties of nature. The mensions, it is always possible to construct closed two most important of these principles are causality and time-like curves [6]. This is especially worrisome in unitarity, but there are also concerns that additional time the context of classical physics, where observers are dimensions imply tachyonic modes and ghost fields, i. e. not part of the physical system and can “act” in un- predictable ways. The existence of closed time-like arXiv:1001.2485v2 [hep-th] 25 Jan 2010 field components with negative norm. curves implies that an observer can revisit the past We will discuss the case against more than a single and, if we accept the tenet of “free will”, change it time dimension in Sect. II, followed by an overview of in a manner that is incompatible with the already the arguments that have led us to reconsider this case. In experienced future. The classic example of a result- Sect. III, we first review the mathematical difficulties as- ing inconsistency is the trip back in time, where the sociated with the initial-value problem for wave equations hero unwittingly kills his own ancestor (the grand- in spaces with multiple time dimensions. After explain- father paradox). Obviously, anything resembling ing why a recently proposed resolution of the ill-posed na- the common notion of causality cannot be main- ture of the initial-value problem does not work in general tained under such circumstances. The question of for interacting fields, we will argue that interacting fields the well-posed nature of the Cauchy (initial-value) without propagating time-like modes (with respect to the problem in space-times with closed time-like paths additional time dimension) can evade this difficulty. In was investigated in detail by Aref’eva et al. [9]. particular, we show how the difficulty can be circumnavi- gated if the field is thermalized in the additional time di- 2. Unitarity: While violations of causality can arise mension. We propose a specific model of such a quantum both in classical and quantum dynamics, violations 2

of unitarity are specific to the realm of quantum B. Multiple time dimensions reconsidered mechanics. Why unitarity can be violated in the- ories with more than one time dimension is most We shall now explain why these objections against ad- easily illustrated, following Yndur´ain[10], by con- ditional time dimensions may not be as ironclad as gen- sidering the Feynman propagator of a scalar par- erally believed. We begin by noting that the objections ticle in three spatial and two temporal dimensions are based on the assumption that the higher-dimensional denoted by x and (t, θ), respectively. We denote space-time exists in a state resembling the vacuum state, the Fourier transformed variables as (k, ω, χ). The so that local excitations are discrete in energy and their potential energy V (r) between by a static source, classical or quantal motion is regular. This need not be located at x = 0 and one at |x| = r and existing at the case for an additional time dimension. For instance, the same “time” θ, has the form (see Appendix for we can imagine that excitations with an (energy-like) details): momentum component in the direction of a second time dimension are thermally excited with a temperature T " ∞ # 5 α 2α X that is much higher than any energy scale accessible in V (r) = − 1 + einr/L , (1) r r the laboratory. The dynamics in the additional time di- n=1 mension would then be diffusive, not ballistic, and would where L is the extent of the additional time dimen- thus render any deliberate attempt to revisit a targeted sion (considered as compact) and α is the effective event in the past futile [12]. low-energy coupling constant. In fact, for the causality argument against a second time dimension to fail, we do not have to assume true As seen from (1), the additional compactified time thermalization. All we need to assume is that the excita- dimension renders the scalar potential generated by tion energy with respect to the second time dimension is a static source imaginary. Yndur´ain’sresult also sufficiently high and the physical system sufficiently non- applies to the Coulomb potential generated by a linear, so that all trajectories involving motion in the sec- static charge; thus, the energy levels of the hydro- ond time dimension are dynamically unstable. Even an gen atom would be complex, implying a violation infinitesimal deviation from the precise initial conditions of the conservation of probability. In other words, a of the closed-time path would then result in exponen- compactified second time dimension leads to viola- tially large deviations of the end-point of the trajectory tions of unitarity in quantum mechanics, seemingly from its starting point. Our fortunate hero would almost excluding extended space-time models of this kind. certainly miss his ancestor, or more correctly, the proba- Dvali et al. [11] considered a slightly different sit- bility for an encounter with him would be exponentially uation, where particles are localized at θ = θ0 in small no matter how hard he tried. the second time dimension, and only gravity prop- A space-time with a thermally excited second time di- agates freely in the additional dimension. mension also allows us to evade the objection based on 3. Tachyons: Quantum field theories in space-time unitarity violation [15]. If we repeat Yndur´ain’scalcu- with more than one time dimension generally suf- lation of the propagator of a scalar particle, but in a fer from the presence of tachyonic modes. In or- thermal bath rather than in the vacuum, we do not en- der to see why, we again consider a scalar field in counter unitarity violations. The periodicity of the sec- Minkowski space augmented by a fifth, temporal ond time dimension is now along the imaginary axis, im- dimension, with the same notation for the coor- plying Matsubara frequencies χn = 2πinT5, and the re- dinates and the conjugate momenta as above. The sulting two-body potential dispersion relation of a free relativistic particle with " ∞ # α X mass m then has the form V (x) = − 1 + 2 e−nT5r (3) r n=1 ω(k, χ) = k2 − χ2 + m2 , (2) remains real as discussed in the Appendix. Corrections which implies an imaginary Minkowski space en- to the usual Minkowski space potential −α/r are expo- 2 2 2 ergy ω whenever χ > k + m . Modes in this nentially suppressed when T5 is large. Note that for equi- kinematic regime grow exponentially in the physi- librium quantities the thermal extra time dimension be- cal time coordinate t implying a vacuum instability. haves like an extra spatial dimension with compactifica- tion length L = 1/T5; thus the high temperature limit 4. Ghosts: For massless vector particles, whenever the for the thermal extra time dimension is equivalent to a metric gµν contains a second temporal eigenvalue small compactification radius for an extra spatial dimen- (+1 in our convention), the Feynman propagator sion when only long-time averages are considered. D (k) = −ig (k2 + i)−1 contains ghost modes µν µν Similarly, when T5 is large and one is only interested in with negative norm, which are not eliminated as Minkowski space observables averaged over second time dynamical degrees of freedom by the transversality intervals ∆θ  1/T5, these can be calculated using the µ condition kµA (k) = 0. imaginary-θ formalism. For each Matsubara frequency 3

χ(n), the dispersion relation in real physical time: differential equations is well posed. Let us, for simplicity, 2 2 2 consider the scalar n = p + q dimensional wave equation ω(k, χ) = k − χn + m 2 2 2 = k + (2πnT ) + m (4) p 2 q 2 5 X ∂ u X ∂ u − = 0. (5) only yields real Minkowski space energies ω. The theory ∂x2 ∂t2 i=1 i k thus does not contain tachyonic modes. Finally, ghost- k=1 like modes are eliminated if the modes of vector fields Differential equations of this type with q > 1 are called polarized in the θ-time direction are screened. ultra-hyperbolic. The Cauchy problem for linear ultra- hyperbolic differential equations of the type (5) has been studied by various authors [23, 24] and explicit solutions C. Other studies of multiple-time theories were given by Owens [25]. The minimal conformal rep- resentations of solutions of the wave equation were con- The possibility of the cosmological emergence of ad- structed by Kobayashi and Ørsted [26] for even values of ditional time dimensions was considered by Sakharov n. [16]. Aref’eva and Volovich [17] showed that the prob- If there is more than one temporal dimension, the ini- lem of ghost modes in Kaluza-Klein theories with addi- tial data must be given on a (n−1)-dimensional hypersur- tional time dimensions can be avoided, if the additional face of mixed metric signature, i. e. one which contains time dimensions reside in compact manifolds that have temporal directions. Without loss of generality, we as- no Killing vector field at all. Examples of such spaces sume that the initial data are given on the hypersurface are Kummer’s K3 manifold or, more generally, compact t1 = 0 and denote the vector of the remaining temporal 0 hyperbolic manifolds. coordinates by t = (t2, . . . , tq). Building on a general- Aref’eva and Volovich showed further that Kaluza- ized mean value theorem by Asgeirsson [27], John showed Klein type theories with additional time dimensions that, if the initial value problem has a solution, this so- would generally compactify on hyperbolic manifolds. lution is unique [23]. Geodesics in such spaces have stochastic behavior; as a Courant [28] pointed out that Asgeirsson’s theorem matter of fact, geodesic motion on Riemannian manifolds also implies that the initial value problem is generally not with constant negative curvature serves as a tractable well-posed, because a global solution of the wave equation mathematical model for dynamical systems with strongly (5) does not exist for arbitrary initial conditions. This chaotic properties [18]. As we argued above, this prop- can be seen as follows [28] (see also Tegmark [29]). First, erty may also ameliorate or even eliminate the problem Asgeirsson’s theorem implies that knowledge of the ini- of macroscopic causality violations. tial value data in an infinitesimal region in the temporal Bars and collaborators have extensively considered coordinates, theories in spaces with two time dimensions, which pos- sess an additional local symplectic gauge symmetry con- 0 0 t1 = 0; |t − t0| ≤ ε; |x − x0| ≤ a (6) necting position and momentum variables [19–21]. The imposition of a gauge constraint then allows one to reduce is sufficient to fix the data in the finite cone-shaped region the dynamics to a single time dimension. This avoids all undesirable aspects of theories with two time dimensions, but at the cost that the quantum field cannot, even in 0 0 t1 = 0; |t − t0| + |x − x0| ≤ a (7) principle, dynamically explore the second time dimen- sion. Nevertheless, the possible progeny from a higher on the hypersurface. In other words, while data on the dimensional space-time may help resolve certain unex- whole spatial domain contained somewhere in the past plained properties of the Standard Model [22]. light-cone of a space-time point is needed to uniquely de- termine the value of the function u(x, t), the data need to be known only on an infinitesimal strip in the temporal III. ULTRA-HYPERBOLIC WAVE EQUATIONS directions t2, . . . , tq (see Fig. 1). Because the infinitesimal disk (6) is sufficient to determine the Cauchy data for a A. The Cauchy problem solution of eq. (5) over the whole cone (7), it is not possi- ble to prescribe arbitrary data in the cone, but only those The generalization of Minkowski space with p spatial which are compatible with the data in the infinitesimal and q temporal dimensions is denoted as Rp,q, and we disk. Since a solution of the ultra-hyperbolic equation p,q specify a vector in R as (x1, . . . , xp; t1, . . . , tq). We will is unique if it exists, this implies that no solution exists refer to t1 as the “physical” time coordinate. Later we for arbitrary Cauchy data on the cone-like region. (The will be interested in the special case p = 3, q = 2. In this same argument applies to the disk-like region itself, be- case, we denote the five-dimensional vector as (x; t, θ), cause it is always possible to find a narrower disk which where t represents the physical time coordinate. already fixes the Cauchy data on the larger disk.) The prerequisite for a causal dynamics in any space- time manifold is that the Cauchy problem for the relevant 4

we write the Fourier representation of the solution u(x, t) of eq. (5) as

Z dpk dq−1χ  u(x, t) = u˜ (k, χ) cos[ω(k, χ)t ] (2π)p+q−1 0 1  u˜ (k, χ) 0 + 1 sin[ω(k, χ)t ] eik·x−iχ·t (11) ω(k, χ) 1

with ω(k, χ) = pk2 − χ2, the constraint (10) ensures that only real values of ω(k, χ) appear in the representa- tion, and thus u(x, t) remains bounded. The problem with the result of Craig and Weinstein is that the constraint (10) only works for a free field, but fails to protect the global evolution of u if the field is interacting, i. e. if the wave equation contains nonlin- ear terms in u. For illustration, let us consider a small quadratic term in the wave equation:

p 2 q 2 FIG. 1: Initial data domain for the Cauchy problem for the X ∂ u X ∂ u 2 2 − 2 + αu = 0. (12) scalar wave equation in an space-time with two time dimen- ∂xi ∂tk sions. The spatial extent of the domain on the co-dimension i=1 k=1 one hypersurface t1 = 0 can be chosen arbitrarily large (here If αu2  u, we can consider the nonlinear term as a as a sphere of radius a), while an infinitesimal extent in the perturbation, at least for a very short time interval 0 ≤ second temporal dimension t2 is sufficient. The data given t ≤ τ. The time derivative of the solution of (12) at in the infinitesimal disk completely fix the data in the entire 1 cone-shaped region indicated in the figure. This result implies time t1 = τ is given by that the Cauchy problem on any finite volume on the t1 = 0 Z τ 2 ∂u 0 ∂u 0 ∂ u 0 hypersurface has generally no solution. If a solution exists, (x, τ, t ) ≈ (x, 0, t ) + dt1 2 (x, 0, t ) however, it is unique. ∂t1 ∂t1 0 ∂t1 Z τ  2 2  0 2 ∂ u0 ∂ u0 = u1(x, t ) + dt1 αu0 + 2 − 02 0 ∂x ∂t These results, however, leave the question unanswered = u (x, t0) + τα u (x, t0)2 which Cauchy data are admissible. Recently, Craig and 1 0 Z p q−1 Weinstein [30, 31] showed that the existence of a unique d k d χ 2 ik·x−iχ·t0 − τ ω(k, χ) u˜0(k, χ)e .(13) causal solution can be ensured by imposing a nonlocal (2π)p+q−1 constraint on the initial values. They proved that a The Fourier transforms of the first and last term only unique global solution of the ultra-hyperbolic wave equa- have support in the domain χ2 ≤ k2, if this is true for tion (5) exists if the (p + q − 1)-dimensional Fourier rep- the initial data at t1 = 0. The second term, however, has resentation the Fourier transform Z p q−1 0 d k d χ ik·x−iχ·t0 Z dpk0 dq−1χ0 u0(x, t ) = u˜0(k, χ) e , τα u˜ (k − k0, χ − χ0)˜u (k0, χ0), (14) (2π)p+q−1 (2π)p+q−1 0 0 Z p q−1 0 d k d χ ik·x−iχ·t0 u1(x, t ) = p+q−1 u˜1(k, χ) e (8) which generally is nonzero for k = 0 even if χ 6= 0. This (2π) consideration implies that the constraint (10) is gener- of the initial data ally not preserved by the physical time evolution of the field in the presence of interactions. The physical inter- 0 0 u0(x, t ) = u(x, 0, t ) pretation of our result is that two space-like momentum modes on the hyperplane t1 = 0 can fuse into a time-like 0 ∂u 0 u1(x, t ) = (x, 0, t ) (9) momentum mode, if their space-like momenta cancel or ∂t 1 nearly cancel. satisfies the constraint

2 2 B. Fields with quenched time-like modes u˜0(k, χ) =u ˜1(k, χ) = 0 for χ > k . (10)

The physical interpretation of the constraint (10) is that The consideration at the end of the previous subsec- the initial conditions of the field only have support in the tion shows that the initial value problem for interacting region of space-like momenta on the (n − 1)-dimensional fields in space-times with more than a single time dimen- hyperplane t1 = 0. This result is easy to understand. If sion can be well-posed only if time-like momentum modes 5 are dynamically suppressed or “quenched”, so that the Averaging this expression over θ yields a constant, which time (t1) evolution does not violate the Craig-Weinstein is independent of the physical time t. In other word, constraint (10). In order to understand what this re- the θ-time dependence decouples from the physical time quirement implies, we consider the dynamics of the field dependence, which will be determined by the dynamics in within the (n−1)-dimensional subspace of the hyperplane Minkowski space, i. e. four-dimensional (x, t) space-time. (x, t0) ∈ Rp,q−1, on which the initial-value data are given. For specificity, let us consider the case p = 3, q = 2, i. e. the extension of Minkowski space by one additional time C. Holographic theory with two time dimensions coordinate, which we denote by t2 ≡ θ. We also sim- ply write t1 ≡ t. We are looking for a field theory, in This picture of a strongly coupled, thermal, super- which all momentum modes with |χ| > |k| are dynami- symmetric gauge theory in higher dimensions is sugges- cally quenched and only modes with |χ| ≤ |k| survive. If tive of Witten’s holographic construction [40] of the 4- we could find such a field theory, we would not need to dimensional large-Nc Yang-Mills theory as the boundary arbitrarily impose the constraint (10) on the initial data, field theory of a supergravity theory on AdS7 space in rather, the constraint would arise dynamically from the which two spatial dimensions have been compactified on field theory. a circle. The first compactification preserves supersym- The thermal N = 4 supersymmetric Yang-Mills the- metry, while the second one is assumed to correspond to a ory in (3+1) dimensions at large number of colors Nc and “thermal” compactification, which breaks supersymme- large ’tHooft coupling constitutes precisely such a theory. try by requiring periodic boundary conditions for bosons The spectral function of current and stress-energy corre- and antiperiodic ones for fermions. Although this addi- lation functions of this theory have been studied in detail tional benefit is important if one wants to imbed the sce- [32, 33], and it was shown that the theory does not con- nario of two time dimensions into string theory, it is not tain propagating modes, except the hydrodynamic mode essential in a more general context. Witten’s construc- which is only weakly damped. The hydrodynamic mode tion has been used to obtain estimates for the glueball with the space-like dispersion relation χ2 = k2/3 exhibits spectrum and other properties of the pure Yang-Mills minimal damping from a shear viscosity η that saturates theory in the large ’tHooft coupling limit [41, 42]. the so-called KSS bound η = s/4π [34, 35]. Time-like excitations in the thermal super-Yang-Mills theory at strong coupling are rapidly damped [36, 37]. (Note that we here refer to the θ-direction as “time” and to T5 ≡ Tθ as “temperature”.) In the gauge theory, this process corresponds to the “democratic” splitting of the original elementary excitation into lower-energy modes, which become part of the thermal bath within a finite time [38, 39]. One may visualize this as “shooting a wa- ter gun under water”, where the initially well identified stream of water emerging from the gun quickly fragments into smaller and smaller eddies and quickly loses its iden- tity and dissipates into the surrounding water. FIG. 2: Schematic representation of the six-dimensional Anti- In order to see how the exponential growth in physical deSitter-Schwarzschild geometry. The black hole is located 2 2 at r = 0; its horizon forms a black brane at r = r0. The time of modes with χ > k can get suppressed by such five-dimensional boundary space-time contains two time di- rapid damping, we consider a schematic example. Let mensions, one of which (θ) is assumed to be thermalized by us assume that all dynamical excitations in θ-time decay the black hole. like Gaussians with a time constant τ, and we focus on the “most time-like” modes by setting k = 0:

2 2 u(θ) = e−θ /2τ . (15) One possible realization of a holographic theory with two time dimensions, one of which is thermal, is six- The Fourier transform is dimensional Anti-deSitter space space AdS6 containing a black hole [43–45]. The imbedding of the black hole iden- √ 2 2 u˜(χ) = 2πτ 2 e−τ χ /2. (16) tifies which direction in the two-dimensional plane of time dimensions is thermal. As elsewhere in this manuscript, The full time-dependence of a massless mode in t and θ we label this direction by the coordinate θ; the orthogonal is then obtained by setting ω = ±iχ: time direction is labeled t. The metric of this space-time Z ∞ is given by dχ ±χt−iχθ u(t, θ) = u˜(χ) e −2 2 2  2 2 2 −∞ 2π `s ds = (r/R) f(r)dθ − dt + dx  (θ ± it)2  (R/r)2 = exp − (17) + dr2, (18) 2τ 2 f(r) 6 where order to obtain a 4-dimensional coupling of order unity, r 5 T5 cannot differ very much from this cut-off. f(r) = 1 − 0 (19) The physical gauge theory in Minkowski space thus r emerges as the long-distance limit of a thermal 5- is the metric factor determining the location of the dimensional gauge theory in a space-time with two time black hole horizon along the radial AdS6 direction. The dimensions. Formally, this 5-dimensional theory would AdS6-black hole geometry is illustrated in Fig. 2. The be constructed by doubly analytically continuing the 5- 4 1 AdS6-Schwarzschild metric (18) is an solution of the 6- dimensional euclidean gauge theory defined on R × S , dimensional Einstein equations with a nonvanishing cos- where the compactified dimension corresponds to the un- mological constant. Here θ is taken to be a periodic co- physical time dimension, which is hidden from observa- ordinate with period tion by thermal physics.

2 −1 4πR β5 = T5 = , (20) 5r0 IV. QUANTIZATION BY A SECOND TIME DIMENSION corresponding to the inverse Hawking temperature of the black hole. Assuming holographic duality, the AdS met- 6 Building on the results of the Sect. III.D, we can now ric (18) has been used to estimate the low-lying glueball argue that a classical dynamics in the (d+2)-dimensional masses, string constant, and other infrared properties of space-time induces an effective quantum dynamics in the the large-N Yang-Mills theory with qualitatively good c (d + 1)-dimensional space-time. This concept is not en- results [43–45]. tirely new. It is implicit in Beck’s idea of chaotic quanti- The holographic representation also provides an intu- zation [47] and explicit in the chaotic quantization model itive explanation for the rapid quenching of θ-time modes of Bir´o et al. [48], who argued that quantized non- of the strongly coupled boundary gauge theory. Such ex- Abelian gauge theory can be understood as the infrared citations are represented as string-like excitations of the limit of the corresponding classical gauge theory in a dual gravity theory, which fall into the black hole encod- higher space-time dimension. In some respects, our argu- ing the thermal bath and disappear behind the horizon ment can also be viewed as a realization of ’tHooft’s con- in a finite time [36, 37]. jecture [49] that quantum mechanics emerges as a limit of classical dynamics under appropriate conditions of dy- D. Non-supersymmetric gauge theories namical information loss. The idea that a classical field theory can be equiva- lent to a lower-dimensional quantum field theory is also It may not be necessary to restrict the theory to ei- inherent in the concept of gravitational holography [50], ther strong coupling or supersymmetry. In fact, in an although it is usually explored only in the strong cou- interacting thermal field theory all time-dependent ex- pling limit for the most widely studied models [51]. In citations not protected by conserved quantum numbers these models the additional space-time dimension is usu- ultimately decay to the equilibrium ensemble. For ex- ally taken to be spatial and endowed with a nontrivial ample, in a thermal Yang-Mills theory without matter metric. Here, we consider an additional temporal dimen- content all time-dependent gauge field configurations are sion, not a spatial one. quenched and only static chromomagnetic fields survive at large times [46]. The time scale for the decay is given by the inverse temperature T5 multiplied by a power (and A. Micro-canonical quantization possibly logarithms) of the coupling constant g of the gauge theory. In order to explore the quantum mechanics inducing This argument suggests that the thermal 5- property of an second time dimension it is useful to con- dimensional Yang-Mills theory in (3 + 2) dimensions sider a time dimension attached to the euclidean analogue reduces to the vacuum Yang-Mills theory in (3 + 1) of Minkowski space-time, i. e. by considering the mani- dimensions on length and physical time scales much fold defined by the coordinates (x, t = −iτ, θ) with the larger than the inverse temperature. This statement is metric known to be true when the physical time dimension t 3,1 is analytically continued from Minkowski space R to ds2 = −dθ2 + dτ 2 + dx2. (21) Euclidean space R4. In this case, all static correlation functions in R4,1 are dominated at long distances by As before, θ denotes the unphysical time coordinate. We the n = 0 Matsubara frequency χn = 2πinT5 of the denote the conjugate momentum to θ (the θ-“energy”) as thermal unphysical time dimension θ. The effective p5 = H, and the momenta conjugate to (x, τ) as (p, p4), coupling constant of the 4-dimensional gauge theory is where p4 is related to the Minkowski space energy by g4 = g5T5, where g5 is the dimensionful coupling of the E = −ip4. 5-dimensional gauge theory, which in non-renormalizable Consider a classical dynamical system whose evolu- and thus requires a physical short-distance cut-off. In tion in the unphysical time variable θ is ergodic. We 7 denote the dynamical variables (fields) collectively by A variable. This is the essence of stochastic quantization and the θ-energy associated with a particular set of these [60–62], which is thus recognized as a schematic imple- variables as H[A]. Observed over long times θ, the sys- mentation of micro-canonical quantization [63]. tem will visit all points on the hypersurface defined by Of course, the micro-canonical average can be gener- δ(H[A]−H0), where H0 is the initial θ-energy of our sys- ated by any other appropriate method, e. g. by a de- tem. The long θ-time average of an observable O[A] is terministic, but ergodic process in an additional physical then equal to the microcanonical average: (not “auxiliary”) time dimension. Such a process is nat- 1 Z θ urally realized when the evolution of the five-dimensional hOi = lim dθ0 O[A(θ0)] system in the additional time variable θ is strongly θ→∞ θ 0 chaotic. The method of defining the vacuum expectation Z −1 value of a system by means of the ergodic average over = V (H0) DA δ(H[A] − H0) O[A], (22) a chaotic trajectory has been called chaotic quantization [47, 64]. where V (H0) is the volume of the constant-H hypersur- face. The last expression in (22) is the definition of the An example of a physical system that thus generates quantum mechanical average of the observable O in a its own quantum analogue in a reduced dimension is the formalism called micro-canonical quantization [52, 53]. classical lattice gauge theory [48]. A numerical study Using the Fourier representation of the delta function, comparing the “self-quantizing” five-dimensional classi- the micro-canonical average can be written in the form cal gauge theory with the canonically quantized gauge theory in four dimensions, which was undertaken by Z ∞ dθ˜ Z −1 i(H[A]−H0)θ˜ Bir´oand M¨ullerfor the compact U(1) lattice gauge the- hOi = V (H0) DA e O[A]. (23) −∞ 2π ory [65], showed excellent agreement for the expectation value of the Polyakov loop as a function of the gauge cou- For systems with an infinite number of degrees of free- pling if Planck’s constant is identified with the product dom, such as field theories, the microcanonical average ~ T a, where a is the lattice spacing. is known to agree with the canonical average under very 5 general conditions [52]. When this equivalence holds, we can express the expectation value of the observable O as C. Analytic continuation Z −1 −βH[A] hOi = Z(β) DA e O[A], (24) In order to describe physics in real physical time, one must analytically continue the euclidean time coordinate where Z(β) = R DA e−βH[A] is a partition function and τ to the real time coordinate t = −iτ. For the canoni- the parameter β is, as usual, defined by the condition cal average (24), this is exactly what is usually done in Z ∂Z quantum field theory, where the Minkowski space vacuum β DA e−βH[A]H[A] ≡ −β = βH . (25) expectation value of an observable O is defined by the ∂β 0 analytic continuation of the euclidean space functional Upon the identification β = ~−1, the expression (24) be- integral. The critical question is whether the same an- comes the usual definition of the (canonical) quantum alytic continuation also applies to, and makes sense for, mechanical expectation value of the observable O as a the micro-canonical and ergodic time averages (22). functional integral in euclidean space. H[A] is recognized The analytic continuation involves a number of sub- as the euclidean space action associated with the system. tleties. First, the real-time analogue of the functional in- In our five-dimensional space-time H is simply the energy tegral (24) does not involve a real integrand and is thus variable associated with the additional time dimension. not mathematically well defined. For the micro-canonical The quantum of action (Planck’s constant) ~ appears as average (22) the problem is that the analytically contin- the quasi-temperature associated with the ergodic finite- ued θ-energy (the Minkowski space action) is not posi- energy trajectory of the system in the five-dimensional tive definite, and thus the constant-H hypersurface does space-time. Note that this definition of the expectation not have a finite volume, even for a field theory with in- variable does not involves a thermal ensemble, only a (θ)- frared and ultraviolet cut-offs. In the stochastic average, time average over an ergodic, classical trajectory in the the mathematical subtleties reside in the definition of a five-dimensional space-time. Langevin process for a system governed by a Minkowski space action with indefinite sign. There has been a limited amount of work on stochas- B. Stochastic and chaotic quantization tic quantization in Minkowski space [66, 67]. For cer- tain systems, a complex Langevin process can be defined The micro-canonical ensemble has been widely used in and simulated, which generates the appropriate micro- lattice gauge theory to calculate vacuum expectation val- canonical ensemble [68, 69]. In other cases, the com- ues of various operators [54–59]. In practice, the micro- plex Langevin process can be stabilized by a suitable ker- canonical ensemble is generated by a stochastic trajec- nel [70]. Recently, complex Langevin evolution has been tory obeying a Langevin equation in an auxiliary “time” applied to generate the real-time quantum evolution of 8

SU(2) Yang-Mills theory in (3+1) dimensions [71]. the additional time dimension. It would be interesting to construct a model that explains why the temperature of the universe associated with the physical time dimension V. SUMMARY AND OUTLOOK decreased over time, but the temperature associated with the second time dimension remained high. We have argued that additional time dimensions are We hasten to emphasize that the physical laws will not ruled out, if the dynamics governing the evolution of differ severely from those customarily assumed in those elementary fields in these dimensions is thermal or quasi- domains of space-time, e. g. during or before the cos- thermal. There are several distinct scenarios for this: mic Big Bang, where the full dynamics in one of the two time dimensions is not effectively screened by thermal or 1. If the universe is fundamentally quantum mechan- quasi-thermal dynamics. For example, the law of causal- ical, an additional, thermalized time dimension is ity will not apply in such regions, at least not the usual equivalent to a compactified spatial dimension on notions of causality. How such physical laws will break time scales long enough for all non-equilibrium pro- down in domains where two time dimensions are dynam- cesses to be dampened out. Because fermions and ically active may depend quite strongly on the details of bosons obey different periodicity conditions, this the cosmological model. scenario implies the breaking of any fundamental Another question is whether and how the presence of supersymmetry and thus could explain why super- an additional temporal, thermal dimension could be de- symmetry is not realized at low energies. At dis- tected experimentally. With respect to θ-time averages, tances and times much larger than ~/T5, the pres- the second temporal, but thermally excited dimension ence of the additional time dimension is essentially behaves just like a compactified spatial dimension with invisible, except for the supersymmetry breaking compactification length L = 1/T5. Experimental probes and its influence on various low-energy constants. of average properties thus will require energies E of or- der of the temperature, or precision of the order of some 2. If the universe is fundamentally classical, an addi- power of E/T5. However, it may be possible to probe for tional, highly excited and quasi-thermal time di- the existence of real θ-time dynamical phenomena, which mension will generate quantum dynamics in the may have a much longer duration if the dynamics of rele- four-dimensional space-time. Quasi-thermal means vant fields is weakly coupled. For most field theories, the that the dynamics is micro-canonical globally, and longest lived excitations are of hydrodynamic nature, be- the local ergodic ensemble can be approximated by cause their decay is protected by local conservation laws. a thermal ensemble. Planck’s constant ~ is given It may thus be possible to probe for violations of causal- by the product T5a, where a is the ultraviolet cut- ity or unitarity induced by such dynamical processes in off length of the classical field theory. In this sce- θ-time. It would be interesting to derive a general theory nario, the additional time dimension is reflected in of such microscopic causality violations. the quantum mechanical nature of Minkowski space Acknowledgments: This work was supported in part by physics. DOE grant DE-FG02-05ER41367. We thank T. S. Bir´o and I. Ya. Aref’eva for valuable comments on an earlier Any scenario of a thermal, additional time dimension version of this manuscript. raises a number of questions. What is the origin of the high temperature T5 associated with the additional time dimension and why is T5 so high? While the thermal Appendix: The Five-Dimensional Propagator cosmic background radiation is naturally understood as remnant of the thermalized energy density contained in Let us consider a massless scalar field with the La- the excited vacuum state that drove cosmic inflation, the grangian temperature associated with an additional time dimen- sion must be of a more primordial nature. It also needs 1 L = ∂ φ∂µφ + jφ (A.1) to remain constant as a function of physical time; oth- 2 µ erwise fundamental laws of nature would be observed to and its Feynman propagator change over cosmic time scales. A partial answer to this question emerges from the ob- i D(k) = . (A.2) servation that, in the presence of two time dimensions, k2 + i temperature is a two-component vector. If the observable Here k denotes the conjugate momenta to the spacetime universe is homogeneous, the physical time direction will coordinates, and we can break k up into k = (kx, ky, kz), simply be the time direction that is orthogonal to the pri- ω, the momentum conjugate to t, and χ, the momentum mordial temperature vector. The ekpyrotic cosmological conjugate to the second time direction θ. After a Fourier model [72], which posits that the Big Bang was initiated transformation, the five-dimensional wave equation with by a violent process, e. g. the collision between two en- a source term ergetic branes, could then be re-interpreted to provide µ an explanation for the high temperature associated with ∂µ∂ φ(x) = j(x) (A.3) 9 is solved by We now consider the potential energy between the static source at x = 0 and another static source located at i Z 2 2 φ(x) = d5k e−ikxD(k)j(k) , (A.4) |x| = r, also at θ = 0. Identifying α = q /(8π L), we (2π)5 reproduce Yndur´ain’s result (apart from an overall sign): where j(k) is the Fourier representation of the source. Following Yndur´ain[10], we consider a point source of strength q at rest with respect to physical time and in " ∞ # α X the second time dimension. The source is given by V (r) = −q φ(x) = − 1 + 2 einr/L r Z ∞ n=1 j(x) = q ds δ(ξµ(s) − xµ) , (A.5) iα −∞ = − r . (A.11) r tan 2L where ξµ(s) is the position of the point source in 5-space- time, parameterized by the proper length s. If the source is fixed at the spatial origin and at θ = 0, we have ξν (s) = (s, 0, 0, 0, 0), and the Fourier transform of the This shows that a compactified second time dimension source distribution is simply introduces an undesirable imaginary component into the scalar potential generated by a static source. Because j(k) = 2π q δ(ω) . (A.6) the same is true for the Coulomb potential generated by a static charge, the energy levels of, e. g., the hydrogen Inserting this result into the expression (A.4) for the po- atom will be complex, implying a violation of the con- tential and using the propagator (A.2) yields servation of probability. In other words, a compactified second time dimension leads to violations of unitarity q Z ei(k·x−χθ) φ(x) = − d3k dχ (A.7) in quantum mechanics, excluding extended space-time (2π)4 χ2 − k2 + i models of this kind. We note that Dvali et al. [11] con- sidered a slightly different model, where all fields except We now switch to spherical coordinates and integrate out gravity are constrained to a specific point in the θ-time. the angular parts, obtaining for the integral over k: Now consider the alternate case where we assume that Z eik·x 2π Z ∞ k eik|x| d3k = dk . (A.8) the momentum (energy) component χ conjugate to θ is 2 2 2 2 k − χ − i i|x| −∞ k − χ − i thermalized with temperature T5. The “thermal” aver- age of the physical-time Feynman propagator is obtained The integral over k is easily evaluated by closing the by replacing the integral over χ with a summation over integration contour in the positive complex half-plane, the Matsubara frequencies χn = 2πinT5. The evaluation i. e. only the poles with Im k > 0 contribute. In order of the contour integral then yields the result to perform the integral, we need to specify the values of the conjugate momentum χ, which contribute. The case considered by Yndur´ain[10], which we examine first, is that the second time coordinate θ is compactified on a q X (nθ−|n| |x|)T 1 φ(x) = T e 5 (A.12) circle S with radius L, i. e. that θ is cyclical with period 8π2|x| 5 2πL. The single-valuedness of the plane wave solution in n∈Z " ∞ # θ then implies the discrete frequencies χn = n/L, where q T 5 X −n|x|T5 = 1 + 2 e cosh nθT5 n ∈ Z. For real χn the contour integral (A.8) becomes 8π2|x| n=1 2 2   2π i|χ | |x| 2π i|n| |x|/L q T5 |x| − θ |x| + θ e n = e . (A.9) = coth T5 + coth T5 , |x| |x| 16π2|x| 2 2

Returning to the expression (A.7) for the field, we obtain: q X φ(x) = ei(|n| |x|−nθ)/L (A.10) 8π2|x|L n∈Z which is purely real. This shows that all corrections to " ∞ # the potential from the thermal dynamics in θ fall off ex- q X nθ = 1 + 2 ein|x|/L cos . ponentially with the distance from the source. 8π2|x|L L n=1

[1] T. Kaluza, Sitzungsber. Preuss. Akad. Wiss. Berlin [2] O. Klein, Z. Phys. 37, 895 (1926) [Surveys High Energ. (Math. Phys. ) 1921, 966 (1921). 10

Phys. 5, 241 (1986)]. [25] G. Owens, Duke Math. J. 9, 272 (1942). [3] N. Arkani-Hamed, S. Dimopoulos and G. R. Dvali, Phys. [26] T. Kobayashi and B. Ørsted, Adv. Math. 180,551 (2003). Lett. B 429, 263 (1998). [27] L. Asgeirsson, Math. Ann. 113, 321 (1936). [4] See e. g.: M. B. Green, J. H. Schwarz and E. Witten, [28] R. Courant and D. Hilbert, Methods of Mathematical Superstring Theory, Vols. 1 and 2 (Cambridge University Physics, Vol. 2: Partial Differential Equations, (Inter- Press, Cambridge, 1987). science, 1962), Chapt. VI.17. [5] T. Banks, W. Fischler, S. H. Shenker and L. Susskind, [29] M. Tegmark, Class. Quant. Grav. 14, L69 (1997) Phys. Rev. D 55, 5112 (1997). [arXiv:gr-qc/9702052]. [6] This is different from the case of curved manifolds where [30] W. Craig and S. Weinstein, Proc. Roy. Soc. A 465, 3023 closed time-like curves may arise under certain circum- (2009). stances (famous examples are G¨odel’srotating unviverse [31] S. Weinstein, arXiv:0812.3869 [physics.gen-ph]. and Gott’s geometry containing colliding cosmic strings). [32] D. Teaney, Phys. Rev. D 74, 045025 (2006). It has been argued, however, that such cases arise only [33] P. Kovtun and A. Starinets, Phys. Rev. Lett. 96, 131601 due to the misidentification of different space-time points (2006). as identical points of the manifold [7]. Other authors have [34] G. Policastro, D. T. Son and A. O. Starinets, Phys. Rev. argued that the paradoxes arising from closed time-like Lett. 87, 081601 (2001) curves are real, but can be resolved by an appropriate [35] P. Kovtun, D. T. Son and A. O. Starinets, Phys. Rev. extension of the space-time manifold [8]. Lett. 94, 111601 (2005) [7] F. I. Cooperstock and S. Tieu, Found. Phys. 35 (2005) [36] S. S. Gubser, D. R. Gulotta, S. S. Pufu and F. D. Rocha, 1497. JHEP 0810, 052 (2008). [8] S. Krasnikov, Phys. Rev. D 65, 064013 (2002). [37] P. M. Chesler, K. Jensen, A. Karch and L. G. Yaffe, Phys. [9] I. Y. Aref’eva, T. Ishiwatari and I. V. Volovich, Theor. Rev. D 79, 125015 (2009). Math. Phys. 157, 1646 (2008). [38] Y. Hatta, E. Iancu and A. H. Mueller, JHEP 0805, 037 [10] F. J. Yndur´ain,Phys. Lett. B 256, 15 (1991). (2008). [11] G. R. Dvali, G. Gabadadze and G. Senjanovic, arXiv:hep- [39] P. M. Chesler, K. Jensen and A. Karch, Phys. Rev. D ph/9910207 (published in: Shifman, M.A. (ed.): The 79, 025021 (2009). Many Faces of the Superworld (World Scientific, 1999) [40] E. Witten, Adv. Theor. Math. Phys. 2, 505 (1998). p. 525). [41] C. Csaki, H. Ooguri, Y. Oz and J. Terning, JHEP 9901, [12] Even our four-dimensional universe is permeated by ra- 017 (1999). diation with a finite temperature. However, the temper- [42] A. Hashimoto and Y. Oz, Nucl. Phys. B 548, 167 (1999). ature of the cosmic background radiation is presently so [43] S. Kuperstein and J. Sonnenschein, JHEP 0411, 026 low, TCBR ≈ 2.732 K, that we can usually ignore its (2004). effects in particle physics experiments (an exception is [44] C. K. Wen and H. X. Yang, Mod. Phys. Lett. A 20, 997 the GKZ effect, which limits our ability to observe cos- (2005). mic rays above a certain energy [13, 14]), and we can [45] B. Cai, C. Wen and H. Yang, Mod. Phys. Lett. A 22, 719 easily devise experimental conditions that shield the ra- (2007). diation. An exception are cosmic background neutrinos [46] D. Bodeker, Phys. Lett. B 426, 351 (1998). and gravitons which, however, have completely negligible [47] C. Beck, Nonlinearity 8, 423 (1995). interaction rates and thus can be ignored in any practical [48] T. S. Bir´o,S. G. Matinyan and B. M¨uller,Found. Phys. experiment. Lett. 14, 471 (2001). [13] K. Greisen, Phys. Rev. Lett. 16, 748 (1966). [49] G. ’t Hooft, arXiv:hep-th/0104219 [published in: Quan- [14] G. T. Zatsepin and V. A. Kuzmin, JETP Lett. 4, 78 tum [Un]speakables: From Bell to Quantum Informa- (1966) [Pisma Zh. Eksp. Teor. Fiz. 4, 114 (1966)]. tion, R. A. Bertlmann and A. Zeilinger, (eds.), Springer- [15] J. G. Foster, Physics with Two Time Dimensions, Senior Verlag, p. 307]. Thesis, Duke University, 2003 (unpublished). [50] L. Susskind, J. Math. Phys. 36, 6377 (1995). [16] A. D. Sakharov, Sov. Phys. JETP 60, 214 (1984) [Zh. [51] J. M. Maldacena, Adv. Theor. Math. Phys. 2, 231 (1998) Eksp. Teor. Fiz. 87, 375 (1984)]. [Int. J. Theor. Phys. 38, 1113 (1999)]. [17] I. Y. Aref’eva and I. V. Volovich, JETP Lett. 41, 654 [52] A. E. Strominger, Annals Phys. 146, 419 (1983). (1985) [Pisma Zh. Eksp. Teor. Fiz. 41, 535 (1985)]; Phys. [53] A. Iwazaki, Phys. Lett. B 141, 342 (1984). Lett. B 164, 287 (1985). [54] D. J. E. Callaway and A. Rahman, Phys. Rev. Lett. 49, [18] D. V. Anosov, Geodesic flows on closed Riemannian 613 (1982). manifolds with negative curvature, Proc. Steklov Inst. [55] M. Namiki, I. Ohba, K. Okano and Y. Yamanaka, Prog. Math. 90 (1967). Theor. Phys. 69, 1580 (1983). [19] I. Bars and C. Kounnas, Phys. Rev. D 56, 3664 (1997) [56] D. J. E. Callaway and A. Rahman, Phys. Rev. D 28, [arXiv:hep-th/9705205]. 1506 (1983). [20] I. Bars, C. Deliduman and O. Andreev, Phys. Rev. D 58, [57] A. Iwazaki, Phys. Rev. D 32, 2756 (1985). 066004 (1998) [arXiv:hep-th/9803188]. [58] A. Iwazaki, preprint LBL-20641 (1985). [21] I. Bars, Phys. Rev. D 62, 046007 (2000) [arXiv:hep- [59] M. Fukugita, T. Kaneko and A. Ukawa, Nucl. Phys. B th/0003100]. 270, 365 (1986). [22] I. Bars, Phys. Rev. D 74, 085019 (2006) [arXiv:hep- [60] G. Parisi and Y. s. Wu, Sci. Sin. 24, 483 (1981). th/0606045]. [61] M. Namiki, I. Ohba, K. Okano, Y. Yamanaka, [23] F. John, Duke Math. J. 4, 300 (1938). A. K. Kapoor, H. Nakazato and S. Tanaka, Lect. Notes [24] G. Owens, Amer. Math. J. 69, 184 (1947); ibid. 74, 307 Phys. M9, 1 (1992). (1952). [62] M. Namiki, Prog. Theor. Phys. Suppl. 111, 1 (1993). 11

[63] D. J. E. Callaway, Phys. Lett. B 145, 363 (1984). [69] K. Okano, L. Schulke and B. Zheng, Prog. Theor. Phys. [64] T. S. Bir´o,B. M¨ullerand S. G. Matinyan, Lect. Notes Suppl. 111, 313 (1993). Phys. 633, 164 (2003) [arXiv:hep-th/0301131]. [70] H. Okamoto, K. Okano, L. Schulke and S. Tanaka, Nucl. [65] T. S. Bir´oand B. M¨uller,arXiv:hep-lat/0307028. Phys. B 324, 684 (1989). [66] H. Huffel and H. Rumpf, Phys. Lett. B 148, 104 (1984). [71] J. Berges and D. Sexty, Nucl. Phys. B 799, 306 (2008). [67] H. Nakazato and Y. Yamanaka, Phys. Rev. D 34, 492 [72] J. Khoury, B. A. Ovrut, P. J. Steinhardt and N. Turok, (1986). Phys. Rev. D 64, 123522 (2001). [68] D. J. E. Callaway, F. Cooper, J. R. Klauder and H. Rose, Nucl. Phys. B 262, 19 (1985).