DOCSLIB.ORG

15-853:Algorithms in the Real World General Model Applications Block

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
15-853:Algorithms in the Real World General Model Applications Block General Model message (m) Errors introduced by the 15-853:Algorithms in the Real World noisy channel: coder • changed fields in the codeword (e.g. a Error Correcting Codes I codeword (c) flipped bit) – Overview noisy • missing fields in the channel codeword (e.g. a lost – Hamming Codes byte). Called erasures codeword’ (c’) –Linear Codes How the decoder deals decoder with errors. • error detection vs. • error correction message or error 15-853 Page1 15-853 Page3 Applications Block Codes • Storage: CDs, DVDs, “hard drives”, message (m) Each message and codeword • Wireless: Cell phones, wireless links (WiMax) is of fixed size coder ∑ • Satellite and Space: TV, Mars rover, … = codeword alphabet k =|m| n = |c| q = |∑| • Digital Television: DVD, MPEG2 layover codeword (c) C ⊆Σn (codewords) • High Speed Networks: 10Gbase-T noisy channel Δ(x,y) = number of positions s.t. x ≠ y Reed-Solomon codes are the most used in practice, codeword’ (c’) i i Δ ∈ ≠ but various graph-based codes have recently d = min{ (x,y) : x,y C, x y} become as important. decoder s = max{Δ(c,c’)} that the code Algorithms for decoding are quite sophisticated. can correct message or error Code described as: (n,k,d)q 15-853 Page4 15-853 Page5 1 Binary Codes Hypercube Interpretation Consider codewords as vertices on a hypercube. Today we will mostly be considering ∑ = {0,1} and 110 111 will sometimes use (n,k,d) as shorthand for (n,k,d) codeword 2 010 011 In binary Δ(x,y) is often called the Hamming d = 2 = min distance 100 distance 101 n = 3 = dimensionality 2n = 8 = number of nodes 000 001 The distance between nodes on the hypercube is the Hamming distance Δ. The minimum distance is d. 001 is equidistance from 000, 011 and 101. For s-bit error detection d ≥ s + 1 For s-bit error correction d ≥ 2s + 1 15-853 Page7 15-853 Page8 Error Detection with Parity Bit Error Correcting One Bit Messages A (k+1,k,2)2 systematic code How many bits do we need to correct a one bit error Encoding: on a one bit message? 110 111 m1m2…mk ⇒ m1m2…mkpk+1 10 11 010 011 where pk+1 = m1 ⊕ m2 ⊕ … ⊕ mk 100 d = 2 since the parity is always even (it takes two bit 101 changes to go from one codeword to another). 00 01 000 001 Detects one-bit error since this gives odd parity 2 bits 3 bits Cannot be used to correct 1-bit error since any 0 -> 00, 1-> 11 0 -> 000, 1-> 111 odd-parity word is equal distance Δ to k+1 valid (n=2,k=1,d=2) (n=3,k=1,d=3) codewords. Need d ≥ 3 to correct one error. Why? 15-853 Page9 15-853 Page10 2 Example of (6,3,3)2 systematic code Error Correcting Multibit Messages Definition: A Systematic code We will first discuss Hamming Codes message codeword is one in which the message Detect and correct 1-bit errors. 000 000000 appears in the codeword 001 001011 Codes are of form: (2r-1, 2r-1 – r, 3) for any r > 1 010 010101 e.g. (3,1,3), (7,4,3), (15,11,3), (31, 26, 3), … 011 011110 which correspond to 2, 3, 4, 5, … “parity bits” (i.e. n-k) 100 100110 101 101101 The high-level idea is to “localize” the error. 110 110011 Any specific ideas? 111 111000 15-853 Page11 15-853 Page12 Hamming Codes: Encoding Hamming Codes: Decoding Localizing error to top or bottom half 1xxx or 0xxx m15m14m13m12m11m10 m9 p8 m7 m6 m5 p4 m3 p2 p1 p0 m15m14m13m12m11m10 m9 p8 m7 m6 m5 m3 p0 p8 = m15 ⊕ m14 ⊕ m13 ⊕ m12 ⊕ m11 ⊕ m10 ⊕ m9 We don’t need p0, so we have a (15,11,?) code. Localizing error to x1xx or x0xx After transmission, we generate ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ m15m14m13m12m11m10 m9 p8 m7 m6 m5 p4 m3 m2 p0 b8 = p8 m15 m14 m13 m12 m11 m10 m9 b4 = p4 ⊕ m15 ⊕ m14 ⊕ m13 ⊕ m12 ⊕ m7 ⊕ m6 ⊕ m5 p4 = m15 ⊕ m14 ⊕ m13 ⊕ m12 ⊕ m7 ⊕ m6 ⊕ m5 b2 = p2 ⊕ m15 ⊕ m14 ⊕ m11 ⊕ m10 ⊕ m7 ⊕ m6 ⊕ m3 Localizing error to xx1x or xx0x b1 = p1 ⊕ m15 ⊕ m13 ⊕ m11 ⊕ m9 ⊕ m7 ⊕ m5 ⊕ m3 m15m14m13m12m11m10 m9 p8 m7 m6 m5 p4 m3 p2 p0 With no errors, these will all be zero ⊕ ⊕ ⊕ ⊕ ⊕ ⊕ p2 = m15 m14 m11 m10 m7 m6 m3 With one error b8b4b2b1 gives us the error location. Localizing error to xxx1 or xxx0 e.g. 0100 would tell us that p4 is wrong, and m15m14m13m12m11m10 m9 p8 m7 m6 m5 p4 m3 p2 p1 p0 1100 would tell us that m12 is wrong p1 = m15 ⊕ m13 ⊕ m11 ⊕ m9 ⊕ m7 ⊕ m5 ⊕ m3 15-853 Page13 15-853 Page14 3 Hamming Codes Lower bound on parity bits Can be generalized to any power of 2 How many nodes in hypercube do we need so that d = 3? r –n = 2– 1 (15 in the example) Each of the 2k codewords eliminates n neighbors plus – (n-k) = r (4 in the example) itself, i.e. n+1 – d = 3 (discuss later) n k – Can correct one error, but can’t tell difference between 2 ≥ (n +1)2 one and two! n ≥ k + log2 (n +1) –Gives (2r-1, 2r-1-r, 3) code n ≥ k + log (n +1) Extended Hamming code ⎡⎤2 – Add back the parity bit at the end In previous hamming code 15 ≥ 11 + ⎡ log2(15+1) ⎤ = 15 r r –Gives (2, 2 -1-r, 4) code Hamming Codes are called perfect codes since they – Can correct one error and detect 2 match the lower bound exactly – (not so obvious) 15-853 Page15 15-853 Page16 Lower bound on parity bits Lower Bounds: a side note What about fixing 2 errors (i.e. d=5)? The lower bounds assume random placement of bit errors. Each of the 2k codewords eliminates itself, its ⎛n⎞ ⎛n⎞ In practice errors are likely to be less than random, e.g. neighbors and its neighbors’ neighbors, giving: 1+ ⎜ ⎟ + ⎜ ⎟ ⎝1⎠ ⎝2⎠ evenly spaced or clustered: 2n ≥ (1+ n + n(n −1)/ 2)2k x x x x x x n ≥ k + log2 (1+ n + n(n −1)/ 2) x x x x x x ≥ k + 2log2 n −1 Can we do better if we assume regular errors? Generally to correct s errors: ⎛n⎞ ⎛n⎞ ⎛n⎞ We will come back to this later when we talk about ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ Reed-Solomon codes. In fact, this is the main n ≥ k + log2 (1+ ⎜ ⎟ + ⎜ ⎟ +L+ ⎜ ⎟) ⎝1⎠ ⎝2⎠ ⎝ s ⎠ reason why Reed-Solomon codes are used much more than Hamming-codes. 15-853 Page17 15-853 Page18 4 Linear Codes Linear Codes ∑ ∑n If is a field, then is a vector space Basis vectors for the (7,4,3)2 Hamming code: Definition: C is a linear code if it is a linear subspace m m m p m p p of ∑n of dimension k. 7 6 5 4 3 2 1 v1 = 1 0 0 1 0 1 1 v2 = 0 1 0 1 0 1 0 This means that there is a set of k basis vectors v = 0 0 1 1 0 0 1 n 3 vi ∈∑ (1 ≤ i ≤ k) that span the subspace. v4 = 0 0 0 0 1 1 1 i.e. every codeword can be written as: How can we see that d = 3? c = a1 v1 + … + ak vk ai ∈∑ The sum of two codewords is a codeword. 15-853 Page19 15-853 Page20 Generator and Parity Check Matrices Advantages of Linear Codes Generator Matrix: • Encoding is efficient (vector-matrix multiply) ∈∑k A k x n matrix G such that: C = {xG | x } • Error detection is efficient (vector-matrix multiply) Made from stacking the basis vectors • Syndrome (HyT) has error information : Parity Check Matrix •Gives qn-k sized table for decoding An (n – k) x n matrix H such that: C = {y ∈∑n | HyT = 0} Useful if n-k is small Codewords are the nullspace of H These always exist for linear codes 15-853 Page21 15-853 Page22 5 Example and “Standard Form” Relationship of G and H For the Hamming (7,4,3) code: If G is in standard form [Ik,A] T ⎡1 0 0 1 0 1 1⎤ then H = [A ,In-k] ⎢ ⎥ 0 1 0 1 0 1 0 G = ⎢ ⎥ ⎢0 0 1 1 0 0 1⎥ ⎢ ⎥ Example of (7,4,3) Hamming code: ⎣⎢0 0 0 0 1 1 1⎦⎥ By swapping columns 4 and 5 it is in the form Ik,A. A code with a matrix in this form is systematic, and G is in “standard form” transpose ⎡1 0 0 0 1 1 1⎤ ⎢ ⎥ ⎡1 0 0 0 1 1 1⎤ 0 1 0 0 1 1 0 ⎢ ⎥ ⎡1 1 1 0 1 0 0⎤ G = ⎢ ⎥ 0 1 0 0 1 1 0 ⎢ ⎥ ⎢0 0 1 0 1 0 1⎥ G = ⎢ ⎥ H = 1 1 0 1 0 1 0 ⎢ ⎥ ⎢0 0 1 0 1 0 1⎥ ⎢ ⎥ ⎣⎢0 0 0 1 0 1 1⎦⎥ ⎢ ⎥ ⎣⎢1 0 1 1 0 0 1⎦⎥ ⎣⎢0 0 0 1 0 1 1⎦⎥ 15-853 Page23 15-853 Page24 Proof that H is a Parity Check Matrix The d of linear codes Suppose that x is a message. Then Theorem: Linear codes have distance d if every set of (d-1) columns of H are linearly independent H(xG)T = H(GTxT) = (HGT)xT = (ATI +I AT)xT = (i.,e., sum to 0), but there is a set of d columns k n-k that are linearly dependent.
Load more

Recommended publications
  • A [49 16 6 ]-Linear Code As Product of the [7 4 2 ] Code Due to Aunu and the Hamming [7 4 3 ] Code
    General Letters in Mathematics, Vol. 4, No.3 , June 2018, pp.114 -119 Available online at http:// www.refaad.com https://doi.org/10.31559/glm2018.4.3.4 A [49 16 6 ]-Linear Code as Product Of The [7 4 2 ] Code Due to Aunu and the Hamming [7 4 3 ] Code CHUN, Pamson Bentse1, IBRAHIM Alhaji Aminu2, and MAGAMI, Mohe'd Sani3 1 Department Of Mathematics, Plateau State University Bokkos, Jos Nigeria [email protected] 2 Department Of Mathematics, Usmanu Danfodiyo University Sokoto, Sokoto Nigeria [email protected] 3 Department Of Mathematics, Usmanu Danfodiyo University Sokoto, Sokoto Nigeria [email protected] Abstract: The enumeration of the construction due to "Audu and Aminu"(AUNU) Permutation patterns, of a [ 7 4 2 ]- linear code which is an extended code of the [ 6 4 1 ] code and is in one-one correspondence with the known [ 7 4 3 ] - Hamming code has been reported by the Authors. The [ 7 4 2 ] linear code, so constructed was combined with the known Hamming [ 7 4 3 ] code using the ( u|u+v)-construction method to obtain a new hybrid and more practical single [14 8 3 ] error- correcting code. In this paper, we provide an improvement by obtaining a much more practical and applicable double error correcting code whose extended version is a triple error correcting code, by combining the same codes as in [1]. Our goal is achieved through using the product code construction approach with the aid of some proven theorems. Keywords: Cayley tables, AUNU Scheme, Hamming codes, Generator matrix,Tensor product 2010 MSC No: 97H60, 94A05 and 94B05 1.
    [Show full text]
  • Coding Theory: Linear Error-Correcting Codes Coding Theory Basic Definitions Error Detection and Correction Finite Fields Anna Dovzhik
    Coding Theory: Linear Error- Correcting Codes Anna Dovzhik Outline Coding Theory: Linear Error-Correcting Codes Coding Theory Basic Definitions Error Detection and Correction Finite Fields Anna Dovzhik Linear Codes Hamming Codes Finite Fields Revisited BCH Codes April 23, 2014 Reed-Solomon Codes Conclusion Coding Theory: Linear Error- Correcting 1 Coding Theory Codes Basic Definitions Anna Dovzhik Error Detection and Correction Outline Coding Theory 2 Finite Fields Basic Definitions Error Detection and Correction 3 Finite Fields Linear Codes Linear Codes Hamming Codes Hamming Codes Finite Fields Finite Fields Revisited Revisited BCH Codes BCH Codes Reed-Solomon Codes Reed-Solomon Codes Conclusion 4 Conclusion Definition A q-ary word w = w1w2w3 ::: wn is a vector where wi 2 A. Definition A q-ary block code is a set C over an alphabet A, where each element, or codeword, is a q-ary word of length n. Basic Definitions Coding Theory: Linear Error- Correcting Codes Anna Dovzhik Definition If A = a ; a ;:::; a , then A is a code alphabet of size q. Outline 1 2 q Coding Theory Basic Definitions Error Detection and Correction Finite Fields Linear Codes Hamming Codes Finite Fields Revisited BCH Codes Reed-Solomon Codes Conclusion Definition A q-ary block code is a set C over an alphabet A, where each element, or codeword, is a q-ary word of length n. Basic Definitions Coding Theory: Linear Error- Correcting Codes Anna Dovzhik Definition If A = a ; a ;:::; a , then A is a code alphabet of size q. Outline 1 2 q Coding Theory Basic Definitions Error Detection Definition and Correction Finite Fields A q-ary word w = w1w2w3 ::: wn is a vector where wi 2 A.
    [Show full text]
  • Mceliece Cryptosystem Based on Extended Golay Code
    McEliece Cryptosystem Based On Extended Golay Code Amandeep Singh Bhatia∗ and Ajay Kumar Department of Computer Science, Thapar university, India E-mail: ∗[email protected] (Dated: November 16, 2018) With increasing advancements in technology, it is expected that the emergence of a quantum computer will potentially break many of the public-key cryptosystems currently in use. It will negotiate the confidentiality and integrity of communications. In this regard, we have privacy protectors (i.e. Post-Quantum Cryptography), which resists attacks by quantum computers, deals with cryptosystems that run on conventional computers and are secure against attacks by quantum computers. The practice of code-based cryptography is a trade-off between security and efficiency. In this chapter, we have explored The most successful McEliece cryptosystem, based on extended Golay code [24, 12, 8]. We have examined the implications of using an extended Golay code in place of usual Goppa code in McEliece cryptosystem. Further, we have implemented a McEliece cryptosystem based on extended Golay code using MATLAB. The extended Golay code has lots of practical applications. The main advantage of using extended Golay code is that it has codeword of length 24, a minimum Hamming distance of 8 allows us to detect 7-bit errors while correcting for 3 or fewer errors simultaneously and can be transmitted at high data rate. I. INTRODUCTION Over the last three decades, public key cryptosystems (Diffie-Hellman key exchange, the RSA cryptosystem, digital signature algorithm (DSA), and Elliptic curve cryptosystems) has become a crucial component of cyber security. In this regard, security depends on the difficulty of a definite number of theoretic problems (integer factorization or the discrete log problem).
    [Show full text]
  • Coded Computing Via Binary Linear Codes: Designs and Performance Limits Mahdi Soleymani∗, Mohammad Vahid Jamali∗, and Hessam Mahdavifar, Member, IEEE
    1 Coded Computing via Binary Linear Codes: Designs and Performance Limits Mahdi Soleymani∗, Mohammad Vahid Jamali∗, and Hessam Mahdavifar, Member, IEEE Abstract—We consider the problem of coded distributed processing capabilities. A coded computing scheme aims to computing where a large linear computational job, such as a divide the job to k < n tasks and then to introduce n − k matrix multiplication, is divided into k smaller tasks, encoded redundant tasks using an (n; k) code, in order to alleviate the using an (n; k) linear code, and performed over n distributed nodes. The goal is to reduce the average execution time of effect of slower nodes, also referred to as stragglers. In such a the computational job. We provide a connection between the setup, it is often assumed that each node is assigned one task problem of characterizing the average execution time of a coded and hence, the total number of encoded tasks is n equal to the distributed computing system and the problem of analyzing the number of nodes. error probability of codes of length n used over erasure channels. Recently, there has been extensive research activities to Accordingly, we present closed-form expressions for the execution time using binary random linear codes and the best execution leverage coding schemes in order to boost the performance time any linear-coded distributed computing system can achieve. of distributed computing systems [6]–[18]. However, most It is also shown that there exist good binary linear codes that not of the work in the literature focus on the application of only attain (asymptotically) the best performance that any linear maximum distance separable (MDS) codes.
    [Show full text]
  • ERROR CORRECTING CODES Definition (Alphabet)
    ERROR CORRECTING CODES Definition (Alphabet) An alphabet is a finite set of symbols. Example: A simple example of an alphabet is the set A := fB; #; 17; P; $; 0; ug. Definition (Codeword) A codeword is a string of symbols in an alphabet. Example: In the alphabet A := fB; #; 17; P; $; 0; ug, some examples of codewords of length 4 are: P 17#u; 0B$#; uBuB; 0000: Definition (Code) A code is a set of codewords in an alphabet. Example: In the alphabet A := fB; #; 17; P; $; 0; ug, an example of a code is the set of 5 words: fP 17#u; 0B$#; uBuB; 0000;PP #$g: If all the codewords are known and recorded in some dictionary then it is possible to transmit messages (strings of codewords) to another entity over a noisy channel and detect and possibly correct errors. For example in the code C := fP 17#u; 0B$#; uBuB; 0000;PP #$g if the word 0B$# is sent and received as PB$#, then if we knew that only one error was made it can be determined that the letter P was an error which can be corrected by changing P to 0. Definition (Linear Code) A linear code is a code where the codewords form a finite abelian group under addition. Main Problem of Coding Theory: To construct an alphabet and a code in that alphabet so it is as easy as possible to detect and correct errors in transmissions of codewords. A key idea for solving this problem is the notion of Hamming distance. Definition (Hamming distance dH ) Let C be a code and let 0 0 0 0 w = w1w2 : : : wn; w = w1w2 : : : wn; 0 0 be two codewords in C where wi; wj are elements of the alphabet of C.
    [Show full text]
  • Improved List-Decodability of Random Linear Binary Codes
    Improved list-decodability of random linear binary codes∗ Ray Li† and Mary Wootters‡ November 26, 2020 Abstract There has been a great deal of work establishing that random linear codes are as list- decodable as uniformly random codes, in the sense that a random linear binary code of rate 1 H(p) ǫ is (p, O(1/ǫ))-list-decodable with high probability. In this work, we show that such codes− are− (p,H(p)/ǫ + 2)-list-decodable with high probability, for any p (0, 1/2) and ǫ > 0. In addition to improving the constant in known list-size bounds, our argument—which∈ is quite simple—works simultaneously for all values of p, while previous works obtaining L = O(1/ǫ) patched together different arguments to cover different parameter regimes. Our approach is to strengthen an existential argument of (Guruswami, H˚astad, Sudan and Zuckerman, IEEE Trans. IT, 2002) to hold with high probability. To complement our up- per bound for random linear codes, we also improve an argument of (Guruswami, Narayanan, IEEE Trans. IT, 2014) to obtain an essentially tight lower bound of 1/ǫ on the list size of uniformly random codes; this implies that random linear codes are in fact more list-decodable than uniformly random codes, in the sense that the list sizes are strictly smaller. To demonstrate the applicability of these techniques, we use them to (a) obtain more in- formation about the distribution of list sizes of random linear codes and (b) to prove a similar result for random linear rank-metric codes.
    [Show full text]
  • Coding Theory and Applications Solved Exercises and Problems Of
    Coding Theory and Applications Solved Exercises and Problems of Linear Codes Enes Pasalic University of Primorska Koper, 2013 Contents 1 Preface 3 2 Problems 4 2 1 Preface This is a collection of solved exercises and problems of linear codes for students who have a working knowledge of coding theory. Its aim is to achieve a balance among the computational skills, theory, and applications of cyclic codes, while keeping the level suitable for beginning students. The contents are arranged to permit enough flexibility to allow the presentation of a traditional introduction to the subject, or to allow a more applied course. Enes Pasalic [email protected] 3 2 Problems In these exercises we consider some basic concepts of coding theory, that is we introduce the redundancy in the information bits and consider the possible improvements in terms of improved error probability of correct decoding. 1. (Error probability): Consider a code of length six n = 6 defined as, (a1; a2; a3; a2 + a3; a1 + a3; a1 + a2) where ai 2 f0; 1g. Here a1; a2; a3 are information bits and the remaining bits are redundancy (parity) bits. Compute the probability that the decoder makes an incorrect decision if the bit error probability is p = 0:001. The decoder computes the following entities b1 + b3 + b4 = s1 b1 + b3 + b5 == s2 b1 + b2 + b6 = s3 where b = (b1; b2; : : : ; b6) is a received vector. We represent the error vector as e = (e1; e2; : : : ; e6) and clearly if a vector (a1; a2; a3; a2+ a3; a1 + a3; a1 + a2) was transmitted then b = a + e, where '+' denotes bitwise mod 2 addition.
    [Show full text]
  • Reed-Solomon Encoding and Decoding
    Bachelor's Thesis Degree Programme in Information Technology 2011 León van de Pavert REED-SOLOMON ENCODING AND DECODING A Visual Representation i Bachelor's Thesis | Abstract Turku University of Applied Sciences Degree Programme in Information Technology Spring 2011 | 37 pages Instructor: Hazem Al-Bermanei León van de Pavert REED-SOLOMON ENCODING AND DECODING The capacity of a binary channel is increased by adding extra bits to this data. This improves the quality of digital data. The process of adding redundant bits is known as channel encod- ing. In many situations, errors are not distributed at random but occur in bursts. For example, scratches, dust or fingerprints on a compact disc (CD) introduce errors on neighbouring data bits. Cross-interleaved Reed-Solomon codes (CIRC) are particularly well-suited for detection and correction of burst errors and erasures. Interleaving redistributes the data over many blocks of code. The double encoding has the first code declaring erasures. The second code corrects them. The purpose of this thesis is to present Reed-Solomon error correction codes in relation to burst errors. In particular, this thesis visualises the mechanism of cross-interleaving and its ability to allow for detection and correction of burst errors. KEYWORDS: Coding theory, Reed-Solomon code, burst errors, cross-interleaving, compact disc ii ACKNOWLEDGEMENTS It is a pleasure to thank those who supported me making this thesis possible. I am thankful to my supervisor, Hazem Al-Bermanei, whose intricate know- ledge of coding theory inspired me, and whose lectures, encouragement, and support enabled me to develop an understanding of this subject.
    [Show full text]
  • Decoding Algorithms of Reed-Solomon Code
    Master’s Thesis Computer Science Thesis no: MCS-2011-26 October 2011 Decoding algorithms of Reed-Solomon code Szymon Czynszak School of Computing Blekinge Institute of Technology SE – 371 79 Karlskrona Sweden This thesis is submitted to the School of Computing at Blekinge Institute o f Technology in partial fulfillment of the requirements for the degree of Master of Science in Computer Science. The thesis is equivalent to 20 weeks of full time studies. Contact Information: Author(s): Szymon Czynszak E-mail: [email protected] University advisor(s): Mr Janusz Biernat, prof. PWR, dr hab. in ż. Politechnika Wrocławska E-mail: [email protected] Mr Martin Boldt, dr Blekinge Institute of Technology E-mail: [email protected] Internet : www.bth.se/com School of Computing Phone : +46 455 38 50 00 Blekinge Institute of Technology Fax : +46 455 38 50 57 SE – 371 79 Karlskrona Sweden ii Abstract Reed-Solomon code is nowadays broadly used in many fields of data trans- mission. Using of error correction codes is divided into two main operations: information coding before sending information into communication channel and decoding received information at the other side. There are vast of decod- ing algorithms of Reed-Solomon codes, which have specific features. There is needed knowledge of features of algorithms to choose correct algorithm which satisfies requirements of system. There are evaluated cyclic decoding algo- rithm, Peterson-Gorenstein-Zierler algorithm, Berlekamp-Massey algorithm, Sugiyama algorithm with erasures and without erasures and Guruswami- Sudan algorithm. There was done implementation of algorithms in software and in hardware.
    [Show full text]
  • The Binary Golay Code and the Leech Lattice
    The binary Golay code and the Leech lattice Recall from previous talks: Def 1: (linear code) A code C over a field F is called linear if the code contains any linear combinations of its codewords A k-dimensional linear code of length n with minimal Hamming distance d is said to be an [n, k, d]-code. Why are linear codes interesting? ● Error-correcting codes have a wide range of applications in telecommunication. ● A field where transmissions are particularly important is space probes, due to a combination of a harsh environment and cost restrictions. ● Linear codes were used for space-probes because they allowed for just-in-time encoding, as memory was error-prone and heavy. Space-probe example The Hamming weight enumerator Def 2: (weight of a codeword) The weight w(u) of a codeword u is the number of its nonzero coordinates. Def 3: (Hamming weight enumerator) The Hamming weight enumerator of C is the polynomial: n n−i i W C (X ,Y )=∑ Ai X Y i=0 where Ai is the number of codeword of weight i. Example (Example 2.1, [8]) For the binary Hamming code of length 7 the weight enumerator is given by: 7 4 3 3 4 7 W H (X ,Y )= X +7 X Y +7 X Y +Y Dual and doubly even codes Def 4: (dual code) For a code C we define the dual code C˚ to be the linear code of codewords orthogonal to all of C. Def 5: (doubly even code) A binary code C is called doubly even if the weights of all its codewords are divisible by 4.
    [Show full text]
  • OPTIMIZING SIZES of CODES 1. Introduction to Coding Theory Error
    OPTIMIZING SIZES OF CODES LINDA MUMMY Abstract. This paper shows how to determine if codes are of optimal size. We discuss coding theory terms and techniques, including Hamming codes, perfect codes, cyclic codes, dual codes, and parity-check matrices. 1. Introduction to Coding Theory Error correcting codes and check digits were developed to counter the effects of static interference in transmissions. For example, consider the use of the most basic code. Let 0 stand for \no" and 1 stand for \yes." A mistake in one digit relaying this message can change the entire meaning. Therefore, this is a poor code. One option to increase the probability that the correct message is received is to send the message multiple times, like 000000 or 111111, hoping that enough instances of the correct message get through that the receiver is able to comprehend the original meaning. This, however, is an inefficient method of relaying data. While some might associate \coding theory" with cryptography and \secret codes," the two fields are very different. Coding theory deals with transmitting a codeword, say x, and ensuring that the receiver is able to determine the original message x even if there is some static or interference in transmission. Cryptogra- phy deals with methods to ensure that besides the sender and the receiver of the message, no one is able to encode or decode the message. We begin by discussing a real life example of the error checking codes (ISBN numbers) which appear on all books printed after 1964. We go on to discuss different types of codes and the mathematical theories behind their structures.
    [Show full text]
  • Linear Codes
    Coding Theory and Applications Linear Codes Enes Pasalic University of Primorska Koper, 2013 2 Contents 1 Preface 5 2 Shannon theory and coding 7 3 Coding theory 31 4 Decoding of linear codes and MacWilliams identity 53 5 Coding theory - Constructing New Codes 77 6 Coding theory - Bounds on Codes 107 7 Reed-Muller codes 123 8 Fast decoding of RM codes and higher order RM codes 141 3 4 CONTENTS Chapter 1 Preface This book has been written as lecture notes for students who need a grasp of the basic principles of linear codes. The scope and level of the lecture notes are considered suitable for under- graduate students of Mathematical Sciences at the Faculty of Mathematics, Natural Sciences and Information Technologies at the University of Primorska. It is not possible to cover here in detail every aspect of linear codes, but I hope to provide the reader with an insight into the essence of the linear codes. Enes Pasalic [email protected] 5 6 CHAPTER 1. PREFACE Chapter 2 Shannon theory and coding Contents of the chapter: Mariners • Course description • Decoding problem • Hamming distance • Error correction • Shannon • 7 Mariners Course description Decoding problem Hamming distance Error correction Shannon Coding theory - introduction Coding theory is fun (to certain extent :) Can we live without error correction codes? – Probably not !! What would you miss : You would not be able to listen CD-s, retrieve correct data from your hard disk, would not be able to have a quality communication over telephone etc. Communication, storage errors, authenticity of ISBN numbers and much more is protected by means of error-correcting codes.
    [Show full text]