Biases in Moments of Satake Parameters and in Zeros near the Central - PowerPoint PPT Presentation

Bias: ECs Central Point Refs Bias: New Families Biases in Moments of Satake Parameters and in Zeros near the Central Point in Families of L-Functions Steven J. Miller (Williams College) sjm1@williams.edu, Steven.Miller.MC.96@aya.yale.edu http://web.williams.edu/Mathematics/sjmiller/public_html/ Lightening Talk: Computational Aspects of L-functions ICERM, Providence, RI, November 10, 2015 1

Bias: ECs Central Point Refs Bias: New Families Bias Conjecture for Elliptic Curves With Blake Mackall (Williams), Christina Rapti (Bard) and Karl Winsor (Michigan) Emails: Blake.R.Mackall@williams.edu, cr9060@bard.edu, krlwnsr@umich.edu. 2

Bias: ECs Central Point Refs Bias: New Families Last Summer: Families and Moments A one-parameter family of elliptic curves is given by E : y 2 = x 3 + A ( T ) x + B ( T ) where A ( T ) , B ( T ) are polynomials in Z [ T ] . Each specialization of T to an integer t gives an elliptic curve E ( t ) over Q . The r th moment of the Fourier coefficients is � a E ( t ) ( p ) r . A r , E ( p ) = t mod p 3

Bias: ECs Central Point Refs Bias: New Families Negative Bias in the First Moment A 1 , E ( p ) and Family Rank (Rosen-Silverman) If Tate’s Conjecture holds for E then � 1 A 1 , E ( p ) log p = − rank ( E / Q ) . lim X p X →∞ p ≤ X By the Prime Number Theorem, A 1 , E ( p ) = − rp + O ( 1 ) implies rank ( E / Q ) = r . 4

Bias: ECs Central Point Refs Bias: New Families Bias Conjecture Second Moment Asymptotic (Michel) For families E with j ( T ) non-constant, the second moment is A 2 , E ( p ) = p 2 + O ( p 3 / 2 ) . The lower order terms are of sizes p 3 / 2 , p , p 1 / 2 , and 1. In every family we have studied, we have observed: Bias Conjecture The largest lower term in the second moment expansion which does not average to 0 is on average negative . 5

Bias: ECs Central Point Refs Bias: New Families Preliminary Evidence and Patterns Let n 3 , 2 , p equal the number of cube roots of 2 modulo p , �� 2 �� − 3 �� �� � x 3 − x and set c 0 ( p ) = � � 3 + p , c 1 ( p ) = , x mod p p p p � 4 x 3 + 1 � c 3 / 2 ( p ) = p � . x ( p ) p Family A 1 , E ( p ) A 2 , E ( p ) y 2 = x 3 + Sx + T p 3 − p 2 0 y 2 = x 3 + 2 4 ( − 3 ) 3 ( 9 T + 1 ) 2 � 2 p 2 − 2 p p ≡ 2 mod 3 0 0 p ≡ 1 mod 3 y 2 = x 3 ± 4 ( 4 T + 2 ) x � 2 p 2 − 2 p p ≡ 1 mod 4 0 0 p ≡ 3 mod 4 y 2 = x 3 + ( T + 1 ) x 2 + Tx p 2 − 2 p − 1 0 y 2 = x 3 + x 2 + 2 T + 1 p 2 − 2 p − � − 3 � 0 p y 2 = x 3 + Tx 2 + 1 p 2 − n 3 , 2 , p p − 1 + c 3 / 2 ( p ) − p y 2 = x 3 − T 2 x + T 2 p 2 − p − c 1 ( p ) − c 0 ( p ) − 2 p y 2 = x 3 − T 2 x + T 4 p 2 − p − c 1 ( p ) − c 0 ( p ) − 2 p y 2 = x 3 + Tx 2 − ( T + 3 ) x + 1 p 2 − 4 c p , 1 ; 6 p − 1 − 2 c p , 1 ; 4 p where c p , a ; m = 1 if p ≡ a mod m and otherwise is 0. 6

Bias: ECs Central Point Refs Bias: New Families Lower order terms and average rank � � � log p � 2 N 2 N � � � � 1 log R φ ( 0 ) + φ ( 0 ) − 2 log p 1 = � � φ γ t φ a t ( p ) N 2 π N log R p log R γ t p t = N t = N � 2 log p � � log log R � � 2 N � − 2 log p 1 a t ( p ) 2 + O p 2 � φ . N log R log R log R t = N p φ ( x ) ≥ 0 gives upper bound average rank. Expect big-Oh term Ω( 1 / log R ) . 7

Bias: ECs Central Point Refs Bias: New Families Implications for Excess Rank Katz-Sarnak’s one-level density statistic is used to measure the average rank of curves over a family. More curves with rank than expected have been observed, though this excess average rank vanishes in the limit. Lower-order biases in the moments of families explain a small fraction of this excess rank phenomenon. 8

Bias: ECs Central Point Refs Bias: New Families Methods for Obtaining Explicit Formulas For a family E : y 2 = x 3 + A ( T ) x + B ( T ) , we can write � x 3 + A ( t ) x + B ( t ) � � a E ( t ) ( p ) = − p x mod p � � · where is the Legendre symbol mod p given by p  � x �  1 if x is a non-zero square modulo p  = 0 if x ≡ 0 mod p p   − 1 otherwise. 9

Bias: ECs Central Point Refs Bias: New Families Lemmas on Legendre Symbols Linear and Quadratic Legendre Sums � ax + b � � = 0 if p ∤ a p x mod p  � � � ax 2 + bx + c � if p ∤ b 2 − 4 ac  a � − p � � = if p | b 2 − 4 ac  p a ( p − 1 ) x mod p p Average Values of Legendre Symbols � � x The value of for x ∈ Z , when averaged over all p primes p , is 1 if x is a non-zero square, and 0 otherwise. 10

Bias: ECs Central Point Refs Bias: New Families Rank 0 Families Theorem (MMRW’14): Rank 0 Families Obeying the Bias Conjecture For families of the form E : y 2 = x 3 + ax 2 + bx + cT + d , � � − 3 � � a 2 − 3 b �� A 2 , E ( p ) = p 2 − p 1 + + . p p The average bias in the size p term is − 2 or − 1, according to whether a 2 − 3 b ∈ Z is a non-zero square. 11

Bias: ECs Central Point Refs Bias: New Families Families with Rank Theorem (MMRW’14): Families with Rank For families of the form E : y 2 = x 3 + aT 2 x + bT 2 , � � � � �� �� � �� 2 A 2 , E ( p ) = p 2 − p x 3 + ax − 3 − 3 a 1 + + − . p p x ( p ) p These include families of rank 0, 1, and 2. The average bias in the size p terms is − 3 or − 2, according to whether − 3 a ∈ Z is a non-zero square. 12

Bias: ECs Central Point Refs Bias: New Families Families with Rank Theorem (MMRW’14): Families with Complex Multiplication For families of the form E : y 2 = x 3 + ( aT + b ) x , � � − 1 �� A 2 , E ( p ) = ( p 2 − p ) 1 + . p The average bias in the size p term is − 1. The size p 2 term is not constant, but is on average p 2 , and an analogous Bias Conjecture holds. 13

Bias: ECs Central Point Refs Bias: New Families Families with Unusual Distributions of Signs Theorem (MMRW’14): Families with Unusual Signs For the family E : y 2 = x 3 + Tx 2 − ( T + 3 ) x + 1, � � − 3 �� A 2 , E ( p ) = p 2 − p 2 + 2 − 1 . p The average bias in the size p term is − 2. The family has an usual distribution of signs in the functional equations of the corresponding L -functions. 14

Bias: ECs Central Point Refs Bias: New Families The Size p 3 / 2 Term Theorem (MMRW’14): Families with a Large Error For families of the form E : y 2 = x 3 + ( T + a ) x 2 + ( bT + b 2 − ab + c ) x − bc , � − cx ( x + b )( bx − c ) � � A 2 , E ( p ) = p 2 − 3 p − 1 + p p x mod p The size p 3 / 2 term is given by an elliptic curve coefficient and is thus on average 0. The average bias in the size p term is − 3. 15

Bias: ECs Central Point Refs Bias: New Families General Structure of the Lower Order Terms The lower order terms appear to always have no size p 3 / 2 term or a size p 3 / 2 term that is on average 0; exhibit their negative bias in the size p term; be determined by polynomials in p , elliptic curve coefficients, and congruence classes of p (i.e., values of Legendre symbols). 16

Bias: ECs Central Point Refs Bias: New Families New Families: Work in Progress Dirichlet characters of prime level: bias + 1. Holomorphic cusp forms: bias − 1 / 2. r th Symmetric Power F r , X ,δ, q : bias + 1 / 48. (With Megumi Asada and Eva Fourakis (Williams), Kevin Yang (Harvard).) 17

Bias: ECs Central Point Refs Bias: New Families Finite Conductor Models at Central Point With Owen Barrett and Blaine Talbut (Chicago), Gwyn Moreland (Michigan), Nathan Ryan (Bucknell) Emails: owen.barrett@yale.edu, gwynm@umich.edu, blainetalbut@gmail.com, nathan.ryan@bucknell.edu. Excised Orthogonal Ensemble joint with Eduardo Dueñez, Duc Khiem Huynh, Jon Keating and Nina Snaith. Numerical experiments ongoing with Nathan Ryan. 18

Bias: ECs Central Point Refs Bias: New Families RMT: Theoretical Results ( N → ∞ ) 2 1.5 1 0.5 0.5 1 1.5 2 1st normalized evalue above 1: SO(even) 19

Bias: ECs Central Point Refs Bias: New Families RMT: Theoretical Results ( N → ∞ ) 1.2 1 0.8 0.6 0.4 0.2 0.5 1 1.5 2 2.5 1st normalized evalue above 1: SO(odd) 20

Bias: ECs Central Point Refs Bias: New Families Rank 0 Curves: 1st Norm Zero: 14 One-Param of Rank 0 1.2 1 0.8 0.6 0.4 0.2 1 1.5 2 2.5 Figure 4a: 209 rank 0 curves from 14 rank 0 families, log ( cond ) ∈ [ 3 . 26 , 9 . 98 ] , median = 1 . 35, mean = 1 . 36 21

Bias: ECs Central Point Refs Bias: New Families Rank 0 Curves: 1st Norm Zero: 14 One-Param of Rank 0 1.4 1.2 1 0.8 0.6 0.4 0.2 0.5 1 1.5 2 2.5 Figure 4b: 996 rank 0 curves from 14 rank 0 families, log ( cond ) ∈ [ 15 . 00 , 16 . 00 ] , median = . 81, mean = . 86. 22

Bias: ECs Central Point Refs Bias: New Families Spacings b/w Norm Zeros: Rank 0 One-Param Families over Q ( T ) All curves have log ( cond ) ∈ [ 15 , 16 ] ; z j = imaginary part of j th normalized zero above the central point; 863 rank 0 curves from the 14 one-param families of rank 0 over Q ( T ) ; 701 rank 2 curves from the 21 one-param families of rank 0 over Q ( T ) . 863 Rank 0 Curves 701 Rank 2 Curves t-Statistic Median z 2 − z 1 1.28 1.30 Mean z 2 − z 1 1.30 1.34 -1.60 StDev z 2 − z 1 0.49 0.51 Median z 3 − z 2 1.22 1.19 Mean z 3 − z 2 1.24 1.22 0.80 StDev z 3 − z 2 0.52 0.47 Median z 3 − z 1 2.54 2.56 Mean z 3 − z 1 2.55 2.56 -0.38 StDev z 3 − z 1 0.52 0.52 23