Counting reducible, powerful, and relatively irreducible multivariate polynomials over finite fields

We present counting methods for some special classes of multivariate polynomials over a finite field, namely the reducible ones, the s-powerful ones (divisible by the s-th power of a nonconstant polynomial), and the relatively irreducible ones (irreducible but reducible over an extension field). One approach employs generating functions, another one uses a combinatorial method. They yield exact formulas and approximations with relative errors that essentially decrease exponentially in the input size.Comment: to appear in SIAM Journal on Discrete Mathematic

Squarefree Values Of Polynomials

This note presents new results for the squarefree value sets of quartic polynomials over the integers.Comment: Twenty-Eight Pages. Keywords: Squarefree integer, Irreducible polynomia

Survey on counting special types of polynomials

Most integers are composite and most univariate polynomials over a finite field are reducible. The Prime Number Theorem and a classical result of Gau{\ss} count the remaining ones, approximately and exactly. For polynomials in two or more variables, the situation changes dramatically. Most multivariate polynomials are irreducible. This survey presents counting results for some special classes of multivariate polynomials over a finite field, namely the the reducible ones, the s-powerful ones (divisible by the s-th power of a nonconstant polynomial), the relatively irreducible ones (irreducible but reducible over an extension field), the decomposable ones, and also for reducible space curves. These come as exact formulas and as approximations with relative errors that essentially decrease exponentially in the input size. Furthermore, a univariate polynomial f is decomposable if f = g o h for some nonlinear polynomials g and h. It is intuitively clear that the decomposable polynomials form a small minority among all polynomials. The tame case, where the characteristic p of Fq does not divide n = deg f, is fairly well-understood, and we obtain closely matching upper and lower bounds on the number of decomposable polynomials. In the wild case, where p does divide n, the bounds are less satisfactory, in particular when p is the smallest prime divisor of n and divides n exactly twice. The crux of the matter is to count the number of collisions, where essentially different (g, h) yield the same f. We present a classification of all collisions at degree n = p^2 which yields an exact count of those decomposable polynomials.Comment: to appear in Jaime Gutierrez, Josef Schicho & Martin Weimann (editors), Computer Algebra and Polynomials, Lecture Notes in Computer Scienc

Chebotarev density theorem in short intervals for extensions of Fq(T)\mathbb{F}_q(T)

An old open problem in number theory is whether Chebotarev density theorem holds in short intervals. More precisely, given a Galois extension $E$ of $\mathbb{Q}$ with Galois group $G$, a conjugacy class $C$ in $G$ and an $1\geq \varepsilon>0$, one wants to compute the asymptotic of the number of primes $x\leq p\leq x+x^{\varepsilon}$ with Frobenius conjugacy class in $E$ equal to $C$. The level of difficulty grows as $\varepsilon$ becomes smaller. Assuming the Generalized Riemann Hypothesis, one can merely reach the regime $1\geq\varepsilon>1/2$. We establish a function field analogue of Chebotarev theorem in short intervals for any $\varepsilon>0$. Our result is valid in the limit when the size of the finite field tends to $\infty$ and when the extension is tamely ramified at infinity. The methods are based on a higher dimensional explicit Chebotarev theorem, and applied in a much more general setting of arithmetic functions, which we name $G$-factorization arithmetic functions.Comment: Incorporated referee comments. Accepted for publication in Trans. Amer. Math. So

Chebotarev density theorem in short intervals for extensions of F_q(T)

An old open problem in number theory is whether the Chebotarev density theorem holds in short intervals. More precisely, given a Galois extension E of Q with Galois group G, a conjugacy class C in G, and a 1 ≥ ε > 0, one wants to compute the asymptotic of the number of primes x ≤ p ≤ x+x^ε with Frobenius conjugacy class in E equal to C. The level of difficulty grows as ε becomes smaller. Assuming the Generalized Riemann Hypothesis, one can merely reach the regime 1 ≥ ε > 1/2. We establish a function field analogue of the Chebotarev theorem in short intervals for any ε > 0. Our result is valid in the limit when the size of the finite field tends to ∞ and when the extension is tamely ramified at infinity. The methods are based on a higher dimensional explicit Chebotarev theorem and applied in a much more general setting of arithmetic functions, which we name G-factorization arithmetic functions

Counting reducible and singular bivariate polynomials

AbstractAmong the bivariate polynomials over a finite field, most are irreducible. We count some classes of special polynomials, namely the reducible ones, those with a square factor, the “relatively irreducible” ones which are irreducible but factor over an extension field, and the singular ones, which have a root at which both partial derivatives vanish

Artin's primitive root conjecture -a survey -

This is an expanded version of a write-up of a talk given in the fall of 2000 in Oberwolfach. A large part of it is intended to be understandable by non-number theorists with a mathematical background. The talk covered some of the history, results and ideas connected with Artin's celebrated primitive root conjecture dating from 1927. In the update several new results established after 2000 are also discussed.Comment: 87 pages, 512 references, to appear in Integer

Counting classes of special polynomials

Most integers are composite and most univariate polynomials over a finite field are reducible. The Prime Number Theorem and a classical result of Gauß count the remaining ones, approximately and exactly. In two or more variables, the situation changes dramatically. Most multivariate polynomials are irreducible. We present counting results for some special classes of multivariate polynomials over a finite field, namely the reducible ones, the s-powerful ones (divisible by the s-th power of a nonconstant polynomial), and the relatively irreducible ones (irreducible but reducible over an extension field). These numbers come as exact formulas and as approximations with relative errors that essentially decrease exponentially in the input size. Furthermore, a univariate polynomial f over a field F is decomposable if f = g o h with nonlinear polynomials g and h. It is intuitively clear that the decomposable polynomials form a small minority among all polynomials. The tame case, where the characteristic p of F does not divide n = deg f, is fairly well understood, and the upper and lower bounds on the number of decomposable polynomials of degree n match asymptotically. In the wild case, where p does divide n, the bounds are less satisfactory, in particular when p is the smallest prime divisor of n and divides n exactly twice. There is an obvious inclusion-exclusion formula for counting. The main issue is then to determine, under a suitable normalization, the number of collisions, where essentially different components (g, h) yield the same f. In the tame case, Ritt's Second Theorem classifies all collisions of two such pairs. We provide a normal form for collisions of any number of compositions with any number of components. This generalization yields an exact formula for the number of decomposable polynomials of degree n coprime to p. For the wild case, we classify all collisions at degree n = p^2 and obtain the exact number of decomposable polynomials of degree p^2