14,678 research outputs found

    Index Calculus in Class Groups of Plane Curves of Small Degree

    Get PDF
    We present a novel index calculus algorithm for the discrete logarithm problem (DLP) in degree 0 class groups of curves over finite fields. A heuristic analysis of our algorithm indicates that asymptotically for varying q, ``essentially all\u27\u27 instances of the DLP in degree 0 class groups of curves represented by plane models of a fixed degree d over Fq\mathbb{F}_q can be solved in an expected time of O~(q2−2/(d−2))\tilde{O}(q^{2 -2/(d-2)}). A particular application is that heuristically, ``essentially all\u27\u27 instances of the DLP in degree 0 class groups of non-hyperelliptic curves of genus 3 (represented by plane curves of degree 4) can be solved in an expected time of O~(q)\tilde{O}(q). We also provide a method to represent ``sufficiently general\u27\u27 (non-hyperelliptic) curves of genus g≥3g \geq 3 by plane models of degree g+1g+1. We conclude that on heuristic grounds the DLP in degree 0 class groups of ``sufficiently general\u27\u27 curves of genus g≥3g \geq 3 (represented initially by plane models of bounded degree) can be solved in an expected time of O~(q2−2/(g−1))\tilde{O}(q^{2 -2/(g-1)})

    Discrete logarithms in curves over finite fields

    Get PDF
    A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields

    On rationality of the intersection points of a line with a plane quartic

    Full text link
    We study the rationality of the intersection points of certain lines and smooth plane quartics C defined over F_q. For q \geq 127, we prove the existence of a line such that the intersection points with C are all rational. Using another approach, we further prove the existence of a tangent line with the same property as soon as the characteristic of F_q is different from 2 and q \geq 66^2+1. Finally, we study the probability of the existence of a rational flex on C and exhibit a curious behavior when the characteristic of F_q is equal to 3.Comment: 17 pages. Theorem 2 now includes the characteristic 2 case; Conjecture 1 from the previous version is proved wron
    • …
    corecore