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.

In this paper, we compute the stationary states of the multicomponent phase-field crystal model by formulating it as a block constrained minimization problem. The original infinite-dimensional non-convex minimization problem is approximated by a finite-dimensional constrained non-convex minimization problem after an appropriate spatial discretization. To efficiently solve the above optimization problem, we propose a so-called adaptive block Bregman proximal gradient (AB-BPG) algorithm that fully exploits the problem's block structure. The proposed method updates each order parameter alternatively, and the update order of blocks can be chosen in a deterministic or random manner. Besides, we choose the step size by developing a practical linear search approach such that the generated sequence either keeps energy dissipation or has a controllable subsequence with energy dissipation. The convergence property of the proposed method is established without the requirement of global Lipschitz continuity of the derivative of the bulk energy part by using the Bregman divergence. The numerical results on computing stationary ordered structures in binary, ternary, and quinary component coupled-mode Swift-Hohenberg models have shown a significant acceleration over many existing methods.

H. Hopf showed that the only constant mean curvature sphere S2 immersed in R3 is the round sphere. The K¨ahler framework is an adequate approach to generalize Hopf’ s theorem to higher dimensions. When ϕ : M → Rn is an isometric immersion from a K¨ahler manifold, the complexified second fundamental form α splits according to types. The (1, 1) part of the second fundamental form plays the role of the mean curvature for surfaces and will be called the pluri-mean curvature pmc. Therefore isometric immersions with parallel pluri-mean curvature (ppmc isometric immersions) generalize in a natural way the cmc immersions. It is a standard fact that R8 is the smallest space where CP2 can be embedded. The aim of this work is to generalize Hopf’s theorem proving in particular that the only ppmc isometric immersion from CP2 into R8 is the standard immersion.

In plane kinematics, the knowledge of the location of the instantaneous centre — deriving from the eighteenth century — affords information which is partial and very incomplete. But it is the case that there always exists an enumerable set of$cardinal points$, as they may be named, having the following characteristic: all the properties of the path of any, and every, element or series of elements, fixed in the moving plane, are completely determined by the configuration of this set of cardinal points. In this manner is given a very simple and complete synthesis of the whole realm of plane kinematics.

No abstract uploaded!