Let . For every node
in the lattice
, fix a cyclic ordering of the neighbors of
. E.g., for
, we can use the ordering NESW. The rotor walk is obtained by fixing an initial configuration of arrows pointing from each vertex of the lattice to one of its neighbors. We start a particle at the origin, and each time it reaches a vertex
, we first move the arrow from the current position to the next one according to the prescribed ordering, and then move the particle according to the arrow.
For a uniformly random initial configuration of the arrows, will the particle be recurrent (i.e., will it return to its starting point infinitely often almost surely) or not?
It is natural to conjecture recurrence for and transience for
.
Another quantity of interest is the Range of the walk, i.e., the number of nodes visited by time
. In [1] a Heuristic argument was presented that
should be typically of order
in two dimensions. A lower bound of this order was proved in [2] for all initial configurations, but no upper bound of the form
(for the random initial configuration) is known. Indeed, such a bound would imply recurrence. In dimension
, it is expected that
is of order
.
For results on other lattices, see [2] and [3].
REFERENCES