Bounds on Fast Decodability of Space-Time Block Codes, Skew-Hermitian Matrices, and Azumaya Algebras

• Published in: IEEE transactions on information theory Vol. 61; no. 4; pp. 1959 - 1970
• Main Authors: Berhuy, Gregory, Markin, Nadya, Sethuraman, B. A.
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.04.2015; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Algebra; Antennas; Azumaya algebra; Block codes; Codes; Complexity theory; Decoding; division algebra; Equations; Fast decodability; full diversity; full rate; Information theory; Lattices; space-time code; Vectors; division algebra; Azumaya algebra; full rate; space-time code; Fast decodability; full diversity
• ISSN: 0018-9448; 1557-9654
• DOI: 10.1109/TIT.2015.2402128

We study fast lattice decodability of space-time block codes for n transmit and receive antennas, written very generally as a linear combination Σ i=1 2l s i A i , where the si are real information symbols and the A i are n×n ℝ-linearly independent complex-valued matrices. We show that the mutual orthogonality condition A i A j * + A j A i * = 0 for distinct basis matrices is not only sufficient but also necessary for fast decodability. We build on this to show that for full-rate (l = n 2 ) transmission, the decoding complexity can be no better than |S|(n 2 +1), where |S| is the size of the effective real signal constellation. We also show that for full-rate transmission, g-group decodability, as defined by Jithamithra and Rajan, is impossible for any g ≥ 2. We then use the theory of Azumaya algebras to derive bounds on the maximum number of groups into which the basis matrices can be partitioned so that the matrices in different groups are mutually orthogonal-a key measure of fast decodability. We show that in general, this maximum number is of the order of only the 2-adic value of n. In the case where the matrices A i arise from a division algebra, which is most desirable for diversity, we show that the maximum number of groups is only 4. As a result, the decoding complexity for this case is no better than |S|⌈l/2⌉ for any rate l.