Consecutive Quadratic Residues And Quadratic Nonresidue Modulo $p$

We study the distribution of spacings between squares modulo q as the number of prime divisors of q tends to infinity. In an earlier paper Kurlberg and Rudnick proved that the spacing distribution for square free q is Poissonian, this paper extends the result to arbitrary q.

Let $1\leq a<q$ be a pair of small integers such that $\gcd(a,q)=1$ and let $x>1$ be a large number. This note discusses the existence of a short sequence of primes $p\equiv a\bmod q$ between two squares $x^2$ and $(x+1)^2$.

This monograph considers a few topics in the theory of primitive roots g(p) modulo a prime p>=2. A few estimates of the least primitive roots g(p) and the least prime primitive roots g^*(p) modulo p, a large prime, are determined. One of the estimate here seems to sharpen the Burgess estimate g(p) << p^(1/4+e) for arbitrarily small number 3 > 0, to the smaller estimate g(p) <= p^(5/loglog p) uniformly for all large primes p => 2. The expected order of magnitude is g(p) <<(log...

This note investigates the prime values of the polynomial $f(t)=qt^2+a$ for any fixed pair of relatively prime integers $ a\geq 1$ and $ q\geq 1$ of opposite parity. For a large number $x\geq1$, an asymptotic result of the form $\sum_{n\leq x^{1/2},\, n \text{ odd}}\Lambda(qn^2+a)\gg qx^{1/2}/2\varphi(q)$ is achieved for $q\ll (\log x)^b$, where $ b\geq 0 $ is a constant.

In this article we estimate the number of integers up to $X$ which can be represented by a positive-definite, binary integral quadratic form of discriminant which is small relative to $X$. This follows from understanding the vector of signs when computing the Legendre symbol of small integers $n$ at multiple primes.

Quadratic residue patterns modulo a prime are studied since 19th century. In the first part we extend existing results on the number of consecutive $\ell$-tuples of quadratic residues, studying corresponding algebraic curves and their jacobians, which happen to be products of jacobians of hyperelliptic curves. In the second part we state the last unpublished result of Lydia Goncharova on squares such that their differences are also squares, reformulate it in terms of algebrai...

Suppose that an infinite set $A$ occupies at most $\frac{1}{2}(p+1)$ residue classes modulo $p$, for every sufficiently large prime $p$. The squares, or more generally the integer values of any quadratic, are an example of such a set. By the large sieve inequality the number of elements of $A$ that are at most $X$ is $O(X^{1/2})$, and the quadratic examples show that this is sharp. The simplest form of the inverse large sieve problem asks whether they are the only examples. W...

Denote by $\mathcal{R}_p$ the set of all quadratic residues in $\mathbf{F}_p$ for each prime $p$. A conjecture of A. S\'ark\"ozy asserts, for all sufficiently large $p$, that no subsets $\mathcal{A},\mathcal{B}\subseteq\mathbf{F}_p$ with $|\mathcal{A}|,|\mathcal{B}|\geqslant2$ satisfy $\mathcal{A}+\mathcal{B}=\mathcal{R}_p$. In this paper, we show that if such subsets $\mathcal{A},\mathcal{B}$ do exist, then there are at least $(\log 2)^{-1}\sqrt p-1.6$ elements in $\mathcal{...

It has been conjectured by Sarkozy that with finitely many exceptions, the set of quadratic residues modulo a prime $p$ cannot be represented as a sumset $\{a+b\colon a\in A, b\in B\}$ with non-singleton sets $A,B\subset F_p$. The case $A=B$ of this conjecture has been recently established by Shkredov. The analogous problem for differences remains open: is it true that for all sufficiently large primes $p$, the set of quadratic residues modulo $p$ is not of the form $\{a'-a"\...

In this paper, we study some topics concerning the additive decompositions of the set $D_k$ of all $k$th power residues modulo a prime $p$. For example, given a positive integer $k\ge2$, we prove that $$\lim_{x\rightarrow+\infty}\frac{B(x)}{\pi(x)}=0,$$ where $\pi(x)$ is the number of primes $p\le x$ and $B(x)$ denotes the cardinality of the set $$\{p\le x: p\equiv1\pmod k; D_k\ \text{has a non-trivial 2-additive decomposition}\}.$$