Abstract:We consider the time and energy complexities of randomized leader election in a multiple-access channel, where the number of devices $n\geq 2$ is unknown. It is well-known that for polynomial-time randomized leader election algorithms with success probability $1-1/poly(n)$, the optimal energy complexity is $\Theta(\log\log^*n)$ if receivers can detect collisions, and $\Theta(\log^*n)$ otherwise. Without collision detection, all existing randomized leader election algorithms using $o(\log\log n)$ energy are Monte Carlo in that they may fail with some small probability, and they may consume unbounded energy and never halt when they fail. Though the optimal energy complexity of leader election appears to be settled, it is still an open question to attain the optimal $O(\log^*n)$ energy complexity by an efficient Las Vegas algorithm that never fails. In this paper we address this fundamental question. $\textbf{Separation between Monte Carlo and Las Vegas:}$ Without collision detection, we prove that any Las Vegas leader election algorithm with finite expected time complexity must use $\Omega(\log\log n)$ energy, establishing a large separation between Monte Carlo and Las Vegas algorithms. $\textbf{Exponential improvement with sender collision detection:}$ In the setting where senders can detect collisions, we design a new leader election algorithm that finishes in $O(\log^{1+\epsilon}n)$ time and uses $O(\epsilon^{-1}\log\log\log n)$ energy in expectation, showing that sender collision detection helps improve the energy complexity exponentially. $\textbf{Optimal deterministic leader election algorithm:}$ As a side result, via derandomization, we show a new deterministic algorithm that takes $O(n\log(N/n))$ time and $O(\log(N/n))$ energy to elect a leader from $n$ devices, where each device has a unique identifier in $[N]$. This algorithm is time-optimal and energy-optimal.

Leader election in multi-hop radio networks

Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks

Efficient Distributed Multiple-Message Broadcasting in Unstructured Wireless Networks

An O(log n) Distributed Approximation Algorithm for Local Broadcasting in Unstructured Wireless Networks

Distributed Multiple-Message Broadcast in Wireless Ad-Hoc Networks under the SINR Model

Efficient Information Exchange In Single-Hop Multi-Channel Radio Networks

Randomized broadcast in radio networks with collision detection

Near-Optimal Time-Energy Trade-Offs for Deterministic Leader Election

Sublinear Bounds for Randomized Leader Election

Energy Efficient Broadcast in Multiradio Multichannel Wireless Networks

Optimal Distributed Leader Election Without Decoding

How to Elect a Low-energy Leader.

Distributed Local Broadcasting Algorithms in the Physical Interference Model.

Dynamic contention resolution in multiple-access channels

Two-Timescale Radio Resource Management for Heterogeneous Networks with Flexible Backhaul

Exponential Separations in the Energy Complexity of Leader Election.

The Energy Complexity of Las Vegas Leader Election

On the Power of Randomization for Scheduling Real-Time Traffic in Wireless Networks

Message and time efficient multi-broadcast schemes

Randomized Time- and Energy-Optimal Routing in Single-Hop, Single-Channel Radio Networks.

Improved lower bound for deterministic broadcasting in radio networks