Skip to Main Content

Mathematics of Computation

Published by the American Mathematical Society since 1960 (published as Mathematical Tables and other Aids to Computation 1943-1959), Mathematics of Computation is devoted to research articles of the highest quality in computational mathematics.

ISSN 1088-6842 (online) ISSN 0025-5718 (print)

The 2020 MCQ for Mathematics of Computation is 1.78.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

On the discrete logarithm problem in class groups of curves
HTML articles powered by AMS MathViewer

by Claus Diem PDF
Math. Comp. 80 (2011), 443-475

Abstract:

We study the discrete logarithm problem in degree 0 class groups of curves over finite fields, with particular emphasis on curves of small genus. We prove that for every fixed $g \geq 2$, the discrete logarithm problem in degree 0 class groups of curves of genus $g$ can be solved in an expected time of $\tilde {\mathcal {O}}(q^{2 - \frac {2}{g}})$, where $\mathbb {F}_q$ is the ground field. This result generalizes a corresponding result for hyperelliptic curves given in imaginary quadratic representation with cyclic degree 0 class group, and just as this previous result, it is obtained via an index calculus algorithm with double large prime variation.

Generalizing this result, we prove that for fixed $g_0 \geq 2$ the discrete logarithm problem in class groups of all curves $\mathcal {C}/\mathbb {F}_q$ of genus $g \geq g_0$ can be solved in an expected time of $\tilde {\mathcal {O}}((q^{g})^{\frac {2}{g_0} (1 - \frac {1}{g_0})})$ and in an expected time of $\tilde {\mathcal {O}}(\# \mathrm {Cl}^0(\mathcal {C})^{\frac {2}{g_0} (1 - \frac {1}{g_0})})$.

As a complementary result we prove that for any fixed $n \in \mathbb {N}$ with $n \geq 2$ the discrete logarithm problem in the groups of rational points of elliptic curves over finite fields $\mathbb {F}_{q^n}$, $q$ a prime power, can be solved in an expected time of $\tilde {\mathcal {O}}(q^{2 - \frac {2}{n}})$.

Furthermore, we give an algorithm for the efficient construction of a uniformly randomly distributed effective divisor of a specific degree, given the curve and its $L$-polynomial.

References
Similar Articles
Additional Information
  • Claus Diem
  • Affiliation: University of Leipzig, Institute for Mathematics, Johannisgasse 26, 04103 Leipzig, Germany
  • Email: diem@math.uni-leipzig.de
  • Received by editor(s): November 26, 2008
  • Received by editor(s) in revised form: March 25, 2009
  • Published electronically: August 23, 2010
  • © Copyright 2010 by the author
  • Journal: Math. Comp. 80 (2011), 443-475
  • MSC (2010): Primary 11Y16; Secondary 14G50, 68Q25, 94A60
  • DOI: https://doi.org/10.1090/S0025-5718-2010-02281-1
  • MathSciNet review: 2728990