Full diversity blind space-time block codes

IEEE Transactions on Information Theory

Volumn 57, Issue 9, 2011, Pages 6109-6133

  Zhang, Jian Kang ^a   Huang, Fei ^b   Ma, Shuang ^c  

^a MCMASTER UNIVERSITY   (Canada)

^b NANJING UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^c UNIVERSITY OF JINAN   (China)

Author keywords

Blind space time block codes; blind unique identification; full diversity; maximum likelihood (ML) and GLRT receivers; multi input multi output (MIMO) flat fading channel; phase shift keying (PSK) constellation

Indexed keywords

BLIND UNIQUE IDENTIFICATION; FULL DIVERSITY; MULTI-INPUT MULTI-OUTPUT; PHASE SHIFT KEYING (PSK) CONSTELLATION; SPACE-TIME BLOCK CODE;

COMMUNICATION SYSTEMS; DESIGN; FADING CHANNELS; GAUSSIAN NOISE (ELECTRONIC); GLOBAL SYSTEM FOR MOBILE COMMUNICATIONS; INFORMATION THEORY; MAXIMUM LIKELIHOOD; MIMO SYSTEMS; MODULATION; PHASE SHIFT; PHASE SHIFT KEYING; SPACE TIME ADAPTIVE PROCESSING; SPACE-TIME BLOCK CODING (STBC); WIRELESS TELECOMMUNICATION SYSTEMS;

BLOCK CODES;

EID: 80052365307     PISSN: 00189448     EISSN: None     Source Type: Journal    
DOI: 10.1109/TIT.2011.2161918     Document Type: Article

References (111)

1. I. Teletar, Capacity of Multi-Antenna Gaussian Channels, AT&T Bell Labs, Tech. Rep., Jun. 1995.
2. G. J. Foschini and M. J. Gans, "On limits of wireless communications in fading environments when using multiple antennae", Wireless Personal Commun., vol. 6, 311-335, Mar. 1998.
3. T. Marzetta and B. Hochwald, "Capacity of a mobile multiple-antenna communication link in Rayleigh flat-fading", IEEE Trans. Inf. Theory, vol. 45, no. 1, 139-157, Jan. 1999.
4. L. Zheng and D. N. C. Tse, "Communication on the Grassmann manifold: A geometric approach to the noncoherent multiple-antenna channel", IEEE Trans. Inf. Theory, vol. 48, no. 2, 359-383, Feb. 2002.
5. V. Tarokh, N. Seshadri, and A. R. Calderbank, "Space-time codes for high date rate wireless communication: Performance criterion and code construction", IEEE Trans. Inf. Theory, vol. 44, no. 3, 744-765, Mar. 1998.
6. M. Brehler and M. K. Varanasi, "Asymptotic error probability analysis of quadratic receiver in Rayleigh-fading channels with applications to a unified analysis of coherent and noncoherent space-time receivers", IEEE Trans. Inf. Theory, vol. 47, no. 9, 2383-2399, Sep. 2001.
7. B. Hassibi and B. M. Hochwald, "High-rate codes that are linear in space and time", IEEE Trans. Inf. Theory, vol. 48, no. 7, 1804-1824, Jul. 2002.
8. R. W. Heath and A. J. Paulraj, "Linear dispersion codes for MIMO systems based on frame theory", IEEE Trans. Signal Process., vol. 50, no. 10, 2429-2441, Oct. 2002.
9. H. E. Gamal and M. O. Damen, "Universal space-time coding", IEEE Trans. Inf. Theory, vol. 49, no. 5, 1097-1119, May 2003.
10. X. Ma and G. B. Giannakis, "Full-diversity full rate complex-field space-time coding", IEEE Trans. Signal Process., vol. 51, no. 11, 2917-2930, Nov. 2003.
11. B. A. Sethuraman, B. S. Rajan, and V. Shashidhar, "Full-diversity, high rate space-time block codes from division algebras", IEEE Trans. Inf. Theory, vol. 49, no. 10, 2596-2616, Oct. 2003.
12. J.-K. Zhang, J. Liu, and K. M. Wong, "Trace-orthonormal full diversity cyclotomic space-time codes", IEEE Trans. Signal Process., vol. 55, no. 2, 618-630, Feb. 2007.
13. H. Yao and G. W. Wornell, "Achieving the full MIMO diversity-vsmultiplexing frontier with rotation-based space-time codes", presented at the 41st Annu. Allerton Conf. on Comm. Control, and Comput, Monticello, IL, Oct. 2003.
14. P. Dayal and M. K. Varanasi, "An optimal two transmit antenna spacetime code and its stacked extensions", IEEE Trans. Inf. Theory, vol. 51, no. 12, 4348-4355, Dec. 2005.
15. J. C. Belfiore and G. Rekaya, "Quaternionic lattices for space-time coding", presented at the IEEE ITW2003, Paris, France, Mar. 2003.
16. J. C. Belfiore, G. R. Rekaya, and E. Viterbo, "The Golden code: A 2×2 full rate space-time code with nonvanishing determinants", IEEE Trans. Inf. Theory, vol. 51, no. 4, 1432-1436, Apr. 2005.
17. G. Rekaya, J. C. Belfiore, and E. Viterbo, "Algebraic 3 × 3, 4 × 4 and 6×6 space-time codes with non-vanishing determiants", presented at the ISITA, Parma, Italy, Oct. 2004.
18. G. Wang and X.-G. Xia, "On optimal multi-layer cyclotomic space-time code designs", IEEE Trans. Inf. Theory, vol. 51, no. 3, 1102-1135, Mar. 2005.
19. G.-Y. Wang, J.-K. Zhang, M. Amin, and K. M. Wong, "Space-time code design with non-vanishing determinants based on cyclic field extension families", IEEE Trans. Inf. Theory, to be published.
20. J.-K. Zhang, G.-Y. Wang, and K. M. Wong, "Optimal norm form integer space-time codes for two antenna MIMO systems", presented at the Int. Conf. Acoust., Speech, Signal Process., Philadelphia, PA, Mar. 2005.
21. G.-Y. Wang, J.-K. Zhang, Y. Zhang, and K. M. Wong, "Space-time code designs with non-vanishing determinants based on cyclic field extension families", presented at the Int. Conf. Acoust., Speech, Signal Process., Philadelphia, PA, Mar. 2005.
22. T. Kiran and B. S. Rajan, "STBC-schemes with nonvanishing determinant for certain number of transmit antennas", IEEE Trans. Inf. Theory, vol. 51, no. 8, 2984-2992, Aug. 2005.
23. F. E. Oggier, G. Rekaya, J.-C. Belfiore, and E. Viterbo, "Perfect space-time block codes", IEEE Trans. Inf. Theory, vol. 52, no. 9, 3885-3902, Sep. 2006.
24. P. Elia, K. R. Kumar, S. A. Pawar, P. V. Kumar, and H.-F. Lu, "Explicit space-time codes achieving the diversity-multiplexing gain tradeoff", IEEE Trans. Inf. Theory, vol. 52, no. 9, 3869-3884, Sep. 2006.
25. H. Liao and X.-G. Xia, "Some designs of full rate space time codes with nonvanishing determinant", IEEE Trans. Inf. Theory, vol. 53, no. 8, 2898-2908, Aug. 2007.
26. J. Liu, J.-K. Zhang, and K. M. Wong, "Full diversity codes for MISO systems equipped with linear or ML detectors", IEEE Trans. Inf. Theory, vol. 54, no. 10, 4511-4527, Oct. 2008.
27. Y. Shang and X.-G. Xia, "Space-time block codes achieving full diversity with linear receivers", IEEE Trans. Inf. Theory, vol. 54, no. 10, 4528-4547, Oct. 2008.
28. L. Zheng and D. N. C. Tse, "Diversity and multiplexing: A fundamental tradeoff in multiple-antenna channels", IEEE Trans. Inf. Theory, vol. 49, no. 5, 1073-1096, May 2003.
29. U. Erez and R. Zamir, "Achieving 1/2log (1 + SNR) on the AWGN channel with lattice encoding and decoding", IEEE Trans. Inf. Theory, vol. 50, no. 10, 2293-2314, Oct. 2004.
30. M. Damen, G. Caire, and H. E. Gamal, "Lattice coding and decoding achieve the optimal diversity-Multiplexing tradeoff of MIMO channels", IEEE Trans. Inf. Theory, vol. 50, no. 6, 968-985, Jun. 2004.
31. J.-K. Zhang, J. Liu, and K. M. Wong, "Toeplitz space-time block codes", presented at the IEEE Int. Symp. Information Theory, Adelaide, Australia, Sep. 2005.
32. C. Yuen, Y. L. Guan, and T. T. Tjhuang, "Quasi-orthogonal STBC with minimum decoding complexity", IEEE Trans. Wireless Commun., vol. 4, no. 9, 2089-2094, Sep. 2005.
33. S. Karmakar and B. S. Rajan, "Multi-group quasi-orthogonal STBCs from clifford algebras", in Proc. IEEE Information Theory Workshop, Chengdu, China, Oct. 2006, pp. 448-452.
34. D. N. Dao, C. Yuen, C. Tellambura, Y. L. Guan, and T. T. Tjhung, "Four-group decodable space-time block codes", IEEE Trans. Signal Process., vol. 56, no. 1, 424-430, Jan. 2008.
35. G. S. Rajan and B. S. Rajan, "Multigroup ML decodable collocated and distributed space-time block codes", IEEE Trans. Inf. Theory, vol. 56, no. 7, 3221-3247, Jul. 2010.
36. S. Sezginer and H. Sari, "A full-rate full-diversity 2×2 space-time code for mobil WiMAX systems", presented at the IEEE 6th Int. Conf. Signal Processing and Communications, Dubai, Nov. 2007.
37. J. Paredes, A. B. Gershman, and M. G. Alkhansari, "A new full-rate full-diversity space-time block code with non-vanishing determinants and simplified maximum liklihood decoding", IEEE Trans. Signal Process., vol. 56, no. 6, 2461-2469, Jun. 2008.
38. E. Biglieri, Y. Yong, and E. Viterbo, "On fast-decodable space-time block codes", IEEE Trans. Inf. Theory, vol. 55, no. 2, 524-530, Feb. 2009.
39. T. L. Marzetta, "BLAST training: Estimation channel characteristics for high-capacity space-time wireless", presented at the 37th Annu. Allerton. Conf. Communications, Control, and Computing, Sep. 22-24, 1999.
40. B. Hassibi and B. M. Hochwald, "How much training is needed in multiple-antenna wireless links?", IEEE Trans. Inf. Theory, vol. 49, no. 4, 951-963, Apr. 2003.
41. B. M. Hochwald and T. L. Marzetta, "Unitary space-time modulation for multiple-antenna communications in Rayleigh flat fading", IEEE Trans. Inf. Theory, vol. 46, no. 3, 543-564, Mar. 2000.
42. B. Hughes, "Differential space-time modulation", IEEE Trans. Inf. Theory, vol. 46, no. 11, 2567-2578, Nov. 2000.
43. B. M. Hochwald and W. Sweldens, "Differential unitary space-time modulation", IEEE Trans. Commun., vol. 48, no. 12, 2041-2052, Dec. 2000.
44. V. Tarokh and H. Jafarkhani, "A differential detection scheme for transmit diversity", IEEE J. Sel. Areas Commun., vol. 18, no. 7, 1169-1174, Jul. 2000.
45. A. Shokrollahi, B. Hassibi, B. M. Hochwald, and W. Sweldens, "Representation theory for high-rate multiple-antenna code design", IEEE Trans. Inf. Theory, vol. 47, no. 9, 2335-2367, Sep. 2001.
46. B. Hassibi and B. M. Hochwald, "Cayley differential unitary spacetime codes", IEEE Trans. Inf. Theory, vol. 48, no. 6, 1485-1503, Jun. 2002.
47. B. M. Hochwald, T. L. Marzetta, T. J. Richardson, W. Sweldens, and R. Urbanke, "Systematic design of unitary space-time constellations", IEEE Trans. Inf. Theory, vol. 46, no. 6, 1962-1973, Jun. 2000.
48. T. L. Marzetta, B. Hassibi, and B. M. Hochwald, "Structured unitary space-time autocoding constellations", IEEE Trans. Inf. Theory, vol. 48, no. 4, 942-950, Apr. 2002.
49. G. Ganesan and P. Stoica, "Differential modulation using space-time block codes", IEEE Signal Process. Lett., vol. 9, no. 2, 57-59, Feb. 2002.
50. Y. Jing and B. Hassibi, "Unitary space-time modulation via Cayley transformation", IEEE Trans. Signal Process., vol. 51, no. 11, 2891-2904, Nov. 2003.
51. X.-B. Liang and X.-G. Xia, "Fast differential unitary space-time demodulation via square orthogonal designs", IEEE Trans. Wireless Commun., vol. 4, no. 7, 1331-1336, Jul. 2005.
52. V. Tarokh and I.-M. Kim, "Existence and construction of noncoherent unitary space-time codes", IEEE Trans. Inf. Theory, vol. 48, no. 12, 3112-3117, Dec. 2002.
53. M. M. McCloud, M. Brehler, and M. K. Varanasi, "Signal design and convolutional coding for noncoherent space-time communication on the block-Rayleigh-fading channel", IEEE Trans. Inf. Theory, vol. 48, no. 5, 1186-1194, May 2002.
54. D. Warrier and U. Madhow, "Spectrally efficient noncoherent communication", IEEE Trans. Inf. Theory, vol. 48, no. 3, 651-668, Mar. 2002.
55. W. Zhao, G. Leus, and G. Giannakis, "Orthogonal design of unitary constellations for uncoded and trellis coded non-coherent space-time systems", IEEE Trans. Inf. Theory, vol. 50, no. 6, 1319-1327, Jun. 2004.
56. I. Kammoun and J. C. Belfiore, "A new family of Grassmann spacetime codes for non-coherent MIMO systems", IEEE Commun. Lett., vol. 7, no. 11, 528-530, Nov. 2003.
57. M. J. Borran, A. Sabharwal, and B. Aazhang, "On design criteria and construction of non-coherent space-time constellations", IEEE Trans. Inf. Theory, vol. 49, no. 10, 2332-2351, Oct. 2003.
58. P. Dayal, M. Brehler, and M. K. Varanasi, "Leveraging coherent spacetime codes for noncoherent communication via training", IEEE Trans. Inf. Theory, vol. 50, no. 9, 2058-2080, Sep. 2004.
59. F. E. Oggier, N. J. A. Sloane, S. N. Diggavi, and A. R. Calderbank, "Nonintersecting subspaces based on finite alphabets", IEEE Trans. Inf. Theory, vol. 51, no. 12, 4320-4325, Dec. 2005.
60. H. El. Gamal, D. Aktas, and M. O. Damen, "Noncoherent space-time coding: An algebraic perspective", IEEE Trans. Inf. Theory, vol. 51, no. 7, 2380-2390, Jul. 2005.
61. D. Agrawal, T. J. Richardson, and R. L. Urbanke, "Multiple-antenna signal constellations for fading channels", IEEE Trans. Inf. Theory, vol. 47, no. 9, 2618-2626, Sep. 2001.
62. R. H. Gohary and T. N. Davidson, "Non-coherent MIMO communication: Grassmannian constellation and efficient detection", in Proc. IEEE Int. Symp. Information Theory, Chicago, IL, Jun. 2004, p. 65.
63. A. O. Hero and T. L. Marzetta, "Cutoff rate and signal design for the quasi-static Rayleigh-fading space-time channel", IEEE Trans. Inf. Theory, vol. 47, no. 9, 2400-2416, Sep. 2001.
64. S. G. Srinivasan and M. K. Varanasi, "Constellation design for the noncoherent MIMO Rayleigh fading channel atgeneral SNR", IEEE Trans. Inf. Theory, vol. 53, no. 4, 1572-1584, Apr. 2007.
65. L. Tong, G. Xu, and T. Kailath, "Blind identification and eqalization based on second-order statistics: A time domain appoach", IEEE Trans. Inf. Theory, vol. 40, no. 3, 340-349, Mar. 1994.
66. A. J. van der Veen, S. Talwar, and A. Paulraj, "A subspace approach to blind space-time signal processing for wireless communication systems", IEEE Trans. Signal Process., vol. 45, no. 1, 173-190, Jan. 1997.
67. G. B. Giannakis and S. D. Halford, "Blind fractionally spaced equalization of noisy FIR channel: Direct and adaptive solutions", IEEE Trans. Signal Process., vol. 45, no. 9, 2277-2292, Sep. 1997.
68. C. B. Papadias and D. T. M. Slock, "Fractionally spaced equalization of linear polyphase channels and related blind techniques based on multichannel linear prediction", IEEE Trans. Signal Process., vol. 47, no. 3, 641-654, Mar. 1997.
69. L. Tong and S. Perreau, "Multichannel blind identification: From subspace to maximum likelihood methods", Proc. IEEE, vol. 86, no. 10, 1951-1968, Oct. 1998.
70. K.-S. Lii and M. Rosenblatt, "Deconvolution and estimation of transfer function phase and coefficients for non-Gaussian linear processes", Ann. Statist., vol. 10, pp. 1195-1208, 1982.
71. J. M. Mendel, "Tutorial on higher-order statistics (spectra) in signal processing and systems theory: Theoretical results and some applications", Proc. IEEE, vol. 79, no. 3, 278-305, Mar. 1991.
72. Z. Ding, "Application Aspects of Blind Adaptive Equalizers in QAM Data Communications", Ph. D. dissertation, Cornell Univ., Ithaca, NY, 1990.
73. S. Talwar, M. Viberg, and A. Paulraj, "Blind estimation of multiple co-channel digital signals using an antenna array", IEEE Signal Process. Lett., vol. 1, no. 2, 29-31, Feb. 1994.
74. S. Talwar, M. Viberg, and A. Paulraj, "Blind separation synchronous co-channel digital signals using an antenna array-space-Part I: Algorithms", IEEE Trans. Signal Process., vol. 44, no. 5, 1184-1197, May 1996.
75. A. J. van der Veen and A. Paulraj, "An analytical constant modulus algorithm", IEEE Trans. Signal Process., vol. 44, no. 5, 1136-1155, May 1996.
76. S. Talwar, M. Viberg, and A. Paulraj, "Blind separation synchronous co-channel digital signals using an antenna array-space-Part II: Performance analysis", IEEE Trans. Signal Process., vol. 45, no. 3, 706-718, Mar. 1997.
77. C. R. Johnson, P. Schniter, T. J. Endres, J. D. Behm, D. R. Brown, and R. A. Casas, "Blind equalization using the constant modulus criterion: A review", Proc. IEEE, vol. 86, no. 10, 1927-1950, Oct. 1998.
78. A. L. van der Veen, "Algebraic methods for deterministic blind beamforming", Proc. IEEE, vol. 86, no. 10, 1987-2008, Oct. 1998.
79. Z. Ding and Z.-Q. Luo, "A fast linear programming algorithm for blind equalization", IEEE Trans. Commun., vol. 48, no. 9, 1432-1436, Sep. 2000.
80. Z.-Q. Luo, M. Meng, K. M. Wong, and J.-K. Zhang, "A fractionally spaced blind equalizer based on linear programming", IEEE Trans. Signal Process., vol. 50, no. 7, 1650-1660, Jul. 2002.
81. C. Budianu and L. Tong, "Channel estimation for space-time orthogonal block codes", IEEE Trans. Signal Process., vol. 50, no. 10, 2515-2528, Oct. 2002.
82. A. L. Swindlehurst and G. Leus, "Blind and semi-blind equalization for generalized space-time block codes", IEEE Trans. Signal Process., vol. 50, no. 10, 2489-2498, Oct. 2002.
83. P. Stoica and G. Ganesan, "Space-time block codes: Trained, blind and semi-blind detection", Digital Signal Processing, vol. 13, 93-105, Jan. 2003.
84. E. G. Larsson, P. Stoica, and J. Li, "Space-time block codes: Maximum likelihood detection for unknown channels and unstructured interference", IEEE Trans. Signal Process., vol. 51, no. 2, 362-372, Feb. 2003.
85. S. Shahbazpanahi, A. B. Gershman, and J. H. Manton, "Closed-form blind MIMO channel estimation for orthogonal space-time block codes", IEEE Trans. Signal Process., vol. 53, no. 12, 4506-4517, Dec. 2005.
86. W.-K. Ma, B.-N. Vo, T. N. Davidson, and P. C. Ching, "Blind ML detection of orthogonal space-time block codes: Efficient, high-performance implementations", IEEE Trans. Signal Process., vol. 54, no. 2, 738-751, Feb. 2006.
87. E. Beres and R. Adve, "Blind channel estimation for orthogonal STBC in MISO systems", in Proc. GLOBECOM, 2004, pp. 2323-2328.
88. L. Zhou, J.-K. Zhang, and K. M. Wong, "Blind unique identification of Alamouti space-time coded channel via signal design and transmission technique", in Proc. 18th Int. Symp. Signal Processing and Its Applications, Aug. 2005, vol. 2, pp. 691-694.
89. J.-K. Zhang and K. M. Wong, "Some Results in Number Theory Applicable to Signal Processing", Dept. Elect. Comput. Eng., Tech. Rep. 001-06, May 2006 [Online]. Available: http://www.ece.mcmaster.ca/~jkzhang/
90. L. Zhou, J.-K. Zhang, and K. M. Wong, "A novel signaling scheme for blind unique identification of Alamouti space-time block coded channel", IEEE Trans. Signal Process., vol. 55, no. 6, 2570-2582, Jun. 2007.
91. T. Cai and C. Tellambura, "Efficient blind receiver design for orthogonal space-time block codes", IEEE Trans. Wireless Commun., vol. 6, no. 5, 1890-1899, May 2007.
92. J.-K. Zhang and W.-K. Ma, "Full diversity blind Alamouti space-time block codes for unique identification of flat fading channels", IEEE Trans. Signal Process., vol. 57, no. 2, 635-644, Feb. 2009.
93. S. M. Alamouti, "A simple transmit diversity scheme for wireless commincations", IEEE J. Sel. Areas Commun., vol. 16, no. 10, 1451-1458, Oct. 1998.
94. W.-K. Ma, "Blind ML detection of orthogonal space-time block codes: Identifiability and code construction", IEEE Trans. Signal Process., vol. 55, no. 7, 3312-3324, Jul. 2007.
95. L. J. Mordell, Diophantine Equations. New York: Academic, 1969.
96. D. A. Marcus, Number Fields. New York: Springer-Verlag, 1977.
97. L.-K. Hua, Introduction to Number Theory. New York: Springer-Verlag, 1982.
98. P. Morandi, Field and Galois Theory. New York: Springer, 1996.
99. J. G. Proakis, Digital Communications, 4th ed. New York: McGraw-Hill, 2000.
100. A. Lapidoth and P. Narayan, "Reliable communication under channel uncertainty", IEEE Trans. Inf. Theory, vol. 44, no. 10, 2148-2177, Oct. 1998.
101. F. Oggier and B. Hassibi, "Algebraic differential Cayley space-time codes", IEEE Trans. Inf. Theory, vol. 53, no. 5, 1911-1919, May 2007.
102. J. Boutros, E. Viterbo, C. Rastello, and J. C. Belfiore, "Good lattice constellations for both Rayleigh fading and Gaussian channels", IEEE Trans. Inf. Theory, vol. 42, no. 3, 502-518, Mar. 1996.
103. X. Giraud and J. C. Belfiore, "Algebraic tools build modulation schemes for fading channels", IEEE Trans. Inf. Theory, vol. 43, no. 5, 938-952, May 1997.
104. X. Giraud and J. C. Belfiore, "Constellations matched to the Rayleigh fading channel", IEEE Trans. Inf. Theory, vol. 42, no. 1, 106-115, Jan. 1996.
105. J. Boutros and E. Viterbo, "Signal space diversity: A power-and bandwidth-efficient diversity technique for the Rayleigh fading channel", IEEE Trans. Inf. Theory, vol. 44, no. 7, 1453-1467, Jul. 1998.
106. T. M. Apostol, Introduction to Analytic Number Theory. New York: Springer-Verlag, 1976.
107. M. O. Damen, H. El. Gamal, and N. C. Beaulieu, "Systematic construction of full diversity algebraic constellations", IEEE Trans. Inf. Theory, vol. 49, no. 12, 3344-3349, Dec. 2003.
108. n-lattice constellations for the Rayleigh fading channel", IEEETrans. Inf. Theory, vol. 50, no. 4, 702-714, Apr. 2004.
109. J. Liu, J.-K. Zhang, and K. M. Wong, "Design of optimal linear codes for MIMO systems with MMSE receiver", IEEE Trans. Signal Process., vol. 54, no. 8, 3147-3158, Aug. 2006.
110. G. Golub and C. F. V. Loan, Matrix Computations, 3rd ed. Baltimore, MD: The John Hopkins Univ. Press, 1996.
111. R. A. Horn and C. R. Johnson, Matrix Analysis. Cambridge, MA: Cambridge Univ. Press, 1985.