Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Faster p-adic Feasibility for Certain Multivariate Sparse Polynomials   We present algorithms revealing new families of polynomials allowing
sub-exponential detection of p-adic rational roots, relative to the sparse
encoding. For instance, we show that the case of honest n-variate (n+1)-nomials
is doable in NP and, for p exceeding the Newton polytope volume and not
dividing any coefficient, in constant time. Furthermore, using the theory of
linear forms in p-adic logarithms, we prove that the case of trinomials in one
variable can be done in NP. The best previous complexity bounds for these
problems were EXPTIME or worse. Finally, we prove that detecting p-adic
rational roots for sparse polynomials in one variable is NP-hard with respect
to randomized reductions. The last proof makes use of an efficient construction
of primes in certain arithmetic progressions. The smallest n where detecting
p-adic rational roots for n-variate sparse polynomials is NP-hard appears to
have been unknown.

33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
22
The categories of this paper are: chao-dyn
27
The categories of this paper are: comp-gas