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.

288 Chapter 6 SUBEXPONENTIAL FACTORING ALGORITHMS<br />

One can see that “at infinity,” NFS is far superior (heuristically) than QS.<br />

The low complexity estimate should motivate us to forge on and solve the<br />

remaining technical problems in connection with the algorithm.<br />

If we could come up with a polynomial with smaller coefficients, the<br />

complexity estimate would be smaller. In particular, if the polynomial f(x)<br />

has coefficients that are bounded by nɛ/d √ , then the above analysis gives the<br />

(2+2ɛ)/d+o(1) complexity L(n)<br />

for fixed d; and for d →∞as n →∞,itis<br />

exp (32(1 + ɛ)/9) 1/3 + o(1) (ln n) 1/3 (ln ln n) 2/3 . The case ɛ = o(1) is the<br />

“special” number field sieve; see Section 6.2.7.<br />

6.2.4 Basic NFS: Obstructions<br />

After this interlude into complexity theory, we return to the strategy of NFS.<br />

We are looking for some easily checkable condition for the product of (a − bα)<br />

for (a, b) ∈Sto be a square in Z[α]. Lemma 6.2.1 goes a long way to meet<br />

this condition, but there are several “obstructions” that remain. Suppose that<br />

(6.7) holds. Let β = <br />

(a,b)∈S (a − bα).<br />

(1) If the ring Z[α] is equal to I (the ring of all algebraic integers in Q(α)),<br />

then we at least have the ideal (β) inI being the square of some ideal J.<br />

ButitmaynotbethatZ[α] =I. Soitmaynotbethat(β) inI is the<br />

square of an ideal in I.<br />

(2) Even if (β) =J 2 for some ideal J in I, itmaynotbethatJ is a principal<br />

ideal.<br />

(3) Even if (β) =(γ) 2 for some γ ∈I,itmaynotbethatβ = γ 2 .<br />

(4) Even if β = γ 2 for some γ ∈I,itmaynotbethatγ ∈ Z[α].<br />

Though these four obstructions appear forbidding, we shall see that two simple<br />

devices can be used to overcome all four. We begin with the last of the four.<br />

The following lemma is of interest here.<br />

Lemma 6.2.3. Let f(x) be a monic irreducible polynomial in Z[x], withroot<br />

α in the complex numbers. Let I be the ring of algebraic integers in Q(α), and<br />

let β ∈I. Then f ′ (α)β ∈ Z[α].<br />

Proof. Our proof follows an argument in [Weiss 1963, Sections 3–7]. Let<br />

β0,β1,...,βd−1 be the coefficients of the polynomial f(x)/(x − α). That is,<br />

f(x)/(x − α) = d−1<br />

j=0 βjx j . From Proposition 3-7-12 in [Weiss 1963], a result<br />

attributed to Euler, we have β0/f ′ (α),...,βd−1/f ′ (α) abasisforQ(α) over<br />

Q, each βj ∈ Z[α], and the trace of α k βj/f ′ (α) is1ifj = k, and 0 otherwise.<br />

(See Section 6.2.2 for the definition of trace. From this definition it is easy to<br />

see that the trace operation is Q-linear, it takes values in Q, and on elements<br />

of I it takes values in Z.) Let β ∈I. There are rationals s0,...,sd−1 such<br />

that β = d−1<br />

j=0 sjβj/f ′ (α). Then the trace of βα k is sk for k =0,...,d− 1.<br />

So each sk ∈ Z. Thus,f ′ (α)β = d−1<br />

j=0 sjβj is in Z[α]. ✷

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

Saved successfully!

Ooh no, something went wrong!