Distribution of squares modulo a composite number

We obtain new estimates on the level of distribution of the set $\{Q(n)\}$ where $Q\in{\mathbb Z}[X]$ is irreducible quadratic, for well-factorable moduli, improving a result due to Iwaniec. As a by-product of our arguments, we study the Chebyshev problem of estimating $\max\{P^+(n^2-D), n\leq x\}$ and make explicit, in Deshouillers-Iwaniec's state-of-the-art result, the dependence on the Selberg eigenvalue conjecture. Combined with the construction of an upper-bound sieve fo...

An arithmetic function $f$ is called a {\it sieve function of range} $Q$, if its Eratosthenes transform $g=f\ast\mu$ is supported in $[1,Q]\cap\N$, where $g(q)\ll_{\varepsilon} q^{\varepsilon}$ ($\forall\varepsilon>0$). Here, we study the distribution of $f$ over short {\it arithmetic bands} $\cup_{1\le a\le H}\{n\in(N,2N]: n\equiv a\, (\bmod\,q)\}$, with $H=o(N)$, and give applications to both the correlations and to the so-called weighted Selberg integrals of $f$, on which ...

In this paper, we establish a version of the large sieve with square moduli for imaginary quadratic extensions of rational function fields of odd characteristics.

We progress with the investigation started in article \cite{Roman2022}, namely the analysis of the asymptotic behaviour of $Q_{\mathcal{P}}(x)$ for different sets $\mathcal{P}$, where $Q_{\mathcal{P}}(x)$ is the element count of the set containing those positive square-free integers, which are smaller than-, or equal to $x$, and which are only divisible by the elements of $\mathcal{P}$. We study how $Q_{\mathcal{P}}(x)$ behaves when we require that $\chi(p) = 1$ must hold for...

In 1940 Paul Erd\H{o}s made a conjecture about the distribution of reduced residues. Here we study the distribution of $k$-tuple of reduced residues.

Let $p$ be a prime number, $p=2^nq+1$, where $q$ is odd. D. Shanks described an algorithm to compute square roots $\pmod{p}$ which needs $O(\log q + n^2)$ modular multiplications. In this note we describe two modifications of this algorithm. The first needs only $O(\log q + n^{3/2})$ modular multiplications, while the second is a parallel algorithm which needs $n$ processors and takes $O(\log q+n)$ time.

We study the equidistribution of multiplicatively defined sets, such as the squarefree integers, quadratic non-residues or primitive roots, in sets which are described in an additive way, such as sumsets or Hilbert cubes. In particular, we show that if one fixes any proportion less than $40\%$ of the digits of all numbers of a given binary bit length, then the remaining set still has the asymptotically expected number of squarefree integers. Next, we investigate the distribut...

The multplicative order of an integer g modulo a prime p, with p coprime to g, is defined to be the smallest positive integer k such that g^k is congruent to 1 modulo p. For fixed integers g and d the distribution of this order over residue classes mod d is considered as p runs over the primes. An overview is given of the most significant of my results on this problem obtained (mainly) in the three part series of papers `On the distribution of the order and index of g (modu...

The author has previously extended the theory of regular and irregular primes to the setting of arbitrary totally real number fields. It has been conjectured that the Bernoulli numbers, or alternatively the values of the Riemann zeta function at odd negative integers, are evenly distributed modulo p for every p. This is the basis of a well-known heuristic, given by Siegel, for estimating the frequency of irregular primes. So far, analyses have shown that if Q(\sqrt{D}) is a r...

We establish a general large sieve inequality with sparse sets $\mathcal{S}$ of moduli in the Gaussian integers which are in a sense well-distributed in arithmetic progressions. This extends earlier work of S. Baier on the large sieve with sparse sets of moduli. We then use this result to obtain large sieve bounds for the cases when $\mathcal{S}$ consists of squares of Gaussian integers and of Gaussian primes. Our bound for the case of square moduli improves a recent result b...