Next Article in Journal
New Modified Couple Stress Theory of Thermoelasticity with Hyperbolic Two Temperature
Previous Article in Journal
An Offline Weighted-Bagging Data-Driven Evolutionary Algorithm with Data Generation Based on Clustering
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Statistical Beamforming for Multi-Set Space–Time Shift-Keying-Based Full-Duplex Millimeter Wave Communications

by
Abdulah Jeza Aljohani
1,2,†,
Muhammad Moinuddin
1,2,*,†,
Ubaid M. Al-Saggaf
1,2,†,
Mohammed El-Hajjar
3,† and
Soon Xin Ng
3,†
1
Department of Electrical and Computer Engineering, King Abdulaziz University, Jeddah 21589, Saudi Arabia
2
Center of Excellence in Intelligent Engineering Systems (CEIES), King Abdulaziz University, Jeddah 21589, Saudi Arabia
3
Next Generation Wireless Group, School of Electronics and Computer Science, University of Southampton, Southampton SO171BJ, UK
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2023, 11(2), 433; https://doi.org/10.3390/math11020433
Submission received: 31 October 2022 / Revised: 27 December 2022 / Accepted: 3 January 2023 / Published: 13 January 2023
(This article belongs to the Section E2: Control Theory and Mechanics)

Abstract

:
Full-duplex (FD) communication has been shown to provide an increased achievable rate, while millimeter wave (mmWave) communications benefit from a large available bandwidth that further improves the achievable rate. On the other hand, the concept of multi-set space-time shift keying (MS-STSK) has been proposed to provide a flexible design trade-off between throughput and performance. Hence, in this work, we consider the design of an FD-aided MS-STSK transceiver for millimeter wave communications. However, a major challenge is that channel reciprocity is not valid in mmWave communications due to shorter channel coherence time. Thus, the uplink (UL) pilots cannot be utilized to estimate the downlink (DL) channel. To overcome this challenge, we propose a beamforming technique based on channel statistics without assuming channel reciprocity. For this purpose, a closed-form expression for the outage probability of the system is derived by employing the characterization of the ratio of the Indefinite Quadratic Form (IQF). The derived analytical expression is then utilized to design optimum beamforming weights using the Sequential Quadratic Programming (SQP)-based heuristic method. Moreover, an Iterative Statistical Method (ISM) of joint transmit and receive beamforming algorithm is also developed by utilizing Principle Eigenvector (PE) and Generalized Rayleigh Quotient (G-RQ) optimization techniques. Finally, we verify our simulation results with the theoretical analysis.

1. Introduction

Due to the increasing demand for larger data rates and lower latency, the next generation of wireless communication is looking for enhanced spectral efficiency with better latency performance [1]. Millimeter wave-based communications inherit a large available bandwidth ranging from 28 to 300 GHz and hence are capable of delivering higher data rates with larger coverage [2]. However, the performance of mmWave-based frequency systems is highly sensitive to atmospheric and weather conditions that result in higher propagation losses [2]. Hence, directional transmission is employed to mitigate the propagation losses, where large antenna arrays can be used for achieving beamforming gains [3,4].
Multiple-In-Multiple-Output (MIMO) systems have been shown to provide beneficial throughput and performance gains [5]. The concept of spatial modulation (SM) was proposed as a low-complexity MIMO design option for providing an improved performance versus complexity trade-off by potentially relying on a single RF chain [6,7]. Recently, the idea of space–time shift keying (STSK) was introduced to provide a more flexible transmission scheme versus conventional multiplexing gain design adjustments [8]. In STSK, the transmitting signal is spread over multiple time slots and transmit antennas using certain dispersion matrices. It was shown in [9] that the STSK scheme can improve the Bit Error Rate (BER) and throughput of the system. Additionally, the idea of STSK was further enhanced in [10] by incorporating both SM and STSK to come up with the method of multi-set STSK (MS-STSK). This scheme is capable of transmitting information by utilizing the indices of the complex-valued signal, the dispersion matrices, and the index of the antenna combination.
Despite the above advantages of the mmWave and the MS-STSK systems, the performance of these systems is highly affected by self-interference (SI). Therefore, in addition to the traditional SI suppression strategies, the SI cancellation relying on beamforming techniques is critical at mmWave frequency. On the other hand, the use of pilots increases the overhead, resulting in a lower spectral efficiency. This work aims to tackle these issues.
This paper is structured as follows. The literature review is presented in Section 2 after the introduction in Section 1. Next, the system model for the MS-STSK-based FD mmWave communication system is presented in Section 3. The derivation of outage probability is provided in Section 4. Our suggested statistical techniques for concurrently developing the transmit and receive beamformer weights are developed in Section 5. Simulation results are presented in Section 6. Finally, Section 7 provides concluding observations.

2. Literature Review

Due to the substantial self-interference that comes from the transmitter’s own transmission interfering with the received signal, the idea of simultaneous transmission and receiving in the same frequency band was deemed impracticable. However, it was shown in [11,12] that this is possible and it is termed full-duplex (FD) wireless communication. Hence, it can achieve twice the spectral efficiency in contrast to the conventional half-duplex communication, which was a great breakthrough [13,14,15].
Designing an FD mmWave communication system is a promising research direction for further improving the achievable rate as well as supporting a large number of users [16]. It was shown in [16] that careful beamforming design for FD mmWave systems can provide clear performance gains. Then, several works in the literature have been devoted to the design of transmit and receive beamforming techniques in FD and mmWave communication [17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32]. A summary of these works with their approaches and shortcomings is provided in Table 1.

2.1. Shortcomings in the Existing Works

The advantages of both the FD and the MSTSK techniques motivated us to deploy these at mmWaves in order to further enhance spectral efficiency. However, efficient beamforming in such a system has not been investigated in the existing works. Additionally, it is observed that most of the existing beamforming techniques are based on either perfect or imperfect Channel State Information (CSI) estimation requiring pilot transmission. This is usually completed with the assumption that channel reciprocity holds as long as the UL and the DL transmission occur within a channel’s coherence time. Thus, the base station (BS) can utilize that same CSI, which was obtained in UL transmission. However, the assumption of channel reciprocity is not valid in mmWave communications as the channel coherence time is very short [33], and thus, the UL CSI can not be utilized for the DL transmission. On the other hand, CSI estimation by the separate DL pilot transmission results in a larger overhead [34]. To overcome these challenges, we propose beamforming design relying only on channel statistics rather than requiring channel estimation using pilot transmissions and assuming channel reciprocity. Our major contributions are listed next.

2.2. Our Contributions and Paper Organization

The following are our work’s main contributions:
  • With the aid of the IQF representation, we express the Signal-to-Interference Ratio (SINR) of the users’ signal at the BS of the MS-STSK-based FD mmWave communication system as the ratio of IQFs.
  • We derive the outage probability expression for individual users in the MS-STSK-based FD mmWave communication system by utilizing the characterization of IQF ratio with the aid of conditional probability evaluation.
  • We formulate a constrained optimization problem to design both transmit and receive beamforming weights in the MS-STSK-based FD mmWave communication system by minimizing the scalarized sum outage probability of the system while constraining the beamformer weights power to unity.
  • We created two techniques to address the proposed constrained optimization problem: the first utilizes the SQP-based heuristic optimization technique and the second employs an iterative procedure of jointly designing the transmit and the receive beamforming algorithm with the aid of the PE and the G-RQ optimization techniques.

3. System Model

In this work, an FD MS-STSK-assisted BS communicating with multiple Half-Duplex (HD) users via a point-to-point link is considered as shown in Figure 1; that is, the BS is receiving signals from a single user only at a time. The BS is equipped with N t and N r antenna arrays (AAs) for the transmit mode and the receive mode, respectively. Each User Equipment (UE) is equipped with N r AAs (the number of transmitter AAs can be different for UEs, which can also be different from the number of receiver AAs at the BS. However, we kept the same AAs for simplicity of presentation, while all the proposed design is valid for variable AAs also), and each AA at the BS and the UE is equipped with K antenna elements (AEs). Moreover, there are M RF chains at the BS which are linked with M active AAs out of the total of N t available transmit AAs at any given time, as shown in Figure 1.
The BS is equipped with MS-STSK encoder/decoder which is utilized to map the input bit stream in order to form an MS-STSK codeword as illustrated in Figure 1. The complex-valued amplitude-phase modulation signal, the dispersion matrix, and the indexes of the activated transmit AAs are used to transmit the information in the input data (see [10] for further details). The codeword X transmitted for the k t h APM symbol (denoted as x k ) by the MS-STSK encoder can be expressed as:
X = A i , j x k ,
where A i , j is the i t h dispersion matrix used for the j t h transmit antenna combinations (AC).
After describing the MS-STSK system model employed at the BS, we consider the uplink signal, where a single HD UE communicates in a point-to-point link with the BS receiver using multiplexing-based MIMO transmission. Additionally, the BS is broadcasting and receiving simultaneously, since it is functioning in the FD mode, as indicated in Figure 2, which causes self-interference (SI). Thus, the received signal at the BS due to user i (denoted by Y ( i B S ) ) of dimension N r × T after combining with K N r × N r receive combiner matrix W ( B S ) is given by
Y ( i B S ) = W ( B S ) H H ( i B S ) F ( i ) X ( i ) desired signal + W ( B S ) H H SI F ( B S ) X ( B S ) self - interference + W ( B S ) H V ( B S ) noise ,
where X ( B S ) and X ( i ) are the N t × T the transmitted signal matrices of BS and user i, respectively, F ( B S ) and F ( i ) are the K N t × N t transmit precoder matrices of BS and user i, respectively, V ( B S ) is the K N r × T noise matrix at the BS receiver whose elements are independent and identically distributed (i.i.d.) with zero mean and variance σ v 2 , and H ( i B S ) C K N r × K N t is the channel matrix from user i to the BS and is given by
H ( i B S ) = [ H 1 ( i B S ) H 2 ( i B S ) H N c ( i B S ) ] ,
where H n c ( i B S ) is the n c t h cluster sub-channel matrix of size N r K × M K , which is given by
H n c ( i B S ) = H n c 11 H n c 1 M H n c N r 1 H n c N r M ,
Meanwhile, H n c m n is the channel matrix of size K × K in the n c t h cluster linking between the m t h AA and the n t h AA at the receiver and the transmitter, respectively.
The statistical model used for the channel matrix H n c m n is composed of N c { m , n } clusters with N ray { m , n } rays, which is given by
H n c m n = 1 N c N ray n c = 1 N c { m , n } n ray = 1 N ray { m , n } α n c n ray a r ( ϕ n c n ray ) a t T ( ϕ n c n ray ) ,
where a r ( ϕ n c n ray ) and a t ( ϕ n c n ray ) are the response vectors for receive and transmit AAs, respectively. In this work, we consider uniform linear AAs, for which the response vectors a r and a t are given by [35]
a r ( ϕ r ) = [ 1 e j 2 π λ d cos ( ϕ r ) e j 2 π λ ( K 1 ) d cos ( ϕ r ) ] T ,
a t ( ϕ t ) = [ 1 e j 2 π λ d cos ( ϕ t ) e j 2 π λ ( K 1 ) d cos ( ϕ t ) ] T ,
where ϕ r and ϕ t represent, respectively, the angles of arrival and departure.
The second term in (2) is the interference due to the BS’s own transmission as the BS is operating in the FD mode, where it can transmit and receive at the same time. The self-interference channel matrix at the FD BS is denoted as H SI , which is a near-field channel and can be represented as [16,20,36]
H SI = κ κ + 1 H l o s + 1 κ + 1 H r p ,
where κ is the Rician factor, H los is the near-field channel’s line-of-sight (LOS) component, and H r p is the reflected path of the SI channel for the BS, and it is modeled as in (4) [16]. Additionally, the ( m , n ) t h entry of the LOS channel matrix denoted as [ H l o s ] m n is given by [16,20,36]
[ H l o s ] m n = ρ r m n exp j 2 π r m n λ ,
where constant ρ is utilized to achieve the power normalization, that is, H l o s F 2 = 1 . Here, the distance between the m t h transmitting AE and the n t h receiving AE is denoted as r m n , which can be calculated as [16,20]:
r m n = r x 2 + r y 2 2 r x r y cos ( Θ ) ,
where r x = D tan ( Θ ) + ( n 1 ) λ 2 ,
and r y = D sin ( Θ ) + ( m 1 ) λ 2 .
Here, D is the distance by which the AAs are separated and Θ is the angle of AAs. In the next section, we present the outage probability analysis, which is then used for the precoder and combiner design.

4. Outage Probability Analysis

Consider the system model defined in (2) employing the SI channel in (7); then, the received signal Y ( B S i ) can be stated as
Y ( i B S ) = W ( B S ) H H ( i B S ) F ( i ) X ( i ) desired signal + κ κ + 1 W ( B S ) H H l o s F ( B S ) X ( B S ) + 1 κ + 1 W ( B S ) H H r p F ( B S ) X ( B S ) self - interference + W ( B S ) H V ( B S ) noise .
Thus, the instantaneous SINR at the BS reception from the user i can be stated as
S I N R ( i B S ) = W ( B S ) H H ( i B S ) F ( i ) X ( i ) F 2 κ κ + 1 W ( B S ) H H l o s F ( B S ) X ( B S ) F 2 + 1 κ + 1 W ( B S ) H H r p F ( B S ) X ( B S ) F 2 + E W ( B S ) H V ( B S ) F 2 ,
where W ( B S ) F 2 shows the Frobenius norm of the matrix W ( B S ) and E is the expectation operator.
At this stage, we denote w k ( B S ) as the k t h column vector in W ( B S ) , F j ( i ) as the j t h column vector in F ( i ) , and F j ( B S ) as the j t h column vector in F ( B S ) . Additionally, let us denote X k j ( B S ) to represent the ( k , j ) t h element in X ( B S ) , X k j ( i ) is the ( k , j ) t h element in X ( i ) , and v j ( B S ) is the j t h column vector in V ( B S ) which is zero mean additive white noise having variance σ v 2 . Next, by using the vectorized version of the channel matrices, i.e., h ( i B S ) = v e c ( H ( i B S ) ) , h l o s = v e c ( H l o s ) , and h r p = v e c ( H r p ) with the aid of linear algebra property, we can express the terms H ( i B S ) F j ( i ) , H l o s F j ( B S ) , and H r p F j ( B S ) as follows:
H ( i B S ) F j ( i ) = I K N r F j ( i ) T h ( i B S ) , H l o s F j ( B S ) = I K N r F j ( B S ) T h l o s , H r p F j ( B S ) = I K N r F j ( B S ) T h r p ,
where the notation ⊗ denotes the Kronecker product and I K N r is the K N r -dimensional Identity matrix. Finally, using the whitening transformation for random channel vectors, i.e., h ¯ ( i B S ) = R h ( i B S ) H / 2 h ( i B S ) and h ¯ r p = R h r p H / 2 h r p where R h ( i B S ) and R h r p are the correlation matrices for h ( i B S ) and h r p , respectively. Thus, the SINR given in (13) can be formulated as a ratio of IQF as follows:
SINR ( i B S ) = | | h ¯ ( i B S ) | | A ( i B S ) 2 | | h ¯ r p | | B ( i B S ) 2 + ϵ ( i ) ,
where the notation | | x | | A 2 denotes the weighted norm of vector x and is defined as | | x | | A 2 = x H A x . The scalar term ϵ ( i ) and the matrices A ( i B S ) and B ( i B S ) appearing in (15) are defined as
A ( i B S ) = T R h ( i B S ) 1 / 2 { k = 1 N r j = 1 N t I K N r F j ( i ) T H w k ( B S ) w k ( B S ) H I K N r F j ( i ) T } R h ( i B S ) H / 2 , B ( i B S ) = T κ + 1 R h r p 1 / 2 { k = 1 N r j = 1 N t I K N r F j ( B S ) T H w k ( B S ) w k ( B S ) H I K N r F j ( B S ) T } R h r p H / 2 , ϵ ( i ) = T κ κ + 1 T r k = 1 N r j = 1 N t I K N r F j ( B S ) T H w k ( B S ) w k ( B S ) H I K N r F j ( B S ) T + T σ v 2 k = 1 N r | | w k ( B S ) | | 2 .
To obtain the expression (15), we have used the fact that the input signals are unit power, that is | X k j ( B S ) | 2 = 1 and | X k j ( i ) | 2 = 1 . In addition, we have used the fact that | | h l o s | | 2 = 1 .
Next, using the definition that the outage probability is the likelihood that the SINR ( i B S ) is below a specific power threshold, say γ t h , we can evaluate its outage probability as follows:
P o u t ( i B S ) γ t h = P r SINR ( i B S ) γ t h = P r | | h ¯ ( i B S ) | | A ( i B S ) 2 | | h ¯ r p | | B ( i B S ) 2 + ϵ ( i ) γ t h .
Given the fact that the random vectors h ¯ ( i B S ) and h ¯ r p are independent, we can evaluate the probability in two steps: first, evaluate the conditional outage probability of SINR ( i B S ) conditioned on h ¯ r p or equivalently conditioned on z = | | h ¯ r p | | B ( i B S ) 2 and then average the conditional probability over the PDF of z to evaluate the outage probability. In the first step, the conditional outage probability given z can be evaluated using the approach for characterizing the Indefinite Quadratic Forms provided in [37,38] and is given by
P r SINR ( i B S ) γ t h | z = u γ t h j = 1 K 2 N r N t λ j K 2 N r N t e γ t h z + ϵ ( i ) λ j | λ j | i = 1 , i j K 2 N r N t λ j λ i u γ t h ( z + ϵ ( i ) ) λ j ,
where λ j is the j th eigenvalue of the matrix A ( i B S ) . Next, using the approach of [37], the PDF of z can be shown to be
f z ( z ) = k = 1 K 2 N r N t ρ k K 2 N r N t 1 e z ρ k | ρ k | i = 1 , i k K 2 N r N t ρ k ρ i u z ρ k ,
where ρ k is the k th eigenvalue of the matrix B ( i B S ) . Finally, by averaging the conditional probability P r SINR ( i B S ) γ t h | z over f z ( z ) using the approach of [39], the required outage probability can be expressed as
P o u t ( i B S ) γ t h = P r SINR γ t h | z f z ( z ) d z = k = 1 K 2 N r N t β k u γ t h u ( ρ k ) u ( ϵ ( i ) ) + ( 1 u ( ρ k ) ) u ( ϵ ( i ) ) e ϵ ( i ) ρ k + u ( ρ k ) ( 1 u ( ϵ ( i ) ) ) e ϵ ( i ) ρ k k = 1 K 2 N r N t j = 1 K 2 N r N t β k ζ j λ j e γ t h ϵ ( i ) λ j ( γ t h ρ k + λ j ) { u ( ρ k ) u ( λ j ) u ( ϵ ( i ) ) + u ( ρ k ) u ( λ j ) ( 1 u ( ϵ ( i ) ) ) e ϵ ( i ) ( γ t h ρ k + λ j ) ρ k λ j + u ( ρ k ) ( 1 u ( λ j ) ) ( 1 u ( ϵ ( i ) ) ) ( 1 e ϵ ( i ) ( γ t h ρ k + λ j ) ρ k λ j ) + ( 1 u ( ρ k ) ) u ( λ j ) u ( ϵ ( i ) ) ( e ϵ ( i ) ( γ t h ρ k + λ j ) ρ k λ j 1 ) } ,
where
β k = ρ k K 2 N r N t | ρ k | i = 1 , i k K 2 N r N t ρ k ρ i ,
and
ζ j = λ j K 2 N r N t | λ j | i = 1 , i j K 2 N r N t λ j λ i .

5. Design of Optimum Beamformer Weights

Here, we provide our suggested method for determining the transmit and receive beamformer weights for all users, i.e., W ( B S ) and F ( i ) i . Here, the objective is to develop an optimization problem that can provide the optimum beamforming solution for both the transmitter and the receiver by minimizing the outage probability for all system users. We propose to minimize the scalarized sum outage probability (denoted as P o u t s u m ) for N u total users using the approach of [40]. Thus, P o u t s u m can be stated as
P o u t s u m = 1 N u i = 1 N u P o u t ( i B S ) γ t h ,
In our work, the proposed objective is to minimize the sum outage probability with respect to the transmit and the receive beamforming weights of all users while constraining the powers of these beamforming weights to unity, that is,
minimize { W ( B S ) , F ( i ) } i = 1 N u P o u t s u m γ t h , subject to W B S ) F 2 = 1 and F ( i ) F 2 = 1 , i .
Next, two methods to deal with the optimization problem in (23) are provided.

5.1. Heuristic Approach for Joint Optimization of Precoder and Beamformer

It can be observed that the objective function proposed in (23) is highly non-linear and non-convex in nature. Thus, a unique closed-form solution cannot be obtained using classical optimization tools. Therefore, we propose to use the sequential quadratic programming (SQP)-based solution which is a well-established technique in optimization theory [41].

5.2. Closed Form Iterative Solution

The heuristic approach presented in Section 5.1 to solve the optimization problem in (23) requires exhaustive search and hence has high computational complexity. Thus, a sub-optimal solution can be used to jointly optimize the transmit and receive beamforming weights, which has significantly reduced computational complexity. For this purpose, we develop an iterative solution that utilizes the “Principle Eigenvector” method [42] to obtain transmit beamformer weights (i.e., F ( i ) i ) using initialized receive beamformer weights (i.e., W ( B S ) ) and then calculate the receive beamformer weights using the “Generalized Rayleigh Quotient (G-RQ)” method [40]. This process in iterations will be continued until the sum SINR is maximized. The design details are presented in the following sections.

5.2.1. Transmit Beamforming using Principle Eigenvector Method

In order to design the transmit beamformer weights F ( i ) , we utilize the approach of principle eigenvector [42] to find the solution that maximizes the capacity by maximizing the SINR. To achieve this, the desired signal component is maximized while the beam powers are limited to unity. For illustration, we use the case of our presented system model in (2), where the transmit beamforming weights F ( i ) will be calculated using the following optimization strategy
maximize { F j ( i ) } k = 1 N r E [ | w k ( B S ) H H ( i B S ) F j ( i ) | 2 ] , j ,
which can be equivalently expressed as
maximize { F j ( i ) } F j ( i ) H k = 1 N r E H ( i B S ) H w k ( B S ) w k ( B S ) H H ( i B S ) F j ( i ) , j .
Next, using the fact that H ( i B S ) H w k ( B S ) = I K N t w k ( B S ) T h ( i B S ) * , where h ( i B S ) * is the vectorized version of H ( i B S ) H , we can set up the above optimization task as
maximize { F j ( 2 ) } F j ( i ) H k = 1 N r I K N t w k ( B S ) T R h ( iBS ) * I K N t w k ( B S ) T H F j ( i ) , j
where R h ( iBS ) * is the correlation matrix of h ( i B S ) * . The solution of the above task is well established and is given by the eigenvector that corresponds to the largest eigenvalue of matrix k = 1 N r I K N t w i l a r g f ( i B S ) T T R h ( iBS ) * I K N t w i ( i B S ) T H [42], that is,
F j ( i ) o p t = max   eigenvector k = 1 N r I K N t w k ( B S ) T R h ( iBS ) * I K N t w k ( B S ) T H .
This method of evaluating F j ( i ) o p t given in (26) will be repeated for all j (i.e., for all columns in F ( i ) o p t ) and all i (i.e., for all users i = 1 , 2 , , N u ).

5.2.2. Receive Beamforming Using G-RQ Method

In order to use the G-RQ solution for our task, let us consider the T t h dimensional received signal vector at the BS from user i via k t h receive AA (denoted as y k ( i B S ) ), and it can be stated as
y k ( i B S ) = w k ( B S ) H H ( i B S ) F ( i ) X ( i ) desired signal + κ κ + 1 w k ( B S ) H H l o s F ( B S ) X ( B S ) + 1 κ + 1 w k ( B S ) H H r p F ( B S ) X ( B S ) self - interference + w k ( B S ) H V ( B S ) noise .
Then, the statistical SINR for the i t h user signal at the BS via the k t h receive AA can be expressed as
E [ SINR k ( i B S ) ] = w k ( B S ) H T j = 1 N t C j ( i ) w k ( B S ) w k ( B S ) H T κ κ + 1 j = 1 N t C l o s ( B S ) j + T κ + 1 j = 1 N t C r p ( B S ) j + N t σ v 2 I w k ( B S ) .
where
C j ( i ) = I K N r F j ( i ) T R h ( i B S ) I K N r F j ( i ) T H , C l o s ( B S ) j = I K N r F j ( B S ) T h l o s h l o s H I K N r F j ( B S ) T H , a n d C r p ( B S ) j = I K N r F j ( B S ) T R h r p I K N r F j ( B S ) T H .
The G-RQ method for obtaining W ( B S ) can be formulated using the following constrained optimization task [40]:
maximize { w k ( B S ) } k = 1 N r E [ SINR k ( i B S ) ] subject to w k ( B S ) 2 = 1 .
The solution for this constrained optimization is well known [40] and is given by
w k ( B S ) o p t = max   eigenvector Q 1 P , i ,
where Q = T κ κ + 1 j = 1 N t C los j ( 1 ) + T κ + 1 j = 1 N t C rp ( 1 ) j + N t σ v ( 1 ) 2 I and P = T j = 1 N t C j ( 2 ) .
A pseudo-code for the proposed iterative statistical method (denoted as ISM) to obtain beamforming in the MS-STSK-based FD mmWave system is specified as Algorithm 1.
Algorithm 1 Pseudo-code for the ISM algorithm.
Require: Set the precision level ( p t h ) and criteria for the algorithm’s termination.
Require: Set the time index n = 0 .
    Compute transmit beamfomer weights F j ( i ) o p t , j using (26) to obtain F ( i ) o p t .
    Repeat the above step for all users, that is, evaluate F ( i ) o p t , i .
    Compute the receive beamformer weights w k ( B S ) o p t , k using (30) to obtain W ( B S ) o p t .
    Compute the objective function, i.e, J n = i = 1 N r E [ SINR i ] using (28).
     n = n + 1 .
    Evaluate J n using (28)
    if | J n J n 1 | p t h then
      update beamforming weights.
    else
      Termination condition = true.
    end if

6. Simulation Results

Here, we provide the simulation results to confirm our theoretical analysis for the MS-STSK-based FD mmWave system. For this purpose, we use MATLAB software to implement the system model defined in (2). The channel matrices H ( i B S ) and H S I are generated using (3)–(6). Here, the angles of arrival and departure ( ϕ r and ϕ t ) are obtained randomly using uniform random variables in the range [ 0 , 2 π ] . The cluster size ( N c { m , n } ) and the number of rays ( N ray { m , n } ) are set to unity for all m and n. The results of the simulation are calculated by averaging 400 different Monte Carlo simulations. In our experiments, we consider a total two number of users, i.e., N u = 2 .
First, we contrast user 1’s analytically calculated outage probability at the BS with the simulated one via Monte Carlo runs. For this purpose, the analytical outage probability is calculated using the derived expression in (20). In this particular experiment, the SNR value is kept at 20 dB. The antenna array size, the number of clusters, and the number of received antennas used are K = 10 , N c = 1 , and N r = 2 , respectively. The transmit and the receive beamformer weights (i.e., W ( B S ) and F ( i ) for all users (i = 1, 2) are generated randomly with complex entries. This comparison is reported in Figure 3 for three different values of the number of RF chains, that is, M = 2, M = 16, and M = 32. It can be easily depicted from the displayed results that the theoretical results match well with the simulations for all three values of M, which validates our derived analytical expressions for the outage probability.
Next, in Figure 4, the performance of the SQP-based proposed heuristic method is compared for various values of antenna arrays K (i.e., K = 3, 5, 7). The transmit and the receive beamfomer weights are initialized with random complex values. The SQP-based proposed heuristic method is then employed to solve the constrained optimization task of (23). It is evident that the suggested SQP-based solution has reduced the likelihood of an outage. Secondly, it can be observed that the optimization gain in terms of reduction in outage probability is almost identical for all values of K. In addition, it can be observed that the outage probability reduction is significant using the designed beamforming. For example, at the threshold value of γ = 2.5, the outage probability for K = 3 is reduced from 0.88 to 0.78, which is significant.
Finally, in Figure 5, we contrasted the proposed ISM algorithm’s performance with that of the SQP-based proposed heuristic method. For this experiment, we set the system parameters as used in Figure 3 except K = 3 and M = 16. It can be depicted from the result that both the proposed methods have minimized the outage probability as compared to the initial result. Additionally, it can be noticed that the proposed iterative ISM strategy has outperformed the proposed SQP-based heuristic approach. This may be due to the reason that the expression of outage probability is highly non-linear and non-convex, which makes it possible for the heuristic method to become trapped in a local minimum. Thus, it can be concluded that the proposed methods of beamforming design are capable of improving the system’s performance.

7. Conclusions

In this work, we used the characterization of the IQF ratio to obtain a closed-form formula for the outage probability in the MS-STSK-based FD mmWave communication system. Additionally, by minimizing the obtained outage probability expression, we created two statistical techniques for generating transmit and receive beamforming weights. Our theoretical analysis has been validated using simulation findings. The fact that the suggested approaches solely rely on channel data and do not require pilot broadcast for channel estimation makes them bandwidth-efficient, which is a significant advantage.

Author Contributions

Conceptualization, A.J.A., M.E.-H. and M.M.; methodology, A.J.A. and M.M.; software, A.J.A., S.X.N. and M.M.; validation, U.M.A.-S., A.J.A. and M.M.; formal analysis, A.J.A., M.E.-H. and U.M.A.-S.; investigation, S.X.N. and M.M.; resources, A.J.A. and U.M.A.-S. All authors have read and agreed to the published version of the manuscript.

Funding

This research work was funded by Institutional Fund Projects under grant No.: (IFPH: 117-135-2020). Therefore, the authors gratefully acknowledge technical and financial support from the Ministry of Education and King Abdulaziz University, DSR, Jeddah, Saudi Arabia.

Data Availability Statement

The data presented in this study are available on request from the corresponding author.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Alsabah, M.; Naser, M.A.; Mahmmod, B.M.; Abdulhussain, S.H.; Eissa, M.R.; Al-Baidhani, A.; Noordin, N.K.; Sait, S.M.; Al-Utaibi, K.A.; Hashim, F. 6g wireless communications networks: A comprehensive survey. IEEE Access 2021, 9, 148191–148243. [Google Scholar] [CrossRef]
  2. Hemadeh, I.; Satyanarayana, K.; El-Hajjar, M.; Hanzo, L. Millimeter-wave communications: Physical channel models, design considerations, antenna constructions and link-budget. IEEE Commun. Surv. Tutor. 2018, 20, 870–913. [Google Scholar]
  3. MacCartney, G.R.; Samimi, M.K.; Rappaport, T.S. Exploiting directionality for millimeter-wave wireless system improvement. In Proceedings of the 2015 IEEE International Conference on Communications (ICC), London, UK, 8–12 June 2015; pp. 2416–2422. [Google Scholar]
  4. Satyanarayana, K.; El-Hajjar, M.; Kuo, P.H.; Mourad, A.; Hanzo, L. Dual-function hybrid beamforming and transmit diversity aided millimeter wave architecture. IEEE Trans. Veh. Technol. 2018, 67, 2798–2803. [Google Scholar] [CrossRef] [Green Version]
  5. Hanzo, L.; El-Hajjar, M.; Alamri, O. Near-capacity wireless transceivers and cooperative communications in the mimo era: Evolution of standards, waveform design, and future perspectives. Proc. IEEE 2011, 99, 1343–1385. [Google Scholar] [CrossRef] [Green Version]
  6. Ishikawa, N.; Sugiura, S.; Hanzo, L. 50 years of permutation, spatial and index modulation: From classic rf to visible light communications and data storage. IEEE Commun. Surv. Tutor. 2018, 20, 1905–1938. [Google Scholar] [CrossRef] [Green Version]
  7. Mao, T.; Wang, Q.; Wang, Z.; Chen, S. Novel index modulation techniques: A survey. IEEE Commun. Surv. Tutor. 2019, 21, 315–348. [Google Scholar] [CrossRef] [Green Version]
  8. Sugiura, S.; Chen, S.; Hanzo, L. Space-time shift keying: A unified mimo architecture. In Proceedings of the Globecom, Miami, FL, USA, 6–10 December 2010; pp. 1–5. [Google Scholar]
  9. Sugiura, S.; Chen, S.; Hanzo, L. Generalized space-time shift keying designed for flexible diversity-, multiplexing- and complexity-tradeoffs. IEEE Trans. Wirel. Commun. 2011, 10, 1144–1153. [Google Scholar] [CrossRef] [Green Version]
  10. Hemadeh, I.A.; El-Hajjar, M.; Won, S.; Hanzo, L. Layered multi-group steered space-time shift-keying for millimeter-wave communications. IEEE Access 2016, 4, 3708–3718. [Google Scholar] [CrossRef]
  11. Bharadia, D.; McMilin, E.; Katti, S. Full duplex radios. ACM SIGCOMM 2013, 43, 375–386. [Google Scholar] [CrossRef]
  12. Everett, E.; Duarte, M.; Dick, C.; Sabharwal, A. Empowering full-duplex wireless communication by exploiting directional diversity. In Proceedings of the 2011 Conference Record of the Forty Fifth Asilomar Conference on Signals, Systems and Computers (ASILOMAR), Pacific Grove, CA, USA, 6–9 November 2011; pp. 2002–2006. [Google Scholar]
  13. Duarte, M.; Sabharwal, A. Full-duplex wireless communications using off-the-shelf radios: Feasibility and first results. In Proceedings of the Asilomar Conference on Signals, Systems and Computers (ASILOMAR), Pacific Grove, CA, USA, 7–10 November 2010; pp. 1558–1562. [Google Scholar]
  14. Sabharwal, A.; Schniter, P.; Guo, D.; Bliss, D.W.; Rangarajan, S.; Wichman, R. In-band full-duplex wireless: Challenges and opportunities. IEEE JSAC 2014, 32, 1637–1652. [Google Scholar] [CrossRef] [Green Version]
  15. Zhang, Z.; Long, K.; Vasilakos, A.V.; Hanzo, L. Full-duplex wireless communications: Challenges, solutions, and future research directions. Proc. IEEE 2016, 104, 1369–1409. [Google Scholar] [CrossRef]
  16. Satyanarayana, K.; El-Hajjar, M.; Kuo, P.; Mourad, A.; Hanzo, L. Hybrid beamforming design for full-duplex millimeter wave communication. IEEE Veh. Trans. Technol. 2019, 68, 1394–1404. [Google Scholar] [CrossRef] [Green Version]
  17. Alkhateeb, A.; Heath, R.W. Frequency selective hybrid precoding for limited feedback millimeter wave systems. IEEE Trans. Commun. 2016, 64, 1801–1818. [Google Scholar] [CrossRef] [Green Version]
  18. Lin, C.T.; Tseng, F.S.; Wu, W.R. MMSE transceiver design for full-duplex MIMO relay systems. IEEE Veh. Trans. Technol. 2017, 66, 6849–6861. [Google Scholar] [CrossRef]
  19. Sohrabi, F.; Yu, W. Hybrid analog and digital beamforming for mmwave OFDM large-scale antenna arrays. IEEE J. Sel. Areas Commun. 2017, 35, 1432–1443. [Google Scholar] [CrossRef] [Green Version]
  20. Liu, X.; Xiao, Z.; Bai, L.; Choi, J.; Xia, P.; Xia, X. Beamforming based full-duplex for millimeter-wave communication. Sensors 2016, 16, 1130. [Google Scholar] [CrossRef] [PubMed]
  21. Roberts, I.P.; Andrews, J.G.; Vishwanath, S. Hybrid Beamforming for Millimeter Wave Full-Duplex Under Limited Receive Dynamic Range. IEEE Trans. Wirel. Commun. 2021, 20, 7758–7772. [Google Scholar] [CrossRef]
  22. Luo, Z.; Zhang, X.; Gou, L.; Liu, H. Full-Duplex mmWave Communications With Robust Hybrid Beamforming. In Proceedings of the 2021 IEEE Global Communications Conference (GLOBECOM), Madrid, Spain, 7–11 December 2021. [Google Scholar]
  23. Roberts, I.P.; Chopra, A.; Novlan, T.; Vishwanath, S.; Andrews, J.G. Steer: Beam Selection for Full-Duplex Millimeter Wave Communication Systems. IEEE Trans. Commun. 2022, 70, 6902–6917. [Google Scholar] [CrossRef]
  24. Nasir, A.A.; Tuan, H.D.; Dutkiewicz, E.; Hanzo, L. Finite-Resolution Digital Beamforming for Multi-User Millimeter-Wave Networks. IEEE Trans. Veh. Technol. 2022, 71, 9647–9662. [Google Scholar] [CrossRef]
  25. Eltayeb, M.E.; Alkhateeb, A.; Heath, R.W.; Al-Naffouri, T.Y. Opportunistic beam training with analog/digital codebooks for mmwave systems. In Proceedings of the GlobalSIP, Orlando, FL, USA, 14–16 December 2015. [Google Scholar]
  26. Han, S.; Xu, C.-l.I.Z.; Rowell, C. Large-scale antenna systems with hybrid analog and digital beamformingfor millimeter wave 5G. IEEE Commun. Mag. 2015, 53, 186–194. [Google Scholar] [CrossRef]
  27. Dutta, S.; Barati, C.N.; Ramirez, D.; Dhananjay, A.; Buckwalter, J.F.; Rangan, S. A Case for Digital Beamforming at mmWave. Trans. Wirel. Commun. 2020, 19, 756–770. [Google Scholar] [CrossRef]
  28. Zhao, L.; Li, M.; Liu, C.; Hanly, S.V.; Collings, I.B.; Whiting, P.A. Energy Efficient Hybrid Beamforming for Multi-User Millimeter Wave Communication With Low-Resolution A/D at Transceivers. IEEE J. Sel. Areas Commun. 2020, 38, 2142–2155. [Google Scholar] [CrossRef]
  29. Kaushik, A.; Vlachos, E.; Tsinos, C.; Thompson, J.; Chatzinotas, S. Joint Bit Allocation and Hybrid Beamforming Optimization for Energy Efficient Millimeter Wave MIMO Systems. IEEE Trans. Green Commun. Netw. 2021, 5, 119–132. [Google Scholar] [CrossRef]
  30. Feng, C.; Shen, W.; Gao, X.; An, J.; Hanzo, L. Dynamic Hybrid Precoding Relying on Twin- Resolution Phase Shifters in Millimeter-Wave Communication Systems. IEEE Trans. Wirel. Commun. 2021, 20, 812–826. [Google Scholar] [CrossRef]
  31. Qi, C.; Ci, W.; Zhang, J.; You, X. Hybrid Beamforming for Millimeter Wave MIMO Integrated Sensing and Communications. IEEE Commun. Lett. 2022, 26, 1136–1140. [Google Scholar] [CrossRef]
  32. Borse, I.; Patil, H.D. A Novel Adaptive Beamforming Model for 5G Millimeter Wave Uplink Communication System. In Proceedings of the 2022 2nd International Conference on Artificial Intelligence and Smart Energy (ICAIS), Qinghai, China, 22–26 July 2022. [Google Scholar]
  33. Bogale, T.E.; Wang, X.; Le, L.B. Chapter 9-mmWave Communication Enabling Techniques for 5G Wireless Systems: A Link Level Perspective, mmWave Massive MIMO; Academic Press: London, UK, 2017; pp. 195–225. [Google Scholar]
  34. Ji, W.; Zhang, F.; Qiu, L. Multipath Extraction Based UL/DL Channel Estimation for FDD Massive MIMO-OFDM Systems. IEEE Access 2021, 9, 75349–75361. [Google Scholar] [CrossRef]
  35. Liu, H.; Lu, S.; El-Hajjar, M.; Yang, L. Machine learning assisted adaptive index modulation for mmwave communications. IEEE Open J. Commun. Soc. 2020, 1, 1425–1441. [Google Scholar] [CrossRef]
  36. Jiang, J.S.; Ingram, M.A. Spherical-wave model for short-range MIMO. IEEE Trans. Commun. 2005, 53, 1534–1541. [Google Scholar] [CrossRef]
  37. Al-Naffouri, T.Y.; Moinuddin, M.; Ajeeb, N.; Hassibi, B.; Moustakas, A.L. On the distribution of indefinite quadratic forms in gaussian random variables. IEEE Trans. Commun. 2016, 64, 153–165. [Google Scholar] [CrossRef] [Green Version]
  38. Hassan, A.K.; Moinuddin, M.; Al-Saggaf, U.M.; Al-Naffouri, T.Y. Performance analysis of beamforming in mu-mimo systems for rayleigh fading channels. IEEE Access 2017, 5, 3709–3720. [Google Scholar] [CrossRef] [Green Version]
  39. Ahmed, R.; Al-Saggaf, U.; Moinuddin, M.; Hassan, A.K. Mitigation of self-interference and multi-user interference in downlink multi-user MIMO system. IET Commun. 2017, 11, 2605–2612. [Google Scholar] [CrossRef]
  40. Hassan, A.K.; Moinuddin, M.; Al-Saggaf, U.M.; Aldayel, O.; Davidson, T.N.; Al-Naffouri, T.Y. Performance Analysis and Joint Statistical Beamformer Design for Multi-User MIMO Systems. IEEE Commun. Lett. 2020, 24, 2152–2156. [Google Scholar] [CrossRef]
  41. Lucidi, S. Recursive quadratic programming algorithm that uses an exact augmented lagrangian function. J. Optim. Theory Appl. 1990, 67, 227–245. [Google Scholar] [CrossRef]
  42. Goldsmith, A.; Jafar, S.A.; Jindal, N.; Vishwanath, S. Capacity limits of MIMO channels. IEEE J. Sel. Areas Commun. 2003, 21, 684–702. [Google Scholar] [CrossRef]
Figure 1. Block diagram of the MS-STSK modulator.
Figure 1. Block diagram of the MS-STSK modulator.
Mathematics 11 00433 g001
Figure 2. Point-to-point communication between Full Duplex BS with MS-STSK modulator/ demodulator and Half-Duplex user.
Figure 2. Point-to-point communication between Full Duplex BS with MS-STSK modulator/ demodulator and Half-Duplex user.
Mathematics 11 00433 g002
Figure 3. Validation of analytical results for the BS outage probability due to user 1 via Monte Carlo simulations.
Figure 3. Validation of analytical results for the BS outage probability due to user 1 via Monte Carlo simulations.
Mathematics 11 00433 g003
Figure 4. Performance of the proposed SQP-based method for K = 3 , 5 , 7 with N t = 2 and N r = 2 .
Figure 4. Performance of the proposed SQP-based method for K = 3 , 5 , 7 with N t = 2 and N r = 2 .
Mathematics 11 00433 g004
Figure 5. Performance comparison of the sum outage probabilities for the proposed methods.
Figure 5. Performance comparison of the sum outage probabilities for the proposed methods.
Mathematics 11 00433 g005
Table 1. Summary of Literature Review.
Table 1. Summary of Literature Review.
Task or ChallengeApproach and AssumptionsShortcomingsReference
Hybrid beamforming design for full-duplex mmWave communications   Constrained optimization approach using CSI   
  • MSTSK is not considered
  • Pilot transmission is required for estimating CSI
[16]  
Frequency selective hybrid precoding in mmWave communications   Constrained optimization approach using CSI   
  • MSTSK is not considered
  • Receive beamforming is not considered
  • Pilot transmission is required for estimating CSI
[17]  
Transceiver design for full-duplex MIMO relay systems   Minimum Mean Square Error (MMSE) minimization using CSI   
  • MSTSK is not considered
  • Pilot transmission is required for estimating CSI
[18]  
Hybrid beamforming for mmWave OFDM systems   Constrained optimization using CSI   
  • FD is not considered
  • MSTSK is not considered
  • Pilot transmission is required for estimating CSI
[19]  
Beamforming for full duplex mmWave communications   Throughput maximization with constrained optimization using CSI   
  • MSTSK is not considered
  • Pilot transmission is required for estimating CSI
[20,21,22,23]  
Finite-Resolution Digital Beamforming for mmWave communications  Sum rate maximization with sum power constraints using CSI   
  • MSTSK is not considered
  • Pilot transmission is required for estimating CSI
[24]  
Digital beamforming for mmWave communications   
  • Hierarchical beamforming with codebook design using CSI
  • Energy-efficiency optimization using CSI
  • FD is not considered
  • MSTSK is not considered
  • Pilot transmission is required for estimating CSI
[25,26,27,28,29,30,31,32]  
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Aljohani, A.J.; Moinuddin, M.; Al-Saggaf, U.M.; El-Hajjar, M.; Ng, S.X. Statistical Beamforming for Multi-Set Space–Time Shift-Keying-Based Full-Duplex Millimeter Wave Communications. Mathematics 2023, 11, 433. https://doi.org/10.3390/math11020433

AMA Style

Aljohani AJ, Moinuddin M, Al-Saggaf UM, El-Hajjar M, Ng SX. Statistical Beamforming for Multi-Set Space–Time Shift-Keying-Based Full-Duplex Millimeter Wave Communications. Mathematics. 2023; 11(2):433. https://doi.org/10.3390/math11020433

Chicago/Turabian Style

Aljohani, Abdulah Jeza, Muhammad Moinuddin, Ubaid M. Al-Saggaf, Mohammed El-Hajjar, and Soon Xin Ng. 2023. "Statistical Beamforming for Multi-Set Space–Time Shift-Keying-Based Full-Duplex Millimeter Wave Communications" Mathematics 11, no. 2: 433. https://doi.org/10.3390/math11020433

APA Style

Aljohani, A. J., Moinuddin, M., Al-Saggaf, U. M., El-Hajjar, M., & Ng, S. X. (2023). Statistical Beamforming for Multi-Set Space–Time Shift-Keying-Based Full-Duplex Millimeter Wave Communications. Mathematics, 11(2), 433. https://doi.org/10.3390/math11020433

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop