We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Computational Complexity

Title: On the Complexity of Modulo-q Arguments and the Chevalley-Warning Theorem

Abstract: We study the search problem class $\mathrm{PPA}_q$ defined as a modulo-$q$ analog of the well-known $\textit{polynomial parity argument}$ class $\mathrm{PPA}$ introduced by Papadimitriou '94. Our first result shows that this class can be characterized in terms of $\mathrm{PPA}_p$ for prime $p$.
Our main result is to establish that an $\textit{explicit}$ version of a search problem associated to the Chevalley--Warning theorem is complete for $\mathrm{PPA}_p$ for prime $p$. This problem is $\textit{natural}$ in that it does not explicitly involve circuits as part of the input. It is the first such complete problem for $\mathrm{PPA}_p$ when $p \ge 3$.
Finally we discuss connections between Chevalley-Warning theorem and the well-studied $\textit{short integer solution}$ problem and survey the structural properties of $\mathrm{PPA}_q$.
Comments: To appear at the Computational Complexity Conference (CCC) 2020
Subjects: Computational Complexity (cs.CC)
Cite as: arXiv:1912.04467 [cs.CC]
  (or arXiv:1912.04467v2 [cs.CC] for this version)

Submission history

From: Emmanouil Zampetakis [view email]
[v1] Tue, 10 Dec 2019 03:11:35 GMT (61kb)
[v2] Mon, 6 Jul 2020 02:01:28 GMT (61kb)

Link back to: arXiv, form interface, contact.