Download presentation

Presentation is loading. Please wait.

Published byMarcos Archbold Modified over 2 years ago

2
Algebraic Geometric Coding Theory presented by Jake Hustad John Hanson Berit Rollay Nick Bremer Tyler Stelzer Robert Coulson

3
Contents I.Review of Codes II.The Performance Parameters III.Reed-Solomon Code IV.Finite Fields/Algebraic Closure V.The Projective Plane VI.Bezout’s Theorem VII.Frobenius Maps VIII.Nonsingularity and Genus IX.Goppa’s Construction X.Conclusion

4
Review of Codes Jake Hustad

5
Introduction Basic Overview of Coding Theory Basic Overview of Coding Theory - Coding theory is the branch of mathematics concerned with transmitting data across noisy channels and recovering the message. Coding theory is about making messages easy to read and finding efficient ways of encoding data.

6
What is a Code? Here is the formal definition of a code: Where is usually a finite field. A code C over an alphabet is simply a subset of A n = A x…x A(n copies).

7
Objectives for efficient codes: Detection and correction of errors due to noise Efficient transmission of data Easy encoding and decoding schemes

8
The Ideal Code Ideally, we would like a code that is capable of correcting all errors due to noise. In general, the more errors that a code needs to correct per message digit, the less efficient the transmission and also the more complicated the encoding and decoding schemes.

9
Code Parameters

10
The Performance Parameters “n” is the total number of available symbols for a code word. “k” is the number of information symbols in a given code word. “k” is the size of the code. “d” is the distance between two code words. This is a Hamming distance.

11
The Hamming Distance The Hamming distance between two words is the number of places where the digits differ.

12
Example u = “111” (Transmitted Code) v = “110” (Received Code) They differ only in the last digit, so the Hamming distance, d(u,v) = 1.

13
The Hamming Distance This distance is significant because it gives us an idea of how many errors can be detected. The larger this distance is, the more errors can be detected.

14
The Minimum Distance The minimum distance is the smallest Hamming distance between any two possible code words.

15
The Minimum Distance Suppose that the minimum distance for the coding function is 3. Then, given any codeword, at least 3 places in it have to be changed before it gets converted into another codeword. In other words, if up to 2 errors occur, the resulting word will not be a codeword, and we detect the occurrence of errors.

16
The Minimum Distance Fact: If the minimum distance between code words is d, then up to d – 1 errors can be detected.

17
Reed-Solomon Codes A Case Study John Hanson

18
Definitions F q ~ field with q elements L r := { f F q [x] | deg(f) r } {0} r is non-negative note: this is a vector subspace over F q with dim = r+1 basis = [ 1 x x 2 … x r ]

19
Procedure Label q-1 nonzero elements of F q as: 1, 2,…, q-1 Pick a k Z such that 1 k q-1 Then we have: RS(k,q) := { ( f( 1 ), f( 2 ),…,f( q-1 ) )| f L k-1 }

20
Notice RS(k,q) is a subset of := F q xF q x…xF q q-1 copies so this is a code over the alphabet F q

21
Summary Through our research and presentation last semester, we proved that for Reed-Solomon codes: n = q – 1 k = k (which was chosen) d = n – k + 1

22
Algebraic Geometry Background By Nick Bremer and Berit Rollay

23
Contents Finite Fields/Algebraic Closure Projective Planes Bezout’s Theorem

24
Algebraically Closed Fields A field k is algebraically closed if every non- constant polynomial in k[x] has at least one root. This is not closed under R because i R, but it is closed under C. Ex)

25
Definition: Algebraic Closure Let k be a field. An algebraic closure of k is a field K with k K satisfying: K is algebraically closed, and If L is a field such that k L K and L is algebraically closed, then L = K.

26
Are Algebraic Closures Unique? It turns out they are. Every field has an unique algebraic closure, up to isomorphism. This theorem allows us to call the algebraic closure of k. Ex)

27
Let k be an algebraically closed field and let be a polynomial of degree n. Then there exists a non-zero u and (not necessarily distinct) such that: Theorem In particular, counting multiplicity, f has exactly n roots in k.

28
Diophantine Equations A Diophantine Equation is a polynomial with integer or rational coefficients, such as. A useful problem to solve is how many rational solutions does this equation have? In order to answer this question, we need to define points at “infinity.”

29
Projective Plane Let k be a field. The projective plane is defined as: where if and only if there is some non-zero with, and.

30
Projective Plane, con’t To further understand the projective plane, consider the following illustration: The projective plane can be described as all of the lines in R 3 that pass through the origin. Further, we can say that lines that intersect the plane P shown above represent “real” points, and lines that do not intersect the plane represent points at “infinity.” These terms will be defined in more depth momentarily.

31
Homogenization Let k be a field, a polynomial of degree d, and C f the curve associated to f (f(x,y)=0). The projective closure of the curve C f is: Where the homogenization of f is:

32
Example of Homogenization Consider the curve. If we take the Homogenization, we get: Now we are ready to solve the Diophantine Equation.

33
Now we can find all solutions to a Diophantine Equation, including solutions that occur at “infinity.” Remember the Diophantine Equation? Any point in the homogenization that is of the form with is called a point at infinity. All other points are called affine points.

34
Bezout’s Theorem If are polynomials of degrees d and e respectively, then and intersect in at most de points. Further, and intersect in exactly de points of, when points are counted with multiplicity. This is used in a classical proof of algebraic geometry, but we will not go into that at this time.

35
Points, Divisors and Rational Functions By Tyler Stelzer and Bob Coulson

36
Frobenius Maps Suppose F q is a finite field (recall this means that q must be a prime power) and that n >= 1. The Frobenius Automorphism is the map σ q,n : F q n F q n defined by σ q,n (α) = α q, for any α F q n

37
Relative and Absolute Frobenius If q = p r where p is prime and r >= 2, then the map σ q,n is often called the relative Frobenius the function σ p,n if often called the absolute Frobenius

38
Composing Frobenius with Itself The symbol σ j q,n represents the map obtained by composing σ q,n with itself j times. For example: σ 2 q,n (α) = σ q,n (σ q,n (α)).

39
Nonsingularity When constructing a code, one of the elements needed is a nonsingular projective plane curve. A projective plane curve, C f, is nonsingular when no singular points exist on it.

40
Singular Points A singular point of C f is a point (x 0,y 0 ) such that f (x 0,y 0 ) = 0 and f x (x 0,y 0 ) = 0 and f y (x 0,y 0 ) = 0. Or if F(X,Y,Z) is the homogenization of f(x,y), then (X 0 :Y 0 :Z 0 ) is a singular point of C f if the point is on the curve and: F (X 0 :Y 0 :Z 0 ) = F x (X 0 :Y 0 :Z 0 ) = F y (X 0 :Y 0 :Z 0 ) = F z (X 0 :Y 0 :Z 0 ) = 0.

41
What are f( x, y ), f x ( x, y ) f y ( x, y )? What is f( x, y )? A singular point of C f is a point (x 0,y 0 ) such that f (x 0,y 0 ) = 0 and f x (x 0,y 0 ) = 0 and f y (x 0,y 0 ) = 0. f( x, y ) k[x,y] where k[x,y] is the set of polynomials having coefficients from k and two variables, x and y. Example: Let k = Z 5 = {0,1,2,3,4}. Then one possible polynomial is: f( x, y ) = 2x 2 y + xy 3 + x 2 + 2y

42
What are f( x, y ), f x ( x, y ) f y ( x, y )? What is f x ( x, y )? A singular point of C f is a point (x 0,y 0 ) such that f (x 0,y 0 ) = 0 and f x (x 0,y 0 ) = 0 and f y (x 0,y 0 ) = 0. f x (x,y) is the partial derivative of f(x,y) with respect to x. Example: Let f(x,y) = 2x 2 y + xy 3 + x 2 + 2y Then f x (x,y) = 4xy + y 3 + 2x.

43
What are K, f( x, y ), f x ( x, y ) f y ( x, y )? What is f y ( x, y )? A singular point of C f is a point (x 0,y 0 ) such that f (x 0,y 0 ) = 0 and f x (x 0,y 0 ) = 0 and f y (x 0,y 0 ) = 0. f y (x,y) is the partial derivative of f(x,y) with respect to y. Example: Let f(x,y) = 2x 2 y + xy 3 + x 2 + 2y Then f y (x,y) = 2x 2 + 3xy 2 + 2.

44
Genus and the Plϋcker Formula A nonsingular curve can be realized as a torus-like object with one or more holes in R 3. This torus has a certain number of holes which is called the topological genus (g). The genus is given by the formula g = (d-1)(d-2)/2 where d is the degree of the polynomial which makes the curve nonsingular. This formula is called the Plϋcker Formula.

45
Points, Functions, and Divisors on Curves Let k be a field, and let C be the projective plane curve defined by F = 0, where F = F(X,Y,Z) k[X,Y,Z] is a homogenous polynomial. For any field K containing k, we define a K-rational point on C to be a point (X 0 : Y 0 : Z 0 ) P 2 (K) such that F(X 0,Y 0,Z 0 ) = 0. The set of all K-rational points on C is denoted C(K). Elements of C(k) are called points of degree one or simply rational points.

46
Points, Functions, and Divisors on Curves Let C be a nonsingular projective plane curve. A point of degree n on C over F q is a set P = {P 0,…,P n-1 } of n distinct points in C(F q n ) such that P i = σ i q,n (P 0 ) for i = 1,…, n-1.

47
Points, Functions, and Divisors on Curves A divisor D on X, a nonsingular projective plane curve, over F q is an element of the free abelian group on the set of points on X over F q. Every divisor is of the form where the n Q are integers and each Q is a point on X. If n Q 0 for all Q, D is effective and D 0. The degree of. The support of D is suppD = {Q | n Q 0}.

48
Points, Functions, and Divisors on Curves Let F(X,Y,Z) be the polynomial which defines the nonsingular projective plane cure C over the field Fq. The field of rational functions on C is where g/h ~ g`/ h` if and only if gh` - g`h ‹F› F q [X,Y,Z]. g,h F q [X,Y,Z] are homogeneous of the same degree

49
Points, Functions, and Divisors on Curves Let C be a curve defined over F q and let f := g/h F q (C). The divisor of f is defined to be div(f) := Σ P – Σ Q, where Σ P is the intersection divisor C C g and Σ Q is the intersection divisor C C h.

50
Points, Functions, and Divisors on Curves Let D be a divisor on the nonsingular projective plane curve C defined over the field F q. Then the space of rational functions associated to D is L(D) := {f F q (C) | div(f) + D >= 0} {0}.

51
Riemann-Roch Theorem Let C be a nonsingular projective plane curve of genus g defined over the field F q and let D be a divisor on X. Then dim L(D) >= deg D + 1 – g. Further, if deg D > 2g – 2, then dim L(D) = deg D + 1 – g.

52
Algebraic Geometric Reed- Solomon Codes

53
Goppa’s Construction Goppa’s construction is extended from the Reed-Solomon Code formula: RS(k,q) := { ( f( 1 ), f( 2 ),…,f( q-1 ) )| f L k-1 } Goppa’s idea behind this construction was to generalize the formula. This new formula is: C(X,P,D) := {( f (P 1 ), …,(P n ) ) | f L(D) }

54
Definitions for : C(X,P,D) := {( f (P 1 ), …,(P n ) ) | f L(D) } Definition of X: X is a projective nonsingular plane curve over F q, a finite field with q number of elements.

55
Definitions for : C(X,P,D) := {( f (P 1 ), …,(P n ) ) | f L(D) } Definition of P: P = {P 1,…,P n } X(F q ) i.e. P is the set of n distinct F q -rational points on X.

56
Definitions for : C(X,P,D) := {( f (P 1 ), …,(P n ) ) | f L(D) } Definition of D: D is a divisor on X.

57
Definitions for : C(X,P,D) := {( f (P 1 ), …,(P n ) ) | f L(D) } Definition of L(D): L(D) is the space of rational functions associated with the defined divisor D over X.

58
Goppa’s Construction - History In 1981, Goppa derived a class of linear codes from algebraic curves over finite fields which are quite general as codes have parameters circumscribed by the Riemann-Roch theorem

59
History (cont…) The discovery of these codes also gave renewed stimulus to investigations on the number of rational points on an algebraic curve for a particular genus as well as to asymptotic values of the ratio of the number of points to the genus.

60
Goppa – The Problem The three most important parameters of a linear code over the finite field are the length n which gives the speed of transmission the dimension k which gives the number of words in the code and the minimum distance d which gives the number of errors that can be corrected.

61
“Good” Codes “Good” codes have the following properties: a large information rate R = k / n and a large relative distance δ = d / n The relation between R and δ as n gets large is given by the Gilbert-Varshamov bound. Good codes can be constructed from an algebraic curve of genus g, and particular examples show that the G-V bound is not best possible. This brings to the fore the problem of determining the limit β of n / g for a sequence of curves.

62
In the past two years, the goal of finding explicit codes which reach the limits predicted by early coding mathematicians has been achieved. The constructions require techniques from a surprisingly wide range of pure mathematics: linear algebra, the theory of fields and algebraic geometry all play a vital role. Not only has coding theory helped to solve problems of vital importance in the world outside mathematics, it has enriched other branches of mathematics, with new problems as well as new solutions. Final Thoughts

63
References Codes and Curves by Judy L. Walker - American Mathematical Society, 2000 Coding theory: the first 50 years - http://pass.maths.org.uk/issue3/codes/

Similar presentations

OK

Elementary Coding Theory Including Hamming and Reed-Solomom Codes with Maple and MATLAB Richard Klima Appalachian State University Boone, North Carolina.

Elementary Coding Theory Including Hamming and Reed-Solomom Codes with Maple and MATLAB Richard Klima Appalachian State University Boone, North Carolina.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

File type ppt on cybercrime training Professional ppt on home automation Ppt on social etiquettes Ppt on brand marketing Ppt on hindu religion songs Ppt on distrust of science Latest ppt on companies act 2013 Ppt on ms office training Ppt on cola drinks and their ill effects Ppt on duty roster maker