Multi-RIS-Empowered Multiple Access:
A Distributed Sum-Rate Maximization Approach
Abstract
The plethora of wirelessly connected devices, whose deployment density is expected to largely increase in the upcoming sixth Generation (6G) of wireless networks, will naturally necessitate substantial advances in multiple access schemes. Reconfigurable Intelligent Surfaces (RISs) constitute a candidate 6G technology capable to offer dynamic over-the-air signal propagation programmability, which can be optimized for efficient non-orthogonal access of a multitude of devices. In this paper, we study the downlink of a wideband communication system comprising multiple multi-antenna Base Stations (BSs), each wishing to serve an associated single-antenna user via the assistance of a Beyond Diagonal (BD) and frequency-selective RIS. Under the assumption that each BS performs Orthogonal Frequency Division Multiplexing (OFDM) transmissions and exclusively controls a distinct RIS, we focus on the sum-rate maximization problem and present a distributed joint design of the linear precoders at the BSs as well as the tunable capacitances and the switch selection matrices at the multiple BD RISs. The formulated non-convex design optimization problem is solved via successive concave approximation necessitating minimal cooperation among the BSs. Our extensive simulation results showcase the performance superiority of the proposed cooperative scheme over non-cooperation benchmarks, indicating the performance gains with BD RISs via the presented optimized frequency selective operation for various scenarios.
Index Terms:
Reconfigurable intelligent surface, beyond diagonal, distributed optimization, multiple access, OFDM, interference channel, wideband transmission.I Introduction
The upcoming sixth Generation (6G) of wireless networks is envisioned to substantially increase data throughput, improve energy and spectral efficiencies, enhance reliability, decrease latency, and boost massive connectivity, but also inaugurate wireless artificial intelligence [1, 2, 3] and multi-functionality [4, 5]. New types of wirelessly connected devices, end users, and the internet of things [6] will further complicate multiple access necessitating simultaneous service delivery within the same communication resources (e.g., time, frequency, power, and space). Reconfigurable Intelligent Surfaces (RISs) [7, 8, 9, 10, 11] are expected to constitute one of those new types of devices having lately attracted considerable interest from both academia and industry for over-the-air signal propagation programmability [12], targeting a multitude of metrics and applications (e.g., coverage extension even in non-line-of-sight environments [13], energy efficiency [14], and computation [15], as well as localization [16], sensing [17], and their integration [18]) in a low-cost and low-power manner.
The potential of RISs to revolutionize wireless connectivity has recently gave birth to the smart wireless environments paradigm[19, 20], according to which multiple adequately orchestrated RISs are tasked to realize performance-boosted areas [21, 22]. To this end, there have appeared multiple studies focusing on efficient designs for multi-RIS-empowered wireless systems, targeting, for example, coverage-extending beamforming in high frequencies [23], localization [24] and map** [25], as well as non-orthogonal multiple access [26, 27]. The RIS technology has been also lately adopted for Orthogonal Frequency Division Multiplexing (OFDM) systems operating under frequency-selective channels, resulting in significant improvements for various performance objectives [28, 29]. In [30], multi-carrier transmissions aided by multiple distributed RISs in a wideband cell-free wireless network with multiple receivers were optimized to maximize the weighted achievable sum rate. The authors in [31] presented a cooperative multi-RIS-assisted transmission scheme for millimetter-wave multi-antenna OFDM systems, which was combined with a delay matching method to reduce the overhead needed for the estimation of multipath channels. Adopting the energy efficiency as the design metric for a wideband RIS-aided cell-free network and using a realistic energy-consumption model in [32], a joint active and passive beamforming scheme was presented. However, the latter studies ignored the frequency selective behavior of realistic RIS unit elements [33] and treated the RIS as it would operate in narrowband communications. This comes to contrast with recent research on wideband RISs [34, 35], acording to which the frequency response of an RIS metamaterial element is dictated by a Lorentzian-type form, which if ignored leads to notably misleading performance evaluations. Taking into account the frequency selectivity of an RIS, the importance of index modulation in OFDM systems was highlighted in [36], where it was shown that the bit error rate performance can be improved. In [37], the authors introduced the concept of the optimal phasor in an effort to reduce the frequency selectivity of a wideband RIS. All in all, it becomes apparent that it is of paramount importance to consider accurate wideband models when designing multi-RIS-empowered wireless systems.
A recent advancement on the RIS technology deals with Beyond Diagonal (BD) metasurfaces implementing interconnections between pairs of adjacent phase-tunable metamaterials [38], which effectively leads to engineered mutual coupling [39]. Those connections can be static group/fully-connected or dynamically group-connected resulting naturally in a non-diagonal phase response matrix [40]. It was shown via simulations in [41] that, in the passive operation mode, a fully- and group-connected RIS can effectively outperform a typical diagonal RIS [13] in terms of the achievable sum-rate performance. To further increase the potential of a BD RIS, while avoiding the imposed complexity of its configuration, a dynamic grou** strategy was proposed in [42], according to which the RIS unit elements adapt to the available channel state information and are dynamically grouped into several subsets. This approach yielded improved performance when compared to fixed element grou** architectures. Very recently, in [43], the frequency-dependent behavior of BD RISs was investigated in the framework of multi-band multi-cell Multiple-Input Multiple-Output (MIMO) systems, showcasing that BD RISs can outperform their diagonal counterparts. Nevertheless, to the best of the authors’ knowledge, it has not yet been investigated how multiple BD and frequency-selective RISs perform in multiple access setups with OFDM.
The available literature on multi-RIS-empowered smart wireless environments indicates that programmable metasurfaces are capable to offer increased performance especially in cases where multiple users request simultaneously high levels of quality of service. However, the performance of the interference channel with multiple BD RISs exhibiting frequency selective response has not being yet reported, a fact that motivated this work. In particular, in this paper, we consider multiple distributed frequency-selective BD RISs, each controlled by a distinct multi-antenna Base Station (BS) performing downlink OFDM transmissions to its assigned single-antenna user. Differently from our preliminary work [44], we focus on BD RIS structures and present a more efficient optimization approach for the involved system parameters, which is shown to provide increased performance. The main contributions of this paper are summarized as follows.
-
•
We consider multiple distributed BD RISs and present a tractable analytical form for their common frequency response, which is parameterized over the tunable capacitances of the equivalent circuits for each of their metamaterial unit elements. We assume that each BD RIS structure comprises an array of binary states/switches, being deployed to interconnect all of its unit elements providing extra degrees of freedom for optimization.
-
•
Focusing on the sum-rate maximization as the objective of the considered multi-RIS-empowered multiple access system, we formulate a novel challenging mixed-integer non-convex optimization problem, aiming to jointly design the linear precoding vector at each multi-antenna BS as well as the reflective beamforming vector and configuration of the switches at each BD RIS structure.
-
•
By decomposing the considered optimization problem into local sub-problems that can be solved in parallel, we present a provably convergent distributed algorithm running on each distinct BS and requiring minimal cooperation via pricing matrices exchange among them.
-
•
We present extensive simulation results for the proposed distributed multi-RIS-empowered multi-access system design, and its performance is compared with benchmark schemes. It is showcased that our minimal BS cooperation improves significantly the achievable sum-rate performance. It is also demonstrated that, with the proposed design, both the phase shifts and the amplitudes of each BD RIS’s reflection coefficients are optimized at each frequency bin across the entire operation bandwidth.
The remainder of the paper is organized as follows. Section II includes our system model, the models for the BD RIS response and the received signal, as well as our design problem formulation. Section III presents our distributed scheme for sum-rate maximization, while Section IV discusses our extensive results for the system performance. Finally, Section V accommodates the paper’s concluding remarks.
Notations: Vectors and matrices are denoted by boldface lowercase and boldface capital letters, respectively. The transpose, conjugate, Hermitian transpose, and inverse of are denoted by , , , and respectively, while () and () are the identity matrix and the zeros’ matrix, respectively. , , and represent ’s trace and Frobenius norm, and Euclidean norm, respectively, while notation () means that the square matrix is Hermitian positive definite (semi-definite). is the -th element of , is ’s -th element, and denotes a square diagonal matrix with ’s elements in its main diagonal. indicates the vector which is comprised by stacking the columns of , and denotes the vector obtained by the diagonal elements of the square matrix . denotes the Euclidean gradient vector of a scalar function along the direction indicated by . represents the complex number set, is the imaginary unit, denotes the amplitude of the complex scalar , and returns ’s real part. denotes the inner product between matrices and of suitable dimensions. is the expectation operator and indicates a complex Gaussian random vector with mean and covariance matrix . Finally, represents the Big-O notation for the function .
II System Model and Problem Formulation
In this section, we present our multi-RIS-empowered interference channel together with the considered wideband model for the element response of each BD RIS and the resulting received signal model at each user. The formulation of our joint design objective for the precoders at the multiple BSs as well as the tunable capacitances and the switch selection matrices at the BD RISs is also introduced.
II-A System Model
We consider a multi-RIS-empowered multi-user wireless communication system comprising of multi-antenna BSs each wishing to communicate in the downlink direction with a single-antenna User Equipment (UE) via a dedicated solely reflecting RIS [11], as depicted in Fig. 1. We assume that each BS sends information to its exclusively associated UE using OFDM in a common set of physical resources, e.g., time and bandwidth. Thus, there exist communicating BS-UE pairs, each modeled as the superposition of a direct BS-UE link and a BS-RIS-UE link realized via the RIS-enabled tunable reflection. Each RIS, comprising passive reflecting elements connected to a dedicated controller responsible to dynamically adjust their electromagnetic responses for desired signal reflection, is assumed to be controlled by its solely owned BS and to be placed either closely to it or near to its corresponding UE for optimum peformances [45, 46].
We consider a BD RIS structure [47] according to which an array of ON/OFF-state switches is deployed to interconnect all RIS unit elements. Specifically, an ON-state at the switch in the position (with ) of the switch array indicates that the signal im**ing on the -th metamaterial element will be guided to and tunably reflected by the -th element. This behavior can be mathematically expressed by a selection matrix with , whose role is to indicate the switch array selection process at each -th RIS. In particular, each is a binary-valued selection matrix (i.e., ) which by definition needs to satisfy the property of having only one non-zero value per row and column simultaneously and, thus, constitutes an extra design parameter, as will be discussed in the sequel. It is noted that a typical diagonal RIS, which does not require switches [11], is obtained by setting .
![Refer to caption](x1.png)
According to the deployed OFDM scheme, the total bandwidth is equally split into orthogonal Sub-Carriers (SCs). Let , with and denoting the number of antenna elements at each BS, represent the linear precoding vector at each -th BS that models the digital spatial processing of its unit-power signal (i.e., ) before transmission. We assume that the total transmit power available at each -th BS is given by . Thus, each precoding vector must satisfy the condition for each -th BS. We consider a quasi-static block fading channel model for all channels involved and focus on each particular fading block where all channels in the system remain approximately constant.
II-B RIS Element Response
Each of the considered almost passive and solely reflecting BD RISs is equipped with metamaterial elements arranged in a planar structure. We make the quite general assumption that each -th unit element () of each -th RIS can be characterized as an equivalent resonant circuit comprising a resistor , a tunable capacitor , and two inductors and [48]. Then, the response of each -th unit element of each -th RIS is given by the ratio between the power of the incident signal and that of the reflected one. This ratio indicates the reflection coefficient which is expressed in the frequency domain as follows:
(1) |
where denotes the characteristic impedance of the equivalent circuit which is given for by
(2) |
while is the free space impedance. It is noted that this reflection coefficient expression is a complicated one, which is hard to deal with, since it is a highly non-linear function of the tunable capacitor . In addition, to the best of the authors’ knowledge, all relevant studies construct fitting functions to approximate the behavior of the above response, targeting on the simplification of its analysis. However, in this work, we observe that (1) can be equivalently transformed into a more tractable form, according to the following proposition.
Proposition 1.
The frequency response of each -th unit element of each -th RIS can be reformulated as follows:
(3) |
where and are defined as follows:
(4) | ||||
(5) |
Proof:
See Appendix A. ∎
II-C Received Signal Model
According to the considered system model, for each -th BS-UE pair, there will be an additional RIS-enabled wireless link, namely, the -th BS-RIS-UE link, through which the signals transmitted by the -th BS are reflected by its owned -th RIS before arriving at the intended -th UE. Let and denote each -th BS-RIS and each -th RIS-UE channel, respectively, at each -th SC. Each -th phase-tunable unit element of each -th RIS scatters its im**ing signals via an independent reflection coefficient whose frequency response is given by (3), where indicates its tunable capacitance value. We define the vector as the one including the reflection coefficients of each -th RIS and then formulate the matrices . The baseband received signal at each -th UE at each -th SC (i.e., in the frequency domain) can be mathematically expressed as:
(6) |
where we have used the following definitions for the end-to-end channels:
(7) | ||||
(8) |
In the latter expressions, each with indicates the direct channel between the -th UE and the -th BS at each -th SC, and represents the Additive White Gaussian Noise (AWGN), which models the thermal noises at the UE receivers.
It can be seen from the received signal model in (6) and from Fig. 1 that the considered multi-RIS-empowered multiple access scheme generates interference signals at each receiving UE. These signals are included in the middle term of (6) and refer to the interference links at each UE resulting from any unintended BS and via the reflections from any unintended RIS (e.g., the only intended BS and RIS for the -th UE are the -th BS and the -th RIS). We have assumed that interference coming from any unintended BS to a UE via an intended RIS is negligible due to appropriate RIS placement [19].
II-D Design Objective
We define the vectors: i) with ; and ii) with ; as well as iii) the set of matrices including, respectively, the precoding vectors at the multi-antenna BSs, the tunable capacitances, and the switch selection matrices at the BD RISs. By treating the Multi-User Interference (MUI) term in (6) as an additional source of noise (colored noise), the achievable sum-rate performance in bits per second per Hz (bits/s/Hz) for each -th UE can be expressed as the following function of the triplet with the tunable parameters :
(9) |
where the dependence on and is implied via the composite channels and in (7) and (8), respectively. It is noted that we have intentionally removed the necessary multiplicative factor that should appear outside the summation in (9), since it will not affect our optimization formulation and solution that will be described in the sequel.
In this paper, we aim to maximize the achievable sum-rate performance of the proposed multi-RIS-empowered multi-access wireless system in a distributed manner. In particular, we consider the following optimization problem:
s.t. | |||
where indicates the feasible set for the switch selection matrices at the BD RISs, while and represent respectively the minimum and maximum allowable values for the RIS tunable capacitances according to circuital characteristics. To solve (which is provably an NP-hard problem [49]) in a distributed manner, we assume that each -th BS possesses the channel gain matrices included in in (7) (see [10] and references therein for wideband channel estimation techniques in RIS-aided communication systems) and deploys a Successive Concave Approximation (SCA) algorithmic framework similar to [49], as will be presented in the following section. This framework enables the efficient decomposition of into sub-problems that can be iteratively solved in parallel by each individual BS, requiring only minimal message exchanges among their relevant processing units.
III Distributed Sum-Rate Maximization
Let be the set of variables associated with the precoding vector as well as the tunable capacitances and the switch selection matrix at each -th BS-RIS-UE triplet, which we will henceforth refer to as the -th user. Let also be the set of all other users’ variables except the -th one. The objective function in is non-concave, due to the presence of MUI and the coupling between the optimization variables, which makes the design of a distributed solution procedure even harder. However, we first note that the sum-rate objective in can be re-written in the following form:
(10) |
The structure in (10) naturally leads to a decomposition scheme having the following form: i) at every iteration , the first term is replaced by a surrogate function, denoted as , which depends on the current iterate ; and ii) the term is linearized around . The rationale is to locally approximate through a sequence of strongly concave optimization problems, amenable for distributed implementation at each -th BS, while preserving optimality of the final solution [49]. Thus, the proposed updating scheme for distributedly solving reads as: at every algorithmic iteration , each user solves the following surrogate optimization problem:
where denotes the feasible set combining all constraints of , while the local surrogate function has the following structure111We henceforth assume that encapsulates the optimization variables and , but we omit the superscript for clarity of presentation.:
(11) |
with being an appropriately chosen parameter, and, similarly, . In , is defined as follows:
(12) |
where the single term is frequently referred to in the literature as the pricing vector [49], i.e., a term that quantifies how the allocation of resources to user affects the achievable rate of user . Then, our methodology proceeds by solving at each -th BS in a distributed fashion for each set of variables , as explicitly described in the next subsections.
III-A Local Linear Precoding Optimization
Solving with respect to the linear precoder for the -th BS leads to the following optimization sub-problem:
where stands for the logarithmic term in (11) and is the part of the pricing vector associated with , according to (12). In particular, the pricing vector is defined as and its -th sub-vector associated with the corresponding SC is given by the expression:
(13) |
and , where and are respectively the SINR and the MUI-plus-noise power experienced by user , that are generated by the local precoding vector , which are obtained as:
(14) | ||||
(15) |
Regrettably, persists as a non-concave problem, primarily owing to the logarithmic function involving the quadratic term with respect to in . Nonetheless, the remaining components of the objective function, namely, the summation of the squared negative norm augmented by the linear term, exhibit concavity, while the constraint set remains convex. To address the challenge posed by the non-concave terms and maintain a valid surrogate function that retains first-order information, we leverage the following Lemma.
Lemma 1.
The logarithmic term in (11) can be lower-bounded by the following surrogate function:
(16) |
where and are defined as:
(17) | ||||
(18) |
Proof:
The proof is delegated in Appendix B. ∎
According to Lemma 1, it can be easily verified that the derived surrogate function shares the same first-order properties with , that is, the following equality holds:
(19) |
which is important for the convergence properties of the proposed optimization procedure [49].
Next, exploiting Lemma 1 in , we obtain the local (strongly) concave optimization problem at user :
s.t. |
To proceed with the solution of , it suffices to define the block diagonal matrix and the vector , allowing to express its objective function, , after the norm expansion and some algebraic manipulations, as follows:
(20) |
where . Consequently, by noting that , it can be easily verified that this compact form of the objective function is concave. Therefore, is a (strongly) concave problem, whose Lagrangian function is given by:
(21) | ||||
where is the Lagrange multiplier associated with the transmit power constraint. Then, the optimal can be derived by computing the derivative of with respect to and then equating it with zero, which yields the following closed-form expression for each precoder:
(22) |
Clearly, the optimal depends on . To obtain , it suffices to consider Slater’s condition [50] according to which it should hold that:
(23) |
The above equation can be finally solved based on bisection search similarly to [51, Corollary 1].
III-B Local RIS Reflection Configuration Optimization
According to the RIS element frequency response model in Section II-B, the reflection configuration vector at each -th BD RIS for each -th SC (i.e., ) depends on the parameters included in . It can thus be optimized by solving the following optimization sub-problem:
s.t. |
Clearly, is a concave optimization problem since its objective function is the sum of a concave (i.e., the negative squared norm) and a linear term. To proceed with its solution, it suffices to obtain analytic expressions for and , as presented in the next Theorem.
Theorem 1.
The vectors and appearing in are given by the following analytic expressions:
(24) | |||
(25) |
where the following matrix definitions have been used: , , , , and . In addition, the partial derivatives of with respect to each RIS tunable capacitance can be computed as follows:
(26) | ||||
where respectively following (4) and (5) holds that:
(27) | ||||
(28) |
Proof:
The detailed proof is delegated in Appendix C. ∎
Based on the previously derived and expressions, can be solved in closed form, as presented in the following Corollary.
Corollary 1.
Let . Then, the optimal solution to is given in closed form as follows:
(29) |
Proof:
The optimal solution to can be found by expanding the norm as well as the linear term included in its objective. In fact, after some algebraic manipulations, the objective of reduces to , where the constant terms have been omitted. Next, by noticing that the latter expression is concave with respect to and that each RIS element’s response is independent from the others, (29) can be derived by the first-order condition of optimality, taking into account the box constraints; this completes the proof. ∎
III-C Local RIS Switch Selection Matrix Optimization
The design of the switch selection matrix at each -th BD RIS, which is restricted to the set , reduces to the following simplified optimization sub-problem:
whose solution needs to derive, at first, the matrices and , as presented in the sequel.
Corollary 2.
Let the following matrix definitions:
(30) | ||||
(31) | ||||
(32) | ||||
(33) |
Then, it holds that and can be expressed as follows:
(34) | |||
(35) |
Proof:
See Appendix D. ∎
By expanding the norm in the objective function of and omitting the constant terms, this problem can be equivalently re-written as follows:
s.t. | |||
where the quadratic term has been treated as a constant equal to , due to the fact that is, by definition, a permutation matrix. is a combinatorial problem that belongs to the class of Linear Sum Assignment Problems (LSAPs). Thus, according to [52, Theorem 4.2], its optimal solution can be obtained by relaxing the set of binary constraints, in particular, by letting , since the rest of the constraints formulate a totally unimodular constraint matrix. Then, the relaxed problem can be efficiently solved either by linear programming techniques or other strategies, such as computing permutations of sparse matrices [53] (especially when is large enough).
III-D Overview of the Proposed Distributed Solution
According to the previous subsections, the best-response map** can be computed by solving , , and . The solution to for the precoding vectors at the BSs and the tunable capacitances as well as the switch selection matrices for the BD RISs is then computed for each algorithmic iteration and as follows:
(36) |
where represents the possibly time-varying step size. This step-size must be chosen either as constant and sufficiently small or having diminishing values, according to classical stochastic approximation rules, to guarantee convergence of the overall iterative procedure to a local maximum of [49] (examples are given in Section IV that follows). The proposed distributed solution to , termed as Distributed Successive Concave Approximation (D-SCA), is summarized in Algorithm 1. Interestingly, (i.e., Steps to in Algorithm 1) can be solved distributively by each user (e.g., by each -th BS), once the MUI is estimated locally at each -th UE (i.e., the term in (11) ), and the price vectors in (12) are transmitted to user by each -th user with .
To run Algorithm 1, feasible points for , , and are needed. However, these parameters are coupled with each other, hence, these points become quite difficult to obtain directly. To handle this limitation, we commence by randomly initializing and such that they satisfy the respective constraints. Then, we compute for each -th user at each -th SC via (7), and next realize the typical maximum ratio transmission precoding vector as . To obtain a feasible precoder, we set and finally construct by stacking all vectors per SC and per user. Following this randomized initialization scheme, we have observed through numerous simulations that it has minor impact on the overall performance, thus, avoiding instabilities for Algorithm 1.
III-E Convergence and Complexity Analysis
The convergence properties of the proposed Algorithm 1, which provides our distributed design for the considered multi-RIS-empowered multiple access system, are described in the following theorem.
Theorem 2.
Proof:
The proof is delegated in Appendix E. ∎
The computational complexity of Algorithm 1 is analyzed via inspection of its main algorithmic steps, as follows. In Step , the computation of the cascaded channels involves the multiplication of (excluding subscripts for clarity) the channel vector , the permutation matrix , the diagonal matrix and the channel matrix , which requires computations. The calculation of the pricing vector in Step results in complexity, since it requires the computation of an inner product; the same holds for Step . Step has negligible computational cost, while Step involves the inversion of a square matrix, which yields computational complexity. Note that the computation of the optimal Lagrange multiplier via the bisection method is negligible. In Step , the worst case complexity is due to the multiplication of a diagonal matrix with a vector, whereas the cost for Step is negligible. In addition, Step requires the worst case complexity of , since it involves the inner product operation between matrices. In Step , the worst case computational complexity for the LSAP solution is [52], where is a constant related to the number of admitted assignments, equal to the cardinality of the corresponding edges (for more details the reader is referred to [52, Chapter 4]). Putting all above together, the total complexity of Algorithm 1 for solving in a distributed manner is given by:
(37) | ||||
where represents the total number of iterations until convergence.
In terms of the information exchange overhead, our distributed scheme necessitates that each -th BS computes the pricing vectors (or matrices for the case of ), and then transmits them to each -th BS with . Recall that the dimension of vector is , while the corresponding vector for each -th RIS has the dimension . In addition, the size of the pricing matrix is . Overall, for the considered multi-RIS-empowered interference channel with users, the BS cooperation overhead is equal to .
IV Numerical Results and Discussion
In this section, we include detailed simulation results for the performance of the proposed distributed design presented in Section III, which were obtained through the numerical evaluation of the achievable sum-rate performance expression in (10), including the pre-sum multiplicative factor . We have particularly implemented Algorithm 1 to design the linear precoding vectors at the BSs as well as the tunable capacitances and the switch selection matrices at the BD RIS with the proposed distributed manner.
IV-A Simulation Setup
In our simulations, all nodes were considered positioned on the -Dimensional (D) Cartesian coordinate system with coordinates given by the triad , where and denote the coordinates on the - and -axis, respectively, while represents the node’s height, i.e., its positive value on the -axis. We have considered BSs located in a square of width , and placed BS1 at the origin in the height , BS2 at the location , BS3 at , and BS4 at with , and . Accordingly, the four UEs share the same coordinates and on the -plane, while differing in the -coordinate as follows: , , , and . In addition, the coordinates of the four BD RISs on the -plane were fixed to for RIS1, for RIS2, for RIS3, and RIS4 at , while all shared the same -coordinate value . All wireless channels were modeled as wideband fading channels with delay taps in their time-domain impulse responses, whose elements were assumed to follow the circularly symmetric complex Gaussian distribution. To construct each channel at the frequency domain, we first considered the block cyclic matrices , and for each -th user, whose first blocks were defined as , and , respectively. In the latter expressions, , , and represent the respective channel’s impulse response value at the -th delay tap (). Consequently, the latter matrices can be arranged as sequences of cyclic matrices to apply the Discrete Fourier Transform (DFT) (via the normalized DFT matrix ) and express them in the frequency domain as described in [54, 35]. We have considered distance-dependent pathloss between any two nodes and with distance ( and take values from the string set ), which was modeled as with denoting the signal attenuation at the reference distance and represents the carrier signal’s wavelength. The distance was computed per -th BS’s antenna element and -th UE, -th BS’s antenna element and -th RIS’s element, and -th RIS’s element and -th UE, to obtain the pathloss of the channels , and , respectively. For the pathloss exponents, we have set , , and . We further assumed a uniform linear array and a uniform planar array deployed on the -plane for each BS and each BD RIS, respectively, both with element spacing equal to .
In the performance results that follow, we have set equal transmit power budget at all BSs and noise variances at all UEs, in particular, and dBm , and . The carrier frequency was set as GHz, the bandwidth as MHz, the number of SCs as with the central frequency of each -th SC defined as , the delay taps as , and the cyclic prefix length as . The circuital elements for each BD RIS were set as follows [48, 55]: nH, nH, , the free space impedance as , pF, and pF. It is noted that the latter values correspond to practical RISs with varactor diodes [56], taking into account the loss resistance effect. For the parameters to run the proposed Algorithm 1, we have set the regularization parameter as and the convergence threshold as . For the step size, we have used the time varying rule for each -th algorithmic iteration as well as [49] for the updates with respect to the linear BS precoders ’s and the BD RIS parameters ’s, whereas, for the selection matrices ’s, we have set to avoid violating the relevant variable constraints due to the update rule in (36). For all performance evaluation results that follow, we have used independent Monte Carlo realizations.
IV-B Performance Evaluation
The convergence of the proposed distributed design summarized in Algorithm 1 is illustrated in Fig. 2 for different combinations of the total number of users and transmit power budget values . It can be observed that convergence is achieved within iterations for and dBm, while slightly more iterations are required when and dBm. For these cases, convergence is achieved with iterations. This behavior indicates that, as increases, the proposed design is able to converge within limited number of algorithmic iterations, kee** relatively small (cf. (37)).
![Refer to caption](x2.png)
We next compare the achievable sum-rate performance of the proposed distributed design, abbreviated in the results that follow as “BD-RISs,” with the following schemes: i) “w/o RISs,” where no RISs are deployed and the system design is solely based on the direct link, i.e., only the BSs’ precoders are optimized; ii) “RISs,” where all deployed metasurfaces have a diagonal structure, and thus, for each -th RIS. We have also evaluated three more special cases for which the pricing vectors/matrices were fixed to zero, either for the BD RISs or not, as well as for the case where no RISs are deployed. Based on the proposed design presented in Section III, the latter cases correspond to the absence of cooperation among the nodes, and are next indicated with . For these cases, we have set the regularization parameter in Algorithm 1 as . In Fig. 3, we depict the achievable sum rates for all considered schemes as a function of the value for each BS, considering users with -antenna BSs and -elements RISs. As illustrated, for all schemes, the performance follows a non-decreasing trend for increasing values of . However, for dBm, all rates except the proposed one (i.e., “BD-RISs”) witness a smaller gain than that observed for dBm. This behavior is attributed to the presence of more severe interference in the high Signal-to-Noise Ratio (SNR) regime. It is also shown that all schemes relying on BD RISs outperform their diagonal RIS counterparts; this is evident either in the cases with cooperation or not. With the proposed “BD-RISs” scheme necessitating user cooperation for pricing vectors/matrices exchange, the performance gain is approximately at dBm and when dBm, verifying that BD RISs provide more degrees of freedom for optimization in comparison to diagonal RISs. At lower SNR values, the corresponding gain becomes smaller. Interestingly, when cooperation occurs, the “w/o RISs” scheme (i.e., only cooperative beamforming) slightly outperforms the “BD-RISs, ” scheme, signifying the benefits of cooperation.
![Refer to caption](x3.png)
![Refer to caption](x4.png)
The amplitude and phase values of the elements of the two optimized BD RISs with the proposed “BD-RISs” scheme in Fig. 3 are plotted for all considered SCs in Fig. 4. The depicted values have been averaged over all independent Monte Carlo realizations, all RIS elements, and all transmit power levels in dBm. It is evident that both the amplitudes and phases of the reflection coefficients are non-constant functions with respect to the frequency, showcasing the importance of considering wideband models for the BD RISs when dealing with OFDM systems. This dependency is more pronounced for the phase shifts (their range of values lies in the interval radians), while for the amplitude values, it can be observed from the bottom sub-figure in Fig. 4 that the changes are smaller following an increasing pattern as the frequency increases.
![Refer to caption](x5.png)
The impact of the varying size of the RISs’ on the achievable sum rate is illustrated in Fig. 5 for dBm. As expected, the number of RIS elements plays an important role in this metric for all investigated RIS-based schemes; all these schemes exhibit a non-decreasing trend as increases. This trend is, however, more pronounced with BD RISs instead of diagonal ones. Specifically, it can be seen that schemes with optimized diagonal RISs reach saturation points in the sum rate in contrast to BD RISs that yield constantly increasing performance. It is also shown that the gains of the RIS-based schemes are very small with respect to the “w/o RISs” cases for , while for this value and above, their performance increases significantly. Moreover, when the users cooperate with each other, it becomes apparent that the advantages of optimizing BD RISs are much more evident (no saturation point appears across the investigated range of values in the figure), resulting in a sum-rate improvement of more than when compared to diagonal RISs.
![Refer to caption](x6.png)
Finally, in Fig. 6, the achievable sum rate is depicted with respect to the common number of each user’s BS antenna array, considering users, transmit power dBm, and elements per RIS. As observed, the sum rate exhibits a non-decreasing trend for all investigated schemes. Interestingly, for , the achievable gains witnessed with the cooperation schemes are much higher than those with the non-cooperative ones, showcasing the benefits of the proposed distributed cooperative design. It can be seen that, as increases, the gap between the schemes with BD RISs and those with diagonal RISs gets smaller when user cooperation is adopted, while in cases where cooperation is absent and , the schemes with diagonal RISs slightly outperform those with BD RISs. However, by taking into account that, as increases the performance superiority of the schemes with BD RISs increases (as seen in Fig. 5), combined with the fact that an RIS with elements is relatively small, leads to the intuition that schemes with BD RISs with increasing and will outperform their counterparts with diagonal RISs.
V Conclusions
In this paper, we considered a multiple access system with OFDM, comprising multi-antenna BSs, BD RISs, and single-antenna UEs, and presented a novel distributed framework targeting the system’s achievable sum-rate maximization. We focused on the case where each RIS admits a frequency-dependent profile and presented a wideband BD structure to further enhance its design flexibility and resulting performance. The proposed joint design objective includes the precoders at the multiple BSs as well as the tunable capacitances and the switch selection matrices at the multiple BD RISs. A low-complexity and provably convergent algorithm for the distributed optimization of the latter parameters, via minimal message exchange among the deployed BSs, was devised. Our extensive performance evaluation results showcased that the proposed distributed cooperative design is capable of achieving higher sum rates compared to non-cooperative schemes, as well as the importance of taking into account the frequency selective behavior of realistic RIS responses. In addition, the design flexibility of BD RISs for the multi-access system at hand over their diagonal counterparts was numerically investigated. In the future, we intend to extend the system model to the multi-RIS-empowered interference broadcast channel including multi-antenna UEs and study efficient distributed designs under imperfect channel state availability.
Appendix A Proof of Proposition 1
The transfer function for the equivalent resonant circuit of each -th unit element of each -th RIS in (1) can be re-written as , where:
(38) |
By replacing with the expression for in (2) and then performing straightforward algebraic manipulations to express the transfer function into a standard form [57], expression (38) can be simplified as follows:
(39) |
which concludes the proof.
Appendix B Proof of Lemma 1
We first note that can be equivalently re-written, after some algebraic manipulations, as follows:
(40) | ||||
(41) | ||||
(42) |
where and . Then, it holds that the Right-Hand-Side (RHS) in (42) is a jointly convex function with respect to [58], which can be lower-bounded by its first-order Taylor expansion around the feasible points , , yielding:
(43) |
Specifically, the following expansion is deduced:
(44) | ||||
where it can be shown, after straightforward manipulations, that the partial derivatives in the RHS of (44) are given by
(45) | ||||
(46) | ||||
(47) |
Then, we substitute (45)–(47) into the RHS of (44) and replace properly , , and , according to their definitions. Finally, using the expressions for and defined in (17) and (18), omitting the resulting constants, and performing straightforward algebraic manipulations, it can be shown that is derived as presented in (16), which concludes the proof.
Appendix C Proof of Theorem 1
To acquire the expression for (), it suffices to compute the partial derivative of () with respect to , according to the definitions in (11) (in (12)), applying the chain rule. To this end, we first target on the computation of (24). Thus, it can be readily verified that:
(48) |
By unfolding the term , it can be shown that:
where the terms that do not involve the desired variables (i.e., ) are omitted for brevity. Based on the above expression, we first note that is a quadratic term with respect to , while is a linear one. To proceed, we will emphasize on since can be treated in a similar way. Applying the chain rule for , yields the following expression for its differential:
(49) | ||||
Then, considering the identity as well as trace’s cyclic property, we first obtain that:
(50) | ||||
(51) |
However, since is a diagonal matrix, we have that , where (with ) is a matrix whose role is to place the diagonal entries of an arbitrary square matrix on the vector , that is, it holds that: [59, Definition 2.12]. Also, for the rest of the terms in (49), it suffices to again note that is a diagonal matrix and that each -th RIS element’s response is independent from the others, i.e., . Therefore, it holds that . Substituting, all above together into (49), using the identities [59, Lemma 2.24] and , as well as the property for a Hermitian matrix , the following expression is deduced:
(52) | ||||
where [60, eq. (3.2.22)] was used. Following similar steps for the term , it can be verified that
(53) | ||||
Replacing (52) and (53) in (48), (24) can be trivially derived. The same steps apply in the case of the pricing vector in (25), which concludes the proof.
Appendix D Proof of Corollary 2
Focusing on the derivation of matrix and similarly to the proof of Theorem 1, it suffices to unfold the term which yields the expression:
where (a) follows from the matrix definitions in (30)-(33), the usage of trace’s cyclic property and the neglection of the terms that do not involve . Then, it can be shown that the partial derivatives of and in the latter expression with respect to are equal to [60]:
where the linearity of the trace and the real part operators has been used. However, and according to their definitions in (32) and (33), hence, . Then, the expression for the gradient (computed at the point ) in (34) can be obtained. Performing similar steps, the expression for the pricing matrix can be derived as well, and thus, the proof is complete.
Appendix E Proof of Theorem 2
The proof of Theorem 2 follows from arguments in the proof of [49, Theorem 3]. To this end, we need to assure that the following four assumptions of [49, Section II] hold intact:
-
1.
The feasible set is closed and convex.
-
2.
The function is continuously differentiable on .
-
3.
Each has Lipschitz conjugate-gradient on with constant .
-
4.
The overall sum objective function, that is, is coercive with respect to the feasible set .
Assumptions ) and ) hold trivially. Regarding assumption ), it can be observed that the feasible set can be constructed as: , where and represent the feasible sets for the BS linear precoding vectors and the BD RIS capacitances vectors , respectively. Also, is the feasible set for the selection matrix at each -th BD RIS. Clearly, and are convex sets, while the same holds for since, by definition, every permutation matrix is a doubly stochastic matrix. Then, Birkhoff’s theorem (see, e.g., [52, Theorem 2.18]), which states that the Birkhoff polytope (also called the polytope of doubly stochastic matrices) is a convex polytope, yields that satisfies assumption 1); this happens because the intersection of convex sets remains convex [50]. Finally, assumption ), which is equivalent to the statement that all level sets of are compact, is valid since is bounded. Overall, the validity of the above assumptions indicates that [49, Lemma 6] holds true, which further implies that the following two conditions are satisfied:
(54) | |||
(55) |
with and for all , as well as for a given . In other words, (54) and (55) mean that is uniformly strongly convex with constant , and that is uniformly Lipschitz continuous on , respectively.
It can be deduced from the latter assumptions and conditions that [49, Proposition 1] holds, which plays a pivotal role for the proof of Theorem 2. In fact, based on standard descent arguments suitably combined with the properties of the best-response map** , the proof can be readily concluded. At this point, it is also important to note that each design variable included in , i.e., and , is derived as a global optimum by solving the corresponding sub-problems , , and . In particular, to obtain , we solve the relaxed problem in closed form, while preserving the first-order properties (cf. (19)) of ’s objective function, due to the Taylor expansion in Lemma 1. Moreover, is solved in closed form and ’s global solution can be derived via the total unimodularity property. To proceed, we first note that, due to the Descent Lemma [61], it holds for any given that:
(56) | ||||
In addition, by using [49, Proposition 1.(c)], which in our case reads as follows:
(57) |
we obtain, after combining (56) and (57) and using the property for sufficiently large , the following inequality:
(58) |
This inequality indicates that is a decreasing sequence of values, implying that no limit point of can be a local maximum for ; this completes the proof.
References
- [1] A. Masaracchia, D. Van Huynh, G. C. Alexandropoulos, B. Canberk, O. A. Dobre, and T. Q. Duong, “Toward the metaverse realization in 6G: Orchestration of RIS-enabled smart wireless environments via digital twins,” IEEE Internet Things Mag., vol. 7, no. 2, pp. 22–28, Mar. 2024.
- [2] K. B. Letaief, Y. Shi, J. Lu, and J. Lu, “Edge artificial intelligence for 6G: Vision, enabling technologies, and applications,” IEEE J. Sel. Areas Commun., vol. 40, no. 1, pp. 5–36, Jan. 2021.
- [3] E. Calvanese Strinati, G. C. Alexandropoulos, N. Amani, M. Crozzoli, G. Madhusudan, S. Mekki, F. Rivet, V. Sciancalepore, P. Sehier, M. Stark, and H. Wymeersch, “Towards distributed and intelligent integrated sensing and communications for 6G networks,” arXiv preprint:2402.11630, 2024.
- [4] B. Clerckx, Y. Mao, Z. Yang, M. Chen, A. Alkhateeb, L. Liu, M. Qiu, J. Yuan, V. W. S. Wong, and J. Montojo, “Multiple access techniques for intelligent and multi-functional 6G: Tutorial, survey, and outlook,” arXiv preprint:2401.01433, Jan. 2024.
- [5] B. Smida, A. Sabharwal, G. Fodor, G. C. Alexandropoulos, H. A. Suraweera, , and C. Chae, “Full-duplex wireless for 6G: Progress brings new opportunities and challenges,” IEEE J. Sel. Areas Commun., vol. 41, no. 9, pp. 2729–2750, Sep. 2023.
- [6] D. Mishra, G. C. Alexandropoulos, and S. De, “Energy sustainable IoT with individual QoS constraints through MISO SWIPT multicasting,” IEEE Internet of Things J., vol. 5, no. 4, pp. 2856–2867, Aug. 2018.
- [7] Q. Wu, S. Zhang, B. Zheng, C. You, and R. Zhang, “Intelligent reflecting surface aided wireless communications: A tutorial,” IEEE Trans. Commun., vol. 69, no. 5, pp. 3313–3351, May 2021.
- [8] C. Pan, G. Zhou, K. Zhi, S. Hong, T. Wu, Y. Pan, H. Ren, M. Di Renzo, A. L. Swindlehurst, R. Zhang et al., “An overview of signal processing techniques for RIS/IRS-aided wireless systems,” IEEE J. Sel. Topics Signal Process., vol. 16, no. 5, pp. 883–917, Aug. 2022.
- [9] C. Pan, H. Ren, K. Wang, J. F. Kolb, M. Elkashlan, M. Chen, M. Di Renzo, Y. Hao, J. Wang, A. L. Swindlehurst et al., “Reconfigurable intelligent surfaces for 6G systems: Principles, applications, and research directions,” IEEE Commun. Mag., vol. 59, no. 6, pp. 14–20, Jun. 2021.
- [10] M. Jian, G. C. Alexandropoulos, E. Basar, C. Huang, R. Liu, Y. Liu, and C. Yuen, “Reconfigurable intelligent surfaces for wireless communications: Overview of hardware designs, channel models, and estimation techniques,” Intell. Converg. Netw., vol. 3, no. 1, pp. 1–32, Mar. 2022.
- [11] E. Basar, G. C. Alexandropoulos, Y. Liu, Q. Wu, S. **, C. Yuen, O. Dobre, and R. Schober, “Reconfigurable intelligent surfaces for 6G: Emerging applications and open challenges,” IEEE Veh. Techcnol. Mag., to appear, 2024.
- [12] G. C. Alexandropoulos, G. Lerosey, M. Debbah, and M. Fink, “Reconfigurable intelligent surfaces and metamaterials: The potential of wave propagation control for 6G wireless communications,” IEEE ComSoc TCCN Newslett., vol. 6, no. 1, pp. 25–37, Jun. 2020.
- [13] C. Huang, A. Zappone, G. C. Alexandropoulos, M. Debbah, and C. Yuen, “Reconfigurable intelligent surfaces for energy efficiency in wireless communication,” IEEE Trans. Wireless Commun., vol. 18, no. 8, pp. 4157–4170, Aug. 2019.
- [14] R. A. Tasci, F. Kilinc, E. Basar, and G. C. Alexandropoulos, “A new RIS architecture with a single power amplifier: Energy efficiency and error performance analysis,” IEEE Access, vol. 10, pp. 44 804–44 815, May 2022.
- [15] B. Yang, X. Cao, C. Huang, G. C. Alexandropoulos, L. Dai, C. Yuen, M. Debbah, and H. V. Poor, “Next generation reconfigurable metasurfaces: When wave propagation control meets computing,” IEEE Wireless Commun., vol. 30, no. 3, p. 120–128, Jun. 2023.
- [16] K. Keykhosravi, B. Denis, G. C. Alexandropoulos, Z. S. He, A. Albanese, V. Sciancalepore, and H. Wymeersch, “Leveraging RIS-enabled smart signal propagation for solving infeasible localization problems,” IEEE Veh. Technol. Mag., vol. 18, no. 2, pp. 20–28, Jun. 2023.
- [17] G. C. Alexandropoulos, N. Shlezinger, I. Alamzadeh, M. F. Imani, H. Zhang, and Y. C. Eldar, “Hybrid reconfigurable intelligent metasurfaces: Enabling simultaneous tunable reflections and sensing for 6G wireless communications,” IEEE Veh. Technol. Mag., vol. 19, no. 1, pp. 75–84, Mar. 2024.
- [18] S. P. Chepuri, N. Shlezinger, F. Liu, G. C. Alexandropoulos, S. Buzzi, and Y. C. Eldar, “Integrated sensing and communications with reconfigurable intelligent surfaces,” IEEE Signal Process. Mag., vol. 40, no. 6, p. 41–62, Sep. 2023.
- [19] G. C. Alexandropoulos, D.-T. Phan-Huy, K. D. Katsanos, M. Crozzoli, H. Wymeersch, P. Popovski, P. Ratajczak, Y. Bénédic, M.-H. Hamon, S. H. Gonzalez et al., “RIS-enabled smart wireless environments: Deployment scenarios, network architecture, bandwidth and area of influence,” EURASIP J. Wireless Commun. and Netw., vol. 2023, no. 1, pp. 1–38, Oct. 2023.
- [20] G. C. Alexandropoulos, K. Stylianopoulos, C. Huang, C. Yuen, M. Bennis, and M. Debbah, “Pervasive machine learning for smart radio environments enabled by reconfigurable intelligent surfaces,” Proc. IEEE, vol. 110, no. 9, pp. 1494–1525, Sep. 2022.
- [21] E. Calvanese Strinati, G. C. Alexandropoulos, H. Wymeersch, B. Denis, V. Sciancalepore, R. D’Errico, A. Clemente, D.-T. Phan-Huy, E. De Carvalho, and P. Popovski, “Reconfigurable, intelligent, and sustainable wireless environments for 6G smart connectivity,” IEEE Commun. Mag., vol. 2021, no. 10, pp. 99–105, Oct. 2021.
- [22] B. Al-Nahhas, M. Obeed, A. Chaaban, and M. J. Hossain, “Performance of multi-RIS-aided cell-free massive MIMO: Do more RISs always help?” IEEE Trans. Commun., pp. 1–1, Feb. 2024, early access.
- [23] C. Huang, Z. Yang, G. C. Alexandropoulos, K. Xiong, L. Wei, C. Yuen, and Z. Zhang, “Hybrid beamforming for RIS-empowered multi-hop terahertz communications: A DRL-based method,” in Proc. IEEE Global Commun. Conf., Taipei, Taiwan, Dec. 2020, pp. 1–6.
- [24] G. C. Alexandropoulos, I. Vinieratou, and H. Wymeersch, “Localization via multiple reconfigurable intelligent surfaces equipped with single receive RF chains,” IEEE Wireless Commun. Lett., vol. 11, no. 5, pp. 1072–1076, May 2022.
- [25] J. He, A. Fakhreddine, H. Wymeersch, and G. C. Alexandropoulos, “Compressed-sensing-based 3D localization with distributed passive reconfigurable intelligent surfaces,” in Proc. IEEE Int. Conf. Acoust. Speech Signal Process. ICASSP, Jun. 2023, pp. 1–5.
- [26] X. Cao, B. Yang, C. Huang, G. C. Alexandropoulos, C. Yuen, Z. Han, and H. V. Poor, “Massive access of static and mobile users via reconfigurable intelligent surfaces: Protocol design and performance analysis,” IEEE J. Sel. Areas Commun., vol. 40, no. 4, pp. 1253–1269, Apr. 2022.
- [27] J. Zuo, Y. Liu, C. Zhu, Y. Zou, D. Zhang, and N. Al-Dhahir, “Exploiting NOMA and RIS in integrated sensing and communication,” IEEE Trans. Veh. Technol., vol. 72, no. 10, pp. 12 941–12 955, Oct. 2023.
- [28] S. Lin, B. Zheng, G. C. Alexandropoulos, M. Wen, F. Chen, and S. Mumtaz, “Adaptive transmission for reconfigurable intelligent surface-assisted OFDM wireless communications,” IEEE J. Sel. Areas Commun., vol. 38, no. 11, pp. 2653–2665, Nov. 2020.
- [29] Y. Yang, B. Zheng, S. Zhang, and R. Zhang, “Intelligent reflecting surface meets OFDM: Protocol design and rate maximization,” IEEE Trans. Commun., vol. 68, no. 7, pp. 4522–4535, Jul. 2020.
- [30] Z. Zhang and L. Dai, “A joint precoding framework for wideband reconfigurable intelligent surface-aided cell-free network,” IEEE Trans. Signal Process., vol. 69, pp. 4085–4101, Jun. 2021.
- [31] M. He, W. Xu, H. Shen, G. Xie, C. Zhao, and M. Di Renzo, “Cooperative multi-RIS communications for wideband mmwave MISO-OFDM systems,” IEEE Wirel. Commun. Lett., vol. 10, no. 11, pp. 2360–2364, Nov. 2021.
- [32] M. Z. Siddiqi, R. Mackenzie, M. Hao, and T. Mir, “On energy efficiency of wideband RIS-aided cell-free network,” IEEE Access, vol. 10, pp. 19 742–19 752, Feb. 2022.
- [33] G. C. Alexandropoulos, N. Shlezinger, and P. del Hougne, “Reconfigurable intelligent surfaces for rich scattering wireless communications: Recent experiments, challenges, and opportunities,” IEEE Commun. Mag., vol. 59, no. 6, pp. 28–34, Jun. 2021.
- [34] K. D. Katsanos, N. Shlezinger, M. F. Imani, and G. C. Alexandropoulos, “Wideband multi-user MIMO communications with frequency selective RISs: Element response modeling and sum-rate maximization,” in Proc. IEEE ICC, Seoul, South Korea, May 2022.
- [35] H. Li, W. Cai, Y. Liu, M. Li, Q. Liu, and Q. Wu, “Intelligent reflecting surface enhanced wideband MIMO-OFDM communications: From practical model to reflection optimization,” IEEE Trans. Commun., vol. 69, no. 7, pp. 4807–4820, Jul. 2021.
- [36] E. K. Hidir, E. Basar, and H. A. Cirpan, “On practical RIS-aided OFDM with index modulation,” IEEE Access, vol. 11, pp. 13 113–13 120, Feb. 2023.
- [37] Z. Huang, P. Richard, X. Cai, M. Rupp, and S. Schwarz, “Optimal phasors for wideband RIS transmissions,” in Proc. IEEE Conf. Antenna Meas. Appl. CAMA, Genoa, Italy, Nov. 2023, pp. 250–254.
- [38] H. Li, S. Shen, M. Nerini, and B. Clerckx, “Reconfigurable intelligent surfaces 2.0: Beyond diagonal phase shift matrices,” IEEE Commun. Magazine, Mar. 2023.
- [39] D. Wijekoon, A. Mezghani, G. C. Alexandropoulos, and E. Hossain, “Electromagnetically-consistent modeling and optimization of mutual coupling in RIS-assisted multi-user MIMO communication systems,” arXiv preprint:2404.04539, 2024.
- [40] A. Rabault, L. L. Magoarou, J. Sol, G. C. Alexandropoulos, N. Shlezinger, H. V. Poor, and P. del Hougne, “On the tacit linearity assumption in common cascaded models of RIS-parametrized wireless channels,” IEEE Trans. Wireless Commun., to appear, 2024.
- [41] H. Li, S. Shen, and B. Clerckx, “Beyond diagonal reconfigurable intelligent surfaces: From transmitting and reflecting modes to single-, group-, and fully-connected architectures,” arXiv preprint:2205.02866, Aug. 2022.
- [42] ——, “A dynamic grou** strategy for beyond diagonal reconfigurable intelligent surfaces with hybrid transmitting and reflecting mode,” IEEE Trans. Veh. Technol., vol. 72, no. 12, pp. 16 748–16 753, Dec. 2023.
- [43] A. S. de Sena, M. Rasti, N. H. Mahmood, and M. Latva-aho, “Beyond diagonal RIS for multi-band multi-cell MIMO networks: A practical frequency-dependent model and performance analysis,” arXiv preprint:2401.06475, Jan. 2024.
- [44] K. D. Katsanos, P. Di Lorenzo, and G. C. Alexandropoulos, “Distributed sum-rate maximization of cellular communications with multiple reconfigurable intelligent surfaces,” in Proc. IEEE SPAWC, Oulu, Finland, Jul. 2022, pp. 1–5.
- [45] G. C. Alexandropoulos, M. Crozzoli, D.-T. Phan-Huy, K. D. Katsanos, H. Wymeersch, P. Popovski, P. Ratajczak, Y. Bénédic, M.-H. Hamon, S. H. Gonzalez et al., “Smart wireless environments enabled by RISs: Deployment scenarios and two key challenges,” in Proc. EuCNC/6G Summit, Grenoble, France, Jun. 2022, pp. 1–6.
- [46] A. L. Moustakas, G. C. Alexandropoulos, and M. Debbah, “Reconfigurable intelligent surfaces and capacity optimization: A large system analysis,” IEEE Trans. Wireless Commun., vol. 22, no. 12, pp. 1993–1997, Dec. 2023.
- [47] Q. Li, M. El-Hajjar, I. Hemadeh, A. Shojaeifard, A. A. Mourad, B. Clerckx, and L. Hanzo, “Reconfigurable intelligent surfaces relying on non-diagonal phase shift matrices,” IEEE Trans. Veh. Technol., vol. 71, no. 6, pp. 6367–6383, Jun. 2022.
- [48] B. O. Zhu, J. Zhao, and Y. Feng, “Active impedance metasurface with full 360 reflection phase tuning,” Sci. Rep., vol. 3, no. 1, p. 3059, Oct. 2013.
- [49] G. Scutari, F. Facchinei, P. Song, D. P. Palomar, and J.-S. Pang, “Decomposition by partial linearization: Parallel optimization of multi-agent systems,” IEEE Trans. Signal Process., vol. 62, no. 3, pp. 641–656, Feb. 2014.
- [50] S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge University Press, 2004.
- [51] G. C. Alexandropoulos, K. D. Katsanos, M. Wen, and D. B. da Costa, “Counteracting eavesdropper attacks through reconfigurable intelligent surfaces: A new threat model and secrecy rate optimization,” IEEE Open J. Commun. Soc., vol. 4, Jun. 2023.
- [52] R. Burkard, M. Dell’Amico, and S. Martello, Assignment problems: revised reprint. SIAM, 2012.
- [53] I. S. Duff and J. Koster, “On algorithms for permuting large entries to the diagonal of a sparse matrix,” SIAM Journal on Matrix Analysis and Applications, vol. 22, no. 4, pp. 973–996, 2001.
- [54] E. Björnson and Demir, Introduction to Multiple Antenna Communications and Reconfigurable Surfaces. Now Publishers, Inc., 2024.
- [55] S. Abeywickrama, R. Zhang, Q. Wu, and C. Yuen, “Intelligent reflecting surface: Practical phase shift model and beamforming optimization,” IEEE Trans. Commun., vol. 68, no. 9, pp. 5849–5863, Sep. 2020.
- [56] https://www.skyworksinc.com/en/Products/Diodes/SMV1231-Series.
- [57] C. P. Basso, Linear circuit transfer functions: An introduction to fast analytical techniques. John Wiley & Sons, 2016.
- [58] H. H. M. Tam, H. D. Tuan, and D. T. Ngo, “Successive convex quadratic programming for quality-of-service management in full-duplex MU-MIMO multicell networks,” IEEE Trans. Commun., vol. 64, no. 6, pp. 2340–2353, 2016.
- [59] A. Hjørungnes, Complex-valued matrix derivatives: with applications in signal processing and communications. Cambridge University Press, 2011.
- [60] X.-D. Zhang, Matrix Analysis and Applications. Cambridge University Press, 2017.
- [61] D. P. Bertsekas, Nonlinear Programming. Belmont, Mass.: Athena Scientific, 1999.