We use circulant matrices and hyperelliptic curves over finite fields to study some arithmetic properties of certain determinants involving Legendre symbols and kth power residues.

We prove a new generalization of Davenport's Fourier expansion of the infinite series involving the fractional part function over arithmetic functions. A new Mellin transform related to the Riemann zeta function is also established.

Let $f(x)\in \mathbb {Z}[x]$ be a nonconstant polynomial. Let $n\ge 1, k\ge 2$ and c be integers. An integer a is called an f-exunit in the ring $\mathbb {Z}_n$ of residue classes modulo n if $\gcd (f(a),n)=1$ . We use the principle of cross-classification to derive an explicit formula for the number ${\mathcal N}_{k,f,c}(n)$ of solutions $(x_1,\ldots ,x_k)$ of the congruence $x_1+\cdots +x_k\equiv c\pmod n$ with all $x_i$ being f-exunits in the ring $\mathbb {Z}_n$ . This extends a recent result of Anand et al. [‘On a question of f-exunits in $\mathbb {Z}/{n\mathbb {Z}}$ ’, Arch. Math. (Basel)116 (2021), 403–409]. We derive a more explicit formula for ${\mathcal N}_{k,f,c}(n)$ when $f(x)$ is linear or quadratic.

In this paper, we investigate the distribution of the maximum of partial sums of families of $m$-periodic complex-valued functions satisfying certain conditions. We obtain precise uniform estimates for the distribution function of this maximum in a near-optimal range. Our results apply to partial sums of Kloosterman sums and other families of $\ell$-adic trace functions, and are as strong as those obtained by Bober, Goldmakher, Granville and Koukoulopoulos for character sums. In particular, we improve on the recent work of the third author for Birch sums. However, unlike character sums, we are able to construct families of $m$-periodic complex-valued functions which satisfy our conditions, but for which the Pólya–Vinogradov inequality is sharp.

En s’appuyant sur la notion d’équivalence au sens de Bohr entre polynômes de Dirichlet et sur le fait que sur un corps quadratique la fonction zeta de Dedekind peut s’écrire comme produit de la fonction zeta de Riemann et d’une fonction L, nous montrons que, pour certaines valeurs du discriminant du corps quadratique, les sommes partielles de la fonction zeta de Dedekind ont leurs zéros dans des bandes verticales du plan complexe appelées bandes critiques et que les parties réelles de leurs zéros y sont denses.

For fixed $\alpha \in [0,1]$ , consider the set $S_{\alpha ,N}$ of dilated squares $\alpha , 4\alpha , 9\alpha , \dots , N^2\alpha \, $ modulo $1$ . Rudnick and Sarnak conjectured that, for Lebesgue, almost all such $\alpha $ the gap-distribution of $S_{\alpha ,N}$ is consistent with the Poisson model (in the limit as N tends to infinity). In this paper, we prove a new estimate for the triple correlations associated with this problem, establishing an asymptotic expression for the third moment of the number of elements of $S_{\alpha ,N}$ in a random interval of length $L/N$ , provided that $L> N^{1/4+\varepsilon }$ . The threshold of $\tfrac {1}{4}$ is substantially smaller than the threshold of $\tfrac {1}{2}$ (which is the threshold that would be given by a naïve discrepancy estimate).

Unlike the theory of pair correlations, rather little is known about triple correlations of the dilations $(\alpha a_n \, \text {mod } 1)_{n=1}^{\infty } $ for a nonlacunary sequence $(a_n)_{n=1}^{\infty } $ of increasing integers. This is partially due to the fact that the second moment of the triple correlation function is difficult to control, and thus standard techniques involving variance bounds are not applicable. We circumvent this impasse by using an argument inspired by works of Rudnick, Sarnak, and Zaharescu, and Heath-Brown, which connects the triple correlation function to some modular counting problems.

In Appendix B, we comment on the relationship between discrepancy and correlation functions, answering a question of Steinerberger.

Let $t:{\mathbb F_p} \to C$ be a complex valued function on ${\mathbb F_p}$. A classical problem in analytic number theory is bounding the maximum

$$M(t): = \mathop {\max }\limits_{0 \le H < p} \left| {{1 \over {\sqrt p }}\sum\limits_{0 \le n < H} {t(n)} } \right|$$

$(1/\sqrt p )\sum\nolimits_{0 \le n < H} {t(n)} $

$$M(t) \le {\left\| {\hat t} \right\|_\infty }\log 3p,$$

$\hat t:{\mathbb F_p} \to \mathbb C$

$\varepsilon > 0$

$a \in \mathbb F_p^ \times $

$${\rm{k}}{1_{a,1,p}}:x \mapsto e((ax + \bar x)/p)$$

$$M({\rm{k}}{1_{a,1,p}}) \ge \left( {{{1 - \varepsilon } \over {\sqrt 2 \pi }} + o(1)} \right)\log \log p,$$

$p \to \infty $

${\{ M({\rm{k}}{1_{a,1,p}})\} _{a \in \mathbb F_p^ \times }}$

For any prime p, let $y(p)$ denote the smallest integer y such that every reduced residue class (mod p) is represented by the product of some subset of $\{1,\dots ,y\}$ . It is easy to see that $y(p)$ is at least as large as the smallest quadratic nonresidue (mod p); we prove that $y(p) \ll _\varepsilon p^{1/(4 \sqrt e)+\varepsilon }$ , thus strengthening Burgess’ classical result. This result is of intermediate strength between two other results, namely Burthe’s proof that the multiplicative group (mod p) is generated by the integers up to $O_\varepsilon (p^{1/(4 \sqrt e)+\varepsilon })$ , and Munsch and Shparlinski’s result that every reduced residue class (mod p) is represented by the product of some subset of the primes up to $O_\varepsilon (p^{1/(4 \sqrt e)+\varepsilon })$ . Unlike the latter result, our proof is elementary and similar in structure to Burgess’ proof for the least quadratic nonresidue.

We prove a new upper bound on the second moment of Maass form symmetric square L-functions defined over Gaussian integers. Combining this estimate with the recent result of Balog–Biro–Cherubini–Laaksonen, we improve the error term in the prime geodesic theorem for the Picard manifold.

In this paper, we obtain a variation of the Pólya–Vinogradov inequality with the sum restricted to a certain height. Assume $\chi $ to be a primitive character modulo q, $ \epsilon>0$ and $N\le q^{1-\gamma }$ , with $0\le \gamma \le 1/3$ . We prove that

$$ \begin{align*} |\sum_{n=1}^N \chi(n) |\le c (\tfrac{1}{3} -\gamma+\epsilon )\sqrt{q}\log q \end{align*} $$

$c=2/\pi ^2$

$\chi $

$c=1/\pi $

$\chi $

In this paper, we prove a one level density result for the low-lying zeros of quadratic Hecke L-functions of imaginary quadratic number fields of class number 1. As a corollary, we deduce, essentially, that at least $(19-\cot (1/4))/16 = 94.27\ldots \%$ of the L-functions under consideration do not vanish at 1/2.

We consider autocorrelation functions for supersymmetric quantum mechanical systems (consisting of a fermion and a boson) confined in trigonometric Pöschl–Teller partner potentials. We study the limit of rescaled autocorrelation functions (at random time) as the localization of the initial state goes to infinity. The limiting distribution can be described using pairs of Jacobi theta functions on a suitably defined homogeneous space, as a corollary of the work of Cellarosi and Marklof. A construction by Contreras-Astorga and Fernández provides large classes of Pöschl-Teller partner potentials to which our analysis applies.

We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions we prove the joint equidistribution of conjugate rational points in the 2-torus and the modular surface.

Recently E. Bombieri and N. M. Katz (2010) demonstrated that several well-known results about the distribution of values of linear recurrence sequences lead to interesting statements for Frobenius traces of algebraic curves. Here we continue this line of study and establish the Möbius randomness law quantitatively for the normalised form of Frobenius traces.

We prove that sums of length about $q^{3/2}$ of Hecke eigenvalues of automorphic forms on $\operatorname{SL}_{3}(\mathbf{Z})$ do not correlate with $q$-periodic functions with bounded Fourier transform. This generalizes the earlier results of Munshi and Holowinsky–Nelson, corresponding to multiplicative Dirichlet characters, and applies, in particular, to trace functions of small conductor modulo primes.

We determine the order of magnitude of $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, and $0\leqslant q\leqslant 1$. In the Steinhaus case, this is equivalent to determining the order of $\lim _{T\rightarrow \infty }\frac{1}{T}\int _{0}^{T}|\sum _{n\leqslant x}n^{-it}|^{2q}\,dt$.

In particular, we find that $\mathbb{E}|\sum _{n\leqslant x}f(n)|\asymp \sqrt{x}/(\log \log x)^{1/4}$. This proves a conjecture of Helson that one should have better than squareroot cancellation in the first moment and disproves counter-conjectures of various other authors. We deduce some consequences for the distribution and large deviations of $\sum _{n\leqslant x}f(n)$.

The proofs develop a connection between $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$ and the $q$th moment of a critical, approximately Gaussian, multiplicative chaos and then establish the required estimates for that. We include some general introductory discussion about critical multiplicative chaos to help readers unfamiliar with that area.

In this paper we prove some one-level density results for the low-lying zeros of families of quadratic and quartic Hecke $L$-functions of the Gaussian field. As corollaries, we deduce that at least 94.27% and 5%, respectively, of the members of the quadratic family and the quartic family do not vanish at the central point.

We prove an upper bound on the log canonical threshold of a hypersurface that satisfies a certain power condition and use it to prove several generalizations of Igusa’s conjecture on exponential sums, with the log canonical threshold in the exponent of the estimates. We show that this covers optimally all situations of the conjectures for nonrational singularities by comparing the log canonical threshold with a local notion of the motivic oscillation index.