Computer verification of the Ankeny–Artin–Chowla Conjecture for all primes less than $100000000000$
HTML articles powered by AMS MathViewer
- by A. J. van der Poorten, H. J. J. te Riele and H. C. Williams PDF
- Math. Comp. 70 (2001), 1311-1328 Request permission
Corrigendum: Math. Comp. 72 (2003), 521-523.
Abstract:
Let $p$ be a prime congruent to 1 modulo 4, and let $t, u$ be rational integers such that $(t+u\sqrt {p} )/2$ is the fundamental unit of the real quadratic field $\mathbb {Q}(\sqrt {p} )$. The Ankeny-Artin-Chowla conjecture (AAC conjecture) asserts that $p$ will not divide $u$. This is equivalent to the assertion that $p$ will not divide $B_{(p-1)/2}$, where $B_{n}$ denotes the $n$th Bernoulli number. Although first published in 1952, this conjecture still remains unproved today. Indeed, it appears to be most difficult to prove. Even testing the conjecture can be quite challenging because of the size of the numbers $t, u$; for example, when $p = 40 094 470 441$, then both $t$ and $u$ exceed $10^{330 000}$. In 1988 the AAC conjecture was verified by computer for all $p < 10^{9}$. In this paper we describe a new technique for testing the AAC conjecture and we provide some results of a computer run of the method for all primes $p$ up to $10^{11}$.References
- C. J. Everett Jr., Annihilator ideals and representation iteration for abstract rings, Duke Math. J. 5 (1939), 623–627. MR 13
- 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
- N. C. Ankeny and S. Chowla, A note on the class number of real quadratic fields, Acta Arith 6 (1960), 145–147. MR 0115983, DOI 10.4064/aa-6-2-145-147
- N. C. Ankeny and S. Chowla, A further note on the class number of real quadratic fields, Acta Arith. 7 (1961/62), 271–272. MR 137697, DOI 10.4064/aa-7-3-271-272
- 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
- B. D. Beach, H. C. Williams, and C. R. Zarnke, Some computer results on units in quadratic and cubic fields, Proceedings of the Twenty-Fifth Summer Meeting of the Canadian Mathematical Congress (Lakehead Univ., Thunder Bay, Ont., 1971) Lakehead Univ., Thunder Bay, Ont., 1971, pp. 609–648. MR 0337887
- Sam Perlis, Maximal orders in rational cyclic algebras of composite degree, Trans. Amer. Math. Soc. 46 (1939), 82–96. MR 15, DOI 10.1090/S0002-9947-1939-0000015-X
- Richard Crandall, Karl Dilcher, and Carl Pomerance, A search for Wieferich and Wilson primes, Math. Comp. 66 (1997), no. 217, 433–449. MR 1372002, DOI 10.1090/S0025-5718-97-00791-6
- S. Fillebrown, Faster computation of Bernoulli numbers, J. of Algorithms 13(1992), 431–445.
- Sandra Fillebrown, Faster computation of Bernoulli numbers, J. Algorithms 13 (1992), no. 3, 431–445. MR 1176671, DOI 10.1016/0196-6774(92)90048-H
- A. K. Head, Multiplication modulo $n$, BIT 20 (1980), no. 1, 115–116. MR 569985, DOI 10.1007/BF01933594
- Morgan Ward, Ring homomorphisms which are also lattice homomorphisms, Amer. J. Math. 61 (1939), 783–787. MR 10, DOI 10.2307/2371336
- H. W. Lenstra Jr., On the calculation of regulators and class numbers of quadratic fields, Number theory days, 1980 (Exeter, 1980) London Math. Soc. Lecture Note Ser., vol. 56, Cambridge Univ. Press, Cambridge, 1982, pp. 123–150. MR 697260
- Richard A. Mollin, Quadratics, CRC Press Series on Discrete Mathematics and its Applications, CRC Press, Boca Raton, FL, 1996. MR 1383823
- L. J. Mordell, On a pellian equation conjecture, Acta Arith. 6 (1960), 137–144. MR 118699, DOI 10.4064/aa-6-2-137-144
- L. J. Mordell, On a Pellian equation conjecture. II, J. London Math. Soc. 36 (1961), 282–288. MR 126411, DOI 10.1112/jlms/s1-36.1.282
- Charles Hopkins, Rings with minimal condition for left ideals, Ann. of Math. (2) 40 (1939), 712–730. MR 12, DOI 10.2307/1968951
- Daniel Shanks, The infrastructure of a real quadratic field and its applications, Proceedings of the 1972 Number Theory Conference (Univ. Colorado, Boulder, Colo.), Univ. Colorado, Boulder, Colo., 1972, pp. 217–224. MR 0389842
- I. S. Slavutskii, Upper bounds and numerical calculation of the number of ideal classes of real quadratic fields, Amer. Math. Soc. Transl. (2) 82 (1969), 67–71.
- R. Soleng, A computer investigation of units in quadratic number fields, Unpublished ms., 1986.
- A. J. Stephens and H. C. Williams, Some computational results on a problem concerning powerful numbers, Math. Comp. 50 (1988), no. 182, 619–632. MR 929558, DOI 10.1090/S0025-5718-1988-0929558-3
- H. C. Williams and M. C. Wunderlich, On the parallel generation of the residues for the continued fraction factoring algorithm, Math. Comp. 48 (1987), no. 177, 405–423. MR 866124, DOI 10.1090/S0025-5718-1987-0866124-1
Additional Information
- A. J. van der Poorten
- Affiliation: Centre for Number Theory Research, Macquarie University, Sydney, NSW 2109, Australia
- Email: alf@math.mq.edu.au
- H. J. J. te Riele
- Affiliation: CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands
- Email: Herman.te.Riele@cwi.nl
- H. C. Williams
- Affiliation: Dept. of Computer Science, University of Manitoba, Winnipeg, Manitoba Canada R3T 2N2
- Email: williams@cs.umanitoba.ca
- Received by editor(s): March 22, 1999
- Received by editor(s) in revised form: July 6, 1999
- Published electronically: March 15, 2000
- Additional Notes: The first author was supported in part by a grant from the Australian Research Council.
The research of the third author was supported by NSERC Canada grant #A7649. - © Copyright 2000 American Mathematical Society
- Journal: Math. Comp. 70 (2001), 1311-1328
- MSC (2000): Primary 11A55, 11J70, 11Y40, 11Y65, 11R11
- DOI: https://doi.org/10.1090/S0025-5718-00-01234-5
- MathSciNet review: 1709160