SlideShare a Scribd company logo
Chapter 11
Algebraic
Coding Theory
Single Error Detection
M = (1, 1, …, 1) is the m + 1 parity check matrix
for single error detection. If c = (0, 1, 0, …, 1) is
an n-bit codeword, then McT = 0 (use XOR for
addition). If c′ = c + e contains an error, then the
syndrome is:
Mc′T = M(c + e)T = McT + MeT = MeT = 1
This detects errors: 0 for none, 1 for an error.
1 1 1 1 1 1 1 1
0 0 0 0 1 1 1 1
0 0 1 1 0 0 1 1
0 1 0 1 0 1 0 1
M′ =
for double-error detection (optional)
the 3 x 7 parity check matrix for a
single-error correcting Hamming code
11.2
If c is a 7 bit code word, then McT = (0 0 0)T and Mc′T = MeT = the
syndrome for the error (e.g. try 0110011 → 0100011 on page 41). In
general, we can choose any parity check matrix for M, provided the
rows are linearly independent (otherwise the checks themselves are
redundant), and McT = 0. But, to correct a double-error, we must
have the property that the syndrome M(e1 + e2)T = Me1
T + Me2
T is
unique for every pair of columns (assuming e1 and e2 are single-error
vectors).
Single Error Correction / Double Error Detection
Polynomials
2[x] = {bnxn + … + b0 : n ≥ 0; bi = 0, 1; bn = 1}
Associate with each n-bit vector the corresponding polynomial, like
a generating function. Arithmetic operations (+, ×) apply to 2[x],
provided we do arithmetic on the coefficients in 2 (mod 2).
A polynomial P(x) is prime (or irreducible) if it cannot be factored
(over 2[x]) into lower-order polynomials. For example,
all are prime: x x + 1, x2 + x + 1, x3 + x + 1, x3 + x2 + 1
all composite: x2, x2 + 1, x2 + x, x3, x3 + 1, x3 + x2 + x + 1
Primitive roots are those that generate all non-zero elements.
degree coefficients leading
unless n = 0
11.5, 11.6, 11.7
Consider arithmetic in 2[x]/p(x) modulo an irreducible polynomial
p(x) of degree n. Since xn ≡ p(x) − xn mod p(x) there are no
polynomials of degree ≥ n. In fact, 2[x]/p(x) has 2n elements:
bn−1xn−1 + … + b0, which form a field, and hence there exists a
polynomial g(x) whose powers generate all the non-zero elements.
E.g. The powers of g(x) = x mod p(x) = x3 + x + 1 are:
1, x, x2, x + 1, x2 + x, x2 + x + 1, x2 + 1. Writing these as column
vectors of a matrix gives a rearranged Hamming code:
n = 3
2n = 8 = |2[x]/p(x)|
7 = 8 − 1 (# non-zero)
1 1 1 0 1 0 0 x2
0 1 1 1 0 1 0 x1
1 1 0 1 0 0 1 x0
x6 x5 x4 x3 x2 x1 x0
M =
11.8
Polynomial arithmetic
Polynomial Coding
Recall: Sent messages c should have McT = 0.
Fact: If c is a valid codeword, then c(x) ≡ 0 mod p(x).
Reason: McT = c(x) by definition of matrix
multiplication. And since the powers of x that make
up the columns of M are modulo p(x), McT = 0 
c(x) ≡ 0 mod p(x).
The syndrome of a received codeword c′ is Mc'T =
MeT, and similarly, the corresponding polynomial s(x)
has c'(x) − s(x) ≡ 0 mod p(x)  c'(x) ≡ s(x). If the ith
column matches, i.e. xi ≡ s(x), then that is the error
location, assuming e contains only one error.
Encode: Place message in columns 6, 5, 4, 3, and compute
b6x6 + b5x5 + b4x4 + b3x3 modulo p(x). Put remainder,
r(x) = b2x2 + b1x + b0, in the last columns.
b6 b5 b4 b3 b2 b1 b0
message checks
Decode: Divide received polynomial by p(x), and use the
remainder r(x) ≡ gi(x) to calculate syndrome i.
No error  i doesn’t exist, i.e. r(x) ≡ 0 mod p(x).
Example: 1 0 0 1  x6 + x3 + ?
/ /
1 0 0 1 1 1 0  x2 + 1 + x + 1 = x2 + x
11.8
Calculating the syndrome
McT = (x6x5 … x0)(c6c5 … c0)T = c6x6 + c5x5 +…+ c0x0
Example: If M is the Hamming matrix from
before (powers of x mod x3 + x + 1), and c =
0110110, then McT = x2 + x = s(x).
Strategy: divide s(x) by x repeatedly until we
reach the identity, x7 (Fermat’s little theorem).
Is there a less symbolically laborious way?
Shift registers
Encoding (MSB first)
1 0 0 0 → 1 1 0
1 0 0 → 0 1 1
1 0 → 1 0 0
1 → 0 1 0
1 0 1
1 1 1
1 1 0
0 1 1
Decoding (LSB
first)
x2 x1 x0 x-1
→
x2 + 1 =
x-1
Right shift = ÷
x
0 0 0 ← 1 0 0 1
0 0 1 ← 0 0 1
0 1 0 ← 0 1
1 0 0 ← 1
0 1 0
1 0 0
0 1 1
1 1 0
x3 x2 x1 x0
←
x3 = x +
1
left shift = ×
x
Add result to
message:
1001110
Introduce an error:
1000110 = x3 = x + 1
Find syndrome by
clocking and counting
until reaching 1.
Double error-correcting Code
Illustration: 15-bit Hamming code with 4 parity checks.
Verify that x4 + x + 1 is prime, and that x is primitive.
The resulting parity check matrix M1 is single error-
correcting, but x + x2 = x12 + x14 so double error-
correction is impossible.
Idea: pick another primitive generator x3 with matrix
M2. Let s1 = xi + xj = M1c′T be the first syndrome and
s2 = (x3)i + (x3)j = M2c′T be the second syndrome.
Then s2 = (xi)3 + (xj)3 = (xi + xj)((xi)2 + (xi)(xj) + (xj)2) =
s1[xixj + s1
2] So that xi + xj = s1 and xixj = s1
2 + s2/s1
11.11

More Related Content

What's hot

IITJEE -Mathematics 2011-i
IITJEE -Mathematics  2011-i IITJEE -Mathematics  2011-i
IITJEE -Mathematics 2011-i Vasista Vinuthan
 
IIT JEE - Mathematics 2009 i
IIT JEE  - Mathematics  2009  iIIT JEE  - Mathematics  2009  i
IIT JEE - Mathematics 2009 iVasista Vinuthan
 
Simplex algorithm
Simplex algorithmSimplex algorithm
Simplex algorithm
Khwaja Bilal Hassan
 
March 20th, 2014
March 20th, 2014March 20th, 2014
March 20th, 2014khyps13
 
Statistics Coursework Help
Statistics Coursework HelpStatistics Coursework Help
Statistics Coursework Help
Statistics Homework Solver
 
Factoring 15.3 and 15.4 Grouping and Trial and Error
Factoring 15.3 and 15.4 Grouping and Trial and ErrorFactoring 15.3 and 15.4 Grouping and Trial and Error
Factoring 15.3 and 15.4 Grouping and Trial and Error
swartzje
 
Polynomial functionsandgraphs
Polynomial functionsandgraphsPolynomial functionsandgraphs
Polynomial functionsandgraphsJerlyn Fernandez
 
7.2 Alg 2 exploring exponential models
7.2 Alg 2 exploring exponential models7.2 Alg 2 exploring exponential models
7.2 Alg 2 exploring exponential modelsswartzje
 
Review questions and answers
Review questions and answersReview questions and answers
Review questions and answers
IIUM
 
Introduction to Functions
Introduction to FunctionsIntroduction to Functions
Introduction to Functions
Melanie Loslo
 
Module 3 polynomial functions
Module 3   polynomial functionsModule 3   polynomial functions
Module 3 polynomial functions
dionesioable
 
Mid point line Algorithm - Computer Graphics
Mid point line Algorithm - Computer GraphicsMid point line Algorithm - Computer Graphics
Mid point line Algorithm - Computer Graphics
Drishti Bhalla
 
Lesson 7: Limits at Infinity
Lesson 7: Limits at InfinityLesson 7: Limits at Infinity
Lesson 7: Limits at InfinityMatthew Leingang
 

What's hot (19)

Calc 6.1a
Calc 6.1aCalc 6.1a
Calc 6.1a
 
IITJEE -Mathematics 2011-i
IITJEE -Mathematics  2011-i IITJEE -Mathematics  2011-i
IITJEE -Mathematics 2011-i
 
Lemh105
Lemh105Lemh105
Lemh105
 
IIT JEE - Mathematics 2009 i
IIT JEE  - Mathematics  2009  iIIT JEE  - Mathematics  2009  i
IIT JEE - Mathematics 2009 i
 
Simplex algorithm
Simplex algorithmSimplex algorithm
Simplex algorithm
 
March 20th, 2014
March 20th, 2014March 20th, 2014
March 20th, 2014
 
Statistics Coursework Help
Statistics Coursework HelpStatistics Coursework Help
Statistics Coursework Help
 
Factoring 15.3 and 15.4 Grouping and Trial and Error
Factoring 15.3 and 15.4 Grouping and Trial and ErrorFactoring 15.3 and 15.4 Grouping and Trial and Error
Factoring 15.3 and 15.4 Grouping and Trial and Error
 
Polynomial functionsandgraphs
Polynomial functionsandgraphsPolynomial functionsandgraphs
Polynomial functionsandgraphs
 
7.2 Alg 2 exploring exponential models
7.2 Alg 2 exploring exponential models7.2 Alg 2 exploring exponential models
7.2 Alg 2 exploring exponential models
 
Review questions and answers
Review questions and answersReview questions and answers
Review questions and answers
 
Introduction to Functions
Introduction to FunctionsIntroduction to Functions
Introduction to Functions
 
Module 3 polynomial functions
Module 3   polynomial functionsModule 3   polynomial functions
Module 3 polynomial functions
 
Mid point line Algorithm - Computer Graphics
Mid point line Algorithm - Computer GraphicsMid point line Algorithm - Computer Graphics
Mid point line Algorithm - Computer Graphics
 
Bazinga game
Bazinga gameBazinga game
Bazinga game
 
Dual simplexmethod
Dual simplexmethodDual simplexmethod
Dual simplexmethod
 
Lesson 7: Limits at Infinity
Lesson 7: Limits at InfinityLesson 7: Limits at Infinity
Lesson 7: Limits at Infinity
 
Lar calc10 ch03_sec7
Lar calc10 ch03_sec7Lar calc10 ch03_sec7
Lar calc10 ch03_sec7
 
Mth 4108-1 a
Mth 4108-1 aMth 4108-1 a
Mth 4108-1 a
 

Similar to Chapter 11

Statistical Method In Economics
Statistical Method In EconomicsStatistical Method In Economics
Statistical Method In Economics
Economics Homework Helper
 
Linear regression
Linear regressionLinear regression
Linear regression
Zoya Bylinskii
 
SAS Homework Help
SAS Homework HelpSAS Homework Help
SAS Homework Help
Statistics Homework Helper
 
Probabilistic systems assignment help
Probabilistic systems assignment helpProbabilistic systems assignment help
Probabilistic systems assignment help
Statistics Assignment Help
 
104newton solution
104newton solution104newton solution
104newton solution
VictorQuezada38
 
Machine learning (10)
Machine learning (10)Machine learning (10)
Machine learning (10)NYversity
 
Module ii sp
Module ii spModule ii sp
Module ii sp
Vijaya79
 
Interpolation techniques - Background and implementation
Interpolation techniques - Background and implementationInterpolation techniques - Background and implementation
Interpolation techniques - Background and implementation
Quasar Chunawala
 
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
The Statistical and Applied Mathematical Sciences Institute
 
stochastic processes assignment help
stochastic processes assignment helpstochastic processes assignment help
stochastic processes assignment help
Statistics Homework Helper
 
Ecuaciones lineales 1
Ecuaciones lineales 1Ecuaciones lineales 1
Ecuaciones lineales 1
AngieDamianMojica
 
Probabilistic systems exam help
Probabilistic systems exam helpProbabilistic systems exam help
Probabilistic systems exam help
Statistics Exam Help
 
Section5 stochastic
Section5 stochasticSection5 stochastic
Section5 stochastic
cairo university
 
Hamming codes
Hamming codesHamming codes
Hamming codes
GIGI JOSEPH
 
Fundamental theorem of algebra
Fundamental theorem of algebraFundamental theorem of algebra
Fundamental theorem of algebraRamón Zurita
 
Optimization tutorial
Optimization tutorialOptimization tutorial
Optimization tutorial
Northwestern University
 
Basic math including gradient
Basic math including gradientBasic math including gradient
Basic math including gradient
Ramesh Kesavan
 

Similar to Chapter 11 (20)

Statistical Method In Economics
Statistical Method In EconomicsStatistical Method In Economics
Statistical Method In Economics
 
Linear regression
Linear regressionLinear regression
Linear regression
 
SAS Homework Help
SAS Homework HelpSAS Homework Help
SAS Homework Help
 
Probabilistic systems assignment help
Probabilistic systems assignment helpProbabilistic systems assignment help
Probabilistic systems assignment help
 
104newton solution
104newton solution104newton solution
104newton solution
 
Machine learning (10)
Machine learning (10)Machine learning (10)
Machine learning (10)
 
Module ii sp
Module ii spModule ii sp
Module ii sp
 
Interpolation techniques - Background and implementation
Interpolation techniques - Background and implementationInterpolation techniques - Background and implementation
Interpolation techniques - Background and implementation
 
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
QMC: Operator Splitting Workshop, Stochastic Block-Coordinate Fixed Point Alg...
 
stochastic processes assignment help
stochastic processes assignment helpstochastic processes assignment help
stochastic processes assignment help
 
Ecuaciones lineales 1
Ecuaciones lineales 1Ecuaciones lineales 1
Ecuaciones lineales 1
 
Probabilistic systems exam help
Probabilistic systems exam helpProbabilistic systems exam help
Probabilistic systems exam help
 
Es272 ch2
Es272 ch2Es272 ch2
Es272 ch2
 
Section5 stochastic
Section5 stochasticSection5 stochastic
Section5 stochastic
 
Binomial
BinomialBinomial
Binomial
 
Hamming codes
Hamming codesHamming codes
Hamming codes
 
Fundamental theorem of algebra
Fundamental theorem of algebraFundamental theorem of algebra
Fundamental theorem of algebra
 
Optimization tutorial
Optimization tutorialOptimization tutorial
Optimization tutorial
 
Taylor problem
Taylor problemTaylor problem
Taylor problem
 
Basic math including gradient
Basic math including gradientBasic math including gradient
Basic math including gradient
 

Recently uploaded

1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
JosvitaDsouza2
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
Peter Windle
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
Pavel ( NSTU)
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
EduSkills OECD
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
Ashokrao Mane college of Pharmacy Peth-Vadgaon
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
Mohd Adib Abd Muin, Senior Lecturer at Universiti Utara Malaysia
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
GeoBlogs
 
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdfAdversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Po-Chuan Chen
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
MysoreMuleSoftMeetup
 
Additional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdfAdditional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdf
joachimlavalley1
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
Celine George
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
Balvir Singh
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
MIRIAMSALINAS13
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
EugeneSaldivar
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
vaibhavrinwa19
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
beazzy04
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Atul Kumar Singh
 
The Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdfThe Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdf
kaushalkr1407
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
Sandy Millin
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
Celine George
 

Recently uploaded (20)

1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
 
Embracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic ImperativeEmbracing GenAI - A Strategic Imperative
Embracing GenAI - A Strategic Imperative
 
Synthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptxSynthetic Fiber Construction in lab .pptx
Synthetic Fiber Construction in lab .pptx
 
Francesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptxFrancesca Gottschalk - How can education support child empowerment.pptx
Francesca Gottschalk - How can education support child empowerment.pptx
 
Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.Biological Screening of Herbal Drugs in detailed.
Biological Screening of Herbal Drugs in detailed.
 
Chapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptxChapter 3 - Islamic Banking Products and Services.pptx
Chapter 3 - Islamic Banking Products and Services.pptx
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
 
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdfAdversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
Adversarial Attention Modeling for Multi-dimensional Emotion Regression.pdf
 
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
Mule 4.6 & Java 17 Upgrade | MuleSoft Mysore Meetup #46
 
Additional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdfAdditional Benefits for Employee Website.pdf
Additional Benefits for Employee Website.pdf
 
How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17How to Make a Field invisible in Odoo 17
How to Make a Field invisible in Odoo 17
 
Operation Blue Star - Saka Neela Tara
Operation Blue Star   -  Saka Neela TaraOperation Blue Star   -  Saka Neela Tara
Operation Blue Star - Saka Neela Tara
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
 
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...TESDA TM1 REVIEWER  FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
TESDA TM1 REVIEWER FOR NATIONAL ASSESSMENT WRITTEN AND ORAL QUESTIONS WITH A...
 
Acetabularia Information For Class 9 .docx
Acetabularia Information For Class 9  .docxAcetabularia Information For Class 9  .docx
Acetabularia Information For Class 9 .docx
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
 
The Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdfThe Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdf
 
2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...2024.06.01 Introducing a competency framework for languag learning materials ...
2024.06.01 Introducing a competency framework for languag learning materials ...
 
Model Attribute Check Company Auto Property
Model Attribute  Check Company Auto PropertyModel Attribute  Check Company Auto Property
Model Attribute Check Company Auto Property
 

Chapter 11

  • 2. Single Error Detection M = (1, 1, …, 1) is the m + 1 parity check matrix for single error detection. If c = (0, 1, 0, …, 1) is an n-bit codeword, then McT = 0 (use XOR for addition). If c′ = c + e contains an error, then the syndrome is: Mc′T = M(c + e)T = McT + MeT = MeT = 1 This detects errors: 0 for none, 1 for an error.
  • 3. 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 M′ = for double-error detection (optional) the 3 x 7 parity check matrix for a single-error correcting Hamming code 11.2 If c is a 7 bit code word, then McT = (0 0 0)T and Mc′T = MeT = the syndrome for the error (e.g. try 0110011 → 0100011 on page 41). In general, we can choose any parity check matrix for M, provided the rows are linearly independent (otherwise the checks themselves are redundant), and McT = 0. But, to correct a double-error, we must have the property that the syndrome M(e1 + e2)T = Me1 T + Me2 T is unique for every pair of columns (assuming e1 and e2 are single-error vectors). Single Error Correction / Double Error Detection
  • 4. Polynomials 2[x] = {bnxn + … + b0 : n ≥ 0; bi = 0, 1; bn = 1} Associate with each n-bit vector the corresponding polynomial, like a generating function. Arithmetic operations (+, ×) apply to 2[x], provided we do arithmetic on the coefficients in 2 (mod 2). A polynomial P(x) is prime (or irreducible) if it cannot be factored (over 2[x]) into lower-order polynomials. For example, all are prime: x x + 1, x2 + x + 1, x3 + x + 1, x3 + x2 + 1 all composite: x2, x2 + 1, x2 + x, x3, x3 + 1, x3 + x2 + x + 1 Primitive roots are those that generate all non-zero elements. degree coefficients leading unless n = 0 11.5, 11.6, 11.7
  • 5. Consider arithmetic in 2[x]/p(x) modulo an irreducible polynomial p(x) of degree n. Since xn ≡ p(x) − xn mod p(x) there are no polynomials of degree ≥ n. In fact, 2[x]/p(x) has 2n elements: bn−1xn−1 + … + b0, which form a field, and hence there exists a polynomial g(x) whose powers generate all the non-zero elements. E.g. The powers of g(x) = x mod p(x) = x3 + x + 1 are: 1, x, x2, x + 1, x2 + x, x2 + x + 1, x2 + 1. Writing these as column vectors of a matrix gives a rearranged Hamming code: n = 3 2n = 8 = |2[x]/p(x)| 7 = 8 − 1 (# non-zero) 1 1 1 0 1 0 0 x2 0 1 1 1 0 1 0 x1 1 1 0 1 0 0 1 x0 x6 x5 x4 x3 x2 x1 x0 M = 11.8 Polynomial arithmetic
  • 6. Polynomial Coding Recall: Sent messages c should have McT = 0. Fact: If c is a valid codeword, then c(x) ≡ 0 mod p(x). Reason: McT = c(x) by definition of matrix multiplication. And since the powers of x that make up the columns of M are modulo p(x), McT = 0  c(x) ≡ 0 mod p(x). The syndrome of a received codeword c′ is Mc'T = MeT, and similarly, the corresponding polynomial s(x) has c'(x) − s(x) ≡ 0 mod p(x)  c'(x) ≡ s(x). If the ith column matches, i.e. xi ≡ s(x), then that is the error location, assuming e contains only one error.
  • 7. Encode: Place message in columns 6, 5, 4, 3, and compute b6x6 + b5x5 + b4x4 + b3x3 modulo p(x). Put remainder, r(x) = b2x2 + b1x + b0, in the last columns. b6 b5 b4 b3 b2 b1 b0 message checks Decode: Divide received polynomial by p(x), and use the remainder r(x) ≡ gi(x) to calculate syndrome i. No error  i doesn’t exist, i.e. r(x) ≡ 0 mod p(x). Example: 1 0 0 1  x6 + x3 + ? / / 1 0 0 1 1 1 0  x2 + 1 + x + 1 = x2 + x 11.8
  • 8. Calculating the syndrome McT = (x6x5 … x0)(c6c5 … c0)T = c6x6 + c5x5 +…+ c0x0 Example: If M is the Hamming matrix from before (powers of x mod x3 + x + 1), and c = 0110110, then McT = x2 + x = s(x). Strategy: divide s(x) by x repeatedly until we reach the identity, x7 (Fermat’s little theorem). Is there a less symbolically laborious way?
  • 9. Shift registers Encoding (MSB first) 1 0 0 0 → 1 1 0 1 0 0 → 0 1 1 1 0 → 1 0 0 1 → 0 1 0 1 0 1 1 1 1 1 1 0 0 1 1 Decoding (LSB first) x2 x1 x0 x-1 → x2 + 1 = x-1 Right shift = ÷ x 0 0 0 ← 1 0 0 1 0 0 1 ← 0 0 1 0 1 0 ← 0 1 1 0 0 ← 1 0 1 0 1 0 0 0 1 1 1 1 0 x3 x2 x1 x0 ← x3 = x + 1 left shift = × x Add result to message: 1001110 Introduce an error: 1000110 = x3 = x + 1 Find syndrome by clocking and counting until reaching 1.
  • 10. Double error-correcting Code Illustration: 15-bit Hamming code with 4 parity checks. Verify that x4 + x + 1 is prime, and that x is primitive. The resulting parity check matrix M1 is single error- correcting, but x + x2 = x12 + x14 so double error- correction is impossible. Idea: pick another primitive generator x3 with matrix M2. Let s1 = xi + xj = M1c′T be the first syndrome and s2 = (x3)i + (x3)j = M2c′T be the second syndrome. Then s2 = (xi)3 + (xj)3 = (xi + xj)((xi)2 + (xi)(xj) + (xj)2) = s1[xixj + s1 2] So that xi + xj = s1 and xixj = s1 2 + s2/s1 11.11

Editor's Notes

  1. Do an example
  2. 11.4
  3. e2πi/n generates all roots of xn − 1 over . If n is prime, any root (except 1) will work.
  4. Demonstrate all arithmetic operations, and compute inverses.
  5. 11.8 end
  6. Use shift registers with feedback (Fig. 11.9-1). Clearly explain use of forward and reverse SRs! (see handwritten notes) Make new slides
  7. Finish by forming quadratic equation and showing that it can always be solved/satisfied for decoding/encoding respectively