TY - JOUR

T1 - Coalescing random walks and voting on connected graphs

AU - Cooper, Colin

AU - Elsässer, Robert

AU - Ono, Hirotaka

AU - Radzik, Tomasz

N1 - Copyright:
Copyright 2014 Elsevier B.V., All rights reserved.

PY - 2013

Y1 - 2013

N2 - In a coalescing random walk, a set of particles make independent discrete-time random walks on a graph. Whenever one or more particles meet at a vertex, they unite to form a single particle, which then continues a random walk through the graph. Let G = (V,E) be an undirected and connected graph with n vertices and m edges. The coalescence time, C(n), is the expected time for all particles to coalesce, when initially one particle is located at each vertex. We study the problem of bounding the coalescence time for general connected graphs and prove that C(n) = O(1/ 1-λ2 (log4 n+n/v)). Here λ is the second eigenvalue of the transition matrix of the random walk. To avoid problems arising from, e.g., lack of coalescence on bipartite graphs, we assume the random walk can be made lazy if required. The value of v is given by v = ΣvandV d2(v)/(d2n), where d(v) is the degree of vertex v, and d = 2m/n is the average degree. The parameter ? is an indicator of the variability of vertex degrees: 1 = ≤ = O(n), with v = 1 for regular graphs. Our general bound on C(n) holds for all connected graphs. This implies, for example, that C(n) = O(n/(1 - λ)) for d-regular graphs with expansion parameterized by the eigenvalue gap 1 - λ. The bound on C(n) given above is sublinear for some classes of graphs with skewed degree distributions. In the voter model, initially each vertex has a distinct opinion, and at each step each vertex changes its opinion to that of a random neighbor. Let E(Cv) be the expected time for voting to complete, that is, for a unique opinion to emerge. A system of coalescing particles, where initially one particle is located at each vertex, corresponds to the voter model in that E(Cv) = C(n). Thus our result stated above for C(n) also gives general bounds for E(Cv).

AB - In a coalescing random walk, a set of particles make independent discrete-time random walks on a graph. Whenever one or more particles meet at a vertex, they unite to form a single particle, which then continues a random walk through the graph. Let G = (V,E) be an undirected and connected graph with n vertices and m edges. The coalescence time, C(n), is the expected time for all particles to coalesce, when initially one particle is located at each vertex. We study the problem of bounding the coalescence time for general connected graphs and prove that C(n) = O(1/ 1-λ2 (log4 n+n/v)). Here λ is the second eigenvalue of the transition matrix of the random walk. To avoid problems arising from, e.g., lack of coalescence on bipartite graphs, we assume the random walk can be made lazy if required. The value of v is given by v = ΣvandV d2(v)/(d2n), where d(v) is the degree of vertex v, and d = 2m/n is the average degree. The parameter ? is an indicator of the variability of vertex degrees: 1 = ≤ = O(n), with v = 1 for regular graphs. Our general bound on C(n) holds for all connected graphs. This implies, for example, that C(n) = O(n/(1 - λ)) for d-regular graphs with expansion parameterized by the eigenvalue gap 1 - λ. The bound on C(n) given above is sublinear for some classes of graphs with skewed degree distributions. In the voter model, initially each vertex has a distinct opinion, and at each step each vertex changes its opinion to that of a random neighbor. Let E(Cv) be the expected time for voting to complete, that is, for a unique opinion to emerge. A system of coalescing particles, where initially one particle is located at each vertex, corresponds to the voter model in that E(Cv) = C(n). Thus our result stated above for C(n) also gives general bounds for E(Cv).

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

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

U2 - 10.1137/120900368

DO - 10.1137/120900368

M3 - Article

AN - SCOPUS:84891292678

VL - 27

SP - 1748

EP - 1758

JO - SIAM Journal on Discrete Mathematics

JF - SIAM Journal on Discrete Mathematics

SN - 0895-4801

IS - 4

ER -