A 4 dimensional random walk!

You start at the point ( x , y , z ) = ( 1 , 1 , 1 ) (x,y,z) = (1,1,1) in a Cartesian coordinate system, at time t = 0 t=0 . If we consider time to be a fourth dimension, we start at coordinate ( x , y , z , t ) = ( 1 , 1 , 1 , 0 ) (x,y,z,t) = (1,1,1,0)

Every turn you take you move randomly in one of eight (yes 8!) possible directions, six of them are the six directions available to you on the Cartesian coordinate system ( ± x ^ \pm \widehat{x} , ± y ^ \pm \widehat{y} , ± z ^ \pm \widehat{z} ), and the remaining two are to move backward or forward in time by one second.

What is the expected value for the number of moves (either in space or time or both) that it will take for you to land on a point ( 3 a , 3 b , 3 c , 3 d (3a, 3b, 3c, 3d ) where a a , b b , c c and d d are integers . ( a , b , c ) (a,b,c) is your ( x , y , z ) (x,y,z) location, and d d is how many seconds from when you started. Remember, time only moves (forward or backward) when you travel in time, otherwise it remains still.

Clarification: On any move you can go one unit in either direction on any of the three axes, or you can go backward or forward in time by one second each with probability 1 / 8 1/8 .

Note: If you end up moving in space, the move is instantaneous (i.e. time freezes), but if you move in time, you remain at a fixed location in space for that move.


Image credit: www.bbcamerica.com


The answer is 96.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Geoff Pilling
Jun 11, 2016

By symmetry there are only four unique expectation values in the problem.

They are represented by the expectation values from the following points:

( 1 , 0 , 0 , 0 ) , ( 1 , 1 , 0 , 0 ) , ( 1 , 1 , 1 , 0 ) , ( 1 , 1 , 1 , 1 ) (1,0,0,0), (1,1,0,0), (1,1,1,0), (1,1,1,1) (The fourth coordinate is time, the fourth dimension)

Let E 1 E_1 through E 4 E_4 be defined as the expected value for the number of moves it would take to get to ( 3 a , 3 b , 3 c , 3 d ) (3a,3b,3c,3d) for integral a a , b b , c c and d d from each of these locations respectively.

From each grid point the expectation value is given by E = 1 + 1 / 8 E = 1 + 1/8 * (sum of all eight neighboring expectation values)

So, we have the following set of linear equations:

E 1 = 1 + ( 1 / 8 ) ( E 1 + 6 E 2 ) E_1 = 1 + (1/8)(E_1+6E_2) E 2 = 1 + ( 1 / 8 ) ( 2 E 1 + 2 E 2 + 4 E 3 ) E_2 = 1 + (1/8)(2E_1+2E_2+4E_3) E 3 = 1 + ( 1 / 8 ) ( 3 E 2 + 3 E 3 + 2 E 4 ) E_3 = 1 + (1/8)(3E_2+3E_3+2E_4) E 4 = 1 + ( 1 / 8 ) ( 4 E 3 + 4 E 4 ) E_4 = 1 + (1/8)(4E_3+4E_4)

Sovling for E 3 E_3 , this gives, E 3 = 96 E_3 = \boxed{96}

I think we can generalise the result for n n dimensions with the recurrence relation:

E n + 1 = 2 × 3 n + E n + E n n E 1 = 2 E_{n+1}=2 \times 3^n+E_n+\dfrac{E_n}{n} \quad \quad E_1=2

Where E n E_n is the expected number of moves to get to a point ( 3 a 1 , 3 a 2 , , 3 a n 1 , 3 a n ) n \underbrace{(3a_1,3a_2, \cdots, 3a_{n-1},3a_n)}_{n} starting from a point ( 1 , 1 , , 1 , 1 ) n \underbrace{(1,1,\cdots,1,1)}_{n} . I haven't been able to prove this though.

Sam Bealing - 4 years, 11 months ago

Log in to reply

Interesting observation... Lemme think about that one...

Geoff Pilling - 4 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...