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

Integrated Sensing and Communication with Delay Alignment Modulation: Performance Analysis and Beamforming Optimization

Zhiqiang Xiao,  and Yong Zeng This work was supported by the National Key R&D Program of China with grant number 2019YFB1803400, by the Natural Science Foundation of China under grant 62071114, by the Fundamental Research Funds for the Central Universities of China under grant 3204002004A2 and 2242022k30005. Part of this work has been presented at the IEEE ICC 2022, Seoul, South Korea, 16-20 May 2022 [1]. The authors are with the National Mobile Communications Research Laboratory and Frontiers Science Center for Mobile Information Communication and Security, Southeast University, Nanjing 210096, China. Y. Zeng is also with the Purple Mountain Laboratories, Nanjing 211111, China (e-mail: {zhiqiang_xiao, yong_zeng}@seu.edu.cn). (Corresponding author: Yong Zeng.)
Abstract

Delay alignment modulation (DAM) has been recently proposed to enable manipulable channel delay spread for efficient single- or multi-carrier communications. In particular, with perfect delay alignment, inter-symbol interference (ISI) can be eliminated even with single-carrier (SC) transmission, without relying on sophisticated channel equalization. The key ideas of DAM are delay pre-compensation and path-based beamforming, so that all multi-path signal components may arrive at the receiver simultaneously and be superimposed constructively, rather than causing the detrimental ISI. Compared to the classic orthogonal frequency division multiplexing (OFDM) transmission, DAM-enabled SC communication has several appealing advantages, including low peak-to-average-power ratio (PAPR) and high tolerance for Doppler frequency shift, which renders DAM also appealing for radar sensing. Therefore, in this paper, DAM is investigated for integrated sensing and communication (ISAC) systems. We first study the output signal-to-noise ratios (SNRs) for ISI-free SC communication and radar sensing, and then derive the closed-form expressions for DAM-based sensing in terms of the ambiguity function (AF) and integrated sidelobe ratio (ISR). Furthermore, we study the beamforming design problem for DAM-based ISAC to maximize the communication SNR while guaranteeing the sensing performance in terms of the sensing SNR and ISR. Finally, we provide performance comparison between DAM and OFDM for ISAC, and it is revealed that DAM signal may achieve better communication and sensing performance, thanks to its low PAPR, reduced guard interval overhead, as well as higher tolerance for Doppler frequency shift. Simulation results are provided to show the great potential of DAM for ISAC.

Index Terms:
Delay alignment modulation (DAM), integrated sensing and communication (ISAC), ambiguity function (AF), ISI-free communication, path-based beamforming.

I Introduction

The sixth generation (6G) mobile communication networks are expected to not only further enhance the existing wireless communication services, but also bring in the new sensing capabilities, so as to bridge the cyber and real worlds with intelligence [2, 3, 4, 5, 6]. To realize such ambitious visions, integrated sensing and communication (ISAC) has attracted extensive research attentions recently [7, 8, 9, 10, 11]. ISAC aims at efficiently utilizing the precious radio resources, hardware, and infrastructure platform to achieve dual functions of sensing and communication. Furthermore, mutualism between sensing and communication could also be achieved, say via sensing-aided communication and communication-aided sensing enhancement [12, 13, 14].

One fundamental problem for ISAC is to find the suitable waveforms to simultaneously guarantee the desired performance for both communication and sensing [15, 16, 17]. Most existing approaches on waveform design for ISAC can be classified into two categories, namley, that based on radar-communication coexistence (RCC) [18, 19, 20] and dual-function radar-communication (DFRC) [21, 22, 23]. For RCC, the radar sensing and communication functions are designed separately and their signals are treated as the detrimental interference by each other. As a consequence, in order to eliminate the interference, the sensing and communication signals may occupy orthogonal radio resources by time-division [18], frequency-division [19], or space-division [20]. Compared with RCC-based design, the DFRC-based approach is a more aggressive technique towards ISAC, which aims at fully utilizing the radio and hardware resources in a shared manner with unified waveforms. The research efforts on DFRC waveforms can be further classified as radar-centric and communication-centric designs. For radar-centric methods, radar sensing is treated as the primary goal and communication symbols are usually embedded into the classic radar waveforms, such as chirp or frequency modulation continuous waveform (FMCW), via radar pulse modulation [24], index modulation [25], or beampattern modulation [26]. However, such techniques suffer from extremely low communication rate since information embedding is usually applied on the slow-time scale across radar pulses, leading to the communication rate that is limited by the pulse repetition frequency (PRF) [16, 17].

Different from radar-centric methods, communication-centric methods try to utilize the standard communication waveforms to achieve both sensing and communication purposes. In particular, orthogonal frequency division multiplexing (OFDM)-based ISAC system has been extensively studied [22, 27, 28, 29]. For communication, OFDM is a mature technology that has gained great success in WiFi, 4G and 5G [30]. On the other hand, for sensing, OFDM radar can decouple the delay and Doppler frequency estimation by simply applying the Fast Fourier Transform (FFT) and inverse-FFT (IFFT) [22]. However, as a multi-carrier transmission technology, OFDM-based ISAC suffers from several practical drawbacks like high peak-to-average-power ratio (PAPR) [31], vulnerability to carrier frequency offset (CFO) [32], and Doppler-induced inter-carrier interference (ICI) [33]. In particular, with high PAPR, the transmit power has to be backoff to avoid nonlinear signal distortion, which restricts the maximum communication and sensing range. Furthermore, in high mobility scenarios, the ICI issue will become a major impairment for communication and sensing performance [33, 34]. To tackle the above issues, various PAPR reduction or ICI mitigation techniques have been proposed, such as amplitude clipping, tone reservation, and single-carrier frequency-division multiple access (SC-FDMA) [31, 34]. Recently, a new multi-carrier technique termed orthogonal time frequency space (OTFS) modulation has been proposed [35], which modulates data symbols in the delay-Doppler domain, so that each data symbol is spread over the entire time-frequency diversity. In [36, 37, 38], OTFS was studied for radar systems, which showed its superiority than OFDM in high-mobility scenarios. However, the above techniques usually incur non-negligible performance loss or require rather complicated signal processing.

In this paper, we investigate ISAC with a novel transmission technology, termed delay alignment modulation (DAM) [39, 40]. By exploiting the high spatial resolution with large antenna arrays and multi-path sparsity of millimeter wave (mmWave) or Terahertz wireless channels, the key ideas of DAM are delay pre-compensation and path-based beamforming. Specifically, by deliberately introducing symbol delays at the transmitter side to match with the corresponding channel path delays, together with per-path based beamforming, all multi-path signal components may arrive at the receiver simultaneously and be superimposed constructively, rather than causing the detrimental inter-symbol interference (ISI) [39]. As a result, DAM enables ISI-free communication by low complexity single-carrier (SC) transmission without relying on sophisticated channel equalization. Furthermore, compared to OFDM, DAM can resolve the practical issues like high PAPR, vulnerability to CFO, and ICI. Such appealing features also render DAM attractive for radar sensing. Specifically, with reduced PAPR, DAM may allow higher transmit power than OFDM before those nonlinear devices like power amplifiers get saturated. Moreover, different from OFDM that typically tolerates the Doppler frequency shift only about 10% of the carrier spacing [36], the tolerable Doppler frequency shift is significantly enhanced for DAM, which thus improves the velocity estimation range. The main contributions of this paper are summarized as follows:

  • First, we present the system model for DAM-based ISAC, which aims to simultaneously achieve ISI-free communication to a user equipment (UE) and sense a radar target. The performance analysis of the proposed DAM-ISAC is given, where both the communication and sensing output signal-to-noise ratios (SNRs) are derived. Furthermore, the closed-form expression of the ambiguity function (AF) for sensing is analyzed, and the maximum peak sidelobe ratio (PSR) and the integrated sidelobe ratio (ISR) of the AF are derived.

  • Second, for the proposed DAM-ISAC system, we formulate a beamforming optimization problem to maximize the communication SNR while guaranteeing a prescribed sensing performance in terms of output SNR and ISR. The formulated problem is non-convex, for which a semidefinite relaxing (SDR) based method is proposed to obtain an effective solution.

  • Third, we provide a performance comparison between DAM- and OFDM-based ISAC, in terms of the sensing ambiguity and resolution, as well as the PAPR and SNR. The results demonstrate that DAM outperforms OFDM in high mobility scenarios, and has low PAPR and smaller guard interval overhead.

The rest of this paper is organized as follows. Section II presents the system model and introduces the key ideas of the DAM. In Section III, we first present the signal processing procedures of DAM-ISAC, followed by a comprehensive sensing performance analysis, including the sensing SNR, AF, PSR, and ISR. Furthermore, a beamforming optimization problem is studied for DAM-ISAC. In Section IV, we provide the performance comparison for DAM- and OFDM-based sensing in terms of the sensing ambiguity, resolution, PAPR and SNR. In Section V, numerical results are provided to evaluate the performance of the proposed DAM-ISAC. Finally, we conclude this paper in Section VI.

II System Model And Delay Alignment Modulation

Refer to caption
Figure 1: A monostatic ISAC system, where an ISAC node wishes to simultaneously communicate with a UE and sense a target.

As shown in Fig. 1, we consider a monostatic ISAC system, where a multi-antenna ISAC node wishes to simultaneously communicate with a single-antenna UE and sense a radar target. The ISAC node is equipped with M1M\gg 1 transmit antennas and one receiving antenna. We consider a frequency-selective multi-path propagation environment between the ISAC transmitter and the UE. For one particular channel coherent block, the discrete-time equivalent multiple-input-single-output (MISO) communication channel can be expressed as

𝐡cH[n]=l=1L𝐡lHδ[nnl],\mathbf{h}_{c}^{H}[n]=\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\delta[n-n_{l}], (1)

where LL is the number of temporal-resolvable multi-paths with delay resolution Ts=1/BT_{s}=1/B, with BB being the system bandwidth; 𝐡lM×1\mathbf{h}_{l}\in\mathbb{C}^{M\times 1} denotes the complex-valued channel coefficient and nl=round(τ~l/Ts)n_{l}=\mathrm{round}(\tilde{\tau}_{l}/T_{s}) denotes the normalized delay for the llth path, with τ~l\tilde{\tau}_{l} denoting the delay in seconds. The channel delay spread is nd=nmaxnminn_{d}=n_{\max}-n_{\min}, where nmax=max1lLnln_{\max}=\max\limits_{1\leq l\leq L}n_{l} and nmin=min1lLnln_{\min}=\min\limits_{1\leq l\leq L}n_{l} denote the maximum and minimum delays among the LL paths, respectively.

For radar sensing, we assume that there is a clear line-of-sight (LoS) link between the ISAC node and the radar target, and the self-interference of the ISAC node as well as the clutters have been suppressed by applying appropriate cancellation techniques [41]. Note that since the sensing target usually has higher moving speed than the communication UE, which results in higher Doppler frequency shift. Therefore, different from (1), the Doppler of the radar sensing channel is explicitly considered, which is given by

𝐡sH[n,m]=αδ[mτ]ej2πνnTs𝐚H(θ),\mathbf{h}_{s}^{H}[n,m]=\alpha\delta[m-\tau]e^{j2\pi\nu nT_{s}}\mathbf{a}^{H}(\theta), (2)

where α\alpha denotes the complex-valued channel coefficient including the impact of radar cross section (RCS) of the target; τ=round(τ~/Ts)\tau=\mathrm{round}(\tilde{\tau}/T_{s}) is the normalized two-way propagation delay, with τ~\tilde{\tau} denoting the delay in second; ν=2vλ\nu=~{}\frac{2v}{\lambda} is the Doppler frequency caused by the motion of the target with the radial velocity vv, and λ\lambda is the carrier wavelength; 𝐚(θ)M×1\mathbf{a}(\theta)\in\mathbb{C}^{M\times 1} is the steering vector of the transmit antenna array, with θ\theta denoting the direction of the sensing target. Note that one practical scenario of the considered ISAC system is the cellular-connected unmanned aerial vehicle (UAV) [42], where the sensing target corresponds to the UAV, while the ISAC node corresponds to the base station (BS) that wishes to simultaneously communicate with the ground UE and track the UAV in the airspace.

Signals propagated over the time-dispersive multi-path channel in (1) arrive the receiver via different paths with various delays, which cause the detrimental ISI. In contemporary communication systems, OFDM is the dominate technology to mitigate ISI, which transforms the frequency-selective channel (1) into multiple frequency-flat sub-channels with overlapped spectral. However, OFDM is known to suffer from several issues like high PAPR and sensitive to CFO. To resolve such issues, a novel transmission technique known as DAM was recently proposed in [39, 40]. With DAM-enabled SC transmission, the transmitted signal is

𝐱[n]=l=1L𝐟ls[nκl],\mathbf{x}[n]=\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}s[n-\kappa_{l}], (3)

where s[n]s[n] denotes the independent and identically distributed (i.i.d.) information-bearing symbols with normalized power 𝔼[|s[n]|2]=1\mathbb{E}[|s[n]|^{2}]=1; κl0\kappa_{l}\geq 0 is the deliberately introduced delay pre-compensation for the llth path, with κlκl,ll\kappa_{l}\neq\kappa_{l^{\prime}},\forall l\neq l^{\prime}; and 𝐟lM×1\mathbf{f}_{l}\in\mathbb{C}^{M\times 1} denotes per-path based transmit beamforming vector for the llth path. The average transmit power of 𝐱[n]\mathbf{x}[n] is

𝔼[𝐱[n]2]=l=1L𝔼[𝐟ls[nκl]2]=l=1L𝐟l2Pt,\mathbb{E}\left[\left\|\mathbf{x}[n]\right\|^{2}\right]=\sum_{l=1}^{L}\mathbb{E}\left[\left\|\mathbf{f}_{l}s\left[n-\kappa_{l}\right]\right\|^{2}\right]=\sum_{l=1}^{L}\left\|\mathbf{f}_{l}\right\|^{2}\leq P_{t}, (4)

where PtP_{t} denotes the average transmit power constraint. For the communication UE with the channel impulse response given in (1), the received signal is

yc[n]\displaystyle y_{c}[n] =𝐡cH[n]𝐱[n]+z[n]\displaystyle=\mathbf{h}_{c}^{H}[n]\ast\mathbf{x}[n]+z[n] (5)
=l=1Ll=1L𝐡lH𝐟ls[nκlnl]+z[n],\displaystyle=\sum\limits_{l=1}^{L}\sum\limits_{l^{\prime}=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l^{\prime}}s[n-\kappa_{l^{\prime}}-n_{l}]+z[n],

where \ast denotes the linear convolution, and z[n]𝒞𝒩(0,σ2)z[n]\sim\mathcal{CN}(0,\sigma^{2}) is the additive white Gaussian noise (AWGN).

By letting κl=nmaxnl0,l=1,,L\kappa_{l^{\prime}}=~{}n_{\max}-n_{l^{\prime}}\geq 0,l^{\prime}=1,\cdots,L, (5) can be written as

yc[n]=(l=1L𝐡lH𝐟l)s[nnmax]\displaystyle y_{c}[n]=\left(\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l}\right)s[n-n_{\max}] (6)
+l=1LllL𝐡lH𝐟ls[nnmax+nlnl]+z[n],\displaystyle+\sum\nolimits_{l=1}^{L}\sum\nolimits_{l^{\prime}\neq l}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l^{\prime}}s[n-n_{\max}+n_{l^{\prime}}-n_{l}]+z[n],

where all the multi-path components in the first term are aligned with a common delay nmaxn_{\max}, and they contribute to the desired signal, while the second term causes the ISI. Fortunately, the detrimental ISI can be effectively suppressed by applying path-based transmit beamforming [39]. In particular, if {𝐟l}l=1L\left\{\mathbf{f}_{l^{\prime}}\right\}_{l^{\prime}=1}^{L} are designed such that 𝐡lH𝐟l=0,ll\mathbf{h}_{l}^{H}\mathbf{f}_{l^{\prime}}=0,\forall l^{\prime}\neq l, the received DAM signal in (6) reduces to

yc[n]=(l=1L𝐡lH𝐟l)s[nnmax]+z[n].y_{c}[n]=\left(\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l}\right)s[n-n_{\max}]+z[n]. (7)

As a result, the original time-dispersive multi-path channel has been transformed into an ISI-free AWGN channel with a single delay nmaxn_{\max}, and the resulting SNR is

γc=|l=1L𝐡lH𝐟l|2/σ2.\gamma_{c}={\left|\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l}\right|^{2}}/\sigma^{2}. (8)

On the other hand, the DAM signal in (3) also has several appealing features for radar sensing. Specifically, different from the conventional OFDM radar [22] which suffers from high PAPR issue, the DAM signal in (3) utilizes SC transmission, which is expected to have lower PAPR and higher power efficiency. Moreover, for OFDM, the orthogonality among subcarriers may be destroyed by high Doppler frequency, resulting in ICI and degraded sensing performance [29]. Typically, the maximum tolerable Doppler frequency of OFDM is about 1010% of the subcarrier spacing [36]. By contrast, for DAM, since it is a SC transmission scheme, the Doppler frequency only results in the phase variation of the received signal but does not cause interference. Therefore, DAM is expected to have higher Doppler frequency (or velocity) estimation range. In the following, we first analyze the sensing performance of DAM, in terms of the sensing output SNR, AF, PSR, and ISR of the DAM signal, and then study the beamforming optimization problem for DAM-ISAC.

III Performance Analysis and Beamforming Optimization for DAM-ISAC

III-A DAM for sensing

For DAM-based sensing, let NN be the number of symbol durations for one coherent processing interval (CPI). The transmitted DAM signal in (3) over one CPI can be expressed as

𝐗¯[n]=[𝐱[n(N1)],,𝐱[n]]M×N.\bar{\mathbf{X}}[n]=\big{[}\mathbf{x}[n-(N-1)],\cdots,\mathbf{x}[n]\big{]}\in\mathbb{C}^{M\times N}. (9)

Denote by 𝐅[𝐟1,,𝐟L]M×L\mathbf{F}\triangleq\left[\mathbf{f}_{1},\cdots,\mathbf{f}_{L}\right]\in\mathbb{C}^{M\times L} the transmit beamforming matrix, and 𝐒¯[n][𝐬[nκ1],,𝐬[nκL]]TL×N\bar{\mathbf{S}}[n]\triangleq\left[\mathbf{s}[n-\kappa_{1}],\cdots,\mathbf{s}[n-\kappa_{L}]\right]^{T}\in\mathbb{C}^{L\times N} the transmitted symbols, where

𝐬[nκl]=[s[n(N1)κl],,s[nκl]]TN×1,\mathbf{s}[n-\kappa_{l}]=\big{[}s[n-(N-1)-\kappa_{l}],\cdots,s[n-\kappa_{l}]\big{]}^{T}\in\mathbb{C}^{N\times 1},

l=1,,Ll=1,\cdots,L. Based on (3), the transmitted DAM signal over one CPI can be written as

𝐗¯[n]=𝐅𝐒¯[n].\bar{\mathbf{X}}[n]=\mathbf{F}\bar{\mathbf{S}}[n]. (10)

For a sensing target with the channel in (2), the received echo signal over one CPI is

𝐲¯sH[n]\displaystyle\bar{\mathbf{y}}_{s}^{H}[n] =α𝐚H(θ)𝐗¯[nτ]diag(𝐝T[ν])+𝐳H\displaystyle=\alpha\mathbf{a}^{H}(\theta)\bar{\mathbf{X}}[n-\tau]\mathrm{diag}\left(\mathbf{d}^{T}[\nu]\right)+\mathbf{z}^{H} (11)
=α𝐚H(θ)𝐅𝐒¯[nτ]diag(𝐝T[ν])+𝐳H,\displaystyle=\alpha\mathbf{a}^{H}(\theta)\mathbf{F}\bar{\mathbf{S}}[n-\tau]\mathrm{diag}\left(\mathbf{d}^{T}[\nu]\right)+\mathbf{z}^{H},

where 𝐝[ν][ej2πν(n(N1))Ts,,ej2πνnTs]TN×1\mathbf{d}[\nu]\triangleq[e^{j2\pi\nu(n-(N-1))T_{s}},\cdots,e^{j2\pi\nu nT_{s}}]^{T}\in\mathbb{C}^{N\times 1} denotes the phase rotation over one CPI caused by the Doppler frequency ν\nu, and 𝐳N×1\mathbf{z}\in\mathbb{C}^{N\times 1} is the i.i.d. AWGN vector with 𝔼[𝐳𝐳H]=σ2𝐈N\mathbb{E}[\mathbf{z}\mathbf{z}^{H}]=\sigma^{2}\mathbf{I}_{N}. Note that for target sensing, the parameters of interest include θ\theta, τ\tau, and ν\nu. As this paper mainly focuses on the delay-Doppler domain sensing, we assume that the target direction θ\theta in (11) has already been estimated, say via beam scanning in radar searching mode [41].

With the monostatic architecture, the transmitted signal 𝐗¯[n]\bar{\mathbf{X}}[n] is known to the ISAC receiver. Therefore, to sense the target in the delay-Doppler domain from the received signal 𝐲¯s[n]N×1\bar{\mathbf{y}}_{s}[n]\in\mathbb{C}^{N\times 1} in (11), matched filters can be constructed for each delay-Doppler bin parameterized by (τp,νq)(\tau_{p},\nu_{q}), given by

𝐡H(τp,νq)=𝐚H(θ)𝐅𝐒¯[nτp]diag(𝐝T[νq])𝐚H(θ)𝐅𝐒¯[nτp]diag(𝐝T[νq]),\displaystyle\mathbf{h}^{H}(\tau_{p},\nu_{q})=\frac{\mathbf{a}^{H}(\theta)\mathbf{F}\bar{\mathbf{S}}[n-\tau_{p}]\mathrm{diag}\left(\mathbf{d}^{T}[\nu_{q}]\right)}{\left\|\mathbf{a}^{H}(\theta)\mathbf{F}\bar{\mathbf{S}}[n-\tau_{p}]\mathrm{diag}\left(\mathbf{d}^{T}[\nu_{q}]\right)\right\|}, (12)
p=0,,P1,q=0,,Q1,\displaystyle p=0,\cdots,P-1,q=0,\cdots,Q-1,

where PP and QQ denote the number of bins in the delay and Doppler intervals of interest, with the delay resolution of TsT_{s} and Doppler frequency resolution of 1/(NTs)1/(NT_{s}), respectively; 𝐝[νq][ej2πνq(n(N1))Ts,,ej2πνqnTs]TN×1\mathbf{d}[\nu_{q}]\triangleq\left[e^{j2\pi\nu_{q}(n-(N-1))T_{s}},\cdots,e^{j2\pi\nu_{q}nT_{s}}\right]^{T}\in\mathbb{C}^{N\times 1} is defined as the Doppler frequency estimator, with νq\nu_{q} denoting the Doppler frequency for the qqth Doppler bin. After matched filtering (MF), the resulting output is

r(τp,νq)\displaystyle{r}(\tau_{p},\nu_{q}) =𝐲sH[n]𝐡(τp,νq)\displaystyle=\mathbf{y}_{s}^{H}[n]\mathbf{h}(\tau_{p},\nu_{q}) (13)
=α𝐚H(θ)𝐅𝐒¯[nτ]diag(𝐝T[ν])\displaystyle=\alpha\mathbf{a}^{H}(\theta)\mathbf{F}\bar{\mathbf{S}}[n-\tau]\mathrm{diag}\left(\mathbf{d}^{T}[\nu]\right)
×diagH(𝐝T[νq])𝐒¯H[nτp]𝐅H𝐚(θ)𝐚H(θ)𝐅𝐒¯[nτp]diag(𝐝T[νq])+z^,\displaystyle\quad\times\frac{\mathrm{diag}^{H}\left(\mathbf{d}^{T}[\nu_{q}]\right)\bar{\mathbf{S}}^{H}[n-\tau_{p}]\mathbf{F}^{H}\mathbf{a}(\theta)}{\left\|\mathbf{a}^{H}(\theta)\mathbf{F}\bar{\mathbf{S}}[n-\tau_{p}]\mathrm{diag}\left(\mathbf{d}^{T}[\nu_{q}]\right)\right\|}+\hat{z},

where z^𝐳HdiagH(𝐝T[νq])𝐒¯H[nτp]𝐅H𝐚(θ)𝐚H(θ)𝐅𝐒¯[nτp]diag(𝐝T[νq])\hat{z}\triangleq\frac{\mathbf{z}^{H}\mathrm{diag}^{H}\left(\mathbf{d}^{T}[\nu_{q}]\right)\bar{\mathbf{S}}^{H}[n-\tau_{p}]\mathbf{F}^{H}\mathbf{a}(\theta)}{\left\|\mathbf{a}^{H}(\theta)\mathbf{F}\bar{\mathbf{S}}[n-\tau_{p}]\mathrm{diag}\left(\mathbf{d}^{T}[\nu_{q}]\right)\right\|} is the resulting noise after MF, satisfying z^𝒞𝒩(0,σ2)\hat{z}\sim\mathcal{CN}(0,\sigma^{2}). Therefore, the delay τ\tau and Doppler frequency ν\nu in (11) can be estimated as (τ^,ν^)=argmaxτp,νq|r(τp,νq)|(\hat{\tau},\hat{\nu})=\arg\max\limits_{\tau_{p},\nu_{q}}\ \left|r(\tau_{p},\nu_{q})\right|.

III-B Sensing performance analysis

Note that the MF output in (13) is random due to the random communication symbols involved. To analyze the DAM sensing performance, let us define a delay-Doppler correlation matrix (DDCM) involved in (13) as

𝚲(τp,νq;τ,ν)1N𝐒¯[nτ]diag(𝐝T[ννq])𝐒¯H[nτp].\bm{\Lambda}(\tau_{p},\nu_{q};\tau,\nu)\triangleq\frac{1}{N}\bar{\mathbf{S}}[n-\tau]\mathrm{diag}\left(\mathbf{d}^{T}[\nu-\nu_{q}]\right)\bar{\mathbf{S}}^{H}[n-\tau_{p}]. (14)

Then (13) can be rewritten as

r(τp,νq;τ,ν)=αN𝐚H(θ)𝐅𝚲(τp,νq;τ,ν)𝐅H𝐚(θ)N𝐚H(θ)𝐅𝚲(τp,νq;τp,νq)𝐅H𝐚(θ)+z^\displaystyle r(\tau_{p},\nu_{q};\tau,\nu)=\frac{\alpha N\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(\tau_{p},\nu_{q};\tau,\nu)\mathbf{F}^{H}\mathbf{a}(\theta)}{\sqrt{N\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(\tau_{p},\nu_{q};\tau_{p},\nu_{q})\mathbf{F}^{H}\mathbf{a}(\theta)}}+\hat{z} (15)
=αχ(τp,νq;τ,ν)N𝐚H(θ)𝐅𝚲(τp,νq;τp,νq)𝐅H𝐚(θ)+z^,\displaystyle=\alpha\chi(\tau_{p},\nu_{q};\tau,\nu)\sqrt{N\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(\tau_{p},\nu_{q};\tau_{p},\nu_{q})\mathbf{F}^{H}\mathbf{a}(\theta)}+\hat{z},

where

χ(τp,νq;τ,ν)𝐚H(θ)𝐅𝚲(τp,νq;τ,ν)𝐅H𝐚(θ)𝐚H(θ)𝐅𝚲(τp,νq;τp,νq)𝐅H𝐚(θ)\chi(\tau_{p},\nu_{q};\tau,\nu)\triangleq\frac{\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(\tau_{p},\nu_{q};\tau,\nu)\mathbf{F}^{H}\mathbf{a}(\theta)}{{\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(\tau_{p},\nu_{q};\tau_{p},\nu_{q})\mathbf{F}^{H}\mathbf{a}(\theta)}} (16)

is termed as the discrete equivalent normalized AF of the DAM signal in delay-Doppler domain, w.r.t. the ground-truth delay τ\tau and Doppler frequency ν\nu. Note that according to (10), the element of the DDCM in (14) at the iith row and jjth column is given by

[𝚲(τp,νq;τ,ν)]i,j,1i,jL\displaystyle\left[\bm{\Lambda}(\tau_{p},\nu_{q};\tau,\nu)\right]_{i,j},1\leq i,j\leq L (17)
=1N𝐬T[nκiτ]diag(𝐝T[ννq])𝐬[nκjτp]\displaystyle=\frac{1}{N}\mathbf{s}^{T}[n-\kappa_{i}-\tau]\mathrm{diag}\left(\mathbf{d}^{T}[\nu-\nu_{q}]\right)\mathbf{s}^{\dagger}[n-\kappa_{j}-\tau_{p}]
=1Nn~=n(N1)ns[n~κiτ]s[n~κjτp]ej2π(ννq)n~Ts,\displaystyle=\frac{1}{N}\sum\nolimits_{\tilde{n}=n-(N-1)}^{n}s[\tilde{n}-\kappa_{i}-\tau]s^{\dagger}[\tilde{n}-\kappa_{j}-\tau_{p}]e^{j2\pi(\nu-\nu_{q})\tilde{n}T_{s}},

where ()(\cdot)^{\dagger} denotes the conjugation operation. Note that (17) involves the summation of NN i.i.d. communication symbols s[n~]s[\tilde{n}] with various delays. When NN is large, we have the following result:

Theorem 1: For N1N\gg 1, the DDCM element in (17) approaches to

[𝚲(τp,νq;τ,ν)]i,j[𝚲(dτ,dν)]i,j={ψ(dν),κiκj=dτ,0,κiκjdτ,\small\left[\bm{\Lambda}(\tau_{p},\nu_{q};\tau,\nu)\right]_{i,j}\rightarrow\left[\bm{\Lambda}(d_{\tau},d_{\nu})\right]_{i,j}=\left\{\begin{aligned} &\psi(d_{\nu}),&&\kappa_{i}-\kappa_{j}=d_{\tau},\\ &0,&&\kappa_{i}-\kappa_{j}\neq d_{\tau},\end{aligned}\right. (18)

where 𝚲(dτ,dν)\bm{\Lambda}(d_{\tau},d_{\nu}) only depends on the delay difference dττpτd_{\tau}\triangleq\tau_{p}-\tau and the Doppler difference dνννqd_{\nu}\triangleq\nu-\nu_{q}. Furthermore, ψ(dν)\psi(d_{\nu}) in (18) is given by

ψ(dν)\displaystyle\psi(d_{\nu}) 1Nn~=n(N1)nej2πdνn~Ts=ejπdν(N1)Tssin(πdνNTs)Nsin(πdνTs)\displaystyle\triangleq\frac{1}{N}\sum\limits_{\tilde{n}=n-(N-1)}^{n}e^{j2\pi d_{\nu}\tilde{n}T_{s}}=e^{j\pi d_{\nu}(N-1)T_{s}}\frac{\sin(\pi d_{\nu}NT_{s})}{N\sin(\pi d_{\nu}T_{s})} (19)
=ejπdν(N1)Tsasinc(dν,N),\displaystyle=e^{j\pi d_{\nu}(N-1)T_{s}}\mathrm{asinc}(d_{\nu},N),

where asinc(dν,N)sin(πdνNTs)Nsin(πdνTs)\mathrm{asinc}(d_{\nu},N)\triangleq\frac{\sin(\pi d_{\nu}NT_{s})}{N\sin(\pi d_{\nu}T_{s})} denotes the “aliased sinc” function [41].

Proof:

Please refer to Appendix A. ∎

Note that limdν0asinc(dν,N)=1\lim\limits_{d_{\nu}\rightarrow 0}\mathrm{asinc}(d_{\nu},N)=1 and limNasinc(dν,N)=δ(dν)\lim\limits_{N\rightarrow\infty}\mathrm{asinc}(d_{\nu},N)=\delta(d_{\nu}), thus we have ψ(0)=1\psi(0)=1. Therefore, according to Theorem 1, when N1N\gg 1, (15) approaches to

r(dτ,dν)=αχ(dτ,dν)N𝐚H(θ)𝐅𝚲(0,0)𝐅H𝐚(θ)+z^,r(d_{\tau},d_{\nu})=\alpha\chi(d_{\tau},d_{\nu})\sqrt{N\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(0,0)\mathbf{F}^{H}\mathbf{a}(\theta)}+\hat{z}, (20)

with the AF approaching to

χ(dτ,dν)=𝐚H(θ)𝐅𝚲(dτ,dν)𝐅H𝐚(θ)𝐚H(θ)𝐅𝚲(0,0)𝐅H𝐚(θ),\chi(d_{\tau},d_{\nu})=\frac{\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(d_{\tau},d_{\nu})\mathbf{F}^{H}\mathbf{a}(\theta)}{{\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(0,0)\mathbf{F}^{H}\mathbf{a}(\theta)}}, (21)

which is referred to as the asymptotic AF that is only related to the delay and Doppler differences, i.e., dτd_{\tau} and dνd_{\nu}. Depending on whether dτ=0d_{\tau}=0 and/or dν=0d_{\nu}=0 or not, we have the following four cases.

1) χ(0,0)\chi(0,0):

In this case, both the considered delay bin τp\tau_{p} and Doppler bin νq\nu_{q} perfectly match with the ground-truth τ\tau and ν\nu, respectively, i.e., dτ=0d_{\tau}=0 and dν=0d_{\nu}=0. Thus (18) reduces to

[𝚲(0,0)]i,j={1,κi=κj0,κiκj,1i,jL.\displaystyle\left[\bm{\Lambda}(0,0)\right]_{i,j}=\left\{\begin{aligned} &1,&&\kappa_{i}=\kappa_{j}\\ &0,&&\kappa_{i}\neq\kappa_{j}\end{aligned}\right.,1\leq i,j\leq L. (22)

Note that since by design that κiκj,ij\kappa_{i}\neq\kappa_{j},\forall i\neq j in (3), we have [𝚲(0,0)]i,j=0,ij\left[\bm{\Lambda}(0,0)\right]_{i,j}=0,\forall i\neq j and [𝚲(0,0)]i,j=1,i=j\left[\bm{\Lambda}(0,0)\right]_{i,j}=1,\forall i=j, which indicates that the DDCM is simply an identity matrix, i.e.,

𝚲(0,0)=𝐈L.\bm{\Lambda}(0,0)=\mathbf{I}_{L}. (23)

By substituting (23) into (21) and (20), we have χ(0,0)=1\chi(0,0)=1, and the resulting MF output is

r(0,0)=αN𝐚H(θ)𝐅𝐅H𝐚(θ)+z^.r(0,0)=\alpha{\sqrt{N\mathbf{a}^{H}(\theta)\mathbf{F}\mathbf{F}^{H}\mathbf{a}(\theta)}}+\hat{{z}}. (24)

As a result, the maximum output SNR for DAM sensing is

γ=|α|2N𝐚H(θ)𝐅𝐅H𝐚(θ)σ2=|α|2N𝐚H(θ)(l=1L𝐟l𝐟lH)𝐚(θ)σ2.\small\gamma=\frac{|\alpha|^{2}{{N\mathbf{a}^{H}(\theta)\mathbf{F}\mathbf{F}^{H}\mathbf{a}(\theta)}}}{\sigma^{2}}=\frac{|\alpha|^{2}{{N\mathbf{a}^{H}(\theta)\left(\sum_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\right)\mathbf{a}(\theta)}}}{\sigma^{2}}. (25)

2) χ(0,dν)\chi(0,d_{\nu}):

In this case, the considered delay bin τp\tau_{p} matches with the ground-truth τ\tau, while the Doppler bin νq\nu_{q} and the ground-truth ν\nu are mismatched, i.e., dτ=0d_{\tau}=0 and dν0d_{\nu}\neq 0. Thus (18) reduces to

[𝚲(0,dν)]i,j={ψ(dν),κi=κj0,κiκj,1i,jL.\displaystyle\left[\bm{\Lambda}(0,d_{\nu})\right]_{i,j}=\left\{\begin{aligned} &\psi(d_{\nu}),&&\kappa_{i}=\kappa_{j}\\ &0,&&\kappa_{i}\neq\kappa_{j}\end{aligned}\right.,1\leq i,j\leq L. (26)

Similar to (22) and (23), the DDCM is a scaled identity matrix, i.e., 𝚲(0,dν)=ψ(dν)𝐈L\bm{\Lambda}(0,d_{\nu})=\psi(d_{\nu})\mathbf{I}_{L}, and the delay-cut of χ(τp,νq;τ,ν)\chi(\tau_{p},\nu_{q};\tau,\nu) at τp=τ\tau_{p}=\tau (i.e., dτ=0d_{\tau}=0) approaches to

χ(0,dν)=ψ(dν)=ejπdν(N1)Tsasinc(dν,N),\chi(0,d_{\nu})=\psi(d_{\nu})=e^{j\pi d_{\nu}(N-1)T_{s}}\mathrm{asinc}(d_{\nu},N), (27)

which measures the Doppler frequency sensing performance of the DAM signal.

For radar sensing, one important performance metric is the sidelobe level of the AF, which is critically related to the waveform sensibility for multiple targets. Specifically, the high sidelobes of the stronger target echo will mask the MF output of the weaker one [41]. To measure the sidelobe level of χ(0,dν)\chi(0,d_{\nu}), a common metric is the PSR, which is defined as [43]

ΦPSR=maxdν0|χ(0,dν)|=maxdν0|asinc(dν,N)|.\Phi_{PSR}=\max\limits_{d_{\nu}\neq 0}\left|{\chi(0,d_{\nu})}\right|=\max\limits_{d_{\nu}\neq 0}\left|\mathrm{asinc}(d_{\nu},N)\right|. (28)

Note that for the asinc function, the peak sidelobe is approximately 13.213.2 dB below the central peak amplitude, as illustrated in Fig. 2(b), where NN is only related to the frequency resolution but has no effect on the sidelobe level [41], thus we have ΦPSR13.2\Phi_{PSR}\approx-13.2 dB. In practice, to achieve lower PSR, some window functions can be applied, like Hamming or Taylor windows [41].

3) χ(dτ,0)\chi(d_{\tau},0):

In this case, the considered delay bin τp\tau_{p} mismatches with the ground-truth τ\tau, while the considered Doppler bin νq\nu_{q} and the ground-truth ν\nu are matched, i.e., dτ0d_{\tau}\neq 0 and dν=0d_{\nu}=0. Thus (18) can be rewritten as

[𝚲(dτ,0)]i,j={1,i,j=dτ,0,otherwise,\displaystyle\left[\bm{\Lambda}(d_{\tau},0)\right]_{i,j}=\left\{\begin{aligned} &1,&&\triangle_{i,j}=d_{\tau},\\ &0,&&\text{otherwise},\end{aligned}\right. (29)

where i,jκiκj,1i,jL\triangle_{i,j}\triangleq\kappa_{i}-\kappa_{j},1\leq i,j\leq L, is defined as the delay difference between the delay pre-compensation of the iith and jjth paths. Note that with κlκl\kappa_{l}\neq\kappa_{l^{\prime}}, ll\forall l\neq l^{\prime} and κl=nmaxnl\kappa_{l}=n_{\max}-n_{l}, we can obtain that the delay difference matrix 𝚫\mathbf{\Delta} consisting of i,j\triangle_{i,j}, 1i,jL1\leq i,j\leq L, is a skew-symmetric matrix, where i,j{±1,,±nd}\triangle_{i,j}\in~{}\left\{\pm 1,\cdots,\pm n_{d}\right\}, i,j\forall i,j, i,j1i,j2\triangle_{i,j_{1}}\neq\triangle_{i,j_{2}}, j1j2\forall j_{1}\neq j_{2}, and i1,ji2,j\triangle_{i_{1},j}\neq\triangle_{i_{2},j}, i1i2\forall i_{1}\neq i_{2}. For example, for L=3L=3 multi-paths with delays n1=1,n2=3n_{1}=1,n_{2}=3, and n3=5n_{3}=5, we have κ1=4\kappa_{1}=4, κ2=2\kappa_{2}=2, and κ3=0\kappa_{3}=0, and the delay difference matrix is

𝚫=[024202420].\mathbf{\Delta}=\left[\begin{array}[]{lll}0&2&4\\ -2&0&2\\ -4&-2&0\\ \end{array}\right]. (30)

Therefore, according to (29), when |dτ|>nd|d_{\tau}|>n_{d}, we have [𝚲(dτ,0)]i,j=0\left[\bm{\Lambda}(d_{\tau},0)\right]_{i,j}=0, i,j\forall i,j, i.e., 𝚲(dτ,0)\bm{\Lambda}(d_{\tau},0) is a zero matrix, which means that DAM can ensure perfect delay resolution at least for targets separated by time difference greater than the delay spread of the communication channel. On the other hand, for 0<|dτ|nd0<|d_{\tau}|\leq n_{d}, i.e., dτ=±1,,±ndd_{\tau}=\pm 1,\cdots,\pm n_{d}, we can obtain that [𝚲(dτ,0)]i,j=1\left[\bm{\Lambda}(d_{\tau},0)\right]_{i,j}=1 if and only if dτ=i,jd_{\tau}=\triangle_{i,j}.

To derive 𝚲(dτ,0)\bm{\Lambda}(d_{\tau},0) for 0<|dτ|nd0<\left|d_{\tau}\right|\leq n_{d}, we first put all pairs of (i,j)(i,j) whose corresponding delay difference i,j\triangle_{i,j} satisfying dτ=i,jd_{\tau}=\triangle_{i,j} into a set

𝒮(dτ)={(i,j)i,j,s.t.,dτ=i,j,1i,jL}.\mathcal{S}(d_{\tau})=\left\{(i,j)\mid\exists i,j,\text{s.t.},d_{\tau}=\triangle_{i,j},1\leq i,j\leq L\right\}. (31)

Taking (30) as an example, we have 1,2=2,3=2\triangle_{1,2}=\triangle_{2,3}=2. Based on (29), for dτ=2d_{\tau}=2, [𝚲(2,0)]1,2=[𝚲(2,0)]2,3=1\left[\bm{\Lambda}(2,0)\right]_{1,2}=\left[\bm{\Lambda}(2,0)\right]_{2,3}=1, while all other elements of 𝚲(2,0)\bm{\Lambda}(2,0) equal to zero. Thus, we put the pairs of (1,2)(1,2) and (2,3)(2,3) into a set 𝒮(2)={(1,2),(2,3)}\mathcal{S}(2)=\left\{(1,2),(2,3)\right\}, and the DDCM when dτ=2d_{\tau}=2 for L=3L=3 is given by

𝚲(2,0)=[010001000].\bm{\Lambda}(2,0)=\left[\begin{array}[]{lll}0&1&0\\ 0&0&1\\ 0&0&0\end{array}\right]. (32)

Therefore, according to (31), when 0<|dτ|<nd0<|d_{\tau}|<n_{d}, (29) can be further written as

[𝚲(dτ,0)]i,j={1,if(i,j)𝒮(dτ),0,otherwise.\left[\bm{\Lambda}(d_{\tau},0)\right]_{i,j}=\left\{\begin{aligned} &1,&&\text{if}\ (i,j)\in\mathcal{S}(d_{\tau}),\\ &0,&&\mathrm{otherwise}.\end{aligned}\right. (33)

Furthermore, based on (31) and (33), it can be obtained that the Doppler-cut of χ(τp,νq;τ,ν)\chi(\tau_{p},\nu_{q};\tau,\nu) at νq=ν\nu_{q}=\nu (i.e., dν=0d_{\nu}=0) approaches to

χ(dτ,0)\displaystyle\chi(d_{\tau},0) =𝐚H(θ)𝐅𝚲(dτ,0)𝐅H𝐚(θ)𝐚H(θ)𝐅𝚲(0,0)𝐅H𝐚(θ)\displaystyle=\frac{\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(d_{\tau},0)\mathbf{F}^{H}\mathbf{a}(\theta)}{{\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(0,0)\mathbf{F}^{H}\mathbf{a}(\theta)}} (34)
=𝐚H(θ)((i,j)𝒮(dτ)𝐟i𝐟jH)𝐚(θ)𝐚H(θ)l=1L𝐟l𝐟lH𝐚(θ),\displaystyle=\frac{\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{(i,j)\in\mathcal{S}(d_{\tau})}\mathbf{f}_{i}\mathbf{f}_{j}^{H}\right)\mathbf{a}(\theta)}{{\mathbf{a}^{H}(\theta)\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\mathbf{a}(\theta)}},

which measures the delay sensing performance of the DAM signal. To measure the sidelobe level of χ(dτ,0)\chi(d_{\tau},0), in addition to PSR, another effective metric is the ISR, which is particulary useful for measuring the susceptibility to distributed scattering such as clutters [43]. The discrete form ISR of χ(dτ,0)\chi(d_{\tau},0) can be expressed as

ΦISR=0<|dτ|nd|χ(dτ,0)|2\displaystyle\Phi_{ISR}={\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\chi(d_{\tau},0)\right|^{2}} (35)
=0<|dτ|nd|𝐚H(θ)((i,j)𝒮(dτ)𝐟i𝐟jH)𝐚(θ)|2|𝐚H(θ)l=1L𝐟l𝐟lH𝐚(θ)|2.\displaystyle=\frac{\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{(i,j)\in\mathcal{S}(d_{\tau})}\mathbf{f}_{i}\mathbf{f}_{j}^{H}\right)\mathbf{a}(\theta)\right|^{2}}{\left|{\mathbf{a}^{H}(\theta)\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\mathbf{a}(\theta)}\right|^{2}}.

In general, the ISR should be no greater than a predetermined threshold to ensure the sensing performance, which can be achieved by applying the appropriate DAM path-based beamforming {𝐟l}l=1L\left\{\mathbf{f}_{l}\right\}_{l=1}^{L} as discussed in Section III-C.

4) χ(dτ,dν)\chi(d_{\tau},d_{\nu}):

In this case, neither the delay nor the Doppler bins (τp,νq)(\tau_{p},\nu_{q}) under consideration match with the ground-truth (τ,ν)(\tau,\nu), i.e., dτ0d_{\tau}\neq 0 and dν0d_{\nu}\neq 0. Therefore, according to (18), similar from (29) to (34), the asymptotic AF is

χ(dτ,dν)\displaystyle\chi(d_{\tau},d_{\nu}) =ψ(dν)𝐚H(θ)((i,j)𝒮(dτ)𝐟i𝐟jH)𝐚(θ)𝐚H(θ)l=1L𝐟l𝐟lH𝐚(θ)\displaystyle=\frac{\psi(d_{\nu})\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{(i,j)\in\mathcal{S}(d_{\tau})}\mathbf{f}_{i}\mathbf{f}_{j}^{H}\right)\mathbf{a}(\theta)}{{\mathbf{a}^{H}(\theta)\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\mathbf{a}(\theta)}} (36)
=χ(dτ,0)χ(0,dν),\displaystyle=\chi(d_{\tau},0)\chi(0,d_{\nu}),

which means that χ(dτ,dν)\chi(d_{\tau},d_{\nu}) in delay-Doppler domain can be decoupled as the product of χ(dτ,0)\chi(d_{\tau},0) and χ(0,dν)\chi(0,d_{\nu}) in delay and Doppler domains, respectively.

In summary, the asymptotic AF of the DAM signal with N1N\gg 1 can be written as

χ(dτ,dν)={1,dτ=0,dν=0χ(dτ,0),dτ0,dν=0χ(0,dν),dτ=0,dν0χ(dτ,0)χ(0,dν),dτ0,dν0.\chi(d_{\tau},d_{\nu})=\left\{\begin{aligned} &1,&&d_{\tau}=0,d_{\nu}=0\\ &\chi(d_{\tau},0),&&d_{\tau}\neq 0,d_{\nu}=0\\ &\chi(0,d_{\nu}),&&d_{\tau}=0,d_{\nu}\neq 0\\ &\chi(d_{\tau},0)\chi(0,d_{\nu}),&&d_{\tau}\neq 0,d_{\nu}\neq 0.\end{aligned}\right. (37)

Note that different from the delay cut AF χ(0,dν)\chi(0,d_{\nu}) in (27), the Doppler-cut AF χ(dτ,0)\chi(d_{\tau},0) in (34) is critically dependent on the DAM beamforming vectors {𝐟l}l=1L\left\{\mathbf{f}_{l}\right\}_{l=1}^{L}. Thus, the Doppler-cut AF can be improved via appropriate beamforming for better sensing performance. In particular, with the transmit power constraint in (4), to maximize the sensing SNR in (25) while minimize the ISR of χ(dτ,0)\chi(d_{\tau},0) in (35) without considering the communication performance, it only needs to retain one beam aligned with the sensing target steering vector 𝐚(θ)\mathbf{a}(\theta) and let other beams to zero, i.e., 𝐟1=PtM𝐚(θ)\mathbf{f}_{1}=\sqrt{\frac{P_{t}}{M}}\mathbf{a}(\theta) and 𝐟l=𝟎M×1,l1\mathbf{f}_{l}=\mathbf{0}_{M\times 1},\forall l\neq 1, which is termed as single-path beamforming. The resulting maximum sensing SNR is γmax=|α|2NMPtσ2\gamma_{\max}=\frac{\left|\alpha\right|^{2}NMP_{t}}{\sigma^{2}}, while χ(dτ,0)=0\chi(d_{\tau},0)=0 and ΦISR=0\Phi_{ISR}=0. Note that for such a single-path beamforming scheme, (37) reduces to

χ(dτ,dν)={χ(0,dν),dτ=00,dτ0\chi(d_{\tau},d_{\nu})=\left\{\begin{aligned} &\chi(0,d_{\nu}),&&d_{\tau}=0\\ &0,&&d_{\tau}\neq 0\end{aligned}\right. (38)

which is equivalent to the asymptotic AF of the conventional SC waveform for sensing.

In Fig. 2, we plot the normalized AF χ(τp,νq;τ,ν)\chi(\tau_{p},\nu_{q};\tau,\nu) and the asymptotic AF χ(dτ,dν)\chi(d_{\tau},d_{\nu}) for DAM signal with the single-path beamforming. The ground-truth delay and Doppler frequency are set as τ=0\tau=0 and ν=0\nu=0. Thus we have dτ=τpd_{\tau}=\tau_{p} and dν=νqd_{\nu}=\nu_{q}. The signals s[n]s[n] are set as the 6464 quadrature amplitude modulation (QAM) symbols and the system bandwidth is B=100B=100 MHz. The number of the DAM symbols within one CPI are N=5000,10000,100000N=5000,10000,100000, which correspond to the CPI duration of Td=NTs=0.05,0.1,1T_{d}=NT_{s}=0.05,0.1,1 millisecond (ms). It is revealed that χ(τp,νq;τ,ν)\chi(\tau_{p},\nu_{q};\tau,\nu) approaches to χ(dτ,dν)\chi(d_{\tau},d_{\nu}) when NN is large, which verifies our theoretical result in Theorem 1. Specifically, as shown in Fig. 2(a), for the Doppler-cut AF of χ(τp,νp;τ,ν)\chi(\tau_{p},\nu_{p};\tau,\nu) at νp=ν=0\nu_{p}=\nu=0, i.e., χ(τp,0;0,0)\chi(\tau_{p},0;0,0), the PSR decreases as the CPI TdT_{d} increases, and χ(τp,0;0,0)\chi(\tau_{p},0;0,0) approaches to χ(dτ,0)\chi(d_{\tau},0) when TdT_{d} is large. On the other hand, the delay-cut AF of χ(τp,νp;τ,ν)\chi(\tau_{p},\nu_{p};\tau,\nu) at τp=τ=0\tau_{p}=\tau=0, i.e., χ(0,νp;0,0)\chi(0,\nu_{p};0,0), approaches to χ(0,dν)\chi(0,d_{\nu}) for Td=0.05,0.1T_{d}=0.05,0.1 and 11 ms. Note that the PSR of χ(0,νp;0,0)\chi(0,\nu_{p};0,0) or χ(0,dν)\chi(0,d_{\nu}) is always about 13.2-13.2 dB, while increasing the CPI TdT_{d} can only improve the Doppler frequency resolution but not the PSR.

Refer to caption
(a) Doppler-cut AF at νq=ν=0\nu_{q}=\nu=0, i.e., dν=0d_{\nu}=0
Refer to caption
(b) Delay-cut AF at τp=τ=0\tau_{p}=\tau=0, i.e., dτ=0d_{\tau}=0
Figure 2: Comparison between the normalized AF χ(τp,νq;τ,ν)\chi(\tau_{p},\nu_{q};\tau,\nu) and the asymptotic AF χ(dτ,dν)\chi(d_{\tau},d_{\nu}) of the DAM signal with the ground-truth delay τ=0\tau=0 and the Doppler frequency ν=0\nu=0. Thus dτ=τpd_{\tau}=\tau_{p} and dν=νpd_{\nu}=\nu_{p}. Single-path beamforming is considered, i.e., 𝐟1=PM𝐚(θ)\mathbf{f}_{1}=\sqrt{\frac{P}{M}}\mathbf{a}(\theta) and 𝐟l=𝟎M×1\mathbf{f}_{l}=\mathbf{0}_{M\times 1}, l1\forall l\neq 1.

III-C Beamforming optimization for DAM-ISAC

In this subsection, the beamforming optimization problem for DAM-ISAC is formulated to maximize the communication SNR in (8), subject to the ISI zero-forcing (ZF) condition 𝐡lH𝐟l=0,ll\mathbf{h}_{l^{\prime}}^{H}\mathbf{f}_{l}=0,\forall l\neq l^{\prime} and the transmit power constraint in (4), while guaranteeing that the sensing output SNR in (25) is no smaller than a threshold γth\gamma_{th} and the ISR in (35) is no greater than a threshold ϕth\phi_{th}. By discarding the constant term σ2\sigma^{2} in (8), the problem can be formulated as

(P1):\displaystyle\mathrm{(P1):} max{𝐟l}l=1L|l=1L𝐡lH𝐟l|2\displaystyle\max\limits_{\left\{\mathbf{f}_{l}\right\}_{l=1}^{L}}\left|\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l}\right|^{2} (39)
s.t.𝐡lH𝐟l=0,ll,1l,lL,\displaystyle\text{s.t.}\quad\mathbf{h}_{l^{\prime}}^{H}\mathbf{f}_{l}=0,\forall l\neq l^{\prime},1\leq l,l^{\prime}\leq L, (39a)
l=1L𝐟l2Pt,\displaystyle\qquad\sum\nolimits_{l=1}^{L}\left\|\mathbf{f}_{l}\right\|^{2}\leq P_{t}, (39b)
|α|2Nσ2𝐚H(θ)(l=1L𝐟l𝐟lH)𝐚(θ)γth,\displaystyle\qquad\frac{|\alpha|^{2}N}{\sigma^{2}}{{\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\right)\mathbf{a}(\theta)}}\geq\gamma_{th}, (39c)
0<|dτ|nd|𝐚H(θ)((i,j)𝒮(dτ)𝐟i𝐟jH)𝐚(θ)|2|𝐚H(θ)l=1L𝐟l𝐟lH𝐚(θ)|2ϕth.\displaystyle\quad\frac{\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathbf{a}^{H}(\theta)\bigg{(}\sum\limits_{(i,j)\in\mathcal{S}(d_{\tau})}\mathbf{f}_{i}\mathbf{f}_{j}^{H}\bigg{)}\mathbf{a}(\theta)\right|^{2}}{\left|{\mathbf{a}^{H}(\theta)\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\mathbf{a}(\theta)}\right|^{2}}\leq\phi_{th}. (39d)

For notational convenience, (39c) can be rewritten as

𝐚H(θ)(l=1L𝐟l𝐟lH)𝐚(θ)γ~th,{{\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\right)\mathbf{a}(\theta)}}\geq\tilde{\gamma}_{th}, (40)

with γ~thγthσ2|α|2N\tilde{\gamma}_{th}\triangleq\frac{\gamma_{th}\sigma^{2}}{\left|\alpha\right|^{2}N}. Furthermore, to simplify the problem, we consider a more stringent ISR constraint than (39d), given by

0<|dτ|nd|𝐚H(θ)((i,j)𝒮(dτ)𝐟i𝐟jH)𝐚(θ)|2ϕ~th,{\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{(i,j)\in\mathcal{S}(d_{\tau})}\mathbf{f}_{i}\mathbf{f}_{j}^{H}\right)\mathbf{a}(\theta)\right|^{2}}\leq\tilde{\phi}_{th}, (41)

where ϕ~thϕthγ~th2\tilde{\phi}_{th}\triangleq\phi_{th}\tilde{\gamma}_{th}^{2}. Note that due to the constraint (40), as long as (41) holds, (39d) must also hold. Therefore, problem (P1)\mathrm{(P1)} can be recast as

(P1.1)\displaystyle\mathrm{(P1.1)} max{𝐟l}l=1L|l=1L𝐡lH𝐟l|2\displaystyle\max\limits_{\left\{\mathbf{f}_{l}\right\}_{l=1}^{L}}\ \left|\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l}\right|^{2} (42)
s.t.𝐡lH𝐟l=0,ll,1l,lL,\displaystyle\text{s.t.}\quad\mathbf{h}_{l^{\prime}}^{H}\mathbf{f}_{l}=0,\forall l\neq l^{\prime},1\leq l,l^{\prime}\leq L, (42a)
l=1L𝐟l2Pt,\displaystyle\qquad\sum\nolimits_{l=1}^{L}\left\|\mathbf{f}_{l}\right\|^{2}\leq P_{t}, (42b)
𝐚H(θ)(l=1L𝐟l𝐟lH)𝐚(θ)γ~th,\displaystyle\qquad{{\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\right)\mathbf{a}(\theta)}}\geq\tilde{\gamma}_{th}, (42c)
0<|dτ|nd|𝐚H(θ)((i,j)𝒮(dτ)𝐟i𝐟jH)𝐚(θ)|2ϕ~th.\displaystyle\ {\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathbf{a}^{H}(\theta)\bigg{(}\sum\nolimits_{(i,j)\in\mathcal{S}(d_{\tau})}\mathbf{f}_{i}\mathbf{f}_{j}^{H}\bigg{)}\mathbf{a}(\theta)\right|^{2}}\leq\tilde{\phi}_{th}. (42d)

Proposition 1: Denote by 𝐇=[𝐡1,,𝐡L]M×L\mathbf{H}=\left[\mathbf{h}_{1},\cdots,\mathbf{h}_{L}\right]\in\mathbb{C}^{M\times L} and 𝐀(θ)=𝐚(θ)𝐚H(θ)M×M\mathbf{A}(\theta)=\mathbf{a}(\theta)\mathbf{a}^{H}(\theta)\in\mathbb{C}^{M\times M}. Problem (P1.1)\mathrm{(P1.1)} can be rewritten as

(P1.2)\displaystyle\mathrm{(P1.2)} max𝐅,{𝐟l}l=1Lvec(𝐅)Hvec(𝐇)vec(𝐇)Hvec(𝐅)\displaystyle\max\limits_{\mathbf{F},\left\{\mathbf{f}_{l}\right\}_{l=1}^{L}}\ \mathrm{vec}(\mathbf{F})^{H}\mathrm{vec}(\mathbf{H})\mathrm{vec}(\mathbf{H})^{H}\mathrm{vec}(\mathbf{F}) (43)
s.t.𝐡lH𝐟l=0,ll,1l,lL,\displaystyle\text{s.t.}\quad\mathbf{h}_{l^{\prime}}^{H}\mathbf{f}_{l}=0,\forall l\neq l^{\prime},1\leq l,l^{\prime}\leq L, (43a)
𝐅=[𝐟1,,𝐟L]M×L,\displaystyle\qquad\mathbf{F}=\left[\mathbf{f}_{1},\cdots,\mathbf{f}_{L}\right]\in\mathbb{C}^{M\times L}, (43b)
vec(𝐅)Hvec(𝐅)Pt\displaystyle\qquad\mathrm{vec}(\mathbf{F})^{H}\mathrm{vec}(\mathbf{F})\leq P_{t} (43c)
vec(𝐅)H(𝐈L𝐀(θ))vec(𝐅)γ~th,\displaystyle\qquad\mathrm{vec}(\mathbf{F})^{H}\left(\mathbf{I}_{L}\otimes\mathbf{A}(\theta)\right)\mathrm{vec}(\mathbf{F})\geq\tilde{\gamma}_{th}, (43d)
0<|dτ|nd|vec(𝐅)H(𝚲T(dτ,0)𝐀(θ))vec(𝐅)|2ϕ~th,\displaystyle{\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathrm{vec}(\mathbf{F})^{H}\left(\bm{\Lambda}^{T}(d_{\tau},0)\otimes\mathbf{A}(\theta)\right)\mathrm{vec}(\mathbf{F})\right|^{2}}\leq\tilde{\phi}_{th}, (43e)

where the elements of 𝚲(dτ,0)L×L\bm{\Lambda}(d_{\tau},0)\in\mathbb{R}^{L\times L} are given in (33), vec()\mathrm{vec}(\cdot) denotes the vectorization of a matrix, and \otimes is the Kronecker product.

Proof:

Please refer to Appendix B. ∎

Let 𝐇l=[𝐡1,,𝐡l1,𝐡l+1,,𝐡L]M×(L1)\mathbf{H}_{l}=\left[\mathbf{h}_{1},\cdots,\mathbf{h}_{l-1},\mathbf{h}_{l+1},\cdots,\mathbf{h}_{L}\right]\in\mathbb{C}^{M\times(L-1)}. Then (43a) can be equivalently expressed as 𝐇lH𝐟l=𝟎(L1)×1,l=1,,L\mathbf{H}_{l}^{H}\mathbf{f}_{l}=\mathbf{0}_{(L-1)\times 1},l=1,\cdots,L, which means that 𝐟l\mathbf{f}_{l} should lie in the nullspace of 𝐇lH\mathbf{H}_{l}^{H}. Denote by 𝐐L𝐈M𝐇l(𝐇lH𝐇l)1𝐇lH\mathbf{Q}_{L}\triangleq\mathbf{I}_{M}-\mathbf{H}_{l}(\mathbf{H}_{l}^{H}\mathbf{H}_{l})^{-1}\mathbf{H}_{l}^{H} the projection matrix into the space orthogonal to the columns of 𝐇l\mathbf{H}_{l}. Then we have 𝐟l=𝐐l𝐛l\mathbf{f}_{l}=\mathbf{Q}_{l}\mathbf{b}_{l}, l=1,,Ll=1,\cdots,L, where 𝐛l𝐂M×1\mathbf{b}_{l}\in\mathbf{C}^{M\times 1} denotes the new vector to be optimized. Therefore, denote by 𝐛¯=[𝐛1H,,𝐛LH]HML×1\bar{\mathbf{b}}=\left[\mathbf{b}_{1}^{H},\cdots,\mathbf{b}_{L}^{H}\right]^{H}\in\mathbb{C}^{ML\times 1} and 𝐐¯=diag(𝐐1,,𝐐L)ML×ML\bar{\mathbf{Q}}=\mathrm{diag}\left(\mathbf{Q}_{1},\cdots,\mathbf{Q}_{L}\right)\in\mathbb{C}^{ML\times ML}, then we have vec(𝐅)=𝐐¯𝐛¯\mathrm{vec}(\mathbf{F})=\bar{\mathbf{Q}}\bar{\mathbf{b}}. As a result, the problem (P1.2)\mathrm{(P1.2)} can be transformed to

(P2)\displaystyle\mathrm{(P2)}\ max𝐛¯\displaystyle\max\limits_{\bar{\mathbf{b}}}\ 𝐛¯H𝐇¯𝐛¯\displaystyle\bar{\mathbf{b}}^{H}\bar{\mathbf{H}}\bar{\mathbf{b}} (44)
s.t. 𝐛¯H𝐐¯𝐛¯Pt,\displaystyle\bar{\mathbf{b}}^{H}\bar{\mathbf{Q}}\bar{\mathbf{b}}\leq P_{t}, (44a)
𝐛¯H𝐀¯(θ)𝐛¯γ~th,\displaystyle\bar{\mathbf{b}}^{H}\bar{\mathbf{A}}(\theta)\bar{\mathbf{b}}\geq\tilde{\gamma}_{th}, (44b)
0<|dτ|nd|𝐛¯H𝐀¯Q(θ,dτ)𝐛¯|2ϕ~,\displaystyle{\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\bar{\mathbf{b}}^{H}\bar{\mathbf{A}}_{Q}(\theta,d_{\tau})\bar{\mathbf{b}}\right|^{2}}\leq\tilde{\phi}, (44c)

where 𝐇¯=𝐐¯Hvec(𝐇)vec(𝐇)H𝐐¯\bar{\mathbf{H}}=\bar{\mathbf{Q}}^{H}\mathrm{vec}(\mathbf{H})\mathrm{vec}(\mathbf{H})^{H}\bar{\mathbf{Q}}, 𝐐¯=𝐐¯H𝐐¯\bar{\mathbf{Q}}=\bar{\mathbf{Q}}^{H}\bar{\mathbf{Q}} since 𝐐l=𝐐lH𝐐l\mathbf{Q}_{l}=\mathbf{Q}_{l}^{H}\mathbf{Q}_{l}, l=1,,Ll=1,\cdots,L, 𝐀¯(θ)=𝐐¯H(𝐈L𝐀(θ))𝐐¯\bar{\mathbf{A}}(\theta)=\bar{\mathbf{Q}}^{H}\left(\mathbf{I}_{L}\otimes\mathbf{A}(\theta)\right)\bar{\mathbf{Q}}, and 𝐀¯Q(θ,dτ)=𝐐¯H(𝚲T(dτ,0)𝐀(θ))𝐐¯\bar{\mathbf{A}}_{Q}\left(\theta,d_{\tau}\right)=\bar{\mathbf{Q}}^{H}\left(\bm{\Lambda}^{T}(d_{\tau},0)\otimes\mathbf{A}(\theta)\right)\bar{\mathbf{Q}}. Note that although the constraints of (44a) and (44c) are convex, the objective function of (P2)\mathrm{(P2)} and the left hand side (LHS) of constraint (44b) are nonconcave. Therefore, the optimization problem is nonconvex. Therefore, the problem is hard to tackle directly by the standard convex optimization technique.

To address this issue, we derive the SDR of (P2)\mathrm{(P2)} as

(P2.1)\displaystyle\mathrm{(P2.1)}\ max𝐁¯\displaystyle\max\limits_{\bar{\mathbf{B}}}\ Tr(𝐇¯𝐁¯)\displaystyle\mathrm{Tr}\left(\bar{\mathbf{H}}\bar{\mathbf{B}}\right) (45)
s.t. Tr(𝐐¯𝐁¯)Pt,\displaystyle\mathrm{Tr}\left(\bar{\mathbf{Q}}\bar{\mathbf{B}}\right)\leq P_{t}, (45a)
Tr(𝐀¯(θ)𝐁¯)γ~th,\displaystyle\mathrm{Tr}\left(\bar{\mathbf{A}}(\theta)\bar{\mathbf{B}}\right)\geq\tilde{\gamma}_{th}, (45b)
0<|dτ|nd|Tr(𝐀¯Q(θ,dτ)𝐁¯)|2ϕ~,\displaystyle{\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathrm{Tr}\left(\bar{\mathbf{A}}_{Q}(\theta,d_{\tau})\bar{\mathbf{B}}\right)\right|^{2}}\leq\tilde{\phi}, (45c)
𝐁¯𝟎,\displaystyle\bar{\mathbf{B}}\succeq\mathbf{0}, (45d)

where 𝐁¯=𝐛¯𝐛¯HML×ML\bar{\mathbf{B}}=\bar{\mathbf{b}}\bar{\mathbf{b}}^{H}\in\mathbb{C}^{ML\times ML} is the new variable to be optimized, and (45d) denotes that 𝐁¯\bar{\mathbf{B}} is positive semidefinite. Note that the rank-one constraint of 𝐁¯\bar{\mathbf{B}} is omitted, and the LHS of the constraint (45c) is now a quadratic constraint. Thus problem (P2.1)\mathrm{(P2.1)} becomes a standard convex optimization problem, which can be efficiently solved by using the convex optimization tools, like CVX [44]. When the obtained optimal solution 𝐁¯\bar{\mathbf{B}}^{\star} of (P2.1)(\mathrm{P2.1}) has rank greater than one, we may obtain a feasible solution 𝐛¯\bar{\mathbf{b}}^{\star} with some rank-reduction techniques, like eigenvalue decomposition and Gaussian randomization [44].

IV DAM Versus OFDM For Sensing

Refer to caption
(a) DAM block structure
Refer to caption
(b) OFDM block structure
Figure 3: An illustration of DAM and OFDM block structures [39].

In this section, we compare the sensing performance between DAM and OFDM, while their comparison on communication performance has been given in [39] and [40]. The block structures of DAM and OFDM schemes are illustrated in Fig. 3. Denote by Tc=NcTsT_{c}=N_{c}T_{s} the channel coherent time, during which both the communication channel and target’s states are assumed to be unchanged. For DAM, to eliminate the inter-block interference (IBI), we use a guard interval with the time duration Tp=NpTsT_{p}=N_{p}T_{s} for each coherent block. Note that the length of the guard interval (i.e. NpN_{p}) should be set by jointly considering the communication and sensing performance requirements. On one hand, for communication, NpN_{p} should be no smaller than the maximum delay over all coherent blocks, i.e., Npn~maxN_{p}\geq\tilde{n}_{\max}, with n~maxnmax\tilde{n}_{\max}\geq n_{\max}. On the other hand, for sensing, the IBI may cause the range estimation ambiguity. The maximum unambiguity range is Rua=cNpTs2R_{ua}=\frac{cN_{p}T_{s}}{2}. Thus, for DAM-ISAC, NpN_{p} should be set as Np=max{n~max,2RuacTs}N_{p}=\max\left\{\tilde{n}_{\max},\frac{2R_{ua}}{cT_{s}}\right\}. Therefore, as illustrated in Fig. 3(a), the block structure of DAM satisfies Nc=N+NpN_{c}=N+N_{p}, where NN denotes the number of DAM symbols for each block.

On the other hand, for OFDM with KK subcarriers, the subcarrier spacing is f=1/(KTs)\triangle f=1/(KT_{s}) and the OFDM symbol duration is Tb=1/f=KTsT_{b}=1/\triangle f=KT_{s}. Denote the length of cyclic prefix (CP) as Tp=NpTsT_{p}=N_{p}T_{s}. Thus the OFDM block structure is shown in Fig. 3(b), with Nc=(Np+K)IN_{c}=(N_{p}+K)I, where I>1I>1 denotes the number of OFDM symbols per block. It can be inferred from Fig. 3 that N=KI+Np(I1)>KIN=KI+N_{p}(I-1)>KI, thanks to the saving of guard interval with DAM transmission.

In the following, we compare the sensing performance of DAM and OFDM in terms of ambiguity and resolution, PAPR, and the sensing SNR performance for delay and Doppler frequency estimation.

IV-A Ambiguity and resolution

For a MISO-OFDM system with MM transmit antennas, the discrete-time equivalent of the iith transmitted OFDM symbol can be written as

𝐱i[n]=1Kk=0K1𝐰kXi[k]ej2πkn/K,\displaystyle\mathbf{x}_{i}[n]=\frac{1}{\sqrt{K}}\sum\nolimits_{k=0}^{K-1}\mathbf{w}_{k}X_{i}[k]e^{j2\pi kn/K}, (46)
0nK1,0iI1,\displaystyle 0\leq n\leq K-1,0\leq i\leq I-1,

where 𝐰kM×1\mathbf{w}_{k}\in\mathbb{C}^{M\times 1} denotes the transmit beamforming vector for the kkth subcarrier, Xi[k]X_{i}[k] is the modulated information symbol at the kkth subcarrier for the iith OFDM symbol, which is assumed to belong to a finite alphabet 𝒜\mathcal{A}, with the normalized power 𝔼[|Xi[k]|2]=1\mathbb{E}[|X_{i}[k]|^{2}]=1 and the maximum amplitude Amax=maxXi[k]𝒜|Xi[k]|A_{\max}=\max_{X_{i}[k]\in\mathcal{A}}\left|X_{i}[k]\right|.

For OFDM sensing, we consider the standard FFT-based signal processing in [22] as a benchmark. Therefore, to sense a target with the channel given in (2), after CP removal, the iith received OFDM symbol can be written as

ri[n]=α𝐚H(θ)𝐱i[nτ]ej2π(iTo+nTs)ν+zi[n]\displaystyle r_{i}[n]=\alpha\mathbf{a}^{H}(\theta)\mathbf{x}_{i}[n-\tau]e^{j2\pi(iT_{o}+nT_{s})\nu}+z_{i}[n] (47)
=α𝐚H(θ)1Kk=0K1𝐰kXi[k]ej2πk(nτ)/Kej2π(iTo+nTs)ν+zi[n]\displaystyle=\alpha\mathbf{a}^{H}(\theta)\frac{1}{\sqrt{K}}\sum\limits_{k=0}^{K-1}\mathbf{w}_{k}X_{i}[k]e^{j2\pi k(n-\tau)/K}e^{j2\pi(iT_{o}+nT_{s})\nu}+z_{i}[n]
=α𝐚H(θ)Kk=0K1𝐰kXi[k]ej2π(νf+k)nKej2πτkKej2πiToν+zi[n],\displaystyle=\frac{\alpha\mathbf{a}^{H}(\theta)}{\sqrt{K}}\sum\limits_{k=0}^{K-1}\mathbf{w}_{k}X_{i}[k]e^{j2\pi\left(\frac{\nu}{\triangle f}+k\right)\frac{n}{K}}e^{-j2\pi\tau\frac{k}{K}}e^{j2\pi iT_{o}\nu}+z_{i}[n],

where To=(Np+K)TsT_{o}=(N_{p}+K)T_{s} is the total OFDM symbol duration including the CP, and zi[n]z_{i}[n] denotes the AWGN, with zi[n]𝒞𝒩(0,σ2)z_{i}[n]\sim\mathcal{CN}(0,\sigma^{2}). With the assumption of |ν|f|\nu|\ll\triangle f, the discrete fourier transform (DFT) of ri[n]r_{i}[n] can be written as

ri[k]=α𝐚H(θ)𝐰kXi[k]ej2πiToνej2πkτ/K+zi[k],\displaystyle r_{i}[k]=\alpha\mathbf{a}^{H}(\theta)\mathbf{w}_{k}X_{i}[k]e^{j2\pi iT_{o}\nu}e^{-j2\pi k\tau/K}+z_{i}[k], (48)
0iI1,0kK1,\displaystyle 0\leq i\leq I-1,0\leq k\leq K-1,

where zi[k]z_{i}[k] denotes the DFT of zi[n]z_{i}[n], satisfying zi[k]𝒞𝒩(0,σ2/K)z_{i}[k]\sim\mathcal{CN}(0,\sigma^{2}/K). Then, according to [22], after element-wise division, i.e., r^i[k]=ri[k]/Xi[k]\hat{r}_{i}[k]=r_{i}[k]/X_{i}[k], by applying the the IFFT and FFT operations on r^0[k]\hat{r}_{0}[k], 0kK10\leq k\leq K-1 and r^i[0],0iI1\hat{r}_{i}[0],0\leq i\leq I-1, respectively, the delay and Doppler frequency of the target can be estimated as

τ^=argmaxτpk=0K1r^0[k]ej2πkτp/K,\displaystyle\hat{\tau}=\arg\max\limits_{{\tau_{p}}}\sum\nolimits_{k=0}^{K-1}\hat{r}_{0}[k]e^{j2\pi k{\tau_{p}}/K}, (49)
ν^=argmaxνqi=0I1r^i[0]ej2πiToνq,\displaystyle\hat{\nu}=\arg\max\limits_{{\nu_{q}}}\sum\nolimits_{i=0}^{I-1}\hat{r}_{i}[0]e^{-j2\pi iT_{o}{\nu_{q}}},

with the delay resolution of TsT_{s} and Doppler frequency resolution of 1/Tc1/T_{c}, which is the same as that of DAM sensing. Note that such a FFT-based method works well when the element-wise division operation uses the correct Xi[k]X_{i}[k] from ri[k]r_{i}[k], which requires that 0τNp0\leq\tau\leq N_{p} and |ν|f\left|\nu\right|\ll\triangle f. However, the assumption of |ν|f\left|\nu\right|\ll\triangle f may not hold for high mobility scenarios and/or with high carrier frequency. As a concrete example, consider a OFDM-ISAC system operated at the 5G NR FR2 [45]. With the carrier frequency of 28 GHz and the subcarrier spacing of 60 kHz. A target with radial velocity 50 m/s (180 km/h) can cause the Doppler frequency about |ν|=9.33|\nu|=9.33 kHz, with the |ν|/f15.55%|\nu|/\triangle f\approx~{}15.55\%. Therefore, (48) does not hold for such scenarios, and the Doppler-dependent phase-shift across fast-time samples of each OFDM symbol may cause the high PSR and hence degrades the OFDM sensing performance. To visualize this effect, Fig. 4 plots the delay and Doppler frequency profiles of OFDM radar to sense a target at the range of 122122 meter (m) under two different radial velocities of 55 m/s and 5050 m/s, respectively, where Hamming window is applied to reduce the sidelobes of the OFDM sensing outputs [22]. It can be observed that although the peaks of profiles can match with the ground-truth range and Doppler frequencies, the PSRs of OFDM radar increase severely as the target velocity increases, and hence resulting in degraded sensing performance for high mobility scenarios.

On the other hand, for the proposed DAM-based sensing, to avoid the IBI across different blocks, it is also assumed that 0τNp0\leq\tau\leq N_{p}, and the first NpN_{p} elements corresponding to the guard interval are discarded. Thus, the delay and Doppler frequency of the target can be estimated based on the remaining signals as discussed in Section III-B. Therefore, it can be concluded that DAM has theoretically the same maximum unambiguity range, range resolution, and velocity resolution as that of OFDM. However, DAM as a SC waveform is more robust to the Doppler frequency estimation, where the unambiguity maximum Doppler frequency estimation is on the order of the system bandwidth BB, rather than B/KB/K in OFDM system. Specifically, as shown in Fig. 4, the PSR of the DAM significantly outperforms OFDM in high mobility scenarios. Moreover, for OFDM sensing, due to the entailed Fourier transform, the PSRs of the resulted output are around 13-13 to 15-15 dB [22]. Therefore, to mitigate this issue, Hamming window is typically applied, but at the cost of the widened main-lobe and degraded resolution. However, for DAM-based sensing, with the MF processing, the sidelobe level of the MF output is only related to the CPI duration, which is evident from Fig. 2(a). Therefore, the Hamming window is not needed, and DAM can achieve better range resolution than OFDM in practice, as observed from Fig. 4(a).

Refer to caption
(a) Range profiles of OFDM and DAM sensing
Refer to caption
(b) Doppler profiles of OFDM and DAM sensing
Figure 4: Comparison between DAM and OFDM on the performance of range and Doppler frequency estimation. A target at the range of 122122 m under radial velocities of 55 m/s and 5050 m/s are considered. Both the DAM and OFDM systems operate at the carrier frequency of 2828 GHz with the bandwidth of 122.88122.88 MHz. Moreover, single-path beamforming is applied for DAM sensing, while all subcarrier beamforming vectors of OFDM are aligned with the steering vector of the target. Note that for OFDM sensing and DAM Doppler estimation, the Hamming window is applied to reduce the sidelobe level.

IV-B PAPR and SNR performance

In this subsection, we compare the PAPR of OFDM with that of DAM, and study the effect of transmit power backoff for sensing SNR performance. For a multi-antenna system, the PAPR is defined as [46]

PAPR=max0mM1{PAPR(m)},\mathrm{PAPR}=\max\limits_{0\leq m\leq M-1}\left\{\mathrm{PAPR}^{(m)}\right\}, (50)

where PAPR(m)\mathrm{PAPR}^{(m)} denotes the PAPR of the mmth transmit antenna, which is given by

PAPR(m)=max0tTob|x(m)(t)|2𝔼[|x(m)(t)|2],\mathrm{PAPR}^{(m)}=\max\limits_{0\leq t\leq T_{ob}}\frac{\left|x^{(m)}(t)\right|^{2}}{\mathbb{E}\left[\left|x^{(m)}(t)\right|^{2}\right]}, (51)

where x(m)(t),0tTobx^{(m)}(t),0\leq t\leq T_{ob}, denotes the transmit signal at the mmth antenna within the time interval [0,Tob)[0,T_{ob}). In general, to study the PAPR of multi-antenna systems, one needs to take into account the spectral pulse shaping and beamforming techniques, and examine the continuous-time transmitted signal. Here, to simplify the analysis, we consider a Nyquist pulse shaping and study the PAPR for the symbol-rate sampled discrete-time signal.

For the MISO-OFDM system with MM transmit antennas, the discrete-time equivalent of the iith transmitted OFDM symbol at the mmth antenna can be expressed as

xi(m)[n]=1Kk=0K1wk(m)Xi[k]ej2πkn/K,\displaystyle x_{i}^{(m)}[n]=\frac{1}{\sqrt{K}}\sum\nolimits_{k=0}^{K-1}w_{k}^{(m)}X_{i}[k]e^{j2\pi kn/K}, (52)
1nK1,0iI1,\displaystyle 1\leq n\leq K-1,0\leq i\leq I-1,

where wk(m),m=1,,Mw_{k}^{(m)},m=1,\cdots,M, denotes the mmth element of the transmit beamforming vector 𝐰k\mathbf{w}_{k} at the kkth subcarrier. According to (50) and (51), the PAPR of the discrete-form OFDM signal can be expressed as

PAPROFDM=max0nK1,0iI1,0mM1{|k=0K1wk(m)Xi[k]ej2πkn/K|2𝔼[|k=0K1wk(m)Xi[k]ej2πkn/K|2]}\displaystyle\mathrm{PAPR}_{\text{OFDM}}=\max_{\begin{subarray}{c}0\leq n\leq K-1,\\ 0\leq i\leq I-1,\\ 0\leq m\leq M-1\end{subarray}}\left\{\frac{\left|\sum\nolimits_{k=0}^{K-1}w_{k}^{(m)}X_{i}[k]e^{j2\pi kn/K}\right|^{2}}{\mathbb{E}\left[\left|\sum\nolimits_{k=0}^{K-1}w_{k}^{(m)}X_{i}[k]e^{j2\pi kn/K}\right|^{2}\right]}\right\} (53)
=(a)(k=0K1|wk(m^)Xi^[k]|)2k=0K1|wk(m^)|2=(b)Amax2(k=0K1|wk(m^)|)2k=0K1|wk(m^)|2,\displaystyle\overset{(a)}{=}\frac{\left(\sum\nolimits_{k=0}^{K-1}\left|w_{k}^{(\hat{m})}X_{\hat{i}}[k]\right|\right)^{2}}{\sum\nolimits_{k=0}^{K-1}\left|w_{k}^{(\hat{m})}\right|^{2}}\overset{(b)}{=}\frac{A_{\max}^{2}\left(\sum\nolimits_{k=0}^{K-1}\left|w_{k}^{(\hat{m})}\right|\right)^{2}}{\sum\nolimits_{k=0}^{K-1}\left|w_{k}^{(\hat{m})}\right|^{2}},

where (a)(a) holds when all terms wk(m^)Xi^[k]ej2πkn^/Kw_{k}^{(\hat{m})}X_{\hat{i}}[k]e^{j2\pi k\hat{n}/K} are added coherently for some (n^,i^,m^)(\hat{n},\hat{i},\hat{m}), while (b)(b) holds when |Xi^[k]|=Amax\left|X_{\hat{i}}[k]\right|=A_{\max}, k\forall k.

On the other hand, for DAM, the signal transmitted by the mmth antenna can be written as

x(m)[n]=l=1Lfl(m)s[nκl],0nN1,\small x^{(m)}[n]=\sum\nolimits_{l=1}^{L}f_{l}^{(m)}s[n-\kappa_{l}],0\leq n\leq N-1, (54)

where fl(m)f_{l}^{(m)} denotes the mmth element of the transmit beamforming vector 𝐟l\mathbf{f}_{l}. For fairness, the same symbol constellation set is used, i.e., s[n]𝒜s[n]\in\mathcal{A}, 𝔼[|s[n]|2]=1\mathbb{E}[|s[n]|^{2}]=1, and Amax=maxs[n]𝒜|s[n]|A_{\max}=\max_{s[n]\in\mathcal{A}}\left|s[n]\right| Therefore, similar to the OFDM case, the PAPR of DAM can be expressed as

PAPRDAM\displaystyle\mathrm{PAPR}_{\text{DAM}} =max0nN1,0mM1{|l=1Lfl(m)s[nκl]|2𝔼[|l=1Lfl(m)s[nκl]|2]}\displaystyle=\max_{\begin{subarray}{c}0\leq n\leq N-1,\\ 0\leq m\leq M-1\end{subarray}}\left\{\frac{\left|\sum\nolimits_{l=1}^{L}f_{l}^{(m)}s[n-\kappa_{l}]\right|^{2}}{\mathbb{E}\left[\left|\sum\nolimits_{l=1}^{L}f_{l}^{(m)}s[n-\kappa_{l}]\right|^{2}\right]}\right\} (55)
=(c)Amax2(l=1L|fl(m)|)2l=1L|fl(m)|2,\displaystyle\overset{(c)}{=}\frac{A_{\max}^{2}\left(\sum\nolimits_{l=1}^{L}\left|f_{l}^{(m^{\star})}\right|\right)^{2}}{\sum\nolimits_{l=1}^{L}\left|f_{l}^{(m^{\star})}\right|^{2}},

where (c)(c) holds when fl(m)s[nκl]f_{l}^{(m^{\star})}s[n^{\star}-\kappa_{l}], 1lL1\leq l\leq L are added coherently for some (n,m)(n^{\star},m^{\star}) and |s[nκl]|=Amax\left|s[n^{\star}-\kappa_{l}]\right|=A_{\max}, 1lL1\leq l\leq L, which is similar to (53). However, the critical difference is that for DAM, there is only LL signals added coherently instead of KK as for OFDM. For mmWave channels with multi-path sparsity when LKL\ll K, it is expected that DAM has lower PAPR than OFDM. Specifically, for phase-shift keying (PSK) modulation, i.e., Amax=1A_{\max}=1, if each of transmit beamforming element has constant modulus, say |wk(m)|=C1|w_{k}^{(m)}|=C_{1}, m,k\forall m,k and |fl(m)|=C2|f_{l}^{(m)}|=C_{2}, m,l\forall m,l, where C1C_{1} and C2C_{2} are constants, we can obtain that the PAPRs for OFDM and DAM signals are PAPROFDM=K\mathrm{PAPR}_{\text{OFDM}}=K and PAPRDAM=L\mathrm{PAPR}_{\text{DAM}}=L, respectively. In Fig. 5, a more informative comparison between DAM and OFDM on the distribution of the PAPR is given, from which it can be observed that DAM outperforms OFDM in terms of PAPR when the communication channel is sparse, i.e., LKL\ll K.

Refer to caption
Figure 5: A comparison on the complementary cumulative distribution functions (CCDFs) of PAPR of OFDM signal with K=2048K=2048 subcarriers and DAM signal with L=5,10,20L=5,10,20 paths for quadrature phase-shift keying (QPSK) modulation, where we assume that the transmit beamforming elements have constant modulus.

Since the nonlinear distortion may be caused when the amplifier is saturated, power backoff is necessary if the PAPR of the transmitted signal is large. However, this may compromise the SNR performance. Specifically, denote by PmaxP_{\max} the maximum allowable peak power for both OFDM and DAM, beyond which nonlinear distortion may be caused. By considering the case of PSK baseband modulation and constant beamforming modulus, we have PAPROFDM=K\mathrm{PAPR}_{\text{OFDM}}=K and PAPRDAM=L\mathrm{PAPR}_{\text{DAM}}=L. Therefore, the average transmit powers for OFDM and DAM are Pt=PmaxPAPROFDM=PmaxKP_{t}^{\prime}=\frac{P_{\max}}{\mathrm{PAPR}_{OFDM}}=\frac{P_{\max}}{K} and Pt=PmaxPAPRDAM=PmaxLP_{t}=\frac{P_{\max}}{\mathrm{PAPR}_{DAM}}=\frac{P_{\max}}{L}, respectively. For OFDM-based radar sensing, it can be obtained from (48) and (49) that after signal processing, for the particular delay-Doppler bin where the target lies, the output SNR is γOFDM=|α|2Ik=1K𝐚H(θ)𝐰k2σ2/K.\gamma_{\text{OFDM}}=\frac{|\alpha|^{2}I\sum\nolimits_{k=1}^{K}\left\|\mathbf{a}^{H}(\theta)\mathbf{w}_{k}\right\|^{2}}{\sigma^{2}/K}. With the target direction θ\theta known, the maximum output SNR of OFDM sensing is

γOFDM,max=|α|2MIKPtσ2=|α|2MIPmaxσ2\gamma_{\text{OFDM},\max}=\frac{|\alpha|^{2}MIKP_{t}^{\prime}}{\sigma^{2}}=\frac{|\alpha|^{2}MIP_{\max}}{\sigma^{2}} (56)

which can be obtained by setting 𝐰k=PtKM𝐚(θ),k\mathbf{w}_{k}=\sqrt{\frac{P_{t}^{\prime}}{KM}}\mathbf{a}(\theta),\forall k. On the other hand, for DAM-based sensing, according to (25), the maximum output SNR is

γDAM,max=|α|2MNPtσ2=|α|2MNPmaxLσ2\gamma_{\text{DAM},\max}=\frac{|\alpha|^{2}MNP_{t}}{\sigma^{2}}=\frac{|\alpha|^{2}MNP_{\max}}{L\sigma^{2}} (57)

which can be obtained by setting 𝐟l=PtLM𝐚(θ),l\mathbf{f}_{l}=\sqrt{\frac{P_{t}}{LM}}\mathbf{a}(\theta),\forall l. Note that typically, we have N>KIN>KI and for sparse channels, LKL\ll K. Thus we have N/LN/K>IN/L\gg N/K>I and γDAM,maxγOFDM,max\gamma_{\text{DAM},\max}\gg\gamma_{\text{OFDM},\max}, which implies that DAM can achieve much greater SNR than OFDM, thanks to the saving of guard interval and lower PAPR,

V Numerical results

In this section, simulation results are provided to evaluate the performance of the proposed DAM technique for ISAC as shown in Section III. The carrier frequency is fc=28f_{c}=28 GHz, and the system bandwidth is B=100B=100 MHz, which corresponds to the temporal resolution of Ts=1/B=10T_{s}=1/B=10 nanosecond (ns) and the range solution of R=cTs2=1.5\triangle R=\frac{cT_{s}}{2}=1.5 m. The channel coherent time is Tc=1T_{c}=1 ms, and the guard interval is Tp=4T_{p}=4 microseconds (μ\upmus), which corresponds to the maximum unambiguity range of Rua=600R_{\text{ua}}=600 m. The transmit power is Pt=30P_{t}=30 dBm, and the noise power is σ2=89\sigma^{2}=-89 dBm. The transmitter is equipped with an uniform linear array (ULA) consisting of M=64M=64 antennas. For millimeter wave (mmWave) communication, it is assumed that the channel is sparse with the number of temporal resolvable multi-paths of L=3L=3. The communication distance is Rc=100R_{c}=100 m, and the channel of each delay path is modelled as 𝐡l=βli=1μlvli𝐚(θli)\mathbf{h}_{l}=\beta_{l}\sum\nolimits_{i=1}^{\mu_{l}}v_{li}\mathbf{a}(\theta_{li}), where βl\beta_{l} denotes the complex channel coefficient of the llth path, which is modelled by following [47] and [48], while μl\mu_{l} denotes the number of sub-paths for the llth path with same delay but different AoDs θli,i=1,,μl\theta_{li},i=1,\cdots,\mu_{l}; vliv_{li} is the complex coefficient of the iith sub-path for the llth path, with vli=1μlejϕliv_{li}=\frac{1}{\sqrt{\mu_{l}}}e^{j\phi_{li}} and ϕli\phi_{li} satisfying the uniformly distribution in [0,2π)[0,2\pi) [39]. We assume that μl\mu_{l} is uniformly distributed in [1,μmax][1,\mu_{\max}], with μmax=3\mu_{\max}=3, while the AoDs are distributed within [50,50].[-50^{\circ},50^{\circ}]. On the other hand, for radar sensing, we consider a clear LoS path between the ISAC node and target, and the two-way propagation gain is modelled as |α|2=λ2ξ(4π)3R4|\alpha|^{2}=\frac{\lambda^{2}\xi}{(4\pi)^{3}R^{4}}, where R=225R=225 m is the sensing distance and ξ=1\xi=1 m2\text{m}^{2} is the RCS of the target.

Refer to caption
Figure 6: Normalized transmit beampatterns for DAM communication only, DAM sensing only, and DAM-ISAC, where the AoDs of communication multi-paths are [35,15,19,27][-35^{\circ},15^{\circ},19^{\circ},27^{\circ}], while the direction of the sensing target is θ=60\theta=60^{\circ} with two different sensing SNR constraints of γth=5\gamma_{th}=5 and 1515 dB, and the ISR constraint is ϕth=40\phi_{th}=-40 dB.

Fig. 6 shows the transmit beampatterns of different beamforming schemes for “DAM communication only”, “DAM sensing only”, and “DAM-ISAC”. It can be observed that for DAM communication without considering the target sensing, it only forms beams to match with the communication multi-path channels at the AoDs of [35,15,19,27][-35^{\circ},15^{\circ},19^{\circ},27^{\circ}], while for DAM sensing only beamforming, the formed beam only points towards the direction of the sensing target at θ=60\theta=60^{\circ}. By contrast, for DAM-ISAC when both communication and sensing performance are considered, the proposed beamforming scheme can simultaneously generate beams pointing towards all the directions of communication and sensing channels. Thus, it can simultaneously sense the target while providing ISI-free communication for communication user. To further illustrate this point, the DAM-ISAC beampattern for the first path beamforming 𝐟1\mathbf{f}_{1} is also shown in Fig. 6 by the yellow dot line, where the resulting beam only points towards the direction of the first path, while suppressed towards other multi-path directions to ensure ISI-free communication.

Refer to caption
Figure 7: Normalized Doppler-cut AF for different ISR constraints ϕth\phi_{th}, where the ϕth=5\phi_{th}=-5 and 40-40 dB and the sensing SNR threshold is γth=15\gamma_{th}=15 dB. The delays of multi-paths are n1=7n_{1}=7, n2=18n_{2}=18, n3=11n_{3}=11, thus we have κ1=11\kappa_{1}=11, κ2=0\kappa_{2}=0, κ3=7\kappa_{3}=7, and the delay differences are {±4,±7,±11}\left\{\pm 4,\pm 7,\pm 11\right\}.

Fig. 7 gives the normalized Doppler-cut AF of the DAM signal with the proposed DAM-ISAC beamforming by solving the problem (P1)(\mathrm{P1}) under two ISR threshold constraints, i.e., ϕth=5\phi_{th}=-5 and 40-40 dB, while the sensing SNR threshold is set as γth=15\gamma_{th}=15 dB. The delays of communication multi-paths are n1=7n_{1}=7, n2=18n_{2}=18, n3=11n_{3}=11. Thus according to (34), without the ISR constraint in (39d), the normalized Doppler-cut AF will have high sidelobes at the delay differences of {±4,±7,±11}\left\{\pm 4,\pm 7,\pm 11\right\}, and hence rendering the degraded delays sensing performance. Fortunately, such an issue can be effectively mitigated by introducing the ISR constraint (39d) in the optimization problem (P1)\mathrm{(P1)}. It can be observed from Fig. 7 that when the ISR constraint increases from 5-5 dB to 40-40 dB, the sidelobe level of the Doppler-cut AF can be significantly reduced. Moreover, when ϕth=40\phi_{th}=-40 dB, it can be observed that the DAM-ISAC scheme can achieve comparable delay sensing performance as that of the single-path beamforming as shown in Fig. 4(a), where the sidelobe levels are below 40-40 dB.

Refer to caption
Figure 8: Average communication spectral efficiency versus sensing ISR threshold ϕth\phi_{th} for DAM-ISAC beamforming with three different sensing SNR thresholds γth=5,10\gamma_{th}=5,10, and 1515 dB.

To analyze the impact of the sensing ISR threshold ϕth\phi_{th} on the performance of communication, Fig. 8 shows the average communication spectral efficiency versus the sensing ISR threshold ϕth\phi_{th} for three different sensing SNR thresholds, i.e., γth=5,10\gamma_{th}=5,10, and 1515 dB, where according to the DAM block structure given in Section IV, the communication spectral efficiency is defined as CDAM=NNclog2(1+γc)C_{\text{DAM}}=\frac{N}{N_{c}}\log_{2}(1+\gamma_{c}^{\star}) [39], with γc\gamma_{c}^{\star} denoting the output communication SNR obtained by solving the optimization problem (P1)\mathrm{(P1)}. It can be observed that changing ϕth\phi_{th} only slightly affects the communication spectral efficiency. This is appealing, since as shown in Fig. 7, the ISR constraint of 40-40 dB can result in a good sensing performance with low sidelobe levels. Therefore, the proposed DAM-ISAC beamforming scheme can achieve low sidelobe levels with negligible degradation on communication rate. However, different from the ISR threshold ϕth\phi_{th}, the communication spectral efficiency obviously decreases when the sensing SNR requirements increases from 55 to 1010 and 1515 dB. This is evident from Fig. 6, since as the sensing SNR constraint increases from 55 to 1515 dB, more transmit power directs towards the sensing target, rendering lower communication rate.

Refer to caption
Figure 9: Average communication spectral efficiency versus sensing SNR threshold γth\gamma_{th} for DAM-ISAC beamforming with different sensing ISRs, ϕth=0,20\phi_{th}=0,-20, and 40-40 dB.

As a further illustration, Fig. 9 shows the average communication spectral efficiency versus the sensing SNR threshold γth\gamma_{th} for different sensing ISR constraints ϕth=40,20\phi_{th}=-40,-20, and 0 dB. It can be observed that there is a clear trade-off between sensing SNR and communication spectral efficiency, i.e., the communication spectral efficiency decreases as the sensing SNR threshold γth\gamma_{th} increases, while varying the ISR threshold ϕth\phi_{th} from 0 dB to 40-40 dB only slightly reduces the communication spectral efficiency.

VI Conclusion

This paper studied ISAC with the novel DAM technique, which is an equalization-free SC transmission scheme that exploits the high spatial dimension and multi-path sparsity of mmWave/Terhertz massive MIMO channel. Compared with OFDM, DAM scheme as a SC transmission scheme has lower PAPR, reduced guard interval overhead, and robust to CFO, thus DAM may achieve better communication and sensing performance. Simulation results demonstrated that the proposed DAM-ISAC beamforming method can simultaneously provide ISI-free communication with high spectral efficiency while guaranteeing the sensing performance in terms of the sensing SNR and ISR.

Appendix A Proof of Theorem 1

Define x[n~]s[n~κiτ]s[n~κjτp]x[\tilde{n}]\triangleq s[\tilde{n}-\kappa_{i}-\tau]s^{\dagger}[\tilde{n}-\kappa_{j}-\tau_{p}] and ejφn~ej2π(ννq)n~Ts=ej2πdνn~Tse^{j\varphi_{\tilde{n}}}\triangleq e^{j2\pi(\nu-\nu_{q})\tilde{n}T_{s}}=e^{j2\pi d_{\nu}\tilde{n}T_{s}}. Without loss of generality, by considering n=Nn=N, then (17) can be rewritten as

[𝚲(τp,νq;τ,ν)]i,j=1Nn~=1Nx[n~]ejφn~.\left[\bm{\Lambda}(\tau_{p},\nu_{q};\tau,\nu)\right]_{i,j}=\frac{1}{N}\sum\limits_{\tilde{n}=1}^{N}x[\tilde{n}]e^{j\varphi_{\tilde{n}}}. (58)

Denote by YN[𝚲(τp,νq;τ,ν)]i,jY_{N}\triangleq\left[\bm{\Lambda}(\tau_{p},\nu_{q};\tau,\nu)\right]_{i,j}, thus the expectation of YNY_{N} is given by

𝔼[YN]=𝔼[1Nn~=1Nx[n~]ejφn~]=1Nn~=1N𝔼[x[n~]]ejφn~,\mathbb{E}\left[Y_{N}\right]=\mathbb{E}\left[\frac{1}{N}\sum\nolimits_{\tilde{n}=1}^{N}x[\tilde{n}]e^{j\varphi_{\tilde{n}}}\right]=\frac{1}{N}\sum\nolimits_{\tilde{n}=1}^{N}\mathbb{E}\left[x[{\tilde{n}}]\right]e^{j\varphi_{\tilde{n}}}, (59)

It will be derived later in (64) and (68) that 𝔼[YN]=[𝚲(dτ,dν)]i,j\mathbb{E}\left[Y_{N}\right]=~{}\left[\bm{\Lambda}(d_{\tau},d_{\nu})\right]_{i,j}. Therefore, to prove Theorem 1, it is equivalent to prove that YN𝔼[YN]Y_{N}\rightarrow\mathbb{E}[Y_{N}] when NN is large. However, since x[n~]ejφn~,nx[\tilde{n}]e^{j\varphi_{\tilde{n}}},\forall n are not i.i.d. complex random variables (RVs), we cannot directly use the conventional law of large numbers to give the proof. Here, we consider the Chebyshev’s inequality

Pr(|YN𝔼[YN]|ϵ)Var(YN)ϵ2,ϵ>0.\Pr\left(\left|Y_{N}-\mathbb{E}\left[Y_{N}\right]\right|\geq\epsilon\right)\leq\frac{\mathrm{Var}\left(Y_{N}\right)}{\epsilon^{2}},\forall\epsilon>0. (60)

Therefore, to prove that YN𝔼[YN]Y_{N}\rightarrow\mathbb{E}[Y_{N}] when NN is large, we only need to prove that Var(YN)/ϵ20{\mathrm{Var}(Y_{N})}/{\epsilon^{2}}\rightarrow 0, as NN goes to large. The variance of YNY_{N} is given by

Var(YN)=Var(1Nn~=1Nx[n~]ejφn~)\displaystyle\mathrm{Var}\left(Y_{N}\right)=\mathrm{Var}\left(\frac{1}{N}\sum\nolimits_{\tilde{n}=1}^{N}x[\tilde{n}]e^{j\varphi_{\tilde{n}}}\right) (61)
=1N2n~1=1Nn~2=1Nej(φn~1φn~2)Cov(x[n~1],x[n~2]),\displaystyle=\frac{1}{N^{2}}\sum\limits_{\tilde{n}_{1}=1}^{N}\sum\limits_{\tilde{n}_{2}=1}^{N}e^{j(\varphi_{\tilde{n}_{1}}-\varphi_{\tilde{n}_{2}})}\mathrm{Cov}\left(x[\tilde{n}_{1}],x[\tilde{n}_{2}]\right),

where Cov(x[n~1],x[n~2])\mathrm{Cov}\left(x[\tilde{n}_{1}],x[\tilde{n}_{2}]\right) denotes the covariance between x[n~1]x[\tilde{n}_{1}] and x[n~2]x[\tilde{n}_{2}], which is given by

Cov(x[n~1],x[n~2])=𝔼[x[n~1]x[n~2]]𝔼[x[n~1]]𝔼[x[n~2]].\mathrm{Cov}\left(x[\tilde{n}_{1}],x[\tilde{n}_{2}]\right)=\mathbb{E}\left[x[\tilde{n}_{1}]x^{\dagger}[\tilde{n}_{2}]\right]-\mathbb{E}\left[x[\tilde{n}_{1}]\right]\mathbb{E}\left[x^{\dagger}[\tilde{n}_{2}]\right]. (62)

Note that as the statistical properties of x[n~]x[\tilde{n}] are dependent on whether κi+τ=κj+τp\kappa_{i}+\tau=\kappa_{j}+\tau_{p}, i.e., κiκj=τpτdτ\kappa_{i}-\kappa_{j}=\tau_{p}-\tau\triangleq d_{\tau}, or not, we have the following two cases:

Case-I: For κi+τ=κj+τp\kappa_{i}+\tau=\kappa_{j}+\tau_{p}, i.e., κiκj=dτ\kappa_{i}-\kappa_{j}=d_{\tau}, we have

𝔼[x[n~]]=𝔼[|s[n~κiτ]|2].\mathbb{E}\left[x[\tilde{n}]\right]=\mathbb{E}\left[\left|s[\tilde{n}-\kappa_{i}-\tau]\right|^{2}\right]. (63)

Note that since the information-bearing symbols s[n~],ns[\tilde{n}],\forall n are i.i.d. complex RVs, satisfying s[n~]i.i.d.𝒞𝒩(0,1)s[\tilde{n}]\overset{i.i.d.}{\sim}\mathcal{CN}(0,1), we have 𝔼[x[n~]]=1\mathbb{E}\left[x[\tilde{n}]\right]=1. By substituting it into (59), we have

𝔼[YN]=1Nn~=1Nejφn~=1Nn~=1Nej2πdνn~Tsψ(dν).\mathbb{E}\left[Y_{N}\right]=\frac{1}{N}\sum\nolimits_{{\tilde{n}}=1}^{N}e^{j\varphi_{\tilde{n}}}=\frac{1}{N}\sum\nolimits_{{\tilde{n}}=1}^{N}e^{j2\pi d_{\nu}{\tilde{n}}T_{s}}\triangleq\psi(d_{\nu}). (64)

Moreover, as s[n~1]s[\tilde{n}_{1}] and s[n~2],n1n2s[\tilde{n}_{2}],\forall n_{1}\neq n_{2} are i.i.d. complex RVs, we have 𝔼[x[n~1]x[n~2]]=𝔼[x[n~1]]𝔼[x[n~2]]\mathbb{E}\left[x[\tilde{n}_{1}]x^{\dagger}[\tilde{n}_{2}]\right]=\mathbb{E}\left[x[\tilde{n}_{1}]\right]\mathbb{E}\left[x^{\dagger}[\tilde{n}_{2}]\right]. Therefore, the covariance between x[n~1]x[\tilde{n}_{1}] and x[n~2]x[\tilde{n}_{2}] is Cov(x[n~1],x[n~2])=0\mathrm{Cov}\left(x[\tilde{n}_{1}],x[\tilde{n}_{2}]\right)=0, n1n2\forall n_{1}\neq n_{2}, and (61) reduces to

Var(YN)=1N2n~=1NVar(x[n~])=ξ1N,\mathrm{Var}(Y_{N})=\frac{1}{N^{2}}\sum\limits_{\tilde{n}=1}^{N}\mathrm{Var}(x[\tilde{n}])=\frac{\xi_{1}}{N}, (65)

where ξ1Var(x[n~])\xi_{1}\triangleq\mathrm{Var}(x[\tilde{n}]) is a positive constant, denoting the variance of x[n~]x[\tilde{n}]. Therefore, by substituting (65) into (60), when NN is large, we have

Pr(|YN𝔼[YN]|ϵ)ξ1Nϵ20,ϵ>0.\Pr\left(\left|Y_{N}-\mathbb{E}\left[Y_{N}\right]\right|\geq\epsilon\right)\leq\frac{\xi_{1}}{N\epsilon^{2}}\rightarrow 0,\forall\epsilon>0. (66)

Thus the proof of Theorem 1 for κiκj=dτ\kappa_{i}-\kappa_{j}=d_{\tau} is completed.

Case-II: For κi+τκj+τp\kappa_{i}+\tau\neq\kappa_{j}+\tau_{p}, i.e., κiκjdτ\kappa_{i}-\kappa_{j}\neq d_{\tau}, we have

𝔼[x[n~]]\displaystyle\mathbb{E}\left[x[\tilde{n}]\right] =𝔼[s[n~κiτ]s[n~κjτp]]\displaystyle=\mathbb{E}\left[s[\tilde{n}-\kappa_{i}-\tau]s^{\dagger}[\tilde{n}-\kappa_{j}-\tau_{p}]\right] (67)
=𝔼[s[n~κiτ]]𝔼[s[n~κjτp]]=0.\displaystyle=\mathbb{E}\left[s[\tilde{n}-\kappa_{i}-\tau]\right]\mathbb{E}\left[s^{\dagger}[\tilde{n}-\kappa_{j}-\tau_{p}]\right]=0.

Thus, by substituting (67) into (59), we have

𝔼[YN]=1Nn~=1N𝔼[x[n~]]ejφn~=0.\mathbb{E}\left[Y_{N}\right]=\frac{1}{N}\sum\limits_{\tilde{n}=1}^{N}\mathbb{E}\left[x[\tilde{n}]\right]e^{j\varphi_{\tilde{n}}}=0. (68)

Furthermore, n~1n~2\forall{\tilde{n}}_{1}\neq{\tilde{n}}_{2}, we have

𝔼[x[n~1]x[n~2]]\displaystyle\mathbb{E}\left[x[{\tilde{n}}_{1}]x^{\dagger}[{\tilde{n}}_{2}]\right] =𝔼[s[n~1κiτ]s[n~1κjτp]\displaystyle=\mathbb{E}\big{[}s[{\tilde{n}}_{1}-\kappa_{i}-\tau]s^{\dagger}[{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}] (69)
×s[n~2κiτ]s[n~2κjτp]],\displaystyle\quad\times s^{\dagger}[{\tilde{n}}_{2}-\kappa_{i}-\tau]s[{\tilde{n}}_{2}-\kappa_{j}-\tau_{p}]\big{]},

where depending on whether n~1κiτ=n~2κjτp{\tilde{n}}_{1}-\kappa_{i}-\tau={\tilde{n}}_{2}-\kappa_{j}-\tau_{p} and/or n~1κjτp=n~2κiτ{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}={\tilde{n}}_{2}-\kappa_{i}-\tau or not, we have the following subcases:

1): if n~1κiτ=n~2κjτp{\tilde{n}}_{1}-\kappa_{i}-\tau={\tilde{n}}_{2}-\kappa_{j}-\tau_{p} but n~1κjτpn~2κiτ{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}\neq{\tilde{n}}_{2}-\kappa_{i}-\tau, (69) reduces to

𝔼[x[n~1]x[n~2]]\displaystyle\mathbb{E}\left[x[{\tilde{n}}_{1}]x^{\dagger}[{\tilde{n}}_{2}]\right] =𝔼[(s[n~1κiτ])2]𝔼[s[n~1κjτp]]\displaystyle=\mathbb{E}\left[(s[{\tilde{n}}_{1}-\kappa_{i}-\tau])^{2}\right]\mathbb{E}\left[s^{\dagger}[{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}]\right] (70)
×𝔼[s[n~2κiτ]]=0.\displaystyle\quad\times\mathbb{E}\left[s^{\dagger}[{\tilde{n}}_{2}-\kappa_{i}-\tau]\right]=0.

2): if n~1κiτn~2κjτp{\tilde{n}}_{1}-\kappa_{i}-\tau\neq{\tilde{n}}_{2}-\kappa_{j}-\tau_{p} but n~1κjτp=n~2κiτ{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}={\tilde{n}}_{2}-\kappa_{i}-\tau, (69) reduces to

𝔼[x[n~1]x[n~2]]\displaystyle\mathbb{E}\left[x[{\tilde{n}}_{1}]x^{\dagger}[{\tilde{n}}_{2}]\right] =𝔼[(s[n~1κjτp)2]]𝔼[s[n~1κiτ]]\displaystyle=\mathbb{E}\left[(s^{\dagger}[{\tilde{n}}_{1}-\kappa_{j}-\tau_{p})^{2}]\right]\mathbb{E}\left[s[{\tilde{n}}_{1}-\kappa_{i}-\tau]\right] (71)
×𝔼[s[n~2κjτp]]=0.\displaystyle\quad\times\mathbb{E}\left[s[{\tilde{n}}_{2}-\kappa_{j}-\tau_{p}]\right]=0.

3): if n~1κiτn~2κjτp{\tilde{n}}_{1}-\kappa_{i}-\tau\neq{\tilde{n}}_{2}-\kappa_{j}-\tau_{p} and n~1κjτpn~2κiτ{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}\neq{\tilde{n}}_{2}-\kappa_{i}-\tau, (69) reduces to

𝔼[x[n~1]x[n~2]]=𝔼[s[n~1κiτ]]𝔼[s[n~1κjτp]]\displaystyle\mathbb{E}\left[x[{\tilde{n}}_{1}]x^{\dagger}[{\tilde{n}}_{2}]\right]=\mathbb{E}\left[s[{\tilde{n}}_{1}-\kappa_{i}-\tau]\right]\mathbb{E}\left[s^{\dagger}[{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}]\right] (72)
×𝔼[s[n~2κiτ]]𝔼[s[n~2κjτp]]=0.\displaystyle\qquad\times\mathbb{E}\left[s^{\dagger}[{\tilde{n}}_{2}-\kappa_{i}-\tau]\right]\mathbb{E}\left[s[{\tilde{n}}_{2}-\kappa_{j}-\tau_{p}]\right]=0.

Note that the two conditions n~1κiτ=n~2κjτp{\tilde{n}}_{1}-\kappa_{i}-\tau={\tilde{n}}_{2}-\kappa_{j}-\tau_{p} and n~1κjτp=n~2κiτ{\tilde{n}}_{1}-\kappa_{j}-\tau_{p}={\tilde{n}}_{2}-\kappa_{i}-\tau cannot hold at the same time, since κi+τκj+τp\kappa_{i}+\tau\neq\kappa_{j}+\tau_{p} and n1n2n_{1}\neq n_{2}. Therefore, from (70) to (72), we have 𝔼[x[n~1]x[n~2]]=0\mathbb{E}\left[x[{\tilde{n}}_{1}]x^{\dagger}[{\tilde{n}}_{2}]\right]=0, n~1n~2\forall{\tilde{n}}_{1}\neq{\tilde{n}}_{2}. Moreover, since 𝔼[x[n~]]=0,n~\mathbb{E}\left[x[\tilde{n}]\right]=0,\forall\tilde{n} as in (67), we have 𝔼[x[n~1]x[n~2]]=𝔼[x[n~1]]𝔼[x[n~2]]=0\mathbb{E}\left[x[{\tilde{n}}_{1}]x^{\dagger}[{\tilde{n}}_{2}]\right]=\mathbb{E}\left[x[\tilde{n}_{1}]\right]\mathbb{E}\left[x^{\dagger}[\tilde{n}_{2}]\right]=0. Therefore, the covariance between x[n~1]x[\tilde{n}_{1}] and x[n~2]x[\tilde{n}_{2}] is Cov(x[n~1],x[n~2])=0\mathrm{Cov}\left(x[\tilde{n}_{1}],x[\tilde{n}_{2}]\right)=0, n1n2\forall n_{1}\neq n_{2}, and (61) reduces to

Var(YN)=1N2n~=1NVar(x[n~])=ξ2N,\mathrm{Var}(Y_{N})=\frac{1}{N^{2}}\sum\limits_{\tilde{n}=1}^{N}\mathrm{Var}(x[\tilde{n}])=\frac{\xi_{2}}{N}, (73)

where ξ2Var(x[n~])\xi_{2}\triangleq\mathrm{Var}(x[\tilde{n}]) is a positive constant, denoting the variance of x[n~]x[\tilde{n}] for Case-II. Therefore, similar to (66), when NN is large, we have

Pr(|YN𝔼[YN]|ϵ)ξ2Nϵ20,ϵ>0.\Pr\left(\left|Y_{N}-\mathbb{E}\left[Y_{N}\right]\right|\geq\epsilon\right)\leq\frac{\xi_{2}}{N\epsilon^{2}}\rightarrow 0,\forall\epsilon>0. (74)

Thus the proof of Theorem 1 for κiκjdτ\kappa_{i}-\kappa_{j}\neq d_{\tau} is completed.

Appendix B Proof of Proposition 1

The objective function of P1.1\mathrm{P1.1} in (42) can be written as

|l=1L𝐡lH𝐟l|2=|Tr(𝐇H𝐅)|2,\left|\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l}\right|^{2}=\left|\mathrm{Tr}\left(\mathbf{H}^{H}\mathbf{F}\right)\right|^{2}, (75)

where Tr()\mathrm{Tr}(\cdot) denotes the trace of a square matrix. Since Tr(𝐇H𝐅)=vec(𝐇)Hvec(𝐅)\mathrm{Tr}(\mathbf{H}^{H}\mathbf{F})=\mathrm{vec}(\mathbf{H})^{H}\mathrm{vec}(\mathbf{F}), (42) can be further written as

|l=1L𝐡lH𝐟l|2=vec(𝐅)Hvec(𝐇)vec(𝐇)Hvec(𝐅),\left|\sum\nolimits_{l=1}^{L}\mathbf{h}_{l}^{H}\mathbf{f}_{l}\right|^{2}=\mathrm{vec}(\mathbf{F})^{H}\mathrm{vec}(\mathbf{H})\mathrm{vec}(\mathbf{H})^{H}\mathrm{vec}(\mathbf{F}), (76)

Similarly, we have

l=1L𝐟l2=Tr(𝐅H𝐅)=vec(𝐅)Hvec(𝐅),\sum\nolimits_{l=1}^{L}\left\|\mathbf{f}_{l}\right\|^{2}=\mathrm{Tr}\left(\mathbf{F}^{H}\mathbf{F}\right)=\mathrm{vec}(\mathbf{F})^{H}\mathrm{vec}(\mathbf{F}), (77)

and

𝐚H(θ)(l=1L𝐟l𝐟lH)𝐚(θ)=Tr(𝐅H𝐀(θ)𝐅)\displaystyle{{\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{l=1}^{L}\mathbf{f}_{l}\mathbf{f}_{l}^{H}\right)\mathbf{a}(\theta)}}=\mathrm{Tr}\left(\mathbf{F}^{H}\mathbf{A}(\theta)\mathbf{F}\right) (78)
=vec(𝐅)Hvec(𝐀(θ)𝐅)=vec(𝐅)H(𝐈L𝐀(θ))vec(𝐅).\displaystyle=\mathrm{vec}(\mathbf{F})^{H}\mathrm{vec}(\mathbf{A}(\theta)\mathbf{F})=\mathrm{vec}(\mathbf{F})^{H}\left(\mathbf{I}_{L}\otimes\mathbf{A}(\theta)\right)\mathrm{vec}(\mathbf{F}).

For the LHS of the ISR constraint in (42d), according to (34), it can be first written as

0<|dτ|nd|𝐚H(θ)((i,j)𝒮(dτ)𝐟i𝐟jH)𝐚(θ)|2\displaystyle{\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathbf{a}^{H}(\theta)\left(\sum\nolimits_{(i,j)\in\mathcal{S}(d_{\tau})}\mathbf{f}_{i}\mathbf{f}_{j}^{H}\right)\mathbf{a}(\theta)\right|^{2}} (79)
=0<|dτ|nd|𝐚H(θ)𝐅𝚲(dτ,0)𝐅H𝐚(θ)|2,\displaystyle=\sum\limits_{0<|d_{\tau}|\leq n_{d}}\left|\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(d_{\tau},0)\mathbf{F}^{H}\mathbf{a}(\theta)\right|^{2},

which can be further written as

0<|dτ|nd|𝐚H(θ)𝐅𝚲(dτ,0)𝐅H𝐚(θ)|2\displaystyle\sum\limits_{0<|d_{\tau}|\leq n_{d}}\left|\mathbf{a}^{H}(\theta)\mathbf{F}\bm{\Lambda}(d_{\tau},0)\mathbf{F}^{H}\mathbf{a}(\theta)\right|^{2} (80)
=0<|dτ|nd|Tr(𝚲(dτ,0)𝐅H𝐀(θ)𝐅)|2\displaystyle=\sum\limits_{0<|d_{\tau}|\leq n_{d}}\left|\mathrm{Tr}\left(\bm{\Lambda}(d_{\tau},0)\mathbf{F}^{H}\mathbf{A}(\theta)\mathbf{F}\right)\right|^{2}
=0<|dτ|nd|vec(𝐀H(θ)𝐅𝚲T(dτ,0))Hvec(𝐅)|2\displaystyle=\sum\limits_{0<|d_{\tau}|\leq n_{d}}\left|\mathrm{vec}\left(\mathbf{A}^{H}(\theta)\mathbf{F}\bm{\Lambda}^{T}(d_{\tau},0)\right)^{H}\mathrm{vec}(\mathbf{F})\right|^{2}
=0<|dτ|nd|((𝚲(dτ,0)𝐀H(θ))vec(𝐅))Hvec(𝐅)|2\displaystyle=\sum\limits_{0<|d_{\tau}|\leq n_{d}}\left|\left(\left(\bm{\Lambda}(d_{\tau},0)\otimes\mathbf{A}^{H}(\theta)\right)\mathrm{vec}(\mathbf{F})\right)^{H}\mathrm{vec}(\mathbf{F})\right|^{2}
=0<|dτ|nd|vec(𝐅)H(𝚲T(dτ,0)𝐀(θ))vec(𝐅)|2.\displaystyle={\sum\limits_{0<\left|d_{\tau}\right|\leq n_{d}}\left|\mathrm{vec}(\mathbf{F})^{H}\left(\bm{\Lambda}^{T}(d_{\tau},0)\otimes\mathbf{A}(\theta)\right)\mathrm{vec}(\mathbf{F})\right|^{2}}.

Therefore, the problem (P1.1)\mathrm{(P1.1)} can be rewritten as (P1.2)\mathrm{(P1.2)} accordingly.

References

  • [1] Z. Xiao and Y. Zeng, “Integrated sensing and comunication with delay alignment modulation,” in Proc. IEEE Int. Conf. Commun. (ICC), Jun. 2022, pp. 1–6.
  • [2] W. Saad, M. Bennis, and M. Chen, “A vision of 6G wireless systems: Applications, trends, technologies, and open research problems,” IEEE Netw., vol. 34, no. 3, pp. 134–142, 2019.
  • [3] S. Dang, O. Amin, B. Shihada, and M.-S. Alouini, “What should 6G be?” Nature Electron., vol. 3, no. 1, pp. 20–29, Jan. 2020.
  • [4] X. You, C.-X. Wang, J. Huang, X. Gao, Z. Zhang, M. Wang, Y. Huang, C. Zhang, Y. Jiang, J. Wang et al., “Towards 6G wireless communication networks: Vision, enabling technologies, and new paradigm shifts,” Sci. China Inf. Sci., vol. 64, no. 1, pp. 1–74, Nov. 2021.
  • [5] W. Tong and P. Zhu, 6G, the next Horizon: From connected people and things to connected intelligence.   Cambridge Univ. Press, 2021.
  • [6] Z. Xiao and Y. Zeng, “An overview on integrated localization and communication towards 6G,” Sci. China Inf. Sci., vol. 65, no. 3, pp. 1–46, Mar. 2022.
  • [7] B. Paul, A. R. Chiriyath, and D. W. Bliss, “Survey of RF communications and sensing convergence research,” IEEE Access, vol. 5, pp. 252–270, Dec. 2016.
  • [8] Z. Feng, Z. Fang, Z. Wei, X. Chen, Z. Quan, and D. Ji, “Joint radar and communication: A survey,” China Commun., vol. 17, no. 1, pp. 1–27, Jan. 2020.
  • [9] D. K. P. Tan, J. He, Y. Li, A. Bayesteh, Y. Chen, P. Zhu, and W. Tong, “Integrated sensing and communication in 6G: Motivations, use cases, requirements, challenges and future directions,” in Proc. 1st IEEE Int. Online Symp. Joint Commun. Sens. (JC&S), Feb. 2021, pp. 1–6.
  • [10] F. Liu, Y. Cui, C. Masouros, J. Xu, T. X. Han, Y. C. Eldar, and S. Buzzi, “Integrated sensing and communications: Towards dual-functional wireless networks for 6G and beyond,” IEEE J. Sel. Areas. Commun., vol. 40, no. 6, pp. 1728–1767, Jun. 2022.
  • [11] J. A. Zhang, M. L. Rahman, K. Wu, X. Huang, Y. J. Guo, S. Chen, and J. Yuan, “Enabling joint communication and radar sensing in mobile networks-a survey,” IEEE Commun. Surverys Tuts, vol. 24, no. 1, pp. 306–345, 1st Quart 2022.
  • [12] L. Zheng, M. Lops, Y. C. Eldar, and X. Wang, “Radar and communication coexistence: An overview: A review of recent methods,” IEEE Signal Process. Mag., vol. 36, no. 5, pp. 85–99, 2019.
  • [13] Y. Cui, F. Liu, X. Jing, and J. Mu, “Integrating sensing and communications for ubiquitous IoT: Applications, trends, and challenges,” IEEE Netw., vol. 35, no. 5, pp. 158–167, Sep. 2021.
  • [14] H. Wang and Y. Zeng, “SNR scaling laws for radio sensing with extremely large-scale MIMO,” in Proc. IEEE Int. Conf. Commun. Workshop (ICC Workshop), Jun. 2022, pp. 1–6.
  • [15] J. A. Zhang, F. Liu, C. Masouros, R. W. Heath, Z. Feng, L. Zheng, and A. Petropulu, “An overview of signal processing techniques for joint communication and radar sensing,” IEEE J. Sel. Topics Signal Process., vol. 15, no. 6, pp. 1295–1315, Nov. 2021.
  • [16] A. Liu, Z. Huang, M. Li, Y. Wan, W. Li, T. X. Han, C. Liu, R. Du, D. K. P. Tan, J. Lu et al., “A survey on fundamental limits of integrated sensing and communication,” IEEE Commun. Surveys Tuts., vol. 24, no. 2, pp. 994–1034, 2nd Quart 2022.
  • [17] Z. Xiao and Y. Zeng, “Waveform design and performance analysis for full-duplex integrated sensing and communication,” IEEE J. Sel. Areas. Commun., vol. 40, no. 6, pp. 1823–1837, Jun. 2022.
  • [18] L. Han and K. Wu, “Joint wireless communication and radar sensing systems-state of the art and future prospects,” IET Microw., Antennas Propag., vol. 7, no. 11, pp. 876–885, Aug. 2013.
  • [19] C. Shi, F. Wang, M. Sellathurai, J. Zhou, and S. Salous, “Power minimization-based robust OFDM radar waveform design for radar and communication systems in coexistence,” IEEE Trans. Signal Process., vol. 66, no. 5, pp. 1316–1330, Mar. 2018.
  • [20] S. Sodagari, A. Khawar, T. C. Clancy, and R. McGwier, “A projection based approach for radar and telecommunication systems coexistence,” in Proc. IEEE Global Commun. Conf. (GLOBECOM).   IEEE, 2012, pp. 5010–5014.
  • [21] A. Hassanien, M. G. Amin, Y. D. Zhang, and F. Ahmad, “Signaling strategies for dual-function radar communications: An overview,” IEEE Aero. El. Sys. Mag., vol. 31, no. 10, pp. 36–45, 2016.
  • [22] 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, 2011.
  • [23] P. Kumari, S. A. Vorobyov, and R. W. Heath, “Adaptive virtual waveform design for millimeter-wave joint communication–radar,” IEEE Trans. Signal Process., vol. 68, pp. 715–730, Jan. 2020.
  • [24] M. Nowak, M. Wicks, Z. Zhang, and Z. Wu, “Co-designed radar-communication using linear frequency modulation waveform,” IEEE Aerosp. Electron. Syst. Mag., vol. 31, no. 10, pp. 28–35, Nov. 2016.
  • [25] T. Huang, N. Shlezinger, X. Xu, Y. Liu, and Y. C. Eldar, “MAJoRCom: A dual-function radar communication system using index modulation,” IEEE Trans. Signal Process., vol. 68, pp. 3423–3438, 2020.
  • [26] A. Hassanien, M. G. Amin, Y. D. Zhang, and F. Ahmad, “Dual-function radar-communications: Information embedding using sidelobe control and waveform diversity,” IEEE Trans. Signal Process., vol. 64, no. 8, pp. 2168–2181, Apr. 2015.
  • [27] K. M. Braun, “OFDM radar algorithms in mobile communication networks,” Ph.D. dissertation, KIT-Bibliothek, 2014.
  • [28] C. B. Barneto, T. Riihonen, M. Turunen, L. Anttila, M. Fleischer, K. Stadius, J. Ryynänen, and M. Valkama, “Full-duplex OFDM radar with LTE and 5G NR waveforms: Challenges, solutions, and measurements,” IEEE Trans. Microw. Theory Techn., vol. 67, no. 10, pp. 4042–4054, 2019.
  • [29] M. F. Keskin, H. Wymeersch, and V. Koivunen, “MIMO-OFDM joint radar-communications: Is ICI friend or foe?” IEEE J. Sel. Topics Signal Process., vol. 15, no. 6, pp. 1393–1408, Nov. 2021.
  • [30] R. W. Heath Jr and A. Lozano, Foundations of MIMO communication.   Cambridge University Press, 2018.
  • [31] S. H. Han and J. H. Lee, “An overview of peak-to-average power ratio reduction techniques for multicarrier transmission,” IEEE Wireless Commun., vol. 12, no. 2, pp. 56–65, Apr. 2005.
  • [32] K. Sathananthan and C. Tellambura, “Probability of error calculation of OFDM systems with frequency offset,” IEEE Trans. Commun., vol. 49, no. 11, pp. 1884–1888, Nov. 2001.
  • [33] T. Wang, J. G. Proakis, E. Masry, and J. R. Zeidler, “Performance degradation of OFDM systems due to Doppler spreading,” IEEE Trans. Wireless Commun., vol. 5, no. 6, pp. 1422–1432, 2006.
  • [34] G. Hakobyan and B. Yang, “A novel intercarrier-interference free signal processing scheme for OFDM radar,” IEEE Trans. Veh. Tech., vol. 67, no. 6, pp. 5158–5167, Jun. 2018.
  • [35] R. Hadani, S. Rakib, M. Tsatsanis, A. Monk, A. J. Goldsmith, A. F. Molisch, and R. Calderbank, “Orthogonal time frequency space modulation,” in Proc. IEEE Wirel. Commun. Netw. Conf. (WCNC), 2017, pp. 1–6.
  • [36] P. Raviteja, K. T. Phan, Y. Hong, and E. Viterbo, “Orthogonal time frequency space (OTFS) modulation based radar system,” in IEEE Radar Conference (RadarConf), 2019, pp. 1–6.
  • [37] L. Gaudio, M. Kobayashi, G. Caire, and G. Colavolpe, “On the effectiveness of OTFS for joint radar parameter estimation and communication,” IEEE Trans. Wireless Commun., vol. 19, no. 9, pp. 5951–5965, Sept. 2020.
  • [38] W. Yuan, Z. Wei, S. Li, J. Yuan, and D. W. K. Ng, “Integrated sensing and communication-assisted orthogonal time frequency space transmission for vehicular networks,” IEEE J. Sel. Topics Signal Process., vol. 15, no. 6, pp. 1515–1528, Nov. 2021.
  • [39] H. Lu and Y. Zeng, “Delay alignment modulation: Enabling equalization-free single-carrier communication,” IEEE Wireless Commun. Lett., early access, Jun. 2022.
  • [40] ——, “Delay alignment modulation: Manipulating channel delay spread for efficient single- and multi-carrier communication,” arXiv preprint arXiv:2206.02109, 2022.
  • [41] M. A. Richards, J. Scheer, W. A. Holm, and W. L. Melvin, Principles of modern radar: Basic Principles.   SciTech Publishing, 2010.
  • [42] Y. Zeng, J. Lyu, and R. Zhang, “Cellular-connected UAV: Potential, challenges, and promising technologies,” IEEE Wirel. Commun., vol. 26, no. 1, pp. 120–127, 2018.
  • [43] S. D. Blunt and E. L. Mokole, “Overview of radar waveform diversity,” IEEE Aerosp. Electron. Syst. Mag., vol. 31, no. 11, pp. 2–42, Oct. 2016.
  • [44] 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.
  • [45] 3GPP TS 38.101-2,“NR; User Equipment (UE) Radio Transmission and Reception; Part 2: Range 2 Standalone,” v. 15.4.0, Jan. 2019.
  • [46] Y.-C. Hung and S.-H. L. Tsai, “PAPR analysis and mitigation algorithms for beamforming MIMO OFDM systems,” IEEE Trans. Wirel. Commun., vol. 13, no. 5, pp. 2588–2600, May 2014.
  • [47] Y. Zeng and R. Zhang, “Millimeter wave MIMO with lens antenna array: A new path division multiplexing paradigm,” IEEE Trans. Commun., vol. 64, no. 4, pp. 1557–1571, Apr. 2016.
  • [48] M. R. Akdeniz, Y. Liu, M. K. Samimi, S. Sun, S. Rangan, T. S. Rappaport, and E. Erkip, “Millimeter wave channel modeling and cellular capacity evaluation,” IEEE J. Sel. Areas. Commun., vol. 32, no. 6, pp. 1164–1179, Jun. 2014.