arXiv:0912.2253v2 [hep-th] 19 Dec 2009 ‡ † ∗ rcsi ellratmt 1,1,1,1,15]. 14, 13, 12, [11, automata [10] non- physics cellular 5], black-hole cosmic 9], 4, or 8, [3, 7, gravity [6, quantum geometry commutative loop as [2], such quantum-gravity, foam of spacetime models many structures in Such approximating inherent are scales. at in length structures interest Planckian, coarse-grained typically of small, discrete revival with spacetime recent there the a reason this For been at [1]. has revision strength interactions in need electro-weak comparable may become and no- continuum gravitational the in a where particular, required as scales with In spacetime is fields of shift spacetime. two tion conceptual of the understanding dramatic reconcile our a to other, order each in that indicate 1 rbdwt atceaclrtr ( accelerators particle with probed ao on frnraie hoisi rcsl oex- to computa- numerical precisely from is data nu- theories a lattice-independent no- as renormalized Indeed, tract serve few of divergences. mainly point a ultraviolet they major with of 23], but regulators 22, 20], merical [21, 19, computational exceptions in [18, table lat- instance, theory Discrete for field used, quantum lattice. routinely discrete are a tices undoubtedly is physics the of set models to prospective supposed are are world. on Planckian future, or limits [16] near started important Surveyor the just various in Planck which start as [17]— to such IceCube planned as probes related speculative fact, the so In or be not seems. might it physics Planckian of sue lcrncades [email protected] address: Electronic [email protected] address: Electronic lcrncades [email protected] address: Electronic . 6 ept atgpbtentePac egh( length Planck the between gap vast a Despite physics quantum and gravitational in advances Recent n ftesmls o-oe ytm o Planckian for systems toy-model simplest the of One · 10 netit eaino ol rsa n t applications its and crystal world on relation Uncertainty − 35 )adsals eghsae htcnbe can that scales length smallest and m) ASnmes 47.y 03.65.-w a 04.70.Dy, quantization numbers: als PACS Hooft’s We ’t evaporation. with hole paradigm black crystal micro world the Hawking the of finite of end Heisen a the on both at based predicts remnant results formula standard uncerta mass-temperature to involved mass-temper contrast our new on In a bound derive part holes. we energi lower the black where Planckian any physics, In for holes pose black i.e., crystal”. not micro “world zone, does — Brillouin momenta length the and Planck of of border order the the of is 2 efruaegnrlzducranyrltosi crysta a in relations uncertainty generalized formulate We NP,CehTcnclUiest nPau,B˘rehov´a 1 Prague, 7, in University Technical Czech FNSPE, .INTRODUCTION I. 1 eateto hsc,Ntoa awnUiest,Taipei University, Taiwan National Physics, of Department T,FeeUiesta eln riale1 -49 Berl D-14195 14 Arnimallee Universit¨at Berlin, Freie ITP, 3 en etrfrCsooyadPril srpyis(LeCo Astrophysics Particle and Cosmology for Center Leung erJizba, Petr ≈ 10 ,2, 1, − 18 ∗ ) h is- the m), ae Kleinert, Hagen ℓ p ≈ ecntutpsto n oetmoeaoso 1D III a Section on In operators text. momentum the and in position needed calculus construct be differential we will a that lattice of a fundamentals on some present we more interest. be academic may mere results the presented a as will the of which such that than — hoped accelerators 28] is particle 27, it in LHC, [26, en- available range at TeV shortly formed the be be as might low holes as black micro ergies view physical that In fact derive physics. the to hole of black and micro crystal to quan- world related consequences the the on with physics associated tum (GUP) principle uncertainty tran- Kosterlitz-Thousless [23]. a superfluids in two-dimensional order in the sition or- quasi-long-range to a similar of not der, behavior are typical crystal the the display world words, but the other crystalline In of the peaks distances. of large Bragg memory over the lost dis- that is the structure so of distances, long fluctuations functions at correlation elastic logarithmic the possess fields Moreover, the- placement Einstein’s in [25]. as between ory same i.e., the defects, are rotational singularities, curvature local action, assumes between elastic second-gradient one forces a the If by controlled be geometry deformations. to the elastic these i.e., structure, under invariant defect the is alter deforma- elastic not The do tions defects. translational to due torsion eetsrcueo rsa hs atc pcn sof is spacing lattice whose of the crystal order of a manifestation the Einstein-Cartan 24]. of a and being structure 23, as defect Einstein considered [20, be of can crystal” geometry spaces “world the — There, universe crystal-like on sitting network. fields the sig- of between for nodes interactions directions the the propagation carrying possible nals only the define ftkn h atc olne samr computational mere a a as as longer but no consequences device, lattice the the investigate taking however, may, of One tions. 1, h tutr forppri sflos nScinII Section In follows: as is paper our of structure The generalized the study to is note this of purpose The eetyoeo spooe oe fadiscrete, a of model a proposed us of one Recently † n ai Scardigli Fabio and s h netit eainfrposition for relation uncertainty the es, egadsrnyucranyrelations, uncertainty stringy and berg ddul pca relativity. special double nd tr eainfrShazcidmicro Schwarzschild for relation ature -ieuies hs atc spacing lattice whose universe l-like stmeaueadazr rest-mass zero a and temperature ’s reymninsm connections some mention briefly o clrcs hneege i near lie energies when case icular 51 rh ,CehRepublic Czech 1, Praha 19 15 ℓ p nis eapyorrslsto results our apply We inties. uvtr sdet oainldefects, rotational to due is Curvature . bona-fide n Germany in, 0,Taiwan 106, omcobakholes black micro to 3, sPA), iceentok hs links whose network, discrete ‡ δ -function-like, 2 lattice and compute their commutator. We then demon- where x runs over all xn. strate that the usual Weyl-Heisenberg algebra W1 forp ˆ For periodic functions on the lattice or for functions andx ˆ operators is on a 1D lattice deformed to the Eu- vanishing at the boundary of the world crystal, the lat- clidean algebra E(2). By identifying the measure of un- tice derivatives can be subjected to the lattice version of certainty with a standard deviation we derive the related integration by parts: GUP on a lattice. This is done in Section IV. There we focus on two critical regimes: long-wave regime and f(x) g(x) = g(x) ¯ f(x) , (4) ∇ − ∇ the regime where momenta are at the border of the first x x X X Brillouin zone. Interestingly enough, our GUP implies f(x) ¯ g(x) = g(x) f(x) . (5) that quantum physics of the world-crystal universe be- ∇ − ∇ x x comes “deterministic” for energies near the border of the X X Brillouin zone. In view of applications to micro black One can also define the lattice Laplacian as hole physics, we derive in Section V the energy-position 1 GUP for a photon. Implications for micro black holes ¯ f(x)= ¯ f(x)= [f(x+ǫ) 2f(x)+f(x ǫ)] , (6) physics are discussed in Section VI. There we derive a ∇∇ ∇∇ ǫ2 − − mass-temperature relation for Schwarzschild micro black which reduces in the continuum limit to an ordinary holes. On the phenomenological side, the latter pro- Laplace operator ∂2. Note that the lattice Laplacian can vides a nice resolution of a long-standing puzzle: the final x also be expressed in terms of the difference of the two Hawking temperature of a decaying micro black hole re- lattice derivatives: mains finite, in contrast to the infinite temperature of the standard result where Heisenberg’s uncertainty prin- 1 ¯ f(x) = f(x) ¯ f(x) . (7) ciple operates. Besides, the final mass of the evaporation ∇∇ ǫ ∇ − ∇ process is zero, thus avoiding the problems caused by the existence of massive black hole remnants. Entropy and The above calculus can be easily extended to any num- heat capacity are discussed in Section VII. Finally, in ber D of dimensions [18, 19, 23]. Section VIII we outline a connection of our results with ’t Hooft’s approach to deterministic quantum mechanics and with deformed (or double) special relativity. Sec- III. POSITION AND MOMENTUM OPERATORS ON A LATTICE tion IX is devoted to concluding remarks. For complete- ness, we present in Appendix an alternative derivation of the micro black hole mass-temperature formula. Consider now the quantum mechanics (QM) on a 1D lattice in a Schr¨odinger-like picture. Wave function are square-integrable complex functions on the lattice, where II. DIFFERENTIAL CALCULUS ON A “integration” means here summation, and scalar prod- LATTICE ucts are defined by
∗ In this section we quickly review some features of a f g = ǫ f (x)g(x) . (8) h | i x differential calculus on a 1D lattice. An overview dis- X cussing more aspects of such a calculus can be found, e.g., in Refs. [18, 19, 20]. Independent and very elegant It follows from Eq. (4) that derivation of these can be also done in the framework of f g = ¯ f g , (9) a non-commutative geometry [29, 30, 31]. h |∇ i −h∇ | i On a lattice of spacing ǫ in one dimension, the lattice so that (i )† = i ¯ , and neither i nor i ¯ are hermitian sites lie at xn = nǫ where n runs through all integer operators.∇ The lattice∇ Laplacian∇ (6), however,∇ is hermi- numbers. There are two fundamental derivatives of a tian. function f(x): The position operator Xˆǫ acting on wave functions of 1 x is defined by a simple multiplication with x: ( f)(x) = [f(x + ǫ) f(x)] , ∇ ǫ − ˆ 1 (Xǫf)(x) = xf(x) . (10) ( ¯ f)(x) = [f(x) f(x ǫ)] . (1) ǫ ∇ − − Similarly we can define the lattice momentum operator They obey the generalized Leibnitz rule Pˆǫ. In order to ensure hermiticity we should relate it to ( fg)(x) = ( f)(x)g(x)+ f(x + ǫ)( g)(x) , the symmetric lattice derivative [19, 30, 32]. Using (9) ∇ ∇ ∇ ( ¯ fg)(x) = ( ¯ f)(x)g(x)+ f(x ǫ)( ¯ g)(x) . (2) we have ∇ ∇ − ∇ ~ On a lattice, integration is performed as a summation: (Pˆ f)(x) = [( f)(x) + ( ¯ f)(x)] ǫ 2i ∇ ∇ dx f(x) ǫ f(x) , (3) ~ ≡ = [f(x + ǫ) f(x ǫ)] . (11) x 2iǫ Z X − − 3
For small ǫ, this reduces to the ordinary momentum op- With the help of (21) we can rewrite the commutation eratorp ˆ i~∂ , or more precisely relation (13) equivalently as ≡− x Pˆ =p ˆ + (ǫ2) . (12) ˆ ˆ ~ ~ ǫ O [Xǫ, Pǫ]f (x) = i cos(ǫp/ˆ ) f(x) . (22) The “canonical” commutator between Xˆ and Pˆ on the ǫ ǫ The latter allows to identify the lattice unit operator Iˆ lattice reads ǫ with cos (ǫp/ˆ ~). Indeed, Iˆǫ = 1ˆ1 on all lattice nodes. i~ [Xˆ , Pˆ ]f (x) = [f(x + ǫ)+ f(x ǫ)] ǫ ǫ 2 − IV. UNCERTAINTY RELATIONS ON LATTICE i~(Iˆ f)(x) . (13) ≡ ǫ The last line defines a lattice-version of the unit operator We are now prepared to derive the generalized uncer- as the average over the two neighboring sites. Note that tainty relation implied by the previous commutators. We all three operators Xˆǫ, Pˆǫ, and Iˆǫ are hermitian under the shall define the uncertainty of an observable A in a state scalar product (8). ψ by the standard deviation It was noted in [32] that the operators Xˆǫ, Pˆǫ and 2 Iˆ generate the Euclidean algebra E(2) in 2D. Indeed, (∆A)ψ ψ (Aˆ ψ Aˆ ψ ) ψ . (23) ǫ ≡ h | − h | | i | i setting Mˆ = ǫXˆǫ, Pˆ1 = ǫPˆǫ/~ and Pˆ2 = Iˆǫ we obtain q Following the conventional Robertson-Schr¨odinger proce- dure (see, e.g., Ref. [33, 34, 35]), we derive on the space- [M,ˆ Pˆ1] = iPˆ2 , [M,ˆ Pˆ2] = iPˆ1 , [Pˆ1, Pˆ2] = 0 . − time lattice the inequality
The generator Mˆ corresponds to a rotation, while Pˆ1 ~ 1 ˆ ˆ ˆ and Pˆ2 represent two translations. In the limit ǫ 0, (∆Xǫ)ψ(∆Pǫ)ψ ψ [Xǫ, Pǫ] ψ = ψ Iǫ ψ → ≥ 2 h | | i 2 h | | i the Lie algebra of E(2) contracts to the standard Weyl- ~ Heisenberg algebra W : Xˆ xˆ, Pˆ pˆ, Iˆ 1ˆ1. Thus = ψ cos(ǫp/ˆ ~) ψ . (24) 1 ǫ ǫ ǫ 2 |h | | i| ordinary QM is obtained from→ lattice→ QM by→ a contrac- tion of the E(2) algebra, with the lattice spacing ǫ playing For brevity we will omit in the following the subscript ψ the role of the deformation parameter. in (∆A)ψ and set ψ ψ ψ. All functions on the lattice can be Fourier-decomposed Let us now studyh two| · · · critical | i≡h···i regimes of the GUP (24): with wave numbers in the Brillouin zone: the first is the long-wavelengths regime where pˆ ψ 0; the second regime is near the boundary of theh Brillouini → π/ǫ dk ~ f(x) = f˜(k)eikx , (14) zone where pˆ ψ π /2ǫ. To this end we first rewrite 2π cos(ǫp/ˆ ~) h asi → Z−π/ǫ h iψ ∞ with the coefficients ∞ (ǫp/~)2n cos(ǫp/ˆ ~) = dp ̺(p) ( 1)n , (25) h iψ − (2n)! ˜ −ikx n=0 0 f(k) = ǫ f(x)e . (15) X Z x X where ̺(p) ψ(p) 2. ≡ | | This implies the good-old de Broglie relation In the first case, ̺(p) is peaked around p 0, so that the relation (25) becomes approximately ≃ (ˆpf˜)(k) = ~kf˜(k) , (16) ǫ2p2 cos(ǫp/ˆ ~) = 1 + (p4) , (26) and its lattice version h iψ − 2 ~2 O 2 2 ( i f˜)(k) = Kf˜(k), ( i ¯ f˜)(k) = K¯ f˜(k) , (17) where p pˆ ψ. We should stress that expansion (26) − ∇ − ∇ is not an≡ expansion h i in ǫ but rather in ǫp/~. So if we with the eigenvalues speak of ̺(p) as being peaked around p 0 we mean that p ~/ǫ. ≃ K (eikǫ 1)/iǫ = K¯ ∗ . (18) ≪ ≡ − Applying now the identity From (17) we find the Fourier transforms of the operators Aˆ2 = (∆A)2 + Aˆ 2 , (27) h iψ h iψ Xˆǫ, Pˆǫ, Iˆǫ: we obtain from (24) ˆ ˜ d ˜ (Xǫf)(k) = i f(k) , (19) ~ ǫ2p2 dk ∆X ∆P & 1 ~ ǫ ǫ 2 − 2~2 (Pˆ f˜)(k) = sin(kǫ)f˜(k) , (20) ǫ ~ 2 ǫ ǫ 2 2 ˆ ˜ ˜ = 1 2 (∆ p) + pˆ ψ . (28) (Iǫf)(k) = cos(kǫ)f(k) . (21) 2 − 2~ h i
4
For mirror-symmetric states where pˆ ψ = 0 this implies which will be needed in the following. Here ε(...) is the h i sign function, and ~ ǫ2 ∆X ∆P & 1 (∆p)2 . (29) ǫ ǫ ~2 D 2 2 − 2 sin(ǫj pˆj /~) Pˆ = ~ . (35) | ǫ| v ǫj Here we have substituted ... by (...) since we assume uj=1 | | uX that ǫ ℓp (Planckian lattice) and that ∆p is close t to zero≃ (this is our original assumption). Therefore Inequality (34) should be contrasted with inequality (24) ǫ2(∆p)2/2~2 1. where the momentum is without an absolute value. For Planckian≪ lattices with the relation (12), we can In a particular case when states ψ are a combination neglect higher powers of ǫ in (29) and write of only positive or only negative momentum eigenstates (e.g., incident or reflected particle states) we can simply ~ 2 ǫ 2 write ∆Xǫ∆Pǫ & 1 (∆Pǫ) . (30) 2 − 2~2 ~ i i i ∆X ∆ Pǫ ψ cos ǫ pˆ /~ ψ In the second case, where pˆ ~π/2ǫ, i.e. near the ǫ | | ≥ 2 |h | | i| h iψ → border of the Brillouin zone, we use the expansion: ~ = 1 2 sin2 ǫipˆi/2~ . (36) cos[π/2 + (ǫp/ˆ ~ π/2)] = sin(π/2 ǫp/ˆ ~) 2 − ψ h − iψ h − iψ ∞ ∞ 2n+1 h i (π/2 ǫp/~) = dp ̺(p) ( 1)n − . (31) − (2n + 1)! V. IMPLICATIONS FOR PHOTONS n=0 0 X Z Under the assumption that ̺(p) is peaked near the border We may now use the inequality (36) to derive the GUP of the Brillouin zone, the first term in the expansion is for photons. dominant, and the uncertainty relation reduces to The vector potential of a photon in the Lorentz gauge ~ π ǫ in 1 + 1 dimensions satisfies the wave equation ∆Xǫ∆Pǫ ~ pˆ ψ . (32) ≥ 2 2 − h i 1 2 µ 2 µ 2 ∂t A (x, t) = ∂x A (x, t) . (37) Since k = p/~ lies always inside the Brillouin zone, we c µ µ have pˆ ψ π~/2ǫ and can therefore in (32) substitute A plane wave solution A (x)= ǫ exp[i(kx ω(k)t)] pos- h i ≤ ... by (...). Finally, using again (12), we can write for sesses the well-known linear dispersion relation− |the| GUP close to the boundary of the Brillouin zone ω(k) = c k , (38) ~ | | π ǫ ˆ ∆Xǫ∆Pǫ & ~ Pǫ ψ . (33) with ǫµ being a polarization vector. On a one- 2 2 − h i 2 dimensional lattice, the operator ∂x is replaced by the As the momentum reaches the boundary of the Brillouin lattice Laplacian ¯ , and the spectrum becomes, on ac- zone, the right-hand sides of (32)–(33) vanish, so that lat- count of Eq. (6) and∇∇ (17), tice quantum mechanics at short wavelengths is permit- ted to exhibit classical behavior — no irreducible lower ω(k) 2 [1 cos(kǫ)] 2 kǫ = KK¯ = − = sin , (39) bound for uncertainties of two complementary observ- c ǫ ǫ 2 p ables appears! p It is worth noting that the uncertainty relation (33) which reduces to (38) for ǫ 0. Denoting the energy on ~ → leads to the same physical conclusions as those found, on the lattice ω by Eǫ, we obtain the dispersion relation a different ground, by Magueijo and Smolin in Ref. [36]. Eǫ 2 pǫ In particular, the world-crystal universe can become “de- = sin . (40) ~ c ǫ 2 ~ terministic” for energies near the border of the Brillouin ˆ zone, i.e., for Planckian energies. We can also define the associated energy operator Ec by Let us remark that the scenario in which the universe replacing p byp ˆ. at Planckian energies is deterministic rather than being For states ψ with ̺(p) sharply peaked around small p, dominated by tumultuous quantum fluctuations is a re- we can use a spectral expansion analog of (25) to obtain current theme in ’t Hooft’s “deterministic” quantum me- ∆E c∆ p c∆ P . (41) chanics [37, 38, 39, 40, 41, 42, 43]. ǫ ≃ | | ≃ | ǫ| It is straightforward to generalize the above formulas Here we have neglected higher powers of momentum and to higher dimensions. In this context, a useful inequality used the fact that we deal with a Planckian lattice. In is deriving we have also applied the cumulant expansion: ~ i i i i ∆X ∆ Pǫ ψ (Pˆ / Pˆǫ )cos ǫ pˆ /~ ψ Eˆ = (2~c/ǫ) sin (ˆp ǫ/2 ~) ǫ | | ≥ 2 |h | ǫ | | | i| h ǫiψ h| |iψ ~ ǫ2p3 i i i ~ = cp c + (p5) . (42) = ψ ε(ˆp )cos ǫ pˆ / ψ , (34) − 24 ~2 O 2 |h | | i|