English
Related papers

Related papers: Sub-Linear Point Counting for Variable Separated C…

200 papers

In general, the L-polynomial of a curve of genus $g$ is determined by $g$ coefficients. We show that the L-polynomial of a supersingular curve of genus $g$ is determined by fewer than $g$ coefficients.

Algebraic Geometry · Mathematics 2018-06-19 Gary McGuire , Emrah Sercan Yılmaz

Genus 2 curves are useful in cryptography for both discrete-log based and pairing-based systems, but a method is required to compute genus 2 curves such that the Jacobian has a given number of points. Currently, all known methods involve…

Number Theory · Mathematics 2010-03-26 Eyal Z. Goren , Kristin E. Lauter

We present a randomised algorithm to compute the local zeta function of a fixed smooth, projective surface over $\mathbb{Q}$, at any large prime $p$ of good reduction. The runtime of our algorithm is polynomial in $\log p$, resolving a…

Number Theory · Mathematics 2025-11-10 Nitin Saxena , Madhavan Venkatesh

We introduce a new algorithm to compute the zeta function of a curve over a finite field. This method extends previous work of ours to all curves for which a good lift to characteristic zero is known. We develop all the necessary bounds,…

Number Theory · Mathematics 2016-09-22 Jan Tuitman

We give a polynomial time algorithm for computing the Igusa local zeta function $Z(s,f)$ attached to a polynomial $f(x)\in \QTR{Bbb}{Z}[x]$, in one variable, with splitting field $\QTR{Bbb}{Q}$, and a prime number $p$. We also propose a new…

Symbolic Computation · Computer Science 2007-05-23 W. A. Zuniga-Galindo

Let $K$ be the function field of a smooth, irreducible curve defined over $\overline{\mathbb{Q}}$. Let $f\in K[x]$ be of the form $f(x)=x^q+c$ where $q = p^{r}, r \ge 1,$ is a power of the prime number $p$, and let $\beta\in \overline{K}$.…

Number Theory · Mathematics 2021-08-12 Andrew Bridy , John R. Doyle , Dragos Ghioca , Liang-Chung Hsia , Thomas J. Tucker

Let V $\subset$ C n be an equidimensional algebraic set and g be an n-variate polynomial with rational coefficients. Computing the critical points of the map that evaluates g at the points of V is a cornerstone of several algorithms in real…

Symbolic Computation · Computer Science 2016-05-10 Mohab Safey El Din , Pierre-Jean Spaenlehauer

We report an ongoing work on clustering algorithms for complex roots of a univariate polynomial $p$ of degree $d$ with real or complex coefficients. As in their previous best subdivision algorithms our root-finders are robust even for…

Symbolic Computation · Computer Science 2019-11-18 Rémi Imbach , Victor Y. Pan

Curves over finite fields are of great importance in cryptography and coding theory. Through studying their zeta-functions, we would be able to find out vital arithmetic and geometric information about them and their Jacobians, including…

Number Theory · Mathematics 2024-05-10 Kin Wai Chan

It is shown that, under some mild technical conditions, representations of prime numbers by binary quadratic forms can be computed in polynomial complexity by exploiting Schoof's algorithm, which counts the number of $\mathbb F_q$-points of…

Number Theory · Mathematics 2016-04-25 Michele Elia , Federico Pintore

We present a Kedlaya-style point counting algorithm for cyclic covers $y^r = f(x)$ over a finite field $\mathbb{F}_{p^n}$ with $p$ not dividing $r$, and $r$ and $\deg{f}$ not necessarily coprime. This algorithm generalizes the…

Computational Geometry · Computer Science 2014-08-26 Cécile Gonçalves

We present a new probabilistic algorithm to compute modular polynomials modulo a prime. Modular polynomials parameterize pairs of isogenous elliptic curves and are useful in many aspects of computational number theory and cryptography. Our…

Number Theory · Mathematics 2007-05-23 Denis Charles , Kristin Lauter

Let $R$ be a commutative ring, $f \in R[X_1,\ldots,X_k]$ a multivariate polynomial, and $G$ a finite subgroup of the group of units of $R$ satisfying a certain constraint, which always holds if $R$ is a field. Then, we evaluate $\sum…

Number Theory · Mathematics 2017-05-17 Paolo Leonetti , Andrea Marino

For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$. When $p \equiv 3 \mod 4$, it is well known that $f(X) =…

Number Theory · Mathematics 2024-01-24 Kiran Kedlaya , Swastik Kopparty

Most integers are composite and most univariate polynomials over a finite field are reducible. The Prime Number Theorem and a classical result of Gau{\ss} count the remaining ones, approximately and exactly. For polynomials in two or more…

Commutative Algebra · Mathematics 2014-07-14 Joachim von zur Gathen , Konstantin Ziegler

Let $p$ be a prime number, $p=2^nq+1$, where $q$ is odd. D. Shanks described an algorithm to compute square roots $\pmod{p}$ which needs $O(\log q + n^2)$ modular multiplications. In this note we describe two modifications of this…

Number Theory · Mathematics 2011-05-10 Jan-Christoph Schlage-Puchta

We present an algorithm for isolating the roots of an arbitrary complex polynomial $p$ that also works for polynomials with multiple roots provided that the number $k$ of distinct roots is given as part of the input. It outputs $k$ pairwise…

Symbolic Computation · Computer Science 2014-01-24 Kurt Mehlhorn , Michael Sagraloff , Pengming Wang

We consider natural polynomial truncations of hypergeometric power series defined over finite fields. For these truncations, we establish asymptotic upper bounds of order $O(p^{11/12})$ on the number of roots in the prime field…

Number Theory · Mathematics 2020-04-24 Amit Ghosh , Kenneth Ward

Suppose X is a (smooth projective irreducible algebraic) curve over a finite field k. Counting the number of points on X over all finite field extensions of k will not determine the curve uniquely. Actually, a famous theorem of Tate implies…

Number Theory · Mathematics 2015-06-11 Gunther Cornelissen

We prove that the roots of a smooth monic polynomial with complex-valued coefficients defined on a bounded Lipschitz domain $\Omega$ in $\mathbb R^m$ admit a parameterization by functions of bounded variation uniformly with respect to the…

Classical Analysis and ODEs · Mathematics 2021-04-06 Adam Parusinski , Armin Rainer