Tight Bounds for the Cover Times of Random Walks with Heterogeneous Step Lengths

Search patterns of randomly oriented steps of different lengths have been observed on all scales of the biological world, ranging from the microscopic to the ecological, including in protein motors, bacteria, T-cells, honeybees, marine predators, and more. Through different models, it has been demonstrated that adopting a variety in the magnitude of the step lengths can greatly improve the search efficiency. However, the precise connection between the search efficiency and the number of step lengths in the repertoire of the searcher has not been identified. Motivated by biological examples in one-dimensional terrains, a recent paper studied the best cover time on an n-node cycle that can be achieved by a random walk process that uses k step lengths. By tuning the lengths and corresponding probabilities the authors therein showed that the best cover time is roughly n 1+$\Theta$(1/k). While this bound is useful for large values of k, it is hardly informative for small k values, which are of interest in biology. In this paper, we provide a tight bound for the cover time of such a walk, for every integer k > 1. Specifically, up to lower order polylogarithmic factors, the upper bound on the cover time is a polynomial in n of exponent 1+ 1/(2k--1). For k = 2, 3, 4 and 5 the exponent is thus 4/3 , 6/5 , 8/7 , and 10/9 , respectively. Informally, our result implies that, as long as the number of step lengths k is not too large, incorporating an additional step length to the repertoire of the process enables to improve the cover time by a polynomial factor, but the extent of the improvement gradually decreases with k.

[1]  M. Levandowsky,et al.  Chemosensory Responses of Acanthamoeba castellanii: Visual Analysis of Random Movement and Responses to Chemical Signals , 1996, The Journal of eukaryotic microbiology.

[2]  Andrea J. Liu,et al.  Generalized Lévy walks and the role of chemokines in migration of effector CD8+ T cells , 2012, Nature.

[3]  Amos Korman,et al.  Random Walks with Multiple Step Lengths , 2018, LATIN.

[4]  M. Chupeau,et al.  Cover times of random searches , 2015, Nature Physics.

[5]  S. Majumdar,et al.  Precise asymptotics for a random walker’s maximum , 2005, cond-mat/0506195.

[6]  A. Reynolds,et al.  The Weierstrassian movement patterns of snails , 2017, Royal Society Open Science.

[7]  Amos Korman,et al.  Correction: Limits on reliable information flows through stochastic populations , 2018, PLoS Comput. Biol..

[8]  Katja Lindenberg,et al.  Intermittent random walks for an optimal search strategy: one-dimensional case , 2007 .

[9]  Sergei Petrovskii,et al.  Comment on : “ Lévy walks evolve through interaction between movement and environmental complexity ” , 2011 .

[10]  P. A. Prince,et al.  Lévy flight search patterns of wandering albatrosses , 1996, Nature.

[11]  Michael J. Plank,et al.  Differentiating the Lévy walk from a composite correlated random walk , 2014, 1406.4355.

[12]  F. Marlowe,et al.  Evidence of Lévy walk foraging patterns in human hunter–gatherers , 2013, Proceedings of the National Academy of Sciences.

[13]  M. Moreau,et al.  Intermittent search strategies , 2011, 1104.0639.

[14]  Nicolas E. Humphries,et al.  Environmental context explains Lévy and Brownian movement patterns of marine predators , 2010, Nature.

[15]  Thomas Sauerwald,et al.  On Coalescence Time in Graphs: When Is Coalescing as Fast as Meeting? , 2016, SODA.

[16]  Gregory F. Lawler,et al.  Random Walk: A Modern Introduction , 2010 .

[17]  Amos Korman,et al.  The ANTS problem , 2016, Distributed Computing.

[18]  E W Montroll,et al.  Random walks with self-similar clusters. , 1981, Proceedings of the National Academy of Sciences of the United States of America.

[19]  M. Naguib,et al.  Experimental evidence for inherent Lévy search behaviour in foraging animals , 2015, Proceedings of the Royal Society B: Biological Sciences.

[20]  Thomas T. Hills,et al.  Exploration versus exploitation in space, mind, and society , 2015, Trends in Cognitive Sciences.

[21]  V. Climenhaga Markov chains and mixing times , 2013 .

[22]  Eli Upfal,et al.  Probability and Computing: Randomized Algorithms and Probabilistic Analysis , 2005 .

[23]  Ralf Metzler,et al.  Lévy strategies in intermittent search processes are advantageous , 2008, Proceedings of the National Academy of Sciences.

[24]  P. V. von Hippel,et al.  Diffusion-driven mechanisms of protein translocation on nucleic acids. 1. Models and theory. , 1981, Biochemistry.

[25]  Germinal Cocho,et al.  Scale-free foraging by primates emerges from their interaction with a complex environment , 2006, Proceedings of the Royal Society B: Biological Sciences.

[26]  Andy M. Reynolds,et al.  Mussels realize Weierstrassian Lévy walks as composite correlated random walks , 2014, Scientific Reports.

[27]  Nancy A. Lynch,et al.  Ant-Inspired Density Estimation via Random Walks: Extended Abstract , 2016, PODC.

[28]  Nicolas E. Humphries,et al.  Scaling laws of marine predator search behaviour , 2008, Nature.

[29]  F. Weissing,et al.  Lévy Walks Evolve Through Interaction Between Movement and Environmental Complexity , 2011, Science.

[30]  H. Stanley,et al.  Optimizing the success of random searches , 1999, Nature.

[31]  O. Bénichou,et al.  Kinetics of target site localization of a protein on DNA: a stochastic approach. , 2004, Biophysical journal.

[32]  Bernard Chazelle,et al.  Natural algorithms , 2009, SODA.

[33]  P. V. von Hippel,et al.  Diffusion-driven mechanisms of protein translocation on nucleic acids. 2. The Escherichia coli repressor--operator interaction: equilibrium measurements. , 1981, Biochemistry.

[34]  David J. Aldous,et al.  Lower bounds for covering times for reversible Markov chains and random walks on graphs , 1989 .

[35]  Amos Korman,et al.  Theoretical Distributed Computing Meets Biology: A Review , 2013, ICDCIT.

[36]  G. Pyke Understanding movements of organisms: it's time to abandon the Lévy foraging hypothesis , 2015 .

[37]  Injong Rhee,et al.  On the levy-walk nature of human mobility , 2011, TNET.

[38]  Bernard Chazelle,et al.  The Convergence of Bird Flocking , 2009, JACM.

[39]  S. Benhamou,et al.  Ultimate failure of the Lévy Foraging Hypothesis: Two-scale searching strategies outperform scale-free ones even when prey are scarce and cryptic. , 2015, Journal of theoretical biology.

[40]  Amos Korman,et al.  Limits for Rumor Spreading in stochastic populations , 2017, ITCS.