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

12/10/2019
by   Mika Göös, et al.
0

We study the search problem class PPA_q defined as a modulo-q analog of the well-known polynomial parity argument class PPA introduced by Papadimitriou '94. Our first result shows that this class can be characterized in terms of PPA_p for prime p. Our main result is to establish that an explicit version of a search problem associated to the Chevalley–Warning theorem is complete for PPA_p for prime p. This problem is natural in that it does not explicitly involve circuits as part of the input. It is the first such complete problem for PPA_p when p > 3. Finally we discuss connections between Chevalley-Warning theorem and the well-studied short integer solution problem and survey the structural properties of PPA_q.

READ FULL TEXT

page 1

page 2

page 3

page 4

09/15/2022

Extremal combinatorics, iterated pigeonhole arguments, and generalizations of PPP

We study the complexity of computational problems arising from existence...
07/22/2019

Arrow's Theorem Through a Fixpoint Argument

We present a proof of Arrow's theorem from social choice theory that use...
10/24/2017

On the Polynomial Parity Argument Complexity of the Combinatorial Nullstellensatz

The complexity class PPA consists of NP-search problems which are reduci...
03/09/2022

Primality Tests and Prime Certificate

This note presents a formalisation done in Coq of Lucas-Lehmer test and ...
03/07/2021

Strong Approximate Consensus Halving and the Borsuk-Ulam Theorem

In the consensus halving problem we are given n agents with valuations o...
04/26/2022

Formalizing a Diophantine Representation of the Set of Prime Numbers

The DPRM (Davis-Putnam-Robinson-Matiyasevich) theorem is the main step i...
02/26/2020

Scientific versus statistical modelling: a unifying approach

This paper addresses two fundamental features of quantities modeled and ...