Distribution on a grid

A token is randomly placed into a square on a 14 × 12 14 \times 12 chessboard according to a probability distribution P . 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 . P. The token is again moved uniformly at random to an adjacent square. Let q P q_P be the probability that the first and last position of the token is the same for the distribution P P and let q q be the maximum value of q P q_P over all distributions P P which satisfy the above relation. q q can be expressed as a b \frac{a}{b} where a a and b b are coprime positive integers. What is the value of a + b ? a + b?


The answer is 170.

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.

4 solutions

James Aaronson
Aug 5, 2013

Instead of considering squares, we will consider possible moves that the token can take. It turns out that there are 1192 1192 possible combinations of starting square and ending square ( 120 120 starting squares with 8 8 , 44 44 with 5 5 and 4 4 with 3 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 1192 \lambda = \frac{1}{1192} .

Now, we must compute the probability of the third and first square being the same. We will do this by considering each of the 1192 1192 possible first moves:

12 λ 12\lambda of moving to a corner square × \times 1 3 \frac{1}{3} of returning = 4 λ = 4\lambda ;

220 λ 220\lambda of moving to an edge square × \times 1 5 \frac{1}{5} of returning = 44 λ =44\lambda ;

960 λ 960\lambda of moving to a middle square × \times 1 8 \frac{1}{8} of returning = 120 λ =120\lambda ;

This gives a total of 168 1192 = 21 149 \frac{168}{1192} = \frac{21}{149} , giving a final answer of 170 \boxed{170} .

Moderator note:

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 168 1192 , \frac{168}{1192}, 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!

Karthik Tadinada - 7 years, 10 months ago

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.

Tim Vermeulen - 7 years, 10 months ago
Mark Hennings
Aug 6, 2013

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 P depend on whether the square is one of the 4 4 corner squares, one of the 44 44 edge squares, or one of the 120 120 internal squares. The probabilities of being on a corner, edge and internal square are then p c = 3 1192 p e = 5 1192 p i = 8 1192 p_c \; = \; \frac{3}{1192} \qquad p_e \; = \; \frac{5}{1192} \qquad p_i \; = \; \frac{8}{1192}

  1. If the starting square is one of the four corner squares, then the probability of returning to the starting square after two moves is 2 3 × 1 5 + 1 3 × 1 8 = 7 40 \frac23\times\frac15 + \frac13\times\frac18 \; = \; \frac{7}{40}

  2. If the starting square is one of the 8 8 edge squares which are adjacent to a corner, then the probability of returning to the starting square after two moves is 1 5 × 1 3 + 2 5 × 1 5 + 2 5 × 1 8 = 59 300 \frac{1}{5}\times\frac{1}{3} + \frac{2}{5}\times\frac{1}{5} + \frac{2}{5}\times\frac{1}{8} \; = \; \frac{59}{300}

  3. If the starting square is one of the other 36 36 edge squares, then the probability of returning to the starting square after two moves is 2 5 × 1 5 + 3 5 × 1 8 = 31 200 \frac{2}{5}\times\frac{1}{5} + \frac{3}{5}\times\frac{1}{8} \; = \; \frac{31}{200}

  4. If the starting square is one of the 4 4 internal squares which are adjacent to a corner square, then the probability of returning to the starting square after two moves is 1 8 × 1 3 + 4 8 × 1 5 + 3 8 × 1 8 = 181 960 \frac{1}{8}\times\frac{1}{3} + \frac{4}{8}\times\frac{1}{5} + \frac{3}{8}\times\frac{1}{8} \; = \; \frac{181}{960}

  5. If the starting square is one of the 36 36 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 3 8 × 1 5 + 5 8 × 1 8 = 49 320 \frac{3}{8}\times\frac{1}{5} + \frac{5}{8}\times\frac{1}{8} \; =\; \frac{49}{320}

  6. If the starting square is one of the 80 80 fully internal squares, then the probability of returning to the starting square after two moves is 8 8 × 1 8 = 1 8 \frac{8}{8}\times\frac{1}{8} \; = \; \frac{1}{8}

Thus we deduce that q P = 7 40 × 4 p c + 59 300 × 8 p e + 31 200 × 36 p e + 181 960 × 4 p i + 49 320 × 36 p i + 1 8 × 80 p i = 21 149 q_P \; = \; \frac{7}{40}\times4p_c + \frac{59}{300}\times8p_e + \frac{31}{200}\times36p_e \\ + \frac{181}{960}\times4p_i + \frac{49}{320}\times36p_i + \frac{1}{8}\times80p_i \; = \; \frac{21}{149} and hence a + b = 170 a+b=170 .

Oh my god.haha.i misunderstand that the first and the last position have the same probability according to distribution P.

Hunter Killer - 7 years, 10 months ago
Jiang Shi
Aug 5, 2013

There is only one probability distribution P P on a 12 X 14 12 X 14 chessboard that has the property that after the token is moved at random the distribution still satisfies P P . This is when the probability of landing on a corner is 3 x 3x , of landing on a edge is 5 x 5x , and of landing anywhere else ("middle" squares) is 8 x 8x . There are 4 4 corners, 44 44 edge squares, and 120 120 middle squares. Thus 12 x + 220 x + 960 x = 1 12x + 220x + 960x = 1 , and x = 1 1192 x = \frac {1}{1192} . Thus the probability that the token lands on a corner, edge, or middle square is 3 1192 , 5 1192 , 1 149 \frac {3}{1192}, \frac {5}{1192}, \frac {1}{149} , respectively.

Looking at the squares, we have 6 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 6 groups: when it starts in a corner ( 4 (4 squares), when it starts on an edge adjacent to a corner ( 8 (8 squares), when it starts on a middle square diagonally adjacent with a corner ( 4 (4 squares), when it starts on an edge that is not adjacent with a corner ( 36 (36 squares), when it starts on a middle piece that is adjacent to an edge but not a corner ( 36 (36 squares), and when it starts on a middle square only adjacent to middle squares ( 80 (80 squares).

Case 1: The probability that it moves to an edge square is 2 3 \frac {2}{3} , and the probability that it then moves back to the corner is 1 5 \frac{1}{5} . The probability that it moves to a middle square is 1 3 \frac {1}{3} , and the probability that it moves back to the corner is 1 8 \frac {1}{8} . So we have 2 15 + 1 24 \frac {2}{15} + \frac {1}{24} . Then, we must multiply this by the probability that it starts on a corner piece (which is 3 1192 \frac {3}{1192} according to P P ) and the number of squares in this case, which is 4 4 . So for this case we have p = 21 11920 p = \frac {21}{11920} .

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 21 149 \frac {21}{149} , thus a + b = 170 a + b = 170 .

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)

Matt McNabb - 7 years, 10 months ago

Log in to reply

Suppose that the 168 168 positions on the grid are numbered 1 1 to 168 168 . Consider the 168 × 168 168\times168 matrix Q Q whose ( i , j ) (i,j) th coefficient Q i j Q_{ij} is the probability of moving from square j j to square i i . Then all the coefficients of Q Q are nonnegative, and i Q i j = 1 \sum_i Q_{ij} = 1 for all j j .

If P P is an invariant distribution, and if π i \pi_i is the probability of being on square i i for that distribution, then j Q i j π j = π i \sum_j Q_{ij} \pi_j = \pi_i for all i i , so the coefficients π i \pi_i form a column vector π \pi such that Q π = π Q\pi = \pi , so that π \pi is in the null-space of I Q I-Q . The object of the game is to show that I Q I-Q has nullity 1 1 . Then the one-dimensionality of the null-space, together with the requirement that i π i = 1 \sum_i\pi_i = 1 , guarantees that the invariant distribution is unique.

Without using any more theory, we can identify the matrix Q Q and plug it into Mathematica, which will tell you that I Q I-Q has rank 167 167 , and hence nullity 1 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 \sum_i Q_{ij} = 1 for all j j , we deduce that ( 111 1 ) Q = ( 111 1 ) (1 1 1 \cdots 1)Q \; = \; (1 1 1 \cdots 1) so that ( 111 1 ) T (1 1 1 \cdots 1)^T lies in the null-space of ( I Q ) T (I-Q)^T . It would be enough to show that the null-space of ( I Q ) T (I-Q)^T was spanned by ( 111 1 ) T (1 1 1 \cdots 1)^T . This is true, but not easy to establish directly.

Mark Hennings - 7 years, 10 months ago
Peter Fedak
Aug 10, 2013

For x x a cell, let p ( x ) p(x) be the probability of x x under a given distribution p p and n ( x ) 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 ) p(x) = c n(x) for c = ( x n ( x ) ) 1 c = (\sum_x n(x))^{-1} .

We define q ( x ) = p ( x ) / n ( x ) q(x)=p(x)/n(x) . The first relation, that p p is invariant under uniformly distributed "king's moves," means that the probability of being on x x is the sum over each neighbor y y of x x of p ( y ) / n ( y ) p(y)/n(y) . That is, the probability of starting on y y times the probability of ending up on x x given that you started on y y . In terms of q q , this is q ( x ) = 1 n ( x ) y q ( y ) q(x) = \frac{1}{n(x)}\sum_y q(y) where the sum is over neighbors. So q ( x ) q(x) takes the value of the average of its neighbors.

Consider the largest value that q 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 q must be constant on the entire grid. This determines p 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 x , the probability is the sum, for each neighbor y y , of the probability that we move to y y times the probability we move back. Thus the desired number is x p ( x ) n ( x ) y 1 n ( y ) \sum_x \frac{p(x)}{n(x)} \sum_y \frac{1}{n(y)} , where the inner sum is taken over neighbors. Recalling that q q is constant, we move it out of the sum. For the remaining part, for each cell y y , the term 1 n ( y ) \frac{1}{n(y)} is included once per neighbor of y y , ie, n ( y ) n(y) times. Then this sum is the constant value of q q times 1 for each cell.

We note that q ( x ) = c q(x) = c for all x x . To compute c 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 11 14 11\cdot14 . The number parallel to the short side is 12 13 12\cdot13 . The number of interior vertices is 13 11 13\cdot11 . Counting each the appropriate number of times gives c = ( 11 14 2 + 12 13 2 + 13 11 4 ) 1 c = (11\cdot14\cdot2+12\cdot13\cdot2+13\cdot11\cdot4)^{-1} . Then the desired probability is 12 14 c = 21 149 12\cdot 14\cdot c = \frac{21}{149} , from which we easily obtain 170.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...