arXiv++ Combinatorics

We study the counts of smooth permutations and smooth polynomials over finite fields. For both counts we prove an estimate with an error term that matches the error term found in the integer setting by de Bruijn more than 70 years ago. The main term is the usual Dickman $ρ$ function, but with its argument shifted. We determine the order of magnitude of $\log(p_{n,m}/ρ(n/m))$ where $p_{n,m}$ is the probability that a permutation on $n$ elements, chosen uniformly at random, is $m$-smooth. We uncover a phase transition in the polynomial setting: the probability that a polynomial of degree $n$ in $\mathbb{F}_q$ is $m$-smooth changes its behavior at $m\approx (3/2)\log_q n$.

We establish new estimates for the number of $m$-smooth polynomials of degree $n$ over a finite field $\mathbb{F}_q$, where the main term involves the number of $m$-smooth permutations on $n$ elements. Our estimates imply that the probability that a random polynomial of degree $n$ is $m$-smooth is asymptotic to the probability that a random permutation on $n$ elements is $m$-smooth, uniformly for $m\ge (2+\varepsilon)\log_q n$ as $q^n \to \infty$. This should be viewed as an unconditional analogue of works of Hildebrand and of Saias in the integer setting, which assume the Riemann Hypothesis. Moreover, we show that the range $m \ge (2+\varepsilon)\log_q n$ is sharp; this should be viewed as a resolution of a (polynomial analogue of a) conjecture of Hildebrand. As an application of our estimates, we determine the rate of decay in the asymptotic formula for the expected degree of the largest prime factor of a random polynomial.

Diaconis and Gamburd computed moments of secular coefficients in the CUE ensemble. We use the characteristic map to give a new combinatorial proof of their result. We also extend their computation to moments of traces of symmetric powers, where the same result holds but in a wider range. Our combinatorial proof is inspired by gcd matrices, as used by Vaughan and Wooley and by Granville and Soundararajan. We use these CUE computations to suggest a conjecture about moments of characters sums twisted by the Liouville (or by the Möbius) function, and establish a version of it in function fields. The moral of our conjecture (and its verification in function fields) is that the Steinhaus random multiplicative function is a good model for the Liouville (or for the Möbius) function twisted by a random Dirichlet character. We also evaluate moments of secular coefficients and traces of symmetric powers, without any condition on the size of the matrix. As an application we give a new formula for a matrix integral that was considered by Keating, Rodgers, Roditty-Gershon and Rudnick in their study of the $k$-fold divisor function.

We establish a new asymptotic formula for the number of polynomials of degree $n$ with $k$ prime factors over a finite field $\mathbb{F}_q$. The error term tends to $0$ uniformly in $n$ and in $q$, and $k$ can grow beyond $\log n$. Previously, asymptotic formulas were known either for fixed $q$, through the works of Warlimont and Hwang, or for small $k$, through the work of Arratia, Barbour and Tavaré. As an application, we estimate the total variation distance between the number of cycles in a random permutation on $n$ elements and the number of prime factors of a random polynomial of degree $n$ over $\mathbb{F}_q$. The distance tends to $0$ at rate $1/(q\sqrt{\log n})$. Previously this was only understood when either $q$ is fixed and $n$ tends to $\infty$, or $n$ is fixed and $q$ tends to $\infty$, by results of Arratia, Barbour and Tavaré.

We establish a supercongruence conjectured by Almkvist and Zudilin, by proving a corresponding $q$-supercongruence. Similar $q$-supercongruences are established for binomial coefficients and the Apéry numbers, by means of a general criterion involving higher derivatives at roots of unity. Our methods lead us to discover new examples of the cyclic sieving phenomenon, involving the $q$-Lucas numbers.

Let $π$ be an irreducible cuspidal representation of $\mathrm{GL}_{kn}\left(\mathbb{F}_q\right)$. Assume that $π= π_θ$, corresponds to a regular character $θ$ of $\mathbb{F}_{q^{kn}}^{*}$. We consider the twisted Jacquet module of $π$ with respect to a non-degenerate character of the unipotent radical corresponding to the partition $(n^k)$ of $kn$. We show that, as a $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$-representation, this Jacquet module is isomorphic to $π_{θ\upharpoonright_{\mathbb{F}_n^*}} \otimes \mathrm{St}^{k-1}$, where $\mathrm{St}$ is the Steinberg representation of $\mathrm{GL}_{n}\left(\mathbb{F}_q\right)$. This generalizes a theorem of D. Prasad, who considered the case $k=2$. We prove and rely heavily on a formidable identity involving $q$-hypergeometric series and linear algebra.

The present paper proves a $q$-identity, which arises from a representation $π_{N,ψ}$ of $\text{GL}_n(\mathbb{F}_q)$. This identity gives a significant simplification for the dimension of $π_{N,ψ}$, which allowed the second author to obtain a description of the representation.