Finite Field Arithmetic and Implementations. Xinmiao Zhang Case Western Reserve University

Size: px
Start display at page:

Download "Finite Field Arithmetic and Implementations. Xinmiao Zhang Case Western Reserve University"

Transcription

1 Finite Field Arithmetic nd Implementtions Xinmio Zhng Cse Western Reserve University

2 Applictions of Finite Field Arithmetic Error-correcting codes Hmming codes BCH codes Reed-Solomon codes Low-density prity-check codes Cryptosystems: Elliptic curve cryptogrphy Advnced Encryption Stndrd Biometric encryption Public key cipher Symmetric key cipher

3 Group A group is set of objects G on which binry opertion. is defined. The binry opertion tkes ny two elements in G nd genertes s its result n element tht is lso in G. The opertion must stisfy the following requirements if G is group. Associtivity: (. b). c =. (b. c) for ll, b, c G. Identity: there exists e G such tht. e =e. = for ll G. Inverse: for ech G there exists unique element - G such tht A group is sid to be commuttive (or belin) if it lso stisfies 4. Commuttivity: for ll,b G,. b = b. e

4 Field Let F be set of objects on which two opertions + nd. re defined, F is sid to be field iff. F forms commuttive group under +, the dditive identity element is lbeled.. F-{} forms commuttive group under. The multiplictive identity element is lbeled.. The opertion + nd. distributes:. (b+c)=(.b)+(.c) A field with finite number of elements is clled finite field, lso clled Glois Field, denoted by GF(p). p cn be prime number or power of prime.

5 Exmples of Finite Fields Finite field GF() consists of elements nd + XOR opertion dditive identity:. AND opertion; multiplictive identity: Finite field GF(7) consists of elements,, 6 + mod 7 integer ddition dditive identity:. mod 7 integer multipliction multiplictive identity:

6 Irreducible Polynomil & Extension Field m m A polynomil P( x) pmx pm x p, whose coefficients p i re elements of field GF(q), is clled polynomil over GF(q). A polynomil P(x) is irreducible over GF(q) if P(x) is only divisible by cgf(q) or itself. P(x) cn be used to construct extension field GF(q m ). Ech element in GF(q m ) cn be represented s polynomil of degree m- over GF(q) + polynomil ddition. polynomil multipliction modulo P(x)

7 Exmple of Extension Field P(x)=x +x+ cn be used to construct GF( ). An element A GF( ) cn be expressed by three bits (,, ), which cn be considered s the coefficients of polynomil A(x)= x + x+. Similrly, nother element B cn be expressed s: B(x)=b x +b x+b. + A(x)+B(x)=( b )x +( b )x +( b ) dditive identity:. A(x). B(x) mod P(x) multiplictive identity: {x, x, }, where x is root of P(x), is clled stndrd (polynomil) bsis of GF( ).

8 Representtions of Finite Field Elements Stndrd bsis Norml bsis Dul bsis Power representtion For n element α GF(q m ), the minimum integer r, such tht α r =, is clled the order of α. The mximum order of ny element is q m -, nd n element with order q m - is clled primitive element. All the nonzero elements of GF(q m ) cn be represented by the powers of primitive element α q {,,, } An irreducible polynomil whose roots hve order q m - is clled primitive polynomil m

9 Representtion Conversion Binry extension field, GF( m ), is usully dopted for hrdwre implementtions, since ech element cn be represented by m-bit binry tuple. P(x)=x +x+ is primitive polynomil, nd cn be used to construct GF( ). Power Stndrd bsis, x: root of P(x) ~= x ~ x x= x modulo P(x) x+ 4 ~= x +x 5 ~ (x +x) x= x +x modulo P(x) x +x+

10 Composite Field Two pirs {GF(q n n i ), G( y) y } nd {GF((q n ) m i g i y m ), m i P( x) x p } re clled i i x composite field if GF(q n ) is constructed from GF(q) by G(y). GF((q n ) m ) is constructed from GF(q n ) by P(x). A composite field GF((q n ) m ) is isomorphic to the field GF(q k ) with k=nm. n Ech element of GF((q n ) m ) cn be expressed s m elements of GF(q n )

11 Implementtion of Finite Field Arithmetic

12 Finite Field Addition Additions over GF( m ) using bsis representtions cn be performed by bit-wise XOR opertion Additions over GF( m ) using power representtion need look-up tbles of size m m Exmple: GF( ) cn be constructed using irreducible polynomil P(x)=x +x+ α α 4 α α 5 α α 6 α +α 4 + = α

13 Finite Field Multipliers

14 Multipliction using Power Representtion Using power representtion, multipliction over GF( m ) cn be implemented by dding up the exponents of the opernds modulo m -. Exmple: multiplictions over GF( ) 5 6 (56)mod7 4 Implementtion: m-bit unsigned integer ddition with the crry-out dded to the lest significnt bit.

15 Multipliction using Stndrd Bsis The product of A(x) nd B(x) is C(x)=A(x)B(x) mod P(x) C x B x P x xb x P x x B x P x m ( ) ( )mod ( ) ( ( ))mod ( ) m( ( ))mod ( ) C(x) XTime B(x) 7 XTime XTime XTime b 7 Xtime: multiply n element by x modulo P(x) b 7 b 7 b 7 b 7 P(x)=x 8 + x 7 + x 6 +x+

16 Multipliction over Composite Field In composite field GF(( n ) m ), the elements re represented by polynomils with mximum degree m- over GF( n ) m m m x mx i GF( n ) A( x) The complexity of composite field multipliction cn be reduced by the Krtsub-Ofmn Algorithm (KOA), which reduces the number of sub-field multiplictions t the cost of more dditions.

17 Multipliction over Composite Field C(x)=A(x)B(x) m m m m m m m h l m m m m m m m h l A( x) x ( x ) ( x ) x A ( x) A( x) Bx ( ) x ( x b b ) ( x b b) x B( x) B( x) define D() x A() x B() x l l D () x [ A() x A()][ x B() x B ()] x D () x A() x B () x h l h l h h m m C( x) x D ( x) x [ D ( x) D ( x) D ( x)] D ( x) The number of element multiplictions is reduced m /4m

18 Finite Field Inverters

19 Inversion Using Look-up Tble & Power representtion Inversions over GF( m ) cn be implemented by look-up tbles of size m m Assuming n element AGF( m ) cn be expressed in power representtion s A=α b, where α is primitive element of GF( m ) nd b< m - A b b b Exmple: for A=α 6 GF( 4 ), A - =α 6--6 =α 9 Implementtion: m-bit integer subtrction m m

20 Inversion using Multiply-squre For n element AGF( m ) (A), since m A m m m ( ) 4 A A A A A A A A A A A Compred to generl multiplier, squrer cn be implemented by simpler rchitecture Hs high complexity nd long ltency

21 Inversion over Composite Field GF(( m ) ) The inversion over GF(( m ) ) cn be converted to computtions over GF( m ) An element A GF(( m ) ) cn be represented s m A x),, GF( ) ( x Assume tht the irreducible polynomil used to construct GF(( m ) ) from GF( m ) is Px ( ) x x. Apply the Extended Eucliden lgorithm A ( x) ( ( ) ) x( )( ( ) ) x x

22 Exmple of Finite Field Inverter over GF( 8 )

23 Complexity of Constnt Multiplier over GF( 8 ) Assuming irreducible polynomil P(x)=x 8 +x 4 +x +x+ is used to construct GF( 8 ), the coefficients of C=A cn be computed s: c7=7+6 c6=5+ c5=6+5 c4=7+4+ c= c=5+ c=7+6+4 c=6+4+ Complexity: XOR gte Criticl pth: XOR gte

24 Complexity of Stndrd Bsis Multiplier 7 Complexity: 77 XOR, 64 AND Criticl pth: gtes

25 Inverter Bsed on Multiply-squre Approch A A A 54 A A 4 A 8 A 6 A A 64 A 8 A A A A A A A # of XOR: 59 # of AND: 84 Criticl pth: 64 gtes

26 Inverter Bsed on Multiply-squre Approch B A A 4 4 ( A ) ( A ) ( A ) 4 A A 4 A 4 A 4 # of XOR: *(+*)+77*4=85 # of AND: 64*4=56 Criticl pth: ++*+*=46 gtes

27 Inverter Bsed on Multiply-squre (C) Approch C A A A A 4 (A ) A A A A A 4 A 4 A - A 4 A : # of XOR: 75, # of AND: 4, Criticl pth: 6 gtes # of XOR: 75+*+**+*77=94 # of AND: 4+*64= Criticl pth: 6+*+*+**=8 gtes

28 Inverter bsed on Composite Field The following irreducible polynomils cn be used to construct the composite field of GF( 8 ): GF() GF( ) : P(x)=x +x+ GF( ) GF (( ) ) : P(x)=x +x+φ GF ( ) ) GF ((( ) ) ) : P(x)=x +x+λ φ= {}, λ = {} x x

29 Inverter Bsed on Composite Field Multiplictions over GF( 4 ) cn be further decomposed into GF( ), then into GF(). Multiplictions over GF() re simply AND opertions. φ= {}, λ = {} Block # of gtes Criticl pth XOR XOR x 4 XOR XOR Multiplier in GF( ) 4 XOR + AND XOR + AND Multiplier in GF( 4 ) XOR +9 AND 4 XOR + AND

30 Implementtion of Inversion over GF( 4 ) Approch D: Inversion over GF( 4 ) cn be implemented by multiply-squre for AGF( 4 ), A - =A 4 =A A 4 A 8 4 x x x 4 # of XOR: 54 # of AND: 8 Criticl pth: 4 gtes

31 Approch E: Inversion over GF( 4 ) cn be further decomposed into inversion over GF(( ) ) using the Extended Eucliden lgorithm Implementtion of Inversion over GF( 4 ) x x A ) ) ( ( ) ) ( )( ( ) ( x x x 4 4 # of XOR: 7 # of AND: 9 Criticl pth: 9 gtes

32 Approch F: The bits in A - ={ -, -, -, - } cn be expressed in terms of the bits in A={,,, } by following the computtions done by ech of the blocks in the previous figure Implementtion of Inversion over GF( 4 ) # of XOR: 4 # of AND: 9 Criticl pth: 5 gtes

33 Complexities of Inverters over GF( 8 ) Approch # of XOR # of AND Criticl pth A B C 94 8 D E 6 9 F GF( 8 ) decompose GF(( 4 ) ) GF( 4 ) decompose direct computtion GF(( ) ) E GF( 4 ) F

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring

Natural examples of rings are the ring of integers, a ring of polynomials in one variable, the ring More generlly, we define ring to be non-empty set R hving two binry opertions (we ll think of these s ddition nd multipliction) which is n Abelin group under + (we ll denote the dditive identity by 0),

More information

Math 4310 Solutions to homework 1 Due 9/1/16

Math 4310 Solutions to homework 1 Due 9/1/16 Mth 4310 Solutions to homework 1 Due 9/1/16 1. Use the Eucliden lgorithm to find the following gretest common divisors. () gcd(252, 180) = 36 (b) gcd(513, 187) = 1 (c) gcd(7684, 4148) = 68 252 = 180 1

More information

20 MATHEMATICS POLYNOMIALS

20 MATHEMATICS POLYNOMIALS 0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of

More information

Matrices and Determinants

Matrices and Determinants Nme Chpter 8 Mtrices nd Determinnts Section 8.1 Mtrices nd Systems of Equtions Objective: In this lesson you lerned how to use mtrices, Gussin elimintion, nd Guss-Jordn elimintion to solve systems of liner

More information

Pre-Session Review. Part 1: Basic Algebra; Linear Functions and Graphs

Pre-Session Review. Part 1: Basic Algebra; Linear Functions and Graphs Pre-Session Review Prt 1: Bsic Algebr; Liner Functions nd Grphs A. Generl Review nd Introduction to Algebr Hierrchy of Arithmetic Opertions Opertions in ny expression re performed in the following order:

More information

Introduction To Matrices MCV 4UI Assignment #1

Introduction To Matrices MCV 4UI Assignment #1 Introduction To Mtrices MCV UI Assignment # INTRODUCTION: A mtrix plurl: mtrices) is rectngulr rry of numbers rrnged in rows nd columns Exmples: ) b) c) [ ] d) Ech number ppering in the rry is sid to be

More information

Introduction to Group Theory

Introduction to Group Theory Introduction to Group Theory Let G be n rbitrry set of elements, typiclly denoted s, b, c,, tht is, let G = {, b, c, }. A binry opertion in G is rule tht ssocites with ech ordered pir (,b) of elements

More information

Chapter 14. Matrix Representations of Linear Transformations

Chapter 14. Matrix Representations of Linear Transformations Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn

More information

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac

ARITHMETIC OPERATIONS. The real numbers have the following properties: a b c ab ac REVIEW OF ALGEBRA Here we review the bsic rules nd procedures of lgebr tht you need to know in order to be successful in clculus. ARITHMETIC OPERATIONS The rel numbers hve the following properties: b b

More information

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system

AQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex

More information

Chapter 3. Vector Spaces

Chapter 3. Vector Spaces 3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce

More information

set is not closed under matrix [ multiplication, ] and does not form a group.

set is not closed under matrix [ multiplication, ] and does not form a group. Prolem 2.3: Which of the following collections of 2 2 mtrices with rel entries form groups under [ mtrix ] multipliction? i) Those of the form for which c d 2 Answer: The set of such mtrices is not closed

More information

Theoretical foundations of Gaussian quadrature

Theoretical foundations of Gaussian quadrature Theoreticl foundtions of Gussin qudrture 1 Inner product vector spce Definition 1. A vector spce (or liner spce) is set V = {u, v, w,...} in which the following two opertions re defined: (A) Addition of

More information

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer

(e) if x = y + z and a divides any two of the integers x, y, or z, then a divides the remaining integer Divisibility In this note we introduce the notion of divisibility for two integers nd b then we discuss the division lgorithm. First we give forml definition nd note some properties of the division opertion.

More information

Vectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors:

Vectors , (0,0). 5. A vector is commonly denoted by putting an arrow above its symbol, as in the picture above. Here are some 3-dimensional vectors: Vectors 1-23-2018 I ll look t vectors from n lgeric point of view nd geometric point of view. Algericlly, vector is n ordered list of (usully) rel numers. Here re some 2-dimensionl vectors: (2, 3), ( )

More information

Combinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So.

Combinational Logic. Precedence. Quick Quiz 25/9/12. Schematics à Boolean Expression. 3 Representations of Logic Functions. Dr. Hayden So. 5/9/ Comintionl Logic ENGG05 st Semester, 0 Dr. Hyden So Representtions of Logic Functions Recll tht ny complex logic function cn e expressed in wys: Truth Tle, Boolen Expression, Schemtics Only Truth

More information

ECON 331 Lecture Notes: Ch 4 and Ch 5

ECON 331 Lecture Notes: Ch 4 and Ch 5 Mtrix Algebr ECON 33 Lecture Notes: Ch 4 nd Ch 5. Gives us shorthnd wy of writing lrge system of equtions.. Allows us to test for the existnce of solutions to simultneous systems. 3. Allows us to solve

More information

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics

SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics SCHOOL OF ENGINEERING & BUIL ENVIRONMEN Mthemtics An Introduction to Mtrices Definition of Mtri Size of Mtri Rows nd Columns of Mtri Mtri Addition Sclr Multipliction of Mtri Mtri Multipliction 7 rnspose

More information

Lecture 6. Notes. Notes. Notes. Representations Z A B and A B R. BTE Electronics Fundamentals August Bern University of Applied Sciences

Lecture 6. Notes. Notes. Notes. Representations Z A B and A B R. BTE Electronics Fundamentals August Bern University of Applied Sciences Lecture 6 epresenttions epresenttions TE52 - Electronics Fundmentls ugust 24 ern University of pplied ciences ev. c2d5c88 6. Integers () sign-nd-mgnitude representtion The set of integers contins the Nturl

More information

Absolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real

Absolute values of real numbers. Rational Numbers vs Real Numbers. 1. Definition. Absolute value α of a real Rtionl Numbers vs Rel Numbers 1. Wht is? Answer. is rel number such tht ( ) =. R [ ( ) = ].. Prove tht (i) 1; (ii). Proof. (i) For ny rel numbers x, y, we hve x = y. This is necessry condition, but not

More information

Vyacheslav Telnin. Search for New Numbers.

Vyacheslav Telnin. Search for New Numbers. Vycheslv Telnin Serch for New Numbers. 1 CHAPTER I 2 I.1 Introduction. In 1984, in the first issue for tht yer of the Science nd Life mgzine, I red the rticle "Non-Stndrd Anlysis" by V. Uspensky, in which

More information

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A. 378 Reltions 16.7 Solutions for Chpter 16 Section 16.1 Exercises 1. Let A = {0,1,2,3,4,5}. Write out the reltion R tht expresses > on A. Then illustrte it with digrm. 2 1 R = { (5,4),(5,3),(5,2),(5,1),(5,0),(4,3),(4,2),(4,1),

More information

MathCity.org Merging man and maths

MathCity.org Merging man and maths MthCity.org Merging mn nd mths Exercise.8 (s) Pge 46 Textbook of Algebr nd Trigonometry for Clss XI Avilble online @ http://, Version: 3.0 Question # Opertion performed on the two-member set G = {0, is

More information

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p

THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS. Circa 1870, G. Zolotarev observed that the Legendre symbol ( a p THE QUADRATIC RECIPROCITY LAW OF DUKE-HOPKINS PETE L CLARK Circ 1870, Zolotrev observed tht the Legendre symbol ( p ) cn be interpreted s the sign of multipliction by viewed s permuttion of the set Z/pZ

More information

The usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1

The usual algebraic operations +,, (or ), on real numbers can then be extended to operations on complex numbers in a natural way: ( 2) i = 1 Mth50 Introduction to Differentil Equtions Brief Review of Complex Numbers Complex Numbers No rel number stisfies the eqution x =, since the squre of ny rel number hs to be non-negtive. By introducing

More information

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies

State space systems analysis (continued) Stability. A. Definitions A system is said to be Asymptotically Stable (AS) when it satisfies Stte spce systems nlysis (continued) Stbility A. Definitions A system is sid to be Asymptoticlly Stble (AS) when it stisfies ut () = 0, t > 0 lim xt () 0. t A system is AS if nd only if the impulse response

More information

Geometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio.

Geometric Sequences. Geometric Sequence a sequence whose consecutive terms have a common ratio. Geometric Sequences Geometric Sequence sequence whose consecutive terms hve common rtio. Geometric Sequence A sequence is geometric if the rtios of consecutive terms re the sme. 2 3 4... 2 3 The number

More information

Lecture 2: Fields, Formally

Lecture 2: Fields, Formally Mth 08 Lecture 2: Fields, Formlly Professor: Pdric Brtlett Week UCSB 203 In our first lecture, we studied R, the rel numbers. In prticulr, we exmined how the rel numbers intercted with the opertions of

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design nd Anlysis LECTURE 12 Solving Recurrences Mster Theorem Adm Smith Review Question: Exponentition Problem: Compute b, where b N is n bits long. Question: How mny multiplictions? Nive lgorithm:

More information

Chapter 1: Fundamentals

Chapter 1: Fundamentals Chpter 1: Fundmentls 1.1 Rel Numbers Types of Rel Numbers: Nturl Numbers: {1, 2, 3,...}; These re the counting numbers. Integers: {... 3, 2, 1, 0, 1, 2, 3,...}; These re ll the nturl numbers, their negtives,

More information

28/02/ LECTURE Thursday MATH Linear and Abstract Algebra

28/02/ LECTURE Thursday MATH Linear and Abstract Algebra MATH 2022 Liner nd Abstrct Algebr 28/02/2019 03 LECTURE Thursdy ntroducing groups Recll tht field F is rithmetic with t n t lest two elements hving ( in fct to ) stisfying six xioms : C ) ( H b eff ) @tbltc

More information

Matrices. Elementary Matrix Theory. Definition of a Matrix. Matrix Elements:

Matrices. Elementary Matrix Theory. Definition of a Matrix. Matrix Elements: Mtrices Elementry Mtrix Theory It is often desirble to use mtrix nottion to simplify complex mthemticl expressions. The simplifying mtrix nottion usully mkes the equtions much esier to hndle nd mnipulte.

More information

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24 Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the

More information

Mathematical Foundations of Cryptography

Mathematical Foundations of Cryptography Mathematical Foundations of Cryptography Cryptography is based on mathematics In this chapter we study finite fields, the basis of the Advanced Encryption Standard (AES) and elliptical curve cryptography

More information

Boolean Algebra. Boolean Algebras

Boolean Algebra. Boolean Algebras Boolen Algebr Boolen Algebrs A Boolen lgebr is set B of vlues together with: - two binry opertions, commonly denoted by + nd, - unry opertion, usully denoted by or ~ or, - two elements usully clled zero

More information

Algebraic systems Semi groups and monoids Groups. Subgroups and homomorphisms Cosets Lagrange s theorem. Ring & Fields (Definitions and examples)

Algebraic systems Semi groups and monoids Groups. Subgroups and homomorphisms Cosets Lagrange s theorem. Ring & Fields (Definitions and examples) Prepred y Dr. A.R.VIJAYALAKSHMI Algeric systems Semi groups nd monoids Groups Sugroups nd homomorphms Cosets Lgrnge s theorem Ring & Fields (Definitions nd exmples Stndrd Nottions. N :Set of ll nturl numers.

More information

ad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)

ad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4) 10 Most proofs re left s reding exercises. Definition 10.1. Z = Z {0}. Definition 10.2. Let be the binry reltion defined on Z Z by, b c, d iff d = cb. Theorem 10.3. is n equivlence reltion on Z Z. Proof.

More information

SUMMER KNOWHOW STUDY AND LEARNING CENTRE

SUMMER KNOWHOW STUDY AND LEARNING CENTRE SUMMER KNOWHOW STUDY AND LEARNING CENTRE Indices & Logrithms 2 Contents Indices.2 Frctionl Indices.4 Logrithms 6 Exponentil equtions. Simplifying Surds 13 Opertions on Surds..16 Scientific Nottion..18

More information

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008

Math 520 Final Exam Topic Outline Sections 1 3 (Xiao/Dumas/Liaw) Spring 2008 Mth 520 Finl Exm Topic Outline Sections 1 3 (Xio/Dums/Liw) Spring 2008 The finl exm will be held on Tuesdy, My 13, 2-5pm in 117 McMilln Wht will be covered The finl exm will cover the mteril from ll of

More information

Torsion in Groups of Integral Triangles

Torsion in Groups of Integral Triangles Advnces in Pure Mthemtics, 01,, 116-10 http://dxdoiorg/1046/pm011015 Pulished Online Jnury 01 (http://wwwscirporg/journl/pm) Torsion in Groups of Integrl Tringles Will Murry Deprtment of Mthemtics nd Sttistics,

More information

Lecture 3. Introduction digital logic. Notes. Notes. Notes. Representations. February Bern University of Applied Sciences.

Lecture 3. Introduction digital logic. Notes. Notes. Notes. Representations. February Bern University of Applied Sciences. Lecture 3 Ferury 6 ern University of pplied ciences ev. f57fc 3. We hve seen tht circuit cn hve multiple (n) inputs, e.g.,, C, We hve lso seen tht circuit cn hve multiple (m) outputs, e.g. X, Y,, ; or

More information

Is there an easy way to find examples of such triples? Why yes! Just look at an ordinary multiplication table to find them!

Is there an easy way to find examples of such triples? Why yes! Just look at an ordinary multiplication table to find them! PUSHING PYTHAGORAS 009 Jmes Tnton A triple of integers ( bc,, ) is clled Pythgoren triple if exmple, some clssic triples re ( 3,4,5 ), ( 5,1,13 ), ( ) fond of ( 0,1,9 ) nd ( 119,10,169 ). + b = c. For

More information

Coalgebra, Lecture 15: Equations for Deterministic Automata

Coalgebra, Lecture 15: Equations for Deterministic Automata Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined

More information

THE DISCRETE LOGARITHM PROBLEM IN NON-REPRESENTABLE RINGS

THE DISCRETE LOGARITHM PROBLEM IN NON-REPRESENTABLE RINGS THE DISCRETE LOGARITHM PROBLEM IN NON-REPRESENTABLE RINGS MATAN BANIN AND BOAZ TSABAN Abstrct. Bergmn s Ring E p, prmeterized by prime number p, is ring with p 5 elements tht cnnot be embedded in ring

More information

Infinite Geometric Series

Infinite Geometric Series Infinite Geometric Series Finite Geometric Series ( finite SUM) Let 0 < r < 1, nd let n be positive integer. Consider the finite sum It turns out there is simple lgebric expression tht is equivlent to

More information

Operations with Polynomials

Operations with Polynomials 38 Chpter P Prerequisites P.4 Opertions with Polynomils Wht you should lern: How to identify the leding coefficients nd degrees of polynomils How to dd nd subtrct polynomils How to multiply polynomils

More information

NUMERICAL INTEGRATION

NUMERICAL INTEGRATION NUMERICAL INTEGRATION How do we evlute I = f (x) dx By the fundmentl theorem of clculus, if F (x) is n ntiderivtive of f (x), then I = f (x) dx = F (x) b = F (b) F () However, in prctice most integrls

More information

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38

Theory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38 Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control

More information

INTRODUCTION TO LINEAR ALGEBRA

INTRODUCTION TO LINEAR ALGEBRA ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR AGEBRA Mtrices nd Vectors Prof. Dr. Bülent E. Pltin Spring Sections & / ME Applied Mthemtics for Mechnicl Engineers INTRODUCTION TO INEAR

More information

M A T H F A L L CORRECTION. Algebra I 2 1 / 0 9 / U N I V E R S I T Y O F T O R O N T O

M A T H F A L L CORRECTION. Algebra I 2 1 / 0 9 / U N I V E R S I T Y O F T O R O N T O M A T H 2 4 0 F A L L 2 0 1 4 HOMEWORK ASSIGNMENT #1 CORRECTION Alger I 2 1 / 0 9 / 2 0 1 4 U N I V E R S I T Y O F T O R O N T O 1. Suppose nd re nonzero elements of field F. Using only the field xioms,

More information

very concise description, very nice properties, very easy encoding and, in general, LINEAR CODES 1 u + v C for all u, v C

very concise description, very nice properties, very easy encoding and, in general, LINEAR CODES 1 u + v C for all u, v C HAPTER : LINEAR ODES WHY LINEAR ODES Prt II Liner codes Most of the importnt codes re specil types of so-clled liner codes. Liner codes re of very lrge importnce becuse they hve very concise description,

More information

Compact S-box Hardware Implementation with an Efficient MVP-CSE Algorithm

Compact S-box Hardware Implementation with an Efficient MVP-CSE Algorithm Proceedings of the nterntionl MultiConference of Engineers nd Computer Scientists 05 Vol, MECS 05, Mrch 8-0, 05, Hong Kong Compct S-box Hrdwre mplementtion with n Efficient MVP-CSE Algorithm Xioqing ZHANG,

More information

Control with binary code. William Sandqvist

Control with binary code. William Sandqvist Control with binry code Dec Bin He Oct 218 10 11011010 2 DA 16 332 8 E 1.1c Deciml to Binäry binry weights: 1024 512 256 128 64 32 16 8 4 2 1 71 10? 2 E 1.1c Deciml to Binäry binry weights: 1024 512 256

More information

8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers.

8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers. 8. Complex Numers The rel numer system is dequte for solving mny mthemticl prolems. But it is necessry to extend the rel numer system to solve numer of importnt prolems. Complex numers do not chnge the

More information

Advanced Calculus I (Math 4209) Martin Bohner

Advanced Calculus I (Math 4209) Martin Bohner Advnced Clculus I (Mth 4209) Spring 2018 Lecture Notes Mrtin Bohner Version from My 4, 2018 Author ddress: Deprtment of Mthemtics nd Sttistics, Missouri University of Science nd Technology, Roll, Missouri

More information

ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT

ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT ON THE EXCEPTIONAL SET IN THE PROBLEM OF DIOPHANTUS AND DAVENPORT Andrej Dujell Deprtment of Mthemtics, University of Zgreb, 10000 Zgreb, CROATIA The Greek mthemticin Diophntus of Alexndri noted tht the

More information

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.

Lecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations. Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one

More information

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams

Chapter 4 Contravariance, Covariance, and Spacetime Diagrams Chpter 4 Contrvrince, Covrince, nd Spcetime Digrms 4. The Components of Vector in Skewed Coordintes We hve seen in Chpter 3; figure 3.9, tht in order to show inertil motion tht is consistent with the Lorentz

More information

MATRICES AND VECTORS SPACE

MATRICES AND VECTORS SPACE MATRICES AND VECTORS SPACE MATRICES AND MATRIX OPERATIONS SYSTEM OF LINEAR EQUATIONS DETERMINANTS VECTORS IN -SPACE AND -SPACE GENERAL VECTOR SPACES INNER PRODUCT SPACES EIGENVALUES, EIGENVECTORS LINEAR

More information

Boolean algebra.

Boolean algebra. http://en.wikipedi.org/wiki/elementry_boolen_lger Boolen lger www.tudorgir.com Computer science is not out computers, it is out computtion nd informtion. computtion informtion computer informtion Turing

More information

Pavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University

Pavel Rytí. November 22, 2011 Discrete Math Seminar - Simon Fraser University Geometric representtions of liner codes Pvel Rytí Deprtment of Applied Mthemtics Chrles University in Prgue Advisor: Mrtin Loebl November, 011 Discrete Mth Seminr - Simon Frser University Bckground Liner

More information

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes

Jim Lambers MAT 169 Fall Semester Lecture 4 Notes Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of

More information

On the free product of ordered groups

On the free product of ordered groups rxiv:703.0578v [mth.gr] 6 Mr 207 On the free product of ordered groups A. A. Vinogrdov One of the fundmentl questions of the theory of ordered groups is wht bstrct groups re orderble. E. P. Shimbirev [2]

More information

Theory of Computation Regular Languages

Theory of Computation Regular Languages Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of

More information

Inner-product spaces

Inner-product spaces Inner-product spces Definition: Let V be rel or complex liner spce over F (here R or C). An inner product is n opertion between two elements of V which results in sclr. It is denoted by u, v nd stisfies:

More information

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 MATH 101A: ALGEBRA I PART B: RINGS AND MODULES 35 9. Modules over PID This week we re proving the fundmentl theorem for finitely generted modules over PID, nmely tht they re ll direct sums of cyclic modules.

More information

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8

17 Galois Fields Introduction Primitive Elements Roots of Polynomials... 8 Contents 17 Galois Fields 2 17.1 Introduction............................... 2 17.2 Irreducible Polynomials, Construction of GF(q m )... 3 17.3 Primitive Elements... 6 17.4 Roots of Polynomials..........................

More information

The Algebra (al-jabr) of Matrices

The Algebra (al-jabr) of Matrices Section : Mtri lgebr nd Clculus Wshkewicz College of Engineering he lgebr (l-jbr) of Mtrices lgebr s brnch of mthemtics is much broder thn elementry lgebr ll of us studied in our high school dys. In sense

More information

Operations Algorithms on Quantum Computer

Operations Algorithms on Quantum Computer IJCSNS Interntionl Journl of Computer Science nd Network Security, VOL. No., Jnury 2 85 Opertions Algorithms on Quntum Computer Moyd A. Fhdil, Ali Foud Al-Azwi, nd Smmer Sid Informtion Technology Fculty,

More information

Higher Checklist (Unit 3) Higher Checklist (Unit 3) Vectors

Higher Checklist (Unit 3) Higher Checklist (Unit 3) Vectors Vectors Skill Achieved? Know tht sclr is quntity tht hs only size (no direction) Identify rel-life exmples of sclrs such s, temperture, mss, distnce, time, speed, energy nd electric chrge Know tht vector

More information

Frobenius numbers of generalized Fibonacci semigroups

Frobenius numbers of generalized Fibonacci semigroups Frobenius numbers of generlized Fiboncci semigroups Gretchen L. Mtthews 1 Deprtment of Mthemticl Sciences, Clemson University, Clemson, SC 29634-0975, USA gmtthe@clemson.edu Received:, Accepted:, Published:

More information

expression simply by forming an OR of the ANDs of all input variables for which the output is

expression simply by forming an OR of the ANDs of all input variables for which the output is 2.4 Logic Minimiztion nd Krnugh Mps As we found ove, given truth tle, it is lwys possile to write down correct logic expression simply y forming n OR of the ANDs of ll input vriles for which the output

More information

Best Approximation. Chapter The General Case

Best Approximation. Chapter The General Case Chpter 4 Best Approximtion 4.1 The Generl Cse In the previous chpter, we hve seen how n interpolting polynomil cn be used s n pproximtion to given function. We now wnt to find the best pproximtion to given

More information

EECS 141 Due 04/19/02, 5pm, in 558 Cory

EECS 141 Due 04/19/02, 5pm, in 558 Cory UIVERSITY OF CALIFORIA College of Engineering Deprtment of Electricl Engineering nd Computer Sciences Lst modified on April 8, 2002 y Tufn Krlr (tufn@eecs.erkeley.edu) Jn M. Rey, Andrei Vldemirescu Homework

More information

Boolean Algebra. Boolean Algebra

Boolean Algebra. Boolean Algebra Boolen Alger Boolen Alger A Boolen lger is set B of vlues together with: - two inry opertions, commonly denoted y + nd, - unry opertion, usully denoted y ˉ or ~ or, - two elements usully clled zero nd

More information

Intuitionistic Fuzzy Lattices and Intuitionistic Fuzzy Boolean Algebras

Intuitionistic Fuzzy Lattices and Intuitionistic Fuzzy Boolean Algebras Intuitionistic Fuzzy Lttices nd Intuitionistic Fuzzy oolen Algebrs.K. Tripthy #1, M.K. Stpthy *2 nd P.K.Choudhury ##3 # School of Computing Science nd Engineering VIT University Vellore-632014, TN, Indi

More information

Chapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY

Chapter 3 MATRIX. In this chapter: 3.1 MATRIX NOTATION AND TERMINOLOGY Chpter 3 MTRIX In this chpter: Definition nd terms Specil Mtrices Mtrix Opertion: Trnspose, Equlity, Sum, Difference, Sclr Multipliction, Mtrix Multipliction, Determinnt, Inverse ppliction of Mtrix in

More information

308K. 1 Section 3.2. Zelaya Eufemia. 1. Example 1: Multiplication of Matrices: X Y Z R S R S X Y Z. By associativity we have to choices:

308K. 1 Section 3.2. Zelaya Eufemia. 1. Example 1: Multiplication of Matrices: X Y Z R S R S X Y Z. By associativity we have to choices: 8K Zely Eufemi Section 2 Exmple : Multipliction of Mtrices: X Y Z T c e d f 2 R S X Y Z 2 c e d f 2 R S 2 By ssocitivity we hve to choices: OR: X Y Z R S cr ds er fs X cy ez X dy fz 2 R S 2 Suggestion

More information

Strong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation

Strong Bisimulation. Overview. References. Actions Labeled transition system Transition semantics Simulation Bisimulation Strong Bisimultion Overview Actions Lbeled trnsition system Trnsition semntics Simultion Bisimultion References Robin Milner, Communiction nd Concurrency Robin Milner, Communicting nd Mobil Systems 32

More information

Finite Fields. SOLUTIONS Network Coding - Prof. Frank H.P. Fitzek

Finite Fields. SOLUTIONS Network Coding - Prof. Frank H.P. Fitzek Finite Fields In practice most finite field applications e.g. cryptography and error correcting codes utilizes a specific type of finite fields, namely the binary extension fields. The following exercises

More information

REPRESENTATION THEORY OF PSL 2 (q)

REPRESENTATION THEORY OF PSL 2 (q) REPRESENTATION THEORY OF PSL (q) YAQIAO LI Following re notes from book [1]. The im is to show the qusirndomness of PSL (q), i.e., the group hs no low dimensionl representtion. 1. Representtion Theory

More information

MATH 573 FINAL EXAM. May 30, 2007

MATH 573 FINAL EXAM. May 30, 2007 MATH 573 FINAL EXAM My 30, 007 NAME: Solutions 1. This exm is due Wednesdy, June 6 efore the 1:30 pm. After 1:30 pm I will NOT ccept the exm.. This exm hs 1 pges including this cover. There re 10 prolems.

More information

THE DISCRIMINANT & ITS APPLICATIONS

THE DISCRIMINANT & ITS APPLICATIONS THE DISCRIMINANT & ITS APPLICATIONS The discriminnt ( Δ ) is the epression tht is locted under the squre root sign in the qudrtic formul i.e. Δ b c. For emple: Given +, Δ () ( )() The discriminnt is used

More information

The Regulated and Riemann Integrals

The Regulated and Riemann Integrals Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue

More information

CHAPTER 9. Rational Numbers, Real Numbers, and Algebra

CHAPTER 9. Rational Numbers, Real Numbers, and Algebra CHAPTER 9 Rtionl Numbers, Rel Numbers, nd Algebr Problem. A mn s boyhood lsted 1 6 of his life, he then plyed soccer for 1 12 of his life, nd he mrried fter 1 8 more of his life. A dughter ws born 9 yers

More information

13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS

13.3 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS 33 CLASSICAL STRAIGHTEDGE AND COMPASS CONSTRUCTIONS As simple ppliction of the results we hve obtined on lgebric extensions, nd in prticulr on the multiplictivity of extension degrees, we cn nswer (in

More information

Zero-Sum Magic Graphs and Their Null Sets

Zero-Sum Magic Graphs and Their Null Sets Zero-Sum Mgic Grphs nd Their Null Sets Ebrhim Slehi Deprtment of Mthemticl Sciences University of Nevd Ls Vegs Ls Vegs, NV 89154-4020. ebrhim.slehi@unlv.edu Abstrct For ny h N, grph G = (V, E) is sid to

More information

Things to Memorize: A Partial List. January 27, 2017

Things to Memorize: A Partial List. January 27, 2017 Things to Memorize: A Prtil List Jnury 27, 2017 Chpter 2 Vectors - Bsic Fcts A vector hs mgnitude (lso clled size/length/norm) nd direction. It does not hve fixed position, so the sme vector cn e moved

More information

302 CHAPTER 17 ~ NUMBER THEORY AND CRYPTOLOGY

302 CHAPTER 17 ~ NUMBER THEORY AND CRYPTOLOGY 302 CHAPTER 17 ~ NUMBER THEORY AND CRYPTOLOGY A slightly different tke on this proof relies on the fct tht ny non-empty set of positive integers hs smllest number (This fct is equivlent to mth induction)

More information

fractions Let s Learn to

fractions Let s Learn to 5 simple lgebric frctions corne lens pupil retin Norml vision light focused on the retin concve lens Shortsightedness (myopi) light focused in front of the retin Corrected myopi light focused on the retin

More information

arxiv: v2 [cs.cr] 8 Sep 2012

arxiv: v2 [cs.cr] 8 Sep 2012 THE DISCRETE LOGARITHM PROBLEM IN BERGMAN S NON-REPRESENTABLE RING MATAN BANIN AND BOAZ TSABAN rxiv:1206.1077v2 [cs.cr] 8 Sep 2012 Abstrct. Bergmn s Ring E p, prmeterized by prime number p, is ring with

More information

Yet Another Cartesian Cubical Type Theory

Yet Another Cartesian Cubical Type Theory Yet Another Crtesin Cubicl Type Theory Anders Mörtberg Crnegie Mellon University nd University of Gothenburg Types, Homotopy Type theory, nd Verifiction HIM Bonn June 6, 2018 Anders Mörtberg June 6, 2018

More information

High-Speed Inverse Square Roots

High-Speed Inverse Square Roots High-Speed Inverse Squre Roots Michel J. Schulte nd Kent E. Wires Computer Architecture nd Arithmetic Lbortory Electricl Engineering nd Computer Science Deprtment Lehigh University Bethlehem, PA 18015,

More information

Math 130 Midterm Review

Math 130 Midterm Review Mth 130 Midterm Review April 6, 2013 1 Topic Outline: The following outline contins ll of the mjor topics tht you will need to know for the exm. Any topic tht we ve discussed in clss so fr my pper on the

More information

1 The Lagrange interpolation formula

1 The Lagrange interpolation formula Notes on Qudrture 1 The Lgrnge interpoltion formul We briefly recll the Lgrnge interpoltion formul. The strting point is collection of N + 1 rel points (x 0, y 0 ), (x 1, y 1 ),..., (x N, y N ), with x

More information

Orthogonal Polynomials

Orthogonal Polynomials Mth 4401 Gussin Qudrture Pge 1 Orthogonl Polynomils Orthogonl polynomils rise from series solutions to differentil equtions, lthough they cn be rrived t in vriety of different mnners. Orthogonl polynomils

More information

September 13 Homework Solutions

September 13 Homework Solutions College of Engineering nd Computer Science Mechnicl Engineering Deprtment Mechnicl Engineering 5A Seminr in Engineering Anlysis Fll Ticket: 5966 Instructor: Lrry Cretto Septemer Homework Solutions. Are

More information

KNOWLEDGE-BASED AGENTS INFERENCE

KNOWLEDGE-BASED AGENTS INFERENCE AGENTS THAT REASON LOGICALLY KNOWLEDGE-BASED AGENTS Two components: knowledge bse, nd n inference engine. Declrtive pproch to building n gent. We tell it wht it needs to know, nd It cn sk itself wht to

More information

Abstract inner product spaces

Abstract inner product spaces WEEK 4 Abstrct inner product spces Definition An inner product spce is vector spce V over the rel field R equipped with rule for multiplying vectors, such tht the product of two vectors is sclr, nd the

More information

Polynomials and Division Theory

Polynomials and Division Theory Higher Checklist (Unit ) Higher Checklist (Unit ) Polynomils nd Division Theory Skill Achieved? Know tht polynomil (expression) is of the form: n x + n x n + n x n + + n x + x + 0 where the i R re the

More information