A031508 a(n) = smallest k > 0 such that the elliptic curve y^2 = x^3 - k has rank n, or -1 if no such k exists.
1, 2, 11, 174, 2351, 28279, 975379
Offset: 0
Examples
From _M. F. Hasler_, Jul 01 2024: (Start) Sequence A060951 = (0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 2, 0, 1, 0, 1, 0, 0, 1, ...) gives the analytic rank of the elliptic curve y^2 = x^3 - k for k = 1, 2, 3, ... We can see that: - the smallest k that gives rank 0 is k = 1 = a(0); - the smallest k that gives rank 1 is k = 2 = a(1); - the smallest k that gives rank 2 is k = 11 = a(2); etc. (End)
References
- Noam D. Elkies, Rank of an elliptic curve and 3-rank of a quadratic field via the Burgess bounds, 2024 Algorithmic Number Theory Symposium, ANTS-XVI, MIT, July 2024.
Links
- J. E. Cremona, Elliptic Curve Data
- Noam D. Elkies and Zev Klagsbrun, New rank records for elliptic curves having rational torsion, ANTS XIV—Proceedings of the Fourteenth Algorithmic Number Theory Symposium, 233-250. Mathematical Sciences Publishers, Berkeley, CA, 2020.
- J. Gebel, Integer points on Mordell curves [Cached copy, after the original web site tnt.math.se.tmu.ac.jp was shut down in 2017]
- J. Gebel, A. Pethö, and H. G. Zimmer, On Mordell's equation, Compositio Mathematica 110 (1998), 335-367. MR1602064.
- Tom Womack, Explicit Descent on Elliptic Curves, PhD thesis, University of Nottingham, July 2003
- Tom Womack, Minimal-known positive and negative k for Mordell curves of given rank (personal web page, latest available snapshot on web.archive.org from Jan. 2017), last modified 10/2002.
Crossrefs
Programs
-
PARI
{a(n) = my(k=1); while(ellanalyticrank(ellinit([0, 0, 0, 0, -k]))[1]<>n, k++); k} \\ Seiichi Manyama, Aug 24 2019
-
PARI
{A031508(n)=for(k=1,oo, ellrank(ellinit([0, -k]))[1]==n && return(k))} \\ M. F. Hasler, Jul 01 2024
Formula
a(n) = min { k >= 1 | A060951(k) == n }. - M. F. Hasler, Jul 01 2024
Extensions
Definition clarified by Jonathan Sondow, Oct 26 2013.
Escape clause added to definition by N. J. A. Sloane, Jun 29 2024, because, as John Cremona reminds me, it is not known if k always exists.
Comments