Skip to main content Accessibility help
×
Home

Fast heuristic algorithms for computing relations in the class group of a quadratic order, with applications to isogeny evaluation

  • Jean-François Biasse (a1), Claus Fieker (a2) and Michael J. Jacobson (a3)

Abstract

In this paper, we present novel algorithms for finding small relations and ideal factorizations in the ideal class group of an order in an imaginary quadratic field, where both the norms of the prime ideals and the size of the coefficients involved are bounded. We show how our methods can be used to improve the computation of large-degree isogenies and endomorphism rings of elliptic curves defined over finite fields. For these problems, we obtain improved heuristic complexity results in almost all cases and significantly improved performance in practice. The speed-up is especially high in situations where the ideal class group can be computed in advance.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      Fast heuristic algorithms for computing relations in the class group of a quadratic order, with applications to isogeny evaluation
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      Fast heuristic algorithms for computing relations in the class group of a quadratic order, with applications to isogeny evaluation
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      Fast heuristic algorithms for computing relations in the class group of a quadratic order, with applications to isogeny evaluation
      Available formats
      ×

Copyright

References

Hide All
1. Ajtai, M., Kumar, R. and Sivakumar, D., ‘A sieve algorithm for the shortest lattice vector problem’, Proceedings of the Thirty-third Annual ACM Symposium on Theory of Computing, STOC ’01 (ACM, New York, 2001) 601610.
2. Bisson, G., ‘Computing endomorphism rings of elliptic curves under the GRH’, J. Math. Cryptol. 5 (2012) no. 2, 101114.
3. Bisson, G. and Sutherland, A., ‘Computing the endomorphism ring of an ordinary elliptic curve over a finite field’, J. Number Theory 131 (2011) no. 5, 815831. Elliptic Curve Cryptography.
4. Bröker, R., Xavier Charles, D. and Lauter, K., ‘Evaluating large degree isogenies and applications to pairing based cryptography’, Pairing-based Cryptography – Pairing 2008, Proceedings of Second International Conference, Egham, September 1–3, 2008 , Lecture Notes in Computer Science 5209 (eds Galbraith, S. and Paterson, K.; Springer, 2008) 100112.
5. Bröker, R., Lauter, K. and Sutherland, D., ‘Modular polynomials via isogeny volcanoes’, Math. Comput. 81 (2012) 12011231.
6. Childs, A., Jao, D. and Soukharev, V., ‘Constructing elliptic curve isogenies in quantum subexponential time’, J. Math. Cryptol. 8 (2013) no. 1, 129.
7. Cohen, H., A course in computational algebraic number theory , Graduate Texts in Mathematics 138 (Springer, 1991).
8. Dupont, R., ‘Moyenne arithmético-géométrique, suites de Borchardt et applications’, PhD Thesis, École Polytechnique, 2006.
9. Hafner, J. L. and McCurley, K. S., ‘A rigorous subexponential algorithm for computation of class groups’, J. Amer. Math. Soc. 2 (1989) 839850.
10. Jao, D., Miller, S. D. and Venkatesan, R., ‘Expander graphs based on GRH with an application to elliptic curve cryptography’, J. Number Theory 129 (2009) no. 6, 14911504.
11. Jao, D. and Soukharev, V., ‘A subexponential algorithm for evaluating large degree isogenies’, Algorithmic number theory , Lecture Notes in Computer Science 6197 (eds Hanrot, G., Morain, F. and Thomé, E.; Springer, Berlin, Heidelberg, 2010) 219233.
12. Klüners, J. and Pauli, S., ‘Computing residue class rings and picard groups of orders’, J. Algebra 292 (2005) no. 1, 4764.
13. Kohel, D., Lauter, K., Petit, C. and Tignol, J.-P., ‘On the quaternion l-isogeny path problem’, LMS J. Comput. Math. 17 (2014) 418432; 1.
14. Lenstra, A. K., Lenstra, H. W. Jr., Manasse, M. S. and Pollard, J. M., ‘The number field sieve’, STOC ’90: Proceedings of the Twenty-second Annual ACM Symposium on Theory of Computing (ACM, New York, 1990) 564572.
15. Pauderis, C. and Storjohann, A., ‘Computing the invariant structure of integer matrices: fast algorithms into practice’, International Symposium on Symbolic and Algebraic Computation, ISSAC’13, Boston, MA, June 26–29, 2013 (ed. Kauers, M.; ACM, New York, 2013) 307314.
16. Schoof, R., ‘Counting points on elliptic curves over finite fields’, J. Théor. Nombres Bordeaux 7 (1995) 219254.
17. Stephens-Davidowitz, N., ‘Dimension-preserving reductions between lattice problems’, http://www.noahsd.com/latticeproblems.pdf.
18. Sutherland, A., ‘On the evaluation of modular polynomials’, Proceedings of the Tenth Algorithmic Number Theory Symposium (ANTS X) , Open Book Series 1 (Mathematical Sciences Publishers, Berkeley, CA, 2013) 531555.
MathJax
MathJax is a JavaScript display engine for mathematics. For more information see http://www.mathjax.org.

MSC classification

Fast heuristic algorithms for computing relations in the class group of a quadratic order, with applications to isogeny evaluation

  • Jean-François Biasse (a1), Claus Fieker (a2) and Michael J. Jacobson (a3)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed