Related papers: Counting points on curves using a map to P^1, II
Consider a smooth projective curve $\overline{C}$ over a finite field $\mathbb{F}_q$, equipped with a simply branched morphism $\overline{C} \to \mathbb{P}^1$ of degree $d \leq 5$. Assume char$\, \mathbb{F}_q > 2$ if $d \leq 4$, and char$\,…
Let E_G be a family of hyperelliptic curves defined by Y^2=Q(X,G), where Q is defined over a small finite field of odd characteristic. Then with g in an extension degree n field over this small field, we present a deterministic algorithm…
The aim of this paper is twofold: on one hand we study the invariants of traces of quadratic forms over a finite field of characteristic two. On the other hand, we give results about the zeta functions of certain curves studied by van der…
We present a probabilistic Las Vegas algorithm for computing the local zeta function of a hyperelliptic curve of genus $g$ defined over $\mathbb{F}_q$. It is based on the approaches by Schoof and Pila combined with a modeling of the…
In this article we give the details of an effective point counting algorithm for genus two curves over finite fields of characteristic three. The algorithm has an application in the context of curve based cryptography. One distinguished…
We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.
Stark and Terras introduced the edge zeta function of a finite graph in 1996. The edge zeta function is the reciprocal of a polynomial in twice as many variables as edges in the graph and can be computed in polynomial time. We look at graph…
In recent algorithms that use deformation in order to compute the number of points on varieties over a finite field, certain differential equations of matrices over p-adic fields emerge. We present a novel strategy to solve this kind of…
We give an explicit formula of the coefficients of the Zeta-Function's L-polynomial for algebraic function fields over finite constant fields. Thus, we deduce an expression of the class number of algebraic function fields defined over…
Study of the level curve for the real part of $\eta(s)=0$ with $\eta(s)=\pi^{-s/2}\Gamma(s/2)\zeta^\prime(s)$ gives a new classification of the zeros of $\zeta(s)$ and of $\zeta^\prime(s)$. We conjecture that for type 2 zeros, $\liminf…
The zeta function of a curve $C$ over a finite field may be expressed in terms of the characteristic polynomial of a unitary matrix $\Theta_C$. We develop and present a new technique to compute the expected value of…
In this paper we describe a generalisation and adaptation of Kedlaya's algorithm for computing the zeta function of a hyperelliptic curve over a finite field of odd characteristic that the author used for the implementation of the algorithm…
We study the Ruelle zeta function at zero for negatively curved oriented surfaces with boundary. At zero, the zeta function has a zero and its multiplicity is shown to be determined by the Euler characteristic of the surface. This is shown…
We compute in a direct (not algorithmic) way the zeta function of all supersingular curves of genus 2 over a finite field k, with many geometric automorphisms. We display these computations in an appendix where we select a family of…
In 2005, Kayal suggested that Schoof's algorithm for counting points on elliptic curves over finite fields might yield an approach to factor polynomials over finite fields in deterministic polynomial time. We present an exposition of his…
For each $(m+1)$-tuple ${\bf n}_m=(n_0,n_1,\ldots,n_m)$ of positive integers, the ${\bf n}_m$-derived zeta function $\widehat\zeta_{X,\mathbb F_q}^{\,({\bf n}_m)}(s)$ is defined for a curve $X$ over $\mathbb F_q$. This derived zeta function…
A possible connection between quantum computing and Zeta functions of finite field equations is described. Inspired by the 'spectral approach' to the Riemann conjecture, the assumption is that the zeroes of such Zeta functions correspond to…
We compute the equivariant zeta function for bundles over infinite graphs and for infinite covers. In particular, we give a ``transfer formula'' for the zeta function of infinite graph covers. Also, when the infinite cover is given as a…
We derive formulas for the number of points on the basic stratum of certain Kottwitz varieties in terms of automorphic representations and certain explicit polynomials, for which we present efficient algorithms for computation. We obtain…
We show that it is possible to approximate the zeta-function of a curve over a finite field by meromorphic functions which satisfy the same functional equation and moreover satisfy (respectively do not satisfy) the analogue of the Riemann…