“…In a sequence of more recent papers, polynomial identity testing algorithms were devised for roABPs ([64, 25, 27, 24, 2], see also Section 3.1). In terms of proof complexity, Tzameret [83] studied a proof system with lines given by roABPs, and recently Li, Tzameret and Wang [50] (Theorem 1.4) showed that IPS over non-commutative formulas is essentially equivalent in power to the Frege proof system. Due to the close connections between non-commutative ABPs and roABPs, this last result suggests the importance of proving lower bounds for roABP-IPS as a way of attacking lower bounds for the Frege proof system (although we obtain roABP-IPS LIN lower bounds without obtaining non-commutative-IPS LIN lower bounds).…”