Galois Fields, Linear Feedback Shift Registers and their Applications

Size: px
Start display at page:

Download "Galois Fields, Linear Feedback Shift Registers and their Applications"

Transcription

1 Galois Fields, Linear Feedback Shift Registers and their Alications With 85 illustrations as well as numerous tables, diagrams and examles by Ulrich Jetzek ISBN (Book): ISBN (E-Book): For further information and order see htt:// Carl Hanser Verlag, München

2 Acknowledgements First of all, I would like to thank all the students I have been working with. All their questions, comments and remarks during my various lectures showed an intense interest in Galois Fields, Linear Feedback Shift Registers and their alications. This was a strong motivation moment to write this book. Furthermore, I am grateful for the cooeration I had with the editor of Hanser Fachbuchverlag, Mrs. Mirja Werner. From the very beginning she had trust in my idea about this book and always suorted me in writing this book. We had several fruitful discussions regarding structure, content and details of this book. I would also like to thank the editor, Mrs. Natalia Silakova, who accomanied me in the finalization hase of this book. Many other eole contributed to this book. Therefore, I would also like to thank all those eole who are not mentioned exlicitly in this section. Finally, my thanks go to my family my wife Carola and my children Julia, Franziska and Christian. They always showed lots of understanding while I was writing this book. And they had lots of atience when I (unfortunately) had no time to share and enjoy together with them. Remark: The author of this book has written and described the entire content of this book to his best knowledge. However, the author does not take any resonsibility for any develoments and/or roducts which may have been develoed based on the content of this book. The book is intended as a textbook to get acquainted with Galois Fields, Linear Feedback Shift Registers and their alications. Therefore, the reader is required to make sure by himself whether any software or hardware imlementation or any roduct derived from the content of this book works as wanted.

3 Contents 1 Introduction Finite Grous and Fields Modular Arithmetic Grous,Rings andfields Galois Fields PrimeFields ExistenceofPrimeFields Generators ofprimefields Multilicative Inverses inprimefields Cyclic StructureofPrimeFields ExtensionFields ExistenceofExtension Fields Irreducible Polynomials Modular Arithmeticover Polynomials Primitive or Generator Polynomials Lessonslearned Exercises Working with Extension Fields Primitive Polynomial Reresentations Addition over Extension Fields Multilication over Extension Fields Multilication inolynomial form Multilication by meansofstringreresentation Multilication using therimitive olynomial Multilicative Inversewithin ExtensionFields Lessonslearned Exercises... 55

4 10 Contents 4 Linear Feedback Shift Registers Ring Counters Johnson Counters Design of Linear Feedback Shift Registers Based on Galois Field Theory Design of linear feedback shift register circuits basedon rimitiveolynomials LFSRs basedonirreducible (non-rimitive) olynomials LFSRs basedonreducible olynomials Furthertoics relatedto linear feedbackshiftregisters Checking if a secific olynomial is rimitive, irreducible or reducible A systematic way of how to determine rimitive olynomials LessonsLearned Exercises Correlation Functions and Pseudo-random Sequences Correlation Functions MaximumLengthSequences(m-Sequences) Real random sequencesandtheir roerties Proerties ofm-sequences Lessonslearned Exercises Alications of Galois Fields and Linear Feedback Shift Registers LFSRs withintheglobal Positioning System(GPS) The Positioning Princile ofgps GPS codes C/A-code generation within the Global Positioning System (GPS) P-code Generation withintheglobal Positioning System DataTransmissionin GPS The sreading rincile

5 Contents LFSRs ingalileo Motivation behind GALILEO HistoryofGALILEO GALILEOServices GALILEOandGPS comarison GALILEOoen-service (OS) systemcodes LFSRAlications incrytograhy A5/1 astream ciherusedin GSM Trivium Cyclic Redundancy Checks (CRC) Using LFSRs Thecoreidea ofcrc Themathematicaldescritionof CRC Imlementation asectsofcrc Otimizing CRC-calculation Lessonslearned Exercises Aendix Problem Solutions Solutions to roblems in Chater Solutions to roblems in Chater Solutions to roblems in Chater Solutions to roblems in Chater Solutions to roblems in Chater Listofrimitiveandirreducible olynomials Index

6 2.3 Galois Fields Isolation: a) a,b F it holds that a + b = c F b) a,b F it holds that a b = d F 2. Associativity: a) a,b,c F it holds that (a + b) + c = a + (b + c) b) a,b,c F it holds that (a b) c = a (b c) 3. Neutral element: a) Regarding addition, there exists an element 0 F, so that a + 0 = a F a F b) Regarding multilication, there exists an element 1 F,so that a 1 = a F a F 4. Inverse element: a) For each element a F there exists an additive inverse element ( a), so that a + ( a) = 0 (neutral element of addition). b) For all elements a F \0 there exists a multilicative inverse element a 1 F so that a a 1 = 1 F. 5. Distributivity law: a field F obeys the distributivity law, i.e. a,b,c F :(a + b) c = (a c) + (b c) Examles The set of real numbers R and the set of comlex numbers C each form a field. Both fields have an infinite number of elements. 2.3 Galois Fields In the last section we defined the algebraic structures of grous, rings and fields. These definitions are valid for element sets with an infinite number as well as for those with a finite number. Fields based uonafinitenumberofelementsareof articular interest when it comes to technical alications in crytograhy, channel coding, mobile communication or navigation systems. Therefore, in the following sections we will focus on such finite fields, which are called Galois Fields. For that urose, we will now have a closer look at element sets of the form Z m = {0,1,2,3,...,m 1}. If we aly modulo-m-addition and modulo-m-multilication, such a set will always obey the isolation roerty, i.e. the result of any oeration will always be within the given set of elements. In addition, it is obvious

7 24 2 Finite Grous and Fields that such sets contain the neutral element of addition, namely 0, as well as the neutral element of multilication, namely 1. Without roof it shall be stated that associativity, commutativity as well as the distributivity law are fulfilled. However, one question remains: For which elements of Z m does a multilicative inverse exist? In order to answer this question, let us first consider the case in which m is a comosite number, i.e. m is the roduct of at least two rimes 1 and 2. m = 1 2 (2.1) Since the condition 2 1, 2 m 1holds, 1 and 2 themselves are elements of Z m. Suose we want to check if 1 has a multilicative inverse w.r.t. modulus m. According to the definition of the multilicative inverse, the following condition must hold: mod m 1 (2.2) Looking for the multilicative inverse of 1 means looking for some element 1 1 Z m so that the Equation (2.2) is fulfilled. Therefore, if we check the multiles of 1,i.e. 1,2 1,3 1,..., thesewill be greater than 1 itself as long as the roduct is smaller than m. Ifwemultily 1 by 2 or calculate 1 2,theresultmodular m is identical to 0. However, if we multily 1 by ( 2 + 1) or calculate 1 ( 1 + 1) and assume that 1 = 2or 2 = 2, i.e. the smallest rime, then the roduct modular m will be at least 2. Hence, no multilicative inverse exists in this case. Therefore, it is imossible to build a field on any comosite integer m. A finite set of elements Z m = {0,1,2,3,...,m 1}, where m is comosite, will always form a ring together with the two oerations addition and multilication. An element a has a multilicative inverse a 1 mod m if and only if the greatest common divisor (gcd) of m and a is equal to one, i.e. if m and a are said to be relatively rime, gcd(m, a) = 1. Let us look at an examle. Examle: Suose m = 6. Z 6 = {0,1,2,3,4,5} The multilication table for this Z 6 is given by:

8 2.3 Galois Fields 25 Withresecttothegivenexamle,itisobviousthatform = 6 = 2 3, the elements 2 and 3 are not relatively rime with resect to m = 6 and therefore do NOT have a multilicative inverse. (Neither does the element 4 have a multilicative inverse, since the gcd (m = 6,4) = 2 is also greater than one Prime Fields In order to better understand the structure and handling of rime fields, we need to answer a few questions. For which rimes does a finite field exist? What is a generator of a field? The answers are rovided in the following sections Existence of Prime Fields An essential message about the existence of Prime Fields is stated within the following theorem, namely, that we can generate a Prime Field over any rime integer. Theorem: Existence of Prime Fields The set of elements GF() = {0,1,2,3,..., 1}, where is a rime, forms afield. GF() is named Galois Field or Prime Field with characteristic. Hence, the smallest field that exists is GF(2) = {0,1}. Table 2.1 Addition and Multilication Table of GF(2) Addition mod 2 Multilication mod If we want to imlement modular-2-arithmetic in a digital circuit, it is interesting to see that modular-2-addition directly corresonds to an exclusive-or, XOR-oeration, while modular-2-multilication directly corresonds to an ANDoeration. Let us look at another examle: GF(7) = {0,1,2,3,4,5,6},where = 7isarime

9 26 2 Finite Grous and Fields Examle: GF(7) = {0,1,2,3,4,5,6},where = 7isarime Table 2.2 Addition Table of GF(7) One asect which can be directly derived from Table 2.2 is that the additive inverse ( a) of any element a is not a negative integer, but rather the element which adds u to zero modulus 7. If a = 2, then ( a) = 2 mod7 5, since 2 + 5mod7 0. Table 2.3 Multilication Table of GF(7) Since each row of the multilication table contains a 1 as a result, each element of the given set has a multilicative inverse. Choose an element a by selecting a secific row, then find the 1 -entry of multilication. The corresonding column contains the multilicative inverse a 1 mod 7. Forlargervaluesofrimes it may, of course, not be so convenient to write down the multilication table. Therefore, in general, the multilicative inverse a 1 mod can be calculated by means of the so-called Extended Euclidean Algorithm (EEA). For a detailed descrition of the EEA the interested reader is referred to e.g. [1]

10 2.3 Galois Fields Generators of Prime Fields Within this section we will see that there exists a second method to determine the multilicative inverse of any element a of GF(). The idea of this method is to make use of a generator or a rimitive element of GF(). Suose we calculate the different owers of an element of the rime field GF(): y = i mod with i = 1,2,3,..., 1 (2.3) Since multilication is done with modulus, we can be sure that y will be an integer of GF()foreachi. Definition: Generator or rimitive element of GF() An element for which all owers i mod with i = 1,2,3,..., 1yield all elements of GF() excet 0, is called a generator or a rimitive element of GF(). According to [2] the following statement alies. Theorem: Existence of generators for Prime Fields GF() Every rime field or Galois Field GF() = {0,1,2,3,..., 1} contains at least one generator or rimitive element. At the same time, it needs to be noted that not all elements of GF()aregenerators of the field. Since a 0 mod 1, there must exist an integer i 0 0, so that a i 0 mod 1. The smallest ositive integer i 0 for which the given condition is fulfilled is called the order of the element a,ord(a). Therefore, if and only if an element a has the order 1, this element is a generator of GF(). Table 2.4 showstheowersofallelementsofgf(17). The first column shows the increasing exonent while the first row lists all elements of GF(17). In a secific column the various owers of the element a shown in the to row, i.e. a i mod 17, are resented in the table. The bottom row shows the order for each element a. One imortant observation is that the element orders are different from the elements of GF(17). Another oint to note is that in total 8 elements (3,5,6,7,10,11, 12,14) with the element order equal to 16 exist. Each of these elements is a generator of GF(17).

11 28 2 Finite Grous and Fields Examle: Galois Field GF(17) Table 2.4 Element orders of GF(17) a = i a i mod ord(a) = Therefore, if we identify a generator of GF(), we may create a looku table containing all owers of, i.e. all elements of GF() Multilicative Inverses in Prime Fields In order to find the multilicative inverse for a secific element a we can make use of the ower laws of modulus. For any multilicative inverse the following condition must hold: a a 1 mod 1 i j mod 1 (2.4) Since is a generator, 1 mod 1. Therefore, if we want to identify the multilicative inverse for any element a i mod, the exonent of the mulitlicative inverse a 1 mod j mod can easily be calculated by using the condition

12 2.3 Galois Fields 29 that i + j 1 and therefore j = ( 1) i (2.5) Examle Suose we want to determine the multilicative inverse of a = 13 in GF(17). Case 1: As a generator we will use the element = 3. a = mod 17 According to Equation (2.5) the generator exonent j of the multilicative inverse is equal to: j = (17 1) 4 = 12. Therefore, the multilicative inverse can be found in the looku table as: 12 mod mod 17 4 Case 2: As a generator we will use the element = 10 a = mod 17 According to Equation (2.5) the generator exonent j of the multilicative inverse is equal to: j = (17 1) 12 = 4. Therefore, the multilicative inverse can be found in the looku table as: 4 mod mod 17 4 Therefore, if it is ossible to generate a looku table, as shown for the owers of all elements of GF(17) in Table 2.4, it is easyto findthe multilicative inverse for any element a of GF(). It should, however, be noted that, for examle in crytograhic alications, rime fields with a large characteristic are needed. Large in this case means rimes consisting of 300 or more decimals. In such cases it will, of course, not be ossible to create a looku table. However, a different way of finding the multilicative inverse for an element a in GF() is to use the Extended Euclidean Algorithm. For a detailed descrition regarding this algorithm, the reader is referred to [1] Cyclic Structure of Prime Fields It is imortant to note that with resect to a generator of a Prime Field GF(), a cyclic structure is created in the following way:

13 30 2 Finite Grous and Fields mod mod mod mod mod mod mod mod mod Figure 2.3 Exonents of the rimitive element A grahical reresentation of this cyclic structure is shown in Figure 2.4 for the Prime Field GF(17) using the generator = 3. Within the figure each arrow denotes the following: take the element at the beginning of the arrow, multily this element with the generator modulus (in the given examle: 3 mod 17.).The result yields the end of the arrow Figure 2.4 Cyclic structure of Prime Field GF(17), generator: = 3

14 2.3 Galois Fields 31 One imortant roerty of this cyclic structure is the fact that the element 0 is never art of the described cyclic structure Extension Fields In Section we introduced the smallest Prime Field, namely GF(2) containing only the elements {0,1}. Although digital systems are based on the mentioned element set {0,1}, we usually work with larger numbers reresented in binary format. Therefore, two questions arise. Is it advantageous to work with Prime Fields in technical systems? Which disadvantages do we need to take into account? Letushavealookatasimleexamle.SuoseweworkwiththePrimeField GF(67).Since =67 is arimenumber,the setofelements {0,1,2,3,...,65,66}definitely forms a field, i.e. we can erform addition and multilication within the field. While the modular oeration is erformed, the field is closed, i.e. the result of any addition or multilication will result in an element of the Prime Field GF(67). Associativity and commutativity are fulfilled, and finally each element a contains an additive inverse a ( a + ) mod and a multilicative inverse a 1 mod. However, if we reresent each element of this rime field in binary format, e.g. in order to imlement our Galois Fields oerations in software or hardware, we need tonote the following (seefigure 2.5): 0 = = = = = = = = = = = = = elements of GF(67) Overhead (61 numbers) Figure Bit reresentation needed for GF(67) Since = 67 is larger than 64 = 2 6, we need 7 bits to reresent all elements of GF(67). However, in the case of 7-bit reresentation it is ossible to handle 128

15 32 2 Finite Grous and Fields different numbers, hence 61 numbers are not used, and we need to accet a large overhead. If we look at technical systems, in articular comuter systems, data is most often arranged in bytes whereas 8 bits form a single byte or in multile bytes, e.g. 16 or 32 bits. Therefore, the question is whether it is ossible to generate fields which do not have a rime number of elements, but rather a ower of 2 elements, i.e. 2 m elements Existence of Extension Fields It is ossible to generate such fields, these are called extension fields and the following theorem holds. Theorem: Existence of Extension Fields For any rime and any ositive integer m it is ossible to generate a Galois Field GF( m ). We call this field an Extension Field with a characteristic and an extension m. The Extension Field GF( m )containsn = m elements. It should be noted that the above theorem is the generalization of the corresonding theorem stating the existence of Prime Fields (comare Section 2.3.1). In Section we saw that eachelement of a rime field GF()isasingleinteger within the range 0,1,2,..., 1. Since we extended the Pime Field GF() bythe exonent m, each element of an extension field is an m-elementary vector of the following format: (a m 1 a m 2 a m 3...a 1 a 0 ) with a i 0,1,2,..., 1fori = 0,1,2,...,m 1 A second interretation of the field elements is to consider each element to be a olynomial of degree m 1. ( am 1 x m 1 + a m 2 x m 2 + a m 3 x m 3 + +a 1 x 1 + a 0 x 0) with a i 0,1,2,..., 1fori = 0,1,2,...,m 1 Although the above theorem states that we may generate an extension field with the hel of any rime, in the following sections we will focus on extension fields with the characteristic = 2, i.e. we will articularly look at the extension fields of the form GF(2 m ). The reason for this restriction is simle, namely that most alications of extension fields are imlemented in digital systems and therefore we need to work with binary vectors of various lengths.

16 2.3 Galois Fields 33 In the revious aragrah, we introduced two different reresentations of extension field elements. It is imortant to see that even a single integer like 0 or 1 needs to be seen as a olynomial of degree m 1 if it is an element of an extension field. The same alies to terms like x or x 2. Examle Let us have a look at the elements of the Extension Field GF(2 4 ). Vector reresentation Polynomial reresentation x 3 + 0x 2 + 0x 1 + 0x x 3 + 0x 2 + 0x 1 + 1x x 3 + 0x 2 + 1x 1 + 0x x 3 + 0x 2 + 1x 1 + 1x x 3 + 1x 2 + 0x 1 + 0x x 3 + 1x 2 + 1x 1 + 1x 0 We can see that in total 2 4 = 16 elements exist in GF(2 4 ) Irreducible Polynomials In order to work with the extension field elements, we need to understand how modular oerations are erformed within extension fields. In Section we demonstrated that addition and multilication in a rime field GF()isdonewith modulus, where is, of course, a rime. Since the field elements of extension fields are olynomials, multilication within an extension field GF( m )isdone modularly with a certain olynomial (x). The largest field element of a rime field GF() alwaysis 1, and the alied modulus must be larger than the greatest field element. Hence, we erform additions and multilications in GF() with modulus. The analog regarding extension fields is that all elements of the extension field GF( m )areolynomials of degree m 1. Hence the olynomial used for modular oerations must be of a higher degree, namely of degree m. The second asect concerns the roerties of the modulus. In a rime field GF() the modulus is a rime and is therefore only divisible by itself and by one. Let us recall why it is of significance that is rime. Within a rime field it is ossible to erform addition and multilication and also to erform the inverse functions,

17 34 2 Finite Grous and Fields i.e. subtraction and inverse multilication.esecially the latter oeration requires that all elements of the rime field excet 0 have a multilicative inverse. This is the case only if all elements (excet 0) are relatively rime w.r.t.,i.e.thegreatest common divisor for and any rime field element a must be equal to one, i.e. the gcd(, a) = 1. The analog w.r.t. extension fields means that we need a modular olynomial (x), for which the following condition must hold. If and only if the olynomial (x) is relatively rime in regard to all extension field elements a(x) excet the 0-olynomial, then for any extension field element a(x) excet the 0-olynomial a multilicative inverse will exist. Definition: Irreducible olynomial i (x) A olynomial i(x)ofdegreem is said to be irreducible if it cannot be exressed as the roduct of at least two olynomials of lower degree k < m. Definition: Reducible olynomial r (x) A olynomial r (x) ofdegreem is said to reducible if it can be exressed as the roduct of at least two olynomials of lower degree k < m. In order to continue with our analogies, we can state that an irreducible olynomial i(x) in the world of extension fields is the analog of a rime in the world of rime fields, and that a reducible olynomial r (x)in the world of extension fields is the analog of a comosite number in the world of rime fields. Let us have a look at an examle for the extension field GF(2 4 ). Examle r (x) = x 4 + x 2 + x = x (x 3 + x + 1) r (x) isreducible (x) = x 4 + x 3 + x 2 + x + 1 (x) isirreducible For r (x) it is obvious that a olynomial of degree one, namely x, is contained in each summand of the olynomial r (x). Therefore x can be extracted, and we can rewrite r (x)asaroductoftwoolynomialsoflowerdegree.itisthereforeobvious that r (x)isreducible. Without roof, we can state that the olynomial (x) in the above examle is irreducible. If we look at r (x) in the above examle, we can directly conclude that it is a necessary condition that (x) does not contain any zeroes within GF(). This means that if we calculate the value of (x)forallossiblevalues 0,1,2,..., 1andtake

18 2.3 Galois Fields 35 the result modulus, the result will never be equal to zero. The question, however, remains if this condition is not only necessary, but also sufficient for a olynomial to be irreducible. Let us have a look at an examle. Examle r (x) = x 4 + x For: x = 0: r (0) = = 1mod21 x = 1: r (1) = = 3mod21 We have thus roven that r (x) does not contain any zeroes within GF(2). Hence, we might assumer (x) to be irreducible. However, we can write r (x) as: r (x) = (x 2 + x + 1) (x 2 + x + 1) = x 4 + x 3 + x 2 + x 3 + x 2 + x + x 2 + x + 1 = x 4 + 2x 3 + 3x 2 + 2x + 1 x 4 + x The above equation shows the result if we square the term (x 2 + x + 1). The second line shows all summands of the roduct. As we stated at the beginning of Section , the elements of an extension field, in our case GF(2 4 ), are olynomials with coefficients of GF(), in our case coefficients of GF(2) = {0,1}. Hence, for all resulting summands of our roducts, the coefficients are calculated with the hel of modulus, in our case, modulus 2. Therefore, 2x 3 mod 2 0, and 2x mod 2 0. And finally, 3x 2 mod 2 1x 2. The above examle roves that the condition that (x) does not contain any zeroes within GF()isNOTsufficienttobesurethat(x)isirreducible. To summarize this section, we need to state the following oints. For an irreducible olynomial i(x) it is a necessary, but not a sufficient condition that it does not contain any zeroes within GF(), i.e. it cannot be exressed as the roduct of at least two olynomials of lower degree. An irreducible olynomial i(x) ofdegreem over GF() sans an extension field GF( m )with m elements, where each element is a olynomial of degree m 1.

19 Index A A5/1 14 autocorrelation function 86 eriodic86 B balance roerty 92 C CDMA 99 sreading112 cihers symmetric 133 Code Division Multile Access (CDMA) 155 correlation function 84 correlation receiver 113 counter 60 Johnson counter 62 ringcounter60 CRC 141 imlementation asects 148 mathematical descrition 142 cross-correlation 102 crytograhy LFSR alications in 132 cyclic redundancy check (CRC) 14, 141 cyclic shift 85 E Extended Euclidean Algorithm 29 extension field 31 addition 47 existenceof32 multilication 49 multilicative inverse 52 F field, definition 22 G Galois Field 23 Galois, Evariste 18 generator 27 Global Positioning System 99 Global System for Mobile Communication (GSM) 137 Gold sequence 102 GPS 14 data transmission in 110 received signal level 118 GPS codes C/A-code99, 100 P-code99 grou, definition 20 GSM 137 D Digital Communication System 17 H Hamming distance 84

20 180 Index L linear feedback shift register 60 based on irreducible olynomial 67 based on rimitive olynomial 64 M Maximum Length Sequence (m-sequence) 89 modular arithmetic 18 modular arithmetic over olynomials 36 modulo oeration definition18 m-sequence 63, 78, 89 lengthof71, 91 roertiesof92 multilicative inverse 23 P olynomial generator 37 irreducible34 rimitive37 reducible34 rime field 25 multilicative inverse 28 rimitive element 27 rimitive olynomial systematic search for 76 rimitive olynomial reresentation 45 coefficient reresentation 46 olynomial form 45 string reresentation 46 seudo random sequence 81 R random sequence, roerties of 91 ring, definition 21 run-length roerty 92 S satellite navigation 97, 155 signal narrow band 115 wideband115 state diagram Johnson counter 62 ringcounter61 state sequence LFSR based on irreducible olynomial 69 LFSR based on rimitive olynomial of degree 4 66 LFSR based on rimitive olynomial of degree 5 68 LFSR based on reducible olynomial 71 stream ciher 133 A5/1137 Trivium140

Outline. EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Simple Error Detection Coding

Outline. EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Simple Error Detection Coding Outline EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Error detection using arity Hamming code for error detection/correction Linear Feedback Shift

More information

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,

Math 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2, MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write

More information

Sets of Real Numbers

Sets of Real Numbers Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact

More information

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

Section 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative

Section 0.10: Complex Numbers from Precalculus Prerequisites a.k.a. Chapter 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Section 0.0: Comlex Numbers from Precalculus Prerequisites a.k.a. Chater 0 by Carl Stitz, PhD, and Jeff Zeager, PhD, is available under a Creative Commons Attribution-NonCommercial-ShareAlike.0 license.

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written

More information

MAS 4203 Number Theory. M. Yotov

MAS 4203 Number Theory. M. Yotov MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment

More information

An Overview of Witt Vectors

An Overview of Witt Vectors An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that

More information

Factorability in the ring Z[ 5]

Factorability in the ring Z[ 5] University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring

More information

MA3H1 TOPICS IN NUMBER THEORY PART III

MA3H1 TOPICS IN NUMBER THEORY PART III MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced

More information

Cryptography. Lecture 8. Arpita Patra

Cryptography. Lecture 8. Arpita Patra Crytograhy Lecture 8 Arita Patra Quick Recall and Today s Roadma >> Hash Functions- stands in between ublic and rivate key world >> Key Agreement >> Assumtions in Finite Cyclic grous - DL, CDH, DDH Grous

More information

MATH342 Practice Exam

MATH342 Practice Exam MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice

More information

Number Theory Naoki Sato

Number Theory Naoki Sato Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO

More information

RECIPROCITY LAWS JEREMY BOOHER

RECIPROCITY LAWS JEREMY BOOHER RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre

More information

Pretest (Optional) Use as an additional pacing tool to guide instruction. August 21

Pretest (Optional) Use as an additional pacing tool to guide instruction. August 21 Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 8 focus on multilication. Daily Unit 1: Rational vs. Irrational

More information

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS

#A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS #A64 INTEGERS 18 (2018) APPLYING MODULAR ARITHMETIC TO DIOPHANTINE EQUATIONS Ramy F. Taki ElDin Physics and Engineering Mathematics Deartment, Faculty of Engineering, Ain Shams University, Cairo, Egyt

More information

IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP

IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number 5, May 996 IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP TIM HSU (Communicated by Ronald M. Solomon) Abstract. We exhibit a simle

More information

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

MATH 2710: NOTES FOR ANALYSIS

MATH 2710: NOTES FOR ANALYSIS MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence

More information

Representing Integers as the Sum of Two Squares in the Ring Z n

Representing Integers as the Sum of Two Squares in the Ring Z n 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract

A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,

More information

Chapter 2 Arithmetic Functions and Dirichlet Series.

Chapter 2 Arithmetic Functions and Dirichlet Series. Chater 2 Arithmetic Functions and Dirichlet Series. [4 lectures] Definition 2.1 An arithmetic function is any function f : N C. Examles 1) The divisor function d (n) (often denoted τ (n)) is the number

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

2 Asymptotic density and Dirichlet density

2 Asymptotic density and Dirichlet density 8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime

More information

By Evan Chen OTIS, Internal Use

By Evan Chen OTIS, Internal Use Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there

More information

MATH 361: NUMBER THEORY EIGHTH LECTURE

MATH 361: NUMBER THEORY EIGHTH LECTURE MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first

More information

3 Properties of Dedekind domains

3 Properties of Dedekind domains 18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following

More information

Chapter 4 Finite Fields

Chapter 4 Finite Fields Chapter 4 Finite Fields Introduction will now introduce finite fields of increasing importance in cryptography AES, Elliptic Curve, IDEA, Public Key concern operations on numbers what constitutes a number

More information

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed.

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed. Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4

More information

A Curious Property of the Decimal Expansion of Reciprocals of Primes

A Curious Property of the Decimal Expansion of Reciprocals of Primes A Curious Proerty of the Decimal Exansion of Recirocals of Primes Amitabha Triathi January 6, 205 Abstract For rime 2, 5, the decimal exansion of / is urely eriodic. For those rime for which the length

More information

RINGS OF INTEGERS WITHOUT A POWER BASIS

RINGS OF INTEGERS WITHOUT A POWER BASIS RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We

More information

19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017

19th Bay Area Mathematical Olympiad. Problems and Solutions. February 28, 2017 th Bay Area Mathematical Olymiad February, 07 Problems and Solutions BAMO- and BAMO- are each 5-question essay-roof exams, for middle- and high-school students, resectively. The roblems in each exam are

More information

Pretest (Optional) Use as an additional pacing tool to guide instruction. August 21

Pretest (Optional) Use as an additional pacing tool to guide instruction. August 21 Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 7 focus on multilication. Daily Unit 1: The Number System Part

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing

More information

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski

More information

0.6 Factoring 73. As always, the reader is encouraged to multiply out (3

0.6 Factoring 73. As always, the reader is encouraged to multiply out (3 0.6 Factoring 7 5. The G.C.F. of the terms in 81 16t is just 1 so there is nothing of substance to factor out from both terms. With just a difference of two terms, we are limited to fitting this olynomial

More information

MA3H1 Topics in Number Theory. Samir Siksek

MA3H1 Topics in Number Theory. Samir Siksek MA3H1 Toics in Number Theory Samir Siksek Samir Siksek, Mathematics Institute, University of Warwick, Coventry, CV4 7AL, United Kingdom E-mail address: samir.siksek@gmail.com Contents Chater 0. Prologue

More information

Elliptic Curves and Cryptography

Elliptic Curves and Cryptography Ellitic Curves and Crytograhy Background in Ellitic Curves We'll now turn to the fascinating theory of ellitic curves. For simlicity, we'll restrict our discussion to ellitic curves over Z, where is a

More information

Algebraic Number Theory

Algebraic Number Theory Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

Solving Cyclotomic Polynomials by Radical Expressions Andreas Weber and Michael Keckeisen

Solving Cyclotomic Polynomials by Radical Expressions Andreas Weber and Michael Keckeisen Solving Cyclotomic Polynomials by Radical Exressions Andreas Weber and Michael Keckeisen Abstract: We describe a Male ackage that allows the solution of cyclotomic olynomials by radical exressions. We

More information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015 18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to

More information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 J. E. CREMONA Contents 0. Introduction: What is Number Theory? 2 Basic Notation 3 1. Factorization 4 1.1. Divisibility in Z 4 1.2. Greatest Common

More information

MAT 311 Solutions to Final Exam Practice

MAT 311 Solutions to Final Exam Practice MAT 311 Solutions to Final Exam Practice Remark. If you are comfortable with all of the following roblems, you will be very well reared for the midterm. Some of the roblems below are more difficult than

More information

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z: NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two oerations defined on them, addition and multilication,

More information

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2)

On the Rank of the Elliptic Curve y 2 = x(x p)(x 2) On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure

More information

A review of the foundations of perfectoid spaces

A review of the foundations of perfectoid spaces A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview

More information

Round-off Errors and Computer Arithmetic - (1.2)

Round-off Errors and Computer Arithmetic - (1.2) Round-off Errors and Comuter Arithmetic - (.). Round-off Errors: Round-off errors is roduced when a calculator or comuter is used to erform real number calculations. That is because the arithmetic erformed

More information

Math 104B: Number Theory II (Winter 2012)

Math 104B: Number Theory II (Winter 2012) Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums

More information

TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES

TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and

More information

Almost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)

Almost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2) Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths

More information

Computer arithmetic. Intensive Computation. Annalisa Massini 2017/2018

Computer arithmetic. Intensive Computation. Annalisa Massini 2017/2018 Comuter arithmetic Intensive Comutation Annalisa Massini 7/8 Intensive Comutation - 7/8 References Comuter Architecture - A Quantitative Aroach Hennessy Patterson Aendix J Intensive Comutation - 7/8 3

More information

Chapter 3. Number Theory. Part of G12ALN. Contents

Chapter 3. Number Theory. Part of G12ALN. Contents Chater 3 Number Theory Part of G12ALN Contents 0 Review of basic concets and theorems The contents of this first section well zeroth section, really is mostly reetition of material from last year. Notations:

More information

arxiv: v1 [math.nt] 4 Nov 2015

arxiv: v1 [math.nt] 4 Nov 2015 Wall s Conjecture and the ABC Conjecture George Grell, Wayne Peng August 0, 018 arxiv:1511.0110v1 [math.nt] 4 Nov 015 Abstract We show that the abc conjecture of Masser-Oesterlé-Sziro for number fields

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.

More information

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields

Solvability and Number of Roots of Bi-Quadratic Equations over p adic Fields Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL

More information

POINTS ON CONICS MODULO p

POINTS ON CONICS MODULO p POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics

More information

.4. Congruences. We say that a is congruent to b modulo N i.e. a b mod N i N divides a b or equivalently i a%n = b%n. So a is congruent modulo N to an

.4. Congruences. We say that a is congruent to b modulo N i.e. a b mod N i N divides a b or equivalently i a%n = b%n. So a is congruent modulo N to an . Modular arithmetic.. Divisibility. Given ositive numbers a; b, if a 6= 0 we can write b = aq + r for aroriate integers q; r such that 0 r a. The number r is the remainder. We say that a divides b (or

More information

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to

More information

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in

More information

arxiv: v2 [math.ho] 24 Nov 2014

arxiv: v2 [math.ho] 24 Nov 2014 arxiv:88.48v2 [math.ho] 24 Nov 24 There are infinitely many rime numbers in all arithmetic rogressions with first term and difference corime. (By Mr. Lejeune-Dirichlet) [Read to the Academy of Sciences

More information

t s (p). An Introduction

t s (p). An Introduction Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1

More information

The Group of Primitive Almost Pythagorean Triples

The Group of Primitive Almost Pythagorean Triples The Grou of Primitive Almost Pythagorean Triles Nikolai A. Krylov and Lindsay M. Kulzer arxiv:1107.2860v2 [math.nt] 9 May 2012 Abstract We consider the triles of integer numbers that are solutions of the

More information

AN INTRODUCTION TO GAUSS S NUMBER THEORY. Andrew Granville

AN INTRODUCTION TO GAUSS S NUMBER THEORY. Andrew Granville AN INTRODUCTION TO GAUSS S NUMBER THEORY Andrew Granville We resent a modern introduction to number theory, aimed both at students who have little exerience of university level mathematics, as well as

More information

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS

#A8 INTEGERS 12 (2012) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS #A8 INTEGERS 1 (01) PARTITION OF AN INTEGER INTO DISTINCT BOUNDED PARTS, IDENTITIES AND BOUNDS Mohammadreza Bidar 1 Deartment of Mathematics, Sharif University of Technology, Tehran, Iran mrebidar@gmailcom

More information

PARTITIONS AND (2k + 1) CORES. 1. Introduction

PARTITIONS AND (2k + 1) CORES. 1. Introduction PARITY RESULTS FOR BROKEN k DIAMOND PARTITIONS AND 2k + CORES SILVIU RADU AND JAMES A. SELLERS Abstract. In this aer we rove several new arity results for broken k-diamond artitions introduced in 2007

More information

Characteristics of Fibonacci-type Sequences

Characteristics of Fibonacci-type Sequences Characteristics of Fibonacci-tye Sequences Yarden Blausa May 018 Abstract This aer resents an exloration of the Fibonacci sequence, as well as multi-nacci sequences and the Lucas sequence. We comare and

More information

Topic: Lower Bounds on Randomized Algorithms Date: September 22, 2004 Scribe: Srinath Sridhar

Topic: Lower Bounds on Randomized Algorithms Date: September 22, 2004 Scribe: Srinath Sridhar 15-859(M): Randomized Algorithms Lecturer: Anuam Guta Toic: Lower Bounds on Randomized Algorithms Date: Setember 22, 2004 Scribe: Srinath Sridhar 4.1 Introduction In this lecture, we will first consider

More information

1. INTRODUCTION. Fn 2 = F j F j+1 (1.1)

1. INTRODUCTION. Fn 2 = F j F j+1 (1.1) CERTAIN CLASSES OF FINITE SUMS THAT INVOLVE GENERALIZED FIBONACCI AND LUCAS NUMBERS The beautiful identity R.S. Melham Deartment of Mathematical Sciences, University of Technology, Sydney PO Box 23, Broadway,

More information

1 Properties of Spherical Harmonics

1 Properties of Spherical Harmonics Proerties of Sherical Harmonics. Reetition In the lecture the sherical harmonics Y m were introduced as the eigenfunctions of angular momentum oerators lˆz and lˆ2 in sherical coordinates. We found that

More information

A Family of Binary Sequences from Interleaved Construction and their Cryptographic Properties

A Family of Binary Sequences from Interleaved Construction and their Cryptographic Properties Contemorary Mathematics A Family of Binary Sequences from Interleaed Construction and their Crytograhic Proerties Jing Jane He, Daniel Panario, and Qiang Wang Abstract. Families of seudorandom sequences

More information

CDH/DDH-Based Encryption. K&L Sections , 11.4.

CDH/DDH-Based Encryption. K&L Sections , 11.4. CDH/DDH-Based Encrytion K&L Sections 8.3.1-8.3.3, 11.4. 1 Cyclic grous A finite grou G of order q is cyclic if it has an element g of q. { 0 1 2 q 1} In this case, G = g = g, g, g,, g ; G is said to be

More information

SOME SUMS OVER IRREDUCIBLE POLYNOMIALS

SOME SUMS OVER IRREDUCIBLE POLYNOMIALS SOME SUMS OVER IRREDUCIBLE POLYNOMIALS DAVID E SPEYER Abstract We rove a number of conjectures due to Dinesh Thakur concerning sums of the form P hp ) where the sum is over monic irreducible olynomials

More information

Introduction to MVC. least common denominator of all non-identical-zero minors of all order of G(s). Example: The minor of order 2: 1 2 ( s 1)

Introduction to MVC. least common denominator of all non-identical-zero minors of all order of G(s). Example: The minor of order 2: 1 2 ( s 1) Introduction to MVC Definition---Proerness and strictly roerness A system G(s) is roer if all its elements { gij ( s)} are roer, and strictly roer if all its elements are strictly roer. Definition---Causal

More information

QUADRATIC RESIDUES AND DIFFERENCE SETS

QUADRATIC RESIDUES AND DIFFERENCE SETS QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be

More information

THE THEORY OF NUMBERS IN DEDEKIND RINGS

THE THEORY OF NUMBERS IN DEDEKIND RINGS THE THEORY OF NUMBERS IN DEDEKIND RINGS JOHN KOPPER Abstract. This aer exlores some foundational results of algebraic number theory. We focus on Dedekind rings and unique factorization of rime ideals,

More information

δ(xy) = φ(x)δ(y) + y p δ(x). (1)

δ(xy) = φ(x)δ(y) + y p δ(x). (1) LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material

More information

A Public-Key Cryptosystem Based on Lucas Sequences

A Public-Key Cryptosystem Based on Lucas Sequences Palestine Journal of Mathematics Vol. 1(2) (2012), 148 152 Palestine Polytechnic University-PPU 2012 A Public-Key Crytosystem Based on Lucas Sequences Lhoussain El Fadil Communicated by Ayman Badawi MSC2010

More information

An Estimate For Heilbronn s Exponential Sum

An Estimate For Heilbronn s Exponential Sum An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined

More information

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler

Intrinsic Approximation on Cantor-like Sets, a Problem of Mahler Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How

More information

MODELING THE RELIABILITY OF C4ISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL

MODELING THE RELIABILITY OF C4ISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL Technical Sciences and Alied Mathematics MODELING THE RELIABILITY OF CISR SYSTEMS HARDWARE/SOFTWARE COMPONENTS USING AN IMPROVED MARKOV MODEL Cezar VASILESCU Regional Deartment of Defense Resources Management

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory WISB321 = F.Beukers 2012 Deartment of Mathematics UU ELEMENTARY NUMBER THEORY Frits Beukers Fall semester 2013 Contents 1 Integers and the Euclidean algorithm 4 1.1 Integers................................

More information

Chapter 7 Rational and Irrational Numbers

Chapter 7 Rational and Irrational Numbers Chater 7 Rational and Irrational Numbers In this chater we first review the real line model for numbers, as discussed in Chater 2 of seventh grade, by recalling how the integers and then the rational numbers

More information

ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION

ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION ERRATA AND SUPPLEMENTARY MATERIAL FOR A FRIENDLY INTRODUCTION TO NUMBER THEORY FOURTH EDITION JOSEPH H. SILVERMAN Acknowledgements Page vii Thanks to the following eole who have sent me comments and corrections

More information

c Copyright by Helen J. Elwood December, 2011

c Copyright by Helen J. Elwood December, 2011 c Coyright by Helen J. Elwood December, 2011 CONSTRUCTING COMPLEX EQUIANGULAR PARSEVAL FRAMES A Dissertation Presented to the Faculty of the Deartment of Mathematics University of Houston In Partial Fulfillment

More information

Cryptography Assignment 3

Cryptography Assignment 3 Crytograhy Assignment Michael Orlov orlovm@cs.bgu.ac.il) Yanik Gleyzer yanik@cs.bgu.ac.il) Aril 9, 00 Abstract Solution for Assignment. The terms in this assignment are used as defined in [1]. In some

More information

The Euler Phi Function

The Euler Phi Function The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the

More information

Cryptanalysis of Pseudorandom Generators

Cryptanalysis of Pseudorandom Generators CSE 206A: Lattice Algorithms and Alications Fall 2017 Crytanalysis of Pseudorandom Generators Instructor: Daniele Micciancio UCSD CSE As a motivating alication for the study of lattice in crytograhy we

More information

18.312: Algebraic Combinatorics Lionel Levine. Lecture 12

18.312: Algebraic Combinatorics Lionel Levine. Lecture 12 8.3: Algebraic Combinatorics Lionel Levine Lecture date: March 7, Lecture Notes by: Lou Odette This lecture: A continuation of the last lecture: comutation of µ Πn, the Möbius function over the incidence

More information

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS

DIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular

More information

6 Binary Quadratic forms

6 Binary Quadratic forms 6 Binary Quadratic forms 6.1 Fermat-Euler Theorem A binary quadratic form is an exression of the form f(x,y) = ax 2 +bxy +cy 2 where a,b,c Z. Reresentation of an integer by a binary quadratic form has

More information

Prime Reciprocal Digit Frequencies and the Euler Zeta Function

Prime Reciprocal Digit Frequencies and the Euler Zeta Function Prime Recirocal Digit Frequencies and the Euler Zeta Function Subhash Kak. The digit frequencies for rimes are not all equal. The least significant digit for rimes greater than 5 can only be, 3, 7, or

More information

Sums of independent random variables

Sums of independent random variables 3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where

More information

1 Integers and the Euclidean algorithm

1 Integers and the Euclidean algorithm 1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown

More information

Fields in Cryptography. Çetin Kaya Koç Winter / 30

Fields in Cryptography.   Çetin Kaya Koç Winter / 30 Fields in Cryptography http://koclab.org Çetin Kaya Koç Winter 2017 1 / 30 Field Axioms Fields in Cryptography A field F consists of a set S and two operations which we will call addition and multiplication,

More information

MATH 361: NUMBER THEORY ELEVENTH LECTURE

MATH 361: NUMBER THEORY ELEVENTH LECTURE MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties

More information