Proof Complexity Lower Bounds from Algebraic Circuit Complexity

Michael A. Forbes, Amir Shpilka, Iddo Tzameret +1

We give upper and lower bounds on the power of subsystems of the Ideal Proof System (IPS), the algebraic proof system recently proposed by Grochow and Pitassi, where the circuits c…