Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
ELECTRICAL NETWORK THEORY AND RECURRENCE IN DISCRETE RANDOM WALKS DANIEL STRAUS Abstract. This paper investigates recurrence in one dimensional random walks. After proving recurrence, an alternate approach using electrical network theory is analyzed. Using harmonic functions, the function governing voltage and the function describing the probability in a random walk are proven to be the same. Then, electrical theory is used to prove that the one dimensional random walk is recurrent. Contents 1. Random Walks 2. Recurrence 3. Harmonic Functions 4. Electrical Networks 4.1. Basic Facts 4.2. Electrical Functions 4.3. Eο¬ective Resistance and Recurrence Acknowledgments References 1 2 4 5 5 5 6 7 7 1. Random Walks Deο¬nition 1.1 (Simple Random Walk). A simple random walk is a random walk on the regular π-dimensional lattice with vertices on the integers β€π and edges between adjacent points, i.e. points where only one coordinate diο¬ers by ±1. The probability of moving in each possible direction of travel is equal, so this probability is 1/(2π). Formally, consider the space of all inο¬nite paths beginning at the origin. Fix a path with length π; the probability that an inο¬nite path begins in this manner is [1/(2π)]π . Random walks can take place on non-regular graphs, but for simplicity, this paper is only concerned with simple random walks. Figure 1. A one dimensional lattice. Date: August 25, 2009. 1 2 DANIEL STRAUS Figure 2. A two dimensional lattice. In one dimension, an easy way to visualize the probability of arriving at a point in π steps is Pascalβs triangle. Importantly, the probabilities at any step all sum to 1. Step 0 1 2 3 4 -4 1/16 -3 -2 -1 1/2 1/4 0 1/8 0 3/8 0 4/16 0 Location 0 1 2 1 0 2/4 0 6/16 1/2 0 3/8 0 1/4 0 4/16 3 4 1/8 0 1/16 Table 1. Pascalβs Triangle. 2. Recurrence We begin by introducing the notion of escape probability. Deο¬nition 2.1 (Escape probability). Consider the set π΅π of points on an πdimensional lattice that have at least one coordinate equal to π or βπ. Note that on a three dimensional lattice, this set is a cube of sidelength 2π with its center at (π) the origin. The escape probability ππ is the probability that starting at the origin, the walker reaches π΅π before returning to the origin. Since any path meeting π΅π+1 (π+1) (π) necessarily meets π΅π , ππ β€ ππ . The escape probability ππ is deο¬ned as ππ = lim π(π) π . πββ As (π) ππ is a nonincreasing sequence bounded below by 0, this limit exists. ELECTRICAL NETWORK THEORY AND RECURRENCE IN DISCRETE RANDOM WALKS 3 Lemma 2.2. If a walker visits a vertex π£ inο¬nitely many times with probability 1, then for any other vertex π€, it visits π€ with probability 1. Proof. Starting at π£, there is a non-zero probability 0 < π1 β€ 1 that the walker will pass through π€ before returning to π£. By our assumption, the walker will return to π£ inο¬nitely many times. Accordingly, the probability that the walker will pass through π€ before returning to π£ on the second attempt and not the ο¬rst is π2 = π1 β (1 β π1 ) since 1 β π1 is the probability that the walker will not pass through π€ on the ο¬rst try, and π1 is the probability that on the second try, the walker will pass through π€. Generally, the probability of passing through π€ before returning to π£ on exactly the πth try is ππ = π1 β (1 β π1 )π . Thus the probability of passing through π€ is π= β β π=1 ππ = β β π=1 π1 (1 β π1 )π = π1 β β (1 β π1 )π . π=1 Since 0 < π1 < 1, we have a geometric series multiplied by π1 , which converges to ) ( π1 1 = = 1. π1 1 β (1 β π1 ) π1 Therefore, the walker has probability 1 of visiting π€, as desired. β‘ Lemma 2.3. If the escape probability is 0, then the walker has a probability 1 of returning to the origin. Proof. Since the escape probability is zero, there exists some bounded set of points inside which the walker remains with probability 1. By the pigeonhole principle, there is some point π£ which is visited inο¬nitely many times with probability 1. Therefore, by Lemma 2.2, the walker has probability 1 of returning to the origin. β‘ Deο¬nition-Proposition 2.4 (Recurrence). A simple random walk is recurrent if any of the following equivalent statements holds: (1) a walker has a probability 1 of returning to the origin. (2) a walker has a probability 1 of returning to the origin inο¬nitely many times. (3) a walker has a probability 1 of passing through every point of the lattice at least once. Proof of equivalence. To prove that 1 β 2, we prove that a walker has a probability 0 of returning to the origin exactly π times. We know that a walk returns to the origin with a probability 1. The walk is inο¬nite, so once the walker returns to the origin, it has a probability 1 of returning to the origin again. Accordingly, all walks have a probability 0 of returning to the origin exactly π times. The origin is thus returned to inο¬nitely many times as all walks must return to the origin. To prove that 2 β 3, note that the assumption is that the walker returns to the origin inο¬nitely many times. For any point π€, the walker has a probability 1 of passing through π€ at least once by Lemma 2.2. 3 β 1 is trivial as if the walker must pass through every point of the lattice, it must return to and pass through the origin. β‘ Deο¬nition 2.5 (Transience). A random walk is transient if it is not recurrent. 4 DANIEL STRAUS Theorem 2.6 (Recurrence in one dimension). A one-dimensional simple random walk is recurrent. (π) Proof. We know that ππ is a nonincreasing sequence bounded below by 0. Thus to (π) (π) show that ππ = limπββ ππ is 0, it suο¬ces to show that the sequence ππ becomes arbitrarily small. In a one dimensional random walk, if the walker is at the point π₯, by symmetry he is equally likely to reach the point 2π₯ before returning to the origin as it is to reach the origin before reaching 2π₯. The probability that a walker reaches π₯ from the origin is equal to the probability of reaching the origin from π₯ as the probability of moving left or right at any point is equal. It thus follows that the probability (π) ππ 2 as the walker is half as likely to reach a point 2π away from the origin before returning to the origin as it is to reach a point π away. Since the walker always (1) moves left or right before returning to the origin, ππ = 1, and it follows that (2) (4) (2) ππ = 1/2, ππ = ππ /2 = 1/4, and generally, π 1 ) π(2 = π. π 2 π(2π) = π (π) Therefore, ππ becomes arbitrarily small, so ππ = lim π(π) π = 0. πββ β‘ 3. Harmonic Functions In the remaining sections, we shift focus to analyzing random walks through the framework of electric networks. Deο¬nition 3.1 (Harmonic function). A harmonic function is a function that satisο¬es the property that the value at a non-boundary point is equal to the average of the adjacent points. Example 3.2 (One-dimensional harmonic function). Let π = {0, 1, . . . , π}. Let πΌ = {1, 2, . . . , π β 1}, which is the set of interior points of π. Let π΅ = {0, π}, which is the set of boundary points of π. A function β : π β β is harmonic if for all π₯ β πΌ, β(π₯ + 1) + β(π₯ β 1) . β(π₯) = 2 A few important properties of harmonic functions must now be proven. Lemma 3.3 (Maximum Principle). A one dimensional harmonic function β achieves its maximum value π and its minimum value π on π΅. Proof. Let π = max {β(π₯) β£ π₯ β π}. To avoid triviality, assume π₯ β / π΅. Since β is harmonic, β(π₯ + 1) = β(π₯ β 1) = π . If π₯ β 1 β πΌ, then the same argument proves that that β(π₯ β 2) = β(π₯ β 1) = π . This process continues until a boundary point is reached, when β(0) = π . The proof is similar to show that the minimum is achieved on the boundary. β‘ Theorem 3.4 (Uniqueness Principle). If π and β are one dimensional harmonic functions such that for all π₯ β π΅, π(π₯) = β(π₯), then π = β. ELECTRICAL NETWORK THEORY AND RECURRENCE IN DISCRETE RANDOM WALKS 5 Proof. Let π = π β β. If π₯ β πΌ, π (π₯ + 1) + π (π₯ β 1) π(π₯ + 1) + π(π₯ β 1) β(π₯ + 1) + β(π₯ β 1) = β . 2 2 2 Accordingly, π is harmonic. If π₯ β π΅, then π (π₯) = 0, which by the Maximum Principle means that the maximum and minimum values of π are 0. Thus, π = 0 for all π₯ β π, so π = β. β‘ Theorem 3.5. The function modeling a simple random walk in one dimension is harmonic. Proof. Deο¬ne π = {0, 1, . . . , π}, πΌ = {1, 2, . . . , π β 1}, and π΅ = {0, π}. In a simple, one dimensional random walk on the integers, let π : π β β be deο¬ned by letting π(π₯) be the probability that that the walker, starting at a given point π₯, gets to π before 0. Note that π(π) = 1 and π(0) = 0 by deο¬nition. There is a 1/2 chance of moving to the left and a 1/2 chance of moving to the right by 1 at any point π₯ β πΌ. If the walker moves to the left, then the new probability of reaching π before 0 is π(π₯ β 1), and if the walker moves to the right, this probability is π(π₯ + 1). We thus have the relation that π(π₯ β 1) + π(π₯ + 1) . π(π₯) = (1/2)π(π₯ β 1) + (1/2)π(π₯ + 1) = 2 Therefore, π(π₯) is harmonic. β‘ 4. Electrical Networks 4.1. Basic Facts. The following facts of physics will not be proven in this paper [1]. If you are already familiar with basic circuits, feel free to skip this section. Fact 4.1.1 (Kirchoο¬βs Loop Laws). (1) Let π₯ be a point on a circuit. The current ο¬owing into π₯ is equal to the current ο¬owing out of π₯. (2) In any closed circuit, the sum of the potential diο¬erences is zero. Fact 4.1.2 (Ohmβs Law). The potential diο¬erence π£ across a resistor is equal to the product of the current π and the resistance π . In other words, π£ = ππ . Additionally, one fact about resistors is necessary. Fact 4.1.3. When adding resistors in series (one after another), π π‘ππ‘ππ = π β π π . π=1 4.2. Electrical Functions. First, we must describe the circuit. Take a simple, one-dimensional graph with π vertices {0, 1, . . . , π}. Put a resistor between every pair of adjacent vertices (π, π + 1) with all resistors having equal resistance. Apply a 1 volt potential diο¬erence to the circuit. Note that the current travels such that it hits the vertex π ο¬rst and the vertex 0 last. Ground the vertex π₯ = 0 such that π£(0) = 0. Therefore, π£(π) = 1. Lemma 4.2.1. The voltage across a simple one-dimensional circuit (resistors connected in series) is a harmonic function. 6 DANIEL STRAUS Proof. By Ohmβs Law, between points π and π on a circuit that are connected by a resistance π , the current is ππ,π = π£(π) β π£(π) . π By Kirchoο¬βs Loop Law, if π₯ β= 0, π, π£(π₯ + 1) β π£(π₯) π£(π₯) β π£(π₯ β 1) β = 0. π π Multiplying by π , we have π£(π₯ + 1) β π£(π₯) β π£(π₯) β π£(π₯ β 1) = 0 as well. Solving for π£(π₯) yields π£(π₯) = π£(π₯ + 1) + π£(π₯ β 1) . 2 Therefore, π£ is harmonic. β‘ Theorem 4.2.2. The simple random walk and the voltage across this circuit are the same; that is, the function π from Section 2 is equal to the function π£. Proof. Both π£ and π are harmonic. Since π(0) = π£(0) = 0 and π(π) = π£(π) = 1, their boundary values are equal. Therefore, by the Uniqueness Principle, π£ = π. β‘ 4.3. Eο¬ective Resistance and Recurrence. If there is a voltage between points π₯ and π¦ such that the voltage π£π₯ = π£ and π£π¦ = 0, then by Ohmβs Law, a current will ο¬ow into π₯. Let β ππ₯ = ππ , π which is the sum of the current ο¬owing from π₯ to the points connected to π₯. Deο¬nition 4.3.1 (Eο¬ective Resistance). By Ohmβs Law, the eο¬ective resistance π π between π₯ and π¦ in the circuit is π£π₯ π π = . ππ₯ An important fact to note about eο¬ective resistance is that the actual voltage applied does not aο¬ect the eο¬ective resistance. We now consider a one dimensional random walk and sketch a proof of recurrence using the language of electrical networks. Since this is an electrical network, positive charges ο¬ow from the positive terminal of the voltage supply to the negative terminal. First, we explain how current can be interpreted in a probabilistic manner. Consider a circuit where the point π is at the positive terminal of a 1 volt voltage source and π is at the negative terminal. Between π₯ and π¦ where π₯ and π¦ are points on the circuit between π and π, the current between π₯ and π¦ is equal to the the expected number of times a walker who starts at π will pass along the part of the circuit between π₯ and π¦ before reaching π. We can now get to the proof. Consider a ο¬nite one dimensional lattice consisting of the integer vertices from βπ to π such that between adjacent vertices, there is a one Ohm resistor. Connect both sides of the lattice to the negative terminal of the ELECTRICAL NETWORK THEORY AND RECURRENCE IN DISCRETE RANDOM WALKS 7 voltage source, which applies a one volt potential diο¬erence. Since these resistors are all in series, the eο¬ective resistance from 0 to π is π β π π = π π=1 where π π = 1 for all π. Also, note that for the circuit as a whole, π£ = ππ π β π = π£/π π . Thus, as π β β, π π β β. Accordingly, π£ = 0, lim πββ π π indicating that the current in the system goes to zero. Accordingly, there is no current ο¬owing through the system. As discussed above, the lack of current indicates that the probability a walker can go inο¬nitely far away from the origin before returning is zero, and thus the random walk is recurrent. Acknowledgments I would like to thank Tom Church, my mentor, for all of his help with this paper. Without him, this project would not have been possible. References [1] J. D. Cutnell and K. W. Johnson. Physics. John Wiley & Sons. 2003 [2] P. G. Doyle and J. L. Snell. Random Walks and Electric Networks. Mathematical Association of America. 1984.