Constant Modulus Waveform Design with Interference Exploitation for DFRC Systems:
A Block-Level Optimization Approach
Abstract
Dual-function radar-communication (DFRC) is a key enabler of location-based services for next-generation communication systems. In this paper, we investigate the problem of designing constant modulus waveforms for DFRC systems. For high-precision radar sensing, we consider joint optimization of the correlation properties and spatial beam pattern. For communication, we employ constructive interference-based block-level precoding (CI-BLP) to leverage distortion induced by multiuser multiple-input multiple-output (MU-MIMO) and radar transmission on a block level. We propose two solution algorithms based on the alternating direction method of multipliers (ADMM) and majorization-minimization (MM) principles, which are effective for small and large block sizes, respectively. The proposed ADMM-based solution decomposes the nonconvex formulated problem into multiple tractable subproblems, each of which admits a closed-form solution. To accelerate convergence of the MM-based solution, we propose an improved majorizing function that leverages a novel diagonal matrix structure. After majorization, we decompose the approximated problem into independent subproblems for parallelization, mitigating the complexity that increases with block size. We then evaluate the performance of the proposed algorithms through a series of numerical experiments. Simulation results demonstrate that the proposed methods can substantially enhance spatial/temporal sidelobe suppression through block-level optimization.
Index Terms:
Integrated sensing and communication (ISAC), dual-function radar-communication (DFRC), interference exploitation, multiple-input multiple-output (MIMO)I Introduction
In the upcoming 6G era, communication networks are expected to offer not only connectivity but also sensing capabilities, enabled by integrated sensing and communications (ISAC) technology [1]. In line with this, standardization bodies such as the Third Generation Partnership Project (3GPP) and European Telecommunication Standard Institution (ETSI) have initiated investigations of ISAC to support location-based services such as vehicular communications, intelligent factories, and electromagnetic exposure reduction [2, 3, 4]. Early works in ISAC have proposed embedding information within radar pulses and radar-communication coexistence [5]. In turn, dual-function radar-communication (DFRC), which shares both spectrum and hardware, has attracted significant research interest due to its potential to improve spectral, cost, and energy efficiency [6, 7, 8, 9, 10]. In this paper, we address the problem of designing waveforms for DFRC systems. In the rest of this section, we discuss our design principles and related works, and summarize our contributions.
I-A Our Design Principles and Related Work
Constant Modulus Waveform Design: In DFRC systems, high-power transmissions are often employed to enable precise and robust radar sensing. Under high-power conditions, a high peak-to-average power ratio (PAPR) may cause distorted signal outputs at high-power amplifiers (HPAs) [11, 12]. Therefore, it is crucial to design constant modulus waveforms to maintain the efficiency of HPAs and prevent such distortion. Some past DFRC works have investigated the problem of designing constant modulus waveforms [6, 13, 14, 15]. The work in [6] minimized multi-user interference under constant modulus and radar waveform similarity constraints. In [13], radar signal-to-noise ratio (SNR) was maximized under constant modulus and per-user interference constraints. As an alternative approach, [16, 15] considered a PAPR constraint to circumvent the problem of nonlinearity in HPAs.
Interference Exploitation: In the DFRC context, the design of constant modulus waveforms requires incorporating explicit data symbol information, which is closely related to symbol-level precoding (SLP) [17, 18]. Unlike traditional precoding schemes that only use channel information, SLP leverages both channel and data symbol information to exploit constructive interference (CI), which enhances communication signal power. Despite extensive research on CI-based SLP (CI-SLP), the use of CI-SLP for DFRC systems has been relatively limited. In [14], a beam pattern design problem was tackled under per-user CI and constant modulus constraints. This work focused on symbol-by-symbol optimization, which requires solving an optimization problem at every symbol time. To mitigate the computational burden, [19] studied block-level interference exploitation, also referred to as CI-based block-level precoding (CI-BLP), which synthesizes a transmission block directly or a precoder that is constant within a frame/block. The block-level waveform optimization for DFRC systems was initially investigated in [15], which employed space-time adaptive processing (STAP) that incorporates known target and clutter information into the waveform design. However, target and clutter information may not always be available, which motivates an alternative approach that does not rely on such information.
Correlation Property Optimization: From a radar viewpoint, block-level waveform design incorporates the temporal aspects of the waveform. Addressing waveform correlation properties is pivotal for high-resolution radar sensing, as it directly impacts the quality of range estimation. In previous works, imposing a similarity constraint has been a prevalent approach to address this challenge [6, 16, 20, 21, 15]. This ensures that the designed waveform retains the space-time correlation properties of a reference waveform, such as linear frequency modulated (LFM) waveforms. Nonetheless, this approach offers an indirect solution to space-time sidelobes and thus lacks direct control over them. To overcome the limitations of imposing the similarity constraint, alternative approaches have optimized explicit sidelobe cost functions such as integrated sidelobe level (ISL) and peak sidelobe level (PSL) [22, 23, 24, 25, 26]. Most works have focused on suppressing spatial and temporal sidelobes individually. Yet, space-time correlation properties need to be addressed collectively to separate targets at different points in space and time [27, 28].
In this paper, we address the problem of designing constant modulus waveforms for DFRC systems. Our approach directly designs the transmit space-time matrix rather than designing a linear precoding matrix. We employ CI-BLP to take advantage of CI on a block level without the need for symbol-by-symbol optimization. Unlike prior works on CI-BLP that aim to reduce complexity [19] or signaling overhead [29], we focus on the joint design of the spatial and temporal properties of the waveform to achieve high-resolution radar sensing. To this end, we formulate the problem as a joint optimization of beam pattern and space-time correlations subject to the CI constraints. To tackle the formulated optimization problem, we propose two algorithms based on the alternating direction method of multipliers (ADMM) and majorization-minimization (MM) techniques.
I-B Summary of Contributions
Our contributions can be summarized as follows.
-
•
We formulate a constant modulus waveform design problem for DFRC systems. In particular, we consider joint optimization of the spatial beam pattern and space-time sidelobes for high sensing resolution. For communication, we employ CI-BLP to lower the symbol error rate by leveraging CI in the presence of multiuser and radar transmission. We prove that the formulated problem is a non-convex NP-hard problem.
-
•
Next, we propose an ADMM-based algorithm, where using the variable splitting technique, we break down the formulated problem into multiple tractable subproblems. We derive a closed-form solution to each of the subproblems, which enables alternating updates of variables.
-
•
We develop an additional solution based on the MM method and the method of Lagrange multipliers, which offers a parallelization capability. We propose a novel diagonal matrix structure that enables tight majorization for quadratic functions to accelerate convergence.
-
•
We analyze the computational complexity of the proposed algorithms and demonstrate that the proposed ADMM algorithm is more efficient for small block sizes while the MM algorithm is suitable for large block sizes.
-
•
Finally, we conduct a series of numerical simulations to evaluate the proposed algorithms, and verify their effectiveness in comparison to the existing method [14].
The rest of the paper is organized as follows. In Sec. II, we provide the system model including the radar and communication models, and formalize our waveform design problem. Then, in Sec. III and Sec. IV, we develop our MM-based and ADMM-based solutions, respectively. Next, in Sec. V, we provide the complexity analyses of the proposed solutions. In Sec. VI, we evaluate the performances of our proposed algorithms in comparison with the baseline algorithm, and finally, we conclude the paper in Sec. VII.
Notation: Vectors and matrices are denoted by boldface lowercase and uppercase letters, respectively. , , , and are the transpose, conjugate, conjugate transpose, and inverse operators, respectively. and denotes the absolute and 2-norm operators, respectively. is the diagonal matrix, with diagonal entries consisting of the input vector. is the vectorization of a matrix, while reshapes a vector into a matrix. is the trace of a matrix. is the expectation operator. denotes the th entry of a matrix Q. 0, 1, and I represent the all-zeros, all-ones, and identity matrices, respectively. is the phase of a complex number. denotes the Kronecker product. denotes the gradient operation. denotes .
II System Model and Problem Formulation
II-A System Setup
Consider a downlink narrowband DFRC system where a base station (BS) operates as a multi-user MIMO (MU-MIMO) transmitter and collocated MIMO radar simultaneously, as depicted in Fig. 1. The BS is equipped with transmit and receive arrays of and antennas, respectively. Without loss of generality, we consider the uniform linear array (ULA) for both the transmit and receive arrays. The primary function of the considered system is radar sensing, while the secondary function is communication. To accomplish the dual functions of radar and communication, this paper focuses on downlink transmission, where the BS transmits a discrete-time waveform matrix in each transmission block. The waveform matrix X can be seen as a train of subpulses containing communication information. The th entry of X represents the th radar subpulse and th discrete-time transmit symbol of total for the th transmit antenna.
![Refer to caption](x1.png)
II-B Radar Model
Consider far-field point targets at azimuth angles and range bins . To detect the targets, the BS collects reflected signals using the receive antennas. The received echo signal at the BS is given by [30, 31]
(1) |
where is the complex amplitude proportional to the radar cross-section (RCS) of target , is the steering vector of the transmit array, is the steering vector of the receive arrays, is the shift matrix for target , and is independent and identically distributed (i.i.d.) noise drawn from . The shift matrix accounts for the round-trip delay between the BS and a target, which is given by [32]
(2) |
where is the time shift.
II-B1 Beam Pattern Sha** Cost
In radar waveform design, it is essential to maximize the mainlobe power directed toward targets while minimizing sidelobes. This strategy ensures strong return signals from the targets and suppresses undesired signals caused by clutter. Given the waveform X, the beam pattern at angle is given by where is the steering vector of the transmit array [33]. The beam pattern can be expressed in vector form as where and . To obtain the desired properties, we minimize the mean square error (MSE) between the ideal beam pattern and the actual beam pattern, which can be expressed as
(3) |
where is the number of angle bins, is the scaling coefficient, and is the desired beam pattern at angle . Here, we have approximated the beam pattern MSE with a finite number of angle bins. The scaling coefficient adjusts the amplitude of the beam pattern that varies according to the BS transmit power. Given the available closed-form solution to , the beam pattern sha** cost can be expressed in compact vector form as [34, 14]
(4) |
where .
II-B2 Space-time Autocorrelation and Cross-Correlation Integrated Sidelobe Levels (ISLs)
Since the ambiguity of a radar waveform has a significant impact on parameter estimation quality [27, 28], it is critical to address its ambiguity characteristics. We consider the space-time correlation function to quantify such ambiguity in the radar waveform. The space-time correlation function is defined as the correlation between a radar waveform and its echo reflected from different angle and range bins [35, 36], which is given by where is the shift matrix [32]. The space-time correlation function can be rewritten in vector form as [34] where . For a given parameter set , the space-time correlation function describes the correlation between angles and at a range bin . When , the space-time correlation function represents the autocorrelation properties at angle . Then, the autocorrelation integrated sidelobe level (ISL) can be obtained as
(5) |
where is the number of target directions of interest and is the largest range bin of interest with . On the other hand, when , the space-time correlation function represents the cross-correlation properties between angles and at a range bin . The cross-correlation ISL is given by
(6) |
By minimizing the defined ISL costs, we aim to enhance sensing resolution in space and time.
II-C Communication Model and QoS Constraint
Consider MU-MIMO transmission where the BS serves single antenna users simultaneously, i.e., . We adopt a block-fading channel model where the communication channels remain the same within a transmission block. The th received symbol at user can be written as
(7) |
where is the th column of X containing the th communication symbol and th radar subpulse, is the channel from the BS to user , and is Gaussian noise with . We assume the BS has perfect knowledge of the user channels for . The codeword for user is given by where each symbol is drawn from a constellation . As discussed earlier, the CI-based approaches utilize both channel and symbol information for designing waveforms. In what follows, we detail the relationship between the desired codeword and the transmit signal X.
Per-User Communication QoS Constraint
To ensure a baseline quality of service (QoS) for the communication users, we consider a CI-BLP approach to exploit the distortion induced by MU-MIMO and radar transmission. CI refers to an unintended signal that moves the precoded symbol farther away from its corresponding decision boundaries in the constructive direction. Unlike conventional precoding that eliminates distortion, the CI-BLP approach aims to locate the received symbols within the CI region, thereby reducing the symbol error rate.
This paper focuses on the -phase shift keying111 Although the main focus of this paper is the PSK scenario, it is possible to extend it to quadrature amplitude modulation (QAM), as shown in [19]. (M-PSK) constellation, where , i.e., quadrature-PSK (QPSK). Fig. 2 describes the condition under which the precoded symbol lies within the CI region. denotes the th noise-free precoded symbol for user . is the th scaled data symbol for user , where and is the SNR target. falls into the CI region if the distortion is in the constructive direction. From the geometry, the CI condition can be expressed as where is the angle between and , and , which is equivalent to . The length can be expressed as , while the length can be expressed as .
Combining the above results, the communication constraint for th symbol of user can be formulated as [37]
The above CI constraint can be transformed into [14]
(8) |
where
![Refer to caption](x2.png)
II-D Constant Modulus Constraint
In order to maximize the efficiency of HPAs, it is essential to design a constant envelope waveform of the BS. Hence, we impose a constant modulus constraint to ensure the entries of the waveform have a constant amplitude, which can be expressed as , where is the transmit power and is the th entry of . The feasible set of the constant modulus constraint is a complex circle manifold [38], which can be expressed as .
II-E Problem Formulation
Our objective is to design a dual-functional waveform that detects the targets of interest while serving the communication users simultaneously. To this end, we minimize the beam pattern sha** cost, to maximize the mainlobe power aimed toward targets while minimizing spatial sidelobes. Furthermore, we minimize the space-time ISL to reduce the autocorrelations of each target and the cross-correlations among the targets. For communication, we impose the CI constraint to ensure that the communication symbols exist within the CI region, thereby meeting the QoS requirement. By taking these design goals into account, the waveform design problem is formulated as
(9) | ||||||
s.t. | ||||||
where are the weights for the beam pattern sha** cost (4), autocorrelation ISL (5) and cross-correlation ISL (6), respectively. C1 is the communication QoS constraint, and C2 is the constant modulus constraint. By normalizing the constant modulus constraint, we can reformulate the above problem as
(10) | ||||||
s.t. | ||||||
where . We have the following theorem:
Theorem 1.
Problem (10) is nonconvex.
See Appendix A for detailed proof.
The formulated problem is intractable due to the nonconvex fourth-order objective and constant modulus constraint. To tackle this, we develop solutions based on ADMM and MM techniques. Briefly speaking, the ADMM algorithm reduces the order of the objective and decomposes the constraints using the variable splitting technique. The MM algorithm approximates the objective with a lower-order function and applies the method of Lagrange multipliers to manage the constant modulus constraint. The ADMM-based approach is particularly efficient for low due to its iterations with closed-form solutions, while the MM-based approach is preferable for high owing to its parallelization capability. We detail the proposed algorithms in the subsequent sections.
Remark 1.
The approach in [14] solved a beam pattern optimization problem with CI and constant modulus constraints. This work focused on symbol-by-symbol optimization by designing vectors separately to transmit a codeword of length . Moreover, the temporal aspects of the waveform were not considered, which are crucial for sensing resolution. To tackle this challenge, we employ per-block optimization that directly designs a transmit matrix X, which is equivalent to using a constant precoder within a transmission block [39]. Furthermore, we jointly optimize the waveform space and time properties for high sensing resolution.
Note that the term “block-level” indicates that waveform optimization occurs on a per-block basis, rather than on a per-symbol basis [39]. The CI-BLP approach differs from traditional linear block-level precoding as it still involves per-symbol CI constraints [19, 29]. Despite this, the CI-BLP approach takes advantage of block-level optimization, including complexity reduction, block-level power allocation [19], and signaling overhead reduction [29]. This paper focuses on the DFRC aspects of the CI-BLP approach by jointly optimizing spatial and temporal waveform properties.
III ADMM-Based Algorithm
In this section, we develop an ADMM-based solution for addressing the non-convexity of the problem (10). ADMM techniques aim to combine the decomposability of the dual ascent method and the desirable convergence properties of the method of Lagrange multipliers [40]. The key advantage of ADMM is that it can decompose an intractable problem into multiple tractable subproblems that involve closed-form solutions. To this end, most existing ADMM-based algorithms focus on breaking down the objective into multiple independent parts for alternating updates. In contrast, [41] proposed a unique approach where an ADMM algorithm was employed to reduce the order of a quartic objective function and decompose the constant modulus constraint. Inspired by this approach, we adopt an ADMM technique to handle the fourth-order objective and constant modulus constraint. In what follows, we elaborate on the process of decomposing the problem (10) into smaller subproblems and their solutions.
III-A ADMM Formulation
First, we reformulate the problem in (10) by introducing auxiliary variables , , and for and as
(11) | ||||
where
(12) | ||||
By substituting one with an auxiliary variable , the objective is bi-convex, i.e, convex in with fixed and in with fixed [41]. Moreover, the constant modulus and QoS constraints are decoupled through the introduced auxiliary variables and . In consequence, the reformulated problem becomes an unconstrained problem with respect to variables and . With fixed , the objective function can be rewritten in quadratic form with respect to as
(13) |
where
Similarly, the objective function can be rewritten in quadratic form with respect to as
(14) |
where
Using these objective representations, the problem (11) can be rewritten as
(15) | ||||||
s.t. | ||||||
The scaled augmented Lagrangian function for (15) can be rewritten as
where are the scalar penalty parameters, are the Lagrange multipliers for the equality constraints and , respectively, , is the Lagrange multiplier for the equality constraint for all , and is the Lagrange multiplier vector for the equality constraints with . Accordingly, the problem (15) can be decomposed into multiple subproblems and written in iterative form as
(16) | ||||
(17) | ||||
(18) | ||||
(19) | ||||
(20) | ||||
(21) | ||||
(22) |
where is the ADMM iteration index, , and .
III-B Update of
The subproblem (16) is an unconstrained quadratic optimization.
Lemma 1.
The closed-form solution to the subproblem (16) for can be obtained at the critical point, which is given by where
G | |||
See Appendix B for details of the proof.
III-C Update of
Similar to the subproblem (16), the subproblem (17) for is an unconstrained quadratic problem, which is given by . The solution is given by the following lemma:
Lemma 2.
The closed-form solution to the subproblem (17) for is given by where
and, |
See Appendix B for details of the proof.
III-D Update of
Next, ignoring the irrelevant variables, the subproblem (19) for the auxiliary variable can be rewritten as
(23) |
The above subproblem is convex due to the convex objective and constraint. Thus, the closed-form solution can be readily obtained from the Karush-Kuhn-Tucker (KKT) condition as
(24) |
III-E Update of
The subproblem (18) for the auxiliary variable can be simplified as
(25) | ||||||
s.t. |
Next we state the following lemma, which was proven in [42].
Lemma 3.
The solution to (25) is given by
The subproblems can be iteratively solved until the stop** criterion is satisfied. Then, we can recover the converged solution by resha** the vector into the matrix X, as described in Algorithm 1.
III-F Complexity Analysis
We analyze the complexity of the proposed ADMM-based algorithm. The results are summarized in Table I. Each ADMM iteration requires updating variables . We assume in our analysis. The solution to the first subproblem consists of the computation of and . The computation of can be decomposed into the computations of and . The computation of requires the evaluation of times, which has complexity . Matrices and can be computed similarly, with complexities and , respectively. The computation of costs .
To sum up, the computation of is . Also, since is a matrix, its inversion costs assuming Gauss–Jordan elimination methods. Calculating is dominated by the evaluation of , which costs . Thus, we conclude that the computational cost of is given by . Similar to , the solution to the second subproblem costs . Finally, the solution to the subproblem (25) requires a phase alignment operation, which costs . Combining all the results, the computational complexity of each ADMM iteration is given by .
Variable | Complexity |
---|---|
, | |
, , | |
Total |
IV MM-Based Algorithm
The ADMM-based solution discussed in Section III entails matrix inversion operations, which can be computationally inefficient for large block sizes. To overcome this, we develop an additional solution by leveraging the MM technique and the method of Lagrange multipliers. We first derive a linear majorizer of the fourth-order objective in (10) to handle its nonconvexity. The convergence speed of MM algorithms largely relies on the characteristic of the majorizing function [43]. With this in mind, we propose an improved majorizing function for quadratic functions that enhances convergence rates. With the proposed majorizer, the problem (10) can be approximated as a linear program with a constant modulus constraint. We decompose the approximated problem into multiple independent subproblems, which can be solved in parallel. In the following, we describe the majorization process of (10) and the solution based on dual problems.
IV-A Majorizing with an Improved Majorizer
To majorize the objective, we begin by rewriting the quadratic term in the beam pattern sha** cost as [44]. Then, following the prevalent approach used in [44, 14, 43, 45], the fourth-order beam pattern sha** cost can be expressed as where
It can be verified that is an Hermitian positive definite matrix. Following this approach, the objective can be expressed as
(26) | ||||
where
Then, we use the following lemma to construct a majorizer of the fourth-order objective function.
Lemma 4.
[45, (13)] Let be Hermitian matrices with . Then, a quadratic function can be majorized at a point as
According to the above lemma, we can majorize a quadratic function by choosing a matrix R such that . To simplify the right-hand side, matrix R is required to be diagonal [46]. In the literature, the predominant choice for R is where is the largest eigenvalue of Q [44, 14, 43, 45]. [46] proposed a novel diagonal matrix structure to enable tight majorization for the case where Q is a non-negative symmetric matrix. This study demonstrated that a majorizer derived from their proposed diagonal matrix can accelerate the convergence speed significantly. Motivated by this, we propose a novel majorizer for quadratic functions with a complex Hermitian matrix based on the following lemma.
Lemma 5.
Let Q be a Hermitian matrix. Let be a matrix such that . Then, .
Proof.
For any , we have
where the last equality follows from . Now, for any , we have
which follows from the fact that . It follows that . ∎
Using Lemma 5, a tight majorizer for the beam sha** cost can be constructed as follows (with the proof in [34]).
Lemma 6.
This majorizer is still quadratic, which is challenging to optimize under the constant modulus constraint. Thus, we further majorize the obtained quadratic function to lower its order as follows.
Lemma 7.
Let be a matrix such that for any . The quadratic function on the right-hand side of (27) is majorized by
(28) |
where .
Theorem 2.
Given the constant modulus constraint, the objective function can be majorized as
(29) |
where .
IV-B Solution via the Method of Lagrange Multipliers
Now, using (29), problem (10) can be reformulated as
(30) | ||||||
s.t. | ||||||
The majorized objective can be rewritten as , where and are the th subvectors of and , respectively. Also, from (8), we have . Hence, the problem (30) can be rewritten as
(31) | ||||||
s.t. | ||||||
where is the th entry of . Since are independent of each other in (31), the problem (31) can be split into independent subproblems as
(32) | ||||||
s.t. | ||||||
where and . The Lagrange dual problem for (32) is given by
(33) | ||||||
s.t. | ||||||
where is the th entry of and is the Lagrange multiplier vector with being the Lagrange multiplier for the communication constraint . The inner problem of (33) has a linear objective with a constant modulus constraint. Thus, the optimal solution to the inner problem can be expressed as .
Strong duality between the primal and dual problems holds [42] if there exists a solution that satisfies the following conditions:
(34) | |||
(35) | |||
(36) |
A solution satisfying (34) and (36) always exists, given for all . Assuming that the feasible set is strictly feasible, we have for any . Hence, there exists finite that satisfies equation (36), leading to strong duality. Using this fact, we focus on solving the dual problem rather than directly solving the primal problem. Given the closed-form solution to the inner problem (34), the dual problem (33) can be reduced to finding optimal Lagrange multipliers that satisfy conditions (35) and (36). With this in mind, the dual problem can be reformulated as
(37) | ||||||
s.t. | ||||||
For ease of notation, and are denoted by and , respectively.
The problem (37) can be solved via a coordinate ascent method where one Lagrange multiplier is optimized at a time with the other Lagrange multipliers fixed. For updating each coordinate, we use a modified version of the bisection algorithm in [42], as described in Algorithm 2. Once the Lagrange multiplier is obtained, can be recovered using (34). Note that can be updated in parallel to accelerate the algorithm. The solution for the -th MM iteration can be obtained by concatenating the subvectors as . This iterative process continues until the objective value converges. The final converged solution can be reshaped into a matrix as . The overall iterative solution is described in Algorithm 3.
IV-C Complexity Analysis
Now we analyze the complexity of our proposed MM-based algorithm. The proposed MM-based algorithm comprises the majorization process and the bisection algorithm for solving the dual problem. The majorization process involves computation of the matrices , , and the vector d. The matrix can be precomputed since it is independent of variable . Thus, we focus on analyzing the complexity of computing and d. The computation of requires the computations of , , . The matrix is the sum of for . The evaluation of involves matrix multiplications, which takes the computational cost . Thus, the complexity of is . Following the same approach, the computational complexities of and can be obtained as and , respectively. The computation of d involves evaluating , which costs . Thus, the overall computational complexity of the majorization process cost can be expressed as . We summarize the computational complexity of the above variables in Table II.
Next, we analyze the complexity of the bisection algorithm. The bisection algorithm requires the evaluation of , which costs . The considered bisection method terminates when the constraint sufficiently approaches zero. This differs from the traditional bisection method that terminates when the length of the search interval falls below a threshold. Thus, it is difficult to acquire an analytical bound of the worst-case iteration number due to the nonlinear relationship between and the Lagrange multiplier. However, the combination of MM and the considered bisection methods have empirically shown superior convergence rates to the penalty convex–concave procedure (CCP) method and semi-definite relaxation (SDR) [42].
Assuming full parallelization, the complexity of the bisection method will not increase with the block size . Moreover, the MM-based solution avoids matrix inversion operations, whose complexity increases cubically with . This allows the MM-based solution to converge faster than the ADMM-based solution developed in Section III when the block size is large, as we will see in Section V.
Variable | Complexity |
---|---|
d | |
Total |
V Simulation Results
V-A Simulation Setup
In this section, we evaluate the proposed algorithms through simulations. We use the following setting unless otherwise specified. The waveform contains 32 subpulses, i.e., , and the largest range bin of interest is [35]. Also, the transmit power is and the noise variance for the communication users [22]. The transmit array is equipped with antennas with half-wavelength spacing [22]. We consider the uncorrelated Rayleigh channel for the communication channel of each user. We use 40 channel realizations to evaluate the average performance of the proposed algorithms unless otherwise specified. We set the discretized angle range to be with the angle resolution of , i.e., for . For the reference beam pattern, we consider a rectangular beam pattern, which is given by
(38) |
where is the beam width. We consider two target directions, i.e, each at angles and . The beam width is set to . The weights for the cost functions are . The termination thresholds are set to , , and . We configure the penalty parameters for the ADMM algorithm as and .
For baselines, we use a radar-only scheme that solves (10) without the communication constraints, to verify the radar-communication trade-off. Also, we compare the proposed algorithm to the algorithm in [14], which optimizes the beam pattern sha** cost on a symbol-by-symbol basis, as opposed to our block-by-block strategy, under a per-user CI constraint. For clarity, we refer to our proposed scheme and the CI-SLP approach in [14] as CI-BLP and CI-SLP, respectively.
![Refer to caption](x3.png)
![Refer to caption](x4.png)
V-B Comparison of Beam Patterns
Figs. 3(a) and 3(b) compare the beam patterns designed by the proposed algorithms, the CI-SLP approach [14], and the radar-only scheme, for and . For both communication configurations, the radar-only scheme outperforms DFRC schemes in beam pattern approximation because it has no communication constraints. When , the beam patterns of the CI-BLP methods approach that of the radar-only scheme, while the CI-SLP method suffers from relatively higher sidelobe levels. The CI-SLP approach focuses on the symbol-by-symbol beam pattern sha**, which can be seen as a myopic approach. In contrast, the CI-BLP approach optimizes the beam pattern on a block level, resulting in lower spatial sidelobes. When , we observe a similar trend where the proposed approach maintains lower sidelobes than the CI-SLP approach. The overall sidelobes levels increased compared to the previous figure, except for the radar-only scheme. This suggests that the difficulty of beam pattern sha** increases as communication requirements become more demanding. Additionally, our improvement over CI-SLP is more pronounced in this case. For both cases, the MM-based solution slightly outperforms the ADMM-based solution in terms of beam pattern approximation, leading to higher spatial resolution.
![Refer to caption](x5.png)
![Refer to caption](x6.png)
![Refer to caption](x7.png)
![Refer to caption](x8.png)
![Refer to caption](x9.png)
![Refer to caption](x10.png)
![Refer to caption](x11.png)
![Refer to caption](x12.png)
V-C Autocorrelation and Cross-Correlation Properties
Next, we evaluate the waveform correlation properties using the same setup described in Section V-B. Figs. 4 and 5 plot the autocorrelation and cross-correlation performance of the proposed method and baselines. In all cases, the radar-only scheme outperforms the DFRC schemes in autocorrelation and cross-correlation, for the same reason as Fig. 3. The CI-SLP approach demonstrates the highest autocorrelation/cross-correlation sidelobe levels since it does not address waveform correlations. In contrast, the proposed CI-BLP approach effectively reduces sidelobes owing to block-level ISL minimization. It is important to note that the CI-BLP approach nearly matches the sidelobe suppression performance of the radar-only scheme when , yielding a roughly sidelobe reduction compared to the CI-SLP scheme. When , the overall sidelobe levels of the CI-BLP approach increase by to . This implies suppressing sidelobes becomes harder as the communication requirements become tighter, accounting for the radar-communication trade-off. Despite this, the CI-BLP approach outperforms the CI-SLP approach in terms of correlation for any configuration. Additionally, the MM-based solution achieves slightly lower sidelobe levels than the ADMM-based solution, consistent with the beam pattern results.
V-D Capon Spectrum
We use the Capon method [47] to assess the positioning performance of the CI-BLP waveform. For the CI-BLP method, we use the waveform obtained through the MM-based algorithm. For each angle-range pair, we averaged the Capon estimates over 1000 noise realizations per channel realization. We configured three targets at , , and . Also, the complex amplitude of the echo signal of target is set to one, i.e., . The array signal-to-noise ratio (ASNR) [48] is set to . Figs. 6(a) and 6(b) illustrate the Capon estimates at different angle and range bins, generated by the CI-BLP and CI-SLP waveforms, respectively, for and . All values are normalized to the maximum Capon amplitude and then converted to the dB scale. It can be observed that strong peaks form at the target locations in both cases due to the echoes reflected by the targets. The distinction between the two schemes is prominent at the range bins with no targets. The CI-SLP approach yields higher strengths at those range bins than the CI-BLP approach, which translates into higher false alarm rates. Conversely, the proposed CI-BLP approach attains lower intensity owing to the autocorrelation and cross-correlation sidelobe suppression. Overall, this suggests that our joint beam pattern and correlation optimization results in higher imaging resolutions and lower false alarms, especially in the multi-target scenario.
![Refer to caption](x13.png)
![Refer to caption](x14.png)
![Refer to caption](x15.png)
V-E Cost Functions for Different QoS Parameters
To gain a better understanding of the radar-communication trade-off, we compared the beam pattern sha** cost , autocorrelation ISL cost , and cross-correlation ISL cost for different QoS thresholds between and , and two different numbers of users and .
Fig. 7(a) demonstrates the beam sha** cost for different SINR thresholds. For all cases, the beam pattern sha** cost tends to increase as the QoS threshold increases due to the radar-communication trade-off. Likewise, the beam pattern costs appear higher when than , which confirms the previous discussions on the radar-communication trade-off. The proposed algorithms achieve lower beam pattern MSEs than the CI-SLP approach owing to block-level optimization. Moreover, we see the MM-based solution once again outperforms the ADMM-based solution for both and .
Figs. 7(b) and 7(c) demonstrate the autocorrelation and cross-correlation ISLs with increasing QoS thresholds, respectively. It can be verified that the proposed algorithms outperform the CI-SLP approach in correlation sidelobe levels for all cases. The autocorrelation and cross-correlation ISLs of the CI-SLP approach do not vary notably over different QoS thresholds because it does not address ISL minimization. Interestingly, the CI-SLP approach consistently shows lower autocorrelation and cross-correlation ISLs when than . This is an outcome of the reduction of the mainlobe power, not of the correlation minimization. For the CI-BLP scheme, we see increasing trends in autocorrelation and cross-correlation ISL. Moreover, the CI-BLP approach is about higher in autocorrelation and cross-correlation ISL when than . This implies a potential degradation in target separation and positioning, particularly when the number of users is larger or the QoS threshold is high. Similar to the beam pattern results, the MM-based solution consistently outperforms the ADMM-based solution in autocorrelation and cross-correlation ISLs.
V-F Convergence of the Proposed Algorithms
Fig. 8 compares the convergence properties of (1) the MM-based algorithm with the proposed majorizer, (2) the MM-based algorithm with a largest eigenvalue-based majorizer, and (3) the proposed ADMM algorithm, for and , with two block sizes and . The proposed majorizer significantly increases the speed of convergence when compared to the largest eigenvalue majorizer. Moreover, consistent with the theory in [42], the MM-based algorithm shows a monotonic decrease in the objective value. Conversely, the ADMM algorithm shows spikes in the first few iterations before converging. This is caused by the alternating updates of the auxiliary variables, including dual ascents. The ADMM-based algorithm outperforms the MM-based algorithm in convergence speed for , while for the converse is true. The ADMM-based algorithm involves matrix inversions to solve quadratic subproblems, which costs as discussed in Section III-F, dominating convergence speed as the block size grows. In contrast, the per-iteration complexity of the MM-based algorithm is as discussed in Section IV-C, which increases quadratically in . Moreover, the complexity of the bisection search remains the same as the block size grows large when fully parallelized. Consequently, the convergence speed of the ADMM-based algorithm decays faster than that of the MM-based algorithm as the block size increases.
![Refer to caption](x16.png)
![Refer to caption](x17.png)
VI Conclusion
This paper investigated the design of DFRC waveforms based on block-level optimization. We jointly optimized the spatial beam pattern and space-time correlations of the waveform for high-precision positioning. For communication, we employed a CI-BLP approach for block-level interference exploitation. To solve the formulated problem, we developed two algorithms, based on ADMM and MM techniques, which are suitable for small and large block sizes, respectively. Moreover, we proposed an improved majorizer for quadratic functions with a complex Hermitian matrix for faster convergence. Simulation results showed that block-level optimized waveforms outperform symbol-level optimized waveforms in terms of spatial and temporal sidelobe levels, significantly enhancing radar resolution. A possible future work could explore the design of low-complexity precoding schemes for DFRC systems, which can be crucial for practical implementations.
Appendix A Proof of Theorem 1
To show the nonconvexity of the feasible set, we transform the constraints in (10) into a real-valued constraint as
(39) |
where and . The feasible region of the constant modulus constraint takes the shape of a unit circle in the th and th coordinates. Moreover, the intersection of the linear communication constraints forms a polygon in the same coordinates. Consequently, the intersection of the feasible sets turns out to be an arc of each circle. Thus, the feasible set is nonconvex, which proves the problem (10) is nonconvex and NP-hard.
Appendix B Proof of Lemmas 1 and 2
Since the first subproblem is an unconstrained quadratic problem, the solution can be found at the critical point. To find the critical point, we first compute the gradient of the objective as
Here, is a positive definite matrix since , , , and are positive definite. Hence, the optimal is obtained when the gradient is zero, i.e., . It follows that . Similarly, to compute , we compute the gradient of the augmented Lagrangian with respect to as
where is a positive definite matrix. Thus, the solution is obtained as .
References
- [1] F. Liu, C. Masouros, A. P. Petropulu, H. Griffiths, and L. Hanzo, “Joint radar and communication design: Applications, state-of-the-art, and the road ahead,” IEEE Trans. Commun., vol. 68, no. 6, pp. 3834–3862, 2020.
- [2] A. Kaushik, R. Singh, S. Dayarathna, R. Senanayake, M. Di Renzo, M. Dajer, H. Ji, Y. Kim, V. Sciancalepore, A. Zappone et al., “Towards integrated sensing and communications for 6g: A standardization perspective,” arXiv preprint arXiv:2308.01227, 2023.
- [3] 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., 2022.
- [4] D. Ying, D. J. Love, and B. M. Hochwald, “Transmit covariance optimization with a constraint on user electromagnetic radiation exposure,” in IEEE Global Communications Conference (GLOBECOM), 2013, pp. 4104–4109.
- [5] F. Liu, C. Masouros, A. Li, H. Sun, and L. Hanzo, “MU-MIMO communications with MIMO radar: From co-existence to joint transmission,” IEEE Trans. Wireless Commun., vol. 17, no. 4, pp. 2755–2770, 2018.
- [6] F. Liu, L. Zhou, C. Masouros, A. Li, W. Luo, and A. Petropulu, “Toward dual-functional radar-communication systems: Optimal waveform design,” IEEE Trans. Signal Process., vol. 66, no. 16, pp. 4264–4279, 2018.
- [7] X. Liu, T. Huang, and Y. Liu, “Transmit Design for Joint MIMO Radar and Multiuser Communications With Transmit Covariance Constraint,” IEEE J. Sel. Areas Commun., vol. 40, no. 6, pp. 1932–1950, 2022.
- [8] F. Liu, Y.-F. Liu, A. Li, C. Masouros, and Y. C. Eldar, “Cramér-Rao Bound Optimization for Joint Radar-Communication Beamforming,” IEEE Trans. Signal Process., vol. 70, pp. 240–253, 2022.
- [9] L. Chen, F. Liu, W. Wang, and C. Masouros, “Joint radar-communication transmission: A generalized pareto optimization framework,” IEEE Trans. Signal Process., vol. 69, pp. 2752–2765, 2021.
- [10] X. Yu, Q. Yang, Z. Xiao, H. Chen, V. Havyarimana, and Z. Han, “A Precoding Approach for Dual-Functional Radar-Communication System With One-Bit DACs,” IEEE J. Sel. Areas Commun., vol. 40, no. 6, pp. 1965–1977, 2022.
- [11] N. Levanon and E. Mozeson, Radar signals. John Wiley & Sons, 2004.
- [12] M. G. Gaydos, D. J. Love, and T. Kim, “Constant modulus precoded MIMO radar based on Zadoff-Chu sequences,” IEEE Trans. Radar Systems, pp. 1–1, 2024.
- [13] W. Wu, B. Tang, and X. Wang, “Constant-modulus waveform design for dual-function radar-communication systems in the presence of clutter,” IEEE Aerosp. Electron. Syst. Mag., vol. 59, no. 4, pp. 4005–4017, 2023.
- [14] R. Liu, M. Li, Q. Liu, and A. L. Swindlehurst, “Dual-Functional Radar-Communication Waveform Design: A Symbol-Level Precoding Approach,” IEEE J. Sel. Topics Signal Process., vol. 15, no. 6, pp. 1316–1331, 2021.
- [15] ——, “Joint waveform and filter designs for STAP-SLP-based MIMO-DFRC systems,” IEEE J. Sel. Areas Commun., vol. 40, no. 6, pp. 1918–1931, 2022.
- [16] A. Bazzi and M. Chafii, “On integrated sensing and communication waveforms with tunable PAPR,” IEEE Trans. Wireless Commun., 2023.
- [17] A. Li, D. Spano, J. Krivochiza, S. Domouchtsidis, C. G. Tsinos, C. Masouros, S. Chatzinotas, Y. Li, B. Vucetic, and B. Ottersten, “A tutorial on interference exploitation via symbol-level precoding: overview, state-of-the-art and future directions,” IEEE Commun. Surveys Tuts., vol. 22, no. 2, pp. 796–839, 2020.
- [18] M. Alodeh, S. Chatzinotas, and B. Ottersten, “Constructive multiuser interference in symbol level precoding for the MISO downlink channel,” IEEE Trans. Signal Process., vol. 63, no. 9, pp. 2239–2252, 2015.
- [19] A. Li, C. Shen, X. Liao, C. Masouros, and A. L. Swindlehurst, “Practical Interference Exploitation Precoding Without Symbol-by-Symbol Optimization: A Block-Level Approach,” IEEE Trans. Wireless Commun., vol. 22, no. 6, pp. 3982–3996, Jun. 2023.
- [20] J. Qian, M. Lops, L. Zheng, X. Wang, and Z. He, “Joint system design for coexistence of MIMO radar and MIMO communication,” IEEE Trans. Signal Process., vol. 66, no. 13, pp. 3504–3519, 2018.
- [21] M. F. Keskin, V. Koivunen, and H. Wymeersch, “Limited Feedforward Waveform Design for OFDM Dual-Functional Radar-Communications,” IEEE Trans. Signal Process., vol. 69, pp. 2955–2970, 2021.
- [22] X. Liu, T. Huang, N. Shlezinger, Y. Liu, J. Zhou, and Y. C. Eldar, “Joint transmit beamforming for multiuser MIMO communications and MIMO radar,” IEEE Trans. Signal Process., vol. 68, pp. 3929–3944, 2020.
- [23] F. Liu, C. Masouros, T. Ratnarajah, and A. Petropulu, “On range sidelobe reduction for dual-functional radar-communication waveforms,” IEEE Wireless Commun. Lett., vol. 9, no. 9, pp. 1572–1576, 2020.
- [24] S. H. Dokhanchi, M. R. B. Shankar, M. Alaee-Kerahroodi, and B. Ottersten, “Adaptive Waveform Design for Automotive Joint Radar-Communication Systems,” IEEE Trans. Veh. Technol., vol. 70, no. 5, pp. 4273–4290, 2021.
- [25] C. Wen, Y. Huang, L. Zheng, W. Liu, and T. N. Davidson, “Transmit waveform design for dual-function radar-communication systems via hybrid linear-nonlinear precoding,” IEEE Trans. Signal Process., 2023.
- [26] X. Yu, X. Yao, J. Yang, L. Zhang, L. Kong, and G. Cui, “Integrated Waveform Design for MIMO Radar and Communication via Spatio-Spectral Modulation,” IEEE Trans. Signal Process., vol. 70, pp. 2293–2305, 2022.
- [27] A. J. Duly, D. J. Love, and J. V. Krogmeier, “Time-division beamforming for MIMO radar waveform design,” IEEE Aerosp. Electron. Syst. Mag., vol. 49, no. 2, pp. 1210–1223, 2013.
- [28] G. San Antonio, D. R. Fuhrmann, and F. C. Robey, “MIMO radar ambiguity functions,” IEEE J. Sel. Topics Signal Process., vol. 1, no. 1, pp. 167–177, 2007.
- [29] A. Li, F. Liu, X. Liao, Y. Shen, and C. Masouros, “Symbol-level precoding made practical for multi-level modulations via block-level rescaling,” in IEEE International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), 2021, pp. 71–75.
- [30] G. Hua and S. S. Abeysekera, “Receiver design for range and doppler sidelobe suppression using mimo and phased-array radar,” IEEE Trans. Signal Process., vol. 61, no. 6, pp. 1315–1326, 2012.
- [31] X. Yu, K. Alhujaili, G. Cui, and V. Monga, “MIMO radar waveform design in the presence of multiple targets and practical constraints,” IEEE Trans. Signal Process., vol. 68, pp. 1974–1989, 2020.
- [32] R. A. Horn and C. R. Johnson, Matrix analysis. Cambridge university press, 2012.
- [33] J. Li and P. Stoica, MIMO radar signal processing. John Wiley & Sons, 2008.
- [34] B. Lee, A. B. Das, D. J. Love, C. G. Brinton, and J. V. Krogmeier, “Constant modulus waveform design with block-level interference exploitation for DFRC system,” arXiv:2310.10804, 2023.
- [35] Y.-C. Wang, X. Wang, H. Liu, and Z.-Q. Luo, “On the design of constant modulus probing signals for MIMO radar,” IEEE Trans. Signal Process., vol. 60, no. 8, pp. 4432–4438, 2012.
- [36] J. Wang and Y. Wang, “On the Design of Constant Modulus Probing Waveforms With Good Correlation Properties for MIMO Radar via Consensus-ADMM Approach,” IEEE Trans. Signal Process., vol. 67, no. 16, pp. 4317–4332, 2019.
- [37] A. Li and C. Masouros, “Interference Exploitation Precoding Made Practical: Optimal Closed-Form Solutions for PSK Modulations,” IEEE Trans. Wireless Commun., vol. 17, no. 11, pp. 7661–7676, 2018.
- [38] K. Alhujaili, V. Monga, and M. Rangaswamy, “Transmit MIMO radar beampattern design via optimization on the complex circle manifold,” IEEE Trans. Signal Process., vol. 67, no. 13, pp. 3561–3575, 2019.
- [39] J. Yang, A. Li, X. Liao, C. Masouros, and A. Swindlehurst, “Block-level MU-MISO interference exploitation precoding: Optimal structure and explicit duality,” arXiv preprint arXiv:2401.00166, 2023.
- [40] S. Boyd, N. Parikh, E. Chu, B. Peleato, J. Eckstein et al., “Distributed optimization and statistical learning via the alternating direction method of multipliers,” Foundations and Trends® in Machine learning, vol. 3, no. 1, pp. 1–122, 2011.
- [41] Z. Cheng, Z. He, S. Zhang, and J. Li, “Constant modulus waveform design for MIMO radar transmit beampattern,” IEEE Trans. Signal Process., vol. 65, no. 18, pp. 4912–4923, 2017.
- [42] X. He and J. Wang, “QCQP with extra constant modulus constraints: Theory and application to sinr constrained mmwave hybrid beamforming,” IEEE Trans. Signal Process., vol. 70, pp. 5237–5250, 2022.
- [43] L. Zhao, J. Song, P. Babu, and D. P. Palomar, “A unified framework for low autocorrelation sequence design via majorization–minimization,” IEEE Trans. Signal Process., vol. 65, no. 2, pp. 438–453, 2016.
- [44] Y. Li and S. A. Vorobyov, “Fast Algorithms for Designing Unimodular Waveform(s) With Good Correlation Properties,” IEEE Signal Process. Lett., vol. 66, no. 5, pp. 1197–1212, 2018.
- [45] Y. Sun, P. Babu, and D. P. Palomar, “Majorization-minimization algorithms in signal processing, communications, and machine learning,” IEEE Trans. Signal Process., vol. 65, no. 3, pp. 794–816, 2016.
- [46] J. Song, P. Babu, and D. P. Palomar, “Sequence design to minimize the weighted integrated and peak sidelobe levels,” IEEE Trans. Signal Process., vol. 64, no. 8, pp. 2051–2064, 2015.
- [47] L. Xu, J. Li, and P. Stoica, “Radar imaging via adaptive MIMO techniques,” in European Signal Processing Conference, 2006, pp. 1–5.
- [48] J. Li, P. Stoica, and X. Zheng, “Signal Synthesis and Receiver Design for MIMO Radar Imaging,” IEEE Trans. Signal Process., vol. 56, no. 8, pp. 3959–3968, 2008.