Related papers: Computing zeta functions of algebraic curves using…
This article deals with applications of Voronin's universality theorem for the Riemann zeta-function $\zeta$. Among other results we prove that every plane smooth curve appears up to a small error in the curve generated by the values…
This paper describes a practical methodology for computing the Hardy function Z(t), using just O(((t/epsilon)^(1/3))*(log(t))^(2+o(1)))) standard computational operations, to a tolerance of epsilon in the relative error. The methodology is…
In this short survey we give a description of the theta functions of algebraic curves, half-integer theta-nulls, and the fundamental theta functions. We describe how to determine such fundamental theta functions and describe the components…
A practical method to compute the Riemann zeta function is presented. The method can compute $\zeta(1/2+it)$ at any $\lfloor T^{1/4} \rfloor$ points in $[T,T+T^{1/4}]$ using an average time of $T^{1/4+o(1)}$ per point. This is the same…
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…
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to…
A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields.
We use the asymptotic expansion of the heat trace to express all residues of spectral zeta functions as regularized sums over the spectrum. The method extends to those spectral zeta functions that are localized by a bounded operator.
We introduce the Hadamard topology on the Witt ring of rational functions, giving a simultaneous refinement of the weight and point-counting topologies. Zeta functions of algebraic varieties over finite fields are elements of the rational…
Effective reconstruction formulas of a curve from its theta hyperplanes are known classically in genus 2 (where the theta hyperplanes are Weierstrass points), and 3 (where, for a generic curve, the theta hyperplanes are bitangents to a…
We compute the class of arithmetic genus two Teichmueller curves in the Picard group of pseudo-Hilbert modular surfaces, distinguished according to their torsion order and spin invariant. As an application, we compute the number of genus…
We use a smoothed version of the explicit formula to find an approximation to the Riemann zeta function as a product over its nontrivial zeros multiplied by a product over the primes. We model the first product by characteristic polynomials…
We develop approximations for the Riemann zeta function that enable high-precision computation within the critical strip and other vertical strips. These approximations combine the main sum of the Riemann-Siegel formula with a simple…
We represent the Riemann zeta function in the half-plane $\Re s >1$ via series whose terms admit geometrically decreasing bounds. Due to an underlying recurrence relation, which is used to compute coefficients entering into the terms, the…
(This is only a first preliminary version, any suggestions about it will be welcome.) In this paper it is shown how to compute Riemann's zeta function $\zeta(s)$ (and Riemann-Siegel $Z(t)$) at any point $s\in\mathbf C$ with a prescribed…
We extend the approach Abbott, Kedlaya and Roe to computation of the zeta function of a projective hypersurface with $\tau$ isolated ordinary double points over a finite field $\mathbb{F}_q$ given by the reduction of a homogeneous…
We establish a generalized Ihara zeta function formula for simple graphs with bounded degree. This is a generalization of the formula obtained by G. Chinta, J. Jorgenson and A. Karlsson from a vertex-transitive graph.
We present a general and effective algebraic framework for enumerating finite-length quotients of a torsion-free sheaf of arbitrary rank (the Quot zeta function) and finite-length coherent sheaves (the Coh zeta function) over reduced…
This paper proposes new explicit formulas for the doubling and addition step in Miller's algorithm to compute the Tate pairing. For Edwards curves the formulas come from a new way of seeing the arithmetic. We state the first geometric…
We present a rigorous scheme that makes it possible to compute eigenvalues of the Laplace operator on hyperbolic surfaces within a given precision. The method is based on an adaptation of the method of particular solutions to the case of…