It is conjectured that in the Lorentz mirror model on $\Z^2$ all trajectories are finite. Quas showed that, almost surely, the two halves of any infinite trajectory, cut at an edge, meet at infinitely many vertices, each of which is pivotal: changing its state can make the trajectory finite. We construct plane graphs on which infinite trajectories exist, and all of them have this property. Given $p\in(0,1)$, we replace each edge of a random one-ended subtree of $\Z^2$ by a number of parallel edges, depending on $p$, that is at most logarithmic in the height of the corresponding descendant tree. The medial graph of the resulting plane multigraph is a factor of the tree, and for the uniform spanning tree it has finite vertex intensity. In the mirror model on this medial graph, with probability $p$ for mirrors along primal edges and any probability $r\in(0,1-p]$ for mirrors along dual edges, infinite trajectories exist, and the two halves of each of them meet infinitely often. The construction rests on Bernoulli percolation: every random one-ended locally finite tree can be decorated in this way such that bond percolation with parameter $p$ is critical and percolates, and every vertex of the infinite cluster has infinitely many pivotal edges. We characterize this property for bond and site percolation and for mirrors.
🌊
