Isogeny graphs associated to Moret-Bailly families of supersingular abelian surfaces

For an odd prime $p$ and any prime $\mathrm{\ell }\mathrm{\ne }p$, we study finite directed graphs arising from the set of all equivalence classes of Moret-Bailly families of abelian surfaces in characteristic $p$ together with relative $(\mathrm{\ell },\mathrm{\ell })$-isogenies. We relate these graphs to the space of algebraic modular forms on an inner form of $GS{p}_4\mathrm{/}\mathbb{Q}$ that is compact modulo its center and, using the Jacquet-Langlands correspondence, estimate the eigenvalues of their adjacency matrices. We further investigate a Sarnak-Xue type theorem in this setting, providing a first step toward the study of cut-off phenomena for these graphs.