| <<< VMSZOO::FOLKD$:[NOTES$LIBRARY]FACTOR.NOTE;1 >>>
-< Factoring Notes File >-
================================================================================
Note 34.0 Complete factorization of F9 No replies
BIGTOP::msm 119 lines 15-JUN-1990 22:05
--------------------------------------------------------------------------------
1990 Jun 15 11:15 am PDT (the date order that Arjen prefers, since
it's fully big-endian), Palo Alto:
We have just completed the factorization of the ninth Fermat number,
2^512+1. We used the specialized version of the number field sieve,
which is appropriate for numbers of the form a^b+c, for small a and
c. This algorithm is based on an algorithm of John Pollard, as refined
by Hendrik Lenstra, Jr. Arjen Lenstra and I worked on the
implementation of the algorithm, and tried to chip in minor
improvements where we could.
We began collecting data for this factorization in early April, using
hundreds of workstations around the world. Results were sent back
to Palo Alto using electronic mail. We completed collection in
mid-May, and then constructed a large system of linear equations
to solve. We then ran a structured Gaussian elimination algorithm
to reduce our sparse system of 200,000+ equations to a dense system
of 72,000+ equations, using a variant of an algorithm due to Andrew
Odlyzko and Carl Pomerance. We then started Gaussian elimination on
the dense system here at SRC, a process which we expected to take
six weeks on a single workstation, and sent a box of tapes to the
Supercomputer Computation Research Institute at Florida State
University, where Jim Hudgens and George Marsaglia graciously arranged
some time for us on their very large Connection Machine. Mike McKenna
and Roger Frye wrote and ran the Gaussian elimination program for the
Connection Machine, which ran in only three hours, and shipped a
file of dependencies back out to California this morning. I then
turned the dependencies back into dependencies of the sparse matrix,
and computed the necessary exponents. Finally, we multiplied all
the prime powers together to arrive at an equation of the form x^2
== y^2 (mod F9). The first one we found had x = -y, but an hour
later we produced the factorization on the second try.
Enough suspense:
2 ^ 512 + 1 =
134078079299425970995740249982058461274793658205923933777235614437217640\
30073546976801874298166903427690031858186486050853753882811946569946\
433649006084097 =
2424833
* 7455602825647884208337395736200454918783366342657
* 7416400626275308015247871419019374740599407810975190239058213161444157\
59504705008092818711693940737
The last two factors have 49 and 99 digits, respectively. Both have
been proved prime by Andrew Odlyzko, using the Jacobi sum algorithm
implemented by Arjen. Our numerological team observes that both factors
begin and end with sevens and 49 is seven squared. Think about it.
We'd like to thank everyone who contributed computing cycles to this
project, but I can't: we only have records of the person at each
site who installed and managed the code. If you helped us, we'd
be delighted to hear from you; please send us your name as you would
like it to appear in the final version of the paper. I'm sure this
list is incomplete; please help us out. The first list has individuals
whose names we do know, the second list has computer addresses we
haven't resolved to individuals.
Dean Alvis, Thomas G. Arnold, Bob Ayers, Pete Balkus, Joel Bartlett,
David M. Bernardo, Anita Borg, Wieb Bosma, Patrick Boyle, Richard
P. Brent, John Brownie, Bruce Bullis, Jerome Chailloux, Chran-Ham
Chang, Henri Cohen, Leisa Condie, Bob Devine, Jeff Dike, John Dillon,
Jeremy Dion, Mike Doody, Alan Eustace, Mike Ferrara, John Forecast,
Hania Gajewska, Stephen Gildea, Andy Goldstein, Tim Greenwood, Ramsey
Haddad, Gary Harding, B. J. Herbison, Jim Horning, Felix S Hsu, Scott
Huddleston, Peter Ilieve, Jeff Janock, Mike Johnson, Kevin Jones,
Bill Kalsow, Irving Kaplansky, Harsh Kapoor, Bill Katz, Christopher
A. Kent, Alan Kirby, Manfred Koethe, Ted Lemon, Walter Lioen, Todd
Little, Joseph A. Martin, Murray S. Mazer, James T. McCartney, Joel
McCormack, Steven Miller, Jeffrey Mogul, Francois Morain, David
Mostardi, A. E. Mossberg, Jeff E. Nelson, Marc Nozell, Tom Patterson,
Nigel Poole, Eric D. Postpischil, Dennis Racca, Jon Reeves, Brian
Reid, Herman te Riele, John Riley, John Robinson, Eduardo Santiago,
Richard Schedler, Michael Sclafani, Mark Shand, Bob Silverman, Al
Simons, Kiran Somalwar, Bill Sommerfeld, Bob Souza, Alan Stanier,
John T. Stapleton, Jorge Stolfi, Geof Stone, Richard Swan, Ed Taranto,
Bob Thomas, Gary Thomas, Dennis Ting, Win Treese, Percy Tzelnic,
Brick Verser, Paul Vixie, David Wall, Dick Wilkins, Dik Winter, Ted
Wobber, Frank M. Woodall, Jr.
21.158::guest@gill, 21.158::stapes@hans, 63.404::[email protected],
63.491::[email protected], RYN::[email protected],
RYN::postmaster@hans3, RYN::postmaster@jogger, RYN::postmaster@karma,
RYN::postmaster@mroact, [email protected], [email protected],
catcsm::[email protected], [email protected], [email protected],
[email protected], dscad::[email protected], dscipl::[email protected],
[email protected], [email protected], [email protected], [email protected],
[email protected], [email protected], [email protected], [email protected],
[email protected], [email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected], konark::[email protected],
marla::[email protected], marla::[email protected], may18::[email protected],
may37::[email protected], may37::[email protected], may39::[email protected],
may39::[email protected], [email protected], [email protected],
np::[email protected], [email protected], pmax01::[email protected],
pmax02::[email protected], [email protected],
[email protected], [email protected],
ptools::[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], segny::[email protected], shell::[email protected],
sk8r::[email protected], [email protected], [email protected],
[email protected], [email protected], [email protected],
[email protected], [email protected]
If you're interested in participating in our ongoing factorization
efforts, please send mail to [email protected]. Your message should
contain the (appropriately modified) lines:
program#
path# [email protected]
Thanks again to all our contributors.
Mark Manasse
|