New quadratic polynomials with high densities of prime values
HTML articles powered by AMS MathViewer
- by Michael J. Jacobson Jr. and Hugh C. Williams PDF
- Math. Comp. 72 (2003), 499-519 Request permission
Abstract:
Hardy and Littlewood’s Conjecture F implies that the asymptotic density of prime values of the polynomials $f_A(x) = x^2 + x + A,$ $A \in \mathbb {Z}$, is related to the discriminant $\Delta = 1 - 4A$ of $f_A(x)$ via a quantity $C(\Delta ).$ The larger $C(\Delta )$ is, the higher the asymptotic density of prime values for any quadratic polynomial of discriminant $\Delta$. A technique of Bach allows one to estimate $C(\Delta )$ accurately for any $\Delta < 0$, given the class number of the imaginary quadratic order with discriminant $\Delta$, and for any $\Delta > 0$ given the class number and regulator of the real quadratic order with discriminant $\Delta$. The Manitoba Scalable Sieve Unit (MSSU) has shown us how to rapidly generate many discriminants $\Delta$ for which $C(\Delta )$ is potentially large, and new methods for evaluating class numbers and regulators of quadratic orders allow us to compute accurate estimates of $C(\Delta )$ efficiently, even for values of $\Delta$ with as many as $70$ decimal digits. Using these methods, we were able to find a number of discriminants for which, under the assumption of the Extended Riemann Hypothesis, $C(\Delta )$ is larger than any previously known examples.References
- C.S. Abel, Ein Algorithmus zur Berechnung der Klassenzahl und des Regulators reellquadratischer Ordnungen, Ph.D. thesis, Universität des Saarlandes, Saarbrücken, Germany, 1994.
- Eric Bach, Improved approximations for Euler products, Number theory (Halifax, NS, 1994) CMS Conf. Proc., vol. 15, Amer. Math. Soc., Providence, RI, 1995, pp. 13–28. MR 1353917, DOI 10.1016/0009-2614(95)01161-4
- T. Venkatarayudu, The $7$-$15$ problem, Proc. Indian Acad. Sci., Sect. A. 9 (1939), 531. MR 0000001, DOI 10.1090/gsm/058
- Johannes Buchmann, A subexponential algorithm for the determination of class groups and regulators of algebraic number fields, Séminaire de Théorie des Nombres, Paris 1988–1989, Progr. Math., vol. 91, Birkhäuser Boston, Boston, MA, 1990, pp. 27–41. MR 1104698
- H. Cohen, F. Diaz y Diaz, and M. Olivier, Calculs de nombres de classes et de régulateurs de corps quadratiques en temps sous-exponentiel, Séminaire de Théorie des Nombres, Paris, 1990–91, Progr. Math., vol. 108, Birkhäuser Boston, Boston, MA, 1993, pp. 35–46 (French). MR 1263522
- S. Düllmann, Ein Algorithmus zur Bestimmung der Klassengruppe positiv definiter binärer quadratischer Formen, Ph.D. thesis, Universität des Saarlandes, Saarbrücken, Germany, 1991.
- G. W. Fung and H. C. Williams, Quadratic polynomials which have a high density of prime values, Math. Comp. 55 (1990), no. 191, 345–353. MR 1023759, DOI 10.1090/S0025-5718-1990-1023759-3
- The LiDIA Group, LiDIA: a c++ library for computational number theory, Software , Technische Universität Darmstadt, Germany, 1997, See http://www.informatik.tu-darmstadt.de/TI/LiDIA.
- James L. Hafner and Kevin S. McCurley, A rigorous subexponential algorithm for computation of class groups, J. Amer. Math. Soc. 2 (1989), no. 4, 837–850. MR 1002631, DOI 10.1090/S0894-0347-1989-1002631-0
- G.H. Hardy and J.E. Littlewood, Partitio numerorum III: On the expression of a number as a sum of primes, Acta Math. 44 (1923), 1–70.
- M.J. Jacobson, Jr., Computational techniques in quadratic fields, Master’s thesis, University of Manitoba, Winnipeg, Manitoba, 1995.
- —, Subexponential class group computation in quadratic orders, Ph.D. thesis, Technische Universität Darmstadt, Darmstadt, Germany, 1999.
- Padmini Tryambak Joshi, The size of $L(1,\,\chi )$ for real nonprincipal residue characters $\chi$ with prime modulus, J. Number Theory 2 (1970), 58–73. MR 250984, DOI 10.1016/0022-314X(70)90006-5
- D.H. Lehmer, On the function $x^{2}+x+{A}$, Sphinx 6 (1937), 212–214, 1936 and 7:40.
- D. H. Lehmer, Emma Lehmer, and Daniel Shanks, Integer sequences having prescribed quadratic character, Math. Comp. 24 (1970), 433–451. MR 271006, DOI 10.1090/S0025-5718-1970-0271006-X
- J.E. Littlewood, On the class number of the corpus ${P}(\surd - k)$, Proc. London Math. Soc. 27 (1928), 358–372.
- R.F. Lukes, A very fast electronic number sieve, Ph.D. thesis, University of Manitoba, Winnipeg, Manitoba, 1995.
- R. F. Lukes, C. D. Patterson, and H. C. Williams, Numerical sieving devices: their history and some applications, Nieuw Arch. Wisk. (4) 13 (1995), no. 1, 113–139. MR 1339041
- R. A. Mollin and H. C. Williams, Computation of the class number of a real quadratic field, Utilitas Math. 41 (1992), 259–308. MR 1162532
- Sachar Paulus, An algorithm of subexponential type computing the class group of quadratic orders over principal ideal domains, Algorithmic number theory (Talence, 1996) Lecture Notes in Comput. Sci., vol. 1122, Springer, Berlin, 1996, pp. 243–257. MR 1446517, DOI 10.1007/3-540-61581-4_{6}0
- P. Hebroni, Sur les inverses des éléments dérivables dans un anneau abstrait, C. R. Acad. Sci. Paris 209 (1939), 285–287 (French). MR 14
- Martin Seysen, A probabilistic factorization algorithm with quadratic forms of negative discriminant, Math. Comp. 48 (1987), no. 178, 757–780. MR 878705, DOI 10.1090/S0025-5718-1987-0878705-X
- Daniel Shanks, On the conjecture of Hardy & Littlewood concerning the number of primes of the form $n^{2}+a$, Math. Comp. 14 (1960), 320–332. MR 120203, DOI 10.1090/S0025-5718-1960-0120203-6
- Robert D. Silverman, The multiple polynomial quadratic sieve, Math. Comp. 48 (1987), no. 177, 329–339. MR 866119, DOI 10.1090/S0025-5718-1987-0866119-8
Additional Information
- Michael J. Jacobson Jr.
- Affiliation: Department of Computer Science, University of Manitoba, Winnipeg, Manitoba, Canada R3T 2N2
- Email: jacobs@cs.umanitoba.ca
- Hugh C. Williams
- Affiliation: Department of Mathematics and Statistics, MS 360, 2500 University Drive N.W., University of Calgary, Calgary, Alberta, Canada T2N 1N4
- Email: williams@math.ucalgary.ca
- Received by editor(s): September 8, 1999
- Received by editor(s) in revised form: February 28, 2001
- Published electronically: May 2, 2002
- © Copyright 2002 American Mathematical Society
- Journal: Math. Comp. 72 (2003), 499-519
- MSC (2000): Primary 11R11, 11R29, 11Y40; Secondary 11Y16
- DOI: https://doi.org/10.1090/S0025-5718-02-01418-7
- MathSciNet review: 1933834