Formulary for elliptic divisibility sequences and elliptic nets. Let E be the elliptic curve defined over the rationals with Weierstrass equation
|
|
- Clemence Ryan
- 6 years ago
- Views:
Transcription
1 Formulary for elliptic divisibility sequences and elliptic nets KATHERINE E STANGE Abstract Just the formulas No warranty is expressed or implied May cause side effects Not to be taken internally Remove label before using Not to be used as a flotation device May contain nuts Please report any errors you may find Let E be the elliptic curve defined over the rationals with eierstrass equation As usual, let y + a 1 xy + a 3 y = x 3 + a x + a 4 x + a 6 b = a 1 + 4a, b 4 = a 4 + a 1 a 3, b 6 = a 3 + 4a 6, b 8 = a 1a 6 + 4a a 6 a 1 a 3 a 4 + a a 3 a 4 1 Recurrence relation These formulas hold for elliptic divisibility sequences and elliptic nets, according to whether the indices are considered in Z or a larger free abelian group See [5] 11 Definition Definition 11 in [5] 1) p + q + s) p q) r + s) r) + q + r + s) q r) p + s) p) + r + p + s) r p) q + s) q) = 0 1 Stephens form Due to Nelson Stephens Obtained from 1) by s a, r b a, p c a, q d a a + b) a b) c + d) c d) + a + c) a c) d + b) d b) 13 Brown form Due to Dan Brown; equation 3) in [1] + a + d) a d) b + c) b c) = 0 p) q) r) s) ) ) ) ) p + q + r + s p q + r + s p + q r + s p + q + r s ) ) ) ) p + q + r + s p + q r s p q + r s p q r + s = 0 Date: May, 01, Draft #1 1
2 14 ard s elliptic divisibility sequences recurrence relation Not sufficient for generating a net of higher rank Equation 411) in [9] Obtained from 1) by p n, q m, s 0, r 1 n + m) n m) 1) = n + 1) n 1) m) m + 1) m 1) n) 15 Miscellaneous special cases n) ) 1) = n) n + ) n 1) n ) n + 1) ), n + 1) 1) 3 = n + ) n) 3 n 1) n + 1) 3, nm) ) 1) = nm nm) n) 1) = ) nm + ) nm 1) nm ) nm ) ) ) nm+1) 1 nm 1) nm+1) + 1 nm 1) + 1 ) 16 Special cases for rank two nets Theorem 5 in [5] nm 1) 1 ) 1, 1) 1, 1) 3 = 0, 1) 3, 1) 1, 0) 3 1, ) nm+1) + 1) ), The following formulas assume some terms near the origin are equal to one: 1, 0) = 0, 1) = 1, 1) = 1 Equations 1)-17) in [6] i 1, 0) = i + 1, 0) i 1, 0) 3 i, 0) i, 0) 3, i, 0), 0) = i, 0) i +, 0) i 1, 0) i, 0) i, 0) i + 1, 0), k 1, 1) 1, 1) = k + 1, 1) k 1, 1) k 1, 0) k, 0) k, 0) k, 1), k, 1) = k 1, 1) k + 1, 1) k, 0) k 1, 0) k + 1, 0) k, 1), k + 1, 1) 1, 1) = k 1, 1) k + 1, 1) k + 1, 0) k, 0) k +, 0) k, 1), k +, 1), 1) = k + 1, 0) k + 3, 0) k, 1) k 1, 1) k + 1, 1) k +, 0), Complex Function Formulas 1 eierstrass σ-function definition of net polynomials See Definition 31 in [5] For n = 1 sequences), see Theorem 11 in [9] 1) n = 1: ) n = : 3) general n: Ω u,v z, w; Λ) = Ω v z; Λ) = Ω v z; Λ) = σvz; Λ) σz; Λ) v σuz + vw; Λ) σz; Λ) u uv σz + w; Λ) uv σw; Λ) v uv σv 1 z v n z n ; Λ) n σz i ; Λ) v i n j=1 v iv j σz i + z j ; Λ) v iv j i=1 1 i,j n i j )
3 Complex function identities See Lemmas 35 and 36 in [5] For the first equation, see also [] or any book on elliptic functions σz + w)σz w) z) w) =, σz) σw) v z) w z) = Ω v+wz)ω v w z) Ω v z) Ω w z), ζx + a) ζa) ζx + b) + ζb) = ζx + a + b) ζx + a) ζx + b) + ζx) = 3 Division and Net polynomials σx + a + b)σx)σa b) σx + a)σx + b)σa)σb), σx + a + b)σa)σb) σx + a + b)σx + a)σx + b)σx) 31 Division polynomials See [], [3, p80], [4, Exercise 37] or many other resources Ψ 1 = 1, Ψ = y + a 1 x + a 3, Ψ 3 = 3x 4 + b x 3 + 3b 4 x + 3b 6 x + b 8, Ψ 4 = y + a 1 x + a 3 )x 6 + b x 5 + 5b 4 x b 6 x b 8 x + b b 8 b 4 b 6 )x + b 4 b 8 b 6); 3 Net polynomials See Proposition 38 in [5] 1) for n = : ) for n = 3: Ψ 1, 1) = x x 1, ) ) y y 1 y y 1 Ψ,1) = x 1 + x a 1 + a, x x 1 x x 1 Ψ, 1) = y 1 + y ) x 1 + x )x 1 x ) ; Ψ 1,1,1) = y 1x x 3 ) + y x 3 x 1 ) + y 3 x 1 x ), x 1 x )x 1 x 3 )x x 3 ) Ψ 1,1,1) = y 1x x 3 ) y x 3 x 1 ) y 3 x 1 x ) + a 1 x 1 + a 3, x x 3 ) Ψ 1, 1,1) = y 1x x 3 ) + y x 3 x 1 ) y 3 x 1 x ) + a 1 x + a 3, x 3 x 1 ) Ψ 1,1, 1) = y 1x x 3 ) y x 3 x 1 ) + y 3 x 1 x ) + a 1 x 3 + a 3 x 1 x ) 4 Formulas relating curves and nets 41 Points in terms of division polynomials See any of the resources in Section 31 Define φ m = xp )Ψ m Ψ m+1 Ψ m 1, 4yω m = Ψ m+ Ψ m 1 Ψ m Ψ m+1 3
4 Then [m]p = φm P ) Ψ m P ), ω ) mp ), Ψ m P ) 3 x[m]p ) x[n]p ) = Ψ m+np )Ψ m n P ) Ψ mp )Ψ np ) 4 Curves from sequences and nets, rank 1 For the case n = 1, the simplest formulas are given in Theorem 453 in [8] C : y + a 1 xy + a 3 y = x 3 + a x + a 4 x + a 6, P = 0, 0), a 1 = 4) + )5 ) 3) ) 3) a = ) 3) + 4) + ) 5 ) 3) ) 3 3) a 3 = ), a 4 = 1, a 6 = 0 Morgan ard had more complicated formulas for the usual g and g 4 giving an elliptic curve equations 136) and 137) of [9]): g = g 3 = u) = ) ) u) = ) For n =, see Proposition 64 and Remark 66 in [5] 1) in rank n = : C : y + a 1 xy + a 3 y = x 3 + a x + a 4 x + a 6, P 1 = 0, 0), P =, 1) 1, ), 0), a 1 =, 0) 0, ), 1) 1, ), a =, 1) 1, ), a 3 =, 0) a 4 =, 1) 1, )), 1), a 6 = 0 4
5 ) alternative in rank n = and characteristic : C : y + a 1 xy + a 3 y = x 3 + a x + a 4 x + a 6, P 1 = v, 0), P = v, 0),, a 1 = v =, 1) 1, ),, 0) 0, ), 1) 1, ), a =, 1) + 1, ), a 3 =, 0) + 0, ) 4a 4 =, 1) 1, )), 8a 6 =, 1) 1, )), 1) + 1, )) 5 Change of basis for elliptic nets See Proposition 43 in [5] Let T be any n m matrix Let P E m, v Z n n E,P T tr v)) = E,T P) v) E,P T tr e i )) v i v i j i v j) E,P T tr e i + e j )) v iv j i=1 6 Partial periodicity 1 i<j n 61 Periodicity formulas for non-degenerate elliptic nets The rank n = 1 case is Theorem 81 in [9] For rank n =, see Theorem 5 in [7] 1) rank n = 1 with E,P r) = 0: a = ) rank n = with E,P,Q r) = 0: a r = E,P sr + k) = E,P k)a sk b s E,P r + ) E,P r + 1) E,P ), b = E,P r + 1) E,P ) E,P r + ) E,P,Q lr + k) = E,P,Q k)a lk 1 E,P,Q r 1 +, r ) E,P,Q r 1 + 1, r ) E,P,Q, 0), b r = c r = E,P,Qr 1 + 1, r + 1) a r b r E,P,Q 1, 1) r b lk r c l r E,P,Q r 1, r + ) E,P,Q r 1, r + 1) E,P,Q 0, ), 6 Perfectly periodic elliptic divisibility sequence and elliptic net over F q See Theorem 6 in [7] ) 1 E,P q 1) ordp ) φp ) =, E,P q 1 + ordp )) n φv P) = E,P v) φp i ) v i v i j i v j) i=1 5 1 i<j n φp i + P j ) v iv j
6 7 Tate-Lichtenbaum and eil pairing formulas These are all from [6]; see Theorem 6 and Corollary 1 Special cases: mp + q + s)s) τ m P, Q) = mp + s)q + s), mp + q + s)p + s)mq + s) e m P, Q) = mp + s)q + s)p + mq + s) τ m P, P ) = P m + ) P 1) P m + 1) P ), τ m P, Q) = P,Qm + 1, 1) P,Q 1, 0) P,Q m + 1, 0) P,Q 1, 1) 8 Discrete log Type Equations Equations 9) and 11) in [7] Suppose [m]p = O and Q = [k]p ) k ) m E,P,Q m + 1, 0) E,P,Q, 0) E,P k 1) = ) E,P,Q1, m) E,P,Q, 0), E,P,Q m +, 0) E,P k) E,P,Q, m) E,P,Q 1, 1) m E,P m + 1) k+1 = ) mm+) E,P,Qm + 1, m + 1) E,P k + 1) E,P,Q 0, m + 1) E,P k) Acknowledgements Thank you to Dan Brown for corrections References [1] Daniel R L Brown Stange s elliptic nets and coxeter group f4 Cryptology eprint Archive, Report 010/161, [] K Chandrasekharan Elliptic functions, volume 81 of Grundlehren der Mathematischen issenschaften [Fundamental Principles of Mathematical Sciences] Springer-Verlag, Berlin, 1985 [3] Gerhard Frey and Tanja Lange Background on curves and Jacobians In Handbook of elliptic and hyperelliptic curve cryptography, Discrete Math Appl Boca Raton), pages Chapman & Hall/CRC, Boca Raton, FL, 006 [4] Joseph H Silverman The arithmetic of elliptic curves, volume 106 of Graduate Texts in Mathematics Springer, Dordrecht, second edition, 009 [5] Katherine Stange Elliptic nets and elliptic curves Algebra Number Theory, 5):197 9, 011 [6] Katherine E Stange The Tate pairing via elliptic nets In Pairing-Based Cryptography - PAIRING 007, volume 4575 of Lecture Notes in Comput Sci, pages Springer, Berlin, 007 [7] Katherine E Stange The elliptic curve discrete logarithm problem and equivalent hard problems for elliptic divisibility sequences In Selected Areas in Cryptography 008, volume 5381 of Lecture Notes in Comput Sci, pages Springer, Berlin, 009 [8] Christine Swart Elliptic curves and related sequences PhD thesis, Royal Holloway and Bedford New College, University of London, 003 [9] Morgan ard Memoir on elliptic divisibility sequences Amer J Math, 70:31 74, 1948 Department of Mathematics, Stanford University, 450 Serra Mall, Bldg 380, Stanford, CA address: stange@mathstanfordedu 6
The Tate Pairing via Elliptic Nets
The Tate Pairing via Elliptic Nets Katherine E. Stange Brown University stange@math.brown.edu November 8, 2006 Abstract We derive a new algorithm for computing the Tate pairing on an elliptic curve over
More informationElliptic Nets With Applications to Cryptography
Elliptic Nets With Applications to Cryptography Katherine Stange Brown University http://www.math.brown.edu/~stange/ Elliptic Divisibility Sequences: Seen In Their Natural Habitat Example Elliptic Divisibility
More informationElliptic Nets and Points on Elliptic Curves
Department of Mathematics Brown University http://www.math.brown.edu/~stange/ Algorithmic Number Theory, Turku, Finland, 2007 Outline Geometry and Recurrence Sequences 1 Geometry and Recurrence Sequences
More informationThe Tate Pairing via Elliptic Nets
The Tate Pairing via Elliptic Nets Katherine E. Stange Brown University, Providence, RI 02912, USA Abstract. We derive a new algorithm for computing the Tate pairing on an elliptic curve over a finite
More informationElliptic Nets How To Catch an Elliptic Curve Katherine Stange USC Women in Math Seminar November 7,
Elliptic Nets How To Catch an Elliptic Curve Katherine Stange USC Women in Math Seminar November 7, 2007 http://www.math.brown.edu/~stange/ Part I: Elliptic Curves are Groups Elliptic Curves Frequently,
More informationA Note on Scalar Multiplication Using Division Polynomials
1 A Note on Scalar Multiplication Using Division Polynomials Binglong Chen, Chuangqiang Hu and Chang-An Zhao Abstract Scalar multiplication is the most important and expensive operation in elliptic curve
More informationELLIPTIC CURVES OVER FINITE FIELDS
Further ELLIPTIC CURVES OVER FINITE FIELDS FRANCESCO PAPPALARDI #4 - THE GROUP STRUCTURE SEPTEMBER 7 TH 2015 SEAMS School 2015 Number Theory and Applications in Cryptography and Coding Theory University
More informationKatherine Stange. Pairing, Tokyo, Japan, 2007
via via Department of Mathematics Brown University http://www.math.brown.edu/~stange/ Pairing, Tokyo, Japan, 2007 Outline via Definition of an elliptic net via Definition (KS) Let R be an integral domain,
More informationAn introduction to the algorithmic of p-adic numbers
An introduction to the algorithmic of p-adic numbers David Lubicz 1 1 Universté de Rennes 1, Campus de Beaulieu, 35042 Rennes Cedex, France Outline Introduction 1 Introduction 2 3 4 5 6 7 8 When do we
More informationKatherine Stange. ECC 2007, Dublin, Ireland
in in Department of Brown University http://www.math.brown.edu/~stange/ in ECC Computation of ECC 2007, Dublin, Ireland Outline in in ECC Computation of in ECC Computation of in Definition A integer sequence
More informationA tour through Elliptic Divisibility Sequences
A tour through Elliptic Divisibility Sequences Victor S. Miller CCR Princeton Princeton, NJ 08540 15 April 2010 Points and their denominators Let E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6
More informationp-adic Properites of Elliptic Divisibility Sequences Joseph H. Silverman
p-adic Properites of Elliptic Divisibility Sequences Joseph H. Silverman Brown University ICMS Workshop on Number Theory and Computability Edinburgh, Scotland Wednesday, June 27, 2007 0 Elliptic Divisibility
More informationarxiv:math/ v1 [math.nt] 25 Feb 2004
The Sign of an Elliptic Divisibility Sequence arxiv:math/0402415v1 [math.nt] 25 Feb 2004 JOSEPH H. SILVERMAN AND NELSON STEPHENS Abstract. An elliptic divisibility sequence (EDS) is a sequence of integers
More informationThe Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013
The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.
More informationPollard s Rho Algorithm for Elliptic Curves
November 30, 2015 Consider the elliptic curve E over F 2 k, where E = n. Assume we want to solve the elliptic curve discrete logarithm problem: find k in Q = kp. Partition E into S 1 S 2 S 3, where the
More informationAN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES
AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES Abstract. We give a proof of the group law for elliptic curves using explicit formulas. 1. Introduction In the following K will denote an algebraically
More informationA FAMILY OF INTEGER SOMOS SEQUENCES
A FAMILY OF INTEGER SOMOS SEQUENCES BETÜL GEZER, BUSE ÇAPA OSMAN BİZİM Communicated by Alexru Zahărescu Somos sequences are sequences of rational numbers defined by a bilinear recurrence relation. Remarkably,
More informationDynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman
Dynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman Brown University Conference on the Arithmetic of K3 Surfaces Banff International Research Station Wednesday,
More informationELLIOT WELLS. n d n h(φ n (P));
COMPUTING THE CANONICAL HEIGHT OF A POINT IN PROJECTIVE SPACE arxiv:1602.04920v1 [math.nt] 16 Feb 2016 ELLIOT WELLS Abstract. We give an algorithm which requires no integer factorization for computing
More informationComputing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q John Cremona 1 and Samir Siksek 2 1 School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7
More informationA note on López-Dahab coordinates
A note on López-Dahab coordinates Tanja Lange Faculty of Mathematics, Matematiktorvet - Building 303, Technical University of Denmark, DK-2800 Kgs. Lyngby, Denmark tanja@hyperelliptic.org Abstract López-Dahab
More informationA Remark on Implementing the Weil Pairing
A Remark on Implementing the Weil Pairing Cheol Min Park 1, Myung Hwan Kim 1 and Moti Yung 2 1 ISaC and Department of Mathematical Sciences, Seoul National University, Korea {mpcm,mhkim}@math.snu.ac.kr
More informationCONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT
MATHEMATICS OF COMPUTATION Volume 66, Number 217, January 1997, Pages 411 415 S 0025-5718(97)00779-5 CONSTRUCTION OF HIGH-RANK ELLIPTIC CURVES WITH A NONTRIVIAL TORSION POINT KOH-ICHI NAGAO Abstract. We
More informationBackground of Pairings
Background of Pairings Tanja Lange Department of Mathematics and Computer Science Technische Universiteit Eindhoven The Netherlands tanja@hyperelliptic.org 04.09.2007 Tanja Lange Background of Pairings
More informationCONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES. Reinier Bröker
CONSTRUCTING SUPERSINGULAR ELLIPTIC CURVES Reinier Bröker Abstract. We give an algorithm that constructs, on input of a prime power q and an integer t, a supersingular elliptic curve over F q with trace
More informationDifferential Addition in generalized Edwards Coordinates
Differential Addition in generalized Edwards Coordinates Benjamin Justus and Daniel Loebenberger Bonn-Aachen International Center for Information Technology Universität Bonn 53113 Bonn Germany Abstract.
More informationElliptic curves and modularity
Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given
More informationON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS
ON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS OLGA VARGHESE Abstract. Graph products and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then
More informationAspects of Pairing Inversion
Applications of Aspects of ECC 2007 - Dublin Aspects of Applications of Applications of Aspects of Applications of Pairings Let G 1, G 2, G T be groups of prime order r. A pairing is a non-degenerate bilinear
More informationThe rank of certain subfamilies of the elliptic curve Y 2 = X 3 X + T 2
Annales Mathematicae et Informaticae 40 2012) pp. 145 15 http://ami.ektf.hu The rank of certain subfamilies of the elliptic curve Y 2 = X X + T 2 Petra Tadić Institute of Analysis and Computational Number
More informationTAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS
TAMAGAWA NUMBERS OF ELLIPTIC CURVES WITH C 13 TORSION OVER QUADRATIC FIELDS FILIP NAJMAN Abstract. Let E be an elliptic curve over a number field K c v the Tamagawa number of E at v and let c E = v cv.
More informationDION 2005 TIFR December 17, The role of complex conjugation in transcendental number theory
The role of complex conjugation in transcendental number theory Michel Waldschmidt Institut de Mathématiques de Jussieu + CIMPA http://www.math.jussieu.fr/ miw/ December 17, 2005 DION 2005 TIFR December
More informationIntroduction 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 informationHyperelliptic Curve Cryptography
Hyperelliptic Curve Cryptography A SHORT INTRODUCTION Definition (HEC over K): Curve with equation y 2 + h x y = f x with h, f K X Genus g deg h(x) g, deg f x = 2g + 1 f monic Nonsingular 2 Nonsingularity
More informationPrimitive Sets of a Lattice and a Generalization of Euclidean Algorithm
Primitive Sets of a Lattice and a Generalization of Euclidean Algorithm Spyros. S. Magliveras Center for Cryptology and Information Security Department of Mathematical Sciences Florida Atlantic University
More informationarxiv:math/ v1 [math.nt] 21 Nov 2003
arxiv:math/0311391v1 [math.nt] 21 Nov 2003 IMPROVED WEIL AND TATE PAIRINGS FOR ELLIPTIC AND HYPERELLIPTIC CURVES KIRSTEN EISENTRÄGER, KRISTIN LAUTER, AND PETER L. MONTGOMERY Abstract. We present algorithms
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationRepresenting Scott Sets in Algebraic Settings
Wellesley College Wellesley College Digital Scholarship and Archive Faculty Research and Scholarship 8-2015 Representing Scott Sets in Algebraic Settings Alf Dolich Julia F. Knight Karen Lange klange2@wellesley.edu
More informationMANIN-MUMFORD AND LATTÉS MAPS
MANIN-MUMFORD AND LATTÉS MAPS JORGE PINEIRO Abstract. The present paper is an introduction to the dynamical Manin-Mumford conjecture and an application of a theorem of Ghioca and Tucker to obtain counterexamples
More informationHERON TRIANGLES VIA ELLIPTIC CURVES
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 36, Number 5, 006 HERON TRIANGLES VIA ELLIPTIC CURVES EDRAY HERBER GOINS AND DAVIN MADDOX ABSTRACT. Given a positive integer n, one may ask if there is a right
More informationERIC LARSON AND LARRY ROLEN
PROGRESS TOWARDS COUNTING D 5 QUINTIC FIELDS ERIC LARSON AND LARRY ROLEN Abstract. Let N5, D 5, X) be the number of quintic number fields whose Galois closure has Galois group D 5 and whose discriminant
More informationWeak discrete logarithms in non-abelian groups
Weak discrete logarithms in non-abelian groups Ivana Ilić, Spyros S. Magliveras Department of Mathematical Sciences, Florida Atlantic University 777 Glades Road, Boca Raton, FL 33431, U.S.A. iilic@fau.edu,
More informationINDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS
INDEFINITE QUADRATIC FORMS AND PELL EQUATIONS INVOLVING QUADRATIC IDEALS AHMET TEKCAN Communicated by Alexandru Zaharescu Let p 1(mod 4) be a prime number, let γ P + p Q be a quadratic irrational, let
More informationSome new families of positive-rank elliptic curves arising from Pythagorean triples
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 24, 2018, No. 3, 27 36 DOI: 10.7546/nntdm.2018.24.3.27-36 Some new families of positive-rank elliptic curves
More informationarxiv: v1 [math.gr] 8 Nov 2008
SUBSPACES OF 7 7 SKEW-SYMMETRIC MATRICES RELATED TO THE GROUP G 2 arxiv:0811.1298v1 [math.gr] 8 Nov 2008 ROD GOW Abstract. Let K be a field of characteristic different from 2 and let C be an octonion algebra
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationAVERAGE RECIPROCALS OF THE ORDER OF a MODULO n
AVERAGE RECIPROCALS OF THE ORDER OF a MODULO n KIM, SUNGJIN Abstract Let a > be an integer Denote by l an the multiplicative order of a modulo integers n We prove that l = an Oa ep 2 + o log log, n,n,a=
More informationOn the Distribution of the Subset Sum Pseudorandom Number Generator on Elliptic Curves
On the Distribution of the Subset Sum Pseudorandom Number Generator on Elliptic Curves Simon R. Blacburn Department of Mathematics Royal Holloway University of London Egham, Surrey, TW20 0EX, UK s.blacburn@rhul.ac.u
More informationNo.6 Selection of Secure HC of g = divisors D 1, D 2 defined on J(C; F q n) over F q n, to determine the integer m such that D 2 = md 1 (if such
Vol.17 No.6 J. Comput. Sci. & Technol. Nov. 2002 Selection of Secure Hyperelliptic Curves of g = 2 Based on a Subfield ZHANG Fangguo ( ) 1, ZHANG Futai ( Ξ) 1;2 and WANG Yumin(Π±Λ) 1 1 P.O.Box 119 Key
More informationON THE NÉRON-SEVERI GROUP OF SURFACES WITH MANY LINES
ON THE NÉRON-SEVERI GROUP OF SURFACES WITH MANY LINES SAMUEL BOISSIÈRE AND ALESSANDRA SARTI Abstract. For a binary quartic form φ without multiple factors, we classify the quartic K3 surfaces φ(x, y) =
More informationInvariant Polynomials and Minimal Zero Sequences
Invariant Polynomials and Minimal Zero Sequences Bryson W. Finklea St. John s College (undergraduate Terri Moore University of Washington (undergraduate Vadim Ponomarenko Department of Mathematics and
More informationTwists of elliptic curves of rank at least four
1 Twists of elliptic curves of rank at least four K. Rubin 1 Department of Mathematics, University of California at Irvine, Irvine, CA 92697, USA A. Silverberg 2 Department of Mathematics, University of
More informationHans Wenzl. 4f(x), 4x 3 + 4ax bx + 4c
MATH 104C NUMBER THEORY: NOTES Hans Wenzl 1. DUPLICATION FORMULA AND POINTS OF ORDER THREE We recall a number of useful formulas. If P i = (x i, y i ) are the points of intersection of a line with the
More informationON A FAMILY OF ELLIPTIC CURVES
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 005 ON A FAMILY OF ELLIPTIC CURVES by Anna Antoniewicz Abstract. The main aim of this paper is to put a lower bound on the rank of elliptic
More informationThe Number of Rational Points on Elliptic Curves and Circles over Finite Fields
Vol:, No:7, 008 The Number of Rational Points on Elliptic Curves and Circles over Finite Fields Betül Gezer, Ahmet Tekcan, and Osman Bizim International Science Index, Mathematical and Computational Sciences
More informationHomework 4 Solutions
Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite
More informationarxiv: v1 [math.lo] 14 Jan 2008
A.Miller Recursion Theorem 1 The Recursion Theorem and Infinite Sequences Abstract Arnold W. Miller 1 arxiv:0801.2097v1 [math.lo] 14 Jan 2008 In this paper we use the Recursion Theorem to show the existence
More informationSome Efficient Algorithms for the Final Exponentiation of η T Pairing
Some Efficient Algorithms for the Final Exponentiation of η T Pairing Masaaki Shirase 1, Tsuyoshi Takagi 1, and Eiji Okamoto 2 1 Future University-Hakodate, Japan 2 University of Tsukuba, Japan Abstract.
More informationOn some congruence properties of elliptic curves
arxiv:0803.2809v5 [math.nt] 19 Jun 2009 On some congruence properties of elliptic curves Derong Qiu (School of Mathematical Sciences, Institute of Mathematics and Interdisciplinary Science, Capital Normal
More informationThe canonical height of an algebraic point on an elliptic curve
The canonical height of an algebraic point on an elliptic curve G. Everest and T. Ward Abstract. We use elliptic divisibility sequences to describe a method for estimating the global canonical height of
More informationFast arithmetic and pairing evaluation on genus 2 curves
Fast arithmetic and pairing evaluation on genus 2 curves David Freeman University of California, Berkeley dfreeman@math.berkeley.edu November 6, 2005 Abstract We present two algorithms for fast arithmetic
More informationTHERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11
THERE ARE NO ELLIPTIC CURVES DEFINED OVER Q WITH POINTS OF ORDER 11 ALLAN LACY 1. Introduction If E is an elliptic curve over Q, the set of rational points E(Q), form a group of finite type (Mordell-Weil
More informationALBIME TRIANGLES OVER QUADRATIC FIELDS. 1. Introduction. The motivation for the present note is the following.
ALBIME TRIANGLES OVER QUADRATIC FIELDS JASBIR S. CHAHAL AND JAAP TOP ABSTRACT. This note uses a diophantine problem arising in elementary geometry as an excuse to illustrate some theory of elliptic curves.
More informationThe diagonal property for abelian varieties
The diagonal property for abelian varieties Olivier Debarre Dedicated to Roy Smith on his 65th birthday. Abstract. We study complex abelian varieties of dimension g that have a vector bundle of rank g
More informationGENERATORS OF JACOBIANS OF GENUS TWO CURVES
GENERATORS OF JACOBIANS OF GENUS TWO CURVES CHRISTIAN ROBENHAGEN RAVNSHØJ Abstract. We prove that in most cases relevant to cryptography, the Frobenius endomorphism on the Jacobian of a genus two curve
More informationErrata List for Rational Points on Elliptic Curves by Joseph H. Silverman and John Tate Version 1.3a July 5, 1994; revised by JEC, 1998
Errata List for Rational Points on Elliptic Curves by Joseph H. Silverman and John Tate Version 1.3a July 5, 1994; revised by JEC, 1998 The authors would like to thank the following individuals for their
More informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving
More informationON TORSION POINTS ON AN ELLIPTIC CURVES VIA DIVISION POLYNOMIALS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLIII 2005 ON TORSION POINTS ON AN ELLIPTIC CURVES VIA DIVISION POLYNOMIALS by Maciej Ulas Abstract. In this note we propose a new way to prove Nagel
More informationELLIPTIC CURVES SEMINAR: SIEGEL S THEOREM
ELLIPTIC CURVES SEMINAR: SIEGEL S THEOREM EVAN WARNER 1. Siegel s Theorem over Q 1.1. Statement of theorems. Siegel s theorem, in its simplest form, is the fact that a nonsingular elliptic curve contains
More informationHyperelliptic Jacobians in differential Galois theory (preliminary report)
Hyperelliptic Jacobians in differential Galois theory (preliminary report) Jerald J. Kovacic Department of Mathematics The City College of The City University of New York New York, NY 10031 jkovacic@member.ams.org
More informationRepresenting Scott Sets in Algebraic Settings
Representing Scott Sets in Algebraic Settings Alf Dolich Kingsborough Community College Julia F. Knight University of Notre Dame Karen Lange Wellesley College David Marker University of Illinois at Chicago
More informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More informationTHE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE
THE NUMBER OF TWISTS WITH LARGE TORSION OF AN ELLITPIC CURVE FILIP NAJMAN Abstract. For an elliptic curve E/Q, we determine the maximum number of twists E d /Q it can have such that E d (Q) tors E(Q)[2].
More informationThe upper triangular algebra loop of degree 4
The upper triangular algebra loop of degree 4 Michael Munywoki Joint With K.W. Johnson and J.D.H. Smith Iowa State University Department of Mathematics Third Mile High Conference on Nonassociative Mathematics
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationScalar multiplication in compressed coordinates in the trace-zero subgroup
Scalar multiplication in compressed coordinates in the trace-zero subgroup Giulia Bianco and Elisa Gorla Institut de Mathématiques, Université de Neuchâtel Rue Emile-Argand 11, CH-2000 Neuchâtel, Switzerland
More information1 Brownian Local Time
1 Brownian Local Time We first begin by defining the space and variables for Brownian local time. Let W t be a standard 1-D Wiener process. We know that for the set, {t : W t = } P (µ{t : W t = } = ) =
More informationCurves, Cryptography, and Primes of the Form x 2 + y 2 D
Curves, Cryptography, and Primes of the Form x + y D Juliana V. Belding Abstract An ongoing challenge in cryptography is to find groups in which the discrete log problem hard, or computationally infeasible.
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationINTRODUCTION TO GALOIS THEORY. 1. Introduction and History. one of the most interesting and dramatic tales in the history of mathematics.
INTRODUCTION TO GALOIS THEORY JASON PRESZLER 1. Introduction and History The life of Évariste Galois and the historical development of polynomial solvability is one of the most interesting and dramatic
More informationTwo Efficient Algorithms for Arithmetic of Elliptic Curves Using Frobenius Map
Two Efficient Algorithms for Arithmetic of Elliptic Curves Using Frobenius Map Jung Hee Cheon, Sungmo Park, Sangwoo Park, and Daeho Kim Electronics and Telecommunications Research Institute, 161 Kajong-Dong,Yusong-Gu,
More informationOn transitive polynomials modulo integers
Notes on Number Theory and Discrete Mathematics Print ISSN 1310 5132, Online ISSN 2367 8275 Vol. 22, 2016, No. 2, 23 35 On transitive polynomials modulo integers Mohammad Javaheri 1 and Gili Rusak 2 1
More informationElGamal type signature schemes for n-dimensional vector spaces
ElGamal type signature schemes for n-dimensional vector spaces Iwan M. Duursma and Seung Kook Park Abstract We generalize the ElGamal signature scheme for cyclic groups to a signature scheme for n-dimensional
More information:= {(x,y) K 2 y 2 = x 3 +ax+b} {O}
AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES arxiv:1710.00214v1 [math.ag] 30 Sep 27 STEFAN FRIEDL Abstract. We give an elementary proof of the group law for elliptic curves using explicit formulas.
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationElliptic Curves Spring 2017 Lecture #5 02/22/2017
18.783 Elliptic Curves Spring 017 Lecture #5 0//017 5 Isogenies In almost every branch of mathematics, when considering a category of mathematical objects with a particular structure, the maps between
More informationTHE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE. In memory of A. Pe lczyński
THE DUAL FORM OF THE APPROXIMATION PROPERTY FOR A BANACH SPACE AND A SUBSPACE T. FIGIEL AND W. B. JOHNSON Abstract. Given a Banach space X and a subspace Y, the pair (X, Y ) is said to have the approximation
More informationTHE p-adic VALUATION OF LUCAS SEQUENCES
THE p-adic VALUATION OF LUCAS SEQUENCES CARLO SANNA Abstract. Let (u n) n 0 be a nondegenerate Lucas sequence with characteristic polynomial X 2 ax b, for some relatively prime integers a and b. For each
More informationinv lve a journal of mathematics 2008 Vol. 1, No. 2 Invariant polynomials and minimal zero sequences mathematical sciences publishers
inv lve a journal of mathematics Invariant polynomials and minimal zero sequences Bryson W. Finklea, Terri Moore, Vadim Ponomarenko and Zachary J. Turner mathematical sciences publishers 2008 Vol. 1, No.
More informationFast hashing to G2 on pairing friendly curves
Fast hashing to G2 on pairing friendly curves Michael Scott, Naomi Benger, Manuel Charlemagne, Luis J. Dominguez Perez, and Ezekiel J. Kachisa School of Computing Dublin City University Ballymun, Dublin
More informationALGORITHMIC INVARIANTS FOR ALEXANDER MODULES
ALGORITHMIC INVARIANTS FOR ALEXANDER MODULES J. GAGO-VARGAS, M.I. HARTILLO-HERMOSO, AND J.M. UCHA-ENRÍQUEZ Abstract. Let G be a group given by generators and relations. It is possible to compute a presentation
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationConstruction of pseudorandom binary lattices using elliptic curves
Construction of pseudorandom binary lattices using elliptic curves László Mérai Abstract In an earlier paper Hubert, Mauduit and Sárközy introduced and studied the notion of pseudorandomness of binary
More informationANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy
ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating
More informationSpeeding up the Scalar Multiplication on Binary Huff Curves Using the Frobenius Map
International Journal of Algebra, Vol. 8, 2014, no. 1, 9-16 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2014.311117 Speeding up the Scalar Multiplication on Binary Huff Curves Using the
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationAn Introduction to Supersingular Elliptic Curves and Supersingular Primes
An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such
More informationSimplifying Coefficients in a Family of Ordinary Differential Equations Related to the Generating Function of the Laguerre Polynomials
Available at http://pvamu.edu/aam Appl. Appl. Math. ISSN: 1932-9466 Applications and Applied Mathematics: An International Journal (AAM Vol. 13, Issue 2 (December 2018, pp. 750 755 Simplifying Coefficients
More information. Here the flats of H(2d 1, q 2 ) consist of all nonzero totally isotropic
NEW BOUNDS FOR PARTIAL SPREADS OF H(d 1, ) AND PARTIAL OVOIDS OF THE REE-TITS OCTAGON FERDINAND IHRINGER, PETER SIN, QING XIANG ( ) Abstract Our first result is that the size of a partial spread of H(,
More information