Abstract
We show that a positive definite integral ternary form can be reduced with O(M(s) log2 s) bit operations, where s is the binary encoding length of the form and M(s) is the bit-complexity of s-bit integer multiplication.
This result is achieved in two steps. First we prove that the the classical Gaussian algorithm for ternary form reduction, in the variant of Lagarias, has this worst case running time. Then we show that, given a ternary form which is reduced in the Gaussian sense, it takes only a constant number of arithmetic operations and a constant number of binary-form reductions to fully reduce the form.
Finally we describe how this algorithm can be generalized to higher dimensions. Lattice basis reduction and shortest vector computation in fixed dimension d can be done with O(M(s) logd-1 s) bit-operations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A.V. Aho, J.E. Hopcroft, and J.D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, 1974.
J.W.S. Cassels. Rational quadratic forms. Academic Press, 1978.
F. Eisenbrand. Short vectors of planar lattices via continued fractions. Information Processing Letters, 2001, to appear. http://www.mpi-sb.mpg.de/~eisen/report_lattice.ps.gz
C.F. Gauβ. Disquisitiones arithmeticae. Gerh. Fleischer Iun., 1801.
C.F. Gauβ. Recension der “Untersuchungen über die Eigenschaften der positiven ternären quadratischen Formen von Ludwig August Seeber.’ Reprinted in Journal für die reine und angewandte Mathematik, 20:312–320, 1840.
Ch. Hermite. Extraits de lettres de M. Ch. Hermite à M. Jacobi sur différents objets de la théorie des nombres. Journal für die reine und angewandte Mathematik, 40, 1850.
J. C. Lagarias. Worst-case complexity bounds for algorithms in the theory of integral quadratic forms. Journal of Algorithms, 1:142–186, 1980.
A.K. Lenstra, H.W. Lenstra, and L. Lovász. Factoring polynomials with rational coefficients. Math. Annalen, 261:515–534, 1982.
H.W. Lenstra. Integer programming with a fixed number of variables. Mathematics of Operations Research, 8(4):538–548, 1983.
A. Schönhage. Fast reduction and composition of binary quadratic forms. In International Symposium on Symbolic and Algebraic Computation, ISSAC’91, pages 128–133. ACM Press, 1991.
A. Schönhage and V. Strassen. Schnelle Multiplikation grosser Zahlen (Fast multiplication of large numbers). Computing, 7:281–292, 1971.
A. Schrijver. Theory of Linear and Integer Programming. John Wiley, 1986.
L.A. Seeber. Untersuchung über die Eigenschaften der positiven ternären quadratischen Formen. Loeffler, Mannheim, 1831.
I. Semaev. A 3-dimensional lattice reduction algorithm. In Cryptography and Lattices Conference, CALC 2001. This volume, pp. 181–193, 2001.
B. Vallée. An affine point of view on minima finding in integer lattices of lower dimensions. In Proceedings of the European Conference on Computer Algebra, EUROCAL’87, volume 378 of Lecture Notes in Computer Science, pp. 376–378. Springer, Berlin, 1989.
C.K. Yap. Fast unimodular reduction: Planar integer lattices. In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, pages 437–446, Pittsburgh, 1992. IEEE Computer Society Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eisenbrand, F., Rote, G. (2001). Fast Reduction of Ternary Quadratic Forms. In: Silverman, J.H. (eds) Cryptography and Lattices. CaLC 2001. Lecture Notes in Computer Science, vol 2146. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44670-2_4
Download citation
DOI: https://doi.org/10.1007/3-540-44670-2_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42488-8
Online ISBN: 978-3-540-44670-5
eBook Packages: Springer Book Archive