Full-Space Wireless Sensing
Enabled by Multi-Sector Intelligent Surfaces

Yumeng Zhang, , Xiaodan Shao, ,  Hongyu Li, , 
Bruno Clerckx, , Rui Zhang
This work has been partially supported by UKRI grant EP/Y004086/1, EP/X040569/1, EP/Y037197/1, EP/X04047X/1, EP/Y037243/1.Yumeng Zhang, Hongyu Li and Bruno Clerckx are with the Department of Electrical and Electronic Engineering, Imperial College London, London SW7 2AZ, U.K. (e-mail: {yumeng.zhang19,c.li21, b.clerckx}@imperial.ac.uk).X. Shao is with the Institute for Digital Communications, Friedrich-Alexander-University Erlangen-Nurnberg (FAU), 91054 Erlangen, Germany (email:[email protected]).R. Zhang is with School of Science and Engineering, Shenzhen Research Institute of Big Data, The Chinese University of Hong Kong, Shenzhen, Guangdong 518172, China (e-mail: [email protected]). He is also with the Department of Electrical and Computer Engineering, National University of Singapore, Singapore 117583 (e-mail: [email protected]).
Abstract

The multi-sector intelligent surface (IS), benefiting from a smarter wave manipulation capability, has been shown to enhance channel gain and offer full-space coverage in communications. However, the benefits of multi-sector IS in wireless sensing remain unexplored. This paper introduces the application of multi-sector IS for wireless sensing/localization. Specifically, we propose a new self-sensing system, where an active source controller uses the multi-sector IS geometry to reflect/scatter the emitted signals towards the entire space, thereby achieving full-space coverage for wireless sensing. Additionally, dedicated sensors are installed aligned with the IS elements at each sector, which collect echo signals from the target and cooperate to sense the target angle. In this context, we develop a maximum likelihood estimator of the target angle for the proposed multi-sector IS self-sensing system, along with the corresponding theoretical limits defined by the Cramér-Rao Bound. The analysis reveals that the advantages of the multi-sector IS self-sensing system stem from two aspects: enhancing the probing power on targets (thereby improving power efficiency) and increasing the rate of target angle (thereby enhancing the transceiver’s sensitivity to target angles). Finally, our analysis and simulations confirm that the multi-sector IS self-sensing system, particularly the 4444-sector architecture, achieves full-space sensing capability beyond the single-sector IS configuration. Furthermore, similarly to communications, employing directive antenna patterns on each sector’s IS elements and sensors significantly enhances sensing capabilities. This enhancement originates from both aspects of improved power efficiency and target angle sensitivity, with the former also being observed in communications while the latter being unique in sensing.

Index Terms:
Multi-sector intelligent surfaces, full-space sensing, Cramér-Rao Bound (CRB).

I Introduction

The future wireless networks are expected to hold an increasing number of high-demand applications, such as autonomous driving and the Internet of Things [1, 2, 3]. This growth poses greater challenges to spectrum resources and service qualities. One promising solution is the emerging technique of integrated sensing and communications (ISAC) [4, 5, 6]. ISAC enhances the spectrum utilization efficiency by realizing dual functions (sensing and communications) with shared hardware, platform, and radio resources, thereby reducing costs and optimizing resource use [7, 6]. Furthermore, exploiting the synergy between the dual functions can enhance the overall performance of ISAC, i.e., sensing capabilities enhance environmental awareness for better communication strategies, which in turn support ultra-high data rates, reliability, and ultra-low latency for communications with reduced complexity [8]. However, in practical scenarios with complex radio propagation environments, the performance of ISAC may significantly degrade when transmission links are obstructed by obstacles.

One promising solution is employing the advanced technique of intelligent surfaces (ISs), which can enhance both sensing and communication performance by reconfiguring radio environments [9]. Specifically, ISs adjust the phases and/or amplitudes of the im**ing signals so that the reflected signals work constructively, or build a virtual line-of-sight (LoS) path in the presence of physical obstacles [10, 11, 12]. While there has been extensive research investigating IS-enhanced wireless communications [13, 14], only a few prior works have studied on IS-enhanced sensing [15, 16, 17] or IS-enhanced ISAC [18, 19]. Among these works, one notable research is in [17], where a new type of IS-aided sensing system, called IS self-sensing, is proposed. In IS self-sensing, an active source controller serves as a transmitter to send well-adjusted probing signals towards the IS elements. This allows the illuminated IS elements to autonomously radiate (via the IS controller) and receive (via sensors) sensing signals for target localization, eliminating the dependence on the sensing signals from a dedicated base station (BS).

The limitation of the aforementioned IS self-sensing system is its serving range only covers the half-space facing the IS, since the incident signals are purely reflected to the same side of IS. However, in practice, targets can be located anywhere in the full-space. Therefore, it is crucial to leverage multiple ISs to cover the full-space and collaborate in aiding target parameter estimation. To achieve full-space coverage, a notable effort has been made in communications, where a multi-sector IS geometry is proposed [20], as depicted in Fig. 1. Therein, L(L2)𝐿𝐿2L~{}(L\geq 2)italic_L ( italic_L ≥ 2 ) antenna arrays of IS elements are arranged along the sides of a uniform prism. The L𝐿Litalic_L-sector IS achieves full-space coverage when each of the IS is activated for radiation. [20] analytically shows that the multi-sector IS, besides the advantages of full-space coverage, also enhances the received power when employing directive antenna patterns, which boosts the communication performance further [21, 20, 22, 23].

Refer to caption
Figure 1: Examples of multi-sector IS configurations, for L=2,3,4,6𝐿2346L=2,~{}3,~{}4,~{}6italic_L = 2 , 3 , 4 , 6 with L𝐿Litalic_L being the number of ISs.

While the advantages of multi-sector IS have been studied in communications [20], its benefits in wireless sensing remain unexplored. Apart from the power benefit, the exploration of multi-sector IS for wireless sensing is crucial because the multi-sector IS provides flexible geometry configurations (i.e., different L𝐿Litalic_L in Fig. 1), which plays a vital role in the accuracy of target angle estimation [24, 25]. Indeed, the importance of transmitters’/receivers’ geometry in wireless sensing has been emphasized in the traditional active multiple input multiple output/phased-array radar [25, 26]. Specifically, the uniform planar array radar (i.e., corresponding to the conventional IS architecture in [17]) achieves high precision in sensing a target that is directly facing the antenna array, but suffers low precision when the target is in line with the extended plane of the antenna array [24]. In contrast, a circular array radar offers uniform sensing performance across the full-space [27]. Therefore, determining the optimal geometry (i.e., the optimal L𝐿Litalic_L) of multi-sector IS to balance communications, sensing, and implementation costs presents a compelling area for further research in ISAC.

Towards that, this paper aims to investigate the optimal multi-sector IS geometry for wireless sensing with full-space coverage as a solid foundation for the future extension to ISAC. The main contributions of this paper are summarized as follows.

Refer to caption
Figure 2: Two implementations of the proposed multi-sector IS self-sensing system, namely, multi-sector beyond-diagonal IS (left), and multi-sector conventional IS (right).
  1. 1.

    We propose a novel multi-sector IS self-sensing system for full-space coverage sensing. Specifically, we have two implementations of the multi-sector IS self-sensing system, as shown in Fig. 2, where each sector is installed with dedicated IS elements (for signal radiation) and sensors (for signal collection). In the first case (Fig. 2, left), an active source controller is installed on one sector and probes signals towards that sector. In addition, the IS elements across the L(L2)𝐿𝐿2L~{}(L\geq 2)italic_L ( italic_L ≥ 2 ) sectors are connected through a reconfigurable impedance network. The network connection enables the probing signal to be simultaneously reflected by the sector with the active source controller and scattered through the remaining sectors, which facilitates full-space radiation. In the second case (Fig. 2, right), L𝐿Litalic_L active source controllers are installed, with one active source controller per sector. In this scenario, the IS elements at each sector are independently illuminated by their aligned active source controller and reflect the im**ing signals for radiation. For both implementations in Fig. 2, the implemented sensors across the L𝐿Litalic_L sectors work collaboratively to estimate the target angle based on their collected target echo signals.

  2. 2.

    A joint maximum-likelihood (ML) estimator of the target angle is derived for the proposed multi-sector IS self-sensing system. The Cramér-Rao bound (CRB) is also analytically derived as the lower bound of the empirical mean squared error (MSE) for estimating the target angle. By analyzing the CRB, we show that the estimation performance is mainly affected by two fundamental factors, i.e., the probing power on the target and the squared rate of target angle. Additionally, we specify the CRB and compare the MSEs for both half-space isotropic and half-space directive antenna patterns through a thorough analysis.

  3. 3.

    Simulation and analytic results show that the proposed multi-sector IS self-sensing system achieves full-space coverage, thus surpassing the capabilities of the single-sector IS configuration. Notably, when comparing among L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4, the configuration of 4444-sector IS achieves the best overall sensing performance, and particularly outperforms the conventional simultaneously transmitting and reflecting reconfigurable surface (STARS) architecture in [28] (i.e., the special case of the proposed multi-sector IS self-sensing system with L=2𝐿2L=2italic_L = 2). Moreover, employing half-space directive antenna patterns on each sector’s IS elements and sensors significantly improves the sensing performance compared with that of the half-space isotropic antenna pattern.

The rest of this paper is organized as follows. In Section II, we introduce the system and signal model of a multi-sector IS self-sensing system for full-space coverage. Section III derives the ML estimator and the CRB for estimating the target angle. Section IV provides simulation results for verification. Section V concludes the paper.

Notation: Throughout the paper, matrices and vectors are respectively denoted in bold upper case and bold lower case. {\mathbb{R}}blackboard_R, {\mathbb{C}}blackboard_C and {\mathbb{Z}}blackboard_Z denote the set of real numbers, complex numbers and integers, respectively. For x𝑥x\in{\mathbb{C}}italic_x ∈ blackboard_C, {x}𝑥\mathfrak{R}\{x\}fraktur_R { italic_x }, {x}𝑥\mathfrak{I}\{x\}fraktur_I { italic_x }, x𝑥\measuredangle x∡ italic_x and |x|𝑥|{x}|| italic_x | represents the real part, the imaginary part, the phase and the magnitude of x𝑥{x}italic_x, respectively. For a vector (matrix) 𝐱𝐱\mathbf{x}bold_x (𝐗𝐗\mathbf{X}bold_X), 𝐱norm𝐱\|\mathbf{x}\|∥ bold_x ∥ (𝐗norm𝐗\|\mathbf{X}\|∥ bold_X ∥) represents its l2subscript𝑙2l_{2}italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (Frobenius) norm, xnsubscript𝑥𝑛x_{n}italic_x start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT (or [𝐱]nsubscriptdelimited-[]𝐱𝑛\left[\mathbf{x}\right]_{n}[ bold_x ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT) refers to the nthsuperscript𝑛thn^{\mathrm{th}}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT entry of vector 𝐱𝐱\mathbf{x}bold_x, and Xk,msubscript𝑋𝑘𝑚{X}_{k,m}italic_X start_POSTSUBSCRIPT italic_k , italic_m end_POSTSUBSCRIPT (or [𝐗]k,msubscriptdelimited-[]𝐗𝑘𝑚\left[\mathbf{X}\right]_{k,m}[ bold_X ] start_POSTSUBSCRIPT italic_k , italic_m end_POSTSUBSCRIPT) is the (kth,mth)superscript𝑘thsuperscript𝑚th\left(k^{\mathrm{th}},~{}m^{\mathrm{th}}\right)( italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT , italic_m start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT ) entry of matrix 𝐗𝐗\mathbf{X}bold_X. diag{𝐱}diag𝐱\mathrm{diag}\{\mathbf{x}\}roman_diag { bold_x }(diag{𝐗}diag𝐗\mathrm{diag}\{\mathbf{X}\}roman_diag { bold_X }) represents a diagonal matrix (vector) with its nthsuperscript𝑛thn^{\mathrm{th}}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT diagonal entry (nthsuperscript𝑛thn^{\mathrm{th}}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT entry) equal to the nthsuperscript𝑛thn^{\mathrm{th}}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT entry (diagonal entry) of vector 𝐱𝐱\mathbf{x}bold_x (matrix 𝐗𝐗\mathbf{X}bold_X). 𝐈Ntsubscript𝐈subscript𝑁𝑡\mathbf{I}_{N_{t}}bold_I start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT end_POSTSUBSCRIPT denotes an Nt×Ntsubscript𝑁𝑡subscript𝑁𝑡N_{t}\times N_{t}italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT × italic_N start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT identity matrix and 𝟏K/𝟎Ksubscript1𝐾subscript0𝐾\mathbf{1}_{K}/\mathbf{0}_{K}bold_1 start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT / bold_0 start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT is a column all-one/all-zero vector with dimension K𝐾Kitalic_K. ()Hsuperscript𝐻(\cdot)^{H}( ⋅ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT, ()superscript(\cdot)^{*}( ⋅ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and ()Tsuperscript𝑇(\cdot)^{T}( ⋅ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT represent the Hermitian, the conjugate and the transpose operation respectively. 𝟙()1\mathbbm{1}(\cdot)blackboard_1 ( ⋅ ) is the indicator function. For a random variable X𝑋Xitalic_X, 𝔼X{f(X)}subscript𝔼𝑋𝑓𝑋\mathbb{E}_{X}\left\{f(X)\right\}blackboard_E start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT { italic_f ( italic_X ) } represents the expectation of function f(X)𝑓𝑋f(X)italic_f ( italic_X ) averaged over X𝑋Xitalic_X. N𝑁absent\overset{N\uparrow}{\approx}start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG and =N𝑁absent\overset{N\uparrow}{=}start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG = end_ARG respectively mean approximately equal and equal as N𝑁Nitalic_N grows large. All the positions/distances are normalized by half-wavelength if not being specified.

II System Model

This section first describes the two implementations of the multi-sector IS self-sensing system in Section II-A. Later, Section II-B sets up the Cartesian coordinate system (CCS) of the multi-sector IS self-sensing system and expresses the positions of the IS elements/sensors, by focusing on one implementation in Section II-A. Section II-C then derives the mathematical expressions of the radiated signal and its radar echoes in the multi-sector IS self-sensing system.

II-A Two implementations of the proposed multi-sector IS self-sensing system

As shown in Fig. 2, we consider a multi-sector IS self-sensing system, where an L𝐿Litalic_L-sector IS configuration in [20] is combined with the self-sensing structure in [17] to sense the angle of a point-target that can be located across the full-space. Specifically, we install a total number of NIsubscript𝑁IN_{\mathrm{I}}italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT IS elements, with MI=NI/Lsubscript𝑀Isubscript𝑁I𝐿M_{\mathrm{I}}=N_{\mathrm{I}}/Litalic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT / italic_L IS elements per sector. Moreover, to estimate the target angle, we install a total number of NSsubscript𝑁SN_{\mathrm{S}}italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT sensors aligned with the IS elements, with MS=NS/Lsubscript𝑀Ssubscript𝑁S𝐿M_{\mathrm{S}}=N_{\mathrm{S}}/Litalic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT = italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT / italic_L sensors per sector to receive the echoed signals from the target. We make a joint estimation of the target angle after collecting all the echoed signals from all sensors. For simplicity, we focus on the target’s azimuth angle estimation in this paper, while the results can be extended to estimate the elevation angle as well.

Specifically, Fig. 2 depicts two implementations of the multi-sector IS self-sensing system, which are distinguished by the way of activating the IS elements across different sectors. In the first implementation as shown in Fig. 2 (left), we install only one active source controller, which probes signals towards the sector it faces (named by sector 1111) and only illuminates the IS elements at sector 1111. The im**ing signal from the active source controller is then partially reflected by the IS elements at sector 1111 and partially transmitted to and scattered from the other sectors through the reconfigurable impedance networks. This allows the signal to be radiated from all the sectors and hence enables full-space sensing for the target angle estimation. The interconnection network across sectors is realized by an emerging IS technique, i.e., beyond diagonal IS 111The term, ’beyond diagonal’, characterizes the mathematical expressions for the phase-shift matrix of IS elements when introducing reconfigurable impedance networks to connect between IS elements. Compared with the conventional IS where IS elements are independent of each other, introducing circuit connections turns the phase-shift matrix from a diagonal matrix to a non-diagonal matrix. in [29, 30, 31]. Hence, we name the implementation in Fig. 2 (left) by multi-sector beyond diagonal IS. In contrast, in the second implementation as shown in Fig. 2 (right), each sector is equipped with its own active source controller, and hence IS elements across different sectors are illuminated independently by the probing signal from their corresponding active source controller. Then, all IS elements reflect their im**ing signal for full-space radiation. In this context, the second implementation resembles deploying multiple conventional IS self-sensing structures (with the diagonal phase-shift matrix) in [17] in a multi-sector geometry in [20], hence named by multi-sector conventional IS as shown in Fig. 2 (right).

The two implementations have pros and cons from the following perspectives. On one hand, the first implementation involves more circuit complexity due to interconnected ISs but requires only one active source controller, which simplifies the synchronization control. On the other hand, the second implementation features a less complicated circuit but requires multiple active source controllers and perfect synchronization for effective cooperation between sectors. In this paper, our assumptions for the target angle estimation hold for both implementations, and hence we focus on the first implementation without loss of generality.

II-B Geometry constellation

Refer to caption
Figure 3: The model of the multi-sector IS self-sensing system under global CCS for L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4 from left to right, assuming NI=24subscript𝑁I24N_{\mathrm{I}}=24italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = 24 and NS=12subscript𝑁S12N_{\mathrm{S}}=12italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT = 12.
Refer to caption
Figure 4: The model of the multi-sector IS self-sensing system under local CCS for L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4 from left to right, assuming NI=24subscript𝑁I24N_{\mathrm{I}}=24italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = 24 and NS=12subscript𝑁S12N_{\mathrm{S}}=12italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT = 12. Herein, the target angle to be estimated in the G-CCS, θ𝜃\thetaitalic_θ, becomes θlsubscript𝜃𝑙\theta_{l}italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT adaptive to each local CCS.

In this sub-section, we express the positions of the target, IS elements and sensors in the multi-sector IS self-sensing system, with a particular focus on the configurations for L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4222 For practical considerations, the forthcoming comparisons between L𝐿Litalic_L are limited to L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4, as expanding to a larger number of sectors yields significantly complicating hardware implementation., as shown in Fig. 3. For simplicity, we assume the IS elements/sensors at each sector are arranged in a uniform linear array (ULA) with half-wavelength spacing, and the IS elements and sensors are located at the same elevation level. In this context, we establish the global CCS (G-CCS) in Fig. 3, denoted by x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, with the multi-sector IS’s center serving as the origin and the y0subscript𝑦0y_{0}italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT-axis extending towards the edge of sector 1111. In the G-CCS, starting from sector 1111, the other sectors are named sequentially in an anti-clockwise direction. For clarification, we also establish local CCS (L-CCS) for each sector under each configuration, denoted by xlyl,l=1,2,,Lformulae-sequencesubscript𝑥𝑙subscript𝑦𝑙𝑙12𝐿x_{l}-y_{l},~{}l=1,~{}2,~{}\cdots,~{}Litalic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_l = 1 , 2 , ⋯ , italic_L, with the sector center serving as the origin, as shown in Fig. 4. Apart from the origin, xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT is established with its ylsubscript𝑦𝑙y_{l}italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT-axis extending along the ULA of IS elements at the lthsuperscript𝑙thl^{\text{th}}italic_l start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT sector and its xlsubscript𝑥𝑙x_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT-axis extending outward from the lthsuperscript𝑙thl^{\text{th}}italic_l start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT sector plane, as illustrated in Fig. 4.

First, denote the position of the unknown target in the G-CCS x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT as 𝐩T2subscript𝐩𝑇superscript2\mathbf{p}_{T}\in\mathbb{R}^{2}bold_p start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, which is given by

𝐩T=subscript𝐩Tabsent\displaystyle\mathbf{p}_{\mathrm{T}}=bold_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT = ρ𝐮(θ)=ρ[cos(θ),sin(θ)]T,𝜌𝐮𝜃𝜌superscript𝜃𝜃𝑇\displaystyle\rho\mathbf{u}\left(\theta\right)=\rho[\cos(\theta),~{}\sin(% \theta)]^{T},italic_ρ bold_u ( italic_θ ) = italic_ρ [ roman_cos ( italic_θ ) , roman_sin ( italic_θ ) ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (1)

where θ𝜃\thetaitalic_θ denotes the target azimuth angle to be estimated and 𝐩T=ρnormsubscript𝐩𝑇𝜌\|\mathbf{p}_{T}\|=\rho∥ bold_p start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ∥ = italic_ρ denotes the distance between the target and the x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT’s origin.

Then, we construct the positions of the IS elements/sensors at each sector in the G-CCS x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, which can be converted from their positions in the L-CCS xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT by utilizing the position transformations between xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT and x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. The positions of the IS elements/sensors at the lthsuperscript𝑙thl^{\text{th}}italic_l start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT sector in xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT are given by

𝐏I/SL=subscriptsuperscript𝐏LISabsent\displaystyle\mathbf{P}^{\mathrm{L}}_{\mathrm{I/S}}=bold_P start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT = [𝐩I/S,xL,𝐩I/S,yL]T2×MI/S,superscriptsubscriptsuperscript𝐩LIS𝑥subscriptsuperscript𝐩LIS𝑦𝑇superscript2subscript𝑀IS\displaystyle\left[\mathbf{p}^{\mathrm{L}}_{\mathrm{I/S},~{}x},~{}\mathbf{p}^{% \mathrm{L}}_{\mathrm{I/S},~{}y}\right]^{T}\in\mathbb{R}^{2\times{M_{\mathrm{I/% S}}}},[ bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I / roman_S , italic_x end_POSTSUBSCRIPT , bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I / roman_S , italic_y end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 2 × italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (2)

where we have 𝐩I/S,xL=𝟎MI/SMI/Ssubscriptsuperscript𝐩LIS𝑥subscript0subscript𝑀ISsuperscriptsubscript𝑀IS\mathbf{p}^{\mathrm{L}}_{\mathrm{I/S},~{}x}=\mathbf{0}_{M_{\mathrm{I/S}}}\in% \mathbb{R}^{{M_{\mathrm{I/S}}}}bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I / roman_S , italic_x end_POSTSUBSCRIPT = bold_0 start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, and 𝐩I/S,yL=[MI/S12,,12,12,,MI/S12]TMI/Ssubscriptsuperscript𝐩LIS𝑦superscriptsubscript𝑀IS121212subscript𝑀IS12𝑇superscriptsubscript𝑀IS\mathbf{p}^{\mathrm{L}}_{\mathrm{I/S},~{}y}=\left[-\frac{M_{\mathrm{I/S}}-1}{2% },~{}\cdots,~{}-\frac{1}{2},~{}\frac{1}{2},~{}\cdots,~{}\frac{M_{\mathrm{I/S}}% -1}{2}\right]^{T}\in\mathbb{R}^{{M_{\mathrm{I/S}}}}bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I / roman_S , italic_y end_POSTSUBSCRIPT = [ - divide start_ARG italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT - 1 end_ARG start_ARG 2 end_ARG , ⋯ , - divide start_ARG 1 end_ARG start_ARG 2 end_ARG , divide start_ARG 1 end_ARG start_ARG 2 end_ARG , ⋯ , divide start_ARG italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT - 1 end_ARG start_ARG 2 end_ARG ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT.

Then, to build up the position transformations between xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT and x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, we introduce the rotation matrix as follows,

𝐐l=subscript𝐐𝑙absent\displaystyle\mathbf{Q}_{l}=bold_Q start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = [cosϕl,sinϕlsinϕl,cosϕl],matrixsubscriptitalic-ϕ𝑙subscriptitalic-ϕ𝑙subscriptitalic-ϕ𝑙subscriptitalic-ϕ𝑙\displaystyle\begin{bmatrix}\cos{\phi_{l}},&-\sin{\phi_{l}}\\ \sin{\phi_{l}},&\cos{\phi_{l}}\end{bmatrix},[ start_ARG start_ROW start_CELL roman_cos italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , end_CELL start_CELL - roman_sin italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL roman_sin italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , end_CELL start_CELL roman_cos italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] , (3a)
𝐐lL=subscriptsuperscript𝐐L𝑙absent\displaystyle\mathbf{Q}^{\mathrm{L}}_{l}=bold_Q start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = [cosϕl,sinϕlsinϕl,cosϕl],matrixsubscriptitalic-ϕ𝑙subscriptitalic-ϕ𝑙subscriptitalic-ϕ𝑙subscriptitalic-ϕ𝑙\displaystyle\begin{bmatrix}\cos{\phi_{l}},&\sin{\phi_{l}}\\ -\sin{\phi_{l}},&\cos{\phi_{l}}\end{bmatrix},[ start_ARG start_ROW start_CELL roman_cos italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , end_CELL start_CELL roman_sin italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL - roman_sin italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , end_CELL start_CELL roman_cos italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_CELL end_ROW end_ARG ] , (3b)

where 𝐐lsubscript𝐐𝑙\mathbf{Q}_{l}bold_Q start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT and 𝐐lLsubscriptsuperscript𝐐L𝑙\mathbf{Q}^{\mathrm{L}}_{l}bold_Q start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT are respectively the rotation matrix from x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT to xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT and from xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT to x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. ϕlsubscriptitalic-ϕ𝑙\phi_{l}italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT is the rotation angle from x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT to xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT, i.e., ϕl=π/2+(2l1)π/Lsubscriptitalic-ϕ𝑙𝜋22𝑙1𝜋𝐿\phi_{l}=\pi/2+(2l-1)\pi/Litalic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = italic_π / 2 + ( 2 italic_l - 1 ) italic_π / italic_L.

Combining (2) and (3), the positions of the IS elements/sensors at the lthsuperscript𝑙thl^{\text{th}}italic_l start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT sector in the G-CCS x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT are expressed as

𝐏I/S,l=subscript𝐏IS𝑙absent\displaystyle\mathbf{P}_{\mathrm{I/S},~{}l}=bold_P start_POSTSUBSCRIPT roman_I / roman_S , italic_l end_POSTSUBSCRIPT = 𝐐lLT(𝐏I/SL𝐩0,lL𝟏T)2×MI/S,superscriptsubscriptsuperscript𝐐L𝑙𝑇subscriptsuperscript𝐏LISsubscriptsuperscript𝐩L0𝑙superscript1𝑇superscript2subscript𝑀IS\displaystyle{\mathbf{Q}^{\mathrm{L}}_{l}}^{T}\left(\mathbf{P}^{\mathrm{L}}_{% \mathrm{I/S}}-\mathbf{p}^{\mathrm{L}}_{0,~{}l}{\mathbf{1}^{T}}\right)\in% \mathbb{R}^{2\times M_{\mathrm{I/S}}},bold_Q start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( bold_P start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT - bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , italic_l end_POSTSUBSCRIPT bold_1 start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ) ∈ blackboard_R start_POSTSUPERSCRIPT 2 × italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (4a)
with𝐩0,lL=withsubscriptsuperscript𝐩L0𝑙absent\displaystyle\mbox{with}~{}\mathbf{p}^{\mathrm{L}}_{0,~{}l}=with bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , italic_l end_POSTSUBSCRIPT = 𝐐lT(𝐩c,l)=[MI/S2tan(π/L),0]T2,superscriptsubscript𝐐𝑙𝑇subscript𝐩c𝑙superscriptsubscript𝑀IS2𝜋𝐿0𝑇superscript2\displaystyle{\mathbf{Q}_{l}}^{T}\left(-\mathbf{p}_{\mathrm{c},~{}l}\right)=% \left[-\frac{M_{\mathrm{I/S}}}{2\tan\left(\pi/L\right)},~{}0\right]^{T}\in% \mathbb{R}^{2},bold_Q start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( - bold_p start_POSTSUBSCRIPT roman_c , italic_l end_POSTSUBSCRIPT ) = [ - divide start_ARG italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT end_ARG start_ARG 2 roman_tan ( italic_π / italic_L ) end_ARG , 0 ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (4b)
𝐩c,l=subscript𝐩c𝑙absent\displaystyle\mathbf{p}_{\mathrm{c},~{}l}=bold_p start_POSTSUBSCRIPT roman_c , italic_l end_POSTSUBSCRIPT = M2tan(π/L)[cosϕl,sinϕl]T2,𝑀2𝜋𝐿superscriptsubscriptitalic-ϕ𝑙subscriptitalic-ϕ𝑙𝑇superscript2\displaystyle\frac{M}{2\tan{\left(\pi/L\right)}}\left[\cos{\phi_{l}},~{}\sin{% \phi_{l}}\right]^{T}\in\mathbb{R}^{2},divide start_ARG italic_M end_ARG start_ARG 2 roman_tan ( italic_π / italic_L ) end_ARG [ roman_cos italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , roman_sin italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_R start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (4c)

where 𝐩0,lLsubscriptsuperscript𝐩L0𝑙\mathbf{p}^{\mathrm{L}}_{0,~{}l}bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , italic_l end_POSTSUBSCRIPT denotes the position of x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT’s origin in xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT. 𝐩0,lLsubscriptsuperscript𝐩L0𝑙\mathbf{p}^{\mathrm{L}}_{0,~{}l}bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , italic_l end_POSTSUBSCRIPT is obtained by the position conversion from xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT to x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, as expressed in (4b). The position conversion therein also requires the position of xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT’s origin in x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, which is denoted by 𝐩c,lsubscript𝐩c𝑙\mathbf{p}_{\mathrm{c},~{}l}bold_p start_POSTSUBSCRIPT roman_c , italic_l end_POSTSUBSCRIPT in (4c). In (4c), 2tan(π/L)/M2𝜋𝐿𝑀{2\tan\left(\pi/L\right)}/M2 roman_tan ( italic_π / italic_L ) / italic_M with Mmax(MI,MS)𝑀subscript𝑀Isubscript𝑀SM\triangleq\max\left(M_{\mathrm{I}},~{}M_{\mathrm{S}}\right)italic_M ≜ roman_max ( italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT , italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ) is the distance from x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT’s origin to 𝐩c,lsubscript𝐩c𝑙\mathbf{p}_{\mathrm{c},~{}l}bold_p start_POSTSUBSCRIPT roman_c , italic_l end_POSTSUBSCRIPT.

II-C Signal model

We assume a narrow-band system, where no direct link exists between the active source controller and the target, as shown in Fig. 3. Moreover, the active source controller consecutively sends probing signals over Q𝑄Qitalic_Q snapshots directively towards IS elements at sector 1111. For each snapshot, the im**ing signal is simultaneously reflected by the IS elements at sector 1111 and scattered through the IS elements at the remaining sectors with well-designed phase shifts. Then, the signal is radiated in the full-space from all sectors, and the echoed signals by the target are received by the sensors. For target angle estimation, we collect the echoed signals from all sensors over the whole Q𝑄Qitalic_Q snapshots and conduct a joint ML estimation. The whole transmission is modelled as follows in detail.

First, denote sq,q=0,,Q1,formulae-sequencesubscript𝑠𝑞𝑞0𝑄1s_{q},~{}q=0,~{}\cdots,~{}Q-1,italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT , italic_q = 0 , ⋯ , italic_Q - 1 , as the probing signal from the active source controller at snapshot q𝑞qitalic_q. For each snapshot q𝑞qitalic_q, the signal sqsubscript𝑠𝑞s_{q}italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT undergoes the channel from the active source controller to the IS elements at sector 1111, which is assumed to be known and is modeled as a far-field LoS channel. The channel of active source controller\rightarrowIS elements at sector 1111, denoted by 𝐠MI𝐠superscriptsubscript𝑀I\mathbf{g}\in\mathbb{C}^{M_{\mathrm{I}}}bold_g ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, can then be given by

𝐠=𝐠absent\displaystyle\mathbf{g}=bold_g = αg𝐚g,subscript𝛼gsubscript𝐚g\displaystyle\alpha_{\mathrm{g}}\mathbf{a}_{\mathrm{g}},italic_α start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT bold_a start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT , (5)

where αg=λ2GTGR16π2dCI2exp{j2dCIπλ}subscript𝛼gsuperscript𝜆2subscript𝐺Tsubscript𝐺R16superscript𝜋2subscriptsuperscript𝑑2CI𝑗2subscript𝑑CI𝜋𝜆\alpha_{\mathrm{g}}=\sqrt{\frac{\lambda^{2}G_{\mathrm{T}}G_{\mathrm{R}}}{16\pi% ^{2}d^{2}_{\mathrm{CI}}}}\exp\left\{\frac{j2d_{\mathrm{CI}}\pi}{\lambda}\right\}italic_α start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_CI end_POSTSUBSCRIPT end_ARG end_ARG roman_exp { divide start_ARG italic_j 2 italic_d start_POSTSUBSCRIPT roman_CI end_POSTSUBSCRIPT italic_π end_ARG start_ARG italic_λ end_ARG } denotes the complex-valued path gain of the active source controller\rightarrowIS elements at sector 1111 channel. In the above, dCIsubscript𝑑CId_{\mathrm{CI}}italic_d start_POSTSUBSCRIPT roman_CI end_POSTSUBSCRIPT represents the distance between the active source controller and the 1stsuperscript1st1^{\mathrm{st}}1 start_POSTSUPERSCRIPT roman_st end_POSTSUPERSCRIPT sector, λ𝜆\lambdaitalic_λ is the carrier wavelength, GTsubscript𝐺TG_{\mathrm{T}}italic_G start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT is the gain of the antenna at the active source controller, and GRsubscript𝐺RG_{\mathrm{R}}italic_G start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT is the gain of the antenna at each IS element. Notice that in the following, we assume GTGR=β/MIsubscript𝐺Tsubscript𝐺R𝛽subscript𝑀IG_{\mathrm{T}}G_{\mathrm{R}}=\beta/M_{\mathrm{I}}italic_G start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT italic_G start_POSTSUBSCRIPT roman_R end_POSTSUBSCRIPT = italic_β / italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT to reflect that the active source controller is directing only towards the MIsubscript𝑀IM_{\mathrm{I}}italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT IS elements at sector 1111333The larger the value of MIsubscript𝑀IM_{\mathrm{I}}italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT, the larger the antenna aperture of IS of sector 1111, and the weaker the antenna directivity (hence the antenna gain) of the active source controller.. Without loss of generality, we choose proper β𝛽\betaitalic_β and dCIsubscript𝑑CId_{\mathrm{CI}}italic_d start_POSTSUBSCRIPT roman_CI end_POSTSUBSCRIPT to make the path loss αg=1/MIsubscript𝛼g1subscript𝑀I\alpha_{\mathrm{g}}=\sqrt{1/{M_{\mathrm{I}}}}italic_α start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT = square-root start_ARG 1 / italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_ARG. In addition, in (5), 𝐚g=exp{jπ𝐩I,yLsin(ζ)}MIsubscript𝐚g𝑗𝜋subscriptsuperscript𝐩LI𝑦𝜁superscriptsubscript𝑀I\mathbf{a}_{\mathrm{g}}=\exp\left\{j\pi\mathbf{p}^{\mathrm{L}}_{\mathrm{I},~{}% y}\sin\left(\zeta\right)\right\}\in\mathbb{C}^{M_{\mathrm{I}}}bold_a start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT = roman_exp { italic_j italic_π bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I , italic_y end_POSTSUBSCRIPT roman_sin ( italic_ζ ) } ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_POSTSUPERSCRIPT is the steering vector of IS elements at sector 1111, with ζ𝜁\zetaitalic_ζ being the angle between the active source controller and the sector 1111’s center.

In this context, the radiated signal from the IS elements at the lthsuperscript𝑙thl^{\text{th}}italic_l start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT sector at the snapshot q𝑞qitalic_q is defined as

𝐱l,q=subscript𝐱𝑙𝑞absent\displaystyle\mathbf{x}_{l,q}=bold_x start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT = Ptr𝚽¯l,q𝐠sqMI,superscript𝑃trsubscript¯𝚽𝑙𝑞𝐠subscript𝑠𝑞superscriptsubscript𝑀I\displaystyle\sqrt{P^{\mathrm{tr}}}\bar{\mathbf{\Phi}}_{l,q}\mathbf{g}s_{q}\in% \mathbb{C}^{M_{\mathrm{I}}},square-root start_ARG italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT end_ARG over¯ start_ARG bold_Φ end_ARG start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT bold_g italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (6)

where Ptrsuperscript𝑃trP^{\mathrm{tr}}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT is the transmit power at the active controller. 𝚽¯l,qsubscript¯𝚽𝑙𝑞\bar{\mathbf{\Phi}}_{l,q}over¯ start_ARG bold_Φ end_ARG start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT is a diagonal matrix that characterizes the IS elements’ phase shift from the 1stsuperscript1st1^{\text{st}}1 start_POSTSUPERSCRIPT st end_POSTSUPERSCRIPT sector to the lthsuperscript𝑙thl^{\text{th}}italic_l start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT sector at time q𝑞qitalic_q. We construct 𝚽¯l,qsubscript¯𝚽𝑙𝑞\bar{\mathbf{\Phi}}_{l,q}over¯ start_ARG bold_Φ end_ARG start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT such that, after combining with channel 𝐠𝐠\mathbf{g}bold_g, the emitted signal 𝐱l,qsubscript𝐱𝑙𝑞\mathbf{x}_{l,q}bold_x start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT from sector l𝑙litalic_l at time q𝑞qitalic_q is coincident with the (qmodMI)thsuperscriptmodulo𝑞subscript𝑀Ith(q\mod~{}M_{\mathrm{I}})^{\mathrm{th}}( italic_q roman_mod italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT column of the MIlimit-fromsubscript𝑀IM_{\mathrm{I}}-italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT -DFT matrix444We make this choice because literature has demonstrated that a DFT codebook is optimal for target sensing when there is no prior knowledge of the target [17]., i.e., 𝚽¯l,q=1Ldiag{𝐟q}diag{𝐚g}subscript¯𝚽𝑙𝑞1𝐿diagsubscript𝐟𝑞diagsuperscriptsubscript𝐚g\bar{\mathbf{\Phi}}_{l,q}=\sqrt{\frac{1}{L}}\mathrm{diag}\left\{\mathbf{f}_{q}% \right\}\mathrm{diag}\left\{\mathbf{a}_{\mathrm{g}}^{*}\right\}over¯ start_ARG bold_Φ end_ARG start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT = square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_L end_ARG end_ARG roman_diag { bold_f start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT } roman_diag { bold_a start_POSTSUBSCRIPT roman_g end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT }. In this context, we satisfy the rule of lossless passive IS elements, i.e., l𝚽¯l,qH𝚽¯l,q=𝐈MIsubscript𝑙superscriptsubscript¯𝚽𝑙𝑞𝐻subscript¯𝚽𝑙𝑞subscript𝐈subscript𝑀I\sum_{l}\bar{\mathbf{\Phi}}_{l,q}^{H}\bar{\mathbf{\Phi}}_{l,q}=\mathbf{I}_{M_{% \mathrm{I}}}∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT over¯ start_ARG bold_Φ end_ARG start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over¯ start_ARG bold_Φ end_ARG start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT = bold_I start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_POSTSUBSCRIPT. Therein, 𝐟qsubscript𝐟𝑞\mathbf{f}_{q}bold_f start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT is the (qmodMI)thsuperscriptmodulo𝑞subscript𝑀Ith(q\mod~{}M_{\mathrm{I}})^{\mathrm{th}}( italic_q roman_mod italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT column of the MIlimit-fromsubscript𝑀IM_{\mathrm{I}}-italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT -DFT matrix. In this paper, we set Q=NI𝑄subscript𝑁IQ=N_{\mathrm{I}}italic_Q = italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT for simplicity such that the overall codebook has a periodicity of L𝐿Litalic_L.

In this context, the radiated signal 𝐱l,qsubscript𝐱𝑙𝑞\mathbf{x}_{l,q}bold_x start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT becomes a periodic DFT codebook in the following form,

𝐱l,q=subscript𝐱𝑙𝑞absent\displaystyle\mathbf{x}_{l,q}=bold_x start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT = PtrNI𝐟q,superscript𝑃trsubscript𝑁Isubscript𝐟𝑞\displaystyle\sqrt{\frac{P^{\mathrm{tr}}}{N_{\mathrm{I}}}}\mathbf{f}_{q},square-root start_ARG divide start_ARG italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT end_ARG start_ARG italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_ARG end_ARG bold_f start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT , (7)
with[𝐟q]m=withsubscriptdelimited-[]subscript𝐟𝑞𝑚absent\displaystyle\mbox{with}~{}\left[\mathbf{f}_{q}\right]_{m}=with [ bold_f start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = exp{2πmqMI},m=0,,MI1,formulae-sequence2𝜋𝑚𝑞subscript𝑀I𝑚0subscript𝑀I1\displaystyle\exp\left\{-\frac{2\pi mq}{M_{\mathrm{I}}}\right\},~{}m=0,~{}% \cdots,~{}M_{\mathrm{I}}-1,roman_exp { - divide start_ARG 2 italic_π italic_m italic_q end_ARG start_ARG italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_ARG } , italic_m = 0 , ⋯ , italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT - 1 , (8)

where sqsubscript𝑠𝑞s_{q}italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT is assumed to be constant, e.g., sq=1subscript𝑠𝑞1s_{q}=1italic_s start_POSTSUBSCRIPT italic_q end_POSTSUBSCRIPT = 1. In this context, the total power of the whole codebook is l,q𝐱l,q2=QPtrsubscript𝑙𝑞superscriptnormsubscript𝐱𝑙𝑞2𝑄superscript𝑃tr\sum_{l,q}\|\mathbf{x}_{l,q}\|^{2}=QP^{\mathrm{tr}}∑ start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT ∥ bold_x start_POSTSUBSCRIPT italic_l , italic_q end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_Q italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT.

Consequently, the echoed signal from the target at the sensors at the lthsuperscript𝑙thl^{\text{th}}italic_l start_POSTSUPERSCRIPT th end_POSTSUPERSCRIPT sector is given by (assume the target exists in the far-field of the sector)

𝐘l=subscript𝐘𝑙absent\displaystyle\mathbf{Y}_{l}=bold_Y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = αFS(θ,l)𝐚l(θ)l=1LFI(θ,l)𝐛l(θ)H𝐗l+𝐙lMS×Q,𝛼subscript𝐹S𝜃𝑙subscript𝐚𝑙𝜃superscriptsubscriptsuperscript𝑙1𝐿subscript𝐹I𝜃superscript𝑙subscript𝐛superscript𝑙superscript𝜃𝐻subscript𝐗superscript𝑙subscript𝐙𝑙superscriptsubscript𝑀S𝑄\displaystyle\alpha F_{\mathrm{S}}\left(\theta,~{}l\right)\mathbf{a}_{l}\left(% \theta\right)\sum_{l^{\prime}=1}^{L}F_{\mathrm{I}}\left(\theta,~{}l^{\prime}% \right)\mathbf{b}_{l^{\prime}}\left(\theta\right)^{H}\mathbf{X}_{l^{\prime}}+% \mathbf{Z}_{l}\in\mathbb{C}^{M_{\mathrm{S}}\times Q},italic_α italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ , italic_l ) bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) ∑ start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_L end_POSTSUPERSCRIPT italic_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ , italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) bold_b start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_X start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT + bold_Z start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT × italic_Q end_POSTSUPERSCRIPT , (9a)
withα=with𝛼absent\displaystyle\mbox{with}~{}\alpha=with italic_α = 64λ2π3𝐩T4αT,64superscript𝜆2superscript𝜋3superscriptnormsubscript𝐩T4subscript𝛼T\displaystyle\sqrt{\frac{64\lambda^{2}}{\pi^{3}\|\mathbf{p}_{\mathrm{T}}\|^{4}% }}\alpha_{\mathrm{T}},square-root start_ARG divide start_ARG 64 italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ∥ bold_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG end_ARG italic_α start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT ,
(the path loss normalized by isotropic antenna pattern), (9b)
𝐚l(θ)=subscript𝐚𝑙𝜃absent\displaystyle\mathbf{a}_{l}\left(\theta\right)=bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) = exp{jπ𝐏S,lT(𝐮(θ))}=exp{jπ𝐏S,lT𝐮(θ)}MS,𝑗𝜋subscriptsuperscript𝐏𝑇S𝑙𝐮𝜃𝑗𝜋subscriptsuperscript𝐏𝑇S𝑙𝐮𝜃superscriptsubscript𝑀S\displaystyle\exp\left\{-j\pi\mathbf{P}^{T}_{\mathrm{S},~{}l}\left(-\mathbf{u}% \left(\theta\right)\right)\right\}=\exp\left\{j\pi\mathbf{P}^{T}_{\mathrm{S},~% {}l}\mathbf{u}\left(\theta\right)\right\}\in\mathbb{C}^{M_{\mathrm{S}}},roman_exp { - italic_j italic_π bold_P start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S , italic_l end_POSTSUBSCRIPT ( - bold_u ( italic_θ ) ) } = roman_exp { italic_j italic_π bold_P start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S , italic_l end_POSTSUBSCRIPT bold_u ( italic_θ ) } ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ,
(the receive steering vector at sector l𝑙litalic_l), (9c)
𝐛l(θ)=subscript𝐛𝑙𝜃absent\displaystyle\mathbf{b}_{l}\left(\theta\right)=bold_b start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) = exp{jπ𝐏I,lT𝐮(θ)}MI,𝑗𝜋subscriptsuperscript𝐏𝑇I𝑙𝐮𝜃superscriptsubscript𝑀I\displaystyle\exp\left\{-j\pi\mathbf{P}^{T}_{\mathrm{I},~{}l}\mathbf{u}\left(% \theta\right)\right\}\in\mathbb{C}^{M_{\mathrm{I}}},roman_exp { - italic_j italic_π bold_P start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_I , italic_l end_POSTSUBSCRIPT bold_u ( italic_θ ) } ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ,
(the transmit steering vector at sector l𝑙litalic_l), (9d)
𝐗l=subscript𝐗𝑙absent\displaystyle\mathbf{X}_{l}=bold_X start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = [𝐱l,0,𝐱l,2,,𝐱l,Q1]MI×Q,subscript𝐱𝑙0subscript𝐱𝑙2subscript𝐱𝑙𝑄1superscriptsubscript𝑀I𝑄\displaystyle\left[\mathbf{x}_{l,0},~{}\mathbf{x}_{l,2},~{}\cdots,~{}\mathbf{x% }_{l,Q-1}\right]\in\mathbb{C}^{M_{\mathrm{I}}\times Q},[ bold_x start_POSTSUBSCRIPT italic_l , 0 end_POSTSUBSCRIPT , bold_x start_POSTSUBSCRIPT italic_l , 2 end_POSTSUBSCRIPT , ⋯ , bold_x start_POSTSUBSCRIPT italic_l , italic_Q - 1 end_POSTSUBSCRIPT ] ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT × italic_Q end_POSTSUPERSCRIPT ,
(the radiated signal over Q𝑄Qitalic_Q snapshots at sector l𝑙litalic_l), (9e)

where FS/I(θ,l)=GS/I(θl)subscript𝐹SI𝜃𝑙subscript𝐺SIsubscript𝜃𝑙F_{\mathrm{S/I}}\left(\theta,~{}l\right)=\sqrt{G_{\mathrm{S/I}}\left(\theta_{l% }\right)}italic_F start_POSTSUBSCRIPT roman_S / roman_I end_POSTSUBSCRIPT ( italic_θ , italic_l ) = square-root start_ARG italic_G start_POSTSUBSCRIPT roman_S / roman_I end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG, with GS/I(θl)subscript𝐺SIsubscript𝜃𝑙G_{\mathrm{S/I}}\left(\theta_{l}\right)italic_G start_POSTSUBSCRIPT roman_S / roman_I end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) being the antenna gain (towards the target) of the IS elements/sensors at sector l𝑙litalic_l. Therein, θlsubscript𝜃𝑙\theta_{l}italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT is the target angle in the L-CCS xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT. Note GS/I(θl)=0subscript𝐺SIsubscript𝜃𝑙0G_{\mathrm{S/I}}\left(\theta_{l}\right)=0italic_G start_POSTSUBSCRIPT roman_S / roman_I end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) = 0 indicates that the target is not illuminated by sector l𝑙litalic_l. Detailed discussions about FS/I(θ,l)subscript𝐹SI𝜃𝑙F_{\mathrm{S/I}}\left(\theta,~{}l\right)italic_F start_POSTSUBSCRIPT roman_S / roman_I end_POSTSUBSCRIPT ( italic_θ , italic_l ) and GS/I(θl)subscript𝐺SIsubscript𝜃𝑙G_{\mathrm{S/I}}\left(\theta_{l}\right)italic_G start_POSTSUBSCRIPT roman_S / roman_I end_POSTSUBSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) can be found in Section III-C1. In the path loss α𝛼\alphaitalic_α, αTsubscript𝛼T\alpha_{\mathrm{T}}italic_α start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT is the complex target scattering coefficient. 𝐙lMS×Qsubscript𝐙𝑙superscriptsubscript𝑀S𝑄\mathbf{Z}_{l}\in\mathbb{C}^{M_{\mathrm{S}}\times Q}bold_Z start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT × italic_Q end_POSTSUPERSCRIPT is the additive white Gaussian noise (AWGN) at sensors at sector l𝑙litalic_l, with noise power being σ2superscript𝜎2\sigma^{2}italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT.

Combining 𝐘lsubscript𝐘𝑙\mathbf{Y}_{l}bold_Y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT for l=1,,L𝑙1𝐿l=1,~{}\cdots,~{}Litalic_l = 1 , ⋯ , italic_L into one matrix, we have the following expressions,

𝐘=𝐘absent\displaystyle\mathbf{Y}=bold_Y = [𝐘1T,𝐘2T,,𝐘LT]Tsuperscriptsuperscriptsubscript𝐘1𝑇superscriptsubscript𝐘2𝑇superscriptsubscript𝐘𝐿𝑇𝑇\displaystyle\left[\mathbf{Y}_{1}^{T},~{}\mathbf{Y}_{2}^{T},~{}\cdots,~{}% \mathbf{Y}_{L}^{T}\right]^{T}[ bold_Y start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_Y start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , ⋯ , bold_Y start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT
=\displaystyle== α𝐅S(θ)𝐚(θ)𝐛(θ)H𝐅I(θ)T𝐗+𝐙𝛼subscript𝐅S𝜃𝐚𝜃𝐛superscript𝜃𝐻subscript𝐅Isuperscript𝜃𝑇𝐗𝐙\displaystyle\alpha\mathbf{F}_{\mathrm{S}}\left(\theta\right)\mathbf{a}\left(% \theta\right)\mathbf{b}\left(\theta\right)^{H}\mathbf{F}_{\mathrm{I}}\left(% \theta\right)^{T}\mathbf{X}+\mathbf{Z}italic_α bold_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) bold_a ( italic_θ ) bold_b ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_X + bold_Z (10a)
=\displaystyle== α𝐔(θ)+𝐙,𝛼𝐔𝜃𝐙\displaystyle\alpha\mathbf{U}\left(\theta\right)+\mathbf{Z},italic_α bold_U ( italic_θ ) + bold_Z , (10b)
with𝐅I/S(θ)=withsubscript𝐅IS𝜃absent\displaystyle\mbox{with}~{}\mathbf{F}_{\mathrm{I/S}}\left(\theta\right)=with bold_F start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ( italic_θ ) = diag{FI/S(θ,1),,FI/S(θ,L)}𝐈MI/S,tensor-productdiagsubscript𝐹IS𝜃1subscript𝐹IS𝜃𝐿subscript𝐈subscript𝑀IS\displaystyle\mathrm{diag}\left\{F_{\mathrm{I/S}}\left(\theta,~{}1\right),% \cdots,~{}F_{\mathrm{I/S}}\left(\theta,~{}L\right)\right\}\otimes\mathbf{I}_{M% _{\mathrm{I/S}}},roman_diag { italic_F start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ( italic_θ , 1 ) , ⋯ , italic_F start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ( italic_θ , italic_L ) } ⊗ bold_I start_POSTSUBSCRIPT italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT end_POSTSUBSCRIPT , (10c)
𝐚(θ)=𝐚𝜃absent\displaystyle\mathbf{a}\left(\theta\right)=bold_a ( italic_θ ) = [𝐚1(θ)T,𝐚2(θ)T,,𝐚L(θ)T]TNS,superscriptsubscript𝐚1superscript𝜃𝑇subscript𝐚2superscript𝜃𝑇subscript𝐚𝐿superscript𝜃𝑇𝑇superscriptsubscript𝑁S\displaystyle\left[\mathbf{a}_{1}\left(\theta\right)^{T},~{}\mathbf{a}_{2}% \left(\theta\right)^{T},~{}\cdots,~{}\mathbf{a}_{L}\left(\theta\right)^{T}% \right]^{T}\in\mathbb{C}^{N_{\mathrm{S}}},[ bold_a start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_a start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , ⋯ , bold_a start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (10d)
𝐛(θ)=𝐛𝜃absent\displaystyle\mathbf{b}\left(\theta\right)=bold_b ( italic_θ ) = [𝐛1(θ)T,𝐛2(θ)T,,𝐛L(θ)T]TNI,superscriptsubscript𝐛1superscript𝜃𝑇subscript𝐛2superscript𝜃𝑇subscript𝐛𝐿superscript𝜃𝑇𝑇superscriptsubscript𝑁I\displaystyle\left[\mathbf{b}_{1}\left(\theta\right)^{T},~{}\mathbf{b}_{2}% \left(\theta\right)^{T},~{}\cdots,~{}\mathbf{b}_{L}\left(\theta\right)^{T}% \right]^{T}\in\mathbb{C}^{N_{\mathrm{I}}},[ bold_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_b start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , ⋯ , bold_b start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (10e)
𝐗=𝐗absent\displaystyle\mathbf{X}=bold_X = [𝐗1T,𝐗2T,,𝐗LT]TNI×Q,superscriptsuperscriptsubscript𝐗1𝑇superscriptsubscript𝐗2𝑇superscriptsubscript𝐗𝐿𝑇𝑇superscriptsubscript𝑁I𝑄\displaystyle\left[\mathbf{X}_{1}^{T},~{}\mathbf{X}_{2}^{T},~{}\cdots,~{}% \mathbf{X}_{L}^{T}\right]^{T}\in\mathbb{C}^{N_{\mathrm{I}}\times Q},[ bold_X start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_X start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , ⋯ , bold_X start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT × italic_Q end_POSTSUPERSCRIPT , (10f)
𝐙=𝐙absent\displaystyle\mathbf{Z}=bold_Z = [𝐙1T,𝐙2T,,𝐙LT]TNS×Q.superscriptsuperscriptsubscript𝐙1𝑇superscriptsubscript𝐙2𝑇superscriptsubscript𝐙𝐿𝑇𝑇superscriptsubscript𝑁S𝑄\displaystyle\left[\mathbf{Z}_{1}^{T},~{}\mathbf{Z}_{2}^{T},~{}\cdots,~{}% \mathbf{Z}_{L}^{T}\right]^{T}\in\mathbb{C}^{N_{\mathrm{S}}\times Q}.[ bold_Z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , bold_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , ⋯ , bold_Z start_POSTSUBSCRIPT italic_L end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT × italic_Q end_POSTSUPERSCRIPT . (10g)

The vector form of (10) can be written as (by setting Q=NI𝑄subscript𝑁IQ=N_{\mathrm{I}}italic_Q = italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT)

𝐲=𝐲absent\displaystyle\mathbf{y}=bold_y = vec{𝐘}=α𝝁(θ)+𝐳NINS,vec𝐘𝛼𝝁𝜃𝐳superscriptsubscript𝑁Isubscript𝑁S\displaystyle\mathrm{vec}\left\{{\mathbf{Y}}\right\}=\alpha\boldsymbol{\mu}% \left(\theta\right)+\mathbf{z}\in\mathbb{C}^{N_{\mathrm{I}}N_{\mathrm{S}}},roman_vec { bold_Y } = italic_α bold_italic_μ ( italic_θ ) + bold_z ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (11a)
𝝁(θ)=𝝁𝜃absent\displaystyle\boldsymbol{\mu}\left(\theta\right)=bold_italic_μ ( italic_θ ) = vec{𝐔(θ)}=𝐗T𝐅I(θ)𝐛(θ)𝐅S(θ)𝐚(θ)NINS,vec𝐔𝜃tensor-productsuperscript𝐗𝑇subscript𝐅I𝜃𝐛superscript𝜃subscript𝐅S𝜃𝐚𝜃superscriptsubscript𝑁Isubscript𝑁S\displaystyle\mathrm{vec}\left\{\mathbf{U}\left(\theta\right)\right\}=\mathbf{% X}^{T}\mathbf{F}_{\mathrm{I}}\left(\theta\right)\mathbf{b}\left(\theta\right)^% {*}\otimes\mathbf{F}_{\mathrm{S}}\left(\theta\right)\mathbf{a}\left(\theta% \right)\in\mathbb{C}^{N_{\mathrm{I}}N_{\mathrm{S}}},roman_vec { bold_U ( italic_θ ) } = bold_X start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) bold_b ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ⊗ bold_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) bold_a ( italic_θ ) ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (11b)
𝐳=𝐳absent\displaystyle\mathbf{z}=bold_z = vec{𝐙}NINS.vec𝐙superscriptsubscript𝑁Isubscript𝑁S\displaystyle\mathrm{vec}\left\{\mathbf{Z}\right\}\in\mathbb{C}^{N_{\mathrm{I}% }N_{\mathrm{S}}}.roman_vec { bold_Z } ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT end_POSTSUPERSCRIPT . (11c)

III Performance Analysis

With the derived compact signal model in (11), in this section, we first present the ML estimator of the signal and the analytical lower bound of the corresponding MSE, namely the CRB, in Section III-A. Given the CRB, we reveal its two most fundamental components, which are, respectively, the probing power on targets and the squared rate of the target angle at sensors. Then, in Section III-B, we provide an in-depth analysis of these two components of the CRB. Finally, in Section III-C, we pursue the performance comparison with half-space isotropic versus half-space directive antenna patterns.

III-A ML estimator and the corresponding CRB

In this sub-section, we first derive the ML estimator of the proposed multi-sector IS self-sensing system. Given the received signal in (11), the parameters to be estimated are collected into 𝜻=[θ,α]𝜻𝜃𝛼\boldsymbol{\zeta}=\left[\theta,~{}{\alpha}\right]bold_italic_ζ = [ italic_θ , italic_α ], which has the following log-likelihood function,

L(𝐲;𝜻)=(NINS)2log(πσ2)1σ2𝐲α𝝁(θ)2.𝐿𝐲𝜻superscriptsubscript𝑁Isubscript𝑁S2𝜋superscript𝜎21superscript𝜎2superscriptnorm𝐲𝛼𝝁𝜃2\displaystyle L\left(\mathbf{y};~{}\boldsymbol{\zeta}\right)=-\left(N_{\mathrm% {I}}N_{\mathrm{S}}\right)^{2}\log{(\pi\sigma^{2})}-\frac{1}{\sigma^{2}}\|% \mathbf{y}-\alpha\boldsymbol{\mu}\left(\theta\right)\|^{2}.italic_L ( bold_y ; bold_italic_ζ ) = - ( italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_log ( italic_π italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - divide start_ARG 1 end_ARG start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∥ bold_y - italic_α bold_italic_μ ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (12)

Hence, the ML estimator of 𝜻𝜻\boldsymbol{\zeta}bold_italic_ζ is given by

(θ^,α^)=^𝜃^𝛼absent\displaystyle\left(\hat{\theta},~{}\hat{{\alpha}}\right)=( over^ start_ARG italic_θ end_ARG , over^ start_ARG italic_α end_ARG ) = argminθ,α𝐲α𝝁(θ)2𝜃𝛼superscriptnorm𝐲𝛼𝝁𝜃2\displaystyle\underset{\theta,~{}\alpha}{\arg~{}\min}\|\mathbf{y}-\alpha% \boldsymbol{\mu}\left(\theta\right)\|^{2}start_UNDERACCENT italic_θ , italic_α end_UNDERACCENT start_ARG roman_arg roman_min end_ARG ∥ bold_y - italic_α bold_italic_μ ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (13a)
=\displaystyle== argminθ,α2{α𝐲H𝝁(θ)}+α𝝁(θ)2,𝜃𝛼2𝛼superscript𝐲𝐻𝝁𝜃superscriptnorm𝛼𝝁𝜃2\displaystyle\underset{\theta,~{}\alpha}{\arg~{}\min}-2\mathfrak{R}\left\{% \alpha\mathbf{y}^{H}\boldsymbol{\mu}\left(\theta\right)\right\}+\|\alpha% \boldsymbol{\mu}\left(\theta\right)\|^{2},start_UNDERACCENT italic_θ , italic_α end_UNDERACCENT start_ARG roman_arg roman_min end_ARG - 2 fraktur_R { italic_α bold_y start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_μ ( italic_θ ) } + ∥ italic_α bold_italic_μ ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (13b)

which gives the optimal α^^𝛼\hat{{\alpha}}over^ start_ARG italic_α end_ARG as following [32],

α^=𝝁(θ)H𝐲𝝁(θ)2.^𝛼𝝁superscript𝜃𝐻𝐲superscriptnorm𝝁𝜃2\displaystyle\hat{\alpha}=\frac{\boldsymbol{\mu}\left(\theta\right)^{H}\mathbf% {y}}{\|\boldsymbol{\mu}\left(\theta\right)\|^{2}}.over^ start_ARG italic_α end_ARG = divide start_ARG bold_italic_μ ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_y end_ARG start_ARG ∥ bold_italic_μ ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (14)

Taking (14) into (13), we obtain the optimal θ^^𝜃\hat{\theta}over^ start_ARG italic_θ end_ARG in the form of

θ^=argmax𝜃|𝝁(θ)H𝐲|2𝝁(θ)2.^𝜃𝜃superscript𝝁superscript𝜃𝐻𝐲2superscriptnorm𝝁𝜃2\displaystyle\hat{\theta}=\underset{\theta}{\arg~{}\max}\frac{\big{|}% \boldsymbol{\mu}\left(\theta\right)^{H}\mathbf{y}\big{|}^{2}}{\|\boldsymbol{% \mu}\left(\theta\right)\|^{2}}.over^ start_ARG italic_θ end_ARG = underitalic_θ start_ARG roman_arg roman_max end_ARG divide start_ARG | bold_italic_μ ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_y | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∥ bold_italic_μ ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (15)

Given the ML estimator in (15), the corresponding Fisher information matrix is defined as [33]

𝔽(𝜻)=𝔽𝜻absent\displaystyle\mathbb{F}\left(\boldsymbol{\zeta}\right)=blackboard_F ( bold_italic_ζ ) = 2σ2{α𝝁H(θ)𝜻α𝝁(θ)𝜻}2superscript𝜎2superscript𝛼superscript𝝁𝐻𝜃𝜻𝛼𝝁𝜃𝜻\displaystyle\frac{2}{\sigma^{2}}\mathfrak{R}\left\{\frac{\partial\alpha^{*}% \boldsymbol{\mu}^{H}\left(\theta\right)}{\boldsymbol{\zeta}}\frac{\partial% \alpha\boldsymbol{\mu}\left(\theta\right)}{\boldsymbol{\zeta}}\right\}divide start_ARG 2 end_ARG start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG fraktur_R { divide start_ARG ∂ italic_α start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_italic_μ start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_θ ) end_ARG start_ARG bold_italic_ζ end_ARG divide start_ARG ∂ italic_α bold_italic_μ ( italic_θ ) end_ARG start_ARG bold_italic_ζ end_ARG } (16a)
=\displaystyle== 2σ2{[|α|2𝝁˙(θ)H𝝁˙(θ),α𝝁˙(θ)H𝝁(θ)[1,j][1,j]Tα𝝁(θ)H𝝁˙(θ),𝝁(θ)H𝝁(θ)𝐈2,]},2superscript𝜎2matrixsuperscript𝛼2˙𝝁superscript𝜃𝐻˙𝝁𝜃superscript𝛼˙𝝁superscript𝜃𝐻𝝁𝜃1𝑗superscript1𝑗𝑇𝛼𝝁superscript𝜃𝐻˙𝝁𝜃𝝁superscript𝜃𝐻𝝁𝜃subscript𝐈2\displaystyle\frac{2}{\sigma^{2}}\mathfrak{R}\left\{\begin{bmatrix}|\alpha|^{2% }\dot{\boldsymbol{\mu}}\left({\theta}\right)^{H}\dot{\boldsymbol{\mu}}\left({% \theta}\right),&\alpha^{*}\dot{\boldsymbol{\mu}}\left({\theta}\right)^{H}% \boldsymbol{\mu}\left(\theta\right)\left[1,~{}j\right]\\ \left[1,~{}-j\right]^{T}\alpha\boldsymbol{\mu}\left(\theta\right)^{H}\dot{% \boldsymbol{\mu}}\left({\theta}\right),&\boldsymbol{\mu}\left(\theta\right)^{H% }\boldsymbol{\mu}\left(\theta\right)\mathbf{I}_{2},\end{bmatrix}\right\},divide start_ARG 2 end_ARG start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG fraktur_R { [ start_ARG start_ROW start_CELL | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) , end_CELL start_CELL italic_α start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_μ ( italic_θ ) [ 1 , italic_j ] end_CELL end_ROW start_ROW start_CELL [ 1 , - italic_j ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT italic_α bold_italic_μ ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) , end_CELL start_CELL bold_italic_μ ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_μ ( italic_θ ) bold_I start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT , end_CELL end_ROW end_ARG ] } , (16b)
with 𝝁˙(θ)𝝁(θ)θ˙𝝁𝜃𝝁𝜃𝜃\dot{\boldsymbol{\mu}}\left({\theta}\right)\triangleq\frac{\partial\boldsymbol% {\mu}\left(\theta\right)}{\partial\theta}over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) ≜ divide start_ARG ∂ bold_italic_μ ( italic_θ ) end_ARG start_ARG ∂ italic_θ end_ARG

, which yields the CRB for θ𝜃\thetaitalic_θ as following [32, 33],

CRB(θ)=[𝔽1(𝜻)]1,1CRB𝜃subscriptdelimited-[]superscript𝔽1𝜻11\displaystyle\mathrm{CRB}\left(\theta\right)=\left[\mathbb{F}^{-1}\left(% \boldsymbol{\zeta}\right)\right]_{1,1}roman_CRB ( italic_θ ) = [ blackboard_F start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_ζ ) ] start_POSTSUBSCRIPT 1 , 1 end_POSTSUBSCRIPT (17a)
=\displaystyle== σ22|α|2[𝝁˙(θ)H𝝁˙(θ)𝝁˙(θ)H𝝁(θ)𝝁(θ)H𝝁˙(θ)𝝁(θ)H𝝁(θ)]1superscript𝜎22superscript𝛼2superscriptdelimited-[]˙𝝁superscript𝜃𝐻˙𝝁𝜃˙𝝁superscript𝜃𝐻𝝁𝜃𝝁superscript𝜃𝐻˙𝝁𝜃𝝁superscript𝜃𝐻𝝁𝜃1\displaystyle\frac{\sigma^{2}}{2|\alpha|^{2}}\left[\dot{\boldsymbol{\mu}}\left% ({\theta}\right)^{H}\dot{\boldsymbol{\mu}}\left({\theta}\right)-\frac{\dot{% \boldsymbol{\mu}}\left({\theta}\right)^{H}{\boldsymbol{\mu}}\left({\theta}% \right){\boldsymbol{\mu}}\left({\theta}\right)^{H}\dot{\boldsymbol{\mu}}\left(% {\theta}\right)}{{\boldsymbol{\mu}}\left({\theta}\right)^{H}{\boldsymbol{\mu}}% \left({\theta}\right)}\right]^{-1}divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) - divide start_ARG over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_μ ( italic_θ ) bold_italic_μ ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_italic_μ end_ARG ( italic_θ ) end_ARG start_ARG bold_italic_μ ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_italic_μ ( italic_θ ) end_ARG ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (17b)
=\displaystyle== σ22|α|2[𝐛˙T𝐛˙𝐚p(θ)H𝐚p(θ)+𝐛T𝐛𝐚˙p(θ)H𝐚˙p(θ)\displaystyle\frac{\sigma^{2}}{2|\alpha|^{2}}\Bigg{[}\dot{\mathbf{b}}^{T}\dot{% \mathbf{b}}^{*}{\mathbf{a}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}^{% \mathrm{p}}\left(\theta\right)}+{\mathbf{b}}^{T}{\mathbf{b}}^{*}{\dot{\mathbf{% a}}^{\mathrm{p}}\left(\theta\right)}^{H}{\dot{\mathbf{a}}^{\mathrm{p}}\left(% \theta\right)}-divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) + bold_b start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) -
𝐛˙T𝐛𝐚p(θ)H𝐚p(θ)2+𝐛T𝐛𝐚˙p(θ)H𝐚p(θ)2𝐛T𝐛𝐚p(θ)H𝐚p(θ)]1\displaystyle\frac{\|\dot{\mathbf{b}}^{T}{\mathbf{b}}^{*}{\mathbf{a}^{\mathrm{% p}}\left(\theta\right)}^{H}{\mathbf{a}^{\mathrm{p}}\left(\theta\right)}\|^{2}+% \|{\mathbf{b}}^{T}{\mathbf{b}}^{*}{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta% \right)}^{H}{\mathbf{a}^{\mathrm{p}}\left(\theta\right)}\|^{2}}{\mathbf{b}^{T}% {\mathbf{b}}^{*}{\mathbf{a}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}^{% \mathrm{p}}\left(\theta\right)}}\Bigg{]}^{-1}divide start_ARG ∥ over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ∥ bold_b start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG bold_b start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (17c)
=\displaystyle== σ22|α|2[𝐛˙T𝐛˙𝐚p(θ)H𝐚p(θ)(1𝐛˙T𝐛𝐛˙T𝐛˙𝐛T𝐛)\displaystyle\frac{\sigma^{2}}{2|\alpha|^{2}}\left[\dot{\mathbf{b}}^{T}\dot{% \mathbf{b}}^{*}{\mathbf{a}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}^{% \mathrm{p}}\left(\theta\right)}\left(1-\frac{\|\dot{\mathbf{b}}^{T}\mathbf{b}^% {*}\|}{\dot{\mathbf{b}}^{T}\dot{\mathbf{b}}^{*}{\mathbf{b}}^{T}\mathbf{b}^{*}}% \right)\right.divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ( 1 - divide start_ARG ∥ over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ∥ end_ARG start_ARG over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT end_ARG )
𝐛T𝐛𝐚˙p(θ)H𝐚˙p(θ)(1𝐚˙p(θ)H𝐚p(θ)𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ))]1\displaystyle\left.{\mathbf{b}}^{T}{\mathbf{b}}^{*}{\dot{\mathbf{a}}^{\mathrm{% p}}\left(\theta\right)}^{H}{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}% \left(1-\frac{\|{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf% {a}^{\mathrm{p}}\left(\theta\right)}\|}{{\dot{\mathbf{a}}^{\mathrm{p}}\left(% \theta\right)}^{H}{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}{\mathbf{a% }^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}^{\mathrm{p}}\left(\theta% \right)}}\right)\right]^{-1}bold_b start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ( 1 - divide start_ARG ∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ end_ARG start_ARG over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (17d)
=\displaystyle== σ22|α|2[𝐛p(θ)T𝐑X𝐛p(θ)𝐚˙p(θ)H𝐚˙p(θ)ΓI(θ)+\displaystyle\frac{\sigma^{2}}{2|\alpha|^{2}}\left[{\mathbf{b}}^{\mathrm{p}}% \left(\theta\right)^{T}\mathbf{R}_{X}{\mathbf{b}}^{\mathrm{p}}\left(\theta% \right)^{*}\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)^{H}\dot{\mathbf{a}% }^{\mathrm{p}}\left(\theta\right)\Gamma_{\mathrm{I}}\left(\theta\right)+\right.divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) roman_Γ start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) +
𝐛˙p(θ)T𝐑X𝐛˙p(θ)𝐚p(θ)H𝐚p(θ)ΓS(θ)]1,\displaystyle\left.\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf% {R}_{X}\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{*}{\mathbf{a}}^{% \mathrm{p}}\left(\theta\right)^{H}{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)% \Gamma_{\mathrm{S}}\left(\theta\right)\right]^{-1},over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) roman_Γ start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , (17e)
with
ΓI/S(θ)=MI/S1limit-fromsubscriptΓIS𝜃subscript𝑀ISabsent1\displaystyle\Gamma_{\mathrm{I/S}}(\theta)\overset{M_{\mathrm{I/S}}\uparrow}{=% }1-roman_Γ start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ( italic_θ ) start_OVERACCENT italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ↑ end_OVERACCENT start_ARG = end_ARG 1 -
[lFI/S2(θ,l)sin(θϕl)]2lFI/S2(θ,l)lFI/S2(θ,l)[1+cos2(θϕl)tan2(π/L)/3],superscriptdelimited-[]subscript𝑙superscriptsubscript𝐹IS2𝜃𝑙𝜃subscriptitalic-ϕ𝑙2subscript𝑙superscriptsubscript𝐹IS2𝜃𝑙subscript𝑙superscriptsubscript𝐹IS2𝜃𝑙delimited-[]1superscript2𝜃subscriptitalic-ϕ𝑙superscript2𝜋𝐿3\displaystyle\frac{\left[\sum_{l}F_{\mathrm{I/S}}^{2}(\theta,~{}l)\sin\left(% \theta-\phi_{l}\right)\right]^{2}}{\sum_{l}F_{\mathrm{I/S}}^{2}(\theta,~{}l)% \sum_{l}F_{\mathrm{I/S}}^{2}(\theta,~{}l)\left[1+\cos^{2}\left(\theta-\phi_{l}% \right)\tan^{2}(\pi/L)/3\right]},divide start_ARG [ ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) [ 1 + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) roman_tan start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_π / italic_L ) / 3 ] end_ARG , (17f)

where 𝐚p(θ)𝐅S(θ)𝐚(θ),𝐛p(θ)𝐅I(θ)𝐛(θ),𝐚˙p(θ)𝐚p(θ)θ,𝐛˙p(θ)𝐛p(θ)θformulae-sequencesuperscript𝐚p𝜃subscript𝐅S𝜃𝐚𝜃formulae-sequencesuperscript𝐛p𝜃subscript𝐅I𝜃𝐛𝜃formulae-sequencesuperscript˙𝐚p𝜃superscript𝐚p𝜃𝜃superscript˙𝐛p𝜃superscript𝐛p𝜃𝜃{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)\triangleq\mathbf{F}_{\mathrm{S}}% \left(\theta\right){\mathbf{a}}\left(\theta\right),~{}{\mathbf{b}}^{\mathrm{p}% }\left(\theta\right)\triangleq\mathbf{F}_{\mathrm{I}}\left(\theta\right){% \mathbf{b}}\left(\theta\right),~{}\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta% \right)\triangleq\frac{\partial{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}{% \partial\theta},~{}\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)\triangleq% \frac{\partial{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)}{\partial\theta}bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ≜ bold_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) bold_a ( italic_θ ) , bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ≜ bold_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) bold_b ( italic_θ ) , over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ≜ divide start_ARG ∂ bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG start_ARG ∂ italic_θ end_ARG , over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ≜ divide start_ARG ∂ bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG start_ARG ∂ italic_θ end_ARG, and 𝐑X𝐗𝐗Tsubscript𝐑𝑋superscript𝐗superscript𝐗𝑇\mathbf{R}_{X}\triangleq\mathbf{X}^{*}\mathbf{X}^{T}bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT ≜ bold_X start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_X start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. Additionally, in (17c) and (17d), we use the abbreviations 𝐛𝐗H𝐛p(θ)𝐛superscript𝐗𝐻superscript𝐛p𝜃\mathbf{b}\triangleq\mathbf{X}^{H}\mathbf{b}^{\mathrm{p}}(\theta)bold_b ≜ bold_X start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) and 𝐛˙𝐗H𝐛˙p(θ)˙𝐛superscript𝐗𝐻superscript˙𝐛p𝜃\dot{\mathbf{b}}\triangleq\mathbf{X}^{H}\dot{\mathbf{b}}^{\mathrm{p}}(\theta)over˙ start_ARG bold_b end_ARG ≜ bold_X start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) for brevity. In (17), ΓI/S(θ)subscriptΓIS𝜃\Gamma_{\mathrm{I/S}}(\theta)roman_Γ start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ( italic_θ ) is only dependent on the antenna patterns, but regardless of NI/Ssubscript𝑁ISN_{\mathrm{I/S}}italic_N start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT or MI/Ssubscript𝑀ISM_{\mathrm{I/S}}italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT. 𝐚p(θ)superscript𝐚p𝜃{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) and 𝐛p(θ)superscript𝐛p𝜃{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) are the receive steering vector embedded with the gain of the antennas at sensors and the transmit steering vector embedded with the gain of the antennas at IS elements, respectively. The proof of (17) is shown in Appendix A-A.

Proposition 1.

When the IS elements and the sensors share the same architecture (e.g., NI=NSNsubscript𝑁Isubscript𝑁S𝑁N_{\mathrm{I}}=N_{\mathrm{S}}\triangleq Nitalic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ≜ italic_N and FI(θ)=FS(θ)F(θ)subscript𝐹I𝜃subscript𝐹S𝜃𝐹𝜃F_{\mathrm{I}}\left(\theta\right)=F_{\mathrm{S}}\left(\theta\right)\triangleq F% \left(\theta\right)italic_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) = italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) ≜ italic_F ( italic_θ ), hence MI=MSMsubscript𝑀Isubscript𝑀S𝑀M_{\mathrm{I}}=M_{\mathrm{S}}\triangleq Mitalic_M start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ≜ italic_M, 𝐅I(θ)=𝐅S(θ)𝐅(θ)subscript𝐅I𝜃subscript𝐅S𝜃𝐅𝜃\mathbf{F}_{\mathrm{I}}\left(\theta\right)=\mathbf{F}_{\mathrm{S}}\left(\theta% \right)\triangleq\mathbf{F}\left(\theta\right)bold_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) = bold_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) ≜ bold_F ( italic_θ ) and ΓI(θ)=ΓS(θ)Γ(θ)subscriptΓI𝜃subscriptΓS𝜃Γ𝜃\Gamma_{\mathrm{I}}\left(\theta\right)=\Gamma_{\mathrm{S}}\left(\theta\right)% \triangleq\Gamma\left(\theta\right)roman_Γ start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) = roman_Γ start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) ≜ roman_Γ ( italic_θ )), the CRB in (17) can be further simplified as following, which is inversely proportional to two physical properties of the multi-sector IS.

CRB(θ)=MCRB𝜃𝑀absent\displaystyle\mathrm{CRB}\left(\theta\right)\overset{M\uparrow}{=}roman_CRB ( italic_θ ) start_OVERACCENT italic_M ↑ end_OVERACCENT start_ARG = end_ARG σ24|α|2Γ(θ)[e(θ)r2(θ)]1,superscript𝜎24superscript𝛼2Γ𝜃superscriptdelimited-[]𝑒𝜃superscript𝑟2𝜃1\displaystyle\frac{\sigma^{2}}{4|\alpha|^{2}\Gamma\left(\theta\right)}\left[e% \left(\theta\right)r^{2}\left(\theta\right)\right]^{-1},divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ ( italic_θ ) end_ARG [ italic_e ( italic_θ ) italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , (18a)
withe(θ)=with𝑒𝜃absent\displaystyle\mbox{with}~{}e\left(\theta\right)=with italic_e ( italic_θ ) = 𝐛p(θ)H𝐗H2,superscriptnormsuperscript𝐛psuperscript𝜃𝐻superscript𝐗𝐻2\displaystyle\|{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{H}\mathbf{X}^{H}% \|^{2},∥ bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_X start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (18b)
r(θ)=𝑟𝜃absent\displaystyle r\left(\theta\right)=italic_r ( italic_θ ) = 𝐚˙p(θ),normsuperscript˙𝐚p𝜃\displaystyle\|\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)\|,∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ , (18c)

where e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) is the probing power on target and r(θ)𝑟𝜃r\left(\theta\right)italic_r ( italic_θ ) is the rate of target angle.

Proof.

Please refer to Appendix B. ∎

Remark 1.

Both e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) in (18b) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) in (18c) have intuitive interpretations. The probing power on the target, e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ), affects sensing performance since more power to be reflected by the target indicates a higher signal-to-noise ratio (SNR) for estimating θ𝜃\thetaitalic_θ. Besides, e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) in (18b) is closely related to 𝐗𝐗\mathbf{X}bold_X and F(θ)𝐹𝜃F(\theta)italic_F ( italic_θ ). On the other hand, the rate of target angle, r(θ)𝑟𝜃r\left(\theta\right)italic_r ( italic_θ ), describes the sensitivity of the sensors against θ𝜃\thetaitalic_θ, adhering to the sensor’s geometry 𝐏S,lsubscript𝐏S𝑙\mathbf{P}_{\mathrm{S},~{}l}bold_P start_POSTSUBSCRIPT roman_S , italic_l end_POSTSUBSCRIPT and F(θ)𝐹𝜃F(\theta)italic_F ( italic_θ ), as will be shown in Section III-B. The higher the rate of target angle, the better we can distinguish between close target angles while being less affected by the noise 555The rate of target angle determines the sharpness of the peak of the ambiguity function, which ideally is a Dirac function for radar sensing..

Remark 2.

Γ(θ)Γ𝜃\Gamma(\theta)roman_Γ ( italic_θ ) in (17) is independent of NI/Ssubscript𝑁ISN_{\mathrm{I/S}}italic_N start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT, MI/Ssubscript𝑀ISM_{\mathrm{I/S}}italic_M start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT, 𝐗𝐗\mathbf{X}bold_X, and Ptrsuperscript𝑃trP^{\mathrm{tr}}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT. Moreover, for different configurations, Γ(θ)Γ𝜃\Gamma(\theta)roman_Γ ( italic_θ ) can also be shown to be strictly upper-bounded by 1111 with slight fluctuations across θ𝜃\thetaitalic_θ (as explained in Appendix A-C). Hence, Γ(θ)Γ𝜃\Gamma(\theta)roman_Γ ( italic_θ ) will not be the focus of our analysis in the following discussion.

In the following sub-section, we assume that the IS elements and sensors are symmetric, as assumed in Proposition 1. This assumption, for balancing generality and tractability, not only simplifies the analysis but also facilitates a clear understanding of the core components that directly influence the CRB. However, it is important to note that our ML estimator in (15) and the CRB in (17) can be adapted to arbitrary architectures and antenna patterns.

III-B General insights into e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) as fundamental CRB components

This sub-section provides analytical insights into the two components, e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ), with arbitrary antenna patterns. First, e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) in (18b) can be further expressed as

e(θ)=𝑒𝜃absent\displaystyle e\left(\theta\right)=italic_e ( italic_θ ) = 𝐛p(θ)T𝐗[𝐛p(θ)T𝐗]Hsuperscript𝐛psuperscript𝜃𝑇𝐗superscriptdelimited-[]superscript𝐛psuperscript𝜃𝑇𝐗𝐻\displaystyle\mathbf{b}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf{X}\left[% \mathbf{b}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf{X}\right]^{H}bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_X [ bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_X ] start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT (19a)
=\displaystyle== PtrlF(θ,l)𝐛l(θ)2superscript𝑃trsuperscriptnormsubscript𝑙𝐹𝜃𝑙subscript𝐛𝑙𝜃2\displaystyle{P^{\mathrm{tr}}}\|\sum_{l}F\left(\theta,~{}l\right)\mathbf{b}_{l% }\left(\theta\right)\|^{2}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT ∥ ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F ( italic_θ , italic_l ) bold_b start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (19b)
=M𝑀absent\displaystyle\overset{M\uparrow}{=}start_OVERACCENT italic_M ↑ end_OVERACCENT start_ARG = end_ARG PtrlF(θ,l)2𝐛l(θ)2superscript𝑃trsubscript𝑙𝐹superscript𝜃𝑙2superscriptnormsubscript𝐛𝑙𝜃2\displaystyle{P^{\mathrm{tr}}}\sum_{l}{F\left(\theta,~{}l\right)}^{2}\|\mathbf% {b}_{l}\left(\theta\right)\|^{2}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F ( italic_θ , italic_l ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ bold_b start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (19c)
=\displaystyle== PtrNlF(θ,l)2/L,superscript𝑃tr𝑁subscript𝑙𝐹superscript𝜃𝑙2𝐿\displaystyle P^{\mathrm{tr}}N\sum_{l}{F\left(\theta,~{}l\right)}^{2}/L,italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F ( italic_θ , italic_l ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / italic_L , (19d)

where (19a) comes from the definition of e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) in (18b), (19b) comes from 𝐗𝐗\mathbf{X}bold_X defined in (7), and (19c) comes from 𝐛l1(θ)H𝐛l2(θ)=M0subscript𝐛subscript𝑙1superscript𝜃𝐻subscript𝐛subscript𝑙2𝜃𝑀absent0\mathbf{b}_{l_{1}}\left(\theta\right)^{H}\mathbf{b}_{l_{2}}\left(\theta\right)% \overset{M\uparrow}{=}0bold_b start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_b start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_θ ) start_OVERACCENT italic_M ↑ end_OVERACCENT start_ARG = end_ARG 0 for l1l2subscript𝑙1subscript𝑙2l_{1}\neq l_{2}italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≠ italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, as demonstrated in (34) of Appendix A-B.

Second, r(θ)𝑟𝜃r\left(\theta\right)italic_r ( italic_θ ) in (18c) can be expressed as

r2(θ)=𝐚˙p(θ)T𝐚˙p(θ)superscript𝑟2𝜃superscript˙𝐚𝑝superscript𝜃𝑇superscript˙𝐚𝑝superscript𝜃\displaystyle r^{2}\left(\theta\right)=\dot{\mathbf{a}}^{p}\left(\theta\right)% ^{T}\dot{\mathbf{a}}^{p}\left(\theta\right)^{*}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) = over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT
=\displaystyle== l[F(θ,l)𝐚l(θ)θ]HF(θ,l)𝐚l(θ)θsubscript𝑙superscriptdelimited-[]𝐹𝜃𝑙subscript𝐚𝑙𝜃𝜃𝐻𝐹𝜃𝑙subscript𝐚𝑙𝜃𝜃\displaystyle\sum_{l}\left[\frac{\partial{F}\left(\theta,~{}l\right)\mathbf{a}% _{l}\left(\theta\right)}{\partial\theta}\right]^{H}\frac{\partial{F}\left(% \theta,~{}l\right)\mathbf{a}_{l}\left(\theta\right)}{\partial\theta}∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ divide start_ARG ∂ italic_F ( italic_θ , italic_l ) bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) end_ARG start_ARG ∂ italic_θ end_ARG ] start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT divide start_ARG ∂ italic_F ( italic_θ , italic_l ) bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) end_ARG start_ARG ∂ italic_θ end_ARG (20a)
=\displaystyle{=}= lπ2F(θ,l)2(N3NL212L3+N34L3tan2(π/L))sin2(θϕl)subscript𝑙superscript𝜋2𝐹superscript𝜃𝑙2superscript𝑁3𝑁superscript𝐿212superscript𝐿3superscript𝑁34superscript𝐿3superscript2𝜋𝐿superscript2𝜃subscriptitalic-ϕ𝑙\displaystyle\sum_{l}\pi^{2}{F\left(\theta,~{}l\right)}^{2}\left(-\frac{N^{3}-% NL^{2}}{12L^{3}}+\frac{N^{3}}{4L^{3}\tan^{2}\left(\pi/L\right)}\right)\sin^{2}% \left(\theta-\phi_{l}\right)∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( italic_θ , italic_l ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( - divide start_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - italic_N italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 italic_L start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + divide start_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_L start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_tan start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_π / italic_L ) end_ARG ) roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT )
+lπ2F(θ,l)2N3NL212L3+F˙(θ,l)2NL,subscript𝑙superscript𝜋2𝐹superscript𝜃𝑙2superscript𝑁3𝑁superscript𝐿212superscript𝐿3˙𝐹superscript𝜃𝑙2𝑁𝐿\displaystyle+\sum_{l}\pi^{2}{F\left(\theta,~{}l\right)}^{2}\frac{N^{3}-NL^{2}% }{12L^{3}}+{\dot{F}\left(\theta,~{}l\right)}^{2}\frac{N}{L},+ ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( italic_θ , italic_l ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT - italic_N italic_L start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 italic_L start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG + over˙ start_ARG italic_F end_ARG ( italic_θ , italic_l ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG italic_N end_ARG start_ARG italic_L end_ARG , (20b)

where (20b) comes from (30c) in Appendix A-A.

Next, we provide a detailed analysis of (19) and (20) with the specific configurations of L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4.

III-B1 For L=2𝐿2L=2italic_L = 2

the coverage of each sector is orthogonal, and hence the target is sensed by only one sector. We assume the target is illuminated by sector 2222 as depicted in Fig. 3. From (19) and (20), e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) are rewritten as

e(θ)|L=2=evaluated-at𝑒𝜃𝐿2absent\displaystyle e\left(\theta\right)|_{L=2}=italic_e ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 2 end_POSTSUBSCRIPT = PtrF2(θ,2)2N,superscript𝑃trsuperscript𝐹2𝜃22𝑁\displaystyle\frac{P^{\mathrm{tr}}F^{2}(\theta,~{}2)}{2}N,divide start_ARG italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , 2 ) end_ARG start_ARG 2 end_ARG italic_N , (21a)
r2(θ)|L=2Nevaluated-atsuperscript𝑟2𝜃𝐿2𝑁absent\displaystyle r^{2}\left(\theta\right)|_{L=2}\overset{N\uparrow}{\approx}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 2 end_POSTSUBSCRIPT start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG π2F2(θ,2)cos2(θ)96N3.superscript𝜋2superscript𝐹2𝜃2superscript2𝜃96superscript𝑁3\displaystyle\frac{\pi^{2}F^{2}(\theta,~{}2)\cos^{2}\left(\theta\right)}{96}N^% {3}.divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , 2 ) roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) end_ARG start_ARG 96 end_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (21b)

From (21b), we can deduce that r2(θ)superscript𝑟2𝜃r^{2}(\theta)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) equals to 00 for θ=π/2𝜃𝜋2\theta=\pi/2italic_θ = italic_π / 2 or for θ=π/2𝜃𝜋2\theta=-\pi/2italic_θ = - italic_π / 2 because of the term cos2(θ)superscript2𝜃\cos^{2}\left(\theta\right)roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ). This results in infinite CRB in (18), i.e., the geometry of L=2𝐿2L=2italic_L = 2 cannot provide accurate estimation when the target is around θ=π/2𝜃𝜋2\theta=\pi/2italic_θ = italic_π / 2 or θ=π/2𝜃𝜋2\theta=-\pi/2italic_θ = - italic_π / 2. This observation suggests that the 2222-sector IS geometry, which coincides with the conventional STARS, has a blind sensing area, and hence might not be suitable for the sensing scenarios without any prior knowledge of the target angle.

III-B2 For L=3𝐿3L=3italic_L = 3

we consider a periodicity of θ(0,2π/3)𝜃02𝜋3\theta\in\left(0,~{}2\pi/3\right)italic_θ ∈ ( 0 , 2 italic_π / 3 ), which is divided into two phases, i.e., θ(0,π/3)𝜃0𝜋3\theta\in\left(0,~{}\pi/3\right)italic_θ ∈ ( 0 , italic_π / 3 ) where the target is only illuminated by sector 3333 and θ(π/3,2π/3)𝜃𝜋32𝜋3\theta\in\left(\pi/3,~{}2\pi/3\right)italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ) where the target is illuminated by sector 1111 and sector 3333 simultaneously.

For θ(0,π/3)𝜃0𝜋3\theta\in\left(0,~{}\pi/3\right)italic_θ ∈ ( 0 , italic_π / 3 ), e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) are re-expressed as

e(θ)|L=3=evaluated-at𝑒𝜃𝐿3absent\displaystyle e\left(\theta\right)|_{L=3}=italic_e ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 3 end_POSTSUBSCRIPT = PtrF2(θ,3)3N,superscript𝑃trsuperscript𝐹2𝜃33𝑁\displaystyle\frac{P^{\mathrm{tr}}F^{2}(\theta,~{}3)}{3}N,divide start_ARG italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , 3 ) end_ARG start_ARG 3 end_ARG italic_N , (22a)
r2(θ)|L=3Nevaluated-atsuperscript𝑟2𝜃𝐿3𝑁absent\displaystyle r^{2}\left(\theta\right)|_{L=3}\overset{N\uparrow}{\approx}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 3 end_POSTSUBSCRIPT start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG π2F2(θ,3)324N3,superscript𝜋2superscript𝐹2𝜃3324superscript𝑁3\displaystyle\frac{\pi^{2}F^{2}\left(\theta,~{}3\right)}{324}N^{3},divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , 3 ) end_ARG start_ARG 324 end_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , (22b)

while for θ(π/3,2π/3)𝜃𝜋32𝜋3\theta\in\left(\pi/3,~{}2\pi/3\right)italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ), e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) are re-expressed as

e(θ)|L=3=evaluated-at𝑒𝜃𝐿3absent\displaystyle e\left(\theta\right)|_{L=3}=italic_e ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 3 end_POSTSUBSCRIPT = Ptrl=1,3F2(θ,l)3N,superscript𝑃trsubscript𝑙13superscript𝐹2𝜃𝑙3𝑁\displaystyle\frac{P^{\mathrm{tr}}\sum_{l=1,3}F^{2}(\theta,~{}l)}{3}N,divide start_ARG italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_l = 1 , 3 end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) end_ARG start_ARG 3 end_ARG italic_N , (23a)
r2(θ)|L=3Nevaluated-atsuperscript𝑟2𝜃𝐿3𝑁absent\displaystyle r^{2}\left(\theta\right)|_{L=3}\overset{N\uparrow}{\approx}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 3 end_POSTSUBSCRIPT start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG l=1,3π2F2(θ,l)324N3.subscript𝑙13superscript𝜋2superscript𝐹2𝜃𝑙324superscript𝑁3\displaystyle\frac{\sum_{l=1,3}\pi^{2}{F^{2}\left(\theta,~{}l\right)}}{324}{N^% {3}}.divide start_ARG ∑ start_POSTSUBSCRIPT italic_l = 1 , 3 end_POSTSUBSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) end_ARG start_ARG 324 end_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (23b)

From (22) and (23), we can deduce that, if F(θ)𝐹𝜃F(\theta)italic_F ( italic_θ ) is uniform with respect to (w.r.t.) θ𝜃\thetaitalic_θ (corresponding to the half-space isotropic antenna patterns as will be described later in Section III-C), e(θ)𝑒𝜃e(\theta)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}(\theta)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) in the second phase, i.e., θ(π/3,2π/3)𝜃𝜋32𝜋3\theta\in\left(\pi/3,~{}2\pi/3\right)italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ), are generally larger than their counterparts in the first phase, i.e., θ(0,π/3)𝜃0𝜋3\theta\in\left(0,~{}\pi/3\right)italic_θ ∈ ( 0 , italic_π / 3 ), as the target in the second phase is illuminated by two sectors, compared with only one sector in the first phase. This will result in non-uniform MSE performance across θ𝜃\thetaitalic_θ, which is undesirable for full-space wireless sensing where the performance of the worst case of angle estimation should be guaranteed.

III-B3 For L=4𝐿4L=4italic_L = 4

each target is illuminated by two aligned sectors. We assume the target is illuminated by sectors 1111 and 4444 as depicted in Fig. 3. Hence, e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) are rewritten as

e(θ)|L=4=evaluated-at𝑒𝜃𝐿4absent\displaystyle e\left(\theta\right)|_{L=4}=italic_e ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 4 end_POSTSUBSCRIPT = l=1,4PtrF2(θ,l)4N,subscript𝑙14superscript𝑃trsuperscript𝐹2𝜃𝑙4𝑁\displaystyle\frac{\sum_{l=1,~{}4}P^{\mathrm{tr}}F^{2}(\theta,~{}l)}{4}N,divide start_ARG ∑ start_POSTSUBSCRIPT italic_l = 1 , 4 end_POSTSUBSCRIPT italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) end_ARG start_ARG 4 end_ARG italic_N , (24a)
r2(θ)|L=4=evaluated-atsuperscript𝑟2𝜃𝐿4absent\displaystyle r^{2}\left(\theta\right)|_{L=4}=italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 4 end_POSTSUBSCRIPT = l=1,4F2(θ,l)(2sin2(θϕl)+1)π2768N2.subscript𝑙14superscript𝐹2𝜃𝑙2superscript2𝜃subscriptitalic-ϕ𝑙1superscript𝜋2768superscript𝑁2\displaystyle\frac{\sum_{l=1,~{}4}F^{2}(\theta,~{}l)\left(2\sin^{2}(\theta-% \phi_{l})+1\right)\pi^{2}}{768}N^{2}.divide start_ARG ∑ start_POSTSUBSCRIPT italic_l = 1 , 4 end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) ( 2 roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) + 1 ) italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 768 end_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (24b)

For L=4𝐿4L=4italic_L = 4, if assuming uniform F(θ)𝐹𝜃F(\theta)italic_F ( italic_θ ), we can readily deduce that e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) become uniform across θ𝜃\thetaitalic_θ. Hence, the MSE performance for the 4444-sector IS self-sensing is uniform w.r.t. θ𝜃\thetaitalic_θ, which is desirable for full-space wireless sensing.

The expressions from (21) to (24) also indicate that F(θ)𝐹𝜃F\left(\theta\right)italic_F ( italic_θ ) directly affects e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ), which further impacts the sensing performance. To better characterize this effect, in the following, we consider two specific antenna patterns, i.e., the half-space isotropic and half-space directive antenna patterns, to facilitate deriving their performance scaling laws for comparison.

III-C Numerical scaling laws of e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) with specific antenna patterns

To derive the numerical scaling laws, we first specify the mathematical expressions of the gain of antenna patterns in Section III-C1. Next, we substitute them into the equations derived in Section III-B, and obtain the numerical scaling laws in Section III-C2.

III-C1 Gain of different antenna patterns

The gain of the half-space isotropic and the half-space directive antenna patterns are specifically given as follows.

First, for the half-space isotropic antenna pattern, the antenna gain towards a target at θlsubscript𝜃𝑙\theta_{l}italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT in the L-CCS xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT is given by

GIso(θl)=superscript𝐺Isosubscript𝜃𝑙absent\displaystyle G^{\mathrm{Iso}}\left(\theta_{l}\right)=italic_G start_POSTSUPERSCRIPT roman_Iso end_POSTSUPERSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) = {2,cos(θl)0,0,otherwise,cases2subscript𝜃𝑙00otherwise,\displaystyle\begin{cases}2,&\cos(\theta_{l})\geq 0,\\ 0,&\text{otherwise,}\end{cases}{ start_ROW start_CELL 2 , end_CELL start_CELL roman_cos ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ≥ 0 , end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL otherwise, end_CELL end_ROW (25)

for which the details are given in Appendix A-D. The gain of the half-space isotropic antenna pattern has been normalized by the total radiated power for comparison fairness.

Second, for the half-space directive antenna pattern in [20], the antenna gain towards a target at θlsubscript𝜃𝑙\theta_{l}italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT in the L-CCS xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT is given by (normalized by the total radiation power)

GDir(θl)=superscript𝐺Dirsubscript𝜃𝑙absent\displaystyle G^{\mathrm{Dir}}\left(\theta_{l}\right)=italic_G start_POSTSUPERSCRIPT roman_Dir end_POSTSUPERSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) = {2(αL+1)cosαL(θl),cos(θl)0,0,otherwise,cases2subscript𝛼L1superscriptsubscript𝛼Lsubscript𝜃𝑙subscript𝜃𝑙00otherwise,\displaystyle\begin{cases}2\left(\alpha_{\mathrm{L}}+1\right)\cos^{\alpha_{% \mathrm{L}}}\left(\theta_{l}\right),&\cos(\theta_{l})\geq 0,\\ 0,&\text{otherwise,}\end{cases}{ start_ROW start_CELL 2 ( italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT + 1 ) roman_cos start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) , end_CELL start_CELL roman_cos ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ≥ 0 , end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL otherwise, end_CELL end_ROW (26)

with αL=log(0.5)/log(cos(πL))subscript𝛼L0.5𝜋𝐿\alpha_{\mathrm{L}}=\log\left(0.5\right)/\log\left(\cos\left(\frac{\pi}{L}% \right)\right)italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT = roman_log ( 0.5 ) / roman_log ( roman_cos ( divide start_ARG italic_π end_ARG start_ARG italic_L end_ARG ) ). αLsubscript𝛼L\alpha_{\mathrm{L}}italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT is set to align the half-power beamwidth of the antenna’s radiation pattern with the concentrated coverage of each sector, i.e., 2π/L2𝜋𝐿2\pi/L2 italic_π / italic_L. Notice that for L=2𝐿2L=2italic_L = 2, each sector has to cover 180osuperscript180𝑜180^{o}180 start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT space, and the half-space directive antenna pattern in (26) boils down to the half-space isotropic antenna pattern in (25). More details are given in Appendix A-D.

III-C2 Summary and analysis of the numerical scaling laws

The law of scaling terms (CRB(θ)σ24|α|2Γ(θ)[e(θ)r2(θ)]1CRB𝜃superscript𝜎24superscript𝛼2Γ𝜃superscriptdelimited-[]𝑒𝜃superscript𝑟2𝜃1\mathrm{CRB}\left(\theta\right)\approx\frac{\sigma^{2}}{4|\alpha|^{2}\Gamma(% \theta)}\left[e\left(\theta\right)r^{2}\left(\theta\right)\right]^{-1}roman_CRB ( italic_θ ) ≈ divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ ( italic_θ ) end_ARG [ italic_e ( italic_θ ) italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT)
L𝐿Litalic_L Antenna pattern r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) 𝔼θ{r2(θ)}subscript𝔼𝜃superscript𝑟2𝜃\mathbb{E}_{\theta}\left\{r^{2}\left(\theta\right)\right\}blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) } 𝔼θ{e(θ)}subscript𝔼𝜃𝑒𝜃\mathbb{E}_{\theta}\left\{e\left(\theta\right)\right\}blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { italic_e ( italic_θ ) }
2 Isotropic π2N3cos2(θ)/48superscript𝜋2superscript𝑁3superscript2𝜃48\pi^{2}{N^{3}}\cos^{2}\left(\theta\right)/48italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) / 48 PtrN2superscript𝑃trsuperscript𝑁2P^{\mathrm{tr}}{N^{2}}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 0.102N30.102superscript𝑁30.102N^{3}0.102 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT PtrN2superscript𝑃trsuperscript𝑁2P^{\mathrm{tr}}{N^{2}}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Directive
3 Isotropic, θ(0,π/3)𝜃0𝜋3\theta\in\left(0,~{}\pi/3\right)italic_θ ∈ ( 0 , italic_π / 3 ) π2N3/162superscript𝜋2superscript𝑁3162{\pi^{2}N^{3}}/{162}italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / 162 2PtrN2/32superscript𝑃trsuperscript𝑁23{2P^{\mathrm{tr}}N^{2}}/{3}2 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 3 0.061N30.061superscript𝑁30.061N^{3}0.061 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 0.67PtrN20.67superscript𝑃trsuperscript𝑁2{0.67P^{\mathrm{tr}}N^{2}}0.67 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Isotropic, θ(π/3,2π/3)𝜃𝜋32𝜋3\theta\in\left(\pi/3,~{}2\pi/3\right)italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ) π2N3/81superscript𝜋2superscript𝑁381{\pi^{2}N^{3}}/{81}italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / 81 4PtrN2/34superscript𝑃trsuperscript𝑁23{4P^{\mathrm{tr}}N^{2}}/{3}4 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 3 0.121N30.121superscript𝑁30.121N^{3}0.121 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 1.33PtrN21.33superscript𝑃trsuperscript𝑁2{1.33P^{\mathrm{tr}}N^{2}}1.33 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Directive, θ(0,π/3)𝜃0𝜋3\theta\in\left(0,~{}\pi/3\right)italic_θ ∈ ( 0 , italic_π / 3 ) π2N3cos(θϕ3)/81superscript𝜋2superscript𝑁3𝜃subscriptitalic-ϕ381{\pi^{2}N^{3}\cos\left({\theta}-\phi_{3}\right)}/{81}italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) / 81 4PtrN2cos(θϕ3)/34superscript𝑃trsuperscript𝑁2𝜃subscriptitalic-ϕ33{4P^{\mathrm{tr}}N^{2}\cos\left(\theta-\phi_{3}\right)}/{3}4 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) / 3 0.116N30.116superscript𝑁30.116N^{3}0.116 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 1.33PtrN21.33superscript𝑃trsuperscript𝑁2{1.33P^{\mathrm{tr}}N^{2}}1.33 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Directive, θ(π/3,2π/3)𝜃𝜋32𝜋3\theta\in\left(\pi/3,~{}2\pi/3\right)italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ) π2N3sin(θ)/81superscript𝜋2superscript𝑁3𝜃81{\pi^{2}N^{3}\sin\left(\theta\right)}/{81}italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_sin ( italic_θ ) / 81 4PtrN2sin(θ)/34superscript𝑃trsuperscript𝑁2𝜃3{4P^{\mathrm{tr}}N^{2}\sin(\theta)}/{3}4 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin ( italic_θ ) / 3
4 Isotropic π2N3/96superscript𝜋2superscript𝑁396\pi^{2}{N^{3}}/{96}italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / 96 PtrN2superscript𝑃trsuperscript𝑁2P^{\mathrm{tr}}{N^{2}}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT 0.102N30.102superscript𝑁30.102N^{3}0.102 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT PtrN2superscript𝑃trsuperscript𝑁2P^{\mathrm{tr}}{N^{2}}italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
Directive [3cos(4θ)]π2N3/256delimited-[]34𝜃superscript𝜋2superscript𝑁3256{\left[3-\cos\left(4\theta\right)\right]\pi^{2}N^{3}}/{256}[ 3 - roman_cos ( 4 italic_θ ) ] italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT / 256 3PtrN2/23superscript𝑃trsuperscript𝑁22{3P^{\mathrm{tr}}N^{2}}/{2}3 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT / 2 0.116N30.116superscript𝑁30.116N^{3}0.116 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 1.5PtrN21.5superscript𝑃trsuperscript𝑁2{1.5P^{\mathrm{tr}}N^{2}}1.5 italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
TABLE I: Table of the scaling terms of e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) by employing the antenna patterns of (25) and (26) (Notice that only the highest order term of the scaling terms in Section III-C is adopted.). For details, please see Remarks 1 and 3. For the derivation details, please see Appendix A-E.

Next, we substitute the antenna patterns of (25) and (26) into the derived e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ), and obtain their numerical scaling laws which have more insightful forms. Additionally, we also take expectations of these metrics over θ𝜃\thetaitalic_θ for an overall performance comparison. The results are summarized in Table I, which provides a clear overview of the impacts of multi-sector geometries and antenna patterns on the sensing performance. In the following, ”isotropic antenna pattern” is adopted as an abbreviation for ”half-space isotropic antenna pattern” and ”directive antenna pattern” is adopted as an abbreviation for ”half-space directive antenna pattern”.

Remark 3.

From Table I, we observe that:

  • Using the directive antenna pattern always achieves better performance than using the isotropic antenna pattern, Lfor-all𝐿\forall~{}L∀ italic_L, by comparing 666For L=3𝐿3L=3italic_L = 3, averaging e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) is taken over all angles, i.e., 0θπ/30𝜃𝜋30\leq\theta\leq\pi/30 ≤ italic_θ ≤ italic_π / 3 and π/3θ2π/3𝜋3𝜃2𝜋3\pi/3\leq\theta\leq 2\pi/3italic_π / 3 ≤ italic_θ ≤ 2 italic_π / 3. 𝔼{e(θ)}𝔼𝑒𝜃\mathbb{E}\left\{e\left(\theta\right)\right\}blackboard_E { italic_e ( italic_θ ) } and 𝔼{r2(θ)}𝔼superscript𝑟2𝜃\mathbb{E}\left\{r^{2}\left(\theta\right)\right\}blackboard_E { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) } straightforwardly, where the directive counterparts are generally larger than the isotropic counterparts except the case of L=2𝐿2L=2italic_L = 2.

  • For the isotropic antenna pattern, only the 4444-sector IS configuration possesses (almost) uniform e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) across θ𝜃\thetaitalic_θ, and will be shown to perform the best in terms of MSE by simulations. In contrast, the geometry of L=2𝐿2L=2italic_L = 2 shows dynamic r2(θ)superscript𝑟2𝜃r^{2}(\theta)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) because of the term cos2(θ)superscript2𝜃\cos^{2}\left(\theta\right)roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ). The geometry of L=3𝐿3L=3italic_L = 3 also features highly varying e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) w.r.t. θ𝜃\thetaitalic_θ.

  • For the directive antenna pattern, 𝔼{e(θ)}𝔼𝑒𝜃\mathbb{E}\left\{e\left(\theta\right)\right\}blackboard_E { italic_e ( italic_θ ) } or 𝔼{r2(θ)}𝔼superscript𝑟2𝜃\mathbb{E}\left\{r^{2}\left(\theta\right)\right\}blackboard_E { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) } increases as a function of L𝐿Litalic_L. This naturally makes L=4𝐿4L=4italic_L = 4 (among L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4 configurations) the best geometry. Noticeably, given the directive antenna pattern, e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) for L=3𝐿3L=3italic_L = 3 between different phases (i.e., 0θπ/30𝜃𝜋30\leq\theta\leq\pi/30 ≤ italic_θ ≤ italic_π / 3 and π/3θ2π/3𝜋3𝜃2𝜋3\pi/3\leq\theta\leq 2\pi/3italic_π / 3 ≤ italic_θ ≤ 2 italic_π / 3) share similar mathematical forms, which makes e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) roughly uniform across θ𝜃\thetaitalic_θ (more details given in Appendix A-E). As a result, with directive antenna patterns, the 3333-sector IS significantly outperforms the 2222-sector IS, as will be demonstrated by the simulation results.

IV Simulation Results

In this section, we evaluate the performance of the proposed multi-sector IS self-sensing system via numerical results. The simulations are performed on an 802.11p standard (wireless access in vehicular environments), with sub-carrier frequency 5.195.195.195.19 GHz, noise power σ2=80superscript𝜎280\sigma^{2}=-80italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 80 dBm, and LoS channels. We assume the target scattering coefficient αT=0subscript𝛼T0\alpha_{\mathrm{T}}=0italic_α start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT = 0 dB, and assume the target is uniformly randomly distributed on a circle which centers at the x0y0subscript𝑥0subscript𝑦0x_{0}-y_{0}italic_x start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT’s origin with a radius of 519519519519 m. In terms of the configuration of the multi-sector IS self-sensing structure, we assume the distance between the active source controller and sector 1111 is dCI=0.5subscript𝑑CI0.5d_{\mathrm{CI}}=0.5italic_d start_POSTSUBSCRIPT roman_CI end_POSTSUBSCRIPT = 0.5 m to guarantee the far-field assumption. Particularly, we mainly focus on evaluating and analyzing the sensing performance of multi-sector IS geometries for L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4 as shown in Fig. 3, where L=2𝐿2L=2italic_L = 2 corresponds to the conventional STARS configuration and serves as a benchmark for L>2𝐿2L>2italic_L > 2. In addition, we also provide simulation results for general configurations, for example, L=5𝐿5L=5italic_L = 5 and 6666. For simplicity, we consider ULA for IS elements and sensors at each sector as shown in Fig. 3, and we set NS=NINsubscript𝑁Ssubscript𝑁I𝑁N_{\mathrm{S}}=N_{\mathrm{I}}\triangleq Nitalic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT = italic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ≜ italic_N and 𝐅I(θ)=𝐅S(θ)𝐅(θ)subscript𝐅I𝜃subscript𝐅S𝜃𝐅𝜃\mathbf{F}_{\mathrm{I}}\left(\theta\right)=\mathbf{F}_{\mathrm{S}}\left(\theta% \right)\triangleq\mathbf{F}\left(\theta\right)bold_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) = bold_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) ≜ bold_F ( italic_θ ). In the following, the examined MSE is divided into two parts, the instantaneous MSE w.r.t. target angles, and the overall MSE. Specifically, the instantaneous MSE is defined as MSE(θ)𝔼z{θ^θ2}MSE𝜃subscript𝔼𝑧superscriptnorm^𝜃𝜃2\mathrm{MSE}\left(\theta\right)\triangleq\mathbb{E}_{z}\left\{\|\widehat{% \theta}-\theta\|^{2}\right\}roman_MSE ( italic_θ ) ≜ blackboard_E start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT { ∥ over^ start_ARG italic_θ end_ARG - italic_θ ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT } where θ^^𝜃\widehat{\theta}over^ start_ARG italic_θ end_ARG is the ML estimation of θ𝜃\thetaitalic_θ and z𝑧zitalic_z is the random AWGN, and the overall MSE is defined as MSE𝔼θ{MSE(θ)}MSEsubscript𝔼𝜃MSE𝜃\mathrm{MSE}\triangleq\mathbb{E}_{\theta}\left\{\mathrm{MSE}\left(\theta\right% )\right\}roman_MSE ≜ blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { roman_MSE ( italic_θ ) }. Similarly, the overall CRBCRB\mathrm{CRB}roman_CRB is defined as CRB𝔼θ{CRB(θ)}CRBsubscript𝔼𝜃CRB𝜃\mathrm{CRB}\triangleq\mathbb{E}_{\theta}\left\{\mathrm{CRB}\left(\theta\right% )\right\}roman_CRB ≜ blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { roman_CRB ( italic_θ ) }.

IV-A The instantaneous MSE performance

Refer to caption
Figure 5: The instantaneous MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ) and CRB(θ)CRB𝜃\mathrm{CRB}\left(\theta\right)roman_CRB ( italic_θ ) w.r.t. θ𝜃\thetaitalic_θ for N=24𝑁24N=24italic_N = 24, Ptr=45superscript𝑃tr45P^{\mathrm{tr}}=45italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT = 45 dBm and both half-space isotropic and half-space directive antenna patterns. Herein, ”Iso” refers to employing the half-space isotropic antenna pattern and ”Dir” refers to employing the half-space directive antenna pattern.
Refer to caption
(a)
Refer to caption
(b)
Figure 6: Corresponding to Fig. 5, the two fundamental components of the CRB therein, with (a) the probing power on the target across θ𝜃\thetaitalic_θ, (b) the squared rate of target angle across θ𝜃\thetaitalic_θ. The numerical results are in accordance with Table I.

We first evaluate the instantaneous MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ) of the proposed multi-sector IS self-sensing system as shown in Fig. 5, where different multi-sector IS geometries (L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4) are compared under different antenna patterns. In Fig. 5, we also plot the corresponding CRB(θ)CRB𝜃\mathrm{CRB}\left(\theta\right)roman_CRB ( italic_θ ) in (17), which is shown to be precisely aligned with MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ). From Fig. 5, we observe that MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ) for L=4𝐿4L=4italic_L = 4 shows the best stability across θ𝜃\thetaitalic_θ. For the isotropic antenna pattern, there is a notable performance degradation when θ𝜃\thetaitalic_θ approaches 90osuperscript90𝑜90^{o}90 start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT or 270osuperscript270𝑜270^{o}270 start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT for L=2𝐿2L=2italic_L = 2, whereas, for L=3𝐿3L=3italic_L = 3, performance significantly worsens when the target is only illuminated by one sector (i.e., 0oθ60osuperscript0𝑜𝜃superscript60𝑜0^{o}\leq\theta\leq 60^{o}0 start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT ≤ italic_θ ≤ 60 start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT). In addition, using the directive antenna pattern generally achieves better MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ) than using the isotropic antenna pattern, except the case of L=2𝐿2L=2italic_L = 2 where the directive antenna pattern in (26) boils down to the isotropic antenna pattern in (25).

To provide more insights into Proposition 1, Fig. 6(a) and Fig. 6(b) depict the two fundamental components of the CRB(θ)CRB𝜃\mathrm{CRB}\left(\theta\right)roman_CRB ( italic_θ ) in Fig. 5, i.e., e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ). For L=2𝐿2L=2italic_L = 2, it is observed that e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) is stable across different θ𝜃\thetaitalic_θ while r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) deteriorates sharply when θ𝜃\thetaitalic_θ approaches around 90osuperscript90𝑜90^{o}90 start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT or 270osuperscript270𝑜270^{o}270 start_POSTSUPERSCRIPT italic_o end_POSTSUPERSCRIPT. The degradation of r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) results in more fluctuating CRB(θ)CRB𝜃\mathrm{CRB}\left(\theta\right)roman_CRB ( italic_θ ) and MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ) in Fig. 5, which highlights the essential role played by the geometry of the sensors. In contrast, for L=3𝐿3L=3italic_L = 3, an interesting observation is that, both e(θ)𝑒𝜃e\left(\theta\right)italic_e ( italic_θ ) and r2(θ)superscript𝑟2𝜃r^{2}\left(\theta\right)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) exhibit more stability with higher values across θ𝜃\thetaitalic_θ when using the directive antenna pattern, compared with using the isotropic antenna pattern. In this context, the adopted directive antenna pattern compensates for the performance deficiency of the 3333-sector IS geometry, i.e., targets at different angles are illuminated by a different number of sectors. The compensation is achieved by concentrating each sector’s radiation more towards the angles where the target is illuminated by one sector only. In the contrary, for targets that can be seen from two sectors, the radiation signals from both sectors become weaker when employing the directive antenna pattern compared with the isotropic antenna pattern. Finally, for L=4𝐿4L=4italic_L = 4, we observe that the directive antenna pattern offers significant gain on e(θ)𝑒𝜃e(\theta)italic_e ( italic_θ ), despite leading to slight fluctuations on r2(θ)superscript𝑟2𝜃r^{2}(\theta)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ). This results in better MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ) in Fig. 5, which highlights the advantages of the directive antenna pattern for enhancing the power efficiency.

IV-B The overall MSE performance

Refer to caption
Figure 7: The overall MSEMSE\mathrm{MSE}roman_MSE averaging over θ𝜃\thetaitalic_θ, as a function of transmit power (in proportional to SNR), with different antenna patterns for N=24𝑁24N=24italic_N = 24 and L=4𝐿4L=4italic_L = 4.

In this sub-section, we first plot the overall MSEMSE\mathrm{MSE}roman_MSE and the overall CRBCRB\mathrm{CRB}roman_CRB as a function of transmit power for L=4𝐿4L=4italic_L = 4, as shown in Fig. 7. Specifically, Fig. 7 compares the overall MSEMSE\mathrm{MSE}roman_MSE with the overall CRBCRB\mathrm{CRB}roman_CRB in (17) and the approximated CRBCRB\mathrm{CRB}roman_CRB in (18) (in Proposition 1 with Γ(θ)Γ𝜃\Gamma(\theta)roman_Γ ( italic_θ ) in (18) being substituted by Γ(θ)=1Γ𝜃1\Gamma(\theta)=1roman_Γ ( italic_θ ) = 1 in accordance with Remark 2). It shows that the approximated CRBCRB\mathrm{CRB}roman_CRB from (18) is closely aligned with the precise CRBCRB\mathrm{CRB}roman_CRB in (17) and the MSEMSE\mathrm{MSE}roman_MSE in the high SNR region. Moreover, from Fig. 7, it becomes more evident that using the directive antenna pattern achieves better MSE performance compared with using the isotropic antenna pattern. Specifically, the overall MSEMSE\mathrm{MSE}roman_MSE of using the directive antenna pattern exhibits the threshold region phenomenon777The threshold region phenomenon denotes a sensing phenomenon of a drastic improvement in sensing performance from being poor to being excellent. The SNR region that exhibits this improvement is named the threshold region. Usually, the MSE performance closely aligns with CRB after the threshold region. ahead of that of using the isotropic antenna pattern by roughly 5555 dBm transmit power.

Refer to caption
Figure 8: The average MSE by taking the expectation of θ𝜃\thetaitalic_θ, as a function of the number of sectors (L𝐿Litalic_L) for N=60𝑁60N=60italic_N = 60 with different numbers of sectors, with Ptr=30superscript𝑃tr30P^{\mathrm{tr}}=30italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT = 30 dBm.

Next, Fig. 8 compares the overall MSEMSE\mathrm{MSE}roman_MSE between different multi-sector IS configurations with different L𝐿Litalic_L. Firstly, Fig. 8 shows that for both antenna patterns, L=4𝐿4L=4italic_L = 4 gives the best overall MSEMSE\mathrm{MSE}roman_MSE among L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4, which coincides with the simulation results in Section IV-A. Fig. 8 also explores a broader range of L𝐿Litalic_L, i.e., including L=5𝐿5L=5italic_L = 5 and L=6𝐿6L=6italic_L = 6. It is observed that, with the isotropic antenna pattern, the overall MSEMSE\mathrm{MSE}roman_MSE of odd L𝐿Litalic_L is worse than that of even L𝐿Litalic_L in the multi-sector IS self-sensing system888L=2𝐿2L=2italic_L = 2 is excluded here since it represents the conventional STARS configuration and serves as a benchmark.. This discrepancy mirrors the comparison between L=3𝐿3L=3italic_L = 3 and L=4𝐿4L=4italic_L = 4 as discussed in Section IV-A, where the multi-sector IS geometry with an even L𝐿Litalic_L benefits from relatively more uniform MSE(θ)MSE𝜃\mathrm{MSE}\left(\theta\right)roman_MSE ( italic_θ ). Moreover, with the directive antenna pattern, the overall MSEMSE\mathrm{MSE}roman_MSE consistently improves with the increasing L𝐿Litalic_L. This improvement stems from the higher directivity of directive antenna patterns with larger L𝐿Litalic_L, which particularly benefits e(θ)𝑒𝜃e(\theta)italic_e ( italic_θ ) as explained in Section III-C.

Finally, Fig. 9 validates the numerical scaling laws in Section III-C as a function of the number of IS elements/sensors (N𝑁Nitalic_N) given different L𝐿Litalic_L and different antenna patterns. The figure shows that increasing N𝑁Nitalic_N enhances both 𝔼θ{e(θ)}subscript𝔼𝜃𝑒𝜃\mathbb{E}_{\theta}\left\{e(\theta)\right\}blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { italic_e ( italic_θ ) } and 𝔼θ{r2(θ)}subscript𝔼𝜃superscript𝑟2𝜃\mathbb{E}_{\theta}\left\{r^{2}(\theta)\right\}blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) } for the target angle estimation, which is in accordance with Table I. Moreover, Fig. 9 illustrates the advantages of employing a directive antenna pattern for both 𝔼θ{e(θ)}subscript𝔼𝜃𝑒𝜃\mathbb{E}_{\theta}\left\{e(\theta)\right\}blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { italic_e ( italic_θ ) } and 𝔼θ{r2(θ)}subscript𝔼𝜃superscript𝑟2𝜃\mathbb{E}_{\theta}\left\{r^{2}(\theta)\right\}blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) }, particularly in terms of 𝔼θ{e(θ)}subscript𝔼𝜃𝑒𝜃\mathbb{E}_{\theta}\left\{e(\theta)\right\}blackboard_E start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT { italic_e ( italic_θ ) }.

Refer to caption
(a) Probing power on the target
Refer to caption
(b) Squared rate of target angle
Figure 9: The scaling laws in Table I in Section III-C as a function of the number of IS/sensors elements, with (a) the scaling laws of the probing power on the target averaged over target angles; (b) the scaling laws of the squared rate of target angle averaged over target angles.

V Conclusions

This paper proposed a new multi-sector IS self-sensing system to achieve full-space coverage for wireless sensing. Specifically, we developed an ML estimator of the target angle for the proposed multi-sector IS self-sensing system, along with the corresponding performance limits in terms of the CRB. The analysis of the CRB revealed that it primarily consists of two fundamental components, the probing power on the target and the squared rate of target angle. We showed that the multi-sector IS not only benefited from improved probing power but also enhanced the squared rate of target angle by offering more freedom in geometries. Moreover, it was verified that using directive antenna patterns can further enhance the sensing performance of multi-sector IS. The simulation results revealed that, among the geometries examined (L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4), the 4444-sector IS configuration achieves the best overall sensing performance, by providing the most uniform MSE across all target angles.

Appendix A Appendix

A-A Proof of (17)

We first derive two useful results regarding the receive steering vector 𝐚l(θ)subscript𝐚𝑙𝜃\mathbf{a}_{l}\left(\theta\right)bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) from (9) as following,

𝐚l(θ)=subscript𝐚𝑙𝜃absent\displaystyle\mathbf{a}_{l}\left(\theta\right)=bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) = exp{jπ𝐏S,lT𝐮(θ)}=exp{jπ(𝐏SL𝐩0,lL)T𝐐lL𝐮(θ)}𝑗𝜋subscriptsuperscript𝐏𝑇S𝑙𝐮𝜃𝑗𝜋superscriptsubscriptsuperscript𝐏LSsubscriptsuperscript𝐩L0𝑙𝑇subscriptsuperscript𝐐L𝑙𝐮𝜃\displaystyle\exp\left\{j\pi\mathbf{P}^{T}_{\mathrm{S},~{}l}\mathbf{u}\left(% \theta\right)\right\}=\exp\left\{j\pi\left(\mathbf{P}^{\mathrm{L}}_{\mathrm{S}% }-\mathbf{p}^{\mathrm{L}}_{0,~{}l}\right)^{T}{\mathbf{Q}^{\mathrm{L}}_{l}}% \mathbf{u}\left(\theta\right)\right\}roman_exp { italic_j italic_π bold_P start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S , italic_l end_POSTSUBSCRIPT bold_u ( italic_θ ) } = roman_exp { italic_j italic_π ( bold_P start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT - bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 0 , italic_l end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_Q start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT bold_u ( italic_θ ) }
=\displaystyle== exp{jπ𝐩S,yLsin(θϕl)+jπMScos(θϕl)2tan(π/L)},𝑗𝜋subscriptsuperscript𝐩LSy𝜃subscriptitalic-ϕ𝑙𝑗𝜋subscript𝑀S𝜃subscriptitalic-ϕ𝑙2𝜋𝐿\displaystyle\exp\left\{j\pi\mathbf{p}^{\mathrm{L}}_{\mathrm{S,~{}y}}\sin\left% (\theta-\phi_{l}\right)+j\pi\frac{M_{\mathrm{S}}\cos\left(\theta-\phi_{l}% \right)}{2\tan\left(\pi/L\right)}\right\},roman_exp { italic_j italic_π bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S , roman_y end_POSTSUBSCRIPT roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) + italic_j italic_π divide start_ARG italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 2 roman_tan ( italic_π / italic_L ) end_ARG } , (27a)

and

𝐚˙l(θ)=subscript˙𝐚𝑙𝜃absent\displaystyle\dot{\mathbf{a}}_{l}\left(\theta\right)=over˙ start_ARG bold_a end_ARG start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) = 𝐚l(θ)θ=jπdiag{𝐩S,yLcos(θϕl)MSsin(θϕl)2tan(π/L)}𝐚l(θ).subscript𝐚𝑙𝜃𝜃𝑗𝜋diagsubscriptsuperscript𝐩LSy𝜃subscriptitalic-ϕ𝑙subscript𝑀S𝜃subscriptitalic-ϕ𝑙2𝜋𝐿subscript𝐚𝑙𝜃\displaystyle\frac{\partial\mathbf{a}_{l}\left(\theta\right)}{\partial\theta}=% j\pi\mathrm{diag}\left\{\mathbf{p}^{\mathrm{L}}_{\mathrm{S,~{}y}}\cos\left(% \theta-\phi_{l}\right)-\frac{M_{\mathrm{S}}\sin\left(\theta-\phi_{l}\right)}{2% \tan\left(\pi/L\right)}\right\}{\mathbf{a}_{l}}\left(\theta\right).divide start_ARG ∂ bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) end_ARG start_ARG ∂ italic_θ end_ARG = italic_j italic_π roman_diag { bold_p start_POSTSUPERSCRIPT roman_L end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S , roman_y end_POSTSUBSCRIPT roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) - divide start_ARG italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 2 roman_tan ( italic_π / italic_L ) end_ARG } bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_θ ) . (28a)

In (17), the approximation claims (similarly for ΓI(θ)subscriptΓI𝜃\Gamma_{\mathrm{I}}(\theta)roman_Γ start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ))

ΓS(θ)=subscriptΓS𝜃absent\displaystyle\Gamma_{\mathrm{S}}(\theta)=roman_Γ start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) = 1𝐚˙p(θ)H𝐚p(θ)2𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)1superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃2superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃\displaystyle 1-\frac{\|{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}^{H}% {\mathbf{a}^{\mathrm{p}}\left(\theta\right)}\|^{2}}{{\dot{\mathbf{a}}^{\mathrm% {p}}\left(\theta\right)}^{H}{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}% {\mathbf{a}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}^{\mathrm{p}}\left(% \theta\right)}}1 - divide start_ARG ∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG
=MSsubscript𝑀Sabsent\displaystyle\overset{M_{\mathrm{S}}\uparrow}{=}start_OVERACCENT italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ↑ end_OVERACCENT start_ARG = end_ARG 1[lFS2(θ,l)sin(θϕl)]2lFS2(θ,l)lFS2(θ,l)[1+cos2(θϕl)tan2(π/L)/3].1superscriptdelimited-[]subscript𝑙superscriptsubscript𝐹S2𝜃𝑙𝜃subscriptitalic-ϕ𝑙2subscript𝑙superscriptsubscript𝐹S2𝜃𝑙subscript𝑙superscriptsubscript𝐹S2𝜃𝑙delimited-[]1superscript2𝜃subscriptitalic-ϕ𝑙superscript2𝜋𝐿3\displaystyle 1-\frac{\left[\sum_{l}F_{\mathrm{S}}^{2}(\theta,~{}l)\sin\left(% \theta-\phi_{l}\right)\right]^{2}}{\sum_{l}F_{\mathrm{S}}^{2}(\theta,~{}l)\sum% _{l}F_{\mathrm{S}}^{2}(\theta,~{}l)\left[1+\cos^{2}\left(\theta-\phi_{l}\right% )\tan^{2}(\pi/L)/3\right]}.1 - divide start_ARG [ ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) [ 1 + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) roman_tan start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_π / italic_L ) / 3 ] end_ARG . (29a)

Note that (29) is attained as follows.

First,
𝐚˙p(θ)H𝐚p(θ)=MljπFS2(θ,l)MS22tan(π/L)sin(θϕl).superscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃𝑀absentsubscript𝑙𝑗𝜋superscriptsubscript𝐹S2𝜃𝑙superscriptsubscript𝑀S22𝜋𝐿𝜃subscriptitalic-ϕ𝑙\displaystyle{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}% ^{\mathrm{p}}\left(\theta\right)}\overset{M\uparrow}{=}\sum_{l}-j\pi F_{% \mathrm{S}}^{2}\left(\theta,~{}l\right)\frac{M_{\mathrm{S}}^{2}}{2\tan\left(% \pi/L\right)}\sin\left(\theta-\phi_{l}\right).over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_OVERACCENT italic_M ↑ end_OVERACCENT start_ARG = end_ARG ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_j italic_π italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) divide start_ARG italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 roman_tan ( italic_π / italic_L ) end_ARG roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) . (30a)
Second,
𝐚p(θ)H𝐚p(θ)=lFS2(θ,l)MS.superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃subscript𝑙subscriptsuperscript𝐹2S𝜃𝑙subscript𝑀S\displaystyle{\mathbf{a}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}^{% \mathrm{p}}\left(\theta\right)}=\sum_{l}{F^{2}_{\mathrm{S}}\left(\theta,~{}l% \right)}M_{\mathrm{S}}.bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) = ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ , italic_l ) italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT . (30b)
Third,
𝐚˙p(θ)H𝐚˙p(θ)=MSsuperscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃subscript𝑀Sabsent\displaystyle{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}^{H}{\dot{% \mathbf{a}}^{\mathrm{p}}\left(\theta\right)}\overset{M_{\mathrm{S}}\uparrow}{=}over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_OVERACCENT italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ↑ end_OVERACCENT start_ARG = end_ARG lπ2FS2(θ,l)[cos2(θϕl)12+sin2(θϕl)4tan2(π/L)]MS3.subscript𝑙superscript𝜋2subscriptsuperscript𝐹2S𝜃𝑙delimited-[]superscript2𝜃subscriptitalic-ϕ𝑙12superscript2𝜃subscriptitalic-ϕ𝑙4superscript2𝜋𝐿superscriptsubscript𝑀S3\displaystyle\sum_{l}\pi^{2}{F^{2}_{\mathrm{S}}\left(\theta,~{}l\right)}\left[% \frac{\cos^{2}\left(\theta-\phi_{l}\right)}{12}+\frac{\sin^{2}\left(\theta-% \phi_{l}\right)}{4\tan^{2}\left(\pi/L\right)}\right]M_{\mathrm{S}}^{3}.∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ , italic_l ) [ divide start_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 12 end_ARG + divide start_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 4 roman_tan start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_π / italic_L ) end_ARG ] italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (30c)

Finally, combining (30a), (30b) and (30c), we have the following relationship,

𝐚˙p(θ)H𝐚p(θ)2𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃2superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃\displaystyle\frac{\|{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}^{H}{% \mathbf{a}^{\mathrm{p}}\left(\theta\right)}\|^{2}}{{\dot{\mathbf{a}}^{\mathrm{% p}}\left(\theta\right)}^{H}{\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)}{% \mathbf{a}^{\mathrm{p}}\left(\theta\right)}^{H}{\mathbf{a}^{\mathrm{p}}\left(% \theta\right)}}divide start_ARG ∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG
=MSsubscript𝑀Sabsent\displaystyle\overset{M_{\mathrm{S}}\uparrow}{=}start_OVERACCENT italic_M start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ↑ end_OVERACCENT start_ARG = end_ARG (lFS2(θ,l)sin(θϕl)2tan(π/L))2lFS2(θ,l)(lFS2(θ,l)[cos2(θϕl)12+sin2(θϕl)4tan2(π/L)]),superscriptsubscript𝑙superscriptsubscript𝐹S2𝜃𝑙𝜃subscriptitalic-ϕ𝑙2𝜋𝐿2subscript𝑙subscriptsuperscript𝐹2S𝜃𝑙subscript𝑙subscriptsuperscript𝐹2S𝜃𝑙delimited-[]superscript2𝜃subscriptitalic-ϕ𝑙12superscript2𝜃subscriptitalic-ϕ𝑙4superscript2𝜋𝐿\displaystyle\frac{\left(\sum_{l}F_{\mathrm{S}}^{2}\left(\theta,~{}l\right)% \frac{\sin\left(\theta-\phi_{l}\right)}{2\tan\left(\pi/L\right)}\right)^{2}}{% \sum_{l}{F}^{2}_{\mathrm{S}}\left(\theta,~{}l\right)\left(\sum_{l}{F^{2}_{% \mathrm{S}}\left(\theta,~{}l\right)}\left[\frac{\cos^{2}\left(\theta-\phi_{l}% \right)}{12}+\frac{\sin^{2}\left(\theta-\phi_{l}\right)}{4\tan^{2}\left(\pi/L% \right)}\right]\right)},divide start_ARG ( ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) divide start_ARG roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 2 roman_tan ( italic_π / italic_L ) end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ , italic_l ) ( ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ , italic_l ) [ divide start_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 12 end_ARG + divide start_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 4 roman_tan start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_π / italic_L ) end_ARG ] ) end_ARG , (31a)
=\displaystyle== 1ΓS(θ),1subscriptΓS𝜃\displaystyle 1-\Gamma_{\mathrm{S}}(\theta),1 - roman_Γ start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) , (31b)

which thus completes the proof.

A-B Proof of (18) in Proposition 1

Based on the assumption of NI=NSNsubscript𝑁Isubscript𝑁S𝑁N_{\mathrm{I}}=N_{\mathrm{S}}\triangleq Nitalic_N start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT = italic_N start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ≜ italic_N and 𝐅I(θ)=𝐅S(θ)𝐅(θ)subscript𝐅I𝜃subscript𝐅S𝜃𝐅𝜃\mathbf{F}_{\mathrm{I}}\left(\theta\right)=\mathbf{F}_{\mathrm{S}}\left(\theta% \right)\triangleq\mathbf{F}\left(\theta\right)bold_F start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) = bold_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) ≜ bold_F ( italic_θ ) in Proposition 1, we have 𝐛p(θ)=𝐚p(θ)superscript𝐛p𝜃superscript𝐚psuperscript𝜃\mathbf{b}^{\mathrm{p}}\left(\theta\right)=\mathbf{a}^{\mathrm{p}}\left(\theta% \right)^{*}bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) = bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT from (9) and ΓI(θ)=ΓS(θ)Γ(θ)subscriptΓI𝜃subscriptΓS𝜃Γ𝜃\Gamma_{\mathrm{I}}(\theta)=\Gamma_{\mathrm{S}}(\theta)\triangleq\Gamma(\theta)roman_Γ start_POSTSUBSCRIPT roman_I end_POSTSUBSCRIPT ( italic_θ ) = roman_Γ start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ ) ≜ roman_Γ ( italic_θ ), which simplifies the CRB in (17) as

CRB(θ)=CRB𝜃absent\displaystyle\mathrm{CRB}\left(\theta\right)=roman_CRB ( italic_θ ) = σ22|α|2Γ(θ)[𝐛p(θ)T𝐑X𝐛p(θ)𝐚˙p(θ)H𝐚˙p(θ)+\displaystyle\frac{\sigma^{2}}{2|\alpha|^{2}\Gamma\left(\theta\right)}\left[{% \mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf{R}_{X}{\mathbf{b}}^{% \mathrm{p}}\left(\theta\right)^{*}\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta% \right)^{H}\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)+\right.divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ ( italic_θ ) end_ARG [ bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) +
𝐛˙p(θ)T𝐑X𝐛˙p(θ)𝐚p(θ)H𝐚p(θ)]1\displaystyle\left.\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf% {R}_{X}\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{*}{\mathbf{a}}^{% \mathrm{p}}\left(\theta\right)^{H}{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)% \right]^{-1}over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (32a)
\displaystyle\approx σ24|α|2Γ(θ)[𝐛p(θ)T𝐑X𝐛p(θ)𝐚˙p(θ)H𝐚˙p(θ)]1superscript𝜎24superscript𝛼2Γ𝜃superscriptdelimited-[]superscript𝐛psuperscript𝜃𝑇subscript𝐑𝑋superscript𝐛psuperscript𝜃superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃1\displaystyle\frac{\sigma^{2}}{4|\alpha|^{2}\Gamma(\theta)}\left[{\mathbf{b}}^% {\mathrm{p}}\left(\theta\right)^{T}\mathbf{R}_{X}{\mathbf{b}}^{\mathrm{p}}% \left(\theta\right)^{*}\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)^{H}% \dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)\right]^{-1}divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ ( italic_θ ) end_ARG [ bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (32b)
\displaystyle\triangleq σ24|α|2Γ(θ)[e(θ)r2(θ)]1,superscript𝜎24superscript𝛼2Γ𝜃superscriptdelimited-[]𝑒𝜃superscript𝑟2𝜃1\displaystyle\frac{\sigma^{2}}{4|\alpha|^{2}\Gamma(\theta)}\left[e\left(\theta% \right)r^{2}\left(\theta\right)\right]^{-1},divide start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 | italic_α | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ ( italic_θ ) end_ARG [ italic_e ( italic_θ ) italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , (32c)

where the approximation in (32b) comes from that, for large M𝑀Mitalic_M, 𝐛˙p(θ)T𝐑X𝐛˙p(θ)𝐚p(θ)H𝐚p(θ)superscript˙𝐛psuperscript𝜃𝑇subscript𝐑𝑋superscript˙𝐛psuperscript𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf{R}_{X}\dot{\mathbf% {b}}^{\mathrm{p}}\left(\theta\right)^{*}{\mathbf{a}}^{\mathrm{p}}\left(\theta% \right)^{H}{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) is asymptotic to 𝐛p(θ)T𝐑X𝐛p(θ)𝐚˙p(θ)H𝐚˙p(θ)superscript𝐛psuperscript𝜃𝑇subscript𝐑𝑋superscript𝐛psuperscript𝜃superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf{R}_{X}{\mathbf{b}}^{% \mathrm{p}}\left(\theta\right)^{*}\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta% \right)^{H}\dot{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ). The proof is given as follows.

Given 𝐛lp(θ)=𝐚lp(θ)superscriptsubscript𝐛𝑙p𝜃superscriptsubscript𝐚𝑙psuperscript𝜃\mathbf{b}_{l}^{\mathrm{p}}(\theta)=\mathbf{a}_{l}^{\mathrm{p}}(\theta)^{*}bold_b start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) = bold_a start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT, we have the following two approximations which directly lead to (32b),

𝐛˙p(θ)T𝐑X𝐛˙p(θ)=Ptrl1,l2𝐛˙l1p(θ)T𝐛˙l2p(θ)(a)Ptr𝐚˙p(θ)H𝐚˙p(θ),superscript˙𝐛psuperscript𝜃𝑇subscript𝐑𝑋superscript˙𝐛psuperscript𝜃superscript𝑃trsubscriptsubscript𝑙1subscript𝑙2subscriptsuperscript˙𝐛𝑝subscript𝑙1superscript𝜃𝑇subscriptsuperscript˙𝐛𝑝subscript𝑙2superscript𝜃𝑎superscript𝑃trsuperscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃\displaystyle\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{T}\mathbf{R}_{X% }\dot{\mathbf{b}}^{\mathrm{p}}\left(\theta\right)^{*}=P^{\mathrm{tr}}\sum_{l_{% 1},l_{2}}{\dot{\mathbf{b}}^{p}_{l_{1}}}\left(\theta\right)^{T}\dot{\mathbf{b}}% ^{p}_{l_{2}}\left(\theta\right)^{*}\overset{(a)}{\approx}P^{\mathrm{tr}}\dot{% \mathbf{a}}^{\mathrm{p}}\left(\theta\right)^{H}\dot{\mathbf{a}}^{\mathrm{p}}% \left(\theta\right),over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT = italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT over˙ start_ARG bold_b end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_OVERACCENT ( italic_a ) end_OVERACCENT start_ARG ≈ end_ARG italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) , (33a)
and
𝐚p(θ)H𝐚p(θ)(b)superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃𝑏\displaystyle{\mathbf{a}}^{\mathrm{p}}\left(\theta\right)^{H}{\mathbf{a}}^{% \mathrm{p}}\left(\theta\right)\overset{(b)}{\approx}bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_OVERACCENT ( italic_b ) end_OVERACCENT start_ARG ≈ end_ARG l1,l2𝐛l1p(θ)H𝐛l2p(θ)=1Ptr𝐛p(θ)H𝐑X𝐛p(θ),subscriptsubscript𝑙1subscript𝑙2superscriptsubscript𝐛subscript𝑙1𝑝superscript𝜃𝐻superscriptsubscript𝐛subscript𝑙2𝑝𝜃1superscript𝑃trsuperscript𝐛psuperscript𝜃𝐻subscript𝐑𝑋superscript𝐛p𝜃\displaystyle\sum_{l_{1},l_{2}}{{\mathbf{b}_{l_{1}}}^{p}}\left(\theta\right)^{% H}{\mathbf{b}_{l_{2}}}^{p}\left(\theta\right)=\frac{1}{P^{\mathrm{tr}}}{{% \mathbf{b}}^{\mathrm{p}}}\left(\theta\right)^{H}\mathbf{R}_{X}{\mathbf{b}}^{% \mathrm{p}}\left(\theta\right),∑ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT bold_b start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_b start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) = divide start_ARG 1 end_ARG start_ARG italic_P start_POSTSUPERSCRIPT roman_tr end_POSTSUPERSCRIPT end_ARG bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_R start_POSTSUBSCRIPT italic_X end_POSTSUBSCRIPT bold_b start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) , (33b)

where (a)𝑎(a)( italic_a ) comes from 𝐚l1˙p(θ)H𝐚l2˙p(θ)/𝐚l1˙p(θ)20superscript˙subscript𝐚subscript𝑙1𝑝superscript𝜃𝐻superscript˙subscript𝐚subscript𝑙2𝑝𝜃superscriptnormsuperscript˙subscript𝐚subscript𝑙1𝑝𝜃20{\dot{\mathbf{a}_{l_{1}}}^{p}}\left(\theta\right)^{H}\dot{\mathbf{a}_{l_{2}}}^% {p}\left(\theta\right)/\|\dot{\mathbf{a}_{l_{1}}}^{p}\left(\theta\right)\|^{2}\rightarrow 0over˙ start_ARG bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) / ∥ over˙ start_ARG bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → 0 for l1l2subscript𝑙1subscript𝑙2l_{1}\neq l_{2}italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≠ italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT for large M𝑀Mitalic_M; (b)𝑏(b)( italic_b ) comes from [𝐚l1p(θ)H𝐚l2p(θ)+𝐚l2p(θ)H𝐚l1p(θ)]/𝐚l1p(θ)20delimited-[]superscriptsubscript𝐚subscript𝑙1𝑝superscript𝜃𝐻superscriptsubscript𝐚subscript𝑙2𝑝𝜃superscriptsubscript𝐚subscript𝑙2𝑝superscript𝜃𝐻superscriptsubscript𝐚subscript𝑙1𝑝𝜃superscriptnormsuperscriptsubscript𝐚subscript𝑙1𝑝𝜃20\left[{{\mathbf{a}_{l_{1}}}^{p}}\left(\theta\right)^{H}{\mathbf{a}_{l_{2}}}^{p% }\left(\theta\right)+{{\mathbf{a}_{l_{2}}}^{p}}\left(\theta\right)^{H}{\mathbf% {a}_{l_{1}}}^{p}\left(\theta\right)\right]/\|{\mathbf{a}_{l_{1}}}^{p}\left(% \theta\right)\|^{2}\rightarrow 0[ bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) + bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) ] / ∥ bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT → 0 for l1l2subscript𝑙1subscript𝑙2l_{1}\neq l_{2}italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≠ italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT for large M𝑀Mitalic_M. For brevity, we prove the approximation in (b)𝑏(b)( italic_b ) in the following (similar procedures can be obtained for proving (a)𝑎(a)( italic_a )). Equivalently, the term in (b)𝑏(b)( italic_b ) has the same decay rate as the following,

|𝐚l1p(θ)H𝐚l2p(θ)𝐚l1(θ)2|(c)superscriptsubscript𝐚subscript𝑙1𝑝superscript𝜃𝐻superscriptsubscript𝐚subscript𝑙2𝑝𝜃superscriptnormsubscript𝐚subscript𝑙1𝜃2𝑐\displaystyle\Big{|}\frac{{{\mathbf{a}_{l_{1}}}^{p}}\left(\theta\right)^{H}{% \mathbf{a}_{l_{2}}}^{p}\left(\theta\right)}{\|\mathbf{a}_{l_{1}}\left(\theta% \right)\|^{2}}\Big{|}\overset{(c)}{\leq}| divide start_ARG bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG start_ARG ∥ bold_a start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG | start_OVERACCENT ( italic_c ) end_OVERACCENT start_ARG ≤ end_ARG |exp(jMπβ1)mexp(j2πmβ2)M|𝑗𝑀𝜋subscript𝛽1subscript𝑚𝑗2𝜋𝑚subscript𝛽2𝑀\displaystyle\Big{|}\frac{\exp\left(jM\pi\beta_{1}\right)\sum_{m}{\exp\left(j2% \pi m\beta_{2}\right)}}{M}\Big{|}| divide start_ARG roman_exp ( italic_j italic_M italic_π italic_β start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_exp ( italic_j 2 italic_π italic_m italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG italic_M end_ARG | (34a)
=\displaystyle== |sin(Mπβ2)Msin(πβ2)|1Msin(π|β2|),𝑀𝜋subscript𝛽2𝑀𝜋subscript𝛽21𝑀𝜋subscript𝛽2\displaystyle\Big{|}\frac{\sin(M\pi\beta_{2})}{M\sin(\pi\beta_{2})}\Big{|}\leq% \frac{1}{M\sin(\pi|\beta_{2}|)},| divide start_ARG roman_sin ( italic_M italic_π italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG start_ARG italic_M roman_sin ( italic_π italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) end_ARG | ≤ divide start_ARG 1 end_ARG start_ARG italic_M roman_sin ( italic_π | italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | ) end_ARG , (34b)
with
β1=subscript𝛽1absent\displaystyle\beta_{1}=italic_β start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = [cos(θϕl1)cos(θϕl2)]/tan(π/L)/2,delimited-[]𝜃subscriptitalic-ϕsubscript𝑙1𝜃subscriptitalic-ϕsubscript𝑙2𝜋𝐿2\displaystyle\left[\cos(\theta-\phi_{l_{1}})-\cos(\theta-\phi_{l_{2}})\right]/% \tan(\pi/L)/2,[ roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) - roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ] / roman_tan ( italic_π / italic_L ) / 2 , (34c)
β2=subscript𝛽2absent\displaystyle\beta_{2}=italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = [sin(θϕl1)sin(θϕl2)]/2delimited-[]𝜃subscriptitalic-ϕsubscript𝑙1𝜃subscriptitalic-ϕsubscript𝑙22\displaystyle\left[\sin(\theta-\phi_{l_{1}})-\sin(\theta-\phi_{l_{2}})\right]/2[ roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) - roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) ] / 2
=\displaystyle== cos(2θϕl1ϕl22)sin(ϕl2ϕl12),2𝜃subscriptitalic-ϕsubscript𝑙1subscriptitalic-ϕsubscript𝑙22subscriptitalic-ϕsubscript𝑙2subscriptitalic-ϕsubscript𝑙12\displaystyle\cos(\frac{2\theta-\phi_{l_{1}}-\phi_{l_{2}}}{2})\sin(\frac{\phi_% {l_{2}}-\phi_{l_{1}}}{2}),roman_cos ( divide start_ARG 2 italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) roman_sin ( divide start_ARG italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) , (34d)

where (c)𝑐(c)( italic_c ) assumes FS(θ,l1)FS(θ,l2)subscript𝐹S𝜃subscript𝑙1subscript𝐹S𝜃subscript𝑙2F_{\mathrm{S}}(\theta,~{}l_{1})\geq F_{\mathrm{S}}(\theta,~{}l_{2})italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ , italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ≥ italic_F start_POSTSUBSCRIPT roman_S end_POSTSUBSCRIPT ( italic_θ , italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ). (34b) shows a decay rate of 1/M1𝑀1/M1 / italic_M as long as the term sin(π|β2|)𝜋subscript𝛽2\sin(\pi|\beta_{2}|)roman_sin ( italic_π | italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | ) is well lower-bounded. Therein, we notice that |β2|subscript𝛽2|\beta_{2}|| italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | is lower-bounded by

|β2|subscript𝛽2absent\displaystyle|\beta_{2}|{\geq}| italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | ≥ cos(π/L)sin(π/L).𝜋𝐿𝜋𝐿\displaystyle\cos\left(\pi/L\right)\sin\left(\pi/L\right).roman_cos ( italic_π / italic_L ) roman_sin ( italic_π / italic_L ) . (35)

As an explanation, for an arbitrary pair of θ𝜃\thetaitalic_θ and ϕl1subscriptitalic-ϕsubscript𝑙1\phi_{l_{1}}italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT, the minimal absolute value (the worst case) of β2subscript𝛽2\beta_{2}italic_β start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is achieved when sin(θϕl2)𝜃subscriptitalic-ϕsubscript𝑙2\sin(\theta-\phi_{l_{2}})roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ) has the same sign as sin(θϕl1)𝜃subscriptitalic-ϕsubscript𝑙1\sin(\theta-\phi_{l_{1}})roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ). In this context, assuming ϕl2<ϕl1θsubscriptitalic-ϕsubscript𝑙2subscriptitalic-ϕsubscript𝑙1𝜃\phi_{l_{2}}<\phi_{l_{1}}\leq\thetaitalic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT < italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≤ italic_θ, we have 2π/Lϕl1ϕl2ππ/L2𝜋𝐿subscriptitalic-ϕsubscript𝑙1subscriptitalic-ϕsubscript𝑙2𝜋𝜋𝐿2\pi/L\leq\phi_{l_{1}}-\phi_{l_{2}}\leq\pi-\pi/L2 italic_π / italic_L ≤ italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≤ italic_π - italic_π / italic_L. Also, given 0<θϕl1π2π/L0𝜃subscriptitalic-ϕsubscript𝑙1𝜋2𝜋𝐿0<\theta-\phi_{l_{1}}\leq\pi-2\pi/L0 < italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≤ italic_π - 2 italic_π / italic_L and 2π/L<θϕl2π2𝜋𝐿𝜃subscriptitalic-ϕsubscript𝑙2𝜋2\pi/L<\theta-\phi_{l_{2}}\leq\pi2 italic_π / italic_L < italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≤ italic_π (from the condition of half-space antenna radiation), we have π/L2θϕl1ϕl22ππ/L𝜋𝐿2𝜃subscriptitalic-ϕsubscript𝑙1subscriptitalic-ϕsubscript𝑙22𝜋𝜋𝐿\pi/L\leq\frac{2\theta-\phi_{l_{1}}-\phi_{l_{2}}}{2}\leq\pi-\pi/Litalic_π / italic_L ≤ divide start_ARG 2 italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_l start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ≤ italic_π - italic_π / italic_L, which results in (35). The proof of (34b) and finally (18) are thus completed.

A-C The proof of ΓI/S(θ)subscriptΓIS𝜃\Gamma_{\mathrm{I/S}}(\theta)roman_Γ start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ( italic_θ ) in (17) fluctuating below 1111

Equivalently, we show 𝐚˙p(θ)H𝐚p(θ)2𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃2superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃\frac{\|{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(% \theta)}\|^{2}}{{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\dot{\mathbf{a}}^{% \mathrm{p}}(\theta)}{\mathbf{a}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{% p}}(\theta)}}divide start_ARG ∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG in (31) fluctuates above 00. Note that the following derivations can be readily extended to a larger L𝐿Litalic_L with a higher accuracy.

A-C1 For L=2𝐿2L=2italic_L = 2

we notice that 𝐚˙p(θ)H𝐚p(θ)=0superscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃0{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(\theta)}=0over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) = 0 always holds from (17) since tan(π/2)=𝜋2\tan(\pi/2)=\inftyroman_tan ( italic_π / 2 ) = ∞, which completes the proof.

A-C2 For L=3𝐿3L=3italic_L = 3

we consider a periodicity of θ(0,2π/3)𝜃02𝜋3\theta\in\left(0,~{}2\pi/3\right)italic_θ ∈ ( 0 , 2 italic_π / 3 ), and have the following results. Firstly, the numerator in (31) is further expressed as

𝐚˙p(θ)H𝐚p(θ)2Mπ2M412(lF2(θ,l)sin(θϕl))2superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃2𝑀absentsuperscript𝜋2superscript𝑀412superscriptsubscript𝑙superscript𝐹2𝜃𝑙𝜃subscriptitalic-ϕ𝑙2\displaystyle\|{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm% {p}}(\theta)}\|^{2}\overset{M\uparrow}{\approx}\frac{\pi^{2}M^{4}}{12}\left(% \sum_{l}F^{2}\left(\theta,~{}l\right)\sin\left(\theta-\phi_{l}\right)\right)^{2}∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_OVERACCENT italic_M ↑ end_OVERACCENT start_ARG ≈ end_ARG divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG ( ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) roman_sin ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (36a)
=\displaystyle== {π2M412(F2(θ,3)sin(θΦ3))2,θ(0,π/3),π2M412(l=1,3F2(θ,l)sin(θΦl))2,θ(π/3,2π/3)casessuperscript𝜋2superscript𝑀412superscriptsuperscript𝐹2𝜃3𝜃subscriptΦ32𝜃0𝜋3superscript𝜋2superscript𝑀412superscriptsubscript𝑙13superscript𝐹2𝜃𝑙𝜃subscriptΦ𝑙2𝜃𝜋32𝜋3\displaystyle\begin{cases}\frac{\pi^{2}M^{4}}{12}\left(F^{2}\left(\theta,~{}3% \right)\sin\left(\theta-\Phi_{3}\right)\right)^{2},~{}&\theta\in\left(0,~{}\pi% /3\right),\\ \frac{\pi^{2}M^{4}}{12}\left(\sum_{l=1,3}F^{2}\left(\theta,~{}l\right)\sin% \left(\theta-\Phi_{l}\right)\right)^{2},~{}&\theta\in\left(\pi/3,~{}2\pi/3% \right)\end{cases}{ start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG ( italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , 3 ) roman_sin ( italic_θ - roman_Φ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_CELL start_CELL italic_θ ∈ ( 0 , italic_π / 3 ) , end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG ( ∑ start_POSTSUBSCRIPT italic_l = 1 , 3 end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) roman_sin ( italic_θ - roman_Φ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , end_CELL start_CELL italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ) end_CELL end_ROW (36b)
\displaystyle\leq {π2M448F4(θ,3),θ(0,π/3),π2M448max(F4(θ,1),F4(θ,3)),θ(π/3,2π/3)casessuperscript𝜋2superscript𝑀448superscript𝐹4𝜃3𝜃0𝜋3superscript𝜋2superscript𝑀448superscript𝐹4𝜃1superscript𝐹4𝜃3𝜃𝜋32𝜋3\displaystyle\begin{cases}\frac{\pi^{2}M^{4}}{48}F^{4}\left(\theta,~{}3\right)% ,~{}&\theta\in\left(0,~{}\pi/3\right),\\ \frac{\pi^{2}M^{4}}{48}\max\left(F^{4}\left(\theta,~{}1\right),~{}F^{4}\left(% \theta,~{}3\right)\right),~{}&\theta\in\left(\pi/3,~{}2\pi/3\right)\end{cases}{ start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 48 end_ARG italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 3 ) , end_CELL start_CELL italic_θ ∈ ( 0 , italic_π / 3 ) , end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 48 end_ARG roman_max ( italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 1 ) , italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 3 ) ) , end_CELL start_CELL italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ) end_CELL end_ROW (36c)
\displaystyle\approx {π2M448F4(θ,3),θ(0,π/3),π2M448max(F4(θ,1),F4(θ,3))θ(π/3,2π/3).casessuperscript𝜋2superscript𝑀448superscript𝐹4𝜃3𝜃0𝜋3superscript𝜋2superscript𝑀448superscript𝐹4𝜃1superscript𝐹4𝜃3𝜃𝜋32𝜋3\displaystyle\begin{cases}\frac{\pi^{2}M^{4}}{48}F^{4}\left(\theta,~{}3\right)% ,~{}&\theta\in\left(0,~{}\pi/3\right),\\ \frac{\pi^{2}M^{4}}{48}\max\left(F^{4}\left(\theta,~{}1\right),~{}F^{4}\left(% \theta,~{}3\right)\right)~{}&\theta\in\left(\pi/3,~{}2\pi/3\right).\end{cases}{ start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 48 end_ARG italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 3 ) , end_CELL start_CELL italic_θ ∈ ( 0 , italic_π / 3 ) , end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 48 end_ARG roman_max ( italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 1 ) , italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 3 ) ) end_CELL start_CELL italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ) . end_CELL end_ROW (36d)

Similarly, the denominator in (31) is further expressed as

𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃\displaystyle{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\dot{\mathbf{a}}^{% \mathrm{p}}(\theta)}{\mathbf{a}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{% p}}(\theta)}over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ )
=\displaystyle== π2M212lF2(θ,l)[M2cos2(θϕl)]lF2(θ,l)superscript𝜋2superscript𝑀212subscript𝑙superscript𝐹2𝜃𝑙delimited-[]superscript𝑀2superscript2𝜃subscriptitalic-ϕ𝑙subscript𝑙superscript𝐹2𝜃𝑙\displaystyle\frac{\pi^{2}M^{2}}{12}\sum_{l}F^{2}\left(\theta,~{}l\right)\left% [M^{2}-\cos^{2}\left(\theta-\phi_{l}\right)\right]\sum_{l}F^{2}\left(\theta,~{% }l\right)divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) [ italic_M start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ] ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) (37a)
\displaystyle\approx π2M412[lF2(θ,l)]2superscript𝜋2superscript𝑀412superscriptdelimited-[]subscript𝑙superscript𝐹2𝜃𝑙2\displaystyle\frac{\pi^{2}M^{4}}{12}\left[\sum_{l}F^{2}\left(\theta,~{}l\right% )\right]^{2}divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG [ ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_F start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ , italic_l ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (37b)
\displaystyle\geq {π2M412F4(θ,3),θ(0,π/3),π2M412max(F4(θ,1),F4(θ,3))θ(π/3,2π/3).casessuperscript𝜋2superscript𝑀412superscript𝐹4𝜃3𝜃0𝜋3superscript𝜋2superscript𝑀412superscript𝐹4𝜃1superscript𝐹4𝜃3𝜃𝜋32𝜋3\displaystyle\begin{cases}\frac{\pi^{2}M^{4}}{12}F^{4}\left(\theta,~{}3\right)% ,~{}&\theta\in\left(0,~{}\pi/3\right),\\ \frac{\pi^{2}M^{4}}{12}\max\left(F^{4}\left(\theta,~{}1\right),~{}F^{4}\left(% \theta,~{}3\right)\right)~{}&\theta\in\left(\pi/3,~{}2\pi/3\right).\end{cases}{ start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 3 ) , end_CELL start_CELL italic_θ ∈ ( 0 , italic_π / 3 ) , end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 12 end_ARG roman_max ( italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 1 ) , italic_F start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_θ , 3 ) ) end_CELL start_CELL italic_θ ∈ ( italic_π / 3 , 2 italic_π / 3 ) . end_CELL end_ROW (37c)

Combining (36d) and (37b), we have 𝐚˙p(θ)H𝐚p(θ)2𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)1/4superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃2superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃14\frac{\|{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(% \theta)}\|^{2}}{{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\dot{\mathbf{a}}^{% \mathrm{p}}(\theta)}{\mathbf{a}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{% p}}(\theta)}}\leq 1/4divide start_ARG ∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG ≤ 1 / 4.

A-C3 For L=4𝐿4L=4italic_L = 4

we assume the target is illuminated by sector 1111 and sector 4444. For the isotropic antenna pattern, we further express the numerator in (31) as 𝐚˙p(θ)H𝐚p(θ)28M4π2l[cos2(θϕl)12+sin2(θϕl)4]=8M4π23superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃28superscript𝑀4superscript𝜋2subscript𝑙delimited-[]superscript2𝜃subscriptitalic-ϕ𝑙12superscript2𝜃subscriptitalic-ϕ𝑙48superscript𝑀4superscript𝜋23\|{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(\theta)}% \|^{2}\approx 8M^{4}\pi^{2}\sum_{l}\left[\frac{\cos^{2}\left(\theta-\phi_{l}% \right)}{12}+\frac{\sin^{2}\left(\theta-\phi_{l}\right)}{4}\right]=\frac{8M^{4% }\pi^{2}}{3}∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ 8 italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ divide start_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 12 end_ARG + divide start_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG start_ARG 4 end_ARG ] = divide start_ARG 8 italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 3 end_ARG, which gives 𝐚˙p(θ)H𝐚p(θ)2𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)3/8superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃2superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃38\frac{\|{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(% \theta)}\|^{2}}{{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\dot{\mathbf{a}}^{% \mathrm{p}}(\theta)}{\mathbf{a}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{% p}}(\theta)}}\leq 3/8divide start_ARG ∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG ≤ 3 / 8. For the directive antenna pattern in (26), the numerator in (31) is expressed as 𝐚˙p(θ)H𝐚p(θ)23π2M48[lsin(2θϕl)]23π2M44superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃23superscript𝜋2superscript𝑀48superscriptdelimited-[]subscript𝑙2𝜃subscriptitalic-ϕ𝑙23superscript𝜋2superscript𝑀44\|{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(\theta)}% \|^{2}\approx\frac{3\pi^{2}M^{4}}{8}\left[\sum_{l}\sin\left(2\theta-\phi_{l}% \right)\right]^{2}\leq\frac{3\pi^{2}M^{4}}{4}∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≈ divide start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 8 end_ARG [ ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT roman_sin ( 2 italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ≤ divide start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 4 end_ARG and the denominator in (31) is expressed as 𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)3M4π2l[2cos2(θϕl)sin2(θϕl)+cos2(θϕl)]3M4π2superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃3superscript𝑀4superscript𝜋2subscript𝑙delimited-[]2superscript2𝜃subscriptitalic-ϕ𝑙superscript2𝜃subscriptitalic-ϕ𝑙superscript2𝜃subscriptitalic-ϕ𝑙3superscript𝑀4superscript𝜋2{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\dot{\mathbf{a}}^{\mathrm{p}}(% \theta)}{\mathbf{a}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(\theta)}% \approx 3M^{4}\pi^{2}\sum_{l}\left[2\cos^{2}\left(\theta-\phi_{l}\right)\sin^{% 2}\left(\theta-\phi_{l}\right)+{\cos^{2}\left(\theta-\phi_{l}\right)}\right]% \geq 3M^{4}\pi^{2}over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ≈ 3 italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT [ 2 roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) + roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ] ≥ 3 italic_M start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, which gives 𝐚˙p(θ)H𝐚p(θ)2𝐚˙p(θ)H𝐚˙p(θ)𝐚p(θ)H𝐚p(θ)1/4superscriptnormsuperscript˙𝐚psuperscript𝜃𝐻superscript𝐚p𝜃2superscript˙𝐚psuperscript𝜃𝐻superscript˙𝐚p𝜃superscript𝐚psuperscript𝜃𝐻superscript𝐚p𝜃14\frac{\|{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{p}}(% \theta)}\|^{2}}{{\dot{\mathbf{a}}^{\mathrm{p}}(\theta)}^{H}{\dot{\mathbf{a}}^{% \mathrm{p}}(\theta)}{\mathbf{a}^{\mathrm{p}}(\theta)}^{H}{\mathbf{a}^{\mathrm{% p}}(\theta)}}\leq 1/4divide start_ARG ∥ over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over˙ start_ARG bold_a end_ARG start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_a start_POSTSUPERSCRIPT roman_p end_POSTSUPERSCRIPT ( italic_θ ) end_ARG ≤ 1 / 4.

Note that from our simulations in Fig. 7, the fluctuations of ΓI/S(θ)subscriptΓIS𝜃\Gamma_{\mathrm{I/S}}(\theta)roman_Γ start_POSTSUBSCRIPT roman_I / roman_S end_POSTSUBSCRIPT ( italic_θ ) are also shown to be very trivial and below 1.

A-D Gain of specific antenna patterns

The gain of a half-space isotropic antenna pattern (after power normalization) is typically written as

GIso(Φ)=superscript𝐺IsoΦabsent\displaystyle G^{\mathrm{Iso}}\left(\Phi\right)=italic_G start_POSTSUPERSCRIPT roman_Iso end_POSTSUPERSCRIPT ( roman_Φ ) = {2,0Φπ/2,0,otherwise,cases20Φ𝜋20otherwise,\displaystyle\begin{cases}2,&0\leq\Phi\leq\pi/2,\\ 0,&\text{otherwise,}\end{cases}{ start_ROW start_CELL 2 , end_CELL start_CELL 0 ≤ roman_Φ ≤ italic_π / 2 , end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL otherwise, end_CELL end_ROW (38)

where 0Φπ0Φ𝜋0\leq\Phi\leq\pi0 ≤ roman_Φ ≤ italic_π is the elevation angle in a newly defined CCS, denoted as xayazasubscript𝑥asubscript𝑦asubscript𝑧ax_{\mathrm{a}}-y_{\mathrm{a}}-z_{\mathrm{a}}italic_x start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT - italic_z start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT, whose xayasubscript𝑥asubscript𝑦ax_{\mathrm{a}}-y_{\mathrm{a}}italic_x start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT plane is aligned with the antenna plane. The ΦΦ\Phiroman_Φ in xayazasubscript𝑥asubscript𝑦asubscript𝑧ax_{\mathrm{a}}-y_{\mathrm{a}}-z_{\mathrm{a}}italic_x start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT - italic_z start_POSTSUBSCRIPT roman_a end_POSTSUBSCRIPT is related to the θlsubscript𝜃𝑙\theta_{l}italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT in xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT since Φ=θlΦsubscript𝜃𝑙\Phi=\theta_{l}roman_Φ = italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT for 0θlπ0subscript𝜃𝑙𝜋0\leq\theta_{l}\leq\pi0 ≤ italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ≤ italic_π, and Φ=θlΦsubscript𝜃𝑙\Phi=\theta_{l}roman_Φ = italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT for Φ=θlΦsubscript𝜃𝑙\Phi=-\theta_{l}roman_Φ = - italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT for πθl0𝜋subscript𝜃𝑙0-\pi\leq\theta_{l}\leq 0- italic_π ≤ italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ≤ 0. Hence, cos(Φ)=cos(θl)Φsubscript𝜃𝑙\cos(\Phi)=\cos(\theta_{l})roman_cos ( roman_Φ ) = roman_cos ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) and thus 0Φπ/20Φ𝜋20\leq\Phi\leq\pi/20 ≤ roman_Φ ≤ italic_π / 2 is equivalent to cos(θl)0subscript𝜃𝑙0\cos(\theta_{l})\geq 0roman_cos ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ≥ 0. As a result, (38) is modified as

GIso(θl)=superscript𝐺Isosubscript𝜃𝑙absent\displaystyle G^{\mathrm{Iso}}\left(\theta_{l}\right)=italic_G start_POSTSUPERSCRIPT roman_Iso end_POSTSUPERSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) = {2,cos(θl)0,0,otherwise,cases2subscript𝜃𝑙00otherwise,\displaystyle\begin{cases}2,&\cos(\theta_{l})\geq 0,\\ 0,&\text{otherwise,}\end{cases}{ start_ROW start_CELL 2 , end_CELL start_CELL roman_cos ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ≥ 0 , end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL otherwise, end_CELL end_ROW (39)

in L-CCS xlylsubscript𝑥𝑙subscript𝑦𝑙x_{l}-y_{l}italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT - italic_y start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT.

A similar conversion can be made to obtain the gain of the directive antenna pattern in (26) [20]. (26) can be explicitly expressed by

F(θ,l)=𝐹𝜃𝑙absent\displaystyle F\left(\theta,~{}l\right)=italic_F ( italic_θ , italic_l ) = GDir(θl)=2(αL+1)cosαL/2(θl)superscript𝐺Dirsubscript𝜃𝑙2subscript𝛼L1superscriptsubscript𝛼L2subscript𝜃𝑙\displaystyle\sqrt{G^{\mathrm{Dir}}\left(\theta_{l}\right)}=\sqrt{2\left(% \alpha_{\mathrm{L}}+1\right)}\cos^{\alpha_{\mathrm{L}}/2}\left(\theta_{l}\right)square-root start_ARG italic_G start_POSTSUPERSCRIPT roman_Dir end_POSTSUPERSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) end_ARG = square-root start_ARG 2 ( italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT + 1 ) end_ARG roman_cos start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT ( italic_θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) (40a)
=\displaystyle== 2(αL+1)cosαL/2[arccos([𝐐lT(𝐩T𝐩c,l)]1𝐐lT(𝐩T𝐩c,l)2)]2subscript𝛼L1superscriptsubscript𝛼L2subscriptdelimited-[]subscriptsuperscript𝐐𝑇𝑙subscript𝐩Tsubscript𝐩c𝑙1subscriptnormsubscriptsuperscript𝐐𝑇𝑙subscript𝐩Tsubscript𝐩c𝑙2\displaystyle\sqrt{2\left(\alpha_{\mathrm{L}}+1\right)}\cos^{\alpha_{\mathrm{L% }}/2}\left[\arccos\left(\frac{[\mathbf{Q}^{T}_{l}\left(\mathbf{p}_{\mathrm{T}}% -\mathbf{p}_{\mathrm{c},~{}l}\right)]_{1}}{\|\mathbf{Q}^{T}_{l}\left(\mathbf{p% }_{\mathrm{T}}-\mathbf{p}_{\mathrm{c},~{}l}\right)\|_{2}}\right)\right]square-root start_ARG 2 ( italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT + 1 ) end_ARG roman_cos start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT [ roman_arccos ( divide start_ARG [ bold_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( bold_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT - bold_p start_POSTSUBSCRIPT roman_c , italic_l end_POSTSUBSCRIPT ) ] start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( bold_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT - bold_p start_POSTSUBSCRIPT roman_c , italic_l end_POSTSUBSCRIPT ) ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) ] (40b)
\displaystyle\approx 2(αL+1)([𝐐lT𝐩T]1𝐐lT𝐩T2)αL/22subscript𝛼L1superscriptsubscriptdelimited-[]subscriptsuperscript𝐐𝑇𝑙subscript𝐩T1subscriptnormsubscriptsuperscript𝐐𝑇𝑙subscript𝐩T2subscript𝛼L2\displaystyle\sqrt{2\left(\alpha_{\mathrm{L}}+1\right)}\left(\frac{[\mathbf{Q}% ^{T}_{l}\mathbf{p}_{\mathrm{T}}]_{1}}{\|\mathbf{Q}^{T}_{l}\mathbf{p}_{\mathrm{% T}}\|_{2}}\right)^{\alpha_{\mathrm{L}}/2}square-root start_ARG 2 ( italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT + 1 ) end_ARG ( divide start_ARG [ bold_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_Q start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT bold_p start_POSTSUBSCRIPT roman_T end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT (40c)
=\displaystyle== 2(αL+1)cos(θϕl)αL/2,for π/2(θϕl)π/2,\displaystyle\sqrt{2\left(\alpha_{\mathrm{L}}+1\right)}\cos\left(\theta-\phi_{% l}\right)^{\alpha_{\mathrm{L}}/2},~{}\text{for }-\pi/2\leq\left(\theta-\phi_{l% }\right)\leq\pi/2,square-root start_ARG 2 ( italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT + 1 ) end_ARG roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT / 2 end_POSTSUPERSCRIPT , for - italic_π / 2 ≤ ( italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) ≤ italic_π / 2 , (40d)

where αL=0,1,2subscript𝛼L012\alpha_{\mathrm{L}}=0,~{}1,~{}2italic_α start_POSTSUBSCRIPT roman_L end_POSTSUBSCRIPT = 0 , 1 , 2 for L=2,3,4𝐿234L=2,~{}3,~{}4italic_L = 2 , 3 , 4, respectively.

A-E The scaling terms in Table I, given L=3,4𝐿34L=3,~{}4italic_L = 3 , 4 with directive antenna patterns

We only provide the scaling laws for L=3,4𝐿34L=3,~{}4italic_L = 3 , 4 for conciseness. Other scenarios can be obtained with a straightforward extension.

A-E1 For L=3𝐿3L=3italic_L = 3

the expected scaling law given the isotropic antenna pattern is straightforward. For the directive antenna pattern, if θ𝜃\thetaitalic_θ ranges from 00 to π/3𝜋3\pi/3italic_π / 3, we have the following approximation

𝔼{r2(θ)}𝔼superscript𝑟2𝜃\displaystyle\mathbb{E}\left\{r^{2}\left(\theta\right)\right\}blackboard_E { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) } N3π0π/3{π2N3cos(θϕ3)81}𝑑θ𝑁absent3𝜋superscriptsubscript0𝜋3superscript𝜋2superscript𝑁3𝜃subscriptitalic-ϕ381differential-d𝜃\displaystyle\overset{N~{}\uparrow}{\approx}\frac{3}{\pi}\int_{0}^{\pi/3}\left% \{\frac{\pi^{2}N^{3}\cos\left({\theta}-\phi_{3}\right)}{81}\right\}d\thetastart_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG divide start_ARG 3 end_ARG start_ARG italic_π end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 3 end_POSTSUPERSCRIPT { divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) end_ARG start_ARG 81 end_ARG } italic_d italic_θ (41a)
=N3ππ2N381sin(θ)|π/6π/60.116N3.evaluated-at𝑁absent3𝜋superscript𝜋2superscript𝑁381𝜃𝜋6𝜋60.116superscript𝑁3\displaystyle\overset{N~{}\uparrow}{=}\frac{3}{\pi}\frac{\pi^{2}N^{3}}{81}\sin% \left({\theta}\right)\Big{|}_{-\pi/6}^{\pi/6}\approx 0.116N^{3}.start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG = end_ARG divide start_ARG 3 end_ARG start_ARG italic_π end_ARG divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 81 end_ARG roman_sin ( italic_θ ) | start_POSTSUBSCRIPT - italic_π / 6 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 6 end_POSTSUPERSCRIPT ≈ 0.116 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (41b)

If θ𝜃\thetaitalic_θ ranges from π/3𝜋3\pi/3italic_π / 3 to 2π/32𝜋32\pi/32 italic_π / 3, we have the following approximation

𝔼{r2(θ)}N𝔼superscript𝑟2𝜃𝑁absent\displaystyle\mathbb{E}\left\{r^{2}\left(\theta\right)\right\}\overset{N~{}% \uparrow}{\approx}blackboard_E { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) } start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG 32π0π/3{π2N3[cos(θϕ3)+cos(θϕ1)]81}𝑑θ32𝜋superscriptsubscript0𝜋3superscript𝜋2superscript𝑁3delimited-[]𝜃subscriptitalic-ϕ3𝜃subscriptitalic-ϕ181differential-d𝜃\displaystyle\frac{3}{2\pi}\int_{0}^{\pi/3}\left\{\frac{\pi^{2}N^{3}\left[\cos% \left({\theta}-\phi_{3}\right)+\cos\left({\theta}-\phi_{1}\right)\right]}{81}% \right\}d\thetadivide start_ARG 3 end_ARG start_ARG 2 italic_π end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 3 end_POSTSUPERSCRIPT { divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT [ roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) + roman_cos ( italic_θ - italic_ϕ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ] end_ARG start_ARG 81 end_ARG } italic_d italic_θ (42a)
=\displaystyle== 3ππ/32π/3π2N3sin(θ)81𝑑θ0.116N3.3𝜋superscriptsubscript𝜋32𝜋3superscript𝜋2superscript𝑁3𝜃81differential-d𝜃0.116superscript𝑁3\displaystyle\frac{3}{\pi}\int_{\pi/3}^{2\pi/3}\frac{\pi^{2}N^{3}\sin\left({% \theta}\right)}{81}d{\theta}\approx 0.116N^{3}.divide start_ARG 3 end_ARG start_ARG italic_π end_ARG ∫ start_POSTSUBSCRIPT italic_π / 3 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π / 3 end_POSTSUPERSCRIPT divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT roman_sin ( italic_θ ) end_ARG start_ARG 81 end_ARG italic_d italic_θ ≈ 0.116 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (42b)

A-E2 For L=4𝐿4L=4italic_L = 4

each target is illuminated by 2 aligned sectors (assumed to be sector 1111 and 4444). Given directive antenna patterns, we have the following approximation

r2(θ)|L=4Nevaluated-atsuperscript𝑟2𝜃𝐿4𝑁absent\displaystyle r^{2}\left(\theta\right)|_{L=4}\overset{N~{}\uparrow}{\approx}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 4 end_POSTSUBSCRIPT start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG l=1,4N3π2F(θ,l)2768[2sin2(Θl)+1]subscript𝑙14superscript𝑁3superscript𝜋2𝐹superscript𝜃𝑙2768delimited-[]2superscript2subscriptΘ𝑙1\displaystyle\sum_{l=1,4}\frac{N^{3}\pi^{2}{F\left(\theta,~{}l\right)}^{2}}{76% 8}\left[2\sin^{2}\left(\Theta_{l}\right)+1\right]∑ start_POSTSUBSCRIPT italic_l = 1 , 4 end_POSTSUBSCRIPT divide start_ARG italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( italic_θ , italic_l ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 768 end_ARG [ 2 roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( roman_Θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ) + 1 ] (43a)
=(a)𝑎\displaystyle\overset{(a)}{=}start_OVERACCENT ( italic_a ) end_OVERACCENT start_ARG = end_ARG π2N3128sin2(2θ2Φ¯π2)+π2N3128superscript𝜋2superscript𝑁3128superscript22𝜃2¯Φ𝜋2superscript𝜋2superscript𝑁3128\displaystyle\frac{\pi^{2}N^{3}}{128}\sin^{2}\left(2\theta-2\bar{\Phi}-\frac{% \pi}{2}\right)+\frac{\pi^{2}N^{3}}{128}divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 128 end_ARG roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 2 italic_θ - 2 over¯ start_ARG roman_Φ end_ARG - divide start_ARG italic_π end_ARG start_ARG 2 end_ARG ) + divide start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 128 end_ARG
=\displaystyle== 3cos(4θ)128π2N3,34𝜃128superscript𝜋2superscript𝑁3\displaystyle\frac{3-\cos(4\theta)}{128}\pi^{2}N^{3},divide start_ARG 3 - roman_cos ( 4 italic_θ ) end_ARG start_ARG 128 end_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , (43b)

where ΘlθϕlsubscriptΘ𝑙𝜃subscriptitalic-ϕ𝑙\Theta_{l}\triangleq\theta-\phi_{l}roman_Θ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ≜ italic_θ - italic_ϕ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT. (a)𝑎(a)( italic_a ) defines Φ¯(Φ1+Φ4)/2¯ΦsubscriptΦ1subscriptΦ42\bar{\Phi}\triangleq(\Phi_{1}+\Phi_{4})/2over¯ start_ARG roman_Φ end_ARG ≜ ( roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + roman_Φ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT ) / 2 with specifically Φ4=π/4subscriptΦ4𝜋4\Phi_{4}=-\pi/4roman_Φ start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = - italic_π / 4 and Φ1=π/4subscriptΦ1𝜋4\Phi_{1}=\pi/4roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_π / 4.

The expectation of r2(θ)|L=4evaluated-atsuperscript𝑟2𝜃𝐿4r^{2}\left(\theta\right)|_{L=4}italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) | start_POSTSUBSCRIPT italic_L = 4 end_POSTSUBSCRIPT over θ𝜃\thetaitalic_θ is then written as

𝔼{r2(θ)}N𝔼superscript𝑟2𝜃𝑁absent\displaystyle\mathbb{E}\left\{r^{2}\left(\theta\right)\right\}\overset{N~{}% \uparrow}{\approx}blackboard_E { italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_θ ) } start_OVERACCENT italic_N ↑ end_OVERACCENT start_ARG ≈ end_ARG 2ππ/4π/4{cos2(2θ)+1128π2N3}𝑑θ=0.116N3.2𝜋superscriptsubscript𝜋4𝜋4superscript22𝜃1128superscript𝜋2superscript𝑁3differential-d𝜃0.116superscript𝑁3\displaystyle\frac{2}{\pi}\int_{-\pi/4}^{\pi/4}\left\{\frac{\cos^{2}\left(2% \theta\right)+1}{128}\pi^{2}N^{3}\right\}d\theta=0.116N^{3}.divide start_ARG 2 end_ARG start_ARG italic_π end_ARG ∫ start_POSTSUBSCRIPT - italic_π / 4 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π / 4 end_POSTSUPERSCRIPT { divide start_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 2 italic_θ ) + 1 end_ARG start_ARG 128 end_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT } italic_d italic_θ = 0.116 italic_N start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (44a)

References

  • [1] K. B. Letaief, W. Chen, Y. Shi, J. Zhang, and Y.-J. A. Zhang, “The roadmap to 6G: AI empowered wireless networks,” IEEE Commun. Mag., vol. 57, no. 8, pp. 84–90, 2019.
  • [2] A. Hassanien, M. G. Amin, E. Aboutanios, and B. Himed, “Dual-function radar communication systems: A solution to the spectrum congestion problem,” IEEE Signal Processing Magazine, vol. 36, no. 5, pp. 115–126, 2019.
  • [3] H. Tataria, M. Shafi, A. F. Molisch, M. Dohler, H. Sjöland, and F. Tufvesson, “6G wireless systems: Vision, requirements, challenges, insights, and opportunities,” Proceedings of the IEEE, vol. 109, no. 7, pp. 1166–1199, 2021.
  • [4] F. Liu, Y. Cui, C. Masouros, J. Xu, T. X. Han, Y. C. Eldar, and S. Buzzi, “Integrated sensing and communications: Toward dual-functional wireless networks for 6G and beyond,” IEEE J. Sel. Areas Commun., vol. 40, no. 6, pp. 1728–1767, 2022.
  • [5] Y. Cui, F. Liu, X. **g, and J. Mu, “Integrating sensing and communications for ubiquitous IoT: Applications, trends, and challenges,” IEEE Network, vol. 35, no. 5, pp. 158–167, 2021.
  • [6] D. Ma, N. Shlezinger, T. Huang, Y. Liu, and Y. C. Eldar, “Joint radar-communication strategies for autonomous vehicles: Combining two key automotive technologies,” IEEE Signal Processing Magazine, vol. 37, no. 4, pp. 85–97, 2020.
  • [7] A. Liu, Z. Huang, M. Li, Y. Wan, W. Li, T. X. Han, C. Liu, R. Du, D. K. P. Tan, J. Lu et al., “A survey on fundamental limits of integrated sensing and communication,” IEEE Communications Surveys & Tutorials, vol. 24, no. 2, pp. 994–1034, 2022.
  • [8] Q. Zhang, H. Sun, X. Gao, X. Wang, and Z. Feng, “Time-division ISAC enabled connected automated vehicles cooperation algorithm design and performance evaluation,” IEEE J. Sel. Areas Commun., vol. 40, no. 7, pp. 2206–2218, 2022.
  • [9] N. Kaina, M. Dupré, G. Lerosey, and M. Fink, “Sha** complex microwave fields in reverberating media with binary tunable metasurfaces,” Scientific reports, vol. 4, no. 1, p. 6693, 2014.
  • [10] C. Liaskos, S. Nie, A. Tsioliaridou, A. Pitsillides, S. Ioannidis, and I. Akyildiz, “A new wireless communication paradigm through software-controlled metasurfaces,” IEEE Commun. Mag., vol. 56, no. 9, pp. 162–169, 2018.
  • [11] 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, 2021.
  • [12] M. Di Renzo, A. Zappone, M. Debbah, M.-S. Alouini, C. Yuen, J. De Rosny, and S. Tretyakov, “Smart radio environments empowered by reconfigurable intelligent surfaces: How it works, state of research, and the road ahead,” IEEE J. Sel. Areas Commun., vol. 38, no. 11, pp. 2450–2525, 2020.
  • [13] H. Guo, Y.-C. Liang, J. Chen, and E. G. Larsson, “Weighted sum-rate maximization for reconfigurable intelligent surface aided wireless networks,” IEEE Trans. Wireless Commun., vol. 19, no. 5, pp. 3064–3076, 2020.
  • [14] Q. Wu and R. Zhang, “Intelligent reflecting surface enhanced wireless network via joint active and passive beamforming,” IEEE Trans. Wireless Commun., vol. 18, no. 11, pp. 5394–5409, 2019.
  • [15] A. Elzanaty, A. Guerra, F. Guidi, and M.-S. Alouini, “Reconfigurable intelligent surfaces for localization: Position and orientation error bounds,” IEEE Trans. Signal Process., vol. 69, pp. 5386–5402, 2021.
  • [16] P. Wang, W. Mei, J. Fang, and R. Zhang, “Target-mounted intelligent reflecting surface for joint location and orientation estimation,” IEEE J. Sel. Areas Commun., 2023.
  • [17] X. Shao, C. You, W. Ma, X. Chen, and R. Zhang, “Target sensing with intelligent reflecting surface: Architecture and performance,” IEEE J. Sel. Areas Commun., vol. 40, no. 7, pp. 2070–2084, 2022.
  • [18] X. Meng, F. Liu, S. Lu, S. P. Chepuri, and C. Masouros, “RIS-assisted integrated sensing and communications: A subspace rotation approach,” in 2023 IEEE Radar Conference (RadarConf23).   IEEE, 2023, pp. 1–6.
  • [19] Z. Yu, X. Hu, C. Liu, M. Peng, and C. Zhong, “Location sensing and beamforming design for IRS-enabled multi-user ISAC systems,” IEEE Trans. Signal Process., vol. 70, pp. 5178–5193, 2022.
  • [20] H. Li, S. Shen, and B. Clerckx, “Beyond diagonal reconfigurable intelligent surfaces: A multi-sector mode enabling highly directional full-space wireless coverage,” IEEE J. Sel. Areas Commun., 2023.
  • [21] W. Tang, M. Z. Chen, X. Chen, J. Y. Dai, Y. Han, M. Di Renzo, Y. Zeng, S. **, Q. Cheng, and T. J. Cui, “Wireless communications with reconfigurable intelligent surface: Path loss modeling and experimental measurement,” IEEE Trans. Wireless Commun., vol. 20, no. 1, pp. 421–439, 2020.
  • [22] X. Shao, R. Zhang, Q. Jiang, and R. Schober, “6D movable antenna enhanced wireless network via discrete position and rotation optimization,” arXiv preprint arXiv:2403.17122, 2024.
  • [23] X. Shao, Q. Jiang, and R. Zhang, “6D movable antenna based on user distribution: Modeling and optimization,” arXiv preprint arXiv:2403.08123, 2024.
  • [24] H. Karimi and A. Manikas, “Manifold of a planar array and its effects on the accuracy of direction-finding systems,” IEE Proceedings-Radar, Sonar and Navigation, vol. 143, no. 6, pp. 349–357, 1996.
  • [25] H. Chen, X. Li, and Z. Zhuang, “Antenna Geometry Conditions for MIMO Radar With Uncoupled Direction Estimation,” IEEE Trans. Antennas Propag., vol. 60, no. 7, pp. 3455–3465, 2012.
  • [26] C. Vasanelli, R. Batra, and C. Waldschmidt, “Optimization of a MIMO radar antenna system for automotive applications,” in 2017 11th European Conference on Antennas and Propagation (EUCAP).   IEEE, 2017, pp. 1113–1117.
  • [27] P. Ioannides and C. A. Balanis, “Uniform circular arrays for smart antennas,” IEEE Antennas and Propagation Magazine, vol. 47, no. 4, pp. 192–206, 2005.
  • [28] Z. Wang, X. Mu, J. Xu, and Y. Liu, “Simultaneously transmitting and reflecting surface (stars) for terahertz communications,” IEEE J. Sel. Topics Signal Process., 2023.
  • [29] S. Shen, B. Clerckx, and R. Murch, “Modeling and architecture design of reconfigurable intelligent surfaces using scattering parameter network analysis,” IEEE Trans. Wireless Commun., vol. 21, no. 2, pp. 1229–1243, 2021.
  • [30] H. Li, S. Shen, and B. Clerckx, “Beyond diagonal reconfigurable intelligent surfaces: From transmitting and reflecting modes to single-, group-, and fully-connected architectures,” IEEE Trans. Wireless Commun., vol. 22, no. 4, pp. 2311–2324, 2022.
  • [31] H. Li, S. Shen, M. Nerini, and B. Clerckx, “Reconfigurable intelligent surfaces 2.0: Beyond diagonal phase shift matrices,” IEEE Commun. Mag., 2023.
  • [32] R. Li, X. Shao, S. Sun, M. Tao, and R. Zhang, “Beam Scanning for Integrated Sensing and Communication in IRS-aided mmWave Systems,” in 2023 IEEE 24th International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), 2023, pp. 196–200.
  • [33] S. M. Kay, Fundamentals of statistical signal processing: estimation theory.   Prentice-Hall, Inc., 1993.