Compressive Sensing (CS) theory states that real-world signals can often be recovered from much fewer measurements than those suggested by the Shannon sampling theorem. Nevertheless, recoverability does not only depend on the signal, but also on the measurement scheme. The measurement matrix should behave as close as possible to an isometry for the signals of interest. Therefore the search for optimal CS measurement matrices of size @math translates into the search for a set of @math @math -dimensional vectors with minimal coherence. Best Complex Antipodal Spherical Codes (BCASCs) are known to be optimal in terms of coherence. An iterative algorithm for BCASC generation has been recently proposed that tightly approaches the theoretical lower bound on coherence. Unfortunately, the complexity of each iteration depends quadratically on @math and @math . In this work we propose a modification of the algorithm that allows reducing the quadratic complexity to linear on both @math and @math . Numerical evaluation showed that the proposed approach does not worsen the coherence of the resulting BCASCs. On the contrary, an improvement was observed for large @math . The reduction of the computational complexity paves the way for using the BCASCs as CS measurement matrices in problems with large @math . We evaluate the CS performance of the BCASCs for recovering sparse signals. The BCASCs are shown to outperform both complex random matrices and Fourier ensembles as CS measurement matrices, both in terms of coherence and sparse recovery performance, especially for low @math , which is the case of interest in CS.
Some of the methods presented so far were either exclusively or, at least, initially designed to construct codes, packings, frames, sensing matrices, etc. in the real space. In some cases, complex extensions are available and, in fact, some of the previous methods were designed to work natively in complex space. Nevertheless, in such cases the computational cost is higher and the methods are only evaluated for relatively low numbers of codewords of low dimensionality. There is, indeed, a lack of work where constructions of large close-to-optimal complex codebooks are presented. To the best of our knowledge, the tables in @cite_15 provide the most complete comparative benchmark so far and are limited to codes with @math codewords of dimensionality @math (or only @math for @math ).
@cite_15
2169273233 2114869758 2133405866 2121743251
Vector sets with optimal coherence according to the Welch bound cannot exist for all pairs of dimension and cardinality. If such an optimal vector set exists, it is an equiangular tight frame and represents the solution to a Grassmannian line packing problem. Best Complex Antipodal Spherical Codes (BCASCs) are the best vector sets with respect to the coherence. By extending methods used to find best spherical codes in the real-valued Euclidean space, the proposed approach aims to find BCASCs, and thereby, a complex-valued vector set with minimal coherence. There are many applications demanding vector sets with low coherence. Examples are not limited to several techniques in wireless communication or to the field of compressed sensing. Within this contribution, existing analytical and numerical approaches for coherence optimization of complex-valued vector spaces are summarized and compared to the proposed approach. The numerically obtained coherence values improve previously reported results. The drawback of increased computational effort is addressed and a faster approximation is proposed which may be an alternative for time critical cases. This paper presents a geometric approach to the construction of low-density parity-check (LDPC) codes. Four classes of LDPC codes are constructed based on the lines and points of Euclidean and projective geometries over finite fields. Codes of these four classes have good minimum distances and their Tanner (1981) graphs have girth 6. Finite-geometry LDPC codes can be decoded in various ways, ranging from low to high decoding complexity and from reasonably good to very good performance. They perform very well with iterative decoding. Furthermore, they can be put in either cyclic or quasi-cyclic form. Consequently, their encoding can be achieved in linear time and implemented with simple feedback shift registers. This advantage is not shared by other LDPC codes in general and is important in practice. Finite-geometry LDPC codes can be extended and shortened in various ways to obtain other good LDPC codes. Several techniques of extension and shortening are presented. Long extended finite-geometry LDPC codes have been constructed and they achieve a performance only a few tenths of a decibel away from the Shannon theoretical limit with iterative decoding. We construct a new family of space-time codes suited for multiple-antenna non-coherent communications over Rayleigh flat fading channels. These codes use all the complex degrees of freedom of the system, i.e. (M times(1-M T)) symbols per channel use, where T is the code length and M is the number of transmit antennas. Their codewords belong to the Grassmann manifold GTldrM (C), the set of the M-dimensional vector subspaces of CT. Our codes are built from space-time codes for coherent systems via a non linear map (parameterization) called the exponential map. The relationships between some properties of the non-coherent space-time codes and their corresponding coherent codes are investigated. We also propose a simplified decoding for these classes of unitary space-time codes. We analyse the performance of these codes in terms of complexity and error probability and we compare them with some current best propositions, in particular training-based codes. The performance of our codes is substantially equivalent or slightly better than the one of training-based codes, under GLRT (Generalized Likelihood Ratio Test) decoding. When a simplified decoder is applied at the receiver, the error probability curves of the two propositions seem to be basically equivalent in the SIMO case with small block size, high spectral efficiency and high number of receive antennas, and in the 2times2 MIMO case with low spectral efficiency. In the other cases the training codes with simplified decoding seem to outperform our proposition. Consider a codebook containing N unit-norm complex vectors in a K-dimensional space. In a number of applications, the codebook that minimizes the maximal cross-correlation amplitude (I sub max ) is often desirable. Relying on tools from combinatorial number theory, we construct analytically optimal codebooks meeting, in certain cases, the Welch lower bound. When analytical constructions are not available, we develop an efficient numerical search method based on a generalized Lloyd algorithm, which leads to considerable improvement on the achieved I sub max over existing alternatives. We also derive a composite lower bound on the minimum achievable I sub max that is effective for any codebook size N.