Search via Parallel Lévy Walks on ${\mathbb{Z}}^2$

Abstract

Motivated by the Lévy foraging hypothesis -- the premise that various animal species have adapted to follow Lévy walks to optimize their search efficiency -- we study the parallel hitting time of Lévy walks on the infinite two-dimensional grid. We consider $k$ independent discrete-time Lévy walks, with the same exponent $\alpha \in (1,\infty )$, that start from the same node, and analyze the number of steps until the first walk visits a given target at distance $\ell$. We show that for any choice of $k$ and $\ell$ from a large range, there is a unique optimal exponent ${\alpha }_{k,\ell }\in (2,3)$, for which the hitting time is $\tilde{O}({\ell }^2/k)$ w.h.p., while modifying the exponent by an $\epsilon$ term increases the hitting time by a polynomial factor, or the walks fail to hit the target almost surely. Based on that, we propose a surprisingly simple and effective parallel search strategy, for the setting where $k$ and $\ell$ are unknown: the exponent of each Lévy walk is just chosen independently and uniformly at random from the interval $(2,3)$. This strategy achieves optimal search time (modulo polylogarithmic factors) among all possible algorithms (even centralized ones that know $k$). Our results should be contrasted with a line of previous work showing that the exponent $\alpha =2$ is optimal for various search problems. In our setting of $k$ parallel walks, we show that the optimal exponent depends on $k$ and $\ell$, and that randomizing the choice of the exponents works simultaneously for all $k$ and $\ell$.

References in corpus (6)

• Lévy walks
• First-passage and first-hitting times of Levy flights and Levy walks
• Inverse square Lévy walks are not optimal search strategies for $d\ge 2$
• Comment on "Inverse Square Lévy Walks are not Optimal Search Strategies for d $\ge$ 2" [Phys. Rev. Lett. 124, 080601 (2020)]
• The ANTS problem
• Reply to Comment on "Inverse Square Lévy Walks are not Optimal Search Strategies for d \geq 2 "

Cited by in corpus (1)

• Extreme hitting probabilities for diffusion