Finite Field Arithmetic and Implementations. Xinmiao Zhang Case Western Reserve University
|
|
- Irma Webb
- 5 years ago
- Views:
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
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 informationMath 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 information20 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 informationMatrices 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 informationPre-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 informationIntroduction 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 informationIntroduction 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 informationChapter 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 informationARITHMETIC 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 informationAQA 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 informationChapter 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 informationset 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 informationTheoretical 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
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 informationVectors , (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 informationCombinational 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 informationECON 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 informationSCHOOL 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 informationLecture 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 informationAbsolute 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 informationVyacheslav 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 information378 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 informationMathCity.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 informationTHE 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 informationThe 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 informationState 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 informationGeometric 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 informationLecture 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 informationAlgorithm 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 informationChapter 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 information28/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 informationMatrices. 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 informationMatrix 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 informationMathematical 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 informationBoolean 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 informationAlgebraic 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 informationad = 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 informationSUMMER 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 informationMath 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 informationTorsion 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 informationLecture 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 informationIs 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 informationCoalgebra, 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 informationTHE 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 informationInfinite 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 informationOperations 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 informationNUMERICAL 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 informationTheory 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 informationINTRODUCTION 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 informationM 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 informationvery 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 informationCompact 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 informationControl 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 information8. 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 informationAdvanced 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 informationON 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 informationLecture 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 informationChapter 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 informationMATRICES 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 informationBoolean 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 informationPavel 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 informationJim 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 informationOn 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 informationTheory 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 informationInner-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 informationMATH 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 information17 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 informationThe 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 informationOperations 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 informationHigher 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 informationFrobenius 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 informationexpression 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 informationBest 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 informationEECS 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 informationBoolean 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 informationIntuitionistic 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 informationChapter 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 information308K. 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 informationStrong 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 informationFinite 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 informationREPRESENTATION 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 informationMATH 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 informationTHE 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 informationThe 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 informationCHAPTER 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 information13.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 informationZero-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 informationThings 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 information302 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 informationfractions 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 informationarxiv: 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 informationYet 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 informationHigh-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 informationMath 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 information1 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 informationOrthogonal 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 informationSeptember 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 informationKNOWLEDGE-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 informationAbstract 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 informationPolynomials 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