PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
244 <strong>Geoffrey</strong> Grimmett<br />
Fig. 10.7. The solid line in each picture is the edge e = 〈u, v〉, and the central vertex<br />
is u. If all three of the other edges of L2 A incident with the vertex u are closed in L2 A ,<br />
then there are eight possibilities for the corresponding edges of L2 B . The dashed lines<br />
indicate open edges of L2 B , and the crosses mark rw points of L2 . In every picture,<br />
light incident with one side of the mirror at e will illuminate the other side also.<br />
Let Cx be the set of rw points reachable by light originating at the rw<br />
point x. The set Cx may be generated in the following way. We allow light<br />
to leave x along the four axial directions. When a light ray hits a crossing or<br />
a mirror, it follows the associated rule; when a ray hits a rw point, it causes<br />
light to depart the point along each of the other three axial directions. Now<br />
Cx is the set of rw points thus reached. Following this physical picture, let<br />
F be the set of ‘frontier mirrors’, i.e., the set of mirrors only one side of<br />
which is illuminated. Assume that F is non-empty, say F contains a mirror<br />
at some point (m, n). Now this mirror must correspond to an open edge e<br />
in either L2 A and L2B (see Figure 10.6 again), and we may assume without<br />
loss of generality that this open edge e is in L2 A . We write e = 〈u, v〉 where<br />
u, v ∈ A, and we assume that v = u + (1, 1); an exactly similar argument<br />
holds otherwise. There are exactly three other edges of L2 A which are incident<br />
to u (resp. v), and we claim that one of these is open. To see this, argue as<br />
follows. If none is open, then<br />
u + (−1 1<br />
2 , 2 ) either is a rw point or has a NE mirror,<br />
u + (−1 2 , −1<br />
2 ) either is a rw point or has a NW mirror,<br />
u + ( 1<br />
2 , −1<br />
2 ) either is a rw point or has a NE mirror.<br />
See Figure 10.7 for a diagram of the eight possible combinations. By inspection,<br />
each such combination contradicts the fact that e = 〈u, v〉 corresponds<br />
to a frontier mirror.<br />
Therefore, u is incident to some other open edge f of L2 A , other than e.<br />
By a further consideration of each of 23 −1 possibilities, we may deduce that<br />
there exists such an edge f lying in F. Iterating the argument, we find that e<br />
lies in either an open circuit or an infinite open path of F lying in L2 A . Since