<p>We study supersingular <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell\)</EquationSource> </InlineEquation>-isogeny graphs as finite regular multigraphs through the lens of non-backtracking spectral graph theory. Using the Hashimoto operator, we show that traces of its powers count cyclically non-backtracking closed isogeny chains, and we derive an exact Möbius inversion formula for the associated primitive cycle numbers. This leads to a finite primitive cycle certificate for supersingular isogeny graphs, invariant under graph isomorphism and computable from the oriented-edge data or, equivalently, from the Ihara–Bass determinant formula. The resulting framework provides a rigorous discrete and algorithmic invariant for measuring primitive cycle structure in arithmetic regular graphs.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Non-backtracking cycle estimates in supersingular isogeny graphs

  • Mohammed El Baraka,
  • Siham Ezzouak

摘要

We study supersingular \(\ell\) -isogeny graphs as finite regular multigraphs through the lens of non-backtracking spectral graph theory. Using the Hashimoto operator, we show that traces of its powers count cyclically non-backtracking closed isogeny chains, and we derive an exact Möbius inversion formula for the associated primitive cycle numbers. This leads to a finite primitive cycle certificate for supersingular isogeny graphs, invariant under graph isomorphism and computable from the oriented-edge data or, equivalently, from the Ihara–Bass determinant formula. The resulting framework provides a rigorous discrete and algorithmic invariant for measuring primitive cycle structure in arithmetic regular graphs.