solutionSolutionsolutionfile \Opensolutionfilesolutionfile[StackedMIMOCapacity]
Achievable Rate Optimization for Stacked Intelligent Metasurface-Assisted Holographic MIMO Communications
Abstract
Stacked intelligent metasurfaces (SIM) is a revolutionary technology, which can outperform its single-layer counterparts by performing advanced signal processing relying on wave propagation. In this work, we exploit SIM to enable transmit precoding and receiver combining in holographic multiple-input multiple-output (HMIMO) communications, and we study the achievable rate by formulating a joint optimization problem of the SIM phase shifts at both sides of the transceiver and the covariance matrix of the transmitted signal. Notably, we propose its solution by means of an iterative optimization algorithm that relies on the projected gradient method, and accounts for all optimization parameters simultaneously. We also obtain the step size guaranteeing the convergence of the proposed algorithm. Simulation results provide fundamental insights such the performance improvements compared to the single-RIS counterpart and conventional MIMO system. Remarkably, the proposed algorithm results in the same achievable rate as the alternating optimization (AO) benchmark but with a less number of iterations.
Index Terms:
Holographic MIMO (HMIMO), stacked intelligent metasurfaces (SIM), reconfigurable intelligent surface (RIS), gradient projection, 6G networks.I Introduction
The need for sixth-generation (6G) cellular networks has appeared on the horizon of the wireless network evolution [1]. Their extreme targets require vast improvements on data rates and latency together with wider connectivity to cover the explosive proliferation of the Internet-of-Everything (IoE), such as virtual/augmented reality (VR/AR) and the increase in connected devices. In particular, the latter is expected to reach million by [2]. Various technologies such as massive multiple-input multiple-output (mMIMO) and millimeter wave (mmWave) communications that have been suggested in recent years that require low energy consumption and can achieve high data rates, but they concern transceiver features without being able to shape the propagation channel with its stochastic characteristics that limit the performance [3].
Two possible approaches that solve the aforementioned issues are the proposed 6G-enabled technologies, reconfigurable intelligent surfaces (RIS) [4, 5, 6, 7], and holographic multiple-input multiple-output (HMIMO) Communications [8]. Specifically, RIS and its various equivalents have been proposed to realize smart reconfigurable environments [4]. A RIS is a planner metasurface equipped with a large number of nearly passive elements that induce phase shifts and/or amplitude attenuation to the im**ing waves through a smart controller. Also, optimization of the reflected signals enable us to control the interaction of the reflection characteristics with the surrounding objects. RIS performance gains have been studied under various system and channel setups, but most works have focused on single-input single-output (SISO) or multiple-input single-output (MISO) systems with single-antenna receivers [9, 10, 11, 12, 6, 13, 14, 15, 16], while the research on RIS-assisted MIMO assisted is limited [17, 18]. In particular, the study of the capacity limit of RIS-assisted MIMO systems requires the joint optimization of the RIS phase shifts and MIMO transmit covariance matrix [19, 20]. It is worthwhile to mention that since RISs do not require active transmitter radio frequency (RF) chains, they can be densely implemented with low energy consumption and low cost [5]. However, single-layer RIS designs are not capable of implementing advanced MIMO functionalities because of hardware limitations and suffer from severe path-loss attenuation.
On the ground of mMIMO systems with its improvements on spectral and energy efficiencies and their other benefits such as reduced latency [21], HMIMO has emerged as a new concept describing possibly the next MIMO generation [8, 22]. For example, in [23], a large intelligent surface (LIS) including a massive number of elements it was shown that great improvements are expected. The fundamental limits of HMIMO systems were characterised in [24] by suggesting correlated random Gaussian fading for the far field. In the case of arbitrary scattering environments a Fourier plane-wave series-based expansion of the HMIMO channel response was developed in [25]. In [26], a channel estimation scheme was proposed for arbitrary spatial correlation matrices. However, HMIMO have the disadvantages of excessive hardware cost and energy consumption because they are implemented by a large number of active components.
Recently, not only stacked intelligent metasurfaces (SIMs) have been proposed where multiple surfaces are cascaded [27, 28], but SIMs were integrated with the transceiver to implement HMIMO communications in [29]. It was shown that a SIM can implement signal processing in the electromagnetic (EM) wave regime. The motivation behind this work was to substitute the exprensive active elements at the tranceiver by exploiting the technology of programmable metasurfaces. In [23, 8], single-layer surfaces were used but the multilayer surface design is more advantageous for enhancing the spatial-domain gain by forming diverse waveforms with high accuracy.
From theoretical and practical standpoints, it is crucial to optimise the achievable rate for RIS-assisted systems. Hence, various optimization methods have been suggested in prior works, which aim to find near-optimal solutions obeying to reasonable run time and computational complexity. Most of these works considered single-antenna receive devices and relied on the alternating optimization (AO) method which optimises the transmit beamformer and the RIS phase shifts in an alternating way [12, 6]. For example, in [12], the gradient method was employed in an AO fashion to optimize the phase shifts. Other examples of AO-based works on RIS-assisted MIMO communication are [30, 31, 19, 20]. In [30], a RIS was optimized to increase the rank of the channel matrix. In [31], the optimization took place in an indoor mmWave environment. Moreover, in [19], the achievable rate of RIS-assisted multi-stream MIMO was maximized by using the AO method. However, AO-based methods require possibly many iterations to converge, which increase with the size of the RIS. Note that this is the case, where a RIS is more beneficial in practice. Contrary to this background, a joint optimization of the RIS elements and the transmit covariance matrix in [20], where an iterative projected gradient method was proposed.
Contributions: Motivated by the above observations, the topic of this paper concerns the study of SIM-enabled HMIMO systems by optimising simultaneously all parameters of the joint optimization problem to reduce the convergence time compared to an AO approach. Contrary to [29], which considers a full analog SIM-enabled HMIMO architecture by means of an AO approach we focus on a more general hybrid digital and wave design that also applies a more efficient algorithm optimizing all relevant parameters simultaneously. Compared to [20] and [14], which assumed a conventional RIS-assisted system and a STAR-RIS system, where two parameters are optimized simultaneously, we consider a general SIM-enabled system, where we optimize three key parameters simultaneously. Our main contributions are summarised as follows.
-
•
We maximise the achievable rate of a multi stream HMIMO system equipped with a SIM at the transmitter and a SIM at the receiver. To this end, we formulate the joint optimization problem of the transmit covariance matrix, and the RIS phase shift values of each surface at the transmitter and the receiver SIMs.
-
•
We propose an iterative projected gradient approach, which solves the underlying nonconvex problem. Also, we derive the gradients and the projection expressions for all parameters in closed-forms. Moreover, we show that the proposed approach converges to a critical point.
-
•
We determine the appropriate step size that makes the proposed algorithm to converge by deriving first the Lipschitz constant.
-
•
Simulation and analytical results coincide and show that both the proposed approach and the AO method result in the same rate but our approach achieves it with a substantially lower number of iterations. Furthermore, the proposed approach has remarkably lower computational complexity with respect to the AO method.
Paper Outline: The structure of this papers follows. Section II presents the system model and the problem formulation of a SIM-assisted HMIMO system. Section III presents the simultaneous optimization of the achievable rate with respect to all its parameters. Section LABEL:convergence provides the convergence and complexity analyses. In Section LABEL:Numerical, we provide the numerical results, and Section VI concludes the paper.
Notation: Vectors and matrices are denoted by boldface lower and upper case symbols, respectively. The notations , , and describe the transpose, Hermitian transpose, and trace operators, respectively. Moreover, the notations and express the argument function and the expectation operator, respectively. The notation describes a vector with elements equal to the diagonal elements of , the notation describes a diagonal matrix whose elements are , while describes a circularly symmetric complex Gaussian vector with zero mean and a covariance matrix .
II System Model and Problem Formulation
II-A System Model
We consider a SIM-assisted HMIMO, where the transmitter and the receiver have and antennas, respectively, while each of them is assisted by a SIM as shown in Fig. 1. Specifically, each SIM consists of a closed vacuum container having several stacked metasurface layers [27]. The operation requires a customized field programmable gate array (FPGA), or generally a smart controller, which can adjust the phase shift of the EM waves im**ing on each meta-atom. Hence, a customized spatial waveform shape at the output of each metasurface layer is automatically produced as the transmit signals propagate through the SIM. The EM waves can be transmitted from the output metasurface of the transmitter SIM into the ether, and then, acquired by the receiver SIM, i.e., HMIMO communication can be supported while by leveraging the SIM-based analog beamforming to approach its digital counterpart. In particular, the transmitter SIM plays the role of the precoder by sending the information-bearing EM wave through the ether to the receiver SIM, which can combine the received EM to recover the transmitted signal. In other words, precoding and combining take place partially in the wave domain [29].
According to Fig. 1, which illustrates the SIM-assisted HMIMO system supporting precoding and combining in the wave domain, we rely on the SIM design proposed in [29]. Specifically, we denote the number of metasurface layers at the transmitter and the number of metasurface layers at the receiver, while and represent their sets, respectively. Without any loss of generality, we assume that each metasurface layer at the transmitter and the receiver consists of an identical number of meta-atoms. In particular, we denote and the number of meta-atoms on each metasurface layer at the transmitter SIM and receiver SIM, respectively. The respective sets are denoted as and . On this ground, we denote the phase shift by meta-atom on the transmit metasurface layer with being the respective transmission coefficient. The transmission coefficient matrix, associated with the -th transmit layer, is denoted by , where . Similarly, we denote the phase shift by meta-atom on the receive metasurface layer with being the corresponding transmission coefficient. The -th receive coefficient matrix is denoted by , where .
Remark 1
In this work, we assume continuously-adjustable phase shifts and constant modulus equal to to assess the performance of SIM-assisted HMIMO communications while maximizing the achievable rate as in [9]. Practical issues such as the assumption of coupled phase and magnitude [32] and the consideration of discrete phase shifts [27] will be studied in future work.
Remark 2
Note that our hybrid digital and wave architecture employing multiple-layer SIM significantly outperforms the conventional hybrid benchmarks whose performance is constrained by analog components, e.g., constant- modulus phase shifters. Remarkably, our hybrid architecture may approach the performance of an all-digital system, while the number of RF chains reduces from to .
With all metasurface layers having an isomorphic lattice arrangement [27], we model each surface as a uniform planar array, where the element spacing between the th and th meta-atoms on the same transmit metasurface is given by [29]
(1) |
with expressing the element spacing between adjacent meta-atoms on the same transmit metasurface. Moreover, and correspond to the th meta-atom along the -axis and the -axis, respectively, which are given by
(2) |
with being the highest number of meta-atoms included on each row of the transmit surface. In a similar way, the element spacing between the th meta-atom and the th one on the same receive metasurface can be described as
(3) |
where expresses the element spacing between adjacent meta-atoms on the same receive metasurface with and describing the indices of the th meta-atom along the -axis and the -axis, respectively. These indices are given by
(4) |
where is the maximum number of meta-atoms on each row of the receive metasurface. For the sake of simplicity, we assume square surfaces at both the transmitter and receiver sides, i.e., and .
By assuming uniform spacing among all surfaces and that all surfaces are parallel for the sake of simplicity, we define the transmission distance from meta-atom on the transmit metasurface to meta-atom on the transmit metasurface as
(5) |
where is the spacing between any two adjacent metasurfaces at the transmitter SIM with describing the thickness of the transmitter SIM.
Similarly, we define the distance from meta-atom on the receive metasurface to meta-atom on the receive metasurface as
(6) |
where is the spacing between any two adjacent metasurfaces at the receiver SIM with describing the thickness of the receiver SIM.
In addition, by assuming that the centers of the transmit and receive antenna arrays are aligned with the centers of all metasufaces while both antenna arrays are arranged in a uniform linear array with element spacing , the distances from the th source to the th meta-atom on the input metasurface of the transmitter SIM and from th meta-atom on the output metasurface of the receiver SIM to the th destination are provided by (7) and (8), respectively.
(7) | ||||
(8) |
II-B Channel Model
Regarding the transmission coefficient from meta-atom on the transmit metasurface layer to meta-atom on the transmit metasurface layer , provided by the Rayleigh-Sommerfeld diffraction theory [33], it is given by
(9) |
where denotes the meta-atom area at the transmitter SIM, is the angle between the propagation direction and the normal direction of the transmit metasurface layer , and , is the respective transmission distance. Hence, the effect of the transmitter SIM can be written as
(10) |
where is the transmission coefficient matrix between the transmit metasurface layer and the transmit metasurface layer , while is the transmission coefficient matrix from the transmit antenna array to the input metasurface layer of the transmit SIM.
In the case of the transmission coefficient from meta-atom on the receive metasurface layer to the meta-atom on the receive metasurface layer , it is given by
(11) |
where is the meta-atom area in the receiver SIM, is the angle between the propagation direction and the normal direction of the receive metasurface layer , and is the corresponding transmission distance. Thus, the effect of the receiver SIM is expressed by
(12) |
where is the transmission coefficient matrix between the receive metasurface layer to the receive metasurface layer , and is the transmission coefficient matrix from the output metasurface layer of the receiver SIM to the receive antenna array.
Remark 3
Practical hardware imperfections such as innate modeling errors [27] may lead to deviation of the transmission coefficients between adjacent metasurface layers from those given by (9) and (11). In this case, calibration of these coefficients is necessary for each individual SIM. Although the calibration process is beyond the scope of this work, one solution suggests measuring the response at the receive panel after the transmission of a known signal as mentioned in [29]. Next, update of the transmission coefficients could take place after applying the standard error back-propagation algorithm [34].
Concerning the HMIMO channel between the transmitter and receiver SIMs, it is written as [35]
(13) |
where denotes the independent and identically distributed (i.i.d.) Rayleigh fading channel, is the spatial correlation matrix at the transmitter SIM, and is the spatial correlation matrix at the receiver SIM. Note that corresponds to the average path loss between the transmitter and receiver SIMs. In particular, in the case of isotropic scattering and far-field propagation [24, 36], the spatial correlation matrices at the transmitter and receiver SIMs are given by [26]
(14) | ||||
(15) |
respectively.
The path loss ,which attenuates the received signal is given by [37]
(16) |
where is a Gaussian random variable with a zero mean and a standard deviation that depends on shadow fading, is the path loss exponent, and denotes the free space path loss at the reference distance .
The received signal vector at the destination is given by
(17) |
where is the transmit signal vector, is the noise vector distributed as , and is the end-to-end channel that can be written as
(18) |
We assume that , where is the maximum average transmit power. Also, we denote , where is the transmit covariance matrix. Note that the transmit power constraint can be rewritten as .
Remark 4
Please allow us to elaborate by mentioning that to the best of our knowledge, this is the first paper to leverage the hybrid digital and wave-based beamforming design. Hence, we focus on the point-to-point MIMO case and assume the channels associated with different meta-atoms have been estimated by existing methods, e.g., [38].
Remark 5
We highlight that the SIM aims to approach fully digital systems. The network performance and time-varying channel on point-to-point MIMO under the fully digital architecture have been well studied. Extending the proposed method to multicell networks relying on existing works, e.g., [39] is straightforward and would motivate future research. For example, in [40, 41] the authors have evaluated the performance of SIM under multiuser scenarios, demonstrating the capability of suppressing interference by leveraging the wave-based beamforming.
Remark 6
Furthermore, the time-varying channel condition would result in the wave-based beamforming design under imperfect or outdated CSI [6]. This requires the robust beamforming design by extending the proposed optimization method, which is beyond the scope of this paper and left for our future research.
II-C Problem Formulation
In this work, we aim at maximizing the achievable rate of the SIM-assisted HMIMO wireless communication system. For a given covariance matrix , assuming Gaussian signaling, the achievable rate can be written as
(19) |
where is perfectly known at both the transmitter and the receiver, and depends on and .
Mathematically, the optimization problem can be formulated as
(20a) | |||
(20b) | |||
(20c) | |||
(20d) | |||
(20e) | |||
(20f) |
where we have denoted .
III Achievable Rate Optimization
We observe that problem is nonconvex with an objective function being neither concave nor convex with respect to its variables and with non-convex constant modulus constraints. Hence, contrary to conventional MIMO systems, the water-filling algorithm cannot be used to obtain the maximum achievable rate. Also, previous proposed optimization methods on RIS-assisted systems have relied on the alternating optimization (AO) [9, 19], where the covariance matrix and the RIS phase shifts are optimized separately in an alternating fashion. However, despite the easy implementation of the AO method, its convergence may require many iterations, which increase with the number of RIS elements [20]. Given that SIM-assisted HMIMO systems suggest a case, where each metasurface has a large number of elements, AO is not recommended. These observations motivate us to propose to apply an efficient projected gradient method similar to [42, 20], where the covariance matrix and the phase shifts at the transmitter and receiver SIMs are optimized simultaneously.
III-A Proposed Algorithm
According to the proposed approach, we perform a simultaneous optimization of all variables in each iteration instead of optimizing them a single variable at a time. Section LABEL:Numerical will demonstrate the faster convergence compared to the AO method.
We outline the proposed algorithm solving (20) in Algorithm 1. The central concept assumes to start from an arbitrary point , and move towards , i.e., the gradient of . The parameter for determines the step of this move.
For the description of the proposed algorithm, we make use of the following sets.
(20u) | ||||
(20v) | ||||
(20w) |
Note that before each step towards the gradient of , the newly computed points are projected onto their feasible sets , , and , respectively. Otherwise, the ensuing updated point may be found outside of the feasible set. Below, we provide , , and , which correspond to the directions where the rate of change of becomes maximum [43, Theorem3.4].
Note that , , and denote the projections onto , , and , respectively.
III-B Complex-Valued Gradients of
In this subsection, we provide the gradients of .
Lemma 1
The gradients of with respect to , , and are given by
In Fig. III-B.(a), we depict the convergence of the proposed algorithm, i.e., Algorithm 1. Specifically, we have drawn the achievable rate of the proposed SIM-assisted HMIMO versus the number of iterations for various sets of meta-atoms per metasurface. Notably, we observe the fast convergence of the algorithm in all cases. For example, when , the algorithm converges in iterations. Furthermore, we notice that by increasing the number of meta-atoms, more iterations are required to reach convergence. The reason behind this observation is that the amount of optimization variables increases and the relevant search space is enlarged. Apart from this, we note that these increases, i.e., in terms of the number of meta-atoms lead to higher complexity of each iteration of Algorithm 1 as mentioned in Sec. III. Furthermore, it is shown that the gradient-based optimization method converges quickly to the optimum rate, while the AO method requires many iterations. Note that as the parameter values increase, the AO method approaches the optimum rate slower.
In addition, the non-convexity of the optimization problem means that its result depends on the initial point. In other words, different initial points lead to different locally optimal solutions. Fig. III-B.(b) explores this dependence on the initialization by executing the algorithm for channel realizations. According to its description, the initialization of Algorithm 1 assumes that , . “Alg. 1-Test” in the figure considers the best initial point out of random initial points for each channel instance. The figure reveals that different initializations lead to different solutions. Also, it is shown that the achievable rate in both cases is almost the same. This means that the selection of these initial values for initialization is a good decision. In the same figure, we have plotted the case corresponding to different step sizes during the optimization of the three variables, where and with . As can be seen, in this case, the optimal value is achieved sooner.
In practice, we do not wait an optimization algorithm to reach a critical point but a close value. For this reason, in the following table, we present the computational complexity between the proposed projected gradient ascent method and the AO method to acquire an achievable rate that is equal to of the average achievable rate at the th iteration. The complexity of the AO is characterized in terms of the number of outer iterations , which is required to obtain the optimal achievable rate. Note that one outer iteration is actually a sequence of conventional iterations, where , , and . is the computational complexity per iteration while expresses the number of iterations required to obtain the optimal achievable rate. Their product results in the total computational complexity of the proposed projected gradient ascent method. The computational complexity of the AO is described by Table I presents the computational complexity of the proposed algorithm and the AO method for varying . We observe that becomes larger with an increase of . Moreover, the computational complexity of AO increases in proportion to . However, as can be seen, the complexity in the AO case is greater than the proposed algorithm.
5 | 97 | 11357 | 1101629 | 1 | 1648395 |
25 | 86 | 20114 | 1729804 | 1 | 2793758 |
60 | 71 | 32646 | 2317866 | 1 | 3594682 |
100 | 62 | 51476 | 3208252 | 1 | 4732857 |
In Fig. 3, we show the achievable rate versus the number of transmit metasurfaces layers for layers of receive metasurfaces, and we focus on the impact of optimizing the phase shifts of the SIMs. The case of optimal phase shifts achieves the best performance, while the cases random phase shifts and equal phase shifts achieve lower rate. In particular, the line, corresponding to equal phase shifts, presents the worst performance.
In Fig. 4, we depict the achievable rate versus the number of transmit metasurfaces layers while varying the number of receiver metasurface layers . We observe that the achievable rate saturates as the number of transmit metasurface layers increases, i.e., . Also, it is shown that after a certain number of metasurfaces, the system approaches the rate obtained with only digital precoding. Digital precoding (conventional MIMO system) has been implemented for the sake of comparison. Of course, care should be taken regarding the thickness of the SIM since densely implemented metasurfaces may lead to performance loss. This can be met if their number is increased after a threshold. Notably, under these values, by increasing and after and , respectively, does not improve the achievable rate.
In Fig. III-B.(a), we illustrate the achievable rate versus the number of meta-atoms per transmit layer. As can be seen, the rate increases monotonically when the number of meta-atoms increase at the transmitter and receiver SIMs. Moreover, it is better to employ the receiver SIM with more meta-atoms per surface. For example, the case performs better than . In Fig. III-B.(b), we show the achievable rate versus the number of transmit antennas for varying number of meta-atoms . The rate saturates for large values of data streams due to increasing multiplexing gain. Moreover, as the number of meta-atoms increase, the rate is improved.
VI Conclusion
In this paper, we proposed a SIM-assisted HMIMO communication system, where the transmitter and the receiver are implemented by SIMs that enhance the wave-based analog precoding and combining. Specifically, we formulated the achievable rate problem, and we proposed an efficient gradient ascent algorithm that optimizes the covariance matrix of the transmitted signal and the SIM phase shifts at both sides of the transceiver simultaneously. Moreover, we obtained a Lipschitz constant guaranteeing the convergence of the proposed iterative algorithm. Numerical results confirmed that the proposed algorithm requires a lower number of iterations compared to the usually used AO approach. Finally, we showed the outperformance of the architecture with respect to its single-RIS counterpart and conventional MIMO system.
Appendix A Proof of Lemma 1
For the derivation of , we start by deriving first its differential. We have
(20bg) | ||||
(20bh) |
where, in (20bg), we have applied the property , and in (20bh), we have applied the property . Note that we have denoted .
From (20bh), we obtain by applying the suitable property from [43, Table 3.2]. Hence, we obtain
(20bi) | ||||
(20bj) | ||||
(20bk) | ||||
(20bl) |
where, in the last step, we have used that .
For the derivation of , we focus on its differential. We have
(20bm) | |||
(20bn) |
From (18), it is easy to check that
(20bo) |
where . Also, the differential of (10) can be written as
(20bp) |
Substituting (20bp) and (20bo) into (20bn), we obtain
(20bq) |
where
(20br) |
Now, using the property for any matrices with being a diagonal matrix, (20bq) becomes
From (A), we can conclude that
Appendix B Proof of Proposition LABEL:proposition1
During the proof, we will use the following inequalities
(20bt) | ||||
(20bu) |
where is the largest singular value of . Also, we have , and , which gives
(20bv) |
The first term of (20bw) can be upper-bounded as
(20bx) |
where, in (20bx), we have used (LABEL:bg), (LABEL:Eqf), and (20bv).
We upper bound the second term in (20bx) as
(20by) | |||
(20bz) |
where, in (20by), we have used (LABEL:bg) and (LABEL:Eqd).
The second term in (20bz) becomes
(20cb) | |||
(20cc) | |||
(20cd) |
Using (LABEL:gradient2), we obtain
(20cg) | |||
(20ch) | |||
(20ci) | |||
(20cj) |
where, in (20cg), we have used that . In (20ch), we have used (20bv), (LABEL:al), and (LABEL:bg).
We upper-bound the first term on the right-hand side of (20cj) as
(20ck) |
where we have used (LABEL:Eqd).
The second term of (20cj) can be written
(20cl) | |||
(20cm) | |||
(20cn) |
The first term in (20cn) can be written as
(20co) |
where we have used (LABEL:Eqc).
Next, the second term in (20cn) becomes
(20cp) | |||
(20cq) | |||
(20cr) | |||
(20cs) |
where, in (20cp), we have used (LABEL:Eqd). In (20cq), we have inserted (18).
The first term in (20cs) becomes
(20ct) |
where we have used (LABEL:Eqf). The second term in (20cs) yields
(20cu) |
The inequality regarding can be written as
(20cy) |
In a similar way, we can upper bound the previous inequality. We omit the details due to limited space. Hence, we conclude the proof.
Appendix C Proof of Theorem LABEL:Theorem1
Appendix D Proof of Theorem LABEL:Theorem2
The point can be projected onto according to the following equation.
(20db) |
In the case of , we meet that the objective is , which means that
(20dc) |
Similarly, we obtain
(20dd) | |||
(20de) |
Now, applying the following inequality
(20df) |
which holds for any -smooth function , we obtain
(20dg) |
where, in the first inequality, we have applied Theorem 1.
From the above equation, when for , we observe that . Now, we denote the value of at all accumulation points, and we write (20dg) as
(20dh) |
which gives
(20di) |
Given that for , we result in
(20dj) | ||||
(20dk) | ||||
(20dl) |
The condition in (20db), concerning optimality, can be written as
(20dm) |
Similar inequalities hold for the other two parameters and .
In the case of and , similar observations hold, which signifies that is a critical point of Problem , and this concludes the proof.
References
- [1] K. B. Letaief et al., “The roadmap to 6G: AI empowered wireless networks,” IEEE Commun. Mag., vol. 57, no. 8, pp. 84–90, 2019.
- [2] S. Dang et al., “What should 6G be?” Nature Electronics, vol. 3, no. 1, pp. 20–29, 2020.
- [3] J. G. Andrews et al., “What will 5G be?” IEEE J. Sel. Areas Commun., vol. 32, no. 6, pp. 1065–1082, 2014.
- [4] M. Di Renzo et al., “Smart radio environments empowered by reconfigurable intelligent surfaces: How it works, state of research, and the road ahead,” IEEE J. Sel. Areas Commun., vol. 38, no. 11, pp. 2450–2525, 2020.
- [5] Q. Wu and R. Zhang, “Towards smart and reconfigurable environment: Intelligent reflecting surface aided wireless network,” IEEE Commun. Mag., vol. 58, no. 1, pp. 106–112.
- [6] A. Papazafeiropoulos et al., “Intelligent reflecting surface-assisted MU-MISO systems with imperfect hardware: Channel estimation and beamforming design,” IEEE Trans. Wireless Commun., vol. 21, no. 3, pp. 2077–2092, 2021.
- [7] ——, “Cooperative RIS and STAR-RIS assisted mMIMO communication: Analysis and optimization,” vol. 72, no. 9, pp. 11 975–11 989.
- [8] C. Huang et al., “Holographic MIMO surfaces for 6G wireless networks: Opportunities, challenges, and trends,” IEEE Wireless Commun., vol. 27, no. 5, pp. 118–125, 2020.
- [9] Q. Wu and R. Zhang, “Intelligent reflecting surface enhanced wireless network via joint active and passive beamforming,” IEEE Trans. Wireless Commun., vol. 18, no. 11, pp. 5394–5409, 2019.
- [10] E. Björnson, Ö. Özdogan, and E. G. Larsson, “Intelligent reflecting surface versus decode-and-forward: How large surfaces are needed to beat relaying?” vol. 9, no. 2, pp. 244–248.
- [11] Y. Yang et al., “Intelligent reflecting surface meets OFDM: Protocol design and rate maximization,” IEEE Trans. Commun., vol. 68, no. 7, pp. 4522–4535, 2020.
- [12] M.-M. Zhao et al., “Intelligent reflecting surface enhanced wireless networks: Two-timescale beamforming optimization,” IEEE Trans. Wireless Commun., vol. 20, no. 1, pp. 2–17, 2020.
- [13] X. Mu et al., “Simultaneously transmitting and reflecting (STAR) RIS aided wireless communications,” IEEE Trans. Wireless Commun., vol. 21, no. 5, pp. 3083–3098, 2021.
- [14] A. Papazafeiropoulos et al., “Achievable rate of a STAR-RIS assisted massive MIMO system under spatially-correlated channels,” IEEE Trans. Wireless Commun., pp. 1–1, 2023.
- [15] A. Papazafeiropoulos, P. Kourtessis, and S. Chatzinotas, “Max-Min SINR analysis of STAR-RIS assisted massive MIMO systems with hardware impairments,” IEEE Trans. Wireless Commun., pp. 1–1, 2023.
- [16] A. Papazafeiropoulos et al., “STAR-RIS assisted cell-free massive MIMO system under spatially-correlated channels,” pp. 1–16.
- [17] C. Pan et al., “Multicell MIMO communications relying on intelligent reflecting surfaces,” IEEE Trans. Wireless Commun., vol. 19, no. 8, pp. 5218–5233, 2020.
- [18] J. Ye, S. Guo, and M.-S. Alouini, “Joint reflecting and precoding designs for SER minimization in reconfigurable intelligent surfaces assisted MIMO systems,” IEEE Trans. Wireless Commun., vol. 19, no. 8, pp. 5561–5574, 2020.
- [19] S. Zhang and R. Zhang, “Capacity characterization for intelligent reflecting surface aided MIMO communication,” IEEE J. Sel. Areas Commun., vol. 38, no. 8, pp. 1823–1838.
- [20] N. S. Perović et al., “Achievable rate optimization for MIMO systems with reconfigurable intelligent surfaces,” IEEE Trans. Wireless Commun., vol. 20, no. 6, pp. 3865–3882, 2021.
- [21] T. L. Marzetta et al., Fundamentals of Massive MIMO. Cambridge University Press, 2016.
- [22] Z. Wan et al., “Terahertz massive MIMO with holographic reconfigurable intelligent surfaces,” IEEE Trans. Commun., vol. 69, no. 7, pp. 4732–4750, 2021.
- [23] S. Hu, F. Rusek, and O. Edfors, “Beyond massive MIMO: The potential of data transmission with large intelligent surfaces,” IEEE Trans. Signal Process., vol. 66, no. 10, pp. 2746–2758, 2018.
- [24] A. Pizzo, T. L. Marzetta, and L. Sanguinetti, “Spatially-stationary model for holographic MIMO small-scale fading,” IEEE J. Sel. Areas Commun., vol. 38, no. 9, pp. 1964–1979, 2020.
- [25] A. Pizzo, L. Sanguinetti, and T. L. Marzetta, “Fourier plane-wave series expansion for holographic MIMO communications,” IEEE Trans. Wireless Commun., vol. 21, no. 9, pp. 6890–6905, 2022.
- [26] Ö. T. Demir, E. Björnson, and L. Sanguinetti, “Channel modeling and channel estimation for holographic massive MIMO with planar arrays,” IEEE Wireless Commun. Let., vol. 11, no. 5, pp. 997–1001, 2022.
- [27] C. Liu et al., “A programmable diffractive deep neural network based on a digital-coding metasurface array,” Nature Electronics, vol. 5, no. 2, pp. 113–122, 2022.
- [28] J. An et al., “Stacked intelligent metasurfaces for multiuser beamforming in the wave domain,” networks, vol. 7, p. 13, 2023.
- [29] ——, “Stacked intelligent metasurfaces for efficient holographic MIMO communications in 6G,” IEEE J. Sel. Areas Commun., 2023.
- [30] Ö. Özdogan, E. Björnson, and E. G. Larsson, “Using intelligent reflecting surfaces for rank improvement in MIMO communications,” in ICASSP 2020-2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2020, pp. 9160–9164.
- [31] N. S. Perović, M. Di Renzo, and M. F. Flanagan, “Channel capacity optimization using reconfigurable intelligent surfaces in indoor mmWave environments,” in ICC 2020-2020 IEEE International Conference on Communications (ICC). IEEE, 2020, pp. 1–7.
- [32] S. Abeywickrama et al., “Intelligent reflecting surface: Practical phase shift model and beamforming optimization,” IEEE Trans. Commun., vol. 68, no. 9, pp. 5849–5863, 2020.
- [33] X. Lin et al., “All-optical machine learning using diffractive deep neural networks,” Science, vol. 361, no. 6406, pp. 1004–1008, 2018.
- [34] Y. LeCun, Y. Bengio, and G. Hinton, “Deep learning,” Nature, vol. 521, no. 7553, pp. 436–444, 2015.
- [35] X. Hu et al., “Holographic beamforming for ultra massive MIMO with limited radiation amplitudes: How many quantized bits do we need?” IEEE Commun. Let., vol. 26, no. 6, pp. 1403–1407, 2022.
- [36] L. Dai et al., “Reconfigurable intelligent surface-based wireless communications: Antenna design, prototy**, and experimental results,” IEEE Access, vol. 8, pp. 45 913–45 923, 2020.
- [37] T. S. Rappaport et al., “Wideband millimeter-wave propagation measurements and channel models for future wireless communication system design,” IEEE Trans. Commun., vol. 63, no. 9, pp. 3029–3056, 2015.
- [38] Q.-U.-A. Nadeem, J. An, and A. Chaaban, “Hybrid digital-wave domain channel estimator for stacked intelligent metasurface enabled multi-user MISO systems,” arXiv preprint arXiv:2309.16204.
- [39] H. ElSawy et al., “Modeling and analysis of cellular networks using stochastic geometry: A tutorial,” IEEE Commun. Surveys Tuts., vol. 19, no. 1, pp. 167–203, 2017.
- [40] J. An et al., “Stacked intelligent metasurfaces for multiuser downlink beamforming in the wave domain.”
- [41] ——, “Stacked intelligent metasurface-aided MIMO transceiver design.”
- [42] H. Li and Z. Lin, “Accelerated proximal gradient methods for nonconvex programming,” Advances in neural information processing systems, vol. 28, 2015.
- [43] A. Hjørungnes, Complex-Valued Matrix Derivatives: With Applications in Signal Processing and Communications. Cambridge University Press, 2011.
- [44] T. M. Pham, R. Farrell, and L.-N. Tran, “Revisiting the MIMO capacity with per-antenna power constraint: Fixed-point iteration and alternating optimization,” IEEE Trans. Wireless Commun., vol. 18, no. 1, pp. 388–401, 2018.
solutionfile