74

Is the spacetime continuous or discrete? Or better, is the 4-dimensional spacetime of general-relativity discrete or continuous? What if we consider additional dimensions like string theory hypothesizes? Are those compact additional dimensions discrete or continuous?

Are there experimental evidences of continuity/discreteness?

When particles move inside space do they occupy spacetime by little chunks? What would imply if spacetime is discrete on continuous theories?

I've found little information on the web and books.

Probably my question is ill-posed and I apologize for this.

Qmechanic
  • 201,751
linello
  • 1,267
  • 1
    Possible duplicate: https://physics.stackexchange.com/q/9720/2451 – Qmechanic Aug 01 '12 at 15:42
  • 2
    This is bound to generate comments and answers where people say that discrete space-time can never be Lorentz-invariant. I have no expertise and no opinion on the matter, but I'd like to do my part to throw gasoline on the fire and point out that some people claim that a 'Poisson sprinkling' of space-time points is Lorentz invariant. http://en.wikipedia.org/wiki/Causal_sets – DJBunk Aug 01 '12 at 16:00
  • @Regarding your question on experimental evidence, I just got a comment linking to the following article about lorentz invariance being confirmed by the Fermilab:http://motls.blogspot.gr/2009/08/fermi-kills-all-lorentz-violating.html – Abhimanyu Pallavi Sudhir Jun 06 '13 at 08:52
  • Thomas Campbell, former a physicist at NASA claims space time to be granular. So that time and space both are discrete. Atleast that is what I understood from his theories. I'm not sure which experiments or experience of his backs it up. But you can easily find him using Google. – Mike de Klerk May 15 '14 at 19:23
  • One thing that bothers me is that it is clearly discrete from the point of view of measuring relative to the amount of complete spatial matter that can fit in some space. But from what I read, we don't have the tools/may not be possible to construct tools to see what the smallest unit of space occupying matter is, since we would need an even smaller matter to sample it, and sampling is inherently discrete. we might be able to assume it from rules of thumb from physics to show that if it's not discrete/continuous some things no longer work though. – Dmytro Dec 27 '16 at 20:04
  • I'm mainly curious about this since I want to know if an ideal shape can be mapped to the real world. So far it seems like all shapes are modeled by an ideal, but composed of discrete and countable chunks within any specific granularity. Does there exist a circular shape that is composed of discrete links and have discrete number of links from it's shell to it's center? if there is, then pi must be rational. However from what I see pi is irrational, but all our circles are more ngonal which have a low error from perfect expectations from the notion of limits. – Dmytro Dec 27 '16 at 20:15
  • If we consider the pi parallel in a square universe, if width of a square is 2(ignoring the other points), then perimeter must be 8, so the pi parallel would be 4, which is very close to 3.14, in fact would vary in distance between each point on square from center of square from ~2.82(8/2sqrt(2)) to 4, so on four points we must get exactly pi on any square. Another problem is that sqrt(2) is continuous, and it arises in every unit square, so every discrete unit contains a continuous distance from it's edge to it's center... – Dmytro Dec 27 '16 at 20:29
  • Il doit y avoir déjà quinze ou vingt ans, en feuilletant le modeste volume constituant l’oeuvre complète de Riemann, j’a vais été frappé par une remarque de lui "en passant". Il y fait observer qu’il se pourrait bien que la structure ultime de l’espace soit "discrète", – tttbase Mar 15 '17 at 02:00
  • et que les représentations "continues" que nous nous en faisons constituent peut-être une simplification (excessi ve peut-être, à la longue. . . ) d’une réalité plus complexe ; que pour l’esprit humain, "le continu" était plus aisé à saisir que "le discontinu", et qu’il nous sert, par suite, comme un "approximation" pour appréhender le discontinu. C’est là une remarque d’une pénétration surprenante dans la bouche d’un mathématicien, à unmoment où le modèle euclidien de l’espace physique – tttbase Mar 15 '17 at 02:01
  • n’avait jamais encore été mis en cause; au sens strictement logique, c’est plutôt le discontinu qui, traditionnellement, a servi comme mode d’approche technique vers le continu. Les développements en mathématique des dernières décennies ont d’ailleurs montré une symbiose bien plus intime entre structures continues et discontinues, qu’on ne l’imaginait encore dans la première moitié de ce siècle. Toujours est-il que de trouv er un modèle "satisfaisant" – tttbase Mar 15 '17 at 02:04
  • (ou, au besoin, un ensemble de tels modèles, se "raccordant" de façon aussi satisf aisante que possible. . . ), que celui-ci soit "continu", "discret" ou de nature "mixte" - un tel travail mettra en jeu sûrement une grande imagination conceptuelle, et un flair consommé pour appréhender et mettre à jour des structures mathématiques de type nouveau. Ce genre d’imagination ou de "flair" me semble chose rare, non seulement parmi les physiciens – tttbase Mar 15 '17 at 02:07
  • (où Einstein et Schrödinger semblent avoir été parmi les rares exceptions), mais même parmi les mathématiciens (et là je parleen pleine connaissance de cause). Recoltes et semailles, Grothendieck – tttbase Mar 15 '17 at 02:08
  • @tttbase La tendance a vouloir controller des situations ajoute un element biologique a l'idee que l'espace et le temps soient discrets, dont l'idee qu'ils ne le sont pas ne souffre pas. Alors, tout l'evidence qui montre que la vie est d'origine plus recente que le monde physique pese pour l'idee qu'ils ne sont pas discrets que dans les pensees d'etres biologique.. – Edouard Jan 12 '19 at 20:00

7 Answers7

51

is the 4-dimensional spacetime of general-relativity discrete or continuous?

In the usual definition of general relativity, spacetime is continuous. However, general relativity is a classical theory and does not take quantum effects into account. Such effects are expected to show up at very short distances, where your question is relevant.

Are there experimental evidences of continuity/discreteness?

All the experimental evidence points to continuous space, down to the shortest distances at which we have been able to measure. We don't know what happens at shorter distances. We also do not have any direct experimental evidence that gravity is a quantum theory, with the same caveat.

On the other hand, we are quite confident that a complete theory of nature must include quantum gravity and not just classical gravity. And, we have an educated guess of the distance scale at which quantum effects should become measurable: this is the Planck length, roughly $10^{-33}$ cm. This is much much shorter than the shortest distance at which we can carry out experiments, so at least we are not surprised that we did not see any such effects so far.

Before proceeding, one more caveat. There is an interesting and quite recent astrophysical experiment that showed that Lorentz symmetry holds even below the Planck length. If Lorentz symmetry is broken, it generally means that photons with different energies will travel at different velocities. At the experiment, they managed to detect a pair of photons that were created at almost the same time but had very different energies. They reached the detector almost simultaneously, which means their velocities were similar. Because the photons travelled an enormous distance before reaching us, they must have had almost the same velocity.

So we know that at least Lorentz symmetry holds at very short distances, and it seems difficult to reconcile this experimental fact with a discrete spacetime. So at least naively it seems that this is evidence against discreteness.

Is the spacetime continuous or discrete?

At long distances spacetime can certainly be thought of as continuous. At short distances, the short answer is: we don't know.

String theory is the only consistent theory of quantum gravity we know of, where we can actually compute things with some confidence. (You will probably hear some opinions that contradict this statement, mentioning loop quantum gravity, causal sets, etc., which are not related to string theory, but what I said is the common view in the community of high-energy theorists.) String theory is giving us some strong hints that perhaps spacetime at short distances is not continuous or discrete, but something else that we don't understand yet.

So the situation is that even theoretically, without talking about actual experiments that check the theory, we don't know what spacetime is like at short distances. Perhaps this is why you don't see this question mentioned a lot. My personal guess is that spacetime at short distances is neither continuous nor discrete, but has a different nature that may require new mathematical tools to describe.

Or better, What if we consider additional dimensions like string theory hypothesizes? Are those compact additional dimensions discrete or continuous?

Adding extra dimensions does not change any of the above.

Guy Gur-Ari
  • 1,801
  • 3
    +1 for the intellectual honesty. It seems that currently humanity has no mathematical tools to deal with this kind of answers. I've found an article on scientic american. The physicist Hogan claims to build an experiment that finally can prove the discreteness or continuity of space. What about this? http://www.scientificamerican.com/article.cfm?id=is-space-digital – linello Aug 01 '12 at 20:32
  • 6
    I cannot access the full article because I do not have a scientific american subscription. I will say that statements like "If it works, it could rewrite the rules for 21st-century physics" are generally not indicative of interesting work. – Guy Gur-Ari Aug 01 '12 at 23:06
  • What about the latest Nemiroff article on "Physical Review Letters"? Probably we should discard the concept of quantum foam, so it seems that spacetime still remains continuous under Planck lengths. – linello Oct 12 '12 at 19:39
  • @linello Actually mathematical physics benefits officially since 2015 of a theorem which - in a sophisticated geometrical framework - provides models of Lorentzian spacetimes with 4D or 3D or 2D volumes quantized in integer values (https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.114.091302) (https://arxiv.org/abs/1409.2471). Interestingly the physical consequence of this spacetime discreteness might describe respectively dark energy & dark matter as mimetic manifestation of gravity and area quantization of black holes. – laboussoleestmonpays Jan 12 '19 at 17:11
  • The detail of the computations regarding the connection between mimetic dark matter and dark energy with discreteness of 3D or 4D volume can be found in https://arxiv.org/abs/1702.08180 – laboussoleestmonpays Jan 12 '19 at 17:46
19

There is an argument known as Weyl's tile argument which is not physics but philosophy, involves some really easy math and accessible to laymen like myself. Still, I'm tempted to put this here since it answers your question even though this probably doesn't belong on a physics forum.

In a discrete space, say a square/rectangular tiled space, (for convenience) we start by constructing two sides of a triangle, each of 1 unit length . To traverse the hypotenuse from either point, we have to move one unit of length to the right (or left) and one unit of length down (or up).

  C

Say AC is traversed in 2 steps, A-D, D-C we have a length of 2 units along AC in the tiled space.

Suppose we keep increasing the number of steps taken from A to C and decreasing the size of unit length, path along AC would look like this :n=1/16

Length along the zig zag path above AC is still larger than the length of hypotenuse by factor of √2, which was the same factor when we used a much larger unit of space and only 2 steps (n=2) to traverse along the hypotenuse!

This is essentially the Weyl's tile argument

the former result does not converge to the latter for arbitrary values of n, one can examine the percent difference between the two results: (n√2 - n)⁄n√2 = 1-1⁄√2. Since n cancels out, the two results never converge, even in the limit of large n.

This tells us that no matter how small a unit of length we take, not even an infinitesimal length, would even approximate the pythagorean theorem in a discrete space. It happens to be true because of the simple observation that you have to be able to travel across in space in any direction, which is, in this example, 1/2 to the right & 1/2 to the down (45‎°) simultaneously for a unit , and not a unit towards right then a unit to the down, which is what happens if we discretise length. For the pythagorean theorem to work, a fixed length measured along one direction must not vary when measured along another direction. This is known as isotropy of space, which is a property of the continuum. Discrete models with different structures other than rectangular can also be disproved using the same argument.

In a sense, this argument doesn't fall prey to unfalsifiable claims that there is discreteness, but beyond our abilities to experimentally observe. It doesn't matter how small the "grains" or "pixels" may be.

Take 3 sticks, two of them having a length of 1 metre and one of approx 1.414 metre, all of them measured along a common axis. Try to make a right triangle, if the hypotenuse falls well short of completing the triangle or after some rotation, extends beyond it, (heh) you're in a universe with discrete space.

About Time

Relativity itself only actually observes that there is “movement”, and “assumes” there is “time”.

If, I say, for instance “The bus arrives here at 9 o'clock,” I implicitly mean that the pointing of the small hand of my watch to 9 and the arrival of the bus are simultaneous events

This seems perfectly acceptable, unless you realise that we are comparing the co-ordinates( location) of one thing to a thing called “time”.

But in fact, the co-ordinates of one thing (a bus) are only compared to the coordinates of another thing ( the location of a rotating pointer, or the pulse in the circuit, in case of a digital clock ).

The point being, coordinates of space are used to measure time, so one could say they are really the same thing. If space is continuous, so is time.

  • 2
    just realized what I described is called "taxicab geometry" https://en.wikipedia.org/wiki/Taxicab_geometry#/media/File:Manhattan_distance.svg – Will Graham Sep 28 '16 at 08:25
  • 2
    could it be possible that our pythagorean theorem arises naturally, but does not model the real world ideally? For example, if I construct a 3x3 pixel square in a pixel universe, then the distance from "center"(which seems like a continuous construct) is strange since all we know is that the distance from each side to center square is 1 pixel, but we can't place a center in this square since the unit is indivisible. Perhaps in a triangular universe, it makes more sense where each square consists of 4 triangles, then a center will exist, and it would take exactly 3 lengths of the triangle- – Dmytro Dec 27 '16 at 20:51
  • to get from the center to the corner. so a you say, for distance to make sense, we must have a world that consists of at least right angle triangles, so that we can even describe the idea of distance from center to some point. But this would still fail to describe all other points on the square, four of which if you 8 by its distance from center is exactly pi, which is irrational. Granted if our space is discrete, it still has great density so we can still reason about limits, but clearly we cannot express them, so perhaps we just assume distance is there, but in truth it cannot be expressed- – Dmytro Dec 27 '16 at 20:57
  • perhaps distance cannot be expressed ideally within the system in which it is being measured, but it is still possible to reason about it in terms of limits and ratios, which we always end up truncating when we want to store if it is truly irrational. for example, we cannot store pi in our system, but we can approximate it to any granularity we can afford using limits. So even in a pixel universe, we can approximate pi to a certain precision using the same techniques up to how many pixels we can afford, but never express it ideally. – Dmytro Dec 27 '16 at 21:01
  • 1
    the question then is whether the real world has unlimited amount of coproducts(unit of information/bits that project to a number of associated projections, in our case all possible angles to neighboring points) per unit of space, in which case each unit would be a perfect point perfectly connected at every imaginable angle to another point. Or if a single unit of space is limited to a fixed number of adjacent angles, and be more like an 3d-ngonal point, rather than spherical point. – Dmytro Dec 27 '16 at 21:14
  • 4
    I find it naïve to assume that a discrete space must be a square grid. There are many other ways to tile space, and many other ways to create random looking graphs which do not have any anisotropy effects in the limit. – M. Winter Apr 28 '20 at 08:30
  • Was thinking the same thing as @M.Winter You could have space be made of equilateral triangles, and then none of the above applies. – Frank Jan 12 '21 at 09:46
  • 2
    @Frank Note that a triangular/hexagonal tiling still has a 6-fold symmetry that persists in the limit and that we do not observe in reality. I was more thinking about a more or less random tiling/graph. Even the Penrose tiling has preferred axes. – M. Winter Jan 13 '21 at 09:17
  • 1
    We already have computer simulations that overcome this problem. For example, any computer game, even 15 years old ones, don’t seem to simulate an anisotropic universe, even though they do make discrete assumptions at some scale. I am not a game developer, but I would just add next neighbour hopping to solve the problem. – Prem Feb 18 '21 at 06:15
  • 1
    Great answer here to spark great discussion. I'll add that in quantum mechanics the orientation of the observer/measurement affects the quantization, so it could be the same for spacetime: so that when you make a measurement, your chosen direction that you're measuring becomes the direction of one of your grids (speaking very loosely here) – dllahr Mar 31 '21 at 07:54
  • I'd add that this kind of analysis only applies when one tries to naively construct a lattice spacetime model, in the theories where spacetime is discrete, there is no structure. Instead, its just a minimum length scale (and out of that follows a min time scale). That being said, it still violates the Lorentz symmetry and we haven't found any indication of a minimum length, even at the plank scale – Will Graham Sep 18 '22 at 21:36
7

There is a beautiful theory of quantum gravity called "Canonical Quantum Gravity" which aims to quantized general relativity using typical canonical methods (canonical quantization/path integral formulation). This theory predicts a granular structure to space-time while maintaining local Lorentz invariance. The theory gives a spectrum of eigenvalues for quantized area and volume based on Penrose's spin-network graphs, except the theory considers equivalence classes of spin-networks under diffeomorphisms. The Path-integral formulation of the theory consists in considering a sum-over-geometries which is entirely background independent, carried out in sum over 2-complexes, which are themselves graphs. Here is a small set of lectures that might interest you: http://arxiv.org/abs/1102.3660

Response to comment by OP: There are no experimental tests of quantum gravity that we know as of now, whether because we don't know how to interpret what we already have in front of us, or because we simply don't have the technical power/creativity yet, although there are a number of new papers that suggest experiments that may be done at the LHC for Canonical Quantum Gravity, which have to do with the evaporation of micro-black holes and their radiation spectra which differs from the classical spectra predicted by QFT in curved space-time. Canonical Quantum Gravity is also the only mainstream theory of QG on the table that gives falsifiable, numerical predictions that are novel; at least I have yet to see anything else on the forums and arxiv that does, so that doesn't mean much.

kηives
  • 3,300
5

the idea of spacetime having a fundamental length does not necessarily translate in a discretized structure.

Let's think intuitively this in term of path integrals (lets assume one-dimensional paths and forget about stringy structure for now, is not relevant to the discussion). When we do path integrals, we usually take all kinematical paths of the system in configuration space (what is usually called off-shell states), assign an amplitude given by the dynamical action, and sum them all to obtain physical observable amplitudes (the on-shell states)

Now, the planck scale sets a natural cutoff for on-shell states, because paths that have energies above that scale must result in black holes in the path (or the quantum gravity equivalent of black holes, whatever those turn out to be). So in your amplitudes for on-shell states, you get systems that do not have observable structure beyond the planck scale, and in fact, increasing the energy makes it worse because it makes the resulting black holes bigger. But they live nonetheless in a Lorentz-invariant background

Now, all this is speculative, and likely not entirely correct picture, but my point is that a finite minimum physical scale does not contradict a continuous Lorentz-invariant background

lurscher
  • 14,423
  • This article contains a mathematical argument that a discretized (or minimal unit of) time would spoil the uncertainty principle in context of Feynman path integrals. It seemed reasonable to me ... – Dilaton Aug 01 '12 at 21:54
3

For the four dimensions space-time that we're used to, atoms of space-time is incompatible with special relativity. If we were to try claim a size of these grains of space time we would also have to say in what reference frame in which they have that size. So they introduce a preferred reference frame. From my understanding, supersymmetry introduces completely discrete dimensions of space-time, but these are radically different from the dimensions we are accustomed to. Here's a much more better discussion of the topic by one of the leading theorists in the world.

Schroeder
  • 589
  • I had a similar thought along these lines when I read the question. I wonder how they affect quantum fluctuations, which are only relevant at very small sizes. What would happen if you accelerated an object to a speed so close to c that it shrinks to quantum size to an outside observer? – Vivian River Dec 01 '14 at 21:41
0

To answer your question, the spacetime may be continuous or discrete; you can't tell if the mathematics of the latter converges to that of the former. Now, in reference to Weyl's tile paradox I would like to point out the following. What the argument shows is that the distance in the discrete geometry of the grid doesn't converge to the distance in the continuous geometry of the plane under the limit over a sequence of refinements of the grids into smaller and smaller squares. However, the mismatch is caused by choosing -- and keeping -- particular directions for the axes of the grid. It shouldn't be surprising that this produces an anisotropic effect. What if the limit is over an array of grids that not only refines them into smaller and smaller squares but also rotates them through smaller and smaller angles? Then the difference between the distances along the grids and the Euclidean distance converges to zero in the sense of $\lim\inf$. enter image description here

I wrote some details here: http://inperc.com/wiki/index.php?title=Convergence_of_the_discrete_to_the_continuous .

  • Hi Peter, welcome to physics.SE. Please note that referencing stuff you wrote yourself is perfectly OK here, but only if you are upfront about authorship. You have to explicitly say in the post that you are linking to something you wrote; for otherwise it will be regarded as covered self-promotion, aka spam. Thank you for your collaboration. Cheers! – AccidentalFourierTransform Aug 04 '18 at 20:13
  • 1
    but what is not clear is what is the graph network topology at the Planck scale cutoff in the refinement procedure – lurscher Jan 12 '19 at 17:33
0

Since 2014, according to a specific mathematical physics equation and theorem described in:

https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.114.091302, preprint https://arxiv.org/abs/1409.2471

with proof in

https://link.springer.com/article/10.1007%2FJHEP12%282014%29098, preprint https://arxiv.org/abs/1411.0977),

one can argue there exists a geometrical description of Lorentzian spacetimes with 4D, 3D or 2D volumes quantized in integer values of Planckian units.

Among the physical consequences, these different aspects of spacetime discreteness, provide respectively "quantization of the cosmological constant, mimetic dark matter and area quantization of black holes" according to the authors of the quoted papers: Ali Chamseddine, Alain Connes and Viatcheslav Mukhanov (respectively theoretical physicist, mathematician and cosmologist).

The detail of the computations regarding the connection between mimetic dark matter and dark energy with discreteness of 3D or 4D volume can be found in https://arxiv.org/abs/1702.08180

If null results persist in the search for dark matter particles and mimetic gravity phenomenology remains compatible with multimessenger astronomical observations (https://arxiv.org/abs/1811.06830), the discretness of spacetime might emerge as a relevant hypothesis.

One may notice that the high-energy physicist John Iliopoulos who made in 1974 a memorable "Plenary report on progress in Gauge Theories" paving the way to the completion of the current Standard Model of particles (http://inspirehep.net/record/3000/files/c74-07-01-p089.pdf …) has recently reported that this geometric framework "may offer a new insight for the mysteries of dark matter and dark energy".(https://www.epj-conferences.org/articles/epjconf/abs/2018/17/epjconf_icnfp2018_02055/epjconf_icnfp2018_02055.html)

Of course this last remark should not be taken as an authoritative argument but aims at showing that this geometric paradigm that is almost orthogonal to the current one in the (astro)particle physics community does not make it an irrelevant one!