I. Introduction
In the near future, tens of billions of Internet-of-things (IoT) devices (e.g., sensors and actuators) are expected to be deployed to automate the operations of our societies and make the ambient environment smart. Among others, there exist two design challenges for IoT. The first is fast wireless data aggregation (WDA), namely fast collection and processing of data distributed at dense IoT devices by wireless transmission. WDA is an enabling operation for a series of IoT applications such as fusion of sensing values in environmental monitoring [1], aggregation of mobile updates in federated machine learning [2], and distributed consensus in fleet driving [3]. Fast WDA is needed to regulate latency in cases with ultra-dense devices and/or high mobility (e.g., for sensors carried by drones or vehicles). A promising solution is over-the-air (function) computation (AirComp), which realizes fast WDA by simultaneous transmissions and exploiting analog-wave addition in a multi-access channel [22]. The other challenge for IoT is powering dense energy-constrained sensors for WDA and other operations. One attractive solution is wireless power transfer (WPT) using microwaves, whose feasibility has been proved in practical sensor networks [4].