cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A344174 Number of primes p of the form x^4 + y^2 with y + 1 prime such that p is smaller than prime(n) and also a quadratic nonresidue modulo prime(n).

This page as a plain text file.
%I A344174 #26 May 11 2021 10:32:18
%S A344174 0,1,1,1,1,2,1,1,2,2,1,3,1,3,1,2,2,3,2,1,2,2,2,1,3,1,3,4,4,4,3,4,2,4,
%T A344174 3,1,3,5,4,5,3,3,3,3,3,5,4,2,4,2,3,3,3,3,5,4,5,4,8,3,4,4,2,6,5,4,6,5,
%U A344174 8,3,4,3,5,3,3,6,4,6,4,4,4,3,5,4,7,6,3,6,5,4,7,4,5,2,4,6,2,4,6,7
%N A344174 Number of primes p of the form x^4 + y^2 with y + 1 prime such that p is smaller than prime(n) and also a quadratic nonresidue modulo prime(n).
%C A344174 In 1998 J. Friedlander and H. Iwaniec proved that there are infinitely many primes of the form x^4 + y^2 with x and y integers.
%C A344174 Conjecture: (i) a(n) > 0 for all n > 1. In other words, for each odd prime p, there is a prime q < p of the form x^4 + y^2 with y + 1 prime such that q is a quadratic nonresidue modulo p.
%C A344174 (ii) For any odd prime p not among 3, 5, 13, 37, 277,  there is a prime q < p of the form x^4 + y^2 with y + 1 prime such that q is a quadratic residue modulo p.
%C A344174 Part (i) of the conjecture verified for all odd primes p < 2*10^9.
%C A344174 We even conjecture further that for any prime p > 5 there is a prime q < p of the form x^4 + y^2 with y + 1 prime such that q is a primitive root modulo p.
%C A344174 See also A344173 for a similar conjecture.
%H A344174 J. Friedlander and H. Iwaniec, <a href="https://arxiv.org/abs/math/9811185">The polynomial x^2 + y^4 captures its primes</a>, arXiv:math/9811185 [math.NT], 1998; Ann. of Math. 148 (1998), 945-1040.
%e A344174 a(2) = 1, and the prime 1^4 + (2-1)^2 = 2 is a quadratic nonresidue modulo prime(2) = 3.
%e A344174 a(4) = 1, and the prime 1^4 + (3-1)^2 = 5 is a quadratic nonresidue modulo prime(4) = 7.
%e A344174 a(24) = 1, and the prime 1^4 + (7-1)^2 = 37 is a quadratic nonresidue modulo prime(24) = 89.
%e A344174 a(36) = 1, and the prime 1^4 + (11-1)^2 = 101 is a quadratic nonresidue modulo prime(36) = 151.
%e A344174 a(204) = 5, and the primes 3^4 + (11-1)^2 = 181, 3^4 + (17-1)^2 = 337, 5^4 + (5-1)^2 = 641, 5^4 + (17-1)^2 = 881 and 5^4 + (23-1)^2 = 1109 are all quadratic nonresidues modulo prime(204) = 1249.
%t A344174 tab={0};Do[p:=p=Prime[n];tt={};Do[If[PrimeQ[b+1]&&PrimeQ[a^4+b^2]&&JacobiSymbol[a^4+b^2,p]==-1,tt=Append[tt,a^4+b^2]],{a,1,(p-1)^(1/4)},{b,1,(p-1-a^4)^(1/2)}];tab=Append[tab,Length[Union[tt]]],{n,2,100}];Print[tab]
%Y A344174 Cf. A000040, A000290, A000583, A028916, A281792, A344173.
%K A344174 nonn
%O A344174 1,6
%A A344174 _Zhi-Wei Sun_, May 10 2021