Probabilistic verification Mario Szegedy, Rutgers www/cs.rutgers.edu/~szegedy/07540 Lecture 3.

Slides:



Advertisements
Similar presentations
Vector Spaces A set V is called a vector space over a set K denoted V(K) if is an Abelian group, is a field, and For every element vV and K there exists.
Advertisements

Finite Fields Rong-Jaye Chen. p2. Finite fields 1. Irreducible polynomial f(x)  K[x], f(x) has no proper divisors in K[x] Eg. f(x)=1+x+x 2 is irreducible.
BCH Codes Hsin-Lung Wu NTPU.
1 In this lecture  Number Theory ● Rational numbers ● Divisibility  Proofs ● Direct proofs (cont.) ● Common mistakes in proofs ● Disproof by counterexample.
Cryptography and Network Security
Chapter 4 – Finite Fields. Introduction will now introduce finite fields of increasing importance in cryptography –AES, Elliptic Curve, IDEA, Public Key.
1. 2 Overview Review of some basic math Review of some basic math Error correcting codes Error correcting codes Low degree polynomials Low degree polynomials.
Section 11 Direct Products and Finitely Generated Abelian Groups One purpose of this section is to show a way to use known groups as building blocks to.
Chapter Primes and Greatest Common Divisors ‒Primes ‒Greatest common divisors and least common multiples 1.
Basic Properties of Relations
Information and Coding Theory Finite fields. Juris Viksna, 2015.
Basic properties of the integers
1.  We have studied groups, which is an algebraic structure equipped with one binary operation. Now we shall study rings which is an algebraic structure.
Math 3121 Abstract Algebra I
Induction Sections 41. and 4.2 of Rosen Fall 2008 CSCE 235 Introduction to Discrete Structures Course web-page: cse.unl.edu/~cse235 Questions:
Cryptography and Network Security Chapter 4
Cryptography and Network Security Chapter 4 Fourth Edition by William Stallings.
Induction Sections 4.1 and 4.2 of Rosen Fall 2010
K. -C. Yang and J. -L. Lin National Tsing Hua University
Introduction Polynomials
1. 2 Overview Some basic math Error correcting codes Low degree polynomials Introduction to consistent readers and consistency tests H.W.
Lattice and Boolean Algebra
Finite fields.
Mathematics1 Mathematics 1 Applied Informatics Štefan BEREŽNÝ.
M. Khalily Dermany Islamic Azad University.  finite number of element  important in number theory, algebraic geometry, Galois theory, cryptography,
Rings,Fields TS. Nguyễn Viết Đông Rings, Integral Domains and Fields, 2. Polynomial and Euclidean Rings 3. Quotient Rings 2.
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach Wayne Lawton Department of Mathematics National University of Singapore S ,
FINITE FIELDS 7/30 陳柏誠.
CPSC 3730 Cryptography and Network Security
Information Security and Management 4. Finite Fields 8
Cryptography and Network Security Introduction to Finite Fields.
Finite Groups & Subgroups. Order of a group Definition: The number of elements of a group (finite or infinite) is called its order. Notation: We will.
By: Hector L Contreras SSGT / USMC
Mathematics Review Exponents Logarithms Series Modular arithmetic Proofs.
Chapter 5 General Vector Spaces.
Chapter 2: Vector spaces
Basic Number Theory Divisibility Let a,b be integers with a≠0. if there exists an integer k such that b=ka, we say a divides b which is denoted by a|b.
Chapter 4 – Finite Fields
Data Security and Encryption (CSE348) 1. Lecture # 12 2.
Mathematical Induction
1 Methods of Proof Proof techniques in this handout –Direct proof –Division into cases –Proof by contradiction In this handout, the proof techniques will.
Probabilistic verification Mario Szegedy, Rutgers www/cs.rutgers.edu/~szegedy/07540 Lecture 5.
Information Security Lab. Dept. of Computer Engineering 87/121 PART I Symmetric Ciphers CHAPTER 4 Finite Fields 4.1 Groups, Rings, and Fields 4.2 Modular.
Information and Coding Theory Cyclic codes Juris Viksna, 2015.
Math 3121 Abstract Algebra I Lecture 5 Finish Sections 6 + Review: Cyclic Groups, Review.
ACTIVITY 31: Dividing Polynomials (Section 4.2, pp )
Math 344 Winter 07 Group Theory Part 2: Subgroups and Isomorphism
Cryptography and Network Security Chapter 4. Introduction  will now introduce finite fields  of increasing importance in cryptography AES, Elliptic.
UNIT - 2.  A binary operation on a set combines two elements of the set to produce another element of the set. a*b  G,  a, b  G e.g. +, -, ,  are.
 Theorem 6.21: Let H be a subgroup of G. H is a normal subgroup of G iff g -1 hg  H for  g  G and h  H.  Proof: (1) H is a normal subgroup of G.
The main study of Field Theory By: Valerie Toothman
Summary of the Last Lecture This is our second lecture. In our first lecture, we discussed The vector spaces briefly and proved some basic inequalities.
6.6 Rings and fields Rings  Definition 21: A ring is an Abelian group [R, +] with an additional associative binary operation (denoted ·) such that.
Multiplicative Group The multiplicative group of Z n includes every a, 0
Cryptography and Network Security Third Edition by William Stallings Lecture slides by Lawrie Brown.
Extending a displacement A displacement defined by a pair where l is the length of the displacement and  the angle between its direction and the x-axix.
Page : 1 bfolieq.drw Technical University of Braunschweig IDA: Institute of Computer and Network Engineering  W. Adi 2011 Lecture-5 Mathematical Background:
Math 3121 Abstract Algebra I
CS480 Cryptography and Information Security
Polynomial Let R be a ring. A polynomial over R is an expression of the form: f (x) = a0 + a1x + a2x2 +…+ anxn where the ai  R called the coefficients.
B.Sc. III Year Mr. Shrimangale G.W.
Math 3121 Abstract Algebra I
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
Finite Fields Rong-Jaye Chen.
I. Finite Field Algebra.
MA5242 Wavelets Lecture 1 Numbers and Vector Spaces
Rayat Shikshan Sanstha’s S.M.Joshi College, Hadapsar -28
WELCOME.
Lecture 3 Strings and Things (Section 1.1)
Mathematical Background: Extension Finite Fields
Presentation transcript:

Probabilistic verification Mario Szegedy, Rutgers www/cs.rutgers.edu/~szegedy/07540 Lecture 3

Fields A set F with two operations: + (addition), x (multiplication) (F, +) is an Abelian group with unit element 0. (F\{0}, x) is an Abelian group with unit element 1. For all x, y, z Є F: (x+y)z = xz + yz. (Distributivity) (We get the same definition if the multiplicative part is not restricted to Abelian.)

Characteristic Let F be a field (finite or infinite). Let U = + = {0, 1, 1+1, 1+1+1,…}, if |F| is finite |U| is the characteristic of F. If |U| is infinite then the characteristic is 0. (1 + 1)(1+1+1) = (1+1+1) + ( ). Similarly, product of any two elements from U is also from U by distributivity. Let |U| = p, finite. Then U is isomorphic with Z/pZ with respect to. addition and multiplication. In this case p is a prime, otherwise F would have a zero divisor, so U= F p. And F p is also called the prime subfield of F. LEMMA: If a field (finite or infinite) has finite characteristic p, then p is a prime. A finite field F has positive characteristic p for some prime p.positivecharacteristicprime

Size of a finite field Theorem 1.1 The cardinality of F is p n where n = [F : F p ] and F p denotes the prime subfield of F.cardinalityprime subfield Proof. The prime subfield F p of F is isomorphic to the field Z/pZ of integers mod p. Since the field F is an n-dimensional vector space over F p for some finite n, it is set-isomorphic to F p n and thus has cardinality p n.isomorphic integersvector space

(Uni-variate) Polynomials P(x) = x n + a n-1 x n-1 + … + a 1 x + a 0 (deg P = n) a i s are the coefficients. Roots: P(c) = 0 → P(x) = (x-c) Q(x) (deg Q = n-1) → P(x) can have at most n roots Reducibility: P(x) = Q(x)S(x) (deg Q, deg S < n) If there are no factors Q,S as above, then P is irreducible.

Theorem: the multiplicative group of every finite field is cyclic Let |F| = q. The theorem says that there is g Є F such that F = { 0, g, g 2,…, g q-1 } We need to prove that there is a g with order q-1 (smallest power that is 1). Let ORD(a) = { z | ord(z) = a}. ORD(a) is empty unless a|q-1. LEMMA: | ORD(a) | = φ(a), where φ(a) is the number of those residue classes mod a That are relatively prime to a. REMARK: The lemma immediately gives the theorem, since φ(q-1) ≥ 1.

Proof of the lemma: We proceed by induction on a. ORD(1) = {1}. Consider a > 1. z Є F is a root of x a -1 ↔ for some a’|a it holds that z Є ORD(a’). → x a -1 = Π a’|a Π f Є ORD(a’) (x-f). → ∑ a’|a |ORD(a’)| = a. From the inductional hypothesis: |ORD(a)| = a - ∑ a’|a; a’<a φ(a). To prove |ORD(a)| = φ(a) it is sufficient to show that: LEMMA: ∑ a’|a φ(a) = a. Proof of the lemma: Classify all numbers in {1,2,…,a} according to its greatest common divisor with a, and for every b|a let β(b) = | { z | (a,z) = b}|. Clearly, ∑ b|a β(b) = a. We claim β(b) = φ(a/b). (If so, we are done, since {a/b | b|a} = {b | b|a}). Indeed, (a,z) = b ↔ z = λb, where (λ, a/b) = 1.

Field extensions Transcendental extension: F(x) = { q(x)/r(x), where q,r are polynomials} Algebraic extension (with a root of some irreducible polynomial, s(x)): F(α) = {q(x) | q is a polynomial over F such that deg q < deg s} q( α) ↔ q(x) mod s(x) Alternative notation: F(α) ↔ F[x]/(s(x)) Inverse of r(x) for an algebraic extension: If xists r’(x) such that r’(x) r(x) + s’(x)s(x) = 1 → r’(x) r(x) = 1 (mod s(x)) → r’ = r -1

Splitting field F’ is the splitting field of a polynomial r(x) in F 1. if r(x) decomposes into linear factors in F’. 2. F’ is the smallest field with this property Remark: if (r’(x),r(x)) = 1, then all linear factors are different.

Linear spaces (classical approach) S = F n (dimension =n) S = {(x 1,x 2,…,x n ) | x i Є F } Subspace: S’ ≤ S, iff S’ is closed under linear combinations: x,y Є S → λx + μy Є S

Affine subspaces 1 dimensional affine subspaces = lines L x,y = { x+λy | λ Є F } 2 dimensional affine subspaces = planes P x,y,z = { x+λy+μz | λ,μ Є F } n-1 dimensional affine subspaces = hyperplanes S = { a 1 x 1 + a 2 x 2 + … + a n x n =b}