Lower Bounds for Syntactically Multilinear Algebraic Branching Programs

  • Authors:
  • Maurice J. Jansen

  • Affiliations:
  • Centre for Theory in Natural Science, University of Aarhus Department of Computer Science, University of Aarhus, Aarhus N, Denmark DK-8200

  • Venue:
  • MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is shown that any weakly-skew circuit can be converted into a skew circuit with constant factor overhead, while preserving either syntactic or semantic multilinearity. This leads to considering syntactically multilinear algebraic branching programs (ABPs), which are defined by a natural read-once property. A 2n/4size lower bound is proven for ordered syntactically multilinear ABPs computing an explicitly constructed multilinear polynomial in 2nvariables. Without the ordering restriction a lower bound of level 茂戮驴(n3/2/logn) is observed, by considering a generalization of a hypercube covering problem by Galvin [1].