skip to main content
10.1145/1073884.1073932acmconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
Article

Deterministic equation solving over finite fields

Published:24 July 2005Publication History

ABSTRACT

Deterministic algorithms are presented for the efficient solution of diagonal homogeneous equations in many variables over finite fields. As auxiliary algorithms, it is shown how to compute a field generator that is an nth power, and how to write elements as sums of nth powers, for a given integer n. All these algorithms take polynomial time in n and in the logarithm of the field size, and are practical as stated.

References

  1. Leonard Adleman, Kenneth Manders, and Gary Miller. On taking roots in finite fields. In 18th Annual Symposium on Foundations of Computer Science (Providence, R.I., 1977), pages 175--178. IEEE Comput. Sci., Long Beach, Calif., 1977.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Eric Bach. A note on square roots in finite fields. IEEE Trans. Inform. Theory, 36(6):1494--1498, 1990.Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Eric Bach, Joachim von zur Gathen, and Hendrik~W. Lenstra, Jr. Factoring polynomials over special finite fields. Finite Fields Appl., 7(1):5--28, 2001. Dedicated to Professor Chao Ko on the occasion of his 90th birthday. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Henri Cohen. A course in computational algebraic number theory, volume 138 of Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. V. B. Dem′yanov. On representation of a zero of forms of the form ∑ m i=1a ix i n. Dokl. Akad. Nauk SSSR (N.S.), 105:203--205, 1955.Google ScholarGoogle Scholar
  6. G.H. Hardy and E.M. Wright. An introduction to the theory of numbers. Oxford, at the Clarendon Press, 1965. Fourth edition, 3rd corrected printing.Google ScholarGoogle Scholar
  7. Jean-René Joly. Équations et variéé algébriques sur un corps fini. Enseignement Math. (2), 19:1--117, 1973.Google ScholarGoogle Scholar
  8. T. Y. Lam. The algebraic theory of quadratic forms. W. A. Benjamin, Inc., Reading, Mass., 1973. Mathematics Lecture Note Series.Google ScholarGoogle Scholar
  9. H. W. Lenstra, Jr. Finding isomorphisms between finite fields. Math. Comp., 56(193):329--347, 1991.Google ScholarGoogle ScholarCross RefCross Ref
  10. René Schoof. Elliptic curves over finite fields and the computation of square roots mod p. Math. Comp., 44(170):483--494, 1985.Google ScholarGoogle Scholar
  11. Štefan Schwarz. On universal forms in finite fields. Časopis Pěst. Mat. Fys., 75:45--50, 1950.Google ScholarGoogle Scholar
  12. Daniel Shanks. Five number-theoretic algorithms. In Proceedings of the Second Manitoba Conference on Numerical Mathematics (Univ. Manitoba, Winnipeg, Man., 1972), pages 51--70. Congressus Numerantium, No. VII, Winnipeg, Man., 1973. Utilitas Math.Google ScholarGoogle Scholar
  13. Charles Small. Diagonal equations over large finite fields. Canad. J. Math., 36(2):249--262, 1984.Google ScholarGoogle ScholarCross RefCross Ref
  14. Alberto Tonelli. Bemerkung Über die Auflösung quadratischer Congruenzen. Nachr. Göttingen, (10):344--346, 1891. Reported in Dickson's History, Vol. 1, Ch. VII, item 193, p. 215.Google ScholarGoogle Scholar
  15. Leonard Tornheim. Sums of n-th powers in fields of prime characteristic. Duke Math. J., 4:359--362, 1938.Google ScholarGoogle ScholarCross RefCross Ref
  16. Joachim von zur Gathen and Jürgen Gerhard. Modern computer algebra. Cambridge University Press, Cambridge, second edition, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. André Weil. Numbers of solutions of equations in finite fields. Bull. Amer. Math. Soc., 55:497--508, 1949.Google ScholarGoogle ScholarCross RefCross Ref
  18. Arne Winterhof. On Waring's problem in finite fields. Acta Arith., 87(2):171--177, 1998.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Deterministic equation solving over finite fields

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in
          • Published in

            cover image ACM Conferences
            ISSAC '05: Proceedings of the 2005 international symposium on Symbolic and algebraic computation
            July 2005
            388 pages
            ISBN:1595930957
            DOI:10.1145/1073884

            Copyright © 2005 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 24 July 2005

            Permissions

            Request permissions about this article.

            Request Permissions

            Check for updates

            Qualifiers

            • Article

            Acceptance Rates

            Overall Acceptance Rate395of838submissions,47%

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader