TY - GEN

T1 - Deterministic random walks on finite graphs

AU - Kijima, Shuji

AU - Koga, Kentaro

AU - Makino, Kazuhisa

N1 - Publisher Copyright:
© Copyright (2012) by SIAM: Society for Industrial and Applied Mathematics. All rights reserved.

PY - 2012

Y1 - 2012

N2 - The rotor-router model, also known as the Propp machine, is a deterministic process analogous to a random walk on a graph. Instead of distributing tokens to randomly chosen neighbors, the Propp machine deterministically serves the neighbors in a fixed order by associating to each vertex a "rotor-router" pointing to one of its neighbors. This paper investigates the discrepancy on a single vertex between the number of tokens in the rotor-router model and the expected number of tokens in a random walk, for finite graphs in general. We show that the discrepancy is bounded by O(mn) at any time for any initial configuration if the corresponding random walk is lazy and reversible, where n and m denote the numbers of nodes and edges, respectively. For a lower bound, we show examples of graphs and initial configurations for which the discrepancy on a single vertex is Ω(m) at any time (> 0). For some special graphs, namely hypercube skeletons and Johnson graphs, we give a polylogarithmic bound, in terms of the number of nodes, for the discrepancy.

AB - The rotor-router model, also known as the Propp machine, is a deterministic process analogous to a random walk on a graph. Instead of distributing tokens to randomly chosen neighbors, the Propp machine deterministically serves the neighbors in a fixed order by associating to each vertex a "rotor-router" pointing to one of its neighbors. This paper investigates the discrepancy on a single vertex between the number of tokens in the rotor-router model and the expected number of tokens in a random walk, for finite graphs in general. We show that the discrepancy is bounded by O(mn) at any time for any initial configuration if the corresponding random walk is lazy and reversible, where n and m denote the numbers of nodes and edges, respectively. For a lower bound, we show examples of graphs and initial configurations for which the discrepancy on a single vertex is Ω(m) at any time (> 0). For some special graphs, namely hypercube skeletons and Johnson graphs, we give a polylogarithmic bound, in terms of the number of nodes, for the discrepancy.

UR - http://www.scopus.com/inward/record.url?scp=84959862618&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84959862618&partnerID=8YFLogxK

U2 - 10.1137/1.9781611973020.3

DO - 10.1137/1.9781611973020.3

M3 - Conference contribution

AN - SCOPUS:84959862618

T3 - 9th Meeting on Analytic Algorithmics and Combinatorics 2012, ANALCO 2012

SP - 16

EP - 25

BT - 9th Meeting on Analytic Algorithmics and Combinatorics 2012, ANALCO 2012

PB - Society for Industrial and Applied Mathematics Publications

T2 - 9th Meeting on Analytic Algorithmics and Combinatorics, ANALCO 2012

Y2 - 16 January 2012

ER -