loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 IEEE 23rd Annual Conference on Computational Complexity
Detecting Rational Points on Hypersurfaces over Finite Fields
June 22-June 26
ISBN: 978-0-7695-3169-4
We study the complexity of deciding whether a given homogeneous multivariate polynomial has a nontrivial root over a finite field. Given a homogeneous algebraic circuit $C$ that computes an $n$-variate polynomial $p(x)$ of degree $d$ over a finite field $\mathbb{F}_q$, we wish to determine if there exists a nonzero $x \in \F_q^n$ with $C(x) = 0$. For constant $n$ there are known algorithms for doing this efficiently. However for linear $n$, the problem becomes \NP hard. In this paper, using interesting algebraic techniques, we show that if $d$ is prime and $n > d/2$, the problem can be solved over sufficiently large finite fields in randomized polynomial time. We complement this result by showing that relaxing any of these constraints makes the problem intractable again.
Index Terms:
Polynomial Identity Testing, Chevalley-Warning Theorem, Lang-Weil Theorem, Nonsingular Spaces of Matrices
Citation:
Swastik Kopparty, Sergey Yekhanin, "Detecting Rational Points on Hypersurfaces over Finite Fields," ccc, pp.311-320, 2008 IEEE 23rd Annual Conference on Computational Complexity, 2008
Usage of this product signifies your acceptance of the Terms of Use.