# Questions tagged [quadratic-residues]

The quadratic-residues tag has no usage guidance.

65
questions

**11**

votes

**0**answers

286 views

### effective and unconditional upper bound for the smallest quadratic residue

Let $p$ be a prime number, and let $r=r(p)$ be the smallest prime number with $(r/p)=1$. The classical result of Linnik-Vinogradov (based on Burgess) implies that $r\ll_\epsilon p^{1/4+\epsilon}$, but ...

**4**

votes

**1**answer

166 views

### Counting squares modulo $p$ that are also prime in an interval

What would be the best lower bound for the number of squares modulo $p$ in an interval $[1,N]$ with $N<p$ that are prime?
Via the Burgess bound, I can find a lower bound for the number of squares ...

**3**

votes

**1**answer

325 views

### Does each prime $p>541$ have a quadratic residue $x^4+y^4<p$?

For any prime $p>5$, one of the numbers
$$1^2+1=2,\ \ 2^2+1=5,\ \ 3^2+1=10=2\times5$$
is a quadratic residue modulo $p$. In 2014 I conjectured that each prime $p$ has a primitive root $g<p$ of ...

**4**

votes

**1**answer

142 views

### Dominating sets in subtournaments of the Paley tournament

For a tournament $T$, let $\mathrm{dom}(T)$ be the order of a smallest dominating set in $T$. Let $q$ be a prime power congruent to 3 mod 4 and let $T_q$ be the Paley tournament on $q$ vertices.
Is ...

**12**

votes

**1**answer

485 views

### On sums of quadratic residues

Let $p>3$ be a prime.
We set $R=\{x\in\mathbb{Z}: (x/p)=1\}$, where $(\cdot/p)$ is the Legendre symbol. When $p\equiv3\pmod4$, by class formulae of imaginary quadratic fields $\mathbb{Q}(\sqrt{-p})$...

**4**

votes

**1**answer

153 views

### Distribution of quadratic residues in an interval

For a prime (or prime power) $p$ and some absolute constant $C$ (say $C$ = 100), consider the set $A$ of all $1 \leq a \leq p/C$ such that $1 \leq a^2 \leq p/C$ modulo $p$. Is it known that $|A| = \...

**8**

votes

**1**answer

436 views

### Is it possible to find a (nonsquare) integer which is a quadratic residues modulo a given infinite list of primes?

I'm wondering if it's possible, given a prime p and an infinite list of primes $q_1$, $q_2$, ... to find an integer d which (1) is not a square mod p, but (2) is a square mod $q_i$ for all i. Always, ...

**16**

votes

**0**answers

345 views

### Quadratic non-residues in elliptic divisibility sequences

Let $E: y^2 = x^3 + ax + b$ be an elliptic curve over $\mathbb{Q}$ with $a,b \in \mathbb{Z}$. Recall that any rational point $P = (x,y)$ can be written uniquely as $P = (u/d^2, v/d^3)$ with $u,v,d \in ...

**9**

votes

**3**answers

561 views

### Does the expression $x^4 +y^4$ take on all values in $\mathbb{Z}/p\mathbb{Z}$?

As the title asks: does there exist $N$ such that, for any prime $p$ larger than $N$, the expression $x^4 +y^4$ takes on all values in $\mathbb{Z}/p\mathbb{Z}$?
I have been thinking about this ...

**2**

votes

**0**answers

73 views

### quadratic residues and cubic polynomials [closed]

I'm really not sure about this, but I've heard somewhere that for any prime $p$,
$|\sum_{x=0}^{p-1} (\frac{ax^3 +bx^2 +cx +d}{p} ) |\le \sqrt{2p}$ holds.
Does anyone know a proof for this inequality ...

**2**

votes

**0**answers

112 views

### On the set $\{n>0:\ n\ \text{is a quadratic nonresidue modulo the}\ n\text{th prime}\}$

Let $S$ denote the set of positive integers $n$ with $n$ a quadratic nonresidue modulo the $n$th prime $p_n$. The first 20 elements of $S$ are
$$2,\, 3,\, 6,\, 7,\, 8,\, 10,\, 11,\, 13,\, 15,\, 18,\, ...

**4**

votes

**0**answers

117 views

### Primitive roots modulo primes related to Fibonacci numbers or Lucas numbers

The Fibonacci numbers $F_0,F_1,F_2,\ldots$ and the Lucas numbers $L_0,L_1,L_2,\ldots$ are given by
$$F_0=0,\ F_1=1,\ \text{and}\ F_{n+1}=F_n+F_{n-1}\ (n=1,2,3,\ldots)$$
and
$$L_0=2,\ L_1=1,\ \text{...

**5**

votes

**1**answer

180 views

### applications of finding least quadratic nonresidue mod $p$?

I saw some papers from famous mathematicians (assuming GRH or without it) which are devoted to finding bound for least quadratic nonresidues modulo prime number $p$.
My question is that why it is so ...

**9**

votes

**1**answer

911 views

### A conjecture on primitive tenth roots of unity

QUESTION. How to solve my following conjecture involving primitive tenth roots of unity?
Conjecture. Let $\zeta$ be any primitive tenth root of unity. Then
$$\prod_{k=1}^{(p-1)/2}(\zeta-e^{2\pi ik^2/...

**4**

votes

**0**answers

208 views

### On the values of $\prod_{k=1}^{(p-1)/2}(e^{2\pi i/12}-e^{2\pi i k^2/p})$ for primes $p>3$

In a recent preprint, I investigated
$$S_p(x):=\prod_{k=1}^{(p-1)/2}(x-e^{2\pi ik^2/p}),$$
where $p$ is an odd prime and $x$ is a root of unity.
Motivated by Question 337879 and Question 338325, ...

**2**

votes

**2**answers

597 views

### On the product $\prod_{k=1}^{(p-1)/2}(x-e^{2\pi i k^2/p})$ with $x$ a root of unity

Let $p$ be an odd prime. Dirichlet's class number formula for quadratic fields essentially determines the value of the product $\prod_{k=1}^{(p-1)/2}(1-e^{2\pi ik^2/p})$. I think it is interesting to ...

**9**

votes

**1**answer

385 views

### A conjectural formula for the class number of the field $\mathbb Q(\sqrt{-p})$ with $p\equiv3\pmod8$

Question. Is my following conjecture new? How to prove it?
Conjecture. Let $p>3$ be a prime with $p\equiv3\pmod 8$, and let $h(-p)$ denote the class number of the imaginary quadratic field $\...

**6**

votes

**1**answer

322 views

### Is $|\{(j,k):\ 1\le j<k\le\frac{p-1}2:\ \&\ (j^{16}\ \text{mod}\ p)>(k^{16}\ \text{mod}\ p)\}|$ even for each prime $p\equiv1\pmod {16}$?

In my paper http://arxiv.org/abs/1809.07766, I determined the parity of
$$\left|\left\{(j,k):\ 1\le j<k\le\frac{p-1}2\ \&\ (j^2\ \text{mod}\ p)>(k^2\ \text{mod}\ p)\right\}\right|$$
for any ...

**1**

vote

**0**answers

330 views

### Legendre Symbol of a Very, Very Large Value

I'm trying to use FLINT (Fast Library for Number Theory) to calculate the Legendre Symbol of the following:
$$\left(\frac{n! + 1}{p}\right)$$
In my case, $p$ is a positive, odd prime (specifically $...

**0**

votes

**1**answer

117 views

### Shifting quadratic residues

Let $p\equiv 3\pmod 4$ and $G$ be the set of nonzero quadratic residues modulo $p$ (so $G=(p-1)/2$). For $1\leq a\leq p-1$, let $G_a=\{(a+g)\pmod p\mid g\in G\}$. What is the size of $G_0\cap G_a$?
I ...

**6**

votes

**0**answers

192 views

### Primes $p\in(n,2n)$ with $(\frac{-n}p)=-1$

Bertrand's postulate proved by Chebyshev states that for any $x>1$ there is a prime $p$ in the interval $(x,2x)$. In 2012 I considered some refinements of this by imposing additional requirement ...

**5**

votes

**0**answers

187 views

### On the determinants $\det\left[(i\pm j)\left(\frac{i\pm j}p\right)\right]_{1\le i,j\le(p-1)/2}$

Let $p$ be an odd prime and define
$$D_p^+:=\det\left[(i+j)\left(\frac{i+j}p\right)\right]_{1\le i,j\le(p-1)/2}$$
and $$D_p^{-}:=\det\left[(i-j)\left(\frac{i-j}p\right)\right]_{1\le i,j\le(p-1)/2},$$
...

**1**

vote

**0**answers

133 views

### On $\det\left[\frac1{i^2-ij+j^2}\right]_{1\le i,j\le p-1}$ and $\det\left[\frac1{i^2-ij+j^2}\right]_{1\le i,j\le (p-1)/2}$

QUESTION. Is my following conjecture true? If true, how to prove it?
Conjecture. Let $p$ be a prime with $p\equiv5\pmod 6$, and define the matrices $A_p$ and $B_p$ by
$$A_p:=\left[\frac1{i^2-ij+j^2}\...

**7**

votes

**2**answers

751 views

### A new formula for the class number of the quadratic field $\mathbb Q(\sqrt{(-1)^{(p-1)/2}p})$?

I have the following conjecture involving a possible new formula for the class number of the quadratic field $\mathbb Q(\sqrt{(-1)^{(p-1)/2}p})$ with $p$ an odd prime.
Conjecture. Let $p$ be an odd ...

**3**

votes

**0**answers

113 views

### Does $(p-1)^2$ divide $\det[(\frac{i^2+cij+dj^2}p)]_{0\le i,j\le p-1}$ when $(\frac dp)=-1$?

Let $p$ be an odd prime. As in my paper, for $c,d\in\mathbb Z$ let us define
$$[c,d]_p:=\det\left[\left(\frac{i^2+cij+dj^2}p\right)\right]_{0\le i,j\le p-1},$$
where $(\frac{\cdot}p)$ is the Legendre ...

**2**

votes

**1**answer

198 views

### On the determinant $\det[(\frac{i^2+dj^2}p)]_{0\le i,j\le(p-1)/2}$ with $(\frac dp)=-1$

Let $p$ be an odd prime. For $d\in\mathbb Z$ we define
$$T(d,p):=\det\left[\left(\frac{i^2+dj^2}p\right)\right]_{0\le i,j\le(p-1)/2},$$
where $(\frac{\cdot}p)$ is the Legendre symbol.
By (1.17) of my ...

**8**

votes

**1**answer

311 views

### Is the permanent of the matrix $[(\frac{i+j}{2n+1})]_{0\le i,j\le n}$ always positive?

Recall that the permanent of an $n\times n$ matrix $A=[a_{i,j}]_{1\le i,j\le n}$ is defined by
$$\operatorname{per}A=\sum_{\sigma\in S_n}\prod_{i=1}^n a_{i,\sigma(i)}.$$
In 2004, R. Chapman [Acta ...

**4**

votes

**1**answer

391 views

### A series of conjectures on $\sum_{x=0}^{(p-1)/2}(\frac{x^5+cx^3+dx}p)$ (III)

As in Question 319254, for an odd prime $p$ and integers $c,d$ we define
$$S_p(c,d):=\sum_{x=0}^{(p-1)/2}\left(\frac{x^5+cx^3+dx}p\right),$$
where $(\frac{\cdot}p)$ is the Legendre symbol.
In my ...

**1**

vote

**0**answers

108 views

### A series of conjectures on $\sum_{x=0}^{(p-1)/2}(\frac{x^5+cx^3+dx}p)$ (II)

As in Question 319254, for an odd prime $p$ and integers $c,d$ we let
$$S_p(c,d):=\sum_{x=0}^{(p-1)/2}\left(\frac{x^5+cx^3+dx}p\right).$$ If $p\equiv1\pmod4$, then we obviously have
\begin{align}&\...

**1**

vote

**0**answers

151 views

### A series of conjectures on $\sum_{x=0}^{(p-1)/2}(\frac{x^5+cx^3+dx}p)$ (I)

Let $p$ be an odd prime. Here I introduce the sum
$$S_p(c,d):=\sum_{x=0}^{(p-1)/2}\left(\frac{x^5+cx^3+dx}p\right)$$
with $c,d\in\mathbb Z$, where $(\frac{\cdot}p)$ is the Legendre symbol.
I have a ...

**0**

votes

**2**answers

237 views

### Permutations of squares and finite fields

Let $S_n$ be the symmetric group of all permutations of $\{1,\ldots,n\}$, and let
$$S(n)=\bigg\{\sum_{k=1}^nk^2\pi(k)^2:\ \pi\in S_n\}.$$
Motivated by Question 316142 of mine, here I ask the following ...

**2**

votes

**1**answer

192 views

### Does $\det[\lfloor(i^2+j^2)/p\rfloor]_{1\le i,j\le(p-1)/2}$ vanish for each prime $p>7$ with $p\equiv3\pmod4$?

Let $\lfloor x\rfloor$ be the floor function.
QUESTION: Does the determinant
$$D_p=\det\left[\left\lfloor\frac{i^2+j^2}p\right\rfloor\right]_{1\le i,j\le(p-1)/2}$$ vanish for each prime $p>7$ with ...

**2**

votes

**1**answer

306 views

### On triangular numbers modulo primes

Let $p$ be an odd prime. For $a\in\mathbb Z$ let $\{a\}_p$ denote the least nonnegative residue of $a$ modulo $p$. The list $\{1^2\}_p,\ldots,\{((p-1)/2)^2\}_p$ is a permutation of all the quadratic ...

**7**

votes

**1**answer

236 views

### On $\prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i+j}(2i+j)$ and $\prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i-j}(2i-j)$ modulo a prime $p>3$

QUESTION: Is my following conjecture true?
Conjecture. Let $p>3$ be a prime and let $h(-p)$ be the class number of the imaginary quadratic field $\mathbb Q(\sqrt{-p})$. Then
$$\frac{p-1}2!!\prod^{...

**5**

votes

**1**answer

339 views

### Quadratic Nonresidue

Suppose $r$ integers $n_1, \ldots, n_r$ are given such that $0<|n_i|<N$ for $1 \leq i \leq r$ and for a natural number $N.$ Is it possible to find a prime number $p$ such that all numbers $n_1, \...

**4**

votes

**0**answers

293 views

### Congruence for the product of quadratic residues + the product of quadratic non-residues

My question has been here on MSE for a long time, but it has not received a full answer. I bring it here:
Find a prime $p$ such that $p \equiv 1 \bmod 4$ and such that the
product in the range $[...

**2**

votes

**0**answers

176 views

### Evaluate a curious determinant with Legendre symbol entries

Let $p$ be an odd prime and let $(\frac{\cdot}p)$ be the Legendre symbol. R. Chapman's conjecture on the exact value of the determinant of
$$C_p:=\left[\left(\frac{i-j}p\right)\right]_{0\le i,j\le (p-...

**7**

votes

**1**answer

452 views

### A new determinant question for primes $p\equiv3\pmod4$

Let $p$ be an odd prime, and let $(\frac{\cdot}p)$ denote the Legendre symbol. Motivated by my question http://mathoverflow.net/questions/310301, here I introduce the matrices $A^+_p$ and $A^-_p$ ...

**13**

votes

**0**answers

328 views

### A determinant problem for primes $p\equiv 1\pmod4$

Let $p$ be an odd prime, and let $A_p$ denote the matrix
$$[a_{ij}]_{1\le i,j\le (p-1)/2},$$
where
$$a_{1j}=\left(\frac jp\right),\ \ \text{and}\ \ a_{ij}=\left(\frac{i^2+j^2}p\right)\ \text{for}\ i&...

**13**

votes

**3**answers

922 views

### Is $-\det\big[\big(\frac{i^2+j^2}p\big)\big]_{1\le i,j\le (p-1)/2}$ always a square for each prime $p\equiv 3\pmod 4$?

Let $p$ be an odd prime and let $S_p$ denote the determinant
$$\det\left[\left(\frac{i^2+j^2}p\right)\right]_{1\le i,j\le (p-1)/2}$$
with $(\frac{\cdot}p)$ the Legendre symbol. By Theorem 1.2 of my ...

**13**

votes

**2**answers

394 views

### Does $n^2$ divide $\det\left[\left(\frac{i^2+2ij+3j^2}n\right)\right]_{1\le i,j\le n-1}$ for each odd integer $n>3$?

For any odd integer $n>1$ and integers $c$ and $d$, define
$$(c,d)_n:=\det\left[\left(\frac{i^2+cij+dj^2}n\right)\right]_{1\le i,j\le n-1},$$
where $(\frac{\cdot}n)$ is the Jacobi symbol. It is ...

**1**

vote

**0**answers

142 views

### Does each prime $p>3$ have a quadratic nonresidue which is a Mersenne number?

Recall that the Mersenne numbers are those integers $M_p=2^p-1$ with $p$ prime.
QUESTION: Is it true that for each prime $p>3$ there is a Mersenne number which is a quadratic nonresidue modulo $p$?...

**7**

votes

**0**answers

270 views

### Expressing quartic Dirichlet characters modulo primes $p\equiv 1\bmod 4$ with Legendre symbols

Looking through some old notes of mine from two years ago I found some crude notes writing what amounted to the statement that for any prime $p\equiv 1\bmod 4$ one could express for any odd integer $p\...

**1**

vote

**0**answers

222 views

### some phenomena about Fibonacci number [closed]

Edit: for conjecture 3, define :$(\frac{5}{F_n}) = 5 ^{\frac{F_n-1}2} mod (F_n)$, $F_n $ is odd number.
When study Fibonacci number, some phenomena are observed：
$(\frac{F_p}{5})= (\frac{p}{5}) ...

**3**

votes

**2**answers

359 views

### Question: How to find the smallest value $x$ satisfying the equation: $x^2 = a \pmod c$ (known is $a$ and $c$, $c$ is not the prime)?

Question: How to find the smallest value $x$ satisfying the equation: $x^2 = a \pmod c$ (known is $a$ and $c$, $c$ is not the prime)?
Using the Tonelli-Shanks algorithm and the Chinese remainder ...

**7**

votes

**0**answers

216 views

### Chowla's Construction of prime having least quadratic non-residue $\gg \log p$

This paper by NC Ankeny mentions that " S. Chowla has proved that there exist infinitely many primes $k$ where the
first $c_1\log k$ residues $(\bmod k)$ are all quadratic residues".
I recently ...

**1**

vote

**1**answer

2k views

### Relationship between quadratic residues modulo a prime and quadratic residues modulo a prime power [closed]

Been going through Alan Baker's A Comprehensive Course in Number Theory. Very interesting book, although the way proofs are presented sometimes throws me off a little.
I usually read through a ...

**1**

vote

**2**answers

312 views

### overlap quadratic residues

Let $p$ be a prime number of form $4k+1$ and $M$ is its quadratic residue set.
Let $M_i=\{i+x|\forall x\in M\}$ $\forall 0<i<p$.
Does there exist a positive constant $\varepsilon$ such that ...

**2**

votes

**1**answer

264 views

### How does this sequence grow

Let $a(n)$ be the number of solutions of the equation $a^2+b^2\equiv -1 \pmod {p_n}$, where $p_n$ is the n-th prime and $0\le a \le b \le \frac{p_n-1}2$. Is the sequence $a(1),a(2),a(3),\dots$ non-...

**4**

votes

**2**answers

266 views

### Orders of the conjugates of an algebraic prime number in its residue field

Of interest to me is the following question (it would be nice to find out what is known in its direction):
Given a Galois number field $K/\mathbb{Q}$ and a completely and principally split prime ...