The multiple-input multiple-output (MIMO) detection problem, a fundamental problem in modern digital communications, is to detect a vector of transmitted symbols from the noisy outputs of a fading MIMO channel. The maximum likelihood detector can be formulated as a complex least-squares problem with discrete variables, which is NP-hard in general. Various semidefinite relaxation (SDR) methods have been proposed in the literature to solve the problem due to their polynomial-time worst-case complexity and good detection error rate performance. In this paper, we consider two popular classes of SDR-based detectors and study the conditions under which the SDRs are tight and the relationship between different SDR models. For the enhanced complex and real SDRs proposed recently by Lu et al., we refine their analysis and derive the necessary and sufficient condition for the complex SDR to be tight, as well as a necessary condition for the real SDR to be tight. In contrast, we also show that another SDR proposed by Mobasher et al. is not tight with high probability under mild conditions. Moreover, we establish a general theorem that shows the equivalence between two subsets of positive semidefinite matrices in different dimensions by exploiting a special "separable" structure in the constraints. Our theorem recovers two existing equivalence results of SDRs defined in different settings and has the potential to find other applications due to its generality.

No abstract uploaded!

Like the matrix-valued functions used in solutions methods for semidefinite programs (SDPs) and semidefinite complementarity problems (SDCPs), the vector-valued functions associated with second-order cones are defined analogously and also used in solutions methods for second-order-cone programs (SOCPs) and second-order-cone complementarity problems (SOCCPs). In this article, we study further about these vector-valued functions associated with second-order cones (SOCs). In particular, we define the so-called SOC-convex and SOC-monotone functions for any given function . We discuss the SOC-convexity and SOC-monotonicity for some simple functions, e.g., <i>f</i>(<i>t</i>) = <i>t</i> ² <i>t</i> ³ 1/<i>t</i> <i>t</i> ^1/2, |<i>t</i>|, and [<i>t</i>]₊. Some characterizations of SOC-convex and SOC-monotone functions are studied, and some conjectures about the relationship between SOC-convex and SOC-monotone functions are proposed.

No abstract uploaded!

In this paper, we consider a family of neural networks for solving nonlinear complementarity problems (NCP). The neural networks are constructed from the merit functions based on three classes of NCP-functions: the generalized natural residual function and its two symmetrizations. In this paper, we first characterize the stationary points of the induced merit functions. Growth behavior of the complementarity functions is also described, as this will play an important role in describing the level sets of the merit functions. In addition, the stability of the steepest descent-based neural network model for NCP is analyzed. We provide numerical simulations to illustrate the theoretical results, and also compare the proposed neural networks with existing neural networks based on other well-known NCP-functions. Numerical results indicate that the performance of the neural network is better when the parameter <i>p</i> associated