Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

There is a cube and an ant is performing a random walk on the edges where it can select any of the 3 adjoining vertices with equal probability. What is the expected number of steps it needs till it reaches the diagonally opposite vertex?

share|cite|improve this question
Why is this titled and tagged as "logic"? – DaG Mar 20 '11 at 21:03
@DaG: presumably because the vertices represent the eight distinct truth valuations of three boolean propositional variables, and the edges a change of exactly one of them. – Mitch Mar 20 '11 at 21:57
This question is equivalent. – Douglas Zare Mar 21 '11 at 7:36
@Mitch: Right, nice interpretation! So, if I say three false things, but each minute I take back something I had previously said, how long will it take for me to say three true things? – DaG Mar 21 '11 at 8:45

Extending to $d$-dimensions

So I had enough time to procrastinate today and I extended this problem to $d$ dimensions. I would appreciate if someone could read through the answer and suggest any simplification to final answer if possible. Do the final numbers $u_n$ constitute a nice well known sequence? Further, what other interesting problems arise out this ant and the cube problem. I think another nice problem is the expected cover time. Thanks

Working out explicitly for $d=3$ gave some nice hints and a good picture of what is going on. We use these to extend to any d-dimension.

The first thing is to define a cube in $d$-dimensions. A $\mathbf{d}$-dimensional cube is a set of vertices of the form $(i_1,i_2,\ldots,i_d)$ where $i_k \in \{0,1\}$. There is an edge between vertex $(i_1,i_2,\ldots,i_d)$ and vertex $(j_1,j_2,\ldots,j_d)$ if $\exists l$ such that $\left | i_l - j_l \right| = 1$ and $i_k = j_k$, $\forall k \neq l$.

Two vertices are said to be adjacent if they share an edge. It is easy to note that every vertex shares an edge with $d$ vertices. (Consider a vertex $(i_1,i_2,\ldots,i_d)$. Choose any $i_k$ and replace $i_k$ by $1-i_k$. This gives an adjacent vertex and hence there are $d$ adjacent vertices as $k$ can be any number from $1$ to $d$). Hence, the probability that an ant at a vertex will choose an edge is $\frac1{d}$.

For every vertex, $(i_1,i_2,\ldots,i_d)$ let $s((i_1,i_2,\ldots,i_d)) = \displaystyle \sum_{k=1}^d i_k$. Note that $s$ can take values from $0$ to $d$. There are $\binom{d}{r}$ vertices such that $s((i_1,i_2,\ldots,i_d)) = r$.

Let $v_{(i_1,i_2,\ldots,i_d)}$ denote the expected number of steps taken from $(i_1,i_2,\ldots,i_d)$ to reach $(1,1,\ldots,1)$

Let $S_r = \{ (i_1,i_2,\ldots,i_d) \in \{0,1\}^d: s((i_1,i_2,\ldots,i_d)) = r\}$

Claim: Consider two vertices say $a,b \in S_r$. Then $v_a = v_b$. The argument follows easily from symmetry. It can also be seen from writing down the equations and noting that the equations for $a$ and $b$ are symmetrical.

Further note that if $a \in S_r$, with $0 < r < d$, then any adjacent vertex of $a$ must be in $S_{r-1}$ or $S_{r+1}$. Any adjacent vertex of $(0,0,\ldots,0)$ belongs to $S_1$ and any adjacent vertex of $(1,1,\ldots,1)$ belongs to $S_{d-1}$. In fact, for any $a \in S_r$, $r$ adjacent vertices $\in S_{r-1}$ and $d-r$ adjacent vertices $\in S_{r+1}$.

Let $u_r$ denote the expected number of steps from any vertex $\in S_r$ to reach $(1,1,\ldots,1)$. For $r \in \{1,2,\ldots,d-1\}$, we have \begin{align} u_r & = 1 + \frac{r}{d} u_{r-1} + \frac{d-r}{d} u_{r+1} & r \in \{1,2,\ldots,d-1\}\\\ u_0 & = 1 + u_1 & r = 0\\\ u_d & = 0 & r = d \end{align} Setting up a matrix gives us a tai-diagonal system to be solved. Instead, we go about solving this as follows.

Let $p_r = \frac{r}{d}$, $\forall r \in \{1,2,\ldots,d-1\}$. Then the equations become \begin{align} u_r & = 1 + p_r u_{r-1} + (1-p_r) u_{r+1} & r \in \{1,2,\ldots,d-1\}\\\ u_0 & = 1 + (1-p_0) u_1 & r = 0\\\ u_d & = 0 & r = d \end{align} Let $a_{r} = u_{r+1} - u_r$. Then we get \begin{align} p_r a_{r-1} & = 1 + (1-p_r)a_r & r \in \{1,2,\ldots,d-1\}\\\ a_0 & = -1 & r = 0 \end{align} Note that $u_m = - \displaystyle \sum_{k=m}^{d-1} a_k$ and $u_d = 0$ \begin{align} a_0 & = -1 & r = 0\\\ a_{r} & = \frac{p_r}{1-p_r} a_{r-1} - \frac1{1-p_r} & r \in \{1,2,\ldots,d-1\} \end{align} Let $l_r = \frac{p_r}{1-p_r} = \frac{r}{d-r}$ \begin{align} a_0 & = -1 & r = 0\\\ a_{r} & = l_r a_{r-1} - (1+l_r) & r \in \{1,2,\ldots,d-1\} \end{align} \begin{align} a_1 &= l_1 a_0 - (1+l_1)\\\ a_2 & = l_2 l_1 a_0 - l_2(1+l_1) - (1+l_2)\\\ a_3 & = l_3 l_2 l_1 a_0 - l_3 l_2 (1+l_1) - l_3 (1+l_2) - (1+l_3)\\\ a_m & = \left( \prod_{k=1}^{m} l_k \right) a_0 - \displaystyle \sum_{k=1}^{m} \left((1+l_k) \left( \prod_{j=k+1}^m l_j \right) \right) \end{align} Since $a_0 = -1$ and $l_0 = 0$, we get \begin{align} a_m & = - \displaystyle \sum_{k=0}^{m} \left((1+l_k) \left( \prod_{j=k+1}^m l_j \right) \right) \end{align} Hence, \begin{align} u_n & = - \displaystyle \sum_{m=n}^{d-1} a_m\\\ u_n & = \displaystyle \sum_{m=n}^{d-1} \left( \displaystyle \sum_{k=0}^{m} \left((1+l_k) \left( \prod_{j=k+1}^m l_j \right) \right) \right)\\\ u_n & = \displaystyle \sum_{m=n}^{d-1} \left( \displaystyle \sum_{k=0}^{m} \left(\frac{d}{d-k} \left( \prod_{j=k+1}^m \frac{j}{d-j} \right) \right) \right)\\\ u_n & = \displaystyle \sum_{m=n}^{d-1} \frac{\displaystyle \sum_{k=0}^{m} \binom{d}{k}}{\binom{d-1}{m}} \end{align} Note that \begin{align} u_n & = \frac{\displaystyle \sum_{k=0}^{n} \binom{d}{k}}{\binom{d-1}{n}} + u_{n+1} & \forall n \in \{0,1,2,\ldots,d-2 \} \end{align} The expected number of steps from one vertex away is when $n = d-1$ and hence $u_{d-1} = 2^d-1$

The expected number of steps from two vertices away is when $n = d-2$ and hence $u_{d-2} = \frac{2d(2^{d-1} - 1)}{d-1}$

The answers for the expected number of steps from a vertex and two vertices away coincide with Douglas Zhare's comment

Initial Solution

Problems such as these fall in the category of Markov chains and one way to solve this is through first step analysis.

We shall denote the vertices of the cube by numbers from $1$ to $8$ with $1$ and $8$ being the opposite ends of the body diagonal.

enter image description here

Let $v_i$ denote the expected number of steps to reach the vertex numbered $8$ starting at vertex numbered $i$.

$v_1 = 1 + \frac{1}{3}(v_2 + v_4 + v_6)$; $v_2 = 1 + \frac{1}{3}(v_1 + v_3 + v_7)$; $v_3 = 1 + \frac{1}{3}(v_2 + v_4 + v_8)$; $v_4 = 1 + \frac{1}{3}(v_1 + v_3 + v_5)$; $v_5 = 1 + \frac{1}{3}(v_4 + v_6 + v_8)$; $v_6 = 1 + \frac{1}{3}(v_1 + v_5 + v_7)$; $v_7 = 1 + \frac{1}{3}(v_6 + v_2 + v_8)$; $v_8 = 0$;

Note that by symmetry you have $v_2 = v_4 = v_6$ and $v_3 = v_5 = v_7$.

Hence, $v_1 = 1 + v_2$ and $v_2 = 1 + \frac{1}{3}(v_1 + 2v_3)$ and $v_3 = 1 + \frac{2}{3} v_2$.

Solving we get $$\begin{align} v_1 & = 10\\ v_2 = v_4 = v_6 & = 9\\ v_3 = v_5 = v_7 & = 7 \end{align}$$

Hence, the expected number of steps to reach the diagonally opposite vertex is $10$.

share|cite|improve this answer
Beautiful answer! I clicked 3 times quickly on the up arrow but unfortunately it didn't work. – t.b. Mar 20 '11 at 22:36
The expected number of steps to reach any vertex, in this case, are all integers. This seems surprising to me; does anyone know a nice reason why? – Michael Lugo Mar 21 '11 at 0:33
@Sivaram Hm, Wikipedia doesn't have a dedicated page to "first step analysis." Is this kind of an ad-hoc thing you came up with or a recognized technique with a kind of theory behind it? – Uticensis Mar 21 '11 at 4:40
@Billare: I didn't come up with this. It is usually discussed in an introductory stochastic/Markov chain class. Of course you need not use this. You can write an infinite expression for $v_i$'s and note the repeating pattern to get the answer... – user17762 Mar 21 '11 at 4:45
@Michael Lugo: For higher dimensional cubes, the values are not necessarily integers. For the $4$-cube, the values are $64/3$, $61/3$, $56/3$, and $15$. – Douglas Zare Mar 21 '11 at 7:34

Call the set containing only the starting vertex $A$. You can move to any of three vertices next. Call the set of them $B$. For the next step, you can go back to $A$, or you can move on to any of three new vertices. Call the set of those vertices $C$. Finally, call the set containing the goal vertex $D$.

Call the expected number of steps from $A$ to $D$ $E(AD)$ etc.

Consider $E(BD)$. We can write an equation for $E(BD)$ by considering what happens if you start at $B$ and take two steps. You could go to $C$ and then to $D$. The probability of this is $2/3$ for the first step and $1/3$ for the second, or $2/9$ over all.

You could also go to $C$ and back, or to $A$ and back. Either way, your new expected number of steps to $D$ is the same as it was before, because you're back where you started. The probability of this is $7/9$ because probabilities add to one.

This gives

$E(BD) = 2/9(2) + 7/9(2 + E(BD))$

which means

$E(BD) = 9$

It takes one step to go from $A$ to $B$, so

$E(AD) = 10$

share|cite|improve this answer

Hint: there are three kinds of vertices besides the target itself: 1) those one step from the target 2) those two steps from the target 3) the vertex opposite to the target Let u_i be the expected number of steps, starting at a vertex of type i, until it reaches the target. Considering the possibilities for the first step from a vertex of type i, write three equations expressing u_i in terms of the other u_j. Then solve.

share|cite|improve this answer

I've been challenged whith this exercice but with a slight difference.

The difference is that if I get vertex 8 (beginning from 1) then the ant dies. And the question is "What probabilities I have to die?"

I know from the above answers that the number of expected steps from 1 to 8 is 10, then it means that is more difficult to die on vertex 8 than in vertex for example 7, due to the expected number of steps to reach vertex 7 is smaller than in vertex 8 and that means that the probability to die is higher on vertex 7 because of is easier to reach. But...I don't know exactly how to express it in terms of PROBABILITY.

Anyone could open my mind? Thanks

share|cite|improve this answer
Then you die. Almost surely. – Did Mar 30 '11 at 12:25
Yes, I'll die surely. But What probability I have to die on vertex 8? – user8888 Mar 30 '11 at 12:37
Is there any other vertex where you can die? I understood you were walking on the edges of the cube until you met your fate at vertex 8. Which will happen almost surely. – Did Mar 30 '11 at 13:13
Yes, there is another vertex where can die. It is vertex number 5. The other question is if the ant has some probabilty to survive. I'm totally sure the answer is not. – user8888 Mar 30 '11 at 13:44
Didier, I already know the answer. Probability to die on vertex 8 is 3/7 and in vertex 5 is 4/7. The solution has just been released by the teacher who ask for answers. The solution are in the following link… – user8888 Mar 30 '11 at 13:53

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.