|
%I #30 Feb 20 2021 02:08:56
%S 23,53,89,211,293,409,479,631,797,839,919,1039,1259,1409,1471,1511,
%T 1637,1709,1847,1889,2039,2099,2179,2503,2579,2633,2777,2819,2939,
%U 3011,3049,3137,3229,3271,3433,3499,3593,3659,3709,3779,3967,4111,4177,4253,4327,4409,4493,4621,4703,4831
%N Highly insulated primes (see Comments for definition).
%C Let degree of insulation D(p) for a prime p be defined as the largest m such that the prime between p-m and p+m is p only. Then the n-th insulated prime is said to be highly insulated if and only if D(A339148(n)) > D(A339148(n+1)) and D(A339148(n)) > D(A339148(n-1)).
%H François Marques, <a href="/A339188/b339188.txt">Table of n, a(n) for n = 1..10000</a>
%H Abhimanyu Kumar and Anuraag Saxena, <a href="https://arxiv.org/abs/2011.14210">Insulated primes</a>, arXiv:2011.14210 [math.NT], 2020.
%e For the triplet (13,23,37) of insulated primes, the values of degree of insulation are D(13)=2, D(23)=4, and D(37)=3. Hence, 23 is the highly insulated prime.
%t Block[{s = {0}~Join~Array[Min[NextPrime[# + 1] - # - 1, # - NextPrime[# - 1, -1]] &@ Prime@ # &, 660, 2], t}, t = Array[If[#1 < #2 > #3, #4, Nothing] & @@ Append[s[[# - 1 ;; # + 1]], #] &, Length@ s - 2, 2]; Array[If[s[[#1]] < s[[#2]] > s[[#3]], #4, Nothing] & @@ Append[t[[# - 1 ;; # + 1]], Prime@ t[[#]]] &, Length@ t - 2, 2] ] (* _Michael De Vlieger_, Dec 11 2020 *)
%o (PARI)
%o A339188(n) = { \\ Return the list of the first n highly insulated primes
%o my( HighInsulated=List([]), D(p)=min(nextprime(p+1)-p-1, p-precprime(p-1)); );
%o my( Dpred_ins=D(7), Pcur_ins=13, Dcur_ins=D(Pcur_ins) );
%o local( Dpred=D(Pcur_ins), p=nextprime(Pcur_ins+1), Dp=D(p), Pnext=nextprime(p+1), Dnext=D(Pnext) );
%o my(SearchNextInsulated() =
%o until(Dp > max(Dpred,Dnext),
%o Dpred = Dp; p = Pnext; Dp = Dnext;
%o Pnext = nextprime(p+1); Dnext = D(Pnext);
%o );
%o \\ At this point p is the first insulated prime > Dcur_ins
%o );
%o while(#HighInsulated<n,
%o until(Dcur_ins > max(Dpred_ins,Dp),
%o Dpred_ins = Dcur_ins; Pcur_ins = p; Dcur_ins = Dp;
%o SearchNextInsulated();
%o );
%o listput(HighInsulated,Pcur_ins);
%o );
%o return(HighInsulated);
%o } \\ _François Marques_, Dec 01 2020
%Y Cf. A000040, A339148 (insulated primes).
%K nonn
%O 1,1
%A _Abhimanyu Kumar_, Nov 27 2020
|
