arXiv subjects

Travis Morrison

Publications and source records attributed to Travis Morrison.

12 recordsLinked to original sources

arXiv2025

Zeta functions of abstract isogeny graphs and modular curves

We introduce a ``non-orientable'' variation of Serre's definition of a graph, which we call an abstract isogeny graph. These objects capture the combinatorics of the graphs $G(p,\ell,H)$, the $\ell$-isogeny graphs of supersingular elliptic curves with $H$-level structure. In particular they allow for the study of non-backtracking walks, primes, and zeta functions. We prove an analogue of Ihara's determinant formula for the zeta function of an abstract isogeny graph. For $B_1(N) \subseteq H \subseteq B_0(N)$ and $p > 3$, we use this formula to relate the Ihara zeta function of $G(p,\ell,H)$ to the Hasse-Weil zeta functions of the modular curves $X_{H, {\mathbb{F}_{\ell}}}$ and $X_{H \times B_0(p), \mathbb{F}_{\ell}}$. As applications, we give an explicit formula relating point counts on $X_0(pN)_{\mathbb{F}_{\ell}}$ and $X_0(N)_{\mathbb{F}_{\ell}}$ to cycle counts in $G(p,\ell,B_0(N))$ and prove that the number of non-backtracking cycles of length $r$ in $G(p,\ell,B_0(N))$ is asymptotic to $\ell^r$.

math.NT↗

arXiv2025

The SEA algorithm for endomorphisms of supersingular elliptic curves

For a prime $p{\,>\,}3$ and a supersingular elliptic curve $E$ defined over $\mathbb{F}_{p^2}$ with ${j(E)\notin\{0,1728\}}$, consider an endomorphism $\alpha$ of $E$ represented as a composition of $L$ isogenies of degree at most $d$. We prove that the trace of $\alpha$ may be computed in $O(n^4(\log n)^2 + dLn^3)$ bit operations, where $n{\,=\,}\log(p)$, using a generalization of the SEA algorithm for computing the trace of the Frobenius endomorphism of an ordinary elliptic curve. When $L\in O(\log p)$ and $d\in O(1)$, this complexity matches the heuristic complexity of the SEA algorithm. Our theorem is unconditional, unlike the complexity analysis of the SEA algorithm, since the kernel of an arbitrary isogeny of a supersingular elliptic curve is defined over an extension of constant degree, independent of $p$. We also provide practical speedups, including a fast algorithm to compute the trace of $\alpha$ modulo $p$.

math.NT↗

arXiv2025

Masking Countermeasures Against Side-Channel Attacks on Quantum Computers

We propose a modification to the transpiler of a quantum computer to safeguard against side-channel attacks aimed at learning information about a quantum circuit. We demonstrate that if it is feasible to shield a specific subset of gates from side-channel attacks, then it is possible to conceal all information in a quantum circuit by transpiling it into a new circuit whose depth grows linearly, depending on the quantum computer's architecture. We provide concrete examples of implementing this protection on IBM's quantum computers, utilizing their virtual gates and editing their transpiler.

quant-ph↗

arXiv2024

Computing Isogenies at Singular Points of the Modular Polynomial

In this paper we present a method which, given a singular point $(j_1, j_2)$ on $Y_0(\ell)$ with $j_1, j_2 \neq 0, 1728$ and an elliptic curve $E$ with $j$-invariant ${j_1}$, returns an elliptic curve $\widetilde{E}$ with $j$-invariant ${j_2}$ that admits a normalized $\ell$-isogeny $\phi\colon E\to \widetilde{E}$. The isogeny $\phi$ can then be efficiently computed from $E$ and $\widetilde{E}$ using an algorithm of Bostan, Morain, Salvy, and Schost.

math.NT↗

arXiv2023

Towards a classification of isolated $j$-invariants

We develop an algorithm to test whether a non-CM elliptic curve $E/\mathbb{Q}$ gives rise to an isolated point of any degree on any modular curve of the form $X_1(N)$. This builds on prior work of Zywina which gives a method for computing the image of the adelic Galois representation associated to $E$. Running this algorithm on all elliptic curves presently in the $L$-functions and Modular Forms Database and the Stein-Watkins Database gives strong evidence for the conjecture that $E$ gives rise to an isolated point on $X_1(N)$ if and only if $j(E)=-140625/8, -9317,$ $351/4$, or $-162677523113838677$.

math.NT↗

arXiv2023

Curve-lifted codes for local recovery using lines

In this paper, we introduce curve-lifted codes over fields of arbitrary characteristic, inspired by Hermitian-lifted codes over $\mathbb{F}_{2^r}$. These codes are designed for locality and availability, and their particular parameters depend on the choice of curve and its properties. Due to the construction, the numbers of rational points of intersection between curves and lines play a key role. To demonstrate that and generate new families of locally recoverable codes (LRCs) with high availabilty, we focus on norm-trace-lifted codes. In some cases, they are easier to define than their Hermitian counterparts and consequently have a better asymptotic bound on the code rate.

cs.IT↗

arXiv2023

Computing supersingular endomorphism rings using inseparable endomorphisms

We give an algorithm for computing an inseparable endomorphism of a supersingular elliptic curve $E$ defined over $\mathbb F_{p^2}$, which, conditional on GRH, runs in expected $O(p^{1/2}(\log p)^2(\log\log p)^3)$ bit operations and requires $O((\log p)^2)$ storage. This matches the time and storage complexity of the best conditional algorithms for computing a nontrivial supersingular endomorphism, such as those of Eisentr\"{a}ger-Hallgren-Leonardi-Morrison-Park and Delfs-Galbraith. Unlike these prior algorithms, which require two paths from $E$ to a curve defined over $\mathbb F_p$, the algorithm we introduce only requires one; thus when combined with the algorithm of Corte-Real Santos-Costello-Shi, our algorithm will be faster in practice. Moreover, our algorithm produces endomorphisms with predictable discriminants, enabling us to prove properties about the orders they generate. With two calls to our algorithm, we can provably compute a Bass suborder of $\operatorname{End}(E)$. This result is then used in an algorithm for computing a basis for $\operatorname{End}(E)$ with the same time complexity, assuming GRH. We also argue that $\operatorname{End}(E)$ can be computed using $O(1)$ calls to our algorithm along with polynomial overhead, conditional on a heuristic assumption about the distribution of the discriminants of these endomorphisms. Conditional on GRH and this additional heuristic, this yields a $O(p^{1/2}(\log p)^2(\log\log p)^3)$ algorithm for computing $\operatorname{End}(E)$ requiring $O((\log p)^2)$ storage.

math.NT↗

arXiv2020

Computing endomorphism rings of supersingular elliptic curves and connections to pathfinding in isogeny graphs

Computing endomorphism rings of supersingular elliptic curves is an important problem in computational number theory, and it is also closely connected to the security of some of the recently proposed isogeny-based cryptosystems. In this paper we give a new algorithm for computing the endomorphism ring of a supersingular elliptic curve $E$ that runs, under certain heuristics, in time $O((\log p)^2p^{1/2})$. The algorithm works by first finding two cycles of a certain form in the supersingular $\ell$-isogeny graph $G(p,\ell)$, generating an order $\Lambda \subseteq \operatorname{End}(E)$. Then all maximal orders containing $\Lambda$ are computed, extending work of Voight. The final step is to determine which of these maximal orders is the endomorphism ring. As part of the cycle finding algorithm, we give a lower bound on the set of all $j$-invariants $j$ that are adjacent to $j^p$ in $G(p,\ell)$, answering a question in arXiv:1909.07779.

math.NT↗

arXiv2020

Chabauty-Coleman computations on rank 1 Picard curves

We provably compute the full set of rational points on 1403 Picard curves defined over $\mathbb{Q}$ with Jacobians of Mordell-Weil rank $1$ using the Chabauty-Coleman method. To carry out this computation, we extend Magma code of Balakrishnan and Tuitman for Coleman integration. The new code computes $p$-adic (Coleman) integrals on curves to points defined over number fields where the prime $p$ splits completely and implements effective Chabauty for curves whose Jacobians have infinite order points that are not the image of a rational point under the Abel-Jacobi map. We discuss several interesting examples of curves where the Chabauty-Coleman set contains points defined over number fields.

math.NT↗

arXiv2018

Cycles in the supersingular $\ell$-isogeny graph and corresponding endomorphisms

We study the problem of generating the endomorphism ring of a supersingular elliptic curve by two cycles in $\ell$-isogeny graphs. We prove a necessary and sufficient condition for the two endomorphisms corresponding to two cycles to be linearly independent, expanding on the work in Kohel's thesis. We also give a criterion under which the order generated by two cycles is not a maximal order. We give some examples in which we compute cycles which generate the full endomorphism ring. The most difficult part of these computations is the calculation of the trace of these cycles. We show that a generalization of Schoof's algorithm can accomplish this computation efficiently.

math.NT↗

arXiv2017

Diophantine definability of nonnorms of cyclic extensions of global fields

We show that for any square-free natural number $n$ and any global field $K$ with $(\text{char}(K), n)=1$ containing the $n$th roots of unity, the pairs $(x,y)\in K^*\times K^*$ such that $x$ is not a norm of $K(\sqrt[n]{y})/K$ form a diophantine set over $K$. We use the Hasse norm theorem, Kummer theory, and class field theory to prove this result. We also prove that for any $n\in \mathbb{N}$ and any global field $K$ with $(\text{char}(K), n)=1$, $K^*\setminus K^{*n}$ is diophantine over $K$. For a number field $K$, this is a result of Colliot-Th\'el\`ene and Van Geel, proved using results on the Brauer-Manin obstruction. Additionally, we prove a variation of our main theorem for global fields $K$ without the $n$th roots of unity, where we parametrize varieties arising from norm forms of cyclic extensions of $K$ without any rational points by a diophantine set.

math.NT↗

arXiv2016

Universally and existentially definable subsets of global fields

We show that rings of $S$-integers of a global function field $K$ of odd characteristic are first-order universally definable in $K$. This extends work of Koenigsmann and Park who showed the same for $\mathbb{Z}$ in $\mathbb{Q}$ and the ring of integers in a number field, respectively. We also give another proof of a theorem of Poonen and show that the set of non-squares in a global field of characteristic $\neq 2$ is diophantine. Finally, we show that the set of pairs $(x,y)$ in $(K^{\times})^2$ such that $x$ is not a norm in $K(\sqrt{y})$ is diophantine over $K$ for any global field $K$ of characteristic $\neq 2$.

math.NT↗