Scheduling of non-colliding random walks

From MaRDI portal



Abstract: On the complete graph calKM with Mge3 vertices consider two independent discrete time random walks mathbbX and mathbbY, choosing their steps uniformly at random. A pair of trajectories mathbbX=X1,X2,dots and mathbbY=Y1,Y2,dots is called {it{non-colliding}}, if by delaying their jump times one can keep both walks at distinct vertices forever. It was conjectured by P. Winkler that for large enough M the set of pairs of non-colliding trajectories mathbbX,mathbbY has positive measure. N. Alon translated this problem to the language of coordinate percolation, a class of dependent percolation models, which in most situations is not tractable by methods of Bernoulli percolation. In this representation Winkler's conjecture is equivalent to the existence of an infinite open cluster for large enough M. In this paper we establish the conjecture.











This page was built for publication: Scheduling of non-colliding random walks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3297346)