It is well known that communication using multiple antennas provides high data rate and reliability. Coding across space and time is necessary to fully exploit the gains offered by multiple input multiple output (MIMO) systems. One such popular method of coding for MIMO systems is space-time block coding. In applications where the terminals do not have enough physical space to mount multiple antennas, relaying or cooperation between multiple single antenna terminals can help achieve spatial diversity in such scenarios as well. Relaying techniques can also help improve the range and reliability of communication. Recently it has been shown that certain space-time block codes (STBCs) can be employed in a distributed fashion in single antenna relay networks to extract the same benefits as in point to point MIMO systems. Such STBCs are called distributed STBCs. However an important practical issue with STBCs and DSTBCs is its associated high maximum likelihood (ML) decoding complexity. The central theme of this thesis is to systematically construct STBCs and DSTBCs applicable for various scenarios such that are amenable for low decoding complexity. The first part of this thesis provides constructions of high rate STBCs from crossed product algebras that are minimum mean squared error (MMSE) optimal, i.e., achieves the least symbol error rate under MMSE reception. Moreover several previous constructions of MMSE optimal STBCs are found to be special cases of the constructions in this thesis. It is well known that STBCs from orthogonal designs offer single symbol ML decoding along with full diversity but the rate of orthogonal designs fall exponentially with the number of transmit antennas. Thus it is evident that there exists a tradeoff between rate and ML decoding complexity of full diversity STBCs. In the second part of the thesis, a definition of rate of a STBC is proposed and the problem of optimal tradeoff between rate and ML decoding complexity is posed. An algebraic framework based on extended Clifford algebras is introduced to study the optimal tradeoff for a class of multi-symbol ML decodable STBCs called ‘Clifford unitary weight (CUW) STBCs’ which include orthogonal designs as a special case. Code constructions optimally meeting this tradeoff are also obtained using extended Clifford algebras. All CUW-STBCs achieve full diversity as well. The third part of this thesis focusses on constructing DSTBCs with low ML decoding complexity for two hop, amplify and forward based relay networks under various scenarios. The symbol synchronous, coherent case is first considered and conditions for a DSTBC to be multi-group ML decodable are first obtained. Then three new classes of four-group ML decodable full diversity DSTBCs are systematically constructed for arbitrary number of relays. Next the symbol synchronous non-coherent case is considered and full diversity, four group decodable distributed differential STBCs (DDSTBCs) are constructed for power of two number of relays. These DDSTBCs have the best error performance compared to all previous works along with low ML decoding complexity. For the symbol asynchronous, coherent case, a transmission scheme based on orthogonal frequency division multiplexing (OFDM) is proposed to mitigate the effects of timing errors at the relay nodes and sufficient conditions for a DSTBC to be applicable in this new transmission scheme are given. Many of the existing DSTBCs including the ones in this thesis are found to satisfy these sufficient conditions. As a further extension, differential encoding is combined with the proposed transmission scheme to arrive at a new transmission scheme that can achieve full diversity in symbol asynchronous, non-coherent relay networks with no knowledge of the timing errors at the relay nodes. The DDSTBCs in this thesis are proposed for application in the proposed transmission scheme for symbol asynchronous, non-coherent relay networks. As a parallel to the non-coherent schemes based on differential encoding, we also propose non-coherent schemes for symbol synchronous and symbol asynchronous relay networks that are based on training. This training based transmission scheme leverages existing coherent DSTBCs for non-coherent communication in relay networks. Simulations show that this training scheme when used along with the coherent DSTBCs in this thesis outperform the best known DDSTBCs in the literature. Finally, in the last part of the thesis, connections between multi-group ML decodable unitary weight (UW) STBCs and groups with real elements are established for the first time. Using this connection, we translate the necessary and sufficient conditions for multi-group ML decoding of UW-STBCs entirely in group theoretic terms. We discuss various examples of multi-group decodable UW-STBCs together with their associated groups and list the real elements involved. These examples include orthogonal designs, quasi-orthogonal designs among many others.

The search for the closest lattice point arises in many communication problems, and is known to be NP-hard. The Maximum Likelihood (ML) Detector is the optimal detector which yields an optimal solution to this problem, but at the expense of high computational complexity. Existing near-optimal methods used to solve the problem are based on the Sphere Decoder (SD), which searches for lattice points confined in a hyper-sphere around the received point. The SD has emerged as a powerful means of finding the solution to the ML detection problem for MIMO systems. However the bottleneck lies in the determination of the initial radius. This thesis is concerned with the detection of transmitted wireless signals in Multiple-Input Multiple-Output (MIMO) digital communication systems as efficiently and effectively as possible. The main objective of this thesis is to design efficient ML detection algorithms for MIMO systems based on the depth-first search (DFS) algorithms whilst taking into account complexity and bit error rate performance requirements for advanced digital communication systems. The increased capacity and improved link reliability of MIMO systems without sacrificing bandwidth efficiency and transmit power will serve as the key motivation behind the study of MIMO detection schemes. The fundamental principles behind MIMO systems are explored in Chapter 2. A generic framework for linear and non-linear tree search based detection schemes is then presented Chapter 3. This paves way for different methods of improving the achievable performance-complexity trade-off for all SD-based detection algorithms. The suboptimal detection schemes, in particular the Minimum Mean Squared Error-Successive Interference Cancellation (MMSE-SIC), will also serve as pre-processing as well as comparison techniques whilst channel capacity approaching Low Density Parity Check (LDPC) codes will be employed to evaluate the performance of the proposed SD. Numerical and simulation results show that non-linear detection schemes yield better performance compared to linear detection schemes, however, at the expense of a slight increase in complexity. The first contribution in this thesis is the design of a near ML-achieving SD algorithm for MIMO digital communication systems that reduces the number of search operations within the sphere-constrained search space at reduced detection complexity in Chapter 4. In this design, the distance between the ML estimate and the received signal is used to control the lower and upper bound radii of the proposed SD to prevent NP-complete problems. The detection method is based on the DFS algorithm and the Successive Interference Cancellation (SIC). The SIC ensures that the effects of dominant signals are effectively removed. Simulation results presented in this thesis show that by employing pre-processing detection schemes, the complexity of the proposed SD can be significantly reduced, though at marginal performance penalty. The second contribution is the determination of the initial sphere radius in Chapter 5. The new initial radius proposed in this thesis is based on the variable parameter α which is commonly based on experience and is chosen to ensure that at least a lattice point exists inside the sphere with high probability. Using the variable parameter α, a new noise covariance matrix which incorporates the number of transmit antennas, the energy of the transmitted symbols and the channel matrix is defined. The new covariance matrix is then incorporated into the EMMSE model to generate an improved EMMSE estimate. The EMMSE radius is finally found by computing the distance between the sphere centre and the improved EMMSE estimate. This distance can be fine-tuned by varying the variable parameter α. The beauty of the proposed method is that it reduces the complexity of the preprocessing step of the EMMSE to that of the Zero-Forcing (ZF) detector without significant performance degradation of the SD, particularly at low Signal-to-Noise Ratios (SNR). More specifically, it will be shown through simulation results that using the EMMSE preprocessing step will substantially improve performance whenever the complexity of the tree search is fixed or upper bounded. The final contribution is the design of the LRAD-MMSE-SIC based SD detection scheme which introduces a trade-off between performance and increased computational complexity in Chapter 6. The Lenstra-Lenstra-Lovasz (LLL) algorithm will be utilised to orthogonalise the channel matrix H to a new near orthogonal channel matrix H ̅.The increased computational complexity introduced by the LLL algorithm will be significantly decreased by employing sorted QR decomposition of the transformed channel H ̅ into a unitary matrix and an upper triangular matrix which retains the property of the channel matrix. The SIC algorithm will ensure that the interference due to dominant signals will be minimised while the LDPC will effectively stop the propagation of errors within the entire system. Through simulations, it will be demonstrated that the proposed detector still approaches the ML performance while requiring much lower complexity compared to the conventional SD.