by Michael Filaseta University of South Carolina

Similar documents
The covering congruences of Paul Erdős. Carl Pomerance Dartmouth College

Mark Kozek. December 7, 2010

Zhanjiang , People s Republic of China

Constructions of Coverings of the Integers: Exploring an Erdős Problem

Variations on a Theme of Sierpiński

LUCAS-SIERPIŃSKI AND LUCAS-RIESEL NUMBERS

6. Find an inverse of a modulo m for each of these pairs of relatively prime integers using the method

NUMBER THEORY AMIN WITNO

SOLUTIONS TO PROBLEM SET 5. Section 9.1

Wilson s Theorem and Fermat s Theorem

The congruence relation has many similarities to equality. The following theorem says that congruence, like equality, is an equivalence relation.

An interesting class of problems of a computational nature ask for the standard residue of a power of a number, e.g.,

Discrete Math Class 4 ( )

Collection of rules, techniques and theorems for solving polynomial congruences 11 April 2012 at 22:02

Solutions to Problem Set 6 - Fall 2008 Due Tuesday, Oct. 21 at 1:00

Solutions for the Practice Questions

b) Find all positive integers smaller than 200 which leave remainder 1, 3, 4 upon division by 3, 5, 7 respectively.

SOLUTIONS FOR PROBLEM SET 4

Distribution of Primes

Math 255 Spring 2017 Solving x 2 a (mod n)

PRIMES IN SHIFTED SUMS OF LUCAS SEQUENCES. Lenny Jones Department of Mathematics, Shippensburg University, Shippensburg, Pennsylvania

Goldbach Conjecture (7 th june 1742)

ON THE EQUATION a x x (mod b) Jam Germain

An elementary study of Goldbach Conjecture

The Chinese Remainder Theorem

Primitive Roots. Chapter Orders and Primitive Roots

1.6 Congruence Modulo m

CMPSCI 250: Introduction to Computation. Lecture #14: The Chinese Remainder Theorem David Mix Barrington 24 February 2012

Proof that Mersenne Prime Numbers are Infinite and that Even Perfect Numbers are Infinite

CMPSCI 250: Introduction to Computation. Lecture #14: The Chinese Remainder Theorem David Mix Barrington 4 October 2013

Goldbach conjecture (1742, june, the 7 th )

#A3 INTEGERS 17 (2017) A NEW CONSTRAINT ON PERFECT CUBOIDS. Thomas A. Plick

Calculators will not be permitted on the exam. The numbers on the exam will be suitable for calculating by hand.

To be able to determine the quadratic character of an arbitrary number mod p (p an odd prime), we. The first (and most delicate) case concerns 2

A CONJECTURE ON UNIT FRACTIONS INVOLVING PRIMES

Foundations of Cryptography

Math 127: Equivalence Relations

CHAPTER 2. Modular Arithmetic

University of British Columbia. Math 312, Midterm, 6th of June 2017

The Strong Finiteness of Double Mersenne Primes and the Infinity of Root Mersenne Primes and Near-square Primes of Mersenne Primes

Degree project NUMBER OF PERIODIC POINTS OF CONGRUENTIAL MONOMIAL DYNAMICAL SYSTEMS

FORBIDDEN INTEGER RATIOS OF CONSECUTIVE POWER SUMS

Data security (Cryptography) exercise book

Introduction. and Z r1 Z rn. This lecture aims to provide techniques. CRT during the decription process in RSA is explained.

Multiples and Divisibility

Number Theory. Konkreetne Matemaatika

Practice Midterm 2 Solutions

ON MODULI FOR WHICH THE FIBONACCI SEQUENCE CONTAINS A COMPLETE SYSTEM OF RESIDUES S. A. BURR Belt Telephone Laboratories, Inc., Whippany, New Jersey

Assignment 2. Due: Monday Oct. 15, :59pm

Modular Arithmetic. Kieran Cooney - February 18, 2016

Number Theory - Divisibility Number Theory - Congruences. Number Theory. June 23, Number Theory

ORDER AND CHAOS. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA

Fermat s little theorem. RSA.

Number Theory/Cryptography (part 1 of CSC 282)

A Study of Relationship Among Goldbach Conjecture, Twin prime and Fibonacci number

Outline Introduction Big Problems that Brun s Sieve Attacks Conclusions. Brun s Sieve. Joe Fields. November 8, 2007

Discrete Square Root. Çetin Kaya Koç Winter / 11

Applications of Fermat s Little Theorem and Congruences

p 1 MAX(a,b) + MIN(a,b) = a+b n m means that m is a an integer multiple of n. Greatest Common Divisor: We say that n divides m.

Math 412: Number Theory Lecture 6: congruence system and

MAT Modular arithmetic and number theory. Modular arithmetic

Algorithmic Number Theory and Cryptography (CS 303)

Congruence. Solving linear congruences. A linear congruence is an expression in the form. ax b (modm)

Solutions for the Practice Final

Modular Arithmetic. claserken. July 2016

Number-Theoretic Algorithms

Sheet 1: Introduction to prime numbers.

Solutions for the 2nd Practice Midterm

x 8 (mod 15) x 8 3 (mod 5) eli 2 2y 6 (mod 10) y 3 (mod 5) 6x 9 (mod 11) y 3 (mod 11) So y = 3z + 3u + 3w (mod 990) z = (990/9) (990/9) 1

Congruences Modulo Small Powers of 2 and 3 for Partitions into Odd Designated Summands

ALGEBRA: Chapter I: QUESTION BANK

Modular Arithmetic: refresher.

Discrete Mathematics & Mathematical Reasoning Multiplicative Inverses and Some Cryptography

Math 124 Homework 5 Solutions

MATH 135 Algebra, Solutions to Assignment 7

LECTURE 3: CONGRUENCES. 1. Basic properties of congruences We begin by introducing some definitions and elementary properties.

PT. Primarity Tests Given an natural number n, we want to determine if n is a prime number.

12. Let Rm = {0,1,2,..., m 1} be a complete residue system modulo ra. Let a be an integer. When is a Rm = {0,1 a, 2 a,...

Notes for Recitation 3

Calculators will not be permitted on the exam. The numbers on the exam will be suitable for calculating by hand.

UNIVERSITY OF MANITOBA DATE: December 7, FINAL EXAMINATION TITLE PAGE TIME: 3 hours EXAMINER: M. Davidson

SYMMETRIES OF FIBONACCI POINTS, MOD m

18.204: CHIP FIRING GAMES

MATH 324 Elementary Number Theory Solutions to Practice Problems for Final Examination Monday August 8, 2005

LECTURE 7: POLYNOMIAL CONGRUENCES TO PRIME POWER MODULI

Diffie-Hellman key-exchange protocol

Arithmetic Properties of Combinatorial Quantities

Two congruences involving 4-cores

Is 1 a Square Modulo p? Is 2?

Lecture 32. Handout or Document Camera or Class Exercise. Which of the following is equal to [53] [5] 1 in Z 7? (Do not use a calculator.

Introduction to Modular Arithmetic

Ramanujan-type Congruences for Overpartitions Modulo 5. Nankai University, Tianjin , P. R. China

SMT 2014 Advanced Topics Test Solutions February 15, 2014

What we still don t know about addition and multiplication. Carl Pomerance, Dartmouth College Hanover, New Hampshire, USA

On the Periodicity of Graph Games

ON SPLITTING UP PILES OF STONES

Exam 1 7 = = 49 2 ( ) = = 7 ( ) =

Final exam. Question Points Score. Total: 150

Algorithmic Number Theory and Cryptography (CS 303)

PROPERTIES OF MERSENNE NUMBERS AND PRIMES

Transcription:

by Michael Filaseta University of South Carolina Background: A covering of the integers is a system of congruences x a j (mod m j, j =, 2,..., r, with a j and m j integral and with m j, such that every integer satisfies at least one of the congruences. A covering of the integers is a system of congruences x a j (mod m j, j =, 2,..., r, with a j and m j integral and with m j, such that every integer satisfies at least one of the congruences. x 0 (mod 2 x 2 (mod 3 x (mod 4 x (mod 6 x 3 (mod 2 x 0 (mod 2 x 0 (mod 3 x (mod 4 x 3 (mod 8 x 7 (mod 2 x 23 (mod 24 0 2 3 4 5 6 7 8 9 0 Classical Result: If the moduli in a covering are distinct and >, then the sum of the reciprocals of the moduli exceeds. = z x a j (mod m j ( j r = r ( z aj + z aj+mj + z aj+2mj +... r z aj z mj Version : Let z approach ζ max{mj}. Question: Given c > 0, is there a covering using only distinct moduli c? Question: Does there exist a covering consisting of distinct odd moduli >? Theorem (W. Sierpinski: A positive proportion of odd positive integers k satisfy k 2 n + is composite for Theorem (W. Sierpinski: A positive proportion of odd positive integers k satisfy k 2 n + is composite for Sierpinski s Argument: Covering x (mod 2 x 2 (mod 4 x 4 (mod 8 x 8 (mod 6 x 6 (mod 32 x 32 (mod 64 Theorem (W. Sierpinski: A positive proportion of odd positive integers k satisfy k 2 n + is composite for Sierpinski s Argument: Apply the Covering Chinese Remainder Theorem x (mod 2 x 2 (mod 4 x 4 (mod 8 x 8 (mod 6 k (mod 3 k (mod 5 k (mod 7 k (mod 257 x 6 (mod 32 x 32 (mod 64 k (mod 65537 k (mod 64 x 0 (mod 64 k (mod 670047 Theorem (W. Sierpinski: A positive proportion of odd positive integers k satisfy k 2 n + is composite for Sierpinski (960: k = 5538074646259338 Definition: A Sierpinski number is an odd positive integer k with the property that k 2 n + is composite for all nonnegative integers n. Sierpinski (960: k = 5538074646259338 Selfridge (962: k = 78557 Selfridge s Argument: k an odd positive integer, k 2 n + composite n n 0 (mod 2 n (mod 4 n 3 (mod 36 n 5 (mod 36 n 27 (mod 36 n 7 (mod 2 n (mod 2 k 2 (mod 3 k 2 (mod 5 k 9 (mod 73 k (mod 9 k 6 (mod 37 k 3 (mod 7 k (mod 3

Sierpinski (960: k = 5538074646259338 Selfridge (962: k = 78557 k an odd positive integer, k 2 n + composite n Why odd? The common belief is that Fermat numbers 2 2n + are composite for all n 5. It follows that k 2 n + is likely composite for every positive integer n when k = 2 6 = 65536. Sierpinski (960: k = 5538074646259338 Selfridge (962: k = 78557 k an odd positive integer, k 2 n + composite n What s the smallest odd k? The belief is that it is 78557. Work has been done and continues to be done to establish this. Idea: For each positive odd integer < 78557, find a positive integer n for which k 2 n + is prime. Idea: For each positive odd integer < 78557, find a positive integer n for which k 2 n + is prime. As of December 30, 2004, there are 0 values of k < 78557 for which a prime of the form k 2 n + is not known. 4847, 0223, 9249, 28, 22699, 24737, 27653, 3366, 55459, 67607 Theorem (M. F. Proth, 878: Let N = k 2 n + with 2 n > k. If there is an integer a such that a (N /2 = (mod N, then N is prime. > d:=product(ithprime(j,..7: > d:=product(ithprime(j,..7: > for n from to 00 do > for n from to 00 do lprint(n,gcd(4847*2^n+,d: if gcd(4847*2^n+,d= then lprint(n: fi:, 35 5 2, 3 39 3, 7 63 4, 2 87 5, 5 6, 3 7, 7 8, 33 9, 5 0, 2, 22 2, 3 3, 35 > d:=product(ithprime(j,..000: > for n from 0 to 30 do if gcd(4847*2^(24*n+5+,d = then lprint(n: fi: 2 3 4 8 2 3 4 7 9 24 > ifactor(4847*2^63+; (329986775727(46579(8069 > ifactor(4847*2^87+; (970890(32688373223650549(23633 > ifactor(4847*2^+; (8343573(540067099550829592547 > order(2,8343573; 83435730 Unsolved Problems in Number Theory by Richard Guy (Edition 2, Section F3 Erdős conjectures that all sequences of the form d 2 k + (k =, 2,..., d fixed and odd, which contain no primes can be obtained from covering congruences.... Equivalently, the least prime factors of members of such sequences are bounded. Probable Counterexample: Due to Anatoly Izotov, 995. Sierpinski s Congruences k (mod 3 k (mod 5 k (mod 7 k (mod 257 k (mod 65537 k (mod 64 k (mod 670047 Counterexample l (mod 3 l (mod 7 l (mod 257 l (mod 65537 l (mod 64 l 2 8 (mod 670047 P = {3, 7, 257, 65537, 64, 670047} l 4 k (mod p, p P

k (mod 3 k (mod 5 k (mod 7 k (mod 257 k (mod 65537 k (mod 64 k (mod 670047 l (mod 3 l (mod 7 l (mod 257 l (mod 65537 l (mod 64 l 2 8 (mod 670047 k (mod 3 k (mod 5 k (mod 7 k (mod 257 k (mod 65537 k (mod 64 k (mod 670047 l (mod 3 l (mod 7 l (mod 257 l (mod 65537 l (mod 64 l 2 8 (mod 670047 k (mod 3 k (mod 5 k (mod 7 k (mod 257 k (mod 65537 k (mod 64 k (mod 670047 l (mod 3 l (mod 7 l (mod 257 l (mod 65537 l (mod 64 l 2 8 (mod 670047 P = {3, 7, 257, 65537, 64, 670047} P = {3, 7, 257, 65537, 64, 670047} l 4 k (mod p, p P l 4 k (mod p, p P l 4 2 n + k 2 n + (mod p, p P l 4 2 n + k 2 n + (mod p, p P some p P divides l 4 2 n + unless some p P divides l 4 2 n + unless n 2 (mod 4 l 4 2 n + is composite for all positive integers n Chinese Remainder Theorem implies l 347926834242587502 mod (3 7 257 65537 64 670047 n 2 (mod 4 = l 4 2 n + = 4x 4 + 4x 4 + = (2x 2 + 2x + (2x 2 2x + k (mod 3 k (mod 5 k (mod 7 k (mod 257 k (mod 65537 k (mod 64 k (mod 670047 l (mod 3 Chinese Remainder Theorem implies l 768675767097825 l (mod 7 l (mod 257 l (mod 65537 l (mod 64 l 2 8 (mod 670047 l 4 2 n + is composite for all positive integers n mod (3 7 257 65537 64 670047 Remarks: Let l 768675767097825 modulo 2 3 5 7 257 65537 64 670047. Then l 4 2 n + is composite for all positive n Z +. Furthermore, the least prime divisor of l 4 2 n + appears to be unbounded as n. Remarks: Let l 768675767097825 modulo 2 3 5 7 257 65537 64 670047. Then l 4 2 n + is composite for all positive n Z +. Furthermore, the least prime divisor of l 4 2 n + appears to be unbounded as n. Remarks: Let l 856437595 modulo 2 3 5 7 97 24 257 673. Then l 4 2 n + is composite for all positive n Z +. Furthermore, the least prime divisor of l 4 2 n + appears to be unbounded as n. > d:=product(ithprime(j,..000: > ell:=856437595^4: > for n from 0 to 00 do if gcd(ell*2^(4*n+2+,d= then lprint(n: fi: 0 3 7 9 25 27 33 53 54 66 > ifactor(ell*2^394 + : (70989902(3883605894653 (379372528863947248290705429880556872...4297 (2075402888892878302456960956605933...234

Question: Is 78557 the smallest Sierpinski number? Question: Is 4847 a Sierpinski number? Question: Is 856437595 4 the smallest example of a Sierpinski number that likely cannot be obtained from coverings? Remark: This Sierpinski number has interesting heuristics associated with it. As 856437595 4 2 n + is of the form 4x 4 + for n 2 (mod 4, it is likely that for such n the number of prime factors of 856437595 4 2n + tends to infinity with n. The analogous heuristic does not hold for Sierpinski numbers constucted by coverings. Remark: The number 2729 is the second smallest known Sierpinski number. It is a prime. Question: Is 2729 the smallest prime that is a Sierpinski number? Question: Are there any prime Sierpinski numbers that cannot be obtained from coverings? In other words, if p is a prime and p 2 n + is composite for all positive integers n, then is it the case that the smallest prime factor of p 2 n + is bounded as n tends to infinity? Definition: A Riesel number is an odd positive integer k for which k 2 n is composite for all positive integers n. Question: Is 509203 the smallest Riesel number? Question: Is 2293 a Riesel number? Definition: A Brier number is an odd positive integer k for which k 2 n ± is composite for all positive integers n. In other words, a Brier number is an odd positive integer for which k 2 n is not adjacent to a prime for every positive integer n. Question: Is 878503223749240526292469 the least Brier number? Remark: An example of a Riesel number that likely does not come from coverings is: 72020575363403300057727450583320576872299479287667 2 Calling this example l 2, we see that l 2 2 n is composite whenever n is even. For odd n, a covering is used with the 20 moduli 7, 7, 3, 4, 7, 97, 3, 27, 5, 24, 257, 28, 337, 64, 673, 32, 4449, 299, 65537, 670047. Question: What s the smallest Riesel number that is likely not obtainable from coverings? Question: Are there examples of Brier numbers that cannot be obtained from coverings? Polignac s Conjecture: For every sufficiently large odd positive integer k, there is a prime p and an integer n such that k = 2 n + p. Examples of odd k not as above are: 27, 49, 25, 33, 337, 373, 509 The first composite k > as above is 905. Polignac s Conjecture: For every sufficiently large odd positive integer k, there is a prime p and an integer n such that k = 2 n + p. Erdős gave a construction of infinitely many such k (not satisfying the conjecture above by taking k (mod 2, k (mod 3, k 2 (mod 5, k (mod 7, k (mod 3, k 8 (mod 7, k 2 (mod 24. Unsolved Problems in Number Theory by Richard Guy (Edition, Section F3 Erdős also formulates the following conjecture. Consider all the arithmetic progressions of odd numbers, no term of which is of the form 2 k + p. Is it true that all these progressions can be obtained from covering congruences? Are there infinitely many integers, not of the form 2 k + p, which are not in such progressions? Note: Switching notation, we want k with k 2 n not prime for Note: Switching notation, we want k with k 2 n not prime for Idea: To get an example that is not derived from a covering, take k = l 2 and note that when n 0 (mod 2 the number k 2 n factors. Claim: The example of the Riesel number l 2 is a likely counterexample for the 2 nd Erdős conjecture.

Claim: The example of the Riesel number l 2 is a likely counterexample for the 2 nd Erdős conjecture. Proof: If n is even, both l 2 2 n and l 2 2 n factor (one needs to check that each has two factors >. For each odd n, the number l 2 2 n is divisible by a prime from a fixed finite set S. Let P be the product of the primes in S, and let m be a positive odd integer for which 2 m 2 (mod P (one can take m = φ(p. Let n be an arbitrary odd number. There is a prime p S such that p divides l 2 2 nm. Then p divides l 2 2 nm+n 2 n l 2 2 n (mod p. Seemingly, we have infinitely many numbers not of the from 2 n + p which do not lie in an arithmetic progression arising from coverings. These are given by l 2 where l 72020575363403300057727450583320576872299479287667 (mod 279478982583238897282646528429086627445374409052562. Question: What is the smallest example of a number of the form 2 n + p which does not lie in an arithmetic progression arising from coverings? Question: Are there proofs that these apparent counterexamples are in fact counterexamples? Chen established that such k exist if r is odd or both r 2 (mod 4 and 3 r. Carrie Finch and Mark Kozek were given the task of resolving the conjecture by possibly making use of partial coverings (which Chen had not done. We were able to resolve the conjecture, in the end without using partial coverings. Some of what was involved: We may suppose that r is big. Some of what was involved: We may suppose thatris big. Some of what was involved: We may suppose that r is big. At least two distinct prime divisors follows from any covering argument. At least two distinct prime divisors follows from any covering argument. Fix r. A covering produces k and a finite set P = {p, p 2,..., p r } of primes such that k r 2 n + is always divisible by some prime from P. The equation k r 2 n + = p ej j can be rewritten in the form ax r by r =, which has finitely many solutions.

Some of what was involved: We may suppose that r is big. At least two distinct prime divisors follows from any covering argument. Find a covering construction. Find a covering construction. l (mod p l (mod p 2 l (mod p 3.. l (mod p s l (mod p s plus more congruences l = k r p j ( 2 2j + More congruences are for covering n 0 (mod 2 s. Find a covering construction. Lemma: Let t > 2. Let q be an odd prime. If p is a primitive prime divisor of 2 q 2t, then both (i is a 2 t th power modulo p (ii 2 has order q 2 t modulo p Idea: Take q so that q r. Imagine s is very large. Let p j be a primitive prime divisor of 2 q 2s+ j for j {, 2,..., q}. Create more congruences modulo these p j s to cover n 0 (mod 2 s. Conjectures Concerning a Large Minimum Modulus Joint Work With: Kevin Ford, Sergei Konyagin, Carl Pomerance and Gang Yu Question: Given c > 0, is there a covering using only distinct moduli c? Erdős: This is perhaps my favourite problem. Question: What conditions can we impose on the moduli that would cause no covering to exist? Conjecture (Erdős and Selfridge: For any B, there is an N B, such that in a covering system with distinct moduli greater than N B, the sum of reciprocals of these moduli is greater than B. Conjecture 2 (Erdős and Graham: For each K >, there is a positive d K such that if N is sufficiently large, depending on K, and we choose arbitrary integers r(n for each n (N, KN], then the complement in Z of the union of the residue classes r(n (mod n has density at least d K. Conjecture 3 (Erdős and Graham: For any K > and N sufficiently large, depending on K, there is no covering system using distinct moduli from the interval (N, KN]. Conjecture (Erdős and Selfridge: Fix B. If N is sufficiently large and a covering consists of distinct moduli m, m 2,..., m r each exceeding N, then r > B. m j Theorem: Let 0 < c < /3 and let N be sufficiently large (depending on c. If S is a set of integers > N such that n S n N log log log N clog, log log N then any system of congruences consisting of distinct moduli from S cannot cover all of Z. x a j (mod m j ( j r Question: What is the density of integers which are not covered by these congruences? If the moduli are pairwise relatively prime, then the density is. If the moduli are large, then on average the density is α. By choosing the a j carefully, one can always make the density α. By choosing the a j and m j carefully, one can make the density much smaller than α. Then KN m=n+ ( = m Suppose the set of moduli S = {m,..., m r } is (N, KN] Z. KN m=n+ ( m m = K. Conjecture 2 (Erdős and Graham: For each K >, there is a positive d K such that if N is sufficiently large, depending on K, and we choose arbitrary integers r(n for each n (N, KN], then the complement in Z of the union of the residue classes r(n (mod n has density at least d K. Theorem: For any numbers c with 0 < c < /2, N 20, and K with < K exp(c log N log log log N/ log log N, if S is a set of integers contained in (N, KN], then the minimal density of integers not covered when using distinct moduli from S is ( + o(α(s as N.

Theorem: For any numbers c with 0 < c < /2, N 20, and K with < K exp(c log N log log log N/ log log N, if S is a set of integers contained in (N, KN], then the minimal density of integers not covered when using distinct moduli from S is ( + o(α(s as N. gcd(mi,mj> Rough Ideas: gcd(mi,mj> Recall we can make the density δ α. We show δ α β. α minimal density δ α β Comment: The quantities α and β are so difficult to estimate when we consider the moduli to be squarefree integers with each prime divisor in an interval ( e N log N, N]. This can be used to give the following improvement of a result of J. A. Haight (979: Theorem: There is an infinite set of positive integers H such that for any residue system C with distinct moduli from {d : d >, d H}, the density of integers not covered is at least (+o(α(c and σ(h/h = (log log H /2 + O(log log log H. Rough Ideas: gcd(mi,mj> Recall we can make the density δ α. We show δ α β. Split up the contribution from small primes dividing the moduli and large primes. Lemma: Let C be an arbitrary residue system. Let P be an arbitrary finite set of primes, and set M = p ν(p, p P where ν(p is the exponent of p in the factorization of lcm{m : m a modulus}. For 0 h M, let C h be the multiset of pairs ( m gcd(m, M, a where (m, a C, a h (mod gcd(m, M. Then δ(c = M M h=0 δ(c h. Rough Ideas: gcd(mi,mj> Recall we can make the density δ α. We show δ α β. Split up the contribution from small primes dividing the moduli and large primes. Use δ(c h α(c h β(c h and estimates for α(c h and β(c h. The End