MIMO Transmit Beampattern Matching Under Waveform Constraints

MIMO Transmit Beampattern Matching Under Waveform Constraints

Ziping Zhao, , and Daniel P. Palomar,  This work was supported by the Hong Kong RGC 16206315 research grant. The author Z. Zhao is supported by the Hong Kong PhD Fellowship Scheme (HKPFS).The authors are with the Department of Electronic and Computer Engineering, The Hong Kong University of Science and Technology (HKUST), Clear Water Bay, Kowloon, Hong Kong (e-mail: ziping.zhao@connect.ust.hk; palomar@ust.hk).
Abstract

In this paper, the multiple-input multiple-output (MIMO) transmit beampattern matching problem is considered. The problem is formulated to approximate a desired transmit beampattern (i.e., an energy distribution in space and frequency) and to minimize the cross-correlation of signals reflected back to the array by considering different practical waveform constraints at the same time. Due to the nonconvexity of the objective function and the waveform constraints, the optimization problem is highly nonconvex. An efficient one-step method is proposed to solve this problem based on the majorization-minimization (MM) method. The performance of the proposed algorithms compared to the state-of-art algorithms is shown through numerical simulations.

MIMO, waveform diversity, beampattern design, waveform constraints, nonconvex optimization.

I Introduction

Multiple-input multiple-output (MIMO) systems [1] have the capacity to transmit independent probing signal or waveforms from each transmit antenna. Such waveform diversity feature leads to many desirable properties for MIMO systems. For example, a modern MIMO radar has many appealing features, like higher spatial resolution, superior moving target detection and better parameter identifiability, compared to the classical phased-array radar [2, 3, 4].

The MIMO transmit beampattern matching problem is critically important in many fields, like in defense systems, communication systems, and biomedical applications. This problem is concerned with designing the probing waveforms to approximate a desired antenna array transmit beampattern (i.e., an energy distribution in space and frequency) and also to minimize the the cross-correlation of the signals reflected back from various targets of interest by considering some practical waveform constraints. The MIMO transmit beampattern matching problem appears to be difficult from an optimization point of view because the existence of the fourth-order nonconvex objective function and the possibly nonconvex waveform constraints which are used to represent desirable properties and/or enforced from an hardware implementation perspective [5].

In [6], the MIMO transmit beampattern matching problem was formulated to minimize the difference between the designed beampattern and the desired one. The formulation in [6] was modified in [7, 8] by introducing the cross-correlation between the signals. And in [8], the authors proposed to design the waveform covariance matrix to match the desired beampattern through semidefinite programming. A closed-form waveform covariance matrix design method was also proposed based on discrete Fourier transform (DFT) coefficients and Toeplitz matrices in [9, 10]. But such kind of methods can perform badly for small number of antennas. After the waveform covariance matrix is obtained, other methods should be applied to synthesize a desired waveform from its covariance matrix. For example, a cyclic algorithm was proposed in [11] to synthesize a constant modulus waveform from its covariance matrix. These methods are usually called two-steps methods. In practice, they could become inefficient and suboptimal if more waveform constraints are considered.

In [12], it was found that directly designing the waveform to match the desired beampattern can give a better performance, which is referred to as the one-step method. But the method in [12] is tailored to the constant modulus constraint and can be slow in convergence. In [13], the problem was solved based on the alternating direction method of multipliers (ADMM) [14]. However, again the proposed algorithm is only designed for dealing with unimodulus constraint.

The majorization-minimization (MM) method [15, 16] has shown its great efficiency in deriving fast and convergent algorithms to solve nonconvex problems in many different applications [17, 18]. In this paper, we propose a one-step method to directly solve the MIMO transmit beampattern matching problem based on the MM method by considering different waveform constraints. The performance of our algorithms compared to the existing algorithms is verified through numerical simulations.

Ii MIMO Transmit Beampattern Matching Problem Formulation

A colocated MIMO radar [19] with transmit antennas in a uniform linear array (ULA), as shown in Fig. 1, is considered. Each transmit antenna can emit a different waveform with , , where is the number of samples. Let be the th sample of the transmit waveforms and denote the waveform vector.

Fig. 1: MIMO transceiver with antennas and is the spacial direction of interest.

The signal at a target location with angle (, which is the angle set) is represented by

where is the transmit steering vector written as . Then, the power for the probing signal at location which is named the transmit beampattern can be written as follows:

where .

Suppose there are targets of interest, and then the spatial cross-correlation sidelobes (cross-correlation beampattern) between the probing signals at locations and (, and ) is given by

where .

The objective of the transmit beampattern matching problem is as follows: i) to match a desired transmit beampattern denoted as , which can be formulated as follows111Variable is introduced since is typically given in a “normalized form” and we want to approximate a scaled version of , not itself.:

(1)

where is the weight for the direction ; and ii) to minimize the cross-correlation between the probing signals at a number of given target locations due to the fact that the statistical performance of adaptive MIMO radar techniques rely on the cross-correlation beampattern, which is given as

(2)

Then, by considering and , the MIMO transmit beampattern matching problem is formulated as follows:

(3)

where controls the sidelobe term, generally denotes the waveform constraint, and representing the total transmit energy (power) constraint. We are also interested in other practical waveform constraints:

i) Constant modulus constraint is to prevent the non-linearity distortion of the power amplifier to maximize the efficiency of the transmitter, which is given by for ;

ii) Peak-to-Average Ratio (PAR) constraint is the ratio of the peak signal power to its average power ( with ). The is constrained to a small threshold, so that the analog-to-digital and digital-to-analog converters can have lower dynamic range, and fewer linear power amplifiers are needed. Since , the PAR constraint is for ;

iii) Similarity constraint is to allow the designed waveforms to lie in the neighborhood of a reference one which already can attain a good performance [20], which is denoted as .

Problem (3) is a constrained nonconvex problem due to the nonconvex objective and constraints. We are trying to solve it by using efficient nonconvex optimization methods.

Iii Problem Solving via The MM Method

Iii-a The Majorization-Minimization (MM) Method

The MM method [15, 21, 16] is a generalization of the well-known EM method. For an optimization problem given by

instead of dealing with this problem directly which could be difficult, the MM-based algorithm solves a series of simpler subproblems with surrogate functions that majorize over . More specifically, starting from an initial point , it produces a sequence by the following update rule:

where the surrogate majorizing function satisfies

The objective function value is monotonically nonincreasing at each iteration. To use the MM method, the key step is to find a majorizing function to make the subproblem easy to solve, which will be discussed in the following subsections.

Iii-B Majorization Steps For The Beampattern Matching Term

In this section, we discuss the majorization steps, i.e., how to construct a good majorizing function for the beampattern matching term in (1). First, we have

which is a quadratic function in variable . Then, it follows that the minimum of is attained when

Substituting back into and considering

we get

where

and it is easy to see that is a quartic function in . Next, we introduce a useful lemma.

Lemma 1.

Let and such that . At any point , the quadratic function is majorized by .

Proof:

Notice that .

Based on Lemma 1, we can choose , and because , at iterate we have

where since , the first term is just a constant. Then after ignoring the constant terms, we get the following majorizing function for :

where “” stands for “equivalence” up to additive constants. Substituting back into function and dropping the constants, we have

(4)

where . It is easy to see that after majorization, the majorizing function becomes quadratic in rather than quartic in . However, using this function as the objective to solve is still hard due to the waveform constraint .222It is a NP-hard unimodular quadratic program even only considering . So we propose to majorize again to simplify the problem to solve in each iteration. Thus, we can consider choosing for majorization, where we can have the following useful property. ∎

Lemma 2.

[22, 23] Define

which is Hermitian Toeplitz, as a FFT matrix, and . Then, we have , , and

where , which is the discrete Fourier transform for .

Lemma 2 provides an easy way for the computation of Based on Lemma 1 and using , the majorizing function can be further majorized as

where since , the first term is a constant. Then by ignoring the constant terms, the objective becomes a linear majorizing function at iterate as follows:

(5)

where .

Iii-C Majorization Steps For The Sidelobe Term

To deal with the sidelobe term in (2), the majorization steps are similar to . First, we have

where . Then, based on Lemma 1, by choosing and , we can get the majorizing functions at iterate written as follows:

(6)

where and .

Iii-D Solving The Majorized Subproblem in MM

By combing the two majorizing functions and , the overall majorizing function at iterate for the objective is given as follows:

where

Finally, by majorizing the objective function in (3) using the MM method, the subproblem we need to solve at each iteration is given as follows:

(7)

For problem (7), as to different interested waveform constraints, closed-form optimal solutions can be derived, which are summarized in the following lemma.

Lemma 3.

i) For fixed energy constraint (i.e., ), ; ii) for constant modulus constraint (i.e., ), ;333The operation is applied element-wise for . iii) for fixed energy with PAR constraint (i.e., ), the solution can be found in [24, Alg. 2]; iv) for constant modulus with similarity constraint (i.e., ), the solution can be found in [25].

Iii-E The MM-Based Beampattern Matching Algorithm

Based on the MM method, in order to solve the original problem (3), we just need to iteratively solve the subproblem (7) with a closed-form solution update in Lemma 3 at each iteration. The overall algorithm is summarized as follows.

Input: , , and . Repeat 1. Compute , , , , and ; 2. Update in a closed-form according to Lemma 3; 3. ; Until and satisfy a termination criterion. Output: , .

Iv Numerical Simulations

The performance of the proposed algorithm for MIMO transmit beampattern matching is evaluated by numerical simulations. A colocated MIMO radar system is considered with a ULA comprising antennas with half-wavelength spacing between adjacent antennas. Without loss of generality, the total transmit power is set to . Each transmit pulse has samples. The range of angle is with spacing under which the weight for , and , which is the same setting as [13]. We consider a desired beampattern with three targets or mainlobes () at , , , and each width of them is . The desired beampattern is

We compare the convergence property over iterations of the objective function for the beampattern matching problem under unimodulus waveform constraint by using the proposed MM-based algorithm (denoted as MM-based algorithm (prop.)) and the ADMM-based algorithm in [13] (denoted as ADMM-based algorithm) , which is shown in Fig. 2.

Fig. 2: Convergence comparison for objective function value.

As shown in Fig. 2, the MM-based algorithm can have a monotonic convergence property. And it can converge within iterations which is faster than the benchmark algorithm.

Then, we also compare the matching performance of the designed beampatterns in terms of the mean-squared error (MSE) defined as

In Fig. 3, we show the simulation results for by using different design methods.

Fig. 3: Transmit beampattern design with targets .

From Fig. 3, we can see that compared to the benchmark, our proposed algorithm can have a tighter matching performance and can obtain a lower MSE. Based on these, the proposed algorithm is validated.

V Conclusions

This paper has considered the MIMO transmit beampattern matching problem. Efficient algorithms have been proposed based on the MM method. Numerical simulations show that the proposed algorithms are efficient in solving the beampattern matching problem and can obtain a better performance compared to the the state-of-art method.

References

  • [1] J. Li and P. Stoica, MIMO Radar Signal Processing.   Wiley, 2008.
  • [2] D. Bliss and K. Forsythe, “Multiple-input multiple-output (MIMO) radar and imaging: degrees of freedom and resolution,” in Proc. of the 37th Asilomar Conf. on Signals, Systems and Computers., vol. 1.   IEEE, 2003, pp. 54–59.
  • [3] E. Fishler, A. Haimovich, R. Blum, D. Chizhik, L. Cimini, and R. Valenzuela, “MIMO radar: An idea whose time has come,” in Proc. of the 2004 IEEE Radar Conf..   IEEE, 2004, pp. 71–78.
  • [4] K. Forsythe, D. Bliss, and G. Fawcett, “Multiple-input multiple-output MIMO radar: Performance issues,” in Proc. of the 38th Asilomar Conf. on Signals, Systems and Computers., vol. 1.   IEEE, 2004, pp. 310–315.
  • [5] M. Skolnik, “Radar handbook,” New York: McGraw-Hill, 1990.
  • [6] D. R. Fuhrmann and G. San Antonio, “Transmit beamforming for MIMO radar systems using partial signal correlation,” in Proc. of the 38th Asilomar Conf. on Signals, Systems and Computers., vol. 1.   IEEE, 2004, pp. 295–299.
  • [7] ——, “Transmit beamforming for MIMO radar systems using signal cross-correlation,” IEEE Trans. Aerosp. Electron. Syst., vol. 44, no. 1, 2008.
  • [8] P. Stoica, J. Li, and Y. Xie, “On probing signal design for MIMO radar,” IEEE Trans. Signal Process., vol. 55, no. 8, pp. 4151–4161, 2007.
  • [9] J. Lipor, S. Ahmed, and M.-S. Alouini, “Fourier-based transmit beampattern design using MIMO radar,” IEEE Trans. Signal Process., vol. 62, no. 9, pp. 2226–2235, 2014.
  • [10] T. Bouchoucha, S. Ahmed, T. Al-Naffouri, and M.-S. Alouini, “DFT-based closed-form covariance matrix and direct waveforms design for MIMO radar to achieve desired beampatterns,” IEEE Trans. Signal Process., vol. 65, no. 8, pp. 2104–2113, 2017.
  • [11] P. Stoica, J. Li, and X. Zhu, “Waveform synthesis for diversity-based transmit beampattern design,” IEEE Trans. Signal Process., vol. 56, no. 6, pp. 2593–2598, 2008.
  • [12] 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.
  • [13] 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.
  • [14] S. Boyd, N. Parikh, E. Chu, B. Peleato, and J. Eckstein, “Distributed optimization and statistical learning via the alternating direction method of multipliers,” Found. Trends Mach. Learn., vol. 3, no. 1, pp. 1–122, 2011.
  • [15] D. R. Hunter and K. Lange, “A tutorial on MM algorithms,” Amer. Statist., vol. 58, no. 1, pp. 30–37, 2004.
  • [16] 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.
  • [17] J. Song, P. Babu, and D. P. Palomar, “Optimization methods for designing sequences with low autocorrelation sidelobes,” IEEE Trans. Signal Process., vol. 63, no. 15, pp. 3998–4009, 2015.
  • [18] Z. Zhao and D. P. Palomar, “Mean-reverting portfolio with budget constraint,” IEEE Trans. on Signal Process., vol. PP, no. 99, p. 1, 2018.
  • [19] J. Li and P. Stoica, “MIMO radar with colocated antennas,” IEEE Signal Process. Mag., vol. 24, no. 5, pp. 106–114, 2007.
  • [20] J. Li, J. R. Guerci, and L. Xu, “Signal waveform’s optimal-under-restriction design for active sensing,” IEEE Signal Process. Lett., vol. 13, no. 9, pp. 565–568, Sep. 2006.
  • [21] M. Razaviyayn, M. Hong, and Z.-Q. Luo, “A unified convergence analysis of block successive minimization methods for nonsmooth optimization,” SIAM J. Optim., vol. 23, no. 2, pp. 1126–1153, 2013.
  • [22] P. Jorge and S. Ferreira, “Localization of the eigenvalues of Toeplitz matrices using additive decomposition, embedding in circulants, and the fourier transform,” in Proc. Symp. Syst. Identif., vol. 3, 1994, pp. 271–275.
  • [23] R. A. Horn and C. R. Johnson, Matrix analysis.   Cambridge Univ. Press, 1990.
  • [24] J. A. Tropp, I. S. Dhillon, R. W. Heath, and T. Strohmer, “Designing structured tight frames via an alternating projection method,” IEEE Trans. Inf. Theory, vol. 51, no. 1, pp. 188–209, 2005.
  • [25] L. Zhao and D. P. Palomar, “Maximin joint optimization of transmitting code and receiving filter in radar and communications,” IEEE Trans. Signal Process., vol. 65, no. 4, pp. 850–863, 2017.
Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
101923
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description