Skip to main content
Log in

On a Modification of The Lucas Primality Test

  • Published:
Lobachevskii Journal of Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

REFERENCES

  1. M. Agrawal, N. Kayal, and N. Saxena, ‘‘Primes is in P,’’ Ann. Math. 160, 781–793 (2002).

    Article  MathSciNet  MATH  Google Scholar 

  2. 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).

    Article  MathSciNet  MATH  Google Scholar 

  3. R. Crandall and C. Pomerance, Prime Numbers: A Computational Perspective (Springer, Berlin, 2005).

    MATH  Google Scholar 

  4. J. Grantham, ‘‘Frobenius pseudoprimes,’’ Math. Comput. 70, 873–891 (2001).

    Article  MathSciNet  MATH  Google Scholar 

  5. S. T. Ishmukhametov, N. A. Antonov, B. G. Mubarakov, and R. G. Rubtsova, ‘‘On a combined primality test,’’ Russ. Math. 66, 112–117 (2022).

    Article  MATH  Google Scholar 

  6. S. Ishmukhametov, B. Mubarakov, and R. Rubtsova, ‘‘On the number of witnesses in the Miller–Rabin primality test,’’ Symmetry 12, 890–901 (2020).

    Article  Google Scholar 

  7. S. Ishmukhametov, R. Rubtsova, and R. Khusnutdinov, ‘‘On a primality test of natural numbers,’’ Russ. Math. 2, 83–87 (2022).

    MathSciNet  MATH  Google Scholar 

  8. G. Jaeschke, ‘‘On strong pseudoprimes to several bases,’’ Math. Comput. 61, 915–926 (1993).

    Article  MathSciNet  MATH  Google Scholar 

  9. Y. Jiang and Y. Deng, ‘‘Strong pseudoprimes to the first eight prime bases,’’ Math. Comput. 83, 2915–2924 (2014).

    Article  MathSciNet  MATH  Google Scholar 

  10. H. W. Lenstra and C. B. Pomerance, ‘‘Primality testing with Gaussian periods,’’ J. Eur. Math. Soc., No. 4, 1229–1269 (2019).

  11. B. G. Mubarakov, ‘‘On the number of primality witnesses of composite integers,’’ Russ. Math. 65, 73–77 (2021).

    Article  MathSciNet  MATH  Google Scholar 

  12. M. O. Rabin, ‘‘Probabilistic algorithm for testing primality,’’ J. Number Theory 12, 128–138 (1980).

    Article  MathSciNet  MATH  Google Scholar 

  13. J. Sorrenson and J. Webster, ‘‘Strong pseudoprimes to twelve prime bases,’’ Math. Comput. 86, 985–1003 (2015).

    Article  MathSciNet  MATH  Google Scholar 

  14. Wikipedia, Wall–Sun–Sun prime. https://en.wikipedia.org/wiki/Wall-Sun-Sun_prime.

Download references

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

Authors

Corresponding authors

Correspondence to Sh. Ishmukhametov, N. Antonov or B. Mubarakov.

Additional information

(Submitted by A. M. Elizarov)

The authors dedicate the publication to their families and friends

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S1995080223070193

Keywords:

Navigation