Skip to main content
Log in

Strong pseudoprimes to base 2

  • Published:
The Ramanujan Journal Aims and scope Submit manuscript

Abstract

In this work, we add an additional condition to strong pseudoprime test to base 2. Then, we provide theoretical and heuristic evidence showing that the resulting algorithm catches all composite numbers. Therefore, we believe that our method provides a probabilistic primality test with a running time \(O(\log ^{2+\epsilon }n)\) for an integer n and \(\epsilon >0\). Our method is based on the structure of singular cubics’ Jacobian groups on which we also define an effective addition algorithm.

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.

Similar content being viewed by others

References

  1. Adleman, L.M., Pomerance, C., Rumely, R.S.: On distinguishing prime numbers from composite numbers. Ann. Math. 117(1), 173–206 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  2. Agrawal, M., Kayal, N., Saxena, N.: Primes is in P. Ann. Math. 160, 781–793 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Atkin, A.O.L., Morain, F.: Elliptic curves and primality proving. Math. Comp. 61(203), 29–68 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cohen, H., Frey, G.: Handbook of Elliptic and Hyperelliptic Curve Cryptography. Chapman & Hall/CRC, Boca Raton (2005)

    Book  MATH  Google Scholar 

  5. Cohen, H.: A Course in Computational Algebraic Number Theory. Springer, New York (2000)

    Google Scholar 

  6. Jaeschke, G.: On strong pseudoprimes to several bases. Math. Comp. 61(204), 915–926 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  7. Lenstra, H.W., Jr.: Factoring integers with elliptic curves. Ann. Math. 126(3), 649–673 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  8. Miller, G.: Riemann’s hypothesis and tests for primality. J. Comput. Syst. Sci. 13, 300–317 (1976)

    Article  MathSciNet  MATH  Google Scholar 

  9. Nari, K., Ozdemir, E.: Group operation on nodal curves, arXiv:1904.03978 [math.NT]

  10. Pollard, J.M.: Theorems of factorization and primality testing. Proc. Camb. Philos. Soc. 76(3), 521–528 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  11. Pomerance, C., Selfridge, J.L., Wagstaff, S.S.: The pseudoprimes to 25 . \(10^9\). Math. Comp. 35, 1003–1026 (1980)

    MathSciNet  MATH  Google Scholar 

  12. Rabin, M.O.: Probabilistic algorithms for testing primality. J. Number Theory 12, 128–138 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  13. Schoof, R.: Four primality testing algorithms. Algorithmic Number Theory 44, 101–126 (2008)

    MathSciNet  MATH  Google Scholar 

  14. The PARI Group, PARI/GP version 2.11.0, Univ. Bordeaux, (2018) http://pari.math.u-bordeaux.fr/

  15. Washington, L.C.: Elliptic Curves: Number Theory and Cryptography, 2nd edn. Chapman & Hall/CRC, Boca Raton (2008)

    Book  MATH  Google Scholar 

  16. Williams, H.C.: A p+1 method of factoring. Math. Comp. 39, 225–234 (1982)

    MathSciNet  MATH  Google Scholar 

  17. Zhang, Z.: Finding strong pseudoprimes to several bases. Math. Comp. 70, 863–872 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  18. Zhang, Z., Tang, M.: Finding strong pseudoprimes to several bases II. Math. Comp. 72, 2085–2097 (2003)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Kubra Nari.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Nari, K., Ozdemir, E. & Ozkirisci, N.A. Strong pseudoprimes to base 2. Ramanujan J 59, 1323–1332 (2022). https://doi.org/10.1007/s11139-022-00570-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11139-022-00570-8

Keywords

Mathematics Subject Classification

Navigation