Abstract
For an odd composite number n, let w(n) denote the least witness for n; that is, the least positive number w for which n is not a strong pseudoprime to the base w. It is widely conjectured, but not proved, that w(n) > 3 for infinitely many n. We show the stronger result that w(n) > (log n)1/(3 log log log n) for infinitely many n. We also show that there are finite sets of odd composites which do not have a reliable witness, namely a common witness for all of the numbers in the set.
Preview
Unable to display preview. Download preview PDF.
References
L. M. Adleman, Two theorems on random polynomial time, Proc. IEEE Symp. Found. Comp. Sci., 19 (1978), 75–83.
W. R. Alford, A. Granville and C. Pomerance, There are infinitely many Carmichael numbers, Annals Math., to appear.
F. Arnault, Rabin-Miller primality test: composite numbers which pass it, Math. Comp., to appear.
E. Bach, Analytic methods in the analysis and design of number-theoretic algorithms, MIT Press, Cambridge, Mass., 1985.
E. Bach and L. Huelsbergen, Statistical evidence for small generating sets, Math. Comp. 61 (1993), 69–82.
P. Beauchemin, G. Brassard, C. Crépeau, C. Goutier and C. Pomerance, The generation of random integers that are probably prime, J. Cryptology 1 (1988), 53–64.
M. D. Coleman, On the equation b 1 p − b 2 P 2 = b 3, J. reine angew. Math. 403 (1990), 1–66.
I. Dåmgard, P. Landrock and C. Pomerance, Average case error estimates for the strong probable prime test, Math. Comp. 61 (1993), 177–194.
J. D. Dixon, Factorization and primality tests, Amer. Math. Monthly 91 (1984), 333–352.
P. Erdös, On pseudoprimes and Carmichael numbers, Publ. Math. Debrecen 4 (1956), 201–206.
J. B. Friedlander, Shifted primes without large prime factors, in Number Theory and Applications (ed. R. A. Mollin), (Kluwer, NATO ASI, 1989), 393–401.
D. R. Heath-Brown, Zero-free regions for Dirichlet L-functions, and the least prime in an arithmetic progression, Proc. London Math. Soc. (3) 64 (1992), 265–338.
G. H. Hardy and J. E. Littlewood, Some problems on partitio numerorum III. On the expression of a number as a sum of primes, Acta Math. 44 (1923), 1–70.
G. Jaeschke, On strong pseudoprimes to several bases, Math. Comp. 61 (1993), 915–926.
D. H. Lehmer, Strong Carmichael numbers, J. Austral. Math. Soc. Ser. A 21 (1976), 508–510.
H. W. Lenstra, Jr., private communication.
L. Monier, Evaluation and comparison of two efficient probabilistic primality testing algorithms, Theoret. Comput. Sci. 12 (1980), 97–108.
C. Pomerance, On the distribution of pseudoprimes, Math. Comp. 37 (1981), 587–593.
C. Pomerance, J. L. Selfridge and S. S. Wagstaff, Jr., The pseudoprimes to 25. 109, Math. Comp. 35 (1980), 1003–1026.
M. O. Rabin, Probabilistic algorithm for primality testing, J. Number Theory 12 (1980), 128–138.
R. Solovay and V. Strassen, A fast Monte-Carlo test for primality, SIAM J. Comput. 6 (1977), 84–85; erratum, ibid. 7 (1978), 118.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alford, W.R., Granville, A., Pomerance, C. (1994). On the difficulty of finding reliable witnesses. In: Adleman, L.M., Huang, MD. (eds) Algorithmic Number Theory. ANTS 1994. Lecture Notes in Computer Science, vol 877. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58691-1_36
Download citation
DOI: https://doi.org/10.1007/3-540-58691-1_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58691-3
Online ISBN: 978-3-540-49044-9
eBook Packages: Springer Book Archive