• DocumentCode
    1780749
  • Title

    Equivalence of Polynomial Identity Testing and Deterministic Multivariate Polynomial Factorization

  • Author

    Kopparty, Swastik ; Saraf, Shubhangi ; Shpilka, Amir

  • Author_Institution
    Dept. of Math., Rutgers Univ., Piscataway, NJ, USA
  • fYear
    2014
  • fDate
    11-13 June 2014
  • Firstpage
    169
  • Lastpage
    180
  • Abstract
    In this paper we show that the problem of deterministically factoring multivariate polynomials reduces to the problem of deterministic polynomial identity testing. Specifically, we show that given an arithmetic circuit (either explicitly or via black-box access) that computes a multivariate polynomial f, the task of computing arithmetic circuits for the factors of f can be solved deterministically, given a deterministic algorithm for the polynomial identity testing problem (we require either a white-box or a black-box algorithm, depending on the representation of f). Together with the easy observation that deterministic factoring implies a deterministic algorithm for polynomial identity testing, this establishes an equivalence between these two central derandomization problems of arithmetic complexity. Previously, such an equivalence was known only for multilinear circuits [SV10].
  • Keywords
    circuit complexity; deterministic algorithms; matrix decomposition; polynomials; arithmetic circuit; arithmetic complexity; black-box algorithm; central derandomization problems; deterministic algorithm; deterministic multivariate polynomial factorization; deterministic polynomial identity testing; multilinear circuits; white-box algorithm; Complexity theory; Computational modeling; Computer science; Integrated circuit modeling; Logic gates; Polynomials; Testing; Polynomial identity testing; arithmetic circuits; factoring;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Complexity (CCC), 2014 IEEE 29th Conference on
  • Conference_Location
    Vancouver, BC
  • Type

    conf

  • DOI
    10.1109/CCC.2014.25
  • Filename
    6875486