03.12.2012 Views

PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT

PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT

PERCOLATION AND DISORDERED SYSTEMS Geoffrey GRIMMETT

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!