Improved explicit estimates on the number of solutions of equations over a finite field

Finite Fields and their Applications

Volumn 12, Issue 2, 2006, Pages 155-185

  Cafure, Antonio ^a,b   Matera, Guillermo ^b,c  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

^b INSTITUTO DE CIENCIAS   (Argentina)

^c Facultad de Ciencias Naturales e Instituto M Lillo   (Argentina)

Author keywords

Effective elimination theory; Effective first Bertini theorem; q rational points; Varieties over finite fields

Indexed keywords

PROBLEM SOLVING; THEOREM PROVING;

EFFECTIVE ELIMINATION THEORY; EFFECTIVE FIRST BERTINI THEOREM; Q-RATIONAL POINTS; VARIETIES OVER FINITE FIELDS;

ESTIMATION;

EID: 33344475283     PISSN: 10715797     EISSN: 10902465     Source Type: Journal    
DOI: 10.1016/j.ffa.2005.03.003     Document Type: Article

References (27)

1. [ABRW96] M.E. Alonso, E. Becker, M.-F. Roy, T. Wörmann, Zeroes, multiplicities and idempotents for zerodimensional systems, in: Algorithms in Algebraic Geometry and Applications, Proceedings of MEGA'94, Progress in Mathematics, vol. 143, Birkhäuser, Boston, 1996, pp. 1-15.
2. [Bom74] E. Bombieri, Counting points on curves over finite fields (d'après S.A. Stepanov), Exp 430, in: Séminaire Bourbaki 1972/1973, Lecture Notes in Mathematics, vol. 383, Springer, New York, 1974, pp. 234-241.
3. [CM02] A. Cafure, G. Matera, Explicit estimates for the number of solutions of polynomial equation systems over finite fields, in: P. D'Argenio, G. Matera (Eds.), Proceedings Workshop Argentino de Informática Teórica, WAIT'02, Santa Fe, Argentina, September 2002, Anales Jornadas Argentinas de Informática e Investigación Operativa, vol. 31, SADIO, 2002, Buenos Aires, pp. 26-41.
4. [CM02] A. Cafure, G. Matera, Fast computation of a rational point of a variety over a finite field, Manuscript Universidad Nacional de General. Sarmiento, 2003. Available at http://arxiv.org/abs/math.NT/0406085.
5. n Finite Fields Appl. 2 2 1996 214 224
6. W. Fulton Intersection Theory 1984 Springer, Berlin Heidelberg, New York
7. S. Gao Factoring multivariate polynomials via partial differential equations Math. Comp. 72 2003 801 822
8. S. Ghorpade, and G. Lachaud Étale cohomology, Lefschetz theorems and number of points of singular varieties over finite fields Moscow Math. J. 2 3 2002 589 631
9. S. Ghorpade, and G. Lachaud Number of solutions of equations over finite fields and a conjecture of Lang and Weil A.K. Agarwal Number Theory and Discrete Mathematics (Chandigarh, 2000) 2002 Hindustan Book Agency New Delhi 269 291
10. J. Heintz Definability and fast quantifier elimination in algebraically closed fields Theoret. Comput. Sci. 24 3 1983 239 277
11. [HS82] J. Heintz, C.P. Schnorr, Testing polynomials which are easy to compute, in: International Symposium on Logic and Algorithmic, Zurich 1980, Monographies de L'Enseignement Mathematiques, vol. 30, 1982, pp. 237-254.
12. [HW98] M.-D. Huang, Y.-C. Wong, An algorithm for approximate counting of points on algebraic sets over finite fields, in: J. Buhler (Ed.), Third International Symposium on Algorithmic Number Theory, ANTS-III, Portland, Oregon, USA, June 21-25, 1998, Lecture Notes in Computer Science, vol. 1423, Springer, Berlin, 1998, pp. 514-527.
13. M.-D. Huang, and Y.-C. Wong Solvability of systems of polynomial congruences modulo a large prime Comput. Complexity 8 1999 227 257
14. E. Kaltofen Effective Noether irreducibility forms and applications J. Comput. System Sci. 50 2 1995 274 295
15. T. Krick, L.M. Pardo, and M. Sombra Sharp estimates for the Arithmetic Nullstellensatz Duke Math. J. 109 3 2001 521 598
16. E. Kunz Introduction to Commutative Algebra and Algebraic Geometry 1985 Birkhäuser Boston
17. R. Lidl, and H. Niederreiter Finite Fields 1983 Addison-Wesley Reading, MA
18. S. Lang, and A. Weil The number of points of varieties in finite fields Amer. J. Math. 76 1954 819 827
19. H. Matsumura Commutative Algebra 1980 Benjamin New York
20. F. Rouillier Solving zero-dimensional systems through rational univariate representation Appl. Algebra Eng. Comm. Comput. 9 5 1997 433 461
21. W. Schmidt Zur Methode von Stepanov Acta Arith. 24 1973 347 367
22. W. Schmidt A lower bound for the number of solutions of equations over finite fields J. Number Theory 6 6 1974 448 480
23. [Sch76] W. Schmidt, Equations over Finite Fields: An Elementary Approach, Lectures Notes in Mathematics, vol. 536, Springer, New York, 1976.
24. I.R. Shafarevich Basic Algebraic Geometry, Graduate Texts in Mathematics 1984 Springer New York
25. I.R. Shafarevich Basic Algebraic Geometry: Varieties in Projective Space 1994 Springer, Berlin Heidelberg, New York
26. S. Stepanov On the number of points of a hyperelliptic curve over a finite prime field Math. USSR Izv. 3 1971 1103 1114
27. A. Weil Sur les Courbes Algébriques et les Varietés Qui s'en Déduisent 1948 Hermann Paris