MATH 470 Lecture 11

From Notes
Jump to navigation Jump to search

« previous | Tuesday, February 19, 2013 | next »


Inequality Relevant to Primes

For all c0, t1, we have

(11t)ctec


Recall the probability of picking a random number in (1,n) is greater than 1lnn

So the chances of failing to pick a prime in k tries is (11lnn)k

By substituting k for c and lnn for t in the lemma above, the chances of failing to find a prime after klnn tries is:

(11lnn)k(11lnn)klnnek

Therefore, after klnn tries, the chances of you finding a prime is at least 1ek

A more precise estimate on the number of primes less than x (π(x)) is:

Riemann Hypothesis

(1859; One reformulation)

Complex analysis to number theory

|π(x)Li(x)|=O(xlnx)

(Still unproved)


Deeper question: count primes in arithmetic progression (very relevant to cryptography)


               2 3 5 7 11 13 17 19 23 29 31 ...
equiv 3 mod 4:   X   X  X        X  X     X

What about primes of the form nx+a?

n and a should be relatively prime, so there are ϕ(n) many classes


Dirichlet's Theorem

Let π(x; n, a) = number of primes ≤ x which are ≡ a (mod n)


Then limxπ(x;n,a)xϕ(n)lnx=1GCD(a,n)=1


Applied to Riemann Hypothesis, we get the Generalized Riemann Hypothesis:

|π(x;n,a)1ϕ(n)Li(x)|=On(xlnx)

GRH is a huge problem from analytic number theory and greatly impacts cryptography and algorithms

Jacobi Symbol

if n=i=1kpibi with distinct primes pi, bi, and a

We define

(an)=i=1k(api)bi

Note:

  • Definition is absurd computationally! (requires factoring)
  • Legendre symbol is a special case of the Jacobi symbol
  • (an) is not always an12(modn) (e.g. (215)=1, whereas 215128(mod15)
  • (an)=1 need not imply a is a square mod n
  • (an)=1 means a is not a square (i.e. one-sided check for square-ness

Jacobi yield a much faster way to compute Legendre symbols:

Theorem. If n is odd,

  1. ab(modn) and GCD(a,n)=1 then (an)=(bn)
  2. if GCD(ab,n)=1 then (abn)=(an)(bn)
  3. (1n)=(1)n12
  4. (2n)={1n{1,7}(mod8)1n{3,5}(mod8)
  5. Gauss' law of quadratic reciprocity (1796): If m is odd and GCD(m,n)=1 then
    (mn)={(nm)mn3(mod4)(nm)otherwise


Example

n=1,209,387a=600,001

(an)=(na) since n3(mod4) but a1(mod4)

(1,209,387600,001)=(9385600,001) by property 1

Apply properties 5 and 1 again...

(600,0019385)=(87469385)

Apply property 2...

(87469385)=(29385)(43739385)

This becomes 1(43739385) by property 4

Apply 5 and 1 two more times...

(43739385)=(6394373)=(539639)

Now this is the first time mn3(mod4), so by property 5 and 1,

(539639)=(100539)

Note that 100=2225, so by property 2,

(22100539)=(2539)2(25539)=(25539)

Now we can compute as normal...

(52539)=11=1


This was a lot faster than if we would have tried to compute an12(modn). moral: quadratic reciprocity is much faster

Pratt's Theorem

Last lecture, Dr. Rojas claimed that Jacobi symbols lead to a fast randomized primality test. Let's see a related test:

Key idea: verifying vs. deciding NP problems are easily verified, but finding solution is hard

might go back earlier: Kraitchic-Lehmer

n is prime iff there is an a[1,n] with an11(modn) AND an1q≢1(modn)q(n1), where q is prime

Compositeness is easily verified: check a short certificate (candidate factor)


What about primality? Pratt's theorem tells us we can find small certificates to verify primality!

Example

n=617

Hint: this tree is the short certificate

617, (3)
|-- 2
|-- 7, (3)
|   |-- 2
|   `-- 3, (2)
`-- 11, (2)
    |-- 2
    `-- 5, (2)
        `-- 2

For n=617, a=3 works! In other words, 361711(modn) and 36171q≢1(modn) for all q(n1). These q are exactly 2, 7, and 11, so to verify if these are prime, we recursively apply Pratt's theorem.


So a certificate of primality for n consists of

  1. an a satisfying the conditions of the theorem
  2. a list of all primes q dividing n1
  3. Cirtificates fro those q.

Verifyingprimality of n takes only O((lnn)5) bit operations.

Finding certificate could be hard!