A token is randomly placed into a square on a 1 4 × 1 2 chessboard according to a probability distribution P . The token is then moved uniformly at random to one of the horizontally, vertically, or diagonally adjacent squares. The probability that the token is in a particular position after it has been moved also satisfies the distribution P . The token is again moved uniformly at random to an adjacent square. Let q P be the probability that the first and last position of the token is the same for the distribution P and let q be the maximum value of q P over all distributions P which satisfy the above relation. q can be expressed as b a where a and b are coprime positive integers. What is the value of a + b ?
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.
This is an excellent observation that each possible pair of adjacent squares has the same probability.
Notice that the final answer we got here is 1 1 9 2 1 6 8 , which equal the number of squares divided by the number of pairs of adjacent squares.
Can you think of a more direct reason why this is the case, once we know the result about pairs of adjacent squares?
Well done James!
Reply to the Challenge Master note: I solved this problem in a very hairy way, but throughout solving it, hairy things were canceled out several times (resulting in 'oooh'-moments), leaving the number of squares divided by the sum of adjacent squares of each square. I have no simple way to explain this though.
As a finite irreducible Markov chain, there is only one stationary distribution. Since the chain is time-reversible, it is easy to calculate. The probabilities of P depend on whether the square is one of the 4 corner squares, one of the 4 4 edge squares, or one of the 1 2 0 internal squares. The probabilities of being on a corner, edge and internal square are then p c = 1 1 9 2 3 p e = 1 1 9 2 5 p i = 1 1 9 2 8
If the starting square is one of the four corner squares, then the probability of returning to the starting square after two moves is 3 2 × 5 1 + 3 1 × 8 1 = 4 0 7
If the starting square is one of the 8 edge squares which are adjacent to a corner, then the probability of returning to the starting square after two moves is 5 1 × 3 1 + 5 2 × 5 1 + 5 2 × 8 1 = 3 0 0 5 9
If the starting square is one of the other 3 6 edge squares, then the probability of returning to the starting square after two moves is 5 2 × 5 1 + 5 3 × 8 1 = 2 0 0 3 1
If the starting square is one of the 4 internal squares which are adjacent to a corner square, then the probability of returning to the starting square after two moves is 8 1 × 3 1 + 8 4 × 5 1 + 8 3 × 8 1 = 9 6 0 1 8 1
If the starting square is one of the 3 6 interior square which are adjacent to an edge, but not adjacent to a corner, then the probability of returning to the starting square after two moves is 8 3 × 5 1 + 8 5 × 8 1 = 3 2 0 4 9
If the starting square is one of the 8 0 fully internal squares, then the probability of returning to the starting square after two moves is 8 8 × 8 1 = 8 1
Thus we deduce that q P = 4 0 7 × 4 p c + 3 0 0 5 9 × 8 p e + 2 0 0 3 1 × 3 6 p e + 9 6 0 1 8 1 × 4 p i + 3 2 0 4 9 × 3 6 p i + 8 1 × 8 0 p i = 1 4 9 2 1 and hence a + b = 1 7 0 .
Oh my god.haha.i misunderstand that the first and the last position have the same probability according to distribution P.
There is only one probability distribution P on a 1 2 X 1 4 chessboard that has the property that after the token is moved at random the distribution still satisfies P . This is when the probability of landing on a corner is 3 x , of landing on a edge is 5 x , and of landing anywhere else ("middle" squares) is 8 x . There are 4 corners, 4 4 edge squares, and 1 2 0 middle squares. Thus 1 2 x + 2 2 0 x + 9 6 0 x = 1 , and x = 1 1 9 2 1 . Thus the probability that the token lands on a corner, edge, or middle square is 1 1 9 2 3 , 1 1 9 2 5 , 1 4 9 1 , respectively.
Looking at the squares, we have 6 unique probabilities for a token having the same first and last position. The squares with the same probabilities can be split into the following 6 groups: when it starts in a corner ( 4 squares), when it starts on an edge adjacent to a corner ( 8 squares), when it starts on a middle square diagonally adjacent with a corner ( 4 squares), when it starts on an edge that is not adjacent with a corner ( 3 6 squares), when it starts on a middle piece that is adjacent to an edge but not a corner ( 3 6 squares), and when it starts on a middle square only adjacent to middle squares ( 8 0 squares).
Case 1: The probability that it moves to an edge square is 3 2 , and the probability that it then moves back to the corner is 5 1 . The probability that it moves to a middle square is 3 1 , and the probability that it moves back to the corner is 8 1 . So we have 1 5 2 + 2 4 1 . Then, we must multiply this by the probability that it starts on a corner piece (which is 1 1 9 2 3 according to P ) and the number of squares in this case, which is 4 . So for this case we have p = 1 1 9 2 0 2 1 .
Using the same principles as stated in the first case, we can find the probabilities of the other six cases. Adding together the probabilities found in the six cases we get our final answer of 1 4 9 2 1 , thus a + b = 1 7 0 .
I did the same as this (which is the same as Mark H's solution). I didn't try to prove that there is only one distribution although after solving some smaller cases I felt strongly that there is only one distribution.
Can we prove there are no others? (if we don't assume anything about Markov chains)
Log in to reply
Suppose that the 1 6 8 positions on the grid are numbered 1 to 1 6 8 . Consider the 1 6 8 × 1 6 8 matrix Q whose ( i , j ) th coefficient Q i j is the probability of moving from square j to square i . Then all the coefficients of Q are nonnegative, and ∑ i Q i j = 1 for all j .
If P is an invariant distribution, and if π i is the probability of being on square i for that distribution, then ∑ j Q i j π j = π i for all i , so the coefficients π i form a column vector π such that Q π = π , so that π is in the null-space of I − Q . The object of the game is to show that I − Q has nullity 1 . Then the one-dimensionality of the null-space, together with the requirement that ∑ i π i = 1 , guarantees that the invariant distribution is unique.
Without using any more theory, we can identify the matrix Q and plug it into Mathematica, which will tell you that I − Q has rank 1 6 7 , and hence nullity 1 . Mathematica will even identify a vector spanning the null-space, and hence calculate the invariant distribution.
If you wanted to try for a more theoretical approach, you could try the following. Since ∑ i Q i j = 1 for all j , we deduce that ( 1 1 1 ⋯ 1 ) Q = ( 1 1 1 ⋯ 1 ) so that ( 1 1 1 ⋯ 1 ) T lies in the null-space of ( I − Q ) T . It would be enough to show that the null-space of ( I − Q ) T was spanned by ( 1 1 1 ⋯ 1 ) T . This is true, but not easy to establish directly.
For x a cell, let p ( x ) be the probability of x under a given distribution p and n ( x ) the number of neighbors of that cell. We show that, in fact, only one probability distribution satisfies the first relation. This probability distribution has p ( x ) = c n ( x ) for c = ( ∑ x n ( x ) ) − 1 .
We define q ( x ) = p ( x ) / n ( x ) . The first relation, that p is invariant under uniformly distributed "king's moves," means that the probability of being on x is the sum over each neighbor y of x of p ( y ) / n ( y ) . That is, the probability of starting on y times the probability of ending up on x given that you started on y . In terms of q , this is q ( x ) = n ( x ) 1 ∑ y q ( y ) where the sum is over neighbors. So q ( x ) takes the value of the average of its neighbors.
Consider the largest value that q takes. That cell must be surrounded by cells of the same value, otherwise the average of its neighbors will be strictly less. As a grid of squares is clearly path-connected, this implies that q must be constant on the entire grid. This determines p up to a constant, which is determined by the fact that probabilities must sum to 1.
Now we find the probability of winding up on the starting square after two moves. Given that we start on a given square x , the probability is the sum, for each neighbor y , of the probability that we move to y times the probability we move back. Thus the desired number is ∑ x n ( x ) p ( x ) ∑ y n ( y ) 1 , where the inner sum is taken over neighbors. Recalling that q is constant, we move it out of the sum. For the remaining part, for each cell y , the term n ( y ) 1 is included once per neighbor of y , ie, n ( y ) times. Then this sum is the constant value of q times 1 for each cell.
We note that q ( x ) = c for all x . To compute c we note that each interior edge is involved in one pair of neighbors and each interior vertex is involved in two pairs of neighbors. The number of edges parallel to the long side is 1 1 ⋅ 1 4 . The number parallel to the short side is 1 2 ⋅ 1 3 . The number of interior vertices is 1 3 ⋅ 1 1 . Counting each the appropriate number of times gives c = ( 1 1 ⋅ 1 4 ⋅ 2 + 1 2 ⋅ 1 3 ⋅ 2 + 1 3 ⋅ 1 1 ⋅ 4 ) − 1 . Then the desired probability is 1 2 ⋅ 1 4 ⋅ c = 1 4 9 2 1 , from which we easily obtain 170.
Problem Loading...
Note Loading...
Set Loading...
Instead of considering squares, we will consider possible moves that the token can take. It turns out that there are 1 1 9 2 possible combinations of starting square and ending square ( 1 2 0 starting squares with 8 , 4 4 with 5 and 4 with 3 ). The conditions of the problem can now be considered like this:
1) The sum of the probabilities of each out-move is the same as the sum of the probabilities of each in-move for each square (equivalent to the same distribution property);
2) The probabilities of each out-move for a given square are the same (uniform movement direction probability).
Suppose there exists an edge on which the probabilities of moving one way and the other way are different. Consider all such edges, and select the edge where the larger of the two probabilities is greatest. That move came from a square where each in-probability must be no larger than the out-probability by the assumption and rule 2, and since one of the edges is imbalanced, property 1 is violated. Hence, on each edge, the out and in probabilities are the same. It is easy to see that this means that all probabilities will be the same (effectively since the board is connected), and thus the probability of making each move is λ = 1 1 9 2 1 .
Now, we must compute the probability of the third and first square being the same. We will do this by considering each of the 1 1 9 2 possible first moves:
1 2 λ of moving to a corner square × 3 1 of returning = 4 λ ;
2 2 0 λ of moving to an edge square × 5 1 of returning = 4 4 λ ;
9 6 0 λ of moving to a middle square × 8 1 of returning = 1 2 0 λ ;
This gives a total of 1 1 9 2 1 6 8 = 1 4 9 2 1 , giving a final answer of 1 7 0 .