10. on Extending Bch Codes
Total Page:16
File Type:pdf, Size:1020Kb
University of Plymouth PEARL https://pearl.plymouth.ac.uk 04 University of Plymouth Research Theses 01 Research Theses Main Collection 2011 Algebraic Codes For Error Correction In Digital Communication Systems Jibril, Mubarak http://hdl.handle.net/10026.1/1188 University of Plymouth All content in PEARL is protected by copyright law. Author manuscripts are made available in accordance with publisher policies. Please cite only the published version using the details provided on the item record or document. In the absence of an open licence (e.g. Creative Commons), permissions for further reuse of content should be sought from the publisher or author. Copyright Statement This copy of the thesis has been supplied on the condition that anyone who consults it is understood to recognise that its copyright rests with its author and that no quotation from the thesis and information derived from it may be published without the author’s prior consent. Copyright © Mubarak Jibril, December 2011 Algebraic Codes For Error Correction In Digital Communication Systems by Mubarak Jibril A thesis submitted to the University of Plymouth in partial fulfilment for the degree of Doctor of Philosophy School of Computing and Mathematics Faculty of Technology Under the supervision of Dr. M. Z. Ahmed, Prof. M. Tomlinson and Dr. C. Tjhai December 2011 ABSTRACT Algebraic Codes For Error Correction In Digital Communication Systems Mubarak Jibril C. Shannon presented theoretical conditions under which communication was pos- sible error-free in the presence of noise. Subsequently the notion of using error correcting codes to mitigate the effects of noise in digital transmission was intro- duced by R. Hamming. Algebraic codes, codes described using powerful tools from algebra took to the fore early on in the search for good error correcting codes. Many classes of algebraic codes now exist and are known to have the best properties of any known classes of codes. An error correcting code can be described by three of its most important properties length, dimension and minimum distance. Given codes with the same length and dimension, one with the largest minimum distance will provide better error correction. As a result the research focuses on finding improved codes with better minimum distances than any known codes. Algebraic geometry codes are obtained from curves. They are a culmination of years of research into algebraic codes and generalise most known algebraic codes. Addi- tionally they have exceptional distance properties as their lengths become arbitrar- ily large. Algebraic geometry codes are studied in great detail with special attention given to their construction and decoding. The practical performance of these codes is evaluated and compared with previously known codes in different communica- tion channels. Furthermore many new codes that have better minimum distance to the best known codes with the same length and dimension are presented from a generalised construction of algebraic geometry codes. Goppa codes are also an important class of algebraic codes. A construction of binary extended Goppa codes is generalised to codes with nonbinary alphabets and as a result many new codes are found. This construction is shown as an efficient way to extend another well known class of algebraic codes, BCH codes. A generic method of shortening codes whilst increasing the minimum distance is generalised. An analysis of this method reveals a close relationship with methods of extending codes. Some new codes from Goppa codes are found by exploiting this relationship. Finally an extension method for BCH codes is presented and this method is shown be as good as a well known method of extension in certain cases. i CONTENTS List of figures V List of tables VIII I Introduction, Definitions and Preliminaries 1 1 Introduction and Motivation 3 1.1 Shannon’s Contributions and Implications ................ 4 1.2 History and Development of Coding Theory ................ 5 1.2.1 1948–1970 ................................ 5 1.2.2 1970-1990 ................................ 6 1.2.3 1990– .................................. 7 1.3 Research Scope ................................. 8 1.4 Major Contributions of the Thesis ...................... 8 1.5 Publication List ................................. 9 1.6 Thesis Organisation .............................. 10 2 Linear Codes Over Finite Fields 13 2.1 Finite Fields ................................... 13 2.1.1 Subfields and Conjugacy Classes .................. 14 2.2 Linear Codes .................................. 16 2.2.1 Properties of Linear Codes ...................... 18 2.3 Generic Code Constructions ......................... 19 2.3.1 Modifying The Length ........................ 19 2.3.2 Modifying The Dimension ...................... 20 2.3.3 Subfield Constructions ........................ 21 2.3.4 Code Concatenation .......................... 24 2.4 Channel Models ................................ 25 2.5 Computing Minimum Distances ....................... 26 2.5.1 Probabilistic Method of Finding Minimum Distance Using Era- sures ................................... 28 2.6 Summary .................................... 30 I II Algebraic Codes For Error Correction 33 3 RS, BCH and Goppa Codes 35 3.1 Introduction ................................... 35 3.2 Reed Solomon Codes .............................. 38 3.3 BCH Codes ................................... 39 3.4 Goppa Codes .................................. 41 3.5 Summary .................................... 43 4 Algebraic Geometry Codes 45 4.1 Introduction ................................... 45 4.2 Bounds Relevant to Algebraic Geometry Codes .............. 45 4.3 Motivation for Studying AG Codes ..................... 46 4.4 Curves and Planes ............................... 49 4.5 Important Theorems and Concepts ..................... 51 4.6 Construction of AG Codes ........................... 55 4.6.1 Affine Hermitian and Reed Solomon Codes ............ 56 4.7 Summary .................................... 59 5 Decoding Algebraic Codes 61 5.1 Introduction ................................... 61 5.2 Bounded Distance Decoding ......................... 61 5.2.1 Berlekamp Massey Sakata Algorithm ............... 62 5.3 Maximum Likehood Erasure Decoding ................... 74 5.4 Ordered Reliability Decoding ......................... 75 5.5 Performance of Algebraic Geometry Codes ................. 80 5.5.1 Encoding ................................ 80 5.5.2 AWGN Channel with Hard Decision Decoding .......... 81 5.5.3 Erasure Channel ............................ 83 5.5.4 AWGN channel with Soft Decision Decoding ........... 84 5.6 Summary .................................... 85 III Search For New Codes 87 6 Introduction 89 6.1 Maximising the Minimum Distance ..................... 89 6.2 Tables of Best Known Codes ......................... 90 6.3 Methodology and Approach .......................... 91 7 Improved Codes From Generalised AG Codes 95 7.1 Introduction ................................... 95 7.2 Concept of Places of Higher Degree ..................... 96 II 7.3 Generalised Construction I .......................... 97 7.3.1 Results .................................. 100 7.4 Generalised Construction II ......................... 102 7.5 Summary .................................... 103 8 Improved Codes From Goppa Codes 105 8.1 Introduction ................................... 105 8.2 Goppa Codes .................................. 105 8.2.1 Modified Goppa Codes ........................ 107 8.3 Code Construction ............................... 108 8.4 CP As Extended BCH Codes ......................... 109 8.4.1 Example ................................. 111 8.5 Nested Structure From Codes CP ...................... 112 8.6 Results ...................................... 115 8.6.1 New Codes From CP .......................... 115 8.6.2 New Codes From CR .......................... 116 8.7 Further Extensions of the Codes CP ..................... 116 8.8 Summary .................................... 118 9 A Special Case of Shortening Linear Codes 123 9.1 Introduction ................................... 123 9.2 Background ................................... 123 9.3 Code Shortening and Extension ....................... 124 9.3.1 Code Shortening ............................ 125 9.3.2 Code Extension ............................. 126 9.4 Goppa Codes .................................. 129 9.5 Alternative Method .............................. 131 9.6 Summary .................................... 132 IV More On Algebraic Codes 133 10 On Extending BCH Codes 135 10.1 The Method ................................... 135 10.2 BCH Codes ................................... 136 10.3 Single Extension ................................ 138 10.4 Construction .................................. 139 10.5 Observations .................................. 150 10.6 Summary .................................... 153 11 Improved Codes From Goppa Codes II 155 11.1 Introduction ................................... 155 11.2 Goppa Codes .................................. 155 III 11.3 Construction .................................. 156 11.3.1 Preliminary: Cauchy and Vandermonde Matrices ........ 156 11.3.2 Construction of Extended Length Goppa Codes ......... 160 11.3.3 Codes with Better Dimensions ................... 162 11.3.4 An Example ............................... 165 11.3.5 Adding One More Column ...................... 169 11.4 Nested Structure and Construction X ................... 172 11.5 Summary .................................... 173