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.

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

How to Elect a Low-energy Leader.

Exponential Separations in the Energy Complexity of Leader Election.

The Energy Complexity of Las Vegas Leader Election

Energy Efficient Broadcast in Multiradio Multichannel Wireless Networks

Communication and Energy-Constrained Neighbor Selection for Distributed Cooperative Localization

Leader election in multi-hop radio networks

Exploiting Spontaneous Transmissions for Broadcasting and Leader Election in Radio Networks

Delay-optimal Random Access in Large-Scale Energy Harvesting IoT Networks Based on Mean Field Game

Optimal Fairness-Aware Time and Power Allocation in Wireless Powered Communication Networks.

Four Shades of Deterministic Leader Election in Anonymous Networks

On energy-optimal cooperation strategy in cognitive radio networks

Balancing Delay and Energy Efficiency in Energy Harvesting Cognitive Radio Networks: A Stochastic Stackelberg Game Approach

Optimizing Synchronization Delay for Digital Twin over Wireless Networks

Information-Theoretic Study of Time-Domain Energy-Saving Techniques in Radio Access

Robust and Outage-Constrained Energy Efficiency Optimization in RIS-Assisted NOMA Networks

Energy Efficiency Tradeoff in Interference Channels

Sublinear Bounds for Randomized Leader Election

Almost Time-Optimal Loosely-Stabilizing Leader Election on Arbitrary Graphs Without Identifiers in Population Protocols

Energy-Latency Tradeoff for In-Network Function Computation in Random Networks

Optimizing Energy Efficiency for Minimum Latency Broadcast in Low-Duty-Cycle Sensor Networks