6 research outputs found
Computing a Lattice Basis Revisited
International audienc
Slide reduction, revisited—filling the gaps in svp approximation
We show how to generalize Gama and Nguyen's slide reduction algorithm [STOC
'08] for solving the approximate Shortest Vector Problem over lattices (SVP).
As a result, we show the fastest provably correct algorithm for
-approximate SVP for all approximation factors . This is the range of approximation factors most
relevant for cryptography
Simple Lattice Basis Computation -- The Generalization of the Euclidean Algorithm
The Euclidean algorithm is one of the oldest algorithms known to mankind.
Given two integral numbers and , it computes the greatest common
divisor (gcd) of and in a very elegant way. From a lattice
perspective, it computes a basis of the sum of two one-dimensional lattices
and as . In this paper, we show that the classical
Euclidean algorithm can be adapted in a very natural way to compute a basis of
a general lattice given vectors with . Similar to the
Euclidean algorithm, our algorithm is very easy to describe and implement and
can be written within 12 lines of pseudocode.
While the Euclidean algorithm halves the largest number in every iteration,
our generalized algorithm halves the determinant of a full rank subsystem
leading to at most many iterations, for some initial subsystem
. Therefore, we can compute a basis of the lattice using at most
arithmetic
operations, where is the matrix multiplication exponent and . Even using the worst case Hadamard bound for the determinant,
our algorithm improves upon existing algorithm.
Another major advantage of our algorithm is that we can bound the entries of
the resulting lattice basis by using a
simple pivoting rule. This is in contrast to the typical approach for computing
lattice basis, where the Hermite normal form (HNF) is used. In the HNF, entries
can be as large as the determinant and hence can only be bounded by an
exponential term
On the Smallest Ratio Problem of Lattice Bases
Let be a lattice basis with Gram-Schmidt orthogonalization , the quantities
for
play important roles in
analyzing lattice reduction algorithms and lattice enumeration algorithms.
In this paper, we study the problem of minimizing the quantity over all bases of a given -dimensional lattice. We
first prove that there exists a basis
for any lattice of dimension such that
,
and
for .
This leads us to introduce a new NP-hard computational problem, that is, the smallest ratio problem (SRP): given an -dimensional
lattice ,
find a basis of such that
is minimal. The problem inspires the new lattice invariant
and new lattice constant
over all -dimensional
lattices : both the minimum and maximum are justified. The properties of and are discussed.
We also present an exact algorithm and an approximation algorithm for SRP.
This is the first sound study of SRP. Our work is a tiny step towards solving an open problem proposed by Dadush-Regev-Stephens-Davidowitz (CCC \u2714) for tackling the closest vector problem with preprocessing, that is, whether there exists a basis for any -rank lattice such that
Computing a Basis for an Integer Lattice
The extended gcd problem takes as input two integers, and asks as output an integer linear combination of the integers that are equal to their gcd. The classical extended Euclidean algorithm and fast variants such as the half-gcd algorithm give efficient algorithmic solutions. In this thesis, we give a fast algorithm to solve the simplest — but not trivial — extension of the scalar extended gcd problem on two integers to the case of integer input matrices.
Given a full column rank (n + 1) × n integer matrix A, we present an algorithm that produces a square nonsingular integer matrix B such that the lattice generated by the rows of B — the set of all integer linear combinations of the rows of B — is equal to the lattice generated by the rows of A. The magnitude of entries in the basis B are guaranteed to be not much larger than those of the input matrix A. The cost of our algorithm to produce B is about the same as that required to multiply together two square integer matrices of dimension n and with the size of entries about that of the input matrix. This running time bound improves by about a factor of n on the fastest previously known algorithm
A Complete Analysis of the BKZ Lattice Reduction Algorithm
We present the first rigorous dynamic analysis of BKZ,
the most widely used lattice reduction algorithm besides LLL. Previous analyses were either heuristic or only applied to variants of BKZ. Namely, we provide guarantees on the quality of the current lattice basis
during execution. Our analysis extends to a generic BKZ algorithm
where the SVP-oracle is replaced by an approximate oracle
and/or the basis update is not necessarily performed by LLL.
Interestingly, it also provides
currently the best and simplest bounds
for both the output quality and the running time.
As an application, we observe that
in certain approximation regimes, it is more
efficient to use BKZ with an approximate rather than exact SVP-oracle