

A013998


Unrestricted Perrin pseudoprimes.


16



271441, 904631, 16532714, 24658561, 27422714, 27664033, 46672291, 102690901, 130944133, 196075949, 214038533, 517697641, 545670533, 801123451, 855073301, 903136901, 970355431, 1091327579, 1133818561, 1235188597, 1389675541, 1502682721, 2059739221, 2304156469, 2976407809, 3273820903
(list;
graph;
refs;
listen;
history;
text;
internal format)



OFFSET

1,1


COMMENTS

"The column Mathematical Recreations by Ian Stewart in the June 1996 issue of Scientific American discusses the Perrin sequence [A001608] A(n) defined by A(0)=3, A(1)=0, A(2)=2, A(n+1)=A(n1)+A(n2). Motivated by a theorem of E. Lucas: If n is prime it divides A(n) exactly, the question whether primality of n follows from n divides A(n) exactly was formulated 1899. So far, they say, nobody has found a composite n that divides A(n). Such a number would be called a Perrin pseudoprime. The article quotes an experiment by Steven Arno of the Supercomputing Research Center in Bowie, Md., where a lower bound of 15 digits for the size of the smallest Perrin pseudoprime was obtained in 1991. On Jul 3rd, 1996, I was able to find the two smallest Perrin pseudoprimes:" [Holzbaur]  Robert G. Wilson v, Nov 30 2001
In the "Feedback" section of his column for November 1996, Ian Stewart mentions that Jeffrey Shallit (Waterloo) had written to him saying that he had found the Perrin pseudoprimes 271441 and 904631 in 1982.
There are 765 Perrin pseudoprimes which are also Carmichael numbers less than 2^64.  Dana Jacobsen, May 10 2015
There are 101994 Perrin pseudoprimes which are also Fermat pseudoprimes to base 2 less than 2^64.  Dana Jacobsen, May 10 2015
Difference in the number of unlabeled maximal independent sets of an a(n)cycle graph A127687(a(n)) times a(n), from value of Perrin(a(n)) such that Perrin(a(n)) mod a(n) = Sum_{da(n)} (Perrin(d)*Phi(a(n)/d)) mod a(n) [d<a(n)]==0 (mod a(n)); Perrin = A001608, Phi = A000010.  Richard Turk, Aug 11 2015
There are two known Perrin pseudoprimes that are squares: a(1)=271441=521^2 and a(76)=36366108601=190699^2. In A173656 it is claimed that there are no others < (10^9)^2.  Hugo Pfoertner, Sep 01 2017


LINKS

Christian Holzbaur, Perrin pseudoprimes [Original link broke many years ago. This is a cached copy from the WayBack machine, dated Apr 24 2006]


PROG

(PARI)
N=10^10;
default(primelimit, N);
M = [0, 1, 0; 0, 0, 1; 1, 1, 0];
a(n)=lift( trace( Mod(M, n)^n ) ); /* A215339(n) */
{ for (n=1, N,
if ( isprime(n), next() );
if ( a(n)==0, print1(n, ", "); );
); }
(Perl)
use ntheory ":all";
forcomposites { say if is_perrin_pseudoprime($_) } 1e10;


CROSSREFS



KEYWORD

nonn


AUTHOR



EXTENSIONS

More terms from alipson(AT)cix.compulink.co.uk (Andrew Lipson)


STATUS

approved



