New space-time block codes from spectral norm

Current research proposes a natural environment for space-time codes and a new design criterion is obtained for space-time block codes in multi-antenna communication channels. The objective of this criterion is to minimize the pairwise error probability of the maximum likelihood decoder, endowed with the matrix spectral norm. The random matrix theory is used and an approximation function for the probability density function for the largest eigenvalue of a Wishart Matrix is obtained.


Introduction
A consistent theory for communication systems was introduced by Shannon's [1] classical work, where it was proved that, for any communication channel with capacity C, the data transmission below C may be done efficiently by using an appropriate error-correcting code, or rather, there exists a code such that the error probability may become as small as required. The results of Shannon's work are valid for channels with only one transmitter antenna and only one receiver antenna, called Single Input and Single Output (SISO) channel. However, during the last decade, we have witnessed a huge demand expansion in telecommunications, and the available technologies will not be sufficient in the future. This is due to the growing need to develop reliable communication systems that allow high rates of data transmission and, consequently, to the study and development of new mathematical methods and structures that provide support for new technologies, mainly wireless communication systems.
Wireless transmissions may be impaired by a number of factors, such as great distances, objects between wireless devices, and other wireless networks, which restrict communication speed and reliability. Low capacities and high error rates of fading channels, plus the growing demand for wireless devices, motivated the development of several techniques to overcome these disadvantages. The works of Foschini-Gans [2] and Telatar [3] proved that the multipleinput and multiple-output (MIMO) communication systems attained capacity of data transmission greater than SISO systems. These results proved the superiority of MIMO systems and called the attention of researchers, originating several real applications. The foundations of space-time codes were established by Tarokh, Seshadri and Calderbank in [4] and space-time trellis codes (STTC) were introduced.
A special technique which explores spatial and time diversity of MIMO channels, called space-time block codes (STBC), was first studied by Alamouti [5], and instantly became a topic of great importance in digital communications. Tarokh, Jafarkhani and Calderbank extended Alamouti's results in [6]. These works triggered researches on criteria to design good spacetime codes for MIMO channels. After the publication of these works, the constant development of the space-time block code theory gave birth to new families of codes, that can be confronted using extensive information theory and construction parameters, such as the pairwise error probability (PEP), the code rate and the diversity order. Based on the above, several design criteria have been previously proposed to design space-time block codes for MIMO channels. The rank and determinant criterion [4] is a criterion for asymptotic SNR used to design full-rate and full-diversity STBCs. For low SNRs, the trace criterion [7], also called Euclidian-distance criterion, can be used to design STBC with low pairwise error probability.
The language of matrices to model the communication systems with multiple antennas, is the natural way [8]. Random matrices are particularly a powerful tool. The theory of random matrices emerged in the work of the mathematical statistician John Wishart in [9], but it gained great visibility in the 1950s with the contributions of the physical mathematician Eugene Paul Wigner, with publications [10], [11] and [12], on the spread of resonance of particles with heavy nucleicores in slow nuclear reactions. Further, the physical mathematician Freeman Dyson formalized the theory in [13], [14] and [15]. The theory of random matrices is used in several areas and problems, such as Riemann hypothesis, stochastic differential equations, statistic physics, chaotic systems, numerical linear algebra, neural networks, information theory, signal processing and in the study of the capacity of data transmission in MIMO channels. The deep mathematical results may be perceived in [16], [17], [18] and [19]. For applications, see [20] and [21]. The study of probability density and distribution functions of eigenvalues is one of the main problems in the random matrices theory. It was attacked by von Neumann, Birkhoff, Smale, Demmel and others. The pdf of the eigenvalues of a Wishart matrix was established in 1939, in [22]. Many researchers studied this issue, for instance, [23], [24], [25] and [26]. Estimations for the largest and smallest eigenvalues are given in [27], [28], [29] and [30]. More recently, [31] and [32] have been published. These results have many applications, and they were used to study the channel capacity of MIMO channels, for examples [21], [3], [33] and [34].
Current research proposes a new approach on STBC. We assume that the space-time block codes are elements of an appropriate normed space of matrices endowed with the spectral norm as the intrinsic norm of this space. From this norm, a new criterion for the design of STBC is proposed. The maximum likelihood decoder is endowed with this norm, and several results from the theory of Random Matrices are used to obtain this criterion. As far as we know, this is the first time that random matrix theory is used to obtain a design criterion for STBC. The usual criteria and models used, even in a very recent work such as [35], neither they assume a natural environment for the space-time block codes, nor do they use the spectral norm.
We may also remark that, since its origin, MIMO has seen deep technological advances. Initially, there was the Point-to-Point MIMO [2], [3], [36], and, subsequently, the more efficient Multi-User Mimo [37], [38], [39], [40]. The main drawback of these technologies is that they are not scalable. Current State-of-Art is the Massive MIMO [41], [42], [43], [44], [45], which is a scalable MIMO technology. There are several theoretical and practical questions about Massive MIMO. A new criterion which allows matrices that cannot be used by other criteria may be a useful tool in this new context. Further, the proposed criterion can be used in all SNR regimes.
The work is organized as follows. Section 2 describes the basis on MIMO and gives the usual design criteria to project STBC. Section 3 introduces the spectral norm and its main properties. We propose a natural environment where STBC inhabits. The maximum likelihood decoder is endowed with the spectral norm. Section 4 exposes the Random Matrices theory, with a focus on the cumulative distribution of eigenvalues of Wishart Matrices. In this section, we obtain an approximation function to the probability density function for the largest eigenvalue of a Wishart Matrix. This approximation will be used to provide a new design criterion to project STBC. In Section 5, we introduce the new criterion to design STBC, called Largest Eingenvalue Criterion, and we give a bound related to it. Section 6 presents a performance analysis between the proposed criterion and the known ones provided for several known STBC codes. We present new examples of codes and family of codes. In Section 7 we apply the new criterion for codes whose matrices are made from blocks.

System model and notations
This section fowards a short review of space-time block codes. For more details, see [46]. Matrices are represented by capital letters and vectors by bold lower cases.
Consider a constellation S � C. A space-time block code (STBC), or simply a code, is defined as a subset of matrices C 2 S n T �n S ¼ ffs ij g n T �n S : s ij 2 Sg, where the natural numbers n S and n T are the number of time slots and the number of transmit antennas, respectively. Each element of a STBC is called a word. Normally a STBC is represented with only one matrix . . .
where each entry s ij is a function of k symbols x 1 , . . ., x k codified by the block. In this representation, the entry s ij is transmitted by the antenna i at time j. The rate of a STBC is defined as R = k/n S . STBC is full-rate if R = 1. If we transmit a codeword C 2 C of a given STBC, at the receiver we will have the following matrix where E s is the average power by signal in each transmit antenna, and the entries of matrix N are complex additive white Gaussian noises with zero mean and variance N 0 /2 per real dimension. for some E 6 ¼ C. The pairwise error probability, denoted by P(C ! E) in this case, is the probability of transmitting C and incorrectly decoding E.
Giving two matrices C and C 0 , we define the matrix A(C, C 0 ) by A(C, C 0 ) = (C − C 0 )(C − C 0 ) � , where C � means the transpose conjugate of matrix C. Suppose that A(C, E) has rank r and non-null eigenvalues λ 1 , . . ., λ r . From [4], one has where, the coefficients β ij are related with the terms h ij of H. See [4, page 748]. One of the main results from [4] is a search criterion for STBC. It is currently known as Rank and Determinant Criterion. The expression in (1) is hard to manipulate. Using some approximations, it may be written in a simpler way and the error probability is given by Therefore, good STBC for wireless channels, when r � n R is small (� 4), must be searched to minimize (2). The criterion is given by: • maximizing the minimum rank r of A(C, C 0 ), on all pairs of distinct codewords; • maximizing the product Q r i¼1 l i of eigenvalues of A(C, C 0 ), between all pairs of distinct codewords.
Another important search criterion for STBC is also obtained from (1), when r � n R > 4, established in [7]. Supposing the space-time code operates with reasonable SNR, after some approximations, the authors deduce that In this case, when r � n R is large (� 4), the search of STBC must minimize (3). The limiting (3) shows that the error probability is dominated by codewords with minimum sum of eigenvalues of A(C, E), that is, trace(A(C, E)). Thus, the minimum sum of all eigenvalues of A(C, E) between all pairs of distinct codewords must be maximized. This criterion is called Trace Criterion and is given by: • the minimum rank r of A(C, C 0 ) over all pairs of distinct codewords so that r n R � 4; • maximizing the minimum trace P r i¼1 l i of A(C, C 0 ) between all pairs of distinct codewords with minimum rank.

The matrix space where space-time block codes live in
In connection with the two criteria given, it must be observed that most works on STBC deal with the search of new codes. In [4], [7] and other works, a vector and a matrix are seen as the same object, that is, a matrix is a representation of a vector in a space R n or C n . However, from a mathematical point of view, there exist deep analytical, algebraic and geometric differences when a codeword is seen as a vector c ¼ ðc 1 For the two criteria given, the two representations are used freely. The Frobenius norm is very useful, since the value kMk 2 F of a matrix M is the square of Euclidian norm of M, seen as a vector. If we consider a convenient matrix space as a natural environment in which spacetime codes, gaussian noise and fading matrices live in, and if this matrix space has enough rich analytic, algebraic and geometric structures, we will have powerful mathematical tools to manipulate the matrices. For instance, determinant, rank and trace, extensively used in spacetime codes and MIMO research, are all operators on matrix spaces. Definition 3.1 Let M ¼ Mðm; n; CÞ be the set of all m × n complex matrices. Under matrix addition and multiplication by complex numbers (scalars), M is a vector space. Together with matrix multiplication, it is a matrix algebra, that is, an associative algebra of matrices. The spectral norm on M is the function k.k 2 : M ! [0, 1), where, for a given A 2 M, one has kAk 2 ¼ ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi l max ðA � AÞ where λ max (A) and σ max (A) are respectively, the largest eigenvalue and the largest singular value of A. The spectral norm has the following fundamental properties for all matrices A and B in M and all scalar α: For a general approach on matrix norms and related results, see [47]. Space M, endowed with the spectral norm, is a Banach algebra. From property (iv), the following useful inequality is obtained, The equivalent definition can be proved We will also need the following relation between Frobenius and spectral norms.
where r � min{m, n} is the rank of A.
ii) If A is n × n, then jtraceðAÞj � nkAk 2 : Definition 3.2 is very generic. To obtain applicable STBC, subsets of M with good geometric and algebraic properties must be considered. Let C be a space-time block code. When a codeword C 2 C is sent, the received signal is As decoding rule, once R is received, our decoder will search the closest codeword E 2 C of R, that is, E, such that kR − Ek 2 is the minimum. Since kAk where, in the first inequality, we used Proposition 3.1(i).

Random matrices and main results
In last section we deduced that This implies that we need to find the pdf of the largest eigenvalue of NN � . To obtain this result, we have to use the theory of random matrices. Random matrices were introduced by Eugene Wigner to model the nuclei of heavy atoms. In his works, Wigner realized that the eigenvalues distribution of a matrix with random Gaussian entries coincided with the statistics of fluctuations of the levels of heavy atoms, experimentally obtained. Thus, the pdf of eigenvalues of Random Matrices became an important object.
The set of all random variables z = x + iy, where x and y are iid N(μ, σ 2 ), is denoted bỹ N ðm; s 2 Þ. The following matrix sets are fundamental to the following. Now, consideringGðm; nÞ, where the elements in the matrices areÑ ð0; s 2 Þ, one has the following result from [48].
Theorem 4.1 GivenM ¼ÃÃ � 2Wðm; nÞ, whereÃ 2Gðm; nÞ, suppose λ 1 � λ 2 � � � � � λ m−1 � λ m � 0 are the eigenvalues ofM. Then, the joint pdf of the eigenvalues ofM is Now, we want the pdf of the largest eigenvalue of a complex Wishart matrix. Results found in literature, for instance, in [49] and [50], are not easy to manipulate. Thus, an approximation to the pdf will be obtained. We begin with the following bound.
Theorem 4.2 IfM 2Wðm; nÞ, then f l max ðlÞ satisfies GðnÞGðmÞ Thus, , and this may be bounded above by and, substituting (6) in the limiting of f l max ðlÞ, one has Finally, using the expression ofK n;m in Eq (7), one has which concludes the proof. Now, with the bound above, we may build our approximation function. Since GðnÞGðmÞ normalizing the bound of Theorem 4.2, we define the function Then, g is a pdf on [0, 1). Using an algebraic computer program, f l max ðlÞ may be plotted for all cases of m and n. Comparing cases of g with f l max , for the same pair (m, n), it may be seen that a translation of g(λ) is a good approximation to f l max ðlÞ. Fig 1 provides an example. Thus, a constant d 1 = d 1 (m, n) must be found, such that the translation of g(λ), given by is an approximation to f l max ðlÞ. Fig 2 shows the graphs of f l max ðlÞ, g(λ) and ϕ(λ − 10.4) for Wð3; 13Þ. Table 1 shows the exact pdf f l max ðlÞ for some cases and the translations of g(λ) which fit better, such that ϕ(λ) is the best approximation. Data were obtained by trial and error to minimize the distance Z 1 0 j f l max ðtÞ À �ðtÞ j dt; between f l max ðlÞ and ϕ(λ). Table 1 also presents the maximum point of ϕ(t). For simplicity, in Tables 1 and 2, it is assumed that σ 2 = 1. Since ϕ(λ) is a translation of g(λ), they have the same maximum. It is not possible to find analytically the maximum point of f l max ðlÞ. However, the maximum point of g(λ) may be found. Given the maximum point of g(λ), we must determine the con- Using data from Table 2, an expression to d 1 (m, n) will be obtained by the least squares method. Plotting the data of Table 2, the function describing d 1 (m, n) may be seen as a plane and its equation is given by and μ i are the data of the third column of Table 2. Thus, we must find the constants a, b and c by minimizing: Then, we need to solve the equation rF(a, b, c) = 0, given by and the solution is given by fa; b; cg ¼ f2:53573 ; 0:574893 ; À 5:40273g: Therefore, the translation of g(λ) is Putting together the results, one has Theorem 4.3 An approximation to the pdf of the largest eigenvalue of a Wishart matrix N n R �l N � l�n R , with variance σ 2 = N 0 /2, is the given by the pdf In what follows in the text, we are considering Remark 1. Table 3 shows values of d 1 (m, n), which may be compared with those in Tables 1 and 2. We have

A new criterion to search STBC
Up to the present, the use of random matrices to obtain a search criterion of STBC for MIMO channels is unknown in the literature. Results in this section will establish one. From Section 3, we need to calculate Since Pða � l max ðNN � ÞÞ ¼ where d 1 = d 1 (n R , l) is given by (9). Therefore, we proved the following: Up to now we are supposing that H is known, that is, the statistics of H are known. Now, we want to calculate the mean in H, that is, where p(H) is a pdf of the matrix H. Theorem 5.1 shows that the term kH(E − C)k 2 is our main concern, since we need more information on the term G l þ n r À 1; Define   The elements of H n R �n T are Gaussian random complex variables with mean zero and variance 1/2. From Theorem 4.3, the pdf of the largest eigenvalue of H n R �n T H � n T �n R is given by where d 2 = d 2 (n R , n T ) = 2.53573n R + 0.574893n T − 5.402373. Prior to proving one of our main results, we need the following proposition. Proposition 5. 1 We have that the result follows. Now, we have one of the most important result.

Theorem 5.2 In a MIMO communication channel, given that the codeword C was sent, if the decoder is endowed with the spectral norm, the error probability of received signal be decoded by the codeword E, is
where (x) k represents the Pochhammer symbol, defined by ( (12) and (13), the probability PðC ! EÞ ¼ R Dom cðtÞ PðC ! E j HÞcðtÞdt, is given by Since G l þ n R À 1; E s ctÀ ð1þ ffi ffi ffi ffi one has

!)
; and the result follows.
Theorem 5.2 presents an approximation for the error probability of the sent codeword C wrongly decoded by E, in a transmission on a MIMO channel with a quasi-static coherent flat Rayleigh fading, where the maximum likelihood decoder is endowed with spectral norm. Thus, to obtain STBC with small error probability, we need to find codes which minimize the expression in Theorem 5.2. For fixed E s , n T , n R , l and N 0 , (14) is a decreasing function of c. In short.
(Largest Eigenvalue Criterion) To design a space-time block code in a MIMO communication channel with slow Rayleigh fading, we need to determine a finite family of matrices C � M, such that minfkA À Bk 2 : A; B 2 C and A 6 ¼ Bg ð17Þ is as large as possible.
Using the largest eigenvalue criterion, we obtain an upper bound for the pairwise error probability (PEP). Suppose a codeword C was sent and incorrectly decoded as E 6 ¼ C. In this case, if the SNR is finite, the PEP is bounded by [51] PðC ! EÞ � ½1 þ g d traceðDD � Þ� À n R ; where Δ = C − E, g d ¼ 1 4s 2 is a constant value proportional to SNR, and σ 2 is the noise variance. Since traceðDD � Þ ¼ kDk 2 F , from Proposition 3.1, we have If μ is the minimum given in (17), we obtain the following upper bound for the PEP of any codewords X 6 ¼ E We will refer to (18) as spectral bound.

Performance analysis, comparisons and examples
Let PF be the error probability bound giving in (2) In each case, the variable c is a fundamental parameter to choose good STBC for the criterion given. Figs 4 and 5 show that, if we choose a code C where c E is greater or approximately equal to c F and c T , we will have a very low error probability, and, for the largest eigenvalue criterion, we have much more freedom to choose C.
iii) On the other hand, Figs 6 and 7 shows, from top to botton, the curves for PF, PE and PT, respectively, in function of E s for a fixed c. The parameters are n T = n R = l = r = 2, N 0 = 1 and c = 5 in Fig 6. In Fig 7, we have the same parameters, where c = 10.

Examples of STBC
Now we will consider several examples of STBC and their pairwise error probabilities will be calculated. Example 1. The Alamouti SBTC A for BPSK {−1, 1} constellation is given by Let us consider also the SBTC A1 given by and PEð2 ffi ffi ffi 2 p Þ � 0:0005. We also have Fig 8, we show the PEP for each case, with N 0 = 1.
Now, for A1 one has c T ¼ max B;B 0 2A1 kB À B 0 k 2 ¼ 4 and PE(4) � 0.00002. On the other hand, c T ¼ max B;B 0 2A1 traceðB À BÞ ¼ 2 and c F ¼ max B;B 0 2A1 detðB À B 0 Þ ¼ 4, thus, PF(4) � 0.0016. Therefore, for the Alamouti code A, one has similar performances. However, for STBC A1 the performance of spectral case is better than the Rank-Determinant case. Values are shown in Table 4. In Fig 9, we show the PEP for each case. Since this SBTC does not have full diversity, it would not be used by the two classical criteria. Assuming spectral norm, it can be used. We have that max A; and PEð2 ffi ffi ffi 2 p Þ � 0:0005. Fig 10 shows the PEP for the two cases, for N 0 = 1. We see that, for a SNR > 10, the PEP for the spectral case is much lower than the rank and determinant case.
Example 3. Jafarkhani proved that we have an orthogonal STBC only for two, four and eight antennas. Let C be the orthogonal STBC for four antennas, where n T = n R = l = 4, considering the BPSK {−1, 1} constellation. The 16 matrices of C are in the form With regard to this code, we have Fig 11 compares the three cases, in which we have a fast decrease of PEP for PE and PT.

Example 4.
In [52], Jafarkhani introduced the Quasi-orthogonal STBC. In the case of four antennas, we have the code C, where n T = n R = l = 4, considering the BPSK {−1, 1} constellation. The 16 matrices of C are in the form With regard to this code, we have Fig 12 compares the three cases, in which we have a fast decrease of PEP for PE and PT. In Example 3, we have the same values to c F and c T , and a similar value to c E , albeit now we have a better PEP to PE.
The largest eigenvalue criterion may be used to choose a STBC from a given set of matrices, which usually would not be chosen by the other criteria. We can see this in the next examples. In this set, we have 12 matrices, where the columns of each one of them is a orthogonal set of vectors. Even though we have neither an orthogonal STBC, nor a full diversity code, the set has several important properties, since it has similar mathematical properties to the Alamouti code of Example 1. It can be used for three antennas, with n T = n R = l = 3, considering the largest eingenvalue criterion. Fig 13 shows PEP for the three cases, where, for this code, we have , where x 2 R and z 2 C. We can prove that for any codeword X of C, kXk 2 ¼ ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi ffi . For convenient choices of the constellation, we may consider finite families of matrices where, for the differences Δ = X − E, kΔk 2 will be as large as desired.
On the other hand, since trace(Δ) = 0, then C cannot be used as a STBC, according to trace criterion. For instance, in C, let z = a + ib. For x, a, b 2 {−1, 1} we have eight rank 2 matrices giving a BPSK code. Fig 14 shows PEP for the two cases. For this code, [53] studies space-time group codes. An important example is the following.
Then C ¼ DG is called the Quaternion STBC, and satisfies the Rank and Determinant Criterion. One has c F ¼ max A;A 0 2C jdetðA À A 0 Þj ¼ 8 and c E ¼ max A;A 0 2C kA À A 0 k 2 ¼ 2:828427. Fig  15 shows PEP for each case.
for all C 1 6 ¼ C 2 2 C 1 , but the Rank and Determinant Criterion is not satisfied.

Example 8. Let
C ¼ : This matrix appears in the study of representations of Clifford algebras. If we consider the BPSK {−1, 1} constellation, we have a code for eight antennas, with 256 matrices and n T = n R = l = 8.
For this code we have With such parameters, we see that Fig 16 compares the three cases, where we have a fast decrease of PEP for PE and PT. Even for a really big value of c F , in this case, PE is better than the other two cases. We may also consider subsets of this code to obtain new codes.
Remark 2. In Figs 6 to 16, we see that, at high SNR, the proposed Largest Eingenvalue Criterion in better than the Rank-determinant Criterion, but it is overcome by the Trace Criterion in some cases. We recall that the Rank Criterion is obtained supposing a small SNR, see [46]. Thus, the comparisons at high SNR are theoretical. On the other hand, the proposed criterion

Codes from block matrices
There are several space-time block codes whose matrices are made of blocks of other matrices. In this section, we will supply some properties that will help us apply the Largest Eingenvalue Criterion for those codes.
Quasi-Orthogonal Space-Time Block Codes (QOSTBC) are a powerful family of codes used in Multiple-Input Multiple-Output (MIMO) communication systems, and they provide transmit diversity with higher code rates than the well-known orthogonal STBC (OSTBC), with a lower decoding complexity than non-orthogonal STBC. We have the BPSK case in Example 4 of last section.
We obtain results for several well-known quasi-orthogonal space-time block codes (QOSTBC) from [52] and [54]. In order to derive the main results, we need the following proposition related to the spectral norm and block matrices. Giving matrices Proof.
(a) Let kAk 2 2 ¼ l. Then, λ is the largest eingenvalue of A 1 = A � A. We have to show that λ is a singular value for both A 1 = A � A and A 2 = AA � . Let v 6 ¼ 0 be an eingenvector associated to λ. Thus, A � Av = λv. Applying A 1 on both sides, we have: which means that λ 2 is an eigenvalue for (A � A) � (A � A). Therefore, λ is a singular value for A 1 . The argument is similar for A 2 . The result then follows from the definition of the spectral norm.
(b) Suppose x and y are unit vectors with entries in C, and a, b � 0 are such that a 2 + b 2 = 1. The vector v ¼ ax by ! is also a unit vector. Since every unit vector v can be written in this form, it follows that which concludes the affirmation.
From (a), Using (b), it follows that concluding the proof.
(d) It follows directly from (c).
Using Proposition 7.1, we find an upper bound for the spectral norm of block matrices and then use the spectral criterion to get a bound for the PEP for STBCs. Let Δ = X − E, where X 6 ¼ E are codewords of a given code C. We write From (18) and Proposition 7.1, we have We can use this result to obtain an estimate of the spectral bound in (18), writing any code in the block form. It also can be used to derive results for STBCs, defined with block matrices. In the sequence, we will present some examples of how this is done for several well-known codes.
i) (QOSTBC for n T = 4) Consider the Alamouti block As we have seen in Example 4 of last section, the following STBC for n R = n T = k = 4 is due to Jafarkhani [52], with the following code: Note that C is a rate one Quasi-orthogonal STBC. This means the ML decoding may be done for groups of symbols independently. Using properties of the spectral norm, one can find an upper bound for pairwise error probability of C. Let A; E 2 C and let Δ = A − E. We have Supposing we have a real constellation (BPSK for instance), it follows that A = A � , and then, kDk 2 � maxfkD 12 k 2 ; kD 12 k 2 g þ maxfkD 34 k 2 ; kD 34 k 2 g ¼ kD 12 k 2 þ kD 34 k 2 : Thus, using the spectral bound for the PEP (19), PðX ! EÞ � ð1 þ g d jjDjj which is lower than PEP for the Alamouti code C pq , for example. ii) (QOSTBC for n T = 8) Another QOSTBC, whose codewords are block matrices, is also given by Jafarkhani [52]. Define the block The code in [52] is given by Similarly to what we did in the previous QOSTBC, we can compute the spectral norm of the difference Δ of the codewords X 6 ¼ E for a real constellation with ¼ maxfkD 1234 k 2 ; kD 1234 k 2 g þ maxfkD 5678 k 2 ; kD 5678 k 2 g ¼ kD 1234 k 2 þ kD 5678 k 2 : Each of the terms Δ abcd can be calculated using the norm of the codewords from the last example. We obtain kDk 2 � kD 12 k 2 þ kD 34 k 2 þ kD 56 k 2 þ kD 78 k 2 SNR in dB QOSTBC k=4,n t =4,n r =1,bpsk alamouti k=2,n t =2,n r =1,bpsk À n R which is lower than the PEP for the Alamouti code C pq , and the QOSTBC of the Example (i). Fig 17 compares the SER for the 4 × 4 QOSTBC presented in (i) and the Alamouti code, showing that the first possesses a lower error probability. In Fig 18, we compare the 8×8 QOSTBC of (ii), with the Alamouti code and the 4 × 4 QOSTBC of (i). In both cases, we assume BPSK modulation and, in both cases, we consider the spectral norm for the comparisons.

Conclusions
A natural environment where the space-time codes live in is proposed. A new design criterion for space-time block codes for multi-antenna communication systems on coherent Rayleigh fading channels is obtained. This criterion aims at minimizing the pairwise error probability SNR in dB QOSTBC k=4,n t =4,n r =1,bpsk alamouti k=2,n t =2,n r =1,bpsk New space-time block codes of the maximum likelihood decoder, endowed with the matrix spectral norm. The random matrix theory is used, and a very useful approximation function for the probability density function of the largest eigenvalue of a Wishart Matrix is given, and an approximation for the pairwise error probability function for the spectral case is obtained. The proposed criterion can be used to choose the best STBC in a given family of matrices. The choice is based on the pairwise error probability, serving as a tool to find new codes. Several known and new STBCs were also analyzed in terms of the largest eigenvalue criterion and comparisons were done with the classical criteria.