Compact representation of quadratic integers and integer points on some elliptic curves

Type: Article

Publication Date: 2010-12-01

Citations: 13

DOI: https://doi.org/10.1216/rmj-2010-40-6-1979

Abstract

where dj ∈ Z, αj = (aj+bj √ d) 2 ∈ Q( √ d), aj , bj ∈ Z, j = 1, . . . , k. Bounds on k, α and dj are given in [Mau], and all depend polynomially on log d. Compact representations are used to store the fundamental unit of the quadratic order OK . The reason for doing this is that, as is shown in [Lag], there is an infinite set of quadratic orders, such that the binary length of the fundamental unit is exponential in log d. This makes it impossible to create an algorithm for solving the Pell equation with complexity less than exponential. Compact representations are polynomial in log d, and allow faster algorithms for solving the Pell equation. This representation is an extension of a compact representation as defined in [BTW] from algebraic integers to all elements of Q∗( √ d). It is often useful to do modular arithmetic on compact representations, for example for determening the solvability of certain Diophantine equations, as seen in [JW]. We present an algorithm for computing the value of a quadratic integer represented by a compact representation as defined in [Mau]. In [BTW] and [JW] there are algorithms for doing modular arithmetic on compact representations as defined in [BTW], but to our knowledge there are no algorithms for doing modular arithmetic on compact representations as defined in [Mau]. The main problem is that the [BTW] representation requires that the partial products

Locations

  • Rocky Mountain Journal of Mathematics - View - PDF

Similar Works

Action Title Year Authors
+ Compact representation in real quadratic congruence function fields 1996 Renate Scheidler
+ Shorter Compact Representations in Real Quadratic Fields 2013 Alan K. Silvester
Michael J. Jacobson
Hugh C. Williams
+ Short Representation of Quadratic Integers 1995 Johannes Buchmann
Christoph Thiel
Hugh C. Williams
+ Quadratic forms representing large integers only 2023 Mingyu Kim
Byeong-Kweon Oh
+ Short Proofs Using Compact Representations of Algebraic Integers 1995 Christoph Thiel
+ Karim Belabas - S-units and compact representations in number fields 2020 Karim Belabas
Fanny Bastien
+ The representation of integers by binary quadratic rational forms 1954 Karl Goldberg
Morris Newman
E. G. Straus
J. D. Swift
+ PDF Chat On a certain type of primitive representations of rational integers as sum of squares 1984 A. Arenas
+ Integers represented by ternary quadratic forms 1999 Ken Ono
K. Soundararajan
+ Polynomial byte representation and modular multiplication 2009 E. Desurvire
+ PDF Chat Diophantine representation of Mersenne and Fermat primes 1979 James C. Peyton Jones
+ Representation of an Integer by a Quadratic Form through the Cornacchia Algorithm 2024 Moumouni Djassibo Woba
+ Algebraic factorization of integers using BDE's 2000 HJ Messerschmidt
Jack M. Robertson
+ Representation of large numbers by binary quadratic forms 1998 E. P. Golubeva
+ Some Results Concerning the Explicit Isomorphism Problem over Number Fields 2016 Péter Kutas
+ PDF Chat On the representations of integers by the sextenary quadratic form <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>y</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>z</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:mn>7</mml:mn><mml:msup><mml:mi>s</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:mn>7</mml:mn><mml… 2008 Alexander Bérkovich
Hamza Yesilyurt
+ Quadratic forms and quaternion algebras: algorithms and arithmetic 2005 John Voight
H. W. Lenstra
+ Powerfree integers represented by linear forms 1949 Harold N. Shapiro
+ Semi-primitive roots and the discrete logarithm module $2^k$ 2022 Bianca Sosnovski
+ Expressing Primes as Quadratic Forms of Integers 1996 Ernst Snapper