Skip to content Skip to navigation

Seminar: Some closure results for polynomial factorization

Abstract: 

In a sequence of extremely fundamental results in the 80's, Kaltofen showed that any factor of n-variate
polynomial with degree and arithmetic circuit size poly(n) has an arithmetic circuit of size
poly(n). In other words, the complexity class VP is closed under taking factors. A very basic
question in this context is to understand if other natural classes of multivariate polynomials, for
instance, arithmetic formulas, algebraic branching programs, bounded depth arithmetic circuits
or the class VNP, are closed under taking factors.

I will talk about the following two results, whose study is motivated by these questions.

1. VNP is closed under taking factors.
This confirms a conjecture of B{\"u}rgisser, and improves upon a recent result of Dutta, Saxena and
Sinhababu who showed a quasi-polynomial upper bound on the number of auxiliary variables, and
the complexity of the verifier circuit of factors of polynomials in VNP.

2. All factors of degree at most (log n)^a of polynomials with poly(n) size depth k circuits have poly(n)
size circuits of depth at most O(k + a).
This partially answers a question of Shpilka-Yehudayoff and has applications to
hardness-randomness tradeoffs for bounded depth arithmetic circuits.

Based on joint work with Chi-Ning Chou and Noam Solomon.

Speaker: 
Mrinal Kumar
Location: 
CoRE 301
Event Date: 
02/21/2018 - 11:00am
Committee: 
Pranjal Awasthi and Shubhangi Saraf
Event Type: 
Seminar
Organization: 
Harvard