We prove that
-bit integers
may be multiplied in
bit operations. This complexity bound had been achieved previously by several authors,
assuming various unproved number-theoretic hypotheses. Our proof is unconditional and
is based on a new representation for integers modulo a fixed modulus, which we call the
-representation.
The existence of such representations is ensured by Minkowski’s theorem concerning
lattice vectors in symmetric convex sets.
Keywords
integer multiplication, efficient algorithm, fast Fourier
transform