Strong Primality Tests that are Not Sufficient

Type: Article

Publication Date: 1982-07-01

Citations: 24

DOI: https://doi.org/10.2307/2007637

Abstract

A detailed investigation is given of the possible use of cubic recurrences in primality tests. No attempt is made in this abstract to cover all of the many topics examined in the paper. Define a doubly infinite set of sequences $A(n)$ by \[ A(n + 3) = rA(n + 2) - sA(n + 1) + A(n)\] with $A( - 1) = s$, $A(0) = 3$, and $A(1) = r$. If n is prime, $A(n) \equiv A(1)\;\pmod n$. Perrin asked if any composite satisfies this congruence if $r = 0$, $s = - 1$. The answer is yes, and our first example leads us to strengthen the condition by introducing the "signature" of n: \[ A( - n - 1),A( - n),A( - n + 1),A(n - 1),A(n),A(n + 1)\] $\bmod n$. Primes have three types of signatures depending on how they split in the cubic field generated by ${x^3} - r{x^2} + sx - 1 = 0$. Composites with "acceptable" signatures do exist but are very rare. The S-type signature, which corresponds to the completely split primes, has a very special role, and it may even be that I and Q type composites do not occur in Perrin’s sequence even though the I and Q primes comprise $5/6$ths of all primes. $A(n)\;\pmod n$ is easily computable in $O(\log n)$ operations. The paper closes with a p-adic analysis. This powerful tool sets the stage for our [12] which will be Part II of the paper.

Locations

  • Mathematics of Computation - View - PDF

Similar Works

Action Title Year Authors
+ PDF Chat Strong primality tests that are not sufficient 1982 William W. Adams
Daniel Shanks
+ Fast Primality Tests for Numbers Less Than 50 ⋅10 9 1986 G. C. Kurtz
Daniel Shanks
Hywel C Williams
+ Conjectured Primality and Compositeness Tests for Numbers of Special Forms 2014 Predrag Terzić
+ Conjectured Primality and Compositeness Tests for Numbers of Special Forms 2014 Montenegro Podgorica
+ PDF Chat Finding strong pseudoprimes to several bases. II 2003 Zhenxiang Zhang
Min Tang
+ Four primality testing algorithms 2008 René Schoof
+ Four primality testing algorithms 2008 René Schoof
+ PDF Chat Explicit bounds for primality testing and related problems 1990 Eric Bach
+ PDF Chat Deterministic primality test for numbers of the form $A^2.3^n+1$, $n \ge 3$ odd 2001 Pedro Berrizbeitia
Boris Iskra
+ PDF Chat Two kinds of strong pseudoprimes up to $10^{36}$ 2007 Zhenxiang Zhang
+ PDF Chat Explicit primality criteria for h\cdot 2^n\pm 1 2016 Yingpu Deng
Dandan Huang
+ PDF Chat Biquadratic reciprocity and a Lucasian primality test 2003 Pedro Berrizbeitia
T. G. Berry
+ Primitive Roots and a Test for Primality 1989 David M. Bressoud
+ Carmichael numbers and a new primality test 2010 Joao Carlos Leandro da Silva
+ 1. Introduction: Efficient Primality Testing 2004 Martin Dietzfelbinger
+ On the elementary charactefization of primes in primality tests: two short studies 2011 Kee Md. Rafique Zainal Abidin
Nasir Ganikhodjaev
+ On cyclotomic primality tests 2011 Thomas Francis Boucher
+ PDF Chat Primality Tests and Prime Certificate 2022 Laurent Théry
+ A primality test using cyclotomic extensions 1989 Preda Mihăilescu
+ On the Number of Primality Witnesses of Composite Integers 2021 B. G. Mubarakov