10.12.2012 Views

Prime Numbers

Prime Numbers

Prime Numbers

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

254 Chapter 5 EXPONENTIAL FACTORING ALGORITHMS<br />

5.9. Here we describe an interesting way to effect a second stage, and end up<br />

asking an also interesting computational question. We have seen that a second<br />

stage makes sense if a hidden prime factor p of n has the form p = zq+1 where<br />

z is B-smooth and q ∈ (B,B ′ ] is a single outlying prime. One novel approach<br />

([Montgomery 1992a], [Crandall 1996a]) to a second-stage implementation is<br />

this: After a stage-one calculation of b = aM(B) mod n as described in the<br />

text, one can as a second stage accumulate some product (here, g, h run over<br />

some fixed range, or respective sets) like this one:<br />

c = <br />

b gK<br />

<br />

hK<br />

− b mod n<br />

g=h<br />

and take gcd(n, c), hoping for a nontrivial factor. The theoretical task here is<br />

to explain why this method works to uncover that outlying prime q, indicating<br />

a rough probability (based on q, K, and the range of g, h) of uncovering a factor<br />

because of a lucky instance g K ≡ h K (mod q).<br />

An interesting computational question arising from this “g K ” method is,<br />

how does one compute rapidly the chain<br />

b 1K<br />

,b 2K<br />

,b 3K<br />

,...,b AK<br />

,<br />

where each term is, as usual, obtained modulo n? Find an algorithm that in<br />

fact generates the indicated “hyperpower” chain, for fixed K, inonlyO(A)<br />

operations in ZN.<br />

5.10. Show that equivalence of quadratic forms is an equivalence relation.<br />

5.11. If two quadratic forms ax 2 + bxy + cy 2 and a ′ x 2 + b ′ xy + c ′ y 2 have<br />

the same range, must the coefficients (a ′ ,b ′ ,c ′ ) be related to the coefficients<br />

(a, b, c) as in (5.1) where α, β, γ, δ are integers and αδ − βγ = ±1?<br />

5.12. Show that equivalent quadratic forms have the same discriminant.<br />

5.13. Show that the quadratic form that is the output of Algorithm 5.6.2 is<br />

equivalent to the quadratic form that is the input.<br />

5.14. Show that if (a, b, c) is a reduced quadratic form of discriminant D

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!