Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Design and Optimization on Successive RIS-assisted Multi-hop Wireless Communications thanks: This work is supported by the National Natural Science Foundation of China (NSFC) under Grants NO.12141107, and the Interdisciplinary Research Program of HUST (2023JCYJ012).

Rujing Xiong, Jialong Lu, Jianan Zhang,  Minggang Liu,  Xuehui Dong,  Tiebin Mi,  Robert Caiming Qiu,  R. Xiong et al. are with the School of Electronic Information and Communications, Huazhong University of Science and Technology, Wuhan 430074, China (e-mail: rujing@hust.edu.cn).
Abstract

As an emerging wireless communication technology, reconfigurable intelligent surface (RIS) has become a basic choice for providing signal coverage services in scenarios with dense obstacles or long tunnels through multi-hop configurations. Conventional works of literature mainly focus on alternating optimization or single-beam calculation in RIS phase configuration, which is limited in considering energy efficiency, and often suffers from inaccurate channel state information (CSI), poor convergence, and high computational complexity. This paper addresses the design and optimization challenges for successive RIS-assisted multi-hop systems. Specifically, we establish a general model for multi-hop communication based on the relationship between the input and output electric fields within each RIS. Meanwhile, we derive the half-power beamwidth of the RIS-reflected beams, considering the beam direction. Leveraging these models and derivations, we propose deployment optimization and beam optimization strategies for multi-hop systems, which feature high aperture efficiency and significant gains in signal power. Simulation and prototype experiment results validate the effectiveness and superiority of the proposed systems and methods.

Index Terms:
reconfigurable intelligent surface (RIS), multi-hop, aperture efficiency, half-power beamwidth, deployment optimization, beam optimization, prototype experiment.

I Introduction

The Reconfigurable intelligent surface (RIS) has emerged as a promising technique for wireless communication networks [1, 2, 3]. By dynamically adjusting the reflection phase shifts of numerous passive units, RIS enables flexible wireless channel control and configuration, thereby significantly improving wireless signal transmission rates and reliability. In particular, RIS is a digitally controlled metasurface composed of a large number of cost-effective, well-designed passive reflecting units, each capable of independently manipulating the characteristics of incident electromagnetic waves, including phase, amplitude, and polarization. Due to its great potential, RIS has been widely investigated in the scope of wireless communications [4].

Despite the extensive literature on the design and optimization of various RIS-assisted wireless systems, prior works have primarily focused on enhancing wireless links through single signal reflection using one or multiple RISs [5, 6, 7, 8, 9]. This approach may be inadequate to improve wireless signal quality under some adverse propagation conditions, such as indoor/outdoor environments with dense blockages or obstructions. Additionally, the studies indicated that an RIS should be deployed near the base station (BS) or user equipment (UE) for enhanced communication performance [10, 11, 12]. This requirement further complicates the deployment of RIS.

To address the above challenges, cooperative multi-hop reflections are developed [13, 14, 15, 16, 17]. In [13], the authors studied the multi-reflection between a BS and multiple users, jointly designing the active and passive beamforming at BS and RISs based on deep reinforcement learning. The authors in [14] investigated a multi-route multi-hop cascaded RIS-aided system, with the objective of maximizing the sum rate for multiple users. In  [18, 15], the optimal reflection path for multi-RIS beam routing problem is studied. Additionally, the authors in [17] optimized the multi-reflection paths for interference management and throughput performance boosting in multi-hop multi-RIS cooperative communications. [16] explored the integration of multi-hop RISs and open radio access networks, in which the best RIS-assisted path was selected for the overall network sum-rate maximization.

Multi-hop RIS plays a crucial role in facilitating communications within complex terrain and extensive urban environments [18]. Compared to the single-reflection link, the multireflection link in general provides more degrees of freedom to bypass dense and scattered obstacles in complex environments. Moreover, the multireflection links offer higher beamforming gains, which can counteract the product-distance path loss that also increases with the number of RIS reflections [19].

In the current literature on phase configuration within multi-hop communications, the methods can be primarily classified into two categories. The first considers the channels between multiple RISs in a cascaded manner, and achieving the optimization objective through alternating optimizations [20, 21, 22, 23]. These methods have two significant drawbacks. One is that RISs are passive reflectors with a large number of units, rendering the acquisition of channel state information between RISs particularly challenging. Additionally, as the number of RISs increases, the expression to solve optimization problems for each RIS becomes increasingly complex, the iterations are highly prone to converging to local suboptimal solutions, and the computational complexity escalates sharply.

Another feasible method involves considering RIS one by one, in which the phase configuration of each RIS can be determined efficiently according to the channel state information of inner RIS [24, 18, 25], or the relative positions of devices in the communication link [17]. This phase configuration method is frequently employed in optimal routing-path selection within multi-RIS networks.

For RIS-assisted communications, different feed source positions always lead to variations in the field distribution on the RIS surfaces, which in turn cause changes in directional gain. Our previous experimental results have also observed this phenomenon [26]. According to radiation theory in array antennas [27, 28], this variability can be attributed to the aperture efficiency of RIS. As a passive reflector array, the magnitude and uniformity of the electromagnetic wave incident on the RIS’s aperture determine the efficiency and directional power gain it can provide. These characteristics have mostly been ignored in existing studies on RIS phase configuration.

In this paper, we take into account the aperture efficiency and beamwidth of the reflecting beam and derive a closed-form expression for beamwidth. Based on the derivations, we and propose strategies for the deployment and beam optimization in multi-hop RIS-assisted communications. In beam radiation design, we employ our previously proposed MA algorithm to achieve multiple beams, whose computational efficiency, optimality, and robustness have been demonstrated in our earlier work [9]. The proposed multi-hop system features high aperture efficiency and significant power gains.

I-A Contributions

The main contributions of this paper can be summarized as follows:

  • Generalized signal model for multi-hop RIS-assisted Communication. We construct a system model that considers the propagation of signals between the base station (BS) and user equipment (UE) through successive multi-hop RIS configurations. The multiple RIS-reflection channel components among the propagation are categorized into two classes. We characterize the relationship between the input and output electric fields among RISs within each class and integrate them to establish a general multi-hop signal model. With this model, the electric field at each point can be expressed analytically.

  • Derivation of the closed-form expression for the beamwidth of RIS-reflected beams. As a reflectarray antenna, we derive the array factor incorporating the beam direction of RIS reflected. Based on that, we further present the closed-form expression for the half-power beamwidth (HPBW) of the reflecting beams, which closely correlates with the number of units (or aperture size) of RIS and the reflecting beam direction.

  • Optimization strategy on RIS deployment and beam design. Leveraging the derived beamwidth expressions and signal model, we propose optimization methods for RIS deployment and beam design, which eliminates the need for CSI estimation and prioritize high aperture efficiency. The derived results and proposed optimization strategies are validated through simulation and prototype experiments. In the prototype test, we demonstrate that employing optimized multi-beam can increase signal power gain by approximately 10 dB compared to widely used single-beam approaches.

I-B Outline

The remainder of the paper is organized as follows. In Section II, we present the modeling of successive RIS-assisted multi-hop communications. Section III analyzes the radiation of RIS, mainly on the aperture efficiency and array factor. Further, the closed-form expression of beamwidth for RIS-reflected beam is derived. In Section IV, we proposed the deployment and beam optimization strategies for enhanced multi-hop RIS-assisted communication. Section V is dedicated to the performance evaluations of the derived results and proposed methods through numerical and prototype experiments. Finally, this paper is concluded in Section VI.

I-C Notations

Notations in this paper are defined as follows. The imaginary unit is indicated by j𝑗jitalic_j. The magnitude and complex components of a complex number are represented by |||\cdot|| ⋅ | and ()\mathcal{\Im}(\cdot)roman_ℑ ( ⋅ ), respectively. arg()arg{\rm arg}(\cdot)roman_arg ( ⋅ ) stands for the angle function. Unless explicitly specified, lower and upper case bold letters denote vectors and matrices. The conjugate transpose and transpose of 𝐀𝐀\mathbf{A}bold_A are represented as 𝐀Hsuperscript𝐀𝐻\mathbf{A}^{H}bold_A start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT and 𝐀Tsuperscript𝐀𝑇\mathbf{A}^{T}bold_A start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, respectively.

II System Model

In this section, we consider the scenario of the multi-hop RIS-assisted downlink communications, as depicted in Fig. 1. For modeling, we categorize the propagations in multi-hop communications into two types: BS-RIS-UE, where the transmitter is the BS and considered a point source; and RIS-RIS-UE, where the signal source is the reflected RIS. These two types of signal models can be linked through the relationship between the incident field and the reflected field on RISs, thereby we can establish a general model for multi-hop RIS-assisted communication.

II-A BS-RIS-UE

Refer to caption
Figure 1: RIS-assistanted multi-hop wireless communications.

For our analysis, we first concentrate on an arbitrary RIS situated on the xoy𝑥𝑜𝑦xoyitalic_x italic_o italic_y-plane, comprising multiple units located at 𝐩n=[xn,yn,zn]Tsubscript𝐩𝑛superscriptsubscript𝑥𝑛subscript𝑦𝑛subscript𝑧𝑛𝑇\mathbf{p}_{n}=[x_{n},\ y_{n},\ z_{n}]^{T}bold_p start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = [ italic_x start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_z start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, n=1,,N𝑛1𝑁n=1,\ldots,Nitalic_n = 1 , … , italic_N. The RIS is illuminated by a single incident electromagnetic wave (EM) wave originating from a point source location (ri,θi,ϕi)superscript𝑟isuperscript𝜃isuperscriptitalic-ϕi(r^{\text{i}},\theta^{\text{i}},\phi^{\text{i}})( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ). For clarity, risuperscript𝑟ir^{\text{i}}italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT denotes the distance from the source to the anchor of the RIS, such as the geometrical center for a planar array or the left end for a uniform linear array, while ri(n)superscript𝑟i𝑛r^{\text{i}}(n)italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) represents the distance from the source to the n𝑛nitalic_n-th unit at 𝐩nsubscript𝐩𝑛\mathbf{p}_{n}bold_p start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, (θi,ϕi)superscript𝜃isuperscriptitalic-ϕi(\theta^{\text{i}},\phi^{\text{i}})( italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) denotes the elevation and azimuth angles, as shown in Fig. 2

Refer to caption
Figure 2: The RIS is illuminated by a single incident EM wave from (ri,θi,ϕisuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕir^{\text{i}},\theta^{\text{i}},\phi^{\text{i}}italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT).

In the case of a point source, radiation propagates radially. As the EM wave propagates toward the unit at 𝐩nsubscript𝐩𝑛\mathbf{p}_{n}bold_p start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, the attenuation behavior is characterized by the factor ej2πri(n)/λ/ri(n)superscript𝑒𝑗2𝜋superscript𝑟i𝑛𝜆superscript𝑟i𝑛e^{-j2\pi r^{\text{i}}(n)/\lambda}/r^{\text{i}}(n)italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT / italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ). Suppose the original electric field from the point source is Ei(ri,θi,ϕi)superscript𝐸isuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕiE^{\text{i}}(r^{\text{i}},\theta^{\text{i}},\phi^{\text{i}})italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ). The incident electric field at 𝐩nsubscript𝐩𝑛\mathbf{p}_{n}bold_p start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT could be represented as

Ei(n)=Ei(ri,θi,ϕi)ej2πri(n)/λ/ri(n).superscript𝐸i𝑛superscript𝐸isuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕisuperscript𝑒𝑗2𝜋superscript𝑟i𝑛𝜆superscript𝑟i𝑛E^{\text{i}}(n)=E^{\text{i}}(r^{\text{i}},\theta^{\text{i}},\phi^{\text{i}})e^% {-j2\pi r^{\text{i}}(n)/\lambda}/r^{\text{i}}(n).italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) = italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT / italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) . (1)

Similarly, if Es(n)superscript𝐸s𝑛E^{\text{s}}(n)italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) denotes the scattered electric field of the unit at 𝐩nsubscript𝐩𝑛\mathbf{p}_{n}bold_p start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, then the electric field at the observation point is Es(n)ej2πrs(n)/λ/rs(n)superscript𝐸s𝑛superscript𝑒𝑗2𝜋superscript𝑟s𝑛𝜆superscript𝑟s𝑛E^{\text{s}}(n)e^{-j2\pi r^{\text{s}}(n)/\lambda}/r^{\text{s}}(n)italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT / italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ).

As indicated in our previous study [9], the electric field at the observation point along the propagation path through the n𝑛nitalic_n-th unit at 𝐩nsubscript𝐩𝑛\mathbf{p}_{n}bold_p start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT can be obtained by combining the above components, as

Ens(rns,θs,ϕs)=τ(θs(n),ϕs(n);θi(n),ϕi(n))ejωnej2πri(n)/λej2πrs(n)/λri(n)rs(n)Ei(ri,θi,ϕi).subscriptsuperscript𝐸s𝑛subscriptsuperscript𝑟s𝑛superscript𝜃ssuperscriptitalic-ϕs𝜏superscript𝜃s𝑛superscriptitalic-ϕs𝑛superscript𝜃i𝑛superscriptitalic-ϕi𝑛superscript𝑒𝑗subscript𝜔𝑛superscript𝑒𝑗2𝜋superscript𝑟i𝑛𝜆superscript𝑒𝑗2𝜋superscript𝑟s𝑛𝜆superscript𝑟i𝑛superscript𝑟s𝑛superscript𝐸isuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕiE^{\text{s}}_{n}(r^{\text{s}}_{n},\theta^{\text{s}},\phi^{\text{s}})=\tau(% \theta^{\text{s}}(n),\phi^{\text{s}}(n);\theta^{\text{i}}(n),\phi^{\text{i}}(n% ))e^{j\omega_{n}}\\ \frac{e^{-j2\pi r^{\text{i}}(n)/\lambda}e^{-j2\pi r^{\text{s}}(n)/\lambda}}{r^% {\text{i}}(n)r^{\text{s}}(n)}E^{\text{i}}(r^{\text{i}},\theta^{\text{i}},\phi^% {\text{i}}).start_ROW start_CELL italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ) = italic_τ ( italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) ; italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) ) italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) end_ARG italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) . end_CELL end_ROW (2)

Here, τ(θs,ϕs;θi,ϕi)𝜏superscript𝜃ssuperscriptitalic-ϕssuperscript𝜃isuperscriptitalic-ϕi\tau(\theta^{\text{s}},\phi^{\text{s}};\theta^{\text{i}},\phi^{\text{i}})italic_τ ( italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ; italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) is the scattering pattern of an isolated unit, which is dependent on both incident angle (θs,ϕs)superscript𝜃ssuperscriptitalic-ϕs(\theta^{\text{s}},\phi^{\text{s}})( italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ) and scattered angle (θs,ϕs)superscript𝜃ssuperscriptitalic-ϕs(\theta^{\text{s}},\phi^{\text{s}})( italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ). ωnsubscript𝜔𝑛\omega_{n}italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT represents the phase configuration of the n𝑛nitalic_n-th unit within the RIS.

In isotropic scattering, incident EM waves uniformly scatter in all directions over the hemisphere of reflection, irrespective of the angle of incidence or observation. Consequently, the unit’s scattering pattern is simplified to τn(θs,ϕs;θi,ϕi)=τsubscript𝜏𝑛superscript𝜃ssuperscriptitalic-ϕssuperscript𝜃isuperscriptitalic-ϕi𝜏\tau_{n}(\theta^{\text{s}},\phi^{\text{s}};\theta^{\text{i}},\phi^{\text{i}})=\tauitalic_τ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ; italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) = italic_τ. The electric field at the observation point is determined by the superposition of individual fields scattered by N𝑁Nitalic_N units. As

Es(rs,θs,ϕs)=Ei(ri,θi,ϕi)n=1Nτejωnej2πri(n)/λej2πrs(n)/λri(n)rs(n).superscript𝐸ssuperscript𝑟ssuperscript𝜃ssuperscriptitalic-ϕssuperscript𝐸isuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕisuperscriptsubscript𝑛1𝑁𝜏superscript𝑒𝑗subscript𝜔𝑛superscript𝑒𝑗2𝜋superscript𝑟i𝑛𝜆superscript𝑒𝑗2𝜋superscript𝑟s𝑛𝜆superscript𝑟i𝑛superscript𝑟s𝑛E^{\text{s}}(r^{\text{s}},\theta^{\text{s}},\phi^{\text{s}})\\ =E^{\text{i}}(r^{\text{i}},\theta^{\text{i}},\phi^{\text{i}})\sum_{n=1}^{N}% \tau e^{j\omega_{n}}\frac{e^{-j2\pi r^{\text{i}}(n)/\lambda}e^{-j2\pi r^{\text% {s}}(n)/\lambda}}{r^{\text{i}}(n)r^{\text{s}}(n)}.start_ROW start_CELL italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ) end_CELL end_ROW start_ROW start_CELL = italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_τ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) end_ARG . end_CELL end_ROW (3)

This expression can be written in matrix forms, as

Es(rs,θs,ϕs)superscript𝐸ssuperscript𝑟ssuperscript𝜃ssuperscriptitalic-ϕs\displaystyle E^{\text{s}}(r^{\text{s}},\theta^{\text{s}},\phi^{\text{s}})italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ) =τ[ej2πrs(1)/λrs(1)ej2πrs(N)/λrs(N)]absent𝜏matrixsuperscript𝑒𝑗2𝜋superscript𝑟s1𝜆superscript𝑟s1superscript𝑒𝑗2𝜋superscript𝑟s𝑁𝜆superscript𝑟s𝑁\displaystyle=\tau\begin{bmatrix}\frac{e^{-j2\pi r^{\text{s}}(1)/\lambda}}{r^{% \text{s}}(1)}&\cdots&\frac{e^{-j2\pi r^{\text{s}}(N)/\lambda}}{r^{\text{s}}(N)% }\end{bmatrix}= italic_τ [ start_ARG start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( 1 ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( 1 ) end_ARG end_CELL start_CELL ⋯ end_CELL start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_N ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_N ) end_ARG end_CELL end_ROW end_ARG ] (4)
[ejω100ejωN][ej2πri(1)/λri(1)ej2πri(N)/λri(N)]Ei(ri,θi,ϕi).matrixsuperscript𝑒𝑗subscript𝜔1missing-subexpression0missing-subexpressionmissing-subexpression0missing-subexpressionsuperscript𝑒𝑗subscript𝜔𝑁matrixsuperscript𝑒𝑗2𝜋superscript𝑟i1𝜆superscript𝑟i1superscript𝑒𝑗2𝜋superscript𝑟i𝑁𝜆superscript𝑟i𝑁superscript𝐸isuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕi\displaystyle\begin{bmatrix}e^{j\omega_{1}}&&0\\ &\ddots&\\ 0&&e^{j\omega_{N}}\end{bmatrix}\begin{bmatrix}\frac{e^{-j2\pi r^{\text{i}}(1)/% \lambda}}{r^{\text{i}}(1)}\\ \vdots\\ \frac{e^{-j2\pi r^{\text{i}}(N)/\lambda}}{r^{\text{i}}(N)}\end{bmatrix}E^{% \text{i}}(r^{\text{i}},\theta^{\text{i}},\phi^{\text{i}}).[ start_ARG start_ROW start_CELL italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL start_CELL end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL ⋱ end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL end_CELL start_CELL italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( 1 ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( 1 ) end_ARG end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_N ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_N ) end_ARG end_CELL end_ROW end_ARG ] italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) .

This signal model characterizes the input-output behavior of the RIS, enabling us to calculate the required RIS phase configuration based on the desired electric field. In other words, for a given RIS phase configuration, one only needs to determine the elevation and azimuth angles of the observation point relative to the RIS to calculate the electric field at an observation location.

II-B RIS-RIS-UE

A notable feature in multi-hop RIS setups is that, except for the first RIS, all other RIS nodes are illuminated by the reflected signal from its former RIS. This means that these illuminations are often directional and non-uniform, especially in the near-fields. In this section, we consider the field distribution on RIS to model the signal propagation.

Suppose totaly K𝐾Kitalic_K RISs are employed, the (k1)𝑘1(k-1)( italic_k - 1 )-th RIS (denoted as RIS{k1}𝑘1\{k-1\}{ italic_k - 1 }) employs N𝑁Nitalic_N effective units reflecting the signal beam to illuminate the k𝑘kitalic_k-th RIS (denoted as RIS{k}𝑘\{k\}{ italic_k }, with M𝑀Mitalic_M units), where k2𝑘2k\geq 2italic_k ≥ 2. For RIS{k}𝑘\{k\}{ italic_k }, the incident electric field at the m𝑚mitalic_m-th unit (coordinates 𝐩m=[xm,ym,zm]Tsubscript𝐩𝑚superscriptsubscript𝑥𝑚subscript𝑦𝑚subscript𝑧𝑚𝑇\mathbf{p}_{m}=[x_{m},\ y_{m},\ z_{m}]^{T}bold_p start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = [ italic_x start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , italic_z start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, m=1,,M𝑚1𝑀m=1,\ldots,Mitalic_m = 1 , … , italic_M) can be calculate through the scattered field of RIS{k1}𝑘1\{k-1\}{ italic_k - 1 } at 𝐩msubscript𝐩𝑚\mathbf{p}_{m}bold_p start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, which can be expressed as

Eki(m)=Ek1s(rk1s(m),θk1s,ϕk1s),subscriptsuperscript𝐸i𝑘𝑚subscriptsuperscript𝐸s𝑘1subscriptsuperscript𝑟s𝑘1𝑚subscriptsuperscript𝜃s𝑘1subscriptsuperscriptitalic-ϕs𝑘1E^{\text{i}}_{k}(m)=E^{\text{s}}_{k-1}(r^{\text{s}}_{k-1}(m),\theta^{\text{s}}% _{k-1},\phi^{\text{s}}_{k-1}),italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_m ) = italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_m ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ) , (5)

where rk1s(m)subscriptsuperscript𝑟s𝑘1𝑚r^{\text{s}}_{k-1}(m)italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_m ) represent the distance from the m𝑚mitalic_m-th unit on RIS{k}𝑘\{k\}{ italic_k } to the reference center point on RIS{k1}𝑘1\{k-1\}{ italic_k - 1 }.

Furthermore, the electric field observed at a specific point after reflection by the hop-node RIS{k}𝑘\{k\}{ italic_k } can be written as

Eks(rks,θks,ϕks)superscriptsubscript𝐸𝑘ssubscriptsuperscript𝑟s𝑘subscriptsuperscript𝜃s𝑘subscriptsuperscriptitalic-ϕs𝑘\displaystyle E_{k}^{\mathrm{s}}(r^{\text{s}}_{k},\theta^{\text{s}}_{k},\phi^{% \text{s}}_{k})italic_E start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_s end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) (6)
=m=1MτejωmEki(m)ej2πrks(m)/λrks(m)absentsuperscriptsubscript𝑚1𝑀𝜏superscript𝑒𝑗subscript𝜔𝑚subscriptsuperscript𝐸i𝑘𝑚superscript𝑒𝑗2𝜋subscriptsuperscript𝑟s𝑘𝑚𝜆subscriptsuperscript𝑟s𝑘𝑚\displaystyle=\sum_{m=1}^{M}\tau e^{j\omega_{m}}E^{\text{i}}_{k}(m)\frac{e^{-j% 2\pi r^{\text{s}}_{k}(m)/\lambda}}{r^{\text{s}}_{k}(m)}= ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_τ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_m ) divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_m ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_m ) end_ARG
=m=1MτejωmEk1s(rk1s(m),θk1s,ϕk1s)ej2πrks(m)/λrks(m).absentsuperscriptsubscript𝑚1𝑀𝜏superscript𝑒𝑗subscript𝜔𝑚subscriptsuperscript𝐸s𝑘1subscriptsuperscript𝑟s𝑘1𝑚subscriptsuperscript𝜃s𝑘1subscriptsuperscriptitalic-ϕs𝑘1superscript𝑒𝑗2𝜋subscriptsuperscript𝑟s𝑘𝑚𝜆subscriptsuperscript𝑟s𝑘𝑚\displaystyle=\sum_{m=1}^{M}\tau e^{j\omega_{m}}E^{\text{s}}_{k-1}(r^{\text{s}% }_{k-1}(m),\theta^{\text{s}}_{k-1},\phi^{\text{s}}_{k-1})\frac{e^{-j2\pi r^{% \text{s}}_{k}(m)/\lambda}}{r^{\text{s}}_{k}(m)}.= ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_τ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_m ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ) divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_m ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_m ) end_ARG .

It should be noted that this expression is also an iterative calculation about Ek1s(rk1s(m),θk1s,ϕk1s)subscriptsuperscript𝐸s𝑘1subscriptsuperscript𝑟s𝑘1𝑚subscriptsuperscript𝜃s𝑘1subscriptsuperscriptitalic-ϕs𝑘1E^{\text{s}}_{k-1}(r^{\text{s}}_{k-1}(m),\theta^{\text{s}}_{k-1},\phi^{\text{s% }}_{k-1})italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_m ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ), with 2kK2𝑘𝐾2\leq k\leq K2 ≤ italic_k ≤ italic_K. The observed electric field at a certain point depends on the spatial scattered field of the all K𝐾Kitalic_K RISs.

II-C General Model

While k=1𝑘1k=1italic_k = 1, for each m𝑚mitalic_m, Ek1s(rk1s(m),θk1s,ϕk1s)subscriptsuperscript𝐸s𝑘1subscriptsuperscript𝑟s𝑘1𝑚subscriptsuperscript𝜃s𝑘1subscriptsuperscriptitalic-ϕs𝑘1E^{\text{s}}_{k-1}(r^{\text{s}}_{k-1}(m),\theta^{\text{s}}_{k-1},\phi^{\text{s% }}_{k-1})italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_m ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ) can be obtained through (3). Thus, by combining equation (3), (5), and (6), we can construct a general cascaded model for signal transmission from the BS to a certain UE, with K𝐾Kitalic_K multi-hop RISs employed.

For simplicity and clarity, we consider a classic two-hop signal model in analysis to reveal this propagation of wireless signals along multi-hop RISs. As illustrated in Fig, 3, the signal propagates along the BS-RIS{1}1\{1\}{ 1 }-RIS{2}2\{2\}{ 2 }-UE path, and no direct links between the BS and RIS{2}2\{2\}{ 2 }. The number of units on RIS{1}1\{1\}{ 1 } and RIS{2}2\{2\}{ 2 } is N𝑁Nitalic_N and M𝑀Mitalic_M, respectively.

Refer to caption
Figure 3: Two-Hop RIS-assisted wireless communications.

After two hops, the scattered field observed at the UE point can be expressed as

Es(p)superscript𝐸s𝑝\displaystyle E^{\text{s}}(p)italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_p ) (7)
=\displaystyle== m=1MτejωmE2i(m)ej2πr2s(m)/λr2s(m)superscriptsubscript𝑚1𝑀𝜏superscript𝑒𝑗subscript𝜔𝑚subscriptsuperscript𝐸i2𝑚superscript𝑒𝑗2𝜋subscriptsuperscript𝑟s2𝑚𝜆subscriptsuperscript𝑟s2𝑚\displaystyle\sum_{m=1}^{M}\tau e^{j\omega_{m}}E^{\text{i}}_{2}(m)\frac{e^{-j2% \pi r^{\text{s}}_{2}(m)/\lambda}}{r^{\text{s}}_{2}(m)}∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_τ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m ) divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m ) end_ARG
=\displaystyle== m=1MτejωmEs(rs(m),θs,ϕs)ej2πr2s(m)/λr2s(m)superscriptsubscript𝑚1𝑀𝜏superscript𝑒𝑗subscript𝜔𝑚superscript𝐸ssuperscript𝑟s𝑚superscript𝜃ssuperscriptitalic-ϕssuperscript𝑒𝑗2𝜋subscriptsuperscript𝑟s2𝑚𝜆subscriptsuperscript𝑟s2𝑚\displaystyle\sum_{m=1}^{M}\tau e^{j\omega_{m}}E^{\text{s}}(r^{\text{s}}(m),% \theta^{\text{s}},\phi^{\text{s}})\frac{e^{-j2\pi r^{\text{s}}_{2}(m)/\lambda}% }{r^{\text{s}}_{2}(m)}∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_τ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_m ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ) divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m ) end_ARG

For each 1mM1𝑚𝑀1\leq m\leq M1 ≤ italic_m ≤ italic_M, Ek1s(rk1s(m),θk1s,ϕk1s)subscriptsuperscript𝐸s𝑘1subscriptsuperscript𝑟s𝑘1𝑚subscriptsuperscript𝜃s𝑘1subscriptsuperscriptitalic-ϕs𝑘1E^{\text{s}}_{k-1}(r^{\text{s}}_{k-1}(m),\theta^{\text{s}}_{k-1},\phi^{\text{s% }}_{k-1})italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_m ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ) can be calculated through (3). Thus, the equation holds

Es(p)=m=1Mτejωmej2πr2s(m)/λr2s(m)Ei(ri,θi,ϕi)n=1Nτejωnej2πri(n)/λej2πrs(m,n)/λri(n)rs(m,n).superscript𝐸s𝑝superscriptsubscript𝑚1𝑀𝜏superscript𝑒𝑗subscript𝜔𝑚superscript𝑒𝑗2𝜋subscriptsuperscript𝑟s2𝑚𝜆subscriptsuperscript𝑟s2𝑚superscript𝐸isuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕisuperscriptsubscript𝑛1𝑁𝜏superscript𝑒𝑗subscript𝜔𝑛superscript𝑒𝑗2𝜋superscript𝑟i𝑛𝜆superscript𝑒𝑗2𝜋superscript𝑟s𝑚𝑛𝜆superscript𝑟i𝑛superscript𝑟s𝑚𝑛E^{\text{s}}(p)=\sum_{m=1}^{M}\tau e^{j\omega_{m}}\frac{e^{-j2\pi r^{\text{s}}% _{2}(m)/\lambda}}{r^{\text{s}}_{2}(m)}E^{\text{i}}(r^{\text{i}},\theta^{\text{% i}},\phi^{\text{i}})\sum_{n=1}^{N}\tau e^{j\omega_{n}}\\ \frac{e^{-j2\pi r^{\text{i}}(n)/\lambda}e^{-j2\pi r^{\text{s}}(m,n)/\lambda}}{% r^{\text{i}}(n)r^{\text{s}}(m,n)}.start_ROW start_CELL italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_p ) = ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT italic_τ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_POSTSUPERSCRIPT divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_m ) end_ARG italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_τ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_m , italic_n ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_m , italic_n ) end_ARG . end_CELL end_ROW (8)

Here, rs(m,n)superscript𝑟s𝑚𝑛r^{\text{s}}(m,n)italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_m , italic_n ) represents the distance between the m𝑚mitalic_m-th unit on RIS{2}2\{2\}{ 2 } and the n𝑛nitalic_n-th unit on RIS{1}1\{1\}{ 1 }.

This equation can be written in matrix forms as in (9). We have the canonical linear representation to describe the input/output behaviors of multi-hop RIS-assisted communications. The advantage lies in employing a simple system of linear equations to describe input/output field, making it suitable for analyzing and optimizing the performance of RIS-aided systems.

Es(p)=superscript𝐸s𝑝absent\displaystyle E^{\text{s}}(p)=italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_p ) = τ2[ej2πr2s(1)/λr2s(1)ej2πr2s(M)/λr2s(M)][ejω100ejωM][ej2πrs(1,1)/λrs(1,1)ej2πrs(1,N)/λrs(1,N)ej2πrs(M,1)/λrs(M,1)ej2πrs(M,N)/λrs(M,N)][ejω100ejωN]superscript𝜏2matrixsuperscript𝑒𝑗2𝜋subscriptsuperscript𝑟s21𝜆subscriptsuperscript𝑟s21superscript𝑒𝑗2𝜋subscriptsuperscript𝑟s2𝑀𝜆subscriptsuperscript𝑟s2𝑀matrixsuperscript𝑒𝑗subscript𝜔1missing-subexpression0missing-subexpressionmissing-subexpression0missing-subexpressionsuperscript𝑒𝑗subscript𝜔𝑀matrixsuperscript𝑒𝑗2𝜋superscript𝑟s11𝜆superscript𝑟s11superscript𝑒𝑗2𝜋superscript𝑟s1𝑁𝜆superscript𝑟s1𝑁superscript𝑒𝑗2𝜋superscript𝑟s𝑀1𝜆superscript𝑟s𝑀1superscript𝑒𝑗2𝜋superscript𝑟s𝑀𝑁𝜆superscript𝑟s𝑀𝑁matrixsuperscript𝑒𝑗subscript𝜔1missing-subexpression0missing-subexpressionmissing-subexpression0missing-subexpressionsuperscript𝑒𝑗subscript𝜔𝑁\displaystyle\tau^{2}\begin{bmatrix}\frac{e^{-j2\pi r^{\text{s}}_{2}(1)/% \lambda}}{r^{\text{s}}_{2}(1)}&\cdots&\frac{e^{-j2\pi r^{\text{s}}_{2}(M)/% \lambda}}{r^{\text{s}}_{2}(M)}\end{bmatrix}\begin{bmatrix}e^{j\omega_{1}}&&0\\ &\ddots&\\ 0&&e^{j\omega_{M}}\end{bmatrix}\begin{bmatrix}\frac{e^{-j2\pi r^{\text{s}}(1,1% )/\lambda}}{r^{\text{s}}(1,1)}&\cdots&\frac{e^{-j2\pi r^{\text{s}}(1,N)/% \lambda}}{r^{\text{s}}(1,N)}\\ \vdots&\ddots&\vdots\\ \frac{e^{-j2\pi r^{\text{s}}(M,1)/\lambda}}{r^{\text{s}}(M,1)}&\cdots&\frac{e^% {-j2\pi r^{\text{s}}(M,N)/\lambda}}{r^{\text{s}}(M,N)}\\ \end{bmatrix}\begin{bmatrix}e^{j\omega_{1}}&&0\\ &\ddots&\\ 0&&e^{j\omega_{N}}\end{bmatrix}italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ start_ARG start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 ) end_ARG end_CELL start_CELL ⋯ end_CELL start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_M ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_M ) end_ARG end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL start_CELL end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL ⋱ end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL end_CELL start_CELL italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( 1 , 1 ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( 1 , 1 ) end_ARG end_CELL start_CELL ⋯ end_CELL start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( 1 , italic_N ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( 1 , italic_N ) end_ARG end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL start_CELL ⋱ end_CELL start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_M , 1 ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_M , 1 ) end_ARG end_CELL start_CELL ⋯ end_CELL start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_M , italic_N ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_M , italic_N ) end_ARG end_CELL end_ROW end_ARG ] [ start_ARG start_ROW start_CELL italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL start_CELL end_CELL start_CELL 0 end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL ⋱ end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL end_CELL start_CELL italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_POSTSUPERSCRIPT end_CELL end_ROW end_ARG ] (9)
[ej2πri(1)/λri(1)ej2πri(N)/λri(N)]Ei(ri,θi,ϕi).matrixsuperscript𝑒𝑗2𝜋superscript𝑟i1𝜆superscript𝑟i1superscript𝑒𝑗2𝜋superscript𝑟i𝑁𝜆superscript𝑟i𝑁superscript𝐸isuperscript𝑟isuperscript𝜃isuperscriptitalic-ϕi\displaystyle\begin{bmatrix}\frac{e^{-j2\pi r^{\text{i}}(1)/\lambda}}{r^{\text% {i}}(1)}\\ \vdots\\ \frac{e^{-j2\pi r^{\text{i}}(N)/\lambda}}{r^{\text{i}}(N)}\end{bmatrix}E^{% \text{i}}(r^{\text{i}},\theta^{\text{i}},\phi^{\text{i}}).[ start_ARG start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( 1 ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( 1 ) end_ARG end_CELL end_ROW start_ROW start_CELL ⋮ end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_N ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_N ) end_ARG end_CELL end_ROW end_ARG ] italic_E start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_θ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ) .

 

III Radiation Analysis of the RIS

One of the primary objectives of successive multi-hop RIS is to enhance the received signal power at the UEs. Traditional multi-hop communications have almost overlooked the transmission efficiency between RISs, leading to exponential signal energy loss during the multi-hop process. In this section, we take into account the aperture efficiency and half-power beamwidth (HPBW) analysis for the design and optimization of multi-hop systems, which are demonstrated to be crucial for signal improvement.

III-A Aperture Efficiency

We first consider the aperture efficiency, a parameter that measures the ability of an antenna’s physical aperture to convert available input power into radiated, significantly impacting the overall performance and signal strength of the antenna. In aperture-type antennas such as RISs, the physical aperture area Apsubscript𝐴pA_{\text{p}}italic_A start_POSTSUBSCRIPT p end_POSTSUBSCRIPT determines the theoretical maximum directivity of the antenna, which is

Dmax=4πλ2Ap.subscript𝐷m𝑎𝑥4𝜋superscript𝜆2subscript𝐴pD_{\text{m}ax}=\frac{4\pi}{\lambda^{2}}A_{\text{p}}.italic_D start_POSTSUBSCRIPT m italic_a italic_x end_POSTSUBSCRIPT = divide start_ARG 4 italic_π end_ARG start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_A start_POSTSUBSCRIPT p end_POSTSUBSCRIPT . (10)

The achievable gain of RIS can be computed as

G=εapDmax=εap4πλ2Ap,𝐺subscript𝜀apsubscript𝐷m𝑎𝑥subscript𝜀ap4𝜋superscript𝜆2subscript𝐴pG=\varepsilon_{\mathrm{ap}}D_{\text{m}ax}=\varepsilon_{\mathrm{ap}}\frac{4\pi}% {\lambda^{2}}A_{\text{p}},italic_G = italic_ε start_POSTSUBSCRIPT roman_ap end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT m italic_a italic_x end_POSTSUBSCRIPT = italic_ε start_POSTSUBSCRIPT roman_ap end_POSTSUBSCRIPT divide start_ARG 4 italic_π end_ARG start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_A start_POSTSUBSCRIPT p end_POSTSUBSCRIPT , (11)

where εap subscript𝜀ap \varepsilon_{\text{ap }}italic_ε start_POSTSUBSCRIPT ap end_POSTSUBSCRIPT is the aperture efficiency of the array and 0εap 10subscript𝜀ap 10\leq\varepsilon_{\text{ap }}\leq 10 ≤ italic_ε start_POSTSUBSCRIPT ap end_POSTSUBSCRIPT ≤ 1, Apsubscript𝐴pA_{\text{p}}italic_A start_POSTSUBSCRIPT p end_POSTSUBSCRIPT is the physical aperture area of RIS. Since the wavelength and physical aperture area are easily determined, the study of gain reduces to an analysis of aperture efficiency, which can be expressed as a product of sub-efficiencies. [29]:

εap =erε.subscript𝜀ap subscript𝑒rsubscript𝜀\varepsilon_{\text{ap }}=e_{\text{r}}\varepsilon_{\text{s }}.italic_ε start_POSTSUBSCRIPT ap end_POSTSUBSCRIPT = italic_e start_POSTSUBSCRIPT r end_POSTSUBSCRIPT italic_ε start_POSTSUBSCRIPT s end_POSTSUBSCRIPT . (12)

Here er=subscript𝑒rabsente_{\text{r}}=italic_e start_POSTSUBSCRIPT r end_POSTSUBSCRIPT = illumination efficiency, ε=subscript𝜀absent\varepsilon_{\text{s }}=italic_ε start_POSTSUBSCRIPT s end_POSTSUBSCRIPT = spillover efficiency.

Regarding a RIS comprising N𝑁Nitalic_N units with A𝐴Aitalic_A rows and B𝐵Bitalic_B columns, the radiation efficiency ersubscript𝑒re_{\text{r}}italic_e start_POSTSUBSCRIPT r end_POSTSUBSCRIPT is associated with the electric field distribution that the feed source irradiates onto the reflecting surface (RIS), which can be calculated through the following equation [27, 30].

er=|a=1Ab=1B|Eab||2ABa=1Ab=1B|Eab|2,subscript𝑒rsuperscriptsuperscriptsubscript𝑎1𝐴superscriptsubscript𝑏1𝐵subscript𝐸𝑎𝑏2𝐴𝐵superscriptsubscript𝑎1𝐴superscriptsubscript𝑏1𝐵superscriptsubscript𝐸𝑎𝑏2e_{\text{r}}=\frac{\left|\sum_{a=1}^{A}\sum_{b=1}^{B}\left|E_{ab}\right|\right% |^{2}}{AB\sum_{a=1}^{A}\sum_{b=1}^{B}\left|E_{ab}\right|^{2}},italic_e start_POSTSUBSCRIPT r end_POSTSUBSCRIPT = divide start_ARG | ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_b = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT | italic_E start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT | | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_A italic_B ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_b = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT | italic_E start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (13)

It can be observed that ersubscript𝑒re_{\text{r}}italic_e start_POSTSUBSCRIPT r end_POSTSUBSCRIPT is maximized when the electric field Eabsubscript𝐸𝑎𝑏E_{ab}italic_E start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT at each unit on the RIS is equal. In other words, the aperture field on the RIS is uniformly distributed.

Spillover efficiency εsubscript𝜀\varepsilon_{\text{s }}italic_ε start_POSTSUBSCRIPT s end_POSTSUBSCRIPT measures that portion of the feed pattern that is intercepted by the effective aperture of the RIS plate (and redirected through the aperture into the main beam) relative to the total energy[29]. As

εs=02π0θ0|Ft(θt,ϕt)|2sinθtdθtdϕt02π0π/2|Ft(θt,ϕt)|2sinθtdθtdϕt,subscript𝜀𝑠superscriptsubscript02𝜋superscriptsubscript0subscript𝜃0superscriptsubscript𝐹𝑡subscript𝜃𝑡subscriptitalic-ϕ𝑡2subscript𝜃𝑡𝑑subscript𝜃𝑡𝑑subscriptitalic-ϕ𝑡superscriptsubscript02𝜋superscriptsubscript0𝜋2superscriptsubscript𝐹𝑡subscript𝜃𝑡subscriptitalic-ϕ𝑡2subscript𝜃𝑡𝑑subscript𝜃𝑡𝑑subscriptitalic-ϕ𝑡\varepsilon_{s}=\frac{\int_{0}^{2\pi}\int_{0}^{\theta_{0}}\left|F_{t}\left(% \theta_{t},\phi_{t}\right)\right|^{2}\sin\theta_{t}d\theta_{t}d\phi_{t}}{\int_% {0}^{2\pi}\int_{0}^{\pi/2}\left|F_{t}\left(\theta_{t},\phi_{t}\right)\right|^{% 2}\sin\theta_{t}d\theta_{t}d\phi_{t}},italic_ε start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = divide start_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_F start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_ϕ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG start_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT | italic_F start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_ϕ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_ARG , (14)

where θ0subscript𝜃0\theta_{0}italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the angular aperture of the reflector (angle between the line from the feed source to the edge of the antenna aperture and the central axis of the antenna aperture), Ft(θt,ϕt)subscript𝐹𝑡subscript𝜃𝑡subscriptitalic-ϕ𝑡F_{t}\left(\theta_{t},\phi_{t}\right)italic_F start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT ) represents the radiation pattern function of the feed source. The spillover efficiency εssubscript𝜀𝑠\varepsilon_{s}italic_ε start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is maximized when the numerator 02π0θ0|Ft|2sinθtdθtdϕtsuperscriptsubscript02𝜋superscriptsubscript0subscript𝜃0superscriptsubscript𝐹𝑡2subscript𝜃𝑡𝑑subscript𝜃𝑡𝑑subscriptitalic-ϕ𝑡\int_{0}^{2\pi}\int_{0}^{\theta_{0}}\left|F_{t}\right|^{2}\sin\theta_{t}d% \theta_{t}d\phi_{t}∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT | italic_F start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_ϕ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT and denominator 02π0π/2|Ft|2sinθtdθtdϕtsuperscriptsubscript02𝜋superscriptsubscript0𝜋2superscriptsubscript𝐹𝑡2subscript𝜃𝑡𝑑subscript𝜃𝑡𝑑subscriptitalic-ϕ𝑡\int_{0}^{2\pi}\int_{0}^{\pi/2}\left|F_{t}\right|^{2}\sin\theta_{t}d\theta_{t}% d\phi_{t}∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 2 end_POSTSUPERSCRIPT | italic_F start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_θ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_d italic_ϕ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT are equal, that is when the radiation beam illuminate solely on the RIS board.

Refer to caption
Refer to caption
Figure 4: Aperture efficiency and directional gains as a function of the distance between the feed source and the RIS.
Refer to caption
Refer to caption
Refer to caption
Figure 5: The irradiation of the transmitting/reflecting beam. (a) Partial illumination. (b) Over illumination. (c) Exact illumination.

Recall that G𝐺Gitalic_G represents the directional gain achievable by the RIS acting as an aperture antenna. It’s maximum is achieved when the aperture efficiency εapsubscript𝜀ap\varepsilon_{\mathrm{ap}}italic_ε start_POSTSUBSCRIPT roman_ap end_POSTSUBSCRIPT peaks. Fig.II illustrates the relationship between the distance from the feed source to the RIS and the efficiency and directional gain when a horn antenna is used as the feed source. It can be observed that as the distance increases, the illumination efficiency gradually increases, while the spillover efficiency gradually decreases. Meanwhile, the aperture efficiency, which is the product of these two factors, and the directionally correlated gain exhibit a trend of initially increasing and then decreasing.

Based on the equation(13), (14), and the antenna radiation theory [28, 31], in communication links where RIS serves as a reflective feed source, one crucial approach to maximizing antenna gain G𝐺Gitalic_G can be designing a precise beam that uniformly covers the RIS surface area. As illustrated in Fig. 5.

III-B The Half-Power Beamwidth

To quantify the signal coverage performance, the half-power beamwidth (HPBW) is one of the most important metrics [28]. HPBW is conventionally defined as the beamwidth within which the signals’s normalized radiated power is higher than -3 dB in a narrowband system. In this paper, we consider that there is a uniform electric field distribution within the 3-dB beamwidth coverage area.

With ideal aperture efficiency, the RIS can be modeled as a uniform amplitude and spacing array. The array factor can be derived by treating the units to be point sources. According to the pattern multiplication rule described in antenna theory [28], for an array composed of identical units, the total field can be synthesized by multiplying the array factor of the isotropic sources by the field of a single unit.

Assuming the position vector as follows,

  1. the transmitter (Tx):

    𝐫1=[cosϕ1sinθ1,sinϕ1sinθ1,cosθ1]T,subscript𝐫1superscriptsubscriptitalic-ϕ1subscript𝜃1subscriptitalic-ϕ1subscript𝜃1subscript𝜃1𝑇\mathbf{r}_{1}=\left[\cos\phi_{1}\sin\theta_{1},\sin\phi_{1}\sin\theta_{1},% \cos\theta_{1}\right]^{T},bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = [ roman_cos italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_sin italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , roman_cos italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ,
  2. the receiver (Rx):

    𝐫2=[cosϕ2sinθ2,sinϕ2sinθ2,cosθ2]T,subscript𝐫2superscriptsubscriptitalic-ϕ2subscript𝜃2subscriptitalic-ϕ2subscript𝜃2subscript𝜃2𝑇\mathbf{r}_{2}=\left[\cos\phi_{2}\sin\theta_{2},\sin\phi_{2}\sin\theta_{2},% \cos\theta_{2}\right]^{T},bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = [ roman_cos italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_sin italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , roman_cos italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ,
  3. the observation direction:

    𝐫=[cosϕsinθ,sinϕsinθ,cosθ]T,𝐫superscriptitalic-ϕ𝜃italic-ϕ𝜃𝜃𝑇\mathbf{r}=[\cos\phi\sin\theta,\sin\phi\sin\theta,\cos\theta]^{T},bold_r = [ roman_cos italic_ϕ roman_sin italic_θ , roman_sin italic_ϕ roman_sin italic_θ , roman_cos italic_θ ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ,
  4. the unit in the a𝑎aitalic_a-th row and b𝑏bitalic_b-th column:

    𝐫ab=[(b1)d,(a1)d,0]T.subscript𝐫𝑎𝑏superscript𝑏1𝑑𝑎1𝑑0𝑇\mathbf{r}_{ab}=[(b-1)d,(a-1)d,0]^{T}.bold_r start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = [ ( italic_b - 1 ) italic_d , ( italic_a - 1 ) italic_d , 0 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT .

Denote the phase of the (a,b𝑎𝑏a,bitalic_a , italic_b)-unit on RIS as ϕabsubscriptitalic-ϕ𝑎𝑏\phi_{ab}italic_ϕ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT, as the main beam direction is achieved at (θ2,ϕ2subscript𝜃2subscriptitalic-ϕ2\theta_{2},\phi_{2}italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT), the phase configuration is

ϕab=k(𝐫1𝐫abT+𝐫2𝐫abT),subscriptitalic-ϕ𝑎𝑏𝑘subscript𝐫1superscriptsubscript𝐫𝑎𝑏𝑇subscript𝐫2superscriptsubscript𝐫𝑎𝑏𝑇\phi_{ab}=-k\left(\mathbf{r}_{1}*\mathbf{r}_{ab}^{T}+\mathbf{r}_{2}*\mathbf{r}% _{ab}^{T}\right),italic_ϕ start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT = - italic_k ( bold_r start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∗ bold_r start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT + bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∗ bold_r start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) , (15)

where k=2π/λ𝑘2𝜋𝜆k=2\pi/\lambdaitalic_k = 2 italic_π / italic_λ is the wave number. The array factor of RIS can be given by

AF(θ,ϕ)=a=1Ab=1Bejk(𝐫𝐫abT𝐫2𝐫abT),AF𝜃italic-ϕsuperscriptsubscript𝑎1𝐴superscriptsubscript𝑏1𝐵superscript𝑒𝑗𝑘𝐫superscriptsubscript𝐫𝑎𝑏𝑇subscript𝐫2superscriptsubscript𝐫𝑎𝑏𝑇\mathrm{AF}(\theta,\phi)=\sum_{a=1}^{A}\sum_{b=1}^{B}e^{jk\left(\mathbf{r}*% \mathbf{r}_{ab}^{T}-\mathbf{r}_{2}*\mathbf{r}_{ab}^{T}\right)},roman_AF ( italic_θ , italic_ϕ ) = ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_b = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j italic_k ( bold_r ∗ bold_r start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - bold_r start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ∗ bold_r start_POSTSUBSCRIPT italic_a italic_b end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT , (16)

which can also be rewritten in (17).

AF(θ,ϕ)AF𝜃italic-ϕ\displaystyle\mathrm{AF}(\theta,\phi)roman_AF ( italic_θ , italic_ϕ ) =a=1Ab=1Bejkd[((b1)cosϕsinθ+(a1)sinϕsinθ)((b1)cosϕ2sinθ2+(a1)sinϕ2sinθ2)]absentsuperscriptsubscript𝑎1𝐴superscriptsubscript𝑏1𝐵superscript𝑒𝑗𝑘𝑑delimited-[]𝑏1italic-ϕ𝜃𝑎1italic-ϕ𝜃𝑏1subscriptitalic-ϕ2subscript𝜃2𝑎1subscriptitalic-ϕ2subscript𝜃2\displaystyle=\sum_{a=1}^{A}\sum_{b=1}^{B}e^{jkd\left[((b-1)\cos\phi\sin\theta% +(a-1)\sin\phi\sin\theta)-\left((b-1)\cos\phi_{2}\sin\theta_{2}+(a-1)\sin\phi_% {2}\sin\theta_{2}\right)\right]}= ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_b = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j italic_k italic_d [ ( ( italic_b - 1 ) roman_cos italic_ϕ roman_sin italic_θ + ( italic_a - 1 ) roman_sin italic_ϕ roman_sin italic_θ ) - ( ( italic_b - 1 ) roman_cos italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + ( italic_a - 1 ) roman_sin italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) ] end_POSTSUPERSCRIPT (17)
=a=1Aejkd(a1)(sinϕsinθsinϕ2sinθ2)b=1Bejkd(b1)(cosϕsinθcosϕ2sinθ2)absentsuperscriptsubscript𝑎1𝐴superscript𝑒𝑗𝑘𝑑𝑎1italic-ϕ𝜃subscriptitalic-ϕ2subscript𝜃2superscriptsubscript𝑏1𝐵superscript𝑒𝑗𝑘𝑑𝑏1italic-ϕ𝜃subscriptitalic-ϕ2subscript𝜃2\displaystyle=\sum_{a=1}^{A}e^{jkd(a-1)\left(\sin\phi\sin\theta-\sin\phi_{2}% \sin\theta_{2}\right)}*\sum_{b=1}^{B}e^{jkd(b-1)\left(\cos\phi\sin\theta-\cos% \phi_{2}\sin\theta_{2}\right)}= ∑ start_POSTSUBSCRIPT italic_a = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_A end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j italic_k italic_d ( italic_a - 1 ) ( roman_sin italic_ϕ roman_sin italic_θ - roman_sin italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ∗ ∑ start_POSTSUBSCRIPT italic_b = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_B end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j italic_k italic_d ( italic_b - 1 ) ( roman_cos italic_ϕ roman_sin italic_θ - roman_cos italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT

Denote Ψ1=kd(sinϕsinθsinϕ2sinθ2)subscriptΨ1𝑘𝑑italic-ϕ𝜃subscriptitalic-ϕ2subscript𝜃2\Psi_{1}=kd\left(\sin\phi\sin\theta-\sin\phi_{2}\sin\theta_{2}\right)roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_k italic_d ( roman_sin italic_ϕ roman_sin italic_θ - roman_sin italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), and Ψ2=kd(cosϕsinθcosϕ2sinθ2)subscriptΨ2𝑘𝑑italic-ϕ𝜃subscriptitalic-ϕ2subscript𝜃2\Psi_{2}=kd\left(\cos\phi\sin\theta-\cos\phi_{2}\sin\theta_{2}\right)roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_k italic_d ( roman_cos italic_ϕ roman_sin italic_θ - roman_cos italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), it holds

AF(θ,ϕ)=sin(A2Ψ1)sin(12Ψ1)sin(B2Ψ2)sin(12Ψ2)ej(A12Ψ1+B12Ψ2)AF𝜃italic-ϕ𝐴2subscriptΨ112subscriptΨ1𝐵2subscriptΨ212subscriptΨ2superscript𝑒𝑗𝐴12subscriptΨ1𝐵12subscriptΨ2\mathrm{AF}(\theta,\phi)=\frac{\sin\left(\frac{A}{2}\Psi_{1}\right)}{\sin\left% (\frac{1}{2}\Psi_{1}\right)}\frac{\sin\left(\frac{B}{2}\Psi_{2}\right)}{\sin% \left(\frac{1}{2}\Psi_{2}\right)}e^{j\left(\frac{A-1}{2}\Psi_{1}+\frac{B-1}{2}% \Psi_{2}\right)}roman_AF ( italic_θ , italic_ϕ ) = divide start_ARG roman_sin ( divide start_ARG italic_A end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG divide start_ARG roman_sin ( divide start_ARG italic_B end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG italic_e start_POSTSUPERSCRIPT italic_j ( divide start_ARG italic_A - 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + divide start_ARG italic_B - 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT (18)

If the reference point is the physical center of the array, the array factor of (18) reduces to

AF(θ,ϕ)=sin(A2Ψ1)sin(12Ψ1)sin(B2Ψ2)sin(12Ψ2).AF𝜃italic-ϕ𝐴2subscriptΨ112subscriptΨ1𝐵2subscriptΨ212subscriptΨ2\mathrm{AF}(\theta,\phi)=\frac{\sin\left(\frac{A}{2}\Psi_{1}\right)}{\sin\left% (\frac{1}{2}\Psi_{1}\right)}\frac{\sin\left(\frac{B}{2}\Psi_{2}\right)}{\sin% \left(\frac{1}{2}\Psi_{2}\right)}.roman_AF ( italic_θ , italic_ϕ ) = divide start_ARG roman_sin ( divide start_ARG italic_A end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG divide start_ARG roman_sin ( divide start_ARG italic_B end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG . (19)

It can be normalized as

AF(θ,ϕ)=1A1Bsin(A2Ψ1)sin(12Ψ1)sin(B2Ψ2)sin(12Ψ2).AF𝜃italic-ϕ1𝐴1𝐵𝐴2subscriptΨ112subscriptΨ1𝐵2subscriptΨ212subscriptΨ2\mathrm{AF}(\theta,\phi)=\frac{1}{A}\frac{1}{B}\frac{\sin\left(\frac{A}{2}\Psi% _{1}\right)}{\sin\left(\frac{1}{2}\Psi_{1}\right)}\frac{\sin\left(\frac{B}{2}% \Psi_{2}\right)}{\sin\left(\frac{1}{2}\Psi_{2}\right)}.roman_AF ( italic_θ , italic_ϕ ) = divide start_ARG 1 end_ARG start_ARG italic_A end_ARG divide start_ARG 1 end_ARG start_ARG italic_B end_ARG divide start_ARG roman_sin ( divide start_ARG italic_A end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG divide start_ARG roman_sin ( divide start_ARG italic_B end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG . (20)

The above expression can be approximated by

AF(θ,ϕ)(sin(A2Ψ1)A2Ψ1sin(B2Ψ2)B2Ψ2)similar-to-or-equalsAF𝜃italic-ϕ𝐴2subscriptΨ1𝐴2subscriptΨ1𝐵2subscriptΨ2𝐵2subscriptΨ2\mathrm{AF}(\theta,\phi)\simeq\left(\frac{\sin\left(\frac{A}{2}\Psi_{1}\right)% }{\frac{A}{2}\Psi_{1}}\frac{\sin\left(\frac{B}{2}\Psi_{2}\right)}{\frac{B}{2}% \Psi_{2}}\right)roman_AF ( italic_θ , italic_ϕ ) ≃ ( divide start_ARG roman_sin ( divide start_ARG italic_A end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG divide start_ARG italic_A end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG divide start_ARG roman_sin ( divide start_ARG italic_B end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG divide start_ARG italic_B end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) (21)

With the array factor, we proceed to investigate the HPBW of the directional main beam. Considering the rotational symmetry of the beam, we take the plane containing the azimuth angle of the beam direction as the reference plane, i.e., ϕ=ϕ2italic-ϕsubscriptitalic-ϕ2\phi=\phi_{2}italic_ϕ = italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT.

Substitute ϕ=ϕ2italic-ϕsubscriptitalic-ϕ2\phi=\phi_{2}italic_ϕ = italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT into Ψ1subscriptΨ1\Psi_{1}roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and Ψ2subscriptΨ2\Psi_{2}roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, we hold the equations

Ψ1subscriptΨ1\displaystyle\Psi_{1}roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT =kdsinϕ2(sinθsinθ2),absent𝑘𝑑subscriptitalic-ϕ2𝜃subscript𝜃2\displaystyle=kd\sin\phi_{2}(\sin\theta-\sin\theta_{2}),= italic_k italic_d roman_sin italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( roman_sin italic_θ - roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , (22)
Ψ2subscriptΨ2\displaystyle\Psi_{2}roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT =kdcosϕ2(sinθsinθ2).absent𝑘𝑑subscriptitalic-ϕ2𝜃subscript𝜃2\displaystyle=kd\cos\phi_{2}(\sin\theta-\sin\theta_{2}).= italic_k italic_d roman_cos italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( roman_sin italic_θ - roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) .

Denote Ψ3=A2Ψ1subscriptΨ3𝐴2subscriptΨ1\Psi_{3}=\frac{A}{2}\Psi_{1}roman_Ψ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = divide start_ARG italic_A end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, and Ψ4=B2Ψ2subscriptΨ4𝐵2subscriptΨ2\Psi_{4}=\frac{B}{2}\Psi_{2}roman_Ψ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = divide start_ARG italic_B end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, the factor array can be written as

AF(θ,ϕ)sin(Ψ3)Ψ3sin(Ψ4)Ψ4similar-to-or-equalsAF𝜃italic-ϕsubscriptΨ3subscriptΨ3subscriptΨ4subscriptΨ4\mathrm{AF}(\theta,\phi)\simeq\frac{\sin\left(\Psi_{3}\right)}{\Psi_{3}}\frac{% \sin\left(\Psi_{4}\right)}{\Psi_{4}}roman_AF ( italic_θ , italic_ϕ ) ≃ divide start_ARG roman_sin ( roman_Ψ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT end_ARG divide start_ARG roman_sin ( roman_Ψ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG (23)

For the main beam in the plane at any azimuth angle ϕ2subscriptitalic-ϕ2\phi_{2}italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, the HPBW depends on the elevation angle θ𝜃\thetaitalic_θ. To simplify and clarify, we illustrate this with ϕ2=0subscriptitalic-ϕ20\phi_{2}=0italic_ϕ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0, where it holds

AF(θ,ϕ)sin(Ψ4)Ψ4.similar-to-or-equalsAF𝜃italic-ϕsubscriptΨ4subscriptΨ4\mathrm{AF}(\theta,\phi)\simeq\frac{\sin\left(\Psi_{4}\right)}{\Psi_{4}}.roman_AF ( italic_θ , italic_ϕ ) ≃ divide start_ARG roman_sin ( roman_Ψ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) end_ARG start_ARG roman_Ψ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT end_ARG . (24)

The HPBW can be obtained through

HP=|θ1θ2|,HPsubscriptsuperscript𝜃1subscriptsuperscript𝜃2\mathrm{HP}=|\theta^{*}_{1}-\theta^{*}_{2}|,roman_HP = | italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | , (25)

where

θ1subscriptsuperscript𝜃1\displaystyle\theta^{*}_{1}italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT =sin1(1.391×2Bkd+sinθ2),absentsuperscript11.3912𝐵𝑘𝑑subscript𝜃2\displaystyle=\sin^{-1}\left(1.391\times\frac{2}{Bkd}+\sin\theta_{2}\right),= roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( 1.391 × divide start_ARG 2 end_ARG start_ARG italic_B italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) , (26)
θ2subscriptsuperscript𝜃2\displaystyle\theta^{*}_{2}italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT =sin1(1.391×2Bkd+sinθ2).absentsuperscript11.3912𝐵𝑘𝑑subscript𝜃2\displaystyle=\sin^{-1}\left(-1.391\times\frac{2}{Bkd}+\sin\theta_{2}\right).= roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( - 1.391 × divide start_ARG 2 end_ARG start_ARG italic_B italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) .
Theorem 1.

Given a reflecting angle θ2subscript𝜃2\theta_{2}italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT of RIS, the half-power beamwidth can be obtained through HP=|θ1θ2|HPsubscriptsuperscript𝜃1subscriptsuperscript𝜃2\mathrm{HP}=|\theta^{*}_{1}-\theta^{*}_{2}|roman_HP = | italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT |, where θ1=sin1(1.391×2Bkd+sinθ2)subscriptsuperscript𝜃1superscript11.3912𝐵𝑘𝑑subscript𝜃2\theta^{*}_{1}=\sin^{-1}\left(1.391\times\frac{2}{Bkd}+\sin\theta_{2}\right)italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( 1.391 × divide start_ARG 2 end_ARG start_ARG italic_B italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), and θ2=sin1(1.391×2Bkd+sinθ2)subscriptsuperscript𝜃2superscript11.3912𝐵𝑘𝑑subscript𝜃2\theta^{*}_{2}=\sin^{-1}\left(-1.391\times\frac{2}{Bkd}+\sin\theta_{2}\right)italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( - 1.391 × divide start_ARG 2 end_ARG start_ARG italic_B italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ).

Proof.

According to the AF approximation in (24), the 3-dB point for the array occurs when

Ψ4=B2kd(sinθsinθ2)=±1.391,subscriptΨ4𝐵2𝑘𝑑superscript𝜃subscript𝜃2plus-or-minus1.391\Psi_{4}=\frac{B}{2}kd\left(\sin\theta^{*}-\sin\theta_{2}\right)=\pm 1.391,roman_Ψ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = divide start_ARG italic_B end_ARG start_ARG 2 end_ARG italic_k italic_d ( roman_sin italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT - roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = ± 1.391 ,

we obtain

θ=sin1(±1.391×2Bkd+sinθ2).superscript𝜃superscript1plus-or-minus1.3912𝐵𝑘𝑑subscript𝜃2\theta^{*}=\sin^{-1}\left(\pm 1.391\times\frac{2}{Bkd}+\sin\theta_{2}\right).italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( ± 1.391 × divide start_ARG 2 end_ARG start_ARG italic_B italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) .

Then

HP=|θ1θ2|.HPsubscriptsuperscript𝜃1subscriptsuperscript𝜃2\mathrm{HP}=|\theta^{*}_{1}-\theta^{*}_{2}|.roman_HP = | italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | .

It is noteworthy that when the reflecting elevation angle is relatively large, the AF approximation function (21) tends to underestimate the actual value, resulting in a computed HPBW that is smaller than the actual one.

While the main beam direction is arbitrary, the HPBW can also be obtained by constructing and solving an equation through the 3-dB value point (see Appendix B).

For an N𝑁Nitalic_N-unit uniformly distributed linear array with spacing d𝑑ditalic_d. The array factor expression in (16) can be reduced as

AF(θ)=n=1Nej(n1)kd(sinθsinθ2)AF𝜃superscriptsubscript𝑛1𝑁superscript𝑒𝑗𝑛1𝑘𝑑𝜃subscript𝜃2\displaystyle\mathrm{AF}(\theta)=\sum_{n=1}^{N}e^{j(n-1)kd(\sin\theta-\sin% \theta_{2})}roman_AF ( italic_θ ) = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j ( italic_n - 1 ) italic_k italic_d ( roman_sin italic_θ - roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT (27)

which can be normalized and approximated as (see Appendix A)

AF(θ)[sin(N2Ψ1)N2Ψ1]similar-to-or-equalsAF𝜃delimited-[]𝑁2subscriptΨ1𝑁2subscriptΨ1\mathrm{AF}(\theta)\simeq\left[\frac{\sin\left(\frac{N}{2}\Psi_{1}\right)}{% \frac{N}{2}\Psi_{1}}\right]roman_AF ( italic_θ ) ≃ [ divide start_ARG roman_sin ( divide start_ARG italic_N end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) end_ARG start_ARG divide start_ARG italic_N end_ARG start_ARG 2 end_ARG roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG ] (28)

where Ψ1=kd(sinθsinθ2)subscriptΨ1𝑘𝑑𝜃subscript𝜃2\Psi_{1}=kd(\sin\theta-\sin\theta_{2})roman_Ψ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_k italic_d ( roman_sin italic_θ - roman_sin italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ).

The 3-dB point and beamwidth can also be obtained through (25) and (26).

The closed-form expressions (25) and  (26) characterize the relationship between the main beam’s beamwidth in a reflective array and the number of units, as well as the reflection direction, for the first time. In the subsequent section, we will optimize the deployment and beam design of RIS based on these findings.

IV Optimization Strategy

The width of the beam reflected by the RIS is highly dependent on the location of the receiver. In this section, we optimize RIS-assisted communications from both deployment and beamforming perspectives. By leveraging the aperture efficiency theory and half-power beamwidth derived in the previous section, our objective is to enhance the performance of the multi-hop communications through the homogenization of aperture field distribution.

Refer to caption
Figure 6: Beamwidth and effective aperture of RIS.

IV-A Deployment Optimization

In successive multi-hop RIS-assisted communication, signals are typically point-to-point. In such single-input single-output scenarios, the phase configuration of the RIS can be directly and easily computed with the location of the transmitter and receiver [29, 9]. One of the choices to maximize aperture efficiency and directional gains is to optimize the deployment of RISs according to the beamwidth. Specifically, one can select an appropriate installation distance based on a fixed RIS aperture, or determine the required RIS aperture (the number of units) based on a fixed distance. For the sake of clarity, we employ a uniform linear array with N𝑁Nitalic_N units for analysis.

As shown in Fig. 6, RIS{1}1\{1\}{ 1 } reflecting the incident signals to RIS{2}2\{2\}{ 2 }. The effective aperture of RIS{2}2\{2\}{ 2 } is Lcosα𝐿𝛼L\cos\alphaitalic_L roman_cos italic_α.

IV-A1 RIS position optimization

For a fixed-aperture RIS, selecting an appropriate installation position to optimize the distance r𝑟ritalic_r can effectively optimize the aperture field distribution and improve the aperture efficiency. This optimization can be formulated as

(P1)minr|2rsin(θh2)Lcosα|,(P1)subscript𝑟2𝑟subscript𝜃2𝐿𝛼\displaystyle\text{(P1)}\ \min_{r}\ |2r\sin(\frac{\theta_{h}}{2})-L\cos\alpha|,(P1) roman_min start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT | 2 italic_r roman_sin ( divide start_ARG italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) - italic_L roman_cos italic_α | , (29)

where θhsubscript𝜃\theta_{h}italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT is denoted as the HPBW. Recall that θh=|θ1θ2|subscript𝜃subscriptsuperscript𝜃1subscriptsuperscript𝜃2\theta_{h}=|\theta^{*}_{1}-\theta^{*}_{2}|italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT = | italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT |, we have the optimum roptsubscript𝑟optr_{\rm opt}italic_r start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT as

ropt=Lcosα2sin(|θ1θ2|2),subscript𝑟opt𝐿𝛼2subscriptsuperscript𝜃1subscriptsuperscript𝜃22r_{\rm opt}=\frac{L\cos\alpha}{2\sin(\frac{|\theta^{*}_{1}-\theta^{*}_{2}|}{2}% )},italic_r start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT = divide start_ARG italic_L roman_cos italic_α end_ARG start_ARG 2 roman_sin ( divide start_ARG | italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | end_ARG start_ARG 2 end_ARG ) end_ARG , (30)

where θ1=sin1(1.391×2Nkd+sinθs)subscriptsuperscript𝜃1superscript11.3912𝑁𝑘𝑑superscript𝜃s\theta^{*}_{1}=\sin^{-1}\left(1.391\times\frac{2}{Nkd}+\sin\theta^{\text{s}}\right)italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( 1.391 × divide start_ARG 2 end_ARG start_ARG italic_N italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ), and θ2=sin1(1.391×2Nkd+sinθs)subscriptsuperscript𝜃2superscript11.3912𝑁𝑘𝑑superscript𝜃s\theta^{*}_{2}=\sin^{-1}\left(-1.391\times\frac{2}{Nkd}+\sin\theta^{\text{s}}\right)italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( - 1.391 × divide start_ARG 2 end_ARG start_ARG italic_N italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ).

IV-A2 RIS aperture optimization

Based on the relationship between beamwidth, the number of array units, and beam direction, we can also determine the required RIS aperture size (i.e., the number of units needed in a uniform array) for signal relays at a fixed location.

Assuming the size of each unit within the uniform linear array is λ/2𝜆2\lambda/2italic_λ / 2, the relationship between the number of units N𝑁Nitalic_N and the RIS aperture L𝐿Litalic_L is given by L=Nλ/2𝐿𝑁𝜆2L=N\cdot\lambda/2italic_L = italic_N ⋅ italic_λ / 2. We can formulate the optimization problem as

(P2)minN+|2rsin(θh2)Lcosα|.(P2)subscript𝑁superscript2𝑟subscript𝜃2𝐿𝛼\text{(P2)}\ \min_{N\in\mathbb{Z}^{+}}\ |2r\sin(\frac{\theta_{h}}{2})-L\cos% \alpha|.(P2) roman_min start_POSTSUBSCRIPT italic_N ∈ blackboard_Z start_POSTSUPERSCRIPT + end_POSTSUPERSCRIPT end_POSTSUBSCRIPT | 2 italic_r roman_sin ( divide start_ARG italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) - italic_L roman_cos italic_α | . (31)

The optimum can be achieved by

Nopt=round(4rsin(|θ1θ2|2)λcosα).subscript𝑁optround4𝑟subscriptsuperscript𝜃1subscriptsuperscript𝜃22𝜆𝛼N_{\rm opt}={\rm round}(\frac{4r\cdot\sin(\frac{|\theta^{*}_{1}-\theta^{*}_{2}% |}{2})}{\lambda\cdot\cos\alpha}).italic_N start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT = roman_round ( divide start_ARG 4 italic_r ⋅ roman_sin ( divide start_ARG | italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG italic_λ ⋅ roman_cos italic_α end_ARG ) . (32)

Here, round()round{\rm round(\cdot)}roman_round ( ⋅ ) denotes the operator of mapping to the nearest whole number, θ1=sin1(1.391×2Nkd+sinθs)subscriptsuperscript𝜃1superscript11.3912𝑁𝑘𝑑superscript𝜃s\theta^{*}_{1}=\sin^{-1}\left(1.391\times\frac{2}{Nkd}+\sin\theta^{\text{s}}\right)italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( 1.391 × divide start_ARG 2 end_ARG start_ARG italic_N italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ), and θ2=sin1(1.391×2Nkd+sinθs)subscriptsuperscript𝜃2superscript11.3912𝑁𝑘𝑑superscript𝜃s\theta^{*}_{2}=\sin^{-1}\left(-1.391\times\frac{2}{Nkd}+\sin\theta^{\text{s}}\right)italic_θ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = roman_sin start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( - 1.391 × divide start_ARG 2 end_ARG start_ARG italic_N italic_k italic_d end_ARG + roman_sin italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ).

Optimizing the position and aperture size of the RIS can effectively focus the beam and ensure uniform illumination of the RIS’s effective aperture, thereby achieving high aperture efficiency and directional gains. We will verify this through simulations in Section V.

IV-B Beam Optimization

For a large-aperture RIS, if the position is fixed, a single beam is often insufficient to cover the entire aperture area (as shown in Fig. 5), especially in the near field. It becomes necessary to design the reflecting beam through optimization methods. In this context, traditional methods often struggle to achieve the desired beam coverage and efficiency due to issues such as side-lobe interference and complex implementation requirements.

It has been demonstrated that the phase optimization methods to achieve more beam numbers may reduce the antenna directivity but has no significant impact on the width of the beam width[27, 9]. To design desired radiation patterns for RISs, we propose a modified method based on the MA algorithm, whose convergence and optimality have been proven in our previous work [9]. For simplicity and clarity, we assume all the RISs have the same number of units.

We adopt the scheme to optimize phase configuration RIS by RIS. Specifically, for RIS{1}1\{1\}{ 1 }, we optimize its phase configuration to achieve uniform coverage of the reflected beam across the aperture of RIS {2}2\{2\}{ 2 }, aligning the coverage area with that of RIS {2}2\{2\}{ 2 }, based on the signal expression (4). For RIS{k}𝑘\{k\}{ italic_k } (k2𝑘2k\geq 2italic_k ≥ 2), the analysis approach remains consistent, transitioning to the signal model as depicted in (6).

Similarly, initially taking the two-hop RIS scenario as an example, the beam design can be classified into two types. If the width of a single beam is over or exact illumination on RIS{2}2\{2\}{ 2 }, as depicted in Fig. 5 and Fig. 5, we set the center of RIS {2}2\{2\}{ 2 } as the target beam direction, and directly obtain the required phase configuration for RIS {1}1\{1\}{ 1 } by

ωn,opt=2π(ri(n)+rs(n))/λ,n=1,,N.formulae-sequencesubscript𝜔𝑛opt2𝜋superscript𝑟i𝑛superscript𝑟s𝑛𝜆𝑛1𝑁\omega_{n,{\rm opt}}=2\pi(r^{\text{i}}(n)+r^{\text{s}}(n))/\lambda,\ n=1,% \cdots,N.italic_ω start_POSTSUBSCRIPT italic_n , roman_opt end_POSTSUBSCRIPT = 2 italic_π ( italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) + italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) ) / italic_λ , italic_n = 1 , ⋯ , italic_N . (33)

Otherwise, for partial illuminations in Fig. 5, we put forward the following optimization steps for RIS beam design, termed the multi-beam approach.

The optimization begins with determining the sampling points on RIS {2}2\{2\}{ 2 }, which will serve as the target directions for RIS {1}1\{1\}{ 1 } to generate multiple beams, thereby achieving a uniform illumination on RIS {2}2\{2\}{ 2 }. To avoid excessive computational complexity and potential unsolvable cases caused by too many sampling points, as well as overly narrow illuminated areas due to too few sampling points, we determine the points according to the relationship between the beamwidth and RIS aperture. The number of points can be determined through

Z=2×Lcosα2rsin(θh2)1,𝑍2𝐿𝛼2𝑟subscript𝜃21Z=2\times\lceil\frac{L\cos\alpha}{2r\sin(\frac{\theta_{h}}{2})}\rceil-1,italic_Z = 2 × ⌈ divide start_ARG italic_L roman_cos italic_α end_ARG start_ARG 2 italic_r roman_sin ( divide start_ARG italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) end_ARG ⌉ - 1 , (34)

where \lceil\cdot\rceil⌈ ⋅ ⌉ denotes the ceiling function.

Set the Z𝑍Zitalic_Z points on RIS{2}2\{2\}{ 2 } as the hypothetic UEs, we explore a multi-beam design strategy with the objective of maximizing the minimum power. Formally, this strategy can be expressed as

maxω1,,ωN[0,2π)minz{Ps(rzs,θs,ϕs),z=1,,Z}subscriptsubscript𝜔1subscript𝜔𝑁02𝜋subscript𝑧superscript𝑃ssubscriptsuperscript𝑟s𝑧superscript𝜃ssuperscriptitalic-ϕs𝑧1𝑍\max_{\omega_{1},\dots,\omega_{N}\in[0,2\pi)}\min_{z}\ \left\{P^{\text{s}}(r^{% \text{s}}_{z},\theta^{\text{s}},\phi^{\text{s}}),z=1,\ldots,Z\right\}roman_max start_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_ω start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ∈ [ 0 , 2 italic_π ) end_POSTSUBSCRIPT roman_min start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT { italic_P start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ) , italic_z = 1 , … , italic_Z } (35)

Here Ps()=|Es()|2superscript𝑃ssuperscriptsuperscript𝐸s2P^{\text{s}}(\cdot)=\lvert E^{\text{s}}(\cdot)\rvert^{2}italic_P start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( ⋅ ) = | italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( ⋅ ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT represents the power at a specific location.

Recall the equation in (4), if we define 𝐰=[ejω1,,ejωN]H𝐰superscriptsuperscript𝑒𝑗subscript𝜔1superscript𝑒𝑗subscript𝜔𝑁𝐻\mathbf{w}=[e^{j\omega_{1}},\cdots,e^{j\omega_{N}}]^{H}bold_w = [ italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , ⋯ , italic_e start_POSTSUPERSCRIPT italic_j italic_ω start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT, and 𝐡=[h1,,hN]T𝐡superscriptsubscript1subscript𝑁𝑇\mathbf{h}=[h_{1},\cdots,h_{N}]^{T}bold_h = [ italic_h start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , ⋯ , italic_h start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT with hn=ej2πri(n)/λej2πrs(n)/λri(n)rs(n)subscript𝑛superscript𝑒𝑗2𝜋superscript𝑟i𝑛𝜆superscript𝑒𝑗2𝜋superscript𝑟s𝑛𝜆superscript𝑟i𝑛superscript𝑟s𝑛h_{n}=\frac{e^{-j2\pi r^{\text{i}}(n)/\lambda}e^{-j2\pi r^{\text{s}}(n)/% \lambda}}{r^{\text{i}}(n)r^{\text{s}}(n)}italic_h start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT i end_POSTSUPERSCRIPT ( italic_n ) italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT ( italic_n ) end_ARG, the optimization can be reformulated as

(P3)maxω1,,ωN[0,2π)minz{𝐰H𝐇z𝐰,z=1,,Z},(P3)subscriptsubscript𝜔1subscript𝜔𝑁02𝜋subscript𝑧superscript𝐰𝐻subscript𝐇𝑧𝐰𝑧1𝑍\displaystyle\text{(P3)}\ \max_{\omega_{1},\dots,\omega_{N}\in[0,2\pi)}\min_{z% }\ \left\{\mathbf{w}^{H}\mathbf{H}_{z}\mathbf{w},z=1,\ldots,Z\right\},(P3) roman_max start_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , … , italic_ω start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ∈ [ 0 , 2 italic_π ) end_POSTSUBSCRIPT roman_min start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT { bold_w start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT bold_w , italic_z = 1 , … , italic_Z } , (36)

where 𝐇=𝐡𝐡H𝐇superscript𝐡𝐡𝐻\mathbf{H}=\mathbf{h}\mathbf{h}^{H}bold_H = bold_hh start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT.

For RIS{k}𝑘\{k\}{ italic_k } with 2kK12𝑘𝐾12\leq k\leq K-12 ≤ italic_k ≤ italic_K - 1, this optimization problem can also be formulated, with the distinction that hn=Ek1s(rk1s(n),θk1s,ϕk1s)ej2πrks(n)/λrks(n)subscript𝑛subscriptsuperscript𝐸s𝑘1subscriptsuperscript𝑟s𝑘1𝑛subscriptsuperscript𝜃s𝑘1subscriptsuperscriptitalic-ϕs𝑘1superscript𝑒𝑗2𝜋subscriptsuperscript𝑟s𝑘𝑛𝜆subscriptsuperscript𝑟s𝑘𝑛h_{n}=E^{\text{s}}_{k-1}(r^{\text{s}}_{k-1}(n),\theta^{\text{s}}_{k-1},\phi^{% \text{s}}_{k-1})\frac{e^{-j2\pi r^{\text{s}}_{k}(n)/\lambda}}{r^{\text{s}}_{k}% (n)}italic_h start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_n ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ) divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_n ) / italic_λ end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_n ) end_ARG, as in (6).

Problem (P3) belongs to the class of semi-infinite max-min problems, which can be optimally solved by our previously proposed MA algorithm [9].

Algorithm 1 multi-beam approach for RIS phase configuration
1:procedure OP(optimization on RIS phases for k[1,K]𝑘1𝐾k\in[1,K]italic_k ∈ [ 1 , italic_K ])
2:     if kK1𝑘𝐾1k\leq K-1italic_k ≤ italic_K - 1 then
3:         calculate the samp point Z𝑍Zitalic_Z on RIS{k+1}𝑘1\{k+1\}{ italic_k + 1 } by (34)
4:         solve (36) for 𝐰optksuperscriptsubscript𝐰opt𝑘\mathbf{w}_{\rm opt}^{k}bold_w start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT by MA method [9]
5:     else
6:         calculate ωn,optsubscript𝜔𝑛opt\omega_{n,\rm{opt}}italic_ω start_POSTSUBSCRIPT italic_n , roman_opt end_POSTSUBSCRIPT by (37)
7:         calculate 𝐰optksuperscriptsubscript𝐰opt𝑘\mathbf{w}_{\rm opt}^{k}bold_w start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT with ωn,optsubscript𝜔𝑛opt\omega_{n,\rm{opt}}italic_ω start_POSTSUBSCRIPT italic_n , roman_opt end_POSTSUBSCRIPT
8:     end if
9:     return {𝐰opt1,𝐰opt2,𝐰optK}subscriptsuperscript𝐰1optsubscriptsuperscript𝐰2optsubscriptsuperscript𝐰𝐾opt\{\mathbf{w}^{1}_{\rm opt},\mathbf{w}^{2}_{\rm opt}\cdots,\mathbf{w}^{K}_{\rm opt}\}{ bold_w start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT , bold_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT ⋯ , bold_w start_POSTSUPERSCRIPT italic_K end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_opt end_POSTSUBSCRIPT }
10:end procedure

After K𝐾Kitalic_K hops, a single UE receives the final signal. As for the last RIS{K}𝐾\{K\}{ italic_K }, and the phase configuration can be obtained as

ωn,optk=arg{Ek1s(rk1s(n),θk1s,ϕk1s)}+2πrks(n)/λsuperscriptsubscript𝜔𝑛opt𝑘subscriptsuperscript𝐸s𝑘1subscriptsuperscript𝑟s𝑘1𝑛subscriptsuperscript𝜃s𝑘1subscriptsuperscriptitalic-ϕs𝑘12𝜋subscriptsuperscript𝑟s𝑘𝑛𝜆\omega_{n,\rm{opt}}^{k}=\arg\{E^{\text{s}}_{k-1}(r^{\text{s}}_{k-1}(n),\theta^% {\text{s}}_{k-1},\phi^{\text{s}}_{k-1})\}+2\pi r^{\text{s}}_{k}(n)/\lambdaitalic_ω start_POSTSUBSCRIPT italic_n , roman_opt end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_k end_POSTSUPERSCRIPT = roman_arg { italic_E start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ( italic_n ) , italic_θ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT , italic_ϕ start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k - 1 end_POSTSUBSCRIPT ) } + 2 italic_π italic_r start_POSTSUPERSCRIPT s end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_n ) / italic_λ (37)

Thus, the phase of all K𝐾Kitalic_K RISs are all optimally configured. The multi-beam approach for partial illuminations can be summarized in Algorithm 1

The proposed beam optimization method features high flexibility in the multi-hop transmission of the wireless signal. The multi-beam approach leverages not only the positions of the transmitter-receiver and RISs but also utilizes channel state information if available. The primary distinction between them lies in the elements within matrix 𝐇𝐇\mathbf{H}bold_H in optimization problem (P3).

V Simulation and Prototype Experiments

We now investigate the beamforming capabilities of RISs to demonstrate the effectiveness of the derived methods and optimization strategies in multi-hop RIS-assisted communications. Initially, we validate the relationship between beamwidth, beam direction, and the number of units based on the derived HPBW expressions. Subsequently, we analyzed the aperture efficiency under different RIS deployment strategies, confirming that the optimized deployments are effective.

Refer to caption
Refer to caption
Figure 7: Comparison of theoretical and measured half-power beamwidth. (a) Single beam. (b) Multiple beams.

Furthermore, we evaluate the impact of different aperture sizes and distances between RISs on the received signal power by employing the proposed multi-beam method and traditional single-beam method. The simulation and prototype-experiment outcomes highlight the importance of the proposed strategies for enhancing communication quality in multi-hop RIS-assisted communications. In all conducted simulations, the coordinate of the Tx remains fixed at (0, 0, 3).

V-A Beamwidth of the Reflecting Wave

In Fig 7, we compare the radiation patterns derived from array factor theory with those obtained through simulation tests. We employed a linear RIS array with 16 units. The results in Fig. 7 indicate that at a beam direction of 45°, the derived array factor closely matches the actual beam radiation pattern. Additionally, when using the MA algorithm to generate multiple beams, the main beams at 30superscript30-30^{\circ}- 30 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT, 0superscript00^{\circ}0 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT, and 30superscript3030^{\circ}30 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT all align with the derived, as shown in Fig. 7.

To further validate the relationship between the derived beamwidth, beam direction, and the number of units, we conduct experiments with different parameter settings and compare the theoretical beamwidth calculations with the actual beamwidths. The outcomes are illustrated in Table I. It can be observed that the HPBW becomes smaller with an increasing number of units. Additionally, the beam direction influences the reflected beamwidth, with beams at smaller elevation angles exhibiting narrower widths. In summary, the derived beamwidth in this work aligns closely with the actual measurements. When the number of units exceeds 16, the discrepancy can be less than 0.02superscript0.020.02^{\circ}0.02 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT.

TABLE I: Half-power beamwidth correspond to uniform linear RISs.
RIS units Beam direction θ𝜃\thetaitalic_θ Theoretical HPBW Measured HPBW Gap
8 30superscript3030^{\circ}30 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 14.73superscript14.7314.73^{\circ}14.73 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 14.84superscript14.8414.84^{\circ}14.84 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.11superscript0.110.11^{\circ}0.11 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
8 45superscript4545^{\circ}45 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 18.25superscript18.2518.25^{\circ}18.25 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 18.38superscript18.3818.38^{\circ}18.38 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.13superscript0.130.13^{\circ}0.13 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
8 60superscript6060^{\circ}60 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 28.56superscript28.5628.56^{\circ}28.56 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 28.85superscript28.8528.85^{\circ}28.85 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.29superscript0.290.29^{\circ}0.29 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
16 30superscript3030^{\circ}30 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 7.33superscript7.337.33^{\circ}7.33 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 7.2superscript7.27.2^{\circ}7.2 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.13superscript0.130.13^{\circ}0.13 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
16 45superscript4545^{\circ}45 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 9.01superscript9.019.01^{\circ}9.01 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 9.02superscript9.029.02^{\circ}9.02 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.01superscript0.010.01^{\circ}0.01 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
16 60superscript6060^{\circ}60 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 12.97superscript12.9712.97^{\circ}12.97 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 12.99superscript12.9912.99^{\circ}12.99 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.02superscript0.020.02^{\circ}0.02 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
32 30superscript3030^{\circ}30 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 3.66superscript3.663.66^{\circ}3.66 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 3.67superscript3.673.67^{\circ}3.67 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.01superscript0.010.01^{\circ}0.01 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
32 45superscript4545^{\circ}45 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 4.49superscript4.494.49^{\circ}4.49 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 4.49superscript4.494.49^{\circ}4.49 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0superscript00^{\circ}0 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
32 60superscript6060^{\circ}60 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 6.38superscript6.386.38^{\circ}6.38 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 6.38superscript6.386.38^{\circ}6.38 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0superscript00^{\circ}0 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
64 30superscript3030^{\circ}30 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 1.83superscript1.831.83^{\circ}1.83 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 1.83superscript1.831.83^{\circ}1.83 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0superscript00^{\circ}0 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
64 45superscript4545^{\circ}45 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 2.24superscript2.242.24^{\circ}2.24 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 2.24superscript2.242.24^{\circ}2.24 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0superscript00^{\circ}0 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
64 60superscript6060^{\circ}60 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 3.18superscript3.183.18^{\circ}3.18 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 3.18superscript3.183.18^{\circ}3.18 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0superscript00^{\circ}0 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT
64 75superscript7575^{\circ}75 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 6.26superscript6.266.26^{\circ}6.26 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 6.27superscript6.276.27^{\circ}6.27 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT 0.01superscript0.010.01^{\circ}0.01 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT

V-B Aperture Efficiency in Deployment Optimization

Deployment optimization in this work primarily targets the enhancement of aperture efficiency. By adjusting the current RIS’s aperture size (number of units) or its distance from the preceding RIS based on the width of the beam reflected by the preceding RIS, higher aperture efficiency can be achieved in multi-hop setups. For comparison, we defined the ratio of RIS effective aperture to beam illumination (EA-B ratio) in either linear or planar array as

ABR=Lcosα2rsin(θh2).𝐴𝐵𝑅𝐿𝛼2𝑟subscript𝜃2{ABR}=\frac{L\cos\alpha}{2r\sin(\frac{\theta_{h}}{2})}.italic_A italic_B italic_R = divide start_ARG italic_L roman_cos italic_α end_ARG start_ARG 2 italic_r roman_sin ( divide start_ARG italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) end_ARG . (38)

When the EA-B ratio nears 𝟏1\mathbf{1}bold_1, the theoretical aperture efficiency and achievable directional gain are maximized. We employ two successive RISs for illustration.

Refer to caption
Figure 8: Aperture efficiency as the function of distance between RIS{1}1\{1\}{ 1 } and RIS {2}2\{2\}{ 2 }, with fixed RIS units 32×32323232\times 3232 × 32, and reflecting elevation angle θ=45𝜃superscript45\theta=45^{\circ}italic_θ = 45 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT.
Refer to caption
Figure 9: Aperture efficiency as the function of RIS units, with RIS{1}1\{1\}{ 1 } and RIS {2}2\{2\}{ 2 } positioned (0, 0, 0) and (5, 0, 5).

V-B1 RIS position optimization for the problem (P1)

We initially simulate a scenario where the number of RIS units is fixed at 32×32323232\times 3232 × 32, maintaining a constant reflection beam angle between RIS{1}1\{1\}{ 1 } and RIS{2}2\{2\}{ 2 } to ensure an unchanged beamwidth. By adjusting the coordinates of RIS{2}2\{2\}{ 2 }, we observe and record its aperture efficiency.

The results in Fig. 8 show that as the distance between the two RISs increases, RIS{2}2\{2\}{ 2 }’s aperture efficiency initially rises and then declines. The specific values in Table. II indicate that when RIS{2}2\{2\}{ 2 } is positioned at (9, 0, 9), the aperture efficiency is maximized, with the corresponding EA-B ratio being 1.00131.00131.00131.0013. Compared to its position at (19, 0, 19), RIS{2}2\{2\}{ 2 } achieves an additional power gain of nearly 2 dB.

V-B2 RIS aperture optimization for the problem (P2)

In addition to the positions, we also evaluate the impact of RIS aperture size on the aperture efficiency. In this test, we fix the positions of RIS{1}1\{1\}{ 1 } and RIS{2}2\{2\}{ 2 } at (0, 0, 0) and (5, 0, 5), respectively, and measure the changes in aperture efficiency by simultaneously increasing the number of rows and columns (aperture size) of RISs. As shown in Fig. 9, the results indicate that when the number of RIS units is 24×24242424\times 2424 × 24, RIS{2}2\{2\}{ 2 } achieves a maximum aperture efficiency of 0.60620.60620.60620.6062, where the corresponding EA-B ratio equals 1.01321.01321.01321.0132.

The two experiments on RIS deployment demonstrate that changing the position and aperture size of RISs significantly impacts the aperture efficiency and directional gain of RISs. This underscores the practical significance of optimizing RIS deployment in real-world scenarios.

TABLE II: Aperture efficiency and Direction Gain of RIS{2}2\{2\}{ 2 }, while RIS {1}1\{1\}{ 1 } located at (0,0,0)000(0,0,0)( 0 , 0 , 0 ).
RIS{2}2\{2\}{ 2 } coordinate Inner-RIS Distance (m) EA-B Ratio Aperture efficiency Direction gain (dBi)
(5, 0, 5) 7.07 1.80231.80231.80231.8023 0.5097 32.16
(6, 0, 6) 8.49 1.50191.50191.50191.5019 0.5409 32.41
(7, 0, 7) 9.90 1.28741.28741.28741.2874 0.5598 32.56
(8, 0, 8) 11.31 1.1264 0.5902 32.79
(𝟗, 0, 9)9 09\mathbf{(9,\ 0,\ 9)}( bold_9 , bold_0 , bold_9 ) 12.7312.73\mathbf{12.73}bold_12.73 1.00131.0013\mathbf{1.0013}bold_1.0013 0.60860.6086\mathbf{0.6086}bold_0.6086 32.9332.93\mathbf{32.93}bold_32.93
(10, 0, 10) 14.14 0.90110.90110.90110.9011 0.6019 32.88
(11, 0, 11) 15.56 0.81920.81920.81920.8192 0.5842 32.75
(13, 0, 13) 18.38 0.6932 0.5346 32.36
(15, 0, 15) 21.21 0.6008 0.4828 31.92
(17,0,17) 24.04 0.5301 0.4367 31.48
(19,0,19) 26.87 0.4743 0.3959 31.06

V-C Aperture Field Distribution in Beam Optimization

Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 10: The aperture field distribution of RIS{2}2\{2\}{ 2 } in two-hop RIS-assisted communication, RIS {1}1\{1\}{ 1 } are located at (0,0,0)000(0,0,0)( 0 , 0 , 0 ), and 32×32323232\times 3232 × 32 array units are employed for each RIS. (a) Single-beam scheme, with RIS {2}2\{2\}{ 2 } located at (5,0,5)505(5,0,5)( 5 , 0 , 5 ). (b) Multi-beam scheme, with RIS {2}2\{2\}{ 2 } located at (5,0,5)505(5,0,5)( 5 , 0 , 5 ). (c) Single-beam scheme, with RIS {2}2\{2\}{ 2 } located at (4,0,4)404(4,0,4)( 4 , 0 , 4 ). (d) Multi-beam scheme, with RIS {2}2\{2\}{ 2 } located at (4,0,4)404(4,0,4)( 4 , 0 , 4 ).
Refer to caption
Figure 11: The received signal power at the final UE after two-hop RIS-assisted communication, as a function of the number of RIS units.
Refer to caption
Figure 12: The received signal power at the final UE after two-hop RIS-assisted communication, as a function of the number of distances between the two RISs. The number of units remains 32×32323232\times 3232 × 32.

In practical scenarios where the aperture size and position of RISs are fixed and immutable, optimizing the beams remains crucial for achieving higher gains on received power, particularly in near-field environments. Based on the proposed signal model, we compare the effects on received signal power between traditional direct calculation (single-beam) methods [17, 18] and the proposed multi-beam approach in partial illumination scenarios.

As aforementioned, the advantage of the multi-beam strategy lies in its ability to homogenize the aperture field distribution of RISs. To illustrate this, we generate heat maps illustrating the field distributions corresponding to both single-beam and multi-beam methods at two distinct positions of RIS{2}2\{2\}{ 2 }. Figs. 10 and  10 demonstrate that using traditional single-beam methods leads to signal energy over-concentration on the central portion of the RIS board, intensifying as the distance between RISs decreases. In contrast, the multi-beam approach effectively alleviates this issue, by concurrently generating beam coverage across various regions of RIS{2}2\{2\}{ 2 } using RIS{1}1\{1\}{ 1 }, as indicated in Figs. 10 and 10.

V-D Different Aperture Field Distribution Lead to Various Received Power

To further investigate the impact of field distribution variations on received signal power, we conduct experiments comparing the multi-beam and single-beam approaches in two-hop RIS-assisted communication. The experiments consist of two primary sets: the first set observes the effect of beam optimization on received signal power with varying numbers of RIS units, while the second set examines the received signal power at different distances between RISs.

We first position Tx, Rx, and two RISs at (0, 0, 3), (5, 0, 0), (0, 0, 0), and (5, 0, 5) respectively, and varied the number of rows (columns) of the RIS. As illustrated in Fig. 11, when the number of rows (columns) is relatively small, the received signal power corresponding to both the single-beam and multi-beam approaches is comparable. As the number increases, the single-beam shows an advantage within a certain range. However, when the number exceeds a certain threshold (e.g., 32×32323232\times 3232 × 32), the advantage of the multi-beam approach becomes increasingly evident.

Refer to caption
Figure 13: The prototype of 2-bit RIS-assisted multi-hop wireless communication system.

These findings can be attributed to the fact that when the number of RIS units is small, the beam’s minimum resolution is insufficient, leading to over-illumination of the RIS aperture (as in Fig. 5). This results in similar aperture field distributions with the multi-beam and single-beam approaches. As the number of units gradually increases, the beam width and aperture size become closer (EA-B ratio approaches 1), the single-beam approach produces more regular and uniform beams, thereby slightly outperforming the multi-beam approach. However, with a further increase in the aperture size of the RIS, the multi-beam approach exhibits advantages in field distribution and demonstrates increasingly superior performance.

In another distance experiment, we maintain the positions of Tx and RIS{1}1\{1\}{ 1 } constant and changed the position of Rx to (10, 0, 0). By adjusting the coordinates of RIS{2}2\{2\}{ 2 } and its distance from RIS{1}1\{1\}{ 1 }, we observed the received signal power. The results in Fig. 12 indicate that when the distance between RISs is relatively short, the multi-beam approach exhibits superior performance regarding received signal power. For instance, at a distance of 1.41 meters between RISs, this gain exceeds 5 dB.

From these two sets of experiments, it can be concluded that the multi-beam approach yields significant performance gains in partial illumination scenarios, validating the effectiveness of our proposed beam optimization strategy. Additionally, the results from Figs. 11 and 12 also indicate that selecting the appropriate number of units and RIS positions is crucial for enhancing the received signal power, as highlighted in the deployment optimization.

V-E Experimental Results with Prototype System

To assess the effectiveness of the proposed beam optimization method in practical settings, we conduct experiments with an operational two-hop RIS-assisted communication system. Within the framework of the present model, the phase disparities among different paths are computed directly based on the positions and configurations of the units. This characteristic facilitates beamforming without the necessity for explicit channel estimation procedures.

The prototype validations are conducted utilizing a two-hop 2-bit RIS-assisted wireless system operating at the central frequency of 3.4 GHz, as illustrated in Fig. 13. Each RIS is composed of 16×16161616\times 1616 × 16 units, with each unit carrying two PIN diodes, corresponding four different response combination when biased in forward and reverse respectively. The source signal with baseband frequency at 100 kHz is generated and modulated using linear frequency modulation (LFM) by employing the USRP 2954R. The signal is transmitted through a transmitting horn antenna (Tx), reflected by the two-hop RISs, and ultimately received by a receiving horn (Rx).

Refer to caption
Figure 14: Experimental setup in multi-hop RIS-assisted communication.
Refer to caption
Refer to caption
Refer to caption
Refer to caption
Figure 15: The control codebooks correspond to the phase configurations of a 16×16161616\times 1616 × 16 RIS, derived through various approaches at the operating frequency of 3.4 GHz. (a) RIS {1}1\{1\}{ 1 } in the single beam scheme. (b) RIS {2}2\{2\}{ 2 } in the single beam scheme. (c) RIS {1}1\{1\}{ 1 } in the multi-beam scheme. (d) RIS {2}2\{2\}{ 2 } in the multi-beam scheme.
Refer to caption
Refer to caption
Refer to caption
Figure 16: The actual received power observations with RIS phase under (a) not-configured. (b) optimized through the single-beam scheme. (c) optimized through the multi-beam scheme.

We initially measure the received signal power with no specific phase configuration. The Tx and Rx antenna is positioned in front of the RIS{1}1\{1\}{ 1 } and RIS{2}2\{2\}{ 2 } with a distance of 1.501.501.501.50 m and 1.921.921.921.92 m, respectively. The distance between the two RIS centers is set at 3.743.743.743.74 meters, with a reflection angle of 32.5superscript32.532.5^{\circ}32.5 start_POSTSUPERSCRIPT ∘ end_POSTSUPERSCRIPT, as shown in Fig. 14. All the devices are at the same horizontal height. The observed power spectrum is illustrated in Fig. 16, it shows that the received power level is approximately -84.90 dBm.

For each of the comparative objectives, we perform different methods to obtain the phase configurations on RIS{1}1\{1\}{ 1 } and RIS{2}2\{2\}{ 2 } based on the proposed signal model. These configurations are then transformed into control codebooks. As shown in Fig.15. Four different colors represent four distinct phase configurations with intervals of π/2𝜋2\pi/2italic_π / 2. The codebooks in Fig. 15 and Fig. 15 are obtained through phase compensation methods (belongs to single-beam method) according to the locations of the equipment [29], while Fig. 15 and  15 are from the proposed Algorithm 1.

The experimental results in Fig.16 indicate that, although we can achieve the optimal phase configuration for the two RIS units in the single-beam scheme, the resulting signal gain is not substantial, only around 10 dB, due to the beam illuminating an area far smaller than the RIS aperture. However, when considering the aperture efficiency of the RIS and employing a multi-beam approach to increase the illuminated area of the RIS, the achieved signal power gain is further enhanced, surpassing 19 dB compared to the unconfigured RIS phase. These outcomes underscore the effectiveness of the proposed beam optimization strategy in multi-hop RIS-assisted communications.

VI Conclusion and Future Directions

This paper focuses on the design and optimization of multi-RIS-assisted communications, particularly in multi-hop scenarios. As a reflective aperture antenna, the aperture efficiency of RIS determines its maximum directional gain, a factor often overlooked in current beamforming schemes. This study examines the field distribution on the RIS aperture, derives a closed-form expression for the half-power beamwidth of beams reflected by RIS, and elucidates the relationship between beamwidth, RIS aperture size (number of units), and beam direction. Drawing from beamwidth and aperture considerations, the paper proposes deployment and beam optimization strategies to enhance the performance of multi-hop RIS-assisted communications without the requirement of any CSI estimation. Simulation and prototype experiments validate the accuracy of the derived results and the effectiveness of the proposed strategies. These optimization frameworks and methods are applicable across a broad spectrum of multi-hop RIS networks, including communications in tunnels and urban environments with dense blockages/obstructions.

Appendix A Proof of Equations

For the equation

AF(θ)=n=1Nej(n1)ψ,AF𝜃superscriptsubscript𝑛1𝑁superscript𝑒𝑗𝑛1𝜓\displaystyle\mathrm{AF}(\theta)=\sum_{n=1}^{N}e^{j(n-1)\psi},roman_AF ( italic_θ ) = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j ( italic_n - 1 ) italic_ψ end_POSTSUPERSCRIPT ,

Multiplying both sides by ejψsuperscript𝑒𝑗𝜓e^{j\psi}italic_e start_POSTSUPERSCRIPT italic_j italic_ψ end_POSTSUPERSCRIPT, it can be written as

(AF(θ))ejψ=ejψ+ej2ψ+ej3ψ++ej(N1)ψ+ejNψAF𝜃superscript𝑒𝑗𝜓superscript𝑒𝑗𝜓superscript𝑒𝑗2𝜓superscript𝑒𝑗3𝜓superscript𝑒𝑗𝑁1𝜓superscript𝑒𝑗𝑁𝜓(\mathrm{AF}(\theta))e^{j\psi}=e^{j\psi}+e^{j2\psi}+e^{j3\psi}+\cdots+e^{j(N-1% )\psi}+e^{jN\psi}( roman_AF ( italic_θ ) ) italic_e start_POSTSUPERSCRIPT italic_j italic_ψ end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT italic_j italic_ψ end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT italic_j 2 italic_ψ end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT italic_j 3 italic_ψ end_POSTSUPERSCRIPT + ⋯ + italic_e start_POSTSUPERSCRIPT italic_j ( italic_N - 1 ) italic_ψ end_POSTSUPERSCRIPT + italic_e start_POSTSUPERSCRIPT italic_j italic_N italic_ψ end_POSTSUPERSCRIPT

Subtracting the last from the former reduces to

AF(θ)(ejψ1)=(1+ejNψ)AF𝜃superscript𝑒𝑗𝜓11superscript𝑒𝑗𝑁𝜓\mathrm{AF}(\theta)\left(e^{j\psi}-1\right)=\left(-1+e^{jN\psi}\right)roman_AF ( italic_θ ) ( italic_e start_POSTSUPERSCRIPT italic_j italic_ψ end_POSTSUPERSCRIPT - 1 ) = ( - 1 + italic_e start_POSTSUPERSCRIPT italic_j italic_N italic_ψ end_POSTSUPERSCRIPT ) (39)

which can also be written as

AF(θ)AF𝜃\displaystyle\mathrm{AF}(\theta)roman_AF ( italic_θ ) =[ejNψ1ejψ1]=ej((N1)/2]ψ[ej(N/2)ψej(N/2)ψej(1/2)ψej(1/2)ψ]absentdelimited-[]superscript𝑒𝑗𝑁𝜓1superscript𝑒𝑗𝜓1superscript𝑒𝑗delimited-(]𝑁12𝜓delimited-[]superscript𝑒𝑗𝑁2𝜓superscript𝑒𝑗𝑁2𝜓superscript𝑒𝑗12𝜓superscript𝑒𝑗12𝜓\displaystyle=\left[\frac{e^{jN\psi}-1}{e^{j\psi}-1}\right]=e^{j((N-1)/2]\psi}% \left[\frac{e^{j(N/2)\psi}-e^{-j(N/2)\psi}}{e^{j(1/2)\psi}-e^{-j(1/2)\psi}}\right]= [ divide start_ARG italic_e start_POSTSUPERSCRIPT italic_j italic_N italic_ψ end_POSTSUPERSCRIPT - 1 end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_j italic_ψ end_POSTSUPERSCRIPT - 1 end_ARG ] = italic_e start_POSTSUPERSCRIPT italic_j ( ( italic_N - 1 ) / 2 ] italic_ψ end_POSTSUPERSCRIPT [ divide start_ARG italic_e start_POSTSUPERSCRIPT italic_j ( italic_N / 2 ) italic_ψ end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT - italic_j ( italic_N / 2 ) italic_ψ end_POSTSUPERSCRIPT end_ARG start_ARG italic_e start_POSTSUPERSCRIPT italic_j ( 1 / 2 ) italic_ψ end_POSTSUPERSCRIPT - italic_e start_POSTSUPERSCRIPT - italic_j ( 1 / 2 ) italic_ψ end_POSTSUPERSCRIPT end_ARG ] (40)
=ej[(N1)/2]ψ[sin(N2ψ)sin(12ψ)]absentsuperscript𝑒𝑗delimited-[]𝑁12𝜓delimited-[]𝑁2𝜓12𝜓\displaystyle=e^{j[(N-1)/2]\psi}\left[\frac{\sin\left(\frac{N}{2}\psi\right)}{% \sin\left(\frac{1}{2}\psi\right)}\right]= italic_e start_POSTSUPERSCRIPT italic_j [ ( italic_N - 1 ) / 2 ] italic_ψ end_POSTSUPERSCRIPT [ divide start_ARG roman_sin ( divide start_ARG italic_N end_ARG start_ARG 2 end_ARG italic_ψ ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ψ ) end_ARG ]

In fact, if the reference point is the physical center of the array, the array factor reduces to

AF(θ)=[sin(N2ψ)sin(12ψ)]AF𝜃delimited-[]𝑁2𝜓12𝜓\mathrm{AF}(\theta)=\left[\frac{\sin\left(\frac{N}{2}\psi\right)}{\sin\left(% \frac{1}{2}\psi\right)}\right]roman_AF ( italic_θ ) = [ divide start_ARG roman_sin ( divide start_ARG italic_N end_ARG start_ARG 2 end_ARG italic_ψ ) end_ARG start_ARG roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_ψ ) end_ARG ] (41)

which can be normalized and approximated as

AF(θ)[sin(N2ψ)N2ψ]similar-to-or-equalsAF𝜃delimited-[]𝑁2𝜓𝑁2𝜓\mathrm{AF}(\theta)\simeq\left[\frac{\sin\left(\frac{N}{2}\psi\right)}{\frac{N% }{2}\psi}\right]roman_AF ( italic_θ ) ≃ [ divide start_ARG roman_sin ( divide start_ARG italic_N end_ARG start_ARG 2 end_ARG italic_ψ ) end_ARG start_ARG divide start_ARG italic_N end_ARG start_ARG 2 end_ARG italic_ψ end_ARG ]

Appendix B

Refer to caption
Figure 17: Plot of f(x)=sinxx𝑓𝑥𝑥𝑥f(x)=\frac{\sin x}{x}italic_f ( italic_x ) = divide start_ARG roman_sin italic_x end_ARG start_ARG italic_x end_ARG function

Plot of function f(x)=sinxx𝑓𝑥𝑥𝑥f(x)=\frac{\sin x}{x}italic_f ( italic_x ) = divide start_ARG roman_sin italic_x end_ARG start_ARG italic_x end_ARG, and f(x,y)=sinxxsinyy𝑓𝑥𝑦𝑥𝑥𝑦𝑦f(x,y)=\frac{\sin x}{x}\frac{\sin y}{y}italic_f ( italic_x , italic_y ) = divide start_ARG roman_sin italic_x end_ARG start_ARG italic_x end_ARG divide start_ARG roman_sin italic_y end_ARG start_ARG italic_y end_ARG.

Refer to caption
Figure 18: Plot of f(x,y)=sinxxsinyy𝑓𝑥𝑦𝑥𝑥𝑦𝑦f(x,y)=\frac{\sin x}{x}\frac{\sin y}{y}italic_f ( italic_x , italic_y ) = divide start_ARG roman_sin italic_x end_ARG start_ARG italic_x end_ARG divide start_ARG roman_sin italic_y end_ARG start_ARG italic_y end_ARG function

References

  • [1] T. J. Cui, M. Q. Qi, X. Wan, J. Zhao, and Q. Cheng, “Coding metamaterials, digital metamaterials and programmable metamaterials,” Light-Sci. Appl., vol. 3, no. 10, pp. e218–e218, Oct. 2014.
  • [2] E. Basar, M. Di Renzo, J. De Rosny, M. Debbah, M.-S. Alouini, and R. Zhang, “Wireless communications through reconfigurable intelligent surfaces,” IEEE Access, vol. 7, pp. 116 753–116 773, Aug. 2019.
  • [3] 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, Jul. 2020.
  • [4] Q. Wu et al., “Intelligent surfaces empowered wireless network: Recent advances and the road to 6G,” Proc. IEEE, Jun. 2024, early access, doi: 10.1109/JPROC.2024.3397910.
  • [5] C. You, B. Zheng, and R. Zhang, “Channel estimation and passive beamforming for intelligent reflecting surface: Discrete phase shift and progressive refinement,” IEEE J. Sel. Areas Commun., vol. 38, no. 11, pp. 2604–2620, Nov. 2020.
  • [6] C. Pan et al., “Multicell MIMO communications relying on intelligent reflecting surfaces,” IEEE Trans. Wirel. Commun., vol. 19, no. 8, pp. 5218–5233, May 2020.
  • [7] Z. Yang et al., “Energy-efficient wireless communications with distributed reconfigurable intelligent surfaces,” IEEE Trans. Wirel. Commun., vol. 21, no. 1, pp. 665–679, Jul. 2021.
  • [8] T. V. Nguyen, D. N. Nguyen, M. D. Renzo, and R. Zhang, “Leveraging secondary reflections and mitigating interference in multi-IRS/RIS aided wireless networks,” IEEE Trans. Wirel. Commun., Jan. 2023.
  • [9] R. Xiong, K. Yin, T. Mi, J. Lu, K. Wan, and R. C. Qiu, “Fair beam allocations through reconfigurable intelligent surfaces,” Dec. 2023. [Online]. Available: https://arxiv.org/abs/2310.15911
  • [10] Q. Wu and R. Zhang, “Intelligent reflecting surface enhanced wireless network via joint active and passive beamforming,” IEEE Trans. Wirel. Commun., vol. 18, no. 11, pp. 5394–5409, Aug. 2019.
  • [11] S. Zhang and R. Zhang, “Intelligent reflecting surface aided multi-user communication: Capacity region and deployment strategy,” IEEE Trans. Commun., vol. 69, no. 9, pp. 5790–5806, Sep. 2021.
  • [12] 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.
  • [13] C. Huang et al., “Multi-hop RIS-empowered terahertz communications: A DRL-based hybrid beamforming design,” IEEE J. Sel. Areas Commun., vol. 39, no. 6, pp. 1663–1677, Apr. 2021.
  • [14] R. Liang, J. Fan, J. Luo, and J. Joung, “A multi-route cascaded IRSs beamforming scheme for mmwave communication systems,” IEEE Trans. Veh. Technol., vol. 71, no. 6, pp. 6813–6818, Jun. 2022.
  • [15] W. Mei and R. Zhang, “Multi-beam multi-hop routing for intelligent reflecting surfaces aided massive MIMO,” IEEE Trans. Wirel. Commun., vol. 21, no. 3, pp. 1897–1912, Mar. 2022.
  • [16] M. Abou Houran et al., “Intelligent reflecting surfaces assisted cellular V2X based open RAN communications,” IEEE Trans. Veh. Technol., Jan. 2024, early access, doi: 10.1109/TVT.2024.3356977.
  • [17] X. Ma, H. Zhang, X. Chen, Y. Fang, and D. Yuan, “Multi-hop multi-RIS wireless communication systems: Multi-reflection path scheduling and beamforming,” IEEE Trans. Wirel. Commun., vol. 23, no. 7, pp. 6778–6792, Jul. 2024.
  • [18] W. Mei and R. Zhang, “Cooperative beam routing for multi-IRS aided communication,” IEEE Wirel. Commun. Lett., vol. 10, no. 2, pp. 426–430, Feb. 2021.
  • [19] W. Mei, B. Zheng, C. You, and R. Zhang, “Intelligent reflecting surface-aided wireless networks: From single-reflection to multireflection design and optimization,” Proceedings of the IEEE, vol. 110, no. 9, pp. 1380–1400, Sep. 2022.
  • [20] Z. Zhang and Z. Zhao, “Rate maximizations for reconfigurable intelligent surface-aided wireless networks: A unified framework via block minorization-maximization,” Dec. 2021. [Online]. Available: https://arxiv.org/abs/2105.02395
  • [21] D. Shen, Z. Zhang, and L. Dai, “Joint beamforming design for RIS-assisted cell-free network with multi-hop transmissions,” Tsinghua Sci. Technol., vol. 28, no. 6, pp. 1115–1127, Dec. 2023.
  • [22] R. Liang and J. Fan, “Energy-efficient mmwave IoT communications with multihop IRS-assisted systems,” IEEE Internet Things J., vol. 10, no. 21, pp. 19 344–19 355, Nov. 2023.
  • [23] H. Niu, Z. Chu, F. Zhou, C. Pan, D. W. K. Ng, and H. X. Nguyen, “Double intelligent reflecting surface-assisted multi-user MIMO mmwave systems with hybrid precoding,” IEEE Trans. Veh. Technol., vol. 71, no. 2, pp. 1575–1587, Feb. 2022.
  • [24] Y. Han, S. Zhang, L. Duan, and R. Zhang, “Cooperative double-IRS aided communication: Beamforming design and power scaling,” IEEE Wirel. Commun. Lett., vol. 9, no. 8, pp. 1206–1210, Aug. 2020.
  • [25] W. Mei and R. Zhang, “Cooperative multi-beam routing for multi-irs aided massive MIMO,” in Proc. IEEE Int. Conf. Commun.   IEEE, Jun. 2021, pp. 1–6.
  • [26] R. Xiong et al., “Multi-ris-aided wireless communications in real-world: Prototyping and field trials,” Jul. 2023. [Online]. Available: https://arxiv.org/abs/2303.03287
  • [27] P. Nayeri, F. Yang, and A. Z. Elsherbeni, Reflectarray antennas: theory, designs, and applications.   Hoboken, NJ, USA: Wiley, 2018.
  • [28] C. A. Balanis, Antenna theory: analysis and design.   Hoboken, NJ, USA: Wiley, 2016.
  • [29] W. L. Stutzman and G. A. Thiele, Antenna theory and design.   Hoboken, NJ, USA: Wiley, 2012.
  • [30] Z. Zhang, LinJin, and X. Shu, Radar antenna technology.   Beijing, China: PHEI, 2005.
  • [31] W. Tang et al., “Wireless communications with reconfigurable intelligent surface: Path loss modeling and experimental measurement,” IEEE Trans. Wirel. Commun., vol. 20, no. 1, pp. 421–439, Jan. 2020.