6/20/2015List Decoding Of RS Codes 1 Barak Pinhas ECC Seminar Tel-Aviv University.

Slides:



Advertisements
Similar presentations
Mahdi Barhoush Mohammad Hanaysheh
Advertisements

Multiplicity Codes Swastik Kopparty (Rutgers) (based on [K-Saraf-Yekhanin ’11], [K ‘12], [K ‘14])
Error Control Code.
296.3Page :Algorithms in the Real World Error Correcting Codes II – Cyclic Codes – Reed-Solomon Codes.
15-853:Algorithms in the Real World
Having Proofs for Incorrectness
A polylogarithmic approximation of the minimum bisection Robert Krauthgamer The Hebrew University Joint work with Uri Feige.
SECTION 3.6 COMPLEX ZEROS; COMPLEX ZEROS; FUNDAMENTAL THEOREM OF ALGEBRA FUNDAMENTAL THEOREM OF ALGEBRA.
The number of edge-disjoint transitive triples in a tournament.
1 Introduction to Linear and Integer Programming Lecture 9: Feb 14.
Deciding Primality is in P M. Agrawal, N. Kayal, N. Saxena Slides by Adi Akavia.
Correcting Errors Beyond the Guruswami-Sudan Radius Farzad Parvaresh & Alexander Vardy Presented by Efrat Bank.
Complexity1 Pratt’s Theorem Proved. Complexity2 Introduction So far, we’ve reduced proving PRIMES  NP to proving a number theory claim. This is our next.
Introduction Polynomials
CS151 Complexity Theory Lecture 10 April 29, 2004.
Integer Programming Difference from linear programming –Variables x i must take on integral values, not real values Lots of interesting problems can be.
Randomness in Computation and Communication Part 1: Randomized algorithms Lap Chi Lau CSE CUHK.
1 The PCP starting point. 2 Overview In this lecture we’ll present the Quadratic Solvability problem. In this lecture we’ll present the Quadratic Solvability.
1 The PCP starting point. 2 Overview In this lecture we’ll present the Quadratic Solvability problem. We’ll see this problem is closely related to PCP.
ON MULTIVARIATE POLYNOMIAL INTERPOLATION
LIAL HORNSBY SCHNEIDER
Copyright © Cengage Learning. All rights reserved.
Efficiant polynomial interpolation algorithms
C&O 355 Lecture 2 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A.
DIGITAL COMMUNICATION Error - Correction A.J. Han Vinck.
Chapter 5: The Orthogonality and Least Squares
Chapter 8. Section 8. 1 Section Summary Introduction Modeling with Recurrence Relations Fibonacci Numbers The Tower of Hanoi Counting Problems Algorithms.
Great Theoretical Ideas in Computer Science.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
Simplex method (algebraic interpretation)
NETWORK CODING. Routing is concerned with establishing end to end paths between sources and sinks of information. In existing networks each node in a.
Quantum Computing MAS 725 Hartmut Klauck NTU TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A.
Chapter 8 With Question/Answer Animations 1. Chapter Summary Applications of Recurrence Relations Solving Linear Recurrence Relations Homogeneous Recurrence.
Private Approximation of Search Problems Amos Beimel Paz Carmi Kobbi Nissim Enav Weinreb (Technion)
ERROR CONTROL CODING Basic concepts Classes of codes: Block Codes
MIMO continued and Error Correction Code. 2 by 2 MIMO Now consider we have two transmitting antennas and two receiving antennas. A simple scheme called.
Introduction to Problem Solving. Steps in Programming A Very Simplified Picture –Problem Definition & Analysis – High Level Strategy for a solution –Arriving.
Great Theoretical Ideas in Computer Science.
3.4 Zeros of Polynomial Functions. The Fundamental Theorem of Algebra If f(x) is a polynomial of degree n, where n>0, then f has at least one zero in.
3.1 You should be able to solve one-step equations using algebra. Solve for x.
Martin-Gay, Beginning Algebra, 5ed Using Both Properties Divide both sides by 3. Example: 3z – 1 = 26 3z = 27 Simplify both sides. z = 9 Simplify.
Probabilistic verification Mario Szegedy, Rutgers www/cs.rutgers.edu/~szegedy/07540 Lecture 5.
Word : Let F be a field then the expression of the form a 1, a 2, …, a n where a i  F  i is called a word of length n over the field F. We denote the.
Sullivan PreCalculus Section 3.6 Real Zeros of a Polynomial Function Objectives Use the Remainder and Factor Theorems Use Descartes’ Rule of Signs Use.
Section 5.5 The Real Zeros of a Polynomial Function.
1 © 2010 Pearson Education, Inc. All rights reserved © 2010 Pearson Education, Inc. All rights reserved Chapter 3 Polynomial and Rational Functions.
The parity bits of linear block codes are linear combination of the message. Therefore, we can represent the encoder by a linear system described by matrices.
Copyright 2013, 2009, 2005, 2002 Pearson, Education, Inc.
Digital Communications I: Modulation and Coding Course Term Catharina Logothetis Lecture 9.
Dr. Muqaibel \ EE430 Convolutional Codes 1 Convolutional Codes.
Polynomial Functions. Polynomial is an expression that is either a real number, a variable, or a product of real numbers and variables with whole number.
Polynomial P(x) Linear Factors Solutions of P(x)=0 Zeros of P(x) P(x) = 0.
1 Introduction to Quantum Information Processing QIC 710 / CS 667 / PH 767 / CO 681 / AM 871 Richard Cleve DC 2117 Lectures
Approximation Algorithms based on linear programming.
Great Theoretical Ideas in Computer Science.
RS – Reed Solomon Error correcting code. Error-correcting codes are clever ways of representing data so that one can recover the original information.
Objective  SWBAT solve polynomial equations. Section 9.4 “Solve Polynomial Equations in Factored Form” If ab = 0, then a = 0 or b = 0. The zero-product.
Divide by x - 1 Synthetic Division: a much faster way!
10.4 Solving Factored Polynomial Equations
Example: Solve the equation. Multiply both sides by 5. Simplify both sides. Add –3y to both sides. Simplify both sides. Add –30 to both sides. Simplify.
The Fundamental Theorem of Algebra and Complete Factorization
Copyright © Cengage Learning. All rights reserved.
Sullivan Algebra and Trigonometry: Section 5
Subject Name: Information Theory Coding Subject Code: 10EC55
Distinct Distances in the Plane
COMS E F15 Lecture 2: Median trick + Chernoff, Distinct Count, Impossibility Results Left to the title, a presenter can insert his/her own image.
RS – Reed Solomon List Decoding.
The Curve Merger (Dvir & Widgerson, 2008)
Zeros of a Polynomial Function
Zeev Dvir (Princeton) Shachar Lovett (IAS)
Presentation transcript:

6/20/2015List Decoding Of RS Codes 1 Barak Pinhas ECC Seminar Tel-Aviv University

6/20/2015List Decoding Of RS Codes 2 Unique Decoding Let be an code We saw that if there are less than errors, we can find a unique decoding for any given input Let us be more flexible

6/20/2015List Decoding Of RS Codes 3 List Decoding What if there are more than errors ? We need that: - There would be a few possible decodings - We should be able to find them efficiently

6/20/2015List Decoding Of RS Codes 4 Combinatorial List Decoding We would say that a code is -code if it satisfies the following condition: For every : Where:,

6/20/2015List Decoding Of RS Codes 5 Algorithmic List Decoding Given a code If, we will have possible decodings for every string We would like to find the list of possible decodings in polynomial time, so we need:

6/20/2015List Decoding Of RS Codes 6 RS Codes: Revisited Given a field we define the space of univariate polynomials over and denote it by Encoder: Given an input, create Choose n distinct values Transmit Decoder: *Unique Decoding Algorithm (Belekamp&Welch) * List Decoding Algorithm (Sudan)

6/20/2015List Decoding Of RS Codes 7 RS Codes: Properties RS Codes are linear: RS Codes meet the singleton bound (without proof), i.e. they are codes.

6/20/2015List Decoding Of RS Codes 8 Problem Description Input: Values The degree,,of the message polynomial The minimum number of agreements:

6/20/2015List Decoding Of RS Codes 9 The Goal Find a list of polynomials of degree at most, s.t: These are the polynomials which represent messages that are candidate decodings of. Let’s see an example

6/20/2015List Decoding Of RS Codes 10 Sudan’s Algorithm - Simplified A. Find all functionssuch that: is of small degree is not identically zero B. Factor into irreducible factors C. Output a list of all small degree factors that have a large agreement with the input. Let’s go back to our example

6/20/2015List Decoding Of RS Codes 11 Sudan’s Algorithm: Detailed A. Init and, two integers - we will see later what should be their values B. Find all functionssuch that: is of weighted degree at most (Will be explained later) is not identically zero C. Factor into irreducible factors D. Output a list of all polynomials such that and

6/20/2015List Decoding Of RS Codes 12 Step 1: Finding Q If a function satisfies B, it can be found in polynomial time. Proof: Consider the following system of linear equations. For each given point we have a constraint: Linear system with variables And with Constraints We need more variables than constraints Linear algebra guarantees a solution, and we can efficiently find it.

6/20/2015List Decoding Of RS Codes 13 Step 2: Factoring Q Well known problem Studied a lot There are efficient deterministic polynomial time algorithms to solve this problem We won’t get into details

6/20/2015List Decoding Of RS Codes 14 Step 3: Why Every Solution Divides Q? Claim 2: If is a solution for some low degree polynomial and, then Proof: Any monomial in is of the form Now let We set We have and now Hence But, so

6/20/2015List Decoding Of RS Codes 15 Step 3: Cont. How does implies ? We start by showing the theorem over Applying the theorem over will give us the required result

6/20/2015List Decoding Of RS Codes 16 What’s Left? What are the optimal values for ? Sudan: What is the range of values of the agreement parameter that the algorithm will work for? Sudan: Previous algorithms: Consider the ratio

6/20/2015List Decoding Of RS Codes 17 Summary We presented Sudan’s efficient and well- known algorithm for list decoding RS codes Guruswami & Sudan provided an improved algorithm for the same problem Let’s go back to our example for the last time