Information Theory and Reliable Communication

Massive multiple-input multiple-output (MIMO) wireless communications refers to the idea equipping cellular base stations (BSs) with a very large number of antennas, and has been shown to potentially allow for orders of magnitude improvement in spectral and energy efficiency using relatively simple (linear) processing. In this paper, we present a comprehensive overview of state-of-the-art research on the topic, which has recently attracted considerable attention. We begin with an information theoretic analysis to illustrate the conjectured advantages of massive MIMO, and then we address implementation issues related to channel estimation, detection and precoding schemes. We particularly focus on the potential impact of pilot contamination caused by the use of non-orthogonal pilot sequences by users in adjacent cells. We also analyze the energy efficiency achieved by massive MIMO systems, and demonstrate how the degrees of freedom provided by massive MIMO systems enable efficient single-carrier transmission. Finally, the challenges and opportunities associated with implementing massive MIMO in future wireless communications systems are discussed.

/pdf/an-overview-of-massive-mimo-benefits-and-challenges-5e3yrz2gcj.pdf

An Overview of Massive MIMO: Benefits and Challenges

Progress in underwater acoustic telemetry since 1982 is reviewed within a framework of six current research areas: (1) underwater channel physics, channel simulations, and measurements; (2) receiver structures; (3) diversity exploitation; (4) error control coding; (5) networked systems; and (6) alternative modulation strategies. Advances in each of these areas as well as perspectives on the future challenges facing them are presented. A primary thesis of this paper is that increased integration of high-fidelity channel models into ongoing underwater telemetry research is needed if the performance envelope (defined in terms of range, rate, and channel complexity) of underwater modems is to expand.

/pdf/the-state-of-the-art-in-underwater-acoustic-telemetry-25guddsizz.pdf

The state of the art in underwater acoustic telemetry

Millimeter wave (mmWave) communications have recently attracted large research interest, since the huge available bandwidth can potentially lead to the rates of multiple gigabit per second per user Though mmWave can be readily used in stationary scenarios, such as indoor hotspots or backhaul, it is challenging to use mmWave in mobile networks, where the transmitting/receiving nodes may be moving, channels may have a complicated structure, and the coordination among multiple nodes is difficult To fully exploit the high potential rates of mmWave in mobile networks, lots of technical problems must be addressed This paper presents a comprehensive survey of mmWave communications for future mobile networks (5G and beyond) We first summarize the recent channel measurement campaigns and modeling results Then, we discuss in detail recent progresses in multiple input multiple output transceiver design for mmWave communications After that, we provide an overview of the solution for multiple access and backhauling, followed by the analysis of coverage and connectivity Finally, the progresses in the standardization and deployment of mmWave for mobile networks are discussed

Millimeter Wave Communications for Future Mobile Networks

To study the operational behaviour of λ-terms, we will use the denotational (mathematical) approach. A denotational semantics for a language is based on the choice of a space of semantics values, or denotations, where terms are to be interpreted. Choosing a space with nice mathematical properties can help in proving the semantic properties of terms, since to this aim standard mathematical techniques can be used.

λ Δ -Models

We present some general techniques for constructing full-rank, minimal-delay, rate at least one space-time block codes (STBCs) over a variety of signal sets for arbitrary number of transmit antennas using commutative division algebras (field extensions) as well as using noncommutative division algebras of the rational field /spl Qopf/ embedded in matrix rings. The first half of the paper deals with constructions using field extensions of /spl Qopf/. Working with cyclotomic field extensions, we construct several families of STBCs over a wide range of signal sets that are of full rank, minimal delay, and rate at least one appropriate for any number of transmit antennas. We study the coding gain and capacity of these codes. Using transcendental extensions we construct arbitrary rate codes that are full rank for arbitrary number of antennas. We also present a method of constructing STBCs using noncyclotomic field extensions. In the later half of the paper, we discuss two ways of embedding noncommutative division algebras into matrices: left regular representation, and representation over maximal cyclic subfields. The 4/spl times/4 real orthogonal design is obtained by the left regular representation of quaternions. Alamouti's (1998) code is just a special case of the construction using representation over maximal cyclic subfields and we observe certain algebraic uniqueness characteristics of it. Also, we discuss a general principle for constructing cyclic division algebras using the nth root of a transcendental element and study the capacity of the STBCs obtained from this construction. Another family of cyclic division algebras discovered by Brauer (1933) is discussed and several examples of STBCs derived from each of these constructions are presented.

Full-diversity, high-rate space-time block codes from division algebras

Space-time block codes (STBCs) from orthogonal designs (ODs) and coordinate interleaved orthogonal designs (CIOD) have been attracting wider attention due to their amenability for fast (single-symbol) maximum-likelihood (ML) decoding, and full-rate with full-rank over quasi-static fading channels. However, these codes are instances of single-symbol decodable codes and it is natural to ask, if there exist codes other than STBCs form ODs and CIODs that allow single-symbol decoding? In this paper, the above question is answered in the affirmative by characterizing all linear STBCs, that allow single-symbol ML decoding (not necessarily full-diversity) over quasi-static fading channels-calling them single-symbol decodable designs (SDD). The class SDD includes ODs and CIODs as proper subclasses. Further, among the SDD, a class of those that offer full-diversity, called Full-rank SDD (FSDD) are characterized and classified. We then concentrate on square designs and derive the maximal rate for square FSDDs using a constructional proof. It follows that 1) except for N=2, square complex ODs are not maximal rate and 2) a rate one square FSDD exist only for two and four transmit antennas. For nonsquare designs, generalized coordinate-interleaved orthogonal designs (a superset of CIODs) are presented and analyzed. Finally, for rapid-fading channels an equivalent matrix channel representation is developed, which allows the results of quasi-static fading channels to be applied to rapid-fading channels. Using this representation we show that for rapid-fading channels the rate of single-symbol decodable STBCs are independent of the number of transmit antennas and inversely proportional to the block-length of the code. Significantly, the CIOD for two transmit antennas is the only STBC that is single-symbol decodable over both quasi-static and rapid-fading channels.

Single-symbol maximum likelihood decodable linear STBCs

In this letter, we are concerned with low-complexity detection in large multiple-input multiple-output (MIMO) systems with tens of transmit/receive antennas. Our new contributions in this letter are two-fold. First, we propose a low-complexity algorithm for large-MIMO detection based on a layered low-complexity local neighborhood search. Second, we obtain a lower bound on the maximum-likelihood (ML) bit error performance using the local neighborhood search. The advantages of the proposed ML lower bound are i) it is easily obtained for MIMO systems with large number of antennas because of the inherent low complexity of the search algorithm, ii) it is tight at moderate-to-high SNRs, and iii) it can be tightened at low SNRs by increasing the number of symbols in the neighborhood definition. The proposed detection algorithm based on the layered local neighborhood search achieves bit error performances which are quite close to this lower bound for large number of antennas and higher-order QAM.

Layered Tabu Search Algorithm for Large-MIMO Detection and a Lower Bound on ML Performance

A space-time block-code scheme (STBC-scheme) is a family of STBCs {C(SNR)}, indexed by the signal-to-noise ratio (SNR) such that the rate of each STBC scales with SNR. An STBC-scheme is said to have a nonvanishing determinant if the coding gain of every STBC in the scheme is lower-bounded by a fixed nonzero value. The nonvanishing determinant property is important from the perspective of the diversity multiplexing-gain (DM-G) tradeoff: a concept that characterizes the maximum diversity gain achievable by any STBC-scheme transmitting at a particular rate. This correspondence presents a systematic technique for constructing STBC-schemes with nonvanishing determinant, based on cyclic division algebras. Prior constructions of STBC-schemes from cyclic division algebra have either used transcendental elements, in which case the scheme may have vanishing determinant, or is available with nonvanishing determinant only for two, three, four, and six transmit antennas. In this correspondence, we construct STBC-schemes with nonvanishing determinant for the number of transmit antennas of the form 2/sup k/, 3/spl middot/2/sup k/, 2/spl middot/3/sup k/, and q/sup k/(q-1)/2, where q is any prime of the form 4s+3. For cyclic division algebra based STBC-schemes, in a recent work by Elia et al., the nonvanishing determinant property has been shown to be sufficient for achieving DM-G tradeoff. In particular, it has been shown that the class of STBC-schemes constructed in this correspondence achieve the optimal DM-G tradeoff. Moreover, the results presented in this correspondence have been used for constructing optimal STBC-schemes for arbitrary number of transmit antennas, by Elia et al.

/pdf/stbc-schemes-with-nonvanishing-determinant-for-certain-2e2huum1bn.pdf

STBC-schemes with nonvanishing determinant for certain number of transmit antennas

Constellation Constrained (CC) capacity regions of two-user Single-Input Single-Output (SISO) Gaussian Multiple Access Channels (GMAC) are computed for several Non-Orthogonal Multiple Access schemes (NO-MA) and Orthogonal Multiple Access schemes (O-MA). For NO-MA schemes, a metric is proposed to compute the angle(s) of rotation between the input constellations such that the CC capacity regions are maximally enlarged. Further, code pairs based on Trellis Coded Modulation (TCM) are designed with PSK constellation pairs and PAM constellation pairs such that any rate pair within the CC capacity region can be approached. Such a NO-MA scheme which employs CC capacity approaching trellis codes is referred to as Trellis Coded Multiple Access (TCMA). Then, CC capacity regions of O-MA schemes such as Frequency Division Multiple Access (FDMA) and Time Division Multiple Access (TDMA) are also computed and it is shown that, unlike the Gaussian distributed continuous constellations case, the CC capacity regions with FDMA are strictly contained inside the CC capacity regions with TCMA. Hence, for finite constellations, a NO-MA scheme such as TCMA is better than FDMA and TDMA which makes NO-MA schemes worth pursuing in practice for two-user GMAC. Then, the idea of introducing rotations between the input constellations is used to construct Space-Time Block Code (STBC) pairs for two-user Multiple-Input Single-Output (MISO) fading MAC. The proposed STBCs are shown to have reduced Maximum Likelihood (ML) decoding complexity and information-losslessness property. Finally, STBC pairs with reduced sphere decoding complexity are proposed for two-user Multiple-Input Multiple-Output (MIMO) fading MAC.

Balaji Sundar Rajan

Papers

Full-diversity, high-rate space-time block codes from division algebras

Single-symbol maximum likelihood decodable linear STBCs

Layered Tabu Search Algorithm for Large-MIMO Detection and a Lower Bound on ML Performance

STBC-schemes with nonvanishing determinant for certain number of transmit antennas

On Two-User Gaussian Multiple Access Channels With Finite Input Constellations