Conjecture 022

A Rank-Dependent Secondary Bias in the Sign of the Minimal Discriminant

Conjecture
RetainedLMFDB tested & reviewed
Field
Arithmetic Geometry
Domain
elliptic curves; prime conductor; minimal discriminant; rank
Review
Unresolved
  • elliptic curves
  • prime conductor
  • minimal discriminant
  • rank
  • secondary asymptotics
Added Updated

Photograph: Nick Fewings / Unsplash

Open paper PDF

Summary

We study singleton non-CM isogeny classes of elliptic curves over Q with prime conductor. For each fixed rank 0 ≤ r ≤ 3, we conjecture a two-term asymptotic for the proportion having negative minimal discriminant. The leading constant is the classical $\sqrt3$ archimedean ratio, while the secondary constants exhibit a strict rank-dependent ordering suggested by the available data.

Abstract

We study singleton non-CM isogeny classes of elliptic curves over Q\mathbf Q with prime conductor. For each fixed rank 0r30\le r\le3, we conjecture a two-term asymptotic for the proportion having negative minimal discriminant. The leading constant is the classical 3\sqrt3 archimedean ratio, while the secondary constants exhibit a strict rank-dependent ordering suggested by the available data.

Statement of the conjecture

For r{0,1,2,3}r\in\{0,1,2,3\} and X1X\ge1, let Pr(X)\mathcal P_r(X) be the set of Q\mathbf Q-isogeny classes [E][E] such that

  1. the conductor is a prime NE=pXN_E=p\le X;

  2. the isogeny class contains a single Q\mathbf Q-isomorphism class;

  3. EE is non-CM and rkE(Q)=r\operatorname{rk}E(\mathbf Q)=r.

The sign of the minimal discriminant is then unambiguous on the isogeny class. Let Pr(X)\mathcal P_r^-(X) denote the subset for which Δmin(E)<0\Delta_{\min}(E)<0.

Conjecture 1. Assume that #Pr(X)\#\mathcal P_r(X)\to\infty for each 0r30\le r\le3. There exist real constants d0,d1,d2,d3d_0,d_1,d_2,d_3 such that

#Pr(X)#Pr(X)=31+3+drlogX+o ⁣(1logX),\frac{\#\mathcal P_r^-(X)}{\#\mathcal P_r(X)} =\frac{\sqrt3}{1+\sqrt3}+\frac{d_r}{\log X} +o\!\left(\frac1{\log X}\right),

and these constants satisfy

d0>d1>0>d2>d3.d_0>d_1>0>d_2>d_3.

The main term is the archimedean mass predicted by the Brumer–McGuinness and Watkins model. The conjecture asserts that conditioning on exact Mordell–Weil rank introduces a stable secondary correction of order 1/logX1/\log X.

Numerical evidence

At X=3108X=3\cdot10^8, the observed proportions and rescaled deviations are as follows.

rr#Pr(X)/#Pr(X)\#\mathcal P_r^-(X)/\#\mathcal P_r(X)logX(#Pr(X)#Pr(X)31+3)\log X\left(\dfrac{\#\mathcal P_r^-(X)}{\#\mathcal P_r(X)}-\dfrac{\sqrt3}{1+\sqrt3}\right)
00.6631540.6631540.569560.56956
10.6378880.6378880.076390.07639
20.5987670.5987670.68723-0.68723
30.5579800.5579801.48336-1.48336

Rank-conditioned discriminant-sign statistics at X=3108X=3\cdot10^8.

Here 3/(1+3)=0.633975\sqrt3/(1+\sqrt3)=0.633975\ldots. Between 31073\cdot10^7 and 31083\cdot10^8, the four rescaled quantities remain near 0.590.59, 0.070.07, 0.66-0.66, and 1.47-1.47, respectively. The inspected sample contains 731,713731{,}713 prime-conductor representatives, with no missing discriminant signs and with algebraic rank agreeing with analytic rank throughout.

Relation to known counting results

Brumer and McGuinness first observed the overall negative-to-positive ratio near 3\sqrt3 in prime-conductor data, and Watkins rederived the corresponding sign-dependent volume heuristic. Shankar–Shankar–Wang prove, for certain large conductor-ordered families defined by local conditions, sign-separated leading asymptotics whose constants satisfy α=3α+\alpha_-=\sqrt3\,\alpha_+. Their theorem does not cover the thin requirement that the conductor be prime, nor does it condition on exact rank or give a secondary term.

By modularity and the Mestre–Oesterlé prime-conductor theorem, a prime-conductor isogeny class contains a curve with prime absolute minimal discriminant. In the singleton case this is the unique curve, so the conjecture can equivalently be viewed as a statement about exact-rank prime-discriminant curves. This reduction does not provide the required distribution.

The unresolved analytic problem

Let Ar,+(X)A_{r,+}(X) and Ar,(X)A_{r,-}(X) be the positive- and negative-discriminant counts. Proving Conjecture 1 requires a rank- and sign-separated two-term asymptotic for these counts, strong enough to identify both the main ratio and the limits

dr=limXlogX(Ar,(X)Ar,+(X)+Ar,(X)31+3).d_r=\lim_{X\to\infty}\log X \left(\frac{A_{r,-}(X)}{A_{r,+}(X)+A_{r,-}(X)} -\frac{\sqrt3}{1+\sqrt3}\right).

The passage to prime conductor already involves a thin global sieve. Exact-rank conditioning further introduces global quantities such as central LL-values, Selmer groups, regulators, and Tate–Shafarevich groups. Present lattice-counting and average-Selmer methods do not control these conditions simultaneously, and no existing theorem gives even the required leading exact-rank asymptotics in this family. The numerical pattern is therefore evidence rather than a proof.

References

Paper edition

Read or download the typeset paper

The PDF contains the same complete journal-style article presented above.

Open paper PDF