-
Computing supersingular endomorphism rings using inseparable endomorphisms
Authors:
Jenny Fuselier,
Annamaria Iezzi,
Mark Kozek,
Travis Morrison,
Changningphaabi Namoijam
Abstract:
We give an algorithm for computing inseparable endomorphisms of a supersingular elliptic curve $E$ defined over $\mathbb F_{p^2}$, which, conditional on GRH, runs in expected $O(\sqrt{p}(\log p)^2(\log\log p)^3)$ time. With two calls to this algorithm, we compute a Bass suborder of $\text{End}(E)$, improving on the results of Eisenträger, Hallgren, Leonardi, Morrison, and Park (ANTSXIV) who only g…
▽ More
We give an algorithm for computing inseparable endomorphisms of a supersingular elliptic curve $E$ defined over $\mathbb F_{p^2}$, which, conditional on GRH, runs in expected $O(\sqrt{p}(\log p)^2(\log\log p)^3)$ time. With two calls to this algorithm, we compute a Bass suborder of $\text{End}(E)$, improving on the results of Eisenträger, Hallgren, Leonardi, Morrison, and Park (ANTSXIV) who only gave a heuristic algorithm for computing a Bass suborder. We further improve on the results of Eisenträger et al. by removing the heuristics involved in an algorithm for recovering $\text{End}(E)$ from a Bass suborder. We conclude with an argument that $O(1)$ endomorphisms generated by our algorithm along with negligible overhead suffice to compute $\text{End}(E)$, conditional on a heuristic assumption about the distribution of the discriminants of these endomorphisms.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
New sextics of genus 6 and 10 attaining the Serre bound
Authors:
Annamaria Iezzi,
Motoko Qiu Kawakita,
Marco Timpanella
Abstract:
We provide new examples of curves of genus 6 or 10 attaining the Serre bound. They all belong to the family of sextics introduced in [19] as a a generalization of the Wiman sextics [36] and Edge sextics [9]. Our approach is based on a theorem by Kani and Rosen which allows, under certain assumptions, to fully decompose the Jacobian of the curve. With our investigation we are able to update several…
▽ More
We provide new examples of curves of genus 6 or 10 attaining the Serre bound. They all belong to the family of sextics introduced in [19] as a a generalization of the Wiman sextics [36] and Edge sextics [9]. Our approach is based on a theorem by Kani and Rosen which allows, under certain assumptions, to fully decompose the Jacobian of the curve. With our investigation we are able to update several entries in \url{http://www.manypoints.org} ([35]).
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
An Application of the Hasse-Weil Bound to Rational Functions over Finite Fields
Authors:
Xiang-dong Hou,
Annamaria Iezzi
Abstract:
We use the Aubry-Perret bound for singular curves, a generalization of the Hasse-Weil bound, to prove the following curious result about rational functions over finite fields: Let $f(X),g(X)\in\Bbb F_q(X)\setminus\{0\}$ be such that $q$ is sufficiently large relative to $\text{deg}\, f$ and $\text{deg}\, g$, $f(\Bbb F_q)\subset g(\Bbb F_q\cup\{\infty\})$, and for ``most''…
▽ More
We use the Aubry-Perret bound for singular curves, a generalization of the Hasse-Weil bound, to prove the following curious result about rational functions over finite fields: Let $f(X),g(X)\in\Bbb F_q(X)\setminus\{0\}$ be such that $q$ is sufficiently large relative to $\text{deg}\, f$ and $\text{deg}\, g$, $f(\Bbb F_q)\subset g(\Bbb F_q\cup\{\infty\})$, and for ``most'' $a\in\Bbb F_q\cup\{\infty\}$, $|\{x\in \Bbb F_q:g(x)=g(a)\}|>(\text{deg}\, g)/2$. Then there exists $h(X)\in\Bbb F_q(X)$ such that $f(X)=g(h(X))$. A generalization to multivariate rational functions is also included.
△ Less
Submitted 22 June, 2019;
originally announced June 2019.
-
A note on the security of CSIDH
Authors:
Jean-François Biasse,
Annamaria Iezzi,
Michael J. Jacobson Jr
Abstract:
We propose an algorithm for computing an isogeny between two elliptic curves $E_1,E_2$ defined over a finite field such that there is an imaginary quadratic order $\mathcal{O}$ satisfying $\mathcal{O}\simeq \operatorname{End}(E_i)$ for $i = 1,2$. This concerns ordinary curves and supersingular curves defined over $\mathbb{F}_p$ (the latter used in the recent CSIDH proposal). Our algorithm has heur…
▽ More
We propose an algorithm for computing an isogeny between two elliptic curves $E_1,E_2$ defined over a finite field such that there is an imaginary quadratic order $\mathcal{O}$ satisfying $\mathcal{O}\simeq \operatorname{End}(E_i)$ for $i = 1,2$. This concerns ordinary curves and supersingular curves defined over $\mathbb{F}_p$ (the latter used in the recent CSIDH proposal). Our algorithm has heuristic asymptotic run time $e^{O\left(\sqrt{\log(|Δ|)}\right)}$ and requires polynomial quantum memory and $e^{O\left(\sqrt{\log(|Δ|)}\right)}$ classical memory, where $Δ$ is the discriminant of $\mathcal{O}$. This asymptotic complexity outperforms all other available method for computing isogenies.
We also show that a variant of our method has asymptotic run time $e^{\tilde{O}\left(\sqrt{\log(|Δ|)}\right)}$ while requesting only polynomial memory (both quantum and classical).
△ Less
Submitted 1 August, 2018; v1 submitted 10 June, 2018;
originally announced June 2018.
-
Automated Cloud Provisioning on AWS using Deep Reinforcement Learning
Authors:
Zhiguang Wang,
Chul Gwon,
Tim Oates,
Adam Iezzi
Abstract:
As the use of cloud computing continues to rise, controlling cost becomes increasingly important. Yet there is evidence that 30\% - 45\% of cloud spend is wasted. Existing tools for cloud provisioning typically rely on highly trained human experts to specify what to monitor, thresholds for triggering action, and actions. In this paper we explore the use of reinforcement learning (RL) to acquire po…
▽ More
As the use of cloud computing continues to rise, controlling cost becomes increasingly important. Yet there is evidence that 30\% - 45\% of cloud spend is wasted. Existing tools for cloud provisioning typically rely on highly trained human experts to specify what to monitor, thresholds for triggering action, and actions. In this paper we explore the use of reinforcement learning (RL) to acquire policies to balance performance and spend, allowing humans to specify what they want as opposed to how to do it, minimizing the need for cloud expertise. Empirical results with tabular, deep, and dueling double deep Q-learning with the CloudSim simulator show the utility of RL and the relative merits of the approaches. We also demonstrate effective policy transfer learning from an extremely simple simulator to CloudSim, with the next step being transfer from CloudSim to an Amazon Web Services physical environment.
△ Less
Submitted 19 September, 2017; v1 submitted 13 September, 2017;
originally announced September 2017.
-
Optimal and maximal singular curves
Authors:
Yves Aubry,
Annamaria Iezzi
Abstract:
Using an Euclidean approach, we prove a new upper bound for the number of closed points of degree 2 on a smooth absolutely irreducible projective algebraic curve defined over the finite field $\mathbb F\_q$.This bound enables us to provide explicit conditions on $q, g$ and $π$ for the non-existence of absolutely irreducible projective algebraic curves defined over $\mathbb F\_q$ of geometric genu…
▽ More
Using an Euclidean approach, we prove a new upper bound for the number of closed points of degree 2 on a smooth absolutely irreducible projective algebraic curve defined over the finite field $\mathbb F\_q$.This bound enables us to provide explicit conditions on $q, g$ and $π$ for the non-existence of absolutely irreducible projective algebraic curves defined over $\mathbb F\_q$ of geometric genus $g$, arithmetic genus $π$ and with $N\_q(g)+π-g$ rational points.Moreover, for $q$ a square, we study the set of pairs $(g,π)$ for which there exists a maximal absolutely irreducible projective algebraic curve defined over $\mathbb F\_q$ of geometric genus $g$ and arithmetic genus $π$, i.e. with $q+1+2g\sqrt{q}+π-g$ rational points.
△ Less
Submitted 7 October, 2015;
originally announced October 2015.
-
On the maximum number of rational points on singular curves over finite fields
Authors:
Yves Aubry,
Annamaria Iezzi
Abstract:
We give a construction of singular curves with many rational points over finite fields. This construction enables us to prove some results on the maximum number of rational points on an absolutely irreducible projective algebraic curve defined over Fq of geometric genus g and arithmetic genus $π$.
We give a construction of singular curves with many rational points over finite fields. This construction enables us to prove some results on the maximum number of rational points on an absolutely irreducible projective algebraic curve defined over Fq of geometric genus g and arithmetic genus $π$.
△ Less
Submitted 2 October, 2015; v1 submitted 15 January, 2015;
originally announced January 2015.