On isogeny graphs of supersingular elliptic curves over finite fields
type: Item
instance of: scholarly article
title: On isogeny graphs of supersingular elliptic curves over finite fields
zbMATH Open document ID: 1436.11067
author: Gora Adj
author: Omran Ahmadi
author: Alfred Menezes
published in: Finite Fields and their Applications
publication date: 2018-12-19T00:00:00Z
review text: Let \(\mathbb F_q\) be the finite field of \(q\) elements and characteristic \(p > 3\), and \(\bar{\mathbb F}_q\) its algebraic closure. Let \(\ell\) be a prime with \(\ell \neq p\). The isogeny graph \(\mathcal{H}(\bar{\mathbb F}_q)\) is a directed graph whose vertices are the \(\bar{\mathbb F}_q\)-isomorphism classes of elliptic curves defined over \(\mathbb F_q\), and whose directed arcs represent \(\mathbb F_q\)-isogenies of degree \(\ell\) between elliptic curves in the isomorphism classes. The subgraph \(\mathcal{G}_{\ell}(\bar{\mathbb F}_{p^2})\) of \(\mathcal{H}(\bar{\mathbb F}_{p^2})\) induced by the vertices corresponding to isomorphism classes of supersingular elliptic curves over \(\mathbb F_{p^2}\) is that is an expander graph. This property was used for the construction of some signature schemes and hash functions. In this paper, the authors investigate the supersingular isogeny graph \(\mathcal{G}(\mathbb F_{p^2})\) whose vertices are representatives of the \(\mathbb F_{p^2}\)-isomorphism classes of supersingular elliptic curves defined over \(\mathbb F_{p^2}\) and whose directed arcs represent \( \mathbb F_{p^2}\)-isogenies of degree \(\ell\) between the elliptic curves. More precisely, the three small subgraphs of \(G_{\ell}(\mathbb F_{p^2})\) whose vertices correspond to supersingular elliptic curves \(E\) over \(\mathbb F_{p^2}\) with \(t = p^2 + 1 - \# E(\mathbb F_{p^2}) \in \{0, -p, p\}\) are completely described, and the two large subgraphs of \(G_{\ell}(\mathbb F_{p^2})\) whose vertices correspond to supersingular elliptic curves \(E\) over \(\mathbb F_{p^2}\) with \(t = p^2 + 1 -\#E(\mathbb F_{p^2}) \in \{-2p, 2p\}\) are studied. Furthermore, some observations about the number of loops at the vertices corresponding to elliptic curves with \(j\)-invariant equal to 0 or 1728 are given.
Mathematics Subject Classification ID: 11G20
Mathematics Subject Classification ID: 11G15
Mathematics Subject Classification ID: 14G15
Mathematics Subject Classification ID: 14H52
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 6995972
zbMATH Keywords: Supersingular elliptic curves
zbMATH Keywords: isogeny graph
reviewed by: Dimitros Poulakis
MaRDI profile type: Publication
full work available at URL: j.ffa.2018.10.002
OpenAlex ID: W2794445524
cites work: Modular polynomials via isogeny volcanoes
cites work: Cryptographic hash functions from expander graphs
cites work: Computing isogenies between supersingular elliptic curves over \(\mathbb {F}_p\)
cites work: Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies
cites work: Q4737492
cites work: Identification protocols and signature schemes based on supersingular isogeny problems
cites work: Class invariants for quartic CM fields
cites work: Towards Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies
cites work: Isogeny-Based Quantum-Resistant Undeniable Signatures
cites work: An algorithm to compute the number of points on elliptic curves of \(j\)-invariant 0 or 1728 over a finite field
cites work: Ramanujan graphs and Hecke operators
cites work: Nonsingular plane cubic curves over finite fields
cites work: The Arithmetic of Elliptic Curves
cites work: Isogeny volcanoes
cites work: Q5386130
cites work: Abelian varieties over finite fields
cites work: A Post-quantum Digital Signature Scheme Based on Supersingular Isogenies
DOI: 10.1016/J.FFA.2018.10.002
Recommended article: Constructing cycles in isogeny graphs of supersingular elliptic curves
Recommended article: Loops of isogeny graphs of supersingular elliptic curves at \(j=0\)
Recommended article: Computing isogenies between supersingular elliptic curves over \(\mathbb {F}_p\)
Recommended article: Q4789314
Recommended article: Isogeny graphs of superspecial abelian varieties
Recommended article: Computing endomorphism rings of supersingular elliptic curves and connections to path-finding in isogeny graphs
Recommended article: Neighborhood of the supersingular elliptic curve isogeny graph at \(j = 0\) and 1728
Recommended article: Supersingular isogeny graphs in cryptography
Recommended article: On isogenies of elliptic curves
Recommended article: On Two Problems About Isogenies of Elliptic Curves Over Finite Fields
description: scientific article; zbMATH DE number 6995972