Distributed MIMO Networks with Rotary ULAs for Indoor Scenarios under Rician Fading

Abstract

The Fifth-Generation (5G) wireless communications networks introduced native support for Machine-Type Communications (MTC) use cases. Nevertheless, current 5G networks cannot fully meet the very stringent requirements regarding latency, reliability, and number of connected devices of most MTC use cases. Industry and academia have been working on the evolution from 5G to Sixth Generation (6G) networks. One of the main novelties is adopting Distributed Multiple-Input Multiple-Output (D-MIMO) networks. However, most works studying D-MIMO consider antenna arrays with no movement capabilities, even though some recent works have shown that this could bring substantial performance improvements. In this work, we propose the utilization of Access Points (APs) equipped with Rotary Uniform Linear Arrays (RULAs) for this purpose. Considering a spatially correlated Rician fading model, the optimal angular position of the RULAs is jointly computed by the central processing unit using particle swarm optimization as a function of the position of the active devices. Considering the impact of imperfect positioning estimates, our numerical results show that the RULAs’s optimal rotation brings substantial performance gains in terms of mean per-user spectral efficiency. The improvement grows with the strength of the line-of-sight components of the channel vectors. Given the total number of antenna elements, we study the trade-off between the number of APs and the number of antenna elements per AP, revealing an optimal number of APs for the cases of APs equipped with static ULAs and RULAs.

I Introduction

The Fifth Generation (5G) of wireless communication networks is currently under deployment and in advanced phases of standardization worldwide. Besides offering enhanced coverage capabilities and data rates for human-type communication applications such as mobile broadband internet connectivity, which corresponds to a natural evolution of previous generations, 5G also offers services for a variety of Machine-Type Communication (MTC) applications [1]. 5G MTC use cases are traditionally split into two broad categories: massive MTC (mMTC) and Ultra-Reliable Low Latency Communications (URLLC), also known as critical MTC (cMTC). The former aims to provide wireless connectivity to a massive number of low-power and low-complexity devices in applications with moderate data rates, latency, and reliability requirements. The latter category comprises applications with very stringent requirements in terms of latency and reliability. For instance, in an industrial setting, mMTC would correspond to sensors and actuators monitoring and controlling non-critical processes. In contrast, cMTC connectivity would enable critical control and safety systems to operate wirelessly [2].

The requirements of the different mMTC and cMTC use cases are foreseen to become even more stringent in future Sixth Generation (6G) networks. Thus, academia and industry have joined efforts in enhancing current technologies and develo** new ones [3]. One of the novelties that have mostly attracted the attention of academia and industry is Distributed Multiple-Input Multiple Output (D-MIMO), often referred to as Cell-Free massive MIMO [4, 5, 6]. Instead of having a single base station equipped with several antenna elements serving a coverage area, the antenna elements are distributed among multiple Access Points (APs) over the coverage area. The APs are connected to a common Central Processing Unit (CPU) through fronthaul links. Such an approach provides a more uniform wireless coverage, enhancing network performance.

The vast majority of works investigating the performance of D-MIMO networks consider fixed antenna arrays, i.e., antenna arrays with no movement capabilities. Nevertheless, the idea of antenna arrays that can move has gained attention among the research community since some recent works have shown that antenna movements can substantially improve the quality of wireless links [7, 8, 9, 10, 11, 12, 13], as discussed in the following subsection.

I-A Related Works

The utilization of antenna arrays with movement capabilities is not new. For instance, the authors in [14] proposed a Direction of Arrival (DOA) estimation method that utilizes a Rotary Uniform Linear Array (RULA) and achieves satisfactory performance for under-determined DOA estimations, where the number of source signals can be larger than the number of receive antenna elements. The achievable rate performance of point-to-point Line-of-Sight (LoS) links with both the transmitter and receiver equipped with a RULA was studied in [7] and shown to approach the LoS capacity at any desired Signal-to-Noise Ratio (SNR). López et. al. [8, 9] and Lin et. al. [10] proposed the utilization of RULAs for wireless energy transfer. They studied a system where a power beacon equipped with a RULA constantly rotates and transmits energy signals in the downlink to several low-power devices. The devices harvest energy from the transmitted signal to recharge their batteries. The authors in [11] developed and tested a prototype for hybrid mechanical-electrical beamforming for mmWave WiFi. Their experimental results in a point-to-point setup showed that the optimal rotation of the antenna array can bring significant throughput improvements for both LoS and Non-LoS (NLoS) scenarios.

More recently, movable antennas, which can move along one or several directions within a confined area, have been proposed [12, 13]. The main drawback of their utilization is that each movable antenna requires at least two cables and two servo motors, representing high deployment, operation, and maintenance costs. A different case is that of UAVs operating as flying base stations [15], which can also be interpreted as APs with movement capabilities. Their most notable advantage is that they present several degrees of freedom for movement since a UAV can be positioned at any point of the coverage area, at any height, and their position can be easily changed. However, their main drawbacks are limited carrying capacity, very high power consumption, and the consequent need for frequent recharges [16].

To the best of the authors’ knowledge, this paper is the first work that investigates a D-MIMO network implemented with APs equipped with RULAs. The most important advantages of the RULAs, when compared to the alternative approaches, are the lower deployment, operation, and maintenance costs since each AP requires a single servo-motor to rotate its Uniform Linear Array (ULA).

TABLE I: List of Acronyms

Acronym	Definition
AP	Access Point
CPU	Central Processing Unit
CSI	Channel State Information
D-MIMO	Distributed MIMO
LoS	Line-of-Sight
MIMO	Multiple-Input Multiple-Output
MTD	Machine-Type Device
NLoS	Non-LoS
PSO	Particle Swarm Optimization
RA	Random Access
RULA	Rotary ULA
SE	Spectral Efficiency
SNR	Signal-to-Noise Ratio
SINR	Signal-to-Interference-plus-Noise Ratio
ULA	Uniform Linear Array
ZF	Zero Forcing

I-B Contributions and Organization of the Paper

In this work, we evaluate the performance of D-MIMO networks for indoor industrial networks. We consider the uplink of a fully centralized system, where all APs simultaneously serve all the active Machine-Type Devices (MTDs). All APs are equipped with static ULAs or RULAS and connected to a common CPU through fronthaul links. The contributions of this work are listed below:

• We propose a scheme for joint configuration of the angular positions of all the RULAs in the system to maximize the mean per-user achievable Spectral Efficiency (SE). The scheme relies on known estimates the positions of the MTDs and Particle Swarm Optimization (PSO).

• Adopting a spatially correlated Rician fading channel model, we evaluate the performance of the different setups considering different values of the Rician factor. Our numerical results show that the optimal rotation of the RULAs can substantially improve the mean-per-user achievable SE and that the performance gains grow with the strength of the LoS components of the channel vectors.

• We propose a positioning error model and define different levels of positioning accuracy based on the requirements specified by the Third Generation Partnership Project (3GPP) standards. The system’s performance is evaluated as a function of the positioning accuracy. Our numerical results show that the optimal rotation of the RULAs brings performance gains even when the system’s positioning accuracy is poor.

• We evaluate the trade-off between the number of APs and antennas per AP given a total number of antenna elements. Our numerical results show that for both the cases of APs equipped with static ULAs and APs equipped with RULAs, there is an optimal number of APs that achieves the highest SE values.

Table I lists the acronyms used throughout this paper alphabetically. This paper is organized as follows. Section II presents the system model. Section III introduces the positioning error model. Section IV describes the proposed mechanism for optimizing the angular position of the RULAs. Section V presents and discusses the numerical results. Finally, Section VI concludes the paper.

Notation: lowercase boldface letters denote column vectors, while boldface uppercase letters denote matrices. $a_{i}$ is the $i$-th element of the column vector a, while $\textbf{a}_{i}$ is the $i$-th column of the matrix A. $\textbf{I}_{M}$ is the identity matrix with size $M\times M$. The superscripts $(\cdot)^{T}$ and $(\cdot)^{H}$ denote the transpose and the conjugate transpose of a vector or matrix, respectively. The scalar quantity’s magnitude or the set’s cardinality is denoted by $|\cdot|$, and $\|\cdot\rVert$ denotes the Euclidian norm of a vector (2-norm). We denote the one-dimensional uniform distribution with bounds $a$ and $b$ by $\mathcal{U}(a,b)$. We denote the multivariate Gaussian distribution with mean $\mathbf{a}$ and covariance $\mathbf{B}$ by $\mathcal{N}(\mathbf{a},\mathbf{B})$.

II System Model

We consider a square coverage area with dimensions $l\times l\;\text{m}^{2}$. $Q$ APs serve the coverage area, each equipped with a RULA of $S$ half-wavelength spaced antenna elements. The APs are at height $h_{\text{AP}}$. A large number $K_{\text{total}}$ of single-antenna MTDs are distributed on the coverage area. The positions of the MTDs are fixed for a relatively large period. From this large number of MTDs, a random subset of $K$ MTDs are active and seek to transmit data in the uplink in each time slot. Let $(x_{k},y_{k})$ denote the coordinates of the $k$-th MTD. For simplicity, we consider that the antenna elements of all MTDs are positioned at the same height $h_{\text{MTD}}$ [4, 5]. The system model is illustrated in Fig. 1.

We consider fully centralized processing: all the APs are connected to a common CPU through fronthaul connections. The CPU is responsible for performing the following signal-processing tasks:

1. Computation of the estimates of the positions of the $K_{\text{total}}$ MTDs using an indoor localization method.

2. MTD’s activity detection and identification.

3. Computation of the optimal angular positions of the RULAs in each time slot based on the locations of the active MTDs.

4. Scheduling of the uplink data transmissions.

5. Channel State Information (CSI) acquisition through pilot sequences.

6. Computation of centralized receive combining vectors based on the channel estimates.

7. Linear centralized uplink data decoding.

Further details on each of these tasks will be provided in the subsequent sections of this work.

Figure 1: Illustration of the considered system model for $l$ $=$ $50$ m, $Q=4$, and $K=16$.

II-A Channel Model

We adopt a spatially correlated Rician fading channel model [18]. Let $\textbf{h}_{kq}\in\mathbb{C}^{S\times 1}$ denote channel vector between the $k$-th MTD and the $q$-th AP, which can be modeled as [19]

$$\textbf{h}_{kq}=\sqrt{\dfrac{\kappa}{1+\kappa}}\textbf{h}_{kq}^{\text{los}}+\sqrt{\dfrac{1}{1+\kappa}}\textbf{h}_{kq}^{\text{nlos}},$$ (1)

where $\kappa$ is the Rician factor, $\textbf{h}_{kq}^{\text{los}}\in\mathbb{C}^{S\times 1}$ is the deterministic LoS component, and $\textbf{h}_{kq}^{\text{nlos}}\in\mathbb{C}^{S\times 1}$ is the random NLoS component.

The deterministic LoS component is given by

$$\textbf{h}_{kq}^{\text{los}}=\sqrt{\beta_{kq}}\begin{bmatrix}1\\ \exp(-j2\pi\Delta\sin(\phi_{kq}))\\ \exp(-j4\pi\Delta\sin(\phi_{kq}))\\ \vdots\\ \exp(-j2\pi(S-1)\Delta\sin(\phi_{kq}))\\ \end{bmatrix},$$ (2)

where $\beta_{kq}$ is the power attenuation owing to the distance between the $k$-th MTD and the $q$-th AP, and $\phi_{kq}\in[0,2\pi]$ is the azimuth angle relative to the boresight of the ULA of the $q$-th AP. Meanwhile, the random NLoS component is distributed as

$$\textbf{h}_{kq}^{\text{nlos}}\sim\mathcal{CN}(\textbf{0},\textbf{R}_{kq}).$$ (3)

Note that

$$\textbf{h}_{kq}\sim\mathcal{CN}\left(\sqrt{\dfrac{\kappa}{1+\kappa}}\textbf{h}_{kq}^{\text{los}},\dfrac{\textbf{R}_{kq}}{\kappa+1}\right),$$ (4)

where $\textbf{R}_{kq}\in\mathbb{C}^{M\times M}$ is the positive semi-definite covariance matrix describing the spatial correlation of the NLoS components.

The spatial covariance matrices can be (approximately) modeled using the Gaussian local scattering model [20, Sec. 2.6]. Specifically, the $s$-th row, $m$-th column element of the correlation matrix is

$$\begin{split}[\textbf{R}_{kq}]_{s,m}=\dfrac{\beta_{kq}}{N}\sum_{n=1}^{N}\exp[j\pi(s-m)\sin(\psi_{kq,n})]\\ \times\exp\left\{-\dfrac{\sigma_{\phi}^{2}}{2}[\pi(s-m)\cos(\psi_{kq,n})]^{2}\right\},\end{split}$$ (5)

where $N$ is the number of scattering clusters, $\psi_{kq,n}$ is the nominal angle of arrival for the $n$-th cluster, and $\sigma_{\psi}$ is the angular standard deviation.

Figure 2: Illustration of the three-phase RA scheme for 6 active MTDs [21].

II-B Three-Phase Random Access

Herein, we assume that the CPU has estimates of the positions of all MTDs in the network. We adopt a variation of the three-phase Random Access (RA) scheme introduced in [21] for scheduled massive access. Each of its phases is described below:

1. Phase 1: The active users transmit non-orthogonal uplink pilots for user identification and activity detection.

2. Phase 2: The CPU identifies the set of active users and determines the scheduling for the uplink transmissions. Based on the positions of the $K$ devices that will be active in each time slot, the CPU computes the optimal angular positions for the RULAs for each time slot. Finally, the system broadcasts a common downlink feedback message to assign each user a time slot and an orthogonal pilot.

3. Phase 3: The MTDs simultaneously transmit their orthogonal pilots and data in their scheduled slot. As the CPU jointly controls the APs, the RULAs perform their rotations in each time slot.

The three-phase RA scheme is illustrated in Fig. 2. Phase 1 corresponds to Slot 1, Phase 2 is performed during Slots 1 and 2, and Phase 3 comprises Slot 2 onwards. In Slot 1, 6 MTDs become active and transmit signals $\textbf{s}_{k},\;k\in\{1,\ldots,6\}$ intended for activity detection and user identification. Then, $K=2$ MTDs are scheduled for each subsequent time slot. Each of them is assigned one of the $K=2$ orthogonal pilot sequences, $\{\bm{\phi}_{1},\bm{\phi}_{2}\}$, and transmit their data signal, $\textbf{x}_{k},\;k\in\{1,\ldots,6\}$.

In this work, we consider that the scheduling of MTDs for Phase 3 is random. Moreover, we assume MTC scenarios where the devices are stationary, such as smart utility meters [22] or video surveillance cameras [23]. The location of an MTD is obtained as soon as it is registered to the network.

We assume that the duration of a time slot is long enough to accommodate the computation of the optimal angular positions of the RULAs, their rotations, and the uplink transmissions from the $K$ MTDs. The orthogonal pilots transmitted by the MTDs are used for CSI estimation. Then, the estimated channel coefficients are used for data decoding, as described in the next subsection.

II-C Signal Model

Herein, we consider Phase 3 of the RA scheme: an uplink scenario where $K$ active MTDs simultaneously transmit signals to the $Q$ APs. Let $M=QS$ denote the total number of receive antenna elements. The collective vector of wireless channel coefficients between the $k$-th MTD and the $Q$ APs is $\textbf{h}_{k}=[\textbf{h}_{k1}^{T},\textbf{h}_{k2}^{T},\ldots,\textbf{h}_{kQ}^{T}]^{T}\in\mathbb{C}^{M\times 1}$.

The matrix $\textbf{H}\in\mathbb{C}^{M\times K}$ containing the channel vectors of the $K$ MTDs can be written as

$$\textbf{H}=[\textbf{h}_{1},\textbf{h}_{2},\ldots,\textbf{h}_{K}].$$ (6)

The $M\times 1$ collective received signal vector can be written as

$$\textbf{y}=\sqrt{p}\textbf{H}\textbf{x}+\textbf{n},$$ (7)

where $p$ is the fixed uplink transmit power that is the same for all MTDs, $\textbf{x}\in\mathbb{C}^{K\times 1}$ is the vector of symbols simultaneously transmitted by the $K$ MTDs, and $\textbf{n}\in\mathbb{C}^{M\times 1}$ is the vector of additive white Gaussian noise samples such that $\textbf{n}\sim\mathcal{CN}(\textbf{0}_{M\times 1},\sigma^{2}_{n}\textbf{I}_{M})$.

Let $\textbf{V}\in\mathbb{C}^{M\times K}$ be a linear detector matrix used for the joint decoding of the signals transmitted from the $K$ MTDs at all the APs. The received signal after the linear detection operation is split in $K$ streams and given by

$$\textbf{r}=\textbf{V}^{H}\textbf{y}=\sqrt{p}\textbf{V}^{H}\textbf{H}\textbf{x}+\textbf{V}^{H}\textbf{n}.$$ (8)

Let $r_{k}$ and $x_{k}$ denote the $k$-th elements of r and x, respectively. Then, the received signal corresponding to the $k$-th MTD is

$$r_{k}=\underbrace{\sqrt{p}\textbf{v}_{k}^{H}\textbf{h}_{k}x_{k}}_{\text{Desired signal}}+\underbrace{\sqrt{p}\textbf{v}_{k}^{H}\sum_{k^{\prime}\neq k}^{K}\textbf{h}_{k^{\prime}}x_{k^{\prime}}}_{\text{Inter-user interference}}+\underbrace{\textbf{v}_{k}^{H}\textbf{n}}_{\text{Noise}},$$ (9)

where $\textbf{v}_{k}$ and $\textbf{h}_{k}$ are the $k$-th columns of the matrices V and H, respectively.

From (9), the Signal-to-Interference-plus-Noise Ratio (SINR) of the uplink transmission from the $k$-th MTD to all the APs is given by

$$\gamma_{k}=\dfrac{p|\textbf{v}_{k}^{H}\textbf{h}_{k}|^{2}}{p\sum_{k^{\prime}\neq k}^{K}|\textbf{v}_{k}^{H}\textbf{h}_{k^{\prime}}|^{2}+\sigma^{2}_{n}\lVert\textbf{v}_{k}^{H}\rVert^{2}}.$$ (10)

The receive combining matrix V is computed as a function of the matrix of estimated channel vectors $\hat{\textbf{H}}\in\mathbb{C}^{M\times K}$, $\hat{\textbf{H}}=[\hat{\textbf{h}}_{1},\ldots,\hat{\textbf{h}}_{K}]$. In this work, we adopt the centralized Zero Forcing (ZF) combining scheme. The receive combining matrix is computed as [29]

$$\textbf{V}=\hat{\textbf{H}}(\hat{\textbf{H}}^{H}\hat{\textbf{H}})^{-1}.$$ (11)

II-D Performance Metrics

To illustrate the improvement in the deterministic LoS links owing to the optimal rotations of the RULAs, we adopt the mean per-user achievable SE as the performance metric. The achievable uplink SE of the $k$-th MTD is

$$R_{k}=\mathbb{E}_{\textbf{H}}\{\log_{2}(1+\gamma_{k})\}.$$ (12)

Then, the mean per-user achievable uplink SE is obtained by averaging over the achievable uplink SE of all the $K$ active MTDs, i.e.,

$$\bar{R}=\dfrac{1}{K}\sum_{k=1}^{K}R_{k}.$$ (13)

II-E Imperfect CSI Model

The estimated channel vector of the $k$-th MTD, $\hat{\textbf{h}}_{k}\in\mathbb{C}^{M\times 1}$, can be modeled as the sum of the true channel vector plus a random error vector as [30, 31]

$$\hat{\textbf{h}}_{k}=\textbf{h}_{k}+\tilde{\textbf{h}}_{k},$$ (14)

where $\tilde{\textbf{h}}_{k}\sim\mathcal{CN}(\textbf{0},\sigma_{\text{csi}}^{2}\textbf{I}_{M})$ is the vector of channel estimation errors. Note that the true channel realizations and the channel estimation errors are uncorrelated.

The parameter $\sigma_{\text{csi}}^{2}$ indicates the quality of the channel estimates. Let $\rho=p/\sigma^{2}_{n}$ denote the transmit SNR. Assuming orthogonal pilot sequences during the uplink data transmission phase and least squares channel estimation, it can be modeled as a decreasing function of $\rho$ as [32]

$$\sigma_{\text{csi}}^{2}=\dfrac{1}{K\rho}.$$ (15)

III Positioning Error Model

As mentioned in Section II-B, the CPU utilizes the information about the positions of the MTDs to compute the optimal rotations of the RULAs. However, the estimates of the positions are not perfect in practical systems. In this section, we propose a mathematical model for the positioning error and relate it to the positioning accuracy requirements proposed by 3GPP.

Considering that all the MTDs are positioned at the same height $h_{\text{MTD}}$, the imperfect positioning impairment refers to the uncertainty on the position of the MTDs only on the $(x,y)$ axes. Let $\textbf{p}_{k}=(x_{k},y_{k})$ denote the true position of the $k$-th MTD, and $\hat{\textbf{p}}_{k}=(\hat{x}_{k},\hat{y}_{k})$ denote the estimated position. The positioning error vector associated to the $k$-th MTD becomes

$$\textbf{e}_{k}=\textbf{p}_{k}-\hat{\textbf{p}}_{k}=(x_{e,k},y_{e,k}),$$ (16)

where $x_{e,k}=x_{k}-\hat{x}_{k}$ and $y_{e,k}=y_{k}-\hat{y}_{k}$ are the $x$ and $y$ components of the positioning error vector, respectively. We can rewrite the positioning error vector in polar form as

$$\textbf{e}_{k}=r_{e,k}\angle\theta_{e,k},$$ (17)

where $r_{e,k}=\sqrt{x_{e,k}^{2}+y_{e,k}^{2}}$ and $\theta_{e,k}=\tan^{-1}(y_{e,k}/x_{e,k})$ are the magnitude and phase of the positioning error vector, respectively.

We assume the positioning error follows a bivariate Gaussian distribution with mean $\bm{\mu}=[\textbf{0}\;\textbf{0}]^{T}$ and covariance matrix $\bm{\Sigma}=\sigma_{e}^{2}\textbf{I}_{2}$ [33]. Thus, $x$ and $y$ components of the positioning error vector follow a Normal distribution:

$$x_{e,k},y_{e,k}\sim\mathcal{N}(0,\sigma_{e}^{2}).$$ (18)

Moreover, the magnitude of the positioning error vector follows a Rayleigh distribution:

$$f_{R}(r|\sigma_{e}^{2})=\dfrac{r}{\sigma_{e}^{2}}\exp\left(-\dfrac{r^{2}}{2\sigma_{e}^{2}}\right),\;r\geq 0,$$ (19)

where $\sigma_{e}^{2}$ is the scaling parameter. Finally, the angle of the positioning error vector follows a uniform distribution:

$$\theta_{e,k}\sim\mathcal{U}(-\pi,\pi).$$ (20)

Let $r_{e,k}$, i.e., the radius of the positioning error vector, represent the positioning accuracy. Considering the bivariate Gaussian model, the positioning accuracy follows the Rayleigh distribution. Thus, we have

$$\mathbb{E}\{r_{e,k}\}=\sigma_{e}\sqrt{\pi/2},$$ (21)

$$\text{Var}\{r_{e,k}\}=\dfrac{4-\pi}{2}\sigma_{e}^{2}.$$ (22)

In 3GPP standards, the positioning accuracy requirements are typically specified in terms of the 95% quantile [34]. In 3GPP Rel-16, the positioning accuracy requirement specified for indoor scenarios was $3$ m [35]. In 3GPP Rel-17, this requirement was further reduced to $20$ cm [36]. The positioning accuracy requirement for beyond-5G and 6G networks in indoor factory scenarios is expected to be in the order of a few centimeters [37].

(a)

(b)

Figure 3: Illustration of the RULA of the $q$-th AP and its angular positions concerning two active MTDs (a) before the rotation and (b) after the rotation.

IV Optimal Angular Positions of the RULAs

In each time slot, $K$ distinct MTDs are active. As shown in our previous work [17], a distinct optimal angular position exists for the RULA for each subset of $K$ positions of active MTDs. Moreover, high-speed industrial servo motors can change their positions in a few milliseconds [38, 39], thus they can track slow-to-moderate network dynamics in practice.

Let $\theta_{q}\in[-\pi,\pi]$ denote the rotation of the RULA of the $q$-th AP. A RULA and its angular position concerning two active MTDs, before and after its rotation, is illustrated in Fig. 3. The angle between the $k$-th MTD and the $q$-th AP after the rotation of the RULA is given by [8]

$$\phi_{kq}^{\prime}:=\phi_{kq}+\theta_{q}.$$ (23)

The optimal rotations of the RULAs $\theta_{q}\,;\forall q\in\{1,\ldots,Q\},$ are jointly computed by the CPU as a function of $\hat{\textbf{p}}_{k},\;\forall k\in\{1,\ldots,K\}$. Owing to the large number of variables to be jointly optimized and the high non-linearity of this problem, it is solved using particle swarm optimization (PSO), which will be presented in the next subsection.

IV-A Particle Swarm Optimization

PSO [40, Ch. 16] is very suitable for solving problems where a function’s global maximum or minimum is very difficult to find. The algorithm works over a population of candidate solutions, known as agents or particles, and moves them in the search space according to their current positions and velocities. Each particle’s movement is influenced by its best-known position and the global best-known position in the search space. The local and global best positions are updated on each iteration, and the algorithm is expected to move the swarm of particles toward the optimal solution.

PSO was initially proposed in [41] and intended to simulate social behavior, such as the movement of organisms in a bird flock or fish school. It has been used to solve many optimization problems in communication systems, such as optimal deployment, node localization, clustering, and data aggregation in wireless sensor networks [42]. It has also been used to design antennas with a specific desired side-lobe level or antenna element positions in a non-uniform array [43]. In communication systems, it has also been used to compute the optimal precoding vector that maximizes the throughput of a multi-user MIMO system [44], to optimize the scheduling in the downlink of a multi-user MIMO system [45], and to initialize the channel estimates for MIMO-OFDM receivers that jointly perform channel estimation and decoding [46].

The parameters of the PSO algorithm are listed in Table V, while its pseudo-code is in Algorithm 1. The inertial weight $w$ controls the particle’s tendency to continue in its current direction, while $c_{1}$ and $c_{2}$ are the acceleration coefficients that control the influence of the personal and global best positions, respectively. In our optimization problem, the number of variables to be jointly optimized equals the number of APs, $Q$. Each particle is a candidate set of angular positions for the $Q$ RULAs, i.e. $\{\theta_{1},\ldots,\theta_{Q}\}$, which corresponds to a point in the $Q$-dimensional space with boundaries $[0,\pi]^{Q\times 1}$. The objective function depends on the estimates of the positions of the MTDs, i.e., $f(\hat{\textbf{p}}_{1},\ldots,\hat{\textbf{p}}_{K})$, and is described in the next Subsection. There are two possible termination criteria: i) the maximum number of iterations is reached, or ii) the relative change in the value of the global best over a predefined number of maximum stall iterations is less than the tolerance $\epsilon$.

TABLE II: Parameters of the PSO Algorithm

Symbol	Parameter
$f(\cdot)$	Objective function
$x_{i}$	Position of the $i$-th particle
$v_{i}$	Velocity of the $i$-th particle
$w$	Inertial weight
$c_{1}$	Cognitive constant
$u_{1},u_{2}$	Random numbers between 0 and 1
$c_{2}$	Social constant
$p_{b,i}$	Personal best of the $i$-th particle
$g_{b}$	Global best

Algorithm 1 Particle Swarm Optimization

1:Initialize the swarm of particles uniformly distributed over the $Q$-th dimensional space $[0,\pi]^{Q\times 1}$

2:Initialize personal best positions as the current particle’s positions: $p_{b,i}^{0}\leftarrow x_{i}^{0}$

3:while the termination criterion is not met do

4:     for Each particle do

5:         Evaluate each particle’s position considering the objective function

6:         if Current position is better than personal best then

7:              Update personal best position

8:         end if

9:         if Current position is better than global best then

10:              Update global best position

11:         end if

12:     end for

13:     for each particle do

14:          Update particles’ velocities: $v_{i}^{t+1}\leftarrow wv_{i}^{t}+c_{1}u_{1}^{t}(p_{b,i}^{t}-x_{i}^{t})+c_{2}u_{2}^{t}(g_{b}^{t}-x_{i}^{t})$

15:          Move the particles to their next positions: $x_{i}^{t+1}\leftarrow x_{i}^{t}+v_{i}^{t}$

16:     end for

17:end while

IV-B Location-Based Beamforming

Before Phase 3 of the three-phase RA scheme, the CPU does not have any CSI information. Thus, the only information available for the computation of the optimal angular positions of the RULAs is the estimates of the positions of the MTDs that will be active in each time slot. Thus, we adopt a location-based beamforming [47, 48, 49, 50] approach to estimate the corresponding objective function value.

Herein, we assume that the locations of all the APs are perfectly known. Given $\hat{\textbf{p}}_{k},\;\forall k$, the CPU computes the estimates for the distances and azimuth angles between all the APs and the MTDs, i.e. $\hat{d}_{k,q}$ and $\hat{\phi}_{k,q}$, $\forall k,\;\forall q$. Then, it computes pseudo channel vectors assuming full-LoS propagation as

$$\textbf{h}_{kq}^{\text{pseudo}}=\sqrt{\hat{\beta}_{kq}}\begin{bmatrix}1\\ \exp(-j2\pi\Delta\sin(\hat{\phi}_{kq}))\\ \exp(-j4\pi\Delta\sin(\hat{\phi}_{kq}))\\ \vdots\\ \exp(-j2\pi(S-1)\Delta\sin(\hat{\phi}_{kq}))\\ \end{bmatrix},$$ (24)

where $\hat{\beta}_{kq}$ is the estimated large-scale fading coefficient, which is computed as a function of the estimated distance $\hat{d}_{kq}$ considering a known channel model.

Then, receive combining vectors are computed as a function of the pseudo channel vectors according to (11). Finally, the cost function is obtained by computing the mean per-user achievable SE utilizing the pseudo-channel vectors and the corresponding receive combining vectors in (10), (12) and (13).

(a) $Q=1$

(b) $Q=2$

(c) $Q=4$

(d) $Q=8$

Figure 4: The four different setups of APs are considered in this work.

V Numerical Results

In this section, we present Monte Carlo simulation results that evince the performance improvements obtained by APs equipped with the proposed RULAs when compared to APs equipped with static ULAs. We keep the total number of antenna elements constant and study the trade-off between the number of APs and antenna elements per AP. The four different setups considered for the simulations are illustrated in Fig. 4.

V-A Simulation Parameters

The power attenuation due to the distance (in dB) is modelled using the log-distance path loss model as

$$\beta_{kq}=-L_{0}-10\eta\log_{10}\left(\dfrac{d_{kq}}{d_{0}}\right),$$ (25)

where $d_{0}$ is the reference distance in meters, $L_{0}$ is the attenuation owing to the distance at the reference distance (in dB), $\eta$ is the path loss exponent and $d_{kq}$ is the distance between the $k$-th device and the $q$-th AP in meters.

The attenuation at the reference distance is calculated using the Friis free-space path loss model and given by

$$L_{0}=20\log_{10}\left(\dfrac{4\pi d_{0}}{\lambda}\right),$$ (26)

where $\lambda=c/f_{c}$ is the wavelength in meters, $c$ is the speed of light and $f_{c}$ is the carrier frequency.

Unless stated otherwise, the values of the simulation parameters adopted in this work are listed in Table V. Considering the typical values of $M$ and $h_{\text{AP}}$ defined in Table V, every pair of AP and MTD are in the far-field (please refer to Appendix A). The active MTDs are uniformly distributed on the square coverage area, that is, $x_{k},y_{k}\sim\mathcal{U}(0,l)$. Moreover, the adopted parameters for the PSO algorithm are listed in Table V.

The noise power (in Watts) is given by $\sigma^{2}_{n}=N_{0}BN_{F}$, where $N_{0}$ is the Power Spectral Density (PSD) of the thermal noise in W/Hz, $B$ is the signal bandwidth in Hz, and $N_{F}$ is the noise figure at the receivers.

For the computation of the correlation matrices $\textbf{R}_{kq},\;\forall k,\;\forall q$, we consider $N=6$ scattering clusters, $\psi_{kq,n}\sim\mathcal{U}[\phi_{kq}-40\degree,\phi_{kq}+40\degree]$, and $\sigma_{\psi}=5\degree$.

The F-quantile of a Rayleigh distribution with scaling parameter $\sigma_{e}$ is given by

$$Q(F;\sigma_{e})=\sigma_{e}\sqrt{-2\ln(1-F)}.$$ (27)

Considering the proposed positioning error model and based on the 3GPP specifications, we list examples of positioning accuracy requirements for pessimistic, reasonable, and optimistic scenarios and their corresponding values of $\sigma_{e}^{2}$, in Table V.

TABLE III: Simulation parameters.

Parameter	Symbol	Value
Total number of antenna elements	$M$	16
Number of APs	$Q$	$\{1,2,4,8\}$
Number of antennas on each AP	$S$	$\{16,8,4,2\}$
Number of active MTDs	$K$	$10$
Length of the side of the square area	$l$	$[50,100,200]$ m
Uplink transmission power	$p$	100 mW
PSD of the noise	$N_{0}$	$4\times 10^{-21}$ W/Hz
Signal bandwidth	$B$	20 MHz
Noise figure	$N_{F}$	9 dB
Height of the APs	$h_{\text{AP}}$	12 m
Height of the UEs	$h_{\text{UE}}$	1.5 m
Carrier frequency	$f_{c}$	3.5 GHz
Normalized inter-antenna spacing	$\Delta$	$0.5$
Path loss exponent	$\eta$	$2$
Reference distance	$d_{0}$	$1$ m

TABLE IV: Parameters of the PSO Algorithm.

Symbol	Parameter	Value
$w$	Inertial weight	$[0.1,1.1]$
$c_{1}$	Cognitive constant	$1.49$
$c_{2}$	Social constant	$1.49$
$N_{\text{vars}}$	Number of variables	$Q$
$|\mathcal{A}|$	Swarm size	$\min\{100,10N_{\text{vars}}\}$
$N_{\text{max}}$	Maximum number of iterations	$200N_{\text{vars}}$
$N_{\text{stall}}$	Maximum number of stall iterations	20
$\epsilon$	Function tolerance	$10^{-6}$

TABLE V: Examples of positioning accuracy requirements for pessimistic, optimistic, and reasonable scenarios [35, 36, 37].

$\phantom{-}\sigma_{e}^{2}$	95% Quantile	Scenario
$\phantom{-}5$ dB	$4.5$ m	Pessimistic
$\phantom{-}1.76$ dB	$3$ m	Reasonable
$-7.8$ dB	$1$ m	Reasonable
$-28$ dB	$10$ cm	Optimistic
$-45$ dB	$1$ cm	Optimistic

V-B Simulation Results and Discussions

The mean per-user achievable SE is obtained by averaging over $32$ network realizations, i.e., distinct sets of positions for the $K$ active MTDs. For each network realization, the achievable SE of the $K$ MTDs is obtained by averaging over $250$ channel realizations, i.e., distinct realizations of the channel matrix H.

The mean-per user achievable SE $\bar{R}$ as a function of the Rician factor $\kappa$, for different values of $Q$ and $l$, are shown in Fig. 6. We observe that, in the case of APs equipped with static ULAs, the mean per-user achievable SE decreases with the Rician factor for any values of $Q$ and $l$. This happens because the correlation among the channel vectors increases with $\kappa$, thus affecting the performance obtained with the ZF combiner. On the other hand, in the case of APs equipped with the proposed RULAs, the mean per-user achievable SE increases with $\kappa$, excepted for the setups with $Q=8$. This evinces the fact that the optimal rotation of the RULAs reduces the correlation between the channel vectors, consequently enhancing the performance obtained with ZF when the LoS component becomes strong. Note that, when $\kappa\leq-10$ dB, i.e., when the channel tends to be pure NLoS, the optimal rotation of the RULAs brings no performance improvements, as expected. Nevertheless, when $\kappa$ grows large, the performance gains obtained with the RULAs become very significant for any values of $Q$ and $l$. Moreover, when the channel tends to be pure NLoS, increasing $Q$ enhances the mean per-user achievable SE for any value of $l$. Thus, in rich scattering environments, the most distributed D-MIMO setup with $Q=8$ is always the best choice, and the setup with $Q=4$ follows closely behind. In contrast, when $\kappa$ grows large and the LoS component becomes strong, there exists an optimal number of APs (and of antenna elements per AP) that maximizes the mean per-user achievable SE. In the case of APs with static ULAs, the best performance is achieved by the setup with $Q=2$ in the case of $l=50$ m, and by the setups with $Q=4$ for the cases of $l=100$ m and $l=200$ m. When we adopt APs equipped with RULAs, the single AP setup achieves the best performance for the case of $l=50$ m. When $l=100$ m, the setups with $Q=[1,2,4]$ achieve very similar performance. Finally, when $l=200$ m, the best performance is achieved when $Q=4$.

The numerical results in Fig. 6 show that, in scenarios where the LoS component is strong, there is a sweet spot between the beamforming gains obtained with APs equipped with multiple antennas, and the macro-diversity gains obtained with the spatial distribution of APs. In the case of APs equipped with static ULAs, the intermediate deployments with $Q=[2,4]$ achieve this sweet spot. Conversely, when the proposed RULAs are adopted, utilizing a single AP allow us to achieve a satisfactory performance, while at the same time avoiding the higher deployment and maintenance costs of D-MIMO networks.

In Fig. 6, we show the mean per-user achievable SE versus the variance of the positioning error $\sigma_{e}^{2}$, for different values of $Q$ and $l$, and considering $\kappa=10$ dB. Interestingly, we observe that the performance gains owing to the optimal rotations of the RULAs are still very significant even when the accuracy of the position estimates is poor. Nevertheless, the SE is almost constant for $\sigma_{e}^{2}\leq-10$ dB, that is, improving the accuracy of the position estimates does not yield noticeable performance improvements.

(a)

(b)

(c)

Figure 5: Mean per-user achievable SE versus Rician factor, considering centralized ZF and $\sigma_{e}^{2}=-10$ dB, for (a) $l=50$ m, (b) $l=100$ m and (c) $l=200$ m.

(d)

(e)

(f)

Figure 6: Mean per-user achievable SE versus the variance of the positioning error, considering centralized ZF and $\kappa=10$ dB, for (a) $l=50$ m, (b) $l=100$ m and (c) $l=200$ m.

VI Conclusions

In this work, we studied the performance of D-MIMO networks for indoor scenarios. Aiming to enhance the quality of the wireless links, we proposed the deployment of APs equipped with RULAs. The CPU jointly computes the optimal rotation of the RULAs as a function of the estimated positions of the active MTDs. The optimization is done using a location-based beamforming approach and PSO. We considered a spatially correlated Rician fading model and evaluated the setups’ performance for different Rician factor values. We took into account the impact of imperfect positioning information and also of the imperfect CSI. Given the total number of antenna elements, we evaluated the trade-off between the number of APs and antennas per AP. The numerical results show that the optimal rotation of the RULAs can bring substantial performance gains in terms of mean per-user achievable SE, and the gains grow with the Rician factor. We also observed that the optimal rotation of the RULAs can bring performance gains even when the positioning accuracy is poor or moderate. We also concluded that, given the total number of antenna elements, there is a sweet spot between the number of APs and the number of antenna elements per AP, corresponding to a trade-off between beamforming and macro-diversity gains. The best performance is achieved by adopting a few APs equipped with multiple antennas. This approach also has the advantage of reducing the deployment and maintenance costs of the system and its computational complexity.

Appendix A Parameters to Ensure Far-Field Propagation

The Fraunhofer distance determines the threshold between the near-field and far-field propagation and is given by [51]

$$d_{F}=\dfrac{2D^{2}}{\lambda},$$ (28)

where $D$ is the largest dimension of the antenna array, $\lambda=c/f_{c}$ is the wavelength, $c$ is the speed of the light and $f_{c}$ is the carrier frequency. In the case of an RULA with half-wavelength spaced antenna elements, we have

$$D_{\text{RULA}}=(S-1)\lambda/2,$$ (29)

where $S$ is the number of antenna elements of the RULA. Considering $f_{c}=3.5$ GHz, the height difference between the APs and the MTDs must be at least 10 m to ensure far-field propagation conditions for all the devices. Thus, in this paper we set $\max\{S\}=M=16$ and $h_{\text{AP}}=12$ m.