Pith. sign in

REVIEW 2 major objections 5 minor 61 references

Logarithmic Density of Rank $\geq 1$ and Rank $\geq 2$ Genus-2 Jacobians and Applications to Hyperelliptic Curve Cryptography

T0 review · 2 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read When genus-2 curves are ordered by coefficient height, rank-1 Jacobians have logarithmic density at least 13/14 and rank-2 Jacobians at least 5/7.

desk verdict New and likely-correct density bounds for rank ≥1 and ≥2 genus-2 Jacobians; the 5/7 bound leans on a single LMFDB entry that needs verification. read the letter →

arxiv 2601.17142 v2 pith:UA245Z6W submitted 2026-01-23 math.NT cs.CR

Razvan Barbulescu , Mugurel Barcau , Vicentiu Pasol , George C. Turcas This is my paper
classification math.NTcs.CR MSC 11G1011G3011G5014H4094A60
keywords genus-2curvesJacobianranklogarithmicdensityuniversaldivisorclassspecializationtheoremsplitquadratictwistshyperellipticcurvecryptography
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper asks how common it is for the group of rational points on the Jacobian of a genus-2 curve over Q to have positive rank, ordering curves by the naive height of the coefficients of their integral Weierstrass models. Using a universal Jacobian over the parameter space of models with two rational points at infinity, it shows the divisor class [∞+ − ∞−] is non-torsion for almost all such models, giving an unconditional logarithmic density of at least 13/14 for Jacobians of rank at least 1. For rank at least 2 it constructs an explicit five-parameter subfamily with two independent rational sections, and the classical specialization theorem shows independence fails only on a thin set, yielding an unconditional logarithmic density of at least 5/7. A separate split-Jacobian construction gives a 2/21 lower bound, and twist families of split Jacobians are shown to produce rank-2 twists in positive proportion. A reader should care because these are unconditional existence results for high-rank Jacobians in a natural ordering, and they directly bound the search cost of finding curves suitable for a recent quantum discrete-logarithm algorithm in hyperelliptic curve cryptography.

What carries the argument

The central mechanism is the universal divisor class α_univ = [∞+ − ∞−] on the Jacobian of the universal genus-2 curve over the parameter space U∞ of integral models y^2+h(x)y=f(x) with h-coefficients in {0,1} and with the leading coefficient of 4f+h^2 a square. The proof combines three ingredients: the loci V_n = {n α_univ = 0} are Zariski closed while α_univ itself is non-torsion; torsion points on any specialization have order bounded by a power of log H, via theta-height and stable-height comparison; and a box count shows the union of V_n for n up to (log X)^2 contributes only X^6(log X)^6 points against X^{13/2} models. For rank 2, the subfamily U∞_{1,1} with a6=a0=1 carries two section

What would settle it

Independently compute the rank and a generator basis of the Jacobian of y^2 = x^6 + 8x^5 + 10x^4 + 10x^3 + 5x^2 + 2x + 1: finding rank 1, or finding that the two listed divisor classes are linearly dependent, would invalidate the 5/7 rank-2 density bound. Likewise, for each of the fifteen coefficient vectors h in {0,1}^4, verify the asserted existence of a specialization of analytic rank 1 and trivial torsion; a single failure would break the 'almost all' torsion bound for that component and degrade the 13/14 statement.

Watch

Extended reading notes

Core claim

The central claim is that positive-rank Jacobians of genus-2 curves over Q are not sparse in the natural coefficient-height box C1(X) = {y^2=f(x): H(f)≤X}. On the parameter space of integral models whose two points at infinity are rational, the universal divisor class α_univ = [∞+ − ∞−] is shown to be non-torsion, and its torsion specializations are so rare that almost all of the X^{13/2} such models give Jacobians of rank at least 1. For rank at least 2, the paper exhibits a five-parameter subfamily y^2 = x^6 + a_5x^5 + ... + a_1x + 1 carrying two independent rational sections, so by specialization theory all but a thin exceptional set of these curves have Jacobian rank at least 2; since th

Load-bearing premise

The proof's load-bearing external premise is that the recorded specializations it cites are accurate: the displayed rank-2 curve really has Jacobian rank exactly 2 with the two listed divisor classes independent, and for each of the fifteen remaining coefficient choices h there really is a specialization with analytic rank 1 and trivial torsion; if any one of these assertions fails, the corresponding density conclusion is not established.

Editorial extensions

If this is right

  • Sampling models uniformly from C1(X), a rank-1 Jacobian is found within O(X^{1/2+o(1)}) trials and a rank-2 Jacobian within O(X^{2+o(1)}) trials, replacing naive X^7 search costs.
  • The 13/14 and 5/7 lower bounds are the first unconditional positive logarithmic densities for these rank sets in this ordering, giving a quantitative explanation for the abundance of high-rank curves in small-coefficient databases.
  • The counted curves can be reduced modulo primes to supply the multi-scalar multiplication inputs for the recent lattice-based quantum discrete-logarithm algorithm, so the search cost for suitable lifts ceases to be the bottleneck.
  • In split-Jacobian families satisfying the hypotheses, double quadratic twists equidistribute over ranks 0, 1, 2 with proportions 1/4, 1/2, 1/4, and quadratic twists of E×E have rank at least 2 for at least half of squarefree d, so high-rank twists are found in constant time.
  • The same universal-section argument extends to genus g≥1, giving rank at least 1 on a subfamily of logarithmic density at least (4g+5)/(4g+6) in the analogous height box.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If rank parity equidistributes in the subfamily with two rational points at infinity, as the authors note is plausible, the rank-2 logarithmic density should match the 13/14 rank-1 value; checking this in numerical tables for increasing X would be a direct test of that heuristic.
  • The rank-1 proof depends only on one non-torsion specialization; replacing the unlisted data used for the other 15 choices of h by an explicit finite list would make the theorem independent of database lookups.
  • The X^{13/2} count of models with square leading coefficient suggests that other geometrically forced rational sections—not just the two points at infinity—could produce analogous positive logarithmic densities for higher-rank sets in genus 2 and higher genus.
  • Because high-rank rational lifts are exactly what the lattice-based quantum algorithm consumes, the practical bottleneck shifts from existence to small canonical height: the tables of generators and heights in the paper point toward optimizing that second step.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies the distribution of Mordell--Weil ranks of Jacobians of genus-2 curves over Q ordered by the naive height of coefficients of integral Weierstrass models. It introduces a universal family of curves y^2+h(x)y=f(x) with h in {0,1}^4 and studies the divisor class alpha=[infty_+ - infty_-]; it proves that the torsion locus is Zariski closed and, modulo a computational witness, that the universal section is non-torsion. Combining explicit torsion bounds (Gaudron--Remond, Kieffer/Pazuki) with a polynomial-counting argument, it obtains that torsion specializations are O(X^6 (log X)^6) out of about X^{13/2} models with two rational points at infinity, giving logarithmic density at least 13/14 for rank >= 1. On the subfamily U^infty_{1,1}, two independent sections are produced via Neron specialization, yielding rank >= 2 for almost all fibers and hence logarithmic density at least 5/7. A split-Jacobian construction gives density at least 2/21, and twist families of split Jacobians give positive proportions of rank-2 twists. The paper also discusses applications to Regev's quantum algorithm for hyperelliptic curve cryptography.

Significance. If correct, the results give quantitative unconditional lower bounds showing that high-rank genus-2 Jacobians are abundant in the coefficient-box ordering, contrasting with zero-proportion heuristics for natural families. The main geometric framework is standard and mostly sound: the torsion-locus argument, the use of Neron's specialization theorem, and the split-Jacobian constructions are all reasonable. The paper is also explicit about its h=0 witness and points to a GitHub repository. However, the two central computational inputs are not self-contained: the 5/7 rank>=2 bound depends on one LMFDB rank-2/generator assertion, and the 13/14 'almost all' statement depends on fifteen unlisted analytic-rank witnesses. The analytic-rank witnesses do not by themselves unconditionally prove non-torsion. These issues are fixable, but they are load-bearing for the statements as written.

major comments (2)
  1. [Prop. 2.8 and Cor. 2.11] The rank>=2 logarithmic density 5/7 is entirely supported by Proposition 2.8, whose proof reduces to the single specialization C0 and the LMFDB assertion Jac(C0)(Q) = Z^2 with generators G1,G2. No certificate, 2-descent output, or verification that LMFDB:15625.a.15625.1 matches the displayed equation is included. If the rank were 1 or the generators were for a different model, the displayed relation would not contradict a generic relation m*alpha+n*beta=0, and Proposition 2.9 would not produce rank>=2. Please supply a reproducible computation or an independent proof of this rank-2 assertion; as it stands this is a load-bearing external premise.
  2. [Remark 2.2 and Prop. 2.5] The proof that alpha_univ is non-torsion on all 16 h-components is incomplete. For h=0 a citation is given, but for the remaining 15 components the sole evidence is an unlisted LMFDB search for a specialization of analytic rank 1 and trivial torsion. Analytic rank 1 does not by itself imply the algebraic non-torsion of alpha (BSD is not assumed), and the examples are explicitly not listed. Since Proposition 2.5 and Corollary 2.6 use the properness of V_n on every component, the 'almost all' conclusion for S^box_1(X) is not established for all h. Either list/prove the 15 witnesses or restrict these statements to h=0; the 13/14 numerical density can be obtained from the h=0 component alone.
minor comments (5)
  1. [Section 1, Definition 1] The displayed definition of proportion has a typo: 'R_{\ge0} S\{\infty\}' should be 'R_{\ge0}\cup\{\infty\}'. The same issue appears in Definition 2.
  2. [Proof of Cor. 2.7] The phrase 'The former has cardinality X^{13/2}' should read 'has cardinality \asymp X^{13/2}', with an implied constant. Also clarify that for Theorem 1(2) one uses the h=0 component inside C_1(X), since S_1(X) counts pairs (f,h).
  3. [Prop. 2.5] The sentence 'Since V_n is proper...' should say 'proper closed subset'. The elimination step producing a nonzero polynomial F_n in the a-coordinates deserves a brief justification: the reader needs to see why the image of V_n under the finite map to A^7 remains a proper closed subset.
  4. [Remark 2.2 / GitHub] If the additional 15 examples are not listed, at least provide LMFDB labels or a script output in the GitHub repository so that the analytic-rank-1 and trivial-torsion assertions are checkable by the reader.
  5. [Notation for U^infty_{1,1}] After setting a6=1, the cover u^2=4 splits; please specify which u-component (u=2 or u=-2) is meant when defining the restrictions of alpha and beta. This affects the labelling of infty_+ and infty_-.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: densities follow from external theorems, explicit rank witnesses, and direct counting; self-citations are not load-bearing.

full rationale

The central claims are derived by counting integral models and applying external results, not by presupposing the target densities. For rank ≥ 1 (13/14), Proposition 2.5 bounds torsion specializations by O(X^6 log^6 X) using: (i) Zariski-closed torsion loci (Prop 2.1), (ii) non-torsion of the universal section witnessed by an explicit rank-1 curve from Tengely [57], and (iii) the height bound |Jac(C)(Q)_tors| ≪ (log H)^2 from Gaudron–Rémond and Kieffer/Pazuki. Computing |S1^□(X)| ≍ X^{13/2} against |S1(X)| ≍ X^7 then gives 13/14; this is direct counting, not a fit. For rank ≥ 2 (5/7), Proposition 2.8 proves Z-independence of α_univ and β_univ by a single rank-2 specialization quoted from LMFDB (15625.a.15625.1); Néron specialization (Serre) then upgrades this to a thin-exception statement on the 5-parameter family, whose count X^5 against X^7 yields 5/7. The LMFDB witness is external and falsifiable, and the argument is logically one of existence plus specialization, not an assumption of the density being proved. The unlisted analytic-rank-1 specializations in Remark 2.2 are a reproducibility gap and are load-bearing for the 'almost all' phrasing, but they are external data, not self-referential inputs, and the 13/14 bound does not depend on all 16 h-components. The only self-citations ([2], [3]) concern Regev's cryptographic application and the reproducibility repository, not the proof of the density theorems; no uniqueness claim or ansatz is imported from the authors' own prior work. No equation in the paper reduces to its own input by construction, so there is no circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters are fitted to data; the density statements are asymptotic and the constants (κ, γ, δ) come from cited theorems, not from tuning. No new physical or mathematical entities are postulated: α_univ and β_univ are standard universal sections on an abelian scheme. The load-bearing axioms are mostly published theorems plus the externally-sourced LMFDB witnesses, the latter being the least verified.

assumptions (7)
  • standard math Effective torsion bound: |Jac(C)(Q)_tors| ≪ (log H)^2 (Gaudron–Rémond [27])
    Used in Prop 2.5 to truncate the torsion order to n ≤ κ(log X)^2; a deep external theorem.
  • standard math Height comparison h_F(Jac) ≪ log H via Thomae formulae (Kieffer) and Pazuki's θ-height comparison (Prop 2.3)
    Used to derive the torsion bound; relies on published effective height comparisons.
  • standard math Néron specialization theorem and Serre's quantitative thin-set bound O(X^{n-1/2}(log X)^γ) [49]
    Basis of Prop 2.9/Cor 2.10; gives that independence survives outside a thin set and bounds the exceptional integral points.
  • standard math Frey's rank lemma: for p ≡ 3 mod 4, rank E_p(Q) = 1 (Lemma 2.17)
    Used in Prop 2.15 to get rank-2 split Jacobians of density 2/21.
  • standard math Smith's Goldfeld/equidistribution theorems ([52], [53]) — unconditional for full 2-torsion/no 4-torsion, BSD-conditional generally
    Used in Prop 2.22 to get the rank distribution of twists of E1, E2 (each rank 0 or 1 with probability 1/2).
  • standard math Howe–Leprévost–Poonen glueing (Prop 2.18) and Gajović–Park isogeny (Lemma 2.16)
    Reduces genus-2 Jacobian ranks to products of elliptic curve ranks; external published constructions.
  • ad hoc to paper LMFDB database assertions: rank/generators of C0 and analytic-rank-1 witnesses for 15 h-components
    No proof or data is given in the paper; central to Prop 2.8 and to the 'almost all models' statement (Remark 2.2).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Logarithmic Density of Rank $\geq 1$ and Rank $\geq 2$ Genus-2 Jacobians and Applications to Hyperelliptic Curve Cryptography." pith.science (2026). https://pith.science/paper/UA245Z6W

@misc{pith2026260117142,
  author       = {Pith},
  title        = {Pith review of: Logarithmic Density of Rank $\geq 1$ and Rank $\geq 2$ Genus-2 Jacobians and Applications to Hyperelliptic Curve Cryptography},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UA245Z6W}},
  note         = {Machine review of arXiv:2601.17142}
}
abstract

In this work we study quantitative existence results for genus-$2$ curves over $\mathbb{Q}$ whose Jacobians have Mordell--Weil rank at least $1$ or $2$, ordering the curves by the naive height of their integral Weierstrass models. We use geometric techniques to show that asymptotically the Jacobians of almost all integral models with two rational points at infinity have rank $r \geq 1$. Since there are $\asymp X^{\frac{13}{2}}$ such models among the $X^7$ curves $y^2=f(x)$ of height at most $X$, this yields a lower bound of logarithmic density $13/14$ for the subset of such curves whose Jacobians have rank at least $1$. We further present a large explicit subfamily of genus-$2$ curves, ordered by height as above, for which the Jacobians have rank $r \geq 2$, yielding an unconditional logarithmic density of at least $5/7$. Independently, we give a construction of genus-$2$ curves with split Jacobian and rank at least $2$, producing a subfamily of logarithmic density at least $2/21$. Finally, we analyze quadratic and biquadratic twist families in the split-Jacobian setting, obtaining a positive proportion of rank-$2$ twists. These results have implications for Regev's quantum algorithm in hyperelliptic curve cryptography.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

61 extracted references · 2 linked inside Pith

  1. [1]

    Mohamed Alaa and Mohammad Sadek,High rank quadratic twists of pairs of elliptic curves, Journal of Number Theory174(2017), 436–444

    2017

  2. [2]

    234 –266

    Razvan Barbulescu, Mugurel Barcau, and Vicent ¸iu Pa¸ sol,Extending Regev’s quantum algo- rithm to elliptic curves, Progress in cryptology – LATINCRYPT 2025, 2025, pp. 234 –266

    2025

  3. [3]

    Logarithmic Density of Rank≥1and Rank≥2Genus-2 Jacobians and Applica- tions to Hyperelliptic Curve Cryptography

    Razvan Barbulescu, Mugurel Barcau, Vicent ¸iu Pas¸ sol, and George T ¸ urcas,Online comple- ment to “Logarithmic Density of Rank≥1and Rank≥2Genus-2 Jacobians and Applica- tions to Hyperelliptic Curve Cryptography”, 2026. Available online athttps://github.com/ BarbulescuR/Logarithmic-density-of-positive-rank-genus-2-Jacobians/

    2026

  4. [4]

    Available online athttps://eprint.iacr.org/2024/2004

    Razvan Barbulescu and Gaetan Bisson,Regev’s attack on hyperelliptic cryptosystems, 2024. Available online athttps://eprint.iacr.org/2024/2004

    2024

  5. [5]

    Bhargava and B

    M. Bhargava and B. H. Gross.,The average size of the 2-Selmer group of Jacobians of hyperelliptic curves having a rational Weierstrass point., In automorphic representations and L-functions, 2013, pp. 23–91. LOGARITHMIC DENSITY OF POSITIVE-RANK GENUS-2 JACOBIANS 21

    2013

  6. [6]

    2, 451–493

    Manjul Bhargava, Benedict Gross, and Xiaoheng Wang,A positive proportion of locally sol- uble hyperelliptic curves overQhave no point over any odd degree extension, Journal of the American Mathematical Society30(2017), no. 2, 451–493

    2017

  7. [7]

    15, 2951–2989

    Manjul Bhargava, Zev Klagsbrun, Robert J Lemke Oliver, and Ari Shnidman,3-isogeny Selmer groups and ranks of abelian varieties in quadratic twist families over a number field, Duke Mathematical Journal168(2019), no. 15, 2951–2989

    2019

  8. [8]

    2, 575–582

    Matthew Bisatt,Root number of the Jacobian ofy 2 =x p +a, Journal de th´ eorie des nombres de Bordeaux34(2022), no. 2, 575–582

    2022

Show all 61 references
  1. [9]

    In preparation, preliminary version available online athttps://math.mit.edu/ ~drew/cavaret

    Andrew Booker and Andrew Sutherland,Genus 2 curves overQof small conductor, 2026. In preparation, preliminary version available online athttps://math.mit.edu/ ~drew/cavaret. pdf

    2026

  2. [10]

    A, 235–254

    Andrew R Booker, Jeroen Sijsling, Andrew V Sutherland, John Voight, and Dan Yasaki, A database of genus-2 curves over the rational numbers, LMS Journal of Computation and Mathematics19(2016), no. A, 235–254

    2016

  3. [11]

    Joppe W Bos, Craig Costello, and Andrea Miele,Elliptic and hyperelliptic curves: A practical security analysis, International workshop on public key cryptography, 2014, pp. 203–220

    2014

  4. [12]

    Wieb Bosma, John Cannon, and Catherine Playoust,The Magma algebra system. I. The user language, J. Symbolic Comput.24(1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR1484478

    1997

  5. [13]

    3, 245–261

    Ezra Brown, Bruce T Myers, and Jerome A Solinas,Hyperelliptic curves with compact pa- rameters, Designs, Codes and Cryptography36(2005), no. 3, 245–261

    2005

  6. [14]

    1, 445–472

    Armand Brumer,The average rank of elliptic curves I, Inventiones mathematicae109(1992), no. 1, 445–472

    1992

  7. [15]

    1, 147–154

    Joe Buhler and Neal Koblitz,Lattice basis reduction, Jacobi sums and hyperelliptic cryp- tosystems, Bulletin of the Australian Mathematical Society58(1998), no. 1, 147–154

    1998

  8. [16]

    18, 875–880

    Roland Dreier,Examples of genus 2 curves overQwith Jacobians of high Mordell–Weil rank, International Mathematics Research Notices1997(1997), no. 18, 875–880

    1997

  9. [17]

    Robert Dry lo,Constructing pairing-friendly genus 2 curves with split Jacobian, Progress in cryptology – indocrypt 2012, 2012, pp. 431–453

    2012

  10. [18]

    2, 237–252

    Andrej Dujella and Juan Carlos Peral,High rank elliptic curves induced by rational Diophan- tine triples, Glasnik matematiˇ cki55(2020), no. 2, 237–252

    2020

  11. [19]

    Announce- ment to the Number Theory list server

    Noam Elkies,Elliptic curve with Mordell–weil groupZ/2Z×Z/2Z×Z 15, 2009. Announce- ment to the Number Theory list server. Available online athttps://web.math.pmf.unizg. hr/~duje/tors/z2z2.html

    2009

  12. [20]

    Announcement to the Number Theory list

    ,Simple genus-2 Jacobian of rank at least 29, 2015. Announcement to the Number Theory list. Available online athttps://listserv.nodak.edu/cgi-bin/wa.exe?A2=ind1501& L=NMBRTHRY&P=R2

    2015

  13. [21]

    Noam D Elkies,Curvesdy 2 =x 3 −xof odd analytic rank, International algorithmic number theory symposium, 2002, pp. 244–251

    2002

  14. [22]

    1-2, 53–55

    ,Curves of genus 2 with many rational points via K3 surfaces, ACM Communications in Computer Algebra42(2008), no. 1-2, 53–55

    2008

  15. [23]

    Gerd Faltings and Ching-Li Chai,Degeneration of abelian varieties, Ergebnisse der Mathe- matik und ihrer Grenzgebiete. 3. Folge, vol. 22, Springer-Verlag, Berlin, Heidelberg, 1990

    1990

  16. [24]

    2, 119–130

    St´ efane Fermigier, ´Etude exp´ erimentale du rang de families de courbes elliptiques surQ, Experimental Mathematics5(1996), no. 2, 119–130

    1996

  17. [25]

    5, 959–983

    David Mandell Freeman and Takakazu Satoh,Constructing pairing-friendly hyperelliptic curves using weil restriction, Journal of Number Theory131(2011), no. 5, 959–983

    2011

  18. [26]

    Stevan Gajovi´ c and Sun Woo Park,Infinitely many genus two and three curves of small fixed positive rank, arXiv preprint arXiv:2505.22470 (2025)

    2025 arXiv

  19. [27]

    3, 705–761

    ´Eric Gaudron and Ga¨ el R´ emond,Nombre de petits points sur une vari´ et´ e ab´ elienne, Journal of the Institute of Mathematics of Jussieu24(2025), no. 3, 705–761

    2025

  20. [28]

    Fernando Gouvˆ ea and Barry Mazur,The square-free sieve and the rank of elliptic curves, Journal of the American Mathematical Society4(1991), no. 1, 1–23

    1991

  21. [29]

    52, Springer- Verlag, New York, 1977

    Robin Hartshorne,Algebraic geometry, Graduate Texts in Mathematics, vol. 52, Springer- Verlag, New York, 1977

    1977

  22. [30]

    9, 3775–3786

    Jeffrey Hatley,Rank parity for congruent supersingular elliptic curves, Proceedings of the American Mathematical Society145(2017), no. 9, 3775–3786. 22 R. BARBULESCU, M. BARCAU, V. PAS ¸OL, AND G. C. T ¸ URCAS ¸

    2017

  23. [31]

    Everett W Howe, Franck Lepr´ evost, and Bjorn Poonen,Large torsion subgroups of split Jacobians of curves of genus two or three, Forum Mathematicum3(2000)

    2000

  24. [32]

    Mitsuru Kawazoe and Tetsuya Takahashi,Pairing-friendly hyperelliptic curves with ordinary jacobians of typey 2 =x 5 +ax, International conference on pairing-based cryptography, 2008, pp. 164–177

    2008

  25. [33]

    Jean Kieffer,Degree and height estimates for modular equations on PEL shimura varieties, Journal of the London Mathematical Society105(2022), 1314–1361

    2022

  26. [34]

    Neal Koblitz,Hyperelliptic cryptosystems, Journal of Cryptology1(1989), 139–150

    1989

  27. [35]

    12, 1219–1224

    Brian Lawrence,A density result for real hyperelliptic curves, Comptes Rendus Mathematique 354(2016), no. 12, 1219–1224

    2016

  28. [36]

    [Online; accessed 15 January 2026]

    The LMFDB Collaboration,The L-functions and modular forms database, 2026. [Online; accessed 15 January 2026]

    2026

  29. [37]

    Lecture notes, Luxembourg Summer School on Galois representations, July 3–7, 2018

    Davide Lombardo,Abelian varieties, 2018. Lecture notes, Luxembourg Summer School on Galois representations, July 3–7, 2018

    2018

  30. [38]

    8, 763– 764

    Jean-Fran¸ cois Mestre,Rang de certaines familles de courbes elliptiques d’invariant donn´ e, Comptes Rendus de l’Acad´ emie des Sciences-Series I-Mathematics327(1998), no. 8, 763– 764

    1998

  31. [39]

    Pascal Molin and Aurel Page,Computing groups of Hecke characters, Research in Number Theory8(2022), no. 4, 91

    2022

  32. [40]

    10, 2153–2234

    Jan M¨ uller and Michael Stoll,Canonical heights on genus-2 Jacobians, Algebra & Number Theory10(2016), no. 10, 2153–2234. Record curve available online athttps://www.mathe2. uni-bayreuth.de/stoll/recordcurve.html

    2016

  33. [41]

    II, Birkh¨ auser, Boston, 1984

    David Mumford,Tata lectures on theta. II, Birkh¨ auser, Boston, 1984

    1984

  34. [42]

    Jennifer Park, Bjorn Poonen, John Voight, and Melanie Matchett Wood,A heuristic for boundedness of ranks of elliptic curves, Journal of the European Mathematical Society21 (2019), no. 9

    2019

  35. [43]

    1, 19–49

    Fabien Pazuki,Theta height and Faltings height, Bulletin de la Soci´ et´ e Math´ ematique de France140(2012), no. 1, 19–49

    2012

  36. [44]

    2, 230–250

    Nicholas Pippenger,On the evaluation of powers and monomials, SIAM Journal on Com- puting9(1980), no. 2, 230–250

    1980

  37. [45]

    Oded Regev,An efficient quantum factoring algorithm, Journal of the ACM72(2025), no. 1, 1–13

    2025

  38. [46]

    Math.9(2000), no

    Nicholas F Rogers,Rank computations for the congruent number elliptic curves, Experiment. Math.9(2000), no. 3, 591–594

    2000

  39. [47]

    K Rubin and A Silverberg,Twists of elliptic curves of rank at least four, London Mathemat- ical Society Lecture Note Series341(2007), 177

    2007

  40. [48]

    Karl Rubin and Alice Silverberg,Mod 2 representations of elliptic curves, Proceedings of the American Mathematical Society (2001), 53–57

    2001

  41. [49]

    E15, Friedr

    Jean-Pierre Serre,Lectures on the Mordell–Weil Theorem, 3rd ed., Aspects of Mathematics, vol. E15, Friedr. Vieweg & Sohn, Braunschweig, 1997. Translated and edited by Martin Brown from French notes by Michel Waldschmidt

    1997

  42. [50]

    1, 15–21

    Tetsuji Shioda,Genus two curves overQ(t)with high rank, Commentarii mathematici Uni- versitatis Sancti Pauli46(1997), no. 1, 15–21

    1997

  43. [51]

    124– 134

    Peter W Shor,Algorithms for quantum computation: discrete logarithms and factoring, Pro- ceedings 35th annual symposium on foundations of computer science–SFCS’94, 1994, pp. 124– 134

    1994

  44. [52]

    Alexander Smith, 2 ∞-Selmer groups,2 ∞-class groups, and Goldfeld’s conjecture, 2017

    2017

  45. [53]

    ,The Birch and Swinnerton-Dyer conjecture implies Goldfeld’s conjecture, arXiv preprint arXiv:2503.17619 (2025)

    2025 arXiv

  46. [54]

    Colin Stahlke,Algebraic curves overQwith many rational points and minimal automorphism group, International Mathematics Research Notices1997(1997), no. 1

    1997

  47. [55]

    2, 183–206

    Michael Stoll,On the arithmetic of the curvesy 2 =x ℓ +a, II, Journal of Number Theory 93(2002), no. 2, 183–206

    2002

  48. [56]

    2, 273–287

    Michael Stoll and Tonghai Yang,On the L-function of the curvesy 2 =x 5 +a, Journal of the London Mathematical Society68(2003), no. 2, 273–287

    2003

  49. [57]

    Thesis, 2005

    Szabolcs Tengely,Effective Methods for Diophantine Equations, Ph.D. Thesis, 2005

    2005

  50. [58]

    Bordeaux, 2025

    The PARI Group,PARI/GP version2.18.1, Univ. Bordeaux, 2025. available fromhttp: //pari.math.u-bordeaux.fr/. LOGARITHMIC DENSITY OF POSITIVE-RANK GENUS-2 JACOBIANS 23

    2025

  51. [59]

    1, 105–125

    Mark Watkins,Some heuristics about elliptic curves, Experimental Mathematics17(2008), no. 1, 105–125

    2008

  52. [60]

    Alg` ebre et th´ eorie des nombres2(2014), 63–98

    Mark Watkins, Stephen Donnelly, Noam D Elkies, Tom Fisher, Andrew Granville, and Nicholas F Rogers,Ranks of quadratic twists of elliptic curves, Publications mathe´ ematiques de Besan¸ con. Alg` ebre et th´ eorie des nombres2(2014), 63–98

    2014

  53. [61]

    4, 1217–1250

    Myungjun Yu,The distribution of Selmer ranks of quadratic twists of Jacobians of hyperel- liptic curves, Mathematical Research Letters26(2019), no. 4, 1217–1250. Institut de math´ematiques de Bordeaux (Bordeaux INP, CNRS, Univ. Bordeaux) and Inria Bordeaux Email address:razvan...

    2019

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.