March 28th, 2010, 4:41 pm
QuoteOriginally posted by: wileyswrepoman, since you dug this out, here is what i had in mind about the polyhedron case.dont quite remember where i first learned about this: there is an interesting connection between random walk problems and resistance networks. one solution for your Q3 is to link each pair of vertices with a 1-ohm resistor, then apply some voltage between point A and B. the fraction of the current going through the resistor on side AB with respect to the total current going outside B is the answer.say B is grounded and voltage at A is V, then the rest vertices all have same voltage of V/2 by symmetry of the simplex, i.e., no current going through the side between any pair of vertices not including A and B. so it's simply 1 ohm and (n-1) resistors of 2 ohm in parallel (note in n-dimension, total of n+1 vertices). the current proportion is thus 1 : (n-1)/2, or the prob of 2/(n+1)That's very interesting. I had noticed the connection between such circuits and 2-dimensional random walks ... apparently it wasn't an original thought If you find some reference please post it.For now, I will solve Q3 (which includes Q1) using standard results on Markov chains:We have two nodes A and B on an n-dimensional simplex. (Recall that the simplex generalizes a triangle to n-dimensions: There are n+1 vertices, and every pair of vertices has an edge between them. Hence n+1 choose 2 edges.)We want the probability that a random ant starting from A arrives at B for the first time traveling along the edge from A to B. This corresponds to the Markov chain obtained by "breaking open" the simplex at the point B and making each of the terminal nodes an absorbing state.Therefore, the Markov chain is described by the transition graph which is an (n-1)-simplex S with each of its n vertices also attached to a single absorbing node, where each node v in S has 0 probability of staying at v and an equal probability, 1/n, of moving to any one of the n attached nodes. The idea is simple, and the picture of the case n=3 is below, with the absorption nodes in red and the other nodes (i.e. S) in green. The absorption nodes B, B' and B'' correspond to the ant arriving at B the first time directly from A, C and D, respectively:Back to the general case, the Markov chain has 2n states which we enumerate (for notational convenience) as 1,...,n,n+1,...,2n, where the last n states are absorbing and thus 1,...,n are transient (eventually the Markov chain does not return to a transient state).The enumeration is also made so that transition probabilities p(i,j) are, for all i=1,...,np(i,j)=0 if j=ip(i,j)=1/n if j != i and j=1,...,np(i,j)=1/n if j=i+np(i,j)=0 otherwise.In other words, state i+n is the absorption node attached to node i. We also assume that the Markov chains begins in state 1 (ant at node A).Our chain is absorbing, meaning it has at least one absorption state and every state communicates with some absorption state. For a finite Markov chain, this is equivalent to every state being either transient or absorbing. We can apply the following basic result.Theorem. Suppose an absorbing time-homogeneous Markov chain has states {1,...,n}, and that i is an absorbing state. Let x_j be the probability of reaching state i starting from state j. Then the x_j's are the unique solution to the linear system of equations(1) x_i = 1.(2) x_j = 0 for every absorbing state j != i.(3) x_k = x_1 p(k,1) + x_2 p(k,2) + ... + x_n p(k,n) for every transient state k. Applying the theorem to our Markov chain, state n+1 corresponds to the ant arriving at node B from A, and we get(1) x_(n+1) = 1.(2) x_j = 0 for all j=n+2,...,2n.(3a) x_1 = 1/n * (x_2 + x_3 + ... + x_n + 1),(3b) x_i = 1/n * (x_1 + ... + x_(i-1) + x_(i+1) + ... + x_n) for all i=2,3,...,n.Using the fact that by symmetry, x_2=x_3=...=x_n, this is easily sovled as:x_1 = 2 / (n+1)x_i = 1 / (n+1) for all i=2,...,n.For an ant on a triangle (i.e. n=2 dimensional simplex), the probability of arriving at B traveling from A is 2 / 3. For an ant on a tetrahedron the probability is 1/2. For an ant on an n-simplex the answer is 2/(n+1). Looking at this again, it is not hard to get the system of linear equations without the Markov chain theorem. Considering the simple form of the answer, maybe there is an even easier method or some general result?