Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves

Loops and cycles play an important role in computing endomorphism rings of supersingular elliptic curves and related cryptosystems. For a supersingular elliptic curve E defined over 𝔽p2, if an imaginary quadratic order O can be embedded in End(E) and a prime L splits into two principal ideals in O,...

Full description

Bibliographic Details
Main Authors: Xiao Guanju, Luo Lixia, Deng Yingpu
Format: Article
Language:English
Published: De Gruyter 2021-05-01
Series:Journal of Mathematical Cryptology
Subjects:
Online Access:https://doi.org/10.1515/jmc-2020-0029
id doaj-901b77dc661f431985bdcc1c58edd201
record_format Article
spelling doaj-901b77dc661f431985bdcc1c58edd2012021-09-22T06:13:10ZengDe GruyterJournal of Mathematical Cryptology1862-29761862-29842021-05-0115145446410.1515/jmc-2020-0029Constructing Cycles in Isogeny Graphs of Supersingular Elliptic CurvesXiao Guanju0Luo Lixia1Deng Yingpu2Key Laboratory of Mathematics Mechanization, NCMIS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing100190, China; School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing100049, ChinaKey Laboratory of Mathematics Mechanization, NCMIS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing100190, China; School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing100049, ChinaKey Laboratory of Mathematics Mechanization, NCMIS, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing100190, China; School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing100049, ChinaLoops and cycles play an important role in computing endomorphism rings of supersingular elliptic curves and related cryptosystems. For a supersingular elliptic curve E defined over 𝔽p2, if an imaginary quadratic order O can be embedded in End(E) and a prime L splits into two principal ideals in O, we construct loops or cycles in the supersingular L-isogeny graph at the vertices which are next to j(E) in the supersingular ℓ-isogeny graph where ℓ is a prime different from L. Next, we discuss the lengths of these cycles especially for j(E) = 1728 and 0. Finally, we also determine an upper bound on primes p for which there are unexpected 2-cycles if ℓ doesn’t split in O.https://doi.org/10.1515/jmc-2020-0029elliptic curvesisogeny graphsloopscycles11g0511g1514h5294a60
collection DOAJ
language English
format Article
sources DOAJ
author Xiao Guanju
Luo Lixia
Deng Yingpu
spellingShingle Xiao Guanju
Luo Lixia
Deng Yingpu
Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves
Journal of Mathematical Cryptology
elliptic curves
isogeny graphs
loops
cycles
11g05
11g15
14h52
94a60
author_facet Xiao Guanju
Luo Lixia
Deng Yingpu
author_sort Xiao Guanju
title Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves
title_short Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves
title_full Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves
title_fullStr Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves
title_full_unstemmed Constructing Cycles in Isogeny Graphs of Supersingular Elliptic Curves
title_sort constructing cycles in isogeny graphs of supersingular elliptic curves
publisher De Gruyter
series Journal of Mathematical Cryptology
issn 1862-2976
1862-2984
publishDate 2021-05-01
description Loops and cycles play an important role in computing endomorphism rings of supersingular elliptic curves and related cryptosystems. For a supersingular elliptic curve E defined over 𝔽p2, if an imaginary quadratic order O can be embedded in End(E) and a prime L splits into two principal ideals in O, we construct loops or cycles in the supersingular L-isogeny graph at the vertices which are next to j(E) in the supersingular ℓ-isogeny graph where ℓ is a prime different from L. Next, we discuss the lengths of these cycles especially for j(E) = 1728 and 0. Finally, we also determine an upper bound on primes p for which there are unexpected 2-cycles if ℓ doesn’t split in O.
topic elliptic curves
isogeny graphs
loops
cycles
11g05
11g15
14h52
94a60
url https://doi.org/10.1515/jmc-2020-0029
work_keys_str_mv AT xiaoguanju constructingcyclesinisogenygraphsofsupersingularellipticcurves
AT luolixia constructingcyclesinisogenygraphsofsupersingularellipticcurves
AT dengyingpu constructingcyclesinisogenygraphsofsupersingularellipticcurves
_version_ 1717371858525880320