on the exact lower bounds of encoding circuit sizes of
play

On the Exact Lower Bounds of Encoding Circuit Sizes of Hamming codes - PowerPoint PPT Presentation

On the Exact Lower Bounds of Encoding Circuit Sizes of Hamming codes and Hadamard codes Zhengrui Li, Sian-Jheng Lin and Yunghsiang S. Han presented by Zhengrui Li ISIT2020 Lets consider a simple problem: How many additions (XORs) are


  1. On the Exact Lower Bounds of Encoding Circuit Sizes of Hamming codes and Hadamard codes Zhengrui Li, Sian-Jheng Lin and Yunghsiang S. Han presented by Zhengrui Li ISIT2020

  2. Let’s consider a simple problem: How many additions (XORs) are required when calculating x 0 +x 1 +x 2 Clearly require at least 2 XORs x 0 x 1 x 2 2

  3. Let’s consider a simple problem: How many additions are required when calculating x 0 +x 1 +x 2 x 0 +x 1 +x 3 x 0 +x 2 +x 3 x 1 +x 2 +x 3 Does this calculation x 0 +x 1 require at least 6 XORs? x 0 x 1 x 2 x 3 3

  4. Let’s consider a simple problem: …… these kind of calculations is the encoding process of punctured Hadamard codes and the corresponding matrices are the generator matrices of punctured Hadamard codes. 4

  5. Outline • Introduction ✴ Motivations ✴ Logical circuits ✴ Hadamard codes & Hamming codes • The Lower Bounds of Encoding Circuits Sizes of Hadamard Codes and Hamming Codes • The Encoding Algorithms which Achieve these Lower Bounds • Conclusions & Future Works

  6. Introduction *Motivations • It is difficult to explore the lower bound of the encoding complexities of most linear block codes. • There are a few asymptotically good linear codes with linear encoders, such as expander codes. For the linear codes with linear encoders, the constant factors hidden in big-O complexity are unknown. Furthermore, the exact lower bound (the number of arithmetic operations) is much harder to obtain. • In this paper, we show the exact lower bound of the encoding of Hamming codes and Hadamard codes, which are the most fundamental codes in coding theory. 6

  7. Introduction *Logical circuits • Logical circuit can be represented as a directed graph in which all nodes are with in-degree 0 or 2. x 0 +x 1 +x 2 Gates have in- Circuit size = degree 2 number of gates = 2 Input nodes have in- degree 0 x 0 x 1 x 2 7

  8. Introduction *Hadamard codes • Example: The generator matrix of (7,3) Hadamard codes consists of all non-zero vectors 8

  9. Introduction *Punctured Hadamard codes • Example: The generator matrix of (8,4) punctured Hadamard codes consists of all columns with odd weight 9

  10. Introduction *Hamming codes • The (extended) Hamming codes and (punctured) Hadamard codes are dual codes. Example: (7,4) Hamming codes and (7,3) Hadamard codes. 10

  11. Outline • Introduction ✴ Motivations ✴ Logical circuits ✴ Hadamard codes & Hamming codes • The Lower Bounds of Encoding Circuits Sizes of Hadamard Codes and Hamming Codes • The Encoding Algorithms which Achieve these Lower Bounds • Conclusions & Future Works

  12. The Lower Bounds of Encoding Circuits Sizes • Example of encoding circuits: (4,3) punctured Hadamard codes x 0 +x 1 +x 2 Output node Parity bit x 0 +x 1 Hidden node Intermedia result Input nodes Message bits x 0 x 1 x 2 Observation: All output nodes are gates which implies the encoding circuit size is the number of parity bits plus the number of the hidden nodes. 12

  13. *Hadamard codes • Theorem 1. A (2 k -1, k) Hadamard code requires at least 2 k -k-1 XORs in encoding process based on the generator matrix. 13

  14. *Punctured Hadamard codes • Lemma 1. There is at least 1 hidden node in any encoding circuit of punctured Hadamard codes. x 0 +x 1 even weight all odd weight 14

  15. *Punctured Hadamard codes • Lemma 2. If there is an encoding circuit of (2 k , k+1) punctured Hadamard codes with m hidden nodes, then there is an encoding circuit of (2 k-1 , k) punctured Hadamard codes with at most m-1 hidden nodes. 15

  16. *Punctured Hadamard codes � The idea of the proof of Lemma 2. x 0 +x 1 +x 2 x 0 +x 1 +x 3 x 0 +x 2 +x 3 x 1 +x 2 +x 3 x 0 +x 1 +x 2 x 0 +x 1 +x 2 x 0 +x 2 +x 2 x 1 +x 2 +x 2 x 2 +x 3 x 2 +x 2 x 0 x 1 x 2 x 3 x 0 x 1 x 2 x 2 (4,3) punctured Hadamard codes (8,4) punctured Hadamard codes Let x 3 = x 2 16

  17. *Punctured Hadamard codes • Lemma 3. The number of hidden nodes in any encoding circuit of (2 k , k+1) punctured Hadamard codes is at least k-1 . • Theorem 2. A (2 k , k+1) punctured Hadamard code requires at least 2 k -2 XORs in encoding process based on generator matrix. ✴ We also devise encoding algorithms achieving the lower bounds in Theorems 1 and 2. 17

  18. *(Extended) Hamming codes • Theorem 3. (Transposition principle): Given an i-by- j matrix M without zero rows or columns, let a(M) denote the minimum number of operations to compute the product v i M with a vector v i of length i . Then there exists an algorithm to compute v j M T in a(M) + j − i arithmetic operations. 18

  19. *(Extended) Hamming codes *The property of dual code • Hadamard codes • Hamming codes • Generator matrix • Generator matrix G=[I A] G’=[I’ A T ] • Encoding: xA • Encoding: x’A T • The least XORs • The least XORs required in xA required in x’A T By contradiction (Theorem 1) (Theorem 3) 19

  20. *(Extended) Hamming codes • Theorem 4. A (2 k -1, 2 k -k-1) Hamming code requires at least 2 k+1 − 3k − 2 XORs in encoding process based on the generator matrix. • Theorem 5. A (2 k , 2 k -k-1) extended Hamming codes requires at least 2 k+1 − 2k − 4 XORs in encoding process based on the generator matrix. 20

  21. Outline • Introduction ✴ Motivations ✴ Logical circuits ✴ Hadamard codes & Hamming codes • The Lower Bounds of Encoding Circuits Sizes of Hadamard Codes and Hamming Codes • The Encoding Algorithms which Achieve these Lower Bounds • Conclusions & Future Works

  22. The encoding algorithms of Hamming codes • Example: (7,4) Hamming codes Given message vectors [ m 0 … m 3 ], let x=[ 0 0 0 m 0 0 m 1 m 2 m 3 ]. p=[(0) 3 (1) 3 … (7) 3 ]x T = x 0 (0) 3 +…+ x 7 (7) 3 . 22

  23. The encoding algorithms of Hamming codes [ p 1 p 2 p 3 ] T =( x 0 + x 4 )(0) 3 +( x 1 + x 5 )(1) 3 +… +( x 3 + x 7 )(3) 3 +( x 4 + x 5 + x 6 + x 7 )[1 0 0] T , Further, we establish (a) [ p 2 p 3 ] T =( x 0 + x 4 )(0) 2 +…+( x 3 + x 7 )(3) 2 (b) p 1 = x 4 + x 5 + x 6 + x 7 23

  24. The encoding algorithms of Hamming codes • Thus, [ p 2 p 3 ] T can be obtained recursively by applying the same approach on p. This circuit requires 5 XORs which achieves the lower bound in Theorem 4 The graph of this recursive approach 24

  25. The encoding algorithms of Hamming codes • Here is the encoding circuit of extended Hamming codes This circuit requires 6 XORs which achieves the lower bound in Theorem 5 25

  26. Conclusions & Future Works • The lower bounds of the encoding circuit sizes of (punctured) Hadamard codes and (extended) Hamming codes are presented. • The encoding algorithms which achieving these lower bounds are proposed to show these lower bounds are tight. ✴ A possible future work is to find the exact lower bounds on the encoding circuit size of other more complex linear error correcting codes. 26

  27. Thanks! —Zhengrui Li

Recommend


More recommend