XM: Introduction. Søren Eilers Institut for Matematiske Fag KØBENHAVNS UNIVERSITET I N S T I T U T F O R M A T E M A T I S K E F A G

Size: px
Start display at page:

Download "XM: Introduction. Søren Eilers Institut for Matematiske Fag KØBENHAVNS UNIVERSITET I N S T I T U T F O R M A T E M A T I S K E F A G"

Transcription

1 I N S T I T U T F O R M A T E M A T I S K E F A G KØBENHAVNS UNIVERSITET XM: Introduction Søren Eilers Institut for Matematiske Fag November 17, 2016 Dias 1/19

2 Outline 1 What is XM? 2 Historical experiments 3 The XM toolbox Dias 2/19 XM: Introduction November 17, 2016

3 1.2 Basic methodology 7 Initial investigation Common features in examples Initial hypothesis Experiment, search for counterexamples Counterexamples Common features in counterexamples Revised hypothesis Experiment, search for counterexamples Proof Knowledge gained from the experiment Final hypothesis Common features in counterexamples Figure 1.3 Stepwise refinement of hypotheses through a systematic search for counterexamples. Dias 3/19 XM: Introduction November 17, 2016 checked). Nevertheless, it is very useful for the experimenting mathematician to employ a similar strategy in the investigation of mathematical objects. An

4 Experimental mathematics The systematic investigation of concrete examples of a mathematical structure in the search for conjectures about its properties (using computers). Dias 4/19 XM: Introduction November 17, 2016

5 Experimental mathematics The systematic investigation of concrete examples of a mathematical structure in the search for conjectures about its properties (using computers). Typical output from an experimental investigation: A counterexample Dias 4/19 XM: Introduction November 17, 2016

6 Experimental mathematics The systematic investigation of concrete examples of a mathematical structure in the search for conjectures about its properties (using computers). Typical output from an experimental investigation: A counterexample A reference to the mathematical literature Dias 4/19 XM: Introduction November 17, 2016

7 Experimental mathematics The systematic investigation of concrete examples of a mathematical structure in the search for conjectures about its properties (using computers). Typical output from an experimental investigation: A counterexample A reference to the mathematical literature A hint for a proof Dias 4/19 XM: Introduction November 17, 2016

8 Experimental mathematics The systematic investigation of concrete examples of a mathematical structure in the search for conjectures about its properties (using computers). Typical output from an experimental investigation: A counterexample A reference to the mathematical literature A hint for a proof A conjecture Dias 4/19 XM: Introduction November 17, 2016

9 Conjecture [L. Euler 1769] x n 1 ` x n 2 ` ` x n m y n can only have solutions x 1,x 2,...,x m,y P N when n ě m for m ě 2; i.e., for a sum of nth powers to itself be an nth power it must have either only one or at least n summands. Dias 5/19 XM: Introduction November 17, 2016

10 Conjecture [L. Euler 1769] x n 1 ` x n 2 ` ` x n m y n can only have solutions x 1,x 2,...,x m,y P N when n ě m for m ě 2; i.e., for a sum of nth powers to itself be an nth power it must have either only one or at least n summands. Euler had essentially proved that x 3 1 ` x 3 2 y 3 did not have any such solutions, cf. Fermat s last theorem. Dias 5/19 XM: Introduction November 17, 2016

11 30 (1930), K Ø B E N H A V N S U N I V E R S I T E T I N S T I T U T F O R M A T E M A T I S K E F A G DARTMOUTH COLLEGE COUNTEREXAMPLE TO EULER'S CONJECTURE ON SUMS OF LIKE POWERS BY L. J. LANDER AND T. R. PARKIN Communicated by J. D. Swift, June 27, 1966 A direct search on the CDC 6600 yielded HO as the smallest instance in which four fifth powers sum to a fifth power. This is a counterexample to a conjecture by Euler [l] that at least n nth powers are required to sum to an nth power, n>2. REFERENCE 1. L. E. Dickson, History of the theory of numbers, Vol. 2, Chelsea, New York, 1952, p Dias 6/19 XM: Introduction November 17, 2016

12 Birch & Swinnerton-Dyer: Data for the elliptic curves y 2 x 3 d 2 x at d 1, 5, 34,1254, Dias 7/19 XM: Introduction November 17, 2016

13 Consider an elliptic curve E : y 2 x 3 ` ax ` b, a,b P Z with discriminant 16p4a 3 ` 27b 2 q 0. For every prime p not dividing, consider N p 1 ` ˇˇt0 ď x,y ď p 1 y 2 x 3 ` ax ` b mod puˇˇ. Birch and Swinnerton-Dyer got the idea that N p should be related to the rank of E, and over a period of five years in the late 1950 s and early 1960 s they computed π E pxq ź pďx,p for many different values of X for a number of elliptic curves with known ranks, leading to the conjecture that N p p π E pxq Ñ C lnpxq rankpeq for X Ñ 8 for some C that depends only on E. Dias 8/19 XM: Introduction November 17, 2016

14 1.2 Basic methodology 7 Initial investigation Common features in examples Initial hypothesis Experiment, search for counterexamples Counterexamples Common features in counterexamples Revised hypothesis Experiment, search for counterexamples Proof Knowledge gained from the experiment Final hypothesis Common features in counterexamples Figure 1.3 Stepwise refinement of hypotheses through a systematic search for counterexamples. Dias 9/19 XM: Introduction November 17, 2016 checked). Nevertheless, it is very useful for the experimenting mathematician to employ a similar strategy in the investigation of mathematical objects. An

15 Outline 1 What is XM? 2 Historical experiments 3 The XM toolbox Dias 10/19 XM: Introduction November 17, 2016

16 2 1 ` 1 3 is a prime 2 2 ` 1 5 is a prime 2 4 ` 1 17 is a prime 2 8 ` is a prime 2 16 ` is a prime Dias 11/19 XM: Introduction November 17, 2016

17 2 1 ` 1 3 is a prime 2 2 ` 1 5 is a prime 2 4 ` 1 17 is a prime 2 8 ` is a prime 2 16 ` is a prime Lemma If 2 m ` 1 is a prime, then m 2 k Dias 11/19 XM: Introduction November 17, 2016

18 2 1 ` 1 3 is a prime 2 2 ` 1 5 is a prime 2 4 ` 1 17 is a prime 2 8 ` is a prime 2 16 ` is a prime Lemma If 2 m ` 1 is a prime, then m 2 k Conjecture [P. de Fermat] Every number F m 2 2m ` 1 is prime Dias 11/19 XM: Introduction November 17, 2016

19 2 1 ` 1 3 is a prime 2 2 ` 1 5 is a prime 2 4 ` 1 17 is a prime 2 8 ` is a prime 2 16 ` is a prime Lemma If 2 m ` 1 is a prime, then m 2 k Conjecture [P. de Fermat] Every number F m 2 2m ` 1 is prime Example [L. Euler 1732] F Dias 11/19 XM: Introduction November 17, 2016

20 Dias 12/19 XM: Introduction November 17, 2016

21 Conjecture [C.F. Gauss, ] With πpxq the number of primes less than x, πpxq «ż x 2 du lnu : Lipxq Dias 13/19 XM: Introduction November 17, 2016

22 Conjecture [C.F. Gauss, ] With πpxq the number of primes less than x, πpxq «ż x 2 du lnu : Lipxq The prime number theorem [J. Hadamard, P. de la Vallée-Poussin 1896] πpxq lim xñ8 Lipxq 1 Dias 13/19 XM: Introduction November 17, 2016

23 Outline 1 What is XM? 2 Historical experiments 3 The XM toolbox Dias 14/19 XM: Introduction November 17, 2016

24 1 Introduction 2 Basic programming in Maple 3 Iteration and recursion 4 Visualization 5 Symbolic inversion 6 Pseudorandomness 7 Time, memory and precision 8 Linear algebra and graph theory Dias 15/19 XM: Introduction November 17, 2016

25 1 Introduction and basic programming in Maple 2 Iteration and recursion 3 Visualization 4 Symbolic inversion 5 Pseudorandomness 6 Time, memory and precision 7 Linear algebra and graph theory Dias 16/19 XM: Introduction November 17, 2016

26 1 Introduction and basic programming in Maple [ALG] 2 Iteration and recursion [ALG] 3 Visualization 4 Symbolic inversion 5 Pseudorandomness 6 Time, memory and precision [ALG] 7 Linear algebra and graph theory Dias 16/19 XM: Introduction November 17, 2016

27 2.6 Pseudocode and stepwise refinement 41 Example : Sieve of Eratosthenes. The Sieve of Eratosthenes is a simple algorithm for exhaustively finding the primes less than or equal to a given upper bound N. Pseudocode for the sieve is given in Algorithm 2.1. Algorithm 2.1 Sieve of Eratosthenes 1: procedure Sieve(N) 2: Construct a list L = [2,..., N] 3: Let p = 2 4: while p < N do 5: Remove ip from L for each integer i 2 6: Let p be the smallest element in L greater than p 7: end while 8: return L L contains all primes smaller than N 9: end procedure Dias 17/19 XM: Introduction November 17, 2016 Algorithm 2.2 Stepwise refinement 1: identify the problem that you want to solve 2: write initial pseudocode for the program 3: while the pseudocode is not detailed enough to write the program do 4: modify and refine the pseudocode 5: end while

28 1 Introduction and basic programming in Maple [ALG] 2 Iteration and recursion [ALG] 3 Visualization 4 Symbolic inversion 5 Pseudorandomness 6 Time, memory and precision [ALG] 7 Linear algebra and graph theory Dias 18/19 XM: Introduction November 17, 2016

29 1 Introduction and basic programming in Maple [ALG] 2 Iteration and recursion [ALG] 3 Visualization [VIS] 4 Symbolic inversion 5 Pseudorandomness 6 Time, memory and precision [ALG] 7 Linear algebra and graph theory Dias 18/19 XM: Introduction November 17, 2016

30 1 Introduction and basic programming in Maple [ALG] 2 Iteration and recursion [ALG] 3 Visualization [VIS] 4 Symbolic inversion 5 Pseudorandomness [RAN] 6 Time, memory and precision [ALG] 7 Linear algebra and graph theory Dias 18/19 XM: Introduction November 17, 2016

31 1 Introduction and basic programming in Maple [ALG] 2 Iteration and recursion [ALG] 3 Visualization [VIS] 4 Symbolic inversion [INV] 5 Pseudorandomness [RAN] 6 Time, memory and precision [ALG] 7 Linear algebra and graph theory Dias 18/19 XM: Introduction November 17, 2016

32 Question What is ? Question What is 1,2,5,12,32,94,289,910? Dias 19/19 XM: Introduction November 17, 2016

Here is another characterization of prime numbers.

Here is another characterization of prime numbers. Here is another characterization of prime numbers. Theorem p is prime it has no divisors d that satisfy < d p. Proof [ ] If p is prime then it has no divisors d that satisfy < d < p, so clearly no divisor

More information

Primes. Rational, Gaussian, Industrial Strength, etc. Robert Campbell 11/29/2010 1

Primes. Rational, Gaussian, Industrial Strength, etc. Robert Campbell 11/29/2010 1 Primes Rational, Gaussian, Industrial Strength, etc Robert Campbell 11/29/2010 1 Primes and Theory Number Theory to Abstract Algebra History Euclid to Wiles Computation pencil to supercomputer Practical

More information

On the low-lying zeros of elliptic curve L-functions

On the low-lying zeros of elliptic curve L-functions On the low-lying zeros of elliptic curve L-functions Joint Work with Stephan Baier Liangyi Zhao Nanyang Technological University Singapore The zeros of the Riemann zeta function The number of zeros ρ of

More information

God may not play dice with the universe, but something strange is going on with the prime numbers.

God may not play dice with the universe, but something strange is going on with the prime numbers. Primes: Definitions God may not play dice with the universe, but something strange is going on with the prime numbers. P. Erdös (attributed by Carl Pomerance) Def: A prime integer is a number whose only

More information

Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture

Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture Solving Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture William Stein (http://modular.ucsd.edu/talks) December 1, 2005, UCLA Colloquium 1 The Pythagorean Theorem c a 2 + b

More information

Wilson s Theorem and Fermat s Little Theorem

Wilson s Theorem and Fermat s Little Theorem Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =

More information

Basic Proof Examples

Basic Proof Examples Basic Proof Examples Lisa Oberbroeckling Loyola University Maryland Fall 2015 Note. In this document, we use the symbol as the negation symbol. Thus p means not p. There are four basic proof techniques

More information

A PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS (A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES)

A PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS (A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES) A PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES) YVES GALLOT Abstract Is it possible to improve the convergence

More information

Hypersurfaces and the Weil conjectures

Hypersurfaces and the Weil conjectures Hypersurfaces and the Weil conjectures Anthony J Scholl University of Cambridge 13 January 2010 1 / 21 Number theory What do number theorists most like to do? (try to) solve Diophantine equations x n +

More information

Balanced subgroups of the multiplicative group

Balanced subgroups of the multiplicative group Balanced subgroups of the multiplicative group Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA Based on joint work with D. Ulmer To motivate the topic, let s begin with elliptic curves. If

More information

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract We conjecture that there is at least one composite term in

More information

Euler s ϕ function. Carl Pomerance Dartmouth College

Euler s ϕ function. Carl Pomerance Dartmouth College Euler s ϕ function Carl Pomerance Dartmouth College Euler s ϕ function: ϕ(n) is the number of integers m [1, n] with m coprime to n. Or, it is the order of the unit group of the ring Z/nZ. Euler: If a

More information

Sifting the Primes. Gihan Marasingha University of Oxford

Sifting the Primes. Gihan Marasingha University of Oxford Sifting the Primes Gihan Marasingha University of Oxford 18 March 2005 Irreducible forms: q 1 (x, y) := a 1 x 2 + 2b 1 xy + c 1 y 2, q 2 (x, y) := a 2 x 2 + 2b 2 xy + c 2 y 2, a i, b i, c i Z. Variety

More information

Arithmetic Statistics Lecture 1

Arithmetic Statistics Lecture 1 Arithmetic Statistics Lecture 1 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory Question What is Arithmetic Statistics?

More information

Five peculiar theorems on simultaneous representation of primes by quadratic forms

Five peculiar theorems on simultaneous representation of primes by quadratic forms Five peculiar theorems on simultaneous representation of primes by quadratic forms David Brink January 2008 Abstract It is a theorem of Kaplansky that a prime p 1 (mod 16) is representable by both or none

More information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

A New Sieve for the Twin Primes

A New Sieve for the Twin Primes A ew Sieve for the Twin Primes and how the number of twin primes is related to the number of primes by H.L. Mitchell Department of mathematics CUY-The City College 160 Convent avenue ew York, Y 10031 USA

More information

6.5 Elliptic Curves Over the Rational Numbers

6.5 Elliptic Curves Over the Rational Numbers 6.5 Elliptic Curves Over the Rational Numbers 117 FIGURE 6.5. Louis J. Mordell 6.5 Elliptic Curves Over the Rational Numbers Let E be an elliptic curve defined over Q. The following is a deep theorem about

More information

Math 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2?

Math 259: Introduction to Analytic Number Theory How small can disc(k) be for a number field K of degree n = r 1 + 2r 2? Math 59: Introduction to Analytic Number Theory How small can disck be for a number field K of degree n = r + r? Let K be a number field of degree n = r + r, where as usual r and r are respectively the

More information

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f g as if lim

More information

MATH CSE20 Homework 5 Due Monday November 4

MATH CSE20 Homework 5 Due Monday November 4 MATH CSE20 Homework 5 Due Monday November 4 Assigned reading: NT Section 1 (1) Prove the statement if true, otherwise find a counterexample. (a) For all natural numbers x and y, x + y is odd if one of

More information

Elliptic curves and Hilbert s Tenth Problem

Elliptic curves and Hilbert s Tenth Problem Elliptic curves and Hilbert s Tenth Problem Karl Rubin, UC Irvine MAA @ UC Irvine October 16, 2010 Karl Rubin Elliptic curves and Hilbert s Tenth Problem MAA, October 2010 1 / 40 Elliptic curves An elliptic

More information

Number Theory Homework.

Number Theory Homework. Number Theory Homewor. 1. The Theorems of Fermat, Euler, and Wilson. 1.1. Fermat s Theorem. The following is a special case of a result we have seen earlier, but as it will come up several times in this

More information

arxiv: v6 [math.nt] 6 Nov 2015

arxiv: v6 [math.nt] 6 Nov 2015 arxiv:1406.0429v6 [math.nt] 6 Nov 2015 Periodicity related to a sieve method of producing primes Haifeng Xu, Zuyi Zhang, Jiuru Zhou November 9, 2015 Abstract In this paper we consider a slightly different

More information

Number Theory. Jason Filippou UMCP. ason Filippou UMCP)Number Theory History & Definitions / 1

Number Theory. Jason Filippou UMCP. ason Filippou UMCP)Number Theory History & Definitions / 1 Number Theory Jason Filippou CMSC250 @ UMCP 06-08-2016 ason Filippou (CMSC250 @ UMCP)Number Theory History & Definitions 06-08-2016 1 / 1 Outline ason Filippou (CMSC250 @ UMCP)Number Theory History & Definitions

More information

A Classical Introduction to Modern Number Theory

A Classical Introduction to Modern Number Theory Kenneth Ireland Michael Rosen A Classical Introduction to Modern Number Theory Second Edition Springer Contents Preface to the Second Edition Preface v vii CHAPTER 1 Unique Factorization 1 1 Unique Factorization

More information

Math 261 Spring 2014 Final Exam May 5, 2014

Math 261 Spring 2014 Final Exam May 5, 2014 Math 261 Spring 2014 Final Exam May 5, 2014 1. Give a statement or the definition for ONE of the following in each category. Circle the letter next to the one you want graded. For an extra good final impression,

More information

Calculus II : Prime suspect

Calculus II : Prime suspect Calculus II : Prime suspect January 31, 2007 TEAM MEMBERS An integer p > 1 is prime if its only positive divisors are 1 and p. In his 300 BC masterpiece Elements Euclid proved that there are infinitely

More information

Math 5330 Spring Notes Congruences

Math 5330 Spring Notes Congruences Math 5330 Spring 2018 Notes Congruences One of the fundamental tools of number theory is the congruence. This idea will be critical to most of what we do the rest of the term. This set of notes partially

More information

ON THE DIOPHANTINE EQUATION IN THE FORM THAT A SUM OF CUBES EQUALS A SUM OF QUINTICS

ON THE DIOPHANTINE EQUATION IN THE FORM THAT A SUM OF CUBES EQUALS A SUM OF QUINTICS Math. J. Okayama Univ. 61 (2019), 75 84 ON THE DIOPHANTINE EQUATION IN THE FORM THAT A SUM OF CUBES EQUALS A SUM OF QUINTICS Farzali Izadi and Mehdi Baghalaghdam Abstract. In this paper, theory of elliptic

More information

Industrial Strength Factorization. Lawren Smithline Cornell University

Industrial Strength Factorization. Lawren Smithline Cornell University Industrial Strength Factorization Lawren Smithline Cornell University lawren@math.cornell.edu http://www.math.cornell.edu/~lawren Industrial Strength Factorization Given an integer N, determine the prime

More information

Modern Number Theory: Rank of Elliptic Curves

Modern Number Theory: Rank of Elliptic Curves Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation

More information

Elementary Number Theory

Elementary Number Theory Elementary Number Theory 21.8.2013 Overview The course discusses properties of numbers, the most basic mathematical objects. We are going to follow the book: David Burton: Elementary Number Theory What

More information

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 ACTA ARITHMETICA LXXXII.1 (1997) On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1 by P. G. Walsh (Ottawa, Ont.) 1. Introduction. Let d denote a positive integer. In [7] Ono proves that if the number

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

Theorem 1.1 (Prime Number Theorem, Hadamard, de la Vallée Poussin, 1896). let π(x) denote the number of primes x. Then x as x. log x.

Theorem 1.1 (Prime Number Theorem, Hadamard, de la Vallée Poussin, 1896). let π(x) denote the number of primes x. Then x as x. log x. Chapter 1 Introduction 1.1 The Prime Number Theorem In this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if lim f(/g( = 1, and denote by log the natural

More information

The Prime Number Theorem

The Prime Number Theorem The Prime Number Theorem We study the distribution of primes via the function π(x) = the number of primes x 6 5 4 3 2 2 3 4 5 6 7 8 9 0 2 3 4 5 2 It s easier to draw this way: π(x) = the number of primes

More information

The Riddle of Primes

The Riddle of Primes A talk given at Dalian Univ. of Technology (Nov. 16, 2012) and Nankai University (Dec. 1, 2012) The Riddle of Primes Zhi-Wei Sun Nanjing University Nanjing 210093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/

More information

Three cubes in arithmetic progression over quadratic fields

Three cubes in arithmetic progression over quadratic fields Arch. Math. 95 (2010), 233 241 c 2010 Springer Basel AG 0003-889X/10/030233-9 published online August 31, 2010 DOI 10.1007/s00013-010-0166-5 Archiv der Mathematik Three cubes in arithmetic progression

More information

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x.

Colloq. Math. 145(2016), no. 1, ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS. 1. Introduction. x(x 1) (1.1) p m (x) = (m 2) + x. Colloq. Math. 145(016), no. 1, 149-155. ON SOME UNIVERSAL SUMS OF GENERALIZED POLYGONAL NUMBERS FAN GE AND ZHI-WEI SUN Abstract. For m = 3, 4,... those p m (x) = (m )x(x 1)/ + x with x Z are called generalized

More information

Introduction to Arithmetic Geometry

Introduction to Arithmetic Geometry Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory

More information

Math 5330 Spring Notes Prime Numbers

Math 5330 Spring Notes Prime Numbers Math 5330 Sring 208 Notes Prime Numbers The study of rime numbers is as old as mathematics itself. This set of notes has a bunch of facts about rimes, or related to rimes. Much of this stuff is old dating

More information

MATH The Derivative as a Function - Section 3.2. The derivative of f is the function. f x h f x. f x lim

MATH The Derivative as a Function - Section 3.2. The derivative of f is the function. f x h f x. f x lim MATH 90 - The Derivative as a Function - Section 3.2 The derivative of f is the function f x lim h 0 f x h f x h for all x for which the limit exists. The notation f x is read "f prime of x". Note that

More information

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro

PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION. Predrag Terzic Podgorica, Montenegro PRIMALITY TEST FOR FERMAT NUMBERS USING QUARTIC RECURRENCE EQUATION Predrag Terzic Podgorica, Montenegro pedja.terzic@hotmail.com Abstract. We present deterministic primality test for Fermat numbers, F

More information

Abstracts of papers. Amod Agashe

Abstracts of papers. Amod Agashe Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible

More information

Introduction to Elliptic Curves

Introduction to Elliptic Curves IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting

More information

Math From Scratch Lesson 28: Rational Exponents

Math From Scratch Lesson 28: Rational Exponents Math From Scratch Lesson 28: Rational Exponents W. Blaine Dowler October 8, 2012 Contents 1 Exponent Review 1 1.1 x m................................. 2 x 1.2 n x................................... 2 m

More information

The primitive root theorem

The primitive root theorem The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

More information

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs. Fermat s last theorem CS 220: Discrete Structures and their Applications Theorem: For every integer n > 2 there is no solution to the equation a n + b n = c n where a,b, and c are positive integers Proofs

More information

Gauss and Riemann versus elementary mathematics

Gauss and Riemann versus elementary mathematics 777-855 826-866 Gauss and Riemann versus elementary mathematics Problem at the 987 International Mathematical Olympiad: Given that the polynomial [ ] f (x) = x 2 + x + p yields primes for x =,, 2,...,

More information

The complexity of Diophantine equations

The complexity of Diophantine equations The complexity of Diophantine equations Colloquium McMaster University Hamilton, Ontario April 2005 The basic question A Diophantine equation is a polynomial equation f(x 1,..., x n ) = 0 with integer

More information

Part II. Number Theory. Year

Part II. Number Theory. Year Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler

More information

Chapter 5: The Integers

Chapter 5: The Integers c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

More information

The 98th Mathematics Colloquium Prague November 8, Random number theory. Carl Pomerance, Dartmouth College

The 98th Mathematics Colloquium Prague November 8, Random number theory. Carl Pomerance, Dartmouth College The 98th Mathematics Colloquium Prague November 8, 2016 Random number theory Carl Pomerance, Dartmouth College In 1770, Euler wrote: Mathematicians have tried in vain to discover some order in the sequence

More information

5: The Integers (An introduction to Number Theory)

5: The Integers (An introduction to Number Theory) c Oksana Shatalov, Spring 2017 1 5: The Integers (An introduction to Number Theory) The Well Ordering Principle: Every nonempty subset on Z + has a smallest element; that is, if S is a nonempty subset

More information

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian

More information

EULER S THEOREM KEITH CONRAD

EULER S THEOREM KEITH CONRAD EULER S THEOREM KEITH CONRAD. Introduction Fermat s little theorem is an important property of integers to a prime modulus. Theorem. (Fermat). For prime p and any a Z such that a 0 mod p, a p mod p. If

More information

Exam 2 Solutions. In class questions

Exam 2 Solutions. In class questions Math 5330 Spring 2018 Exam 2 Solutions In class questions 1. (15 points) Solve the following congruences. Put your answer in the form of a congruence. I usually find it easier to go from largest to smallest

More information

PLEASE DO ANY 6 of the following 8 problems. Work carefully

PLEASE DO ANY 6 of the following 8 problems. Work carefully Ma2201/CS2022 Discrete Mathematics D Term, 2016 FINAL EXAM PRINT NAME NEATLY: SIGN : PLEASE DO ANY 6 of the following 8 problems. Work carefully and neatly. 1. (5 pts) A tech company currently has 5 programmers,

More information

A Course in Computational Algebraic Number Theory

A Course in Computational Algebraic Number Theory Henri Cohen 2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. A Course in Computational Algebraic Number Theory Springer

More information

Gamma, Zeta and Prime Numbers

Gamma, Zeta and Prime Numbers Gamma, Zeta and Prime Numbers September 6, 2017 Oliver F. Piattella Universidade Federal do Espírito Santo Vitória, Brasil Leonard Euler Euler s Gamma Definition: = lim n!1 (H n ln n) Harmonic Numbers:

More information

Elliptic curves and modularity

Elliptic curves and modularity Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given

More information

Some new representation problems involving primes

Some new representation problems involving primes A talk given at Hong Kong Univ. (May 3, 2013) and 2013 ECNU q-series Workshop (Shanghai, July 30) Some new representation problems involving primes Zhi-Wei Sun Nanjing University Nanjing 210093, P. R.

More information

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2

An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n2 1 47 6 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.6 An Elementary Proof that any Natural Number can be Written as the Sum of Three Terms of the Sequence n Bakir Farhi Department of Mathematics

More information

Probabilistic Aspects of the Integer-Polynomial Analogy

Probabilistic Aspects of the Integer-Polynomial Analogy Probabilistic Aspects of the Integer-Polynomial Analogy Kent E. Morrison Department of Mathematics California Polytechnic State University San Luis Obispo, CA 93407 kmorriso@calpoly.edu Zhou Dong Department

More information

Summary Slides for MATH 342 June 25, 2018

Summary Slides for MATH 342 June 25, 2018 Summary Slides for MATH 342 June 25, 2018 Summary slides based on Elementary Number Theory and its applications by Kenneth Rosen and The Theory of Numbers by Ivan Niven, Herbert Zuckerman, and Hugh Montgomery.

More information

Diophantine equations

Diophantine equations Diophantine equations So far, we have considered solutions to equations over the real and complex numbers. This chapter instead focuses on solutions over the integers, natural and rational numbers. There

More information

4.4 Solving Congruences using Inverses

4.4 Solving Congruences using Inverses 4.4 Solving Congruences using Inverses Solving linear congruences is analogous to solving linear equations in calculus. Our first goal is to solve the linear congruence ax b pmod mq for x. Unfortunately

More information

Prime and Perfect Numbers

Prime and Perfect Numbers Prime and Perfect Numbers 0.3 Infinitude of prime numbers 0.3.1 Euclid s proof Euclid IX.20 demonstrates the infinitude of prime numbers. 1 The prime numbers or primes are the numbers 2, 3, 5, 7, 11, 13,

More information

FACULTY FEATURE ARTICLE 6 The Congruent Number Problem

FACULTY FEATURE ARTICLE 6 The Congruent Number Problem FACULTY FEATURE ARTICLE 6 The Congruent Number Problem Abstract Keith Conrad University of Connecticut Storrs, CT 06269 kconrad@math.uconn.edu We discuss a famous problem about right triangles with rational

More information

arxiv: v1 [math.nt] 31 Dec 2011

arxiv: v1 [math.nt] 31 Dec 2011 arxiv:1201.0266v1 [math.nt] 31 Dec 2011 Elliptic curves with large torsion and positive rank over number fields of small degree and ECM factorization Andrej Dujella and Filip Najman Abstract In this paper,

More information

Simultaneous Linear, and Non-linear Congruences

Simultaneous Linear, and Non-linear Congruences Simultaneous Linear, and Non-linear Congruences CIS002-2 Computational Alegrba and Number Theory David Goodwin david.goodwin@perisic.com 09:00, Friday 18 th November 2011 Outline 1 Polynomials 2 Linear

More information

Congruent number elliptic curves of high rank

Congruent number elliptic curves of high rank Michaela Klopf, BSc Congruent number elliptic curves of high rank MASTER S THESIS to achieve the university degree of Diplom-Ingenieurin Master s degree programme: Mathematical Computer Science submitted

More information

Topic Contents. Factoring Methods. Unit 3: Factoring Methods. Finding the square root of a number

Topic Contents. Factoring Methods. Unit 3: Factoring Methods. Finding the square root of a number Topic Contents Factoring Methods Unit 3 The smallest divisor of an integer The GCD of two numbers Generating prime numbers Computing prime factors of an integer Generating pseudo random numbers Raising

More information

SOME FAMOUS UNSOLVED PROBLEMS. November 18, / 5

SOME FAMOUS UNSOLVED PROBLEMS. November 18, / 5 SOME FAMOUS UNSOLVED PROBLEMS November 18, 2014 1 / 5 SOME FAMOUS UNSOLVED PROBLEMS Goldbach conjecture: Every even number greater than four is the sum of two primes. November 18, 2014 1 / 5 SOME FAMOUS

More information

Divisibility. 1.1 Foundations

Divisibility. 1.1 Foundations 1 Divisibility 1.1 Foundations The set 1, 2, 3,...of all natural numbers will be denoted by N. There is no need to enter here into philosophical questions concerning the existence of N. It will suffice

More information

Diophantine quadruples and Fibonacci numbers

Diophantine quadruples and Fibonacci numbers Diophantine quadruples and Fibonacci numbers Andrej Dujella Department of Mathematics, University of Zagreb, Croatia Abstract A Diophantine m-tuple is a set of m positive integers with the property that

More information

Martinet s question on Hilbert 2-class field towers

Martinet s question on Hilbert 2-class field towers Martinet s question on Hilbert 2-class field towers Victor Wang Massachusetts Institute of Technology Duluth REU 2015 Advised by Joe Gallian January 7, 2016 1 / 14 Background: Class group and Hilbert class

More information

joint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary

joint with Katherine Thompson July 29, 2015 The Wake Forest/Davidson Experience in Number Theory Research A Generalization of Mordell to Ternary to to joint with Katherine Thompson The Wake Forest/Davidson Experience in Number Theory Research July 29, 2015 cknowledgements to Thanks to UG and to the organizers. Special thanks to Dr. Jeremy Rouse,

More information

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem

Chapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if

More information

THE CONGRUENT NUMBER PROBLEM

THE CONGRUENT NUMBER PROBLEM THE CONGRUENT NUMBER PROBLEM KEITH CONRAD 1. Introduction A right triangle is called rational when its legs and hypotenuse are all rational numbers. Examples of rational right triangles include Pythagorean

More information

MATH 25 CLASS 8 NOTES, OCT

MATH 25 CLASS 8 NOTES, OCT MATH 25 CLASS 8 NOTES, OCT 7 20 Contents. Prime number races 2. Special kinds of prime numbers: Fermat and Mersenne numbers 2 3. Fermat numbers 3. Prime number races We proved that there were infinitely

More information

Two Types of Equations. Babylonians. Solving Certain Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture

Two Types of Equations. Babylonians. Solving Certain Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture 2 Solving Certain Cubic Equations: An Introduction to the Birch and Swinnerton-Dyer Conjecture Two Types of Equations Differential f '( x) = f( x) x 2 Algebraic 3x+ 2= 0 February 28, 2004 at Brown SUMS

More information

Study of some equivalence classes of primes

Study of some equivalence classes of primes Notes on Number Theory and Discrete Mathematics Print ISSN 3-532, Online ISSN 2367-8275 Vol 23, 27, No 2, 2 29 Study of some equivalence classes of primes Sadani Idir Department of Mathematics University

More information

ENHANCING THE PERFORMANCE OF FACTORING ALGORITHMS

ENHANCING THE PERFORMANCE OF FACTORING ALGORITHMS ENHANCING THE PERFORMANCE OF FACTORING ALGORITHMS GIVEN n FIND p 1,p 2,..,p k SUCH THAT n = p 1 d 1 p 2 d 2.. p k d k WHERE p i ARE PRIMES FACTORING IS CONSIDERED TO BE A VERY HARD. THE BEST KNOWN ALGORITHM

More information

Elliptic Curves: An Introduction

Elliptic Curves: An Introduction Elliptic Curves: An Introduction Adam Block December 206 Introduction The goal of the following paper will be to explain some of the history of and motivation for elliptic curves, to provide examples and

More information

School of Mathematics

School of Mathematics School of Mathematics Programmes in the School of Mathematics Programmes including Mathematics Final Examination Final Examination 06 22498 MSM3P05 Level H Number Theory 06 16214 MSM4P05 Level M Number

More information

[Part 2] Asymmetric-Key Encipherment. Chapter 9. Mathematics of Cryptography. Objectives. Contents. Objectives

[Part 2] Asymmetric-Key Encipherment. Chapter 9. Mathematics of Cryptography. Objectives. Contents. Objectives [Part 2] Asymmetric-Key Encipherment Mathematics of Cryptography Forouzan, B.A. Cryptography and Network Security (International Edition). United States: McGraw Hill, 2008. Objectives To introduce prime

More information

Congruent number problem

Congruent number problem Congruent number problem A thousand year old problem Maosheng Xiong Department of Mathematics, Hong Kong University of Science and Technology M. Xiong (HKUST) Congruent number problem 1 / 41 Congruent

More information

arxiv:math/ v1 [math.nt] 9 Aug 2004

arxiv:math/ v1 [math.nt] 9 Aug 2004 arxiv:math/0408107v1 [math.nt] 9 Aug 2004 ELEMENTARY RESULTS ON THE BINARY QUADRATIC FORM a 2 + ab + b 2 UMESH P. NAIR Abstract. This paper examines with elementary proofs some interesting properties of

More information

A polytime proof of correctness of the Rabin-Miller algorithm from Fermat s Little Theorem

A polytime proof of correctness of the Rabin-Miller algorithm from Fermat s Little Theorem A polytime proof of correctness of the Rabin-Miller algorithm from Fermat s Little Theorem Grzegorz Herman and Michael Soltys November 24, 2008 Abstract Although a deterministic polytime algorithm for

More information

ON MONIC BINARY QUADRATIC FORMS

ON MONIC BINARY QUADRATIC FORMS ON MONIC BINARY QUADRATIC FORMS JEROME T. DIMABAYAO*, VADIM PONOMARENKO**, AND ORLAND JAMES Q. TIGAS*** Abstract. We consider the quadratic form x +mxy +ny, where m n is a prime number. Under the assumption

More information

HAMMING DISTANCE FROM IRREDUCIBLE POLYNOMIALS OVER F Introduction and Motivation

HAMMING DISTANCE FROM IRREDUCIBLE POLYNOMIALS OVER F Introduction and Motivation HAMMING DISTANCE FROM IRREDUCIBLE POLYNOMIALS OVER F 2 GILBERT LEE, FRANK RUSKEY, AND AARON WILLIAMS Abstract. We study the Hamming distance from polynomials to classes of polynomials that share certain

More information

ON THE ITERATES OF SOME ARITHMETIC. P. Erd~s, Hungarian Academy of Sciences M. V. Subbarao, University of Alberta

ON THE ITERATES OF SOME ARITHMETIC. P. Erd~s, Hungarian Academy of Sciences M. V. Subbarao, University of Alberta ON THE ITERATES OF SOME ARITHMETIC FUNCTIONS. Erd~s, Hungarian Academy of Sciences M. V. Subbarao, University of Alberta I. Introduction. For any arithmetic function f(n), we denote its iterates as follows:

More information

21 Induction. Tom Lewis. Fall Term Tom Lewis () 21 Induction Fall Term / 14

21 Induction. Tom Lewis. Fall Term Tom Lewis () 21 Induction Fall Term / 14 21 Induction Tom Lewis Fall Term 2010 Tom Lewis () 21 Induction Fall Term 2010 1 / 14 Outline 1 The method of induction 2 Strong mathematical induction Tom Lewis () 21 Induction Fall Term 2010 2 / 14 Pessimists

More information

ENTRY NUMBER THEORY. [ENTRY NUMBER THEORY] Authors: Oliver Knill: 2003 Literature: Hua, introduction to number theory.

ENTRY NUMBER THEORY. [ENTRY NUMBER THEORY] Authors: Oliver Knill: 2003 Literature: Hua, introduction to number theory. ENTRY NUMBER THEORY [ENTRY NUMBER THEORY] Authors: Oliver Knill: 2003 Literature: Hua, introduction to number theory ABC conjecture [ABC conjecture] If a,b,c are positive integers, let N(a,b,c) be the

More information

Grade 11/12 Math Circles Congruent Number Problem Dr. Carmen Bruni October 28, 2015

Grade 11/12 Math Circles Congruent Number Problem Dr. Carmen Bruni October 28, 2015 Faculty of Mathematics Waterloo, Ontario N2L 3G1 Number Theory Grade 11/12 Math Circles Congruent Number Problem Dr. Carmen Bruni October 28, 2015 Centre for Education in Mathematics and Computing Number

More information

Congruent numbers via the Pell equation and its analogous counterpart

Congruent numbers via the Pell equation and its analogous counterpart Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 21, 2015, No. 1, 70 78 Congruent numbers via the Pell equation and its analogous counterpart Farzali Izadi Department of Mathematics,

More information

The first dynamical system

The first dynamical system The first dynamical system Carl Pomerance, Dartmouth College Charles University November 8, 2016 As we all know, functions in mathematics are ubiquitous and indispensable. But what was the very first function

More information