【OFDM】Proposed

An Access point aims to compute the function values of distributed data from a sensors set k ∈ K = { 0 , ⋯   , K − 1 } k\in\mathcal{K} = \{0,\cdots,K-1\} k∈K={0,⋯,K−1} over an uplink MIMO-OFDM system. Each sensor $N_t$ antennas data transmission $N_r$ antennas radar sensing with subcarrier m ∈ M = { 0 , ⋯   , M − 1 } m\in\mathcal{M} = \{0,\cdots,M-1\} m∈M={0,⋯,M−1}. Access point is with $N_p$ for receiving signals of sensors. Each OFDM symbol consists of $M$ data samples and $P$ samples for the cyclic prefix (CP).

• ${\mathbf{s}}_{k,m}\in {\mathbb{C}}^{L\times 1}$：data to be transmitted by sensor $k\in \mathcal{K}$ at subcarrier $m\in \mathcal{M}$. $L$ denotes the number of functions to be calculated via AirComp.
• The $k$-th transmit beamformer${\mathbf{W}}_k\in {\mathbb{C}}^{M{N}_{\mathrm{t}}\times L}$

The transmit symbol data ${\mathbf{s}}_k$ is first precoded by ${\mathbf{W}}_k$ in the frequency domain and then converted to the time domain by IDFT operation before subcarrier modulations.

• The precoded symbol ${\mathbf{x}}_k={\mathbf{W}}_k{\mathbf{s}}_k\in {\mathbb{C}}^{M{N}_{\mathrm{t}}\times 1}$