This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Minorization-based Low-Complexity Design for IRS-Aided ISAC Systems

Yi-Kai Li and Athina Petropulu This work was supported in part by ARO grant W911NF2110071. Dept. of Electrical and Computer Engineering, Rutgers University, Piscataway, NJ, USA
E-mail: {yikai.li, athinap}@rutgers.edu
Abstract

A low-complexity design is proposed for an integrated sensing and communication (ISAC) system aided by an intelligent reflecting surface (IRS). The radar precoder and IRS parameter are computed alternatingly to maximize the weighted sum signal-to-noise ratio (SNR) at the radar and communication receivers. The IRS design problem has an objective function of fourth order in the IRS parameter matrix, and is subject to highly non-convex unit modulus constraints. To address this challenging problem and obtain a low-complexity solution, we employ a minorization technique twice; the original fourth order objective is first surrogated with a quadratic one via minorization, and is then minorized again to a linear one. This leads to a closed form solution for the IRS parameter in each iteration, thus reducing the IRS design complexity. Numerical results are presented to show the effectiveness of the proposed method.

Index Terms:
ISAC, IRS, alternating optimization, minorization

I INTRODUCTION

Integrated sensing and communication (ISAC) is deemed a key technology for efficiently utilizing the wireless resources [1, 2, 3, 4]. By incorporating the sensing and communication functionalities into the same hardware platform, and reusing the waveform, ISAC systems achieve savings in device cost, weight and used power, as compared to having two independent coexisting devices, one for sensing and one for communication. They also avoid interference between the sensing and communication functions [5, 6, 7].

Intelligent reflecting surfaces (IRS) are structures consisting of a large number of configurable printed dipoles. Each dipole can be configured to change the incoming electromagnetic wave by a controllable amount. These elements can collaboratively alter the direction of the incoming signal, for example, they can form a narrow beam to the desired destination, or avoid interference, thus improving the communication system performance [8]. IRS can achieve beamforming gains without the need of radio frequency (RF) chains, thus offering energy efficiency and reduced hardware deployment cost [9]. Multiple-input multiple-output (MIMO) radar assisted by IRS have been studied in [10], where IRS create additional wireless links for the target echoes to reach the radar receiver, thus improving the signal-to-noise ratio (SNR) at receiver and the target detection performance.

Challenges: The main design challenge of IRS-aided wireless systems lies in the IRS parameter design, i.e., the diagonal matrix that contains the IRS parameters. Each element of the parameter matrix should have unit modulus, since each element only contributes a phase shift. This highly non-convex unit modulus constraint (UMC) on the IRS parameter matrix makes the system designs challenging. For IRS aided communication system design, the objective and constraints of the optimization problem are normally quadratic into the IRS parameter matrix. The quadratic program problem with UMC has been comprehensively investigated in IRS-aided communication works [8, 9]. However, for the IRS-aided ISAC system, the objective and constraints can be fourth order functions in the IRS parameter matrix, since the transmitted waveform can be reflected twice by the IRS before it arrives at the radar receiver. This type of problem is more challenging than the traditional quadratic programs with UMC. The radar precoder design is quadratic program without UMC, and has been well investigated in the ISAC literature [11].

Recent Works: In existing IRS ISAC literature, the radar precoder and IRS parameter are alternatingly optimized. IRS parameter design methods can be classified into two classes. The first is based on minorization or majorization method [12], to convert the fourth order functions into quadratic ones, so that the problem is transformed into quadratic problems that are easier to tackle [13, 14, 15, 16]. The second class is based on the Riemannian gradient ascent/descent technique [17].

Motivation: In practical deployment, IRS with a large number of elements are required in order to achieve powerful links and improve the system performance [18]. However, in this case, the dimensionality of the IRS design problem with quartic objective and/or constraints is high, and obtaining its solution is a very challenging task. The first type of the aforementioned methods work well when the dimension of the IRS parameter matrix variable (LL) is small. In that case, interior point methods (IPM) with complexity of 𝒪(L3.5)\mathcal{O}(L^{3.5}) are used to solve the surrogate quadratic problem. However, when LL grows large, the time needed by IPM to solve the quadratic problem becomes unacceptably high. Moreover, for some cases, Gaussian randomization is necessary to re-construct the solution from its covariance [13]. Huge number of realizations of randomized solution are required to obtain a good enough solution for large LL. The second class of techniques require a step-by-step search for the solution on the complex manifold in the current Riemannian gradient direction. They take several iterations to converge even though each iteration needs only low-complexity matrix multiplications and additions [17].

Contribution: In this paper, we study an IRS-assisted ISAC system tracking a non-line-of-sight (NLOS) target, while communicating with multiple receivers. A low-complexity system design is proposed to maximize the weighted sum SNR at the radar and communication receivers. The radar precoder and IRS parameters are optimized alternatingly; the precoder optimization problem is addressed based on semidefinite relaxation (SDR) [19], and the IRS optimization problem is based on minorization [12]. To bypass the quadratic program which uses IPM in the IRS parameter design [13, 14, 15, 16], we apply the minorization operation twice, i.e., the quartic function of IRS parameter is first degraded into a quadratic one via minorization, which is again minorized to a linear one. For the IRS parameter design problem with a linear surrogate objective function and UMC constraints, a closed-form solution can be obtained. Therefore, the IRS parameters can be designed using low-complexity matrix multiplications and additions without the need for the IPM or CVX toolbox [20]. Numerical results demonstrate the usefulness and fast convergence of our proposed double minorization technique for the IRS design.

Notation: 𝐌H\mathbf{M}^{H}, 𝐌\mathbf{M}^{\ast} denote respectively Hermitian and conjugate of matrix 𝐌{\mathbf{M}}; 𝔼[.]\mathbb{E}\!\left[{.}\right] and 𝕍ar[.]\mathbb{V}\mathrm{ar}\!\left[{.}\right] denote respectively mean and variance; tr[𝐌]\mathrm{tr}\!\left[{\mathbf{M}}\right] denotes the trace of square matrix 𝐌\mathbf{M}; vec(𝐌)\text{vec}(\mathbf{M}) represents the vectorization of matrix 𝐌\mathbf{M}; 𝟎m×n\mathbf{0}_{m\times n}, 𝟏n×1\mathbf{1}_{n\times 1} and 𝐈m\mathbf{I}_{m} respectively denote an m×nm\times n matrix with all zero elements, an n×1n\times 1 vector with all one elements, and an m×mm\times m identity matrix; \otimes and \circ denote respectively Kronecker and Hadamard product; 𝒞𝒩(𝟎m×1,σ2𝐈m)\mathcal{CN}(\mathbf{0}_{m\times 1},\sigma^{2}\mathbf{I}_{m}) denotes the probability density of an m×1m\times 1 circularly symmetric complex Gaussian vector with zero mean and covariance matrix σ2𝐈m\sigma^{2}\mathbf{I}_{m}; diag(𝐯)\text{diag}(\mathbf{v}) denotes a diagonal matrix whose diagonal elements are those of a vector 𝐯\mathbf{v}; diag(𝐌)\text{diag}(\mathbf{M}) denotes a column vector whose elements are the diagonal elements of a matrix 𝐌\mathbf{M}; (z)\Re{(z)} and arg(z)\text{arg}(z) respectively denote the real part and argument of a complex number zz.

II SYSTEM MODEL

Refer to caption
𝐅\mathbf{F}
IRS
Refer to caption
𝐆\mathbf{G}
Refer to caption
ISAC
MIMO radar
target
Refer to caption
𝐇\mathbf{H}
comm.
receivers
Figure 1: IRS assisted ISAC system.

We consider an ISAC system aided by an IRS platform, as shown in Fig. 1. The radar transmitter and receiver are collocated, and are respectively modeled as uniform linear arrays (ULAs) with NTN_{T} and NRN_{R} antennas, spaced apart by dd. The radar is tracking a point target, and at the same time transmits data to KK communication receivers, each equipped with a single antenna. Both sensing and communication tasks are achieved with the transmit waveform. The IRS is modeled as a uniform planar array (UPA) with LxL_{x} elements per row and LyL_{y} elements per column. The total number of IRS elements is L=Lx×LyL=L_{x}\times L_{y}. The line-of-sight between the radar and the target is considered unavailable. All channels are assumed flat fading and perfectly known. The signal transmitted by the MIMO radar is

𝐗T=𝐏𝐬T,\displaystyle\mathbf{X}_{T}=\mathbf{P}\mathbf{s}_{T}, (1)

where 𝐏=[𝐩1,,𝐩k,,𝐩K]NT×K\mathbf{P}=[\mathbf{p}_{1},\cdots,\mathbf{p}_{k},\cdots,\mathbf{p}_{K}]\in\mathbb{C}^{N_{T}\times K} is the radar precoder matrix, with 𝐩k\mathbf{p}_{k} denoting the kk-th column of 𝐏\mathbf{P}, and 𝐬TK×1\mathbf{s}_{T}\in\mathbb{C}^{K\times 1} is the signal for the KK communication receivers, which is also used for target tracking. The emitted signal is first reflected by the IRS, then by the target, then again by the IRS, and is finally received by the radar receiver as

𝐫R\displaystyle\mathbf{r}_{R} =\displaystyle= α𝐆T𝚯𝐚(ψa,ψe)𝐚T(ψa,ψe)𝚯𝐆𝐂R𝐏𝐬T+𝐰R,\displaystyle\underbrace{\alpha\mathbf{G}^{T}\mathbf{\Theta}\mathbf{a}(\psi_{a},\psi_{e})\mathbf{a}^{T}(\psi_{a},\psi_{e})\mathbf{\Theta}\mathbf{G}}_{\mathbf{C}_{R}}\mathbf{P}\mathbf{s}_{T}+\mathbf{w}_{R}, (2)

where α\alpha is the complex channel coefficient of the radar-IRS-target-IRS-radar path; 𝐆\mathbf{G} is the normalized channel between the radar and the IRS, 𝚯=diag([ejθ1,,ejθl,,ejθL])\mathbf{\Theta}=\text{diag}([e^{j\theta_{1}},\cdots,e^{j\theta_{l}},\cdots,e^{j\theta_{L}}]) is the parameter matrix of the IRS, where θl\theta_{l} is the phase shift of the ll-th IRS element for ll\in\mathcal{L} where ={1,,L}\mathcal{L}=\{1,\cdots,L\}; 𝐚(ψa,ψe)=𝐚y(ψa,ψe)𝐚x(ψa,ψe)\mathbf{a}(\psi_{a},\psi_{e})=\mathbf{a}_{y}(\psi_{a},\psi_{e})\otimes\mathbf{a}_{x}(\psi_{a},\psi_{e}) is the IRS steering vector, where 𝐚y(ψa,ψe)=[1,ej2πdcosψasinψe/λ,,ej2π(Ly1)dcosψasinψe/λ]T\mathbf{a}_{y}(\psi_{a},\psi_{e})=[1,\;e^{j2\pi d\cos{\psi_{a}}\sin{\psi_{e}}/\lambda},\;\cdots,\;e^{j2\pi(L_{y}-1)d\cos{\psi_{a}}\sin{\psi_{e}}/\lambda}]^{T}, and 𝐚x(ψa,ψe)\mathbf{a}_{x}(\psi_{a},\psi_{e}) is defined similarly with LxL_{x}; ψa\psi_{a} and ψe\psi_{e} are respectively the azimuth and elevation angles of the target relative to the IRS; 𝐰R𝒞𝒩(𝟎NR×1,σR2𝐈NR)\mathbf{w}_{R}\sim\mathcal{CN}(\mathbf{0}_{N_{R}\times 1},\sigma_{R}^{2}\mathbf{I}_{N_{R}}) is the additive white Gaussian noise (AWGN) at the radar receiver, where σR2\sigma_{R}^{2} is the noise power at each radar receive antenna.

The communication receivers receive the radar signal through a direct and an IRS-reflected path as

𝐫C\displaystyle\mathbf{r}_{C} =\displaystyle= (𝐅+𝐇𝚯𝐆)𝐂C𝐏𝐬T+𝐰C,\displaystyle\underbrace{\left(\mathbf{F}+\mathbf{H}\mathbf{\Theta}\mathbf{G}\right)}_{\mathbf{C}_{C}}\mathbf{P}\mathbf{s}_{T}+\mathbf{w}_{C}, (3)

where 𝐅\mathbf{F} is the channel from the radar to the communication receivers; 𝐇\mathbf{H} is the channel from the IRS to the communication receivers; 𝐰C𝒞𝒩(𝟎K×1,σC2𝐈K)\mathbf{w}_{C}\sim\mathcal{CN}(\mathbf{0}_{K\times 1},\sigma_{C}^{2}\mathbf{I}_{K}) models the AWGN at the communication receivers, where σC2\sigma_{C}^{2} is the noise power in each communication receiver.

The output SNRs at radar and communication receivers are

SNRR=(1/σR2)tr[𝐂R𝐏𝐏H𝐂RH],\displaystyle\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\text{SNR}_{R}=(1/{\sigma_{R}^{2}})\mathrm{tr}\!\left[{\mathbf{C}_{R}\mathbf{P}\mathbf{P}^{H}\mathbf{C}_{R}^{H}}\right], (4)
SNRC=(1/σC2)tr[𝐂C𝐏𝐏H𝐂CH].\displaystyle\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\text{SNR}_{C}=(1/{\sigma_{C}^{2}})\mathrm{tr}\!\left[{\mathbf{C}_{C}\mathbf{P}\mathbf{P}^{H}\mathbf{C}_{C}^{H}}\right]. (5)

III SYSTEM DESIGN

We aim to maximize a weighted sum of the radar SNR and communication SNR with respect to the 𝐏\mathbf{P} and 𝚯\mathbf{\Theta}, subject to certain constraints, i.e.,

max𝐏,𝚯\displaystyle\max_{\mathbf{P},\mathbf{\Theta}} βSNRR+(1β)SNRC\displaystyle\;\;\;\;\beta\text{SNR}_{R}+(1-\beta)\text{SNR}_{C} (6a)
s.t.\displaystyle\mathrm{s.t.} tr[𝐏𝐏H]=PT\displaystyle\;\;\;\;\mathrm{tr}\!\left[{\mathbf{P}\mathbf{P}^{H}}\right]=P_{T} (6d)
𝐏𝐏H𝐑DF2γBP\displaystyle\;\;\;\;\|\mathbf{P}\mathbf{P}^{H}-\mathbf{R}_{D}\|_{F}^{2}\leq\gamma_{BP}
|𝚯l,l|=1,l\displaystyle\;\;\;\;|\mathbf{\Theta}_{l,l}|=1,\;\;\forall l\in\mathcal{L}

where β\beta is a weight factor; (6d) constrains the radar transmit power to be PTP_{T}; (6d) constrains the radar beam pattern deviation from a desired one to be smaller than γBP\gamma_{BP}, where 𝐑D\mathbf{R}_{D} is the desired waveform’s covariance matrix; (6d) imposes UMC to the IRS parameters.

The optimization problem (6) is non-convex due to the coupling of 𝐏\mathbf{P} and 𝚯\mathbf{\Theta}. Alternating optimization [21] can efficiently solve the problem by dividing it into two sub-problems. The first sub-problem is solving for 𝐏\mathbf{P} while fixing 𝚯\mathbf{\Theta}, and the second one is solving for 𝚯\mathbf{\Theta} while fixing 𝐏\mathbf{P}. The two sub-problems are alternatingly solved until convergence is reached.

III-A SUB-PROBLEM 1: Fix 𝚯{\bf\Theta} and optimize with respect to 𝐏\mathbf{P}

The objective equals g(𝐏)=(β/σR2)tr[𝐏𝐏H𝐂RH𝐂R]+[(1β)/σC2]tr[𝐏𝐏H𝐂CH𝐂C]=tr[𝐏𝐏H𝛀],g(\mathbf{P})=(\beta/\sigma_{R}^{2})\mathrm{tr}\!\left[{\mathbf{P}\mathbf{P}^{H}\mathbf{C}_{R}^{H}\mathbf{C}_{R}}\right]+[(1-\beta)/\sigma_{C}^{2}]\mathrm{tr}\!\left[{\mathbf{P}\mathbf{P}^{H}\mathbf{C}_{C}^{H}\mathbf{C}_{C}}\right]=\mathrm{tr}\!\left[{\mathbf{P}\mathbf{P}^{H}\mathbf{\Omega}}\right], where 𝛀=(β/σR2)𝐂RH𝐂R+[(1β)/σC2]𝐂CH𝐂C\mathbf{\Omega}=(\beta/\sigma_{R}^{2})\mathbf{C}_{R}^{H}\mathbf{C}_{R}+[(1-\beta)/\sigma_{C}^{2}]\mathbf{C}_{C}^{H}\mathbf{C}_{C}. Then the first sub-problem is re-written as

max𝐏\displaystyle\max_{\mathbf{P}} tr[𝐏𝐏H𝛀]\displaystyle\;\;\;\;\mathrm{tr}\!\left[{\mathbf{P}\mathbf{P}^{H}\mathbf{\Omega}}\right] (7a)
s.t.\displaystyle\mathrm{s.t.} tr[𝐏𝐏H]=PT\displaystyle\;\;\;\;\mathrm{tr}\!\left[{\mathbf{P}\mathbf{P}^{H}}\right]=P_{T} (7c)
𝐏𝐏H𝐑DF2γBP\displaystyle\;\;\;\;\|\mathbf{P}\mathbf{P}^{H}-\mathbf{R}_{D}\|_{F}^{2}\leq\gamma_{BP}

On expressing

𝐏𝐏H=k𝒦𝐩k𝐩kH=k𝒦𝐏˘k,\displaystyle\mathbf{P}\mathbf{P}^{H}=\sum_{k\in\mathcal{K}}\mathbf{p}_{k}\mathbf{p}_{k}^{H}=\sum_{k\in\mathcal{K}}\mathbf{\breve{P}}_{k}, (8)

where 𝐏˘k=𝐩k𝐩kH\mathbf{\breve{P}}_{k}=\mathbf{p}_{k}\mathbf{p}_{k}^{H} and 𝒦={1,,K}\mathcal{K}=\{1,\cdots,K\}, sub-problem 1 becomes

max𝐏˘k\displaystyle\max_{\mathbf{\breve{P}}_{k}} k𝒦tr[𝐏˘k𝛀]\displaystyle\;\;\;\;\sum_{k\in\mathcal{K}}\mathrm{tr}\!\left[{\mathbf{\breve{P}}_{k}\mathbf{\Omega}}\right] (9a)
s.t.\displaystyle\mathrm{s.t.} k𝒦𝐏˘k𝐑DF2γBP\displaystyle\;\;\;\;\|\sum_{k\in\mathcal{K}}\mathbf{\breve{P}}_{k}-\mathbf{R}_{D}\|^{2}_{F}\leq\gamma_{BP} (9c)
k𝒦tr[𝐏˘k]=PT\displaystyle\;\;\;\;\sum_{k\in\mathcal{K}}\mathrm{tr}\!\left[{\mathbf{\breve{P}}_{k}}\right]=P_{T}

The 𝐏˘k\mathbf{\breve{P}}_{k} in problem (9) can be solved by the CVX toolbox [20]. Afterwards, the 𝐩k\mathbf{p}_{k}’s can be re-constructed using Gaussian randomization technique noting 𝐏˘k=𝐩k𝐩kH\mathbf{\breve{P}}_{k}=\mathbf{p}_{k}\mathbf{p}_{k}^{H}. We generate randomized vectors following the covariance of 𝐏˘k\mathbf{\breve{P}}_{k}, the one that satisfies the constraints and maximizes the objective is chosen as 𝐩k\mathbf{p}_{k} [19]. Then 𝐏\mathbf{P} is acquired via concatenating the column vectors 𝐩k\mathbf{p}_{k}’s.

III-B SUB-PROBLEM 2: Fix 𝐏\mathbf{P} and optimize with respect to 𝚯{\bf\Theta}

We use the value of 𝐏\mathbf{P} found in sub-problem 1 in the second sub-problem, and solve for 𝚯\mathbf{\Theta}. By substituting 𝐂R=α𝐆T𝚯𝐚(ψa,ψe)𝐚T(ψa,ψe)𝚯𝐆\mathbf{C}_{R}=\alpha\mathbf{G}^{T}\mathbf{\Theta}\mathbf{a}(\psi_{a},\psi_{e})\mathbf{a}^{T}(\psi_{a},\psi_{e})\mathbf{\Theta}\mathbf{G} and 𝐂C=𝐅+𝐇𝚯𝐆\mathbf{C}_{C}=\mathbf{F}+\mathbf{H}\mathbf{\Theta}\mathbf{G} in the objective function, g(𝚯)=tr[𝐏𝐏H𝛀]g(\mathbf{\Theta})=\mathrm{tr}\!\left[{\mathbf{P}\mathbf{P}^{H}\mathbf{\Omega}}\right] can be written as

g(𝚯)=g0+g1(𝚯)+g2(𝚯)+g4(𝚯),\displaystyle g{(\mathbf{\Theta})}=g_{0}+g_{1}(\mathbf{\Theta})+g_{2}(\mathbf{\Theta})+g_{4}(\mathbf{\Theta}), (10)

where g0g_{0} is irrelevant to 𝚯\mathbf{\Theta}, and g1(𝚯)g_{1}(\mathbf{\Theta}), g2(𝚯)g_{2}(\mathbf{\Theta}), and g4(𝚯)g_{4}(\mathbf{\Theta}) are respectively linear, quadratic and quartic into 𝚯\mathbf{\Theta} as

g0=[(1β)/σC2]tr[𝐅H𝐅𝐏𝐏H],\displaystyle g_{0}=[(1-\beta)/\sigma_{C}^{2}]\mathrm{tr}\!\left[{\mathbf{F}^{H}\mathbf{F}\mathbf{P}\mathbf{P}^{H}}\right], (11a)
g1(𝚯)=[(1β)/σC2](tr[𝐆H𝚯H𝐇H𝐅𝐏𝐏H]\displaystyle g_{1}(\mathbf{\Theta})=[(1-\beta)/\sigma_{C}^{2}]\!\big{(}\!\mathrm{tr}\!\left[{\!\mathbf{G}^{\!H}\!\mathbf{\Theta}^{\!H}\!\mathbf{H}^{\!H}\!\mathbf{F}\mathbf{P}\mathbf{P}^{\!H}}\right]
+tr[𝐅H𝐇𝚯𝐆𝐏𝐏H]),\displaystyle\quad\quad\quad\quad\quad\quad\quad+\mathrm{tr}\!\left[{\mathbf{F}^{\!H}\mathbf{H}\mathbf{\Theta}\mathbf{G}\mathbf{P}\mathbf{P}^{\!H}}\right]\!\big{)}, (11b)
g2(𝚯)=[(1β)/σC2]tr[𝐆H𝚯H𝐇H𝐇𝚯𝐆𝐏𝐏H],\displaystyle g_{2}(\mathbf{\Theta})=[(1-\beta)/\sigma_{C}^{2}]\mathrm{tr}\!\left[{\mathbf{G}^{H}\mathbf{\Theta}^{H}\mathbf{H}^{H}\mathbf{H}\mathbf{\Theta}\mathbf{G}\mathbf{P}\mathbf{P}^{H}}\right], (11c)
g4(𝚯)=(βα2/σR2)tr[𝐆T𝚯𝐑𝚯𝐆𝐏𝐏H𝐆H𝚯H𝐑H𝚯H𝐆],\displaystyle g_{4}(\mathbf{\Theta})=(\beta\alpha^{2}\!\!/\!\sigma_{\!R}^{2})\mathrm{tr}\!\left[{\mathbf{G}^{\!T}\!\mathbf{\Theta}\mathbf{R}\mathbf{\Theta}\mathbf{G}\mathbf{P}\mathbf{P}^{\!H}\!\mathbf{G}^{\!H}\!\mathbf{\Theta}^{\!H}\!\mathbf{R}^{\!H}\!\mathbf{\Theta}^{\!H}\!\mathbf{G}^{\!\ast}}\right], (11d)

where 𝐑=𝐚(ψa,ψe)𝐚T(ψa,ψe)\mathbf{R}=\mathbf{a}(\psi_{a},\psi_{e})\mathbf{a}^{T}(\psi_{a},\psi_{e}). The g0g_{0} term can be dropped, and the problem can be rewritten as

(P2)max𝚯\displaystyle\!\!\!\!\!\!\!\!\!(\mathrm{P}_{2})\qquad\max_{\mathbf{\Theta}} g1(𝚯)+g2(𝚯)+g4(𝚯)\displaystyle\!\!\!\!\!g_{1}(\mathbf{\Theta})+g_{2}(\mathbf{\Theta})+g_{4}(\mathbf{\Theta}) (12a)
s.t.\displaystyle\!\!\!\!\!\!\!\!\!\mathrm{s.t.} |𝚯l,l|=1,l\displaystyle\!\!\!\!\!|\mathbf{\Theta}_{l,l}|=1,\;\;\forall l\in\mathcal{L} (12b)

The highly non-convex UMC of (12b) and the quartic term g4(𝚯)g_{4}(\mathbf{\Theta}) in the objective function (12a) are the two main challenges in solving (P2\mathrm{P}_{2}). To convert P2\mathrm{P}_{2} into a solvable form, we could locally approximate/minorize g4(𝚯)g_{4}(\mathbf{\Theta}) with a second order function of 𝚯\mathbf{\Theta}, which could afterwards be solved by the existing optimization techniques, for instance SDR [13]. However, solving the semidefinite programming (SDP) brought by SDR, for the covariance matrix of 𝚯\mathbf{\Theta}, would require expensive computation when LL is large. In addition, Gaussian randomization would be necessary to reconstruct 𝚯\mathbf{\Theta} from its covariance, and that would involve high complexity when LL is large [13]. To bypass the complexity of SDR technique, in our work, the minorized second order function is minorized again, with a linear function of 𝚯\mathbf{\Theta}. With this method, we can obtain a closed-form solution for P2\mathrm{P}_{2}.

First let us define 𝐗=𝚯𝐑𝚯\mathbf{X}\buildrel\triangle\over{=}\mathbf{\Theta}\mathbf{R}\mathbf{\Theta} and g4=g4σR2/[α2β]g_{4}^{\prime}\buildrel\triangle\over{=}g_{4}\sigma_{R}^{2}/[\alpha^{2}\beta]. We can write

g4=tr[𝐗H𝐆𝐆T𝐗𝐆𝐏𝐏H𝐆H]=(a)𝐱~H𝐐𝐱~,\displaystyle g_{4}^{\prime}=\mathrm{tr}\!\left[{\mathbf{X}^{H}\mathbf{G}^{\ast}\mathbf{G}^{T}\mathbf{X}\mathbf{G}\mathbf{P}\mathbf{P}^{\!H}\!\mathbf{G}^{\!H}\!}\right]\overset{(\text{a})}{=}\mathbf{\tilde{x}}^{H}\mathbf{Q}\mathbf{\tilde{x}}, (13)

where in step (a), tr[𝐗H𝐖𝐗𝐕T]=𝐱~H(𝐕𝐖)𝐱~\mathrm{tr}\!\left[{\mathbf{X}^{H}\mathbf{W}\mathbf{X}\mathbf{V}^{T}}\right]=\mathbf{\tilde{x}}^{H}(\mathbf{V}\!\otimes\mathbf{W})\mathbf{\tilde{x}} is invoked, 𝐐=𝐕𝐖=(𝐆𝐏𝐏H𝐆H)T(𝐆𝐆T)\mathbf{Q}=\mathbf{V}\!\otimes\mathbf{W}=(\mathbf{G}\mathbf{P}\mathbf{P}^{\!H}\!\mathbf{G}^{\!H})^{T}\otimes(\mathbf{G}^{\ast}\mathbf{G}^{T}), and 𝐱~=vec(𝐗)\mathbf{\tilde{x}}=\text{vec}(\mathbf{X}).

In each iteration, g4g_{4}^{\prime} is minorized by [12]

g4𝐱~H𝐐𝐱~t+𝐱~tH𝐐𝐱~𝐱~tH𝐐𝐱~t,\displaystyle g_{4}^{\prime}\geq\mathbf{\tilde{x}}^{H}\mathbf{Q}\mathbf{\tilde{x}}_{t}+\mathbf{\tilde{x}}^{H}_{t}\mathbf{Q}\mathbf{\tilde{x}}-\mathbf{\tilde{x}}_{t}^{H}\mathbf{Q}\mathbf{\tilde{x}}_{t}, (14)

where 𝐱~t\mathbf{\tilde{x}}_{t} is the solved value of 𝐱~\mathbf{\tilde{x}} in the previous/tt-th iteration [12], and the current iteration index is t+1t+1. The third term on the right hand side of (14) is not related to the variable 𝐱~\mathbf{\tilde{x}}, therefore is disregarded.

The first term can be re-written as

𝐱~H𝐐𝐱~t=(a)vec(𝐗)Hvec(𝐘)=tr[𝐗H𝐘]\displaystyle\mathbf{\tilde{x}}^{H}\mathbf{Q}\mathbf{\tilde{x}}_{t}\overset{(\text{a})}{=}\text{vec}(\mathbf{X})^{H}\text{vec}(\mathbf{Y})=\mathrm{tr}\!\left[{\mathbf{X}^{H}\mathbf{Y}}\right]
=(b)tr[𝚯H𝐑H𝚯H𝐘]=𝜽H(𝐑H𝐘T)𝜽,\displaystyle\overset{(\text{b})}{=}\mathrm{tr}\!\left[{\mathbf{\Theta}^{H}\mathbf{R}^{H}\mathbf{\Theta}^{H}\mathbf{Y}}\right]=\boldsymbol{\theta}^{H}(\mathbf{R}^{H}\circ\mathbf{Y}^{T})\boldsymbol{\theta}^{\ast}, (15)

where 𝐱~=vec(𝐗)\mathbf{\tilde{x}}=\text{vec}(\mathbf{X}) is referred in step (a), vec(𝐘)=𝐐𝐱~t\text{vec}(\mathbf{Y})=\mathbf{Q}\mathbf{\tilde{x}}_{t}, 𝐗=𝚯𝐑𝚯\mathbf{X}=\mathbf{\Theta}\mathbf{R}\mathbf{\Theta} is invoked in step (b), and 𝜽=𝚯𝟏N×1\boldsymbol{\theta}=\mathbf{\Theta}\mathbf{1}_{N\times 1}.

Likewise, 𝐱~tH𝐐𝐱~\mathbf{\tilde{x}}^{H}_{t}\mathbf{Q}\mathbf{\tilde{x}} is re-written as 𝜽T(𝐑𝐙T)𝜽\boldsymbol{\theta}^{T}(\mathbf{R}\circ\mathbf{Z}^{T})\boldsymbol{\theta}, where vec(𝐙)=𝐐T𝐱~t\text{vec}(\mathbf{Z})=\mathbf{Q}^{T}\mathbf{\tilde{x}}_{t}^{\ast}. Thus, we have a surrogate function for the g4g_{4} term as

g~4(𝜽)=𝜽H𝐔1𝜽+𝜽T𝐔2𝜽,\displaystyle\tilde{g}_{4}(\boldsymbol{\theta})=\boldsymbol{\theta}^{H}\mathbf{U}_{1}\boldsymbol{\theta}^{\ast}+\boldsymbol{\theta}^{T}\mathbf{U}_{2}\boldsymbol{\theta}, (16)

where 𝐔1=(βα2/σR2)(𝐑H𝐘T)\mathbf{U}_{1}=(\beta\alpha^{2}/\sigma_{R}^{2})(\mathbf{R}^{H}\circ\mathbf{Y}^{T}), and 𝐔2=(βα2/σR2)(𝐑𝐙T)\mathbf{U}_{2}=(\beta\alpha^{2}/\sigma_{R}^{2})(\mathbf{R}\circ\mathbf{Z}^{T}).

In addition, the quadratic term g2g_{2} is re-written as a function of 𝜽=𝚯𝟏L×1\boldsymbol{\theta}=\mathbf{\Theta}\mathbf{1}_{L\times 1} as

g2(𝜽)=𝜽H𝐔3𝜽,\displaystyle g_{2}(\boldsymbol{\theta})=\boldsymbol{\theta}^{H}\mathbf{U}_{3}\boldsymbol{\theta}, (17)

where 𝐔3=((1β)/σC2)(𝐇H𝐇)(𝐆𝐏𝐏H𝐆H)T\mathbf{U}_{3}=((1-\beta)/\sigma_{C}^{2})(\mathbf{H}^{H}\mathbf{H})\circ(\mathbf{G}\mathbf{P}\mathbf{P}^{H}\mathbf{G}^{H})^{T}.

Similarly, g1g_{1} is written as

g1(𝜽)=𝜽H𝝁+𝜽T𝝁,\displaystyle g_{1}(\boldsymbol{\theta})=\boldsymbol{\theta}^{H}\boldsymbol{\mu}^{\ast}+\boldsymbol{\theta}^{T}\boldsymbol{\mu}, (18)

where 𝝁=diag(𝐔4)\boldsymbol{\mu}=\text{diag}(\mathbf{U}_{4}), and 𝐔4=((1β)/σC2)𝐆𝐏𝐏H𝐅H𝐇\mathbf{U}_{4}=((1-\beta)/\sigma_{C}^{2})\mathbf{G}\mathbf{P}\mathbf{P}^{H}\mathbf{F}^{H}\mathbf{H}.

Thereby, (P2)(\mathrm{P}_{2}) is transformed as

(P~2)max𝜽\displaystyle\!\!\!\!\!\!\!\!\!(\tilde{\mathrm{P}}_{2})\qquad\max_{\boldsymbol{\theta}} g~(𝜽)=g~4(𝜽)+g2(𝜽)+g1(𝜽)\displaystyle\!\!\!\!\!\tilde{g}(\boldsymbol{\theta})=\tilde{g}_{4}(\boldsymbol{\theta})+g_{2}(\boldsymbol{\theta})+g_{1}(\boldsymbol{\theta}) (19a)
s.t.\displaystyle\!\!\!\!\!\!\!\!\!\mathrm{s.t.} |𝜽l,1|=1,l,\displaystyle\!\!\!\!\!|{\boldsymbol{\theta}}_{l,1}|=1,\;\;\forall l\in\mathcal{L}, (19b)

where 𝜽l,1{\boldsymbol{\theta}}_{l,1} is the ll-th element of the column vector 𝜽\boldsymbol{\theta}.

On noting that g~(𝜽)=𝜽H𝐔1𝜽+𝜽T𝐔2𝜽+𝜽H𝐔3𝜽+𝜽H𝝁+𝜽T𝝁\tilde{g}(\boldsymbol{\theta})=\boldsymbol{\theta}^{H}\mathbf{U}_{1}\boldsymbol{\theta}^{\ast}+\boldsymbol{\theta}^{T}\mathbf{U}_{2}\boldsymbol{\theta}+\boldsymbol{\theta}^{H}\mathbf{U}_{3}\boldsymbol{\theta}+\boldsymbol{\theta}^{H}\boldsymbol{\mu}^{\ast}+\boldsymbol{\theta}^{T}\boldsymbol{\mu} is quadratic into 𝜽\boldsymbol{\theta}, (P~2)(\tilde{\mathrm{P}}_{2}) can be treated as a quadratic program, and thus can be solved with interior point methods [13, 14]. To mitigate the complexity, the surrogate objective function g~(𝜽)\tilde{g}(\boldsymbol{\theta}) is minorized [12] again to make it linear in 𝜽\boldsymbol{\theta}, i.e.,

g~~(𝜽)={2𝜽tH𝐔1𝜽+2𝜽tT𝐔2𝜽+𝜽H𝐔3𝜽t+𝜽tH𝐔3𝜽\displaystyle\tilde{\tilde{g}}(\boldsymbol{\theta})=\Re\{2\boldsymbol{\theta}^{H}_{t}\mathbf{U}_{1}\boldsymbol{\theta}^{\ast}+2\boldsymbol{\theta}^{T}_{t}\mathbf{U}_{2}\boldsymbol{\theta}+\boldsymbol{\theta}^{H}\mathbf{U}_{3}\boldsymbol{\theta}_{t}+\boldsymbol{\theta}^{H}_{t}\mathbf{U}_{3}\boldsymbol{\theta}
+𝜽H𝝁+𝜽T𝝁}={𝜽H(2𝐔1T𝜽t+𝐔3𝜽t+𝝁)\displaystyle+\boldsymbol{\theta}^{H}\boldsymbol{\mu}^{\ast}+\boldsymbol{\theta}^{T}\boldsymbol{\mu}\}=\Re\{\boldsymbol{\theta}^{H}(2\mathbf{U}_{1}^{T}\boldsymbol{\theta}_{t}^{\ast}+\mathbf{U}_{3}\boldsymbol{\theta}_{t}+\boldsymbol{\mu}^{\ast})
+𝜽T(2𝐔2T𝜽t+𝐔3T𝜽t+𝝁)}={𝜽H𝝂+𝜽T𝜼},\displaystyle+\boldsymbol{\theta}^{T}(2\mathbf{U}_{2}^{T}\boldsymbol{\theta}_{t}+\mathbf{U}_{3}^{T}\boldsymbol{\theta}_{t}^{\ast}+\boldsymbol{\mu})\}=\Re\{\boldsymbol{\theta}^{H}\boldsymbol{\nu}+\boldsymbol{\theta}^{T}\boldsymbol{\eta}\}, (20)

where

𝝂=2𝐔1T𝜽t+𝐔3𝜽t+𝝁,\displaystyle\boldsymbol{\nu}=2\mathbf{U}_{1}^{T}\boldsymbol{\theta}_{t}^{\ast}+\mathbf{U}_{3}\boldsymbol{\theta}_{t}+\boldsymbol{\mu}^{\ast}, (21a)
𝜼=2𝐔2T𝜽t+𝐔3T𝜽t+𝝁,\displaystyle\boldsymbol{\eta}=2\mathbf{U}_{2}^{T}\boldsymbol{\theta}_{t}+\mathbf{U}_{3}^{T}\boldsymbol{\theta}_{t}^{\ast}+\boldsymbol{\mu}, (21b)

where 𝜽t\boldsymbol{\theta}_{t} is the solved value of 𝜽\boldsymbol{\theta} in previous/tt-th iteration. Thus, (P~2)(\tilde{\mathrm{P}}_{2}) turns into

(P~~2)max𝜽\displaystyle\!\!\!\!\!\!\!\!\!(\tilde{\tilde{\mathrm{P}}}_{2})\qquad\max_{\boldsymbol{\theta}} g~~(𝜽)={𝜽H𝝂+𝜽T𝜼}\displaystyle\!\!\!\!\!\tilde{\tilde{g}}(\boldsymbol{\theta})=\Re\{\boldsymbol{\theta}^{H}\boldsymbol{\nu}+\boldsymbol{\theta}^{T}\boldsymbol{\eta}\} (22a)
s.t.\displaystyle\!\!\!\!\!\!\!\!\!\mathrm{s.t.} |𝜽l,1|=1,l\displaystyle\!\!\!\!\!|{\boldsymbol{\theta}}_{l,1}|=1,\;\;\forall l\in\mathcal{L} (22b)

The solution of (P~~2)(\tilde{\tilde{\mathrm{P}}}_{2}) in the (t+1)(t+1)-th iteration is

𝜽t+1=exp[jarg(𝝂+𝜼)].\displaystyle{\boldsymbol{\theta}}_{t+1}=\exp{[j\text{arg}(\boldsymbol{\nu}+\boldsymbol{\eta}^{\ast})]}. (23)

We refer readers to [22] for the monotonicity of the objective brought by the aforementioned power method-like iteration in Eq. (23), and [23] for the proof of convergence of minorization technique. The alternating optimization algorithm for solving the radar precoder matrix 𝐏\mathbf{P} and IRS parameter matrix 𝚯\mathbf{\Theta} is summarized as Algorithm 1. ε\varepsilon in Algorithm 1 is an error tolerance indicator, tt is the iteration index, and g(t)g^{(t)} is the value of the objective function in tt-th iteration.

Result: Return 𝐏\mathbf{P} and 𝚯\mathbf{\Theta}.
Initialization: 𝚯=𝚯0\mathbf{\Theta}=\mathbf{\Theta}_{0}, 𝜽0=𝚯0𝟏N×1\boldsymbol{\theta}_{0}=\mathbf{\Theta}_{0}\mathbf{1}_{N\times 1}, t=0t=0;
while  (1)\!\!\!(1)  do
      
       // Sub-problem 1
      Obtain 𝐏˘k\mathbf{\breve{P}}_{k} by solving problem (9);
      
      Construct 𝐩k\mathbf{p}_{k} from 𝐏˘k\mathbf{\breve{P}}_{k} where 𝐏˘k=𝐩k𝐩kH\mathbf{\breve{P}}_{k}=\mathbf{p}_{k}\mathbf{p}_{k}^{H} by Gaussian randomization for k𝒦k\in\mathcal{K};
      
      𝐏=[𝐩1,,𝐩k,,𝐩K]\mathbf{P}=[\mathbf{p}_{1},\cdots,\mathbf{p}_{k},\cdots,\mathbf{p}_{K}];
      
       // Sub-problem 2
      Plug 𝐏\mathbf{P} solved in sub-problem 1 in sub-problem 2;
      
      Calculate 𝝂\boldsymbol{\nu} and 𝜼\boldsymbol{\eta} per (21);
      
      Use (23) to update the value of 𝜽t+1\boldsymbol{\theta}_{t+1};
      
      𝚯=diag(𝜽t+1)\mathbf{\Theta}=\text{diag}(\boldsymbol{\theta}_{t+1});
      
       // Termination determination
      if ((ttmax)||(|[g(t+1)g(t)]/g(t)|ε))\left((t\geq t_{\max})\;||\;(\big{|}\!\left[g^{(t+1)}\!-\!g^{(t)}\right]\!/\!g^{(t)}\!\big{|}\leq\varepsilon)\right) then
             Break;
            
       end if
      
      t=t+1t=t+1;
end while
Algorithm 1 Iterative maximization of weighted SNR

IV NUMERICAL RESULTS

TABLE I: Simulation Parameters
Parameter Value
Algorithm error tolerance ε\varepsilon [dB] 20-20
Maximum allowed number of iterations tmaxt_{\max} 20
Number of communication receivers KK 5
Rician factor of channel 𝐆\mathbf{G}, κG\kappa_{G} [dB] 0
radar receiver noise power σR2\sigma_{R}^{2} [dBm] 0
communication receiver noise power σC2\sigma_{C}^{2} [dBm] 0
Radar transmitter/receiver inter-antenna space 0.5λ0.5\lambda
Radar beampattern disimilarity threshold γBP\gamma_{BP} [dB] 1010

This section provides numerical results to demonstrate the convergence of the proposed optimization algorithm and its advantage over the works of [13, 17]. In the simulation, the channels are simulated according to the Rician fading model. For channel 𝐇\mathbf{H} and 𝐅\mathbf{F}, the NLOS component is more dominating, as in [13].

Refer to caption
Figure 2: Convergence of objective function/weighted sum SNR. Parameter configuration: |α|=20|\alpha|=-20 dB, PT=30P_{T}=30 dBm, NT=16N_{T}=16, L=36L=36.

Convergence: Fig. 2 displays the convergence of the objective function/weighted SNR for different values of the weight of the radar SNR (β\beta). The solid lines are the mean of objective of 5050 realizations, and the shaded areas around the mean show the variance of the different realizations. It is shown that the objective increases faster with larger β\beta. Note that the radar SNR is quartic in 𝚯\mathbf{\Theta}, and the communication SNR is quadratic in 𝚯\mathbf{\Theta}, so the former is more sensitive to the change of 𝚯\mathbf{\Theta}. Larger β\beta, which means assigning the radar SNR more priority, will result in quicker increase of the weighted sum SNR/objective function. To well balance the radar and communication metrics, β\beta should be chosen such that βSNRR\beta\text{SNR}_{R} and (1β)SNRC(1-\beta)\text{SNR}_{C} are on the same scale.

Comparisons with previous works: In Fig. 3, our proposed double minorization method is compared with minorization-SDR [13] and manifold optimization [17] when the number of IRS elements (LL) changes. In [13], the quartic objective function is first surrogated with a quadratic one, then solved with SDR to obtain the covariance matrix of the IRS parameter. The IRS parameter is re-constructed from the covariance via Gaussian randomization. In [17], manifold optimization is proposed for the fourth order objective via Riemannian gradient ascent. Per the first subplot of Fig. 3, our proposed method outperforms [13] and [17], and the objective of weighted SNR is boosted by increasing LL.

In the second subplot of Fig. 3, the average convergence time of the three aforementioned optimization techniques are compared when LL varies. The convergence time of our method and that of [17] increases negligibly with LL, since both methods are using closed-form solutions, requiring only matrix multiplications and additions. Our technique takes fewer iterations to converge as compared to [17]. Minorization-SDR [13] also needs only a small number of iterations to converge. However, [13] needs to solve SDP with IPM in each iteration, with complexity of 𝒪(L3.5)\mathcal{O}(L^{3.5}). Thus, the convergence time of [13] is not scaling well with LL, as compared to our paper and that of [17].

Refer to caption
Figure 3: Comparison with manifold optimization [17] and minorization-SDR [13] when number of IRS elements (LL) varies. Parameter configuration: β=0.9\beta=0.9, |α|=20|\alpha|=-20 dB, PT=30P_{T}=30 dBm, NT=16N_{T}=16.

Remarks: The performance loss of [13] is obvious when LL is large. This comes from the Gaussian randomization operation, which computes the IRS parameter from its covariance. For the sake of simplicity and without loss of generality, we denote the optimal objective value of the SDP in the first step as tr[𝐀𝐑𝜽]\mathrm{tr}\!\left[{\mathbf{A}\mathbf{R}_{\boldsymbol{\theta}}^{\ast}}\right], where 𝐑𝜽{\mathbf{R}_{\boldsymbol{\theta}}^{\ast}} is the optimal solution of 𝐑𝜽{\mathbf{R}_{\boldsymbol{\theta}}} which maximizes tr[𝐀𝐑𝜽]\mathrm{tr}\!\left[{\mathbf{A}\mathbf{R}_{\boldsymbol{\theta}}}\right], and 𝐑𝜽\mathbf{R}_{\boldsymbol{\theta}} is the covariance matrix of 𝜽\boldsymbol{\theta}. We realize 𝝃𝒞𝒩(𝟎,𝐑𝜽)\boldsymbol{\xi}\sim\mathcal{CN}(\mathbf{0},\mathbf{R}_{\boldsymbol{\theta}}^{\ast}) with NGN_{G} samples, and choose the one that maximizes tr[𝐀𝝃𝝃H]\mathrm{tr}\!\left[{\mathbf{A}\boldsymbol{\xi}\boldsymbol{\xi}^{H}}\right], and we denote this solution as 𝝃\boldsymbol{\xi}^{\ast}. The approximation ratio γ=tr[𝐀𝝃(𝝃)H]/tr[𝐀𝐑𝜽]\gamma=\mathrm{tr}\!\left[{\mathbf{A}\boldsymbol{\xi}^{\ast}(\boldsymbol{\xi}^{\ast})^{H}}\right]/\mathrm{tr}\!\left[{\mathbf{A}\mathbf{R}_{\boldsymbol{\theta}}^{\ast}}\right] is statistically increasing with the growth of NGN_{G} [19]. However, as Fig. 4 shows, in large NGN_{G} region, the ratio increases negligibly by increasing NGN_{G} for large LL. It is observed that, for [13], to obtain a high quality solution, we need to realize a large number of randomized solutions when LL is large.

Refer to caption
Figure 4: The approximation ratio versus number of realizations of randomized solutions. Parameter configuration: β=0.9\beta=0.9, |α|=20|\alpha|=-20 dB, PT=30P_{T}=30 dBm, NT=16N_{T}=16.

V CONCLUSIONS

An alternating optimization based low-complexity design has been proposed for an IRS-aided ISAC system, for maximizing the weighted sum SNR at the radar and communication receivers. The challenging IRS parameter design problem, with fourth order objective and UMC on the IRS parameter, is solved by applying our proposed double minorization technique. The complexity of system design is alleviated since only matrix multiplication and addition operations are necessary for obtaining the solution of IRS parameter. Therefore, this method works fast even when the IRS size grows large. The fast convergence and usefulness of our proposed method have been shown in the numerical results.

References

  • [1] A. Zhang, F. Liu, C. Masouros, R. W. Heath Jr. , Z. Feng, L. Zheng, and A. Petropulu, “An overview of signal processing techniques for joint communication and radar sensing,” accepted in IEEE Journal on Spetial Topics in Signal Processing (see also arXiv:2102.12780), 2021.
  • [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, sep 2019.
  • [3] J. A. Zhang, M. L. Rahman, X. Huang, Y. J. Guo, S. Chen, and R. W. Heath, “Perceptive mobile network: Cellular networks with radio vision via joint communication and radar sensing,” IEEE Vehicular Technology Magazine, pp. 1–11, 2020.
  • [4] F. Liu, L. Zheng, Y. Cui, C. Masouros, A. P. Petropulu, H. Griffiths, and Y. C. Eldar, “Seventy years of radar and communications: The road from separation to integration,” arXiv:2210.00446, 2022.
  • [5] Z. Wei, F. Liu, C. Masouros, N. Su, and A. P. Petropulu, “Toward multi-functional 6G wireless networks: Integrating sensing, communication, and security,” IEEE Commun. Mag., vol. 60, no. 4, pp. 65–71, 2022.
  • [6] F. Liu, C. Masouros, A. P. Petropulu, H. Griffiths, and L. Hanzo, “Joint radar and communication design: Applications, state-of-the-art, and the road ahead,” IEEE Transactions on Communications, vol. 68, no. 6, pp. 3834–3862, 2020.
  • [7] 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.
  • [8] Q. Wu and R. Zhang, “Intelligent reflecting surface enhanced wireless network via joint active and passive beamforming,” IEEE Transactions on Wireless Communications, vol. 18, no. 11, pp. 5394–5409, 2019.
  • [9] C. Huang, A. Zappone, G. C. Alexandropoulos, M. Debbah, and C. Yuen, “Reconfigurable intelligent surfaces for energy efficiency in wireless communication,” IEEE Trans. Wireless Commun., vol. 18, no. 8, pp. 4157–4170, 2019.
  • [10] S. Buzzi, E. Grossi, M. Lops, and L. Venturino, “Foundations of MIMO radar detection aided by reconfigurable intelligent surfaces,” IEEE Trans. Signal Process., vol. 70, pp. 1749–1763, 2022.
  • [11] F. Liu, L. Zhou, C. Masouros, A. Li, W. Luo, and A. Petropulu, “Toward dual-functional radar-communication systems: Optimal waveform design,” IEEE Trans. Signal Process., vol. 66, no. 16, pp. 4264–4279, 2018.
  • [12] Y. Sun, P. Babu, and D. P. Palomar, “Majorization-minimization algorithms in signal processing, communications, and machine learning,” IEEE Trans. Signal Process., vol. 65, no. 3, pp. 794–816, 2017.
  • [13] Z.-M. Jiang, M. Rihan, P. Zhang, L. Huang, Q. Deng, J. Zhang, and E. M. Mohamed, “Intelligent reflecting surface aided dual-function radar and communication system,” IEEE Syst. J., pp. 1–12, 2021.
  • [14] R. Liu, M. Li, Y. Liu, Q. Wu, and Q. Liu, “Joint transmit waveform and passive beamforming design for RIS-aided DFRC systems,” IEEE J. Sel. Topics Signal Process., vol. 16, no. 5, pp. 995–1010, 2022.
  • [15] H. Luo, R. Liu, M. Li, Y. Liu, and Q. Liu, “Joint beamforming design for RIS-assisted integrated sensing and communication systems,” IEEE Trans. Veh. Technol., pp. 1–5, 2022.
  • [16] T. Wei, L. Wu, K. V. Mishra, and M. R. B. Shankar, “IRS-aided wideband dual-function radar-communications with quantized phase-shifts,” in 2022 IEEE 12th Sensor Array and Multichannel Signal Processing Workshop (SAM), 2022, pp. 465–469.
  • [17] Y. Li and A. Petropulu, “Dual-function radar-communication system aided by intelligent reflecting surfaces,” in 2022 IEEE 12th Sensor Array and Multichannel Signal Processing Workshop (SAM), 2022, pp. 126–130.
  • [18] M. Najafi, V. Jamali, R. Schober, and H. V. Poor, “Physics-based modeling and scalable optimization of large intelligent reflecting surfaces,” IEEE Trans. Commun., vol. 69, no. 4, pp. 2673–2691, 2021.
  • [19] Z.-q. Luo, W.-k. Ma, A. M.-c. So, Y. Ye, and S. Zhang, “Semidefinite relaxation of quadratic optimization problems,” IEEE Signal Process. Mag., vol. 27, no. 3, pp. 20–34, 2010.
  • [20] M. Grant and S. Boyd, “CVX: Matlab software for disciplined convex programming, version 2.1,” http://cvxr.com/cvx, Mar. 2014.
  • [21] B. Li and A. P. Petropulu, “Joint transmit designs for coexistence of MIMO wireless communications and sparse sensing radars in clutter,” IEEE Trans. Aerosp. Electron. Syst., vol. 53, no. 6, pp. 2846–2864, 2017.
  • [22] M. Soltanalian and P. Stoica, “Designing unimodular codes via quadratic optimization,” IEEE Trans. Signal Process., vol. 62, no. 5, pp. 1221–1234, 2014.
  • [23] L. Wu, P. Babu, and D. P. Palomar, “Transmit waveform/receive filter design for MIMO radar with multiple waveform constraints,” IEEE Trans. Signal Process., vol. 66, no. 6, pp. 1526–1540, 2018.