Abstract
We estimate the number |A λ| of elements on a linear family A of monic polynomials of F q [T] of degree n having factorization pattern \(\lambda : = {1^{{\lambda _1}}}{2^{{\lambda _2}}} \cdot \cdot \cdot {n^{{\lambda _n}}}\). We show that |A λ| = T(λ)q n-m + O(q n-m-1/2), where T(λ) is the proportion of elements of the symmetric group of n elements with cycle pattern λ and m is the codimension of A. Furthermore, if the family A under consideration is “sparse”, then |A λ|=T(λ)q n-m+O(q n-m-1). Our estimates hold for fields F q of characteristic greater than 2. We provide explicit upper bounds for the constants underlying the O-notation in terms of λ and A with “good” behavior. Our approach reduces the question to estimate the number of F q -rational points of certain families of complete intersections defined over F q . Such complete intersections are defined by polynomials which are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning their singular locus, from which precise estimates on their number of F q -rational points are established.
Similar content being viewed by others
References
E. Bank, L. Bary-Soroker and L. Rosenzweig: Prime polynomials in short intervals and in arithmetic progressions, Duke Math. J. 164 (2015), 277–295.
L. Caniglia, A. Galligo and J. Heintz: Equations for the projective closure and effective Nullstellensatz, Discrete Appl. Math. 33 (1991), 11–23.
A. Cafure and G. Matera: Improved explicit estimates on the number of solutions of equations over a finite field, Finite Fields Appl. 12 (2006), 155–185.
A. Cafure and G. Matera, An effective Bertini theorem and the number of rational points of a normal complete intersection over a finite field, Acta Arith. 130 (2007), 19–35.
A. Cafure, G. Matera and M. Privitelli: Singularities of symmetric hypersurfaces and Reed-Solomon codes, Adv. Math. Commun. 6 (2012), 69–94.
A. Cafure, G. Matera and M. Privitelli: Polar varieties, Bertini’s theorems and number of points of singular complete intersections over a finite field, Finite Fields Appl. 31 (2015), 42–83.
E. Cesaratto, G. Matera, M. Pérez and M. Privitelli: On the value set of small families of polynomials over a finite field, I, J. Combin. Theory Ser. A 124 (2014), 203–227.
S. Cohen: The distribution of polynomials over finite fields, Acta Arith. 17 (1970), 255–271.
S. Cohen: Uniform distribution of polynomials over finite fields, J. Lond. Math. Soc. (2) 6 (1972), 93–102.
S. Cohen: Polynomial factorisation, graphs, designs and codes, in: Finite fields: theory, applications, and algorithms, Second international conference, August 17–21, (1993), Las Vegas, NV, USA, 23–32, Amer. Math. Soc., Providence, RI, (1994).
S. Cohen: Polynomial factorization and an application to regular directed graphs, Finite Fields Appl. 4 (1998), 316–346.
Z. Chatzidakis, L. van den Dries and A. Macintyre: Definable sets over finite fields, J. Reine Angew. Math. 427 (1992), 107–135.
Q. Cheng and D. Wan: Complexity of decoding positive–rate primitive Reed–Solomon codes, IEEE Transactions on Information Theory 56 (2010), 5217–5222.
Q. Cheng and D. Wan: A deterministic reduction for the gap minimum distance problem, IEEE Transactions on Information Theory 58 (2012), 6935–6941.
V. Danilov: Algebraic varieties and schemes, in: I.R. Shafarevich, editor, Algebraic Geometry I, volume 23 of Encyclopaedia of Mathematical Sciences, 167–307, Springer, Berlin Heidelberg New York, (1994).
D. Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry, volume 150 of Grad. Texts in Math., Springer, New York, (1995).
M. Fried, D. Haran and M. Jarden: Effective counting of the points of definable sets over finite fields, Israel J. Math. 85 (1994), 103–133.
M. Fried and J. Smith: Irreducible discriminant components of coefficient spaces, Acta Arith. 44 (1984), 59–72.
W. Fulton: Intersection Theory, Springer, Berlin Heidelberg New York, (1984).
S. Gao, J. Howell and D. Panario: Irreducible polynomials of given forms, in: Finite fields: theory, applications, and algorithms, Fourth international conference, Waterloo, Ontario, Canada, August 12–15, (1997), 43–54, Amer. Math. Soc., Providence, RI, (1999).
S. Ghorpade and G. Lachaud: Étale cohomology, Lefschetz theorems and number of points of singular varieties over finite fields, Mosc. Math. J. 2 (2002), 589–631.
J. Harris: Algebraic Geometry: a first course, volume 133 of Grad. Texts in Math., Springer, New York Berlin Heidelberg, (1992).
J. Heintz: Definability and fast quantifier elimination in algebraically closed fields, Theoret. Comput. Sci. 24 (1983), 239–277.
E. Kunz: Introduction to Commutative Algebra and Algebraic Geometry, Birkhäuser, Boston, (1985).
A. Lascoux and P. Pragracz: Jacobian of symmetric polynomials, Ann. Comb. 6 (2002), 169–172.
J.-Y. Li and D. Wan: A new sieve for distinct coordinate counting, Sci. China Ser. A 53 (2010), 2351–2362.
G. Matera, M. Pérez and M. Privitelli: On the value set of small families of polynomials over a finite field, II, Acta Arith. 165 (2014), 141–179.
G. Matera, M. Pérez and M. Privitelli: Explicit estimates for the number of rational points of singular complete intersections over a finite field, Preprint arXiv:1412.7446 [math.AG], (2015).
I.R. Shafarevich: Basic Algebraic Geometry: Varieties in Projective Space, Springer, Berlin Heidelberg New York, (1994).
S. Stepanov: The number of irreducible polynomials of a given form over a finite field, Math. Notes 41 (1987), 165–169.
W. Vogel: Results on Bézout’s theorem, volume 74 of Tata Inst. Fundam. Res. Lect. Math., Tata Inst. Fund. Res., Bombay, (1984).
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors were partially supported by the grants PIP CONICET 11220130100598, PIO CONICET-UNGS 14420140100027, UNGS 30/3180 and STIC-AmSud 13STIC-02 “Dynalco”.
Rights and permissions
About this article
Cite this article
Cesaratto, E., Matera, G. & Pérez, M. The distribution of factorization patterns on linear families of polynomials over a finite field. Combinatorica 37, 805–836 (2017). https://doi.org/10.1007/s00493-015-3330-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00493-015-3330-5