Abstract
We study the odd prime values of the Ramanujan tau function, which form a thin set of large primes. To this end, we define LR(p,n):=τ(p n−1) and we show that the odd prime values are of the form LR(p,q) where p,q are odd primes. Then we exhibit arithmetical properties and congruences of the LR numbers using more general results on Lucas sequences. Finally, we propose estimations and discuss numerical results on pairs (p,q) for which LR(p,q) is prime.
Similar content being viewed by others
References
Bilu, Y., Hanrot, G., Voutier, P.M.: Existence of primitive divisors of Lucas and Lehmer numbers. J. Reine Angew. Math. 539, 75–122 (2001)
Lehmer, D.H.: The primality of Ramanujan’s Tau-function. Am. Math. Mon. 72, 15–18 (1965)
Lucas, E.: Théorie des fonctions numériques simplement périodiques. Am. J. Math. 1, 184–240 and 289–321 (1878)
Lygeros, N., Rozier, O.: A new solution for the equation τ(p)≡0(modp). J. Integer Seq. 13(10.7.4), 1–11 (2010)
Morain, F.: Implementing the asymptotically fast version of the elliptic curve primality proving algorithm. Math. Comput. 76, 493–505 (2007)
Murty, M.R., Murty, V.K., Shorey, T.N.: Odd values of the Ramanujan τ-function. Bull. Soc. Math. Fr. 115, 391–395 (1987)
Ramanujan, S.: On certain arithmetical functions. Trans. Camb. Philos. Soc. 22, 159–184 (1916)
Ramanujan, S.: A proof of Bertrand’s postulate. J. Indian Math. Soc. 11, 181–182 (1919)
Ribenboim, P.: The New Book of Prime Number Records. Springer, Berlin (1996)
Serre, J.-P.: Divisibilité de certaines fonctions arithmétiques. Enseign. Math. 22, 227–260 (1976)
Swinnerton-Dyer, H.P.F.: On ℓ-adic representations and congruences for coefficients of modular forms. Lect. Notes Math. 350, 1–55 (1973)
Wagstaff, S.S.: Divisors of Mersenne numbers. Math. Comput. 40, 385–397 (1983)
Acknowledgements
We are grateful to François Morain for his outstanding contribution to the numerical results. We also would like to thank Marc Hufschmitt and Paul Zimmermann for their helpful discussions, and the anonymous referee for his valuable suggestions.
Author information
Authors and Affiliations
Corresponding author
Appendix: Computations
Appendix: Computations
Here we provide a PARI/GP implementation of the LR numbers, using a known formula (see, e.g., [4]) along with the recurrence relation (2).
We took about seven months of numerical investigations for primes of the form LR(p,q), p and q odd primes, using the multiprecision software PARI/GP (version 2.3.5) and PFGW (version 3.4.5) through four stages:
-
1.
Finding small divisors of the form 2kq±1 with PARI/GP;
-
2.
3-PRP tests with PFGW;
-
3.
APRCL primality tests for all PRP’s up to 3700 decimal digits with PARI/GP;
-
4.
Baillie-PSW PRP tests for all PRP’s above 3700 decimal digits with PARI/GP.
Stage 4 leads to a greater probability of primality than stage 2 (there is no known composite number which is passing this test), but takes more time.
We point out that François Morain provides primality certificates for two large LR numbers (see diamonds ⋄ in Table 3) on his web page. He used his own software fastECPP, implementing a fast algorithm of elliptic curve primality proving [5], on a computer cluster. His calculations required respectively 355 and 2355 days of total CPU time, between January and April 2011. Since LR(157,2207) has 26643 decimal digits, it appears to be the largest prime certification using a general-purpose algorithm, at the date of submission.
Rights and permissions
About this article
Cite this article
Lygeros, N., Rozier, O. Odd prime values of the Ramanujan tau function. Ramanujan J 32, 269–280 (2013). https://doi.org/10.1007/s11139-012-9420-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-012-9420-8