Numerical modular symbols for elliptic curves

Christian Wuthrich

DOI: https://doi.org/10.48550/arXiv.1608.06423

2017-03-23

Abstract:We present a detailed analysis of how to implement the computation of modular symbols for a given elliptic curve by using numerical approximations. This method turns out to be more efficient than current implementation as the conductor of the curve increases.

Number Theory

What problem does this paper attempt to address?

Revisiting Scalable Modular Multiplication over GF(2/sup M/) for Elliptic Curve Cryptography

Yier Jin,Haibin Shen

DOI: https://doi.org/10.1109/icsict.2006.306633

2006-01-01

Abstract:A new unbalanced exponent modular reduction over GF(2m) is proposed. The algorithm can achieve high efficiency when computing on a certain class of fields generated by f(x) = xm + T(x) where deg[T(x)] Lt C m. The algorithm is applied in modular multiplication on the basis of scalable polynomial basis(SPB) to form scalable modular multiplication. Most of irreducible polynomials used in elliptic curve cryptography(ECC) fulfil the characteristic mentioned above well. So the scalable algorithm is implemented in ECC computation with high flexibility and efficiency both in theoretic calculation and application
Unbalanced Exponent Modular Reduction over Binary Field and Its Implementation

Haibin Shen,Yier Jin,Rongquan You

DOI: https://doi.org/10.1109/ICICIC.2006.180

2006-01-01

Abstract:Modular reduction is the basic operation of cryptographic systems. The Barrett's algorithm and Montgomery's algorithm are widely used nowadays and they are both based on pre-computation. In the field of elliptic curve cryptosystem (ECC) over GF(2m), the reduction polynomials recommended by SEC have few items and the degree of second item is much less than that of the first one. Making use of this characteristic, the paper presents a new method to accelerate modular reduction without pre-computation which speeds up modular reduction by 10-30 times over GF(2m) and speeds up ECC point multiplication by 40%-50%. This algorithm has been implemented in a high-speed public-key cipher accelerator
Modular Symbols over Function Fields of Elliptic Curves

Seong Eun Jung

2024-08-08

Abstract:Let $k:=\mathbb{F}_q$ be the finite field of $q$ elements and $E$ an elliptic curve over $k$ given by the equation $f(x,y) = 0$. Let $k[E]$ the affine coordinate ring and $k(E)$ the field of fractions. We fix a place $\infty$ of $k(E)$ and let $k_{\infty}$ be the completion. The group ${\rm{GL}}_2(k[E])$ acts on the symmetric space $\mathcal{T}$, the Bruhat-Tits building of ${\rm{PGL}}_2(k_{\infty})$. In this paper, we use the quotient space to construct the space of modular symbols over $K(E)$. We prove that this space is given by an explicit set of generators and their relations.

Number Theory
Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms

Fredrik Johansson

DOI: https://doi.org/10.48550/arXiv.1806.06725

2018-06-18

Abstract:We describe algorithms to compute elliptic functions and their relatives (Jacobi theta functions, modular forms, elliptic integrals, and the arithmetic-geometric mean) numerically to arbitrary precision with rigorous error bounds for arbitrary complex variables. Implementations in ball arithmetic are available in the open source Arb library. We discuss the algorithms from a concrete implementation point of view, with focus on performance at tens to thousands of digits of precision.

Numerical Analysis,Mathematical Software
Modular polynomials for genus 2

Reinier Broker,Kristin Lauter

DOI: https://doi.org/10.48550/arXiv.0804.1565

2009-02-05

Abstract:Modular polynomials are an important tool in many algorithms involving elliptic curves. In this article we investigate their generalization to the genus 2 case following pioneering work by Gaudry and Dupont. We prove various properties of these genus 2 modular polynomials and give an improved way to explicitly compute them.

Number Theory
Computational Arithmetic of Modular Forms (Course notes)

Gabor Wiese

DOI: https://doi.org/10.48550/arXiv.1809.04645

2018-09-12

Number Theory

Abstract:These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted student to implement it over any ring (such that a sufficient linear algebra theory is available in the chosen computer algebra system). The chosen approach is based on group cohomology and along the way the needed tools from homological algebra are provided.
Computation of Hilbert class polynomials and modular polynomials from supersingular elliptic curves

Antonin Leroux

2023-12-15

Abstract:We present several new heuristic algorithms to compute class polynomials and modular polynomials modulo a prime $p$ by revisiting the idea of working with supersingular elliptic curves. The best known algorithms to this date are based on ordinary curves, due to the supposed inefficiency of the supersingular case. While this was true a decade ago, the recent advances in the study of supersingular curves through the Deuring correspondence motivated by isogeny-based cryptography has provided all the tools to perform the necessary tasks efficiently.

Number Theory
Using the Charlap-Coley-Robbins polynomials for computing isogenies

François Morain

2023-03-01

Abstract:The SEA algorithm for computing the cardinality of elliptic curves over finite fields in many characteristic uses modular polynomials. These polynomials come into different flavors, and methods to compute them flourished. Once equipped with some modular polynomials for prime $\ell$, algebraic formulas are used to compute a curve $\mathcal{E}^*/\mathbb{F}_q$ that is $\ell$-isogenous to the curve of interest $\mathcal{E}$. These formulas involve derivatives of the modular polynomial that may sometime vanish. One way to overcome this problem is to use alternative trivariate polynomials $U_\ell$, $V_\ell$, and $W_\ell$ introduced by Charlap, Coley and Robbins to overcome some difficulties in the first versions of Elkies's approach. We give properties of these polynomials, as well as formulas to compute the isogenous curve that were sketched by Atkin. Also we investigate another suggestion of Atkin using modular polynomials associated to a power product of Dedekind's $\eta$ function.

Number Theory
Using Fricke modular polynomials to compute isogenies

François Morain

2024-02-14

Abstract:Let $\mathcal{E}$ be an elliptic curve over a field $\mathbf{K}$ and $\ell$ a prime. There exists an elliptic curve $\mathcal{E}^*$ related to $\mathcal{E}$ by an isogeny of degree $\ell$ only if $\Phi_\ell^t(X, j(\mathcal{E})) = 0$, where $\Phi_\ell^t(X, Y)$ is the traditional modular polynomial. Moreover, $\Phi_\ell^t$ gives the coefficients of $\mathcal{E}^*$, together with parameters needed to build the isogeny explicitly. Since $\Phi_\ell^t$ has very large coefficients, many families with smaller coefficients can be used instead, as described by Elkies, Atkin and others. In this work, we concentrate on the computation of the family of modular polynomials introduced by Fricke and more recently used by Charlap, Coley and Robbins. In some cases, the resulting polynomials are small, which justifies the interest of this study. We review and adapt the known algorithms to perform the computations of these polynomials. After describing the use of series computations, we investigate fast algorithms using floating point numbers based on fast numerical evaluation of Eisenstein series. We also explain how to use isogeny volcanoes as an alternative. The last part is concerned with finding explicit formulas for computing the coefficients of $\mathcal{E}^*$. To this we add tables of numerical examples.

Number Theory
Efficient arithmetic on elliptic curves in characteristic 2

David Kohel

DOI: https://doi.org/10.48550/arXiv.1601.03669

2016-01-15

Abstract:We present normal forms for elliptic curves over a field of characteristic $2$ analogous to Edwards normal form, and determine bases of addition laws, which provide strikingly simple expressions for the group law. We deduce efficient algorithms for point addition and scalar multiplication on these forms. The resulting algorithms apply to any elliptic curve over a field of characteristic $2$ with a $4$-torsion point, via an isomorphism with one of the normal forms. We deduce algorithms for duplication in time $2M + 5S + 2m_c$ and for addition of points in time $7M + 2S$, where $M$ is the cost of multiplication, $S$ the cost of squaring, and $m_c$ the cost of multiplication by a constant. By a study of the Kummer curves $\mathcal{K} = E/\{[\pm1]\}$, we develop an algorithm for scalar multiplication with point recovery which computes the multiple of a point $P$ with $4M + 4S + 2m_c + m_t$ per bit where $m_t$ is multiplication by a constant that depends on $P$.

Number Theory
A modular framework for generalized Hurwitz class numbers II

Olivia Beckwith,Andreas Mono

2024-11-13

Abstract:In a recent preprint, we constructed a sesquiharmonic Maass form $\mathcal{G}$ of weight $\frac{1}{2}$ and level $4N$ with $N$ odd and squarefree. Extending seminal work by Duke, Imamoglu, and Tóth, $\mathcal{G}$ maps to Zagier's non-holomorphic Eisenstein series and a linear combination of Pei and Wang's generalized Cohen--Eisenstein series under the Bruinier--Funke operator $\xi_{\frac{1}{2}}$. In this paper, we realize $\mathcal{G}$ as the output of a regularized Siegel theta lift of $1$ whenever $N=p$ is an odd prime building on more general work by Bruinier, Funke and Imamoglu. In addition, we supply the computation of the square-indexed Fourier coefficients of $\mathcal{G}$. This yields explicit identities between the Fourier coefficients of $\mathcal{G}$ and all quadratic traces of $1$. Furthermore, we evaluate the Millson theta lift of $1$ and consider spectral deformations of $1$.

Number Theory
Improved bounds for integral points on modular curves using Runge's method

David Zywina

2024-03-22

Abstract:Consider a modular curve $X_G$ defined over a number field $K$, where $G$ is a subgroup of $GL_2(\mathbb{Z}/N\mathbb{Z})$ with $N>2$. The curve $X_G$ comes with a morphism $j: X_G\to \mathbb{P}^1_K=\mathbb{A}^1_K \cup\{\infty\}$ to the $j$-line. For a finite set of places $S$ of $K$ that satisfies a certain condition, Runge's method shows that there are only finitely many points $P \in X_G(K)$ for which $j(P)$ lies in the ring $\mathfrak{O}_{K,S}$ of $S$-units of $K$. We prove an explicit version which shows that if $j(P)\in \mathfrak{O}_{K,S}$ for some $P\in X_G(K)$, then the absolute logarithmic height of $j(P)$ is bounded above by $N^{12} \log N$. Explicits upper bounds have already been obtained by Bilu and Parent though they are not polynomial in $N$. The modular functions needed to apply Runge's method are constructing using Eisenstein series of weight $1$.

Number Theory
The Explicit Hypergeometric-Modularity Method I

Michael Allen,Brian Grove,Ling Long,Fang-Ting Tu

2024-07-10

Abstract:The theories of hypergeometric functions and modular forms are highly intertwined. For example, particular values of truncated hypergeometric functions and hypergeometric character sums are often congruent or equal to Fourier coefficients of modular forms. In this series of papers, we develop and explore an explicit "Hypergeometric-Modularity" method for associating a modular form to a given hypergeometric datum. In particular, for certain length three and four hypergeometric data we give an explicit method for finding a modular form $f$ such that the corresponding hypergeometric Galois representation has a subrepresentation isomorphic to the Deligne representation of $f$. Our method utilizes Ramanujan's theory of elliptic functions to alternative bases, commutative formal group laws, and supercongruences. As a byproduct, we give a collection of eta quotients with multiplicative coefficients constructed from hypergeometric functions. In the second paper, we discuss a number of applications, including explicit connections between hypergeometric values and periods of these explicit eta quotients as well as evaluation formulae for certain special $L$-values.

Number Theory
Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series

Jay Jorgenson,Cormac O'Sullivan,Lejla Smajlović

DOI: https://doi.org/10.48550/arXiv.1610.06841

2016-10-22

Abstract:Let $E(z,s)$ be the non-holomorphic Eisenstein series for the modular group $SL(2,{\mathbb Z})$. The classical Kronecker limit formula shows that the second term in the Laurent expansion at $s=1$ of $E(z,s)$ is essentially the logarithm of the Dedekind eta function. This eta function is a weight $1/2$ modular form and Dedekind expressed its multiplier system in terms of Dedekind sums. Building on work of Goldstein, we extend these results from the modular group to more general Fuchsian groups $\Gamma$. The analogue of the eta function has a multiplier system that may be expressed in terms of a map $S:\Gamma \to {\mathbb R}$ which we call a modular Dedekind symbol. We obtain detailed properties of these symbols by means of the limit formula. Twisting the usual Eisenstein series with powers of additive homomorphisms from $\Gamma$ to ${\mathbb C}$ produces higher-order Eisenstein series. These series share many of the properties of $E(z,s)$ though they have a more complicated automorphy condition. They satisfy a Kronecker limit formula and produce higher-order Dedekind symbols $S^*:\Gamma \to {\mathbb R}$. As an application of our general results, we prove that higher-order Dedekind symbols associated to genus one congruence groups $\Gamma_0(N)$ are rational.

Number Theory
Modular forms with non-vanishing central values and linear independence of Fourier coefficients

Debargha Banerjee,Priyanka Majumder

2024-07-02

Abstract:In this article, we are interested in modular forms with non-vanishing central critical values and linear independence of Fourier coefficients of modular forms. The main ingredient is a generalization of a theorem due to VanderKam to modular symbols of higher weights. We prove that for sufficiently large primes $p$, Hecke operators $T_1, T_2, \ldots, T_D$ act linearly independently on the winding elements inside the space of weight $2k$ cuspidal modular symbol $\mathbb{S}_{2k}(\Gamma_0(p))$ with $k\geq 1$ for $D^2\ll p$. This gives a bound on the number of newforms with non-vanishing arithmetic $L$-functions at their central critical points and linear independence on the reductions of these modular forms for prime modulo $l\not=p$.

Number Theory
Modular curves and Néron models of generalized Jacobians

Scholl,Anthony J.

DOI: https://doi.org/10.1112/s0010437x23007662

2024-03-27

Compositio Mathematica

Abstract:Let be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring , and a modulus on , given by a closed subscheme of which is geometrically reduced. The generalized Jacobian of with respect to is then an extension of the Jacobian of by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular model of over . This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves with moduli supported on the cusps.

mathematics
Modular degree and a conjecture of Watkins

Subham Bhakta,Srilakshmi Krishnamoorthy,Sunil Kumar Pasupulati

2024-04-04

Abstract:Given an elliptic curve $E/\mathbb{Q}$ of conductor $N$, there exists a surjective morphism $\phi_E: X_0(N) \to E$ defined over $\mathbb{Q}$. In this article, we discuss the growth of $\mathrm{deg}(\phi_E)$ and shed some light on Watkins's conjecture, which predicts $2^{\mathrm{rank}(E(\mathbb{Q}))} \mid \mathrm{deg}(\phi_E)$. Moreover, for any elliptic curve over $\mathbb{F}_q(T)$, we have an analogous modular parametrization relating to the Drinfeld modular curves. In this case, we also discuss growth and the divisibility properties.

Mathematics
Elliptic symbol calculus: from elliptic polylogarithms to iterated integrals of Eisenstein series

Johannes Broedel,Claude Duhr,Falko Dulat,Brenda Penante,Lorenzo Tancredi

DOI: https://doi.org/10.1007/JHEP08%282018%29014

2018-03-28

Abstract:We present a generalization of the symbol calculus from ordinary multiple polylogarithms to their elliptic counterparts. Our formalism is based on a special case of a coaction on large classes of periods that is applied in particular to elliptic polylogarithms and iterated integrals of modular forms. We illustrate how to use our formalism to derive relations among elliptic polylogarithms, in complete analogy with the non-elliptic case. We then analyze the symbol alphabet of elliptic polylogarithms evaluated at rational points, and we observe that it is given by Eisenstein series for a certain congruence subgroup. We apply our formalism to hypergeometric functions that can be expressed in terms of elliptic polylogarithms and show that they can equally be written in terms of iterated integrals of Eisenstein series. Finally, we present the symbol of the equal-mass sunrise integral in two space-time dimensions. The symbol alphabet involves Eisenstein series of level six and weight three, and we can easily integrate the symbol in terms of iterated integrals of Eisenstein series.

High Energy Physics - Theory,High Energy Physics - Phenomenology,Mathematical Physics
Computing modular polynomials by deformation

Sabrina Kunzweiler,Damien Robert

2024-08-13

Abstract:We present an unconditional CRT algorithm to compute the modular polynomial $\Phi_\ell(X,Y)$ in quasi-linear time. The main ingredients of our algorithm are: the embedding of $\ell$-isogenies in smooth-degree isogenies in higher dimension, and the computation of $m$-th order deformations of isogenies. We provide a proof-of-concept implementation of a heuristic version of the algorithm demonstrating the practicality of our approach. Our algorithm can also be used to compute the reduction of $\Phi_{\ell}$ modulo $p$ in quasi-linear time (with respect to $\ell$) $\tilde{O}(\ell^2(\log p + \log \ell)^{\mathfrak{O}})$.

Number Theory

Numerical modular symbols for elliptic curves

Revisiting Scalable Modular Multiplication over GF(2/sup M/) for Elliptic Curve Cryptography

Unbalanced Exponent Modular Reduction over Binary Field and Its Implementation

Modular Symbols over Function Fields of Elliptic Curves

Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms

Modular polynomials for genus 2

Computational Arithmetic of Modular Forms (Course notes)

Computation of Hilbert class polynomials and modular polynomials from supersingular elliptic curves

Using the Charlap-Coley-Robbins polynomials for computing isogenies

Using Fricke modular polynomials to compute isogenies

Efficient arithmetic on elliptic curves in characteristic 2

A modular framework for generalized Hurwitz class numbers II

Improved bounds for integral points on modular curves using Runge's method

The Explicit Hypergeometric-Modularity Method I

Modular Dedekind symbols associated to Fuchsian groups and higher-order Eisenstein series

Modular forms with non-vanishing central values and linear independence of Fourier coefficients

Modular curves and Néron models of generalized Jacobians

Modular degree and a conjecture of Watkins

Elliptic symbol calculus: from elliptic polylogarithms to iterated integrals of Eisenstein series

Computing modular polynomials by deformation