The range of a rotor walk
Laura Florescu, Lionel Levine, Yuval Peres

TL;DR
This paper investigates the behavior of rotor walks on various graphs, establishing lower bounds on visited sites, a shape theorem for the comb graph, and recurrence properties on certain directed lattices.
Contribution
It provides new bounds on the range of rotor walks, proves a shape theorem for the comb graph, and demonstrates recurrence on specific directed lattices.
Findings
Rotor walk visits at least on the order of t^{d/(d+1)} sites on Eulerian graphs.
Range on the comb graph is of order t^{2/3} with a diamond shape.
Rotor walk is recurrent on certain directed lattices.
Abstract
In a \emph{rotor walk} the exits from each vertex follow a prescribed periodic sequence. On an infinite Eulerian graph embedded periodically in , we show that any simple rotor walk, regardless of rotor mechanism or initial rotor configuration, visits at least on the order of distinct sites in steps. We prove a shape theorem for the rotor walk on the comb graph with i.i.d.\ uniform initial rotors, showing that the range is of order and the asymptotic shape of the range is a diamond. Using a connection to the mirror model and critical percolation, we show that rotor walk with i.i.d.\ uniform initial rotors is recurrent on two different directed graphs obtained by orienting the edges of the square grid, the Manhattan lattice and the -lattice. We end with a short discussion of the time it takes for rotor walk to cover a finite Eulerian graph.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
