Rank and Bias in Families of Hyperelliptic Curves

Size: px
Start display at page:

Download "Rank and Bias in Families of Hyperelliptic Curves"

Transcription

1 Rank and Bias in Families of Hyerellitic Curves Trajan Hammonds 1 Ben Logsdon 2 thammond@andrew.cmu.edu bcl5@williams.edu Joint with Seoyoung Kim 3 and Steven J. Miller 2 1 Carnegie Mellon University 2 Williams College 3 Brown University Québec-Maine Number Theory Conference Université Laval, October 2018

2 Hyerellitic Curves Define a hyerellitic curve of genus g over Q(T ): X : y 2 = f (x, T ) = x 2g+1 +A 2g (T )x 2g + +A 1 (T )x +A 0 (T ).

3 Hyerellitic Curves Define a hyerellitic curve of genus g over Q(T ): X : y 2 = f (x, T ) = x 2g+1 +A 2g (T )x 2g + +A 1 (T )x +A 0 (T ). Let a X () = + 1 #X (F ). Then ( ) f (x, t) a X () = x()

4 Hyerellitic Curves Define a hyerellitic curve of genus g over Q(T ): X : y 2 = f (x, T ) = x 2g+1 +A 2g (T )x 2g + +A 1 (T )x +A 0 (T ). Let a X () = + 1 #X (F ). Then ( ) f (x, t) a X () = x() and its m-th ower sum A m,x () = t() a X () m.

5 Generalized Nagao s conjecture Generalized Nagao s Conjecture 1 lim 1 X X A 1,χ() log = rank J X (Q(T)). X

6 Generalized Nagao s conjecture Generalized Nagao s Conjecture 1 lim 1 X X A 1,χ() log = rank J X (Q(T)). X Goal: Construct families of hyerellitic curves with high rank.

7 Hyerellitic curves with moderately large rank over Q(T )

8 Moderate-Rank Family Theorem (HLKM, 2018) Assume the Generalized Nagao Conjecture and trivial Chow trace Jacobian. For any g 1, we can construct infinitely many genus g hyerellitic curves X over Q(T ) such that rank J X (Q(T)) = 4g + 2.

9 Moderate-Rank Family Theorem (HLKM, 2018) Assume the Generalized Nagao Conjecture and trivial Chow trace Jacobian. For any g 1, we can construct infinitely many genus g hyerellitic curves X over Q(T ) such that rank J X (Q(T)) = 4g + 2. Close to current record of 4g + 7.

10 Moderate-Rank Family Theorem (HLKM, 2018) Assume the Generalized Nagao Conjecture and trivial Chow trace Jacobian. For any g 1, we can construct infinitely many genus g hyerellitic curves X over Q(T ) such that rank J X (Q(T)) = 4g + 2. Close to current record of 4g + 7. No height matrix or basis comutation.

11 Moderate-Rank Family Theorem (HLKM, 2018) Assume the Generalized Nagao Conjecture and trivial Chow trace Jacobian. For any g 1, we can construct infinitely many genus g hyerellitic curves X over Q(T ) such that rank J X (Q(T)) = 4g + 2. Close to current record of 4g + 7. No height matrix or basis comutation. This generalizes a construction of Arms, Lozano-Robledo, and Miller in the ellitic surface case.

12 Idea of Construction Define a genus g curve X : y 2 = f (x, T ) = x 2g+1 T 2 + 2g(x)T h(x) g(x) = x 2g+1 + 2g i=0 a i x i h(x) = (A 1)x 2g+1 + 2g i=0 A i x i. The discriminant of the quadratic olynomial is D T (x) := g(x) 2 + x 2g+1 h(x).

13 Idea of Construction A 1,X () = ( ) f (x, t) t() x()

14 Idea of Construction A 1,X () = ( ) f (x, t) t() x() = ( ) x 2g+1 ( 1) x() D t (x) 0 + x() D t (x) 0 ( ) x 2g+1 ( 1)

15 Idea of Construction A 1,X () = ( ) f (x, t) t() x() = ( ) x 2g+1 ( 1) + x() x() D t (x) 0 = x() D t (x) 0 ( ) x x() ( x ) D t (x) 0 ( ) x 2g+1 ( 1)

16 Idea of Construction A 1,X () = ( ) f (x, t) t() x() = ( ) x 2g+1 ( 1) x() D t (x) 0 = x() D t (x) 0 ( ) x + x() D t (x) 0 ( ) x 2g+1 ( 1)

17 Idea of Construction A 1,X () = ( ) f (x, t) t() x() = ( ) x 2g+1 ( 1) x() D t (x) 0 = x() D t (x) 0 ( ) x ( Therefore, A 1,X () is D t (x). x + x() D t (x) 0 ( ) x 2g+1 ( 1) ) summed over the roots of

18 Idea of Construction A 1,X () = ( ) f (x, t) t() x() = ( ) x 2g+1 ( 1) x() D t (x) 0 = x() D t (x) 0 ( ) x ( Therefore, A 1,X () is x + x() D t (x) 0 ( ) x 2g+1 ( 1) ) summed over the roots of D t (x). To maximize the sum, we make each x a erfect square.

19 Idea of Construction Key Idea Make the roots of D t (x) distinct nonzero erfect squares. Choose roots ρ 2 i of D t (x) so that D t (x) = A 4g+2 i=1 ( x ρ 2 i ).

20 Idea of Construction Key Idea Make the roots of D t (x) distinct nonzero erfect squares. Choose roots ρ 2 i of D t (x) so that D t (x) = A Equate coefficients in D t (x) = A 4g+2 i=1 4g+2 i=1 ( x ρ 2 i ). ( x ρ 2 i ) = g(x) 2 + x 2g+1 h(x).

21 Idea of Construction Key Idea Make the roots of D t (x) distinct nonzero erfect squares. Choose roots ρ 2 i of D t (x) so that D t (x) = A Equate coefficients in D t (x) = A 4g+2 i=1 4g+2 i=1 ( x ρ 2 i ). ( x ρ 2 i ) = g(x) 2 + x 2g+1 h(x). Solve the nonlinear system for the coefficients of g, h.

22 Idea of the Construction A 1,χ ()

23 Idea of the Construction A 1,χ () = x mod D t (x) 0 ( ) x 2g+1

24 Idea of the Construction A 1,χ () = x mod D t (x) 0 ( ) x 2g+1 = (# of erfect-square roots of D t (x)) = (4g + 2).

25 Idea of the Construction A 1,χ () = x mod D t (x) 0 ( ) x 2g+1 = (# of erfect-square roots of D t (x)) = (4g + 2). Then by the Generalized Nagao Conjecture lim X 1 X X 1 (4g + 2) log = 4g + 2 = rank J X (Q(T )).

26 Future Work Find a linearly indeendent basis. Generalizing another technique in Arms, Lozano-Robledo, and Miller.

27 Bias Conjecture

28 Bias Conjecture Michel s Theorem For one-arameter families of ellitic curves E, the second moment A 2,E () is A 2,E () = 2 + O ( 3/2).

29 Bias Conjecture Michel s Theorem For one-arameter families of ellitic curves E, the second moment A 2,E () is A 2,E () = 2 + O ( 3/2). Bias Conjecture (Miller) The largest lower order term in the second moment exansion that does not average to 0 is on average negative.

30 Bias Conjecture Michel s Theorem For one-arameter families of ellitic curves E, the second moment A 2,E () is A 2,E () = 2 + O ( 3/2). Bias Conjecture (Miller) The largest lower order term in the second moment exansion that does not average to 0 is on average negative. Goal: Find as many hyerellitic families with as much bias as ossible.

31 The Bias Family Theorem (HLKM 2018) Consider X : y 2 = x n + x h T k. If gcd(k, n h, 1) = 1, then (gcd(n h, 1) 1)( 2 ) h even A 2,X () = gcd(n h, 1)( 2 ) h odd ( ) 0 otherwise

32 Calculations Part 1: k-periodicity A 2,X () = t,x,y() x n + x h t k y n + y h t k

33 Calculations Part 1: k-periodicity A 2,X () = t,x,y() = t,x,y() x n + x h t k y n + y h t k (t n x n ) + (t h x h )t k (t n y n ) + (t h y h )t k

34 Calculations Part 1: k-periodicity A 2,X () = t,x,y() = t,x,y() = t,x,y() x n + x h t k y n + y h t k (t n x n ) + (t h x h )t k (t n y n ) + (t h y h )t k x n + x h t (k+(n h)) y n + y h t (k+(n h))

35 Calculations Part 1: k-periodicity A 2,X () = t,x,y() = t,x,y() = t,x,y() x n + x h t k y n + y h t k (t n x n ) + (t h x h )t k (t n y n ) + (t h y h )t k x n + x h t (k+(n h)) y n + y h t (k+(n h)) The second moment is eriodic in k with eriod (n h).

36 Calculations Part 2 A 2,X () = t,x,y() x n + x h t k y n + y h t k

37 Calculations Part 2 A 2,X () = t,x,y() = t,x,y() x n + x h t k y n + y h t k x n + x h t m y n + y h t m (m n h k)

38 Calculations Part 2 A 2,X () = t,x,y() = t,x,y() = t,x,y() x n + x h t k y n + y h t k x n + x h t m y n + y h t m x n + x h t y n + y h t (m n h k) (Frobenius)

39 Calculations Part 2 A 2,X () = t,x,y() = t,x,y() = t,x,y() x n + x h t k y n + y h t k x n + x h t m y n + y h t m x n + x h t y n + y h t gcd(n h, k, 1) = 1 (m n h k) (Frobenius)

40 Calculations Part 2 A 2,X () = t,x,y() = t,x,y() = t,x,y() x n + x h t k y n + y h t k x n + x h t m y n + y h t m x n + x h t y n + y h t gcd(n h, k, 1) = 1 (m n h k) (Frobenius) Thus, this reduces to calculating the second moment of y 2 = x n + x h T, which is straightforward.

41 We thank our advisors Steven J. Miller and Seoyoung Kim, Williams College, the Finnerty Fund, the SMALL REU and the National Science Foundation (grants DMS and DMS ).

Lower Order Biases in Fourier Coefficients of Elliptic Curve and Cuspidal Newform families

Lower Order Biases in Fourier Coefficients of Elliptic Curve and Cuspidal Newform families Lower Order Biases in Fourier Coefficients of Ellitic Curve and Cusidal Newform families Jared Lichtman, Steven Miller, Eric Winsor & Jianing Yang jared.d.lichtman.18@dartmouth.edu, sjm1@williams.edu rcwnsr@umich.edu,

More information

Lower-Order Biases in Elliptic Curve Fourier Coefficients

Lower-Order Biases in Elliptic Curve Fourier Coefficients Lower-Order Biases in Elliptic Curve Fourier Coefficients Karl Winsor Joint with Blake Mackall, Steven J. Miller, Christina Rapti krlwnsr@umich.edu SMALL REU 2014, Williams College 29th Automorphic Forms

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written

More information

Newman s Conjecture for function field L-functions

Newman s Conjecture for function field L-functions Newman s Conjecture for function field L-functions David Mehrle Presenters: t < Λ t Λ Λ Joseph Stahl September 28, 2014 Joint work with: Tomer Reiter, Dylan Yott Advisors: Steve Miller, Alan Chang The

More information

MATH 3240Q Introduction to Number Theory Homework 7

MATH 3240Q Introduction to Number Theory Homework 7 As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched

More information

Finite conductor models for zeros near the central point of elliptic curve L-functions

Finite conductor models for zeros near the central point of elliptic curve L-functions Finite conductor models for zeros near the central point of elliptic curve L-functions Steven J Miller Williams College Steven.J.Miller@williams.edu http://www.williams.edu/mathematics/sjmiller Joint with

More information

Continued Fraction Digit Averages and Maclaurin s Inequalities

Continued Fraction Digit Averages and Maclaurin s Inequalities Continued Fraction Digit Averages and Maclaurin s Inequalities Steven J. Miller, Williams College sjm1@williams.edu, Steven.Miller.MC.96@aya.yale.edu Joint with Francesco Cellarosi, Doug Hensley and Jake

More information

By Evan Chen OTIS, Internal Use

By Evan Chen OTIS, Internal Use Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there

More information

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS #A13 INTEGERS 14 (014) ON THE LEAST SIGNIFICANT ADIC DIGITS OF CERTAIN LUCAS NUMBERS Tamás Lengyel Deartment of Mathematics, Occidental College, Los Angeles, California lengyel@oxy.edu Received: 6/13/13,

More information

Zeros of Dirichlet L-Functions over the Rational Function Field

Zeros of Dirichlet L-Functions over the Rational Function Field Zeros of Dirichlet L-Functions over the Rational Function Field Julio Andrade (julio_andrade@brown.edu) Steven J. Miller (steven.j.miller@williams.edu) Kyle Pratt (kyle.pratt@byu.net) Minh-Tam Trinh (mtrinh@princeton.edu)

More information

LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS

LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS LARGE GAPS BETWEEN CONSECUTIVE PRIME NUMBERS CONTAINING SQUARE-FREE NUMBERS AND PERFECT POWERS OF PRIME NUMBERS HELMUT MAIER AND MICHAEL TH. RASSIAS Abstract. We rove a modification as well as an imrovement

More information

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p,

x 2 a mod m. has a solution. Theorem 13.2 (Euler s Criterion). Let p be an odd prime. The congruence x 2 1 mod p, 13. Quadratic Residues We now turn to the question of when a quadratic equation has a solution modulo m. The general quadratic equation looks like ax + bx + c 0 mod m. Assuming that m is odd or that b

More information

Practice Final Solutions

Practice Final Solutions Practice Final Solutions 1. Find integers x and y such that 13x + 1y 1 SOLUTION: By the Euclidean algorithm: One can work backwards to obtain 1 1 13 + 2 13 6 2 + 1 1 13 6 2 13 6 (1 1 13) 7 13 6 1 Hence

More information

Generalized Sum and Difference Sets and d-dimensional Modular Hyperbolas

Generalized Sum and Difference Sets and d-dimensional Modular Hyperbolas Generalized Sum and Difference Sets and d-dimensional Modular Hyperbolas Amanda Bower 1 and Victor D. Luo 2 Joint with: Steven J. Miller 2 and Ron Evans 3 1 U. of Michigan-Dearborn 2 Williams College 3

More information

Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank

Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Infinite rank of elliptic curves over Q ab and quadratic twists with positive rank Bo-Hae Im Chung-Ang University The 3rd East Asian Number Theory Conference National Taiwan University, Taipei January

More information

Distributions of Primes in Number Fields and the L-function Ratios Conjecture

Distributions of Primes in Number Fields and the L-function Ratios Conjecture Distributions of Primes in Number Fields and the L-function Ratios Conjecture Casimir Kothari Maria Ross ckothari@princeton.edu mrross@pugetsound.edu with Trajan Hammonds, Ben Logsdon Advisor: Steven J.

More information

MSTD Subsets and Properties of Divots in the Distribution of Missing Sums

MSTD Subsets and Properties of Divots in the Distribution of Missing Sums MSTD Subsets and Properties of Divots in the Distribution of Missing Sums Steven J Miller, Williams College sjm1@williams.edu Victor Xu, Carnegie Mellon University vzx@andrew.cmu.edu Xiaorong Zhang, Carnegie

More information

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001

The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski

More information

A numerically explicit Burgess inequality and an application to qua

A numerically explicit Burgess inequality and an application to qua A numerically explicit Burgess inequality and an application to quadratic non-residues Swarthmore College AMS Sectional Meeting Akron, OH October 21, 2012 Squares Consider the sequence Can it contain any

More information

Nonabelian Cohen-Lenstra Moments for the Quaternion Group

Nonabelian Cohen-Lenstra Moments for the Quaternion Group Nonabelian Cohen-Lenstra Moments for the Quaternion Grou (University of Wisconsin-Madison) Featuring Joint Work with Jack Klys (University of Toronto) October 14, 2017 Cohen-Lenstra heuristics For a field

More information

Diophantine Geometry and Non-Abelian Reciprocity Laws

Diophantine Geometry and Non-Abelian Reciprocity Laws Diophantine Geometry and Non-Abelian Reciprocity Laws Minhyong Kim Oxford, July, 2014 Diophantine Geometry: Abelian Case The Hasse-Minkowski theorem says that ax 2 + by 2 = c has a solution in a number

More information

RINGS OF INTEGERS WITHOUT A POWER BASIS

RINGS OF INTEGERS WITHOUT A POWER BASIS RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We

More information

Phase Transitions in the Distribution of Missing Sums and a Powerful Family of MSTD Sets

Phase Transitions in the Distribution of Missing Sums and a Powerful Family of MSTD Sets Phase Transitions in the Distribution of Missing Sums and a Powerful Family of MSTD Sets Steven J Miller (Williams College) Email: sjm1@williams.edu https://web.williams.edu/mathematics/ sjmiller/public_html/math/talks/talks.html

More information

Conférence de théorie des nombres Québec-Maine Université Laval, Québec 6, 7 octobre 2018

Conférence de théorie des nombres Québec-Maine Université Laval, Québec 6, 7 octobre 2018 Conférence de théorie des nombres Québec-Maine Université Laval, Québec 6, 7 octobre 2018 Angelica Babei (Dartmouth College) Class and Type Numbers of Orders in Central Simple Algebras Given any two orders

More information

Math 341: Probability Eighth Lecture (10/6/09)

Math 341: Probability Eighth Lecture (10/6/09) Math 341: Probability Eighth Lecture (10/6/09) Steven J Miller Williams College Steven.J.Miller@williams.edu http://www.williams.edu/go/math/sjmiller/ public html/341/ Bronfman Science Center Williams

More information

Primes - Problem Sheet 5 - Solutions

Primes - Problem Sheet 5 - Solutions Primes - Problem Sheet 5 - Solutions Class number, and reduction of quadratic forms Positive-definite Q1) Aly the roof of Theorem 5.5 to find reduced forms equivalent to the following, also give matrices

More information

Local Generic Formal Fibers of Excellent Rings

Local Generic Formal Fibers of Excellent Rings Local Generic Formal Fibers of Excellent Rings Williams College SMALL REU 2013 Commutative Algebra Group Peihong Jiang, University of Rochester Anna Kirkpatrick, University of South Carolina Sander Mack-Crane,

More information

A Ramsey Theoretic Approach to Finite Fields and Quaternions

A Ramsey Theoretic Approach to Finite Fields and Quaternions A Ramsey Theoretic Approach to Finite Fields and Quaternions Sarah Manski, Kalamazoo College sarah.manski12@kzoo.edu Joint work with Megumi Asada, Eva Fourakis, Eli Goldstein, Gwyneth Moreland Advisors:

More information

Higher genus curves and the inverse Galois problem

Higher genus curves and the inverse Galois problem Higher genus curves and the inverse Galois problem Samuele Anni joint work with Pedro Lemos and Samir Siksek University of Warwick Congreso de Jóvenes Investigadores de la Real Sociedad Matemática Española

More information

4. Score normalization technical details We now discuss the technical details of the score normalization method.

4. Score normalization technical details We now discuss the technical details of the score normalization method. SMT SCORING SYSTEM This document describes the scoring system for the Stanford Math Tournament We begin by giving an overview of the changes to scoring and a non-technical descrition of the scoring rules

More information

Moment Generating Function. STAT/MTHE 353: 5 Moment Generating Functions and Multivariate Normal Distribution

Moment Generating Function. STAT/MTHE 353: 5 Moment Generating Functions and Multivariate Normal Distribution Moment Generating Function STAT/MTHE 353: 5 Moment Generating Functions and Multivariate Normal Distribution T. Linder Queen s University Winter 07 Definition Let X (X,...,X n ) T be a random vector and

More information

AMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS. Copyright 2009 Please direct comments, corrections, or questions to

AMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS. Copyright 2009 Please direct comments, corrections, or questions to AMBIGUOUS FORMS AND IDEALS IN QUADRATIC ORDERS JOHN ROBERTSON Copyright 2009 Please direct comments, corrections, or questions to jpr2718@gmail.com This note discusses the possible numbers of ambiguous

More information

RESEARCH STATEMENT THOMAS WRIGHT

RESEARCH STATEMENT THOMAS WRIGHT RESEARCH STATEMENT THOMAS WRIGHT My research interests lie in the field of number theory, articularly in Diohantine equations, rime gas, and ellitic curves. In my thesis, I examined adelic methods for

More information

Frank Moore Algebra 901 Notes Professor: Tom Marley

Frank Moore Algebra 901 Notes Professor: Tom Marley Frank Moore Algebra 901 Notes Professor: Tom Marley Examle/Remark: Let f(x) K[x] be an irreducible olynomial. We know that f has multile roots (f, f ) = 1 f f, as f is irreducible f = 0. So, if Char K

More information

ON THE SET a x + b g x (mod p) 1 Introduction

ON THE SET a x + b g x (mod p) 1 Introduction PORTUGALIAE MATHEMATICA Vol 59 Fasc 00 Nova Série ON THE SET a x + b g x (mod ) Cristian Cobeli, Marian Vâjâitu and Alexandru Zaharescu Abstract: Given nonzero integers a, b we rove an asymtotic result

More information

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury

(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing

More information

Generalized Sum and Difference Sets and d-dimensional Modular Hyperbolas

Generalized Sum and Difference Sets and d-dimensional Modular Hyperbolas Generalized Sum and Difference Sets and d-dimensional Modular Hyperbolas Amanda Bower 1 and Victor D. Luo 2 Advisor: Steven J. Miller 2 1 University of Michigan-Dearborn 2 Williams College http://www.williams.edu/mathematics/sjmiller/

More information

On the low-lying zeros of elliptic curve L-functions

On the low-lying zeros of elliptic curve L-functions On the low-lying zeros of elliptic curve L-functions Joint Work with Stephan Baier Liangyi Zhao Nanyang Technological University Singapore The zeros of the Riemann zeta function The number of zeros ρ of

More information

1 Integers and the Euclidean algorithm

1 Integers and the Euclidean algorithm 1 1 Integers and the Euclidean algorithm Exercise 1.1 Prove, n N : induction on n) 1 3 + 2 3 + + n 3 = (1 + 2 + + n) 2 (use Exercise 1.2 Prove, 2 n 1 is rime n is rime. (The converse is not true, as shown

More information

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January

The Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian

More information

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education

CERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,

More information

#A88 INTEGERS 16 (2016) ON RECIPROCAL SUMS FORMED BY SOLUTIONS OF PELL S EQUATION

#A88 INTEGERS 16 (2016) ON RECIPROCAL SUMS FORMED BY SOLUTIONS OF PELL S EQUATION #A88 INTEGERS 6 (06) ON RECIPROCAL SUMS FORMED BY SOLUTIONS OF PELL S EQUATION Carsten Elsner Fachhochschule für die Wirtschaft University of Alied Sciences Hannover Germany carsten.elsner@fhdw.de Received:

More information

SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015

SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 SQUAREFREE VALUES OF QUADRATIC POLYNOMIALS COURSE NOTES, 2015 1. Squarefree values of olynomials: History In this section we study the roblem of reresenting square-free integers by integer olynomials.

More information

δ(xy) = φ(x)δ(y) + y p δ(x). (1)

δ(xy) = φ(x)δ(y) + y p δ(x). (1) LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material

More information

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016

FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland

More information

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

Test 2 Review Math 1111 College Algebra

Test 2 Review Math 1111 College Algebra Test 2 Review Math 1111 College Algebra 1. Begin by graphing the standard quadratic function f(x) = x 2. Then use transformations of this graph to graph the given function. g(x) = x 2 + 2 *a. b. c. d.

More information

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES

HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES HASSE INVARIANTS FOR THE CLAUSEN ELLIPTIC CURVES AHMAD EL-GUINDY AND KEN ONO Astract. Gauss s F x hyergeometric function gives eriods of ellitic curves in Legendre normal form. Certain truncations of this

More information

Generalizing Gauss s Gem

Generalizing Gauss s Gem For n = 2, 3, all airs of nilotent matrices satisfy 1, but not all nilotent matrices of size 2 commute, eg, [ ] [ ] 0 1 1 1 A =, and B = 0 0 1 1 ACKNOWLEDGMENTS We than the referees for their useful remars

More information

Arithmetic Statistics Lecture 3

Arithmetic Statistics Lecture 3 Arithmetic Statistics Lecture 3 Álvaro Lozano-Robledo Department of Mathematics University of Connecticut May 28 th CTNT 2018 Connecticut Summer School in Number Theory PREVIOUSLY... We can define an action

More information

Mobius Functions, Legendre Symbols, and Discriminants

Mobius Functions, Legendre Symbols, and Discriminants Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,

More information

Outline. EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Simple Error Detection Coding

Outline. EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Simple Error Detection Coding Outline EECS150 - Digital Design Lecture 26 Error Correction Codes, Linear Feedback Shift Registers (LFSRs) Error detection using arity Hamming code for error detection/correction Linear Feedback Shift

More information

Introduction to Elliptic Curves

Introduction to Elliptic Curves IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting

More information

Algebraic Number Theory and Representation Theory

Algebraic Number Theory and Representation Theory Algebraic Number Theory and Representation Theory MIT PRIMES Reading Group Jeremy Chen and Tom Zhang (mentor Robin Elliott) December 2017 Jeremy Chen and Tom Zhang (mentor Robin Algebraic Elliott) Number

More information

Infinitely Many Insolvable Diophantine Equations

Infinitely Many Insolvable Diophantine Equations ACKNOWLEDGMENT. After this aer was submitted, the author received messages from G. D. Anderson and M. Vuorinen that concerned [10] and informed him about references [1] [7]. He is leased to thank them

More information

DISCRIMINANTS IN TOWERS

DISCRIMINANTS IN TOWERS DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will

More information

1/25/2018 LINEAR INDEPENDENCE LINEAR INDEPENDENCE LINEAR INDEPENDENCE LINEAR INDEPENDENCE

1/25/2018 LINEAR INDEPENDENCE LINEAR INDEPENDENCE LINEAR INDEPENDENCE LINEAR INDEPENDENCE /25/28 Definition: An indexed set of vectors {v,, v } in R n is said to be linearly indeendent if the vector equation x v x v... x v 2 2 has only the trivial solution. The set {v,, v } is said to be linearly

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

More information

Division of Trinomials by Pentanomials and Orthogonal Arrays

Division of Trinomials by Pentanomials and Orthogonal Arrays Division of Trinomials by Pentanomials and Orthogonal Arrays School of Mathematics and Statistics Carleton University daniel@math.carleton.ca Joint work with M. Dewar, L. Moura, B. Stevens and Q. Wang

More information

MATH342 Practice Exam

MATH342 Practice Exam MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice

More information

Divisibility of the 5- and 13-regular partition functions

Divisibility of the 5- and 13-regular partition functions Divisibility of the 5- and 13-regular partition functions 28 March 2008 Collaborators Joint Work This work was begun as an REU project and is joint with Neil Calkin, Nathan Drake, Philip Lee, Shirley Law,

More information

ON THE SEMIPRIMITIVITY OF CYCLIC CODES

ON THE SEMIPRIMITIVITY OF CYCLIC CODES ON THE SEMIPRIMITIVITY OF CYCLIC CODES YVES AUBRY AND PHILIPPE LANGEVIN Abstract. We prove, without assuming the Generalized Riemann Hypothesis, but with at most one exception, that an irreducible cyclic

More information

An Estimate For Heilbronn s Exponential Sum

An Estimate For Heilbronn s Exponential Sum An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined

More information

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed.

Math 261 Exam 2. November 7, The use of notes and books is NOT allowed. Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4

More information

Torsion subgroups of rational elliptic curves over the compositum of all cubic fields

Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro

More information

Salem numbers of trace 2 and a conjecture of Estes and Guralnick

Salem numbers of trace 2 and a conjecture of Estes and Guralnick Salem numbers of trace 2 and a conjecture of Estes and Guralnick James McKee, Pavlo Yatsyna (Royal Holloway) November 2015 Properties of minimal polynomials Let A be an integer symmetric matrix, n n. Properties

More information

2-4 Zeros of Polynomial Functions

2-4 Zeros of Polynomial Functions Write a polynomial function of least degree with real coefficients in standard form that has the given zeros. 33. 2, 4, 3, 5 Using the Linear Factorization Theorem and the zeros 2, 4, 3, and 5, write f

More information

Constructing genus 2 curves over finite fields

Constructing genus 2 curves over finite fields Constructing genus 2 curves over finite fields Kirsten Eisenträger The Pennsylvania State University Fq12, Saratoga Springs July 15, 2015 1 / 34 Curves and cryptography RSA: most widely used public key

More information

CLOSED FORM CONTINUED FRACTION EXPANSIONS OF SPECIAL QUADRATIC IRRATIONALS

CLOSED FORM CONTINUED FRACTION EXPANSIONS OF SPECIAL QUADRATIC IRRATIONALS CLOSED FORM CONTINUED FRACTION EXPANSIONS OF SPECIAL QUADRATIC IRRATIONALS DANIEL FISHMAN AND STEVEN J. MILLER ABSTRACT. We derive closed form expressions for the continued fractions of powers of certain

More information

On Cameron-Liebler line classes with large parameter

On Cameron-Liebler line classes with large parameter On with large parameter J. De Beule (joint work with Jeroen Demeyer, Klaus Metsch and Morgan Rodgers) Department of Mathematics Ghent University Department of Mathematics Vrije Universiteit Brussel June

More information

Rank-one Twists of a Certain Elliptic Curve

Rank-one Twists of a Certain Elliptic Curve Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give

More information

11.10a Taylor and Maclaurin Series

11.10a Taylor and Maclaurin Series 11.10a 1 11.10a Taylor and Maclaurin Series Let y = f(x) be a differentiable function at x = a. In first semester calculus we saw that (1) f(x) f(a)+f (a)(x a), for all x near a The right-hand side of

More information

Problem 4 (Wed Jan 29) Let G be a finite abelian group. Prove that the following are equivalent

Problem 4 (Wed Jan 29) Let G be a finite abelian group. Prove that the following are equivalent Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Problem 1 (Fri Jan 24) (a) Find an integer x such that x = 6 mod 10 and x = 15 mod 21 and 0 x 210. (b) Find the smallest positive integer

More information

Ramsey Theory over Number Fields, Finite Fields and Quaternions

Ramsey Theory over Number Fields, Finite Fields and Quaternions Ramsey Theory over Number Fields, Finite Fields and Quaternions Steven J. Miller, Williams College sjm1@williams.edu, Steven.Miller.MC.96@aya.yale.edu http://web.williams.edu/mathematics/ sjmiller/public_html/

More information

An example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella

An example of elliptic curve over Q with rank equal to Introduction. Andrej Dujella An example of elliptic curve over Q with rank equal to 15 Andrej Dujella Abstract We construct an elliptic curve over Q with non-trivial 2-torsion point and rank exactly equal to 15. 1 Introduction Let

More information

2017 Number Theory Days in Hangzhou

2017 Number Theory Days in Hangzhou 2017 Number Theory Days in Hangzhou Saturday, Sep 23 Schedule Sheraton Grand Hangzhou Wetland Park Resort 8:30: Opening ceremony 8:45: Aleksandar Ivić: On some results and problems involving Hardy s function

More information

A review of the foundations of perfectoid spaces

A review of the foundations of perfectoid spaces A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview

More information

Roth s Theorem on Arithmetic Progressions

Roth s Theorem on Arithmetic Progressions September 25, 2014 The Theorema of Szemerédi and Roth For Λ N the (upper asymptotic) density of Λ is the number σ(λ) := lim sup N Λ [1, N] N [0, 1] The Theorema of Szemerédi and Roth For Λ N the (upper

More information

SPECIAL CASES OF THE CLASS NUMBER FORMULA

SPECIAL CASES OF THE CLASS NUMBER FORMULA SPECIAL CASES OF THE CLASS NUMBER FORMULA What we know from last time regarding general theory: Each quadratic extension K of Q has an associated discriminant D K (which uniquely determines K), and an

More information

Applicable Analysis and Discrete Mathematics available online at HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS

Applicable Analysis and Discrete Mathematics available online at   HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Alicable Analysis and Discrete Mathematics available online at htt://efmath.etf.rs Al. Anal. Discrete Math. 4 (010), 3 44. doi:10.98/aadm1000009m HENSEL CODES OF SQUARE ROOTS OF P-ADIC NUMBERS Zerzaihi

More information

A note on the Isomorphism Problem for Monomial Digraphs

A note on the Isomorphism Problem for Monomial Digraphs A note on the Isomorphism Problem for Monomial Digraphs Aleksandr Kodess Department of Mathematics University of Rhode Island kodess@uri.edu Felix Lazebnik Department of Mathematical Sciences University

More information

ABSTRACT. the characteristic polynomial of the Frobenius endomorphism. We show how this

ABSTRACT. the characteristic polynomial of the Frobenius endomorphism. We show how this ABSTRACT Title of dissertation: COMMUTATIVE ENDOMORPHISM RINGS OF SIMPLE ABELIAN VARIETIES OVER FINITE FIELDS Jeremy Bradford, Doctor of Philosohy, 01 Dissertation directed by: Professor Lawrence C. Washington

More information

NUMBER THEORY, BALLS IN BOXES, AND THE ASYMPTOTIC UNIQUENESS OF MAXIMAL DISCRETE ORDER STATISTICS

NUMBER THEORY, BALLS IN BOXES, AND THE ASYMPTOTIC UNIQUENESS OF MAXIMAL DISCRETE ORDER STATISTICS NUMBER THEORY, BALLS IN BOXES, AND THE ASYMPTOTIC UNIQUENESS OF MAXIMAL DISCRETE ORDER STATISTICS Jayadev S. Athreya Department of Mathematics, Iowa State University, Ames, Iowa 50011, U.S.A. Lukasz M.

More information

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

PROBLEMS ON CONGRUENCES AND DIVISIBILITY PROBLEMS ON CONGRUENCES AND DIVISIBILITY 1. Do there exist 1,000,000 consecutive integers each of which contains a repeated prime factor? 2. A positive integer n is powerful if for every prime p dividing

More information

Lattice methods for algebraic modular forms on orthogonal groups

Lattice methods for algebraic modular forms on orthogonal groups Lattice methods for algebraic modular forms on orthogonal groups John Voight Dartmouth College joint work with Matthew Greenberg and Jeffery Hein and Gonzalo Tornaría Computational Challenges in the Theory

More information

Invalidating a conjecture on the average number of closed sets in a random database

Invalidating a conjecture on the average number of closed sets in a random database Invalidating a conjecture on the average number of closed sets in a random database Olivier Bodini?? LIPN, Université Paris 13, and CNRS, UMR 7030. 99, av. J.-B. Clément, 93430 Villetaneuse, France Julien

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics MOD p REPRESENTATIONS ON ELLIPTIC CURVES FRANK CALEGARI Volume 225 No. 1 May 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 225, No. 1, 2006 MOD p REPRESENTATIONS ON ELLIPTIC

More information

Distribution of Eigenvalues of Weighted, Structured Matrix Ensembles

Distribution of Eigenvalues of Weighted, Structured Matrix Ensembles Distribution of Eigenvalues of Weighted, Structured Matrix Ensembles Olivia Beckwith 1, Steven J. Miller 2, and Karen Shen 3 1 Harvey Mudd College 2 Williams College 3 Stanford University Joint Meetings

More information

Objective Type Questions

Objective Type Questions DISTANCE EDUCATION, UNIVERSITY OF CALICUT NUMBER THEORY AND LINEARALGEBRA Objective Type Questions Shyama M.P. Assistant Professor Department of Mathematics Malabar Christian College, Calicut 7/3/2014

More information

Convergence rates in generalized Zeckendorf decomposition problems

Convergence rates in generalized Zeckendorf decomposition problems Convergence rates in generalized Zeckendorf decomposition problems Ray Li (ryli@andrew.cmu.edu) 1 Steven J Miller (sjm1@williams.edu) 2 Zhao Pan (zhaop@andrew.cmu.edu) 3 Huanzhong Xu (huanzhox@andrew.cmu.edu)

More information

Math 341: Probability Seventeenth Lecture (11/10/09)

Math 341: Probability Seventeenth Lecture (11/10/09) Math 341: Probability Seventeenth Lecture (11/10/09) Steven J Miller Williams College Steven.J.Miller@williams.edu http://www.williams.edu/go/math/sjmiller/ public html/341/ Bronfman Science Center Williams

More information

Finite conductor models for zeros near the central point of elliptic curve L-functions

Finite conductor models for zeros near the central point of elliptic curve L-functions Finite conductor models for zeros near the central point of elliptic curve L-functions Steven J Miller Williams College Steven.J.Miller@williams.edu http://www.williams.edu/mathematics/sjmiller Joint with

More information

Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound

Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound Block-transitive algebraic geometry codes attaining the Tsfasman-Vladut-Zink bound María Chara*, Ricardo Podestá**, Ricardo Toledano* * IMAL (CONICET) - Universidad Nacional del Litoral ** CIEM (CONICET)

More information

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015

Elliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015 18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to

More information

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. C) x 8. C) y = x + 3 2

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. C) x 8. C) y = x + 3 2 Precalculus Fall Final Exam Review Name Date Period MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Simplify the expression. Assume that the variables

More information

Results on GL(2) L-Functions: Biases in Coefficients and Gaps Between Zeros

Results on GL(2) L-Functions: Biases in Coefficients and Gaps Between Zeros Results on GL(2) L-Functions: Biases in Coefficients and Gas Between Zeros Steven J. Miller, Williams College sjm1@williams.edu, Steven.Miller.MC.96@aya.yale.edu With Owen Barrett, Blake Mackall, Brian

More information

Sums of Consecutive Perfect Powers is Seldom a Perfect Power

Sums of Consecutive Perfect Powers is Seldom a Perfect Power Sums of Consecutive Perfect Powers is Seldom a Perfect Power Journées Algophantiennes Bordelaises 2017, Université de Bordeaux June 7, 2017 A Diophantine Equation Question x k + (x + 1) k + + (x + d 1)

More information

To get horizontal and slant asymptotes algebraically we need to know about end behaviour for rational functions.

To get horizontal and slant asymptotes algebraically we need to know about end behaviour for rational functions. Concepts: Horizontal Asymptotes, Vertical Asymptotes, Slant (Oblique) Asymptotes, Transforming Reciprocal Function, Sketching Rational Functions, Solving Inequalities using Sign Charts. Rational Function

More information

Congruent Number Problem and Elliptic curves

Congruent Number Problem and Elliptic curves Congruent Number Problem and Elliptic curves December 12, 2010 Contents 1 Congruent Number problem 2 1.1 1 is not a congruent number.................................. 2 2 Certain Elliptic Curves 4 3 Using

More information

Martinet s question on Hilbert 2-class field towers

Martinet s question on Hilbert 2-class field towers Martinet s question on Hilbert 2-class field towers Victor Wang Massachusetts Institute of Technology Duluth REU 2015 Advised by Joe Gallian January 7, 2016 1 / 14 Background: Class group and Hilbert class

More information