Abstract
The Lucas primality test is a procedure that verifies an odd integer \(n\) for primality using the condition \(F_{n-e(n)}\equiv\ 0\;(\bmod\ n)\), where \(\{F_{n}\}_{n}\) is the Fibonacci series, \(e(n)=\binom{n}{5}\) is the Legendre symbol. In this paper, we study a modified Lucas test called the Lucas–Miller–Rabin primality test (briefly, LMR test) and demonstrate that the LMR test is much more efficient than the original Lucas test. We describe necessary and sufficient conditions for composite integers to pass the LMR test. Composite integers passing it are called LMR-pseudoprimes. We show that the existence of LMR-pseudoprimes divisible by squares depends on the validity of the Wall–Sun–Sun Hypothesis, one of the long-standing problems in the Number Theory.
REFERENCES
M. Agrawal, N. Kayal, and N. Saxena, ‘‘Primes is in P,’’ Ann. Math. 160, 781–793 (2002).
N. Antonov and S. Ishmukhametov, ‘‘An intelligent choice of witnesses in the Miller–Rabin primality test. Reinforcement learning approach,’’ Lobachevskii J. Math. 43, 3420–3429 (2022).
R. Crandall and C. Pomerance, Prime Numbers: A Computational Perspective (Springer, Berlin, 2005).
J. Grantham, ‘‘Frobenius pseudoprimes,’’ Math. Comput. 70, 873–891 (2001).
S. T. Ishmukhametov, N. A. Antonov, B. G. Mubarakov, and R. G. Rubtsova, ‘‘On a combined primality test,’’ Russ. Math. 66, 112–117 (2022).
S. Ishmukhametov, B. Mubarakov, and R. Rubtsova, ‘‘On the number of witnesses in the Miller–Rabin primality test,’’ Symmetry 12, 890–901 (2020).
S. Ishmukhametov, R. Rubtsova, and R. Khusnutdinov, ‘‘On a primality test of natural numbers,’’ Russ. Math. 2, 83–87 (2022).
G. Jaeschke, ‘‘On strong pseudoprimes to several bases,’’ Math. Comput. 61, 915–926 (1993).
Y. Jiang and Y. Deng, ‘‘Strong pseudoprimes to the first eight prime bases,’’ Math. Comput. 83, 2915–2924 (2014).
H. W. Lenstra and C. B. Pomerance, ‘‘Primality testing with Gaussian periods,’’ J. Eur. Math. Soc., No. 4, 1229–1269 (2019).
B. G. Mubarakov, ‘‘On the number of primality witnesses of composite integers,’’ Russ. Math. 65, 73–77 (2021).
M. O. Rabin, ‘‘Probabilistic algorithm for testing primality,’’ J. Number Theory 12, 128–138 (1980).
J. Sorrenson and J. Webster, ‘‘Strong pseudoprimes to twelve prime bases,’’ Math. Comput. 86, 985–1003 (2015).
Wikipedia, Wall–Sun–Sun prime. https://en.wikipedia.org/wiki/Wall-Sun-Sun_prime.
Funding
This paper has been supported by the Kazan Federal University Strategic Academic Leadership Program (‘‘PRIORITY-2030’’), Strategic Project no. 4.
Author information
Authors and Affiliations
Corresponding authors
Additional information
(Submitted by A. M. Elizarov)
The authors dedicate the publication to their families and friends
Rights and permissions
About this article
Cite this article
Ishmukhametov, S., Antonov, N. & Mubarakov, B. On a Modification of The Lucas Primality Test. Lobachevskii J Math 44, 2700–2706 (2023). https://doi.org/10.1134/S1995080223070193
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080223070193