Korkine–Zolotarev Lattice Basis Reduction Algorithm

The Korkine–Zolotarev (KZ) lattice basis reduction algorithm or Hermite-Korkine–Zolotarev (HKZ) algorithm is a lattice reduction algorithm.

For lattices in $\mathbb^n$ it yields a lattice basis with orthogonality defect at most $n^n$, unlike the $2^$ bound of the LLL reduction. KZ has exponential complexity versus the polynomial complexity of the LLL reduction algorithm, however it may still be preferred for solving sequences of Closest Vector Problems (CVPs) in a lattice, where it can be more efficient.

History

The definition of a KZ-reduced basis was given by A. Korkine and G. Zolotareff in 1877, a strengthened version of Hermite reduction. The first algorithm for constructing a KZ-reduced basis was given in 1983 by Kannan.

The Block Korkine-Zolotarev (BKZ) algorithm was introduced in 1987.

Definition

A KZ-reduced basis for a lattice is defined as follows:Micciancio & Goldwasser, p.133, definition 7.8

Given a basis

:$\mathbf=\,$

define its Gram–Schmidt process orthogonal basis

:$\mathbf^*=\,$

and the Gram-Schmidt coefficients
:$\mu_=\frac$, for any $1 \le j < i \le n$.

Also define projection functions

:$\pi_i(\mathbf) = \sum_ \frac \mathbf^*_j$

which project $\mathbf$ orthogonally onto the span of $\mathbf^*_i, \cdots, \mathbf^*_n$.

Then the basis $B$ is KZ-reduced if the following holds:

# $\mathbf^*_i$ is the shortest nonzero vector in $\pi_i(\mathcal(\mathbf))$
# For all $j < i$, $\left, \mu_\ \leq 1/2$

Note that the first condition can be reformulated recursively as stating that $\mathbf_1$ is a shortest vector in the lattice, and $\$ is a KZ-reduced basis for the lattice $\pi_2(\mathcal(\mathbf))$.

Also note that the second condition guarantees that the reduced basis is length-reduced (adding an integer multiple of one basis vector to another will not decrease its length); the same condition is used in the LLL reduction.

Notes

References

*

*

*

*

*

{{DEFAULTSORT:Korkine-Zolotarev lattice basis reduction algorithm
Theory of cryptography
Computational number theory
Lattice points