The Spine of a Supersingular ℓ-Isogeny graph

Supersingular elliptic curve ℓ-isogeny graphs over finite fields offer a setting for a number of quantum-resistant cryptographic protocols. The security analysis of these schemes typically assumes that these graphs behave randomly. Motivated by this debatable assertion, we explore structural properties of these graphs. We detail the behavior, governed by congruence conditions on p, of the ℓ-isogeny graph over F_p when passing to the spine, i.e. the subgraph induced by the F_p-vertices in the full ℓ-isogeny graph. We describe the diameter of the spine and offer numerical data on the number of vertices in the center of the ℓ-isogeny graph. Our plots of these counts exhibit a wave-shaped pattern which supports the assertion that centers of supersingular ℓ-isogeny graphs exhibit the same behavior as those of random (ℓ+1)-regular graphs.