What problem does this paper attempt to address?

### What problem does this paper attempt to solve? The main objective of this paper is to describe and compare algorithms for computing supersingular isogeny graphs. Specifically, the author focuses on the isogeny relationships between elliptic curves defined over finite fields and attempts to construct a graph structure through these relationships, where the vertices are the \(j\)-invariants of supersingular elliptic curves and the edges represent the isogeny mappings between these curves. #### Main research content: 1. **Definition and properties of supersingular isogeny graphs**: - Defines the supersingular isogeny graph \( \Gamma_{p, \ell} \), where \( p \) and \( \ell \) are two distinct prime numbers. - The vertices of the graph are the set \( S_p \) of \(j\)-invariants of supersingular elliptic curves. - The edges represent isogeny mappings from one supersingular elliptic curve to another, with the kernel being an \(\ell\)-order subgroup. 2. **Algorithm design**: - Proposes several algorithms for computing supersingular isogeny graphs, including how to find suitable models, compute \(\ell\)-order subgroups, and use the Vélu formula to determine new \(j\)-invariants. - Discusses how to compute these graphs through the modular curve \( X_0(\ell) \), especially how to handle the relationship between points on the modular curve and edges in the isogeny graph. 3. **Theoretical results**: - Derives a formula for computing the trace of the adjacency matrix of a general supersingular isogeny graph. - Proves a conjecture recently proposed by Nakaya, which involves some properties of supersingular isogeny graphs. 4. **Applications and extensions**: - Applies these results to study the splitting fields of supersingular isogeny graphs and explores some related conjectures, such as Nakaya's conjecture. - Analyzes the graph structures for different prime numbers \( p \) and \( \ell \), especially when \( \ell \) is a supersingular prime number. ### Summary The core problem of this paper is to develop and optimize algorithms for computing supersingular isogeny graphs and to reveal the deep - level structure of isogeny relationships between elliptic curves through the study of these graphs. This not only helps in understanding the properties of supersingular elliptic curves but also has potential application value in fields such as cryptography.

Supersingular Isogeny Graphs from Algebraic Modular Curves

On the Zeta functions of supersingular isogeny graphs and modular curves

Spectral Theory of Isogeny Graphs

Supersingular Curves With Small Non-integer Endomorphisms

Supersingular elliptic curves, quaternion algebras and applications to cryptography

Automorphisms of the Supersingular Isogeny Graph

Failing to hash into supersingular isogeny graphs

Constructing all genus 2 curves with supersingular Jacobian

On the supersingular locus of the Siegel modular variety of genus 3 or 4

Loops of Isogeny Graphs of Supersingular Elliptic Curves at J = 0

Computing Isogenies at Singular Points of the Modular Polynomial

Neighborhood of vertices in the isogeny graph of principally polarized superspecial abelian surfaces

Gauss-Manin Connection in Disguise: Genus Two Curves

Listing superspecial curves of genus three by using Richelot isogeny graph

3- and 5-Isogenies of Supersingular Edwards Curves

On towers of Isogeny graphs with full level structure

The arithmetic-geometric mean and isogenies for curves of higher genus

Genera from an algebraic index theorem for supermanifolds

On supercurves of genus 1 with an underlying odd spin structure

Non-Abelian number theory and the structure of curves on surfaces

Non-vanishing of Ceresa and Gross--Kudla--Schoen cycles associated to modular curves