Free Fall and Cellular Automata: Pablo Arrighi

Download as pdf or txt
Download as pdf or txt
You are on page 1of 10

Free fall and cellular automata

Pablo Arrighi
Aix-Marseille Univ., LIF, F-13288 Marseille Cedex 9, France.
[email protected]

Gilles Dowek
Inria, LSV, ENS-Cachan, 61 Avenue du Président Wilson, 94230 Cachan, France.
[email protected]

Three reasonable hypotheses lead to the thesis that physical phenomena can be described and simu-
lated with cellular automata. In this work, we attempt to describe the motion of a particle upon which
a constant force is applied, with a cellular automaton, in Newtonian physics, in Special Relativity,
and in General Relativity. The results are very different for these three theories.

1 Introduction
Three reasonable hypotheses—homogeneity in time and space, bounded velocity of propagation of in-
formation, and bounded density of information—lead to the thesis that physical phenomena can be de-
scribed and simulated with cellular automata. This implication has in fact been formalized into a theorem
both in the classical [6] and the quantum case [1], albeit in flat space.
Further evaluating this thesis leads to the project of selecting specific physical phenomena and at-
tempting to describe them with cellular automata. In this work, we consider a particle upon which a
constant force is applied—as induced by the first order approximation of a gravitational field. We do
so in three different settings: Newtonian physics, Special Relativity, and General Relativity. We seek
to capture each of these motions as a Cellular Automaton. The results are very different for these three
theories.

2 Motion in cellular automata


Recall that the configurations of a 1D cellular automaton are functions from Z to a finite set of states Σ,
which includes a distinguished quiescent state q. The evolution of the cellular automaton is a function F
mapping configurations to configurations. It has to be causal and homogeneous, that is there must exist
a radius r and a local function f such that for all i, (F(δ ))i = f (δi−r , ..., , δi−1 , δi , δi+1 , ..., δi+r ).
Consider a temporal step ε , a spatial step ∆, and a discrete motion ỹ, that is a function from ε N to
∆Z. A configuration δ is said to represent a particle at position k∆ if δk 6= q and for all i 6= k, δi = q.
A transition function F represents a discrete motion ỹ if there exists an initial configuration δ such that
for all k, F k (δ ) represents a particle at ỹ(kε ). A standard reference on cellular automata for constructing
signals approximating different functions is [7].
In each of the following three sections we proceed by first calculating the continuous motion y(t),
that is the position as a function of time. We then construct the cellular automata for ỹ, if it exists. The
differences between the three cases are highlighted.

C.A. Muñoz and J. A. Pérez (Eds.) :


c P. Arrighi & G. Dowek
Developments in Computational Models This work is licensed under the
EPTCS 204, 2016, pp. 1–10, doi:10.4204/EPTCS.204.1 Creative Commons Attribution License.
2 Free fall and cellular automata

3 Free fall in Newtonian physics


We begin with the standard case of Newtonian physics. The choice of units and notations will carry
through in the next sections. In Newtonian physics, the gravitational force applied by a body of mass M
upon a particle of mass M ′ at a distance d is
MM ′
F =G
d2
Multiplying both sides by G /c4 , where c is the speed of light, introducing notations m = (G /c2 )M which
is the mass of the body expressed in meters, m′ = (G /c2 )M ′ which is the mass of the particle expressed
in meters, and f = (G /c4 )F which is the force expressed as a scalar without dimension, we get
m
f = m′ 2
d
Consider a particle whose initial distance to the body is R and initial velocity is zero and let y be such
that d = R − y, we have
m
f = m′ (1)
(R − y)2
To define free fall, we approximate this force by
m
f = m′ (2)
R2
that is, introducing the notation g = m/R2
f = m′ g
For example, the mass of the Earth is M = 5.97 1024 kg, so m = (G /c2 )M = 4.42 10−3 m. The radius of
the Earth is R = 6.37 106 m, so g = m/R2 = 1.09 10−16 m−1 . Note that gc2 = 9.81 ms−2 as expected.
When such a constant force is acting on a particle of mass M ′ , its acceleration A is given the equation
M′A = F
Multiplying both sides with G /c4 and introducing the notation a = A/c2 , which is the acceleration of the
particle expressed in m−1 , we get
m′ a = f = m′ g
thus
a=g (3)
from which we get
v = gt
where v = V /c is the velocity expressed as a scalar with no dimension and t = cT is time expressed in
meters, and
1
y = gt 2
2
Thus the spacetime trajectory of this particle is a parabola.
It is easy to prove that no cellular automaton can simulate such a motion: as the velocity of the
particle increases linearly with time, the difference between y at some time step and at the next time step
increases linearly with time. Thus, the evolution is not local. Moreover, to be able to compute y at the
next time step from y at some time step, we need to know the velocity of the particle and it is then natural
to express this velocity as part of the state of the cell. But then, as velocity is not bounded, the state space
cannot be kept finite, even if velocity is defined with a finite precision.
P. Arrighi & G. Dowek 3

4 Constant force in Special Relativity


In Special Relativity, neither of these problems occurs: velocity is bounded, hence the evolution is local.
And if the velocity is known with a finite precision, a finite state space suffices. Still, another worry
remains. If the velocity at some time step is computed from the velocity at the previous one, and both
velocities are approximate, errors can accumulate. As we shall see, it is possible to circumvent this
problem, and have a non divergent discretization of the trajectory of the particle.
In Special Relativity, the proper acceleration [8] of a particle is
1 dV
A= p 3
1 −V 2 /c2 dT

dividing both sides by c2 , we get


1 dv
a= √
1−v 23 dt
We assume that the force is as in Newtonian physics: m′ a = f = m′ g, so a = g, that is
1 dv
√ =g
1−v 23 dt

This assumption, however, is now better understood as “constant force” than “free fall”. We get
dv p 3
= g 1 − v2 . (4)
dt
Solving this equation, we get
gt
v= p (5)
1 + (gt)2
as the reader may check by differentiating (5) and comparing the result with (4) with v substituted by (5).
Then
1
q
y = ( 1 + (gt)2 − 1).
g
But, to prepare the case of General Relativity, we can also introduce a proper time τ such that
dt 1
=√ .
dτ 1 − v2
Like v = dy/dt, we can introduce the velocity w = dy/d τ and we have
dy dy dt v
w= = =√
dτ dt d τ 1 − v2
and then
dw dw dv dt 1 p 3 1 1
= =√ g 1 − v2 √ = g√
dτ dv dt d τ 1 − v2
3
1 − v2 1 − v2
√ √
From w = v/ 1 − v2 , we get v = w/ 1 + w2 , thus
dw p
= g 1 + w2 (6)

4 Free fall and cellular automata

which is the equation of motion in terms of proper time.


In the same way, we have
dt p
= 1 + w2 (7)

which is the equation describing the relation between coordinate time t and proper time τ .
Solving Equation (6), we get
w = sinh(gτ )
and
1
y = (cosh(gτ ) − 1)
g
Equation (7) then becomes
dt
= cosh(gτ )

and integrating it, we get
1
t= sinh(gτ )
g
from which we get
1
q
y = ( 1 + (gt)2 − 1)
g
as expected.
Note that the velocity w = sinh(gτ ) goes to infinity when τ does. But the mapping fromp
coordinate
time to proper time τ = (1/g) arsinh(gt) slows down in such a way that the velocity v = gt/ 1 + (gt)2
remains bounded by 1. Hence the particle never goes faster than light.
The spacetime trajectory of the particle is a branch of the hyperbola of equation

(gy + 1)2 − (gt)2 = 1

Thus, in Special Relativity, the spacetime trajectory of a particle upon which a constant force is applied is
not a branch of a parabola, but a branch of an hyperbola and the problem of modeling the motion of such
a particle, with a cellular automaton, boils down to that of the approximability of a branch of hyperbola.
The branch of hyperbola
1
q
y = ( 1 + (gt)2 − 1)
g
has an asymptote
1
y′ = t −
g
with whom the difference is
1 1
q
y − y′ = ( 1 + (gt)2 − gt) = p
g g( 1 + (gt)2 + gt)

As expected, y − y′ decreases and goes to 0, when t goes to infinity. Moreover, if working with a space
accuracy ∆, the hyperbola and its asymptote become indistinguishable at a time θ verifying
1
q
∆= 1 + (gθ )2 − gθ
g
P. Arrighi & G. Dowek 5

that is at time
1 − (g∆)2
θ=
2g2 ∆
Consider an integer N and let ∆ = (1/g)/N. As N can be taken as large as we wish, ∆ can be taken as
small as we wish. Consider the discretization of spacetime with a temporal and spatial step ∆. Consider
the function ỹ from ∆N to ∆Z mapping every k∆ smaller than θ to the rounding of y(k∆) in ∆Z and every
k∆ larger than θ to y′ (k∆) = k∆ − (1/g) = (k − N)∆.
Let us construct a one-dimensional cellular automaton which represents the discrete motion ỹ. Set
the state space Σ = {q, 0, ..., L − 1, ∞}, with L = pθ /∆q. Let us denote by c(k, σ ) the configuration such
that all cells are in state q except the cell k which is in state σ . If σ ∈ {0, ..., L − 1}, the cellular automaton
maps c(k, σ ) to either c(k, σ + 1) or c(k + 1, σ + 1)—assuming (L − 1) + 1 = ∞—depending on whether
ỹ((k + 1)∆) − ỹ(k∆) is equal to zero or to ∆, and c(k, ∞) to c(k + 1, ∞).
Note that the internal state can be seen as a clock, the state k corresponding√to the time k∆. It can
also be seen as a representation of the momentum, as the momentum p = m′ v/ 1 − v2 = m′ w = m′ gt
grows linearly with time, the state k representing the momentum km′ g∆. The state ∞ corresponds to the
case where momentum is large enough, so that its influence on velocity can be neglected, and the motion
of the particle can be approximated by a uniform motion at the speed of light.
The number of states needed to simulate the spacetime trajectory is
θ 1 3
l = 2+ = 2 2+
∆ 2g ∆ 2
If we assume that the number of bits that can be encoded in a cell of length ∆ is ∆/ρ , for some
distance ρ , then, to encode log2 (1/(2g2 ∆2 ) + 3/2) bits, we need a cell of size ∆ such that
1 3
log2 ( + ) ≤ ∆/ρ
2g ∆
2 2 2
that is
1 3
∆/ρ − log2 ( + )≥0
2g ∆
2 2 2
The function ∆/ρ −log2 (1/(2g2 ∆2 )+3/2) is monotonic in ∆, so this equation can be numerically solved.
For example, if g = 1.09 10−16 m−1 and ρ = 1.6 10−35 m, this equation boils down to

∆ ≥ 5.11 10−33 m = 320ρ

Indeed, if we take ∆ = 320ρ , a cell can encode 320 bits and l = 1.54 1096 = 2320 .
So, with an accuracy of the order of magnitude of 10−33 m, constant force in Special Relativity does
not require a particle to contain more than a few hundred bits.

5 Free fall in General Relativity


In General Relativity, the gravitational effect of a body of mass M at a distance d = R − y is described by
the metric tensor  
gtt 0
0 − g1tt
where gtt = 1 − 2m/(R − y).
6 Free fall and cellular automata

 The motion of a particle is described as a function mapping its proper time τ to a point in spacetime
t(τ )

. The equations of this motion are [5]:
y(τ )

d 2t dt dy
+ 2Γtyt =0
dτ 2 dτ dτ
d2y dt dy
+ Γtty ( )2 + Γyyy ( )2 = 0
dτ 2 dτ dτ
where
1 dgtt
Γtty = gtt
2 dy
1 1 dgtt
Γyyy = −
2 gtt dy
1 1 dgtt
Γtyt = Γtty =
2 gtt dy
are the non-zero Christoffel symbols corresponding to this metric tensor, that is

d 2t 1 dgtt dt dy
=−
dτ 2 gtt dy d τ d τ

d2y 1 dgtt dt 1 dy
=− (gtt ( )2 − ( )2 )
dτ 2 2 dy dτ gtt d τ
to which we can add a third equation expressing that τ is a proper time
dt 2 1 dy 2
gtt ( ) − ( ) =1
dτ gtt d τ
Note that adding this third equation permits to drop the first, because differentiating the third equation
and using the second to replace d 2 y/d τ 2 by −(1/2)(dgtt /dy)(gtt (dt/d τ )2 − (1/gtt )(dy/d τ )2 ) yields the
first. Using this third equation, the second can also be simplified to

d2y 1 dgtt
=−
dτ 2 2 dy
Thus, introducing the velocity w = dy/d τ , the equations of motion boil down to the two equations
dw 1 dgtt
=−
dτ 2 dy

dt 1p
= gtt + w2 (8)
dτ gtt
which are, respectively, the equation of motion in terms of proper time and that describing the relation
between coordinate time t and proper time τ .
“Constant force due to free fall” would make for a non-standard concept in General Relativity. On the
one hand, a constant force of non-gravitational origin could indeed be applied in flat space and lead to the
exact same computations as Special Relativity. On the other hand, free-falling could just mean following
P. Arrighi & G. Dowek 7

a geodesic trajectory in some more or less complicated metric—although not in a constant one. Indeed,
making gtt constant as in the approximation of Equation (1) into (2) becomes an over-approximation,
as the geodesics then become linear. So, we define this “first order approximated free fall” as the first
non-trivial approximation of the metric tensor, that is we take a linear approximation of gtt as

2m 2m 2m
gtt = 1 − − 2 y = 1− − 2gy
R R R
where g = m/R2 is the acceleration of gravity, as before. Introducing y1 = (1 − (2m/R))/2g we get

gtt = 2g(y1 − y)

In the same way, we approximate dgtt /dy = −2m/(R − y)2 by −2m/R2 = −2g.
The equations of motion then become

dw
=g (9)

dt 1
q
= 2g(y1 − y) + w2 (10)
dτ 2g(y1 − y)

Note the differences and similarities with the cases of the previous settings. The equation describing
the relation between coordinate time and proper time, that is Equation (10) or (8) does coincide with
that of Special Relativity, that is Equation (7), in the flat spacetime case when gtt = 1. But the equation
of motion, that is Equation (9), coincides not with Special Relativity, that is Equation (6), but with
Newtonian physics, that is (3).
Integrating Equation (9), we get
w = gτ
and
1
y = gτ 2
2
Equation (10) then becomes

dt 1
q
= 2g(y1 − (1/2)gτ 2 ) + (gτ )2
dτ 2g(y1 − (1/2)gτ 2 )
r
dt y1 1
=
dτ 2g y1 − (1/2)gτ 2
Integrating it, we obtain r
1 g
t= artanh(τ )
g 2y1
s
2y1
τ= tanh(gt)
g
and finally
1
y = gτ 2 = y1 (tanh(gt))2
2
8 Free fall and cellular automata

Note that the velocity


dy 2m
v= = 2gy1 tanh(gt)(1 − (tanh(gt))2 ) = (1 − ) tanh(gt)(1 − (tanh(gt))2 )
dt R
is bounded by 1, hence the particle never goes faster than light.
Like in Special Relativity, the velocity w = gτ goes to infinity when τ does and the mapping from
coordinate time to proper time s
2y1
τ= tanh(gt)
g
slows down in such a way that the velocitypv is bounded by 1. Moreover, unlike in Special Relativity,
when t goes to infinity, τ has a finite limit 2y1 /g. Thus, an infinite amount of coordinate time corre-
sponds to a finite amount of proper time. As a consequence, with respect to coordinate time, after an
acceleration phase, the particle decelerates and has a limit position y1 .
The distance to the limit at time t is

y1 − y = y1 (1 − (tanh(gt))2 )

As expected, y1 − y decreases and goes to 0 when t goes to infinity. Moreover, if working with a space
accuracy of ∆, the position and its limit become indistinguishable at a time θ verifying

∆ = y1 (1 − (tanh(gθ ))2 )

that is at time s
1 ∆
θ = artanh( 1 − )
g y1
Consider a distance ∆ that can be taken as small as we wish. Like in the case of Special Relativity,
consider the discretization of spacetime with a temporal and spatial step ∆ and the function ỹ from ∆N to
∆Z mapping every k∆ smaller than θ to the rounding of y(k∆) in ∆Z and every k∆ larger than θ to y1 .
Let us construct a one-dimensional cellular automaton which represents the discrete motion ỹ. Set
the state space Σ = {q, 0, ..., L − 1, ∞}, with L = pθ /∆q. If σ ∈ {0, ..., L − 1}, the cellular automaton
maps c(k, σ ) to either c(k, σ + 1) or c(k + 1, σ + 1)—assuming (L − 1) + 1 = ∞—depending on whether
ỹ((k + 1)∆) − ỹ(k∆) is equal to zero or to ∆, and c(k, ∞) to itself.
The number of states needed to simulate the spacetime trajectory is
s
1 ∆
l = 2 + θ /∆ = 2 + artanh( 1 − )
g∆ y1

If we assume that the number of bits that can be encoded in a cell of length ∆ is ∆/ρ , for some
distance ρ , then, to encode this amount of information, we need a cell of size ∆ where
s
1 ∆ ∆
log2 (2 + artanh( 1 − )) ≤
g∆ y1 ρ

that is s
∆ 1 ∆
− log2 (2 + artanh( 1 − )) ≥ 0
ρ g∆ y1
P. Arrighi & G. Dowek 9

This function is monotonic in ∆, so this equation can be numerically solved. For example, if m =
4.42 10−3 m, R = 6.37 106 m, and ρ = 1.6 10−35 m, we get g = 1.09 10−16 m−1 and y1 = 4.57 1015 m.
This equation boils down to
∆ ≥ 2.69 10−33 m = 168ρ
Indeed, if we take ∆ = 168ρ , a cell can encode 168 bits and l = 1.92 1050 = 2168 .
So, with an accuracy of the order of magnitude of 10−33 m, General Relativity also does not require
a free falling particle to contain more than a few hundred bits.

6 Conclusion
Newtonian physics and Relativity completely differ with respect to the possibility modelling free fall
within a cellular automaton. Such a simulation is not possible for Newtonian physics, while it is pos-
sible both in Special—constant force—and General Relativity—geodesics in a linearly approximated
metric. The simulation can be very accurate with a reasonable number of internal states: a few hundred
bits suffice to achieve an accuracy of the order of magnitude of 10−33 m. So, as far as free fall is con-
cerned, Relativity is completely consistent with the hypotheses of a bounded velocity of propagation of
information and of a bounded density of information, unlike Newtonian physics.
In this work, we made explicit these accurate cellular automata, by exploiting the asymptotes to the
trajectory, that exist both in Special and General Relativity. There was no need to use auxiliary signals as
in [7]. We have proved the existence of such cellular automata, but made no attempt to design “natural”
ones: the local rules use the solutions of the equations of motion in order to know whether the particle
should move, or not. Moreover, there was clearly no attention paid to covariance. The design of more
natural automata is of course of prime importance. In the case of General Relativity for instance, the
metric at each point ought to be carried by the corresponding cell: we began to address this question both
in the classical case [2], and, building upon [4], in the quantum case [3].

Acknowledgements
The authors thank David Janin for useful discussions on this paper, and Alejandro Péres for indications
on General Relativity. This work has been funded by the ANR-12-BS02-007-01 TARMAC grant. Pablo
Arrighi is also a member of IXXI, where this research was partially conducted.

References
[1] P. Arrighi & G. Dowek (2012): The physical Church-Turing thesis and the principles of quantum theory. Int.
J. Found. of Computer Science 23, doi:10.1142/S0129054112500153.
[2] P. Arrighi & G. Dowek (2015): Discrete geodesics. In: Theory and Practice of Natural Computing, Lecture
Notes in Computer Science 9477, Springer-Verlag, pp. 137–149, doi:10.1007/978-3-319-26841-5 11.
[3] P. Arrighi, S. Facchini & M. Forets (2015): Quantum walks in curved spacetime. Pre-print arXiv:1505.07023.
[4] G. Di Molfetta, M. Brachet & F. Debbasch (2013): Quantum walks as massless Dirac fermions in curved
space-time. Physical Review A 88(4), p. 042301, doi:10.1103/PhysRevA.88.042301.
[5] R. d’Inverno (1899): Introducing Einstein’s Relatvity. Oxford University Press, USA.
[6] R. Gandy (1980): Church’s thesis and principles for mechanisms. In: The Kleene Symposium, North-Holland
Publishing Company, Amsterdam, pp. 123–148, doi:10.1016/S0049-237X(08)71257-6.
10 Free fall and cellular automata

[7] J. Mazoyer & V. Terrier (1999): Signals in one-dimensional cellular automata. Theoreti-
cal Computer Science 217(1), pp. 53 – 80, doi:10.1016/S0304-3975(98)00150-9. Available at
http://www.sciencedirect.com/science/article/pii/S0304397598001509.
[8] E.F. Taylor & J.A. Wheeler (1992): Spacetime physics. Macmillan.

You might also like