ctnt 2020 introduction to sieves
play

CTNT 2020: Introduction to Sieves Brandon Alberts University of - PowerPoint PPT Presentation

CTNT 2020: Introduction to Sieves Brandon Alberts University of Connecticut June 2020 Brandon Alberts CTNT 2020: Introduction to Sieves Introduction Brandon Alberts CTNT 2020: Introduction to Sieves Definition A sieve is a tool for


  1. CTNT 2020: Introduction to Sieves Brandon Alberts University of Connecticut June 2020 Brandon Alberts CTNT 2020: Introduction to Sieves

  2. Introduction Brandon Alberts CTNT 2020: Introduction to Sieves

  3. Definition A sieve is a tool for separating desired objects from other objects. Examples: A pasta strainer separates pasta from water. Sieves were used during the gold rush to separate gold from sand and dirt. The Sieve of Eratosthenes separates primes numbers from all other numbers. Brandon Alberts CTNT 2020: Introduction to Sieves

  4. Sieve of Eratosthenes 65 75 74 73 72 71 70 69 68 67 66 64 77 63 62 61 60 59 58 57 56 55 54 76 78 52 91 Brandon Alberts 100 99 98 97 96 95 94 93 92 90 79 89 88 87 86 85 84 83 82 81 80 53 51 1 13 23 22 21 20 19 18 17 16 15 14 12 25 11 10 9 8 7 6 5 4 3 2 24 26 50 39 49 48 47 46 45 44 43 42 41 40 38 27 37 36 35 34 33 32 31 30 29 28 CTNT 2020: Introduction to Sieves

  5. Asymptotic Notation and Arithmetic Functions Brandon Alberts CTNT 2020: Introduction to Sieves

  6. Definition An arithmetic function is a function f : N C . These functions can be used to capture and study certain arithmetic behaviors. Brandon Alberts CTNT 2020: Introduction to Sieves

  7. Arithmetic functions often have very erratic behavior, which makes them more difficult to deal with using analytic techniques. Consider the divisor # positive divisors of n . (see CoCalc) Brandon Alberts CTNT 2020: Introduction to Sieves function d n

  8. We can smooth out the information contained in an arithmetic function n x d n Brandon Alberts CTNT 2020: Introduction to Sieves by considering the function of a real variable x

  9. Definition if Brandon Alberts 1 . g x f x x lim g x Let f x and write f x is . We say f x be two functions and let x and g x CTNT 2020: Introduction to Sieves asymptotic to g x

  10. Lemma x x Brandon Alberts CTNT 2020: Introduction to Sieves

  11. Definition f x C g x for all x x 0 . Equivalently, lim sup x g x Let f x . is “asymptotically the same order of magnitude or Exercise: If f x g x then f x O g x . Brandon Alberts 0 such that f x CTNT 2020: Introduction to Sieves g x , if or f x and g x be function of the real variable x . We define the following: (a) f x is little-oh of g x , written f x o g x , if lim x f x g x 0 . is “asymptotically smaller” than g x . (b) f x is big-oh of g x , written f x O g x In this case, f x there exists a constant C In this case, f x smaller” than g x .

  12. Definition We write Brandon Alberts . belong to the same coset when quotienting by the and g x for x sufficiently large. The above notation is then equivalent to stating are ideals in the ring of functions defined and o h x CTNT 2020: Introduction to Sieves Similar notation applies to little-oh. . O h x g x f x to mean O h x g x f x Exercise: O h x that f x ideal O h x

  13. Lemma x x main term O 1 error term Brandon Alberts CTNT 2020: Introduction to Sieves

  14. Exercises: O , then f x O h x . 4 If f x O g x , then n n and g x . 5 If f x O g x and y is some real number, then x O x Brandon Alberts 1 O h x O g x If f x f x O g x O f x g x and f x o g x o f x g x , 2 CTNT 2020: Introduction to Sieves If f x O g x and h x O g x then f x h x O g x , 3 x f n x g n y f t dt y g t dt .

  15. Abel Summation Brandon Alberts CTNT 2020: Introduction to Sieves

  16. Abel Summation A t f t f t and “ dv ” a n : y n x a n f n x Theorem y x y A t f t dt Brandon Alberts A t is like a “discrete antiderivative” of a n , and we can recognize the t dt . A t f y Write A x n the interval y , x for y x . Then y n x a n f n A x f x A y f y x CTNT 2020: Introduction to Sieves x a n and suppose f t is a differentiable function on familar integration by parts formula with u

  17. Corollary n x 1 n log x O 1 Brandon Alberts CTNT 2020: Introduction to Sieves

  18. Theorem n x d n x log x O x Brandon Alberts CTNT 2020: Introduction to Sieves

  19. M¨ obius function Brandon Alberts CTNT 2020: Introduction to Sieves

  20. Definition Lemma Brandon Alberts 1 n 0 1 n 1 µ d d n otherwise The M¨ 0 1 i k n µ n obius function is defined as follows: CTNT 2020: Introduction to Sieves 1 k p i is a product of k distinct primes

  21. Theorem (Mobius Inversion) If f n d n g d then g n d n µ d f n d . Brandon Alberts CTNT 2020: Introduction to Sieves

  22. Squarefree numbers 65 75 74 73 72 71 70 69 68 67 66 64 77 63 62 61 60 59 58 57 56 55 54 76 78 52 91 Brandon Alberts 100 99 98 97 96 95 94 93 92 90 79 89 88 87 86 85 84 83 82 81 80 53 51 1 13 23 22 21 20 19 18 17 16 15 14 12 25 11 10 9 8 7 6 5 4 3 2 24 26 50 39 49 48 47 46 45 44 43 42 41 40 38 27 37 36 35 34 33 32 31 30 29 28 CTNT 2020: Introduction to Sieves

  23. Theorem # squarefree numbers x n 1 µ n n 2 x O x Brandon Alberts CTNT 2020: Introduction to Sieves

  24. Prime Numbers Brandon Alberts CTNT 2020: Introduction to Sieves

  25. Theorem (Prime Number Theorem) Let π x # primes p x p π x x log x There are variety of proofs of the PNT, the most accessible of which require complex analytic techniques. There does exist an “elementary proof” (i.e. one that does not appeal to complex analysis), but it is too long to treat in this course. Brandon Alberts CTNT 2020: Introduction to Sieves x 1 . Then

  26. Theorem (Chebysheff’s Theorem) π x O x log x O x log x if and only if θ x : p x O x . Brandon Alberts CTNT 2020: Introduction to Sieves Exercise: π x log p

  27. Theorem p x log p p log x O 1 Brandon Alberts CTNT 2020: Introduction to Sieves

  28. Corollary p x 1 p log log x O 1 Exercise: Prove this corollary using Abel Summation with f t log t 1 . Brandon Alberts CTNT 2020: Introduction to Sieves

  29. Sieve of Eratosthenes Brandon Alberts CTNT 2020: Introduction to Sieves

  30. Eratosthenes sieved out numbers divisible by small primes. We can this p Brandon Alberts O 2 z p 1 1 z x by considering the function Φ x , z Theorem where x and z are positive real numbers. z x : n is not divisible by any primes # n Φ x , z CTNT 2020: Introduction to Sieves

  31. Ψ x , z # n x : if p n then p z Brandon Alberts CTNT 2020: Introduction to Sieves To improve on the error O 2 z , consider the function

  32. Theorem Ψ x , z x log z exp log x log z Brandon Alberts CTNT 2020: Introduction to Sieves

  33. Theorem Φ x , z x p z 1 1 p O log x log z Brandon Alberts CTNT 2020: Introduction to Sieves x log z 2 exp

  34. Theorem (Merten’s Theorem) p z 1 1 p e γ Brandon Alberts CTNT 2020: Introduction to Sieves log z , where γ is the Euler-Mascheroni constant.

  35. Let A be a set of integers to ω p distinct residue classes modulo p . Brandon Alberts p P z A # Define S A , P , z A be a subset of integers belonging x , P a set of primes, and P z P , let A p For each prime p p . z p p P CTNT 2020: Introduction to Sieves A p .

  36. If d is a squarefree number divisible by primes of P , define ω d Set ω 1 1 and A 1 A . Brandon Alberts CTNT 2020: Introduction to Sieves p d ω p and A d p d A p .

  37. Theorem (The sieve of Eratosthenes) W z O X y log z log y log z where p P Suppose the following conditions hold: p z 1 ω p p . Brandon Alberts XW z S A , P , z Then p P z There exists an X such that # A d ω d d X O ω d , For some κ 0 , ω p log p y . p κ log z O 1 , For some y 0 , # A d CTNT 2020: Introduction to Sieves 0 for every d log z κ 1 exp

  38. Brun’s Sieves Brandon Alberts CTNT 2020: Introduction to Sieves

  39. Brun’s sieve is set up in essentially the same way as Eratosthenes. Given we want to remove, and measure the size of S A , P , z # A p P z A p . Brandon Alberts CTNT 2020: Introduction to Sieves some set A of integers x , we have some collection of A p of elements

  40. Idea (Punchline of Brun’s results) Under similar, but slightly relaxed, hypotheses to the sieve of Eratosthenes, Burn proves that S A , P , z XW z O better error # A and W z p P z 1 ω p p . Brandon Alberts CTNT 2020: Introduction to Sieves where X

  41. Theorem (Brun’s Pure Sieve) Suppose the following conditions hold: Brandon Alberts where η is any positive number (possibly depending on x and z .) error terms log z XW z O main term XW z S A , P , z Then C 2 , CTNT 2020: Introduction to Sieves p ω p p P z C , There exists a constant C such that ω p , O ω d X d ω d There exists an X such that # A d There exist constants C 1 and C 2 such that C 1 log log z η log η O z η log log z

  42. Theorem # p x : p and p 2 are prime . Brandon Alberts CTNT 2020: Introduction to Sieves x log log x 2 log x 2

  43. Corollary p p 2 prime 1 p . Brandon Alberts CTNT 2020: Introduction to Sieves

  44. The big idea: truncated M¨ ν d Brandon Alberts µ d 1 r ν n d n θ µ d r d n obius Inversion µ n d n that 1 such # distinct prime divisors of n . There exists θ ν n r Let n and r be positive integers with Lemma CTNT 2020: Introduction to Sieves

Recommend


More recommend