Computing zeta functions of large polynomial systems over finite fields

07/26/2020
by   Qi Cheng, et al.
0

In this paper, we improve the algorithms of Lauder-Wan <cit.> and Harvey <cit.> to compute the zeta function of a system of m polynomial equations in n variables over the finite field _q of q elements, for m large. The dependence on m in the original algorithms was exponential in m. Our main result is a reduction of the exponential dependence on m to a polynomial dependence on m. As an application, we speed up a doubly exponential time algorithm from a software verification paper <cit.> (on universal equivalence of programs over finite fields) to singly exponential time. One key new ingredient is an effective version of the classical Kronecker theorem which (set-theoretically) reduces the number of defining equations for a "large" polynomial system over _q when q is suitably large.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/29/2019

Solving X^q+1+X+a=0 over Finite Fields

Solving the equation P_a(X):=X^q+1+X+a=0 over finite field Q, where Q=p^...
research
01/04/2021

Complete solution over p^n of the equation X^p^k+1+X+a=0

The problem of solving explicitly the equation P_a(X):=X^q+1+X+a=0 over ...
research
06/29/2011

The Rate of Convergence of AdaBoost

The AdaBoost algorithm was designed to combine many "weak" hypotheses th...
research
11/15/2021

Fast, Algebraic Multivariate Multipoint Evaluation in Small Characteristic and Applications

Multipoint evaluation is the computational task of evaluating a polynomi...
research
01/18/2020

Flexible models for nonstationary dependence: Methodology and examples

There are many situations when modelling environmental phenomena for whi...
research
02/12/2020

Solving Some Affine Equations over Finite Fields

Let l and k be two integers such that l|k. Define T_l^k(X):=X+X^p^l+...+...
research
07/17/2020

An APX for the Maximum-Profit Routing Problem with Variable Supply

In this paper, we study the Maximum-Profit Routing Problem with Variable...

Please sign up or login with your details

Forgot password? Click here to reset