# On the Existence of Algebraically Natural Proofs

For every constant c > 0, we show that there is a family {P_N, c} of polynomials whose degree and algebraic circuit complexity are polynomially bounded in the number of variables, that satisfies the following properties: ∙ For every family {f_n} of polynomials in VP, where f_n is an n variate polynomial of degree at most n^c with bounded integer coefficients and for N = n^c + nn, P_N,c vanishes on the coefficient vector of f_n. ∙ There exists a family {h_n} of polynomials where h_n is an n variate polynomial of degree at most n^c with bounded integer coefficients such that for N = n^c + nn, P_N,c does not vanish on the coefficient vector of h_n. In other words, there are efficiently computable defining equations for polynomials in VP that have small integer coefficients. In fact, we also prove an analogous statement for the seemingly larger class VNP. Thus, in this setting of polynomials with small integer coefficients, this provides evidence against a natural proof like barrier for proving algebraic circuit lower bounds, a framework for which was proposed in the works of Forbes, Shpilka and Volk (2018), and Grochow, Kumar, Saks and Saraf (2017). Our proofs are elementary and rely on the existence of (non-explicit) hitting sets for VP (and VNP) to show that there are efficiently constructible, low degree defining equations for these classes and also extend to finite fields of small size.

• 9 publications
• 27 publications
• 9 publications
• 15 publications
• 8 publications
research
12/13/2020

### If VNP is hard, then so are equations for it

Assuming that the Permanent polynomial requires algebraic circuits of ex...
research
09/14/2023

### On Annihilators of Explicit Polynomial Maps

We study the algebraic complexity of annihilators of polynomials maps. I...
research
10/29/2018

### Reducing the complexity for class group computations using small defining polynomials

In this paper, we describe an algorithm that efficiently collect relatio...
research
04/22/2018

### Torus polynomials: an algebraic approach to ACC lower bounds

We propose an algebraic approach to proving circuit lower bounds for ACC...
research
02/08/2023

### A Unified Approach to Unimodality of Gaussian Polynomials

In 2013, Pak and Panova proved the strict unimodality property of q-bino...
research
10/22/2020

### Rank-structured QR for Chebyshev rootfinding

We consider the computation of roots of polynomials expressed in the Che...
research
11/20/2017

### Proof Complexity Meets Algebra

We analyse how the standard reductions between constraint satisfaction p...