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

Waveform Optimization with Multiple Performance Metrics for Broadband Joint Communication and Radar Sensing

Zhitong Ni, , J. Andrew Zhang, ,
Kai Yang, , Xiaojing Huang, ,
and Theodoros A. Tsiftsis, 
Z. Ni, K. Yang are with the School of Information and Electronics, Beijing Institute of Technology, Beijing, 100081, China. Z. Ni is also with the Global Big Data Technologies Centre, University of Technology Sydney, NSW, 2007, Australia (Emails: [email protected], [email protected]). J. Andrew Zhang and X. Huang are with the Global Big Data Technologies Centre, University of Technology Sydney, NSW, 2007, Australia (Emails: [email protected], [email protected]).T. A. Tsiftsis is with the Institute of Physical Internet, and with the school of Intelligent Systems Science and Engineering, Jinan University, Zhuhai Campus, Zhuhai, 519070, China. (Email: [email protected]).
Abstract

Joint communication and radar sensing (JCAS) integrates communication and radar/radio sensing into one system, sharing one transmitted signal. In this paper, we investigate JCAS waveform optimization underlying communication signals, where a base station detects radar targets and communicates with mobile users simultaneously. We first develop individual novel waveform optimization problems for communications and sensing, respectively. For communications, we propose a novel lower bound of sum rate by integrating multi-user interference and effective channel gain into one metric that simplifies the optimization of the sum rate. For radar sensing, we consider optimizing one of two metrics, the mutual information or the Cramér-Rao bound. Then, we formulate the JCAS problem by optimizing the communication metric under different constraints of the radar metric, and we obtain both closed-form solutions and iterative solutions to the non-convex JCAS optimization problem. Numerical results are provided and verify the proposed optimization solutions.

Index Terms:
Joint communication and radar sensing (JCAS), mobile networks, radar-communications, broadband

I Introduction

Sharing many hardware and signal processing modules and transmitting one single signal, joint communication and radar sensing (JCAS) systems have shown great potential in many applications. One main application is for the fifth-generation (5G) cellular networks or beyond [1, 2], where the transmitted signals are used for both providing communication services and sensing the surrounding environments. JCAS also brings a lot of interests in vehicular networks and self-driving [3, 4, 5], where signals used for communications between cars are also used for sensing the environment to detect objects and avoid collisions.

I-A Related Works

With most traditional hardware components replaced by digital processing modules, JCAS-enabled systems can reduce the number of connected devices and save the frequency resources [6, 7, 8]. To utilize the resources completely, most developed JCAS systems transmit single waveforms [9], except some works realizing JCAS functions via multiplexing technologies, such as time division multiplexing (TDM) [10], frequency division multiplexing (FDM) [11], or code division multiplexing (CDM) [12]. The resource utilization of single waveforms is highly efficient since the waveforms are shared by both communication and radar systems. Such waveforms can be developed from classical radar waveforms [13] or conventional communication waveforms [14].

Single waveform optimization has been reported in the literature. In [15], a multi-beam approach was proposed to flexibly generate JCAS sub-beams using analog antenna arrays. The optimization of the multi-beams was further investigated in [16]. This approach can adapt to varying channels but is suboptimal. In [17], the authors separated antenna arrays into two groups for realizing dual-function JCAS systems. The radar waveform falls into the nullspace of the downlink channel, such that the interference between radar signals and communication signals can be minimized. A multi-objective function was further applied to trade off the similarity between the generated waveform and the desired one in [18]. The multi-objective function in [18] is a weighted sum of two individual optimal waveforms. In [19], the authors maximized the radar signal-to-interference-plus-noise ratio (SINR) with a given specific capacity of communication channels. The work in [20, 21] further introduced a sub-sampling matrix for radar as an objective function of the optimization. It is noted that all these works studied waveform optimization in a narrowband scenario and ignored the frequency diversity.

When optimizing JCAS waveforms, different performance metrics for both communications and radar sensing can be used. The metrics for multiuser communication systems include multiuser interference (MUI) [18, 22] and effective channel gain (ECG) [23]. The MUI tolerance was analyzed for multi-input-multi-output orthogonal-frequency-division-multiplexing (MIMO-OFDM) JCAS systems in [22], using the interleaved signal model in [24]. The individual optimal communication waveform in [18] is also based on minimizing the MUI. However, simply minimizing MUI can cause the JCAS signals to fall into the nullspace of individual communication signals and result in a low SINR. To tackle this issue, the authors in [18] introduced an expected diagonal matrix that requires prior knowledge about the ECG.

As for radar sensing, typically considered performance metrics include mutual information (MI) [25, 26], Cramér-Rao bound (CRB) [9, 27], and minimum mean-squared error (MMSE) [28]. In [25], MI for an OFDM JCAS system was studied, and the power allocation on subcarriers was investigated by maximizing the weighted sum of the MI of radar and the MI of communication. In [26], the authors developed an MI measure that jointly optimizes the performance of radar and communication systems that overlap in the same frequency band. The CRB and MMSE are also commonly used metrics for waveform optimization. In [27], the authors derived the performance bounds in a single antenna system. In [28], the authors derived performance bounds for the radar estimation rate based on MMSE estimation bounds.

I-B Motivations and Contributions

Although the above-mentioned metrics have been individually studied for JCAS systems, no links between them have been identified so far. Some of those papers can be invalid when the number of sensing targets is not equal to that of the communication users. For communications, the SINR is the main concern, while most papers do not address the SINR directly and use some indirect metrics. For radar sensing, we note that different metrics can be used but there are no parallel comparisons. Based on the limitations of prior works, we aim to build a common method that can utilize different metrics for both communications and radar sensing.

This paper aims to develop waveform optimization algorithms for broadband JCAS systems and establish connections between different metrics of optimization. We consider a practical JCAS system of deployment. JCAS systems, particularly those underlying communication signals, confront the major challenge of full-duplex, that is, transmitting and receiving at the same time using the same frequency channel [29]. Solutions bypassing full-duplex requirements were discussed in [30, 31]. Here, we adopt a single receive antenna dedicated to radar sensing, which is a low-cost and practical solution at the moment.

The key idea is to optimize a developed novel lower bound of SINR for communications under different constraints of the radar metrics. By studying optimization with respect to these metrics together, for the first time, we disclose the important connections and relationships between these metrics in JCAS systems.

The main contributions of this paper are summarized as follows.

  • We derive multiple metrics, including MUI and ECG for communications, and MMSE, MI, and CRB for radar sensing, in a broadband JCAS system. In the adopted system, bypassing the full-duplex requirement, the base station (BS) uses one single receive antenna for collecting the signals reflected from targets.

  • We develop a novel lower bound of SINR as the communication metric, which contains both MUI and ECG. The developed lower bound simplifies the expression of SINR and makes it flexible for joint waveform optimization, involving both communication and radar metrics.

  • For radar sensing, we derive multiple metrics, including MMSE, MI, and CRB. We show the connections between optimizing these metrics.

  • We apply these multiple performance metrics and formulate two kinds of JCAS waveform optimization problems by minimizing the proposed communication metric under the constraint of the radar metric. We obtain the corresponding closed-form solutions under certain conditions. When the conditions are not satisfied, we propose iterative solutions based on Newton’s method.

Notations: 𝐚\rm\bf a denotes a vector, 𝐀\rm\bf A denotes a matrix, italic English letters like NN and lower-case Greek letters α\alpha are a scalar. |𝐀|,𝐀T,𝐀H,𝐀,|{\rm\bf A}|,{\rm\bf A}^{T},{\rm\bf A}^{H},{\rm\bf A}^{*}, and 𝐀{\rm\bf A}^{\dagger} represent determinant value, transpose, conjugate transpose, conjugate, and pseudo inverse, respectively. We use diag(𝐚){\rm diag}({\bf a}) to denote a diagonal matrix with diagonal entries being the entries of 𝐚{\bf a}. 𝐀F\|{\rm\bf A}\|_{F} and [𝐀]N[{\rm\bf A}]_{N} represent the Frobenius norm and the NNth column of a matrix, respectively.

II System and Channel Models

Refer to caption
Figure 1: Illustration of JCAS systems with downlink sensing. The BS uses a single-antenna receiver dedicated for sensing the reflected downlink signals.

We consider an OFDM-based JCAS system supporting multiuser communications, as well as active downlink sensing. As shown in Fig. 1, the sensing is conducted at the BS, where an N×1N\times 1 uniform linear array (ULA) is employed for simultaneous communications and radar sensing. Since the full-duplex technologies are not mature yet, we consider a low-cost alternative setup, where a single antenna, sufficiently separated from and synchronized with the transmit array, is used for solely collecting the reflected signals and detecting targets. Note that the sensing parameters can still be effectively estimated by using the received signal from the single-antenna receiver, except for the angle-of-arrivals (AoAs). The angle-of-departures (AoDs) can be obtained and serve a similar purpose as the AoAs.

The OFDM signal consists of KK subcarriers with the subcarrier interval being Δf=1/T\Delta f=1/T, where TT is the length of one OFDM symbol exclusive of the cyclic prefix (CP) of length TCT_{\rm C}. Letting 𝐬[k,m]{\bf s}[k,m] denote a U×1U\times 1 data symbol vector on subcarrier kk of the mmth time slot, we assume the data symbols are statistically independent, i.e., 𝔼(𝐬[k,m]𝐬H[k,m])=P𝐈{\mathbb{E}}({\bf s}[k,m]{\bf s}^{H}[k,m])=P{\bf I} with PP being the transmit power. A digital precoder with the dimension of N×UN\times U, 𝐏[k,m]{\bf P}[k,m], is applied to 𝐬[k,m]{\bf s}[k,m], such that 𝐏[k,m]F2=U\|{\bf P}[k,m]\|_{F}^{2}=U. The precoded data symbol vector is written as

𝐱[k,m]=𝐏[k,m]𝐬[k,m],\displaystyle{\bf x}[k,m]={\bf P}[k,m]{\bf s}[k,m],
k{0,,K1},m{0,,M1}.\displaystyle k\in\{0,\cdots,K-1\},m\in\{0,\cdots,M-1\}. (1)

An inverse fast Fourier transform (IFFT) across the frequency band is then applied to the elements of 𝐱[k,m]{\bf x}[k,m] from k=0k=0 to k=K1k=K-1 and transforms signals into time domain. The time-domain signals are transmitted by the N×1N\times 1 ULA.

The BS conducts downlink communications with UU multiple users (MUs) that are also potential targets. Each MU has a single receive antenna. It is noted that the system setup is equivalent to a multi-input-single-output (MISO) system. From [31] that adopts the same system setup, assembling mm from 0 to MM would obtain highly accurate estimates of parameters. Hence, we assume that Doppler frequency approximately equals zero from m=0m=0 to m=M1m=M-1 and make the system and channel model invariant to mm. Let us send a data block 𝐒[k]=[𝐬[k,0],,𝐬[k,M1]]{\bf S}[k]=\big{[}{\bf s}[k,0],\cdots,{\bf s}[k,M-1]\big{]} of length MM at the baseband of BS. The transmitted signals go through a beam-space multi-path channel. The received signal for each MU is sampled at the interval of T/KT/K and converted to the frequency domain using KK-point FFT’s after removing CP. The frequency-domain received signal block at the uuth MU is

𝐫u[k]=(𝐡uC[k])H𝐏[k]𝐒[k]+𝐧u1[k],\displaystyle{\bf r}_{u}[k]=({{\bf h}^{\rm C}_{u}}[k])^{H}{\bf P}[k]{\bf S}[k]+{\bf n}_{u}^{1}[k], (2)

where 𝐒[k]{\bf S}[k] is the data block, 𝐧u1[k]{\bf n}_{u}^{1}[k] is a complex AWGN vector with zero mean and covariance matrix of σ12𝐈M\sigma_{1}^{2}{\bf I}_{M}, and 𝐡uC[k]{{\bf h}^{\rm C}_{u}}[k] is a communication geometric channel, given by

𝐡uC[k]=lu=1Luβlu𝐚(Φlu)ej2πkτluT,\displaystyle{{\bf h}^{\rm C}_{u}}[k]=\sum\limits_{l_{u}=1}^{L_{u}}\beta_{l_{u}}{\bf a}(\Phi_{l_{u}})e^{-j2\pi k\frac{\tau_{l_{u}}}{T}}, (3)

where βlu\beta_{l_{u}} is the channel gain of the lul_{u}th path between BS and MU uu, Φlu=πsin(φlu)\Phi_{l_{u}}=\pi\sin(\varphi_{l_{u}}) is the equivalent AoD with φlu\varphi_{l_{u}} being the actual AoD, 𝐚(){\bf a}(\cdot) is an N×1N\times 1 normalized ULA array response vector, and τlu\tau_{l_{u}} is the time delay.

Meanwhile, the BS utilizes the single-antenna receiver to perform radar sensing. We assume that the transmitted signals from NN antennas impinge on LL targets with the time delays of {τl}l=1L\{\tau_{l}\}_{l=1}^{L}. Let us denote the sensing channel as

𝐡S[k]\displaystyle{{\bf h}^{\rm S}}[k] =l=1Lαl𝐚(Ωl)ej2πkτlT\displaystyle=\sum\limits_{l=1}^{L}\alpha_{l}{\bf a}({\Omega}_{l})e^{-j2\pi k\frac{\tau_{l}}{T}}
=𝐀𝐗𝐖[k]𝟏,\displaystyle={\bf A}{\bf X}{\bf W}[k]{\bf 1}, (4)

where αl\alpha_{l} is the path loss coming from the llth target, Ωl=πsin(ωl){\Omega}_{l}=\pi\sin(\omega_{l}) is the equivalent AoD with ωl\omega_{l} being the AoD, τl\tau_{l} is the delay of the llth target, 𝐀=[𝐚(Ω1),,𝐚(ΩL)]{\bf A}=[{\bf a}({\Omega}_{1}),\cdots,{\bf a}({\Omega}_{L})], 𝐗=diag(α1,,αL){\bf X}={\rm diag}(\alpha_{1},\cdots,\alpha_{L}), 𝐖[k]=diag([ej2πkτ1T,,ej2πkτLT]){\bf W}[k]={\rm diag}([e^{-j2\pi k\frac{\tau_{1}}{T}},\cdots,e^{-j2\pi k\frac{\tau_{L}}{T}}]), and 𝟏{\bf 1} is an L×1L\times 1 vector with all entries being 11s. We assume that the entries of radar channel are independent and identically distributed (i.i.d.). In [31], a parameter sensing algorithm has been proposed to estimate the parameters using the adopted setup. Hence, in this paper, we assume that both radar and communication channels are known at the BS by using the estimation algorithms in [31], and focus on the waveform optimization.

The received frequency-domain signal at the BS for radar sensing is written as

𝐫[k]=(𝐡S[k])H𝐏[k]𝐒[k]+𝐧[k],\displaystyle{\bf r}[k]=({{\bf h}^{\rm S}}[k])^{H}{\bf P}[k]{\bf S}[k]+{\bf n}[k], (5)

where 𝐧[k]{\bf n}[k] is a 1×M1\times M complex additive-white-Gaussian-noise (AWGN) vector with zero mean and covariance matrix of σ2𝐈M\sigma^{2}{\bf I}_{M}.

III Individual Performance Metrics

In this section, we will derive the performance metrics for communications and sensing individually. For communications, due to the non-convex nature of SINR, we propose and maximize a lower bound of SINR that is up to the MUI and the ECG of MUs. For radar sensing, we consider three different metrics, MMSE, MI, and CRB, and aim to disclose the links between these metrics.

III-A Metric for Communications

The sum rate or the SINR is the main concern for communications. However, the SINR has a non-convex form and can be difficult to optimize, especially when JCAS functions are required. In JCAS waveform optimization problems, both MUI and ECG have a dominant impact on the sum rate of communications. The MUI is on the denominator of SINR and can be expressed as

MUI\displaystyle{\rm MUI} =k=1Ku=1UvuU|(𝐡vC[k])H𝐩u[k]|2\displaystyle=\sum\limits_{k=1}^{K}\sum_{u=1}^{U}\sum_{v\neq u}^{U}\left|({\bf h}^{\rm C}_{v}[k])^{H}{\bf p}_{u}[k]\right|^{2}
=k=1K𝐇H[k]𝐏[k]diag(𝐇H[k]𝐏[k])F2\displaystyle=\sum\limits_{k=1}^{K}\left\|{\bf H}^{H}[k]{{\bf P}[k]}-{\rm diag}({\bf H}^{H}[k]{{\bf P}[k]})\right\|_{F}^{2}
k=1Ku=1UIk,u,\displaystyle\triangleq\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}I_{k,u}, (6)

where 𝐇[k]=[𝐡1C[k],,𝐡UC[k]]{\bf H}[k]=[{\bf h}^{\rm C}_{1}[k],\cdots,{\bf h}^{\rm C}_{U}[k]], 𝐩u[k]{\bf p}_{u}[k] is the uuth column of 𝐏[k]{\bf P}[k], and Ik,uI_{k,u} denotes as the MUI of the uuth MU on the kkth subcarrier. Traditional optimization methods that mitigate MUI for communications only are not appropriate for JCAS problems, since only minimizing MUI can cause that the precoding vectors fall into the nullspace of 𝐇[k]{\bf H}[k], and result in a low ECG.

The ECG of MU-MISO systems is on the nominator of the SINR and can be written as

ECG\displaystyle{\rm ECG} =k=1Kdiag(𝐇H[k]𝐏[k])F2\displaystyle=\sum\limits_{k=1}^{K}\left\|{\rm diag}({\bf H}^{H}[k]{{\bf P}[k]})\right\|_{F}^{2}
k=1Ku=1USk,u,\displaystyle\triangleq\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}S_{k,u}, (7)

where Sk,uS_{k,u} denotes the ECG of the uuth MU on the ggth subcarrier. To make the following JCAS problems flexible and easy to solve, we develop a regulated bound of SINR as

J=\displaystyle J= ECGμMUI\displaystyle{\rm ECG}-\mu{\rm MUI}
=\displaystyle= k=1Ku=1USk,uμIk,u\displaystyle\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}S_{k,u}-\mu I_{k,u}
=\displaystyle= k=1Ku=1U((𝐡uC[k])H𝐩u[k]F2μ𝐇~uH[k]𝐩u[k]F2)\displaystyle\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}\left(\left\|({{\bf h}^{\rm C}_{u}}[k])^{H}{{\bf p}_{u}}[k]\right\|_{F}^{2}-\mu\left\|\tilde{\bf H}_{u}^{H}[k]{{\bf p}}_{u}[k]\right\|_{F}^{2}\right)
=\displaystyle= k=1Ku=1U𝐩uH[k]𝐑u[k]𝐩u[k],\displaystyle-\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}{\bf p}_{u}^{H}[k]{\bf R}_{u}[k]{\bf p}_{u}[k], (8)

where 𝐇~u[k]=[𝐡1C[k],,𝐡u1C[k],𝐡u+1C[k],,𝐡UC[k]]\tilde{\bf H}_{u}[k]=\left[{\bf h}^{\rm C}_{1}[k],\cdots,{\bf h}^{\rm C}_{u-1}[k],{\bf h}^{\rm C}_{u+1}[k],\cdots,{\bf h}^{\rm C}_{U}[k]\right], 𝐑u[k]=μ𝐇~u[k]𝐇~uH[k]𝐡uC[k](𝐡uC[k])H{\bf R}_{u}[k]=\mu\tilde{\bf H}_{u}[k]\tilde{\bf H}_{u}^{H}[k]-{{\bf h}^{\rm C}_{u}}[k]({{\bf h}^{\rm C}_{u}}[k])^{H}, and μ\mu is a weighting coefficient to balance between ECG and MUI.

The defined regulated bound, JJ, can be seen as a lower bound of SINR when two conditions are satisfied. The first condition is Sk,u>μIk,uS_{k,u}>\mu I_{k,u}. The second condition is Ik,u+Uσ12/P1I_{k,u}+U\sigma_{1}^{2}/P\leq 1. Generally, Uσ12/PU\sigma_{1}^{2}/P can be neglected at high SNRs. Hence, both conditions can be satisfied at high SNRs by letting 𝐏[k]=(𝐇[k]){\bf P}[k]=({\bf H}[k])^{\dagger}, that is, we need Ik,uI_{k,u} to be zero.

Theorem 1.

JJ is a lower bound of SINR when Ik,u+Uσ12/P1I_{k,u}+U\sigma_{1}^{2}/P\leq 1 and Sk,u>μIk,uS_{k,u}>\mu I_{k,u}, u,k\forall u,k.

Proof.

The proof is shown in Appendix A. ∎

Theorem 1 unfolds that the defined metric, JJ, is a lower bound of SINR as long as the SNR is sufficiently large and the scaled MUI is less than the ECG. We also note that, when the noise term is zero, the SINR is no smaller than KUlog2(1+μ)KU\log_{2}(1+\mu). Hence, μ\mu should be much larger than one at high SNRs to guarantee a high SINR.

By using JJ to jointly optimize MUI and ECG, the individual waveform optimization problem for communications is formulated as

arg\displaystyle{\rm\arg}\, min𝐏[k]J=k=1Ku=1U𝐩uH[k]𝐑u[k]𝐩u[k]\displaystyle\mathop{\min}\limits_{{\bf P}[k]}-J=\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}{\bf p}_{u}^{H}[k]{\bf R}_{u}[k]{\bf p}_{u}[k]
s.t.\displaystyle{\rm s.t.} 𝐏[k]F2U\displaystyle\|{\bf P}[k]\|_{F}^{2}\leq U
Sk,uμIk,u>0\displaystyle S_{k,u}-\mu I_{k,u}>0
Ik,u+Uσ12/P1.\displaystyle I_{k,u}+U\sigma_{1}^{2}/P\leq 1. (9)

The minimization of J-J is still a non-convex problem since 𝐑u[k]{\bf R}_{u}[k] is not semi-definite, but we note that JJ has a much simpler expression than the SINR. Hence, When multiple metrics including both communication and radar are considered, JJ can be a good substitute for the SINR. By performing the eigen-decomposition of 𝐑u[k]{\bf R}_{u}[k], i.e., 𝐑u[k]=𝐕u[k]𝐄u[k]𝐕u[k]H{\bf R}_{u}[k]={\bf V}_{u}[k]{\bf E}_{u}[k]{\bf V}_{u}[k]^{H}, we note that there exists one negative diagonal entry in 𝐄u[k]{\bf E}_{u}[k]. The optimal solution of 𝐩u[k]{\bf p}_{u}[k] should be the eigenvector with the corresponding eigenvalue being negative.

III-B MI and MMSE for Sensing

MI and MMSE are widely-used metrics in radar systems. Maximizing MI enables the maximization of information in the received signal, which contains the parameters of targets during its propagation. Minimizing MMSE is to obtain the parameters with the highest accuracy. With obtaining the accurate information about the targets, the parameters related to sensing can be extracted using various sensing algorithms.

The MI of the received OFDM symbols for sensing can be represented as

MI=\displaystyle{\rm MI}= k=0K1H~(𝐲[k];𝐡S[k]|𝐒[k])\displaystyle\sum\limits_{k=0}^{K-1}\tilde{H}({\bf y}[k];{{\bf h}^{\rm S}}[k]|{\bf S}[k])
=\displaystyle= k=0K1log2(|𝐈U+P𝐏H[k]𝐡S[k](𝐡S[k])H𝐏[k]σ2|)\displaystyle\sum\limits_{k=0}^{K-1}\log_{2}\left(\left|{\bf I}_{U}+\frac{P{\bf P}^{H}[k]{{\bf h}^{\rm S}}[k]({{\bf h}^{\rm S}}[k])^{H}{\bf P}[k]}{\sigma^{2}}\right|\right)
=\displaystyle= k=0K1H~(𝐡S[k];𝐲[k]|𝐒[k])\displaystyle\sum\limits_{k=0}^{K-1}\tilde{H}({{\bf h}^{\rm S}}[k];{\bf y}[k]|{\bf S}[k])
=\displaystyle= k=0K1log2(1+P(𝐡S[k])H𝐏[k]𝐏H[k]𝐡S[k]σ2).\displaystyle\sum\limits_{k=0}^{K-1}\log_{2}\left(1+\frac{P({{\bf h}^{\rm S}}[k])^{H}{\bf P}[k]{\bf P}^{H}[k]{{\bf h}^{\rm S}}[k]}{\sigma^{2}}\right). (10)

From (10), it is clear that maximizing MI is a convex problem and the optimal 𝐏[k]{\bf P}[k] satisfies that 𝐡S[k]=[𝐔P[k]]1{{\bf h}^{\rm S}}[k]=[{\bf U}_{\rm P}[k]]_{1}, where 𝐔P[k]{\bf U}_{\rm P}[k] is the left singular matrix of 𝐏[k]{\bf P}[k], that is, any 𝐏[k]{\bf P}[k] satisfying [𝐔P[k]]1=𝐡S[k][{\bf U}_{\rm P}[k]]_{1}={{\bf h}^{\rm S}}[k] is the optimal solution. The globally optimal 𝐏[k]{\bf P}[k] should maximize the first singular value of 𝐏[k]{\bf P}[k]. Hence, the optimal MI precoder has a rank of one. To make the precoder of dimension N×UN\times U have only one rank, the optimal MI precoder is obtained as

𝐏MI[k]\displaystyle{\bf P}^{\star}_{\rm MI}[k] =𝐡S[k]𝚲[k],\displaystyle={{\bf h}^{\rm S}}[k]{\bf\Lambda}[k], (11)

where 𝚲[k]{\bf\Lambda}[k] is an arbitrary 1×U1\times U matrix satisfying 𝚲[k]F2=U𝐡S[k]F2\|{\bf\Lambda}[k]\|_{F}^{2}=\frac{U}{\|{{\bf h}^{\rm S}}[k]\|_{F}^{2}}. Note that the size of the precoder is determined by the number of users instead of number of targets, since the number of targets can be varied from time to time.

The MMSE can be written as

MMSE=𝐡S[k]𝐡^S[k]2,\displaystyle{\rm MMSE}=\|{{\bf h}^{\rm S}}[k]-{\hat{\bf h}}^{\rm S}[k]\|^{2}, (12)

where 𝐡^S[k]{\hat{\bf h}}^{\rm S}[k] is the estimated radar channel. Referring to the derivations in [32], when 𝐡S[k]{{\bf h}^{\rm S}}[k] is Gaussian distributed, we have the result of MIP=12MMSE\frac{\partial{\rm MI}}{\partial P}=\frac{1}{2}{\rm MMSE}. Hence, the larger the transmit power is, the less the MMSE becomes. Due to the existence of noise, the MMSE reaches its minimum value that is larger than zero. Since MMSE is related to different sensing algorithms, we will use MI instead of MMSE as one radar metric for the following JCAS problem formulation.

III-C CRB for Sensing

CRB is a theoretical lower bound of MMSE. Note that CRB is not up to the sensing algorithms and generally cannot be achieved. In our adopted broadband MISO systems, we mainly consider the accuracy of estimates for delays, complex gains, and AoDs of the targets. The Doppler frequency is assumed to be zero in the training period. Note that the BS system setup is not a typical mono-static radar. We assume that it is an approximate mono-static radar for the convenience of deriving the CRB. We rewrite the received radar signal of (5) into the form of vector, i.e.,

𝐲T[k]\displaystyle{\bf y}^{T}[k] =((𝐡S[k])H𝐏[k]𝐒[k]+𝐧[k])T\displaystyle=(({{{\bf h}^{\rm S}}}[k])^{H}{\bf P}[k]{\bf S}[k]+{\bf n}[k])^{T}
=(𝟏H𝐖H[k]𝐗𝐀H𝐏[k]𝐒[k])T+𝐧T[k]\displaystyle=({\bf 1}^{H}{\bf W}^{H}[k]{\bf X}{\bf A}^{H}{\bf P}[k]{\bf S}[k])^{T}+{\bf n}^{T}[k]
=𝐒T[k]vec(𝟏H𝐖H[k]𝐗𝐀H𝐏[k])+𝐧T[k]\displaystyle={\bf S}^{T}[k]{\rm vec}({\bf 1}^{H}{\bf W}^{H}[k]{\bf X}{\bf A}^{H}{\bf P}[k])+{\bf n}^{T}[k]
𝐒T[k]𝐪[k]+𝐧T[k],\displaystyle\triangleq{\bf S}^{T}[k]{\bf q}[k]+{\bf n}^{T}[k], (13)

where 𝐪[k]=𝐏T[k]𝐀𝐗𝐖[k]𝟏{\bf q}[k]={\bf P}^{T}[k]{\bf A}^{*}{\bf X}^{*}{\bf W}^{*}[k]{\bf 1} denotes the equivalent radar channel. Note that 𝐪[k]{\bf q}[k] contains all parameters of interests, i.e., delays, complex gains, and AoDs, and contains the precoder to be determined. For convenience, we represent all parameters collectively using one common real-valued vector 𝚯=[Re[α1,,αL],Im[α1,,αL],τ1,,τL,Ω1,,ΩL]T{\bf\Theta}=\big{[}{\rm Re}[\alpha_{1},\cdots,{\alpha}_{L}],{\rm Im}[\alpha_{1},\cdots,\alpha_{L}],\tau_{1},\cdots,\tau_{L},{\Omega}_{1},\cdots,{\Omega}_{L}\big{]}^{T}. It is noted that there are 4L4L parameters in total. Hence, 𝐪[k]{\bf q}[k] is a function with 4L4L variables.

The CRB matrix, denoted as 𝐁{\bf B}, contains all lower bounds of the estimates. The (i,j)(i,j)th entry of 𝐁{\bf B} denotes the impact of the parameter ii on parameter jj. The total CRB can be expressed as the Frobenius norm of 𝐁{\bf B}. The CRB matrix is the inverse matrix of Fish information matrix (FIM), i.e., 𝐁=𝐅1{\bf B}={\bf F}^{-1}. Referring to the derivations of [33] and using the so-called DOD/DOA Model defined in [33], we obtain our corresponding FIM as

𝐅=[Re[𝐅1]Im[𝐅1]Re[𝐅2]Re[𝐅3]Im[𝐅1]Re[𝐅1]Im[𝐅2]Im[𝐅3]Re[𝐅2T]Im[𝐅2T]Re[𝐅4]Re[𝐅5]Re[𝐅3T]Im[𝐅3T]Re[𝐅5T]Re[𝐅6]],\displaystyle{\bf F}=\left[\begin{array}[]{cccc}{\rm Re}[{\bf F}_{1}]&-{\rm Im}[{\bf F}_{1}]&{\rm Re}[{\bf F}_{2}]&{\rm Re}[{\bf F}_{3}]\\ {\rm Im}[{\bf F}_{1}]&{\rm Re}[{\bf F}_{1}]&{\rm Im}[{\bf F}_{2}]&{\rm Im}[{\bf F}_{3}]\\ {\rm Re}[{\bf F}_{2}^{T}]&{\rm Im}[{\bf F}_{2}^{T}]&{\rm Re}[{\bf F}_{4}]&{\rm Re}[{\bf F}_{5}]\\ {\rm Re}[{\bf F}_{3}^{T}]&{\rm Im}[{\bf F}_{3}^{T}]&{\rm Re}[{\bf F}_{5}^{T}]&{\rm Re}[{\bf F}_{6}]\\ \end{array}\right], (18)

where 𝐅1,,𝐅5{\bf F}_{1},\cdots,{\bf F}_{5}, and 𝐅6{\bf F}_{6} are given by Appendix B. The derivation can be referred to [33].

From Appendix B, we note that the CRB matrix depends on the covariance matrix, 𝐐[k]=𝐏[k]𝐏H[k]{\bf Q}[k]={\bf P}[k]{\bf P}^{H}[k], only. Therefore, the CRB-based optimization problem is equivalent to optimizing 𝐐[k]{\bf Q}[k]. As we mentioned above, the total CRB equals the Frobenius norm of 𝐁{\bf B}, which is equivalent to the sum of the singular values of 𝐁{\bf B}. We aim to minimize the largest eigenvalue of the CRB matrix as in [34]. Minimizing the largest eigenvalue of the CRB matrix is equivalent to maximizing the smallest eigenvalue of the FIM. The waveform optimization under the eigen-optimization criterion can be directly formulated as a semi-definite-programming (SDP),

arg\displaystyle{\rm\arg}\, min𝐐[k]t\displaystyle\mathop{\min}\limits_{{\bf Q}[k]}-t
s.t.\displaystyle{\rm s.t.} 𝐅t𝐈,𝐐[k]𝟎,Tr(𝐐[k])U,\displaystyle{\bf F}\succeq t{\bf I},{\bf Q}[k]\succeq{\bf 0},{\rm Tr}({\bf Q}[k])\leq U, (19)

where tt is an auxiliary variable. However, the problem above is still difficult to address. We attempt to simplify the problem of (III-C). From Appendix B, we note that the norm of 𝐅4{\bf F}_{4} has an order of k2k^{2}, which is significantly larger than that of other matrices in 𝐅{\bf F}. Hence, we can approximately assume that 𝐅{\bf F} equals Re[𝐅4]{\rm Re}[{\bf F}_{4}], that is, only the accuracy of delays is counted.

Remark 1: Comparing MI and CRB, we note that they correspond to two types of optimization metrics. In the MI metric, the optimal waveform matrix can be obtained, while in the CRB metric, the optimal covariance waveform matrix can be obtained. For JCAS problem formulation, these two types of metrics also appear in many other metrics, such as channel capacity, desired semi-definite covariance matrix [18], and waveform similarity [35]. Hence, we will use these two types of optimal radar metrics and the proposed communication lower bound to formulate JCAS problems.

IV MI Constrained JCAS Waveform Optimization

In this section, we formulate optimization problems that jointly consider radar performance and communication performance. Note that in the section III, we have obtained one communication metric that contains both MUI and ECG, and obtained two radar metrics, one for MI and one for CRB. We will combine the communication metric with one of the radar metrics.

IV-A Closed-Form Solution

In this subsection, we constrain the MI of radar and simultaneously maximize the proposed lower bound of SINR, i.e., JJ. Since the optimal MI is obtained via section III-B, we can define a threshold of MI, H~0\tilde{H}_{0}, that is smaller than the maximal MI. The MI-constrained JCAS optimization problem is formulated as

argmin𝐏[k]\displaystyle{\rm\arg}\,\mathop{\min}\limits_{{\bf P}[k]} J=k=1Ku=1U𝐩u[k]H𝐑u[k]𝐩u[k]\displaystyle-J=\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}{\bf p}_{u}[k]^{H}{\bf R}_{u}[k]{\bf p}_{u}[k]
=k=1Ku=1UμIk,uSk,u\displaystyle=\sum\limits_{k=1}^{K}\sum\limits_{u=1}^{U}\mu I_{k,u}-S_{k,u}
s.t.\displaystyle{\rm s.t.} 𝐏[k]F2U,\displaystyle\|{\bf P}[k]\|_{F}^{2}\leq U,
H~(𝐡S[k];𝐲[k]|𝐒[k])H~0,\displaystyle\tilde{H}({{\bf h}^{\rm S}}[k];{\bf y}[k]|{\bf S}[k])\geq\tilde{H}_{0},
μIk,uSk,u<0,\displaystyle\mu I_{k,u}-S_{k,u}<0,
Ik,u+Uσ12/P1.\displaystyle I_{k,u}+U\sigma_{1}^{2}/P\leq 1. (20)

Note that minimizing the objective function above is not a convex problem, since 𝐑u[k]{\bf R}_{u}[k] in JJ is not a semi-definite matrix. Hence, the problem above cannot be solved directly using convex-optimization toolboxes.

Since MI maximization is a convex problem, the range of 𝐏[k]{\bf P}[k] that satisfies H~(𝐡S[k];𝐲[k]|𝐒[k])H0\tilde{H}({{\bf h}^{\rm S}}[k];{\bf y}[k]|{\bf S}[k])\geq H_{0} should be a convex set. Hence, we can directly transform the MI constraint set into another convex set. For the convenience of following proposed algorithm, we adopt the convex set that limits the Euclidean distance between the JCAS precoder and the optimal MI precoder, i.e.,

𝐏[k]𝐏MI[k]F2ρ,\displaystyle\|{\bf P}[k]-{\bf P}_{\rm MI}^{\star}[k]\|_{F}^{2}\leq\rho, (21)

where ρ\rho is a threshold to constrain the Euclidean distance between the JCAS precoder and the optimal MI precoder. The transformed constraint is a complex sphere.

For the third constraint, we note that it has the same expression as the term in the objective function. As long as we can find an initial value of 𝐏[k]{\bf P}[k] satisfying μIk,uSk,u<0\mu I_{k,u}-S_{k,u}<0, we can use iterative solutions to make the objective function keep dropping.

For the fourth constraint, we note that the norm of 𝐇[k]{\bf H}[k] can be an arbitrary value. Hence, as long as Uσ2/P<1U\sigma^{2}/P<1, we can make Ik,u1Uσ12/PI_{k,u}\leq 1-U\sigma_{1}^{2}/P by suppressing the norm of 𝐇[k]{\bf H}[k]. Hence, we omit the fourth constraint and transform the JCAS optimization problem of (IV-A) into

arg\displaystyle{\rm\arg} min𝐏[k]J<0\displaystyle\,\mathop{\min}\limits_{{\bf P}[k]}-J<0
s.t.\displaystyle{\rm s.t.} 𝐏[k]F2U,\displaystyle\|{\bf P}[k]\|_{F}^{2}\leq U,
𝐏[k]𝐏MI[k]F2ρ,\displaystyle\|{\bf P}[k]-{\bf P}_{\rm MI}^{\star}[k]\|_{F}^{2}\leq\rho, (22)

where 𝐏MI[k]=𝐡S[k]𝚲[k]{\bf P}_{\rm MI}^{\star}[k]={{\bf h}^{\rm S}}[k]{\bf\Lambda}[k]. Note that all variables are subcarrier dependent. For notational simplicity, we omit the parameter kk in the following of this subsection.

We define the two constraint functions in (IV-A) as ψ(𝐏)=𝐏F2=u=1U𝐩uF2\psi({\bf P})=\|{\bf P}\|_{F}^{2}=\sum\limits_{u=1}^{U}\|{\bf p}_{u}\|_{F}^{2} and ψ(𝐏)=𝐏𝐏rad,MIF2=u=1U𝐩u𝐡SλuF2\psi^{\prime}({\bf P})=\|{\bf P}-{\bf P}_{\rm rad,MI}^{\star}\|_{F}^{2}=\sum\limits_{u=1}^{U}\|{\bf p}_{u}-{{\bf h}^{\rm S}}\lambda_{u}\|_{F}^{2}, where λu\lambda_{u} is the uuth diagonal entry of 𝚲{\bf\Lambda}.

Before optimizing 𝐏{\bf P}, we note that 𝚲{\bf\Lambda} in ψ(𝐏)\psi^{\prime}({\bf P}) is still undetermined. It is clear to see that ψ(𝐏)=U\psi({\bf P})=U and ψ(𝐏)=ρ\psi^{\prime}({\bf P})=\rho are two complex spheres with the sphere center being 𝟎{\bf 0} and 𝐡S𝚲{{\bf h}^{\rm S}}{\bf\Lambda}, respectively. The objective function of JJ can be seen as a saddle surface with the saddle point being the original point. The gradient of J(𝐏)J({\bf P}) is given by

J𝐩u=2𝐑u𝐩u.\displaystyle\frac{\partial J}{\partial{\bf p}_{u}}=2{\bf R}_{u}{\bf p}_{u}. (23)

We determine 𝚲{\bf\Lambda}, such that the absolute value of gradient is maximized, i.e.,

arg\displaystyle{\rm\arg} max𝚲u=1U2𝐑u𝐡SλuF2\displaystyle\,\mathop{\max}\limits_{\bf\Lambda}\sum\limits_{u=1}^{U}\|2{\bf R}_{u}{{\bf h}^{\rm S}}\lambda_{u}\|_{F}^{2}
s.t.\displaystyle{\rm s.t.} 𝚲F2=U𝐡SF2.\displaystyle\|{\bf\Lambda}\|_{F}^{2}=\frac{U}{\|{{\bf h}^{\rm S}}\|_{F}^{2}}. (24)

By using Least Square method, 𝚲{\bf\Lambda} is obtained as λu=c𝐑u𝐡SF\lambda_{u}^{\star}=c\|{\bf R}_{u}{{\bf h}^{\rm S}}\|_{F}, where cc is a scaling factor, such that 𝚲F2=U𝐡SF2\|{\bf\Lambda}^{\star}\|_{F}^{2}=\frac{U}{\|{{\bf h}^{\rm S}}\|_{F}^{2}}.

The objective function in (IV-A) is a quadratic optimization problem with convex constrained sets. Such problems can be iteratively solved by using Newton’s method [36]. Besides, we also obtain the closed-form solution, as demonstrated in Theorem 2 and Corollary 1.

Theorem 2.

The minimal value of J-J in (IV-A) is achieved when 𝐏{\bf P} is on the surface of the constrained sets.

Proof.

The proof is shown in Appendix C. ∎

According to Theorem 2, we obtain an important corollary that can directly obtain the closed-form solution of 𝐏{\bf P}, which is illustrated as follows.

Corollary 1.

When there exist non-zero scaling factors, fuf_{u}, such that ψ(fu𝐯¯R,u)=Uψ(fu𝐯¯u,R)ρ\psi(f_{u}\bar{\bf v}_{R,u})=U\bigcap\psi^{\prime}(f_{u}\bar{\bf v}_{u,R})\leq\rho or ψ(fu𝐯¯u,R)Uψ(fu𝐯¯u,R)=ρ\psi(f_{u}\bar{\bf v}_{u,R})\leq U\bigcap\psi^{\prime}(f_{u}\bar{\bf v}_{u,R})=\rho, the closed-formed solution of 𝐏{\bf P} is obtained as 𝐩u=fu𝐯¯u,R{{\bf p}}_{u}^{\star}=f_{u}\bar{\bf v}_{u,R}.

Proof.

The proof is shown in Appendix D. ∎

However, the closed-form solution exists only when fuf_{u} exists. In more general cases, we can obtain the following corollary.

Corollary 2.

The optimal point of 𝐏{\bf P} is on the tangent plane of J(𝐏)=J0-J({\bf P})=J_{0} with J0J_{0} being the minimal value.

Proof.

The proof is shown in Appendix E. ∎

IV-B Iterative Solution

Next, we propose an iterative algorithm based on Newton’s method [36], when the closed-form solution cannot be obtained. According to the proof of Theorem 2, we can make 𝐩u{\bf p}_{u} reach one surface of the constraints. When 𝐩u{\bf p}_{u} is on the surface of constraints, we aim to make the objective function be further decreased. Since there are two surfaces and only one will be reached, we consider two cases as follows.

IV-B1 Case 1: ψ(𝐏)<U\psi({\bf P})<U and ψ(𝐏)=ρ\psi^{\prime}({\bf P})=\rho

This case refers to the case when the surface of ψ(𝐏)=ρ\psi^{\prime}({\bf P})=\rho is first reached. The current iterative real-valued 𝐏{\bf P} is denoted as 𝐏¯(i)\bar{\bf P}^{(i)} and each column of 𝐏¯(i)\bar{\bf P}^{(i)} is 𝐩¯u(i)\bar{\bf p}_{u}^{(i)}. We obtain two new columns moving in the directions of 𝐯¯u,R\bar{\bf v}_{u,R}, with 𝐯¯u,R\bar{\bf v}_{u,R} being defined in (46),

𝐩¯u(i)=𝐩¯u(i)ϵ𝐯¯u,R,\displaystyle\bar{\bf p}_{u-}^{(i)}=\bar{\bf p}_{u}^{(i)}-\epsilon\bar{\bf v}_{u,R},
𝐩¯u+(i)=𝐩¯u(i)+ϵ𝐯¯u,R.\displaystyle\bar{\bf p}_{u+}^{(i)}=\bar{\bf p}_{u}^{(i)}+\epsilon\bar{\bf v}_{u,R}. (25)

Note that neither 𝐩¯u+(i)\bar{\bf p}_{u+}^{(i)} nor 𝐩¯u(i)\bar{\bf p}_{u-}^{(i)} satisfies that ψ(𝐏)=ρ\psi^{\prime}({\bf P})=\rho. Hence, we need to scale these columns onto the surface of ψ(𝐏)=ρ\psi^{\prime}({\bf P})=\rho, i.e.,

𝐩¯u(i+1)=𝐩¯u(i)+au(𝐜¯u𝐩¯u(i)),\displaystyle\bar{\bf p}_{u-}^{(i+1)}=\bar{\bf p}_{u-}^{(i)}+a_{u-}(\bar{\bf c}_{u}-\bar{\bf p}_{u-}^{(i)}),
𝐩¯u+(i+1)=𝐩¯u+(i)+au+(𝐜¯u𝐩¯u+(i)),\displaystyle\bar{\bf p}_{u+}^{(i+1)}=\bar{\bf p}_{u+}^{(i)}+a_{u+}(\bar{\bf c}_{u}-\bar{\bf p}_{u+}^{(i)}), (26)

where 𝐜¯u=[Re[𝐡Sλu]T,Im[𝐡Sλu]]T\bar{\bf c}_{u}=[{\rm Re}[{{\bf h}^{\rm S}}\lambda_{u}]^{T},{\rm Im}[{{\bf h}^{\rm S}}\lambda_{u}]]^{T}, aua_{u-} and au+a_{u+} are scaling coefficients, such that ψ(𝐩¯u(i+1))=ρ\psi^{\prime}\left(\bar{\bf p}_{u-}^{(i+1)}\right)=\rho and ψ(𝐩¯u+(i+1))=ρ\psi^{\prime}\left(\bar{\bf p}_{u+}^{(i+1)}\right)=\rho, respectively.

The columns defined in (IV-B1) should make the objective function keep dropping. We select the one of which objective function is reduced, i.e.,

𝐩¯u(i+1)={𝐩¯u(i+1)ifJ(𝐩¯u(i+1))<J(𝐩¯u+(i+1))𝐩¯u+(i+1)else\displaystyle\bar{\bf p}_{u}^{(i+1)}=\left\{\begin{array}[]{cc}\bar{\bf p}_{u-}^{(i+1)}&{\rm if}\,-J(\bar{\bf p}_{u-}^{(i+1)})<-J(\bar{\bf p}_{u+}^{(i+1)})\\ \bar{\bf p}_{u+}^{(i+1)}&{\rm else}\\ \end{array}\right. (29)
Algorithm 1 JCAS Precoder Optimization with MI Constraint
1:  Input: 𝐡S{{\bf h}^{\rm S}} and {𝐑u}u=1U\{{\bf R}_{u}\}_{u=1}^{U}.
2:  Initialization: i=0i=0, J(𝐏(1))=J({\bf P}^{(-1)})=-\infty, ϵ\epsilon, ρ\rho,
3:  Obtaining 𝐯u,R{\bf v}_{u,R} that is the RRth eigenvector of 𝐑u{\bf R}_{u}, with RRth eigenvalue being negative.
4:  Finding 𝐏(i){\bf P}^{(i)} satisfying Case 1 or Case 2.
5:  Case 1:
6:  while J(𝐏(i1))>J(𝐏(i))-J({\bf P}^{(i-1)})>-J({\bf P}^{(i)}) and ψ(𝐏(i))<U\psi({\bf P}^{(i)})<U and ψ(𝐏(i))=ρ\psi^{\prime}({\bf P}^{(i)})=\rho do
7:     Obtaining 𝐩u±(i){\bf p}_{u\pm}^{(i)} according to (IV-B1).
8:     Scaling 𝐩u±(i){\bf p}_{u\pm}^{(i)} and obtaining 𝐩u±(i+1){\bf p}_{u\pm}^{(i+1)} according to (IV-B1).
9:     Obtaining next iterative vectors, 𝐩u(i+1){\bf p}_{u}^{(i+1)}, according to (29).
10:     i=i+1i=i+1.
11:  end while
12:  Case 2:
13:  while J(𝐏(i1))>J(𝐏(i))-J({\bf P}^{(i-1)})>-J({\bf P}^{(i)}) and ψ(𝐏(i))=U\psi({\bf P}^{(i)})=U and ψ(𝐏(i))<ρ\psi^{\prime}({\bf P}^{(i)})<\rho do
14:     Obtaining 𝐩u±(i){\bf p}_{u\pm}^{(i)} according to (IV-B1).
15:     Scaling 𝐩u±(i){\bf p}_{u\pm}^{(i)} and obtaining 𝐩u±(i+1){\bf p}_{u\pm}^{(i+1)} according to (IV-B2).
16:     Obtaining next iterative vectors, 𝐩u(i+1){\bf p}_{u}^{(i+1)}, according to (29).
17:     i=i+1i=i+1.
18:  end while
19:  Output: 𝐏{\bf P}.

Updating the iteration index i=i+1i=i+1 and repeat the same procedure. We terminate the iteration when J(𝐩¯u(i+1))-J(\bar{\bf p}_{u}^{(i+1)}) stop dropping or when the other constraint is not satisfied, i.e., ψ(𝐏)>U.\psi({\bf P})>U.

IV-B2 Case 2: ψ(𝐏)=U\psi({\bf P})=U and ψ(𝐏)<ρ\psi^{\prime}({\bf P})<\rho

In Case 2, we adopt the same strategy as Case 1. In this case, two temporary vectors are still given by (IV-B1). Then, we scale them onto the surface of ψ(𝐏)=U\psi({\bf P})=U, i.e.,

𝐩¯u(i+1)=bu𝐩¯u(i),\displaystyle\bar{\bf p}_{u-}^{(i+1)}=b_{u-}\bar{\bf p}_{u-}^{(i)},
𝐩¯u+(i+1)=bu+𝐩¯u+(i),\displaystyle\bar{\bf p}_{u+}^{(i+1)}=b_{u+}\bar{\bf p}_{u+}^{(i)}, (30)

where bu,±b_{u,\pm} are scaling coefficients, such that ψ(𝐩u±(i+1))=U\psi\left({\bf p}_{u\pm}^{(i+1)}\right)=U.

Likewise, we select the one of which objective function is less as in (29). Then we update the iteration index i=i+ii=i+i and repeat the same procedure. We terminate the iteration J(𝐩¯u(i+1))-J(\bar{\bf p}_{u}^{(i+1)}) stop dropping or when the other constraint is not satisfied, i.e., ψ(𝐏)>ρ.\psi^{\prime}({\bf P})>\rho.

IV-C Complexity Analysis

In this subsection, we analyze the computational complexity of Algorithm 1. The main computation tasks in Algorithm 1 include the eigen-decomposition of 𝐑u{\bf R}_{u} and the iterations. The complexity of the eigen-decomposition of 𝐑u{\bf R}_{u} can be given by 𝒪(N3)\mathcal{O}(N^{3}). Since there are UKUK 𝐑u[k]{\bf R}_{u}[k], the total complexity of eigen-decomposition is 𝒪(N3UK)\mathcal{O}(N^{3}UK). The main steps in the iterations are Step 8 for Case 1 and Step 15 for Case 2, which both have a complexity of 𝒪(N)\mathcal{O}(N), due to the calculation of au±a_{u{\pm}} and bu±{b_{u\pm}}. Hence, the complexity of the iterations is 𝒪(NUKNit)\mathcal{O}(NUKN_{it}), where NitN_{\rm it} is the number of iterations. The overall complexity can be given by max(𝒪(N3UK),𝒪(NUKNit))\max\left(\mathcal{O}(N^{3}UK),\mathcal{O}(NUKN_{it})\right).

V CRB Constrained JCAS Waveform Optimization

In this section, we optimize the proposed communication metric, JJ, with constraining the CRB of the radar. Intuitively, we would like to adopt the same strategy as in MI constrained problem, which controls the Euclidean distance between the precoder and the optimal individual radar precoder. Nevertheless, for individual CRB optimization, we obtain the optimal covariance matrix, denoted as 𝐐CRB[k]{\bf Q}^{\star}_{\rm CRB}[k], instead of the optimal 𝐏[k]{\bf P}[k]. With a given 𝐐[k]=𝐏[k]H𝐏[k]{\bf Q}[k]={\bf P}[k]^{H}{\bf P}[k], there are infinite solutions of 𝐏[k]{\bf P}[k]. Not all the solutions are appropriate ones for the communication metric. Using the Euclidean distance between 𝐐[k]{\bf Q}[k] and 𝐐CRB[k]{\bf Q}^{\star}_{\rm CRB}[k] would make the variables have an order of four and hence difficult to solve. Aiming to reduce the order of variables, we constrain the CRB by controlling

ψ′′(𝐏[k])\displaystyle\psi^{\prime\prime}({\bf P}[k])
=\displaystyle= |Re[𝐏H[k]𝐏[k]𝐐CRB[k]]+Im[𝐏H[k]𝐏[k]𝐐CRB[k]]|\displaystyle\left|{\rm Re}[{\bf P}^{H}[k]{\bf P}[k]-{\bf Q}_{\rm CRB}^{\star}[k]]+{\rm Im}[{\bf P}^{H}[k]{\bf P}[k]-{\bf Q}^{\star}_{\rm CRB}[k]]\right|
\displaystyle\leq ξ,\displaystyle\xi, (31)

where ξ\xi is the threshold to control the CRB. This constraint has an order of two for the variables in 𝐏[k]{\bf P}[k].

Still, we omit the subcarrier kk in the following of this section. The JCAS optimization problem with the CRB constraint is formulated as

arg\displaystyle{\rm\arg}\, min𝐏J<0\displaystyle\mathop{\min}\limits_{{\bf P}}-J<0
s.t.\displaystyle{\rm s.t.} ψ(𝐏)U,\displaystyle\psi({\bf P})\leq U,
ψ′′(𝐏)ξ.\displaystyle\psi^{\prime\prime}({\bf P})\leq\xi. (32)

Similar to the MI constrained problem, the transformed CRB constrained problem can also be seen as a quadratic problem with convex constraints. Such problems can be solved using Newton’s method.

Referring to Corollary 1, the closed-form solution can be obtained when fu𝐯¯u,Rf_{u}\bar{\bf v}_{u,R} can reach the surfaces of ψ(𝐏)=U\psi({\bf P})=U or ψ′′(𝐏)=ξ\psi^{\prime\prime}({\bf P})=\xi. When the closed-form solution does not exist, we propose an iterative algorithm as in Algorithm 1.

V-1 Case 3: ψ(𝐏)<U\psi({\bf P})<U and ψ′′(𝐏)=ξ\psi^{\prime\prime}({\bf P})=\xi

In this case, two temporary vectors are still given by 𝐩¯u(i)\bar{\bf p}_{u-}^{(i)} and 𝐩¯u+(i)\bar{\bf p}_{u+}^{(i)} of which expressions are given by (IV-B1). Then, we scale them onto the surface of ψ′′(𝐏)=ξ\psi^{\prime\prime}({\bf P})=\xi. The new columns are given by

𝐩¯u(i+1)=cu𝐩¯u(i),\displaystyle\bar{\bf p}_{u-}^{(i+1)}=c_{u-}\bar{\bf p}_{u-}^{(i)},
𝐩¯u+(i+1)=cu+𝐩¯u+(i),\displaystyle\bar{\bf p}_{u+}^{(i+1)}=c_{u+}\bar{\bf p}_{u+}^{(i)}, (33)

where cu±c_{u\pm} are scaling coefficients, such that ψ′′(𝐩u±(i+1))=ξ\psi^{\prime\prime}({\bf p}_{u\pm}^{(i+1)})=\xi.

Likewise, we select the one of which objective function is less as in (29). Then we update the iteration index i=i+ii=i+i and repeat the same procedure. We terminate the iteration J(𝐩¯u(i+1))-J(\bar{\bf p}_{u}^{(i+1)}) stop dropping or when the other constraint is not satisfied, i.e., ψ(𝐏)>U.\psi({\bf P})>U.

Algorithm 2 JCAS Precoder Optimization with CRB Constraint
1:  Input: 𝐐[k]{\bf Q}^{\star}[k] and {𝐑u}u=1U\{{\bf R}_{u}\}_{u=1}^{U}.
2:  Initialization: i=0i=0, J(𝐏(1))=J({\bf P}^{(-1)})=-\infty, ϵ\epsilon, ξ\xi,
3:  Obtaining 𝐯u,R{\bf v}_{u,R} that is the RRth eigenvector of 𝐑u{\bf R}_{u}, with RRth eigenvalue being negative.
4:  Finding 𝐏(i){\bf P}^{(i)} satisfying Case 3 or Case 4.
5:  Case 3:
6:  while J(𝐏(i1))>J(𝐏(i))-J({\bf P}^{(i-1)})>-J({\bf P}^{(i)}) and ψ(𝐏(i))<U\psi({\bf P}^{(i)})<U and ψ′′(𝐏(i))=ξ\psi^{\prime\prime}({\bf P}^{(i)})=\xi do
7:     Obtaining 𝐩u±(i){\bf p}_{u\pm}^{(i)}.
8:     Scaling 𝐩u±(i){\bf p}_{u\pm}^{(i)} and obtaining 𝐩u±(i+1){\bf p}_{u\pm}^{(i+1)} according to (V-1).
9:     Obtaining next iterative vectors, 𝐩u(i+1){\bf p}_{u}^{(i+1)}, according to (29).
10:     i=i+1i=i+1.
11:  end while
12:  Case 4:
13:  while J(𝐏(i1))>J(𝐏(i))-J({\bf P}^{(i-1)})>-J({\bf P}^{(i)}) and ψ(𝐏(i))=U\psi({\bf P}^{(i)})=U and ψ′′(𝐏(i))<ξ\psi^{\prime\prime}({\bf P}^{(i)})<\xi do
14:     Obtaining 𝐩u±(i){\bf p}_{u\pm}^{(i)}.
15:     Scaling 𝐩u±(i){\bf p}_{u\pm}^{(i)} and obtaining 𝐩u±(i+1){\bf p}_{u\pm}^{(i+1)} according to (V-2).
16:     Obtaining next iterative vectors, 𝐩u(i+1){\bf p}_{u}^{(i+1)}, according to (29).
17:     i=i+1i=i+1.
18:  end while
19:  Output: 𝐏{\bf P}.

V-2 Case 4: ψ(𝐏)=U\psi({\bf P})=U and ψ′′(𝐏)<ξ\psi^{\prime\prime}({\bf P})<\xi

In Case 4, two temporary vectors are given by 𝐩¯u(i)\bar{\bf p}_{u-}^{(i)} and 𝐩¯u+(i)\bar{\bf p}_{u+}^{(i)}. Then, we scale them onto the surface of ψ(𝐏)=U\psi({\bf P})=U, i.e.,

𝐩¯u(i+1)=du𝐩¯u(i),\displaystyle\bar{\bf p}_{u-}^{(i+1)}=d_{u-}\bar{\bf p}_{u-}^{(i)},
𝐩¯u+(i+1)=du+𝐩¯u+(i),\displaystyle\bar{\bf p}_{u+}^{(i+1)}=d_{u+}\bar{\bf p}_{u+}^{(i)}, (34)

where du,±d_{u,\pm} are scaling coefficients, such that ψ(𝐩u±(i+1))=U\psi\left({\bf p}_{u\pm}^{(i+1)}\right)=U.

Likewise, we select the one of which objective function is less as in (29). Then, we update the iteration index i=i+ii=i+i and repeat the same procedure. We terminate the iteration when J(𝐩¯u(i))-J(\bar{\bf p}_{u}^{(i)}) stop dropping or when the other constraint is not satisfied, i.e., ψ′′(𝐏)>ξ.\psi^{\prime\prime}({\bf P})>\xi. The proposed CRB constrained optimization scheme is summarized in Algorithm 2. Note that from Case 1 to Case 4, all procedures are the same except the determination of the scaling coefficients and the terminating conditions.

VI Simulation Results

Refer to caption
Figure 2: Sum rates of communications versus SNR with using Algorithm 1 and other bench-marking JCAS solutions.
Refer to caption
Figure 3: MI of sensing versus SNR with using Algorithm 1 and other bench-marking JCAS solutions.
Refer to caption
Figure 4: Sum rates of communications versus SNR with using Algorithm 2 and other bench-marking solutions.
Refer to caption
Figure 5: CRB of sensing versus SNR with using Algorithm 2 and other bench-marking solutions.
Refer to caption
Figure 6: Beam patterns with employing individual and JCAS solutions.
Refer to caption
Figure 7: Sum rate versus ρ/ξ\rho/\xi for communications with employing individual and JCAS solutions.
Refer to caption
Figure 8: MI versus ρ/ξ\rho/\xi for sensing with employing individual and JCAS solutions.
Refer to caption
Figure 9: CRB versus ρ/ξ\rho/\xi for sensing with employing individual and JCAS solutions.

In this section, we provide simulation results to validate the proposed algorithms, following the system and channel models introduced in Section II. We simulate a JCAS system where a BS communicates with U=2U=2 MUs each having Lu=3L_{u}=3 paths and detects L=3L=3 targets. The BS adopts a 16×116\times 1 ULA as the transmit antennas and uses OFDM modulation to transmit a 2×12\times 1 data symbol vector on each subcarrier. The number of subcarriers is K=512K=512. The AoDs for both MUs and targets are randomly distributed from π-\pi to π\pi. The delay of each path is a random value ranging from 0 to TC=0.1T_{\rm C}=0.1 ms. The period of one OFDM symbol is T=0.2T=0.2 ms. For the parameter in the communication metric, we let μ=5\mu=5. For parameters in the proposed algorithms, we let ϵ=0.05\epsilon=0.05, μ[0.5,1.5]\mu\in[0.5,1.5], and ξ[0.5,1.5]\xi\in[0.5,1.5].

We separate the simulation results into three subsections. In the following subsection VI-A, we show the achieved sum rates for communications and the achieved MI for radar sensing by using our proposed Algorithm 1. In subsection VI-B, we verify the sum rates for communications and the CRB for radar sensing by using the proposed Algorithm 2. For comparison, we compare our proposed algorithms with the bench-marking solutions, including the optimal individual solutions and the weighted sum JCAS solution that is proposed in [18]. In subsection VI-C, we aim to compare our proposed algorithms in parallel and figure out the impacts of using MI and CRB on optimizing JCAS waveforms.

VI-A MI Constrained JCAS

Fig. 2 shows how the sum rates vary with SNR using different JCAS solutions. For the individual communication precoder, the sum rate remains the highest. It is undoubted since the precoder is optimized solely for maximizing the sum rate. Regarding the JCAS solutions, we compare our proposed Algorithm 1 with the weighted-sum JCAS solution in [18]. The weighted-sum JCAS solution needs the prior knowledge about the ECG. We see that with ρ\rho ranging from 1 to 1.5, our proposed precoder achieves better performance than the weighted-sum JCAS solution. Moreover, our proposed algorithms do not need to know the value of ECG. When ECG is unavailable, we see that the sum rate of the weighted-sum JCAS solution drops substantially. Our proposed algorithm guarantees that the ratio of ECG to MUI is larger than μ\mu. We can obtain the sum rate that is no smaller than μ\mu at high SNRs. The MUI has a dominant impact on the sum rate when SNR is high, hence our proposed precoder can achieve better performance by further increasing μ\mu.

Fig. 3 unfolds the achieved MI of radar sensing versus SNR using different JCAS solutions. The system setup is the same as that in Fig. 2. The MI of individual MI radar precoder, i.e., 𝐏[k]=𝐡S[k]𝚲[k]{\bf P}[k]={{\bf h}^{\rm S}}[k]{\bf\Lambda}[k], remains the highest. Our proposed Algorithm 1 achieves better MI than that of [18] when ρ\rho is no larger than 1. Without obtaining ECG, the MI of weight-sum JCAS solution declines greatly. By decreasing ρ\rho to zero, our proposed solution can achieve the MI of individual MI radar precoder. Together with Fig. 2, under the same power control, we notice that the sum rate is in proportion to ρ\rho while the MI is in inverse proportion to ρ\rho. To guarantee both good performances for communications and sensing, ρ\rho should be nearly 1.

VI-B CRB Constrained JCAS

Fig. 4 depicts how the sum rates vary with SNR using Algorithm 2 and other solutions. Similar to Fig. 2, the sum rate of the individual communication precoder remains the highest. Regarding the JCAS solutions, we compare our proposed Algorithm 2 with the weighted-sum JCAS approach in [18]. We observe that, with ξ\xi ranging from 1 to 1.5, our proposed Algorithm 2 achieves better performance than the weighted-sum JCAS solution. Comparing with Fig. 2, We note that under the same control of ρ(ξ)\rho(\xi), the achieved sum rate of Algorithm 2 is slightly better than that of Algorithm 1. We will discuss the gap later in Fig. 7.

Fig. 5 illustrates the achieved CRB of radar sensing versus SNR using different JCAS solutions. The system setup is the same as that in Fig. 2. The individual CRB radar precoder achieves the lowest CRB among all solutions. Our proposed Algorithm 2 achieves lower CRB than that of [18] no matter the ECG is available or not. By decreasing ξ\xi to zero, our proposed solution can achieve the optimal lowest CRB. Together with Fig. 4, we can let ξ\xi range from 11 to 1.51.5 to guarantee both good performances for communication and sensing.

VI-C Comparisons of Proposed MI/CRB Constrained JCAS

Fig. 6 illustrates an example of JCAS beam patterns with employing the proposed algorithms. To make the beam patterns clear to see, we only consider one MU and one target with only one path, i.e., U=1U=1, L=1L=1, and Lu=1L_{u}=1. For individual designs as illustrated in section III, we adopt the individual optimal MI radar precoder and the individual optimal communication precoder, respectively. We see that there is one main lobe located at around 35°-35\degree for the radar precoder, and one main lobe located at around 45°45\degree for the communication precoder. For JCAS designs, both our proposed algorithms have two main lobes, matching with the locations of individual designs tightly. At the sidelobes, we see that our proposed JCAS solutions also have a good suppression, especially at the range of (30°,30°).(-30\degree,30\degree).

Next, we compare the proposed Algorithm 1 with Algorithm 2 under equal communication performance. This can unfold the impact of CRB and MI on the JCAS designs. To guarantee that Algorithm 1 and 2 achieve equal sum rates for communications, we simulate the sum rate versus threshold factors, (ρ/ξ\rho/\xi), as shown in Fig. 7. The system set up is the same as that in Fig. 2, except that the SNR is fixed at 0 dB. It is clear to see that, under the equal value of the threshold factors, Algorithm 2 achieves slightly better sum rates that Algorithm 1. When two proposed algorithms achieve equal sum rates, ρ\rho needs to be about 0.11 larger than ξ\xi. This result helps us to analyze the following two results.

In Fig. 8, we aim to verify if Algorithm 2 can achieve effective MI. The system set up is the same as that in Fig. 7. Note that Algorithm 2 is designed for minimizing CRB. The MI of individual MI radar precoder remains the highest. Referring to the result in Fig. 7, we note that ρ\rho should be about 0.1 larger than ξ\xi to make the two proposed algorithms achieve an equal level of sum rates for communications. We see that the MI achieved by Algorithm 2 is significantly lower than that of Algorithm 1. With the same communication performances, the MI of Algorithm 2 is less that than the optimal solution by almost 2 bits. This could be explained by noting that the individual CRB radar precoder is close to the array response matrix, 𝐀\bf A, instead of 𝐡S[k]{{\bf h}^{\rm S}}[k], which means that one column could be truncated by using the CRB precoder and results in the decline of MI for using the CRB constrained precoder.

In Fig. 9, we aim to verify if Algorithm 1 can achieve effective CRB. The system set up is the same as that in Fig. 7. The CRB of individual CRB radar precoder remains the lowest. We observe that the CRB of Algorithm 1 is almost equal with that of Algorithm 2 and rises slightly with increasing ρ/ξ\rho/\xi. When ρ\rho is 0.1 larger than ξ\xi, the gap between the two algorithms is around 2×1052\times 10^{-5}. Even though the CRB of MI constrained algorithm is higher than that of the CRB constrained algorithm, the gap of 2×1052\times 10^{-5} can be neglected. Referring to Fig. 8, we see that the MI constrained optimization can achieve good performances on both MI and CRB. More importantly, the MI constrained optimization has a closed-form solution while the CRB constrained optimization has not. Hence, we can obtain a conclusion that maximizing MI is more efficient and simpler than minimizing CRB for JCAS optimization.

VII Conclusion

In this paper, we have proposed the JCAS waveform optimization algorithms that maximize the developed lower bound of communication sum rates under the constraint of either MI or CRB of radar. The adopted radar metrics correspond to two types of individual optimal radar matrices, i.e., precoding matrix and covariance matrix. The developed lower bound of communication rates balances between MUI and ECG, and serves as a good substitute for SINR. We have established the connections between different constrained optimizations and showed that MI constrained JCAS solution is more efficient and less complicated than the CRB constrained JCAS solution.

Appendix A Proof for Theorem 1

Given that Ik,u+Uσ12/P1Sk,uSk,uμIk,uI_{k,u}+U\sigma_{1}^{2}/P\leq 1\leq\frac{S_{k,u}}{S_{k,u}-\mu I_{k,u}} and Sk,uμIk,u>0S_{k,u}-\mu I_{k,u}>0, we have Sk,uμIk,uSk,uIk,u+Uσ12/PS_{k,u}-\mu I_{k,u}\leq\frac{S_{k,u}}{I_{k,u}+U\sigma_{1}^{2}/P}. Then, we have

SINRk,u=\displaystyle{\rm SINR}_{k,u}= PU|(𝐡uC[k])H𝐩u[k]|2PUvu|(𝐡vC[k])H𝐩u[k]|2+σ12\displaystyle\frac{\frac{P}{U}|({{\bf h}^{\rm C}_{u}}[k])^{H}{{\bf p}_{u}[k]}|^{2}}{\frac{P}{U}\sum\limits_{v\neq u}|({\bf h}^{\rm C}_{v}[k])^{H}{{\bf p}_{u}[k]}|^{2}+\sigma_{1}^{2}}
=\displaystyle= PSk,u/UPIk,u/U+σ12\displaystyle\frac{PS_{k,u}/U}{PI_{k,u}/U+\sigma_{1}^{2}}
=\displaystyle= Sk,uIk,u+Uσ12/P\displaystyle\frac{S_{k,u}}{I_{k,u}+U\sigma_{1}^{2}/P}
\displaystyle\geq Sk,uμIk,uJk,u,\displaystyle S_{k,u}-\mu I_{k,u}\triangleq J_{k,u},

We note that the SINR is the sum of SINRk,u{\rm SINR}_{k,u} and JJ is the sum of Jk,uJ_{k,u}. Therefore, JJ is a lower bound of SINR.

Appendix B Expression for FIM Subblocks

Referring to the derivation in [33], with including the precoding matrix, 𝐏[k]{\bf P}[k], the FIM subblocks are expressed as

𝐅1\displaystyle{\bf F}_{1} =2σk=1K𝐖H[k]𝐀H𝐏[k]𝐏H[k]𝐀𝐖[k]\displaystyle=\frac{2}{\sigma}\sum\limits_{k=1}^{K}{\bf W}^{H}[k]{\bf A}^{H}{\bf P}[k]{\bf P}^{H}[k]{\bf A}{\bf W}[k]
𝐅2\displaystyle{\bf F}_{2} =2σk=1K𝐖H[k](𝐀H𝐏[k]𝐏H[k]𝐀)𝐗𝐖˙[k]\displaystyle=\frac{2}{\sigma}\sum\limits_{k=1}^{K}{\bf W}^{H}[k]({\bf A}^{H}{\bf P}[k]{\bf P}^{H}[k]{\bf A})\odot{\bf X}{\dot{\bf W}[k]}
𝐅3\displaystyle{\bf F}_{3} =2σk=1K𝐖H[k](𝐀H𝐏[k]𝐏H[k]𝐀˙)𝐗𝐖[k]\displaystyle=\frac{2}{\sigma}\sum\limits_{k=1}^{K}{\bf W}^{H}[k]\left({\bf A}^{H}{\bf P}[k]{\bf P}^{H}[k]\dot{\bf A}\right)\odot{\bf X}{\bf W}[k]
𝐅4\displaystyle{\bf F}_{4} =2σk=1K𝐖˙H[k](𝐀H𝐏[k]𝐏H[k]𝐀)(𝐗H𝟏𝟏H𝐗)𝐖˙[k]\displaystyle=\frac{2}{\sigma}\sum\limits_{k=1}^{K}\dot{\bf W}^{H}[k]({\bf A}^{H}{\bf P}[k]{\bf P}^{H}[k]{\bf A})\odot({\bf X}^{H}{\bf 1}{\bf 1}^{H}{\bf X})\dot{\bf W}[k]
𝐅5\displaystyle{\bf F}_{5} =2σk=1K𝐖˙H[k](𝐀H𝐏[k]𝐏H[k]𝐀˙)(𝐗H𝟏𝟏H𝐗)𝐖[k]\displaystyle=\frac{2}{\sigma}\sum\limits_{k=1}^{K}\dot{\bf W}^{H}[k]\left({\bf A}^{H}{\bf P}[k]{\bf P}^{H}[k]\dot{\bf A}\right)\odot({\bf X}^{H}{\bf 1}{\bf 1}^{H}{\bf X}){\bf W}[k]
𝐅6\displaystyle{\bf F}_{6} =2σk=1K𝐖H[k](𝐀˙H𝐏[k]𝐏H[k]𝐀˙)(𝐗H𝟏𝟏H𝐗)𝐖[k],\displaystyle=\frac{2}{\sigma}\sum\limits_{k=1}^{K}{\bf W}^{H}[k]\left(\dot{\bf A}^{H}{\bf P}[k]{\bf P}^{H}[k]\dot{\bf A}\right)\odot({\bf X}^{H}{\bf 1}{\bf 1}^{H}{\bf X}){\bf W}[k], (35)

where \odot is Hadamard product,

𝐖˙[k]\displaystyle\dot{\bf W}[k] =[[𝐖[k]]:,1τ1,,[𝐖[k]]:,LτL]\displaystyle=\left[\frac{\partial[{\bf W}[k]]_{:,1}}{\partial\tau_{1}},\cdots,\frac{\partial[{\bf W}[k]]_{:,L}}{\partial\tau_{L}}\right]
=j2πkT𝐖[k],\displaystyle=-\frac{j2\pi k}{T}{\bf W}[k], (36)

and

𝐀˙\displaystyle\dot{\bf A} =[[𝐀]:,1Ω1,,[𝐀]:,LΩL].\displaystyle=\left[\frac{\partial[{\bf A}]_{:,1}}{\partial{\Omega}_{1}},\cdots,\frac{\partial[{\bf A}]_{:,L}}{\partial{\Omega}_{L}}\right]. (37)

Appendix C Proof for Theorem 2

Note that J-J is a saddle face that is symmetric with respect to the origin point. We write 𝐏{\bf P} in the real parts and imaginary parts, i.e.,

J=u=1URe[𝐩uH𝐑u𝐩u]\displaystyle-J=\sum\limits_{u=1}^{U}{\rm Re}[{\bf p}_{u}^{H}{\bf R}_{u}{\bf p}_{u}]
=u=1U[Re[𝐩u]Im[𝐩u]]H[Re[𝐑u]Im[𝐑u]Im[𝐑u]Re[𝐑u]][Re[𝐩u]Im[𝐩u]]\displaystyle=\sum\limits_{u=1}^{U}\left[\begin{array}[]{c}{\rm Re}[{\bf p}_{u}]\\ {\rm Im}[{\bf p}_{u}]\\ \end{array}\right]^{H}\left[\begin{array}[]{cc}{\rm Re}[{\bf R}_{u}]&{\rm Im}[{\bf R}_{u}]\\ -{\rm Im}[{\bf R}_{u}]&{\rm Re}[{\bf R}_{u}]\\ \end{array}\right]\left[\begin{array}[]{c}{\rm Re}[{\bf p}_{u}]\\ {\rm Im}[{\bf p}_{u}]\\ \end{array}\right] (44)
u=1U𝐩¯uH𝐑¯u𝐩¯u.\displaystyle\triangleq\sum\limits_{u=1}^{U}{\bar{\bf p}}_{u}^{H}{\bar{\bf R}}_{u}{\bar{\bf p}}_{u}. (45)

Supposed that there is an initial {𝐩¯u0}u=1U\{\bar{\bf p}_{u}^{0}\}_{u=1}^{U} that satisfies both ψ(𝐏)<U\psi({\bf P})<U and ψ(𝐏)<ρ\psi^{\prime}({\bf P})<\rho, there exists a new column, 𝐩¯u1=𝐩¯u0+ϵ𝐯¯u,R\bar{\bf p}_{u}^{1}=\bar{\bf p}_{u}^{0}+\epsilon\bar{\bf v}_{u,R}, where 𝐯¯u,R\bar{\bf v}_{u,R} is the RRth eigen vector of 𝐑¯u\bar{\bf R}_{u} with RR being the rank of 𝐑u{\bf R}_{u}. The variable, ϵ>0\epsilon>0, is small enough to make the new column inside the constraints. Note that 𝐑¯u\bar{\bf R}_{u} is not a semi-definite matrix, the RRth eigen value is negative, denoted as rRr_{R}, (when all eigen values are sorted in order). Hence, the new column, 𝐩¯u1\bar{\bf p}_{u}^{1}, satisfies

J(𝐩¯u1)=J(𝐩¯u0)+2rRϵ(𝐩¯u0)H𝐯¯u,R+ϵ2rR.\displaystyle-J(\bar{\bf p}_{u}^{1})=-J(\bar{\bf p}_{u}^{0})+2r_{R}\epsilon(\bar{\bf p}_{u}^{0})^{H}\bar{\bf v}_{u,R}+\epsilon^{2}r_{R}. (46)

where J(𝐩¯u)-J(\bar{\bf p}_{u}) means the value of J-J with respect to 𝐩u{\bf p}_{u}. It is clear that the third term of (46) is negative. If the second term is also negative, we have J(𝐩¯u1)<J(𝐩¯0)-J(\bar{\bf p}_{u}^{1})<-J(\bar{\bf p}_{0}). Hence, J-J keeps dropping until 𝐏{\bf P} is on the surface of the constraints. If the second term in (46) is positive, then we choose another column, i.e., 𝐩¯u1=𝐩¯u0ϵ𝐯¯R\bar{\bf p}_{u}^{1^{\prime}}=\bar{\bf p}_{u}^{0}-\epsilon\bar{\bf v}_{R}, then the second term becomes negative. Therefore, the optimal 𝐏{\bf P} is on the surface of the constraints.

Appendix D Proof for Corollary 1

According to Theorem 2, the optimal point of 𝐏{\bf P} is on the surface of constraints. When fu𝐯¯u,Rf_{u}\bar{\bf v}_{u,R} is also on the surface of constraints, to further decrease the objective function from 𝐩¯u0=fu𝐯¯u,R\bar{\bf p}_{u}^{0}=f_{u}\bar{\bf v}_{u,R}, the possible value of 𝐩¯u\bar{\bf p}_{u} is given by 𝐩¯u1=𝐩¯u0+i=1R1ϵi𝐯¯u,i\bar{\bf p}_{u}^{1}=\bar{\bf p}_{u}^{0}+\sum_{i=1}^{R-1}\epsilon_{i}\bar{\bf v}_{u,i}, where 𝐯¯u,i\bar{\bf v}_{u,i} is the iith left eigenvector of 𝐑u{\bf R}_{u}. From the expression of 𝐑u=𝐇~u𝐇~uH𝐡u𝐡u{\bf R}_{u}=\tilde{\bf H}_{u}\tilde{\bf H}_{u}^{H}-{\bf h}_{u}{\bf h}_{u}, there is only one negative eigenvalue in 𝐑u{\bf R}_{u}, i.e., rRr_{R}. Substituting 𝐩¯u1\bar{\bf p}_{u}^{1} into the objective function, we have

J(𝐩¯u1)=J(𝐩¯u0)+i=1R1ϵi2ri>J(𝐩¯u0).\displaystyle-J(\bar{\bf p}_{u}^{1})=-J(\bar{\bf p}_{u}^{0})+\sum\limits_{i=1}^{R-1}\epsilon_{i}^{2}r_{i}>-J(\bar{\bf p}_{u}^{0}). (47)

Hence, the possible value of 𝐩¯u\bar{\bf p}_{u} cannot make the objective function keep dropping. Therefore, when fu𝐯¯u,Rf_{u}\bar{\bf v}_{u,R} is also on the surface of constraints, the closed-form solution of 𝐩u{\bf p}_{u} is solved as fu𝐯¯u,Rf_{u}\bar{\bf v}_{u,R}.

Appendix E Proof for Corollary 2

According to Theorem 2, the optimal point of 𝐏{\bf P} is on the surface of constraints. For simplicity, we assume that the optimal 𝐏{\bf P} is achieved when ψ(𝐏)=ρ\psi^{\prime}({\bf P})=\rho. In this case, the surface of J(𝐏)=J0-J({\bf P})=J_{0} and the surface of ψ(𝐏)=ρ\psi^{\prime}({\bf P})=\rho are tangent with each other. Otherwise, there will be a point of 𝐏{\bf P} that satisfies J(𝐏)=J0-J({\bf P})=J_{0} and ψ(𝐏)<ρ\psi^{\prime}({\bf P})<\rho, which is contradictory with Theorem 2. Therefore, the optimal point of 𝐏{\bf P} is on the tangent plane of J(𝐏)=J0-J({\bf P})=J_{0} with J0J_{0} being the minimal value.

References

  • [1] A. Abdelhadi and T. C. Clancy, “Network MIMO with partial cooperation between radar and cellular systems,” in 2016 International Conference on Computing, Networking and Communications (ICNC), Feb. 2016, pp. 1–5.
  • [2] M. L. Rahman, P. Cui, J. A. Zhang, X. Huang, Y. J. Guo, and Z. Lu, “Joint communication and radar sensing in 5G mobile network by compressive sensing,” in 2019 19th International Symposium on Communications and Information Technologies (ISCIT), Sep. 2019, pp. 599–604.
  • [3] P. Kumari, J. Choi, N. González-Prelcic, and R. W. Heath, “IEEE 802.11ad-based radar: An approach to joint vehicular communication-radar system,” IEEE Trans. Veh. Technol., vol. 67, no. 4, pp. 3012–3027, Apr. 2018.
  • [4] R. C. Daniels, E. R. Yeh, and R. W. Heath, “Forward collision vehicular radar with IEEE 802.11: Feasibility demonstration through measurements,” IEEE Trans. Veh. Technol., vol. 67, no. 2, pp. 1404–1416, Feb. 2018.
  • [5] S. H. Dokhanchi, M. R. B. Shankar, Y. A. Nijsure, T. Stifter, S. Sedighi, and B. Ottersten, “Joint automotive radar-communications waveform design,” in 2017 IEEE 28th Annual International Symposium on Personal, Indoor, and Mobile Radio Communications (PIMRC), Oct. 2017, pp. 1–7.
  • [6] C. Sturm and W. Wiesbeck, “Waveform design and signal processing aspects for fusion of wireless communications and radar sensing,” Proc. IEEE, vol. 99, no. 7, pp. 1236–1259, Jul. 2011.
  • [7] A. R. Chiriyath, B. Paul, and D. W. Bliss, “Radar-communications convergence: Coexistence, cooperation, and co-design,” IEEE Trans. on Cogn. Commun. Netw., vol. 3, no. 1, pp. 1–12, Mar. 2017.
  • [8] L. Han and K. Wu, “Joint wireless communication and radar sensing systems - state of the art and future prospects,” IET Microwaves, Antennas Propagation, vol. 7, no. 11, pp. 876–885, Aug. 2013.
  • [9] Y. Liu, G. Liao, Z. Yang, and J. Xu, “Multiobjective optimal waveform design for OFDM integrated radar and communication systems,” Signal Process., vol. 141, pp. 331–342, Jun. 2017.
  • [10] L. Han and K. Wu, “Multifunctional transceiver for future intelligent transportation systems,” IEEE Trans. Microw. Theory Techn., vol. 59, no. 7, pp. 1879–1892, Jul. 2011.
  • [11] A. K. Mishra and M. Inggs, “Fopen capabilities of commensal radars based on whitespace communication systems,” in 2014 IEEE International Conference on Electronics, Computing and Communication Technologies (CONECCT), 2014, pp. 1–5.
  • [12] H. Takase and M. Shinriki, “A dual-use radar and communication system with complete complementary codes,” in 2014 15th International Radar Symposium (IRS), 2014, pp. 1–4.
  • [13] S. D. Blunt, M. R. Cook, and J. Stiles, “Embedding information into radar emissions via waveform implementation,” in 2010 International waveform diversity and design conference, 2010, pp. 000 195–000 199.
  • [14] Y. L. Sit and T. Zwick, “MIMO OFDM radar with communication and interference cancellation features,” in 2014 IEEE radar conference, 2014, pp. 0265–0268.
  • [15] J. A. Zhang, X. Huang, Y. J. Guo, J. Yuan, and R. W. Heath, “Multibeam for joint communication and radar sensing using steerable analog antenna arrays,” IEEE Trans. Veh. Technol., vol. 68, no. 1, pp. 671–685, Jan. 2019.
  • [16] Y. Luo, J. A. Zhang, X. Huang, W. Ni, and J. Pan, “Optimization and quantization of multibeam beamforming vector for joint communication and radio sensing,” IEEE Trans. Commun., vol. 67, no. 9, pp. 6468–6482, Sep. 2019.
  • [17] F. Liu, C. Masouros, A. Li, H. Sun, and L. Hanzo, “MU-MIMO communications with MIMO radar: From co-existence to joint transmission,” IEEE Trans. Wireless Commun., vol. 17, no. 4, pp. 2755–2770, Apr. 2018.
  • [18] 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, Aug. 2018.
  • [19] B. Li and A. Petropulu, “MIMO radar and communication spectrum sharing with clutter mitigation,” in 2016 IEEE Radar Conference (RadarConf), May 2016, pp. 1–6.
  • [20] B. Li, A. P. Petropulu, and W. Trappe, “Optimum co-design for spectrum sharing between matrix completion based MIMO radars and a MIMO communication system,” IEEE Trans. Signal Process., vol. 64, no. 17, pp. 4562–4575, Sep. 2016.
  • [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, Dec. 2017.
  • [22] Y. L. Sit, B. Nuss, and T. Zwick, “On mutual interference cancellation in a MIMO OFDM multiuser radar-communication network,” IEEE Trans. Veh. Technol., vol. 67, no. 4, pp. 3339–3348, Apr. 2018.
  • [23] Z. Ni, A. Zhang, K. Yang, F. Gao, and J. An, “Hybrid precoder design with minimum-subspace-distortion quantization in multiuser mmwave communications,” IEEE Trans. Veh. Technol., pp. 1–1, 2020.
  • [24] C. Sturm, Y. L. Sit, M. Braun, and T. Zwick, “Spectrally interleaved multi-carrier signals for radar network applications and multi-input multi-output radar,” IET Radar, Sonar Navigation, vol. 7, no. 3, pp. 261–269, Mar. 2013.
  • [25] Y. Liu, G. Liao, J. Xu, Z. Yang, and Y. Zhang, “Adaptive OFDM integrated radar and communications waveform design based on information theory,” IEEE Commun. Lett., vol. 21, no. 10, pp. 2174–2177, Oct. 2017.
  • [26] A. Turlapaty and Y. Jin, “A joint design of transmit waveforms for radar and communications systems in coexistence,” in 2014 IEEE Radar Conference, 2014, pp. 0315–0319.
  • [27] A. R. Chiriyath, B. Paul, G. M. Jacyna, and D. W. Bliss, “Inner bounds on performance of radar and communications co-existence,” IEEE Trans. Signal Process., vol. 64, no. 2, pp. 464–474, 2015.
  • [28] B. Paul and D. W. Bliss, “Estimation information bounds using the I-MMSE formula and gaussian mixture models,” in 2016 Annual Conference on Information Science and Systems (CISS), 2016, pp. 274–279.
  • [29] Z. Zhang, X. Chai, K. Long, A. V. Vasilakos, and L. Hanzo, “Full duplex techniques for 5G networks: self-interference cancellation, protocol design, and relay selection,” IEEE Commun. Mag., vol. 53, no. 5, pp. 128–137, May 2015.
  • [30] M. L. Rahman, J. A. Zhang, X. Huang, Y. J. Guo, and R. W. Heath, “Framework for a perceptive mobile network using joint communication and radar sensing,” IEEE Trans. Aerosp. Electron. Syst., vol. 56, no. 3, pp. 1926–1941, Jun. 2020.
  • [31] Z. Ni, J. A. Zhang, X. Huang, K. Yang, and F. Gao, “Parameter estimation and signal optimization for joint communication and radar sensing,” in 2020 IEEE International Conference on Communications Workshops (ICC Workshops), 2020, pp. 1–6.
  • [32] D. Guo, S. Shamai, and S. Verdú, “Mutual information and minimum mean-square error in gaussian channels,” IEEE Trans. Inf. Theory, vol. 51, no. 4, pp. 1261–1282, Apr. 2005.
  • [33] M. D. Larsen, A. L. Swindlehurst, and T. Svantesson, “Performance bounds for MIMO-OFDM channel estimation,” IEEE Trans. Signal Process., vol. 57, no. 5, pp. 1901–1916, May 2009.
  • [34] L. Xu, J. Li, P. Stoica, K. W. Forsythe, and D. W. Bliss, “Waveform optimization for MIMO radar: A Cramér-Rao bound based study,” in 2007 IEEE International Conference on Acoustics, Speech and Signal Processing - ICASSP ’07, vol. 2, 2007, pp. II–917–II–920.
  • [35] S. H. Dokhanchi, M. R. Bhavani Shankar, K. V. Mishra, and B. Ottersten, “Multi-constraint spectral co-design for colocated MIMO radar and MIMO communications,” in ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020, pp. 4567–4571.
  • [36] J. J. Moré and D. C. Sorensen, “Newton’s method,” Argonne National Lab., IL (USA), Tech. Rep., 1982.